title: Exact behavior around isolated singularity for semilinear elliptic equations with a log-type nonlinearity

abstract: We study the semilinear elliptic equation \begin{equation*} -\Delta u=u^\alpha |\log u|^\beta\quad\text{in }B_1\setminus\{0\}, \end{equation*} where $B_1\subset\mathbb{R}^n$ with $n\geq 3$, $\frac{n}{n-2} < \alpha < \frac{n+2}{n-2}$ and $-\infty<\beta<\infty$. Our main result establishes that nonnegative solution $u\in C^2(B_1\setminus\{0\})$ of the above equation either has a removable singularity at the origin or behaves like \begin{equation*} u(x) = A(1+o(1)) |x|^{-\frac{2}{\alpha-1}} \left(\log \frac{1}{|x|}\right)^{-\frac{\beta}{\alpha-1}}\quad\text{as } x\rightarrow 0, \end{equation*} with \begin{equation*} A=\left[\left(\frac{2}{\alpha-1}\right)^{1-\beta}\left(n-2-\frac{2}{\alpha-1}\right)\right]^{\frac{1}{\alpha-1}}. \end{equation*}


title: Effects of in-medium nucleon-nucleon cross section on collective flow and nuclear stopping in heavy-ion collisions in the Fermi-energy domain

abstract: With the newly updated version of the ultrarelativistic quantum molecular dynamics (UrQMD) model, a systematic investigation of the effects of in-medium nucleon-nucleon ($NN$) elastic cross section on the collective flow and the stopping observables in $^{197}\text{Au}+^{197}\text{Au}$ collisions at beam energies from 40 to 150 MeV/nucleon is performed. Simulations with the medium correction factor $\mathcal{F}=\sigma^{\text{in-medium}}_{NN}/\sigma^{\text{free}}_{NN}=0.2,~0.3,~0.5$, and the one obtained with the FU3FP1 parametrization which depends on both the density and the momentum are compared to the FOPI and INDRA experimental data. It is found that, to best fit the experimental data of the slope of the directed flow and the elliptic flow at mid-rapidity as well as the nuclear stopping, the correction factor $\mathcal{F}$=0.2 and 0.5 are required for reactions at beam energies of 40 and 150 MeV/nucleon, respectively. While calculations with the FU3FP1 parametrization can simultaneously reproduce these experimental data reasonably well. And, the observed increasing nuclear stopping with increasing beam energy in experimental data can also be reproduced by using the FU3FP1 parametrization, while the calculated stopping power in Au+Au collisions with beam energies from 40 to 150 MeV$/$nucleon almost keeps constant when take $\mathcal{F}$ equal to a fixed value.


title: Comparison of projection domain, image domain, and comprehensive deep learning for sparse-view X-ray CT image reconstruction

abstract: X-ray Computed Tomography (CT) imaging has been widely used in clinical diagnosis, non-destructive examination, and public safety inspection. Sparse-view (sparse view) CT has great potential in radiation dose reduction and scan acceleration. However, sparse view CT data is insufficient and traditional reconstruction results in severe streaking artifacts. In this work, based on deep learning, we compared image reconstruction performance for sparse view CT reconstruction with projection domain network, image domain network, and comprehensive network combining projection and image domains. Our study is executed with numerical simulated projection of CT images from real scans. Results demonstrated deep learning networks can effectively reconstruct rich high frequency structural information without streaking artefact commonly seen in sparse view CT. A comprehensive network combining deep learning in both projection domain and image domain can get best results.


title: Bilateral Teleoperation of Multiple Robots under Scheduling Communication

abstract: In this paper, bilateral teleoperation of multiple slaves coupled to a single master under scheduling communication is investigated. The sampled-data transmission between the master and the multiple slaves is fulfilled over a delayed communication network, and at each sampling instant, only one slave is allowed to transmit its current information to the master side according to some scheduling protocols. To achieve the master-slave synchronization, Round-Robin scheduling protocol and Try-Once-Discard scheduling protocol are employed, respectively. By designing a scheduling-communication-based controller, some sufficient stability criteria related to the controller gain matrices, sampling intervals, and communication delays are obtained for the closed-loop teleoperation system under Round-Robin and Try-Once-Discard scheduling protocols, respectively. Finally, simulation studies are given to validate the effectiveness of the proposed results.


title: Isolated Singularities for Semilinear Elliptic Systems with Power-Law Nonlinearity

abstract: We study the system $-\Delta \mathbf{u}=| \mathbf{u}|^{\alpha-1} \mathbf{u}$ with $1<\alpha\leq\frac{n+2}{n-2}$, where $ \mathbf{u}=(u_1,\dots,u_m)$, $m\geq 1$, is a $C^2$ nonnegative function that develops an isolated singularity in a domain of $\mathbb{R}^n$, $n\geq 3$. Due to the multiplicity of the components of $ \mathbf{u}$, we observe a new Pohozaev invariant other than the usual one in the scalar case, and also a new class of singular solutions provided that the new invariant is nontrivial. Aligned with the classical theory of the scalar equation, we classify the solutions on the whole space as well as the punctured space, and analyze the exact asymptotic behavior of local solutions around the isolated singularity. On the technical level, we adopt the method of the moving spheres and the balanced-energy-type monotonicity functionals.


title: Geometric In-Hand Regrasp Planning: Alternating Optimization of Finger Gaits and In-Grasp Manipulation

abstract: This paper explores the problem of autonomous, in-hand regrasping--the problem of moving from an initial grasp on an object to a desired grasp using the dexterity of a robot's fingers. We propose a planner for this problem which alternates between finger gaiting, and in-grasp manipulation. Finger gaiting enables the robot to move a single finger to a new contact location on the object, while the remaining fingers stably hold the object. In-grasp manipulation moves the object to a new pose relative to the robot's palm, while maintaining the contact locations between the hand and object. Given the object's geometry (as a mesh), the hand's kinematic structure, and the initial and desired grasps, we plan a sequence of finger gaits and object reposing actions to reach the desired grasp without dropping the object. We propose an optimization based approach and report in-hand regrasping plans for 5 objects over 5 in-hand regrasp goals each. The plans generated by our planner are collision free and guarantee kinematic feasibility.


title: Determination of the nuclear incompressibility from the rapidity-dependent elliptic flow in heavy-ion collisions at beam energies 0.4\emph{A} - 1.0\emph{A} GeV

abstract: Heavy-ion-collision measurements in combination with transport model simulations serve as important tools for extracting the nuclear incompressibility. However, uncertainties in transport models (or model dependence) partly affect the reliability of the extracted result. In the present work, by using the recently measured data of rapidity-dependent flows, we constrain the incompressibility of nuclear matter and analyse the impact of model uncertainties on the obtained value. The method is based on the newly updated version of the ultrarelativistic quantum molecular dynamics (UrQMD) model in which the Skyrme potential energy-density functional is introduced. Three different Skyrme interactions which give different incompressibilities varying from $K_0$=201 to 271 MeV are adopted. The incompressibility is deduced from the comparison of the UrQMD model simulations and the FOPI data for rapidity-dependent elliptic flow in Au+Au collisions at beam energies 0.4\emph{A} - 1.0\emph{A} GeV. The elliptic flow $v_2$ as a function of rapidity $y_0$ can be well described by a quadratic fit $v_2=v_{20} + v_{22}\cdot y_0^2 $. It is found that the quantity $v_{2n}$ defined by $v_{2n}=|v_{20}|+|v_{22}|$ is quite sensitive to the incompressibility $K_0$ and the in-medium nucleon-nucleon cross section, but not sensitive to the slope parameter $L$ of the nuclear symmetry energy. With the FU3FP4 parametrization of the in-medium nucleon-nucleon cross section, an averaged $K_0 = 220 \pm 40$~MeV is extracted from the $v_{2n}$ of free protons and deuterons. However, remaining systematic uncertainties, partly related to the choice of in-medium nucleon-nucleon cross sections, are of the same magnitude ($\pm 40$~MeV). Overall, the rapidity dependent elliptic flow supports a soft symmetric-matter equation-of-state.


title: The effect of Lorentz-like force on collective flows of K$^{+}$ in Au+Au collisions at 1.5 GeV/nucleon}{The effect of Lorentz-like force on collective flows of $K^{+}$ in Au+Au collisions at 1.5 GeV/nucleon

abstract: Producing kaon mesons in heavy-ion collisions at beam energies below their threshold energy is an important way to investigate the properties of dense nuclear matter. In this study, based on the newly updated version of the ultrarelativistic quantum molecular dynamics model, we introduce the kaon-nucleon (KN) potential, including both the scalar and vector (also dubbed Lorentz-like) aspects. We revisit the influence of the KN potential on the collective flow of K$^{+}$ mesons produced in Au+Au collisions at $E_{lab}$ = 1.5 GeV/nucleon and find that the contribution of the newly included Lorentz-like force is very important, particulary for describing the directed flow of K$^{+}$. Finally, the corresponding KaoS data of both directed and elliptic flows can be simultaneously reproduced well.


title: Collective flows of pions in Au+Au collisions at energies 1.0 and 1.5 GeV/nucleon

abstract: Based on the newly updated version of the ultrarelativistic quantum molecular dynamics (UrQMD) model, the pion potentials obtained from the in-medium dispersion relation of the $\Delta$-hole model and from the modified phenomenological approach are further introduced. Both the rapidity $y_0$ and transverse-velocity $u_{t0}$ dependence of directed $v_1$ and elliptic $v_2$ flows of ${\pi}^{+}$ and ${\pi}^{-}$ charged mesons produced from Au+Au collisions at two beam energies of 1.0 GeV/nucleon and 1.5 GeV/nucleon and within a large centrality region of $0<b_0<0.55$ are scanned. Calculations with pion potentials as well as without considering the pion potential are compared to the newly experimental data released by the FOPI collaboration at GSI. It is found that the directed flow is more sensitive to the pion potential than the elliptic one, and the attractive pion potential from the phen.B mode of the phenomenological approach is too strong to describe the flow data and can be safely ruled out. The relatively weak pion potential from the $\Delta$-hole model can supply a good description for the FOPI data of both flows as functions of both centrality and rapidity. A two-peak/valley structure occurs in the transverse-velocity dependent directed flow but the elliptic flow drops monotonously with increasing $u_{t0}$. Finally, both $v_1$ and $v_2$ flows with large $u_{t0}$ from semi-central heavy ion collisions can be taken as sensitive probes for the pion potential.


title: Special values of $q$-gamma products

abstract: We consider products of $q$-gamma functions with rational arguments, and prove several $q$-generalizations of recent works concerning products of gamma functions. In particular, we consider products indexed by Dirichlet characters, and provide several new values for infinite products in terms of $e^{-\pi}$ and gamma functions.


title: Decay of weakly charged solutions for the spherically symmetric Maxwell-Charged-Scalar-Field equations on a Reissner-Nordstr\"{o}m exterior space-time

abstract: We consider the Cauchy problem for the (non-linear) Maxwell-Charged-Scalar-Field equations with spherically symmetric initial data, on a sub-extremal Reissner--Nordstr\"{o}m or Schwarzschild exterior space-time. We prove that the solutions are bounded and decay at an inverse polynomial rate towards time-like infinity and along the black hole event horizon, provided the charge of the Maxwell equation is sufficiently small. This condition is in particular satisfied for small data in energy space that enjoy a sufficient decay towards the asymptotically flat end. Some of the decay estimates we prove are arbitrarily close to the conjectured optimal rate in the limit where the charge tends to zero, according the heuristics present in the physics literature. Our result can also be interpreted as a first step towards the stability of Reissner--Nordstr\"{o}m black holes for the gravity coupled Einstein--Maxwell-Charged-Scalar-Field model. This problem is closely connected to the understanding of strong cosmic censorship and charged gravitational collapse in this setting.


title: Electromagnetic scattering in Schwarzschild space-time: Finite difference time domain with Green function method

abstract: The finite difference time domain (FDTD) algorithm and Green function algorithm are implemented into the numerical simulation of electromagnetic scattering by ordinary objects in Schwarzschild space-time. FDTD method in curved space-time is developed by filling the flat space-time with an equivalent medium. Green function in curved space-time is obtained by solving transport equations. Simulation results validate both the FDTD code and Green function code. Scattering in Schwarzschild space-time is simulated by these methods.


title: Model identification for ARMA time series through convolutional neural networks

abstract: In this paper, we use convolutional neural networks to address the problem of model identification for autoregressive moving average time series models. We compare the performance of several neural network architectures, trained on simulated time series, with likelihood based methods, in particular the Akaike and Bayesian information criteria. We find that our neural networks can significantly outperform these likelihood based methods in terms of accuracy and, by orders of magnitude, in terms of speed.


title: Lightweight Joint Compression-Encryption-Authentication-Integrity Framework Based on Arithmetic Coding

abstract: Arithmetic Coding is an efficient lossless compression scheme applied for many multimedia standards such as JPEG, JPEG2000, H.263, H.264 and H.265. Due to nonlinearity, high error propagation and high error sensitivity of arithmetic coders, many techniques have been developed for extending the usage of arithmetic coders for security as a lightweight joint compression and encryption solution for systems with limited resources. Through this paper, we will describe how to upgrade these techniques to achieve an additional low cost authentication and integrity capabilities with arithmetic coders. Consequently, the new proposed technique can produce a secure and lightweight framework of compression, encryption, authentication and integrity for limited resources environments such as Internet of Things (IoT) and embedded systems. Although the proposed technique can be used alongside with any arithmetic coder based system, we will focus on the implementations for JPEG and JPEG2000 standards.


title: Taylor approximation and variance reduction for PDE-constrained optimal control under uncertainty

abstract: In this work we develop a scalable computational framework for the solution of PDE-constrained optimal control under high-dimensional uncertainty. Specifically, we consider a mean-variance formulation of the control objective and employ a Taylor expansion with respect to the uncertain parameter either to directly approximate the control objective or as a control variate for variance reduction. The expressions for the mean and variance of the Taylor approximation are known analytically, although their evaluation requires efficient computation of the trace of the (preconditioned) Hessian of the control objective. We propose to estimate this trace by solving a generalized eigenvalue problem using a randomized algorithm that only requires the action of the Hessian on a small number of random directions. Then, the computational work does not depend on the nominal dimension of the uncertain parameter, but depends only on the effective dimension, thus ensuring scalability to high-dimensional problems. Moreover, to increase the estimation accuracy of the mean and variance of the control objective by the Taylor approximation, we use it as a control variate for variance reduction, which results in considerable computational savings (several orders of magnitude) compared to a plain Monte Carlo method. We demonstrate the accuracy, efficiency, and scalability of the proposed computational method for two examples with high-dimensional uncertain parameters: subsurface flow in a porous medium modeled as an elliptic PDE, and turbulent jet flow modeled by the Reynolds-averaged Navier--Stokes equations coupled with a nonlinear advection-diffusion equation characterizing model uncertainty. In particular, for the latter more challenging example we show scalability of our algorithm up to one million parameters resulting from discretization of the uncertain parameter field.


title: Dislocation-assisted linear complexion formation driven by segregation

abstract: Atomistic simulations are used to study linear complexion formation at dislocations in a body-centered cubic Fe-Ni alloy. Driven by Ni segregation, precipitation of the metastable B2-FeNi and stable L10-FeNi phases occurs along the compression side of edge dislocations. If the Ni segregation is not intense enough to ensure precipitate growth and coalescence along the dislocation lines, linear complexions in the form of stable nanoscale precipitate arrays are observed. Critical conditions such as global composition and temperature are defined for both linear complexion formation and dislocation-assisted precipitation.


title: De Vries duality for normal spaces and locally compact Hausdorff spaces

abstract: By de Vries duality, the category of compact Hausdorff spaces is dually equivalent to the category of de Vries algebras. In our recent article, we have extended de Vries duality to completely regular spaces by generalizing de Vries algebras to de Vries extensions. To illustrate the utility of this point of view, we show how to use this new duality to obtain algebraic counterparts of normal and locally compact Hausdorff spaces in the form of de Vries extensions that are subject to additional axioms which encode the desired topological property. This, in particular, yields a different perspective on de Vries duality. As a further application, we show that a duality for locally compact Hausdorff spaces due to Dimov can be obtained from our approach.


title: On the Steinness index

abstract: We introduce the concept of Steinness index related to the Stein neighborhood basis. We then show several results: (1) The existence of Steinness index is equivalent to that of strong Stein neighborhood basis. (2) On the Diederich-Forn{\ae}ss worm domains in particular, we present an explicit formula relating the Steinness index to the well-known Diederich-Forn{\ae}ss index. (3) The Steinness index is 1 if a smoothly bounded pseudoconvex domain admits finitely many boundary points of infinite type.


title: Matrix product solutions to the $G_2$ reflection equation

abstract: We study the $G_2$ reflection equation for the three particles in $1+1$ dimension that undergo a special scattering/reflections described by the Pappus theorem. It is a sixth order equation and serves as a natural $G_2$ analogue of the Yang-Baxter and the reflection equations corresponding to the cubic and the quartic Coxeter relations of type $A$ and $BC$, respectively. We construct matrix product solutions to the $G_2$ reflection equation by exploiting a connection to the representation theory of the quantized coordinate ring $A_q(G_2)$.


title: The effect of a Durbin-Watson pretest on confidence intervals in regression

abstract: Consider a linear regression model and suppose that our aim is to find a confidence interval for a specified linear combination of the regression parameters. In practice, it is common to perform a Durbin-Watson pretest of the null hypothesis of zero first-order autocorrelation of the random errors against the alternative hypothesis of positive first-order autocorrelation. If this null hypothesis is accepted then the confidence interval centred on the Ordinary Least Squares estimator is used; otherwise the confidence interval centred on the Feasible Generalized Least Squares estimator is used. We provide new tools for the computation, for any given design matrix and parameter of interest, of graphs of the coverage probability functions of the confidence interval resulting from this two-stage procedure and the confidence interval that is always centred on the Feasible Generalized Least Squares estimator. These graphs are used to choose the better confidence interval, prior to any examination of the observed response vector.


title: Free operated monoids and Rewriting systems

abstract: The construction of bases for quotients is an important problem. In this paper, applying the method of rewriting systems, we give a unified approach to construct sections---an alternative name for bases in semigroup theory---for quotients of free operated monoids. As applications, we capture sections of free $\ast$-monoids and free groups, respectively.


title: Properties of the spin liquid phase in the vicinity of the N\'eel - Spin-Spiral Lifshitz transition in frustrated magnets

abstract: Three decades ago Ioffe and Larkin pointed out a generic mechanism for the formation of a gapped spin liquid. In the case when a classical two-dimensional (2D) frustrated Heisenberg magnet undergoes a Lifshitz transition between a collinear N\'eel phase and a spin spiral phase, quantum effects usually lead to the development of a spin-liquid phase sandwiched between the N\'eel and spin spiral phases. In the present work, using field theory techniques, we study properties of this universal spin liquid phase. We examine the phase diagram near the Lifshitz point and calculate the positions of critical points, excitation spectra, and spin-spin correlations functions. We argue that the spin liquid in the vicinity of 2D Lifshitz point (LP) is similar to the gapped Haldane phase in integer-spin 1D chains. We also consider a specific example of a frustrated system with the spiral-N\'eel LP, the $J_1-J_3$ antiferromagnet on the square lattice that manifests the spin liquid behavior. We present numerical series expansion calculations for this model and compare results of the calculations with predictions of the developed field theory.


title: The role of pedagogical tools in active learning: a case for sense-making

abstract: Evidence from the research literature indicates that both audience response systems (ARS) and guided inquiry worksheets (GIW) can lead to greater student engagement, learning, and equity in the STEM classroom. We compare the use of these two tools in large enrollment STEM courses delivered in different contexts, one in biology and one in engineering. The instructors studied utilized each of the active learning tools differently. In the biology course, ARS questions were used mainly to check in with students and assess if they were correctly interpreting and understanding worksheet questions. The engineering course presented ARS questions that afforded students the opportunity to apply learned concepts to new scenarios towards improving students conceptual understanding. In the biology course, the GIWs were primarily used in stand-alone activities, and most of the information necessary for students to answer the questions was contained within the worksheet in a context that aligned with a disciplinary model. In the engineering course, the instructor intended for students to reference their lecture notes and rely on their conceptual knowledge of fundamental principles from the previous ARS class session in order to successfully answer the GIW questions. However, while their specific implementation structures and practices differed, both instructors used these tools to build towards the same basic disciplinary thinking and sense-making processes of conceptual reasoning, quantitative reasoning, and metacognitive thinking.


title: Exact Reconstruction of Euclidean Distance Geometry Problem Using Low-rank Matrix Completion

abstract: The Euclidean distance geometry problem arises in a wide variety of applications, from determining molecular conformations in computational chemistry to localization in sensor networks. When the distance information is incomplete, the problem can be formulated as a nuclear norm minimization problem. In this paper, this minimization program is recast as a matrix completion problem of a low-rank $r$ Gram matrix with respect to a suitable basis. The well known restricted isometry property can not be satisfied in this scenario. Instead, a dual basis approach is introduced to theoretically analyze the reconstruction problem. If the Gram matrix satisfies certain coherence conditions with parameter $\nu$, the main result shows that the underlying configuration of $n$ points can be recovered with very high probability from $O(nr\nu\log^{2}(n))$ uniformly random samples. Computationally, simple and fast algorithms are designed to solve the Euclidean distance geometry problem. Numerical tests on different three dimensional data and protein molecules validate effectiveness and efficiency of the proposed algorithms.


title: Global Galerkin method for stability studies in incompressible CFD and other possible applications

abstract: In this paper the author reviews a version of the global Galerkin that was developed and applied in a series of earlier publications. The method is based on divergence-free basis functions satisfying all the linear and homogeneous boundary conditions. The functions are defined as linear superpositions of the Chebyshev polynomials of the first and second klinds that are combined into divergence free vectors. The description and explanations of treatment of boundary conditions inhomogeneities and singularities are given. Possible implementation for steady state solvers, path-continuation, stability solvers and straight-forward integration in time are discussed. The most important results obtained using the approach are briefly reviewed and possible future applications are discussed.


title: Clustering via Boundary Erosion

abstract: Clustering analysis identifies samples as groups based on either their mutual closeness or homogeneity. In order to detect clusters in arbitrary shapes, a novel and generic solution based on boundary erosion is proposed. The clusters are assumed to be separated by relatively sparse regions. The samples are eroded sequentially according to their dynamic boundary densities. The erosion starts from low density regions, invading inwards, until all the samples are eroded out. By this manner, boundaries between different clusters become more and more apparent. It therefore offers a natural and powerful way to separate the clusters when the boundaries between them are hard to be drawn at once. With the sequential order of being eroded, the sequential boundary levels are produced, following which the clusters in arbitrary shapes are automatically reconstructed. As demonstrated across various clustering tasks, it is able to outperform most of the state-of-the-art algorithms and its performance is nearly perfect in some scenarios.


title: Oscillating planar Hall response from the surface electrons in bulk crystal Sn doped Bi1.1Sb0.9Te2S

abstract: We report the low-temperature magneto-transport in the bulk-insulating single crystal of topological insulator Sn doped Bi1.1Sb0.9Te2S. The Shubnikov-de Haas oscillations appear with their reciprocal frequency proportional to cos/theta , demonstrating the dominant transport of topological surface states. While the magnetic field is rotating in the sample surface, the planar Hall effect arises with sizeable oscillations following a relation of cos/theta sin/theta . Its amplitude reaches the maximum at the lowest temperature and drops to nearly zero at the temperature higher than 100 K. All these evidences consolidate such planar Hall oscillations as a new golden criterion on the topological surface transport.


title: A Large-scale Attribute Dataset for Zero-shot Learning

abstract: Zero-Shot Learning (ZSL) has attracted huge research attention over the past few years; it aims to learn the new concepts that have never been seen before. In classical ZSL algorithms, attributes are introduced as the intermediate semantic representation to realize the knowledge transfer from seen classes to unseen classes. Previous ZSL algorithms are tested on several benchmark datasets annotated with attributes. However, these datasets are defective in terms of the image distribution and attribute diversity. In addition, we argue that the "co-occurrence bias problem" of existing datasets, which is caused by the biased co-occurrence of objects, significantly hinders models from correctly learning the concept. To overcome these problems, we propose a Large-scale Attribute Dataset (LAD). Our dataset has 78,017 images of 5 super-classes, 230 classes. The image number of LAD is larger than the sum of the four most popular attribute datasets. 359 attributes of visual, semantic and subjective properties are defined and annotated in instance-level. We analyze our dataset by conducting both supervised learning and zero-shot learning tasks. Seven state-of-the-art ZSL algorithms are tested on this new dataset. The experimental results reveal the challenge of implementing zero-shot learning on our dataset.


title: Well-posedness for constrained Hamilton-Jacobi equations

abstract: The goal of this paper is to study a Hamilton-Jacobi equation \begin{equation*} \begin{cases} u_t=H(Du)+R(x,I(t)) &\text{in }\mathbb{R}^n \times (0,\infty), \sup_{\mathbb{R}^n} u(\cdot,t)=0 &\text{on }[0,\infty), \end{cases} \end{equation*} with initial conditions $I(0)=0$, $u_0(x,0)=u_0(x)$ on $\mathbb{R}^n$. Here $(u,I)$ is a pair of unknowns and the Hamiltonian $H$ and the reaction $R$ are given. And $I(t)$ is an unknown constraint (Lagrange multiplier) that forces supremum of $u$ to be always zero. We construct a solution in the viscosity setting using a fixed point argument when the reaction term $R(x,I)$ is strictly decreasing in $I$. We also discuss both uniqueness and nonuniqueness. For uniqueness, a certain structural assumption on $R(x,I)$ is needed. We also provide an example with infinitely many solutions when the reaction term is not strictly decreasing in $I$.


title: Entangled-photon decision maker

abstract: The competitive multi-armed bandit (CMAB) problem is related to social issues such as maximizing total social benefits while preserving equality among individuals by overcoming conflicts between individual decisions, which could seriously decrease social benefits. The study described herein provides experimental evidence that entangled photons physically resolve the CMAB in the 2-arms 2-players case, maximizing the social rewards while ensuring equality. Moreover, we demonstrated that deception, or outperforming the other player by receiving a greater reward, cannot be accomplished in a polarization-entangled-photon-based system, while deception is achievable in systems based on classical polarization-correlated photons with fixed polarizations. Besides, random polarization-correlated photons have been studied numerically and shown to ensure equality between players and deception prevention as well, although the CMAB maximum performance is reduced as compared with entangled photon experiments. Autonomous alignment schemes for polarization bases were also experimentally demonstrated based only on decision conflict information observed by an individual without communications between players. This study paves a way for collective decision making in uncertain dynamically changing environments based on entangled quantum states, a crucial step toward utilizing quantum systems for intelligent functionalities.


title: Cooperative Localisation of a GPS-Denied UAV using Direction of Arrival Measurements

abstract: A GPS-denied UAV (Agent B) is localised through INS alignment with the aid of a nearby GPS-equipped UAV (Agent A), which broadcasts its position at several time instants. Agent B measures the signals' direction of arrival with respect to Agent B's inertial navigation frame. Semidefinite programming and the Orthogonal Procrustes algorithm are employed, and accuracy is improved through maximum likelihood estimation. The method is validated using flight data and simulations. A three-agent extension is explored.


title: Cross-Modal Retrieval with Implicit Concept Association

abstract: Traditional cross-modal retrieval assumes explicit association of concepts across modalities, where there is no ambiguity in how the concepts are linked to each other, e.g., when we do the image search with a query "dogs", we expect to see dog images. In this paper, we consider a different setting for cross-modal retrieval where data from different modalities are implicitly linked via concepts that must be inferred by high-level reasoning; we call this setting implicit concept association. To foster future research in this setting, we present a new dataset containing 47K pairs of animated GIFs and sentences crawled from the web, in which the GIFs depict physical or emotional reactions to the scenarios described in the text (called "reaction GIFs"). We report on a user study showing that, despite the presence of implicit concept association, humans are able to identify video-sentence pairs with matching concepts, suggesting the feasibility of our task. Furthermore, we propose a novel visual-semantic embedding network based on multiple instance learning. Unlike traditional approaches, we compute multiple embeddings from each modality, each representing different concepts, and measure their similarity by considering all possible combinations of visual-semantic embeddings in the framework of multiple instance learning. We evaluate our approach on two video-sentence datasets with explicit and implicit concept association and report competitive results compared to existing approaches on cross-modal retrieval.


title: Rankin-Selberg method for Jacobi forms of integral weight and of half-integral weight on symplectic groups

abstract: In this article we show analytic properties of certain Rankin-Selberg type Dirichlet series for holomorphic Jacobi cusp forms of integral weight and of half-integral weight. The numerators of these Dirichlet series are the inner products of Fourier-Jacobi coefficients of two Jacobi cusp forms. The denominators and the range of summation of these Dirichlet series are like the ones of the Koecher-Maass series. The meromorphic continuations and functional equations of these Dirichlet series are obtained. Moreover, an identity between the Petersson norms of Jacobi forms with respect to linear isomorphism between Jacobi forms of integral weight and half-integral weight is also obtained.


title: Falsifying $\Lambda$CDM: Model-independent tests of the concordance model with eBOSS DR14Q and Pantheon

abstract: We combine model-independent reconstructions of the expansion history from the latest Pantheon supernovae distance modulus compilation and measurements from baryon acoustic oscillation to test some important aspects of the concordance model of cosmology namely the FLRW metric and flatness of spatial curvature. We then use the reconstructed expansion histories to fit growth measurement from redshift-space distortion and obtain strong constraints on $(\Omega_\mathrm{m},\gamma,\sigma_8)$ in a model independent manner. Our results show consistency with a spatially flat FLRW Universe with general relativity to govern the perturbation in the structure formation and the cosmological constant as dark energy. However, we can also see some hints of tension among different observations within the context of the concordance model related to high redshift observations ($z > 1$) of the expansion history. This supports earlier findings of Sahni et al. (2014) & Zhao et al. (2017) and highlights the importance of precise measurement of expansion history and growth of structure at high redshifts.


title: Spectral decomposition of normal absolutely minimum attaining operators

abstract: Let $T:H_1\rightarrow H_2$ be a bounded linear operator defined between complex Hilbert spaces $H_1$ and $H_2$. We say $T$ to be \textit{minimum attaining} if there exists a unit vector $x\in H_1$ such that $\|Tx\|=m(T)$, where $m(T):=\inf{\{\|Tx\|:x\in H_1,\; \|x\|=1}\}$ is the \textit{minimum modulus} of $T$. We say $T$ to be \textit{absolutely minimum attaining} ($\mathcal{AM}$-operators in short), if for any closed subspace $M$ of $H_1$ the restriction operator $T|_M:M\rightarrow H_2$ is minimum attaining. In this paper, we give a new characterization of positive absolutely minimum attaining operators ($\mathcal{AM}$-operators, in short), in terms of its essential spectrum. Using this we obtain a sufficient condition under which the adjoint of an $\mathcal{AM}$-operator is $\mathcal{AM}$. We show that a paranormal absolutely minimum attaining operator is hyponormal. Finally, we establish a spectral decomposition of normal absolutely minimum attaining operators. In proving all these results we prove several spectral results for paranormal operators. We illustrate our main result with an example.


title: Spectral Dimension for $\beta$-almost periodic singular Jacobi operators and the extended Harper's model

abstract: We study fractal dimension properties of singular Jacobi operators. We prove quantitative lower spectral/quantum dynamical bounds for general operators with strong repetition properties and controlled singularities. For analytic quasiperiodic Jacobi operators in the positive Lyapunov exponent regime, we obtain a sharp arithmetic criterion of full spectral dimensionality. The applications include the extended Harper's model where we obtain arithmetic results on spectral dimensions and quantum dynamical exponents.


title: Bounds for the Wasserstein mean with applications to the Lie-Trotter mean

abstract: As the least squares mean for the Riemannian trace metric on the cone of positive definite matrices, the Riemannian mean with its computational and theoretical approaches has been widely studied. Recently the new metric and the least squares mean on the cone of positive definite matrices, which are called the Wasserstein metric and the Wasserstein mean, respectively, have been introduced. In this paper, we explore some properties of Wasserstein mean such as determinantal inequality and find bounds for the Wasserstein mean. Using bounds for the Wasserstein mean, we verify that the Wasserstein mean is the multivariate Lie-Trotter mean.


title: Local reservoir model for choice-based learning

abstract: Decision making based on behavioral and neural observations of living systems has been extensively studied in brain science, psychology, and other disciplines. Decision-making mechanisms have also been experimentally implemented in physical processes, such as single photons and chaotic lasers. The findings of these experiments suggest that there is a certain common basis in describing decision making, regardless of its physical realizations. In this study, we propose a local reservoir model to account for choice-based learning (CBL). CBL describes decision consistency as a phenomenon where making a certain decision increases the possibility of making that same decision again later, which has been intensively investigated in neuroscience, psychology, etc. Our proposed model is inspired by the viewpoint that a decision is affected by its local environment, which is referred to as a local reservoir. If the size of the local reservoir is large enough, consecutive decision making will not be affected by previous decisions, thus showing lower degrees of decision consistency in CBL. In contrast, if the size of the local reservoir decreases, a biased distribution occurs within it, which leads to higher degrees of decision consistency in CBL. In this study, an analytical approach on local reservoirs is presented, as well as several numerical demonstrations. Furthermore, a physical architecture for CBL based on single photons is discussed, and the effects of local reservoirs is numerically demonstrated. Decision consistency in human decision-making tasks and in recruiting empirical data are evaluated based on local reservoir. In summary, the proposed local reservoir model paves a path toward establishing a foundation for computational mechanisms and the systematic analysis of decision making on different levels.

categories: stat.ML cs.LG physics.data-an physics.optics q-bio.NC


title: LOCV calculation of the equation of state and properties of rapidly rotating neutron stars

abstract: In this paper, we have investigated the structural properties of rotating neutron stars using the numerical RNS code and the equation of states which have been calculated within the lowest order constrained variational approach. In order to calculate the equation of state of nuclear matter, we have used UV$_{14}$ $+$TNI and AV$_{18}$ potentials. Here, we have computed the maximum mass of the neutron star and the corresponding equatorial radius at different angular velocity. We have also computed the structural properties of Keplerian rotating neutron star for maximum mass configuration, $M_{K}$, $R_{K}$, $f_{K}$ and $j_{max}$.


title: STAIR Actions: A Video Dataset of Everyday Home Actions

abstract: A new large-scale video dataset for human action recognition, called STAIR Actions is introduced. STAIR Actions contains 100 categories of action labels representing fine-grained everyday home actions so that it can be applied to research in various home tasks such as nursing, caring, and security. In STAIR Actions, each video has a single action label. Moreover, for each action category, there are around 1,000 videos that were obtained from YouTube or produced by crowdsource workers. The duration of each video is mostly five to six seconds. The total number of videos is 102,462. We explain how we constructed STAIR Actions and show the characteristics of STAIR Actions compared to existing datasets for human action recognition. Experiments with three major models for action recognition show that STAIR Actions can train large models and achieve good performance. STAIR Actions can be downloaded from http://actions.stair.center


title: Interact and Decide: Medley of Sub-Attention Networks for Effective Group Recommendation

abstract: This paper proposes Medley of Sub-Attention Networks (MoSAN), a new novel neural architecture for the group recommendation task. Group-level recommendation is known to be a challenging task, in which intricate group dynamics have to be considered. As such, this is to be contrasted with the standard recommendation problem where recommendations are personalized with respect to a single user. Our proposed approach hinges upon the key intuition that the decision making process (in groups) is generally dynamic, i.e., a user's decision is highly dependent on the other group members. All in all, our key motivation manifests in a form of an attentive neural model that captures fine-grained interactions between group members. In our MoSAN model, each sub-attention module is representative of a single member, which models a user's preference with respect to all other group members. Subsequently, a Medley of Sub-Attention modules is then used to collectively make the group's final decision. Overall, our proposed model is both expressive and effective. Via a series of extensive experiments, we show that MoSAN not only achieves state-of-the-art performance but also improves standard baselines by a considerable margin.


title: Full counting statistics of information content

abstract: We review connections between the cumulant generating function of full counting statistics of particle number and the R\'enyi entanglement entropy. We calculate these quantities based on the fermionic and bosonic path-integral defined on multiple Keldysh contours. We relate the R\'enyi entropy with the information generating function, from which the probability distribution function of self-information is obtained in the nonequilibrium steady state. By exploiting the distribution, we analyze the information content carried by a single bosonic particle through a narrow-band quantum communication channel. The ratio of the self-information content to the number of bosons fluctuates. For a small boson occupation number, the average and the fluctuation of the ratio are enhanced.


title: Homogenization of a Biot-Stokes system modeling deformable vuggy porous media

abstract: Vugs are small to medium-sized cavities inside rock, which have significant effects on the fluid flow in rock. Moreover, the presence of vugs may have non-trivial impacts on the geomechanical behavior of rock. How to quantify and analyze such effects is still an opening problem. To this end, we derive a macroscopic poroelastic model for a single-phase viscous fluid flow through a deformable vuggy porous medium. At first, a vuggy porous medium is divided into two parts: the porous matrix and vugs. Then, we model the hydro-mechanical coupling process on the fine scale using Biot's equations within porous matrix, Stokes equations within the vugs, and an extended Beavers-Joseph-Saffman boundary condition on the porous-fluid interface. Next, based on the homogenization theory, we obtain a macroscopic Biot's equations governing the hydro-mechanical coupling behavior of vuggy porous media on larger scale. Subsequently, the macroscopic poroelastic coefficients, such as the effective Darcy permeability, effective Young's modulus and effective Biot coefficient, can be computed from three cell problems. Finally, several numerical examples are designed to demonstrate the computational procedure of evaluating the geomechanical behavior of vuggy porous media.


title: The convergence rate of the Gibbs sampler for generalized $1-$D Ising model

abstract: The rate of convergence of the Gibbs sampler for the generalized one-dimensional Ising model is determined by the second largest eigenvalue of its transition matrix in absolute value denoted by $\beta^*$. In this paper we generalize a result from Shiu and Chen $(2015)$ for the one-dimensional Ising model with two states which gives a bound for $\beta^*$ . The method is based on Diaconis and Stroock bound for reversible Markov processes. The new bound presented in this paper improves Ingrassia's $(1994)$ result.


title: Boundary-induced coherence in the staggered quantum walk on different topologies

abstract: The staggered quantum walk is a type of discrete-time quantum walk model without a coin which can be generated on a graph using particular partitions of the graph nodes. We design Hamiltonians for potential realization of the staggered dynamics on a two-dimensional lattice composed of superconducting microwave resonators connected with tunable couplings. The naive generalization of the one-dimensional staggered dynamics generates two uncoupled one-dimensional quantum walks thus more complex partitions need to be employed. However, by analyzing the coherence of the dynamics, we show that the quantumness of the evolution corresponding to two independent one-dimensional quantum walks can be elevated to the level of a single two-dimensional quantum walk, only by modifying the boundary conditions. In fact, by changing the lattice boundary conditions (or topology), we explore the walk on different surfaces such as torus, Klein bottle, real projective plane and sphere. The coherence and the entropy reach different levels depending on the topology of the surface. We observe that the entropy captures similar information as coherence, thus we use it to explore the effects of boundaries on the dynamics of the continuous-time quantum walk and the classical random walk.


title: Screening and anti-screening of the pairing interaction in low-density neutron matter

abstract: We study pairing in low-density neutron matter including the screening interaction due to the exchange of particle-hole and RPA excitations. As bare force we employ the effective low-momentum interaction $V_{low\,k}$, while the Fermi-liquid parameters are taken from a phenomenological energy density functional (SLy4) which correctly reproduces the equation of state of neutron matter. At low density, we find screening, i.e., pairing is reduced, while at higher densities, we find anti-screening, i.e., pairing is enhanced. This enhancement is mostly due to the strongly attractive Landau parameter $f_0$. We discuss in detail the critical temperature $T_c$ in the limit of low densities and show that the suppression of $T_c$ predicted by Gor'kov and Melik-Barkhudarov can only be reproduced if the cutoff of the $V_{low\,k}$ interaction is scaled with the Fermi momentum. We also discuss the effect of non-condensed pairs on the density dependence of $T_c$ in the framework of the Nozi\`eres-Schmitt-Rink theory.


title: Causal Generative Domain Adaptation Networks

abstract: An essential problem in domain adaptation is to understand and make use of distribution changes across domains. For this purpose, we first propose a flexible Generative Domain Adaptation Network (G-DAN) with specific latent variables to capture changes in the generating process of features across domains. By explicitly modeling the changes, one can even generate data in new domains using the generating process with new values for the latent variables in G-DAN. In practice, the process to generate all features together may involve high-dimensional latent variables, requiring dealing with distributions in high dimensions and making it difficult to learn domain changes from few source domains. Interestingly, by further making use of the causal representation of joint distributions, we then decompose the joint distribution into separate modules, each of which involves different low-dimensional latent variables and can be learned separately, leading to a Causal G-DAN (CG-DAN). This improves both statistical and computational efficiency of the learning procedure. Finally, by matching the feature distribution in the target domain, we can recover the target-domain joint distribution and derive the learning machine for the target domain. We demonstrate the efficacy of both G-DAN and CG-DAN in domain generation and cross-domain prediction on both synthetic and real data experiments.


title: Superlattice formation lifting degeneracy protected by non-symmorphic symmetry through a metal-insulator transition in RuAs

abstract: The single crystal of RuAs obtained by Bi-flux method shows obvious successive metal-insulator transitions at T_MI1~255 K and T_MI2~195$ K. The X-ray diffraction measurement reveals a formation of superlattice of 3x3x3 of the original unit cell below T_MI2, accompanied by a change of the crystal system from the orthorhombic structure to the monoclinic one. Simple dimerization of the Ru ions is nor seen in the ground state. The multiple As sites observed in nuclear quadrupole resonance (NQR) spectrum also demonstrate the formation of the superlattice in the ground state, which is clarified to be nonmagnetic. The divergence in 1/T_1 at T_MI1 shows that a symmetry lowering by the metal-insulator transition is accompanied by strong critical fluctuations of some degrees of freedom. Using the structural parameters in the insulating state, the first principle calculation reproduces successfully the reasonable size of nuclear quadrupole frequencies for the multiple As sites, ensuring the high validity of the structural parameters. The calculation also gives a remarkable suppression in the density of states (DOS) near the Fermi level, although the gap opening is insufficient. A coupled modulation of the calculated Ru d electron numbers and the crystal structure proposes a formation of charge density wave (CDW) in RuAs. Some lacking factors remain, but it shows that a lifting of degeneracy protected by the non-symmorphic symmetry through the superlattice formation is a key ingredient for the metal-insulator transition in RuAs.


title: Sparse Reconstruction with Multiple Walsh matrices

abstract: The problem of how to find a sparse representation of a signal is an important one in applied and computational harmonic analysis. It is closely related to the problem of how to reconstruct a sparse vector from its projection in a much lower-dimensional vector space. This is the setting of compressed sensing, where the projection is given by a matrix with many more columns than rows. We introduce a class of random matrices that can be used to reconstruct sparse vectors in this paradigm. These matrices satisfy the restricted isometry property with overwhelming probability. We also discuss an application in dimensionality reduction where we initially discovered this class of matrices.


title: Constraints on the nuclear symmetry energy and its density slope from the {\alpha} decay process

abstract: We study the impact of the nuclear symmetry energy and its density dependence on the {\alpha}-decay process. Within the frame work of the performed cluster model and the energy density formalism, we use different parameterizations of the Skyrme energy density functionals that yield different equations of state EOSs. Each EOS is characterized by a particular symmetry-energy coefficient (asym) and a corresponding density-slope parameters L. The stepwise trends of the neutron (proton) skin thickness of the involved nuclei with both asym and L do not clarify the obtained oscillating behaviors of the {\alpha}-decay half-life T{\alpha} with them. We find that the change of the skin thickness after {\alpha}-decay satisfactory explains these behaviors. The presented results provide constrains on asym centered around an optimum value asym= 32 MeV, and on L between 41 and 57 MeV. These values of asym and L, which indicate larger reduction of the proton-skin thickness and less increase in the neutron-skin thickness after an {\alpha}-decay, yield minimum calculated half-life with the same extracted value of the {\alpha}-preformation factor inside the parent nucleus.


title: Topological phase transition and $\mathbb{Z}_2$ index for $S=1$ quantum spin chains

abstract: We study $S=1$ quantum spin systems on the infinite chain with short ranged Hamiltonians which have certain rotational and discrete symmetry. We define a $\mathbb{Z}_2$ index for any gapped unique ground state, and prove that it is invariant under smooth deformation. By using the index, we provide the first rigorous proof of the existence of a "topological" phase transition, which cannot be characterized by any conventional order parameters, between the AKLT ground state and trivial ground states. This rigorously establishes that the AKLT model is in a nontrivial symmetry protected topological phase.

categories: cond-mat.stat-mech math-ph math.MP quant-ph


title: MelanoGANs: High Resolution Skin Lesion Synthesis with GANs

abstract: Generative Adversarial Networks (GANs) have been successfully used to synthesize realistically looking images of faces, scenery and even medical images. Unfortunately, they usually require large training datasets, which are often scarce in the medical field, and to the best of our knowledge GANs have been only applied for medical image synthesis at fairly low resolution. However, many state-of-the-art machine learning models operate on high resolution data as such data carries indispensable, valuable information. In this work, we try to generate realistically looking high resolution images of skin lesions with GANs, using only a small training dataset of 2000 samples. The nature of the data allows us to do a direct comparison between the image statistics of the generated samples and the real dataset. We both quantitatively and qualitatively compare state-of-the-art GAN architectures such as DCGAN and LAPGAN against a modification of the latter for the task of image generation at a resolution of 256x256px. Our investigation shows that we can approximate the real data distribution with all of the models, but we notice major differences when visually rating sample realism, diversity and artifacts. In a set of use-case experiments on skin lesion classification, we further show that we can successfully tackle the problem of heavy class imbalance with the help of synthesized high resolution melanoma samples.


title: Benchmark data and method for real-time people counting in cluttered scenes using depth sensors

abstract: Vision-based automatic counting of people has widespread applications in intelligent transportation systems, security, and logistics. However, there is currently no large-scale public dataset for benchmarking approaches on this problem. This work fills this gap by introducing the first real-world RGB-D People Counting DataSet (PCDS) containing over 4,500 videos recorded at the entrance doors of buses in normal and cluttered conditions. It also proposes an efficient method for counting people in real-world cluttered scenes related to public transportations using depth videos. The proposed method computes a point cloud from the depth video frame and re-projects it onto the ground plane to normalize the depth information. The resulting depth image is analyzed for identifying potential human heads. The human head proposals are meticulously refined using a 3D human model. The proposals in each frame of the continuous video stream are tracked to trace their trajectories. The trajectories are again refined to ascertain reliable counting. People are eventually counted by accumulating the head trajectories leaving the scene. To enable effective head and trajectory identification, we also propose two different compound features. A thorough evaluation on PCDS demonstrates that our technique is able to count people in cluttered scenes with high accuracy at 45 fps on a 1.7 GHz processor, and hence it can be deployed for effective real-time people counting for intelligent transportation systems.


title: Zero-Shot Object Detection

abstract: We introduce and tackle the problem of zero-shot object detection (ZSD), which aims to detect object classes which are not observed during training. We work with a challenging set of object classes, not restricting ourselves to similar and/or fine-grained categories as in prior works on zero-shot classification. We present a principled approach by first adapting visual-semantic embeddings for ZSD. We then discuss the problems associated with selecting a background class and motivate two background-aware approaches for learning robust detectors. One of these models uses a fixed background class and the other is based on iterative latent assignments. We also outline the challenge associated with using a limited number of training classes and propose a solution based on dense sampling of the semantic label space using auxiliary data with a large number of categories. We propose novel splits of two standard detection datasets - MSCOCO and VisualGenome, and present extensive empirical results in both the traditional and generalized zero-shot settings to highlight the benefits of the proposed methods. We provide useful insights into the algorithm and conclude by posing some open questions to encourage further research.


title: A two-stage 3D Unet framework for multi-class segmentation on full resolution image

abstract: Deep convolutional neural networks (CNNs) have been intensively used for multi-class segmentation of data from different modalities and achieved state-of-the-art performances. However, a common problem when dealing with large, high resolution 3D data is that the volumes input into the deep CNNs has to be either cropped or downsampled due to limited memory capacity of computing devices. These operations lead to loss of resolution and increment of class imbalance in the input data batches, which can downgrade the performances of segmentation algorithms. Inspired by the architecture of image super-resolution CNN (SRCNN) and self-normalization network (SNN), we developed a two-stage modified Unet framework that simultaneously learns to detect a ROI within the full volume and to classify voxels without losing the original resolution. Experiments on a variety of multi-modal volumes demonstrated that, when trained with a simply weighted dice coefficients and our customized learning procedure, this framework shows better segmentation performances than state-of-the-art Deep CNNs with advanced similarity metrics.


title: Equilibrium interfaces of biased voter models

abstract: A one-dimensional interacting particle system is said to exhibit interface tightness if starting in an initial condition describing the interface between two constant configurations of different types, the process modulo translations is positive recurrent. In a biological setting, this describes two populations that do not mix, and it is believed to be a common phenomenon in one-dimensional particle systems. Interface tightness has been proved for voter models satisfying a finite second moment condition on the rates. We extend this to biased voter models. Furthermore, we show that the distribution of the equilibrium interface for the biased voter model converges to that of the voter model when the bias parameter tends to zero. A key ingredient is an identity for the expected number of boundaries in the equilibrium voter model interface, which is of independent interest.


title: On Using Non-Volatile Memory in Apache Lucene

abstract: Apache Lucene is a widely popular information retrieval library used to provide search functionality in an extremely wide variety of applications. Naturally, it has to efficiently index and search large number of documents. With non-volatile memory in DIMM form factor (NVDIMM), software now has access to durable, byte-addressable memory with write latency within an order of magnitude of DRAM write latency. In this preliminary article, we present the first reported work on the impact of using NVDIMM on the performance of committing, searching, and near-real time searching in Apache Lucene. We show modest improvements by using NVM but, our empirical study suggests that bigger impact requires redesigning Lucene to access NVM as byte-addressable memory using loads and stores, instead of accessing NVM via the file system.


title: Stability-Optimized High Order Methods and Stiffness Detection for Pathwise Stiff Stochastic Differential Equations

abstract: Stochastic differential equations (SDE) often exhibit large random transitions. This property, which we denote as pathwise stiffness, causes transient bursts of stiffness which limit the allowed step size for common fixed time step explicit and drift-implicit integrators. We present four separate methods to efficiently handle this stiffness. First, we utilize a computational technique to derive stability-optimized adaptive methods of strong order 1.5 for SDEs. The resulting explicit methods are shown to exhibit substantially enlarged stability regions which allows for them to solve pathwise stiff biological models orders of magnitude more efficiently than previous methods like SRIW1 and Euler-Maruyama. Secondly, these integrators include a stiffness estimator which allows for automatically switching between implicit and explicit schemes based on the current stiffness. In addition, adaptive L-stable strong order 1.5 implicit integrators for SDEs and stochastic differential algebraic equations (SDAEs) in mass-matrix form with additive noise are derived and are demonstrated as more efficient than the explicit methods on stiff chemical reaction networks by nearly 8x. Lastly, we developed an adaptive implicit-explicit (IMEX) integration method based off of a common method for diffusion-reaction-convection PDEs and show numerically that it can achieve strong order 1.5. These methods are benchmarked on a range of problems varying from non-stiff to extreme pathwise stiff and demonstrate speedups between 5x-6000x while showing computationally infeasibility of fixed time step integrators on many of these test equations.


title: Automatic Generation of Communication Requirements for Enforcing Multi-Agent Safety

abstract: Distributed controllers are often necessary for a multi-agent system to satisfy safety properties such as collision avoidance. Communication and coordination are key requirements in the implementation of a distributed control protocol, but maintaining an all-to-all communication topology is unreasonable and not always necessary. Given a safety objective and a controller implementation, we consider the problem of identifying when agents need to communicate with one another and coordinate their actions to satisfy the safety constraint. We define a coordination-free controllable predecessor operator that is used to derive a subset of the state space that allows agents to act independently, without consulting other agents to double check that the action is safe. Applications are shown for identifying an upper bound on connection delays and a self-triggered coordination scheme. Examples are provided which showcase the potential for designers to visually interpret a system's ability to tolerate delays when initializing a network connection.


title: Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL

abstract: With Multi-lane Spatial Logic (MLSL) a powerful approach to formally reason about and prove safety of autonomous traffic manoeuvres was introduced. Extended timed automata controllers using MLSL were constructed to commit safe lane change manoeuvres on highways. However, the approach has only few implementation and verification results. We thus strenghen the MLSL approach by implementing their lane change controller in UPPAAL and confirming the safety of the lane change protocol. We also detect the unlive behaviour of the original controller and thus extend it to finally verify liveness of the new lane change controller.


title: The CAT Vehicle Testbed: A Simulator with Hardware in the Loop for Autonomous Vehicle Applications

abstract: This paper presents the CAT Vehicle (Cognitive and Autonomous Test Vehicle) Testbed: a research testbed comprised of a distributed simulation-based autonomous vehicle, with straightforward transition to hardware in the loop testing and execution, to support research in autonomous driving technology. The evolution of autonomous driving technology from active safety features and advanced driving assistance systems to full sensor-guided autonomous driving requires testing of every possible scenario. However, researchers who want to demonstrate new results on a physical platform face difficult challenges, if they do not have access to a robotic platform in their own labs. Thus, there is a need for a research testbed where simulation-based results can be rapidly validated through hardware in the loop simulation, in order to test the software on board the physical platform. The CAT Vehicle Testbed offers such a testbed that can mimic dynamics of a real vehicle in simulation and then seamlessly transition to reproduction of use cases with hardware. The simulator utilizes the Robot Operating System (ROS) with a physics-based vehicle model, including simulated sensors and actuators with configurable parameters. The testbed allows multi-vehicle simulation to support vehicle to vehicle interaction. Our testbed also facilitates logging and capturing of the data in the real time that can be played back to examine particular scenarios or use cases, and for regression testing. As part of the demonstration of feasibility, we present a brief description of the CAT Vehicle Challenge, in which student researchers from all over the globe were able to reproduce their simulation results with fewer than 2 days of interfacing with the physical platform.


title: Identification of Risk Significant Automotive Scenarios Under Hardware Failures

abstract: The level of autonomous functions in vehicular control systems has been on a steady rise. This rise makes it more challenging for control system engineers to ensure a high level of safety, especially against unexpected failures such as stochastic hardware failures. A generic Backtracking Process Algorithm (BPA) based on a deductive implementation of the Markov/Cell-to-Cell Mapping technique is proposed for the identification of critical scenarios leading to the violation of safety goals. A discretized state-space representation of the system allows tracing of fault propagation throughout the system, and the quantification of probabilistic system evolution in time. A case study of a Hybrid State Control System for an autonomous vehicle prone to a brake-by-wire failure is constructed. The hazard of interest is collision with a stationary vehicle. The BPA is implemented to identify the risk significant scenarios leading to the hazard of interest.


title: On the Application of ISO 26262 in Control Design for Automated Vehicles

abstract: Research on automated vehicles has experienced an explosive growth over the past decade. A main obstacle to their practical realization, however, is a convincing safety concept. This question becomes ever more important as more sophisticated algorithms are used and the vehicle automation level increases. The field of functional safety offers a systematic approach to identify possible sources of risk and to improve the safety of a vehicle. It is based on practical experience across the aerospace, process and other industries over multiple decades. This experience is compiled in the functional safety standard for the automotive domain, ISO 26262, which is widely adopted throughout the automotive industry. However, its applicability and relevance for highly automated vehicles is subject to a controversial debate. This paper takes a critical look at the discussion and summarizes the main steps of ISO 26262 for a safe control design for automated vehicles.


title: Single shock solution for non convex scalar conservation laws

abstract: In this paper we study the finite time emergence of one shock for the solution of scalar conservation laws in one space dimension with general flux f . We give a necessary and sufficient condition to the initial data connecting to flux. The proof relies on the structure theorem for the linear degenerate flux and the finer analysis of characteristic curves.


title: Counting Matchings via Capacity Preserving Operators

abstract: The notion of the capacity of a polynomial was introduced by Gurvits around 2005, originally to give drastically simplified proofs of the Van der Waerden lower bound for permanents of doubly stochastic matrices and Schrijver's inequality for perfect matchings of regular bipartite graphs. Since this seminal work, the notion of capacity has been utilized to bound various combinatorial quantities and to give polynomial-time algorithms to approximate such quantities (e.g., the number of bases of a matroid). These types of results are often proven by giving bounds on how much a particular differential operator can change the capacity of a given polynomial. In this paper, we unify the theory surrounding such capacity preserving operators by giving tight capacity preservation bounds for all nondegenerate real stability preservers. We then use this theory to give a new proof of a recent result of Csikv\'ari, which settled Friedland's lower matching conjecture.


title: Nonlinear Polarization Evolution of ultrashort pulses in Polarization Maintaining fibers

abstract: We examine properties of an ultrashort laser pulse propagating through an artificial Saturable Absorber based on Nonlinear Polarization Evolution device which has been realized with Polarization Maintaining fibers only (PM NPE). We study and compare in-line and Faraday Mirror geometries showing that the latter is immune to errors in the PM NPE construction. Experimental results for the transmission measurements of the PM NPE setup for different input linear polarization angles and various input pulse powers are presented. We show that PM NPE topology is of crucial importance for controlling the properties of the output pulse as it rules the contribution of cross-phase modulation to an overall nonlinear phase change. We also demonstrate an excellent agreement between the numerical model and experimental results.


title: Global SNR Estimation of Speech Signals using Entropy and Uncertainty Estimates from Dropout Networks

abstract: This paper demonstrates two novel methods to estimate the global SNR of speech signals. In both methods, Deep Neural Network-Hidden Markov Model (DNN-HMM) acoustic model used in speech recognition systems is leveraged for the additional task of SNR estimation. In the first method, the entropy of the DNN-HMM output is computed. Recent work on bayesian deep learning has shown that a DNN-HMM trained with dropout can be used to estimate model uncertainty by approximating it as a deep Gaussian process. In the second method, this approximation is used to obtain model uncertainty estimates. Noise specific regressors are used to predict the SNR from the entropy and model uncertainty. The DNN-HMM is trained on GRID corpus and tested on different noise profiles from the DEMAND noise database at SNR levels ranging from -10 dB to 30 dB.


title: Study of magnetic field topology of active region 12192 using an extrapolated non-force-free magnetic field

abstract: The solar active region (AR) 12192 was one of the most flare productive region of solar cycle 24, which produced many X-class flares; the most energetic being an X3.1 flare on October 24, 2014 at 21:10 UT. Customarily, such events are believed to be triggered by magnetic reconnection in coronal magnetic fields. Here we use the vector magnetograms from solar photosphere, obtained from Heliospheric Magnetic Imager (HMI) to investigate the magnetic field topology prior to the X3.1 event, and ascertain the conditions that might have caused the flare. To infer the coronal magnetic field, a novel non-force-free field (NFFF) extrapolation technique of the photospheric field is used, which suitably mimics the Lorentz forces present in the photospheric plasma. We also highlight the presence of magnetic null points and quasi-separatrix layers (QSLs) in the magnetic field topology, which are preferred sites for magnetic reconnections and discuss the probable reconnection scenarios.


title: Structural Physical Approximation make possible to realize the optimal singlet fraction with two measurements

abstract: Structural physical approximation (SPA) has been exploited to approximate non-physical operation such as partial transpose. It has already been studied in the context of detection of entanglement and found that if the minimum eigenvalue of SPA to partial transpose is less than $\frac{2}{9}$ then the two-qubit state is entangled. We find application of SPA to partial transpose in the estimation of optimal singlet fraction. We show that optimal singlet fraction can be expressed in terms of minimum eigenvalue of SPA to partial transpose. We also show that optimal singlet fraction can be realized using Hong-Ou-Mandel interferometry with only two detectors. Further we have shown that the generated hybrid entangled state between a qubit and a binary coherent state can be used as a resource state in quantum teleportation.


title: Gradient weighted estimates at the natural exponent for Quasilinear Parabolic equations

abstract: In this paper, we obtain weighted norm inequalities for the spatial gradients of weak solutions to quasilinear parabolic equations with weights in the Muckenhoupt class $A_{\frac{q}{p}}(\mathbb{R}^{n+1})$ for $q\geq p$ on non-smooth domains. Here the quasilinear nonlinearity is modelled after the standard $p$-Laplacian operator. Until now, all the weighted estimates for the gradient were obtained only for exponents $q>p$. The results for exponents $q>p$ used the full complicated machinery of the Calder\'on-Zygmund theory developed over the past few decades, but the constants blow up as $q \rightarrow p$ (essentially because the Maximal function is not bounded on $L^1$). In order to prove the weighted estimates for the gradient at the natural exponent, i.e., $q=p$, we need to obtain improved a priori estimates below the natural exponent. To this end, we develop the technique of Lipschitz truncation based on \cite{AdiByun2,KL} and obtain significantly improved estimates below the natural exponent. Along the way, we also obtain improved, unweighted Calder\'on-Zygmund type estimates below the natural exponent which is new even for the linear equations.


title: Photoemission Study of the Electronic Structure of Valence Band Convergent SnSe

abstract: IV-VI semiconductor SnSe has been known as the material with record high thermoelectric performance.The multiple close-to-degenerate valence bands in the electronic band structure has been one of the key factors contributing to the high power factor and thus figure of merit in the SnSe single crystal. To date, there have been primarily theoretical calculations of this particular electronic band structure. In this paper, however, using angle-resolved photoemission spectroscopy, we perform a systematic investigation of the electronic structure of SnSe. We directly observe three predicted hole bands with small energy differences between their band tops and relatively small in-plane effective masses, in good agreement with the ab initio calculations and critical for the enhancement of the Seebeck coefficient while keeping high electrical conductivity. Our results reveal the complete band structure of SnSe and help to provide a deeper understanding of the electronic origin of the excellent thermoelectric performances in SnSe.


title: Clear as MUD: Generating, Validating and Applying IoT Behaviorial Profiles (Technical Report)

abstract: IoT devices are increasingly being implicated in cyber-attacks, driving community concern about the risks they pose to critical infrastructure, corporations, and citizens. In order to reduce this risk, the IETF is pushing IoT vendors to develop formal specifications of the intended purpose of their IoT devices, in the form of a Manufacturer Usage Description (MUD), so that their network behavior in any operating environment can be locked down and verified rigorously. This paper aims to assist IoT manufacturers in developing and verifying MUD profiles, while also helping adopters of these devices to ensure they are compatible with their organizational policies. Our first contribution is to develop a tool that takes the traffic trace of an arbitrary IoT device as input and automatically generates a MUD profile for it. We contribute our tool as open source, apply it to 28 consumer IoT devices, and highlight insights and challenges encountered in the process. Our second contribution is to apply a formal semantic framework that not only validates a given MUD profile for consistency, but also checks its compatibility with a given organizational policy. Finally, we apply our framework to representative organizations and selected devices, to demonstrate how MUD can reduce the effort needed for IoT acceptance testing.


title: The Correlated Particle Hybrid Sampler for State Space Models

abstract: Particle Markov Chain Monte Carlo (PMCMC) is a general computational approach to Bayesian inference for general state space models. Our article scales up PMCMC in terms of the number of observations and parameters by generating the parameters that are highly correlated with the states \lq integrated out\rq{} in a pseudo marginal step; the rest of the parameters are generated conditional on the states. The novel contribution of our article is to make the pseudo-marginal step much more efficient by positively correlating the numerator and denominator in the Metropolis-Hastings acceptance probability. This is done in a novel way by expressing the target density of the PMCMC in terms of the basic uniform or normal random numbers used in the sequential Monte Carlo algorithm instead of the standard way in terms of state particles. We also show that the new sampler combines and generalizes two separate particle MCMC approaches: particle Gibbs and the correlated pseudo marginal Metropolis-Hastings. We investigate the performance of the hybrid sampler empirically by applying it to univariate and multivariate stochastic volatility models having both a large number of parameters and a large number of latent states and show that it is much more efficient than competing PMCMC methods.


title: A Recurrent CNN for Automatic Detection and Classification of Coronary Artery Plaque and Stenosis in Coronary CT Angiography

abstract: Various types of atherosclerotic plaque and varying grades of stenosis could lead to different management of patients with coronary artery disease. Therefore, it is crucial to detect and classify the type of coronary artery plaque, as well as to detect and determine the degree of coronary artery stenosis. This study includes retrospectively collected clinically obtained coronary CT angiography (CCTA) scans of 163 patients. To perform automatic analysis for coronary artery plaque and stenosis classification, a multi-task recurrent convolutional neural network is applied on multi-planar reformatted (MPR) images of the coronary arteries. First, a 3D convolutional neural network is utilized to extract features along the coronary artery. Subsequently, the extracted features are aggregated by a recurrent neural network that performs two simultaneous multi-class classification tasks. In the first task, the network detects and characterizes the type of the coronary artery plaque (no plaque, non-calcified, mixed, calcified). In the second task, the network detects and determines the anatomical significance of the coronary artery stenosis (no stenosis, non-significant i.e. <50% luminal narrowing, significant i.e. >50% luminal narrowing). For detection and classification of coronary plaque, the method achieved an accuracy of 0.77. For detection and classification of stenosis, the method achieved an accuracy of 0.80. The results demonstrate that automatic detection and classification of coronary artery plaque and stenosis are feasible. This may enable automated triage of patients to those without coronary plaque and those with coronary plaque and stenosis in need for further cardiovascular workup.


title: Creating an extrovert robotic assistant via IoT networking devices

abstract: The communication and collaboration of Cyber-Physical Systems, including machines and robots, among themselves and with humans, is expected to attract researchers' interest for the years to come. A key element of the new revolution is the Internet of Things (IoT). IoT infrastructures enable communication between different connected devices using internet protocols. The integration of robots in an IoT platform can improve robot capabilities by providing access to other devices and resources. In this paper we present an IoT-enabled application including a NAO robot which can communicate through an IoT platform with a reflex measurement system and a hardware node that provides robotics-oriented services in the form of RESTful web services. An activity reminder application is also included, illustrating the extension capabilities of the system.


title: SRCA - The Scalable Robotic Cloud Agents Architecture

abstract: In an effort to penetrate the market at an affordable cost, consumer robots tend to provide limited processing capabilities, just enough to serve the purpose they have been designed for. However, a robot, in principle, should be able to interact and process the constantly increasing information streams generated from sensors or other devices. This would require the implementation of algorithms and mathematical models for the accurate processing of data volumes and significant computational resources. It is clear that as the data deluge continues to grow exponentially, deploying such algorithms on consumer robots will not be easy. Current work presents a cloud-based architecture that aims to offload computational resources from robots to a remote infrastructure, by utilizing and implementing cloud technologies. This way robots are allowed to enjoy functionality offered by complex algorithms that are executed on the cloud. The proposed system architecture allows developers and engineers not specialised in robotic implementation environments to utilize generic robotic algorithms and services off-the-shelf.


title: On fundamental solutions for multidimensional Helmholtz equation with three singular coefficients

abstract: The main result of the present paper is the construction of fundamental solutions for a class of multidimensional elliptic equations with three singular coefficients, which could be expressed in terms of a confluent hypergeometric function of four variables. In addition, the order of the singularity is determined and the properties of the found fundamental solutions that are necessary for solving boundary value problems for degenerate elliptic equations of second order are found.


title: The spectrum for large sets of $(3,\lambda)$-GDDs of type $g^u$

abstract: In this paper, we completely solve the existence of large sets of $(3,\lambda)$-GDDs of type $g^u$ and the existence of a simple $(3,\lambda)$-GDD of type $g^u$.


title: A Survey of Fog Computing and Communication: Current Researches and Future Directions

abstract: In this survey, we discuss the evolution of distributed computing from the utility computing to the fog computing, various research challenges for the development of fog computing environments, the current status on fog computing research along with a taxonomy of various existing works in this direction. Then, we focus on the architectures of fog computing systems, technologies for enabling fog, fog computing features, security and privacy of fog, the QoS parameters, applications of fog, and give critical insights of various works done on this domain. Lastly, we briefly discuss about different fog computing associations that closely work on the development of fog based platforms and services, and give a summary of various types of overheads associated with fog computing platforms. Finally, we provide a thorough discussion on the future scopes and open research areas in fog computing as an enabler for the next generation computing paradigm.


title: Generative Adversarial Training for MRA Image Synthesis Using Multi-Contrast MRI

abstract: Magnetic Resonance Angiography (MRA) has become an essential MR contrast for imaging and evaluation of vascular anatomy and related diseases. MRA acquisitions are typically ordered for vascular interventions, whereas in typical scenarios, MRA sequences can be absent in the patient scans. This motivates the need for a technique that generates inexistent MRA from existing MR multi-contrast, which could be a valuable tool in retrospective subject evaluations and imaging studies. In this paper, we present a generative adversarial network (GAN) based technique to generate MRA from T1-weighted and T2-weighted MRI images, for the first time to our knowledge. To better model the representation of vessels which the MRA inherently highlights, we design a loss term dedicated to a faithful reproduction of vascularities. To that end, we incorporate steerable filter responses of the generated and reference images inside a Huber function loss term. Extending the well- established generator-discriminator architecture based on the recent PatchGAN model with the addition of steerable filter loss, the proposed steerable GAN (sGAN) method is evaluated on the large public database IXI. Experimental results show that the sGAN outperforms the baseline GAN method in terms of an overlap score with similar PSNR values, while it leads to improved visual perceptual quality.


title: BigSR: an empirical study of real-time expressive RDF stream reasoning on modern Big Data platforms

abstract: The trade-off between language expressiveness and system scalability (E&S) is a well-known problem in RDF stream reasoning. Higher expressiveness supports more complex reasoning logic, however, it may also hinder system scalability. Current research mainly focuses on logical frameworks suitable for stream reasoning as well as the implementation and the evaluation of prototype systems. These systems are normally developed in a centralized setting which suffer from inherent limited scalability, while an in-depth study of applying distributed solutions to cover E&S is still missing. In this paper, we aim to explore the feasibility of applying modern distributed computing frameworks to meet E&S all together. To do so, we first propose BigSR, a technical demonstrator that supports a positive fragment of the LARS framework. For the sake of generality and to cover a wide variety of use cases, BigSR relies on the two main execution models adopted by major distributed execution frameworks: Bulk Synchronous Processing (BSP) and Record-at-A-Time (RAT). Accordingly, we implement BigSR on top of Apache Spark Streaming (BSP model) and Apache Flink (RAT model). In order to conclude on the impacts of BSP and RAT on E&S, we analyze the ability of the two models to support distributed stream reasoning and identify several types of use cases characterized by their levels of support. This classification allows for quantifying the E&S trade-off by assessing the scalability of each type of use case \wrt its level of expressiveness. Then, we conduct a series of experiments with 15 queries from 4 different datasets. Our experiments show that BigSR over both BSP and RAT generally scales up to high throughput beyond million-triples per second (with or without recursion), and RAT attains sub-millisecond delay for stateless query operators.


title: Regularisation of Neural Networks by Enforcing Lipschitz Continuity

abstract: We investigate the effect of explicitly enforcing the Lipschitz continuity of neural networks with respect to their inputs. To this end, we provide a simple technique for computing an upper bound to the Lipschitz constant---for multiple $p$-norms---of a feed forward neural network composed of commonly used layer types. Our technique is then used to formulate training a neural network with a bounded Lipschitz constant as a constrained optimisation problem that can be solved using projected stochastic gradient methods. Our evaluation study shows that the performance of the resulting models exceeds that of models trained with other common regularisers. We also provide evidence that the hyperparameters are intuitive to tune, demonstrate how the choice of norm for computing the Lipschitz constant impacts the resulting model, and show that the performance gains provided by our method are particularly noticeable when only a small amount of training data is available.


title: Necking instabilities in elasto-viscoplastic materials

abstract: Necking instabilities, in which tensile (extensional) deformation localizes into a small spatial region, are generic failure modes in elasto-viscoplastic materials. Materials in this very broad class --- including amorphous, crystalline, polycrystalline and other materials --- feature a predominantly elastic response at small stresses, plasticity onset at a rather well-defined yield stress and rate-dependence. Necking instabilities involve a unique coupling between the system's geometry and its constitutive behavior. We consider generic elasto-viscoplastic constitutive relations involving an internal-state field, which represents the structural evolution of the material during plastic deformation, and study necking in the long-wavelength approximation (sometimes termed the lubrication or slender-bar approximation). We derive a general expression for the largest time-dependent eigenvalue in an approximate WKB-like linear stability analysis, highlighting various basic physical effects involved in necking. This expression is then used to propose criteria for the onset of necking and more importantly for the emergence of strong localization. Applications to strain-softening amorphous plasticity, in the framework of the Shear-Transformation-Zone model, and to strain-hardening crystalline/polycrystalline plasticity, in the framework of the Kocks-Mecking model, are presented. These quantitative analyses of widely different material models support the theoretical predictions, most notably for the strong localization during necking.


title: Gelation as condensation frustrated by hydrodynamics and mechanical isostaticity

abstract: Colloidal gels have unique mechanical and transport properties that stem from their bicontinous nature, in which a colloidal network is intertwined with a viscous solvent, and have found numerous applications in foods, cosmetics, construction materials, and for medical applications, such as cartilage replacements. So far, our understanding of the process of colloidal gelation is limited to long-time dynamical effects, where gelation is viewed as a phase separation process interrupted by the glass transition. However, this picture neglects two important effects: the influence of hydrodynamic interactions, and the emergence of mechanical stability. With confocal microscopy experiments, here we successfully follow the entire process of gelation with a single-particle resolution, yielding time-resolved measures of internal stress and viscoelasticity from the very beginning of the aggregation process. First, we demonstrate that the incompressible nature of a liquid component constrains the initial stage of phase separation, assisting the formation of a percolated network. Then we show that this network is not mechanically stable and undergoes rearrangements driven by self-generated internal stress. Finally, we show that mechanical metastability is reached only after percolation of locally isostatic environments, proving isostaticity a necessary condition for the stability and load bearing ability of gels rather than the glass transition. Our work reveals the crucial roles of momentum conservation in gelation in addition to the conventional purely out-of-equilibrium thermodynamic picture.


title: Image Correction via Deep Reciprocating HDR Transformation

abstract: Image correction aims to adjust an input image into a visually pleasing one. Existing approaches are proposed mainly from the perspective of image pixel manipulation. They are not effective to recover the details in the under/over exposed regions. In this paper, we revisit the image formation procedure and notice that the missing details in these regions exist in the corresponding high dynamic range (HDR) data. These details are well perceived by the human eyes but diminished in the low dynamic range (LDR) domain because of the tone mapping process. Therefore, we formulate the image correction task as an HDR transformation process and propose a novel approach called Deep Reciprocating HDR Transformation (DRHT). Given an input LDR image, we first reconstruct the missing details in the HDR domain. We then perform tone mapping on the predicted HDR data to generate the output LDR image with the recovered details. To this end, we propose a united framework consisting of two CNNs for HDR reconstruction and tone mapping. They are integrated end-to-end for joint training and prediction. Experiments on the standard benchmarks demonstrate that the proposed method performs favorably against state-of-the-art image correction methods.


title: Infinite-Duration Poorman-Bidding Games

abstract: In two-player games on graphs, the players move a token through a graph to produce an infinite path, which determines the winner or payoff of the game. Such games are central in formal verification since they model the interaction between a non-terminating system and its environment. We study {\em bidding games} in which the players bid for the right to move the token. Two bidding rules have been defined. In {\em Richman} bidding, in each round, the players simultaneously submit bids, and the higher bidder moves the token and pays the other player. {\em Poorman} bidding is similar except that the winner of the bidding pays the "bank" rather than the other player. While poorman reachability games have been studied before, we present, for the first time, results on {\em infinite-duration} poorman games. A central quantity in these games is the {\em ratio} between the two players' initial budgets. The questions we study concern a necessary and sufficient ratio with which a player can achieve a goal. For reachability objectives, such {\em threshold ratios} are known to exist for both bidding rules. We show that the properties of poorman reachability games extend to complex qualitative objectives such as parity, similarly to the Richman case. Our most interesting results concern quantitative poorman games, namely poorman mean-payoff games, where we construct optimal strategies depending on the initial ratio, by showing a connection with {\em random-turn based games}. The connection in itself is interesting, because it does not hold for reachability poorman games. We also solve the complexity problems that arise in poorman bidding games.


title: On linear codes and distinct weights

abstract: We provide a combinatorial construction for linear codes attaining the maximum possible number of distinct weights. We then introduce the related problem of determining the existence of linear codes with an arbitrary number of distinct non-zero weights, and we completely determine a solution in the binary case.


title: The threshold displacement energy of buckminsterfullerene C$_{60}$ and formation of the endohedral defect fullerene He@C$_{59}$

abstract: We have measured the threshold center-of-mass kinetic energy for knocking out a single carbon atom from C$_{60}^-$ in collisions with He. Combining this experimental result with classical molecular dynamics simulations, we determine a semi-empirical value of 24.1$\pm$0.5~eV for the threshold displacement energy, the energy needed to remove a single carbon atom from the C$_{60}$ cage. We report the first observation of an endohedral complex with an odd number of carbon atoms, He@C$_{59}^-$, and discuss its formation and decay mechanisms.


title: The PBW theorem for the affine Yangians

abstract: We prove that the Yangian associated to an untwisted symmetric affine Kac-Moody Lie algebra is isomorphic to the Drinfeld double of a shuffle algebra. The latter is constructed by the authors in arXiv:1407.7994 as an algebraic formalism of the cohomological Hall algebras. As a consequence, we obtain the Poincare-Birkhoff-Witt (PBW) theorem for this class of affine Yangians. Another independent proof of the PBW theorem is given recently by Guay-Regelskis-Wendlandt.