title: Oxygen fugacities of extrasolar rocks: Evidence for an Earth-like geochemistry of exoplanets

abstract: Oxygen fugacity is a measure of rock oxidation that influences planetary structure and evolution. Most rocky bodies in the Solar System formed at oxygen fugacities approximately five orders of magnitude higher than a hydrogen-rich gas of solar composition. It is unclear whether this oxidation of rocks in the Solar System is typical among other planetary systems. We exploit the elemental abundances observed in six white dwarfs polluted by the accretion of rocky bodies to determine the fraction of oxidized iron in those extrasolar rocky bodies and therefore their oxygen fugacities. The results are consistent with the oxygen fugacities of Earth, Mars, and typical asteroids in the Solar System, suggesting that at least some rocky exoplanets are geophysically and geochemically similar to Earth.


title: Rotation and figure evolution in the creep tide theory. A new approach and application to Mercury

abstract: This paper deals with the rotation and figure evolution of a planet near the 3/2 spin-orbit resonance and the exploration of a new formulation of the creep tide theory (Folonier et al. 2018). This new formulation is composed by a system of differential equations for the figure and the rotation of the body simultaneously (which is the same system of equations used in Folonier et al. 2018), different from the original one (Ferraz-Mello, 2013, 2015a) in which rotation and figure were considered separately. The time evolution of the figure of the body is studied for both the 3/2 and 2/1 spin-orbit resonances. Moreover, we provide a method to determine the relaxation factor gamma of non-rigid homogeneous bodies whose endpoint of rotational evolution from tidal interactions is the 3/2 spin-orbit resonance, provided that (i) an initially faster rotation is assumed and (ii) no permanent components of the flattenings of the body existed at the time of the capture in the 3/2 spin-orbit resonance. The method is applied to Mercury, since it is currently trapped in a 3/2 spin-orbit resonance with its orbital motion and we obtain 4.8 times 10 -8 s -1 lower than gamma lower than 4.8 times 10 -9 s -1 . The equatorial prolateness and polar oblateness coefficients obtained for Mercury's figure with such range of values of gamma are the same as the ones given by the Darwin-Kaula model (Matsuyama and Nimmo 2009). However, comparing the values of the flattenings obtained for such range of gamma with those obtained from MESSENGER's measurements (Perry et al. 2015), we see that the current values for Mercury's equatorial prolateness and polar oblateness are 2-3 orders of magnitude larger than the values given by the tidal theories.


title: Poisson-Randomized Gamma Dynamical Systems

abstract: This paper presents the Poisson-randomized gamma dynamical system (PRGDS), a model for sequentially observed count tensors that encodes a strong inductive bias toward sparsity and burstiness. The PRGDS is based on a new motif in Bayesian latent variable modeling, an alternating chain of discrete Poisson and continuous gamma latent states that is analytically convenient and computationally tractable. This motif yields closed-form complete conditionals for all variables by way of the Bessel distribution and a novel discrete distribution that we call the shifted confluent hypergeometric distribution. We draw connections to closely related models and compare the PRGDS to these models in studies of real-world count data sets of text, international events, and neural spike trains. We find that a sparse variant of the PRGDS, which allows the continuous gamma latent states to take values of exactly zero, often obtains better predictive performance than other models and is uniquely capable of inferring latent structures that are highly localized in time.


title: Stop Search in SUSY SO(10) GUTs with Nonuniversal Gaugino Masses

abstract: We have discussed the stop mass and possible signal processes within a class of SUSY GUTs with non-universal gaugino masses. This class of models predicts the stop mass in a wide range from about 400 GeV to 8 TeV, and the DM constraints bound it as $m_{\tilde{t}_{1}}\gtrsim 500$ GeV. Being the lightest supersymmetric particle the neutralino always takes part in possible signal processes, and its mass is realized as heavy as about 2.3 TeV in the fundamental parameter space. Similarly, the lightest chargino mass can be realized beyond 3 TeV, while the DM constraints bound its mass at about 2.7 TeV from above. We find that the stop mass below about 1.2 TeV is excluded by the analyses over the $\tilde{t}_{1}\rightarrow t\tilde{\chi}_{1}^{0}$ decay mode performed under the current experimental setups. This mode can help probe the stop mass up to about 6 TeV in future collider experiments. Similar analyses yield that the stop mass will be able to be probed to about 4.8 TeV and 5 TeV, if the $\tilde{t}_{1}\rightarrow b W^{\pm}\tilde{\chi}_{1}^{0}$ or $\tilde{t}_{1}\rightarrow b q\bar{q}^{\prime}\tilde{\chi}_{1}^{0}$ decay modes are allowed. We show that the former decay mode is not available for this class of SUSY GUTs in the current experiments, while it will be able to be tested in future.


title: Characterizing Distribution Equivalence and Structure Learning for Cyclic and Acyclic Directed Graphs

abstract: The main approach to defining equivalence among acyclic directed causal graphical models is based on the conditional independence relationships in the distributions that the causal models can generate, in terms of the Markov equivalence. However, it is known that when cycles are allowed in the causal structure, conditional independence may not be a suitable notion for equivalence of two structures, as it does not reflect all the information in the distribution that is useful for identification of the underlying structure. In this paper, we present a general, unified notion of equivalence for linear Gaussian causal directed graphical models, whether they are cyclic or acyclic. In our proposed definition of equivalence, two structures are equivalent if they can generate the same set of data distributions. We also propose a weaker notion of equivalence called quasi-equivalence, which we show is the extent of identifiability from observational data. We propose analytic as well as graphical methods for characterizing the equivalence of two structures. Additionally, we propose a score-based method for learning the structure from observational data, which successfully deals with both acyclic and cyclic structures.


title: An Extended Integral Unit Commitment Formulation and an Iterative Algorithm for Convex Hull Pricing

abstract: To increase market transparency, independent system operators (ISOs) have been working on minimizing uplift payments based on convex hull pricing theorems. However, the large-scale complex systems for ISOs bring computational challenges to the existing convex hull pricing algorithms. In this paper, based on the analysis of specific generator features in the Midcontinent ISO (MISO) system, besides reviewing integral formulations for several special cases, we develop two integral formulations of a single generator that can capture these features. We then build a compact convex hull pricing formulation based on these integral formulations. Meanwhile, to improve the computational efficiency, we propose innovative iterative algorithms with convergence properties, plus a complementary algorithm, to obtain a convex hull price. The computational results indicate that our approach leads to an exact convex hull price on MISO instances with and without transmission constraints and the solutions can be obtained within 20 minutes.


title: A Simple but Effective BERT Model for Dialog State Tracking on Resource-Limited Systems

abstract: In a task-oriented dialog system, the goal of dialog state tracking (DST) is to monitor the state of the conversation from the dialog history. Recently, many deep learning based methods have been proposed for the task. Despite their impressive performance, current neural architectures for DST are typically heavily-engineered and conceptually complex, making it difficult to implement, debug, and maintain them in a production setting. In this work, we propose a simple but effective DST model based on BERT. In addition to its simplicity, our approach also has a number of other advantages: (a) the number of parameters does not grow with the ontology size (b) the model can operate in situations where the domain ontology may change dynamically. Experimental results demonstrate that our BERT-based model outperforms previous methods by a large margin, achieving new state-of-the-art results on the standard WoZ 2.0 dataset. Finally, to make the model small and fast enough for resource-restricted systems, we apply the knowledge distillation method to compress our model. The final compressed model achieves comparable results with the original model while being 8x smaller and 7x faster.


title: Holomorphic Legendrian curves in $\mathbb{CP}^3$ and superminimal surfaces in $\mathbb S^4$

abstract: We obtain a Runge approximation theorem for holomorphic Legendrian curves and immersions in the complex projective $3$-space $\mathbb{CP}^3$, both from open and compact Riemann surfaces, and we prove that the space of Legendrian immersions from an open Riemann surface into $\mathbb{CP}^3$ is path connected. We also show that holomorphic Legendrian immersions from Riemann surfaces of finite genus and at most countably many ends, none of which are point ends, satisfy the Calabi-Yau property. Coupled with the Runge approximation theorem, we infer that every open Riemann surface embeds into $\mathbb{CP}^3$ as a complete holomorphic Legendrian curve. Under the twistor projection $\pi:\mathbb{CP}^3\to \mathbb S^4$ onto the $4$-sphere, immersed holomorphic Legendrian curves $M\to \mathbb{CP}^3$ are in bijective correspondence with superminimal immersions $M\to\mathbb S^4$ of positive spin according to a result of Bryant. This gives as corollaries the corresponding results on superminimal surfaces in $\mathbb S^4$. In particular, superminimal immersions into $\mathbb S^4$ satisfy the Runge approximation theorem and the Calabi-Yau property.


title: Multi-layer Interference Alignment and GDoF of the K-User Asymmetric Interference Channel

abstract: In wireless networks, link strengths are often affected by some topological factors such as propagation path loss, shadowing and inter-cell interference. Thus, different users in the network might experience different link strengths. In this work we consider a K-user asymmetric interference channel, where the channel gains of the links connected to Receiver k are scaled with P^{\alpha_k /2}}, k=1,2,...,K, for 0< \alpha_1 \leq \alpha_2 \leq \cdots \leq \alpha_K \leq 1. For this setting, we show that the optimal sum generalized degrees-of-freedom (GDoF) is characterized as dsum = (\sum_{k=1}^K \alpha_k + \alpha_K -\alpha_{K-1})/2, which matches the existing result dsum= K/2 when \alpha_1 = \alpha_2 = ... = \alpha_K =1. The achievability is based on multi-layer interference alignment, where different interference alignment sub-schemes are designed in different layers associated with specific power levels, and successive decoding is applied at the receivers. While the converse for the symmetric case only requires bounding the sum degrees-of-freedom (DoF) for selected two users, the converse for this asymmetric case involves bounding the weighted sum GDoF for selected J+2 users, with corresponding weights (2^{J}, 2^{J-1}, ... , 2^{2}, 2^{1}), a geometric sequence with common ratio 2, for the first J users and with corresponding weights (1, 1) for the last two users, for J \in {1,2, ... , \lceil\log (K/2)\rceil }.


title: Human Interface for Teleoperated Object Manipulation with a Soft Growing Robot

abstract: Soft growing robots are proposed for use in applications such as complex manipulation tasks or navigation in disaster scenarios. Safe interaction and ease of production promote the usage of this technology, but soft robots can be challenging to teleoperate due to their unique degrees of freedom. In this paper, we propose a human-centered interface that allows users to teleoperate a soft growing robot for manipulation tasks using arm movements. A study was conducted to assess the intuitiveness of the interface and the performance of our soft robot, involving a pick-and-place manipulation task. The results show that users completed the task with a success rate of 97%, achieving placement errors below 2 cm on average. These results demonstrate that our body-movement-based interface is an effective method for control of a soft growing robot manipulator.


title: A Decentralized Parallel Algorithm for Training Generative Adversarial Nets

abstract: Generative Adversarial Networks (GANs) are a powerful class of generative models in the deep learning community. Current practice on large-scale GAN training utilizes large models and distributed large-batch training strategies, and is implemented on deep learning frameworks (e.g., TensorFlow, PyTorch, etc.) designed in a centralized manner. In the centralized network topology, every worker needs to either directly communicate with the central node or indirectly communicate with all other workers in every iteration. However, when the network bandwidth is low or network latency is high, the performance would be significantly degraded. Despite recent progress on decentralized algorithms for training deep neural networks, it remains unclear whether it is possible to train GANs in a decentralized manner. The main difficulty lies at handling the nonconvex-nonconcave min-max optimization and the decentralized communication simultaneously. In this paper, we address this difficulty by designing the \textbf{first gradient-based decentralized parallel algorithm} which allows workers to have multiple rounds of communications in one iteration and to update the discriminator and generator simultaneously, and this design makes it amenable for the convergence analysis of the proposed decentralized algorithm. Theoretically, our proposed decentralized algorithm is able to solve a class of non-convex non-concave min-max problems with provable non-asymptotic convergence to first-order stationary point. Experimental results on GANs demonstrate the effectiveness of the proposed algorithm.


title: Human-centered Control of a Growing Soft Robot for Object Manipulation

abstract: We present a user-friendly interface to teleoperate a soft robot manipulator in a complex environment. Key components of the system include a manipulator with a grasping end-effector that grows via tip eversion, gesture-based control, and haptic display to the operator for feedback and guidance. In the initial work, the operator uses the soft robot to build a tower of blocks, and future works will extend this to shared autonomy scenarios in which the human operator and robot intelligence are both necessary for task completion.


title: Optimal design of error-tolerant reprogrammable multiport interferometers

abstract: Photonic information processing demands programmable multiport interferometers capable of implementing arbitrary transfer matrices, for which planar meshes of error-sensitive Mach-Zehnder interferometers are usually exploited. We propose an alternative design that uses a single static beam-splitter and a variable phase shift as the building block. The design possesses superior resilience to manufacturing errors and losses without extra elements added into the scheme. Namely, the power transmissivities of the static BSs can take arbitrary values in the range from $\approx{}1/2$ to $\approx{}4/5$. We show that the fraction of transfer matrices non-implementable by the interferometers of our design diminishes rapidly with their size.


title: De-homogenization of optimal multi-scale 3D topologies

abstract: This paper presents a highly efficient method to obtain high-resolution, near-optimal 3D topologies optimized for minimum compliance on a standard PC. Using an implicit geometry description we derive a single-scale interpretation of optimal multi-scale designs on a very fine mesh (de-homogenization). By performing homogenization-based topology optimization, optimal multi-scale designs are obtained on a relatively coarse mesh resulting in a low computational cost. As microstructure parameterization we use orthogonal rank-3 microstructures, which are known to be optimal for a single loading case. Furthermore, a method to get explicit control of the minimum feature size and complexity of the final shapes will be discussed. Numerical examples show excellent performance of these fine-scale designs resulting in objective values similar to the homogenization-based designs. Comparisons with well-established density-based topology optimization methods show a reduction in computational cost of 3 orders of magnitude, paving the way for giga-scale designs on a standard PC.


title: Neural Similarity Learning

abstract: Inner product-based convolution has been the founding stone of convolutional neural networks (CNNs), enabling end-to-end learning of visual representation. By generalizing inner product with a bilinear matrix, we propose the neural similarity which serves as a learnable parametric similarity measure for CNNs. Neural similarity naturally generalizes the convolution and enhances flexibility. Further, we consider the neural similarity learning (NSL) in order to learn the neural similarity adaptively from training data. Specifically, we propose two different ways of learning the neural similarity: static NSL and dynamic NSL. Interestingly, dynamic neural similarity makes the CNN become a dynamic inference network. By regularizing the bilinear matrix, NSL can be viewed as learning the shape of kernel and the similarity measure simultaneously. We further justify the effectiveness of NSL with a theoretical viewpoint. Most importantly, NSL shows promising performance in visual recognition and few-shot learning, validating the superiority of NSL over the inner product-based convolution counterparts.


title: Wave-controlled bacterial attachment and formation of biofilms

abstract: The formation of bacterial biofilms on solid surfaces within a fluid starts when bacteria attach to the substrate. Understanding environmental factors affecting the attachment and the early stages of the biofilm development as well as the development of active methods of biofilm control are crucial for many applications. Here we show that biofilm formation is strongly affected by the hydrodynamics of flows generated by surface waves in layers of bacterial suspensions. Deterministic wave patterns promote the growth of patterned biofilms while wave-driven turbulent motion destroys the patterns. The location of the attached bacteria on a solid substrate differs from the settlement location of inactive bacteria and of the passive micro-particles: strong biofilms form under the wave antinodes while passive particles and inactive bacteria settle under nodal points. By controlling the wave lengths and horizontal mobility of the wave patterns, one can either shape the biofilm formation and enhance the biofilm growth, or discourage the formation of biofilm patterns. The results suggest that the deterministic wave-driven transport, rather than hydrodynamic forces, determine the preferred location for the bacterial attachment.


title: Twisted Steinberg algebras

abstract: We introduce twisted Steinberg algebras over a commutative unital ring $R$. These generalise Steinberg algebras and are a purely algebraic analogue of Renault's twisted groupoid C*-algebras. In particular, for each ample Hausdorff groupoid $G$ and each locally constant $2$-cocycle $\sigma$ on $G$ taking values in the units $R^\times$, we study the algebra $A_R(G,\sigma)$ consisting of locally constant compactly supported $R$-valued functions on $G$, with convolution and involution "twisted" by $\sigma$. We also introduce a "discretised" analogue of a twist $\Sigma$ over a Hausdorff \'etale groupoid $G$, and we show that there is a one-to-one correspondence between locally constant $2$-cocycles on $G$ and discrete twists over $G$ admitting a continuous global section. Given a discrete twist $\Sigma$ arising from a locally constant $2$-cocycle $\sigma$ on an ample Hausdorff groupoid $G$, we construct an associated twisted Steinberg algebra $A_R(G;\Sigma)$, and we show that it coincides with $A_R(G,\sigma^{-1})$. Given any discrete field $\mathbb{F}_d$, we prove a graded uniqueness theorem for $A_{\mathbb{F}_d}(G,\sigma)$, and under the additional hypothesis that $G$ is effective, we prove a Cuntz--Krieger uniqueness theorem and show that simplicity of $A_{\mathbb{F}_d}(G,\sigma)$ is equivalent to minimality of $G$.


title: Random walks associated to beta-shifts

abstract: We study the dynamics of a simple random walk on subshifts defined by the beta transformation and apply it to find concrete formulae for the Hausdorff dimension of digit frequency sets for $\beta>1$ that solves $\beta^{m+1}-\beta^m-1=0$ generalising the work of Fan and Zhu. We also give examples of $\beta$ where this approach fails.


title: Parametric correlations in energy density functionals

abstract: Parametric correlations are studied in several classes of covariant density functional theories (CDFTs) using a statistical analysis in a large parameter hyperspace. In the present manuscript, we investigate such correlations for two specific types of models, namely, for models with density dependent meson exchange and for point coupling models. Combined with the results obtained previously in Ref. [1] for a non-linear meson exchange model, these results indicate that parametric correlations exist in all major classes of CDFTs when the functionals are fitted to the ground state properties of finite nuclei and to nuclear matter properties. In particular, for the density dependence in the isoscalar channel only one parameter is really independent. Accounting for these facts potentially allows one to reduce the number of free parameters considerably.


title: Sketch-Fill-A-R: A Persona-Grounded Chit-Chat Generation Framework

abstract: Human-like chit-chat conversation requires agents to generate responses that are fluent, engaging and consistent. We propose Sketch-Fill-A-R, a framework that uses a persona-memory to generate chit-chat responses in three phases. First, it generates dynamic sketch responses with open slots. Second, it generates candidate responses by filling slots with parts of its stored persona traits. Lastly, it ranks and selects the final response via a language model score. Sketch-Fill-A-R outperforms a state-of-the-art baseline both quantitatively (10-point lower perplexity) and qualitatively (preferred by 55% heads-up in single-turn and 20% higher in consistency in multi-turn user studies) on the Persona-Chat dataset. Finally, we extensively analyze Sketch-Fill-A-R's responses and human feedback, and show it is more consistent and engaging by using more relevant responses and questions.


title: Shifting Opinions in a Social Network Through Leader Selection

abstract: We study the French-DeGroot opinion dynamics in a social network with two polarizing parties. We consider a network in which the leaders of one party are given, and we pose the problem of selecting the leader set of the opposing party so as to shift the average opinion to a desired value. When each party has only one leader, we express the average opinion in terms of the transition matrix and the stationary distribution of random walks in the network. The analysis shows balance of influence between the two leader nodes. We show that the problem of selecting at most $k$ absolute leaders to shift the average opinion is $\mathbf{NP}$-hard. Then, we reduce the problem to a problem of submodular maximization with a submodular knapsack constraint and an additional cardinality constraint and propose a greedy algorithm with upper bound search to approximate the optimum solution. We also conduct experiments in random networks and real-world networks to show the effectiveness of the algorithm.


title: Poincar\'e Recurrence, Cycles and Spurious Equilibria in Gradient-Descent-Ascent for Non-Convex Non-Concave Zero-Sum Games

abstract: We study a wide class of non-convex non-concave min-max games that generalizes over standard bilinear zero-sum games. In this class, players control the inputs of a smooth function whose output is being applied to a bilinear zero-sum game. This class of games is motivated by the indirect nature of the competition in Generative Adversarial Networks, where players control the parameters of a neural network while the actual competition happens between the distributions that the generator and discriminator capture. We establish theoretically, that depending on the specific instance of the problem gradient-descent-ascent dynamics can exhibit a variety of behaviors antithetical to convergence to the game theoretically meaningful min-max solution. Specifically, different forms of recurrent behavior (including periodicity and Poincar\'e recurrence) are possible as well as convergence to spurious (non-min-max) equilibria for a positive measure of initial conditions. At the technical level, our analysis combines tools from optimization theory, game theory and dynamical systems.


title: A Survey on Subgraph Counting: Concepts, Algorithms and Applications to Network Motifs and Graphlets

abstract: Computing subgraph frequencies is a fundamental task that lies at the core of several network analysis methodologies, such as network motifs and graphlet-based metrics, which have been widely used to categorize and compare networks from multiple domains. Counting subgraphs is however computationally very expensive and there has been a large body of work on efficient algorithms and strategies to make subgraph counting feasible for larger subgraphs and networks. This survey aims precisely to provide a comprehensive overview of the existing methods for subgraph counting. Our main contribution is a general and structured review of existing algorithms, classifying them on a set of key characteristics, highlighting their main similarities and differences. We identify and describe the main conceptual approaches, giving insight on their advantages and limitations, and provide pointers to existing implementations. We initially focus on exact sequential algorithms, but we also do a thorough survey on approximate methodologies (with a trade-off between accuracy and execution time) and parallel strategies (that need to deal with an unbalanced search space).


title: Multiplayer AlphaZero

abstract: The AlphaZero algorithm has achieved superhuman performance in two-player, deterministic, zero-sum games where perfect information of the game state is available. This success has been demonstrated in Chess, Shogi, and Go where learning occurs solely through self-play. Many real-world applications (e.g., equity trading) require the consideration of a multiplayer environment. In this work, we suggest novel modifications of the AlphaZero algorithm to support multiplayer environments, and evaluate the approach in two simple 3-player games. Our experiments show that multiplayer AlphaZero learns successfully and consistently outperforms a competing approach: Monte Carlo tree search. These results suggest that our modified AlphaZero can learn effective strategies in multiplayer game scenarios. Our work supports the use of AlphaZero in multiplayer games and suggests future research for more complex environments.


title: Accelerating System Adequacy Assessment using the Multilevel Monte Carlo Approach

abstract: Accurately and efficiently estimating system performance under uncertainty is paramount in power system planning and operation. Monte Carlo simulation is often used for this purpose, but convergence may be slow, especially when detailed models are used. Previously published methods to speed up computations may severely constrain model complexity, limiting their real-world effectiveness. This paper uses the recently proposed Multilevel Monte Carlo (MLMC) framework, which combines outputs from a hierarchy of simulators to boost computational efficiency without sacrificing accuracy. It explains which requirements the MLMC framework imposes on the model hierarchy, and how these naturally occur in power system adequacy assessment problems. Two adequacy assessment examples are studied in detail: a composite system and a system with heterogeneous storage units. An intuitive speed metric is introduced for easy comparison of simulation setups. Depending on the problem and metric of interest, large speedups can be obtained.


title: Reduced Order Model Approach to Inverse Scattering

abstract: We study an inverse scattering problem for a generic hyperbolic system of equations with an unknown coefficient called the reflectivity. The solution of the system models waves (sound, electromagnetic or elastic), and the reflectivity models unknown scatterers embedded in a smooth and known medium. The inverse problem is to determine the reflectivity from the time resolved scattering matrix (the data) measured by an array of sensors. We introduce a novel inversion method, based on a reduced order model (ROM) of an operator called wave propagator, because it maps the wave from one time instant to the next, at interval corresponding to the discrete time sampling of the data. The wave propagator is unknown in the inverse problem, but the ROM can be computed directly from the data. By construction, the ROM inherits key properties of the wave propagator, which facilitate the estimation of the reflectivity. The ROM was introduced previously and was used for two purposes: (1) to map the scattering matrix to that corresponding to the single scattering (Born) approximation and (2) to image i.e., obtain a qualitative estimate of the support of the reflectivity. Here we study further the ROM and show that it corresponds to a Galerkin projection of the wave propagator. The Galerkin framework is useful for proving properties of the ROM that are used in the new inversion method which seeks a quantitative estimate of the reflectivity.


title: The Flux Distribution and Sky Density of 25th Magnitude Main Belt Asteroids

abstract: Digital tracking enables telescopes to detect asteroids several times fainter than conventional techniques. We describe our optimized methodology to acquire, process, and interpret digital tracking observations, and we apply it to probe the apparent magnitude distribution of main belt asteroids fainter than any previously detected from the ground. All-night integrations with the Dark Energy Camera (DECam) yield 95\% completeness at $R$ magnitude 25.0, and useful sensitivity to $R=25.6$ mag when we use an analytical detection model to correct flux overestimation bias. In a single DECam field observed over two nights, we detect a total of 3234 distinct asteroids, of which 3123 are confirmed on both nights. At opposition from the Sun, we find a sky density of $697 \pm 15$ asteroids per square degree brighter than $R = 25.0$ mag, and $1031 \pm 23$ brighter than $R = 25.6$ mag. We agree with published results for the sky density and apparent magnitude distribution of asteroids brighter than $R=23$ mag. For a power law defined by $dN/dR \propto 10^{\alpha R}$, we find marginally acceptable fits with a constant slope $\alpha = 0.28 \pm 0.02$ from $R=20$ to 25.6 mag. Better fits are obtained for a broken power law with $\alpha=0.218 \pm 0.026$ for $R=20$ to 23.5 mag, steepening to $\alpha=0.340 \pm 0.025$ for $R = 23.5$ to 25.6 mag. The constant or steepening power law indicates asteroids fainter than $R = 23.5$ mag are abundant, contrary to some previous claims but consistent with theory.


title: bLIMEy: Surrogate Prediction Explanations Beyond LIME

abstract: Surrogate explainers of black-box machine learning predictions are of paramount importance in the field of eXplainable Artificial Intelligence since they can be applied to any type of data (images, text and tabular), are model-agnostic and are post-hoc (i.e., can be retrofitted). The Local Interpretable Model-agnostic Explanations (LIME) algorithm is often mistakenly unified with a more general framework of surrogate explainers, which may lead to a belief that it is the solution to surrogate explainability. In this paper we empower the community to "build LIME yourself" (bLIMEy) by proposing a principled algorithmic framework for building custom local surrogate explainers of black-box model predictions, including LIME itself. To this end, we demonstrate how to decompose the surrogate explainers family into algorithmically independent and interoperable modules and discuss the influence of these component choices on the functional capabilities of the resulting explainer, using the example of LIME.


title: A Kazhdan-Lusztig Atlas on G/P

abstract: A stratified variety has a Kazhdan-Lusztig atlas if it can be locally modelled with Kazhdan-Lusztig varieties stratified by Schubert varieties in some Kac-Moody flag manifold via stratified isomorphisms. In this paper, we show that the partial flag manifold $G/P$ with the projected Richardson stratification has a Kazhdan-Lusztig atlas, with each chart stratified-isomorphic to a Kazhdan-Lusztig variety in the affine flag manifold of the formal loop group $\widehat{G}$ of $G$. This result generalizes that of Snider's on $Gr(k,n)$ with the positroid stratification, and is a geometric counterpart of the combinatorial correspondence between the poset of projected Richardson stratification and a certain convex set in the Bruhat order of the Weyl group of $\widehat{G}$ given by He and Lam.


title: Predicting Louisiana Public High School Dropout through Imbalanced Learning Techniques

abstract: This study is motivated by the magnitude of the problem of Louisiana high school dropout and its negative impacts on individual and public well-being. Our goal is to predict students who are at risk of high school dropout, by examining Louisiana administrative dataset. Due to the imbalanced nature of the dataset, imbalanced learning techniques including resampling, case weighting, and cost-sensitive learning have been applied to enhance the prediction performance on the rare class. Performance metrics used in this study are F-measure, recall and precision of the rare class. We compare the performance of several machine learning algorithms such as neural networks, decision trees and bagging trees in combination with the imbalanced learning approaches using an administrative dataset of size of 366k+ from Louisiana Department of Education. Experiments show that application of imbalanced learning methods produces good results on recall but decreases precision, whereas base classifiers without regard of imbalanced data handling gives better precision but poor recall. Overall application of imbalanced learning techniques is beneficial, yet more studies are desired to improve precision.


title: Construction of the Supersymmetric Path Integral: A Survey

abstract: This is a survey based on joint work with Florian Hanisch and Batu G\"uneysu reporting on a rigorous construction of the supersymmetric path integral associated to compact spin manifolds.


title: Detection and Isolation of Adversaries in Decentralized Optimization for Non-Strongly Convex Objectives

abstract: Decentralized optimization has found a significant utility in recent years, as a promising technique to overcome the curse of dimensionality when dealing with large-scale inference and decision problems in big data. While these algorithms are resilient to node and link failures, they however, are not inherently Byzantine fault-tolerant towards insider data injection attacks. This paper proposes a decentralized robust subgradient push (RSGP) algorithm for detection and isolation of malicious nodes in the network for optimization non-strongly convex objectives. In the attack considered in this work, the malicious nodes follow the algorithmic protocols, but can alter their local functions arbitrarily. However, we show that in sufficiently structured problems, the method proposed is effective in revealing their presence. The algorithm isolates detected nodes from the regular nodes, thereby mitigating the ill-effects of malicious nodes. We also provide performance measures for the proposed method.


title: Efficiently avoiding saddle points with zero order methods: No gradients required

abstract: We consider the case of derivative-free algorithms for non-convex optimization, also known as zero order algorithms, that use only function evaluations rather than gradients. For a wide variety of gradient approximators based on finite differences, we establish asymptotic convergence to second order stationary points using a carefully tailored application of the Stable Manifold Theorem. Regarding efficiency, we introduce a noisy zero-order method that converges to second order stationary points, i.e avoids saddle points. Our algorithm uses only $\tilde{\mathcal{O}}(1 / \epsilon^2)$ approximate gradient calculations and, thus, it matches the converge rate guarantees of their exact gradient counterparts up to constants. In contrast to previous work, our convergence rate analysis avoids imposing additional dimension dependent slowdowns in the number of iterations required for non-convex zero order optimization.


title: Perturbation theory of non-perturbative Yang-Mills theory: a massive expansion from first principles

abstract: The main objective of this thesis is to present a new analytical framework for low-energy QCD that goes under the name of massive, or "screened", perturbative expansion. The massive perturbative expansion is motivated by the phenomenon of dynamical mass generation, by which the gluons acquire a mass of the order of the QCD scale $\Lambda_{\text{QCD}}$ in the limit of vanishing momentum. It is a simple extension of ordinary perturbation theory that consists in a shift of the expansion point of the Yang-Mills perturbative series with the aim of treating the transverse gluons as massive already at tree-level, while leaving the total action of the theory unchanged. The new framework will be formulated in the context of pure Yang-Mills theory, where the lattice data is readily available for comparison and the perturbative results have been perfected by enforcing the gauge invariance of the analytical structure of the gluon propagator.


title: Imaging and control of critical spin fluctuations in two-dimensional magnets

abstract: Strong spin fluctuations are expected near the thermodynamic critical point of a continuous magnetic phase transition. Such critical spin fluctuations are highly correlated and in principle can occur at any time- and length-scales; they govern critical phenomena and potentially can drive new phases. Although theoretical studies have been made for decades, direct observation of critical spin fluctuations remains elusive. The recent discovery of two-dimensional (2D) layered magnets, in which spin fluctuations significantly modify magnetic properties as compared to their bulk counterparts and integration into heterostructures and devices can be easily achieved, provides an ideal platform to investigate and harness critical spin phenomena. Here we develop a fast and sensitive magneto-optical imaging microscope to achieve wide-field, real-time monitoring of critical spin fluctuations in single-layer CrBr3, which is a 2D ferromagnetic insulator. We track the critical phenomena directly from the fluctuation correlations and observe both slowing-down dynamics and enhanced correlation length. Through real-time feedback control of critical spin fluctuations, we further achieve switching of magnetic states solely by electrostatic gating without applying a magnetic field or a Joule current. The ability to directly image and control critical spin fluctuations in 2D magnets opens up exciting opportunities to explore critical phenomena and develop applications in nanoscale engines and information science.


title: Continuity and Semileptonic $B_{(s)}\rightarrow D_{(s)}$ Form Factors

abstract: Small changes in the masses of massive external scattering states should correspond to small changes in the non-perturbative parameterization of form factors in quantum field theory, as long as the relevant energy range is not near strong deformations. Here, the definition of ``small'' is investigated and applied to $SU(3)$ breaking in semileptonic $B_{(s)}\rightarrow D_{(s)}$ transitions. When unitarity and analyticity are imposed, the differences in the form factors for semileptonic $B\rightarrow D$ versus $B_s\rightarrow D_s$ decays are found to be within $\mathcal{O}(1\%)$ over the entire kinematic range, not just at zero recoil, which is consistent with results from lattice calculations and differs from the expectation using HQET alone.


title: Active Subspace of Neural Networks: Structural Analysis and Universal Attacks

abstract: Active subspace is a model reduction method widely used in the uncertainty quantification community. In this paper, we propose analyzing the internal structure and vulnerability and deep neural networks using active subspace. Firstly, we employ the active subspace to measure the number of "active neurons" at each intermediate layer and reduce the number of neurons from several thousands to several dozens. This motivates us to change the network structure and to develop a new and more compact network, referred to as {ASNet}, that has significantly fewer model parameters. Secondly, we propose analyzing the vulnerability of a neural network using active subspace and finding an additive universal adversarial attack vector that can misclassify a dataset with a high probability. Our experiments on CIFAR-10 show that ASNet can achieve 23.98$\times$ parameter and 7.30$\times$ flops reduction. The universal active subspace attack vector can achieve around 20% higher attack ratio compared with the existing approach in all of our numerical experiments. The PyTorch codes for this paper are available online.


title: Equivalence between Horndeski and beyond Horndeski theories and imperfect fluids

abstract: In this paper we show that an equivalence between Horndeski and beyond Horndeski theories and general relativity with an effective imperfect fluid can be formally established. The formal equivalence is discussed for several particular cases of interest. Working in the cosmological framework, it is shown that, while the effective stress-energy tensor of viable Horndeski theories is formally equivalent to that of an imperfect fluid with anisotropic stresses and vanishing heat flux vector, the effective stress-energy tensor of beyond Horndeski theories is equivalent to the one of a perfect fluid instead.


title: Noiseless Privacy

abstract: In this paper, we define noiseless privacy, as a non-stochastic rival to differential privacy, requiring that the outputs of a mechanism (i.e., function composition of a privacy-preserving mapping and a query) can attain only a few values while varying the data of an individual (the logarithm of the number of the distinct values is bounded by the privacy budget). Therefore, the output of the mechanism is not fully informative of the data of the individuals in the dataset. We prove several guarantees for noiselessly-private mechanisms. The information content of the output about the data of an individual, even if an adversary knows all the other entries of the private dataset, is bounded by the privacy budget. The zero-error capacity of memory-less channels using noiselessly private mechanisms for transmission is upper bounded by the privacy budget. The performance of a non-stochastic hypothesis-testing adversary is bounded again by the privacy budget. Finally, assuming that an adversary has access to a stochastic prior on the dataset, we prove that the estimation error of the adversary for individual entries of the dataset is lower bounded by a decreasing function of the privacy budget. In this case, we also show that the maximal information leakage is bounded by the privacy budget. In addition to privacy guarantees, we prove that noiselessly-private mechanisms admit composition theorem and post-processing does not weaken their privacy guarantees. We prove that quantization operators can ensure noiseless privacy if the number of quantization levels is appropriately selected based on the sensitivity of the query and the privacy budget. Finally, we illustrate the privacy merits of noiseless privacy using multiple datasets in energy and transport.

categories: cs.IT cs.CR cs.IR cs.SY eess.SP eess.SY math.IT


title: DEPA: Self-Supervised Audio Embedding for Depression Detection

abstract: Depression detection research has increased over the last few decades, one major bottleneck of which is the limited data availability and representation learning. Recently, self-supervised learning has seen success in pretraining text embeddings and has been applied broadly on related tasks with sparse data, while pretrained audio embeddings based on self-supervised learning are rarely investigated. This paper proposes DEPA, a self-supervised, pretrained depression audio embedding method for depression detection. An encoder-decoder network is used to extract DEPA on in-domain depressed datasets (DAIC and MDD) and out-domain (Switchboard, Alzheimer's) datasets. With DEPA as the audio embedding extracted at response-level, a significant performance gain is achieved on downstream tasks, evaluated on both sparse datasets like DAIC and large major depression disorder dataset (MDD). This paper not only exhibits itself as a novel embedding extracting method capturing response-level representation for depression detection but more significantly, is an exploration of self-supervised learning in a specific task within audio processing.


title: Best Practices for Convolutional Neural Networks Applied to Object Recognition in Images

abstract: This research project studies the impact of convolutional neural networks (CNN) in image classification tasks. We explore different architectures and training configurations with the use of ReLUs, Nesterov's accelerated gradient, dropout and maxout networks. We work with the CIFAR-10 dataset as part of a Kaggle competition to identify objects in images. Initial results show that CNNs outperform our baseline by acting as invariant feature detectors. Comparisons between different preprocessing procedures show better results for global contrast normalization and ZCA whitening. ReLUs are much faster than tanh units and outperform sigmoids. We provide extensive details about our training hyperparameters, providing intuition for their selection that could help enhance learning in similar situations. We design 4 models of convolutional neural networks that explore characteristics such as depth, number of feature maps, size and overlap of kernels, pooling regions, and different subsampling techniques. Results favor models of moderate depth that use an extensive number of parameters in both convolutional and dense layers. Maxout networks are able to outperform rectifiers on some models but introduce too much noise as the complexity of the fully-connected layers increases. The final discussion explains our results and provides additional techniques that could improve performance.


title: Exploiting Electrical Transients to Reveal Charge Loss Mechanism of Junction Solar Cells

abstract: Electrical transients enabled by optical excitation and electric detection provide a distinctive opportunity to study the charge transport, recombination and even the hysteresis of a solar cell in a much wider time window ranging from nanoseconds to seconds. However, controversies on how to exploit these investigations to unravel the charge loss mechanism of the cell have been ongoing. Herein, a new methodology of quantifying the charge loss within the bulk absorber or at the interfaces and the defect properties of junction solar cells has been proposed after the conventional tail-state framework is firstly demonstrated to be unreasonable. This methodology has been successfully applied in the study of commercialized silicon and emerging Cu2ZnSn(S, Se)4 and perovskite solar cells herein and should be universal to other photovoltaic device systems with similar structures. Overall, this work provides an alluring route for comprehensive investigation of dynamic physics processes and charge loss mechanism of junction solar cells and possesses potential applications for other optoelectronic devices.


title: A Quaternionic Structure as a Landmark for Symplectic Maps

abstract: We use a quaternionic structure on the product of two symplectic manifolds for relating Liouvillian forms with linear symplectic maps obtained by the symplectic Cayley's transformation.


title: Charge distribution at metal-multilayered semiconductor interfaces

abstract: Thicknesses-dependent performances of metal-multilayered semiconductor junctions have attracted increasing attention, but till present, the mechanism of interaction and the resulting charge distribution at interfaces which control the Schottky barrier and band offset between the semiconductor layers have not been systematically studied. Based on first-principles calculations, the nature and strength of the non-bonding interactions at Metal-MoS2 (M-S) and MoS2-MoS2 (S-S) interfaces in meta-multilayered MoS2 are investigated. We show that the charge distribution at M-S interfaces depends sensitively on the dimensionality and work function of metal substrates: 1) push back effect and metal induced gap states play a main role at 3D metal-MoS2 interfaces; 2) charge transfer occurs in Mo2C(OH)2 (or Mo2CO2)-MoS2 interfaces which means electron distribution is determined by the band alignment of metal and MoS2; 3) covalent-like feature appears at Mo2CF2-MoS2 interface. The S-S interface inherit the charge redistribution at M-S interface for 2D metal-2L MoS2 junction, and have a depinning effect for M-S interface in 3D metal-2L MoS2 junction. We are trying to start drawing general conclusions and developing new concepts to understand metal-multilayered semiconductor interfaces in the strong interaction limit, where charge-transfer effects must be taken into consideration in this paper.


title: Vector-valued holomorphic functions in several variables

abstract: In the present paper we give some explicit proofs for folklore theorems on holomorphic functions in several variables with values in a locally complete locally convex Hausdorff space $E$ over $\mathbb{C}$. Most of the literature on vector-valued holomorphic functions is either devoted to the case of one variable or to infinitely many variables whereas the case of (finitely many) several variables is only touched or is subject to stronger restrictions on the completeness of $E$ like sequential completeness. The main tool we use is Cauchy's integral formula for derivatives for an $E$-valued holomorphic function in several variables which we derive via Pettis-integration. This allows us to generalise the known integral formula, where usually a Riemann-integral is used, from sequentially complete $E$ to locally complete $E$. Among the classical theorems for holomorphic functions in several variables with values in a locally complete space $E$ we prove are the identity theorem, Liouville's theorem, Riemann's removable singularities theorem and the density of the polynomials in the $E$-valued polydisc algebra.


abstract: The Insertion Transformer is well suited for long form text generation due to its parallel generation capabilities, requiring $O(\log_2 n)$ generation steps to generate $n$ tokens. However, modeling long sequences is difficult, as there is more ambiguity captured in the attention mechanism. This work proposes the Big Bidirectional Insertion Representations for Documents (Big BIRD), an insertion-based model for document-level translation tasks. We scale up the insertion-based models to long form documents. Our key contribution is introducing sentence alignment via sentence-positional embeddings between the source and target document. We show an improvement of +4.3 BLEU on the WMT'19 English$\rightarrow$German document-level translation task compared with the Insertion Transformer baseline.


title: H-theorem for Systems with an Interaction Invariant Distribution Function

abstract: H-theorem gives necessary conditions for a system to evolve in time with a non-diminishing entropy. In a quantum case the role of H-theorem plays the unitality criteria of a quantum channel transformation describing the evolution of the system's density matrix under the presence of the interaction with an environment. Here, we show that if diagonal elements of the system's density matrix are robust to the presence of interaction the corresponding quantum channel is unital.


title: Study of 2+1 flavor finite-temperature QCD using improved Wilson quarks at the physical point with the gradient flow

abstract: We study thermodynamic properties of 2+1 flavor QCD applying the Small Flow-time eXpansion (SFtX) method based on the gradient flow. The method provides us with a general way to compute correctly renormalized observables irrespective of explicit violation of symmetries due to the regularization, such as the Poincare and chiral symmetries on the lattice. We report on the status of our on-going project to compute the energy-momentum tensor and the chiral condensate at the physical point with improved Wilson quarks, extending our previous study with slightly heavy u and d quarks. We also report on our test of two-loop matching coefficients recently calculated by Harlander et al., revisiting the case of QCD with slightly heavy u and d quarks. Our results suggest that the SFtX method is powerful in extracting physical observables on the lattice.


title: Quantization of electromagnetic modes and angular momentum on plasmonic nanowires

abstract: Quantum theory of surface plasmons is very important for studying the interactions between light and different metal nanostructures in nanoplasmonics. In this work, using the canonical quantization method, the SPPs on nanowires and their orbital and spin angular momentum are investigated. The results show that the SPPs on nanowire carry both orbital and spin momentum during propagation. Later, the result is applied on the plasmonic nanowire waveguide to show the agreement of the theory. The study is helpful for the nano wire based plasmonic interactions and the quantum information based optical circuit in the future.


title: Learning to Predict Without Looking Ahead: World Models Without Forward Prediction

abstract: Much of model-based reinforcement learning involves learning a model of an agent's world, and training an agent to leverage this model to perform a task more efficiently. While these models are demonstrably useful for agents, every naturally occurring model of the world of which we are aware---e.g., a brain---arose as the byproduct of competing evolutionary pressures for survival, not minimization of a supervised forward-predictive loss via gradient descent. That useful models can arise out of the messy and slow optimization process of evolution suggests that forward-predictive modeling can arise as a side-effect of optimization under the right circumstances. Crucially, this optimization process need not explicitly be a forward-predictive loss. In this work, we introduce a modification to traditional reinforcement learning which we call observational dropout, whereby we limit the agents ability to observe the real environment at each timestep. In doing so, we can coerce an agent into learning a world model to fill in the observation gaps during reinforcement learning. We show that the emerged world model, while not explicitly trained to predict the future, can help the agent learn key skills required to perform well in its environment. Videos of our results available at https://learningtopredict.github.io/


title: Gravity, matters and dark energy on the minimal surfaces

abstract: We propose gravity, matters and dark energy may be confined on different four dimensional \emph{minimal surfaces} for the observer in five dimensional spacetime. Following this idea, we construct the equations of motion when gravity, matters and dark energy are confined on different minimal surfaces. Then in the background of Friedman-Robertson-Walker universe, we investigate the cosmic evolution when gravity and quintessence are confined on the minimal surfaces.


title: Dispersion independent long-haul photon counting OTDR

abstract: Photon counting optical time-domain reflectometry (PC-OTDR) based on the single photon detection is an effective scheme to attain the high spatial resolution for optical fiber fault monitoring. Currently, due to the spatial resolution of PC-OTDR is proportional to the pulse width of a laser beam, short laser pulses are essential for the high spatial resolution. However, short laser pulses have a large bandwidth, which would be widened by the dispersion of fiber, thereby causing inevitable deterioration in spatial resolution, especially for long-haul fiber links. In this letter, we propose a scheme of dispersion independent PC-OTDR based on an infinite backscatter technique. Our experimental results -with more than 50 km long fiber - show that the spatial resolution of the PC-OTDR system is independent with the total dispersion of the fiber under test. Our method provides an avenue for developing the long-haul PC-OTDR with high performance.


title: Characterizing Power Consumption of Dual-Frequency GNSS of a Smartphone

abstract: Location service is one of the most widely used features on a smartphone. More and more apps are built based on location services. As such, demand for accurate positioning is ever higher. Mobile brand Xiaomi has introduced Mi 8, the world's first smartphone equipped with a dual-frequency GNSS chipset which is claimed to provide up to decimeter-level positioning accuracy. Such unprecedentedly high location accuracy brought excitement to industry and academia for navigation research and development of emerging apps. On the other hand, there is a significant knowledge gap on the energy efficiency of smartphones equipped with a dual-frequency GNSS chipset. In this paper, we bridge this knowledge gap by performing an empirical study on power consumption of a dual-frequency GNSS phone. To the best our knowledge, this is the first experimental study that characterizes the power consumption of a smartphone equipped with a dual-frequency GNSS chipset and compares the energy efficiency with a single-frequency GNSS phone. We demonstrate that a smartphone with a dual-frequency GNSS chipset consumes 37% more power on average outdoors, and 28% more power indoors, in comparison with a singe-frequency GNSS phone.


title: Deep Multi-Magnification Networks for Multi-Class Breast Cancer Image Segmentation

abstract: Pathologic analysis of surgical excision specimens for breast carcinoma is important to evaluate the completeness of surgical excision and has implications for future treatment. This analysis is performed manually by pathologists reviewing histologic slides prepared from formalin-fixed tissue. In this paper, we present Deep Multi-Magnification Network trained by partial annotation for automated multi-class tissue segmentation by a set of patches from multiple magnifications in digitized whole slide images. Our proposed architecture with multi-encoder, multi-decoder, and multi-concatenation outperforms other single and multi-magnification-based architectures by achieving the highest mean intersection-over-union, and can be used to facilitate pathologists' assessments of breast cancer.


title: Quantum phase transitions and critical behaviors in the two-mode three-level quantum Rabi model

abstract: We explore an extended quantum Rabi model describing the interaction between a two-mode bosonic field and a three-level atom. Quantum phase transitions of this few degree of freedom model is found when the ratio $\eta$ of the atom energy scale to the bosonic field frequency approaches infinity. An analytical solution is provided when the two lowest-energy levels are degenerate. According to it, we recognize that the phase diagram of the model consists of three regions: one normal phase and two superradiant phases. The quantum phase transitions between the normal phase and the two superradiant phases are of second order relating to the spontaneous breaking of the discrete $Z_{2}$ symmetry. On the other hand, the quantum phase transition between the two different superradiant phases is discontinuous with a phase boundary line relating to the continuous $U(1)$ symmetry. For a large enough but finite $\eta$, the scaling function and critical exponents are derived analytically and verified numerically, from which the universality class of the model is identified.


title: The Chabauty space of $\mathbb{Q}_p^\times$

abstract: Let $\mathcal{C}(G)$ denote the Chabauty space of closed subgroups of the locally compact group $G$. In this paper, we first prove that $\mathcal{C} (\mathbb{Q}_p^\times)$ is a proper compactification of $\mathbb{N}$, identified with the set $N$ of open subgroups with finite index. Then we identify the space $\mathcal{C}(\mathbb{Q}_p^\times) \smallsetminus N$ up to homeomorphism: e.g. for $p=2$, it is the Cantor space on which 2 copies of $\overline{\mathbb{N}}$ (the 1-point compactification of $\mathbb{N}$) are glued.


title: Quantum Computing based Hybrid Solution Strategies for Large-scale Discrete-Continuous Optimization Problems

abstract: Quantum computing (QC) has gained popularity due to its unique capabilities that are quite different from that of classical computers in terms of speed and methods of operations. This paper proposes hybrid models and methods that effectively leverage the complementary strengths of deterministic algorithms and QC techniques to overcome combinatorial complexity for solving large-scale mixed-integer programming problems. Four applications, namely the molecular conformation problem, job-shop scheduling problem, manufacturing cell formation problem, and the vehicle routing problem, are specifically addressed. Large-scale instances of these application problems across multiple scales ranging from molecular design to logistics optimization are computationally challenging for deterministic optimization algorithms on classical computers. To address the computational challenges, hybrid QC-based algorithms are proposed and extensive computational experimental results are presented to demonstrate their applicability and efficiency. The proposed QC-based solution strategies enjoy high computational efficiency in terms of solution quality and computation time, by utilizing the unique features of both classical and quantum computers.


title: Converged Deep Framework Assembling Principled Modules for CS-MRI

abstract: Compressed Sensing Magnetic Resonance Imaging (CS-MRI) significantly accelerates MR data acquisition at a sampling rate much lower than the Nyquist criterion. A major challenge for CS-MRI lies in solving the severely ill-posed inverse problem to reconstruct aliasing-free MR images from the sparse k-space data. Conventional methods typically optimize an energy function, producing reconstruction of high quality, but their iterative numerical solvers unavoidably bring extremely slow processing. Recent data-driven techniques are able to provide fast restoration by either learning direct prediction to final reconstruction or plugging learned modules into the energy optimizer. Nevertheless, these data-driven predictors cannot guarantee the reconstruction following constraints underlying the regularizers of conventional methods so that the reliability of their reconstruction results are questionable. In this paper, we propose a converged deep framework assembling principled modules for CS-MRI that fuses learning strategy with the iterative solver of a conventional reconstruction energy. This framework embeds an optimal condition checking mechanism, fostering \emph{efficient} and \emph{reliable} reconstruction. We also apply the framework to two practical tasks, \emph{i.e.}, parallel imaging and reconstruction with Rician noise. Extensive experiments on both benchmark and manufacturer-testing images demonstrate that the proposed method reliably converges to the optimal solution more efficiently and accurately than the state-of-the-art in various scenarios.


title: Photonic hooks from Janus microcylinders

abstract: Recently, a type of curved light beams, photonic hooks (PHs), was theoretically predicted and experimentally observed. The production of photonic hook (PH) is due to the breaking of structural symmetry of a plane-wave illuminated microparticle. Herein, we presented and implemented a new approach, of utilizing the symmetry-broken of the microparticles in material composition, for the generation of PHs from Janus microcylinders. Finite element method based numerical simulation and energy flow diagram represented theoretical analysis were used to investigate the field distribution characteristics and formation mechanism of the PHs. The full width at half-maximum (FWHM) of the PH (~0.29$\lambda$) is smaller than the FWHM of the photonic nanojet (~0.35$\lambda$) formed from a circular microcylinder with the same geometric radius. By changing the refractive index contrasts between upper and lower half-cylinders, or rotating the Janus microcylinder relative to the central axis, the shape profiles of the PHs can be efficiently modulated. The tunability of the PHs through simple stretching or compression operations, for the Janus microcylinder constituted by one solid inorganic half-cylinder and the other flexible polymer half-cylinder, was studied and discussed as well.


title: Efficient Computation for Centered Linear Regression with Sparse Inputs

abstract: Regression with sparse inputs is a common theme for large scale models. Optimizing the underlying linear algebra for sparse inputs allows such models to be estimated faster. At the same time, centering the inputs has benefits in improving the interpretation and convergence of the model. However, centering the data naturally makes sparse data become dense, limiting opportunities for optimization. We propose an efficient strategy that estimates centered regression while taking advantage of sparse structure in data, improving computational performance and decreasing the memory footprint of the estimator.


title: Category Anchor-Guided Unsupervised Domain Adaptation for Semantic Segmentation

abstract: Unsupervised domain adaptation (UDA) aims to enhance the generalization capability of a certain model from a source domain to a target domain. UDA is of particular significance since no extra effort is devoted to annotating target domain samples. However, the different data distributions in the two domains, or \emph{domain shift/discrepancy}, inevitably compromise the UDA performance. Although there has been a progress in matching the marginal distributions between two domains, the classifier favors the source domain features and makes incorrect predictions on the target domain due to category-agnostic feature alignment. In this paper, we propose a novel category anchor-guided (CAG) UDA model for semantic segmentation, which explicitly enforces category-aware feature alignment to learn shared discriminative features and classifiers simultaneously. First, the category-wise centroids of the source domain features are used as guided anchors to identify the active features in the target domain and also assign them pseudo-labels. Then, we leverage an anchor-based pixel-level distance loss and a discriminative loss to drive the intra-category features closer and the inter-category features further apart, respectively. Finally, we devise a stagewise training mechanism to reduce the error accumulation and adapt the proposed model progressively. Experiments on both the GTA5$\rightarrow $Cityscapes and SYNTHIA$\rightarrow $Cityscapes scenarios demonstrate the superiority of our CAG-UDA model over the state-of-the-art methods. The code is available at \url{https://github.com/RogerZhangzz/CAG_UDA}.


title: POIRot: A rotation invariant omni-directional pointnet

abstract: Point-cloud is an efficient way to represent 3D world. Analysis of point-cloud deals with understanding the underlying 3D geometric structure. But due to the lack of smooth topology, and hence the lack of neighborhood structure, standard correlation can not be directly applied on point-cloud. One of the popular approaches to do point correlation is to partition the point-cloud into voxels and extract features using standard 3D correlation. But this approach suffers from sparsity of point-cloud and hence results in multiple empty voxels. One possible solution to deal with this problem is to learn a MLP to map a point or its local neighborhood to a high dimensional feature space. All these methods suffer from a large number of parameters requirement and are susceptible to random rotations. A popular way to make the model "invariant" to rotations is to use data augmentation techniques with small rotations but the potential drawback includes \item more training samples \item susceptible to large rotations. In this work, we develop a rotation invariant point-cloud segmentation and classification scheme based on the omni-directional camera model (dubbed as {\bf POIRot$^1$}). Our proposed model is rotationally invariant and can preserve geometric shape of a 3D point-cloud. Because of the inherent rotation invariant property, our proposed framework requires fewer number of parameters (please see \cite{Iandola2017SqueezeNetAA} and the references therein for motivation of lean models). Several experiments have been performed to show that our proposed method can beat the state-of-the-art algorithms in classification and part segmentation applications.


title: ROCKET: Exceptionally fast and accurate time series classification using random convolutional kernels

abstract: Most methods for time series classification that attain state-of-the-art accuracy have high computational complexity, requiring significant training time even for smaller datasets, and are intractable for larger datasets. Additionally, many existing methods focus on a single type of feature such as shape or frequency. Building on the recent success of convolutional neural networks for time series classification, we show that simple linear classifiers using random convolutional kernels achieve state-of-the-art accuracy with a fraction of the computational expense of existing methods.


title: Scalable Inference for Nonparametric Hawkes Process Using P\'{o}lya-Gamma Augmentation

abstract: In this paper, we consider the sigmoid Gaussian Hawkes process model: the baseline intensity and triggering kernel of Hawkes process are both modeled as the sigmoid transformation of random trajectories drawn from Gaussian processes (GP). By introducing auxiliary latent random variables (branching structure, P\'{o}lya-Gamma random variables and latent marked Poisson processes), the likelihood is converted to two decoupled components with a Gaussian form which allows for an efficient conjugate analytical inference. Using the augmented likelihood, we derive an expectation-maximization (EM) algorithm to obtain the maximum a posteriori (MAP) estimate. Furthermore, we extend the EM algorithm to an efficient approximate Bayesian inference algorithm: mean-field variational inference. We demonstrate the performance of two algorithms on simulated fictitious data. Experiments on real data show that our proposed inference algorithms can recover well the underlying prompting characteristics efficiently.


title: An ancient double degenerate merger in the Milky Way halo

abstract: We present an analysis and re-appraisal of the massive, carbon-enriched (DQ) white dwarf (WD) LP 93-21. Its high mass (~1 M_sun) and membership to the class of warm DQ WDs, combined with its peculiar halo kinematics suggest that this object is the product of an ancient stellar merger event, most likely that of two WDs. Furthermore, the kinematics places this object on a highly retrograde orbit driven by the accretion of a dwarf galaxy onto the Milky Way that occurred at a red shift greater than 1.5. As the product of a stellar merger LP 93-21 is probably representative of the whole class of warm/hot DQ WDs.


title: Spoofing Speaker Verification Systems with Deep Multi-speaker Text-to-speech Synthesis

abstract: This paper proposes a deep multi-speaker text-to-speech (TTS) model for spoofing speaker verification (SV) systems. The proposed model employs one network to synthesize time-downsampled mel-spectrograms from text input and another network to convert them to linear-frequency spectrograms, which are further converted to the time domain using the Griffin-Lim algorithm. Both networks are trained separately under the generative adversarial networks (GAN) framework. Spoofing experiments on two state-of-the-art SV systems (i-vectors and Google's GE2E) show that the proposed system can successfully spoof these systems with a high success rate. Spoofing experiments on anti-spoofing systems (i.e., binary classifiers for discriminating real and synthetic speech) also show a high spoof success rate when such anti-spoofing systems' structures are exposed to the proposed TTS system.


title: PT-ResNet: Perspective Transformation-Based Residual Network for Semantic Road Image Segmentation

abstract: Semantic road region segmentation is a high-level task, which paves the way towards road scene understanding. This paper presents a residual network trained for semantic road segmentation. Firstly, we represent the projections of road disparities in the v-disparity map as a linear model, which can be estimated by optimizing the v-disparity map using dynamic programming. This linear model is then utilized to reduce the redundant information in the left and right road images. The right image is also transformed into the left perspective view, which greatly enhances the road surface similarity between the two images. Finally, the processed stereo images and their disparity maps are concatenated to create a set of 3D images, which are then utilized to train our neural network. The experimental results illustrate that our network achieves a maximum F1-measure of approximately 91.19% when analyzing the images from the KITTI road dataset.


title: Disaggregation and the Application

abstract: This paper examines disaggregated data center architectures from the perspective of the applications that would run on these data centers, and challenges the abstractions that have been proposed to date. In particular, we argue that operating systems for disaggregated data centers should not abstract disaggregated hardware resources, such as memory, compute, and storage away from applications, but should instead give them information about, and control over, these resources. To this end, we propose additional OS abstractions and interfaces for disaggregation and show how they can improve data transfer in data parallel frameworks and speed up failure recovery in replicated, fault-tolerant applications. This paper studies the technical challenges in providing applications with this additional functionality and advances several preliminary proposals to overcome these challenges.


title: Ferromagnetic van der Waals compound MnSb$_{1.8}$Bi$_{0.2}$Te$_4$

abstract: The intersection of topology and magnetism represents a new playground to discover novel quantum phenomena and device concepts. In this work, we show that a van der Waals compound MnSb$_{1.8}$Bi$_{0.2}$Te$_4$ exhibits a ferromagnetic ground state with a Curie temperature of 26 K, in contrast to the antiferromagnetic order previously found for other members of the Mn(Sb, Bi)$_2$Te$_4$ family. We employ magneto-transport, bulk magnetization and neutron scattering studies to illustrate the magnetic and electrical properties of MnSb$_{1.8}$Bi$_{0.2}$Te$_4$ and report on the observation of an unusual anomalous Hall effect. Our results are an important step in the synthesis and understanding of ferromagnetic topological insulators.


title: A Note About: Critical Review of BugSwarm for Fault Localization and Program Repair

abstract: Datasets play an important role in the advancement of software tools and facilitate their evaluation. BugSwarm is an infrastructure to automatically create a large dataset of real-world reproducible failures and fixes. In this paper, we respond to Durieux and Abreu's critical review of the BugSwarm dataset, referred to in this paper as CriticalReview. We replicate CriticalReview's study and find several incorrect claims and assumptions about the BugSwarm dataset. We discuss these incorrect claims and other contributions listed by CriticalReview. Finally, we discuss general misconceptions about BugSwarm, and our vision for the use of the infrastructure and dataset.


title: High order approximation of Hodge Laplace problems with local coderivatives on cubical meshes

abstract: In mixed finite element approximations of Hodge Laplace problems associated with the de Rham complex, the exterior derivative operators are computed exactly, so the spatial locality is preserved. However, the numerical approximations of the associated coderivatives are nonlocal and it can be regarded as an undesired effect of standard mixed methods. For numerical methods with local coderivatives a perturbation of low order mixed methods in the sense of variational crimes has been developed for simplicial and cubical meshes. In this paper we extend the low order method to all high orders on cubical meshes using a new family of finite element differential forms on cubical meshes. The key theoretical contribution is a generalization of the linear degree, in the construction of the serendipity family of differential forms, and the generalization is essential in the unisolvency proof of the new family of finite element differential forms.


title: Relations between angular and Cartesian orientational expansions

abstract: Orientational expansions, which are widely used in the natural sciences, exist in angular and Cartesian form. Although these expansions are orderwise equivalent, it is difficult to relate them in practice. In this article, both types of expansions and their relations are explained in detail. We give explicit formulas for the conversion between angular and Cartesian expansion coefficients for functions depending on one, two, and three angles in two and three spatial dimensions. These formulas are useful, e.g., for comparing theoretical and experimental results in liquid crystal physics. The application of the expansions in the definition of orientational order parameters is also discussed.


title: Critical points of the Exotic Massive 3D Gravity

abstract: Exotic Massive 3D Gravity (EMG) is a higher order generalization of Topologically Massive Gravity. As in other theories of this sort, the conserved charges associated to the asymptotic diffeomorphisms that preserve the boundary conditions in AdS3 spacetime span two copies of the Virasoro algebra with non-vanishing central charges. Here, we discuss the values of these central charges and the corresponding conformal anomaly in relation to the phase space of the theory.


title: Disentangling the Spatial Structure and Style in Conditional VAE

abstract: This paper aims to disentangle the latent space in cVAE into the spatial structure and the style code, which are complementary to each other, with one of them $z_s$ being label relevant and the other $z_u$ irrelevant. The generator is built by a connected encoder-decoder and a label condition mapping network. Depending on whether the label is related with the spatial structure, the output $z_s$ from the condition mapping network is used either as a style code or a spatial structure code. The encoder provides the label irrelevant posterior from which $z_u$ is sampled. The decoder employs $z_s$ and $z_u$ in each layer by adaptive normalization like SPADE or AdaIN. Extensive experiments on two datasets with different types of labels show the effectiveness of our method.


title: MaskedNet: The First Hardware Inference Engine Aiming Power Side-Channel Protection

abstract: Differential Power Analysis (DPA) has been an active area of research for the past two decades to study the attacks for extracting secret information from cryptographic implementations through power measurements and their defenses. Unfortunately, the research on power side-channels have so far predominantly focused on analyzing implementations of ciphers such as AES, DES, RSA, and recently post-quantum cryptography primitives (e.g., lattices). Meanwhile, machine-learning, and in particular deep-learning applications are becoming ubiquitous with several scenarios where the Machine Learning Models are Intellectual Properties requiring confidentiality. Expanding side-channel analysis to Machine Learning Model extraction, however, is largely unexplored. This paper expands the DPA framework to neural-network classifiers. First, it shows DPA attacks during inference to extract the secret model parameters such as weights and biases of a neural network. Second, it proposes the $\textit{first countermeasures}$ against these attacks by augmenting $\textit{masking}$. The resulting design uses novel masked components such as masked adder trees for fully-connected layers and masked Rectifier Linear Units for activation functions. On a SAKURA-X FPGA board, experiments show that the first-order DPA attacks on the unprotected implementation can succeed with only 200 traces and our protection respectively increases the latency and area-cost by 2.8x and 2.3x.


title: On a scattering length for additive functionals and spectrum of fractional Laplacians with non-local perturbations

abstract: In this paper we study the scattering length for positive additive functionals of symmetric stable processes on ${\bf R}^d$. The additive functionals considered here are not necessarily continuous. We prove that the semi-classical limit of the scattering length equals the capacity of the support of a certain measure potential, thus extend previous results for the case of positive continuous additive functionals. We also give an equivalent criterion for the fractional Laplacian with a measure valued non-local operator as a perturbation to have purely discrete spectrum in terms of the scattering length, by considering the connection between scattering length and the bottom of the spectrum of Schr\"odinger operator in our settings.


title: A Survey on Map-Matching Algorithms

abstract: The map-matching is an essential preprocessing step for most of the trajectory-based applications. Although it has been an active topic for more than two decades and, driven by the emerging applications, is still under development. There is a lack of categorisation of existing solutions recently and analysis for future research directions. In this paper, we review the current status of the map-matching problem and survey the existing algorithms. We propose a new categorisation of the solutions according to their map-matching models and working scenarios. In addition, we experimentally compare three representative methods from different categories to reveal how matching model affects the performance. Besides, the experiments are conducted on multiple real datasets with different settings to demonstrate the influence of other factors in map-matching problem, like the trajectory quality, data compression and matching latency.


title: SID4VAM: A Benchmark Dataset with Synthetic Images for Visual Attention Modeling

abstract: A benchmark of saliency models performance with a synthetic image dataset is provided. Model performance is evaluated through saliency metrics as well as the influence of model inspiration and consistency with human psychophysics. SID4VAM is composed of 230 synthetic images, with known salient regions. Images were generated with 15 distinct types of low-level features (e.g. orientation, brightness, color, size...) with a target-distractor pop-out type of synthetic patterns. We have used Free-Viewing and Visual Search task instructions and 7 feature contrasts for each feature category. Our study reveals that state-of-the-art Deep Learning saliency models do not perform well with synthetic pattern images, instead, models with Spectral/Fourier inspiration outperform others in saliency metrics and are more consistent with human psychophysical experimentation. This study proposes a new way to evaluate saliency models in the forthcoming literature, accounting for synthetic images with uniquely low-level feature contexts, distinct from previous eye tracking image datasets.


title: Federated Learning over Wireless Networks: Convergence Analysis and Resource Allocation

abstract: There is an increasing interest in a fast-growing machine learning technique called Federated Learning, in which the model training is distributed over mobile user equipments (UEs), exploiting UEs' local computation and training data. Despite its advantages in data privacy-preserving, Federated Learning (FL) still has challenges in heterogeneity across UEs' data and physical resources. We first propose a FL algorithm which can handle the heterogeneous UEs' data challenge without further assumptions except strongly convex and smooth loss functions. We provide the convergence rate characterizing the trade-off between local computation rounds of UE to update its local model and global communication rounds to update the FL global model. We then employ the proposed FL algorithm in wireless networks as a resource allocation optimization problem that captures the trade-off between the FL convergence wall clock time and energy consumption of UEs with heterogeneous computing and power resources. Even though the wireless resource allocation problem of FL is non-convex, we exploit this problem's structure to decompose it into three sub-problems and analyze their closed-form solutions as well as insights to problem design. Finally, we illustrate the theoretical analysis for the new algorithm with Tensorflow experiments and extensive numerical results for the wireless resource allocation sub-problems. The experiment results not only verify the theoretical convergence but also show that our proposed algorithm outperforms the vanilla FedAvg algorithm in terms of convergence rate and testing accuracy.


title: Flat bands in twisted bilayer transition metal dichalcogenides

abstract: The crystal structure of a material creates a periodic potential that electrons move through giving rise to the electronic band structure of the material. When two-dimensional materials are stacked, the twist angle between the layers becomes an additional degree freedom for the resulting heterostructure. As this angle changes, the electronic band structure is modified leading to the possibility of flat bands with localized states and enhanced electronic correlations. In transition metal dichalcogenides, flat bands have been theoretically predicted to occur for long moir\'e wavelengths over a range of twist angles around 0 and 60 degrees giving much wider versatility than magic angle twisted bilayer graphene. Here we show the existence of a flat band in the electronic structure of 3{\deg} and 57.5{\deg} twisted bilayer WSe2 samples using scanning tunneling spectroscopy. Direct spatial mapping of wavefunctions at the flat band energy have shown that the flat bands are localized differently for 3{\deg} and 57.5{\deg}, in excellent agreement with first-principle density functional theory calculations.


title: Disentangling Timbre and Singing Style with Multi-singer Singing Synthesis System

abstract: In this study, we define the identity of the singer with two independent concepts - timbre and singing style - and propose a multi-singer singing synthesis system that can model them separately. To this end, we extend our single-singer model into a multi-singer model in the following ways: first, we design a singer identity encoder that can adequately reflect the identity of a singer. Second, we use encoded singer identity to condition the two independent decoders that model timbre and singing style, respectively. Through a user study with the listening tests, we experimentally verify that the proposed framework is capable of generating a natural singing voice of high quality while independently controlling the timbre and singing style. Also, by using the method of changing singing styles while fixing the timbre, we suggest that our proposed network can produce a more expressive singing voice.


title: The Interaction Between the Supernova Remnant W41 and the Filamentary Infrared Dark Cloud G23.33-0.30

abstract: G23.33-0.30 is a 600 $M_{\odot}$ infrared dark molecular filament that exhibits large NH$_3$ velocity dispersions ($\sigma \sim 8 \ \rm{km \ s^{-1}}$) and bright, narrow NH$_3$(3,3) line emission. We have probed G23.33-0.30 at the $<0.1$ pc scale and confirmed that the narrow NH$_3$(3,3) line is emitted by four rare NH$_3$(3,3) masers, which are excited by a large-scale shock impacting the filament. G23.33-0.30 also displays a velocity gradient along its length, a velocity discontinuity across its width, shock-tracing SiO(5-4) emission extended throughout the filament, broad turbulent line widths in NH$_3$(1,1) through (6,6), CS(5-4), and SiO(5-4), as well as an increased NH$_3$ rotational temperature ($T_{\rm{rot}}$) and velocity dispersion ($\sigma$) associated with the shocked, blueshifted component. The correlations among $T_{\rm{rot}}$, $\sigma$, and $V_{\rm{LSR}}$ implies that the shock is accelerating, heating, and adding turbulent energy to the filament gas. Given G23.33-0.30's location within the giant molecular cloud G23.0-0.4, we speculate that the shock and NH$_3$(3,3) masers originated from the supernova remnant W41, which exhibits additional evidence of an interaction with G23.0-0.4. We have also detected the 1.3 mm dust continuum emission from at least three embedded molecular cores associated with G23.33-0.30. Although the cores have moderate gas masses ($M = 7-10$ M$_{\odot}$), their large virial parameters ($\alpha=4-9$) suggest that they will not collapse to form stars. The turbulent line widths of the cores may indicate negative feedback due to the SNR shock.


title: New bounds for dimensions of a set uniformly avoiding multi-dimensional arithmetic progressions

abstract: Let $r_k(N)$ be the largest cardinality of a subset of $\{1,\ldots,N\}$ which does not contain any arithmetic progressions (APs) of length $k$. In this paper, we give new upper and lower bounds for fractal dimensions of a set which does not contain $(k,\epsilon)$-APs in terms of $r_k(N)$, where $N$ depends on $\epsilon$. Here we say that a subset of real numbers does not contain $(k,\epsilon)$-APs if we can not find any APs of length $k$ with gap difference $\Delta$ in the $\epsilon \Delta$-neighborhood of the set. More precisely, we show multi-dimensional cases of this result. As a corollary, we find equivalences between multi-dimensional Szemer\'edi's theorem and bounds for fractal dimensions of a set which does not contain multi-dimensional $(k,\epsilon)$-APs.


title: Investigation of gating effect in Si spin MOSFET

abstract: A gate voltage application in a Si-based spin metal-oxide-semiconductor field-effect transistor (spin MOSFET) modulates spin accumulation voltages, where both electrical conductivity and drift velocity are modified while keeping constant electric current. An unprecedented reduction in the spin accumulation voltages in a Si spin MOSFET under negative gate voltage applications is observed in a high electric bias current regime. To support our claim, the electric bias current dependence of the spin accumulation voltage under the gate voltage applications is investigated in detail and compared to a spin drift diffusion model including the conductance mismatch effect. We proved that the drastic decrease of the mobility and spin lifetime in the Si channel is due to the optical phonon emission at the high electric bias current, which consequently reduced the spin accumulation voltage.


title: Efficient Approximation Algorithms for Adaptive Target Profit Maximization

abstract: Given a social network $G$, the profit maximization (PM) problem asks for a set of seed nodes to maximize the profit, i.e., revenue of influence spread less the cost of seed selection. The target profit maximization (TPM) problem, which generalizes the PM problem, aims to select a subset of seed nodes from a target user set $T$ to maximize the profit. Existing algorithms for PM mostly consider the nonadaptive setting, where all seed nodes are selected in one batch without any knowledge on how they may influence other users. In this paper, we study TPM in adaptive setting, where the seed users are selected through multiple batches, such that the selection of a batch exploits the knowledge of actual influence in the previous batches. To acquire an overall understanding, we study the adaptive TPM problem under both the oracle model and the noise model, and propose ADG and AddATP algorithms to address them with strong theoretical guarantees, respectively. In addition, to better handle the sampling errors under the noise model, we propose the idea of hybrid error based on which we design a novel algorithm HATP that boosts the efficiency of AddATP significantly. We conduct extensive experiments on real social networks to evaluate the performance, and the experimental results strongly confirm the superiorities and effectiveness of our solutions.


title: Multi-level Thresholding Test for High Dimensional Covariance Matrices

abstract: We consider testing the equality of two high-dimensional covariance matrices by carrying out a multi-level thresholding procedure, which is designed to detect sparse and faint differences between the covariances. A novel U-statistic composition is developed to establish the asymptotic distribution of the thresholding statistics in conjunction with the matrix blocking and the coupling techniques. We propose a multi-thresholding test that is shown to be powerful in detecting sparse and weak differences between two covariance matrices. The test is shown to have attractive detection boundary and to attain the optimal minimax rate in the signal strength under different regimes of high dimensionality and the sparsity of the signal. Simulation studies are conducted to demonstrate the utility of the proposed test.


title: Possible martensitic transformation in Pd2MnTi and Pt2MnTi: First-principles investigation

abstract: The martensitic transformation in new-type all-d-metal Heusler alloys Pd2MnTi and Pt2MnTi have been investigated based on first-principles investigations. The calculated results indicate that the martenstic transformation have great possibility to occur in both Pd2MnTi and Pt2MnTi. The energy differences between the cubic and tetragonal phases are 215.12 meV and 329.45 meV for Pd2MnTi and Pt2MnTi, respectively. The analysis of the electronic structure of cubic and tetragonal phases also support this conclusion. The magnetic properties are also investigated for the two compounds.


title: The Six Fronts of the Generative Adversarial Networks

abstract: Generative Adversarial Networks fostered a newfound interest in generative models, resulting in a swelling wave of new works that new-coming researchers may find formidable to surf. In this paper, we intend to help those researchers, by splitting that incoming wave into six "fronts": Architectural Contributions, Conditional Techniques, Normalization and Constraint Contributions, Loss Functions, Image-to-image Translations, and Validation Metrics. The division in fronts organizes literature into approachable blocks, ultimately communicating to the reader how the area is evolving. Previous surveys in the area, which this works also tabulates, focus on a few of those fronts, leaving a gap that we propose to fill with a more integrated, comprehensive overview. Here, instead of an exhaustive survey, we opt for a straightforward review: our target is to be an entry point to this vast literature, and also to be able to update experienced researchers to the newest techniques.


title: Learning Rich Image Region Representation for Visual Question Answering

abstract: We propose to boost VQA by leveraging more powerful feature extractors by improving the representation ability of both visual and text features and the ensemble of models. For visual feature, some detection techniques are used to improve the detector. For text feature, we adopt BERT as the language model and find that it can significantly improve VQA performance. Our solution won the second place in the VQA Challenge 2019.


title: Icosahedral quasicrystal, 1/1 and 2/1 approximants in Zn-based ternary alloys containing Au and Yb/Tb

abstract: In a narrow composition range centered at Zn74.5Au10.5Yb15.0, Tsai-type icosahedral quasicrystal is formed in alloys quenched from 880 C. This quasicrystal belongs to the primitive type with the 6-dimensional lattice parameter a6D=7.378 A. The quasicrystal was not formed in the slowly cooled specimen, and was considered a metastable phase. The stable phase is a 2/1 approximant of the lattice parameter a2/1=23.271 A. This approximant forms exclusively in Zn76.0Au9.0Yb15.0 alloy annealed at 530 C. In addition, Zn70.5Au15.5Tb14.0 alloy annealed at 505 C forms a Tsai-type 1/1 approximant (a1/1=14.343 A). These new Zn-based phases observed in this study correspond to the quasicrystal-related phases in binary Cd-lanthanoid systems, and show the possibility of isostructural substitution of Cd by Zn/Au.


title: Non-variational extrema of exponential Teichm\"uller spaces

abstract: The exponential Teichm\"uller spaces $E_p$, $0\leq p \leq \infty$, interpolate between the classical Teichm\"uller space ($p=\infty$) and the space of harmonic diffeomorphisms $(p=0)$. In this article we prove the existence of non-variational critical points for the associated functional: mappings $f$ of the disk whose distortion is $p$-exponentially integrable, $0<p<\infty$, yet for {\em any} diffeomorphism $g(z)$ of $\ID$ with $g|\partial\ID=identity$ and $g\neq identity$ we have $f\circ g$ is not of $p$-exponentially integrable distortion.