title: Recent Trends in Deep Learning Based Personality Detection

abstract: Recently, the automatic prediction of personality traits has received a lot of attention. Specifically, personality trait prediction from multimodal data has emerged as a hot topic within the field of affective computing. In this paper, we review significant machine learning models which have been employed for personality detection, with an emphasis on deep learning-based methods. This review paper provides an overview of the most popular approaches to automated personality detection, various computational datasets, its industrial applications, and state-of-the-art machine learning models for personality detection with specific focus on multimodal approaches. Personality detection is a very broad and diverse topic: this survey only focuses on computational approaches and leaves out psychological studies on personality detection.


title: Transferring knowledge from monitored to unmonitored areas for forecasting parking spaces

abstract: Smart cities around the world have begun monitoring parking areas in order to estimate available parking spots and help drivers looking for parking. The current results are promising, indeed. However, existing approaches are limited by the high cost of sensors that need to be installed throughout the city in order to achieve an accurate estimation. This work investigates the extension of estimating parking information from areas equipped with sensors to areas where they are missing. To this end, the similarity between city neighborhoods is determined based on background data, i.e., from geographic information systems. Using the derived similarity values, we analyze the adaptation of occupancy rates from monitored- to unmonitored parking areas.


title: Learning morphological operators for skin detection

abstract: In this work we propose a novel post processing approach for skin detectors based on trained morphological operators. The first step, consisting in skin segmentation is performed according to an existing skin detection approach is performed for skin segmentation, then a second step is carried out consisting in the application of a set of morphological operators to refine the resulting mask. Extensive experimental evaluation performed considering two different detection approaches (one based on deep learning and a handcrafted one) carried on 10 different datasets confirms the quality of the proposed method.


title: DSIC: Deep Stereo Image Compression

abstract: In this paper we tackle the problem of stereo image compression, and leverage the fact that the two images have overlapping fields of view to further compress the representations. Our approach leverages state-of-the-art single-image compression autoencoders and enhances the compression with novel parametric skip functions to feed fully differentiable, disparity-warped features at all levels to the encoder/decoder of the second image. Moreover, we model the probabilistic dependence between the image codes using a conditional entropy model. Our experiments show an impressive 30 - 50% reduction in the second image bitrate at low bitrates compared to deep single-image compression, and a 10 - 20% reduction at higher bitrates.


title: Emotionless: Privacy-Preserving Speech Analysis for Voice Assistants

abstract: Voice-enabled interactions provide more human-like experiences in many popular IoT systems. Cloud-based speech analysis services extract useful information from voice input using speech recognition techniques. The voice signal is a rich resource that discloses several possible states of a speaker, such as emotional state, confidence and stress levels, physical condition, age, gender, and personal traits. Service providers can build a very accurate profile of a user's demographic category, personal preferences, and may compromise privacy. To address this problem, a privacy-preserving intermediate layer between users and cloud services is proposed to sanitize the voice input. It aims to maintain utility while preserving user privacy. It achieves this by collecting real time speech data and analyzes the signal to ensure privacy protection prior to sharing of this data with services providers. Precisely, the sensitive representations are extracted from the raw signal by using transformation functions and then wrapped it via voice conversion technology. Experimental evaluation based on emotion recognition to assess the efficacy of the proposed method shows that identification of sensitive emotional state of the speaker is reduced by ~96 %.


title: The Chen-Teboulle algorithm is the proximal point algorithm

abstract: We revisit the Chen-Teboulle algorithm using recent insights and show that this allows a better bound on the step-size parameter.


title: MAESTROeX: A Massively Parallel Low Mach Number Astrophysical Solver

abstract: We present MAESTROeX, a massively parallel solver for low Mach number astrophysical flows. The underlying low Mach number equation set allows for efficient, long-time integration for highly subsonic flows compared to compressible approaches. MAESTROeX is suitable for modeling full spherical stars as well as well as planar simulations of dynamics within localized regions of a star, and can robustly handle several orders of magnitude of density and pressure stratification. Previously, we have described the development of the predecessor of MAESTROeX, called MAESTRO, in a series of papers. Here, we present a new, greatly simplified temporal integration scheme that retains the same order of accuracy as our previous approaches. We also explore the use of alternative spatial mapping of the one-dimensional base state onto the full Cartesian grid. The code leverages the new AMReX software framework for block-structured adaptive mesh refinement (AMR) applications, allowing for scalability to large fractions of leadership-class machines. Using our previous studies on the convective phase of single-degenerate progenitor models of Type Ia supernovae as a guide, we characterize the performance of the code and validate the new algorithmic features. Like MAESTRO, MAESTROeX is fully open source.


title: An analysis of the performance of coupled cluster methods for core excitations and core ionizations using standard basis sets

abstract: An extensive analysis has been carried out of the performance of standard families of basis sets with the hierarchy of coupled cluster methods CC2, CCSD, CC3 and CCSDT in computing selected Oxygen, Carbon and Nitrogen K-edge (vertical) core excitation and ionization energies within a core-valence separated scheme in the molecules water, ammonia, and carbon monoxide. Complete basis set limits for the excitation energies have been estimated via different basis set extrapolation schemes. The importance of scalar relativistic effects has been established within the spin-free exact two-component theory in its one-electron variant (SFX2C-1e).


title: Star-convex Polyhedra for 3D Object Detection and Segmentation in Microscopy

abstract: Accurate detection and segmentation of cell nuclei in volumetric (3D) fluorescence microscopy datasets is an important step in many biomedical research projects. Although many automated methods for these tasks exist, they often struggle for images with low signal-to-noise ratios and/or dense packing of nuclei. It was recently shown for 2D microscopy images that these issues can be alleviated by training a neural network to directly predict a suitable shape representation (star-convex polygon) for cell nuclei. In this paper, we adopt and extend this approach to 3D volumes by using star-convex polyhedra to represent cell nuclei and similar shapes. To that end, we overcome the challenges of 1) finding parameter-efficient star-convex polyhedra representations that can faithfully describe cell nuclei shapes, 2) adapting to anisotropic voxel sizes often found in fluorescence microscopy datasets, and 3) efficiently computing intersections between pairs of star-convex polyhedra (required for non-maximum suppression). Although our approach is quite general, since star-convex polyhedra include common shapes like bounding boxes and spheres as special cases, our focus is on accurate detection and segmentation of cell nuclei. Finally, we demonstrate on two challenging datasets that our approach (StarDist-3D) leads to superior results when compared to classical and deep learning based methods.


title: Physical Layer Secret Key Generation in Static Environments

abstract: Two legitimate parties, referred to as Alice and Bob, wish to generate secret keys from the wireless channel in the presence of an eavesdropper, referred to as Eve, in order to use such keys for encryption and decryption. In general, the secret key rate highly depends on the coherence time of the channel. In particular, a straightforward method of generating secret keys in static environments results in ultra-low rates. In order to resolve this problem, we introduce a low-complexity method called induced randomness. In this method, Alice and Bob independently generate local randomness to be used together with the uniqueness of the wireless channel coefficients in order to enable high-rate secret key generation. In this work, two scenarios are considered: first, when Alice and Bob share a direct communication channel, and second, when Alice and Bob do not have a direct link and communicate through an untrusted relay. After exchanging the induced randomness, post-processing is done by Alice and Bob to generate highly-correlated samples that are used for the key generation. Such samples are then converted into bits, disparities between the sequences generated by Alice and Bob are mitigated, and the resulting sequences are then hashed to compensate for the information leakage to the eavesdropper and to allow consistency checking of the generated key bit sequences. We utilize semantic security measures and information-theoretic inequalities to upper bound the probability of successful eavesdropping attack in terms of the mutual information measures that can be numerically computed. Given certain reasonable system parameters this bound is numerically evaluated to be $2^{-31}$ and $2^{-10.57}$ in the first and the second scenario, respectively.


title: Good Motive but Bad Design: Why ARM MPU Has Become an Outcast in Embedded Systems

abstract: As more and more embedded devices are connected to the Internet, leading to the emergence of Internet-of-Things (IoT), previously less tested (and insecure) devices are exposed to miscreants. To prevent them from being compromised, the memory protection unit (MPU), which is readily available on many devices, has the potential to become a free lunch for the defenders. To our surprise, the MPU is seldom used by real-world products. The reasons are multi-fold. While there are non-technical reasons such as compatibility issues, more importantly, we found that MPU brings virtually no security enhancement at the expense of decreased performance and responsiveness. In this work, we investigate the MPU adoption in major real-time operating systems (RTOSs), in particular, the FreeRTOS, and try to pinpoint the fundamental reasons to explain why MPU is not favored. We hope our findings can inspire new remedial solutions to change the situation. We also review the latest MPU design and provide technical suggestions to build more secure embedded systems.


title: Numerical analysis for a chemotaxis-Navier-Stokes system

abstract: In this paper we develop a numerical scheme for approximating a $d$-dimensional chemotaxis-Navier-Stokes system, $d=2,3$, modeling cellular swimming in incompressible fluids. This model describes the chemotaxis-fluid interaction in cases where the chemical signal is consumed with a rate proportional to the amount of organisms. We construct numerical approximations based on the Finite Element method and analyze some error estimates and convergence towards weak solutions. In order to construct the numerical scheme, we use a splitting technique to deal with the chemo-attraction term in the cell-density equation, leading to introduce a new variable given by the gradient of the chemical concentration. Having the equivalent model, we consider a fully discrete Finite Element approximation which is well-posed and it is mass-conservative. We obtain uniform estimates and analyze the convergence of the scheme. Finally, we present some numerical simulations to verify the good behavior of our scheme, as well as to check numerically the error estimates proved in our theoretical analysis.


title: Catching the Phish: Detecting Phishing Attacks using Recurrent Neural Networks (RNNs)

abstract: The emergence of online services in our daily lives has been accompanied by a range of malicious attempts to trick individuals into performing undesired actions, often to the benefit of the adversary. The most popular medium of these attempts is phishing attacks, particularly through emails and websites. In order to defend against such attacks, there is an urgent need for automated mechanisms to identify this malevolent content before it reaches users. Machine learning techniques have gradually become the standard for such classification problems. However, identifying common measurable features of phishing content (e.g., in emails) is notoriously difficult. To address this problem, we engage in a novel study into a phishing content classifier based on a recurrent neural network (RNN), which identifies such features without human input. At this stage, we scope our research to emails, but our approach can be extended to apply to websites. Our results show that the proposed system outperforms state-of-the-art tools. Furthermore, our classifier is efficient and takes into account only the text and, in particular, the textual structure of the email. Since these features are rarely considered in email classification, we argue that our classifier can complement existing classifiers with high information gain.


title: Transactive Energy System: Market-Based Coordination of Distributed Energy Resources

abstract: Distributed energy resources (DER) provide significant value for renewable energy integration in modern power grids. However, unlocking this value requires complex design and coordination. This paper focuses on the emerging {\em transactive energy systems}, which draw tools and principles from economics to design the coordination strategies for DERs. The concept of transactive energy system broadly captures a huge body of literature, and many of them are closely related but fundamentally different. This gives rise to the following questions: how to formally compare different transactive energy systems and their proposed approaches? How to choose the right transactive energy system to formulate a given problem? What tools are available in the literature for each class of transactive energy systems? In this paper, we answer these questions by synthesizing a unifying framework for a large class of problems studied in the literature. The framework consists of preferences, control decision, information structure and solution concept. These elements are important in identifying and distinguishing various transactive energy systems in the literature. We employ the proposed framework to analyze a few important class of transactive energy systems. Their connections and differences are discussed, and available tools for each class of problems are surveyed.


title: Transport across a topoelectrical Weyl semimetal heterojunction

abstract: We propose a general method to realize and calculate the transmission in a Weyl semimetal (WSM) heterostructure by employing a periodic three-dimensional topoelectrical (TE) circuit network. By drawing the analogy between inductor-capacitor circuit lattices and quantum mechanical tight-binding (TB) models, we show that the energy flux in a TE network is analogous to the probability flux in a TB Hamiltonian. TE systems offer a key advantage in that they can be easily tuned to achieve different topological WSM phases simply by varying the capacitances and inductances. The above analogy opens the way to the study of tunneling across heterojunctions separating different types of WSMs in TE circuits, a situation which is virtually impossible to realize in physical WSM materials. We show that the energy flux transmission in a WSM heterostructure depends highly on the relative orientation of the transport direction and the $k$-space tilt direction. For the transmission from a Type I WSM source lead to a Type II WSM drain lead, all valleys transmit equally when the tilt and transmission directions are perpendicular to each other. In contrast, large inter-valley scattering is required for transmission when the tilt and transport directions are parallel to each other, leading to valley-dependent transmission. We describe a Type III WSM phase intermediate between the Type I and Type II phases. An `anti-Klein' tunneling occurs between a Type I source and Type III drain where the transmission is totally suppressed for some valleys at normal incidence. This is in direct contrast to the usual Klein tunneling in Dirac materials where normally incident flux is perfectly transmitted. Owing to the ease of fabrication and experimental accessibility, TE circuits offer an excellent testbed to study the extraordinary transport phenomena in WSM based heterostructures.


title: Unique ergodicity of deterministic zero-sum differential games

abstract: We study the ergodicity of deterministic two-person zero-sum differential games. This property is defined by the uniform convergence to a constant of either the infinite-horizon discounted value as the discount factor tends to zero, or equivalently, the averaged finite-horizon value as the time goes to infinity. We provide necessary and sufficient conditions for the unique ergodicity of a game. This notion extends the classical one for dynamical systems, namely when ergodicity holds with any (suitable) perturbation of the running payoff function. Our main condition is symmetric between the two players and involve dominions, i.e., subsets of states that one player can make approximately invariant.


title: Polygons of Petrovic and Fine, algebraic ODEs, and contemporary mathematics

abstract: Here, we study the genesis and evolution of geometric ideas and techniques in investigations of movable singularities of algebraic ordinary differential equations. This leads us to the work of Mihailo Petrovic on algebraic differential equations and in particular his geometric ideas captured in his polygon method from the last years of the XIXth century, which have been left completely unnoticed by the experts. This concept, also developed in a bit a different direction and independently by Henry Fine, generalizes the famous Newton-Puiseux polygonal method and applies to algebraic ODEs rather than algebraic equations. Although remarkable, the Petrovic legacy has been practically neglected in the modern literature, while the situation is less severe in the case of results of Fine. Thus, we study the development of the ideas of Petrovic and Fine and their places in contemporary mathematics.


title: A Generate-Validate Approach to Answering Questions about Qualitative Relationships

abstract: Qualitative relationships describe how increasing or decreasing one property (e.g. altitude) affects another (e.g. temperature). They are an important aspect of natural language question answering and are crucial for building chatbots or voice agents where one may enquire about qualitative relationships. Recently a dataset about question answering involving qualitative relationships has been proposed, and a few approaches to answer such questions have been explored, in the heart of which lies a semantic parser that converts the natural language input to a suitable logical form. A problem with existing semantic parsers is that they try to directly convert the input sentences to a logical form. Since the output language varies with each application, it forces the semantic parser to learn almost everything from scratch. In this paper, we show that instead of using a semantic parser to produce the logical form, if we apply the generate-validate framework i.e. generate a natural language description of the logical form and validate if the natural language description is followed from the input text, we get a better scope for transfer learning and our method outperforms the state-of-the-art by a large margin of 7.93%.


title: Analysis of regression discontinuity designs using censored data

abstract: In medical settings, treatment assignment may be determined by a clinically important covariate that predicts patients' risk of event. There is a class of methods from the social science literature known as regression discontinuity (RD) designs that can be used to estimate the treatment effect in this situation. Under certain assumptions, such an estimand enjoys a causal interpretation. However, few authors have discussed the use of RD for censored data. In this paper, we show how to estimate causal effects under the regression discontinuity design for censored data. The proposed estimation procedure employs a class of censoring unbiased transformations that includes inverse probability censored weighting and doubly robust transformation schemes. Simulation studies demonstrate the utility of the proposed methodology.


title: The Doubly Stochastic Single Eigenvalue Problem: A Computational Approach

abstract: The problem of determining $DS_n$, the complex numbers that occur as an eigenvalue of an $n$-by-$n$ doubly stochastic matrix, has been a target of study for some time. The Perfect-Mirsky region, $PM_n$, is contained in $DS_n$, and is known to be exactly $DS_n$ for $n \leq 4$, but strictly contained within $DS_n$ for $n = 5$. Here, we present a Boundary Conjecture that asserts that the boundary of $DS_n$ is achieved by eigenvalues of convex combinations of pairs of (or single) permutation matrices. We present a method to efficiently compute a portion of $DS_n$, and obtain computational results that support the Boundary Conjecture. We also give evidence that $DS_n$ is equal to $PM_n$ for certain $n > 5$.


title: Symmetry, Unimodality, and Lefschetz Properties for Graded Modules

abstract: If $\mbk$ is algebraically closed of characteristic zero and $R = \mbk[x,y, z]$, we first investigate the Weak Lefschetz Property for the finite length $R$-module $M$ that is the cokernel of a map $\vp: \bds_{j=1}^{n+2} R(-b_j)\to\bds_{i=1}^n R(-a_i)$. Before doing so, we spend significant time discuss the minimal free resolution of $M$, which we use to prove useful results on the symmetry and unimodality of the Hilbert function of $M$. Lastly, we define the\textit{non-Lefschetz locus} for finite length graded modules in arbitrary codimension, as well as proving several results in this direction. Moreover, we also discuss the connection with Artin level modules, the non-Lefschetz locus, and Lefschetz properties for graded modules of finite length in arbitrary codimension.


title: An Extremal Problem for the Neighborhood Lights Out Game

abstract: Neighborhood Lights Out is a game played on graphs. Begin with a graph and a vertex labeling of the graph from the set $\{0,1,2,\dots, \ell-1\}$ for $\ell \in \mathbb{N}$. The game is played by toggling vertices: when a vertex is toggled, that vertex and each of its neighbors has its label increased by $1$ (modulo $\ell$). The game is won when every vertex has label 0. For any $n\in\mathbb{N}$ it is clear that one cannot win the game on $K_n$ unless the initial labeling assigns all vertices the same label. Given that the $K_n$ has the maximum number of edges of any simple graph on $n$ vertices it is natural to ask how many edges can be in a graph so that the Neighborhood Lights Out game is winnable regardless of the initial labeling. We find all such extremal graphs on $n$ vertices that have $\binom{n}{2} - c$ edges for $c\leq \lceil\frac{n}{2}\rceil +3$ and all those that have minimum degree $n-3$. The proofs of our results require us to introduce a new version of the Lights Out game that can be played given any square matrix.


title: TEQUILA: Temporal Question Answering over Knowledge Bases

abstract: Question answering over knowledge bases (KB-QA) poses challenges in handling complex questions that need to be decomposed into sub-questions. An important case, addressed here, is that of temporal questions, where cues for temporal relations need to be discovered and handled. We present TEQUILA, an enabler method for temporal QA that can run on top of any KB-QA engine. TEQUILA has four stages. It detects if a question has temporal intent. It decomposes and rewrites the question into non-temporal sub-questions and temporal constraints. Answers to sub-questions are then retrieved from the underlying KB-QA engine. Finally, TEQUILA uses constraint reasoning on temporal intervals to compute final answers to the full question. Comparisons against state-of-the-art baselines show the viability of our method.


title: A Distraction Score for Watermarks

abstract: In this work we propose a novel technique to quantify how distracting watermarks are on an image. We begin with watermark detection using a two-tower CNN model composed of a binary classification task and a semantic segmentation prediction. With this model, we demonstrate significant improvement in image precision while maintaining per-pixel accuracy, especially for our real-world dataset with sparse positive examples. We fit a nonlinear function to represent detected watermarks by a single score correlated with human perception based on their size, location, and visual obstructiveness. Finally, we validate our method in an image ranking setup, which is the main application of our watermark scoring algorithm.


title: Detecting Heterogeneous Treatment Effect with Instrumental Variables

abstract: There is an increasing interest in estimating heterogeneity in causal effects in randomized and observational studies. However, little research has been conducted to understand heterogeneity in an instrumental variables study. In this work, we present a method to estimate heterogeneous causal effects using an instrumental variable approach. The method has two parts. The first part uses subject-matter knowledge and interpretable machine learning techniques, such as classification and regression trees, to discover potential effect modifiers. The second part uses closed testing to test for the statistical significance of the effect modifiers while strongly controlling familywise error rate. We conducted this method on the Oregon Health Insurance Experiment, estimating the effect of Medicaid on the number of days an individual's health does not impede their usual activities, and found evidence of heterogeneity in older men who prefer English and don't self-identify as Asian and younger individuals who have at most a high school diploma or GED and prefer English.


title: Performance of Devito on HPC-Optimised ARM Processors

abstract: We evaluate the performance of Devito, a domain specific language (DSL) for finite differences on Arm ThunderX2 processors. Experiments with two common seismic computational kernels demonstrate that Arm processors can deliver competitive performance compared to other Intel Xeon processors.


title: $C^{2,\alpha}$ estimates for solutions to almost linear elliptic equations

abstract: In this paper, we show $C^{2,\alpha}$ interior estimates for viscosity solutions of fully non-linear, uniformly elliptic equations, which are close to linear equations and we also compute an explicit bound for the closeness.


title: Origin of Stripe and Quasi-Stripe CDW Structures in Monolayer MX$ _2$ compounds: Multivalley Free Energy Landscape

abstract: Ultrathin sheets of transition metal dichalcogenides (MX$ _2$) with charge density waves (CDWs) is increasingly gaining interest as a promising candidate for graphene-like devices. Although experimental data including stripe/quasi-stripe structure and hidden states have been reported, the ground state of ultrathin MX$ _2$ compounds and, in particular, the origin of anisotropic (stripe and quasi-stripe) CDW phases is a long-standing problem. Anisotropic CDW phases have been explained by Coulomb interaction between domain walls and inter-layer interaction. However, these models assume that anisotropic domain walls can exist in the first place. Here, we report that anisotropic CDW domain walls can appear naturally without assuming anisotropic interactions: We explain the origin of these phases by topological defect theory (line defects in a two-dimensional plane) and interference between harmonics of macroscopic CDW wave functions. We revisit the McMillan-Nakanishi-Shiba model for monolayer 1$T$-TaS$ _2$ and 2$H$-TaSe$ _2$ and show that CDWs with wave vectors that are separated by $120^\circ$ (i.e. the three-fold rotation symmetry of the underlying lattice) contain a free-energy landscape with many local minima. Then, we remove this $120^\circ$ constraint and show that free energy local minima corresponding to the stripe and quasi-stripe phase appear. Our results imply that Coulomb interaction between domain walls and inter-layer interaction may be secondary factors for the appearance of these phases. Furthermore, this model can predict new CDW phases, hence it may become the basis to study CDW further. We anticipate our results to be a starting point for further study in two-dimensional physics, such as explanation of "Hidden CDW states", study the interplay between supersolid symmetry and lattice symmetry, and application to other van der Waals structures.


title: Estimation of the Number of Components of Non-Parametric Multivariate Finite Mixture Models

abstract: We propose a novel estimator for the number of components (denoted by $M$) in a K-variate non-parametric finite mixture model, where the analyst has repeated observations of $K\geq2$ variables that are independent given a finitely supported unobserved variable. Under a mild assumption on the joint distribution of the observed and latent variables, we show that an integral operator $T$, that is identified from the data, has rank equal to $M$. Using this observation, and the fact that singular values are stable under perturbations, the estimator of $M$ that we propose is based on a thresholding rule which essentially counts the number of singular values of a consistent estimator of $T$ that are greater than a data-driven threshold. We prove that our estimator of $M$ is consistent, and establish non-asymptotic results which provide finite sample performance guarantees for our estimator. We present a Monte Carlo study which shows that our estimator performs well for samples of moderate size.


title: Cosmological perturbations and dynamical analysis for interacting quintessence

abstract: We present the dynamical analysis for interacting quintessence, considering linear cosmological perturbations. Matter perturbations improve the background analysis and viable critical points describing the transition of the three cosmological eras are found. The stability of those fixed points are similar to previous studies in the literature, for both coupled and uncoupled cases, leading to a late-time attractor.


title: Discrete Measures and the Extended Riemann Hypothesis

abstract: In this work we show that the Riemann hypothesis for the Dedekind zeta--function $\zeta_{\mathrm{K}}(s)$ of an algebraic number field $\mathrm{K}$ is equivalent to a problem of the rate of convergence of certain discrete measures defined arithmetically on the multiplicative group of positive real numbers to the measure $\zeta_{\mathrm{K}}(2)^{-1}\kappa q dq $, where $\kappa$ denotes the residue of $\zeta_{\mathrm{K}}(s)$ at $s=1$ and $dq$ the Lebesgue measure.


title: Perfect matchings and Hamilton cycles in uniform attachment graphs

abstract: We study Hamilton cycles and perfect matchings in a uniform attachment graph. In this random graph, vertices are added sequentially, and when a vertex $t$ is created, it makes $k$ independent and uniform choices from $\{1,\dots,t-1\}$ and attaches itself to these vertices. Improving the results of Frieze, P\'erez-Gim\'enez, Pra\l{}at and Reiniger (2019), we show that, with probability approaching 1 as $n$ tends to infinity, a uniform attachment graph on $n$ vertices has a perfect matching for $k \ge 5$ and a Hamilton cycle for $k\ge 13$. One of the ingredients in our proofs is the identification of a subset of vertices that is least likely to expand, which provides us with better expansion rates than the existing ones.


title: Stereoscopic Observations of an Erupting Mini-filament Driven Two-Sided-Loop Jet and the Applications for Diagnosing Filament Magnetic field

abstract: The ubiquitous solar jets or jet-like activities are generally regarded as an important source of energy and mass input to the upper solar atmosphere and the solar wind. However, questions about their triggering and driving mechanisms are not completely understood. By taking advantage of high temporal and high spatial resolution stereoscopic observations taken by the Solar Dynamic Observatory (SDO) and the Solar Terrestrial Relations Observatory (STEREO), we report an intriguing two-sided-loop jet occurred on 2013 June 02, which was dynamically associated with the eruption of a mini-filament below an overlying large filament, and two distinct reconnection processes are identified during the formation stage. The SDO observations reveals that the two-sided-loop jet showed a concave shape with a projection speed of about 80 - 136. From the other view angle, the STEREO ahead observations clearly showed that the trajectory of the two arms of the two-sided-loop were along the cavity magnetic field lines hosting the large filament. Contrary to the well-accepted theoretical model, the present observation sheds new light on our understanding of the formation mechanism of two-sided-loop jets. Moreover, the eruption of the two-sided-loop jet not only supplied mass to the overlying large filament, but also provided a rare opportunity to diagnose the magnetic structure of the overlying large filament via the method of three-dimensional reconstruction.


title: Improved Coupling of Hydrodynamics and Nuclear Reactions via Spectral Deferred Corrections

abstract: Simulations in stellar astrophysics involve the coupling of hydrodynamics and nuclear reactions under a wide variety of conditions, from simmering convective flows to explosive nucleosynthesis. Numerical techniques such as operator splitting (most notably Strang splitting) are usually employed to couple the physical processes, but this can affect the accuracy of the simulation, particularly when the burning is vigorous. Furthermore, Strang splitting does not have a straightforward extension to higher-order integration in time. We present a new temporal integration strategy based on spectral deferred corrections and describe the second- and fourth-order implementations in the open-source, finite-volume, compressible hydrodynamics code Castro. One notable advantage to these schemes is that they combine standard low-order discretizations for individual physical processes in a way that achieves an arbitrarily high order of accuracy. We demonstrate the improved accuracy of the new methods on several test problems of increasing complexity.


title: Terahertz sensing of 7nm dielectric film with bound states in the continuum metasurfaces

abstract: Fingerprint spectral response of several materials with terahertz electromagnetic radiation indicates that terahertz technology is an effective tool for sensing applications. However, sensing few nanometer thin-film of dielectrics with much longer terahertz waves (1 THz = 0.3 mm) is challenging. Here, we demonstrate a quasi-bound state in the continuum (BIC) resonance for sensing of nanometer scale thin analyte deposited on a flexible metasurface. The large sensitivity originates from strong local field confinement of the quasi-BIC Fano resonance state and extremely low absorption loss of a low-index cyclic olefin copolymer substrate. A minimum thickness of 7 nm thin-film of germanium is sensed on the metasurface, which corresponds to a deep subwavelength length scale of {\lambda}/43000, where {\lambda} is the resonance wavelength. The low-loss, flexible and large mechanical strength of the quasi-BIC micro structured metamaterial sensor could be an ideal platform for developing ultrasensitive wearable terahertz sensors.


title: The Hubble Hunter's Guide

abstract: Measurements of the Hubble constant, and more generally measurements of the expansion rate and distances over the interval $0 < z < 1$, appear to be inconsistent with the predictions of the standard cosmological model ($\Lambda$CDM) given observations of cosmic microwave background temperature and polarization anisotropies. Here we consider a variety of types of departures from $\Lambda$CDM that could, in principle, restore concordance among these datasets, and we explain why we find almost all of them unlikely to be successful. We single out the set of solutions that increase the expansion rate in the decade of scale factor expansion just prior to recombination as the least unlikely. These solutions are themselves tightly constrained by their impact on photon diffusion and on the gravitational driving of acoustic oscillations of the modes that begin oscillating during this epoch -- modes that project on to angular scales that are very well measured. We point out that a general feature of such solutions is a residual to fits to $\Lambda$CDM, like the one observed in Planck power spectra. This residual drives the modestly significant inferences of angular-scale dependence to the matter density and anomalously high lensing power, puzzling aspects of a data set that is otherwise extremely well fit by $\Lambda$CDM.


title: Work-in-Progress: A Simulation Framework for Domain-Specific System-on-Chips

abstract: Heterogeneous system-on-chips (SoCs) have become the standard embedded computing platforms due to their potential to deliver superior performance and energy efficiency compared to homogeneous architectures. They can be particularly suited to target a specific domain of applications. However, this potential is contingent upon optimizing the SoC for the target domain and utilizing its resources effectively at run-time. Cycle-accurate instruction set simulators are not suitable for this optimization, since meaningful temperature and power consumption evaluations require simulating seconds, if not minutes, of workloads. This paper presents a system-level domain-specific SoC simulation (DS3) framework to address this need. DS3 enables both design space exploration and dynamic resource management for power-performance optimization for domain applications with$~600\times$ speedup compared to commonly used gem5 simulator. We showcase DS3 using five applications from wireless communications and radar processing domain. DS3, as well as the reference applications, will be shared as open-source software to stimulate research in this area.


title: Robust data-driven approach for predicting the configurational energy of high entropy alloys

abstract: High entropy alloys (HEAs) have been increasingly attractive as promising next-generation materials due to their various excellent properties. It's necessary to essentially characterize the degree of chemical ordering and identify order-disorder transitions through efficient simulation and modeling of thermodynamics. In this study, a robust data-driven framework based on Bayesian approaches is proposed and demonstrated on the accurate and efficient prediction of configurational energy of high entropy alloys. The proposed effective pair interaction (EPI) model with ensemble sampling is used to map the configuration and its corresponding energy. Given limited data calculated by first-principles calculations, Bayesian regularized regression not only offers an accurate and stable prediction but also effectively quantifies the uncertainties associated with EPI parameters. Compared with the arbitrary determination of model complexity, we further conduct a physical feature selection to identify the truncation of coordination shells in EPI model using Bayesian information criterion. The results achieve efficient and robust performance in predicting the configurational energy, particularly given small data. The developed methodology is applied to study a series of refractory HEAs, i.e. NbMoTaW, NbMoTaWV and NbMoTaWTi where it is demonstrated how dataset size affects the confidence we can place in statistical estimates of configurational energy when data are sparse.


title: An inverse random source problem for the time fractional diffusion equation driven by a fractional Brownian motion

abstract: This paper is concerned with the mathematical analysis of the inverse random source problem for the time fractional diffusion equation, where the source is assumed to be driven by a fractional Brownian motion. Given the random source, the direct problem is to study the stochastic time fractional diffusion equation. The inverse problem is to determine the statistical properties of the source from the expectation and variance of the final time data. For the direct problem, we show that it is well-posed and has a unique mild solution under a certain condition. For the inverse problem, the uniqueness is proved and the instability is characterized. The major ingredients of the analysis are based on the properties of the Mittag--Leffler function and the stochastic integrals associated with the fractional Brownian motion.


title: Contrasting pressure evolutions of $f$ electron hybridized states in CeRhIn$_5$ and YbNi$_3$Ga$_9$: an optical conductivity study

abstract: Optical conductivity [$\sigma(\omega)$] of CeRhIn$_5$ and YbNi$_3$Ga$_9$ have been measured at external pressures to 10 GPa and at low temperatures to 6 K. Regarding CeRhIn$_5$, at ambient pressure the main feature in $\sigma(\omega)$ is a Drude peak due to free carriers. With increasing pressure, however, a characteristic mid-infrared (mIR) peak rapidly develops in $\sigma(\omega)$, and its peak energy and width increase with pressure. These features are consistent with an increased conduction ($c$)-$f$ electron hybridization at high pressure, and show that the pressure has tuned the electronic state of CeRhIn$_5$ from very weakly to strongly hybridized ones. As for YbNi$_3$Ga$_9$, in contrast, a marked mIR peak is observed already at ambient pressure, indicating a strong $c$-$f$ hybridization. At high pressures, however, the mIR peak shifts to lower energy and becomes diminished, and seems merged with the Drude component at 10 GPa. Namely, CeRhIn$_5$ and YbNi$_3$Ga$_9$ exhibit some opposite tendencies in the pressure evolutions of $\sigma(\omega)$ and electronic structures. These results are discussed in terms of the pressure evolutions of $c$-$f$ hybridized electronic states in Ce and Yb compounds, in particular in terms of the electron-hole symmetry often considered between Ce and Yb compounds.


title: Edge Computing for User-Centric Secure Search on Cloud-Based Encrypted Big Data

abstract: Cloud service providers offer a low-cost and convenient solution to host unstructured data. However, cloud services act as third-party solutions and do not provide control of the data to users. This has raised security and privacy concerns for many organizations (users) with sensitive data to utilize cloud-based solutions. User-side encryption can potentially address these concerns by establishing user-centric cloud services and granting data control to the user. Nonetheless, user-side encryption limits the ability to process (e.g., search) encrypted data on the cloud. Accordingly, in this research, we provide a framework that enables processing (in particular, searching) of encrypted multi-organizational (i.e., multi-source) big data without revealing the data to cloud provider. Our framework leverages locality feature of edge computing to offer a user-centric search ability in a real-time manner. In particular, the edge system intelligently predicts the user's search pattern and prunes the multi-source big data search space to reduce the search time. The pruning system is based on efficient sampling from the clustered big dataset on the cloud. For each cluster, the pruning system dynamically samples appropriate number of terms based on the user's search tendency, so that the cluster is optimally represented. We developed a prototype of a user-centric search system and evaluated it against multiple datasets. Experimental results demonstrate 27% improvement in the pruning quality and search accuracy.


title: A Survey of Tuning Parameter Selection for High-dimensional Regression

abstract: Penalized (or regularized) regression, as represented by Lasso and its variants, has become a standard technique for analyzing high-dimensional data when the number of variables substantially exceeds the sample size. The performance of penalized regression relies crucially on the choice of the tuning parameter, which determines the amount of regularization and hence the sparsity level of the fitted model. The optimal choice of tuning parameter depends on both the structure of the design matrix and the unknown random error distribution (variance, tail behavior, etc). This article reviews the current literature of tuning parameter selection for high-dimensional regression from both theoretical and practical perspectives. We discuss various strategies that choose the tuning parameter to achieve prediction accuracy or support recovery. We also review several recently proposed methods for tuning-free high-dimensional regression.


title: Optimal charging guidance strategies for electric vehicles by considering dynamic charging requests in a time-varying road network

abstract: Electric vehicles (EVs) have enjoyed increasing adoption because of the global concerns about the petroleum dependence and greenhouse gas emissions. However, their limited driving range fosters the occurrence of charging requests deriving from EV drivers in urban road networks, which have significant uncertain characteristic from time dimension in the real-world situation. To tackle the challenge brought by the dynamic charging requests, this study is devoted to proposing optimal strategies to provide guidance for EV charging. The time-varying characteristic of road network is further involved in the problem formulation. Based on the charging request information, we propose two charging guidance strategies from different perspectives. One of the strategies considers the travel demands of EV drivers and uses the driving distance as the optimization criterion. In contrast, the other strategy focuses on the impacts of EV number on the charging station operation and service satisfaction. The reachable charging stations with minimum vehicle number are selected as the optimal ones. More importantly, both the strategies have the ability to ensure the reachability of selected charging stations in a time-varying road network. In addition, we conduct simulation examples to investigate the performance of the proposed charging guidance strategies. Besides, the insights and recommendations on application scenarios of the strategies are introduced according to the simulation results under various parameter scenarios.


title: Deep ensemble network with explicit complementary model for accuracy-balanced classification

abstract: The average accuracy is one of major evaluation metrics for classification systems, while the accuracy deviation is another important performance metric used to evaluate various deep neural networks. In this paper, we present a new ensemble-like fast deep neural network, Harmony, that can reduce the accuracy deviation among categories without degrading overall average accuracy. Harmony consists of three sub-models, namely, Target model, Complementary model, and Conductor model. In Harmony, an object is classified by using either Target model or Complementary model. Target model is a conventional classification network for general categories, while Complementary model is a classification network especially for weak categories that are inaccurately classified by Target model. Conductor model is used to select one of two models. Experimental results demonstrate that Harmony accurately classifies categories, while it reduces the accuracy deviation among the categories.


title: Higher signs for Coxeter groups

abstract: We define and study cocycles on a Coxeter group in each degree generalizing the sign function. When the Coxeter group is a Weyl group, we explain how the degree three cocycle arises naturally from geometry representation theory.


title: Recent Advances in Deep Learning for Object Detection

abstract: Object detection is a fundamental visual recognition problem in computer vision and has been widely studied in the past decades. Visual object detection aims to find objects of certain target classes with precise localization in a given image and assign each object instance a corresponding class label. Due to the tremendous successes of deep learning based image classification, object detection techniques using deep learning have been actively studied in recent years. In this paper, we give a comprehensive survey of recent advances in visual object detection with deep learning. By reviewing a large body of recent related work in literature, we systematically analyze the existing object detection frameworks and organize the survey into three major parts: (i) detection components, (ii) learning strategies, and (iii) applications & benchmarks. In the survey, we cover a variety of factors affecting the detection performance in detail, such as detector architectures, feature learning, proposal generation, sampling strategies, etc. Finally, we discuss several future directions to facilitate and spur future research for visual object detection with deep learning. Keywords: Object Detection, Deep Learning, Deep Convolutional Neural Networks


title: A complete OSV-MP2 analytical gradient theory for molecular structure and dynamics simulations

abstract: We propose an exact algorithm for computing the analytical gradient within the framework of the orbital-specific-virtual (OSV) second-order M{\o}ller-Plesset (MP2) theory in resolution-of-identity (RI) approximation. We implement the exact relaxation of perturbed OSVs through the explicit constraints of the perturbed orthonormality, the perturbed diagonality and the perturbed singular value condition. We explicitly show that the rotation of OSVs within the retained OSV subspace makes no contribution to gradients, as long as the iterative solution of the unperturbed Hylleraas residual equation is well converged. The OSV relaxation is solved as the perturbed non-degenerate singular value problem between the retained and discarded OSV subspaces. The detailed derivation and preliminary implementations for gradient working equations are discussed. The coupled-perturbed localization method is implemented for meta-L\"owdin localization function. The numerical accuracy of computed OSV-MP2 gradients is demonstrated for the geometries of selected molecules that are often discussed in other theories. Moreover, the OSV-MP2 analytical gradients can generate atomic forces that are utilized to drive the Born-Oppenheimer molecular dynamics (BOMD) simulation for studying structural and vibrational properties with respect to OSV selections. By performing the OSV-MP2 NVE BOMD calculation using the normal OSV selection, the structural and vibrational details of protonated water cations are well reproduced. The 200 picoseconds NVT well-tempered metadynamics at 300 K has been simulated to compute the OSV-MP2 rotational free energy surface of coupled hydroxyl and methyl rotors for ethanol molecule.


title: Unconstrained Foreground Object Search

abstract: Many people search for foreground objects to use when editing images. While existing methods can retrieve candidates to aid in this, they are constrained to returning objects that belong to a pre-specified semantic class. We instead propose a novel problem of unconstrained foreground object (UFO) search and introduce a solution that supports efficient search by encoding the background image in the same latent space as the candidate foreground objects. A key contribution of our work is a cost-free, scalable approach for creating a large-scale training dataset with a variety of foreground objects of differing semantic categories per image location. Quantitative and human-perception experiments with two diverse datasets demonstrate the advantage of our UFO search solution over related baselines.


title: Law of the Iterated Logarithm and Model Selection Consistency for GLMs with Independent and Dependent Responses

abstract: We study the law of the iterated logarithm (LIL) for the maximum likelihood estimation of the parameters (as a convex optimization problem) in the generalized linear models with independent or weakly dependent ($\rho$-mixing, $m$-dependent) responses under mild conditions. The LIL is useful to derive the asymptotic bounds for the discrepancy between the empirical process of the log-likelihood function and the true log-likelihood. As the application of the LIL, the strong consistency of some penalized likelihood based model selection criteria can be shown. Under some regularity conditions, the model selection criterion will be helpful to select the simplest correct model almost surely when the penalty term increases with model dimension and the penalty term has an order higher than $O({\rm{loglog}}n)$ but lower than $O(n)$. Simulation studies are implemented to verify the selection consistency of BIC.


title: The frequency-dependent behaviour of subpulse drifting: I. Carousel geometry and emission heights of PSR B0031-07

abstract: The carousel model of pulsar emission attributes the phenomenon of subpulse drifting to a set of discrete sparks located very near the stellar surface rotating around the magnetic axis. Here, we investigate the subpulse drifting behaviour of PSR B0031-07 in the context of the carousel model. We show that B0031-07's three drift modes (A, B, and C) can be understood in terms of a single carousel rotation rate if the number of sparks is allowed to change by an integral number, and where the different drift rates are due to (first-order) aliasing effects. This also results in harmonically-related values for P 3 (the time it takes a subpulse to reappear at the same pulse phase), which we confirm for B0031-07. A representative solution has [n_A, n_B, n_C] = [15, 14, 13] sparks and a carousel rotation period of P_4 = 16.4 P_1. We also investigate the frequency dependence of B0031-07's subpulse behaviour. We extend the carousel model to include the dual effects of aberration and retardation, including the time it takes the information about the surface spark configuration to travel from the surface up to the emission point. Assuming these effects dominate at B0031-07's emission heights, we derive conservative emission height differences of $\lesssim 2000$ km for mode A and $\lesssim 1000$ km for modes B and C as seen between 185 MHz and 610 MHz. This new method of measuring emission heights is independent of others that involve average profile components or the polarisation position angle curve, and thus provides a potentially strong test of the carousel model.


title: Interference Exploitation 1-Bit Massive MIMO Precoding: A Partial Branch-and-Bound Solution with Near-Optimal Performance

abstract: In this paper, we focus on 1-bit precoding approaches for downlink massive multiple-input multiple-output (MIMO) systems, where we exploit the concept of constructive interference (CI). For both PSK and QAM signaling, we firstly formulate the optimization problem that maximizes the CI effect subject to the requirement of the 1-bit transmit signals. We then mathematically prove that, when employing the CI formulation and relaxing the 1-bit constraint, the majority of the transmit signals already satisfy the 1-bit formulation. Building upon this important observation, we propose a 1-bit precoding approach that further improves the performance of the conventional 1-bit CI precoding via a partial branch-and-bound (P-BB) process, where the BB procedure is performed only for the entries that do not comply with the 1-bit requirement. This operation allows a significant complexity reduction compared to the fully-BB (F-BB) process, and enables the BB framework to be applicable to the complex massive MIMO scenarios. We further develop an alternative 1-bit scheme through an `Ordered Partial Sequential Update' (OPSU) process that allows an additional complexity reduction. Numerical results show that both proposed 1-bit precoding methods exhibit a significant signal-to-noise ratio (SNR) gain for the error rate performance, especially for higher-order modulations.


title: Distance Map Loss Penalty Term for Semantic Segmentation

abstract: Convolutional neural networks for semantic segmentation suffer from low performance at object boundaries. In medical imaging, accurate representation of tissue surfaces and volumes is important for tracking of disease biomarkers such as tissue morphology and shape features. In this work, we propose a novel distance map derived loss penalty term for semantic segmentation. We propose to use distance maps, derived from ground truth masks, to create a penalty term, guiding the network's focus towards hard-to-segment boundary regions. We investigate the effects of this penalizing factor against cross-entropy, Dice, and focal loss, among others, evaluating performance on a 3D MRI bone segmentation task from the publicly available Osteoarthritis Initiative dataset. We observe a significant improvement in the quality of segmentation, with better shape preservation at bone boundaries and areas affected by partial volume. We ultimately aim to use our loss penalty term to improve the extraction of shape biomarkers and derive metrics to quantitatively evaluate the preservation of shape.


title: D=11 cosmologies with teleparallel structure

abstract: The presence of additional compact dimensions in cosmological models is studied in the context of modified teleparallel theories of gravity. We focus the analysis on eleven dimensional spacetimes, where the seven dimensional extra dimensions are compactified. In particular, and due to the importance that global vector fields play within the conceptual body of teleparallel modified gravity models, we consider the additional dimensions to be products of parallelizable spheres. The global vector fields characterizing the different topologies are obtained, as well as the equations of motion associated to them. Using global dynamical system techniques, we discuss some physical consequences arising because of the existence of the extra dimensions. In particular, the possibility of having an early inflationary epoch driven by the presence of extra dimensions without other matter sources is discussed.


title: An energy stable $C^0$ finite element scheme for a quasi-incompressible phase-field model of moving contact line with variable density

abstract: In this paper, we focus on modeling and simulation of two-phase flow with moving contact lines and variable density. A thermodynamically consistent phase-field model with General Navier Boundary Condition is developed based on the concept of quasi-incompressibility and the energy variational method. Then a mass conserving and energy stable C0 finite element scheme is developed to solve the PDE system. Various numerical simulation results show that the proposed schemes are mass conservative, energy stable and the 2nd order for P1 element and 3rd order for P2 element convergence rate in the sense of L2 norm.


title: Natural-Logarithm-Rectified Activation Function in Convolutional Neural Networks

abstract: Activation functions play a key role in providing remarkable performance in deep neural networks, and the rectified linear unit (ReLU) is one of the most widely used activation functions. Various new activation functions and improvements on ReLU have been proposed, but each carry performance drawbacks. In this paper, we propose an improved activation function, which we name the natural-logarithm-rectified linear unit (NLReLU). This activation function uses the parametric natural logarithmic transform to improve ReLU and is simply defined as. NLReLU not only retains the sparse activation characteristic of ReLU, but it also alleviates the "dying ReLU" and vanishing gradient problems to some extent. It also reduces the bias shift effect and heteroscedasticity of neuron data distributions among network layers in order to accelerate the learning process. The proposed method was verified across ten convolutional neural networks with different depths for two essential datasets. Experiments illustrate that convolutional neural networks with NLReLU exhibit higher accuracy than those with ReLU, and that NLReLU is comparable to other well-known activation functions. NLReLU provides 0.16% and 2.04% higher classification accuracy on average compared to ReLU when used in shallow convolutional neural networks with the MNIST and CIFAR-10 datasets, respectively. The average accuracy of deep convolutional neural networks with NLReLU is 1.35% higher on average with the CIFAR-10 dataset.


title: Quantum Photonic Node for On-Chip State Transfer

abstract: Integrated quantum photonics hold the promise to scale up the system size and form an on-chip quantum network with distributed information processing and simulation units. An outstanding need of such quantum network is to have high fidelity and efficiency on-chip state transfer between distant nodes. Although the nodes are naturally connected via waveguides, it is challenging to fulfill this need because stringent conditions such as spatial mode-matching configuration and time-reversal symmetry have to be satisfied. Here we report a type of quantum photonic nodes consisting of single quantum emitters and cascaded microring resonators for on-chip state transfer. By interfacing the node with a waveguide, we show that all the emission from the node can be funneled into the waveguide and its temporal profile can be synthesized to be time-reversal symmetric. We demonstrate theoretically on-chip quantum state transfer between two distant nodes with near-unity overall success rate can be achieved without any dynamic control. Moreover, we discuss the experimental implementation of our scheme with CMOS compatible integrated photonic platforms and solid-state quantum optics techniques.


title: Bayesian Loss for Crowd Count Estimation with Point Supervision

abstract: In crowd counting datasets, each person is annotated by a point, which is usually the center of the head. And the task is to estimate the total count in a crowd scene. Most of the state-of-the-art methods are based on density map estimation, which convert the sparse point annotations into a "ground truth" density map through a Gaussian kernel, and then use it as the learning target to train a density map estimator. However, such a "ground-truth" density map is imperfect due to occlusions, perspective effects, variations in object shapes, etc. On the contrary, we propose \emph{Bayesian loss}, a novel loss function which constructs a density contribution probability model from the point annotations. Instead of constraining the value at every pixel in the density map, the proposed training loss adopts a more reliable supervision on the count expectation at each annotated point. Without bells and whistles, the loss function makes substantial improvements over the baseline loss on all tested datasets. Moreover, our proposed loss function equipped with a standard backbone network, without using any external detectors or multi-scale architectures, plays favourably against the state of the arts. Our method outperforms previous best approaches by a large margin on the latest and largest UCF-QNRF dataset. The source code is available at \url{https://github.com/ZhihengCV/Baysian-Crowd-Counting}.


title: Three-species predator-prey model with respect to Caputo and Caputo-Fabrizio fractional operators

abstract: We study distributed lag effects in three-dimensional Lotka-Volterra systems by applying the concept of fractional calculus. We derive a new numerical method that provides enhanced stability for the Caputo-Fabrizio operator based on Adams-Bashforth method, considering non-singular kernel in the definition of Caputo-Fabrizio operator. We investigate the stability conditions of this system with comparisons to the Caputo fractional derivative. Numerical results show that the type of differential operators and the value of orders significantly influence the stability of the numerical solution, and dynamics of the Lotka-Volterra system.


title: Shuyi, A Name After Dendritic Cell-mediated Immunological Memory

abstract: Immunological memory is a fundamental theory of modern immunology, which is traditionally believed to be mediated only by B and T lymphocytes that recognize antigen epitopes in a receptor-restricted manner. During the last decade data accumulated to show that monocytes and macrophages, the two main initiators of innate immune response, also built up a "memory" to antigens they encountered, though in most concerned publications a different wording (i.e. "train" or"educate") was utilized to describe this feature. More recently, Hole et al demonstrated a "memory-like" response of dendritic cells (DCs). In brief, if fungal-challenged mice could develop a protective immune response, DCs immediately (in 3 weeks) isolated from those mice would manifest a pro-inflammatory phenotype. Even after the mice were allowed to rest for 10 weeks, DCs from them still exhibited an enhanced immune activation profile in their transcriptome and cytokine productions upon re-challenge with same pathogens. Lastly, Hole showed that the "training" or memory-building in DCs was achieved by histone modification. All above findings obtained in monocytes, macrophages or DCs emphasized the necessity for rechecking the questions whether antigen presenting cells (APCs) as a whole could be classified the third class of cells that would mediate immunological memory. In this essay, the author described the effort he made in late 1990s to identify dendtitic cell-mediated memory, and how he named his daughter SHUYI to memorize that hypothesis.


title: Color-Coded Fiber-Optic Tactile Sensor for an Elastomeric Robot Skin

abstract: The sense of touch is essential for reliable mapping between the environment and a robot which interacts physically with objects. Presumably, an artificial tactile skin would facilitate safe interaction of the robots with the environment. In this work, we present our color-coded tactile sensor, incorporating plastic optical fibers (POF), transparent silicone rubber and an off-the-shelf color camera. Processing electronics are placed away from the sensing surface to make the sensor robust to harsh environments. Contact localization is possible thanks to the lower number of light sources compared to the number of camera POFs. Classical machine learning techniques and a hierarchical classification scheme were used for contact localization. Specifically, we generated the mapping from stimulation to sensation of a robotic perception system using our sensor. We achieved a force sensing range up to 18 N with the force resolution of around 3.6~N and the spatial resolution of 8~mm. The color-coded tactile sensor is suitable for tactile exploration and might enable further innovations in robust tactile sensing.


title: Lagrangian Dynamic Mode Decomposition for Construction of Reduced-Order Models of Advection-Dominated Phenomena

abstract: Proper orthogonal decomposition (POD) and dynamic mode decomposition (DMD) are two complementary singular-value decomposition (SVD) techniques that are widely used to construct reduced-order models (ROMs) in a variety of fields of science and engineering. Despite their popularity, both DMD and POD struggle to formulate accurate ROMs for advection-dominated problems because of the nature of SVD-based methods. We investigate this shortcoming of conventional POD and DMD methods formulated within the Eulerian framework. Then we propose a Lagrangian-based DMD method to overcome this so-called translational issues. Our approach is consistent with the spirit of physics-aware DMD since it accounts for the evolution of characteristic lines. Several numerical tests are presented to demonstrate the accuracy and efficiency of the proposed Lagrangian DMD method.


title: Excited quantum Hall effect: enantiomorphic flat bands in a Yin-Yang Kagome lattice

abstract: Quantum Hall effect (QHE) is one of the most fruitful research topics in condensed-matter physics. Ordinarily, the QHE manifests in a ground state with time-reversal symmetry broken by magnetization to carry a quantized chiral edge conductivity around a two-dimensional insulating bulk. We propose a theoretical concept and model of non-equilibrium excited-state QHE (EQHE) without intrinsic magnetization. It arises from circularly polarized photoexcitation between two enantiomorphic flat bands of opposite chirality, each supporting originally a helical topological insulating state hosted in a Yin-Yang Kagome lattice. The chirality of its edge state can be reversed by the handedness of light, instead of the direction of magnetization as in the conventional quantum (anomalous) Hall effect, offering a simple switching mechanism for quantum devices. Implications and realization of EQHE in real materials are discussed.


title: Adaptive RBF Interpolation for Estimating Missing Values in Geographical Data

abstract: The quality of datasets is a critical issue in big data mining. More interesting things could be mined from datasets with higher quality. The existence of missing values in geographical data would worsen the quality of big datasets. To improve the data quality, the missing values are generally needed to be estimated using various machine learning algorithms or mathematical methods such as approximations and interpolations. In this paper, we propose an adaptive Radial Basis Function (RBF) interpolation algorithm for estimating missing values in geographical data. In the proposed method, the samples with known values are considered as the data points, while the samples with missing values are considered as the interpolated points. For each interpolated point, first, a local set of data points are adaptively determined. Then, the missing value of the interpolated point is imputed via interpolating using the RBF interpolation based on the local set of data points. Moreover, the shape factors of the RBF are also adaptively determined by considering the distribution of the local set of data points. To evaluate the performance of the proposed method, we compare our method with the commonly used k Nearest Neighbors (kNN) interpolation and Adaptive Inverse Distance Weighted (AIDW) methods, and conduct three groups of benchmark experiments. Experimental results indicate that the proposed method outperforms the kNN interpolation and AIDW in terms of accuracy, but worse than the kNN interpolation and AIDW in terms of efficiency.


title: Finite generation and holomorphic anomaly equation for equivariant Gromov-Witten invariants of $K_{\mathbb{P}^1\times\mathbb{P}^1}$

abstract: In this paper, we prove finite generation property and holomorphic anomaly equation for the equivariant Gromov-Witten theory of $K_{\mathbb{P}^1\times\mathbb{P}^1}$.


title: User independent Emotion Recognition with Residual Signal-Image Network

abstract: User independent emotion recognition with large scale physiological signals is a tough problem. There exist many advanced methods but they are conducted under relatively small datasets with dozens of subjects. Here, we propose Res-SIN, a novel end-to-end framework using Electrodermal Activity(EDA) signal images to classify human emotion. We first apply convex optimization-based EDA (cvxEDA) to decompose signals and mine the static and dynamic emotion changes. Then, we transform decomposed signals to images so that they can be effectively processed by CNN frameworks. The Res-SIN combines individual emotion features and external emotion benchmarks to accelerate convergence. We evaluate our approach on the PMEmo dataset, the currently largest emotional dataset containing music and EDA signals. To the best of author's knowledge, our method is the first attempt to classify large scale subject-independent emotion with 7962 pieces of EDA signals from 457 subjects. Experimental results demonstrate the reliability of our model and the binary classification accuracy of 73.65% and 73.43% on arousal and valence dimension can be used as a baseline.


title: Semi-Supervised Multi-Task Learning With Chest X-Ray Images

abstract: Discriminative models that require full supervision are inefficacious in the medical imaging domain when large labeled datasets are unavailable. By contrast, generative modeling---i.e., learning data generation and classification---facilitates semi-supervised training with limited labeled data. Moreover, generative modeling can be advantageous in accomplishing multiple objectives for better generalization. We propose a novel multi-task learning model for jointly learning a classifier and a segmentor, from chest X-ray images, through semi-supervised learning. In addition, we propose a new loss function that combines absolute KL divergence with Tversky loss (KLTV) to yield faster convergence and better segmentation performance. Based on our experimental results using a novel segmentation model, an Adversarial Pyramid Progressive Attention U-Net (APPAU-Net), we hypothesize that KLTV can be more effective for generalizing multi-tasking models while being competitive in segmentation-only tasks.


title: High-girth near-Ramanujan graphs with localized eigenvectors

abstract: We show that for every prime $d$ and $\alpha\in (0,1/6)$, there is an infinite sequence of $(d+1)$-regular graphs $G=(V,E)$ with girth at least $2\alpha \log_{d}(|V|)(1-o_d(1))$, second adjacency matrix eigenvalue bounded by $(3/\sqrt{2})\sqrt{d}$, and many eigenvectors fully localized on small sets of size $O(|V|^\alpha)$. This strengthens the results of Ganguly-Srivastava, who constructed high girth (but not expanding) graphs with similar properties, and may be viewed as a discrete analogue of the "scarring" phenomenon observed in the study of quantum ergodicity on manifolds. Key ingredients in the proof are a technique of Kahale for bounding the growth rate of eigenfunctions of graphs, discovered in the context of vertex expansion and a method of Erd\H{o}s and Sachs for constructing high girth regular graphs.


title: Towards degeneracy breaking of early universe models

abstract: There are many possibilities of scenarios in the early universe, which can give rise to the same observational signals due to the degeneracy among each other, caused by equivalence under the conformal transformations. In order to break the degeneracy, in this paper we take into account the so-called "frame-invariant variables" proposed by A. Ijjas and P. J. Steinhardt in \cite{Ijjas:2015zma}. We discuss how the different scenarios will distribute in different parametric space constructed from those variables, waiting for the judgement of real observations in the future. Several concrete models with explicit non-minimal coupling functions are also discussed.


title: Quasi-spectral characterization of intracellular regions in bright-field light microscopy images

abstract: Investigation of cell structure is hardly imaginable without bright-field microscopy. Numerous modifications such as depth-wise scanning or videoenhancement make this method being state-of-the-art. This raises a question what maximal information can be extracted from ordinary (but well acquired) bright-field images in a model-free way. Here we introduce a method of a physically correct extraction of features for each pixel when these features resemble a transparency spectrum. The method is compatible with existent ordinary bright-field microscopes and requires mathematically sophisticated data processing. Unsupervised clustering of the spectra yields reasonable semantic segmentation of unstained living cells without any a priori information about their structures. Despite the lack of reference data (to prove strictly that the proposed feature vectors coincide with transparency), we believe that this method is the right approach to an intracellular (semi)quantitative and qualitative chemical analysis.


title: Gradient estimates for the Allen-Cahn equation on Riemannian manifolds

abstract: In this paper, we consider bounded positive solutions to the Allen-Cahn equation on complete noncompact Riemannian manifolds without boundary. We derive gradient estimates for those solutions. As an application, we get a Liouville type theorem on manifolds with nonnegative Ricci curvature.


title: Sivers Asymmetry in Photoproduction of $J/\psi$ and Jet at the EIC

abstract: We calculate the Sivers asymmetry in the photoproduction of almost back-to-back $J/\psi$-jet pair in the process $ep^\uparrow \to J/\psi+\mathrm{jet}+X$, which will be possible at the future planned electron-ion collider (EIC). We use the framework of generalized parton model (GPM), and NRQCD for calculating the $J/\psi$ production rate. We include contributions from both color singlet and color octate states in the asymmetry. We obtain sizable Sivers asymmetry that can be promising to determine the gluon Sivers function. We also investigate the effect of TMD evolution on the asymmetry.


title: Nonlinear Dynamics from Linear Quantum Evolutions

abstract: Linear dynamics restricted to invariant submanifolds generally gives rise to nonlinear dynamics. Submanifolds in the quantum framework may emerge for several reasons: one could be interested in specific properties possessed by a given family of states, either as a consequence of experimental constraints or inside an approximation scheme. In this work we investigate such issues in connection with a one parameter group $\phi_t$ of transformations on a Hilbert space, $\mathcal{H}$, defining the unitary evolutions of a chosen quantum system. Two procedures will be presented: the first one consists in the restriction of the vector field associated with the Schr\"{o}dinger equation to a submanifold invariant under the flow $\phi_t$. The second one makes use of the Lagrangian formalism and can be extended also to non-invariant submanifolds, even if in such a case the resulting dynamics is only an approximation of the flow $\phi_t$. Such a result, therefore, should be conceived as a generalization of the variational method already employed for stationary problems.


title: Bound orbits near scalar field naked singularities

abstract: We study bound orbits near the centres of static, spherically symmetric, asymptotically flat configurations of a self-gravitating scalar field minimally coupled to gravity. In our approach, a nonlinear scalar field is considered as an idealized model of dark matter, and the main examples that we have in mind are the centres of galaxies. We consider both scalar field black holes (SFBHs) and scalar field naked singularities (SFNSs). It turns out that the shape and parameters of a bound orbit depend crucially on the type of configuration. The lapse metric function of a SFNS and, consequently, the effective potential of a massive test particle with zero angular momentum have a global minimum. A SFNS has a static degenerated orbit on which a test particle, having zero angular momentum and the minimum of its energy, remains at rest at all times. This implies that there exists a spherical shell consisting of cold gas or dust, which for a distant observer can look like the shadow of a black hole. We also study the shape of noncircular bound orbits close to the centres of SFNSs and show that their angles of precession are negative.


title: Boundary Effect-Aware Visual Tracking for UAV with Online Enhanced Background Learning and Multi-Frame Consensus Verification

abstract: Due to implicitly introduced periodic shifting of limited searching area, visual object tracking using correlation filters often has to confront undesired boundary effect. As boundary effect severely degrade the quality of object model, it has made it a challenging task for unmanned aerial vehicles (UAV) to perform robust and accurate object following. Traditional hand-crafted features are also not precise and robust enough to describe the object in the viewing point of UAV. In this work, a novel tracker with online enhanced background learning is specifically proposed to tackle boundary effects. Real background samples are densely extracted to learn as well as update correlation filters. Spatial penalization is introduced to offset the noise introduced by exceedingly more background information so that a more accurate appearance model can be established. Meanwhile, convolutional features are extracted to provide a more comprehensive representation of the object. In order to mitigate changes of objects' appearances, multi-frame technique is applied to learn an ideal response map and verify the generated one in each frame. Exhaustive experiments were conducted on 100 challenging UAV image sequences and the proposed tracker has achieved state-of-the-art performance.


title: Iterative optimization of photonic crystal nanocavity designs by using deep neural networks

abstract: Devices based on two-dimensional photonic-crystal (2D-PC) nanocavities, which are defined by their air hole patterns, usually require a high quality (Q) factor to achieve high performance. We demonstrate that hole patterns with very high Q factors can be efficiently found by the iteration procedure consisting of: machine learning of the relation between the hole pattern and the corresponding Q factor, and new dataset generation based on the regression function obtained by machine learning. First a dataset comprising randomly generated cavity structures and their first principles Q factors is prepared. Then a deep neural network is trained using the initial dataset to obtain a regression function that approximately predicts the Q factors from the structural parameters. Several candidates for higher Q factors are chosen by searching the parameter space using the regression function. After adding these new structures and their first principles Q factors to the training dataset, the above process is repeated. As an example, a standard silicon-based L3 cavity is optimized by this method. A cavity design with a high Q factor exceeding 11 million is found within 101 iteration steps and a total of 8070 cavity structures. This theoretical Q factor is more than twice of the previously reported record values of the cavity designs detected by the evolutionary algorithm and the leaky mode visualization method. It is found that structures with higher Q factors can be detected within less iteration steps by exploring not only the parameter space near the present highest-Q structure but also that distant from the present dataset.


title: Graphs related to $2$-dimensional simplex codes

abstract: We give a complete description of the distance relation on the graph of $4$-ary simplex codes of dimension $2$. This is a connected graph of diameter $3$. For every vertex we determine the sets of all vertices at distance $i\in\{1,2,3\}$ and describe their symmetries.


title: Canonical Quantization of Massive Symmetric Rank-Two Tensor in String Theory

abstract: The canonical quantization of a massive symmetric rank-two tensor in string theory, which contains two Stueckelberg fields, was studied. As a preliminary study, we performed a canonical quantization of the Proca model to describe a massive vector particle that shares common properties with the massive symmetric rank-two tensor model. By performing a canonical analysis of the Lagrangian, which describes the symmetric rank-two tensor, obtained by Siegel and Zwiebach (SZ) from string field theory, we deduced that the Lagrangian possesses only first class constraints that generate local gauge transformation. By explicit calculations, we show that the massive symmetric rank-two tensor theory is gauge invariant only in the critical dimension of open bosonic string theory, i.e., $d=26$. This emphasizes that the origin of local symmetry is the nilpotency of the Becchi-Rouet-Stora-Tyutin (BRST) operator, which is valid only in the critical dimension. For a particular gauge imposed on the Stueckelberg fields, the gauge-invariant Lagrangian of the SZ model reduces to the Fierz-Pauli Lagrangian of a massive spin-two particle. Thus, the Fierz-Pauli Lagrangian is a gauge-fixed version of the gauge-invariant Lagrangian for a massive symmetric rank-two tensor. By noting that the Fierz-Pauli Lagrangian is not suitable for studying massive spin-two particles with small masses, we propose the transverse-traceless (TT) gauge to quantize the SZ model as an alternative gauge condition. In the TT gauge, the two Stueckelberg fields can be decoupled from the symmetric rank-two tensor and integrated trivially. The massive spin-two particle can be described by the SZ model in the TT gauge, where the propagator of the massive spin-two particle has a well-defined massless limit.


title: Generalizing Co-operative Evaporation in Two-Dimensional Droplet Arrays

abstract: Sessile droplets exposed to an incipient condition lead to an inevitable loss of mass, which is critical in many practical applications. By considering an arbitrarily configured two-dimensional array of droplets, here we provide a simple generalized theoretical limit to their lifetime in an evaporating state. Notwithstanding the geometrical and physical complexity of the effective confinement generated due to their cooperative interactions, we show that the consequent evaporation characteristics may be remarkably insensitive to the topographical details of the overall droplet organization, for a wide range of droplet-substrate combinations. With subsequent deployment of particle-laden droplets, however, our results lead to the discovery of a unique pathway towards tailoring the internal flows within the collective system by harnessing an exclusive topologically-driven symmetry breaking phenomenon, yielding a new strategy of patterning particulate matters around the droplet array.


title: Exploiting temporal consistency for real-time video depth estimation

abstract: Accuracy of depth estimation from static images has been significantly improved recently, by exploiting hierarchical features from deep convolutional neural networks (CNNs). Compared with static images, vast information exists among video frames and can be exploited to improve the depth estimation performance. In this work, we focus on exploring temporal information from monocular videos for depth estimation. Specifically, we take the advantage of convolutional long short-term memory (CLSTM) and propose a novel spatial-temporal CSLTM (ST-CLSTM) structure. Our ST-CLSTM structure can capture not only the spatial features but also the temporal correlations/consistency among consecutive video frames with negligible increase in computational cost. Additionally, in order to maintain the temporal consistency among the estimated depth frames, we apply the generative adversarial learning scheme and design a temporal consistency loss. The temporal consistency loss is combined with the spatial loss to update the model in an end-to-end fashion. By taking advantage of the temporal information, we build a video depth estimation framework that runs in real-time and generates visually pleasant results. Moreover, our approach is flexible and can be generalized to most existing depth estimation frameworks. Code is available at: https://tinyurl.com/STCLSTM


title: Mutation Testing for Ethereum Smart Contract

abstract: Smart contract is a special program that manages digital assets on blockchain. It is difficult to recover the loss if users make transactions through buggy smart contracts, which cannot be directly fixed. Hence, it is important to ensure the correctness of smart contracts before deploying them. This paper proposes a systematic framework to mutation testing for smart contracts on Ethereum, which is currently the most popular open blockchain for deploying and running smart contracts. Fifteen novel mutation operators have been designed for Ethereum Smart Contracts (ESC), in terms of keyword, global variable/function, variable unit, and error handling. An empirical study on 26 smart contracts in four Ethereum DApps has been conducted to evaluate the effectiveness of mutation testing. The experimental results show that our approach can outperform the coverage-based approach on defect detection rate (96.01% vs. 55.68%). The ESC mutation operators are effective to reveal real defects and we found 117 out of 729 real bug reports are related to our operators. These show the great potential of using mutation testing for quality assurance of ESC.


title: Topological photonic integrated circuits based on valley kink states

abstract: Valley pseudospin, a new degree of freedom in photonic lattices, provides an intriguing way to manipulate photons and enhance the robustness of optical networks. Here we experimentally demonstrated topological waveguiding, refracting, resonating, and routing of valley-polarized photons in integrated circuits. Specifically, we show that at the domain wall between photonic crystals of different topological valley phases, there exists a topologically protected valley kink state that is backscattering-free at sharp bends and terminals. We further harnessed these valley kink states for constructing high-Q topological photonic crystal cavities with tortuously shaped cavity geometries. We also demonstrated a novel optical routing scheme at an intersection of multiple valley kink states, where light splits counterintuitively due to the valley pseudospin of photons. These results will not only lead to robust optical communication and signal processing, but also open the door for fundamental research of topological photonics in areas such as lasing, quantum photon-pair generation, and optomechanics.


title: Multielemental single-atom-thick A layers in nanolaminated V2(Sn, A)C (A=Fe, Co, Ni, Mn) for tailoring magnetic properties

abstract: Tailoring of individual single-atom-thick layers in nanolaminated materials offers atomic-level control over material properties. Nonetheless, multielement alloying in individual atomic layers in nanolaminates is largely unexplored. Here, we report a series of inherently nanolaminated V2(A'xSn1-x)C (A'=Fe, Co, Ni and Mn, and combinations thereof, with x=1/3) synthesized by an alloy-guided reaction. The simultaneous occupancy of the four magnetic elements and Sn, the individual single-atom-thick A layers in the compound constitute high-entropy-alloy analogues, two-dimensional in the sense that the alloying exclusively occurs in the A layers. V2(A'xSn1-x)C exhibit distinct ferromagnetic behavior that can be compositionally tailored from the multielement A-layer alloying. This two-dimensional alloying provides a structural-design route with expanded chemical space for discovering materials and exploit properties.


title: Solving of Regular Equations Revisited (extended version)

abstract: Solving of regular equations via Arden's Lemma is folklore knowledge. We first give a concise algorithmic specification of all elementary solving steps. We then discuss a computational interpretation of solving in terms of coercions that transform parse trees of regular equations into parse trees of solutions. Thus, we can identify some conditions on the shape of regular equations under which resulting solutions are unambiguous. We apply our result to convert a DFA to an unambiguous regular expression. In addition, we show that operations such as subtraction and shuffling can be expressed via some appropriate set of regular equations. Thus, we obtain direct (algebraic) methods without having to convert to and from finite automaton.


title: Derivative Formulas in Measure on Riemannian Manifolds

abstract: We characterise the link of derivatives in measure, which are introduced in [AKR,Card,ORS] respectively by different means, for functions on the space $\mathbb M$ of finite measures over a Riemannian manifold $M$. For a reasonable class of functions $f$, the extrinsic derivative $D^Ef$ coincides with the linear functional derivative $D^Ff$, the intrinsic derivative $D^If$ equals to the $L$-derivative $D^Lf$, and $$D^If(\eta)(x)= D^{L}f(\eta)(x)= \lim_{s\downarrow 0} \frac 1 s \nabla f(\eta+s \delta_\cdot)(x) = \nabla \big\{D^E f (\eta)\big\}(x), \ \ (x,\eta)\in M\times\mathbb M,$$ where $\nabla$ is the gradient on $M$, $\delta_x$ is the Dirac measure at $x$, and $$D^Ef(\eta)(x):= \lim\limits_{s\downarrow 0} \frac { f(\eta+s \delta_x)-f(\eta)} s,\ \ x\in M$$ is the extrinsic derivative of $f$ at $\eta\in \mathbb M$. This gives a simple way to calculate the intrinsic or $L$-derivative, and is extended to functions of probability measures. %This provides a simple way to calculate the intrinsic/Lions derivative.


title: Fitting dark matter mass with the radio continuum spectral data of the Ophiuchus cluster

abstract: Recent gamma-ray and anti-proton analyses suggest that dark matter with mass $m=48-67$ GeV annihilating via $b\bar{b}$ channel can explain the Galactic center GeV gamma-ray excess and the anti-proton excess as measured by AMS-02 simultaneously. In this article, by differentiating the contributions of dark matter annihilation and normal diffuse cosmic rays, we show that dark matter with mass $m=40-50$ GeV annihilating via $b\bar{b}$ channel with the thermal relic annihilation cross section can best explain the radio continuum spectrum of the central radio halo of the Ophiuchus cluster. This mass range, annihilation cross section, and the annihilation channel is completely consistent with the dark matter interpretations of the GeV gamma-ray excess and the anti-proton excess.


title: Convex Algebraic Geometry of Curvature Operators

abstract: We study the structure of the set of algebraic curvature operators satisfying a sectional curvature bound under the light of the emerging field of Convex Algebraic Geometry. More precisely, we determine in which dimensions $n$ this convex semialgebraic set is a spectrahedron or a spectrahedral shadow; in particular, for $n\geq5$, these give new counter-examples to the Helton--Nie Conjecture. Moreover, efficient algorithms are provided if $n=4$ to test membership in such a set. For $n\geq5$, algorithms using semidefinite programming are obtained from hierarchies of inner approximations by spectrahedral shadows and outer relaxations by spectrahedra.


title: Refined moves for structure-preserving isomorphism of graph C*-algebras

abstract: We formalize eight different notions of isomorphism among (unital) graph C*-algebras, and initiate the study of which of these notions may be described geometrically as generated by moves. We propose a list of seven types of moves that we conjecture has the property that the collection of moves respecting one of six notions of isomorphism indeed generate that notion, in the sense that two graphs are equivalent in that sense if and only if one may transform one into another using only these kinds of moves. We carefully establish invariance properties of each move on our list, and prove a collection of generation results supporting our conjecture with an emphasis on the gauge simple case. In two of the six cases, we may prove the conjecture in full generality, and in two we can show it for all graphs defining gauge simple C*-algebras. In the two remaining cases we can show the conjecture for all graphs defining gauge simple C*-algebras provided that they are either finite or have at most one vertex allowing a path back to itself.


title: Differentially Private Aggregated Mobility Data Publication Using Moving Characteristics

abstract: With the rapid development of GPS enabled devices (smartphones) and location-based applications, location privacy is increasingly concerned. Intuitively, it is widely believed that location privacy can be preserved by publishing aggregated mobility data, such as the number of users in an area at some time. However, a recent attack shows that these aggregated mobility data can be exploited to recover individual trajectories. In this paper, we first propose two differentially private basic schemes for aggregated mobility data publication, namely direct perturbation and threshold perturbation, which preserve location privacy of users and especially resist the trajectory recovery attack. Then, we explore the moving characteristics of mobile users, and design an improved scheme named static hybrid perturbation by combining the two basic schemes according to the moving characteristics. Since static hybrid perturbation works only for static data, which are entirely available before publishing, we further adapt the static hybrid perturbation by combining it with linear regression, and yield another improved scheme named dynamic hybrid perturbation. The dynamic hybrid perturbation works also for dynamic data, which are generated on the fly during publication. Privacy analysis shows that the proposed schemes achieve differential privacy. Extensive experiments on both simulated and real datasets demonstrate that all proposed schemes resist the trajectory recovery attack well, and the improved schemes significantly outperform the basic schemes.


title: SCAR: Spatial-/Channel-wise Attention Regression Networks for Crowd Counting

abstract: Recently, crowd counting is a hot topic in crowd analysis. Many CNN-based counting algorithms attain good performance. However, these methods only focus on the local appearance features of crowd scenes but ignore the large-range pixel-wise contextual and crowd attention information. To remedy the above problems, in this paper, we introduce the Spatial-/Channel-wise Attention Models into the traditional Regression CNN to estimate the density map, which is named as "SCAR". It consists of two modules, namely Spatial-wise Attention Model (SAM) and Channel-wise Attention Model (CAM). The former can encode the pixel-wise context of the entire image to more accurately predict density maps at the pixel level. The latter attempts to extract more discriminative features among different channels, which aids model to pay attention to the head region, the core of crowd scenes. Intuitively, CAM alleviates the mistaken estimation for background regions. Finally, two types of attention information and traditional CNN's feature maps are integrated by a concatenation operation. Furthermore, the extensive experiments are conducted on four popular datasets, Shanghai Tech Part A/B, GCC, and UCF_CC_50 Dataset. The results show that the proposed method achieves state-of-the-art results.