title: Poster: On the Feasibility of Training Neural Networks with Visibly Watermarked Dataset

abstract: As there are increasing needs of sharing data for machine learning, there is growing attention for the owners of the data to claim the ownership. Visible watermarking has been an effective way to claim the ownership of visual data, yet the visibly watermarked images are not regarded as a primary source for learning visual recognition models due to the lost visual information by in the watermark and the possibility of an attack to remove the watermarks. To make the watermarked images better suited for machine learning with less risk of removal, we propose DeepStamp, a watermarking framework that, given a watermarking image and a trained network for image classification, learns to synthesize a watermarked image that are human-perceptible, robust to removals, and able to be used as training images for classification with minimal accuracy loss. To achieve the goal, we employ the generative multi-adversarial network (GMAN). In experiments with CIFAR10, we show that the DeepStamp learn to transform a watermark to be embedded in each image and the watermarked images can be used to train networks.


title: Multiple Fano interferences due to waveguide-mediated phase-coupling between atoms

abstract: We examine quantum interference effects due to absorption and emission from multiple atoms coupled to a waveguide and highlight the modifications they entail in regards to single-photon transport properties. A prominent upshot of these interference phenomena is the resonant suppression of the reflection amplitude, which leads to the observation of multiple Fano minima in the reflection spectrum. Such minima determine the points at which transparency is induced in the system. By taking recourse to the real-space Hamiltonian framework, we calculate analytically the reflectivity and transmissivity for a one-dimensional waveguide that evanescently couples to a chain of equally spaced quantum emitters. The inter-emitter spacing relative to the wavelength of the propagating photon, leading to a waveguide-mediated "phase-coupling" between the atoms, is found to fundamentally affect the existence of Fano minima. For a chain of $N$ atoms, the number of minima can be at most $N-1$. However, suitable choices of the phase can suppress the discernibility of the full range of roots in the reflection spectrum. A principal observation for the case of multiple emitters is the emergence of super-Gaussian characteristics close to zero-detuning and consequently, a plateau-shaped broadband spectrum in the region of high reflectivity. For a large chain size, the plateau gets transformed into a flat-topped quasi-rectangular profile in the frequency domain.


title: A molecular diamond lattice antiferromagnet as a Dirac semimetal candidate

abstract: The ground state of a molecular diamond-lattice compound (ET)Ag$_4$(CN)$_5$ is investigated by the magnetization and nuclear magnetic resonance spectroscopy. We found that the system exhibits antiferromagnetic long-range ordering with weak ferromagnetism at a high temperature of 102 K owing to the strong electron correlation. The spin susceptibility is well fitted into the diamond-lattice Heisenberg model with a nearest neighbor exchange coupling of 230 K, indicating the less frustrated interactions. The transition temperature elevates up to $\sim$195 K by applying pressure of 2 GPa, which records the highest temperature among organic molecular magnets. The first-principles band calculation suggests that the system is accessible to a three-dimensional topological semimetal with nodal Dirac lines, which has been extensively searched for a half-filling diamond lattice.


title: A note on asymptotically monotone basic sequences and well-separated sets

abstract: We remark that if $X$ is an infinite dimensional Banach space then every seminormalized weakly null sequence in $X$ has an asymptotic monotone basic subsequence. We also observe that if $X$ contains an isomorphic copy of $\ell_1$, then for every $\varepsilon>0$ there exist a $(1 +\varepsilon)$-equivalent norm $\vertiii{\cdot}$ on $X$ such that the unit sphere $(S_{(X, \vertiii{\cdot})})$ contains a normalized bimonotone basic sequences which is symmetrically $2$-separated.


title: Cascaded Recurrent Neural Networks for Hyperspectral Image Classification

abstract: By considering the spectral signature as a sequence, recurrent neural networks (RNNs) have been successfully used to learn discriminative features from hyperspectral images (HSIs) recently. However, most of these models only input the whole spectral bands into RNNs directly, which may not fully explore the specific properties of HSIs. In this paper, we propose a cascaded RNN model using gated recurrent units (GRUs) to explore the redundant and complementary information of HSIs. It mainly consists of two RNN layers. The first RNN layer is used to eliminate redundant information between adjacent spectral bands, while the second RNN layer aims to learn the complementary information from non-adjacent spectral bands. To improve the discriminative ability of the learned features, we design two strategies for the proposed model. Besides, considering the rich spatial information contained in HSIs, we further extend the proposed model to its spectral-spatial counterpart by incorporating some convolutional layers. To test the effectiveness of our proposed models, we conduct experiments on two widely used HSIs. The experimental results show that our proposed models can achieve better results than the compared models.


title: PFLD: A Practical Facial Landmark Detector

abstract: Being accurate, efficient, and compact is essential to a facial landmark detector for practical use. To simultaneously consider the three concerns, this paper investigates a neat model with promising detection accuracy under wild environments e.g., unconstrained pose, expression, lighting, and occlusion conditions) and super real-time speed on a mobile device. More concretely, we customize an end-to-end single stage network associated with acceleration techniques. During the training phase, for each sample, rotation information is estimated for geometrically regularizing landmark localization, which is then NOT involved in the testing phase. A novel loss is designed to, besides considering the geometrical regularization, mitigate the issue of data imbalance by adjusting weights of samples to different states, such as large pose, extreme lighting, and occlusion, in the training set. Extensive experiments are conducted to demonstrate the efficacy of our design and reveal its superior performance over state-of-the-art alternatives on widely-adopted challenging benchmarks, i.e., 300W (including iBUG, LFPW, AFW, HELEN, and XM2VTS) and AFLW. Our model can be merely 2.1Mb of size and reach over 140 fps per face on a mobile phone (Qualcomm ARM 845 processor) with high precision, making it attractive for large-scale or real-time applications. We have made our practical system based on PFLD 0.25X model publicly available at \url{http://sites.google.com/view/xjguo/fld} for encouraging comparisons and improvements from the community.


title: Particle acceleration and fast magnetic reconnection

abstract: Mathematics demonstrates that an ideally evolving magnetic field has an exponentially increasing sensitivity to non-ideal effects for all but truly exceptional evolutions. On a time scale that depends only logarithmically on the magnitude of non-ideality, an evolving magnetic field will generally reach a state of fast magnetic reconnection. The effects of fast magnetic reconnection proceed at a rate determined by Alfv\'enic, not resistive, physics. The best known of these effects are associated with the transfer of magnetic field energy to the plasma and the conservation of magnetic helicity, which limits the energy transfer. As will be shown, weak non-ideality implies helicity conservation in regions bounded by magnetic surfaces or rigid perfect conductors. But, weak non-ideality makes the rapid transfer of energy subtle. This transfer can be understood by the drive for Alfv\'en waves and two other effects, which are present even in an ideal evolution, an effective parallel electric field $\mathcal{E}_{||}$, which can accelerate particles despite the particle acceleration due to the true parallel electric field $E_{||}$ being negligible, and a coefficient $\nu_K$, which gives a rate for exponentiation of the kinetic energy of particle motion along the magnetic field. Classical theories of reconnection are two-dimensional and exclude the exponentially increasing sensitivity that is robustly present for magnetic fields in three-dimensional space.


title: Linear mixed models with endogenous covariates: modeling sequential treatment effects with application to a mobile health study

abstract: Mobile health is a rapidly developing field in which behavioral treatments are delivered to individuals via wearables or smartphones to facilitate health-related behavior change. Micro-randomized trials (MRT) are an experimental design for developing mobile health interventions. In an MRT the treatments are randomized numerous times for each individual over course of the trial. Along with assessing treatment effects, behavioral scientists aim to understand between-person heterogeneity in the treatment effect. A natural approach is the familiar linear mixed model. However, directly applying linear mixed models is problematic because potential moderators of the treatment effect are frequently endogenous---that is, may depend on prior treatment. We discuss model interpretation and biases that arise in the absence of additional assumptions when endogenous covariates are included in a linear mixed model. In particular, when there are endogenous covariates, the coefficients no longer have the customary marginal interpretation. However, these coefficients still have a conditional-on-the-random-effect interpretation. We provide an additional assumption that, if true, allows scientists to use standard software to fit linear mixed model with endogenous covariates, and person-specific predictions of effects can be provided. As an illustration, we assess the effect of activity suggestion in the HeartSteps MRT and analyze the between-person treatment effect heterogeneity.


title: Reflected wavefront manipulation by acoustic metasurface with anisotropic local resonant units

abstract: In this work, we develop the gradient metasurface is constructed of a locally anisotropic resonant structure, comprising a steel cylinder with an elliptical rubber coating embedded in epoxy. The deflective angles of rubber ellipses in the locally anisotropic resonant unit provide a method of controlling the reflected phase. Phase shifts of the reflected wave can cover the 2pi range. With an appropriate design of the phase profiles along the acoustic metasurface, we can achieve anomalous reflection and Bessel beam. The locally anisotropic resonant units have significant potential for engineering and manipulating acoustic wavefronts


title: $n$-Cotorsion pairs

abstract: Motivated by some properties satisfied by Gorenstein projective and Gorenstein injective modules over an Iwanaga-Gorenstein ring, we present the concept of left and right $n$-cotorsion pairs in an abelian category $\mathcal{C}$. Two classes $\mathcal{A}$ and $\mathcal{B}$ of objects of $\mathcal{C}$ form a left $n$-cotorsion pair $(\mathcal{A,B})$ in $\mathcal{C}$ if the orthogonality relation $\mathsf{Ext}^i_{\mathcal{C}}(\mathcal{A,B}) = 0$ is satisfied for indexes $1 \leq i \leq n$, and if every object of $\mathcal{C}$ has a resolution by objects in $\mathcal{A}$ whose syzygies have $\mathcal{B}$-resolution dimension at most $n-1$. This concept and its dual generalise the notion of complete cotorsion pairs, and has an appealing relation with left and right approximations, especially with those having the so called unique mapping property. The main purpose of this paper is to describe several properties of $n$-cotorsion pairs and to establish a relation with complete cotorsion pairs. We also give some applications in relative homological algebra, that will cover the study of approximations associated to Gorenstein projective, Gorenstein injective and Gorenstein flat modules and chain complexes, as well as $m$-cluster tilting subcategories.


title: A 28nm Bulk-CMOS 4-to-8GHz <2mW Cryogenic Pulse Modulator for Scalable Quantum Computing

abstract: Future quantum computing systems will require cryogenic integrated circuits to control and measure millions of qubits. In this paper, we report the design and characterization of a prototype cryogenic CMOS integrated circuit that has been optimized for the control of transmon qubits. The circuit has been integrated into a quantum measurement setup and its performance has been validated through multiple quantum control experiments.


title: A Survey on Applications of Game Theory in Blockchain

abstract: In the past decades, the blockchain technology has attracted tremendous attention from both academia and industry. The popularity of blockchain networks was originated from a crypto-currency to serve as a decentralized and tamperproof transaction data ledger. Nowadays, blockchain as the key framework in the decentralized public data-ledger, has been applied to a wide range of scenarios far beyond crypto-currencies, such as Internet of Things (IoT), healthcare, and insurance. This survey aims to fill the gap between the large number of studies on blockchain network, where game theory emerges as an analytical tool, and the lack of a comprehensive survey on the game theoretical approaches applied in blockchain related issues. In this paper, we review game models proposed to address common issues in the blockchain network. The issues include security issues, e.g., selfish mining, majority attack and Denial of Service (DoS) attack, issues regard mining management, e.g., computational power allocation, reward allocation, and pool selection, as well as issues regarding blockchain economic and energy trading. Additionally, we discuss advantages and disadvantages of these selected game models and solutions. Finally, we highlight important challenges and future research directions of applying game theoretical approaches to incentive mechanism design, and the combination of blockchain with other technologies.


title: The Block-wise Circumcentered-Reflection Method

abstract: The elementary Euclidean concept of circumcenter has recently been employed to improve two aspects of the classical Douglas--Rachford method for projecting onto the intersection of affine subspaces. The so-called circumcentered-reflection method is able to both accelerate the average reflection scheme by the Douglas--Rachford method and cope with the intersection of more than two affine subspaces. We now introduce the technique of circumcentering in blocks, which, more than just an option over the basic algorithm of circumcenters, turns out to be an elegant manner of generalizing the method of alternating projections. Linear convergence for this novel block-wise circumcenter framework is derived and illustrated numerically. Furthermore, we prove that the original circumcentered-reflection method essentially finds the best approximation solution in one single step if the given affine subspaces are hyperplanes.


title: Limit Shapes and Local Statistics for the Stochastic Six-Vertex Model

abstract: In this paper we consider the stochastic six-vertex model on a cylinder with arbitrary initial data. First, we show that it exhibits a limit shape in the thermodynamic limit, whose density profile is given by the entropy solution to an explicit, non-linear conservation law that was predicted by Gwa-Spohn in 1992 and by Reshetikhin-Sridhar in 2018. Then, we show that the local statistics of this model around any continuity point of its limit shape are given by an infinite-volume, translation-invariant Gibbs measure of the appropriate slope.


title: A molecular line survey toward the nearby galaxies NGC 1068, NGC 253, and IC 342 at 3 mm with the Nobeyama 45 m radio telescope: The data

abstract: We present observational data of a molecular line survey toward the nearby galaxies NGC 1068, NGC 253, and IC 342 at the wavelengths of 3 mm ($\sim$85--116 GHz) obtained with the Nobeyama 45 m radio telescope. In IC 342 the line survey with high spectral resolution at the 3 mm region was reported for the first time. NGC 1068 is a nearby gas-rich galaxy with X-rays from an active galactic nucleus (AGN), and NGC 253 and IC 342 are nearby gas-rich galaxies with prototypical starbursts. These galaxies are useful to study the impacts of X-rays and ultraviolet radiation on molecular abundances. The survey was carried out with the resulting rms noise level of a few mK ($T\rm{_A^*}$). As a result we could obtain almost complete data of these galaxies at the 3 mm region: We detected 19--23 molecular species depending on the galaxies including several new detections (e.g., cyclic-C$_3$H$_2$ in IC 342). We found that the intensities of HCN, CN, and HC$_3$N relative to $^{13}$CO are significantly strong in NGC 1068 compared to those in NGC 253 and IC 342. On the other hand, CH$_3$CCH was not detected in NGC 1068. We obtained these results with the narrow beam (15$''$.2--19$''$.1) of the 45 m telescope among the single-dish telescopes, and in particular selectively observed the molecular gas close to the circumnuclear disk (CND) in NGC 1068. Our line intensities in NGC 1068 were compared to those obtained with the IRAM 30 m radio telescope already reported. As a result, the intensity ratio of each line was found to have information on the spatial distribution. Our observations obtained the line intensities and stringent constraints on the upper limit for the three galaxies with such narrow beam, and consequently, the data will be a basis for further observations with high spatial resolution.


title: Secure Trajectory Planning Against Undetectable Spoofing Attacks

abstract: This paper studies, for the first time, the trajectory planning problem in adversarial environments, where the objective is to design the trajectory of a robot to reach a desired final state despite the unknown and arbitrary action of an attacker. In particular, we consider a robot moving in a two-dimensional space and equipped with two sensors, namely, a Global Navigation Satellite System (GNSS) sensor and a Radio Signal Strength Indicator (RSSI) sensor. The attacker can arbitrarily spoof the readings of the GNSS sensor and the robot control input so as to maximally deviate his trajectory from the nominal precomputed path. We derive explicit and constructive conditions for the existence of undetectable attacks, through which the attacker deviates the robot trajectory in a stealthy way. Conversely, we characterize the existence of secure trajectories, which guarantee that the robot either moves along the nominal trajectory or that the attack remains detectable. We show that secure trajectories can only exist between a subset of states, and provide a numerical mechanism to compute them. We illustrate our findings through several numerical studies, and discuss that our methods are applicable to different models of robot dynamics, including unicycles. More generally, our results show how control design affects security in systems with nonlinear dynamics.


title: Real-time tree search with pessimistic scenarios

abstract: Autonomous agents need to make decisions in a sequential manner, under partially observable environment, and in consideration of how other agents behave. In critical situations, such decisions need to be made in real time for example to avoid collisions and recover to safe conditions. We propose a technique of tree search where a deterministic and pessimistic scenario is used after a specified depth. Because there is no branching with the deterministic scenario, the proposed technique allows us to take into account the events that can occur far ahead in the future. The effectiveness of the proposed technique is demonstrated in Pommerman, a multi-agent environment used in a NeurIPS 2018 competition, where the agents that implement the proposed technique have won the first and third places.


title: A Variational Approach to Local Asymptotic and Exponential Stabilization of Nonlinear Systems

abstract: Local asymptotic stabilizability is a topic of great theoretical interest and practical importance. Broadly, if a system $\dot{x} = f(x,u)$ is locally asymptotically stabilizable, we are guaranteed a feedback controller $u(x)$ that forces convergence to an equilibrium for trajectories initialized sufficiently close to it. A necessary condition was given by Brockett: such controllers exist only when $f$ is open at the equilibrium. Recently, Gupta, Jafari, Kipka and Mordukhovich considered a modification to this condition, replacing Brockett's topological openness by the linear openness property of modern variational analysis. In this paper, we show that under the linear openness assumption there is a local diffeomorphism of neighborhoods of the equilibirum on which the system is exponentially stabilizable by means of continuous stationary feedback laws. Introducing a transversality property and relating it to the above diffeomorphism, we prove that linear openness and transversality on a punctured neighborhood of an equilibrium is sufficient for local exponential stabilizability of systems with a rank deficient linearization.The main result goes beyond the usual Kalman and Hautus criteria for the existence of exponential stabilizing feedback laws, since it allows us to handle systems for which exponential stabilization is achieved through higher-order terms. However, it is implemented so far under a rather restrictive row-rank conditions. This suggests a twofold approach to the use of these properties: a point-wise version is enough to ensure stability via the linearization, while a local version is enough to overcome deficiencies in the linearization.


title: The convergence of the sums of independent random variables under the sub-linear expectations

abstract: Let $\{X_n;n\ge 1\}$ be a sequence of independent random variables on a probability space $(\Omega, \mathcal{F}, P)$ and $S_n=\sum_{k=1}^n X_k$. It is well-known that the almost sure convergence, the convergence in probability and the convergence in distribution of $S_n$ are equivalent. In this paper, we prove similar results for the independent random variables under the sub-linear expectations, and give a group of sufficient and necessary conditions for these convergence. For proving the results, the Levy and Kolmogorov maximal inequalities for independent random variables under the sub-linear expectation are established. As an application of the maximal inequalities, the sufficient and necessary conditions for the central limit theorem of independent and identically distributed random variables are also obtained.


title: Joint Design of Fronthauling and Hybrid Beamforming for Downlink C-RAN Systems

abstract: Hybrid beamforming is known to be a cost-effective and wide-spread solution for a system with large-scale antenna arrays. This work studies the optimization of the analog and digital components of the hybrid beamforming solution for remote radio heads (RRHs) in a downlink cloud radio access network (C-RAN) architecture. Digital processing is carried out at a baseband processing unit (BBU) in the "cloud" and the precoded baseband signals are quantized prior to transmission to the RRHs via finite-capacity fronthaul links. In this system, we consider two different channel state information (CSI) scenarios: 1) ideal CSI at the BBU 2) imperfect effective CSI. Optimization of digital beamforming and fronthaul quantization strategies at the BBU as well as analog radio frequency (RF) beamforming at the RRHs is a coupled problem, since the effect of the quantization noise at the receiver depends on the precoding matrices. The resulting joint optimization problem is examined with the goal of maximizing the weighted downlink sum-rate and the network energy efficiency. Fronthaul capacity and per-RRH power constraints are enforced along with constant modulus constraint on the RF beamforming matrices. For the case of perfect CSI, a block coordinate descent scheme is proposed based on the weighted minimum-mean-square-error approach by relaxing the constant modulus constraint of the analog beamformer. Also, we present the impact of imperfect CSI on the weighted sum-rate and network energy efficiency performance, and the algorithm is extended by applying the sample average approximation. Numerical results confirm the effectiveness of the proposed scheme and show that the proposed algorithm is robust to estimation errors.


title: Nonlinear Instability of Periodic Traveling Waves

abstract: We study the local dynamics of $L^{2}\left(\mathbb{R}\right)$-perturbations to the zero solution of spatially $2\pi$-periodic coefficient reaction-diffusion systems. In this case the spectrum of the linearization about the zero solution is purely essential and may be described via the point spectrum of a one-parameter family of Bloch operators. When this essential spectrum is unstable, we characterize a large class of initial perturbations which lead to nonlinear instability of the trivial solution. This is accomplished by using the Bloch transform to construct an appropriate projection to capture the maximum amount of linear exponential growth associated to the initial perturbation arising from the unstable eigenvalues of the Bloch operators. This result is also extended to dissipative systems of conservation laws.


title: A Convex Optimization-based Dynamic Model Identification Package for the da Vinci Research Kit

abstract: The da Vinci Research Kit (dVRK) is a teleoperated surgical robotic system. For dynamic simulations and model-based control, the dynamic model of the dVRK is required. We present an open-source dynamic model identification package for the dVRK, capable of modeling the parallelograms, springs, counterweight, and tendon couplings, which are inherent to the dVRK. A convex optimization-based method is used to identify the dynamic parameters of the dVRK subject to physical consistency. Experimental results show the effectiveness of the modeling and the robustness of the package. Although this software package is originally developed for the dVRK, it is feasible to apply it on other similar robots.


title: A note on metric-measure spaces supporting Poincar\'e inequalities

abstract: Using a method of Korobenko, Maldonado and Rios we show a new characterization of doubling metric-measure spaces supporting Poincar\'e inequalities without assuming a priori that the measure is doubling.


title: Financial series prediction using Attention LSTM

abstract: Financial time series prediction, especially with machine learning techniques, is an extensive field of study. In recent times, deep learning methods (especially time series analysis) have performed outstandingly for various industrial problems, with better prediction than machine learning methods. Moreover, many researchers have used deep learning methods to predict financial time series with various models in recent years. In this paper, we will compare various deep learning models, such as multilayer perceptron (MLP), one-dimensional convolutional neural networks (1D CNN), stacked long short-term memory (stacked LSTM), attention networks, and weighted attention networks for financial time series prediction. In particular, attention LSTM is not only used for prediction, but also for visualizing intermediate outputs to analyze the reason of prediction; therefore, we will show an example for understanding the model prediction intuitively with attention vectors. In addition, we focus on time and factors, which lead to an easy understanding of why certain trends are predicted when accessing a given time series table. We also modify the loss functions of the attention models with weighted categorical cross entropy; our proposed model produces a 0.76 hit ratio, which is superior to those of other methods for predicting the trends of the KOSPI 200.


title: Concatenating bipartite graphs

abstract: Let $x,y\in(0,1]$ and let $A,B,C$ be disjoint nonempty subsets of a graph $G$, where every vertex in $A$ has at least $x|B|$ neighbours in $B$, and every vertex in $B$ has at least $y|C|$ neighbours in $C$. We denote by $\phi(x,y)$ the maximum $z$ such that, in all such graphs $G$, there is a vertex $v$ in $C$ that is joined to at least $z|A|$ vertices in $A$ by two-edge paths. The function $\phi$ is interesting, and we investigate some of its properties. For instance, we show that it is symmetric in $x$ and $y$, and that it has a discontinuity at $x=y=1/k$ for all integers $k>1$. We raise a number of questions and conjectures.


title: Quantifying the Temporal Uncertainties of Nonlinear Turbulence Simulations

abstract: Nonlinear initial value turbulence simulations often exhibit large temporal variations in their dynamics. Quantifying the temporal uncertainty of turbulence simulation outputs is an important component of validating the simulation results against the experimental measurements, as well as for code-code comparisons. This paper assesses different methods of uncertainty quantification of temporally varying simulated quantities previously used within plasma turbulence community, to evaluate their strengths and potential pitfalls. The use of Autoregressive Moving-Average (ARMA) models for forecasting the uncertainty of turbulence quantities at later simulation times is also studied. These discussions are framed in the practical context of calculating the time-averaging uncertainties of turbulent energy fluxes calculated via gyrokinetic simulations. Particular attention is paid to how standard approaches are challenged as the driving gradient is reduced to the critical value for instability onset.


title: Is Less Really More? Why Reducing Code Reuse Gadget Counts via Software Debloating Doesn't Necessarily Indicate Improved Security

abstract: Nearly all modern software suffers from bloat that negatively impacts its performance and security. To combat this problem, several automated techniques have been proposed to debloat software. A key metric used in many of these works to demonstrate improved security is code reuse gadget count reduction. The use of this metric is based on the prevailing idea that reducing the number of gadgets available in a software package reduces its attack surface and makes mounting a gadget-based code reuse exploit such as return-oriented programming (ROP) more difficult for an attacker. In this paper, we challenge this idea and show through a variety of realistic debloating scenarios the flaws inherent to the gadget count reduction metric. Specifically, we demonstrate that software debloating can achieve high gadget count reduction rates, yet fail to limit an attacker's ability to construct an exploit. Worse yet, in some scenarios high gadget count reduction rates conceal instances in which software debloating makes security worse by introducing new, useful gadgets. To address these issues, we propose a set of four new metrics for measuring security improvements realized through software debloating that are quality-oriented rather than quantity-oriented. We show that these metrics can identify when debloating negatively impacts security and be efficiently calculated using our static binary analysis tool, the Gadget Set Analyzer. Finally, we demonstrate the utility of these metrics in two realistic case studies: iterative debloating and debloater evaluation.


title: Conflict-free (vertex)-connection numbers of graphs with small diameters

abstract: A path in an(a) edge(vertex)-colored graph is called a conflict-free path if there exists a color used on only one of its edges(vertices). An(A) edge(vertex)-colored graph is called conflict-free (vertex-)connected if for each pair of distinct vertices, there is a conflict-free path connecting them. For a connected graph $G$, the conflict-free (vertex-)connection number of $G$, denoted by $cfc(G)(\text{or}~vcfc(G))$, is defined as the smallest number of colors that are required to make $G$ conflict-free (vertex-)connected. In this paper, we first give the exact value $cfc(T)$ for any tree $T$ with diameters $2,3$ and $4$. Based on this result, the conflict-free connection number is determined for any graph $G$ with $diam(G)\leq 4$ except for those graphs $G$ with diameter $4$ and $h(G)=2$. In this case, we give some graphs with conflict-free connection number $2$ and $3$, respectively. For the conflict-free vertex-connection number, the exact value $vcfc(G)$ is determined for any graph $G$ with $diam(G)\leq 4$.


title: Convergence and Applications of ADMM on the Multi-convex Problems

abstract: In recent years, although the Alternating Direction Method of Multipliers (ADMM) has been empirically applied widely to many multi-convex applications, delivering an impressive performance in areas such as nonnegative matrix factorization and sparse dictionary learning, there remains a dearth of generic work on proposed ADMM with a convergence guarantee under mild conditions. In this paper, we propose a generic ADMM framework with multiple coupled variables in both objective and constraints. Convergence to a Nash point is proven with a sublinear convergence rate $o(1/k)$. Two important applications are discussed as special cases under our proposed ADMM framework. Extensive experiments on ten real-world datasets demonstrate the proposed framework's effectiveness, scalability, and convergence properties. We have released our code at \url{https://github.com/xianggebenben/miADMM}.


title: Topologically Protected Quantum Coherence in a Superatom

abstract: Exploring the properties and applications of topological quantum states is essential to better understand topological matter. Here, we theoretically study a quasi-one-dimensional topological atom array. In the low-energy regime, the atom array is equivalent to a topological superatom. Driving the superatom in a cavity, we study the interaction between light and topological quantum states. We find that the edge states exhibit topology-protected quantum coherence, which can be characterized from the photon transmission. This quantum coherence helps us to find a superradiance-subradiance transition, and we also study its finite-size scaling behavior. The superradiance-subradiance transition also exists in symmetry-breaking systems. More importantly, it is shown that the quantum coherence of the subradiant edge state is robust to random noises, allowing the superatom to work as a topologically protected quantum memory. We suggest a relevant experiment with three-dimensional circuit QED. Our study may have applications in quantum computation and quantum optics based on topological edge states.


title: Security Function Analysis on Performance of High-Speed Router Networking

abstract: A router is a device, in the computer networks, that is used to forward a data packet. Because of its function, the router becomes an important role in measuring the performance of computer networks. It needs to process the incoming data packets with high speed and minimum delay. Therefore, the router must have supported with a good security system as well. The activation of security applications and data encryptions in the router and firewall can consume the resources of CPU from the additional computations and they are able to affect the degradation of its performance. Furthermore, the security mechanisms in the router could bring a possibility of congestion in the networks during the ON/OFF functioning of security so it might influence the performance of the router in forwarding the data packets. A quantitative analysis based on queuing theory may be used to measure and predict as well as improve the performance of the router. In this paper, some scenarios of simulation will be carried out to analyze the effect of security function in the router with high-speed networks. The schemes use generalized exponential (GE-type) distribution to reflect bursty interarrival and service time at a router. The results show that the security function in the router could bring the decreasing of its performance.


title: Face Recognition Under Varying Blur, Illumination and Expression in an Unconstrained Environment

abstract: Face recognition system is one of the esteemed research areas in pattern recognition and computer vision as long as its major challenges. A few challenges in recognizing faces are blur, illumination, and varied expressions. Blur is natural while taking photographs using cameras, mobile phones, etc. Blur can be uniform and non-uniform. Usually non-uniform blur happens in images taken using handheld image devices. Distinguishing or handling a blurred image in a face recognition system is generally tough. Under varying lighting conditions, it is challenging to identify the person correctly. Diversified facial expressions such as happiness, sad, surprise, fear, anger changes or deforms the faces from normal images. Identifying faces with facial expressions is also a challenging task, due to the deformation caused by the facial expressions. To solve these issues, a pre-processing step was carried out after which Blur and Illumination-Robust Face recognition (BIRFR) algorithm was performed. The test image and training images with facial expression are transformed to neutral face using Facial expression removal (FER) peration. Every training image is transformed based on the optimal Transformation Spread Function (TSF), and illumination coefficients. Local Binary Pattern (LBP) features extracted from test image and transformed training image is used for classification.


title: An Investigation of Performance versus Security in Cognitive Radio Networks with Supporting Cloud Platforms

abstract: The growth of wireless devices affects the availability of limited frequencies or spectrum bands as it has been known that spectrum bands are a natural resource that cannot be added. Meanwhile, the licensed frequencies are idle most of the time. Cognitive radio is one of the solutions to solve those problems. Cognitive radio is a promising technology that allows the unlicensed users, known as secondary users (SUs) to access licensed bands without making interference to licensed users or primary users (PUs). As cloud computing has become popular in recent years, cognitive radio networks (CRNs) can be integrated with the cloud platform. One of the important issues in CRNs is security. It becomes a problem since CRNs use radio frequencies as a medium for transmitting and CRNs share the same issues with wireless communication systems. Another critical issue in CRNs is performance. Security has an adverse effect to performance and there are trade-offs between them. The goal of this paper is to investigate the performance related to security trade-off in CRNs with supporting cloud platforms. Furthermore, Queuing Network Models with preemptive resume and preemptive repeat identical priority are applied in this project to measure the impact of security on performance in CRNs with or without cloud platform. The generalized exponential (GE) type distribution is used to reflect the bursty inter-arrival and service times at the servers. The results show that the best performance is obtained when security is disabled and the cloud platform is enabled.


title: Towards Robust ResNet: A Small Step but A Giant Leap

abstract: This paper presents a simple yet principled approach to boosting the robustness of the residual network (ResNet) that is motivated by the dynamical system perspective. Namely, a deep neural network can be interpreted using a partial differential equation, which naturally inspires us to characterize ResNet by an explicit Euler method. Our analytical studies reveal that the step factor h in the Euler method is able to control the robustness of ResNet in both its training and generalization. Specifically, we prove that a small step factor h can benefit the training robustness for back-propagation; from the view of forward-propagation, a small h can aid in the robustness of the model generalization. A comprehensive empirical evaluation on both vision CIFAR-10 and text AG-NEWS datasets confirms that a small h aids both the training and generalization robustness.


title: The growth of chiral magnetic instability in a large-scale magnetic field

abstract: The chiral magnetic effect emerges from a miroscopic level, and its interesting consequences have been discussed in the dynamics of the early universe, neutron stars and quark-gluon plasma. An instability is caused by anomalous electric current along magnetic field. We investigate effects of plasma motion on the instability in terms of linearized perturbation theory. A magnetic field can inhibit magnetohydrodynamic waves to a remarkable degree and thereby affects the instability mode. We also found that the unstable mode is consisted of coupling between Alfven and one of magneto-acoustic waves. Therefore, the propagation of a mixed Alfven wave driven by magnetic tension is very important. The direction of unperturbed magnetic field favors the wave propagation of the instability mode, when Alfven speed exceeds sound speed.


title: Ultrathin, polarization-independent, and focus-tunable liquid crystal diffractive lens for augmented reality

abstract: Despite the recent advances in augmented reality (AR), which has shown the potential to significantly impact on our daily lives by offering a new way to manipulate and interact with virtual information, minimizing visual discomfort due to the vergence-accommodation conflict remains a challenge. Emerging AR technologies often exploit focus-tunable optics to address this problem. Although they demonstrated improved depth perception by enabling proper focus cues, a bulky form factor of focus-tunable optics prevents their use in the form of a pair of eyeglasses. Herein, we describe an ultrathin, focus-tunable liquid crystal (LC) diffractive lens with a large aperture, a low weight, and a low operating voltage. In addition, we show that the polarization dependence of the lens, which is an inherent optical property of LC lenses, can be eliminated using birefringent thin films as substrates and by aligning the optical axes of the birefringent substrates and LC at a specific angle. The polarization independence eliminates the need for a polarizer, thus further reducing the form factor of the optical system. Next, we demonstrate a prototype of AR glasses with addressable focal planes using the ultrathin lens. The prototype AR glasses can adjust the accommodation distance of the virtual image, mitigating the vergence-accommodation conflict without substantially compromising the form factor or image quality. This research on ultrathin lens technology shows promising potential for developing compact optical displays in various applications.


title: Supervised ML Solution for Band Assignment in Dual-Band Systems with Omnidirectional and Directional Antennas

abstract: Many wireless networks, including 5G NR (New Radio) and future beyond 5G cellular systems, are expected to operate on multiple frequency bands. This paper considers the band assignment (BA) problem in dual-band systems, where the basestation (BS) chooses one of the two available frequency bands (centimeter-wave and millimeter-wave bands) to communicate with the user equipment (UE). While the millimeter-wave band might offer higher data rate, there is a significant probability of outage during which the communication should be carried on the (more reliable) centimeter-wave band. With mobility, the BA can be perceived as a sequential problem, where the BS uses previously observed information to predict the best band for a future time step. We formulate the BA as a binary classification problem and propose supervised Machine Learning (ML) solutions. We study the problem when both the BS and the UE use (i) omnidirectional antennas and (ii) both use directional antennas. In the omnidirectional case, we derive analytical benchmark solutions based on the Gaussian Process (GP) assumption for the inter-band shadow fading. In the directional case, where the labeling is shown to be complex, we propose an efficient labeling approach based on the Viterbi Algorithm (VA). We compare the performances for two channel models: (i) a stochastic channel and (ii) a ray-tracing based channel.


title: A distortion solution for the Bok telescope with four CCD chips

abstract: The Beijing-Arizona Sky Survey (BASS) is an imaging survey and uses the 2.3 m Bok telescope at Kitt Peak. In order to tap the astrometric potential of the Bok telescope and improve the astrometry of BASS, a distortion solution for the Bok telescope is made. In the past, we used a single lookup table to correct all the positional errors. However, this method can not be applied to the reduction of the observation for the Bok telescope where four CCD chips are equipped with. Then quite different from our previous method, two third-order polynomials were used to fit the lookup table. By using the polynomial Geometric Distortion (called GD hereafter) correction the astrometry of BASS is improved greatly. Moreover, an additional lookup table correction is found to be more effective to obtain a final GD. The results show that the positional measurement precision of the appropriate bright stars is estimated at about 20 mas and even better in each direction. Besides, the relative positions of the chips are measured. The change of the inter-chip gaps in horizontal or vertical is no more than 5 pixel between 2016 and 2017 and the change of the roll angle is no more than 0.1 degree.


title: Sparse Depth Enhanced Direct Thermal-infrared SLAM Beyond the Visible Spectrum

abstract: In this paper, we propose a thermal-infrared simultaneous localization and mapping (SLAM) system enhanced by sparse depth measurements from Light Detection and Ranging (LiDAR). Thermal-infrared cameras are relatively robust against fog, smoke, and dynamic lighting conditions compared to RGB cameras operating under the visible spectrum. Due to the advantages of thermal-infrared cameras, exploiting them for motion estimation and mapping is highly appealing. However, operating a thermal-infrared camera directly in existing vision-based methods is difficult because of the modality difference. This paper proposes a method to use sparse depth measurement for 6-DOF motion estimation by directly tracking under 14- bit raw measurement of the thermal camera. In addition, we perform a refinement to improve the local accuracy and include a loop closure to maintain global consistency. The experimental results demonstrate that the system is not only robust under various lighting conditions such as day and night, but also overcomes the scale problem of monocular cameras. The video is available at https://youtu.be/oO7lT3uAzLc.


title: Sphere partition functions and cut-off AdS

abstract: We consider sphere partition functions of TT deformed large N conformal field theories in d=2,3,4,5 and 6 dimensions, computed using the flow equation. These are shown to non-perturbatively match with bulk computations of $AdS_{d+1}$ with a finite radial cut-off. We then demonstrate how the flow equation can be independently derived from a regularization procedure in defining TT operators through a local Callan-Symanzik equation. Finally, we show that the sphere partition functions, modulo bulk-counterterm contributions, can be reproduced from Wheeler-DeWitt wave functions.


title: High minima of non-smooth Gaussian processes

abstract: In this short note we study the asymptotic behaviour of the minima over compact intervals of Gaussian processes, whose paths are not necessarily smooth. We show that, beyond the logarithmic large deviation Gaussian estimates, this problem is closely related to the classical small-ball problem. Under certain conditions we estimate the term describing the correction to the large deviation behaviour. In addition, the asymptotic distribution of the location of the minimum, conditionally on the minimum exceeding a high threshold, is also studied.


title: What you get is not always what you see: pitfalls in solar array assessment using overhead imagery

abstract: Effective integration planning for small, distributed solar photovoltaic (PV) arrays into electric power grids requires access to high quality data: the location and power capacity of individual solar PV arrays. Unfortunately, national databases of small-scale solar PV do not exist; those that do are limited in their spatial resolution, typically aggregated up to state or national levels. While several promising approaches for solar PV detection have been published, strategies for evaluating the performance of these models are often highly heterogeneous from study to study. The resulting comparison of these methods for practical applications for energy assessments becomes challenging and may imply that the reported performance evaluations are overly optimistic. The heterogeneity comes in many forms, each of which we explore in this work: the level of spatial aggregation, the validation of ground truth, inconsistencies in the training and validation datasets, and the degree of diversity of the locations and sensors from which the training and validation data originate. For each, we discuss emerging practices from the literature to address them or suggest directions of future research. As part of our investigation, we evaluate solar PV identification performance in two large regions. Our findings suggest that traditional performance evaluation of the automated identification of solar PV from satellite imagery may be optimistic due to common limitations in the validation process. The takeaways from this work are intended to inform and catalyze the large-scale practical application of automated solar PV assessment techniques by energy researchers and professionals.


title: Low-Resolution Quantization in Phase Modulated Systems: Optimum Detectors and Error Rate Analysis

abstract: This paper considers a wireless communication system with low-resolution quantizers, in which transmitted signals are corrupted by fading and additive noise. For such wireless systems, a universal lower bound on the average symbol error probability (SEP), correct for all M-ary modulation schemes, is obtained when the number of quantization bits is not enough to resolve M signal points. In the special case of M-ary phase shift keying (M-PSK), the optimum maximum likelihood detector for equi-probable signal points is derived. Utilizing the structure of the derived optimum receiver, a general average SEP expression for M-PSK modulation with n-bit quantization is obtained when the wireless channel is subject to fading with a circularly-symmetric distribution. Adopting this result for Nakagami-m fading channels, easy-to-evaluate expressions for the average SEP for M-PSK modulation are further derived. It is shown that a transceiver architecture with n-bit quantization is asymptotically optimum in terms of communication reliability if n is greater than or equal to log_2(M +1). That is, the decay exponent for the average SEP is the same and equal to m with infinite-bit and n-bit quantizers for n is greater than or equal to log_2(M+1). On the other hand, it is only equal to half and 0 for n = log_2(M) and n < log_2(M), respectively. An extensive simulation study is performed to illustrate the derived results and energy efficiency gains obtained by means of low-resolution quantizers.


title: Origin of flat-band superfluidity on the Mielke checkerboard lattice

abstract: The Mielke checkerboard is known to be one of the simplest two-band lattice models exhibiting an energetically flat band that is in touch with a quadratically dispersive band in the reciprocal space, i.e., its flat band is not isolated. Motivated by the growing interest in understanding the origins of flat-band superfluidity in various contexts, here we provide an in-depth analysis showing how the mean-field BCS correlations prevail in this particular model. Our work reveals the quantum-geometric origin of flat-band superfluidity through uncovering the leading role by a band-structure invariant, i.e., the so-called quantum metric tensor of the single-particle bands, in the inverse effective mass tensor of the Cooper pairs.


title: LOCO Codes: Lexicographically-Ordered Constrained Codes

abstract: Line codes make it possible to mitigate interference, to prevent short pulses, and to generate streams of bipolar signals with no direct-current (DC) power content through balancing. They find application in magnetic recording (MR) devices, in Flash devices, in optical recording devices, and in some computer standards. This paper introduces a new family of fixed-length, binary constrained codes, named lexicographically-ordered constrained codes (LOCO codes), for bipolar non-return-to-zero signaling. LOCO codes are capacity-achieving, the lexicographic indexing enables simple, practical encoding and decoding, and this simplicity is demonstrated through analysis of circuit complexity. LOCO codes are easy to balance, and their inherent symmetry minimizes the rate loss with respect to unbalanced codes having the same constraints. Furthermore, LOCO codes that forbid certain patterns can be used to alleviate inter-symbol interference in MR systems and inter-cell interference in Flash systems. Numerical results demonstrate a gain of up to 10% in rate achieved by LOCO codes with respect to other practical constrained codes, including run-length-limited codes, designed for the same purpose. Simulation results suggest that it is possible to achieve a channel density gain of about 20% in MR systems by using a LOCO code to encode only the parity bits, limiting the rate loss, of a low-density parity-check code before writing.


title: Adversarial Attack and Defense on Point Sets

abstract: Emergence of the utility of 3D point cloud data in safety-critical vision tasks (e.g., ADAS) urges researchers to pay more attention to the robustness of 3D representations and deep networks. To this end, we develop an attack and defense scheme, dedicated to 3D point cloud data, for preventing 3D point clouds from manipulated as well as pursuing noise-tolerable 3D representation. A set of novel 3D point cloud attack operations are proposed via pointwise gradient perturbation and adversarial point attachment / detachment. We then develop a flexible perturbation-measurement scheme for 3D point cloud data to detect potential attack data or noisy sensing data. Notably, the proposed defense methods are even effective to detect the adversarial point clouds generated by a proof-of-concept attack directly targeting the defense. Transferability of adversarial attacks between several point cloud networks is addressed, and we propose an momentum-enhanced pointwise gradient to improve the attack transferability. We further analyze the transferability from adversarial point clouds to grid CNNs and the inverse. Extensive experimental results on common point cloud benchmarks demonstrate the validity of the proposed 3D attack and defense framework.


title: Polar State induced by Block-type Lattice Distortions in BaFe2Se3 with Quasi-One-Dimensional Ladder Structure

abstract: Temperature dependent crystal structures of the quasi-one-dimensional ladder material BaFe2Se3 are examined. Combining the optical second harmonic generation (SHG) experiments and neutron diffraction measurements, we elucidate the crystal structure with Pmn2_1 space group in the low-temperature phase below Ts2 = 400 K, further above Neel temperature. This low-temperature phase loses the spatial inversion symmetry, where a resultant macroscopic polarization emerges along the rung direction. The transition is characterized by block-type lattice distortions with the magneto-striction mechanism. Change in the electrical resistivity and the magnetic susceptibility across the polar-nonpolar transition also suggests a modification of the electronic states reflecting the structural instability. Consistency and discrepancy with the existing theory are discussed.


title: Robust and Local Optimal A Priori Error Estimates for Interface Problems with Low Regularity: Mixed Finite Element Approximations

abstract: For elliptic interface problems in two- and three-dimensions with a possible very low regularity, this paper establishes a priori error estimates for the Raviart-Thomas and Brezzi-Douglas-Marini mixed finite element approximations. These estimates are robust with respect to the diffusion coefficient and optimal with respect to the local regularity of the solution. Several versions of the robust best approximations of the flux and the potential approximations are obtained. These robust and local optimal a priori estimates provide guidance for constructing robust a posteriori error estimates and adaptive methods for the mixed approximations.


title: A compact structure for realizing Lorentzian, Fano and EIT resonance lineshapes in a microring resonator

abstract: Microring resonators, as a fundamental building block of photonic integrated circuits, have been well developed into numerous functional devices, whose performances are strongly determined by microring's resonance lineshapes. We propose a compact structure to reliably realize Lorentzian, Fano, and electromagnetically induced transparency (EIT) resonance lineshapes in a microring. By simply inserting two air-holes in the side-coupled waveguide of a microring, a Fabry-Perot (FP) resonance is involved to couple with microring's resonant modes, showing Lorentzian, Fano, and EIT lineshapes over one free spectral range of the FP resonance. The quality factors, extinction ratios, and slope rates in different lineshapes are discussed. At microring's specific resonant wavelength, the lineshape could be tuned among these three types by controlling the FP cavity's length. Experiment results verify the theoretical analysis well and represent Fano lineshapes with extinction ratios of about 20 dB and slope rates over 280 dB/nm. The reliably and flexibly tunable lineshapes in the compact structure have potentials to improve microring-based devices and expand their application scopes.


title: Bi-Directional Cascade Network for Perceptual Edge Detection

abstract: Exploiting multi-scale representations is critical to improve edge detection for objects at different scales. To extract edges at dramatically different scales, we propose a Bi-Directional Cascade Network (BDCN) structure, where an individual layer is supervised by labeled edges at its specific scale, rather than directly applying the same supervision to all CNN outputs. Furthermore, to enrich multi-scale representations learned by BDCN, we introduce a Scale Enhancement Module (SEM) which utilizes dilated convolution to generate multi-scale features, instead of using deeper CNNs or explicitly fusing multi-scale edge maps. These new approaches encourage the learning of multi-scale representations in different layers and detect edges that are well delineated by their scales. Learning scale dedicated layers also results in compact network with a fraction of parameters. We evaluate our method on three datasets, i.e., BSDS500, NYUDv2, and Multicue, and achieve ODS Fmeasure of 0.828, 1.3% higher than current state-of-the art on BSDS500. The code has been available at https://github.com/pkuCactus/BDCN.


title: SweepNet: Wide-baseline Omnidirectional Depth Estimation

abstract: Omnidirectional depth sensing has its advantage over the conventional stereo systems since it enables us to recognize the objects of interest in all directions without any blind regions. In this paper, we propose a novel wide-baseline omnidirectional stereo algorithm which computes the dense depth estimate from the fisheye images using a deep convolutional neural network. The capture system consists of multiple cameras mounted on a wide-baseline rig with ultrawide field of view (FOV) lenses, and we present the calibration algorithm for the extrinsic parameters based on the bundle adjustment. Instead of estimating depth maps from multiple sets of rectified images and stitching them, our approach directly generates one dense omnidirectional depth map with full 360-degree coverage at the rig global coordinate system. To this end, the proposed neural network is designed to output the cost volume from the warped images in the sphere sweeping method, and the final depth map is estimated by taking the minimum cost indices of the aggregated cost volume by SGM. For training the deep neural network and testing the entire system, realistic synthetic urban datasets are rendered using Blender. The experiments using the synthetic and real-world datasets show that our algorithm outperforms the conventional depth estimation methods and generate highly accurate depth maps.


title: PixelSteganalysis: Pixel-wise Hidden Information Removal with Low Visual Degradation

abstract: Recently, the field of steganography has experienced rapid developments based on deep learning (DL). DL based steganography distributes secret information over all the available bits of the cover image, thereby posing difficulties in using conventional steganalysis methods to detect, extract or remove hidden secret images. However, our proposed framework is the first to effectively disable covert communications and transactions that use DL based steganography. We propose a DL based steganalysis technique that effectively removes secret images by restoring the distribution of the original images. We formulate a problem and address it by exploiting sophisticated pixel distributions and an edge distribution of images by using a deep neural network. Based on the given information, we remove the hidden secret information at the pixel level. We evaluate our technique by comparing it with conventional steganalysis methods using three public benchmarks. As the decoding method of DL based steganography is approximate (lossy) and is different from the decoding method of conventional steganography, we also introduce a new quantitative metric called the destruction rate (DT). The experimental results demonstrate performance improvements of 10-20% in both the decoded rate and the DT.


title: On generalized quasi-topological cubic-quartic gravity: thermodynamics and holography

abstract: We investigate the thermodynamic behaviour of asymptotically anti de Sitter black holes in generalized quasi-topological gravity containing terms both cubic and quartic in the curvature. We investigate the general conditions required for physical phase transitions and critical behaviour in any dimension and then consider in detail specific properties in spacetime dimensions 4, 5, and 6. We find for spherical black holes that there are respectively at most two and three physical critical points in five and six dimensions. For hyperbolic black holes we find the occurrence of Van der Waals phase transitions in four dimensions and reverse Van der Waals phase transitions in dimensions greater than 4 if both cubic and quartic curvature terms are present. We also observe the occurrence of phase transitions in for fixed chemical potential. We consider some applications of our work in the dual CFT, investigating how the ratio of viscosity to entropy is modified by inclusion of these higher curvature terms. We conclude that the presence of the quartic curvature term results in a violation of the KSS bound in five dimensions, but not in other dimensions.


title: Direct temperature determination of a sympathetically cooled large 113Cd+ ion crystal for a microwave clock

abstract: This paper reports the direct temperature determination of sympathetically cooled 113Cd+ ions with laser-cooled 24Mg+ in a linear Paul trap. The sympathetically cooled ion species distribute in the outer shell of the large ensembles, which contain up to 3.3E5 ions. With optimized parameters, the minimum temperature of the sympathetically cooled 113Cd+ ions was measured to be tens of mK. These results indicate promising performance for microwave atomic clocks. The second order Doppler frequency shift is two orders of magnitudes lower and the Dick effect is suppressed.


title: A note on general epidemic region for infinite regular graphs

abstract: We study the contagion game with the bilingual option on infinite regular graphs introduced and modeled mathematically in [N. Immorlica et al. (2007)]. In the reference, Immorlica et al. studied conditions for an innovation to become epidemic over infinite regular trees, the grid, and the infinite thick-lines in terms of payoff enhancement and cost of the bilingual option. We improved their results by showing that the class of infinite regular trees make an innovation least advantageous to become epidemic considering the whole class of infinite regular graphs. Moreover, we show that any infinite $\Delta$-regular graph containing the infinite $\Delta$-tree structure is also least advantageous to be epidemic. Also, we construct an infinite family of infinite $\Delta$-regular graphs (including the thick $\Delta$-line) that is the most advantageous to be epidemic as known so far.


title: BERT for Joint Intent Classification and Slot Filling

abstract: Intent classification and slot filling are two essential tasks for natural language understanding. They often suffer from small-scale human-labeled training data, resulting in poor generalization capability, especially for rare words. Recently a new language representation model, BERT (Bidirectional Encoder Representations from Transformers), facilitates pre-training deep bidirectional representations on large-scale unlabeled corpora, and has created state-of-the-art models for a wide variety of natural language processing tasks after simple fine-tuning. However, there has not been much effort on exploring BERT for natural language understanding. In this work, we propose a joint intent classification and slot filling model based on BERT. Experimental results demonstrate that our proposed model achieves significant improvement on intent classification accuracy, slot filling F1, and sentence-level semantic frame accuracy on several public benchmark datasets, compared to the attention-based recurrent neural network models and slot-gated models.


title: IoT Virtualization: A Survey of Software Definition & Function Virtualization Techniques for Internet of Things

abstract: Internet of Things (IoT) and Network Softwarization are fast becoming core technologies of information systems and network management for next generation Internet. The deployment and applications of IoT ranges from smart cities to urban computing, and from ubiquitous healthcare to tactile Internet. For this reason the physical infrastructure of heterogeneous network systems has become more complicated, and thus requires efficient and dynamic solutions for management, configuration, and flow scheduling. Network softwarization in the form of Software Defined Networks (SDN) and Network Function Virtualization (NFV) has been extensively researched for IoT in recent past. In this article we present a systematic and comprehensive review of virtualization techniques explicitly designed for IoT networks. We have classified the literature into software defined networks designed for IoT, function virtualization for IoT networks, and software defined IoT networks. These categories are further divided into works which present architectural, security, and management solutions. In addition, the paper highlights a number of short term and long term research challenges and open issues related to adoption of software defined Internet of things.


title: Differential operators mod $p$: analytic continuation and consequences

abstract: This paper concerns certain $\mod p$ differential operators that act on automorphic forms over Shimura varieties of type A or C. We show that, over the ordinary locus, these operators agree with the $\mod p$ reduction of the $p$-adic theta operators previously studied by some of the authors. In the characteristic $0$, $p$-adic case, there is an obstruction that makes it impossible to extend the theta operators to the whole Shimura variety. On the other hand, our $\mod p$ operators extend ("analytically continue", in the language of de Shalit and Goren) to the whole Shimura variety. As a consequence, motivated by their use by Edixhoven and Jochnowitz in the case of modular forms for proving the weight part of Serre's conjecture, we discuss some effects of these operators on Galois representations. Our focus and techniques differ from those in the literature. Our intrinsic, coordinate-free approach removes difficulties that arise from working with $q$-expansions and works in settings where earlier techniques, which rely on explicit calculations, are not applicable. In contrast with previous constructions and analytic continuation results, these techniques work for any totally real base field, any weight, and all signatures and ranks of groups at once, recovering prior results on analytic continuation as special cases.


title: Ramsey theory for monochromatically well-connected subsets

abstract: We define well-connectedness, an order-theoretic notion of largeness whose associated partition relations $\nu\to_{wc}(\mu)_\lambda^2$ formally weaken those of the classical Ramsey relations $\nu\to(\mu)_\lambda^2$. We show that it is consistent that the arrows $\to_{wc}$ and $\to$ are, in infinite contexts, essentially indistinguishable. We then show, in contrast, that in Mitchell's model of the tree property at $\omega_2$, the relation $\omega_2\to_{wc}(\omega_2)_\omega^2$ does hold, and that the consistency strength of this relation holding is precisely a weakly compact cardinal. These investigations may be viewed as augmenting those of [BHS], the central arrow of which, $\to_{hc}$, is of intermediate strength between $\to_{wc}$ and the Ramsey arrow $\to$.


title: Counterexamples to the $L^p$-Calder\'{o}n--Zygmund Estimate on Open Manifolds

abstract: Based on a construction due to B. G\"{u}neysu and S. Pigola (\textit{Adv. Math.} \textbf{281} (2015), pp.353--393), for each $p \in [1,\infty]$ and $m \in \mathbb{Z}_{\geq 2}$, we exhibit an $m$-dimensional Riemannian open manifold $\mathcal{M}$ on which the $L^p$-Calder\'{o}n--Zygmund estimate \begin{equation*} \|\nabla \nabla f\|^p_{L^p} \leq C_1 \|\Delta f\|_{L^p}^p + C_2 \| f\|_{L^p}^p \qquad \text{ for all } f \in C^\infty_c(\mathcal{M}) \end{equation*} is false for any $C_1, C_2$ depending on $m$ and $p$. Therefore, one must impose further geometric conditions on the manifold to ensure the validity of the Calder\'{o}n--Zygmund estimate.


title: First-principle study on the electronic and optical properties of cavities occupancy of SI methane hydrates

abstract: The electronic density of state and optical properties of the SI methane hydrates with three different configurations are calculated by first-principle, including (abbreviated as cI, similarly hereinafter), each cage is fully filled with only one methane molecule; (cII), only one of the small cage lacks its unique methane molecule; (cIII), only one large cage lacks its unique methane molecule. The results show that the hydrate is most stable in the cI due to its perfect structure, the cII is less stable, whereas the cIII is least stable owing to its larger structural distortion after the loss of methane. On the contrary, loss of a methane from cII causes negligible deformation. The electronic density of states and the energy band gap of the cII is almost the same with those of cI, differing obviously with those of cIII. Methane hydrate is only responsive to light in the ultraviolet region, revealing their similar properties, regardless of their structural discrepancies, or/and the different ratios of water and methane molecules, 46/8=5.75 versus 46/7=6.57. Our calculations demonstrate that the lack of one methane in the cII causes negligible influence to the lattice structure and therefore to the electronic and optical properties in comparison with the cI, whereas the lack of one methane in the cIII can cause detectable changes. These results might provide valuable reference to the industrial exploration.


title: The direction of the $d$-vector in a nematic triplet superconductor

abstract: We investigate the states of triplet pairing in a candidate nematic superconductor versus typical material parameters, using the mean field theory for two- and three-dimensional tight-binding models with local triplet pairing in the $E_u$ representation. In the two-dimensional model, the system favors the fully gapped chiral state for weaker warping or lower filling level, while a nodal and nematic $\Delta_{4x}$ state is favorable for stronger warping or higher filling, with the $d$-vector aligned along the principle axis. In the presence of lattice distortion, relative elongation along one of the principle axes, ${\bf a}$, tends to rotate the nematic $d$-vector orthogonal to ${\bf a}$, resulting in the nematic $\Delta_{4y}$ state at sufficient elongation. Three-dimensionality is seen to suppress the chiral state in favor of the nematic ones. Our results may explain the variety in the probed direction of the $d$-vector in existing experiments.


title: First-principles study, fabrication and characterization of (Zr0.25Nb0.25Ti0.25V0.25)C high-entropy ceramic

abstract: The formation possibility of a new (Zr0.25Nb0.25Ti0.25V0.25)C high-entropy ceramic (ZHC-1) was first analyzed by the first-principles calculations and thermodynamical analysis and then it was successfully fabricated by hot pressing sintering technique. The first-principles calculation results showed that the mixing enthalpy of ZHC-1 was 5.526 kJ/mol and the mixing entropy of ZHC-1 was in the range of 0.693R-1.040R. The thermodynamical analysis results showed that ZHC-1 was thermodynamically stable above 959 K owing to its negative mixing Gibbs free energy. The experimental results showed that the as-prepared ZHC-1 (95.1% relative density) possessed a single rock-salt crystal structure, some interesting nanoplate-like structures and high compositional uniformity from nanoscale to microscale. By taking advantage of these unique features, compared with the initial metal carbides (ZrC, NbC, TiC and VC), it showed a relatively low thermal conductivity of 15.3 + - 0.3 W/(m.K) at room temperature, which was due to the presence of solid solution effects, nanoplates and porosity. Meanwhile, it exhibited the relatively high nanohardness of 30.3 + - 0.7 GPa and elastic modulus of 460.4 + - 19.2 GPa and the higher fracture toughness of 4.7 + - 0.5 MPa.m1/2, which were attributed to the solid solution strengthening mechanism and nanoplate pullout and microcrack deflection toughening mechanism.


title: Dressed Quark Tensor Vertex and Nucleon Tensor Charge

abstract: We construct the quark-antiquark scattering kernels of Bethe-Salpeter equation from the quark self-energy directly under two specific forms of quark-gluon vertices. The quark dressed tensor vertex is then calculated within this consistent framework and rainbow-ladder(RL) approximation. After employing a simplified nucleon model, the nucleon tensor charge can be defined with the tensor vertex. We then compute the tensor charge with the bare tensor vertex and the dressed vertices obtained in this framework and in RL approximation. The obtained results are consistent with the lattice QCD calculations. We also find that typically the gluon dressing effects suppress the nucleon tensor charge compared to the bare tensor vertex, by about $23\%$ for RL approximation, and turn to be about $13\%$ in this framework.


title: Meta Dynamic Pricing: Transfer Learning Across Experiments

abstract: We study the problem of learning shared structure \emph{across} a sequence of dynamic pricing experiments for related products. We consider a practical formulation where the unknown demand parameters for each product come from an unknown distribution (prior) that is shared across products. We then propose a meta dynamic pricing algorithm that learns this prior online while solving a sequence of Thompson sampling pricing experiments (each with horizon $T$) for $N$ different products. Our algorithm addresses two challenges: (i) balancing the need to learn the prior (\emph{meta-exploration}) with the need to leverage the estimated prior to achieve good performance (\emph{meta-exploitation}), and (ii) accounting for uncertainty in the estimated prior by appropriately "widening" the estimated prior as a function of its estimation error. We introduce a novel prior alignment technique to analyze the regret of Thompson sampling with a mis-specified prior, which may be of independent interest. Unlike prior-independent approaches, our algorithm's meta regret grows sublinearly in $N$, demonstrating that the price of an unknown prior in Thompson sampling can be negligible in experiment-rich environments (large $N$). Numerical experiments on synthetic and real auto loan data demonstrate that our algorithm significantly speeds up learning compared to prior-independent algorithms.


title: The $UBV$ Color Evolution of Classical Novae. III. Time-Stretched Color-Magnitude Diagram of Novae in Outburst

abstract: We propose a modified color-magnitude diagram for novae in outburst, i.e., $(B-V)_0$ versus $(M_V-2.5 \log f_{\rm s})$, where $f_{\rm s}$ is the timescaling factor of a (target) nova against a comparison (template) nova, $(B-V)_0$ is the intrinsic $B-V$ color, and $M_V$ is the absolute $V$ magnitude. We dub it the time-stretched color-magnitude diagram. We carefully reanalyzed 20 novae based on the time-stretching method and revised their extinctions $E(B-V)$, distance moduli in the $V$ band $(m-M)_V$, distances $d$, and timescaling factors $f_{\rm s}$ against the template nova LV Vul. We have found that these 20 nova outburst tracks broadly follow one of the two template tracks, LV Vul/V1668 Cyg or V1500 Cyg/V1974 Cyg group, in the time-stretched color-magnitude diagram. In addition, we estimate the white dwarf masses and $(m-M)_V$ of the novae by directly fitting the absolute $V$ model light curves ($M_V$) with observational apparent $V$ magnitudes ($m_V$). A good agreement in the two estimates of $(m-M)_V$ confirms the consistency of the time-stretched color-magnitude diagram. Our distance estimates are in good agreement with the results of Gaia Data Release 2.


title: On Robustness of Principal Component Regression

abstract: Principal component regression (PCR) is a simple, but powerful and ubiquitously utilized method. Its effectiveness is well established when the covariates exhibit low-rank structure. However, its ability to handle settings with noisy, missing, and mixed-valued, i.e., discrete and continuous, covariates is not understood and remains an important open challenge. As the main contribution of this work we establish the robustness of PCR, without any change, in this respect and provide meaningful finite-sample analysis. To do so, we establish that PCR is equivalent to performing linear regression after pre-processing the covariate matrix via hard singular value thresholding (HSVT). As a result, in the context of counterfactual analysis using observational data, we show PCR is equivalent to the recently proposed robust variant of the synthetic control method, known as robust synthetic control (RSC). As an immediate consequence, we obtain finite-sample analysis of the RSC estimator that was previously absent. As an important contribution to the synthetic controls literature, we establish that an (approximate) linear synthetic control exists in the setting of a generalized factor model or latent variable model; traditionally in the literature, the existence of a synthetic control needs to be assumed to exist as an axiom. We further discuss a surprising implication of the robustness property of PCR with respect to noise, i.e., PCR can learn a good predictive model even if the covariates are tactfully transformed to preserve differential privacy. Finally, this work advances the state-of-the-art analysis for HSVT by establishing stronger guarantees with respect to the $\ell_{2, \infty}$-norm rather than the Frobenius norm as is commonly done in the matrix estimation literature, which may be of interest in its own right.


title: A survey of hidden convex optimization

abstract: Motivated by the fact that not all nonconvex optimization problems are difficult to solve, we survey in this paper three widely-used ways to reveal the hidden convex structure for different classes of nonconvex optimization problems. Finally, ten open problems are raised.


title: Four-dimensional Gravity on a Covariant Noncommutative Space

abstract: We formulate a model of noncommutative four-dimensional gravity on a covariant fuzzy space based on SO(1,4), that is the fuzzy version of the $\text{dS}_4$. The latter requires the employment of a wider symmetry group, the SO(1,5), for reasons of covariance. Addressing along the lines of formulating four-dimensional gravity as a gauge theory of the Poincar\'e group, spontaneously broken to the Lorentz, we attempt to construct a four-dimensional gravitational model on the fuzzy de Sitter spacetime. In turn, first we consider the SO(1,4) subgroup of the SO(1,5) algebra, in which we were led to, as we want to gauge the isometry part of the full symmetry. Then, the construction of a gauge theory on such a noncommutative space directs us to use an extension of the gauge group, the SO(1,5)$\times$U(1), and fix its representation. Moreover, a 2-form dynamic gauge field is included in the theory for reasons of covariance of the transformation of the field strength tensor. Finally, the gauge theory is considered to be spontaneously broken to the Lorentz group with an extension of a U(1), i.e. SO(1,3)$\times$U(1). The latter defines the four-dimensional noncommutative gravity action which can lead to equations of motion, whereas the breaking induces the imposition of constraints that will lead to expressions relating the gauge fields. It should be noted that we use the euclidean signature for the formulation of the above programme.


title: Log Iitaka conjecture for abundant log canonical fibrations

abstract: We prove that the log Iitaka conjecture holds for log canonical fibrations when log canonical divisor of a sufficiently general fiber is abundant.


title: Synthesis of superfine high-entropy metal diboride powders

abstract: High-purity and superfine high-entropy metal diboride powders, namely (Hf0.2Zr0.2Ta0.2Nb0.2Ti0.2)B2, were successfully synthesized via a facile borothermal reduction method at 1973 K for the first time. The as-synthesized powders with an average particle size of ~ 310 nm had a single-crystalline hexagonal structure of metal diborides and simultaneously possessed high compositional uniformity from nanoscale to microscale. In addition, their formation mechanisms were well interpreted by analyzing the thermodynamics of the possible chemical reactions based on the first principles calculations. This work will open up a new research field on the synthesis of high-entropy metal diboride powders.


title: Reexamination of the $\beta^+$ decay process of $^{13}\rm{N}$ nucleus

abstract: It is known from the scattering theory that the phase-shift of elastic collision does not provide a unique potential to describe the bound state of the two-particle system. The bound state wave function is the most crucial input for various nuclear processes bearing astrophysical significance. In this paper, we emphasize on the important role of the asymptotic normalization coefficients for description of the $^{13}\rm{N}\longrightarrow {^{13}\rm{C}}+\beta^++\nu_e$ reaction. Using experimental data of the elastic scattering phase-shift of proton and neutron on $^{12}\rm{C}$, we find the asymptotic normalization coefficients which determine the tail of the bound state wave functions. This allows us to modify the wave functions of $^{13}\rm{N}$ and $^{13}\rm{C}$ within the single-particle approach using the inverse scattering theory. These wave functions are used to determine the nuclear matrix element for calculation of the half-life and log{\textit ft} values of $\beta^+$ decay of $^{13}\rm{N}$. The calculated values of the log{\textit ft} and half-life are smaller than the measured values when the single-particle wave functions are employed. Using overlap functions, instead of single-particle functions, we obtain a better comparison. The overlap function is represented as the product of single-particle function and the corresponding spectroscopic factor.


title: General-affine invariants of plane curves and space curves

abstract: We present a fundamental theory of curves in the affine plane and the affine space, equipped with the general-affine groups ${\rm GA}(2)={\rm GL}(2,{\bf R})\ltimes {\bf R}^2$ and ${\rm GA}(3)={\rm GL}(3,{\bf R})\ltimes {\bf R}^3$, respectively. We define general-affine length parameter and curvatures and show how such invariants determine the curve up to general-affine motions. We then study the extremal problem of the general-affine length functional and derive a variational formula. We give several examples of curves and also discuss some relations with equiaffine treatment and projective treatment of curves.


title: Multiplicative norm convergence in Banach lattice $f$-algebras

abstract: A net $(x_\alpha)$ in an $f$-algebra $E$ is called multiplicative order convergent to $x\in E$ if $\lvert x_\alpha-x\rvert u\oc 0$ for all $u\in E_+$. This convergence has been investigated and applied in a recent paper by Ayd{\i}n \cite{AAydn}. In this paper, we study a variation of this convergence for Banach lattice $f$-algebras. A net $(x_\alpha)$ in a Banach lattice $f$-algebra $E$ is said to be multiplicative norm convergent to $x\in E$ if $\lvert \lvert x_\alpha-x\rvert u\rVert\to 0$ for each $u\in E_+$. We study on this concept and investigate its relationship with the other convergences, and also we introduce the $mn$-topology Banach lattice $f$-algebras.


title: Interaction-aware Kalman Neural Networks for Trajectory Prediction

abstract: Forecasting the motion of surrounding obstacles (vehicles, bicycles, pedestrians and etc.) benefits the on-road motion planning for intelligent and autonomous vehicles. Complex scenes always yield great challenges in modeling the patterns of surrounding traffic. For example, one main challenge comes from the intractable interaction effects in a complex traffic system. In this paper, we propose a multi-layer architecture Interaction-aware Kalman Neural Networks (IaKNN) which involves an interaction layer for resolving high-dimensional traffic environmental observations as interaction-aware accelerations, a motion layer for transforming the accelerations to interaction aware trajectories, and a filter layer for estimating future trajectories with a Kalman filter network. Attributed to the multiple traffic data sources, our end-to-end trainable approach technically fuses dynamic and interaction-aware trajectories boosting the prediction performance. Experiments on the NGSIM dataset demonstrate that IaKNN outperforms the state-of-the-art methods in terms of effectiveness for traffic trajectory prediction.


title: Building Magnetic Hysteresis in Holography

abstract: We study the spontaneous magnetization and the magnetic hysteresis using the gauge/gravity duality. We first propose a novel and general formula to compute the magnetization in a large class of holographic models. By using this formula, we compute the spontaneous magnetization in a model like a holographic superconductor. Furthermore, we turn on the external magnetic field and build the hysteresis curve of magnetization and charge density. To our knowledge, this is the first holographic model realizing the hysteresis accompanied with spontaneous symmetry breaking. By considering the Landau-Ginzburg type effective potential in the symmetry broken phase, we obtain the mass of the magnon from the bulk geometry data.


title: Convergence of the Time Discrete Metamorphosis Model on Hadamard Manifolds

abstract: Continuous image morphing is a classical task in image processing. The metamorphosis model proposed by Trouv\'e, Younes and coworkers casts this problem in the frame of Riemannian geometry and geodesic paths between images. The associated metric in the space of images incorporates dissipation caused by a viscous flow transporting image intensities and its variations along motion paths. In many applications, images are maps from the image domain into a manifold (e.g. in diffusion tensor imaging (DTI) the manifold of symmetric positive definite matrices with a suitable Riemannian metric). In this paper, we propose a generalized metamorphosis model for manifold-valued images, where the range space is a finite-dimensional Hadamard manifold. A corresponding time discrete version was presented by Neumayer et al. based on the general variational time discretization proposed by Berkels et al. Here, we prove the Mosco--convergence of the time discrete metamorphosis functional to the proposed manifold-valued metamorphosis model, which implies the convergence of time discrete geodesic paths to a geodesic path in the (time continuous) metamorphosis model. In particular, the existence of geodesic paths is established. In fact, images as maps into Hadamard manifold are not only relevant in applications, but it is also shown that the joint convexity of the distance function which characterizes Hadamard manifolds is a crucial ingredient to establish existence of the metamorphosis model.


title: Geometrical phase and Hall effect associated with the transverse spin of light

abstract: By analyzing the vectorial Helmholtz equation within the thin-layer approach, we find that light acquires a novel geometrical phase, in addition to the usual one (the optical Berry phase), during the propagation along a curved path. Unlike the optical Berry phase, the novel geometrical phase is induced by the transverse spin along the binormal direction and associated with the curvature of the curve. Furthermore, we show a novel Hall effect of light induced by the torsion of the curve and associated with the transverse spin along the binormal direction, which is different from the usual spin Hall effect of light. Finally, we demonstrate that the usual and novel geometrical phase phenomena are described by different geometry-induced U(1) gauge fields in different adiabatic approximations. In the nonadiabatic case, these gauge fields are united in one effective equation by SO(3) group.


title: Markov Decision Policies for Dynamic Video Delivery in Wireless Caching Networks

abstract: This paper proposes a video delivery strategy for dynamic streaming services which maximizes time-average streaming quality under a playback delay constraint in wireless caching networks. The network where popular videos encoded by scalable video coding are already stored in randomly distributed caching nodes is considered under adaptive video streaming concepts, and distance-based interference management is investigated in this paper. In this network model, a streaming user makes delay-constrained decisions depending on stochastic network states: 1) caching node for video delivery, 2) video quality, and 3) the quantity of video chunks to receive. Since wireless link activation for video delivery may introduce delays, different timescales for updating caching node association, video quality adaptation, and chunk amounts are considered. After associating with a caching node for video delivery, the streaming user chooses combinations of quality and chunk amounts in the small timescale. The dynamic decision making process for video quality and chunk amounts at each slot is modeled using Markov decision process, and the caching node decision is made based on the framework of Lyapunov optimization. Our intensive simulations verify that the proposed video delivery algorithm works reliably and also can control the tradeoff between video quality and playback latency.


title: Interferometric observations of SiO thermal emission in the inner wind of M-type AGB stars IK Tauri and IRC+10011

abstract: Context. AGB stars go through a process of strong mass-loss that involves pulsations of the atmosphere, which extends to a region where the conditions are adequate for dust grains to form. Radiation pressure acts on these grains which, coupled to the gas, drive a massive outflow. The details of this process are not clear, including which molecules are involved in the condensation of dust grains. Aims. To study the role of the SiO molecule in the process of dust formation and mass-loss in M-type AGB stars. Methods. Using the IRAM NOEMA interferometer we observed the $^{28}$SiO and $^{29}$SiO $J=3-2$, $v=0$ emission from the inner circumstellar envelope of the evolved stars IK Tau and IRC+10011. We computed azimuthally averaged emission profiles to compare the observations to models using a molecular excitation and ray-tracing code for SiO thermal emission. Results. We observed circular symmetry in the emission distribution. We also found that the source diameter varies only marginally with radial velocity, which is not the expected behavior for envelopes expanding at an almost constant velocity. The adopted density, velocity, and abundance laws, together with the mass-loss rate, which best fit the observations, give us information on the chemical behavior of the SiO molecule and its role in the dust formation process. Conclusions. The results indicate that there is a strong coupling between the depletion of gas phase SiO and gas acceleration in the inner envelope. This could be explained by the condensation of SiO into dust grains.


title: Rank-2 $U(1)$ spin liquid on the breathing pyrochlore lattice

abstract: Higher-rank generalisations of electrodynamics have recently attracted considerable attention because of their ability to host "fracton" excitations, with connections to both quantum stabilizer codes and holography. However, the search for higher-rank gauge theories in experiment has been greatly hindered by the lack of materially-relevant microscopic models. Here we show how a spin liquid described by rank-2 $U(1)$ gauge theory can arise in a magnet on the breathing pyrochlore lattice. We identify Yb-based breathing pyrochlores as candidate systems, and make explicit predictions for how the rank-2 $U(1)$ spin liquid would manifest itself in experiment.


title: Lower Bounds for Multiplication via Network Coding

abstract: Multiplication is one of the most fundamental computational problems, yet its true complexity remains elusive. The best known upper bound, by F\"{u}rer, shows that two $n$-bit numbers can be multiplied via a boolean circuit of size $O(n \lg n \cdot 4^{\lg^*n})$, where $\lg^*n$ is the very slowly growing iterated logarithm. In this work, we prove that if a central conjecture in the area of network coding is true, then any constant degree boolean circuit for multiplication must have size $\Omega(n \lg n)$, thus almost completely settling the complexity of multiplication circuits. We additionally revisit classic conjectures in circuit complexity, due to Valiant, and show that the network coding conjecture also implies one of Valiant's conjectures.


title: Nontrivial example of the composition of the brane product and coproduct on Gorenstein spaces

abstract: We give an example of a space with the nontrivial composition of the brane product and the brane coproduct, which we introduced in a previous article.


title: Simplicial cochain algebras for diffeological spaces

abstract: The original de Rham cohomology due to Souriau and the singular cohomology in diffeology are not isomorphic to each other in general. This manuscript introduces a singular de Rham complex endowed with an integration map into the singular cochain complex which gives the de Rham theorem for every diffeological space. It is also proved that a morphism called the factor map from the original de Rham complex to the new one is a quasi-isomorphism for a manifold and, more general, a space with singularities. Moreover, Chen's iterated integrals are considered in a diffeological framework. As a consequence, we deduce that the bar complex of the original de Rham complex of a simply-connected diffeological space is quasi-isomorphic to the singular de Rham complex of the diffeological free loop space provided the factor map for the underlying diffeological space is a quasi-isomorphism. The process for proving the assertion yields the Leray--Serre spectral sequence and the Eilenberg--Moore spectral sequence in diffeology.


title: High dynamic range image forensics using cnn

abstract: High dynamic range (HDR) imaging has recently drawn much attention in multimedia community. In this paper, we proposed a HDR image forensics method based on convolutional neural network (CNN).To our best knowledge, this is the first time to apply deep learning method on HDR image forensics. The proposed algorithm uses CNN to distinguish HDR images generated by multiple low dynamic range (LDR) images from that expanded by single LDR image using inverse tone mapping (iTM). To do this, we learn the change of statistical characteristics extracted by the proposed CNN architectures and classify two kinds of HDR images. Comparision results with some traditional statistical characteristics shows efficiency of the proposed method in HDR image source identification.


title: On the non-commutative Newton binomial formula

abstract: In this article, using generalized derivations, we obtain a simple idea to prove the non-commutative Newton binomial formula in unital algebras and then, we extend that formula to non-unital algebras. Additionally, we establish the non-commutative Newton binomial formula with a negative power.


title: A comparative evaluation of novelty detection algorithms for discrete sequences

abstract: The identification of anomalies in temporal data is a core component of numerous research areas such as intrusion detection, fault prevention, genomics and fraud detection. This article provides an experimental comparison of the novelty detection problem applied to discrete sequences. The objective of this study is to identify which state-of-the-art methods are efficient and appropriate candidates for a given use case. These recommendations rely on extensive novelty detection experiments based on a variety of public datasets in addition to novel industrial datasets. We also perform thorough scalability and memory usage tests resulting in new supplementary insights of the methods' performance, key selection criterion to solve problems relying on large volumes of data and to meet the expectations of applications subject to strict response time constraints.