title: Secret Sharing with Binary Shares

abstract: Shamir's celebrated secret sharing scheme provides an efficient method for encoding a secret of arbitrary length $\ell$ among any $N \leq 2^\ell$ players such that for a threshold parameter $t$, (i) the knowledge of any $t$ shares does not reveal any information about the secret and, (ii) any choice of $t+1$ shares fully reveals the secret. It is known that any such threshold secret sharing scheme necessarily requires shares of length $\ell$, and in this sense Shamir's scheme is optimal. The more general notion of ramp schemes requires the reconstruction of secret from any $t+g$ shares, for a positive integer gap parameter $g$. Ramp secret sharing scheme necessarily requires shares of length $\ell/g$. Other than the bound related to secret length $\ell$, the share lengths of ramp schemes can not go below a quantity that depends only on the gap ratio $g/N$. In this work, we study secret sharing in the extremal case of bit-long shares and arbitrarily small gap ratio $g/N$, where standard ramp secret sharing becomes impossible. We show, however, that a slightly relaxed but equally effective notion of semantic security for the secret, and negligible reconstruction error probability, eliminate the impossibility. Moreover, we provide explicit constructions of such schemes. One of the consequences of our relaxation is that, unlike standard ramp schemes with perfect secrecy, adaptive and non-adaptive adversaries need different analysis and construction. For non-adaptive adversaries, we explicitly construct secret sharing schemes that provide secrecy against any $\tau$ fraction of observed shares, and reconstruction from any $\rho$ fraction of shares, for any choices of $0 \leq \tau < \rho \leq 1$. Our construction achieves secret length $N(\rho-\tau-o(1))$, which we show to be optimal. For adaptive adversaries, we construct explicit schemes attaining a secret length $\Omega(N(\rho-\tau))$.


title: Auto-Scaling Network Resources using Machine Learning to Improve QoS and Reduce Cost

abstract: Virtualization of network functions (as virtual routers, virtual firewalls, etc.) enables network owners to efficiently respond to the increasing dynamicity of network services. Virtual Network Functions (VNFs) are easy to deploy, update, monitor, and manage. The number of VNF instances, similar to generic computing resources in cloud, can be easily scaled based on load. Hence, auto-scaling (of resources without human intervention) has been receiving attention. Prior studies on auto-scaling use measured network traffic load to dynamically react to traffic changes. In this study, we propose a proactive Machine Learning (ML) based approach to perform auto-scaling of VNFs in response to dynamic traffic changes. Our proposed ML classifier learns from past VNF scaling decisions and seasonal/spatial behavior of network traffic load to generate scaling decisions ahead of time. Compared to existing approaches for ML-based auto-scaling, our study explores how the properties (e.g., start-up time) of underlying virtualization technology impacts Quality of Service (QoS) and cost savings. We consider four different virtualization technologies: Xen and KVM, based on hypervisor virtualization, and Docker and LXC, based on container virtualization. Our results show promising accuracy of the ML classifier using real data collected from a private ISP. We report in-depth analysis of the learning process (learning-curve analysis), feature ranking (feature selection, Principal Component Analysis (PCA), etc.), impact of different sets of features, training time, and testing time. Our results show how the proposed methods improve QoS and reduce operational cost for network owners. We also demonstrate a practical use-case example (Software-Defined Wide Area Network (SD-WAN) with VNFs and backbone network) to show that our ML methods save significant cost for network service leasers.


title: Underlying burning resistant mechanisms for titanium alloy

abstract: The "titanium fire" as produced during high pressure and friction is the major failure scenario for aero-engines. To alleviate this issue, Ti-V-Cr and Ti-Cu-Al series burn resistant titanium alloys have been developed. However, which burn resistant alloy exhibit better property with reasonable cost needs to be evaluated. This work unveils the burning mechanisms of these alloys and discusses whether burn resistance of Cr and V can be replaced by Cu, on which thorough exploration is lacking. Two representative burn resistant alloys are considered, including Ti14(Ti-13Cu-1Al-0.2Si) and Ti40(Ti-25V-15Cr-0.2Si)alloys. Compared with the commercial non-burn resistant titanium alloy, i.e., TC4(Ti-6Al-4V)alloy, it has been found that both Ti14 and Ti40 alloys form "protective" shields during the burning process. Specifically, for Ti14 alloy, a clear Cu-rich layer is formed at the interface between burning product zone and heat affected zone, which consumes oxygen by producing Cu-O compounds and impedes the reaction with Ti-matrix. This work has established a fundamental understanding of burning resistant mechanisms for titanium alloys. Importantly, it is found that Cu could endow titanium alloys with similar burn resistant capability as that of V or Cr, which opens a cost-effective avenue to design burn resistant titanium alloys.


title: The Ricci Curvature for Noncommutative Three Tori

abstract: We compute the Ricci curvature of a curved noncommutative three torus. The computation is done both for conformal and non-conformal perturbations of the flat metric. To perturb the flat metric, the standard volume form on the noncommutative three torus is perturbed and the corresponding perturbed Laplacian is analyzed. Using Connes' pseudodifferential calculus for the noncommutative tori, we explicitly compute the second term of the short time heat kernel expansion for the perturbed Laplacians on functions and on 1-forms. The Ricci curvature is defined by localizing heat traces suitably. Equivalerntly, it can be defined through special values of localized spectral zeta functions. We also compute the scalar curvatures and compare our results with previous calculations in the conformal case. Finally we compute the classical limit of our formulas and show that they coincide with classical formulas in the commutative case.

categories: math.QA math-ph math.DG math.MP math.OA math.SP


title: Graphene Helicoid: The Distinct Properties Promote Application of Graphene Related Materials in Thermal Management

abstract: The extremely high thermal conductivity of graphene has received great attention both in experiments and calculations. Obviously, new feature in thermal properties is of primary importance for application of graphene-based materials in thermal management in nanoscale. Here, we studied the thermal conductivity of graphene helicoid, a newly reported graphene-related nanostructure, using molecular dynamics simulation. Interestingly, in contrast to the converged cross-plane thermal conductivity in multi-layer graphene, axial thermal conductivity of graphene helicoid keeps increasing with thickness with a power law scaling relationship, which is a consequence of the divergent in-plane thermal conductivity of two-dimensional graphene. Moreover, the large overlap between adjacent layers in graphene helicoid also promotes higher thermal conductivity than multi-layer graphene. Furthermore, in the small strain regime (< 10%), compressive strain can effectively increase the thermal conductivity of graphene helicoid, while in the ultra large strain regime (~100% to 500%), tensile strain does not decrease the heat current, unlike that in generic solid-state materials. Our results reveal that the divergence in thermal conductivity, associated with the anomalous strain dependence and the unique structural flexibility, make graphene helicoid a new platform for studying fascinating phenomena of key relevance to the scientific understanding and technological applications of graphene-related materials.


title: Rigidity of mapping class group actions on $S^1$

abstract: The mapping class group $\mathrm{Mod}_{g, 1}$ of a surface with one marked point can be identified with an index two subgroup of $\mathrm{Aut}(\pi_1 \Sigma_g)$. For a surface of genus $g \geq 2$, we show that any action of $\mathrm{Mod}_{g, 1}$ on the circle is either semi-conjugate to its natural action on the Gromov boundary of $\pi_1 \Sigma_g$, or factors through a finite cyclic group. For $g \geq 3$, all finite actions are trivial. This answers a question of Farb.


title: Mutual correlation in the shock wave geometry

abstract: We probe the shock wave geometry with the mutual correlation in a spherically symmetric Reissner Nordstr\"om AdS black hole on the basis of the gauge/gravity duality. In the static background, we find that the regions living on the boundary of the AdS black holes are correlated provided the considered regions on the boundary are large enough. We also investigate the effect of the charge on the mutual correlation and find that the bigger the value of the charge is, the smaller the value of the mutual correlation will to be. As a small perturbation is added at the AdS boundary, the horizon shifts and a dynamical shock wave geometry forms after long time enough. In this dynamic background, we find that the greater the shift of the horizon is, the smaller the mutual correlation will to be. Especially for the case that the shift is large enough, the mutual correlation vanishes, which implies that the considered regions on the boundary are uncorrelated. The effect of the charge on the mutual correlation in this dynamic background is found to be the same as that in the static background.


title: Reaction rates for the $^{39}$K(p,$\gamma$)$^{40}$Ca reaction

abstract: The magnesium-potassium anti-correlation observed in globular cluster NGC2419 can be explained by nuclear burning of hydrogen in hot environments. The exact site of this nuclear burning is, as yet, unknown. In order to constrain the sites responsible for this anti-correlation, the nuclear reactions involved must be well understood. The $^{39}$K+p reactions are one such pair of reactions. Here, we report a new evaluation of the $^{39}$K(p,$\gamma$)$^{40}$Ca reaction rate by taking into account ambiguities and measurement uncertainties in the nuclear data. The uncertainty in the $^{39}$K(p,$\gamma$)$^{40}$Ca reaction rate is larger than previously assumed, and its influence on nucleosynthesis models is demonstrated. We find the $^{39}$K(p,$\gamma$)$^{40}$Ca reaction cross section should be the focus of future experimental study to help constrain models aimed at explaining the magnesium-potassium anti-correlation in globular clusters.


title: The Gregory-Newton Problem for Kissing Sticky Spheres

abstract: All possible non-isomorphic arrangements of 12 spheres kissing a central sphere (the Gregory-Newton problem) are obtained for the sticky-hard-sphere (SHS) model, and subsequently projected by geometry optimization onto a set of structures derived from an attractive Lennard-Jones (LJ) type of potential. It is shown that all 737 derived SHS contact graphs corresponding to the 12 outer spheres are (edge-induced) subgraphs of the icosahedral graph. The most widely used LJ(6,12) potential has only one minimum structure corresponding to the ideal icosahedron where the 12 outer spheres do not touch each other. The point of symmetry breaking away from the icosahedral symmetry towards the SHS limit is obtained for general LJ($a,b$) potentials with exponents $a,b\in \mathbb{R}_+$. Only if the potential becomes very repulsive in the short-range, determined by the LJ hard-sphere radius $\sigma$, symmetry broken solutions are observed.


title: Sub-grid modelling for two-dimensional turbulence using neural networks

abstract: In this investigation, a data-driven turbulence closure framework is introduced and deployed for the sub-grid modelling of Kraichnan turbulence. The novelty of the proposed method lies in the fact that snapshots from high-fidelity numerical data are used to inform artificial neural networks for predicting the turbulence source term through localized grid-resolved information. In particular, our proposed methodology successfully establishes a map between inputs given by stencils of the vorticity and the streamfunction along with information from two well-known eddy-viscosity kernels. Through this we predict the sub-grid vorticity forcing in a temporally and spatially dynamic fashion. Our study is both a-priori and a-posteriori in nature. In the former, we present an extensive hyper-parameter optimization analysis in addition to learning quantification through probability density function based validation of sub-grid predictions. In the latter, we analyse the performance of our framework for flow evolution in a classical decaying two-dimensional turbulence test case in the presence of errors related to temporal and spatial discretization. Statistical assessments in the form of angle-averaged kinetic energy spectra demonstrate the promise of the proposed methodology for sub-grid quantity inference. In addition, it is also observed that some measure of a-posteriori error must be considered during optimal model selection for greater accuracy. The results in this article thus represent a promising development in the formalization of a framework for generation of heuristic-free turbulence closures from data.


title: Mass enhancements and band shifts in strongly hole overdoped Fe-based pnictide superconductors: KFe$_2$As$_2$ and CsFe$_2$As$_2$

abstract: The interplay of high and low-energy mass renormalizations with band-shifts reflected by the positions of van Hove singularities (VHS) in the normal state spectra of the highest hole-overdoped and strongly correlated AFe$_2$As$_2$ (A122) with A = K, Cs is discussed phenomenologically based on ARPES data and GGA band-structure calculations with full spin-orbit coupling. The big increase of the Sommerfeld coefficient $\gamma$ from K122 to Cs122 is ascribed to an enhanced coupling to low-energy bosons in the vicinity of a quantum critical point to an unknown, yet incommensurate phase different from the commensurate Mott one. We find no sizeable increase in correlations for Cs122 in contrast to F. Eilers et al., PRL v. 116, 237003 (2016) [3]. The empirical (ARPES) VHS positions as compared with GGA-predictions point even to slightly weaker correlations in Cs122 in accord with low-$T$ magnetic susceptibility $\chi(T)$ data and a decreasing Wilson ratio $\propto \chi(0)/\gamma$.


title: Sampling-Based Tour Generation of Arbitrarily Oriented Dubins Sensor Platforms

abstract: This paper describes a formulation and develops a novel procedure for a fleet of unmanned aerial vehicles (UAVs) from the perspective of remotely executable tasks. In a complex mission environment, the characteristics of vehicles can be different in terms of sensing capability, range, direction, or the motion constraints. The purpose of this paper is to find a set of paths that minimizes the sum of costs while every task region is visited exactly once under certain reasonable assumptions. The heterogeneous multi-UAV path planning problem is formulated as a generalized, heterogeneous, multiple depot traveling salesmen problem (GHMDATSP), which is a variant of the traveling salesman problem. The proposed transformation procedure changes an instance of the GHMDATSP into a format of an Asymmetric, Traveling Salesman Problem (ATSP) to obtain tours for which the total cost of a fleet of vehicles is minimized. The instance of the ATSP is solved using the Lin-Kernighan-Helsgaun heuristic, and the result is inversely transformed to the GHMDATSP-formatted instance to obtain a set of tours. An additional local optimization based path refinement process helps obtain a high-quality solution. Numerical experiments investigate and confirm for the validity and applicability of the proposed procedure.


title: Oscillation Criteria for Higher Order Nonlinear Generalized Neutral Difference Equations

abstract: In the present study we highlight some results related to the oscillation for high order nonlinear generalized neutral difference equation in the following form \begin{equation*} \Delta_{\ell}\left(a(k)\Delta_{\ell}^{m-1}z(k)\right)+q(k)f(x({k-\rho\ell}))=0, \label{1e} \end{equation*} where $z(k)=x(k)+p(k)x({\tau(k)})$.


title: Comments on Lorentz Transformations, Dressed Asymptotic States and Hawking Radiation

abstract: We consider two applications of the factorization of infrared dynamics in QED and gravity. The first is a redefinition of the Lorentz transformations that makes them commute with supertranslations. The other is the process of particle creation near a black hole horizon. For the latter we show that the emission of soft particles factors out of the S-matrix in the fixed-background approximation and to leading order in the soft limit. The factorization is implemented by dressing the incoming and outgoing asymptotic states with clouds of soft photons and soft gravitons. We find that while the soft photon cloud has no effect, the soft graviton cloud induces a phase shift in the Bogolyubov coefficients relating the incoming and outgoing modes. However, the flux of outgoing particles, given by the absolute value of the Bogolyubov coefficient, is insensitive to this phase.


title: A Secure Multiple Elliptic Curves Digital Signature Algorithm for Blockchain

abstract: Most cryptocurrency systems or systems based on blockchain technology are currently using the elliptic curves digital signature algorithm (ECDSA) on the secp256k1 curve, which is susceptible to backdoors implemented by the curve creator (secp256k1). The paper proposes a multiple elliptic curves digi-tal signature algorithm (MECDSA), which allows not only for setting the number of elliptic curves according to practical security requirements, but also for editing the parameters of each elliptic curve. The performance analy-sis proves that the scheme is secure and efficient, and can avoid any back-doors implemented by curve creators. We suggest that the systems based on blockchain should operate in two elliptic curves considering the contradic-tion between security and efficiency.


title: A Potential Progenitor for the Type Ic Supernova 2017ein

abstract: We report the first detection of a credible progenitor system for a Type Ic supernova (SN Ic), SN 2017ein. We present spectra and photometry of the SN, finding it to be similar to carbon-rich, low-luminosity SNe Ic. Using a post-explosion Keck adaptive optics image, we precisely determine the position of SN 2017ein in pre-explosion \hst\ images, finding a single source coincident with the SN position. This source is marginally extended, and is consistent with being a stellar cluster. However, under the assumption that the emission of this source is dominated by a single point source, we perform point-spread function photometry, and correcting for line-of-sight reddening, we find it to have $M_{\rm F555W} = -7.5\pm0.2$ mag and $m_{\rm F555W}-m_{\rm F814W}$=$-0.67\pm0.14$ mag. This source is bluer than the main sequence and brighter than almost all Wolf-Rayet stars, however it is similar to some WC+O- and B-star binary systems. Under the assumption that the source is dominated by a single star, we find that it had an initial mass of $55\substack{+20-15} M_{\odot}$. We also examined binary star models to look for systems that match the overall photometry of the pre-explosion source and found that the best-fitting model is a $80$+$48 M_{\odot}$ close binary system in which the $80 M_{\odot}$ star is stripped and explodes as a lower mass star. Late-time photometry after the SN has faded will be necessary to cleanly separate the progenitor star emission from the additional coincident emission.


title: Recent Anomalies in B Physics

abstract: $B$ physics plays important roles in searching for the new physics (NP) beyond the standard model (SM). Recently, some deviations between experimental data and SM predictions were reported, namely $R(D^{(*)})$, $P_5^\prime$ and $R_{K^{(*)}}$ anomalies. If these anomalies were further confirmed in future, they would be unambiguous hints of NP. Theoretically, in order to explain these anomalies, a large number of models have been proposed, such as models including leptoquark or $Z^\prime$. However, these new particles have not been discovered directly in LHC. Moreover, the models should pass the examination of $B_s\to \mu^+\mu^-$ and $B_s^0-\bar B_s^0$ mixing. In future, the analysis of data taken during the ongoing Run 2 of the LHC and the forthcoming Belle-II will present new insight both into the observables of interest and into new strategies to control uncertainties. Theoretically, the existed models should be further tested; and more NP models are welcomed to explain these anomalies simultaneously without affecting other measurements consistent with SM.


title: Multipliers, Covers and Stem Extensions for Lie Superalgebras

abstract: Suppose that the underlying field is of characteristic different from $2, 3$. In this paper we first prove that the so-called stem deformations of a free presentations of a finite-dimensional Lie superalgebra $L$ exhaust all the maximal stem extensions of $L$, up to equivalence of extensions. Then we prove that multipliers and covers always exist for a Lie superalgebra and they are unique up to Lie superalgebra isomorphisms. Finally, we describe the multipliers, covers and maximal stem extensions of Heisenberg superalgebras of odd centers and model filiform Lie superalgebras.


title: Controllable Image-to-Video Translation: A Case Study on Facial Expression Generation

abstract: The recent advances in deep learning have made it possible to generate photo-realistic images by using neural networks and even to extrapolate video frames from an input video clip. In this paper, for the sake of both furthering this exploration and our own interest in a realistic application, we study image-to-video translation and particularly focus on the videos of facial expressions. This problem challenges the deep neural networks by another temporal dimension comparing to the image-to-image translation. Moreover, its single input image fails most existing video generation methods that rely on recurrent models. We propose a user-controllable approach so as to generate video clips of various lengths from a single face image. The lengths and types of the expressions are controlled by users. To this end, we design a novel neural network architecture that can incorporate the user input into its skip connections and propose several improvements to the adversarial training method for the neural network. Experiments and user studies verify the effectiveness of our approach. Especially, we would like to highlight that even for the face images in the wild (downloaded from the Web and the authors' own photos), our model can generate high-quality facial expression videos of which about 50\% are labeled as real by Amazon Mechanical Turk workers.


title: Secrecy Outage Performance of Multi-antenna Wiretap Channels With Diversity Combinings Over Correlated Rayleigh Fading Channels

abstract: This paper presents a detailed secrecy outage performance analysis of correlated multi-antenna wiretap channels with three popular diversity combining schemes, namely maximal ratio combining, selection combining, and equal gain combining at the legitimate receiver. For single input multiple output wiretap channels, both exact and asymptotic expressions are derived for the secrecy outage probability (SOP) of these systems. The findings suggest that, compared with the scenario where all the channels are independent, correlation of the main channels alone increases the SOP by a factor of 1/ det(U), where det(U) is the determinant of correlation matrix U. In contrast, in the high signal-to-noise ratio regime at the legitimate receiver, correlation between the main channels and the eavesdropper channels has a positive effect on SOP. Moreover, for multiple input and multiple output wiretap channels, the SOP of two transmit antenna selection (TAS) schemes are analyzed for the considered correlated channel model. The SOP relationship of the both TAS schemes is quantified by the secrecy array gain. Finally, numerical simulations are conducted to corroborate the analytical results.


title: The origin of the H$\alpha$-like structure in nebular spectra of type IIb supernovae

abstract: We investigate the origin of the H$\alpha$-like structure seen in late-phase nebular spectra of type IIb supernovae (SNe IIb) at $\sim 200$ days after the explosion. We compare the luminosities of emission lines in the nebular spectra with the light curve peak magnitudes to reveal their power sources. In this work, we analyze 7 SNe IIb, as well as 2 SNe Ib (SN 2007Y and iPTF 13bvn) that show the H$\alpha$-like emission in their nebular spectra. The luminosity of the H$\alpha$-like emission shows a tight correlation with the light curve peak magnitude, sharing the same behavior with other nebular lines. This result indicates that the H$\alpha$-like emission is powered by the radiative decay of $^{56}$Co. The line flux is then expected to roughly follow the mass of the emitting layer. The variation expected from the diversity of the H-rich envelope mass among SNe IIb (reaching nearly to an order of magnitude) is however not seen, suggesting that it is most likely contributed predominantly by [N II], not by H$\alpha$. While further analysis is limited by the available sample size, we find a hint that SNe IIb with a double-peak light curve, which is interpreted as an outcome of the more extended and massive hydrogen envelope, tend to show excess in the luminosity of the H$\alpha$-like feature than those with a single-peak light curve. This behavior indicates possible additional contribution from H$\alpha$. Additionally, we also find a correlation between the [Ca II]/[O I] ratio and the post-maximum decline rate, indicating that the [Ca II]/[O I] can be used as a diagnostics for the progenitor mass.


title: Estimation of spectrum and parameters of relic gravitational waves using space-borne interferometers

abstract: We present a study of spectrum estimation of relic gravitational waves (RGWs) as a Gaussian stochastic background from output signals of future space-borne interferometers, like LISA and ASTROD. As the target of detection, the analytical spectrum of RGWs generated during inflation is described by three parameters: the tensor-scalar ratio, the spectral index and the running index. For RGW detection, we analyze the auto-correlated signals for a single interferometer, and the cross-correlated, integrated as well as un-integrated signals for a pair of interferometers, and give SNR for RGW, and obtain lower limits of the RGW parameters that can be detected. By suppressing noise level, a pair has a sensitivity 2 orders better than a single for one year observation. SNR of LISA will be 4-5 orders higher than that of Advanced LIGO for the default RGW. To estimate the spectrum, we adopt the maximum likelihood (ML) estimation, calculate the mean and covariance of signals, obtain the Gaussian probability density function (PDF) and the likelihood function, and derive the expressions for the Fisher matrix and the equation of the ML estimate for the spectrum. The Newton-Raphson method is used to solve the equation by iteration. When the noise is dominantly large, a single LISA is not effective for estimating the RGW spectrum as the actual noise in signals is not known accurately. For cross-correlating a pair, the spectrum can not be estimated from the integrated output signals either, and only one parameter can be estimated with the other two being either fixed or marginalized. We use the ensemble averaging method to estimate the RGW spectrum from the un-integrated output signals. We also adopt a correlation of un-integrated signals to estimate the spectrum and three parameters of RGW in a Bayesian approach. For all methods, we provide simulations to illustrate their feasibility.


title: Object Detection in Satellite Imagery using 2-Step Convolutional Neural Networks

abstract: This paper presents an efficient object detection method from satellite imagery. Among a number of machine learning algorithms, we proposed a combination of two convolutional neural networks (CNN) aimed at high precision and high recall, respectively. We validated our models using golf courses as target objects. The proposed deep learning method demonstrated higher accuracy than previous object identification methods.


title: Sample size estimation for power and accuracy in the experimental comparison of algorithms

abstract: Experimental comparisons of performance represent an important aspect of research on optimization algorithms. In this work we present a methodology for defining the required sample sizes for designing experiments with desired statistical properties for the comparison of two methods on a given problem class. The proposed approach allows the experimenter to define desired levels of accuracy for estimates of mean performance differences on individual problem instances, as well as the desired statistical power for comparing mean performances over a problem class of interest. The method calculates the required number of problem instances, and runs the algorithms on each test instance so that the accuracy of the estimated differences in performance is controlled at the predefined level. Two examples illustrate the application of the proposed method, and its ability to achieve the desired statistical properties with a methodologically sound definition of the relevant sample sizes.


title: Safe Stream-Based Programming with Refinement Types

abstract: In stream-based programming, data sources are abstracted as a stream of values that can be manipulated via callback functions. Stream-based programming is exploding in popularity, as it provides a powerful and expressive paradigm for handling asynchronous data sources in interactive software. However, high-level stream abstractions can also make it difficult for developers to reason about control- and data-flow relationships in their programs. This is particularly impactful when asynchronous stream-based code interacts with thread-limited features such as UI frameworks that restrict UI access to a single thread, since the threading behavior of streaming constructs is often non-intuitive and insufficiently documented. In this paper, we present a type-based approach that can statically prove the thread-safety of UI accesses in stream-based software. Our key insight is that the fluent APIs of stream-processing frameworks enable the tracking of threads via type-refinement, making it possible to reason automatically about what thread a piece of code runs on -- a difficult problem in general. We implement the system as an annotation-based Java typechecker for Android programs built upon the popular ReactiveX framework and evaluate its efficacy by annotating and analyzing 8 open-source apps, where we find 33 instances of unsafe UI access while incurring an annotation burden of only one annotation per 186 source lines of code. We also report on our experience applying the typechecker to two much larger apps from the Uber Technologies Inc. codebase, where it currently runs on every code change and blocks changes that introduce potential threading bugs.


title: Berwald spaces of bounded curvature are Riemannian

abstract: We prove that Berwald spaces whose flag curvature is nowhere vanishing are in fact Riemannian spaces. This means that any Berwald space with flag curvature bounded below by a positive number must be also Riemannian. This rigidity result shows the importance of non-Riemannian examples when imposing flag curvature bounds on Finsler spaces.


title: Violating Bell's inequality with remotely-connected superconducting qubits

abstract: Quantum communication relies on the efficient generation of entanglement between remote quantum nodes, due to entanglement's key role in achieving and verifying secure communications. Remote entanglement has been realized using a number of different probabilistic schemes, but deterministic remote entanglement has only recently been demonstrated, using a variety of superconducting circuit approaches. However, the deterministic violation of a Bell inequality, a strong measure of quantum correlation, has not to date been demonstrated in a superconducting quantum communication architecture, in part because achieving sufficiently strong correlation requires fast and accurate control of the emission and capture of the entangling photons. Here we present a simple and robust architecture for achieving this benchmark result in a superconducting system.


title: Compressed Sensing Using Binary Matrices of Nearly Optimal Dimensions

abstract: In this paper, we study the problem of compressed sensing using binary measurement matrices and $\ell_1$-norm minimization (basis pursuit) as the recovery algorithm. We derive new upper and lower bounds on the number of measurements to achieve robust sparse recovery with binary matrices. We establish sufficient conditions for a column-regular binary matrix to satisfy the robust null space property (RNSP) and show that the associated sufficient conditions % sparsity bounds for robust sparse recovery obtained using the RNSP are better by a factor of $(3 \sqrt{3})/2 \approx 2.6$ compared to the sufficient conditions obtained using the restricted isometry property (RIP). Next we derive universal \textit{lower} bounds on the number of measurements that any binary matrix needs to have in order to satisfy the weaker sufficient condition based on the RNSP and show that bipartite graphs of girth six are optimal. Then we display two classes of binary matrices, namely parity check matrices of array codes and Euler squares, which have girth six and are nearly optimal in the sense of almost satisfying the lower bound. In principle, randomly generated Gaussian measurement matrices are "order-optimal". So we compare the phase transition behavior of the basis pursuit formulation using binary array codes and Gaussian matrices and show that (i) there is essentially no difference between the phase transition boundaries in the two cases and (ii) the CPU time of basis pursuit with binary matrices is hundreds of times faster than with Gaussian matrices and the storage requirements are less. Therefore it is suggested that binary matrices are a viable alternative to Gaussian matrices for compressed sensing using basis pursuit. \end{abstract}


title: An Iterative Boundary Random Walks Algorithm for Interactive Image Segmentation

abstract: The interactive image segmentation algorithm can provide an intelligent ways to understand the intention of user input. Many interactive methods have the problem of that ask for large number of user input. To efficient produce intuitive segmentation under limited user input is important for industrial application. In this paper, we reveal a positive feedback system on image segmentation to show the pixels of self-learning. Two approaches, iterative random walks and boundary random walks, are proposed for segmentation potential, which is the key step in feedback system. Experiment results on image segmentation indicates that proposed algorithms can obtain more efficient input to random walks. And higher segmentation performance can be obtained by applying the iterative boundary random walks algorithm.


title: On-Demand Generation of Traveling Cat States Using a Parametric Oscillator

abstract: We theoretically propose a method for on-demand generation of traveling Schr\"odinger cat states, namely, quantum superpositions of distinct coherent states of traveling fields. This method is based on deterministic generation of intracavity cat states using a Kerr-nonlinear parametric oscillator (KPO) via quantum adiabatic evolution. We show that the cat states generated inside a KPO can be released into an output mode by controlling the parametric pump amplitude dynamically. We further show that the quality of the traveling cat states can be improved by using a shortcut-to-adiabaticity technique.


title: Advances in Distributed Graph Filtering

abstract: Graph filters are one of the core tools in graph signal processing. A central aspect of them is their direct distributed implementation. However, the filtering performance is often traded with distributed communication and computational savings. To improve this tradeoff, this work generalizes state-of-the-art distributed graph filters to filters where every node weights the signal of its neighbors with different values while keeping the aggregation operation linear. This new implementation, labeled as edge-variant graph filter, yields a significant reduction in terms of communication rounds while preserving the approximation accuracy. In addition, we characterize the subset of shift-invariant graph filters that can be described with edge-variant recursions. By using a low-dimensional parametrization the proposed graph filters provide insights in approximating linear operators through the succession and composition of local operators, i.e., fixed support matrices, which span applications beyond the field of graph signal processing. A set of numerical results shows the benefits of the edge-variant filters over current methods and illustrates their potential to a wider range of applications than graph filtering.


title: Effect of Magnetic Field Strength on Solar Differential Rotation and Meridional Circulation

abstract: We studied the solar surface flows (differential rotation and meridional circulation) using a magnetic element feature tracking technique by which the surface velocity is obtained using magnetic field data. We used the line-of-sight magnetograms obtained by the Helioseismic and Magnetic Imager aboard the Solar Dynamics Observatory from 01 May 2010 to 16 August 2017 (Carrington rotations 2096 to 2193) and tracked the magnetic element features every hour. Using our method, we estimated the differential rotation velocity profile. We found rotation velocities of $\sim$ 30 and -170 m s$^{-1}$ at latitudes of 0$^{\circ}$ and 60$^{\circ}$ in the Carrington rotation frame, respectively. Our results are consistent with previous results obtained by other methods, such as direct Doppler, time-distance helioseismology, or cross correlation analyses. We also estimated the meridional circulation velocity profile and found that it peaked at $\sim$12 m s$^{-1}$ at a latitude of 45$^{\circ}$, which is also consistent with previous results. The dependence of the surface flow velocity on the magnetic field strength was also studied. In our analysis, the magnetic elements having stronger and weaker magnetic fields largely represent the characteristics of the active region remnants and solar magnetic networks, respectively. We found that magnetic elements having a strong (weak) magnetic field show faster (slower) rotation speed. On the other hand, magnetic elements having a strong (weak) magnetic field show slower (faster) meridional circulation velocity. These results might be related to the Sun's internal dynamics.


title: Upper density of monochromatic infinite paths

abstract: We prove that in every $2$-colouring of the edges of $K_\mathbb{N}$ there exists a monochromatic infinite path $P$ such that $V(P)$ has upper density at least ${(12+\sqrt{8})}/{17} \approx 0.87226$ and further show that this is best possible. This settles a problem of Erd\H{o}s and Galvin.


title: LED Arrays of Laser Printers as Sources of Valuable Emissions for Electromagnetic Penetration Process

abstract: Protection of information against electromagnetic eavesdropping is an important issue. Information may be derivable from the shape of an unintended electromagnetic signal. The resulting electromagnetic emanations can be correlated with processing of classified information. The problem extends to computer printers. This article presents a technical analysis of LED arrays used in monochrome computer printers and their contribution to unintentional electromagnetic emanations. We analysed two printers from different manufacturers, designated $A$ and $B$. The forms of useful signals and their dependence on parameters of printing data are presented. Analyses were based on realistic type sizes and distribution of glyphs. Pictures were reconstructed from received radio frequency (RF) emanations. We observed differences in legibility of information receivable at a distance that we attribute to different ways used by printer designers to control the LED arrays, particularly the difference between relatively high voltage single-ended waveforms and lower-voltage differential signals. To decode the compromising emanations required knowledge of---or guessing---printer operating parameters including resolution, printing speed, and paper size. The optimal RF bandwidth for detecting individual pixels has been determined. Measurements were carried out across differences in construction and control of the LED arrays in tested printers, and the levels of RF emissions compared for selected operating modes (fast, high quality, or toner saving mode) of the printing device.


title: $K$-theory of $\mbox{hyperK\"ahler}$ toric manifolds

abstract: Let $X$ be a toric $\mbox{hyperK\"ahler}$ manifold. The purpose of this note is to describe the topological $K$-ring $K^*(X)$ of $X$. We give a presentation for the topological $K$-ring in terms of generators and relations similar to the known description of the cohomology ring of these manifolds.


title: Analytic Cauchy problem for the $\mu$-Camassa-Holm equation and its non-quasilinear version

abstract: We solve the Cauchy problems for the $\mu$-Camassa-Holm integro-partial differential equation of Khesin-Lenells-Misio\l{}ek and its non-quasilinear version introduced by Qu-Fu-Liu in the complex-analytic framework. These equations have nonlocal nature at two levels: they involve a pseudo-differential operator of negative order and this operator is defined in terms of an integral of the unknown function. We prove unique solvability of the Cauchy problems and provide an estimate of the lifespan of the solutions. Our method is the Ovsyannikov type argument by Batrostichi-Himonas-Petronilho about a scale of Banach spaces of analytic functions, but the non-quasilinearity is dealt with in a different way from theirs. Indeed, we use a simple reduction which is just a nonlocal version of a classical trick.


title: The California-Kepler Survey. VI: Kepler Multis and Singles Have Similar Planet and Stellar Properties Indicating a Common Origin

abstract: The California-Kepler Survey (CKS) catalog contains precise stellar and planetary properties for the \Kepler\ planet candidates, including systems with multiple detected transiting planets ("multis") and systems with just one detected transiting planet ("singles," although additional planets could exist). We compared the stellar and planetary properties of the multis and singles in a homogenous subset of the full CKS-Gaia catalog. We found that sub-Neptune sized singles and multis do not differ in their stellar properties or planet radii. In particular: (1.) The distributions of stellar properties $M_\star$, [Fe/H], and $v\mathrm{sin}i$ for the Kepler sub Neptune-sized singles and multis are statistically indistinguishable. (2.) The radius distributions of the sub-Neptune sized singles and multis with $P > 3$ days are indistinguishable, and both have a valley at $\sim1.8~R_\oplus$. However, there are significantly more detected short-period ($P < 3$ days), sub-Neptune sized singles than multis. The similarity of the host star properties, planet radii, and radius valley for singles and multis suggests a common origin. The similar radius valley, which is likely sculpted by photo-evaporation from the host star within the first 100 Myr, suggests that planets in both singles and multis spend much of the first 100 Myr near their present, close-in locations. One explanation that is consistent with the similar fundamental properties of singles and multis is that many of the singles are members of multi-planet systems that underwent planet-planet scattering.


title: A statistical analysis of the "heartbeat" behaviour of GRS 1915+105

abstract: GRS 1915+105 has been active for more than 26 years since it was discovered in 1992. There are hundreds of RXTE pointed observations on this source, and the quasi-regular flares with a slow rise and a sharp decrease (i.e. the "heartbeat" state) were recorded in more than 200 observations. The connections among the disk/corona, jet, and the disk wind at the heartbeat state have been extensively studied. In this work, we firstly perform a statistical analysis of the light curves and the X-ray spectra to investigate this peculiar state. We calculate the parameters for heartbeat cycles, including the recurrence time, the maximum and the minimum count rate, the flare amplitude, and the cumulative radiation for each cycle. The recurrence time has a bimodal distribution ranging from $\sim 20$ to $\sim 200$ s. The minimum count rate increases with increasing recurrence time; while the maximum count rate remains nearly constant around 2 Crab. Fitting the averaged spectrum for each observation, we find the strong correlations among the recurrence time, the apparent inner radius of the accretion disk (or the color correction factor), and the (nonthermal) X-ray luminosity. We suggest that the true inner edge of the accretion disk might always extend to the marginally stable orbit, while the change in corona size should result in the observed correlations.


title: Modular $A_4$ invariance and neutrino mixing

abstract: We study the phenomenological implications of the modular symmetry $\Gamma(3) \simeq A_4$ of lepton flavors facing recent experimental data of neutrino oscillations. The mass matrices of neutrinos and charged leptons are essentially given by fixing the expectation value of modulus $\tau$, which is the only source of modular invariance breaking. We introduce no flavons in contrast with the conventional flavor models with $A_4$ symmetry. We classify our neutrino models along with the type I seesaw model, the Weinberg operator model and the Dirac neutrino model. In the normal hierarchy of neutrino masses, the seesaw model is available by taking account of recent experimental data of neutrino oscillations and the cosmological bound of sum of neutrino masses. The predicted $\sin^2\theta_{23}$ is restricted to be larger than $0.54$ and $\delta_{CP}=\pm (50^{\circ}\mbox{--}180^{\circ})$. Since the correlation of $\sin^2\theta_{23}$ and $\delta_{CP}$ is sharp, the prediction is testable in the future. It is remarkable that the effective mass $m_{ee}$ of the neutrinoless double beta decay is around $22$\,meV while the sum of neutrino masses is predicted to be $145$\,meV. On the other hand, for the inverted hierarchy of neutrino masses, only the Dirac neutrino model is consistent with the experimental data.


title: Enhancing the magnetoelectric coupling of Co4Nb2O9[100] by substitution of Mg for Co

abstract: We report experimental studies on enhancing the magnetoelectric (ME) coupling of Co$_4$Nb$_2$O$_9$ by substitution of non-magnetic metal Mg for Co. A series of single crystal Co$_{4-x}$Mg$_x$Nb$_2$O$_9$ (x=0, 1, 2, 3) with a single-phase corundum-type structure are synthesized by the optical floating zone method, and the good quality and crystallographic orientations of the synthesized samples are confirmed by Laue spots and sharp XRD peaks. Although the Neel temperature ($T_N$) of the Mg substituted crystals are slightly decreased from 27 K for pure Co$_4$Nb$_2$O$_9$ to 19 K and 11 K for Co$_3$MgNb$_2$O$_9$ and Co$_2$Mg$_2$Nb$_2$O$_9$, respectively, the ME coupling is double enhanced by Mg substitution when x=1. For the magnetic field (electric field) control of electric polarization (magnetization), the ME coefficient $\alpha_{ME}$ of Co$_3$MgNb$_2$O$_9$ is measured to be 12.8 ps/m (13.7 ps/m). These results indicate that the Mg substituted Co$_{4-x}$Mg$_x$Nb$_2$O$_9$ (x=1) could serve as a potential material candidate for applications in future logic spintronics and logic devices.


title: Extensions of the Classical Transformations of 3F2

abstract: It is shown that the classical quadratic and cubic transformation identities satisfied by the hypergeometric function ${}_3F_2$ can be extended to include additional parameter pairs, which differ by integers. In the extended identities, which involve hypergeometric functions of arbitrarily high order, the added parameters are nonlinearly constrained: in the quadratic case, they are the negated roots of certain orthogonal polynomials of a discrete argument (dual Hahn and Racah ones). Specializations and applications of the extended identities are given, including an extension of Whipple's identity relating very well poised ${}_7F_6(1)$ series and balanced ${}_4F_3(1)$ series, and extensions of other summation identities.


title: Radon Inversion via Deep Learning

abstract: Radon transform is widely used in physical and life sciences and one of its major applications is the X-ray computed tomography (X-ray CT), which is significant in modern health examination. The Radon inversion or image reconstruction is challenging due to the potentially defective radon projections. Conventionally, the reconstruction process contains several ad hoc stages to approximate the corresponding Radon inversion. Each of the stages is highly dependent on the results of the previous stage. In this paper, we propose a novel unified framework for Radon inversion via deep learning (DL). The Radon inversion can be approximated by the proposed framework with an end-to-end fashion instead of processing step-by-step with multiple stages. For simplicity, the proposed framework is short as iRadonMap (inverse Radon transform approximation). Specifically, we implement the iRadonMap as an appropriative neural network, of which the architecture can be divided into two segments. In the first segment, a learnable fully-connected filtering layer is used to filter the radon projections along the view-angle direction, which is followed by a learnable sinusoidal back-projection layer to transfer the filtered radon projections into an image. The second segment is a common neural network architecture to further improve the reconstruction performance in the image domain. The iRadonMap is overall optimized by training a large number of generic images from ImageNet database. To evaluate the performance of the iRadonMap, clinical patient data is used. Qualitative results show promising reconstruction performance of the iRadonMap.


title: Dust Growth and Dynamics in Protoplanetary Nebulae: Implications for Opacity, Thermal Profile and Gravitational Instability

abstract: In spite of making a small contribution to total protoplanetary disk mass, dust affects the disk temperature by controlling absorption of starlight. As grains grow from their initial ISM-like size distribution, settling depletes the disk's upper layers of dust and decreases the optical depth, cooling the interior. Here we investigate the effect of collisional growth of dust grains and their dynamics on the thermal and optical profile of the disk, and explore the possibility that cooling induced by grain growth and settling could lead to gravitational instability. We develop a Monte Carlo dust collision model with a weighting technique and allow particles to collisionally evolve through sticking and fragmentation, along with vertical settling and turbulent mixing. We explore two disk models, the MMEN (minimum-mass extrasolar nebula), and a "heavy" disk with higher surface density than the MMEN, and perform simulations for both constant and spatially variable turbulence efficiency profile $\alpha(R,z)$. We then calculate mean wavelength-dependent opacities for the evolving disks and perform radiative transfer to calculate the temperature profile $T(R,z)$. Finally, we calculate the Toomre Q parameter, a measure of the disk's stability against self-gravity, for each disk model after it reaches a steady state dust-size distribution. We find that even weak turbulence can keep sub-micron sized particles stirred in the disk's upper layer, affecting its optical and thermal profiles, and the growth of large particles in the midplane can make a massive disk optically thick at millimeter wavelengths, making it difficult to calculate the surface density of dust available for planet formation in the inner disk. Also, for an initially massive disk, grain settling and growth can produce a drop in the Toomre Q parameter, driving the disk to $Q < 1.4$ and possibly triggering spiral instabilities.


title: A Lower Bound for the Hanf Number for Joint Embedding

abstract: In [13] the authors show that if $\mu$ is a strongly compact cardinal, $K$ is an Abstract Elementary Class (AEC) with $LS(K)<\mu$, and $K$ satisfies joint embedding (amalgamation) cofinally below $\mu$, then $K$ satisfies joint embedding (amalgamation) in all cardinals $\ge \mu$. The question was raised if the strongly compact upper bound was optimal. In this paper we prove the existence of an AEC $K$ that can be axiomatized by an $\mathcal{L}_{\omega_1,\omega}$-sentence in a countable vocabulary, so that if $\mu$ is the first measurable cardinal, then (1) $K$ satisfies joint embedding cofinally below $\mu$ ; (2) $K$ fails joint embedding cofinally below $\mu$; and (3) $K$ satisfies joint embedding above $\mu$. Moreover, the example can be generalized to an AEC $K^\chi$ axiomatized in $\mathcal{L}_{\chi^+, \omega}$, in a vocabulary of size $\chi$, such that (1)-(3) hold with $\mu$ being the first measurable above $\chi$. This proves that the Hanf number for joint embedding is contained in the interval between the first measurable and the first strongly compact. Since these two cardinals can consistently coincide, the upper bound from [13] is consistently optimal. This is also the first example of a sentence whose joint embedding spectrum is (consistently) neither an initial nor an eventual interval of cardinals. By Theorem 3.26, it is consistent that for any club $C$ on the first measurable $\mu$, JEP holds exactly on $\lim C$ and everywhere above $\mu$.


title: Dynamics of poroelastocapillary rise

abstract: A wetting liquid is driven through a thin gap due to surface tension and when the gap boundaries are elastic, the liquid deforms the gap as it rises. But when the fluid boundaries are also permeable (or poroelastic), the liquid can permeate the boundaries as the fluid rises and change their properties, for example by swelling and softening, thereby altering the dynamics of the rise. In this paper, we study the dynamics of capillary rise between two poroelastic sheets to understand the effects of boundary permeability and softening. We find that if the bending rigidity of sheets is reduced, due to liquid permeation, the sheets coalesce faster compared to the case of impermeable sheets. We show that as a direct consequence of this faster coalescence, the volume of fluid captured between the sheets can be significantly lower.


title: Random tree recursions: which fixed points correspond to tangible sets of trees?

abstract: Let $\mathcal{B}$ be the set of rooted trees containing an infinite binary subtree starting at the root. This set satisfies the metaproperty that a tree belongs to it if and only if its root has children $u$ and $v$ such that the subtrees rooted at $u$ and $v$ belong to it. Let $p$ be the probability that a Galton-Watson tree falls in $\mathcal{B}$. The metaproperty makes $p$ satisfy a fixed-point equation, which can have multiple solutions. One of these solutions is $p$, but what is the meaning of the others? In particular, are they probabilities of the Galton-Watson tree falling into other sets satisfying the same metaproperty? We create a framework for posing questions of this sort, and we classify solutions to fixed-point equations according to whether they admit probabilistic interpretations. Our proofs use spine decompositions of Galton-Watson trees and the analysis of Boolean functions.


title: Amphoteric behavior of Hydrogen in Bimetallic Molecular like Hydrides

abstract: Generally hydrogen will adopt the +1, 0 or -1 oxidation state in solids depending upon the chemical environment it occupy. Typically, there are some exceptional cases in which hydrogen exhibits both anionic and cationic behavior in the same structural frame works. In this study we briefly explore an amphoteric behavior of hydrogen present in ammine bimetallic borohydrides with the chemical formula M1M2 (BH4)3 (NH3)2 (M1= Na; M2 = Zn, Mg) using the state-of-the-art density functional calculations. In order to establish the amphoteric behavior of hydrogen in M1M2 (BH4)3 (NH3)2, we have made detailed chemical bonding analyses using partial density of states, charge density, electron localization function, and Born effective charge. From these analyses we found that the hydrogen closer to boron is in negative oxidation state whereas the hydrogen closer to nitrogen is in positive oxidation state. The establishment of the present of hydrogen with amphoteric behavior in solids has large implication on hydrogen storage application.


title: Gradient Dynamic Approach to the Tensor Complementarity Problem

abstract: Nonlinear gradient dynamic approach for solving the tensor complementarity problem (TCP) is presented. Theoretical analysis shows that each of the defined dynamical system models ensures the convergence performance. The computer simulation results further substantiate that the considered dynamical system can solve the tensor complementarity problem (TCP).


title: Laplacian Controllability of Interconnected Graphs

abstract: In this work we consider the Laplacian controllability of a graph constructed by interconnecting a finite number of single-input Laplacian controllable graphs. We first study the interconnection realized by the composite graph of two connected simple graphs called the structure graph and the cell graph. Suppose the cell graph is Laplacian controllable by an input connected to some special vertex called the composite vertex. The composite graph is constructed by interconnecting all cell graphs through the composite vertices which alone form the structure graph. We then show that the structure graph is Laplacian controllable by an input connected to some vertex of the graph if and only if the composite graph is Laplacian controllable by that input connected to that composite vertex. In the second part of the paper, we view a path as a graph generated by interconnecting a finite number of two-vertex antiregular graph, and possibly connected to a one-vertex path, where the two vertices of the antiregular graph are interpreted as the terminal vertex (or the dominating vertex) and the degree-repeating vertex. We show that with a similar connecting scheme the single-input Laplacian controllability is preserved if we increase the number of vertices of the antiregular graph and that of the path. Numerical examples are presented to illustrate our results.


title: A spinning construction for virtual 1-knots and 2-knots, and the fiberwise and welded equivalence of virtual 1-knots

abstract: We succeed to generalize spun knots of classical 1-knots to the virtual 1-knot case by using the `spinning construction'. That, is, we prove the following: Let $Q$ be a spun knot of a virtual 1-knot $K$ by our method. The embedding type $Q$ in $S^4$ depends only on $K$. Furthermore we prove the following: The submanifolds, $Q$ and the embedded torus made from $K,$ defined by Satoh's method, in $S^4$ are isotopic. We succeed to generalize the above construction to the virtual 2-knot case. Note that Satoh's method says nothing about the virtual 2-knot case. Rourke's interpretation of Satoh's method is that one puts `fiber-circles' on each point of each virtual 1-knot diagram. If there is no virtual branch point in a virtual 2-knot diagram, our way gives such fiber-circles to each point of the virtual 2-knot diagram. We prove the following: If a virtual 2-knot diagram $\alpha$ has a virtual branch point, $\alpha$ cannot be covered by such fiber-circles. We obtain a new equivalence relation, the $\mathcal E$-equivalence relation of the set of virtual 2-knot diagrams, by using our spinning construction. We prove that there are virtual 2-knot diagrams that are virtually nonequivalent but are $\mathcal E$-equivalent. Although Rourke claimed that two virtual 1-knot diagrams $\alpha$ and $\beta$ are fiberwise equivalent if and only if $\alpha$ and $\beta$ are welded equivalent, we state that this claim is wrong. We prove that two virtual 1-knot diagrams $\alpha$ and $\beta$ are fiberwise equivalent if and only if $\alpha$ and $\beta$ are rotational welded equivalent.


title: Investigations of the Class I methanol masers in NGC 4945

abstract: We have used the Australia Telescope Compact Array (ATCA) to conduct further observations of the 36.2-GHz ($4_{-1}\rightarrow3_0$E) methanol transition towards the nearby active galaxy NGC 4945. These observations have led to a more accurate determination of the offset between the maser emission and the nucleus of NGC 4945 with a typical synthesised beam of $6^{\prime\prime} \times 4^{\prime\prime}$ ($108\times72$ pc). This corresponds to a factor of 4 improvement with respect to the major-axis of the beam. Other transitions of methanol and lines of other molecular species were obtained alongside the 36.2-GHz methanol emission, with strong detections of HC$_3$N (J = $4 \rightarrow 3$) and CS (J = $1 \rightarrow0$) presented here. We do not detect thermal methanol (5$\sigma$ upper limit of 5 mJy in a 6 km s$^{-1}$ channel) from the 48.4-GHz ($1_{0}\rightarrow0_0$A$^+$) ground-state transition, nor emission from the 44.1-GHz ($7_{0} \rightarrow 6_1 $A$^+$) class~I maser transition (5$\sigma$ upper limit of 6 mJy in a 3 km s$^{-1}$ channel). We also present a comparison of the class~I maser emission observed towards NGC 4945 with that from NGC 253 and towards the Galactic giant molecular cloud G 1.6-0.025.


title: Topological bosonic states on ribbons of honeycomb lattice

abstract: The topological properties of hardcore bosons on ribbons of honeycomb lattice are studied using quantum Monte Carlo simulations. We map out a rich phase diagram with the superfluid and insulator phases at various fillings. Particularly, it is revealed that the insulator state at half filling is a topological bosonic state, which is characterized by a nontrivial Berry phase and a pair of edge states. We provide intuitive picture to understand this topological bosonic insulator state by showing that it can be adiabatically mapped to a topological fermionic model. It is also shown that the topological edge states are robust against weak interactions beyond the hardcore repulsion. Our results can be simulated by using bosonic cold atoms trapped in designed optical lattices.


title: Observability of intermittent radio sources in galaxy groups and clusters

abstract: We have carried out numerical hydrodynamic simulations of radio jets from active galactic nuclei using the PLUTO simulation code, with the aim of investigating the effect of different environments and intermittency of energy injection on the resulting dynamics and observable properties of the jet-inflated lobes. Initially conical jets are simulated in poor group and cluster environments. We show that the environment into which a radio jet is propagating plays a large role in the resulting morphology, dynamics and observable properties of the radio source. The same jet collimates much later in a poor group compared to a cluster, which leads to pronounced differences in radio morphology. The intermittency of the jet also affects the observable properties of the radio source, and multiple hotspots are present for multiple outburst jets in the cluster environment. We quantify the detectability of active and quiescent phases, and find this to be strongly environment-dependent. We conclude that the dynamics and observational properties of jets depend strongly on the details of energy injection and environment.


title: Sentimental Content Analysis and Knowledge Extraction from News Articles

abstract: In web era, since technology has revolutionized mankind life, plenty of data and information are published on the Internet each day. For instance, news agencies publish news on their websites all over the world. These raw data could be an important resource for knowledge extraction. These shared data contain emotions (i.e., positive, neutral or negative) toward various topics; therefore, sentimental content extraction could be a beneficial task in many aspects. Extracting the sentiment of news illustrates highly valuable information about the events over a period of time, the viewpoint of a media or news agency to these events. In this paper an attempt is made to propose an approach for news analysis and extracting useful knowledge from them. Firstly, we attempt to extract a noise robust sentiment of news documents; therefore, the news associated to six countries: United State, United Kingdom, Germany, Canada, France and Australia in 5 different news categories: Politics, Sports, Business, Entertainment and Technology are downloaded. In this paper we compare the condition of different countries in each 5 news topics based on the extracted sentiments and emotional contents in news documents. Moreover, we propose an approach to reduce the bulky news data to extract the hottest topics and news titles as a knowledge. Eventually, we generate a word model to map each word to a fixed-size vector by Word2Vec in order to understand the relations between words in our collected news database.


title: Arithmetic Word Problem Solver using Frame Identification

abstract: Automatic Word problem solving has always posed a great challenge for the NLP community. Usually a word problem is a narrative comprising of a few sentences and a question is asked about a quantity referred in the sentences. Solving word problem involves reasoning across sentences, identification of operations, their order, relevant quantities and discarding irrelevant quantities. In this paper, we present a novel approach for automatic arithmetic word problem solving. Our approach starts with frame identification. Each frame can either be classified as a state or an action frame. The frame identification is dependent on the verb in a sentence. Every frame is unique and is identified by its slots. The slots are filled using dependency parsed output of a sentence. The slots are entity holder, entity, quantity of the entity, recipient, additional information like place, time. The slots and frames helps to identify the type of question asked and the entity referred. Action frames act on state frame(s) which causes a change in quantities of the state frames. The frames are then used to build a graph where any change in quantities can be propagated to the neighboring nodes. Most of the current solvers can only answer questions related to the quantity, while our system can answer different kinds of questions like `who', `what' other than the quantity related questions `how many'. There are three major contributions of this paper. 1. Frame Annotated Corpus (with a frame annotation tool) 2. Frame Identification Module 3. A new easily understandable Framework for word problem solving


title: Nonmodal stability analysis of miscible viscous fingering with non-monotonic viscosity profiles

abstract: A non-modal linear stability analysis (NMA) of the miscible viscous fingering in a porous medium is studied for a toy model of non-monotonic viscosity variation. The onset of instability and its physical mechanism are captured in terms of the singular values of the propagator matrix corresponding to the non-autonomous linear equations. We discuss two types of non-monotonic viscosity profiles, namely, with unfavorable (when a less viscous fluid displaces a high viscous fluid) and with favorable (when a more viscous fluid displaces a less viscous fluid) end-point viscosities. A linear stability analysis yields instabilities for such viscosity variations. In addition, we also show that to understand the spatiotemporal evolution of the perturbations it is necessary to analyse the viscosity gradient with respect to the concentration and the location of the maximum concentration $c_m$. For the favorable end-point viscosities, a weak transient instability is observed when the viscosity maximum moves close to the pure invading or defending fluid. This instability is attributed to an interplay between the sharp viscosity gradient and the favorable end-point viscosity contrast. We demonstrate the dissimilarity between the quasi-steady-state approach and NMA in finding the correct perturbation structure and the onset, for both the favorable and unfavorable viscosity profiles. The correctness of the linear perturbation structure obtained from the non-modal stability analysis is validated through nonlinear simulations. We have found that the nonlinear simulations and NMA results are in good agreement. In summary, a non-monotonic variation of the viscosity of a miscible fluid pair is seen to have a larger influence on the onset of fingering instabilities, than the corresponding Arrhenius type relationship.


title: Policy Optimization as Wasserstein Gradient Flows

abstract: Policy optimization is a core component of reinforcement learning (RL), and most existing RL methods directly optimize parameters of a policy based on maximizing the expected total reward, or its surrogate. Though often achieving encouraging empirical success, its underlying mathematical principle on {\em policy-distribution} optimization is unclear. We place policy optimization into the space of probability measures, and interpret it as Wasserstein gradient flows. On the probability-measure space, under specified circumstances, policy optimization becomes a convex problem in terms of distribution optimization. To make optimization feasible, we develop efficient algorithms by numerically solving the corresponding discrete gradient flows. Our technique is applicable to several RL settings, and is related to many state-of-the-art policy-optimization algorithms. Empirical results verify the effectiveness of our framework, often obtaining better performance compared to related algorithms.


title: A Constrained Shortest Path Scheme for Virtual Network Service Management

abstract: Virtual network services that span multiple data centers are important to support emerging data-intensive applications in fields such as bioinformatics and retail analytics. Successful virtual network service composition and maintenance requires flexible and scalable 'constrained shortest path management' both in the management plane for virtual network embedding (VNE) or network function virtualization service chaining (NFV-SC), as well as in the data plane for traffic engineering (TE). In this paper, we show analytically and empirically that leveraging constrained shortest paths within recent VNE, NFV-SC and TE algorithms can lead to network utilization gains (of up to 50%) and higher energy efficiency. The management of complex VNE, NFV-SC and TE algorithms can be, however, intractable for large scale substrate networks due to the NP-hardness of the constrained shortest path problem. To address such scalability challenges, we propose a novel, exact constrained shortest path algorithm viz., 'Neighborhoods Method' (NM). Our NM uses novel search space reduction techniques and has a theoretical quadratic speed-up making it practically faster (by an order of magnitude) than recent branch-and-bound exhaustive search solutions. Finally, we detail our NM-based SDN controller implementation in a real-world testbed to further validate practical NM benefits for virtual network services.


title: Floquet topological transition by unpolarized light

abstract: We study Floquet topological transition in irradiated graphene when the polarization of incident light changes randomly with time. We numerically confirm that the noise averaged time evolution operator approaches a steady value in the limit of exact Trotter decomposition of the whole period where incident light has different polarization at each interval of the decomposition. This steady limit is found to coincide with time-evolution operator calculated from the noise-averaged Hamiltonian. We observe that at the six corners (Dirac($K$) point) of the hexagonal Brillouin zone of graphene random Gaussian noise strongly modifies the phaseband structure induced by circularly polarized light whereas in zone-center ($\Gamma$ point) even a strong noise isn't able to do the same. This can be understood by analyzing the deterministic noise averaged Hamiltonian which has a different Fourier structure as well as lesser no of symmetries compared to the noise-free one. In 1D systems noise is found to renormalize the drive amplitude only.


title: Fractal and Multi-Fractal Analysis for A Family of Subset Sum Functions: Combinatorial Structures of Embedding Dimension $1$

abstract: We introduce two frameworks in order to deal with fractal and multi-fractal analysis for subset sum problems where some embedding into the $1$-dimensional Euclidean space plays an important role. As one of these frameworks, the notion of the combinatorial $q$-fractal dimension for a subset sum function is introduced. Thereby, ``non-classical'' generalized dimensions for a family of subset~sum functions can be defined. These generalized dimensions include the box-counting dimension, the information dimension and the correlation dimension as well as the classical case. The combinatorial $q$-fractal dimension includes the density of the subset sum problem. As the other framework, we construct a self-similar set for a particular subset sum function in a family of subset sum functions by using a graph theoretical technique. In this paper, we give a lower bound for a combinatorial $q$-fractal dimension and we show the relations between the three parameters: the number of connected components in a graph, the Hausdorff dimension and a combinatorial $q$-fractal dimension.


title: Emergence of a Metal-Insulator Transition and High Temperature Charge Density Waves in VSe2 at the Monolayer Limit

abstract: Emergent phenomena driven by electronic reconstructions in oxide heterostructures have been intensively discussed. However, the role of these phenomena in shaping the electronic properties in van der Waals heterointerfaces has hitherto not been established. By reducing the material thickness and forming a heterointerface, we find two types of charge-ordering transitions in monolayer VSe2 on graphene substrates. Angle-resolved photoemission spectroscopy (ARPES) uncovers that Fermi-surface nesting becomes perfect in ML VSe2. Renormalization group analysis confirms that imperfect nesting in three dimensions universally flows into perfect nesting in two dimensions. As a result, the charge density wave transition temperature is dramatically enhanced to a value of 350 K compared to the 105 K in bulk VSe2. More interestingly, ARPES and scanning tunneling microscopy measurements confirm an unexpected metal-insulator transition at 135 K, driven by lattice distortions. The heterointerface plays an important role in driving this novel metal-insulator transition in the family of monolayered transition metal dichalcogenides.


title: Order ideals in order smooth $p$-normed spaces

abstract: We generalize the notion of $M$-ideals in order smooth $\infty$-normed spaces to "smooth $p$-order ideals" in order smooth $p$-normed spaces. We show that if $V$ is an order smooth $p$-normed space and $W$ is a closed subspace of $V$, then $W$ is a smooth $p$-order ideal in $V$ if and only if $W^{\perp}$ is a smooth $p'$-order ideal in order smooth $p'$-normed space if and only if $W^{\perp\perp}$ is a smooth $p$-order ideal in order smooth $p$-normed space $V^{**}$. We prove that every $L$-summand in order smooth $1$-normed space is a smooth $1$-order ideal. We find a condition under which every $M$-ideal in order smooth $\infty$-normed space is a smooth $\infty$-order ideal. We show that every $M$-ideal in order smooth $\infty$-normed space is smooth $\infty$-order ideal.


title: Discovery of a pulsating Fe Ka line in GX 301-2

abstract: We report on the detection of a pulsating Fe Ka line in the High Mass X-ray Binary (HMXB) GX 301-2, from a 40-ks Chandra observation near periastron. The pulsations in the Fe Ka emission appeared only in the first 7 ks of the observation, with a period and phase profile similar to those of the continuum. The presence of pulsed fluorescent lines is an unusual property in HMXBs. After 7 ks, the continuum flux increased by a factor of three, the Fe Ka flux increased only by about 10\%, and the pulsating signal in the line disappeared. Finally, in the second half of the observation, both the continuum and the line flux dropped by a similar factor of 2. We suggest that the pulsating component of the Fe Ka line is coming from a transient non-isotropic distribution of dense gas around the neutron star, for example an accretion stream induced by periastron passage, or from the illuminated surface of the donor star.


title: Passive Compliance Control of Aerial Manipulators

abstract: This paper presents a passive compliance control for aerial manipulators to achieve stable environmental interactions. The main challenge is the absence of actuation along body-planar directions of the aerial vehicle which might be required during the interaction to preserve passivity. The controller proposed in this paper guarantees passivity of the manipulator through a proper choice of end-effector coordinates, and that of vehicle fuselage is guaranteed by exploiting time domain passivity technique. Simulation studies validate the proposed approach.


title: On curves lying on a rational normal surface scroll

abstract: In this paper, we study the minimal free resolution of non-ACM divisors $X$ of a smooth rational normal surface scroll $S=S(a_1 ,a_2 ) \subset \mathbb{P}^r$. Our main result shows that for $a_2 \geq 2a_1 -1$, there exists a nice decomposition of the Betti table of $X$ as a sum of much simpler Betti tables. As a by-product of our results, we obtain a complete description of the graded Betti numbers of $X$ for the cases where $S=S(1,r-2)$ for some $r \geq 3$ and $S=S(2,r-3)$ for some $r \geq 6$.


title: First-principles calculations of Sc2CdS4 and Y2CdS4 compounds

abstract: Direct energy bandgap materials are crucial for the efficient optoelectronics devices. Therefore, the investigation of new direct gap materials is important. In the present work, two novel d-metal sulfides Sc2CdS4 and Y2CdS4 compounds are investigated by using the all electron full potential linearized augment plane wave method. Both the compounds show semiconducting nature and direct band gap with a value 1.886eV for Sc2CdS4 and 2.209eV for Y2CdS4, respectively. Strong hybridization between S-p and Sc/Y-d orbitals present among valence and conduction bands which is beneicial to electrical transport. Key optical parameters are calculated. The static value of the reflectivity R(0) and refractive index n(0) are vary inversely with the energy band gap (Eg). Both the compounds Sc2CdS4 and Y2CdS4 are P-type thermoelectric materials because the Hole carriers dominate the electronic transport. High optical and thermal response for all compounds reveals that they are potential candidates for optical and thermoelectric devices.


title: Experimentally identifying the entanglement class of pure tripartite states

abstract: We use concurrence as an entanglement measure and experimentally demonstrate the entanglement classification of arbitrary three-qubit pure states on a nuclear magnetic resonance (NMR) quantum information processor. Computing the concurrence experimentally under three different bipartitions, for an arbitrary three-qubit pure state, reveals the entanglement class of the state. The experiment involves measuring the expectation values of Pauli operators. This was achieved by mapping the desired expectation values onto the local $z$ magnetization of a single qubit. We tested the entanglement classification protocol on twenty seven different generic states and successfully detected their entanglement class. Full quantum state tomography was performed to construct experimental tomographs of each state and negativity was calculated from them, to validate the experimental results.


title: Efficient Outlier Removal in Large Scale Global Structure-from-Motion

abstract: This work addresses the outlier removal problem in large-scale global structure-from-motion. In such applications, global outlier removal is very useful to mitigate the deterioration caused by mismatches in the feature point matching step. Unlike existing outlier removal methods, we exploit the structure in multiview geometry problems to propose a dimension reduced formulation, based on which two methods have been developed. The first method considers a convex relaxed $\ell_1$ minimization and is solved by a single linear programming (LP), whilst the second one approximately solves the ideal $\ell_0$ minimization by an iteratively reweighted method. The dimension reduction results in a significant speedup of the new algorithms. Further, the iteratively reweighted method can significantly reduce the possibility of removing true inliers. Realistic multiview reconstruction experiments demonstrated that, compared with state-of-the-art algorithms, the new algorithms are much more efficient and meanwhile can give improved solution. Matlab code for reproducing the results is available at \textit{https://github.com/FWen/OUTLR.git}.


title: On Global Classical Solutions to 1D Compressible Navier-Stokes Equations with Density-Dependent Viscosity and Vacuum

abstract: For the initial boundary value problem of compressible barotropic Navier-Stokes equations in one-dimensional bounded domains with general density-dependent viscosity and large external force, we prove that there exists a unique global classical solution with large initial data containing vacuum. Furthermore, we show that the density is bounded from above independently of time which in particular yields the large time behavior of the solution as time tends to infinity: the density and the velocity converge to the steady states in $L^p$ and in $W^{1,p}$ ($1\le p<+\infty$) respectively. Moreover, the decay rate in time of the solution is shown to be exponential. Finally, we also prove that the spatial gradient of the density will blow up as time tends to infinity when vacuum states appear initially even at one point.


title: Hunting for Tractable Languages for Judgment Aggregation

abstract: Judgment aggregation is a general framework for collective decision making that can be used to model many different settings. Due to its general nature, the worst case complexity of essentially all relevant problems in this framework is very high. However, these intractability results are mainly due to the fact that the language to represent the aggregation domain is overly expressive. We initiate an investigation of representation languages for judgment aggregation that strike a balance between (1) being limited enough to yield computational tractability results and (2) being expressive enough to model relevant applications. In particular, we consider the languages of Krom formulas, (definite) Horn formulas, and Boolean circuits in decomposable negation normal form (DNNF). We illustrate the use of the positive complexity results that we obtain for these languages with a concrete application: voting on how to spend a budget (i.e., participatory budgeting).


title: An efficient numerical method for estimating the average free boundary velocity in an inhomogeneous Hele-Shaw problem

abstract: We develop a numerical method to estimate the average speed of the free boundary in a Hele-Shaw problem with periodic coefficients in both space and time. We test the accuracy of the method and present a few examples. We show numerical evidence of flat parts (facets) on the free boundary in the homogenization limit.


title: Accelerated Bregman Proximal Gradient Methods for Relatively Smooth Convex Optimization

abstract: We consider the problem of minimizing the sum of two convex functions: one is differentiable and relatively smooth with respect to a reference convex function, and the other can be nondifferentiable but simple to optimize. We investigate a triangle scaling property of the Bregman distance generated by the reference convex function and present accelerated Bregman proximal gradient (ABPG) methods that attain an $O(k^{-\gamma})$ convergence rate, where $\gamma\in(0,2]$ is the triangle scaling exponent (TSE) of the Bregman distance. For the Euclidean distance, we have $\gamma=2$ and recover the convergence rate of Nesterov's accelerated gradient methods. For non-Euclidean Bregman distances, the TSE can be much smaller (say $\gamma\leq 1$), but we show that a relaxed definition of intrinsic TSE is always equal to 2. We exploit the intrinsic TSE to develop adaptive ABPG methods that converge much faster in practice. Although theoretical guarantees on a fast convergence rate seem to be out of reach in general, our methods obtain empirical $O(k^{-2})$ rates in numerical experiments on several applications and provide posterior numerical certificates for the fast rates.


title: Contribution of the $a_1$ meson to the axial nucleon-to-$\Delta$ transition form factors

abstract: We analyze the low-$Q^2$ behavior of the axial form factor $G_A(Q^2)$, the induced pseudoscalar form factor $G_P(Q^2)$, and the axial nucleon-to-$\Delta$ transition form factors $C^A_5(Q^2)$ and $C^A_6(Q^2)$. Building on the results of chiral perturbation theory, we first discuss $G_A(Q^2)$ in a chiral effective-Lagrangian model including the $a_1$ meson and determine the relevant coupling parameters from a fit to experimental data. With this information, the form factor $G_P(Q^2)$ can be predicted. For the determination of the transition form factor $C^A_5(Q^2)$ we make use of an SU(6) spin-flavor quark-model relation to fix two coupling constants such that only one free parameter is left. Finally, the transition form factor $C^A_6(Q^2)$ can be predicted in terms of $G_P(Q^2)$, the mean-square axial radius $\langle r^2_A\rangle$, and the mean-square axial nucleon-to-$\Delta$ transition radius $\langle r^2_{AN\Delta}\rangle$.


title: Frenkel-like plasmonic excitons in plasmonic lattices: Energy spectrum, radiative relaxation, and Bose-Einstein condensation

abstract: The concept of quantum plasmonic excitations in plasmonic lattices, which similarly to Frenkel excitons in molecular crystals propagate by hopping from one nanoparticle to another, is introduced. A consistent quantum theory of such plasmonic excitons, beginning with the quantization of localized surface plasmons in a metal nanoparticle and including the radiative relaxation in both 1D and 2D lattices near a reflective substrate surface, is developed. A possible room-temperature Bose-Einstein condensation in the quantum gas of plasmonic excitons is also discussed.


title: Classification of angular curvature measures and a proof of the angularity conjecture

abstract: In this paper angular curvature measures are investigated. Our first result is a complete classification of translation-invariant angular smooth curvature measures on $\mathbb{R}^n$. Subsequently, we use this result to show that the class of angular curvature measures on a Riemannian manifold is preserved by both the pullback by isometric immersions and the action of the Lipschitz-Killing algebra. The latter confirms the angularity conjecture formulated by A. Bernig, J.H.G. Fu, and G. Solanes.


title: The inverse problem in Seismology. Seismic moment and energy of earthquakes. Seismic hyperbola

abstract: The inverse problem in Seismology is tackled in this paper under three particular circumstances. First, the inverse problem is defined as the determination of the seismic-moment tensor from the far-field seismic waves (P and S waves). We use the analytical expression of the seismic waves in a homogeneous isotropic body with a seismic-moment source of tensorial forces, the source being localized both in space and time. The far-field waves provide three equations for the sixth unknown parameters of the general tensor of the seismic moment. Second, the Kostrov vectorial (dyadic) representation of the seismic moment is used. Third, the fourth missing equation is derived from the energy conservation and the covariance condition. The four equations derived here are solved, and the seismic moment is determined, thus solving the inverse problem in the conditions described above. It is shown that a useful picture of the seismic moment is the conic represented by the associated quadratic form, which is a hyperbola (seismic hyperbola). Also, it is shown that the far-field seismic waves allow an estimation of the volume of the focal region, focal strain, duration of the earthquake and earthquake energy; the later quantity is a direct measure of the magnitude of the seismic moment. The special case of an isotropic seismic moment is presented.


title: On Minimizing Energy Consumption for D2D Clustered Caching Networks

abstract: We formulate and solve the energy minimization problem for a clustered device-to-device (D2D) network with cache-enabled mobile devices. Devices are distributed according to a Poisson cluster process (PCP) and are assumed to have a surplus memory which is exploited to proactively cache files from a library. Devices can retrieve the requested files from their caches, from neighboring devices in their proximity (cluster), or from the base station as a last resort. We minimize the energy consumption of the proposed network under a random prob- abilistic caching scheme, where files are independently cached according to a specific probability distribution. A closed-form expression for the D2D coverage probability is obtained. The energy consumption problem is then formulated as a function of the caching distribution, and the optimal probabilistic caching distribution is obtained. Results reveal that the proposed caching distribution reduces energy consumption up to 33% as compared to caching popular files scheme.


title: Special Microscopic-states-basis Formulation of Macroscopic Structure for Thermodynamic Systems

abstract: For classical system under constant composition, macroscopic structure in thermodynamically equilibrium state can be determined through the so-called canonical average, including sum over possible microscopic states on phase space. Although a set of microscopic structure dominantly contributing to equilibrium properties should depend on temperature and many-body interactions, we recently clarify that at high temperature, they are universally characterized by a single special microscopic state (which we call projection state: PS), whose structure can be known a priori without any thermodynamic information. Here we extend this approach to find additional special microscopic states, enabling us to characterize equilibrium structures for lower-temperature region above transition temperature. The concept of our approach will lead to a new paradigm; the formulation of macroscopic properties by special microscopic states basis.


title: Finite Spectra and Quasinilpotent Equivalence in Banach Algebras

abstract: This paper further investigates the implications of quasinilpotent equivalence for (pairs of) elements belonging to the socle of a semisimple Banach algebra. Specifically, not only does quasinilpotent equivalence of two socle elements imply spectral equality, but also the trace, determinant and spectral multiplicities of the elements must agree. It is hence shown that quasinilpotent equivalence is established by a weaker formula (than that of the spectral semidistance). More generally, in the second part, we show that two elements possessing finite spectra are quasinilpotent equivalent if and only if they share the same set of Riesz projections. This is then used to obtain further characterizations in a number of general, as well as more specific situations. Thirdly, we show that the ideas in the preceding sections turn out to be useful in the case of $C^*$-algebras, but now for elements with infinite spectra; we give two results which may indicate a direction for further research.


title: Optimal conditions for connectedness of discretized sets

abstract: Constructing a discretization of a given set is a major problem in various theoretical and applied disciplines. An offset discretization of a set $X$ is obtained by taking the integer points inside a closed neighborhood of $X$ of a certain radius. In this note we determine a minimum threshold for the offset radius, beyond which the discretization of a disconnected set is always connected. The results hold for a broad class of disconnected and unbounded subsets of $R^n$, and generalize several previous results. Algorithmic aspects and possible applications are briefly discussed.


title: De Donder Construction for Higher Jets

abstract: In this paper, we generalize De Donder approach to construct boundary forms that depend on the adapted coordinate system used. In continuum mechanics, use of boundary forms leads to splitting of the total force acting on the body into body force and surface traction. Moreover, this splitting is independent of the choice of the boundary form used. In calculus of variations, use of boundary forms leads to equations in exterior differential forms that are equivalent to the Euler-Lagrange equations. Infinitesimal symmetries of the theory lead to conservation laws valid for any choice of the boundary form used. In an example, we show that the boundary conditions lead to independence of constants of motion of the choice of the boundary form.


title: Knocking out teeth in one-dimensional periodic NLS

abstract: We show the existence of weak solutions in the extended sense of the Cauchy problem for the cubic nonlinear Schr\"odinger equation in one dimension with initial data $u_{0}$ in $H^{s_{1}}(\mathbb R)+H^{s_{2}}(\mathbb T), 0\leq s_{1}\leq s_{2}.$ In addition, we show that if $u_{0}\in H^{s}(\mathbb R)+H^{\frac12+\epsilon}(\mathbb T)$ where $\epsilon>0$ and $\frac16\leq s\leq\frac12$ the solution is unique in $H^{s}(\mathbb R)+H^{\frac12+\epsilon}(\mathbb T).$ Our main tool is a normal form type reduction via the use of the differentiation by parts technique.


title: Applications of the Growth Characteristics Induced by the Spectral Distance

abstract: Let $A$ be a complex unital Banach algebra. Using a connection between the spectral distance and the growth characteristics of a certain entire map into $A$, we derive a generalization of Gelfand's famous Power Boundedness Theorem. Elaborating on these ideas, with the help of a Phragm\'{e}n-Lindel\"{o}f device for subharmonic functions, it is then shown, as the main result, that two normal elements of a $C^*$-algebra are equal if and only if they are quasinilpotent equivalent.


title: Search for long-lived particles in final states with displaced dimuon vertices in $pp$ collisions at $\sqrt{s}=$ 13 TeV with the ATLAS detector

abstract: A search is performed for a long-lived particle decaying into a final state that includes a pair of muons of opposite-sign electric charge, using proton-proton collision data collected at $\sqrt{s}=$ 13 TeV by the ATLAS detector at the Large Hadron Collider corresponding to an integrated luminosity of 32.9 fb$^{-1}$. No significant excess over the Standard Model expectation is observed. Limits at 95% confidence level on the lifetime of the long-lived particle are presented in models of new phenomena including gauge-mediated supersymmetry or decay of the Higgs boson, $H$, to a pair of dark photons, $Z_D$. Lifetimes in the range c$\tau$ = 1-2400 cm are excluded, depending on the parameters of the model. In the supersymmetric model, the lightest neutralino is the next-to-lightest supersymmetric particle, with a relatively long lifetime due to its weak coupling to the gravitino, the lightest supersymmetric particle. The lifetime limits are determined for very light gravitino mass and various assumptions for the neutralino mass in the range 300 GeV to 1000 GeV. In the dark photon model, the lifetime limits are interpreted as exclusion contours in the plane of the coupling between the $Z_D$ and the Standard Model $Z$ boson versus the $Z_D$ mass (in the range 20-60 GeV), for various assumptions for the $H\rightarrow Z_D Z_D$ branching fraction.


title: Molecular gas toward supernova remnant Cassiopeia A

abstract: We mapped 12CO J=1-0, 12CO J=2-1, 13CO J=1-0, and 13CO J=2-1 lines toward supernova remnant (SNR) Cassiopeia A with the IRAM 30m telescope. The molecular clouds (MCs) along the line of sight of Cas A do not show optically thin, shock-broadened 12CO lines ($\Delta V \le 7$ km s$^{-1}$ toward Cas A), or high-temperature features from shock heating ($T_k \le 22$ K toward Cas A). Therefore, we suggest that there is no physical evidence to support that the SNR is impacting the molecular gas. All the detected MCs are likely in front of Cas A, as implied by the HCO+ absorption line detected in the same velocity ranges. These MCs contribute H$_2$ column densities of $5\times 10^{21}$ cm$^{-2}$, $5\times 10^{21}$ cm$^{-2}$, and $2\times 10^{21}$ cm$^{-2}$ in the west, south, and center of the SNR, respectively. The 20 K warm gas at $V_{LSR}\sim -47$ km s$^{-1}$ is distributed along a large-scale molecular ridge in the south of Cas A. Part of the gas is projected onto Cas A, providing a foreground H$_2$ mass of $\sim 200 (d/3 kpc)^2$ Msun, consistent with the mass of cold dust (15--20 K; 2--4 Msun) found in front of the SNR. We suggest that the 20 K warm gas is heated by background cosmic rays with an ionization rate of $\zeta({\rm H_2})\sim 2\times 10^{-16}$ s$^{-1}$. The cosmic rays or X-ray emission from Cas A are excluded as the heating sources of the clouds.