title: Dynamical analysis of a chaos generator

abstract: Investigating the possibility of applying techniques from linear systems theory to the setting of nonlinear systems has been the focus of many papers. The pseudo linear form representation of nonlinear dynamical systems has led to the concept of nonlinear eigenvalues and nonlinear eigenvectors. When the nonlinear eigenvectors do not depend on the state vector of the system, then the nonlinear eigenvalues determine the global qualitative behaviour of a nonlinear system throughout the state space. The aim of this paper is to use this fact to construct a nonlinear dynamical system of which the trajectories of the system show continual stretching and folding. We first prove that the system is globally bounded. Next, we analyse the system numerically by studying bifurcations of equilibria and periodic orbits. Chaos arises due to a period doubling cascade of periodic attractors. Chaotic attractors are presumably of H\'enon-like type, which means that they are the closure of the unstable manifold of a saddle periodic orbit. We also show how pseudo linear forms can be used to control the chaotic system and to synchronize two identical chaotic systems.


title: An extension of z-ideals and z^0-ideals

abstract: Let $R$ be a commutative ring, $Y\subseteq \mathrm{Spec}(R)$ and $ h_Y(S)=\{P\in Y:S\subseteq P \}$, for every $S\subseteq R$. An ideal $I$ is said to be an $\mathcal{H}_Y$-ideal whenever it follows from $h_Y(a)\subseteq h_Y(b)$ and $a\in I$ that $b\in I$. A strong $\mathcal{H}_Y$-ideal is defined in the same way by replacing an arbitrary finite set $F$ instead of the element $a$. In this paper these two classes of ideals (which are based on the spectrum of the ring $R$ and are a generalization of the well-known concepts semiprime ideal, z-ideal, $z^{\circ}$-ideal (d-ideal), sz-ideal and $sz^{\circ}$-ideal ($\xi$-ideal)) are studied. We show that the most important results about these concepts, "Zariski topology", "annihilator" and etc can be extended in such a way that the corresponding consequences seems to be trivial and useless. This comprehensive look helps to recognize the resemblances and differences of known concepts better.


title: Noncommutative geometry of the quantum clock

abstract: We introduce a model of noncommutative geometry that gives rise to the uncertainty relations recently derived from the discussion of a quantum clock. We investigate the dynamics of a free particle in this model from the point of view of doubly special relativity and discuss the geodesic motion in a Schwarzschild background.


title: Exploring a dynamical path for C$_2$H$^-$ and NCO$^-$ formation in dark molecular clouds

abstract: This paper deals with the possible formation of two molecular anions often considered likely components in the physical environments of the Interstellar Medium ( ISM) : $\mathrm{C_2H^-}$ and $\mathrm{NCO^-}$. They are both discussed here by computationally following the radiative association (RA) mechanism starting from $\mathrm{C_2^-}$, $\mathrm{H}$, $\mathrm{NC^-}$ and $\mathrm{O}$ as partners. The corresponding RA total cross sections produced by the calculations are in turn employed to generate the overall association rates over the relevant range of temperatures. The latter are found to be in line with other molecular ions formed by RA but not large enough to uniquivocally suggest this path as the main route to the anions formation in the ISM. Other possible paths of formation are also analysed and discussed. The presence of resonant structures during the association dynamics for both systems is found by the calculations and their consequences are discussed in some detail in the present study.


title: Super-Penrose process and rotating wormholes

abstract: We consider collision of particles in a wormhole near its throat. Particles come from the opposite mouths. If the lapse function is small enough there, the energy $E$ of debris at infinity grows unbounded, so we are faced with the so-called super-Penrose process. This requires the existence of the ergoregion, so a wormhole should be rotating.


title: PSDF Fusion: Probabilistic Signed Distance Function for On-the-fly 3D Data Fusion and Scene Reconstruction

abstract: We propose a novel 3D spatial representation for data fusion and scene reconstruction. Probabilistic Signed Distance Function (Probabilistic SDF, PSDF) is proposed to depict uncertainties in the 3D space. It is modeled by a joint distribution describing SDF value and its inlier probability, reflecting input data quality and surface geometry. A hybrid data structure involving voxel, surfel, and mesh is designed to fully exploit the advantages of various prevalent 3D representations. Connected by PSDF, these components reasonably cooperate in a consistent frame- work. Given sequential depth measurements, PSDF can be incrementally refined with less ad hoc parametric Bayesian updating. Supported by PSDF and the efficient 3D data representation, high-quality surfaces can be extracted on-the-fly, and in return contribute to reliable data fu- sion using the geometry information. Experiments demonstrate that our system reconstructs scenes with higher model quality and lower redundancy, and runs faster than existing online mesh generation systems.


title: Texture Mixing by Interpolating Deep Statistics via Gaussian Models

abstract: Recently, enthusiastic studies have devoted to texture synthesis using deep neural networks, because these networks excel at handling complex patterns in images. In these models, second-order statistics, such as Gram matrix, are used to describe textures. Despite the fact that these model have achieved promising results, the structure of their parametric space is still unclear, consequently, it is difficult to use them to mix textures. This paper addresses the texture mixing problem by using a Gaussian scheme to interpolate deep statistics computed from deep neural networks. More precisely, we first reveal that the statistics used in existing deep models can be unified using a stationary Gaussian scheme. We then present a novel algorithm to mix these statistics by interpolating between Gaussian models using optimal transport. We further apply our scheme to Neural Style Transfer, where we can create mixed styles. The experiments demonstrate that our method can achieve state-of-the-art results. Because all the computations are implemented in closed forms, our mixing algorithm adds only negligible time to the original texture synthesis procedure.


title: Modeling Human Decision-making: An Overview of the Brussels Quantum Approach

abstract: We present the fundamentals of the quantum theoretical approach we have developed in the last decade to model cognitive phenomena that resisted modeling by means of classical logical and probabilistic structures, like Boolean, Kolmogorovian and, more generally, set theoretical structures. We firstly sketch the operational-realistic foundations of conceptual entities, i.e. concepts, conceptual combinations, propositions, decision-making entities, etc. Then, we briefly illustrate the application of the quantum formalism in Hilbert space to represent combinations of natural concepts, discussing its success in modeling a wide range of empirical data on concepts and their conjunction, disjunction and negation. Next, we naturally extend the quantum theoretical approach to model some long-standing `fallacies of human reasoning', namely, the `conjunction fallacy' and the `disjunction effect'. Finally, we put forward an explanatory hypothesis according to which human reasoning is a defined superposition of `emergent reasoning' and `logical reasoning', where the former generally prevails over the latter. The quantum theoretical approach explains human fallacies as the consequence of genuine quantum structures in human reasoning, i.e. `contextuality', `emergence', `entanglement', `interference' and `superposition'. As such, it is alternative to the Kahneman-Tversky research programme, which instead aims to explain human fallacies in terms of `individual heuristics and biases'.


title: Efficient Uncertainty Estimation for Semantic Segmentation in Videos

abstract: Uncertainty estimation in deep learning becomes more important recently. A deep learning model can't be applied in real applications if we don't know whether the model is certain about the decision or not. Some literature proposes the Bayesian neural network which can estimate the uncertainty by Monte Carlo Dropout (MC dropout). However, MC dropout needs to forward the model $N$ times which results in $N$ times slower. For real-time applications such as a self-driving car system, which needs to obtain the prediction and the uncertainty as fast as possible, so that MC dropout becomes impractical. In this work, we propose the region-based temporal aggregation (RTA) method which leverages the temporal information in videos to simulate the sampling procedure. Our RTA method with Tiramisu backbone is 10x faster than the MC dropout with Tiramisu backbone ($N=5$). Furthermore, the uncertainty estimation obtained by our RTA method is comparable to MC dropout's uncertainty estimation on pixel-level and frame-level metrics.


title: Estimating Causal Effects Under Interference Using Bayesian Generalized Propensity Scores

abstract: In most real-world systems units are interconnected and can be represented as networks consisting of nodes and edges. For instance, in social systems individuals can have social ties, family or financial relationships. In settings where some units are exposed to a treatment and its effect spills over connected units, estimating both the direct effect of the treatment and spillover effects presents several challenges. First, assumptions on the way and the extent to which spillover effects occur along the observed network are required. Second, in observational studies, where the treatment assignment is not under the control of the investigator, confounding and homophily are potential threats to the identification and estimation of causal effects on networks. Here, we make two structural assumptions: i) neighborhood interference, which assumes interference operates only through a function of the immediate neighbors' treatments ii) unconfoundedness of the individual and neighborhood treatment, which rules out the presence of unmeasured confounding variables, including those driving homophily. Under these assumptions we develop a new covariate-adjustment estimator for treatment and spillover effects in observational studies on networks. Estimation is based on a generalized propensity score that balances individual and neighborhood covariates across units under different levels of individual treatment and of exposure to neighbors' treatment. Adjustment for propensity score is performed using a penalized spline regression. Inference capitalizes on a three-step Bayesian procedure which allows to take into account the uncertainty in the propensity score estimation and avoiding model feedback. Finally, correlation of interacting units is taken into account using a community detection algorithm and incorporating random effects in the outcome model.


title: Fast Trajectory Planning for Automated Vehicles using Gradient-based Nonlinear Model Predictive Control

abstract: Motion trajectory planning is one crucial aspect for automated vehicles, as it governs the own future behavior in a dynamically changing environment. A good utilization of a vehicle's characteristics requires the consideration of the nonlinear system dynamics within the optimization problem to be solved. In particular, real-time feasibility is essential for automated driving, in order to account for the fast changing surrounding, e.g. for moving objects. The key contributions of this paper are the presentation of a fast optimization algorithm for trajectory planning including the nonlinear system model. Further, a new concurrent operation scheme for two optimization algorithms is derived and investigated. The proposed algorithm operates in the submillisecond range on a standard PC. As an exemplary scenario, the task of driving along a challenging reference course is demonstrated.


title: High-order Kirchhoff problems in bounded and unbounded domains

abstract: Consider the following $m-$polyharmonic Kirchhoff problem: \begin{eqnarray} \label{ea} \begin{cases} M\left(\int_{\O}|D_r u|^{m} +a|u|^m\right)[\Delta^r_m u +a|u|^{m-2}u]= K(x)f(u) &\mbox{in}\quad \Omega, \\ u=\left(\frac{\partial}{\partial \nu}\right)^k u=0, \quad &\mbox{on}\quad \partial\Omega, \quad k=1, 2,..... , r-1, \end{cases} \end{eqnarray} where $r \in \N^*$, $m >1$, $N\geq rm+1$, $a\geq 0$, $K\in L^{\infty}(\O)$ is a positive weight function, $M \in C([0,+\infty))$ and $f\in C(\mathbb{R})$ which will be specified later. We will study problem \eqref{ea} in the following different type of domains: \begin{enumerate} \item $a=0$ and $K\in L^{\infty}(\O)$ is a positive weight function if $\Omega$ is a smooth bounded domain of $\R^N$. \item $a>0$ and $K\in L^{\infty}(\O)\cap L^{p}(\O)$, $p \geq 1$ if $\Omega$ is an unbounded smooth domain. \item $\O=\R^N$ and $a=0$ (which called the $m\gamma$-zero mass case). \end{enumerate} We prove the existence of infinitely many solutions of \eqref{ea} for some odd functions $f$ in $u$ satisfying subcritical growth conditions at infinity which are weaker than the analogue of the Ambrosetti-Rabinowitz condition and the standard subcritical polynomial growth. The new aspect consists in employing the Schauder basis of $W_0^{r,m}(\O)$ to verify the geometry of the symmetric mountain pass theorem without any control on $f$ near $0$ if $\Omega$ is a bounded domain and under a suitable condition at $0$ if $\Omega$ is a unbounded domain allowing only to derive the variational setting of \eqref{ea}. Moreover, we introduce a positive quantity $\lambda_M$ similar to the first eigenvalue of the $m$-polyharmonic operator to find a mountain pass solution.


title: The Second Amendment and Cyber Weapons - The Constitutional Relevance of Digital Gun Rights

abstract: In the future, the United States government can seek to limit the ownership and usage of cyber weapons. The question is whether the Second Amendment to the United States Constitution gives a right to bear and own military-grade cyber weapons, and if so, under which conditions. The framers of the Bill of Rights, ratified in 1791, did not limit the right to bear arms to defined weapons such as long rifles and pistols, but instead chose the broader word arms. The United States Supreme Court, in the case District of Columbia v. Heller, upheld a demarcation between dangerous and unusual weapons that are not permissible to own and weapons protected by the Second Amendment. Cyber weapons take the form of dual-use software, often shared and globally distributed that in most cases can be weaponized for harmful purposes. In recent years, major corporations have sought to hack back, and if the hack back is authorized, the question becomes whether corporations have digital gun rights. Even if corporations are considered US persons, they do not automatically obtain digital gun rights based on the Second Amendment. This article discusses the core constitutional challenges for the United States government in prohibiting individual ownership of cyber weapons and the rationale for why corporations are in a weaker position regarding ownership of cyber arms. The argument brought forward is that individuals can claim Second Amendment protection of their right to own military-grade software tools, but corporations must meet additional criteria to do so.


title: Towards Good Practices on Building Effective CNN Baseline Model for Person Re-identification

abstract: Person re-identification is indeed a challenging visual recognition task due to the critical issues of human pose variation, human body occlusion, camera view variation, etc. To address this, most of the state-of-the-art approaches are proposed based on deep convolutional neural network (CNN), being leveraged by its strong feature learning power and classification boundary fitting capacity. Although the vital role towards person re-identification, how to build effective CNN baseline model has not been well studied yet. To answer this open question, we propose 3 good practices in this paper from the perspectives of adjusting CNN architecture and training procedure. In particular, they are adding batch normalization after the global pooling layer, executing identity categorization directly using only one fully-connected, and using Adam as optimizer. The extensive experiments on 3 widely-used benchmark datasets demonstrate that, our propositions essentially facilitate the CNN baseline model to achieve the state-of-the-art performance without any other high-level domain knowledge or low-level technical trick.


title: On L-shaped point set embeddings of trees: first non-embeddable examples

abstract: An L-shaped embedding of a tree in a point set is a planar drawing of the tree where the vertices are mapped to distinct points and every edge is drawn as a sequence of two axis-aligned line segments. There has been considerable work on establishing upper bounds on the minimum cardinality of a point set to guarantee that any tree of the same size with maximum degree 4 admits an L-shaped embedding on the point set. However, no non-trivial lower bound is known to this date, i.e., no known $n$-vertex tree requires more than $n$ points to be embedded. In this paper, we present the first examples of $n$-vertex trees for $n\in\{13,14,16,17,18,19,20\}$ that require strictly more points than vertices to admit an L-shaped embedding. Moreover, using computer help, we show that every tree on $n\leq 12$ vertices admits an L-shaped embedding in every set of $n$ points. We also consider embedding ordered trees, where the cyclic order of the neighbors of each vertex in the embedding is prescribed. For this setting, we determine the smallest non-embeddable ordered tree on $n=10$ vertices, and we show that every ordered tree on $n\leq 9$ or $n=11$ vertices admits an L-shaped embedding in every set of $n$ points. We also construct an infinite family of ordered trees which do not always admit an L-shaped embedding, answering a question raised by Biedl, Chan, Derka, Jain, and Lubiw.


title: Higher Ramanujan equations and periods of abelian varieties

abstract: We describe higher dimensional generalizations of Ramanujan's classical differential relations satisfied by the Eisenstein series $E_2$, $E_4$, $E_6$. Such "higher Ramanujan equations" are given geometrically in terms of vector fields living on certain moduli stacks classifying abelian schemes equipped with suitable frames of their first de Rham cohomology. These vector fields are canonically constructed by means of the Gauss-Manin connection and the Kodaira-Spencer isomorphism. Using Mumford's theory of degenerating families of abelian varieties, we construct remarkable solutions of these differential equations generalizing $(E_2,E_4,E_6)$, which are also shown to be defined over $\mathbf{Z}$. This geometric framework taking account of integrality issues is mainly motivated by questions in Transcendental Number Theory regarding an extension of Nesterenko's celebrated theorem on the algebraic independence of values of Eisenstein series. In this direction, we discuss the precise relation between periods of abelian varieties and the values of the above referred solutions of the higher Ramanujan equations, thereby linking the study of such differential equations to Grothendieck's Period Conjecture. Working in the complex analytic category, we prove "functional" transcendence results, such as the Zariski-density of every leaf of the holomorphic foliation induced by the higher Ramanujan equations.


title: Thermalization and localization of an oscillating Bose-Einstein condensate in a disordered trap

abstract: We numerically simulate an oscillating Bose-Einstein condensate in a disordered trap [Phys. Rev. A 82, 033603 (2010)] and the results are in good agreement with the experiment. It allows us to verify that total energy and particle number are conserved in this quantum system. The disorder acts as a medium, which results in a relaxation from nonequilibrium to equilibrium, i.e., thermalization. An algebraic localization is realized when the system approaches the equilibrium, and if the system falls into the regime when the healing length of the condensate exceeds the correlation length of the disorder, exponential Anderson localization is to be observed.


title: TREVERSE: Trial-and-Error Lightweight Secure Reverse Authentication with Simulatable PUFs

abstract: A physical unclonable function (PUF) generates hardware intrinsic volatile secrets by exploiting uncontrollable manufacturing randomness. Although PUFs provide the potential for lightweight and secure authentication for increasing numbers of low-end Internet of Things devices, practical and secure mechanisms remain elusive. We aim to explore simulatable PUFs (SimPUFs) that are physically unclonable but efficiently modeled mathematically through privileged one-time PUF access to address the above problem. Given a challenge, a securely stored SimPUF in possession of a trusted server computes the corresponding response and its bit-specific reliability. Consequently, naturally noisy PUF responses generated by a resource limited prover can be immediately processed by a one-way function (OWF) and transmitted to the server, because the resourceful server can exploit the SimPUF to perform a trial-and-error search over likely error patterns to recover the noisy response to authenticate the prover. Security of trial-and-error reverse (TREVERSE) authentication under the random oracle model is guaranteed by the hardness of inverting the OWF. We formally evaluate the TREVERSE authentication capability with two SimPUFs experimentally derived from popular silicon PUFs.


title: Thermalization of a weakly interacting Bose gas in a disordered trap

abstract: Previously we numerically showed that thermalization can occur in an oscillating Bose-Einstein condensate (BEC) with a disordered harmonic trap when healing length $\xi$ of the condensate is shorter than the correlation length $\sigma_{D}$ of the disorder [see, for example, the experiment reported in Phys. Rev. A \textbf{82}, 033603 (2010)]. In this work, we investigate the weakly interacting or Anderson localization regime $\xi>\sigma_{D}$ and show that the oscillating BEC can also exhibit a relaxation process from nonequilibrium to equilibrium. In such an isolated quantum system, energy and particle number are conserved and the irreversible evolution towards thermodynamic equilibrium is induced by the disorder. The thermodynamic equilibrium is evidenced by the maximized entropy $S\left[n_{k}\right]$ in which the waveaction spectrum $n_{k}$ follows the Rayleigh-Jeans distribution. Besides, unlike a monotonic irreversible process of thermalization to equilibrium, the Fermi-Pasta-Ulam-Tsingou recurrence arises in this system, manifested by the oscillation of the non-equilibrium entropy.


title: Large fluctuations of a Kardar-Parisi-Zhang interface on a half-line

abstract: Consider a stochastic interface $h(x,t)$, described by the $1+1$ Kardar-Parisi-Zhang (KPZ) equation on the half-line $x\geq 0$. The interface is initially flat, $h(x,t=0)=0$, and driven by a Neumann boundary condition $\partial_x h(x=0,t)=A$ and by the noise. We study the short-time probability distribution $\mathcal{P}\left(H,A,t\right)$ of the one-point height $H=h(x=0,t)$. Using the optimal fluctuation method, we show that $-\ln \mathcal{P}\left(H,A,t\right)$ scales as $t^{-1/2} s \left(H,A t^{1/2}\right)$. For small and moderate $|A|$ this more general scaling reduces to the familiar simple scaling $-\ln \mathcal{P}\left(H,A,t\right)\simeq t^{-1/2} s(H)$, where $s$ is independent of $A$ and time and equal to one half of the corresponding large-deviation function for the full-line problem. For large $|A|$ we uncover two asymptotic regimes. At very short time the simple scaling is restored, whereas at intermediate times the scaling remains more general and $A$-dependent. The distribution tails, however, always exhibit the simple scaling in the leading order.


title: Cavity-assisted atomic Raman memories beyond the bad cavity limit: effect of four-wave mixing

abstract: Quantum memories can be used not only for the storage of quantum information, but also for substantial manipulation of ensembles of quantum states. Therefore, the speed of such manipulation and the ability to write and retrieve the signals of relatively short duration becomes important. Previously there have been considered the limits on efficiency of the cavity-enhanced atomic Raman memories for the signals whose duration is not much larger than the cavity field lifetime, that is, beyond the bad cavity limit. We investigate in this work the four-wave mixing noise that arises by the retrieval of the relatively short signals from the cavity-assisted memories, thus complementing recent considerations by other authors, who mainly concentrated on the limit of large cavity decay rate. The four-wave mixing noise is commonly recognized as an important factor, able to prevent achieving a high memories quality in a variety of the atomic, solid state etc. implementations. The side-band noise sources (with respect to the quantized signal, supported by the cavity) play important role in the four-wave mixing. We propose an approach that allows one to account for the side-band quantum noise sources of different physical origin in the cavity-assisted atomic memories using a unified theoretical framework, based on a two-band spectral filtering of the noise sources. We demonstrate that in such spectrally-selective memories the side-band atomic noise sources essentially contribute to the four-wave mixing noise of the retrieved signal on a par with the side-band quantized field entering the cavity.


title: A Spatially Resolved Study of X-ray Properties in Superbubble 30 Dor C with $XMM-Newton$

abstract: We carry out spatially resolved spectral analysis with a physical scale of $\sim$10 pc in X-ray for the superbubble 30 Dor C, which has the largest diameter of $\sim$80 pc and the brightest non-thermal emission in superbubbles for the first time. We aim at investigating spatial variation of the physical properties of non-thermal emission as detected in some supernova remnants in order to study particle acceleration in a superbubble. We demonstrated that non-thermal components are detected in all the regions covering the entire field of 30 Dor C. The spectra in the west region of 30 Dor C can be described with a combination of the thermal and non-thermal components while the spectra in the east region can be fitted with the non-thermal component alone. The photon index and absorption corrected intensity in 2-10 keV of the non-thermal component show spatial variation from $\sim$2.0 to $\sim$3.7 and (4-130) $\times$ 10$^{-8}$ erg~s$^{-1}$~cm$^{-2}$~str$^{-1}$, respectively, and the negative correlation between the non-thermal physical properties is observed. The temperature and normalization of the thermal component also vary within a range of $\sim$0.2-0.3 keV and $\sim$0.2-7 $\times$ 10$^{17}$ cm$^{-5}$ str$^{-1}$, respectively, and the positive correlation between the photon index and the normalization is also detected. We revealed the correlations in a supperbubble for the first time as is the case in SNRs, which suggests the possibility that the same acceleration mechanism works also in the supperbubble.


title: Notes on Scattering Amplitudes as Differential Forms

abstract: Inspired by the idea of viewing amplitudes in ${\cal N}=4$ SYM as differential forms on momentum twistor space, we introduce differential forms on the space of spinor variables, which combine helicity amplitudes in any four-dimensional gauge theory as a single object. In this note we focus on such differential forms in ${\cal N}=4$ SYM, which can also be thought of as "bosonizing" superamplitudes in non-chiral superspace. Remarkably all tree-level amplitudes in ${\cal N}=4$ SYM combine to a $d\log$ form in spinor variables, which is given by pushforward of canonical forms of Grassmannian cells, the tree forms can also be obtained using BCFW or inverse-soft construction, and we present all-multiplicity expression for MHV and NMHV forms to illustrate their simplicity. Similarly all-loop planar integrands can be naturally written as $d\log$ forms in the Grassmannian/on-shell-diagram picture, and we expect the same to hold beyond the planar limit. Just as the form in momentum twistor space reveals underlying positive geometry of the amplituhedron, the form in terms of spinor variables strongly suggests an "amplituhedron in momentum space". We initiate the study of its geometry by connecting it to the moduli space of Witten's twistor-string theory, which provides a pushforward formula for tree forms in ${\cal N}=4$ SYM.


title: Trust-Based Identity Sharing For Token Grants

abstract: Authentication and authorization are two key elements of a software application. In modern day, OAuth 2.0 framework and OpenID Connect protocol are widely adopted standards fulfilling these requirements. These protocols are implemented into authorization servers. It is common to call these authorization servers as identity servers or identity providers since they hold user identity information. Applications registered to an identity provider can use OpenID Connect to retrieve ID token for authentication. Access token obtained along with ID token allows the application to consume OAuth 2.0 protected resources. In this approach, the client application is bound to a single identity provider. If the client needs to consume a protected resource from a different domain, which only accepts tokens of a defined identity provider, then the client must again follow OpenID Connect protocol to obtain new tokens. This requires user identity details to be stored in the second identity provider as well. This paper proposes an extension to OpenID Connect protocol to overcome this issue. It proposes a client-centric mechanism to exchange identity information as token grants against a trusted identity provider. Once a grant is accepted, resulting token response contains an access token, which is good enough to access protected resources from token issuing identity provider's domain.


title: Generator-coordinate reference states for spectra and $0\nu\beta\beta$ decay in the in-medium similarity renormalization group

abstract: We use a reference state based on symmetry-restored states from deformed mean-field or generator-coordinate-method (GCM) calculations in conjunction with the in-medium similarity-renormalization group (IMSRG) to compute spectra and matrix elements for neutrinoless double-beta ($0\nu\beta\beta$) decay. Because the decay involves ground states from two nuclei, we use evolved operators from the IMSRG in one nucleus in a subsequent GCM calculation in the other. We benchmark the resulting IMSRG+GCM method against complete shell-model diagonalization for both the energies of low-lying states in $^{48}$Ca and $^{48}$Ti and the $0\nu\beta\beta$ matrix element for the decay of $^{48}$Ca, all in a single valence shell. Our approach produces better spectra than either the IMSRG with a spherical-mean-field reference or GCM calculations with unevolved operators. For the $0\nu\beta\beta$ matrix element the improvement is slight, but we expect more significant effects in full ab-initio calculations.


title: MISS: Finding Optimal Sample Sizes for Approximate Analytics

abstract: Nowadays, sampling-based Approximate Query Processing (AQP) is widely regarded as a promising way to achieve interactivity in big data analytics. To build such an AQP system, finding the minimal sample size for a query regarding given error constraints in general, called Sample Size Optimization (SSO), is an essential yet unsolved problem. Ideally, the goal of solving the SSO problem is to achieve statistical accuracy, computational efficiency and broad applicability all at the same time. Existing approaches either make idealistic assumptions on the statistical properties of the query, or completely disregard them. This may result in overemphasizing only one of the three goals while neglect the others. To overcome these limitations, we first examine carefully the statistical properties shared by common analytical queries. Then, based on the properties, we propose a linear model describing the relationship between sample sizes and the approximation errors of a query, which is called the error model. Then, we propose a Model-guided Iterative Sample Selection (MISS) framework to solve the SSO problem generally. Afterwards, based on the MISS framework, we propose a concrete algorithm, called $L^2$Miss, to find optimal sample sizes under the $L^2$ norm error metric. Moreover, we extend the $L^2$Miss algorithm to handle other error metrics. Finally, we show theoretically and empirically that the $L^2$Miss algorithm and its extensions achieve satisfactory accuracy and efficiency for a considerably wide range of analytical queries.


title: The role of a strong confining potential in a nonlinear Fokker-Planck equation

abstract: We show that solutions of nonlinear nonlocal Fokker--Planck equations in a bounded domain with no-flux boundary conditions can be approximated by Cauchy problems with increasingly strong confining potentials defined in the whole space. Two different approaches are analyzed, making crucial use of uniform estimates for $L^2$ energy functionals and free energy (or entropy) functionals respectively. In both cases, we prove that the weak formulation of the problem in a bounded domain can be obtained as the weak formulation of a limit problem in the whole space involving a suitably chosen sequence of large confining potentials. The free energy approach extends to the case degenerate diffusion.


title: Hurwitz numbers and matrix integrals labeled with chord diagrams

abstract: We shall consider the product of complex random matrices from the independent complex Ginibre ensembles. The product includes complex matrices $Z_i, Z_i^\dagger, \, i = 1, \ldots, n$ and $2n$ sources (complex matrices $C_i$ and $C_i^*$). Any such product can be represented by a chord diagram that encodes the order of the matrices in the product. We introduce the Euler characteristic E$^*$ of the chord diagram and show that the spectral correlation functions of the product generate Hurwitz numbers that enumerate nonequivalent branched coverings of Riemann surfaces of genus $g^*$. The role of sources is the generation of branching profiles in critical points which are assigned to the vertices of the graph drawn on the base surface obtained as a result of gluing of the $2n$-gon related to the chord diagram in a standard way. Hurwitz numbers for Klein surfaces may also be obtained by a slight modification of the model. Namely, we consider $2n+1$ polygon and consider pairing of the extra matrix $Z_{2n+1}$ with a "Mobius" tau function. Thus, the presented matrix models labelled by chord diagrams generate Hurwitz numbers for any given Euler characteristic of the base surface and for any given set of ramification profiles.


title: NMT-based Cross-lingual Document Embeddings

abstract: This paper investigates a cross-lingual document embedding method that improves the current Neural machine Translation framework based Document Vector (NTDV or simply NV). NV is developed with a self-attention mechanism under the neural machine translation (NMT) framework. In NV, each pair of parallel documents in different languages are projected to the same shared layer in the model. However, the pair of NV embeddings are not guaranteed to be similar. This paper further adds a distance constraint to the training objective function of NV so that the two embeddings of a parallel document are required to be as close as possible. The new method will be called constrained NV (cNV). In a cross-lingual document classification task, the new cNV performs as well as NV and outperforms other published studies that require forward-pass decoding. Compared with the previous NV, cNV does not need a translator during testing, and so the method is lighter and more flexible.


title: Robust Distributed Planar Formation Control for Higher-Order Holonomic and Nonholonomic Agents

abstract: We present a distributed formation control strategy for agents with a variety of dynamics to achieve a desired planar formation. Our approach is based on the barycentric-coordinate-based (BCB) control, which is fully distributed, does not require inter-agent communication or a common sense of orientation, and can be implemented using relative position measurements acquired by agents in their local coordinate frames. This removes the need for global positioning or alignment of local coordinate frames, which are required across several existing strategies. We show how the BCB control for agents with the simplest dynamical model, i.e., the single-integrator dynamics, can be extended to agents with higher-order dynamics such as quadrotors, and nonholonomic agents such as unicycles and cars. Specifically, our extension preserves the desired convergence and robustness guarantees of the BCB approach and is provably robust to saturations in the input and unmodeled linear actuator dynamics for unicycle and car agents. We further show that under our proposed BCB control design, the agents can move along a rotated and scaled control direction without affecting the convergence to the desired formation. This observation is used to design a fully distributed collision avoidance strategy, which is often not considered in the formation control literature. We demonstrate the proposed approach in simulations and further present a distributed robotic platform to test the strategy experimentally. Our experimental platform consists of off-the-shelf equipment that can be used to test and validate other multi-agent algorithms. The code and implementation instructions for this platform are available online.


title: MPTCP meets FEC: Supporting Latency-Sensitive Applications over Heterogeneous Networks

abstract: Over the past years, TCP has gone through numerous updates to provide performance enhancement under diverse network conditions. However, with respect to losses, little can be achieved with legacy TCP detection and recovery mechanisms. Both fast retransmission and retransmission timeout take at least one extra round trip time to perform, and this might significantly impact performance of latency-sensitive applications, especially in lossy or high delay networks. While forward error correction (FEC) is not a new initiative in this direction, the majority of the approaches consider FEC inside the application. In this paper, we design and implement a framework, where FEC is integrated within TCP. Our main goal with this design choice is to enable latency sensitive applications over TCP in high delay and lossy networks, but remaining application agnostic. We further incorporate this design into multipath TCP (MPTCP), where we focus particularly on heterogeneous settings, considering the fact that TCP recovery mechanisms further escalate head-of-line blocking in multipath. We evaluate the performance of the proposed framework and show that such a framework can bring significant benefits compared to legacy TCP and MPTCP for latency-sensitive real application traffic, such as video streaming and web services.


title: Black hole demography at the dawn of gravitational-wave astronomy: state of the art and future perspectives

abstract: The first LIGO-Virgo detections have confirmed the existence of massive black holes (BHs), with mass $30-40$ M$_\odot$. Such BHs might originate from massive metal-poor stars ($Z<0.3$ Z$_\odot$) or from gravitational instabilities in the early Universe. The formation channels of merging BHs are still poorly constrained. The measure of mass, spin and redshift distribution of merging BHs will give us fundamental clues to distinguish between different models. Also, a better understanding of several astrophysical processes (e.g. common envelope, core-collapse supernovae, and dynamical evolution of BHs) is decisive, to shed light on the formation channels of merging BHs.


title: Clause Vivification by Unit Propagation in CDCL SAT Solvers

abstract: Original and learnt clauses in Conflict-Driven Clause Learning (CDCL) SAT solvers often contain redundant literals. This may have a negative impact on performance because redundant literals may deteriorate both the effectiveness of Boolean constraint propagation and the quality of subsequent learnt clauses. To overcome this drawback, we propose a clause vivification approach that eliminates redundant literals by applying unit propagation. The proposed clause vivification is activated before the SAT solver triggers some selected restarts, and only affects a subset of original and learnt clauses, which are considered to be more relevant according to metrics like the literal block distance (LBD). Moreover, we conducted an empirical investigation with instances coming from the hard combinatorial and application categories of recent SAT competitions. The results show that a remarkable number of additional instances are solved when the proposed approach is incorporated into five of the best performing CDCL SAT solvers (Glucose, TC_Glucose, COMiniSatPS, MapleCOMSPS and MapleCOMSPS_LRB). More importantly, the empirical investigation includes an in-depth analysis of the effectiveness of clause vivification. It is worth mentioning that one of the SAT solvers described here was ranked first in the main track of SAT Competition 2017 thanks to the incorporation of the proposed clause vivification. That solver was further improved in this paper and won the bronze medal in the main track of SAT Competition 2018.


title: Exploring Mindset's Applicability to Students' Experiences with Challenge in Transformed College Physics Courses

abstract: The mindset literature is a longstanding area of psychological research focused on beliefs about intelligence, response to challenge, and goals for learning (Dweck, 2000). However, the mindset literature's applicability to the context of college physics has not been widely studied. In this paper we narrow our focus toward students' descriptions of their responses to challenge in college physics. We ask the research questions, "can we see responses to challenge in college physics that resemble that of the mindset literature?" and "how do students express evidence of challenge and to what extent is such evidence reflective of challenges found in the mindset literature?" To answer these questions, we developed a novel coding scheme for interview dialogue around college physics challenge and students' responses to it. In this paper we present the development process of our coding scheme. We find that it is possible to see student descriptions of challenge that resemble the mindset literature's characterizations. However, college physics challenges are frequently different than those studied in the mindset literature. We show that, in the landscape of college physics challenges, mindset beliefs cannot always be considered to be the dominant factor in how students respond to challenge. Broadly, our coding scheme helps the field move beyond broad Likert-scale survey measures of students' mindset beliefs.


title: Readable Racetrack Memory via Ferromagnetically Coupled Chiral Domain Walls

abstract: Current-induced motion of domain walls (CIMDW) with interfacial Dzyaloshinskii-Moriya interaction (DMI) in heavy metal (HM)/ferromagnetic (FM) metal multilayers have attracted attention owing to their potential application in novel magnetic memories. In recent years, the CIMDW at ultrahigh speed has been observed in a synthetic antiferromagnetic (SAF) multilayer. However, due to the zero net magnetization, the reading of information from the SAF multilayer is still challenging. In this work, we propose a readable racetrack memory consisting of a synthetic ferromagnetic multilayer composed of two FM layers with an interlayer FM coupling. One FM layer had an isotropic DMI, while the other had an anisotropic DMI. This difference of DMIs resulted in the opposite tilting directions of the DW planes in the two layers. This tilting was inhibited by a strong interlayer FM coupling, resulting in an increase in the DW velocity and the reduction of the minimum allowed spacing between two adjacent DWs. In addition, the FM coupling enhanced the stray field, and the stored information could be read conveniently using a conventional reading head. Therefore, our proposal paves a way for the fabrication of a racetrack memory with high reading speed, large storage density, and good readability.


title: Lifting of Spin Blockade by Charged Impurities in Si-MOS Double Quantum Dot Devices

abstract: One obstacle that has slowed the development of electrically gated metal-oxide-semiconductor (MOS) singlet-triplet qubits is the frequent lack of observed spin blockade, even in samples with large singlet-triplet energy splittings. We present theoretical and experimental evidence that the cause of this problem in MOS double quantum dots is the stray positive charges in the oxide inducing accidental levels near the device's active region that allow spin blockade lifting. We also present evidence that these effects can be mitigated by device design modifications, such as overlapping gates.


title: On growth of the set $A(A+1)$ in arbitrary finite fields

abstract: Let $\mathbb{F}_q$ be a finite field of order $q$, where $q$ is a power of a prime. For a set $A \subset \mathbb{F}_q$, under certain structural restrictions, we prove a new explicit lower bound on the size of the product set $A(A + 1)$. Our result improves on the previous best known bound due to Zhelezov and holds under more relaxed restrictions.


title: A Note on Bayesian Nonparametric Inference for Spherically Symmetric Distribution

abstract: In this paper, we describe a Bayesian nonparametric approach to make inference for a bivariate spherically symmetric distribution. We consider a Dirichlet invariant process prior on the set of all bivariate spherically symmetric distributions and we derive the Dirichlet invariant process posterior. Indeed, our approach is an extension of Dirichlet invariant process for the symmetric distributions on the real line to a bivariate spherically symmetric distribution where the underlying distribution is invariant under a finite group of rotations. Moreover, we obtain the Dirichlet invariant process posterior for the infinite transformation group and we prove that it approaches to Dirichlet process.


title: Explicit computation of some families of Hurwitz numbers, II

abstract: We continue our computation, using a combinatorial method based on Gronthendieck's dessins d'enfant, of the number of (weak) equivalence classes of surface branched covers matching certain specific branch data. In this note we concentrate on data with the surface of genus g as source surface, the sphere as target surface, 3 branching points, degree 2k, and local degrees over the branching points of the form [2,...,2], [2h+1,3,2,...,2], [d_1,...,d_l]. We compute the corresponding (weak) Hurwitz numbers for several values of g and h, getting explicit arithmetic formulae in terms of the d_i's.


title: A Distributed ADMM Approach to Non-Myopic Path Planning for Multi-Target Tracking

abstract: This paper investigates non-myopic path planning of mobile sensors for multi-target tracking. Such problem has posed a high computational complexity issue and/or the necessity of high-level decision making. Existing works tackle these issues by heuristically assigning targets to each sensing agent and solving the split problem for each agent. However, such heuristic methods reduce the target estimation performance in the absence of considering the changes of target state estimation along time. In this work, we detour the task-assignment problem by reformulating the general non-myopic planning problem to a distributed optimization problem with respect to targets. By combining alternating direction method of multipliers (ADMM) and local trajectory optimization method, we solve the problem and induce consensus (i.e., high-level decisions) automatically among the targets. In addition, we propose a modified receding-horizon control (RHC) scheme and edge-cutting method for efficient real-time operation. The proposed algorithm is validated through simulations in various scenarios.


title: Variability and Optical Polarization Can Probe the Neutrino and Electromagnetic Emission Mechanisms of TXS~0506+056

abstract: The association of the high-energy neutrino event IceCube-170922A with the flaring blazar TXS~0506+056 indicates that hadronic processes may operate in a blazar jet. We perform semi-analytical spectral fitting of the multi-wavelength emission to obtain estimates of the jet physical parameters, and find that the multi-wavelength emission can be explained by either a proton synchrotron scenario or an electron inverse Compton scattering scenario. In the proton synchrotron scenario, a strong magnetic field of $10-100$~G is required, implying that the particle acceleration is likely driven by magnetic energy dissipation such as magnetic reconnection events. The inverse Compton scenario implies a magnetic field of $0.1-1$~G. Thus the particle acceleration is likely driven by the kinetic energy dissipation such as shocks. We also discuss the neutrino production in the context of single-zone and multi-zone models based on the above two scenarios. We demonstrate that the variability and optical polarization signatures can be used to distinguish the two scenarios due to their drastically different magnetic field. Specifically, the proton synchrotron scenario may show orphan fast variability in the low-energy spectral component on top of the active state, with an optical polarization degree $\lesssim 10\%$ throughout the active state. The inverse Compton scattering scenario instead predicts co-variability of the low- and high-energy components on both short and long time scales, as well as a strongly variable optical polarization degree that can reach $\gtrsim 20\%$. Our results suggest that optical polarization measurements and well-resolved multi-wavelength light curves can be used to understand the electromagnetic and high-energy neutrino emissions by TXS~0506+056 and similar events in the future.


title: Transient dynamics in strongly nonlinear systems: optimization of initial conditions on the resonant manifold

abstract: We consider a system of two linear and linearly coupled oscillators with ideal impact constraints. Primary resonant energy exchange is investigated by analysis of the slow-flow using the action-angle (AA) formalism. Exact inversion of the action-energy dependence for the linear oscillator with impact constraints is not possible. This difficulty, typical for many models of nonlinear oscillators, is circumvented by matching the asymptotic expansions for the linear and impact limits. The obtained energy-action relation enables the complete analysis of the slow-flow and the accurate description of the critical delocalization transition. The transition from the localization regime to the energy-exchange regime is captured by prediction of the critical coupling value. Accurate prediction of the delocalization transition requires detailed account of the coupling energy with appropriate re-definition and optimization of the limiting phase trajectory on the resonant manifold.


title: Joint Representation and Truncated Inference Learning for Correlation Filter based Tracking

abstract: Correlation filter (CF) based trackers generally include two modules, i.e., feature representation and on-line model adaptation. In existing off-line deep learning models for CF trackers, the model adaptation usually is either abandoned or has closed-form solution to make it feasible to learn deep representation in an end-to-end manner. However, such solutions fail to exploit the advances in CF models, and cannot achieve competitive accuracy in comparison with the state-of-the-art CF trackers. In this paper, we investigate the joint learning of deep representation and model adaptation, where an updater network is introduced for better tracking on future frame by taking current frame representation, tracking result, and last CF tracker as input. By modeling the representor as convolutional neural network (CNN), we truncate the alternating direction method of multipliers (ADMM) and interpret it as a deep network of updater, resulting in our model for learning representation and truncated inference (RTINet). Experiments demonstrate that our RTINet tracker achieves favorable tracking accuracy against the state-of-the-art trackers and its rapid version can run at a real-time speed of 24 fps. The code and pre-trained models will be publicly available at https://github.com/tourmaline612/RTINet.


title: Pointwise monotonicity of heat kernels

abstract: In this paper the authors present a proof of a pointwise radial monotonicity property of heat kernels that is shared by the euclidean spaces, spheres and hyperbolic spaces. The main result deals with monotonicity from special points on revolution hypersurfaces from which the aforementioned are deduced. The proof relies on a non straightforward but elementary application of the parabolic maximum principle.


title: An Open Framework Enabling Electromagnetic Tracking in Image-Guided Interventions

abstract: Electromagnetic tracking (EMT) is a core platform technology in the navigation and visualisation of image-guided procedures. The technology provides high tracking accuracy in non-line-of-sight environments, allowing instrument navigation in locations where optical tracking is not feasible. Integration of EMT in complex procedures, often coupled with multi-modal imaging, is on the rise, yet the lack of exibility in the available hardware platforms has been noted by many researchers and system designers. Advances in the field of EMT include novel methods of improving tracking system accuracy, precision and error compensation capabilities, though such system-level improvements cannot be readily incorporated in current therapy applications due to the `blackbox' nature of commercial tracking solving algorithms. This paper defines a software framework to allow novel EMT designs and improvements become part of the global design process for image-guided interventions. In an effort to standardise EMT development, we define a generalised cross-platform software framework in terms of the four system functions common to all EMT systems; acquisition, filtering, modelling and solving. The interfaces between each software component are defined in terms of their input and output data structures. An exemplary framework is implemented in the Python programming language and demonstrated with the open-source Anser EMT system. Performance metrics are gathered from both Matlab and Python implementations of Anser EMT considering the host operating system, hardware configuration and acquisition settings used. Results show indicative system latencies of 5 ms can be achieved using the framework on a Windows operating system, with decreased system performance observed on UNIX-like platforms.


title: Visual Analogies between Atari Games for Studying Transfer Learning in RL

abstract: In this work, we ask the following question: Can visual analogies, learned in an unsupervised way, be used in order to transfer knowledge between pairs of games and even play one game using an agent trained for another game? We attempt to answer this research question by creating visual analogies between a pair of games: a source game and a target game. For example, given a video frame in the target game, we map it to an analogous state in the source game and then attempt to play using a trained policy learned for the source game. We demonstrate convincing visual mapping between four pairs of games (eight mappings), which are used to evaluate three transfer learning approaches.


title: The Theory of Inflation

abstract: This article contains a concise review of the theory of inflation. We discuss its main theoretical aspects as well as its observational predictions. We also explain how the most recent astrophysical observations constrain the inflationary scenario.


title: CoHSI II; The average length of proteins, evolutionary pressure and eukaryotic fine structure

abstract: The CoHSI (Conservation of Hartley-Shannon Information) distribution is at the heart of a wide-class of discrete systems, defining (amongst other properties) the length distribution of their components. Discrete systems such as the known proteome, computer software and texts are all known to fit this distribution accurately. In a previous paper, we explored the properties of this distribution in detail. Here we will use these properties to show why the average length of components in general and proteins in particular is highly conserved, howsoever measured, demonstrating this on various aggregations of proteins taken from the UniProt database. We will go on to define departures from this equilibrium state, identifying fine structure in the average length of eukaryotic proteins that result from evolutionary processes.


title: Prediction of astrometric microlensing events from Gaia DR2 proper motions

abstract: Context: Astrometric gravitational microlensing is an excellent tool to determine the mass of stellar objects. Using precise astrometric measurements of the lensed position of a background source in combination with accurate predictions of the positions of the lens and the unlensed source it is possible to determine the mass of the lens with an accuracy of a few percent. Aims: Making use of the recently published Gaia Data Release 2 (DR2) catalogue, we want to predict astrometric microlensing events caused by foreground stars with high proper motion passing a background source in the coming decades. Methods: We selected roughly 148 000 high-proper-motion stars from Gaia DR2 with $\mu_{tot} > 150\,\mathrm{mas/yr}$ as potential lenses. We then searched for background sources close to their paths. Using the astrometric parameters of Gaia DR2, we calculated the future positions of source and lens. With a nested-intervals algorithm we determined the date and separation of the closest approach. Using Gaia DR2 photometry we determined an approximate mass of the lens, which we used to calculate the expected microlensing effects. Results: We predict 3914 microlensing events caused by 2875 different lenses between 2010 and 2065, with expected shifts larger than $0.1\,\mathrm{mas}$ between the lensed and unlensed positions of the source. Of those, 513 events are expected to happen between 2014.5 - 2026.5 and might be measured by Gaia. For 127 events we also expect a magnification between $1\,\mathrm{mmag}$ and $3\,\mathrm{mag}$.


title: Semi-supervised Transfer Learning for Image Rain Removal

abstract: Single image rain removal is a typical inverse problem in computer vision. The deep learning technique has been verified to be effective for this task and achieved state-of-the-art performance. However, previous deep learning methods need to pre-collect a large set of image pairs with/without synthesized rain for training, which tends to make the neural network be biased toward learning the specific patterns of the synthesized rain, while be less able to generalize to real test samples whose rain types differ from those in the training data. To this issue, this paper firstly proposes a semi-supervised learning paradigm toward this task. Different from traditional deep learning methods which only use supervised image pairs with/without synthesized rain, we further put real rainy images, without need of their clean ones, into the network training process. This is realized by elaborately formulating the residual between an input rainy image and its expected network output (clear image without rain) as a specific parametrized rain streaks distribution. The network is therefore trained to adapt real unsupervised diverse rain types through transferring from the supervised synthesized rain, and thus both the short-of-training-sample and bias-to-supervised-sample issues can be evidently alleviated. Experiments on synthetic and real data verify the superiority of our model compared to the state-of-the-arts.


title: ReenactGAN: Learning to Reenact Faces via Boundary Transfer

abstract: We present a novel learning-based framework for face reenactment. The proposed method, known as ReenactGAN, is capable of transferring facial movements and expressions from monocular video input of an arbitrary person to a target person. Instead of performing a direct transfer in the pixel space, which could result in structural artifacts, we first map the source face onto a boundary latent space. A transformer is subsequently used to adapt the boundary of source face to the boundary of target face. Finally, a target-specific decoder is used to generate the reenacted target face. Thanks to the effective and reliable boundary-based transfer, our method can perform photo-realistic face reenactment. In addition, ReenactGAN is appealing in that the whole reenactment process is purely feed-forward, and thus the reenactment process can run in real-time (30 FPS on one GTX 1080 GPU). Dataset and model will be publicly available at https://wywu.github.io/projects/ReenactGAN/ReenactGAN.html


title: Towards ultra-high resolution 3D reconstruction of a whole rat brain from 3D-PLI data

abstract: 3D reconstruction of the fiber connectivity of the rat brain at microscopic scale enables gaining detailed insight about the complex structural organization of the brain. We introduce a new method for registration and 3D reconstruction of high- and ultra-high resolution (64 $\mu$m and 1.3 $\mu$m pixel size) histological images of a Wistar rat brain acquired by 3D polarized light imaging (3D-PLI). Our method exploits multi-scale and multi-modal 3D-PLI data up to cellular resolution. We propose a new feature transform-based similarity measure and a weighted regularization scheme for accurate and robust non-rigid registration. To transform the 1.3 $\mu$m ultra-high resolution data to the reference blockface images a feature-based registration method followed by a non-rigid registration is proposed. Our approach has been successfully applied to 278 histological sections of a rat brain and the performance has been quantitatively evaluated using manually placed landmarks by an expert.


title: Decomposition Theorem for Product of Fundamental Crystals in Monomial Realization

abstract: We consider a product of fundamental crystals in monomial realization of type A. Then we shall show that the product holds crystal structure and describe how it is decomposed into irreducible crystals, which is, in general, different from the decomposition for tensor product of the fundamental crystals.


title: Convolutional Gated Recurrent Units for Medical Relation Classification

abstract: Convolutional neural network (CNN) and recurrent neural network (RNN) models have become the mainstream methods for relation classification. We propose a unified architecture, which exploits the advantages of CNN and RNN simultaneously, to identify medical relations in clinical records, with only word embedding features. Our model learns phrase-level features through a CNN layer, and these feature representations are directly fed into a bidirectional gated recurrent unit (GRU) layer to capture long-term feature dependencies. We evaluate our model on two clinical datasets, and experiments demonstrate that our model performs significantly better than previous single-model methods on both datasets.


title: Gapped Boundary Theory of the Twisted Gauge Theory Model of Three-Dimensional Topological Orders

abstract: We extend the twisted gauge theory model of topological orders in three spatial dimensions to the case where the three spaces have two dimensional boundaries. We achieve this by systematically constructing the boundary Hamiltonians that are compatible with the bulk Hamoltonian. Given the bulk Hamiltonian defined by a gauge group $G$ and a four-cocycle $\omega$ in the fourth cohomology group of $G$ over $U(1)$, a boundary Hamiltonian can be defined by a subgroup $K$ of $G$ and a three-cochain $\alpha$ in the third cochain group of $K$ over $U(1)$. The boundary Hamiltonian to be constructed must be gapped and invariant under the topological renormalization group flow (via Pachner moves), leading to a generalized Frobenius condition. Given $K$, a solution to the generalized Frobenius condition specifies a gapped boundary condition. We derive a closed-form formula of the ground state degeneracy of the model on a three-cylinder, which can be naturally generalized to three-spaces with more boundaries. We also derive the explicit ground-state wavefunction of the model on a three-ball. The ground state degeneracy and ground-state wavefunction are both presented solely in terms of the input data of the model, namely, $\{G,\omega,K,\alpha\}$.


title: Next Generation Light Sources and Applications

abstract: The 4th generation light source has achieved tremendous success and leveraged scientific research in material science, biology and chemistry fundamentally. This paper discussed progress in LCLS as introduction and the possibility of accelerating driver beam with plasma wakefield in following section. Several potential applications of next generation light source are listed at the end.


title: Detection of out-of-time-order correlators and information scrambling in cold atoms: Ladder-XX model

abstract: Out-of-time-order correlators (OTOC), recently being the center of discussion on quantum chaos, are a tool to understand the information scrambling in different phases of quantum many-body systems. We propose a disordered ladder spin model, XX-ladder, which can be designed in a scalable cold atom setup to detect OTOC with a novel sign reversal protocol for the evolution backward in time. We study both the clean and disordered limits of XX-ladder and characterize different phases (ergodic-MBL) of the model based on the decay properties of OTOCs. Emergent effective lightcone shows sublinear behaviour, while the butterfly cones drastically differ from the lightcone via demonstrating superlinear behaviour. Based on our results, one can observe how the information scrambling changes in the transition from well-studied 1D spin models to unexplored 2D spin models in a local setting.


title: Mobile Technology in Healthcare Environment: Security Vulnerabilities and Countermeasures

abstract: Mobile devices and technologies offer a tremendous amount of benefits to users, although it is also understood that it introduces a set of challenges when it comes to security, compliance, and risks. More and more healthcare organizations have been seeking to update their outdated technology, and have considered the adoption of mobile devices to meet these needs. However, introducing mobile devices and technology also introduces new risks and threats to the organization. As a test case, we examine Epic Rover, a mobile application that has been identified as a viable solution to manage the electronic medical system. In this paper, we study the insights that the security team needs to investigate, before the adoption of this mobile technology, as well as provide a thorough examination of the vulnerabilities and threats that the use of mobile devices in the healthcare environment brings, and introduce countermeasures and mitigations to reduce the risk while maintaining regulatory compliance.


title: Information Distance Revisited

abstract: We consider the notion of information distance between two objects x and y introduced by Bennett, G\'acs, Li, Vitanyi, and Zurek [1] as the minimal length of a program that computes x from y as well as computing y from x, and study different versions of this notion. It was claimed by Mahmud [11] that the prefix version of information distance equals max(K(x|y), K(y|) + O(1) (this equality with logarithmic precision was one of the main results of the paper by Bennett, G\'acs, Li, Vitanyi, and Zurek). We show that this claim is false, but does hold if the information distance is at least super logarithmic.


title: Solving square polynomial systems : a practical method using Bezout matrices

abstract: Let $f$ be a polynomial system consisting of $n$ polynomials $f_1,\cdots, f_n$ in $n$ variables $x_1,\cdots, x_n$, with coefficients in $\mathbb{Q}$ and let $\langle f\rangle$ be the ideal generated by $f$. Such a polynomial system, which has as many equations as variables is called a square system. It may be zero-dimensional, i.e the system of equations $f = 0$ has finitely many complex solutions, or equivalently the dimension of the quotient algebra $A = \mathbb{Q}[x]/\langle f\rangle$ is finite. In this case, the companion matrices of $f$ are defined as the matrices of the endomorphisms of $A$, called multiplication maps, $x_j : \left\vert \begin{array}{c} h \mapsto x_jh \end{array} \right.$, written in some basis of $A$. We present a practical and efficient method to compute the companion matrices of $f$ in the case when the system is zero-dimensional. When it is not zero-dimensional, then the method works as well and still produces matrices having properties similar to the zero-dimensional case. The whole method consists in matrix calculations. An experiment illustrates the method's effectiveness.


title: Towards Automatic Speech Identification from Vocal Tract Shape Dynamics in Real-time MRI

abstract: Vocal tract configurations play a vital role in generating distinguishable speech sounds, by modulating the airflow and creating different resonant cavities in speech production. They contain abundant information that can be utilized to better understand the underlying speech production mechanism. As a step towards automatic mapping of vocal tract shape geometry to acoustics, this paper employs effective video action recognition techniques, like Long-term Recurrent Convolutional Networks (LRCN) models, to identify different vowel-consonant-vowel (VCV) sequences from dynamic shaping of the vocal tract. Such a model typically combines a CNN based deep hierarchical visual feature extractor with Recurrent Networks, that ideally makes the network spatio-temporally deep enough to learn the sequential dynamics of a short video clip for video classification tasks. We use a database consisting of 2D real-time MRI of vocal tract shaping during VCV utterances by 17 speakers. The comparative performances of this class of algorithms under various parameter settings and for various classification tasks are discussed. Interestingly, the results show a marked difference in the model performance in the context of speech classification with respect to generic sequence or video classification tasks.


title: Boundary lipids of the nicotinic acetylcholine receptor: spontaneous partitioning via coarse-grained molecular dynamics simulation

abstract: Reconstituted nicotinic acetylcholine receptors (nAChRs) exhibit significant gain-of-function upon addition of cholesterol to reconstitution mixtures, and cholesterol affects organization of nAChRs within domain-forming membranes, but whether nAChR partitions to cholesterol-rich liquid-ordered ("raft" or $l_o$) domains or cholesterol-poor liquid-disordered ($l_{do}$) domains is unknown. We use coarse-grained molecular dynamics simulations to observe spontaneous interactions of cholesterol, saturated lipids, and polyunsaturated (PUFA) lipids with nAChRs. In binary Dipalmitoylphosphatidylcholine:Cholesterol (DPPC:CHOL) mixtures, both CHOL and DPPC acyl chains were observed spontaneously entering deep "non-annular" cavities in the nAChR TMD, particularly at the subunit interface and the $\beta$ subunit center, facilitated by the low amino acid density in the cryo-EM structure of nAChR in a native membrane. Cholesterol was highly enriched in the annulus around the TMD, but this effect extended over (at most) 5-10\AA. In domain-forming ternary mixtures containing PUFAs, the presence of a single receptor did not significantly affect the likelihood of domain formation. nAChR partitioned to any cholesterol-poor $l_{do}$ domain that was present, regardless of whether the $l_{do}$ or $l_o$ domain lipids had PC or PE headgroups. Enrichment of PUFAs among boundary lipids was positively correlated with their propensity for demixing from cholesterol-rich phases. Long $n - 3$ chains (tested here with Docosahexaenoic Acid, DHA) were highly enriched in annular and non-annular embedded sites, partially displacing cholesterol and completely displacing DPPC, and occupying sites even deeper within the bundle. Shorter $n - 6$ chains were far less effective at displacing cholesterol from non-annular sites.


title: StructADMM: A Systematic, High-Efficiency Framework of Structured Weight Pruning for DNNs

abstract: Weight pruning methods of DNNs have been demonstrated to achieve a good model pruning rate without loss of accuracy, thereby alleviating the significant computation/storage requirements of large-scale DNNs. Structured weight pruning methods have been proposed to overcome the limitation of irregular network structure and demonstrated actual GPU acceleration. However, in prior work the pruning rate (degree of sparsity) and GPU acceleration are limited (to less than 50%) when accuracy needs to be maintained. In this work,we overcome these limitations by proposing a unified, systematic framework of structured weight pruning for DNNs. It is a framework that can be used to induce different types of structured sparsity, such as filter-wise, channel-wise, and shape-wise sparsity, as well non-structured sparsity. The proposed framework incorporates stochastic gradient descent with ADMM, and can be understood as a dynamic regularization method in which the regularization target is analytically updated in each iteration. Without loss of accuracy on the AlexNet model, we achieve 2.58X and 3.65X average measured speedup on two GPUs, clearly outperforming the prior work. The average speedups reach 3.15X and 8.52X when allowing a moderate ac-curacy loss of 2%. In this case the model compression for convolutional layers is 15.0X, corresponding to 11.93X measured CPU speedup. Our experiments on ResNet model and on other data sets like UCF101 and CIFAR-10 demonstrate the consistently higher performance of our framework.


title: Sub-convexity problem for Rankin-Selberg $L$-functions

abstract: We establish a sub-convexity estimate for Rankin-Selberg $L$-functions in the combined level aspect, using the circle method. If $p$ and $q$ are distinct prime numbers, $f$ and $g$ are non-exceptional newforms (modular or Maass) for the congruence subgroups $\Gamma_0(p)$ and $\Gamma_0(q)$ (resp) with trivial nebentypus, then for all $\epsilon >0$ we show that there exists an $A >0$ such that $$ L\left(\frac{1}{2}+it, f \times g \right) \ll_{\epsilon,\mu_f, \mu_g}(1+|t|)^A \frac{(pq)^{1/2+\epsilon}}{\max\{p,q \}^{\frac{1}{64}}}. $$ The dependence on $\mu_f$ and $\mu_g$, the parameters at infinity for $f$ and $g$ respectively, is polynomial. Further, if $p$ is fixed and $q \rightarrow \infty$, we improve this to $$ L\left(\frac{1}{2}+it, f \times g \right) \ll_{\epsilon,\mu_f,\mu_g}(p(1+|t|))^Aq^{\frac{1}{2}-\frac{1-2\theta}{27+28\theta}+\epsilon} , $$ where $\theta$ is the exponent towards Ramanujan-conjecture for cuspidal automorphic forms. Unconditionally, we can take $\theta = 7/64$. This improves all previously known sub-convexity estimates in this case.


title: Zeros of partial sums of $L$-functions

abstract: We consider a certain class of multiplicative functions $f: \mathbb N \rightarrow \mathbb C$. Let $F(s)= \sum_{n=1}^\infty f(n)n^{-s}$ be the associated Dirichlet series and $F_N(s)= \sum_{n\le N} f(n)n^{-s}$ be the truncated Dirichlet series. In this setting, we obtain new Hal\'asz-type results for the logarithmic mean value of $f$. More precisely, we prove estimates for the sum $\sum_{n=1}^x f(n)/n$ in terms of the size of $|F(1+1/\log x)|$ and show that these estimates are sharp. As a consequence of our mean value estimates, we establish non-trivial zero-free regions for these partial sums $F_N(s)$. In particular, we study the zero distribution of partial sums of the Dedekind zeta function of a number field $K$. More precisely, we give some improved results for the number of zeros up to height $T$ as well as new zero density results for the number of zeros up to height $T$, lying to the right of $\Re(s) =\sigma$, where $\sigma > 1/2$.


title: Towards End-to-End Acoustic Localization using Deep Learning: from Audio Signal to Source Position Coordinates

abstract: This paper presents a novel approach for indoor acoustic source localization using microphone arrays and based on a Convolutional Neural Network (CNN). The proposed solution is, to the best of our knowledge, the first published work in which the CNN is designed to directly estimate the three dimensional position of an acoustic source, using the raw audio signal as the input information avoiding the use of hand crafted audio features. Given the limited amount of available localization data, we propose in this paper a training strategy based on two steps. We first train our network using semi-synthetic data, generated from close talk speech recordings, and where we simulate the time delays and distortion suffered in the signal that propagates from the source to the array of microphones. We then fine tune this network using a small amount of real data. Our experimental results show that this strategy is able to produce networks that significantly improve existing localization methods based on \textit{SRP-PHAT} strategies. In addition, our experiments show that our CNN method exhibits better resistance against varying gender of the speaker and different window sizes compared with the other methods.


title: The Complete Local Volume Groups Sample - II. A study of the Central Radio Galaxies in the High$-$Richness Sub-sample

abstract: We present a study of the radio properties of the dominant early-type galaxies in 26 galaxy groups, the high-richness sub-sample of the Complete Local-volume Groups Sample (CLoGS). Combining new 610 MHz and 235 MHz observations of 21 groups from the Giant Metrewave Radio Telescope (GMRT) with archival GMRT and Very Large Array (VLA) survey data, we find a high detection rate, with 92% of the dominant galaxies hosting radio sources. The sources have a wide range of luminosities, 10$^{20}$ $-$ 10$^{24}$ W/Hz in the 235 and 610 MHz bands. The majority (54%) are point-like, but 23% have radio jets, and another 15% are diffuse radio sources with no clear jet/lobe morphology. The spectral index of the detected radio sources ranges from very flat values of ~0.2 to typical radio synchrotron spectra of ~0.9 with only two presenting steep radio spectra with $\alpha_{235}^{610}$ > 1. We find that jet sources are more common in X-ray bright groups, with radio non-detections found only in X-ray faint systems. Radio point sources appear in all group environments irrespective of their X-ray properties or spiral fraction. We estimate the mechanical power (Pcav) of the jet sources in the X-ray bright groups to be 10$^{41}$ $-$ 10$^{43}$ erg/s, with the two large-scale jet systems (NGC 193 and NGC 4261) showing jet powers two orders of magnitude greater than the radiative losses from the cool cores of their groups. This suggests that central AGN are not always in balance with cooling, but may instead produce powerful periodical bursts of feedback heating.


title: Spiking Neural Networks for Early Prediction in Human Robot Collaboration

abstract: This paper introduces the Turn-Taking Spiking Neural Network (TTSNet), which is a cognitive model to perform early turn-taking prediction about human or agent's intentions. The TTSNet framework relies on implicit and explicit multimodal communication cues (physical, neurological and physiological) to be able to predict when the turn-taking event will occur in a robust and unambiguous fashion. To test the theories proposed, the TTSNet framework was implemented on an assistant robotic nurse, which predicts surgeon's turn-taking intentions and delivers surgical instruments accordingly. Experiments were conducted to evaluate TTSNet's performance in early turn-taking prediction. It was found to reach a F1 score of 0.683 given 10% of completed action, and a F1 score of 0.852 at 50% and 0.894 at 100% of the completed action. This performance outperformed multiple state-of-the-art algorithms, and surpassed human performance when limited partial observation is given (< 40%). Such early turn-taking prediction capability would allow robots to perform collaborative actions proactively, in order to facilitate collaboration and increase team efficiency.


title: Modestly Weighted Logrank Tests

abstract: We propose a new class of weighted logrank tests (WLRT) that control the risk of concluding that a new drug is more efficacious than standard of care, when, in fact, it is uniformly inferior. Perhaps surprisingly, this risk is not controlled for WLRT in general. Tests from this new class can be constructed to have high power under a delayed-onset treatment effect scenario, as well as being almost as efficient as the standard logrank test under proportional hazards.


title: Topology, Metric Spaces and the Generalized Continuum Hypothesis

abstract: This is a paper that aims to interpret the cardinality of a set in terms of Baire Category, i.e. how many closed nowhere dense sets can be deleted from a set before the set itself becomes negligible. . To do this natural tree-theoretic structures such as the Baire topology are introduced, and the Baire Category Theorem is extended to a statement that a $\aleph$-sequentially complete binary tree representation of a Hausdorff topological space that has a clopen base of cardinality $\aleph$ and no isolated or discrete points is not the union of $<\aleph+1$-many nowhere dense subsets for cardinal $\aleph\ge\aleph_{0}$, where a $\aleph$-sequentially complete topological space is a space where every function $f:\aleph\rightarrow\{0.1\}$ is such that $(\forall x)(x\in f\rightarrow x\in\in X)\rightarrow(f\in X)$. It is shown that if $\aleph<\left|X\right|\le2^{\aleph}$ for $\left|X\right|$ the cardinality of a set $X$, then it is possible to force $\left|X\right|-\aleph\times\left|X\right|\ne\emptyset$ by deleting a dense sequence of $\aleph$ specially selected clopen sets, while if any dense sequence of $\aleph+1$ clopen sets are deleted then $\left|X\right|-(\aleph+1)\times\left|X\right|=\emptyset$. This gives rise to an alternative definition of cardinality as the number of basic clopen sets (intervals in fact) needed to be deleted from a set to force an empty remainder. This alternative definition of cardinality is consistent with and follows from the Generalized Continuum Hypothesis, which is shown by exhibiting two models of set theory, one an outer (modal) model, the other an inner, generalized metric model with an information minimization principle.


title: On the characterising slopes of hyperbolic knots

abstract: A slope $p/q$ is a characterising slope for a knot $K$ in $S^3$ if the oriented homeomorphism type of $p/q$-surgery on $K$ determines $K$ uniquely. We show that when $K$ is a hyperbolic knot its set of characterising slopes contains all but finitely many slopes $p/q$ with $q \geq 3$. We prove stronger results for hyperbolic $L$-space knots, showing that all but finitely many non-integer slopes are characterising. The proof is obtained by combining Lackenby's proof that for a hyperbolic knot any slope $p/q$ with $q$ sufficiently large is characterising with genus bounds derived from Heegaard Floer homology.


title: Convergence of Curve Shortening Flow to Translating Soliton

abstract: This paper concerns with the asymptotic behavior of complete non-compact convex curves embedded in $\mathbb{R}^2$ under the $\alpha$-curve shortening flow for exponents $\alpha >\frac12$. We show that any such curve having in addition its two ends asymptotic to two parallel lines, converges under $\alpha$-curve shortening flow to the unique translating soliton whose ends are asymptotic to the same parallel lines. This is a new result even in the standard case $\alpha=1$, and we prove for all exponents up to the critical case $\alpha>\frac12$.


title: Magnetic Polymer Models for Epigenomic Organisation and Phase Separation

abstract: The genetic instructions stored in the genome require an additional layer of information to robustly determine cell fate. This additional regulation is provided by the interplay between chromosome-patterning biochemical ("epigenetic") marks and three-dimensional genome folding. Yet, the physical principles underlying the dynamical coupling between three-dimensional genomic organisation and one-dimensional epigenetic patterns remain elusive. To shed light on this issue, here we study by mean field theory and Brownian dynamics simulations a magnetic polymer model for chromosomes, where each monomer carries a dynamic epigenetic mark. At the single chromosome level, we show that a first order transition describes the unlimited spreading of epigenetic marks, a phenomenon that is often observed in vivo. At the level of the whole nucleus, experiments suggest chromosomes form micro-phase separated compartments with distinct epigenetic marks. We here discover that for a melt of magnetic polymers such a morphology is thermodynamically unstable, but can be stabilised by a non- equilibrium and ATP-mediated epigenetic switch between different monomer states.


title: Banking Stability System: Does it Matter if the Rate of Return is Fixed or Stochastic?

abstract: The purpose is to compare the perfect Stochastic Return (SR) model like Islamic banks to the Fixed Return (FR) model as in conventional banks by measuring up their impacts at the macroeconomic level. We prove that if the optimal choice of investor share in SR model {\alpha}* realizes the indifference of the financial institution toward SR and FR models, there exists {\alpha} less than {\alpha}* such that the banks strictly prefers the SR model. Also, there exists {\alpha}, {\gamma} and {\lambda} verifying the conditions of {\alpha}-sharing such that each party in economy can be better under the SR model and the economic welfare could be improved in a Pareto-efficient way.


title: Exact Synthesis of ESOP Forms

abstract: We present an exact synthesis approach for computing Exclusive-or Sum-of-Products (ESOP) forms with a minimum number of product terms using Boolean satisfiability. Our approach finds one or more ESOP forms for a given Boolean function. The approach can deal with incompletely-specified Boolean functions defined over many Boolean variables and is particularly fast if the Boolean function can be expressed with only a few product terms. We describe the formalization of the ESOP synthesis problem with a fixed number of terms as a decision problem and present search procedures for determining ESOP forms of minimum size. We further discuss how the search procedures can be relaxed to find ESOP forms of small sizes in reasonable time. We experimentally evaluate the performance of the SAT-based synthesis procedures on completely- and incompletely-specified Boolean functions.


title: DataJoint: A Simpler Relational Data Model

abstract: The relational data model offers unrivaled rigor and precision in defining data structure and querying complex data. Yet the use of relational databases in scientific data pipelines is limited due to their perceived unwieldiness. We propose a simplified and conceptually refined relational data model named DataJoint. The model includes a language for schema definition, a language for data queries, and diagramming notation for visualizing entities and relationships among them. The model adheres to the principle of entity normalization, which requires that all data -- both stored and derived -- must be represented by well-formed entity sets. DataJoint's data query language is an algebra on entity sets with five operators that provide matching capabilities to those of other relational query languages with greater clarity due to entity normalization. Practical implementations of DataJoint have been adopted in neuroscience labs for fluent interaction with scientific data pipelines.


title: Sybil-Resilient Reality-Aware Social Choice

abstract: Sybil attacks, in which fake or duplicate identities (\emph{sybils}) infiltrate an online community, pose a serious threat to such communities, as they might tilt community-wide decisions in their favor. While the extensive research on sybil identification may help keep the fraction of sybils in such communities low, it cannot however ensure their complete eradication. Thus, our goal is to enhance social choice theory with effective group decision mechanisms for communities with bounded sybil penetration. Inspired by Reality-Aware Social Choice, we use the status quo as the anchor of \emph{sybil resilience}, characterized by \emph{sybil safety} -- the inability of sybils to change the status quo against the will of the genuine agents, and \emph{sybil liveness} -- the ability of the genuine agents to change the status quo against the will of the sybils. We consider the social choice settings of deciding on a single proposal, on multiple proposals, and on updating a parameter. For each, we present social choice rules that are sybil-safe and, under certain conditions, satisfy sybil-liveness.


title: Tunable Band Topology in Gyroscopic Lattices

abstract: Gyroscopic metamaterials --- mechanical structures composed of interacting spinning tops --- have recently been found to support one-way topological edge excitations. In these structures, the time reversal symmetry breaking that enables their topological behavior emerges directly from the lattice geometry. Here we show that variations in the lattice geometry can therefore give rise to more complex band topology than has been previously described. A `spindle' lattice (or truncated hexagonal tiling) of gyroscopes possesses both clockwise and counterclockwise edge modes distributed across several band gaps. Tuning the interaction strength or twisting the lattice structure along a Guest mode opens and closes these gaps and yields bands with Chern numbers of $|C| > 1$ without introducing next-nearest-neighbor interactions or staggered potentials. A deformable honeycomb structure provides a simple model for understanding the role of lattice geometry in constraining the effects of time reversal symmetry and inversion symmetry breaking. Lastly, we find that topological band structure generically arises in gyroscopic networks, and a simple protocol generates lattices with topological excitations.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.soft physics.class-ph


title: Aspects of symmetry and topology in the charge density wave phase of 1T-TiSe2

abstract: The charge density wave (CDW) in 1T-TiSe2 accompanied by the periodic lattice distortion has a nontrivial symmetry configuration. The symmetry is important as an indication of the mechanism and a cue for experimental probes. We examine the symmetry of the system and clear up the connection of electronic structures between the normal and the CDW states. Especially, we unravel the consequential irreducible representations (IRs) of electronic states and, more ahead, those of gap functions among bands when the CDW occurs. Normally symmetry-related topology will be achieved directly, so we assert that the theory is valuable and practical for the search of topological CDW insulators.


title: Excess Versions of the Minkowski and H\"older Inequalities

abstract: Certain excess versions of the Minkowski and H\"older inequalities are given. These new results generalize and improve the Minkowski and H\"older inequalities.


title: Waiter-Client Maximum Degree Game

abstract: For integers $n, D, q$ we define a two player perfect information game with no chance moves called the Waiter-Client Maximum Degree game. In this game, two players (Waiter and Client) play on the edges of $K_n$ as follows: in each round, Waiter offers $q+1$ edges which have not been previously offered. Client then claims one of these edges, and Waiter claims the rest. When less than $q+1$ edges which have not been offered remain, Waiter claims them all and the game ends. After the game ends, Client wins if in the graph of his edges, there is no vertex with degree at least $D$, and Waiter wins otherwise. For various values of $q = q(n)$, we study the maximum degree of Client's graph obtained by perfect play. We determine the asymptotic value of Client's maximum degree for the cases $q = o\left( \frac{n}{\ln n} \right)$ and $q = \omega\left( \frac{n}{\ln n} \right)$. For the unbiased case $q=1$, we prove that when both players play perfectly the maximum degree $D$ Client achieves satisfies: $D = \frac{n}{2} + \Theta(\sqrt{n \ln n})$.


title: ROPNN: Detection of ROP Payloads Using Deep Neural Networks

abstract: Return-oriented programming (ROP) is a code reuse attack that chains short snippets of existing code to perform arbitrary operations on target machines. Existing detection methods against ROP exhibit unsatisfactory detection accuracy and/or have high runtime overhead. In this paper, we present ROPNN, which innovatively combines address space layout guided disassembly and deep neural networks to detect ROP payloads. The disassembler treats application input data as code pointers and aims to find any potential gadget chains, which are then classified by a deep neural network as benign or malicious. Our experiments show that ROPNN has high detection rate (99.3%) and a very low false positive rate (0.01%). ROPNN successfully detects all of the 100 real-world ROP exploits that are collected in-the-wild, created manually or created by ROP exploit generation tools. Additionally, ROPNN detects all 10 ROP exploits that can bypass Bin-CFI. ROPNN is non-intrusive and does not incur any runtime overhead to the protected program.


title: Observation of momentum-space chiral edge currents in room-temperature atoms

abstract: Chiral edge currents play an important role in characterizing topological matter. In atoms, they have been observed at such a low temperature that the atomic motion can be measured. Here we report the first experimental observation of chiral edge currents in atoms at room temperature. Staggered magnetic fluxes are induced by the spatial phase difference between two standing-wave light fields, which couple atoms to form a momentum-space zigzag superradiance lattice. The chiral edge currents have been measured by comparing the directional superradiant emissions of two timed Dicke states in the lattice. This work paves the way for quantum simulation of topological matter with hot atoms and facilitates the application of topological physics in real devices.


title: Is One Hyperparameter Optimizer Enough?

abstract: Hyperparameter tuning is the black art of automatically finding a good combination of control parameters for a data miner. While widely applied in empirical Software Engineering, there has not been much discussion on which hyperparameter tuner is best for software analytics. To address this gap in the literature, this paper applied a range of hyperparameter optimizers (grid search, random search, differential evolution, and Bayesian optimization) to defect prediction problem. Surprisingly, no hyperparameter optimizer was observed to be `best' and, for one of the two evaluation measures studied here (F-measure), hyperparameter optimization, in 50\% cases, was no better than using default configurations. We conclude that hyperparameter optimization is more nuanced than previously believed. While such optimization can certainly lead to large improvements in the performance of classifiers used in software analytics, it remains to be seen which specific optimizers should be applied to a new dataset.


title: Reinforced Auto-Zoom Net: Towards Accurate and Fast Breast Cancer Segmentation in Whole-slide Images

abstract: Convolutional neural networks have led to significant breakthroughs in the domain of medical image analysis. However, the task of breast cancer segmentation in whole-slide images (WSIs) is still underexplored. WSIs are large histopathological images with extremely high resolution. Constrained by the hardware and field of view, using high-magnification patches can slow down the inference process and using low-magnification patches can cause the loss of information. In this paper, we aim to achieve two seemingly conflicting goals for breast cancer segmentation: accurate and fast prediction. We propose a simple yet efficient framework Reinforced Auto-Zoom Net (RAZN) to tackle this task. Motivated by the zoom-in operation of a pathologist using a digital microscope, RAZN learns a policy network to decide whether zooming is required in a given region of interest. Because the zoom-in action is selective, RAZN is robust to unbalanced and noisy ground truth labels and can efficiently reduce overfitting. We evaluate our method on a public breast cancer dataset. RAZN outperforms both single-scale and multi-scale baseline approaches, achieving better accuracy at low inference cost.


title: Optimal exponentials of thickness in Korn's inequalities for parabolic and elliptic shells

abstract: We establish Korn's interpolation inequalities and the rigidity results of the strain tensor of the middle surface for the parabolic and elliptic shells and show that the best constant in Korn's inequalities scales like $h^{3/2}$ for the parabolic shell and $h$ for the elliptic shell, removing the main assumption that the middle surface of the shell is given by one single principal coordinate in the literature and, in particular, including the closed elliptic shell.


title: Linear Strain Tensors and Optimal Exponential of thickness in Korn's Inequalities for Hyperbolic Shells

abstract: We perform a detailed analysis of the solvability of linear strain equations on hyperbolic surfaces to obtain $L^2$ regularity solutions. Then the rigidity results on the strain tensor of the middle surface are implied by the $L^2$ regularity for non-characteristic regions. Finally, we obtain the optimal constant in the first Korn inequality scales like $h^{4/3}$ for hyperbolic shells, generalizing the assumption that the middle surface of the shell is given by a single principal system in the literature.