title: Ground states for a nonlocal cubic-quartic Gross-Pitaevskii equation

abstract: We prove existence and qualitative properties of ground state solutions to a generalized nonlocal 3rd-4th order Gross-Pitaevskii equation. Using a mountain pass argument on spheres and constructing appropriately localized Palais-Smale sequences we are able to prove existence of real positive ground states as saddle points. The analysis is deployed in the set of possible states, thus overcoming the problem that the energy is unbounded below. We also prove a corresponding nonlocal Pohozaev identity with no rest term, a crucial part of the analysis.


title: Mass Modeling of Frontier Fields Cluster MACS J1149.5+2223 Using Strong and Weak Lensing

abstract: We present a gravitational lensing model of MACS J1149.5+2223 using ultra-deep Hubble Frontier Fields imaging data and spectroscopic redshifts from HST grism and VLT/MUSE spectroscopic data. We create total mass maps using 38 multiple images (13 sources) and 608 weak lensing galaxies, as well as 100 multiple images of 31 star-forming regions in the galaxy that hosts Supernova Refsdal. We find good agreement with a range of recent models within the HST field of view. We present a map of the ratio of projected stellar mass to total mass ($f_{\star}$), and find that the stellar mass fraction for this cluster peaks on the primary BCG. Averaging within a radius of 0.3 Mpc, we obtain a value of $\langle f_{\star} \rangle = 0.012^{+0.004}_{-0.003}$, consistent with other recent results for this ratio in cluster environments, though with a large global error (up to $\delta f_{\star} = 0.005$) primarily due to the choice of an IMF. We compare values of $f_{\star}$ and measures of star formation efficiency for this cluster to other Hubble Frontier Fields clusters studied in the literature, finding that MACS1149 has a higher stellar mass fraction than these other clusters, but a star formation efficiency typical of massive clusters.


title: Quantifying the dynamics of topical fluctuations in language

abstract: The availability of large diachronic corpora has provided the impetus for a growing body of quantitative research on language evolution and meaning change. The central quantities in this research are token frequencies of linguistic elements in texts, with changes in frequency taken to reflect the popularity or selective fitness of an element. However, corpus frequencies may change for a wide variety of reasons, including purely random sampling effects, or because corpora are composed of contemporary media and fiction texts within which the underlying topics ebb and flow with cultural and socio-political trends. In this work, we introduce a simple model for controlling for topical fluctuations in corpora - the topical-cultural advection model - and demonstrate how it provides a robust baseline of variability in word frequency changes over time. We validate the model on a diachronic corpus spanning two centuries, and a carefully-controlled artificial language change scenario, and then use it to correct for topical fluctuations in historical time series. Finally, we use the model to show that the emergence of new words typically corresponds with the rise of a trending topic. This suggests that some lexical innovations occur due to growing communicative need in a subspace of the lexicon, and that the topical-cultural advection model can be used to quantify this.


title: Grain extraction and microstructural analysis method for two-dimensional poly and quasicrystalline solids

abstract: While the microscopic structure of defected solid crystalline materials has significant impact on their physical properties, efficient and accurate determination of a given polycrystalline microstructure remains a challenge. In this paper we present a highly generalizable and reliable variational method to achieve this goal for two-dimensional crystalline and quasicrystalline materials. The method is benchmarked and optimized successfully using a variety of large-scale systems of defected solids, including periodic structures and quasicrystalline symmetries to quantify their microstructural characteristics, e.g., grain size and lattice misorientation distributions. We find that many microstructural properties show universal features independent of the underlying symmetries.


title: On Multi-Layer Basis Pursuit, Efficient Algorithms and Convolutional Neural Networks

abstract: Parsimonious representations are ubiquitous in modeling and processing information. Motivated by the recent Multi-Layer Convolutional Sparse Coding (ML-CSC) model, we herein generalize the traditional Basis Pursuit problem to a multi-layer setting, introducing similar sparse enforcing penalties at different representation layers in a symbiotic relation between synthesis and analysis sparse priors. We explore different iterative methods to solve this new problem in practice, and we propose a new Multi-Layer Iterative Soft Thresholding Algorithm (ML-ISTA), as well as a fast version (ML-FISTA). We show that these nested first order algorithms converge, in the sense that the function value of near-fixed points can get arbitrarily close to the solution of the original problem. We further show how these algorithms effectively implement particular recurrent convolutional neural networks (CNNs) that generalize feed-forward ones without introducing any parameters. We present and analyze different architectures resulting unfolding the iterations of the proposed pursuit algorithms, including a new Learned ML-ISTA, providing a principled way to construct deep recurrent CNNs. Unlike other similar constructions, these architectures unfold a global pursuit holistically for the entire network. We demonstrate the emerging constructions in a supervised learning setting, consistently improving the performance of classical CNNs while maintaining the number of parameters constant.


title: A new coarsely rigid class of Banach spaces

abstract: We prove that the class of reflexive asymptotic-$c_0$ Banach spaces is coarsely rigid, meaning that if a Banach space $X$ coarsely embeds into a reflexive asymptotic-$c_0$ space $Y$, then $X$ is also reflexive and asymptotic-$c_0$. In order to achieve this result we provide a purely metric characterization of this class of Banach spaces. This metric characterization takes the form of a concentration inequality for Lipschitz maps on the Hamming graphs, which is rigid under coarse embeddings. Using an example of a quasi-reflexive asymptotic-$c_0$ space, we show that this concentration inequality is not equivalent to the non equi-coarse embeddability of the Hamming graphs.


title: Novel Silicon Photomultipliers suitable for Dual-Mirror Small-Sized Telescopes of the Cherenkov Telescope Array

abstract: Many of the characteristics of Silicon Photomultipliers (SiPMs), such as high Photon Detection Efficiency (PDE), are well matched to the requirements of the cameras of the Small-Sized Telescopes (SSTs) proposed for the Cherenkov Telescope Array. In fact, compared to a single mirror, the double mirror Schwarzschild Couder configuration provides a much better Point Spread Function over a large field of view. It allows better correction of aberrations at large off axis angles and facilitates the construction of compact telescopes. Moreover, the small plate scale of the dual-mirror SSTs allows the use of SiPM detectors despite their small pixel sizes. These sensors have two further advantages compared to the Photo Multipliers Tubes: the low cost and the possibility to observe in very high Night Sky Background (NSB) light level without any damage. However, one area in which SiPM performance has required improvement is Optical CrossTalk (OCT), where multiple avalanches are induced by a single impinging photon. OCT, coupled with the typical NSB rate of 25 MCnts/s per pixel during Cherenkov observations, can place severe constraints on the triggering capability of the cameras. This paper describes the performance of novel Low Voltage Reverse (LVR) 2nd and 3rd generation Multi Pixel Photon Counters manufactured by Hamamatsu Photonics. These are designed to have both enhanced PDE and reduced OCT. Two 7 x 7 mm2 S14520 LVR2 MPPCs with 75 um microcells are tested and compared with detectors of the same pixel size with 50 um microcells. A comparative analysis of a 3 x 3 mm2 S14520 LVR2 device and an S14520 LVR3 device is also carried out, demonstrating that the LVR3 gives better photon detection in the 240 380 nm wavelength range. Finally, the effect of an infrared filter on the OCT is analysed.


title: An Enhancement of Decimation Process using Fast Cascaded Integrator Comb (CIC) Filter

abstract: The oversampling technique has been shown to increase the SNR and is used in many high-performance systems such as in the ADC for audio and DAT systems. This paper presents the design of the decimation and it's VLSI implementation which is the sub-component in the oversampling technique. The design of three main units in the decimation stage that is the Cascaded Integrator Comb (CIC) filter, the associated half-band filters and the droop correction are also described. The Verilog HDL code in Xilinx ISE environment has been derived to describe the CIC filter properties and downloaded into Virtex II FPGA board. In the design of these units, we focus on the trade-off between the speed improvement and the power consumption as well as the silicon area for the chip implementation.


title: Diagnosis of Anomaly in the Dynamic State Estimator of a Power System using System Decomposition

abstract: In a state estimator, the presence of malicious or simply corrupt sensor data or bad data is detected by the high value of normalized measurement residuals that exceeds the threshold value, determined by the $\chi^2$ distribution. However, high normalized residuals can also be caused by another type of anomaly, namely gross modeling or topology error. In this paper we propose a method to distinguish between these two sources of anomalies - 1) malicious sensor data and 2) modeling error. The anomaly detector will start with assuming a case of malicious data and suspect some of the individual measurements corresponding to the highest normalized residuals to be `malicious', unless proved otherwise. Then, choosing a change of basis, the state space is transformed and decomposed into `observable' and `unobservable' parts with respect to these `suspicious' measurements. We argue that, while the anomaly due to malicious data can only affect the `observable' part of the states, there exists no such restriction for anomalies due to modeling error. Numerical results illustrate how the proposed anomaly diagnosis based on Kalman decomposition can successfully distinguish between the two types of anomalies.


title: Theoretical and numerical comparison of hyperelastic and hypoelastic formulations for Eulerian non-linear elastoplasticity

abstract: The aim of this paper is to compare a hyperelastic with a hypoelastic model describing the Eulerian dynamics of solids in the context of non-linear elastoplastic deformations. Specifically, we consider the well-known hypoelastic Wilkins model, which is compared against a hyperelastic model based on the work of Godunov and Romenski. First, we discuss some general conceptual differences between the two approaches. Second, a detailed study of both models is proposed, where differences are made evident at the aid of deriving a hypoelastic-type model corresponding to the hyperelastic model and a particular equation of state used in this paper. Third, using the same high order ADER Finite Volume and Discontinuous Galerkin methods on fixed and moving unstructured meshes for both models, a wide range of numerical benchmark test problems has been solved. The numerical solutions obtained for the two different models are directly compared with each other. For small elastic deformations, the two models produce very similar solutions that are close to each other. However, if large elastic or elastoplastic deformations occur, the solutions present larger differences.


title: A sharp stability estimate for the geodesic ray transform

abstract: We prove a sharp $L^2\to H^{1/2}$ stability estimate for the geodesic X-ray transform of tensor fields of order $0$, $1$ and $2$ on a simple Riemannian manifold with a suitable chosen $H^{1/2}$ norm. We show that such an estimate holds for a family of such $H^{1/2}$ norms, not topologically equivalent, but equivalent on the range of the transform. The reason for this is that the geodesic X-ray transform has a microlocally structured range.


title: Asymptotics and inequalities for partitions into squares

abstract: In this paper we prove that the number of partitions into squares with an even number of parts is asymptotically equal to that of partitions into squares with an odd number of parts. We further show that, for $ n $ large enough, the two quantities are different and which of the two is bigger depends on the parity of $ n. $ This solves a recent conjecture formulated by Bringmann and Mahlburg (2012).


title: Primal-Dual Frank-Wolfe for Constrained Stochastic Programs with Convex and Non-convex Objectives

abstract: We study constrained stochastic programs where the decision vector at each time slot cannot be chosen freely but is tied to the realization of an underlying random state vector. The goal is to minimize a general objective function subject to linear constraints. A typical scenario where such programs appear is opportunistic scheduling over a network of time-varying channels, where the random state vector is the channel state observed, and the control vector is the transmission decision which depends on the current channel state. We consider a primal-dual type Frank-Wolfe algorithm that has a low complexity update during each slot and that learns to make efficient decisions without prior knowledge of the probability distribution of the random state vector. We establish convergence time guarantees for the case of both convex and non-convex objective functions. We also emphasize application of the algorithm to non-convex opportunistic scheduling and distributed non-convex stochastic optimization over a connected graph.


title: Dirac System Associated with Hahn Difference Operator

abstract: In this paper, we introduce q,{\omega}-Dirac system. We investigate the existence and uniqueness of solutions for this system and obtain some spectral properties based on the Hahn difference operator. Also we give two examples, which indicate that asymptotic formulas for eigenvalues.


title: Learning and Generalizing Motion Primitives from Driving Data for Path-Tracking Applications

abstract: Considering the driving habits which are learned from the naturalistic driving data in the path-tracking system can significantly improve the acceptance of intelligent vehicles. Therefore, the goal of this paper is to generate the prediction results of lateral commands with confidence regions according to the reference based on the learned motion primitives. We present a two-level structure for learning and generalizing motion primitives through demonstrations. The lower-level motion primitives are generated under the path segmentation and clustering layer in the upper-level. The Gaussian Mixture Model(GMM) is utilized to represent the primitives and Gaussian Mixture Regression (GMR) is selected to generalize the motion primitives. We show how the upper-level can help to improve the prediction accuracy and evaluate the influence of different time scales and the number of Gaussian components. The model is trained and validated by using the driving data collected from the Beijing Institute of Technology (BIT) intelligent vehicle platform. Experiment results show that the proposed method can extract the motion primitives from the driving data and predict the future lateral control commands with high accuracy.


title: An Interpretable Deep Hierarchical Semantic Convolutional Neural Network for Lung Nodule Malignancy Classification

abstract: While deep learning methods are increasingly being applied to tasks such as computer-aided diagnosis, these models are difficult to interpret, do not incorporate prior domain knowledge, and are often considered as a "black-box." The lack of model interpretability hinders them from being fully understood by target users such as radiologists. In this paper, we present a novel interpretable deep hierarchical semantic convolutional neural network (HSCNN) to predict whether a given pulmonary nodule observed on a computed tomography (CT) scan is malignant. Our network provides two levels of output: 1) low-level radiologist semantic features, and 2) a high-level malignancy prediction score. The low-level semantic outputs quantify the diagnostic features used by radiologists and serve to explain how the model interprets the images in an expert-driven manner. The information from these low-level tasks, along with the representations learned by the convolutional layers, are then combined and used to infer the high-level task of predicting nodule malignancy. This unified architecture is trained by optimizing a global loss function including both low- and high-level tasks, thereby learning all the parameters within a joint framework. Our experimental results using the Lung Image Database Consortium (LIDC) show that the proposed method not only produces interpretable lung cancer predictions but also achieves significantly better results compared to common 3D CNN approaches.


title: D-branes (or not) in the non-Abelian T-dual of the SU(2) WZW model

abstract: Following on from arXiv:1805.03657, we consider open strings in the non-Abelian T-dual of the $SU(2)_k$ WZW model, with respect to the vector $SU(2)$ isometry. Since in this case the dual theory has an exact CFT description, we look at the chiral algebra-preserving D-branes. The general conclusion is that a large set of branes, while consistent boundary conditions on the worldsheet, are sent to infinity in the target space. This suggests inconsistency of the strict non-Abelian duality with open strings, in this case.


title: GW/PT descendent correspondence via vertex operators

abstract: We propose an explicit formula for the GW/PT descendent correspondence in the stationary case for nonsingular projective 3-folds. The formula, written in terms of vertex operators, is found by studying the 1-leg geometry. We prove the proposal for all nonsingular projective toric 3-folds. An application to the Virasoro constraints for the stationary descendent theory of stable pairs will appear in a sequel.


title: Quantifying Quantum Coherence in Experimentally-Observed Neutrino Oscillations

abstract: Neutrino oscillation represents an intriguing physical phenomenon where the quantumness can be maintained and detected over a long distance. Previously, the non-classical character of neutrino oscillation was tested with the Leggett-Garg inequality, where a clear violation of the classical bound was observed [J. A. Formaggio et al., Phys. Rev. Lett. 117, 050402 (2016)]. However, there are several limitations in testing neutrino oscillations with the Leggett-Garg inequality. In particular, the degree of violation of the Leggett-Garg inequality cannot be taken as a "measure of quantumness". Here we focus on quantifying the quantumness of experimentally-observed neutrino oscillation, using the tools of recently-developed quantum resource theory. We analyzed ensembles of reactor and accelerator neutrinos at distinct energies from a variety of neutrino sources, including Daya Bay (0.5 km and 1.6 km), Kamland (180 km), MINOS (735 km), and T2K (295 km). The quantumness of the three-flavoured neutrino oscillation is characterized within a 3{\sigma} range relative to the theoretical prediction. It is found that the maximal coherence was observed in the neutrino source from the Kamland reactor. However, even though the survival probability of the Daya Bay experiment did not vary significantly (dropped about 10 percent), the coherence recorded can reach up to 40 percent of the maximal value. These results represent the longest distance over which quantumness were experimentally determined for quantum particles other than photons.


title: Weber's law based perception and the stability of animal groups

abstract: Group living animals form aggregations and flocks that remain cohesive in spite of internal movements of individuals. This is possible because individual group members repeatedly adjust their position and motion in response to the position and motion of other group members. Here we develop a theoretical approach to address the question, what general features -- if any -- underlie the interaction rules that mediate group stability in animals of all species? We do so by considering how the spatial organisation of a group would change in the complete absence of interactions. Without interactions, a group would disperse in a way that can be easily characterised in terms of Fick's diffusion equations. We can hence address the inverse theoretical problem of finding the individual-level interaction responses that are required to counterbalance diffusion and to preserve group stability. We show that an individual-level response to neighbour densities in the form of Weber's law (a 'universal' law describing the functioning of the sensory systems of animals of all species) results in an 'anti-diffusion' term at the group level. On short time scales, this anti-diffusion restores the initial group configuration in a way which is reminiscent of methods for image deblurring in image processing. We also show that any non-homogeneous, spatial density distribution can be preserved over time if individual movement patterns have the form of a Weber's law response. Weber's law describes the fundamental functioning of perceptual systems. Our study indicates that it is also a necessary -- but not sufficient -- feature of collective interactions in stable animal groups.


title: Morse-like squeezed coherent states and some of their properties

abstract: Using the f-deformed oscillator formalism, we introduce two types of squeezed coherent states for a Morse potential system (Morse-like squeezed coherent states) through the following definitions: i) as approximate eigenstates of a linear combination of f-deformed ladder operators and ii) as deformed photon-subtracted coherent states. For the states thus constructed we analyze their statistical properties, their uncertainty relations, and their temporal evolution on phase space.


title: Tunable stacking fault energies by tailoring local chemical order in CrCoNi medium-entropy alloys

abstract: High-entropy alloys (HEAs) are an intriguing new class of metallic materials due to their unique mechanical behavior. Achieving a detailed understanding of structure-property relationships in these materials has been challenged by the compositional disorder that underlies their unique mechanical behavior. Accordingly, in this work, we employ first-principles calculations to investigate the nature of local chemical order and establish its relationship to the intrinsic and extrinsic stacking fault energy (SFE) in CrCoNi medium-entropy solid-solution alloys, whose combination of strength, ductility and toughness properties approach the best on record. We find that the average intrinsic and extrinsic SFE are both highly tunable, with values ranging from -43 mJ.m-2 to 30 mJ.m-2 and from -28 mJ.m-2 to 66 mJ.m-2, respectively, as the degree of local chemical order increases. The state of local ordering also strongly correlates with the energy difference between the face-centered cubic (fcc) and hexagonal-close packed (hcp) phases, which affects the occurrence of transformation-induced plasticity. This theoretical study demonstrates that chemical short-range order is thermodynamically favored in HEAs and can be tuned to affect the mechanical behavior of these alloys. It thus addresses the pressing need to establish robust processing-structure-property relationships to guide the science-based design of new HEAs with targeted mechanical behavior.


title: Representaciones Circulares de Grafos Simples Conexos y el Rango M\'inimo Semidefinido de un Delta Grafo

abstract: In this paper we give a technique to represent simple connected graphs by using Clockwise Circular Representations and we show its applications by calculating orthogonal representations of simple connected graphs which are essentials in matrix analysis and graph theory.


title: Generalized Robust Bayesian Committee Machine for Large-scale Gaussian Process Regression

abstract: In order to scale standard Gaussian process (GP) regression to large-scale datasets, aggregation models employ factorized training process and then combine predictions from distributed experts. The state-of-the-art aggregation models, however, either provide inconsistent predictions or require time-consuming aggregation process. We first prove the inconsistency of typical aggregations using disjoint or random data partition, and then present a consistent yet efficient aggregation model for large-scale GP. The proposed model inherits the advantages of aggregations, e.g., closed-form inference and aggregation, parallelization and distributed computing. Furthermore, theoretical and empirical analyses reveal that the new aggregation model performs better due to the consistent predictions that converge to the true underlying function when the training size approaches infinity.


title: The $-_+$ and $-^+$ constructions for biset functors

abstract: In this article we define the $-_+$-construction and the $-^+$-construction, that was crucial in the theory of canonical induction formulas (see \cite{Boltje1998b}), in the setting of biset functors, thus providing the necessary framework to define and construct canonical induction formulas for representation rings that are most naturally viewed as biset functors. Additionally, this provides a unified approach to the study of a class of functors including the Burnside ring, the monomial Burnside ring and global representation ring.


title: Dense Information Flow for Neural Machine Translation

abstract: Recently, neural machine translation has achieved remarkable progress by introducing well-designed deep neural networks into its encoder-decoder framework. From the optimization perspective, residual connections are adopted to improve learning performance for both encoder and decoder in most of these deep architectures, and advanced attention connections are applied as well. Inspired by the success of the DenseNet model in computer vision problems, in this paper, we propose a densely connected NMT architecture (DenseNMT) that is able to train more efficiently for NMT. The proposed DenseNMT not only allows dense connection in creating new features for both encoder and decoder, but also uses the dense attention structure to improve attention quality. Our experiments on multiple datasets show that DenseNMT structure is more competitive and efficient.


title: A Hierarchical Attention Model for Social Contextual Image Recommendation

abstract: Image based social networks are among the most popular social networking services in recent years. With tremendous images uploaded everyday, understanding users' preferences on user-generated images and making recommendations have become an urgent need. In fact, many hybrid models have been proposed to fuse various kinds of side information~(e.g., image visual representation, social network) and user-item historical behavior for enhancing recommendation performance. However, due to the unique characteristics of the user generated images in social image platforms, the previous studies failed to capture the complex aspects that influence users' preferences in a unified framework. Moreover, most of these hybrid models relied on predefined weights in combining different kinds of information, which usually resulted in sub-optimal recommendation performance. To this end, in this paper, we develop a hierarchical attention model for social contextual image recommendation. In addition to basic latent user interest modeling in the popular matrix factorization based recommendation, we identify three key aspects (i.e., upload history, social influence, and owner admiration) that affect each user's latent preferences, where each aspect summarizes a contextual factor from the complex relationships between users and images. After that, we design a hierarchical attention network that naturally mirrors the hierarchical relationship (elements in each aspects level, and the aspect level) of users' latent interests with the identified key aspects. Specifically, by taking embeddings from state-of-the-art deep learning models that are tailored for each kind of data, the hierarchical attention network could learn to attend differently to more or less content. Finally, extensive experimental results on real-world datasets clearly show the superiority of our proposed model.


title: Kinematics of the Galactic Bubble RCW 120

abstract: We studied the kinematics of the Galactic bubble RCW 120 in the [SII]\lambda\lambda$6717,6731\AA lines. We measured a LSR radial velocity ranging from ~-74 to ~-6km/s. We found evidence of expansion only in the northeast region of the nebula (from 20 to 30 km/s). We found a high electron density around 4000 cm^{-3} in the south-west region and we also found two arches-like structure indicating a density gradient. We present 3D numerical simulations of RCW 120 using Walicxe-3D code in order to explore optical shell dynamics and its morphology. Our numerical results predict an average numerical electron density of the ambient medium (in the southern region of the object) is between 3000 to 5000 cm^{-3} in agreement with our values obtained from the observations. From our models, we do not expect X-ray emission coming from the external shell, due to the low expansion velocity value.}


title: Integrated Tempering Enhanced Sampling Method as the Infinite Switching Limit of Simulated Tempering

abstract: Fast and accurate sampling method is in high demand, in order to bridge the large gaps between molecular dynamic simulations and experimental observations. Recently, integrated tempering enhanced sampling method (ITS) has been proposed and successfully applied to various biophysical examples, significantly accelerating conformational sampling. The mathematical validation for its effectiveness has not been elucidated yet. Here we show that the integrated tempering enhanced sampling method can be viewed as a reformulation of the infinite switching limit of simulated tempering method over a mixed potential. Moreover, we demonstrate that the efficiency of simulated tempering molecular dynamics (STMD) improves as the frequency of switching between the temperatures is increased, based on the large deviation principle of empirical distributions. Our theory provides the theoretical justification of the advantage of ITS. Finally, we illustrate the utility of the infinite switching simulated tempering method through several numerical examples.


title: Group schemes and local densities of ramified hermitian lattices in residue characteristic 2 Part II, Expanded version

abstract: This paper is the complementary work of [Cho16]. Ramified quadratic extensions $E/F$, where $F$ is a finite unramified field extension of $\mathbb{Q}_2$, fall into two cases that we call $\textit{Case 1}$ and $\textit{Case 2}$. In the previous work [Cho16], we obtained the local density formula for a ramified hermitian lattice in $\textit{Case 1}$. In this paper, we obtain the local density formula for the remaining $\textit{Case 2}$, by constructing a smooth integral group scheme model for an appropriate unitary group. Consequently, this paper, combined with the paper [GY00] of W. T. Gan and J.-K. Yu and [Cho16], allows the computation of the mass formula for any hermitian lattice $(L, H)$, when a base field is unramified over $\mathbb{Q}$ at a prime $(2)$.


title: Closed-loop Bayesian Semantic Data Fusion for Collaborative Human-Autonomy Target Search

abstract: In search applications, autonomous unmanned vehicles must be able to efficiently reacquire and localize mobile targets that can remain out of view for long periods of time in large spaces. As such, all available information sources must be actively leveraged -- including imprecise but readily available semantic observations provided by humans. To achieve this, this work develops and validates a novel collaborative human-machine sensing solution for dynamic target search. Our approach uses continuous partially observable Markov decision process (CPOMDP) planning to generate vehicle trajectories that optimally exploit imperfect detection data from onboard sensors, as well as semantic natural language observations that can be specifically requested from human sensors. The key innovation is a scalable hierarchical Gaussian mixture model formulation for efficiently solving CPOMDPs with semantic observations in continuous dynamic state spaces. The approach is demonstrated and validated with a real human-robot team engaged in dynamic indoor target search and capture scenarios on a custom testbed.


title: Data-Free/Data-Sparse Softmax Parameter Estimation with Structured Class Geometries

abstract: This note considers softmax parameter estimation when little/no labeled training data is available, but a priori information about the relative geometry of class label log-odds boundaries is available. It is shown that `data-free' softmax model synthesis corresponds to solving a linear system of parameter equations, wherein desired dominant class log-odds boundaries are encoded via convex polytopes that decompose the input feature space. When solvable, the linear equations yield closed-form softmax parameter solution families using class boundary polytope specifications only. This allows softmax parameter learning to be implemented without expensive brute force data sampling and numerical optimization. The linear equations can also be adapted to constrained maximum likelihood estimation in data-sparse settings. Since solutions may also fail to exist for the linear parameter equations derived from certain polytope specifications, it is thus also shown that there exist probabilistic classification problems over m convexly separable classes for which the log-odds boundaries cannot be learned using an m-class softmax model.


title: Partitioning transitive tournaments into isomorphic digraphs

abstract: In an earlier paper the first two authors have shown that self-complementary graphs can always be oriented in such a way that the union of the oriented version and its isomorphically oriented complement gives a transitive tournament. We investigate the possibilities of generalizing this theorem to decompositions of the complete graph into three or more isomorphic graphs. We find that a complete characterization of when an orientation with similar properties is possible seems elusive. Nevertheless, we give sufficient conditions that generalize the earlier theorem and also imply that decompositions of odd vertex complete graphs to Hamiltonian cycles admit such an orientation. These conditions are further generalized and some necessary conditions are given as well.


title: Minnorm training: an algorithm for training over-parameterized deep neural networks

abstract: In this work, we propose a new training method for finding minimum weight norm solutions in over-parameterized neural networks (NNs). This method seeks to improve training speed and generalization performance by framing NN training as a constrained optimization problem wherein the sum of the norm of the weights in each layer of the network is minimized, under the constraint of exactly fitting training data. It draws inspiration from support vector machines (SVMs), which are able to generalize well, despite often having an infinite number of free parameters in their primal form, and from recent theoretical generalization bounds on NNs which suggest that lower norm solutions generalize better. To solve this constrained optimization problem, our method employs Lagrange multipliers that act as integrators of error over training and identify `support vector'-like examples. The method can be implemented as a wrapper around gradient based methods and uses standard back-propagation of gradients from the NN for both regression and classification versions of the algorithm. We provide theoretical justifications for the effectiveness of this algorithm in comparison to early stopping and $L_2$-regularization using simple, analytically tractable settings. In particular, we show faster convergence to the max-margin hyperplane in a shallow network (compared to vanilla gradient descent); faster convergence to the minimum-norm solution in a linear chain (compared to $L_2$-regularization); and initialization-independent generalization performance in a deep linear network. Finally, using the MNIST dataset, we demonstrate that this algorithm can boost test accuracy and identify difficult examples in real-world datasets.


title: Bandwidth selection for kernel density estimators of multivariate level sets and highest density regions

abstract: We consider bandwidth matrix selection for kernel density estimators (KDEs) of density level sets in $\mathbb{R}^d$, $d \ge 2$. We also consider estimation of highest density regions, which differs from estimating level sets in that one specifies the probability content of the set rather than specifying the level directly. This complicates the problem. Bandwidth selection for KDEs is well studied, but the goal of most methods is to minimize a global loss function for the density or its derivatives. The loss we consider here is instead the measure of the symmetric difference of the true set and estimated set. We derive an asymptotic approximation to the corresponding risk. The approximation depends on unknown quantities which can be estimated, and the approximation can then be minimized to yield a choice of bandwidth, which we show in simulations performs well. We provide an R package lsbs for implementing our procedure.


title: Data-driven identification of parametric partial differential equations

abstract: In this work we present a data-driven method for the discovery of parametric partial differential equations (PDEs), thus allowing one to disambiguate between the underlying evolution equations and their parametric dependencies. Group sparsity is used to ensure parsimonious representations of observed dynamics in the form of a parametric PDE, while also allowing the coefficients to have arbitrary time series, or spatial dependence. This work builds on previous methods for the identification of constant coefficient PDEs, expanding the field to include a new class of equations which until now have eluded machine learning based identification methods. We show that group sequentially thresholded ridge regression outperforms group LASSO in identifying the fewest terms in the PDE along with their parametric dependency. The method is demonstrated on four canonical models with and without the introduction of noise.


title: Search for line signal candidates in the Fermi-LAT data

abstract: In order to search for the line-like signals in the Fermi-LAT data, we have analyzed totally 49152 regions of interest (ROIs) that cover the whole sky. No ROI displays a line signal with test statistic (TS) value above 25, while for 50 ROIs weak line-like excesses with ${\rm TS}>16$ are presented. The intrinsic significances of these potential signals are further reduced by the large trial factor introduced in such kind of analysis. For the largest TS value of 24.3 derived in our analysis, the corresponding global significance is only $0.54\sigma$. We thus do not find any significant line-like signal and set up constraints on the cross section of dark matter annihilating to gamma-ray lines, $\left<\sigma{v}\right>_{\gamma\gamma}$.


title: Spanning trees with at most 2 branch vertices in claw - free graphs

abstract: In this article, we will prove that if $G$ is a connected claw-free graph and either $\sigma_6(G)\geq |G|-5$ or $\sigma_7(G)\geq |G|-2$, here $\sigma_k(G)$ is the minimmum degree sum of $k$ independent vertices in $G$, then $G$ has a spanning tree with at most two branch vertices.


title: High-Precision Megahertz-to-Terahertz Dielectric Spectroscopy of Protein Collective Motions and Hydration Dynamics

abstract: The low-frequency collective vibrational modes in proteins as well as the protein-water interface have been suggested as dominant factors controlling the efficiency of biochemical reactions and biological energy transport. It is thus crucial to uncover the mystery of hydration structure and dynamics as well as their coupling to collective motions of proteins in aqueous solutions. Here we report dielectric properties of aqueous bovine serum albumin protein solutions as a model system using an extremely sensitive dielectric spectrometer with frequencies spanning from megahertz to terahertz. The dielectric relaxation spectra reveal several polarization mechanisms at the molecular level with different time constants and dielectric strengths, reflecting the complexity of protein-water interactions. Combining the effective-medium approximation and molecular dynamics simulations, we have determined collective vibrational modes at terahertz frequencies and the number of water molecules in the tightly-bound and loosely-bound hydration layers. High-precision measurements of the number of hydration water molecules indicate that the dynamical influence of proteins extends beyond the first solvation layer, to around 7 {\AA} distance from the protein surface, with the largest slowdown arising from water molecules directly hydrogen-bonded to the protein. Our results reveal critical information of protein dynamics and protein-water interfaces, which determine biochemical functions and reactivity of proteins.


title: Complete 72-Parametric Classification of New and Old Kinds of Surface Plasmon Waves

abstract: We propose a general and complete classification of all possible new and old kinds of surface plasmon waves that can propagate at boundaries of arbitrary linear, local bi-anisotropic media, including the quartic metamaterials. For arbitrary frequency, wavelength, propagation direction, penetration depths and fields of the proposed surface plasmon waves we found the dispersion condition and determined the 72-parametric class of media that support a particular surface plasmon. A member of each class is a pair of anisotropic materials without magnetoelectric couplings.


title: Content-based Video Relevance Prediction Challenge: Data, Protocol, and Baseline

abstract: Video relevance prediction is one of the most important tasks for online streaming service. Given the relevance of videos and viewer feedbacks, the system can provide personalized recommendations, which will help the user discover more content of interest. In most online service, the computation of video relevance table is based on users' implicit feedback, e.g. watch and search history. However, this kind of method performs poorly for "cold-start" problems - when a new video is added to the library, the recommendation system needs to bootstrap the video relevance score with very little user behavior known. One promising approach to solve it is analyzing video content itself, i.e. predicting video relevance by video frame, audio, subtitle and metadata. In this paper, we describe a challenge on Content-based Video Relevance Prediction (CBVRP) that is hosted by Hulu in the ACM Multimedia Conference 2018. In this challenge, Hulu drives the study on an open problem of exploiting content characteristics directly from original video for video relevance prediction. We provide massive video assets and ground truth relevance derived from our really system, to build up a common platform for algorithm development and performance evaluation.


title: Contextualize, Show and Tell: A Neural Visual Storyteller

abstract: We present a neural model for generating short stories from image sequences, which extends the image description model by Vinyals et al. (Vinyals et al., 2015). This extension relies on an encoder LSTM to compute a context vector of each story from the image sequence. This context vector is used as the first state of multiple independent decoder LSTMs, each of which generates the portion of the story corresponding to each image in the sequence by taking the image embedding as the first input. Our model showed competitive results with the METEOR metric and human ratings in the internal track of the Visual Storytelling Challenge 2018.


title: Second-Order Asymptotically Optimal Statistical Classification

abstract: Motivated by real-world machine learning applications, we analyze approximations to the non-asymptotic fundamental limits of statistical classification. In the binary version of this problem, given two training sequences generated according to two {\em unknown} distributions $P_1$ and $P_2$, one is tasked to classify a test sequence which is known to be generated according to either $P_1$ or $P_2$. This problem can be thought of as an analogue of the binary hypothesis testing problem but in the present setting, the generating distributions are unknown. Due to finite sample considerations, we consider the second-order asymptotics (or dispersion-type) tradeoff between type-I and type-II error probabilities for tests which ensure that (i) the type-I error probability for {\em all} pairs of distributions decays exponentially fast and (ii) the type-II error probability for a {\em particular} pair of distributions is non-vanishing. We generalize our results to classification of multiple hypotheses with the rejection option.


title: How does climate change influence regional stability

abstract: Nowadays, different places have different region stability, which is influenced by lots of factors. In this paper ,it is aimed to analyze the influence of climate change on regional stability. several factors that may influence the region stability are proposed. Then Principle Components Analysis (PCA) was used to select the most relevant factors. After that ,a BP neural network is established considering all the principle components to evaluate the Region Stability (RS). Subsequently, the specific influence of the climate change is analyzed and the results showed that long term average precipitation is a main climate factor influencing the RS.


title: EigenKernel - A middleware for parallel generalized eigenvalue solvers to attain high scalability and usability

abstract: An open-source middleware EigenKernel was developed for use with parallel generalized eigenvalue solvers or large-scale electronic state calculation to attain high scalability and usability. The middleware enables the users to choose the optimal solver, among the three parallel eigenvalue libraries of ScaLAPACK, ELPA, EigenExa and hybrid solvers constructed from them, according to the problem specification and the target architecture. The benchmark was carried out on the Oakforest-PACS supercomputer and reveals that ELPA, EigenExa and their hybrid solvers show better performance, when compared with pure ScaLAPACK solvers. The benchmark on the K computer is also used for discussion. In addition, a preliminary research for the performance prediction was investigated, so as to predict the elapsed time T as the function of the number of used nodes P (T=T(P)). The prediction is based on Bayesian inference using the Markov Chain Monte Carlo (MCMC) method and the test calculation indicates that the method is applicable not only to performance interpolation but also to extrapolation. Such a middleware is of crucial importance for application-algorithm-architecture co-design among the current, next-generation (exascale), and future-generation (post-Moore era) supercomputers.


title: The Graviton Tail almost Completely Wags the Dog

abstract: One graviton loop corrections to the vacuum polarization on de Sitter show two interesting infrared effects: a secular enhancement of the photon electric field strength and a long range running of the Coulomb potential. We show that the first effect derives solely from the "tail" term of the graviton propagator, but that the second effect does not. Our result agrees with the earlier observation that the secular enhancement of massless fermion mode functions derives from solely from the tail term. We discuss the implications this has for the important project of generalizing to quantum gravity the Starobinsky technique for summing the series of leading infrared effects from inflationary quantum field theory.


title: Convergence rates of a penalized variational inequality method for nonlinear monotone ill-posed equations in Hilbert spaces

abstract: We consider perturbed nonlinear ill-posed equations in Hilbert spaces, with operators that are monotone on a given closed convex subset. A simple stable approach is Lavrentiev regularization, but existence of solutions of the regularized equation on the given subset can be guaranteed only under additional assumptions that are not satisfied in some applications. Lavrentiev regularization of the related variational inequality seems to be a reasonable alternative then. For the latter approach, in this paper we present new error estimates for suitable a priori parameter choices, if the considered operator is cocoercive and if in addition the solution admits an adjoint source representation. Some numerical experiments are included.


title: Solid-state dewetting on curved substrates

abstract: Based on the thermodynamic variation to the free energy functional, we propose a sharp-interface model for simulating solid-state dewetting of thin films on rigid curved substrates in two dimensions. This model describes the interface evolution which occurs through surface diffusion-controlled mass transport and contact point migration along the curved substrate. Furthermore, the surface energy anisotropy is easily included into the model, and the contact point migration is explicitly described by the relaxed contact angle boundary condition. We implement the mathematical model by a semi-implicit parametric finite element method to study several interesting phenomena, such as "small" particle migration on curved substrates and templated solid-state dewetting on a pre-patterned substrate. Based on ample numerical simulations, we demonstrate that, the migration velocity of a "small" solid particle is proportional to the substrate curvature gradient $\hat{\kappa}'$ and inversely proportional to the square root of the area of the particle $\sqrt{A}$, and it decreases when the isotropic Young angle $\theta_i$ increases. In addition, we also observe four periodic categories of dewetting on a pre-patterned sinusoidal substrate. Our approach can provide a convenient and powerful tool to exploring how to produce well-organized nanoparticles by making use of template-assisted solid-state dewetting.


title: Cram\'er's estimate for stable processes with power drift

abstract: We investigate the upper tail probabilities of the all-time maximum of a stable L\'evy process with a power negative drift. The asymptotic behaviour is shown to be exponential in the spectrally negative case and polynomial otherwise, with explicit exponents and constants. Analogous results are obtained, at a less precise level, for the fractionally integrated stable L\'evy process. We also study the lower tail probabilities of the integrated stable L\'evy process in the presence of a power positive drift.


title: Eye in the Sky: Real-time Drone Surveillance System (DSS) for Violent Individuals Identification using ScatterNet Hybrid Deep Learning Network

abstract: Drone systems have been deployed by various law enforcement agencies to monitor hostiles, spy on foreign drug cartels, conduct border control operations, etc. This paper introduces a real-time drone surveillance system to identify violent individuals in public areas. The system first uses the Feature Pyramid Network to detect humans from aerial images. The image region with the human is used by the proposed ScatterNet Hybrid Deep Learning (SHDL) network for human pose estimation. The orientations between the limbs of the estimated pose are next used to identify the violent individuals. The proposed deep network can learn meaningful representations quickly using ScatterNet and structural priors with relatively fewer labeled examples. The system detects the violent individuals in real-time by processing the drone images in the cloud. This research also introduces the aerial violent individual dataset used for training the deep network which hopefully may encourage researchers interested in using deep learning for aerial surveillance. The pose estimation and violent individuals identification performance is compared with the state-of-the-art techniques.


title: On $b$-Whittaker functions

abstract: The $b$-Whittaker functions are eigenfunctions of the modular $q$-deformed $\mathfrak{gl}_n$ open Toda system introduced by Kharchev, Lebedev, and Semenov-Tian-Shansky. Using the quantum inverse scattering method, the named authors obtained a Mellin-Barnes integral representation for these eigenfunctions. In the present paper, we develop the analytic theory of the $b$-Whittaker functions from the perspective of quantum cluster algebras. We obtain a formula for the modular open Toda system's Baxter operator as a sequence of quantum cluster transformations, and thereby derive a new modular $b$-analog of Givental's integral formula for the undeformed Whittaker function. We also show that the $b$-Whittaker functions are eigenvectors of the Dehn twist operator from quantum higher Teichm\"uller theory, and obtain $b$-analogs of various integral identities satisfied by the undeformed Whittaker functions, including the continuous Cauchy-Littlewood identity of Stade and Corwin-O'Connell-Sepp\"al\"ainen-Zygouras. Using these results, we prove the unitarity of the $b$-Whittaker transform, thereby completing the analytic part of the proof of the conjecture of Frenkel and Ip on tensor products of positive representations of $U_q(\mathfrak{sl}_n)$, as well as the main step in the modular functor conjecture of Fock and Goncharov. We conclude by explaining how the theory of $b$-Whittaker functions can be used to derive certain hyperbolic hypergeometric integral evaluations found by Rains.


title: Lacunarity Exponents

abstract: Many physical processes result in very uneven, apparently random, distributions of matter, characterized by fluctuations of the local density over orders of magnitude. The density of matter in the sparsest regions can have a power-law distribution, with an exponent that we term the lacunarity exponent. We discuss a mechanism which explains the wide occurrence of these power laws, and give analytical expressions for the exponent in some simple models.


title: TI-CNN: Convolutional Neural Networks for Fake News Detection

abstract: With the development of social networks, fake news for various commercial and political purposes has been appearing in large numbers and gotten widespread in the online world. With deceptive words, people can get infected by the fake news very easily and will share them without any fact-checking. For instance, during the 2016 US president election, various kinds of fake news about the candidates widely spread through both official news media and the online social networks. These fake news is usually released to either smear the opponents or support the candidate on their side. The erroneous information in the fake news is usually written to motivate the voters' irrational emotion and enthusiasm. Such kinds of fake news sometimes can bring about devastating effects, and an important goal in improving the credibility of online social networks is to identify the fake news timely. In this paper, we propose to study the fake news detection problem. Automatic fake news identification is extremely hard, since pure model based fact-checking for news is still an open problem, and few existing models can be applied to solve the problem. With a thorough investigation of a fake news data, lots of useful explicit features are identified from both the text words and images used in the fake news. Besides the explicit features, there also exist some hidden patterns in the words and images used in fake news, which can be captured with a set of latent features extracted via the multiple convolutional layers in our model. A model named as TI-CNN (Text and Image information based Convolutinal Neural Network) is proposed in this paper. By projecting the explicit and latent features into a unified feature space, TI-CNN is trained with both the text and image information simultaneously. Extensive experiments carried on the real-world fake news datasets have demonstrate the effectiveness of TI-CNN.


title: Location Privacy in Cognitive Radio Networks: A Survey

abstract: Cognitive radio networks (CRNs) have emerged as an essential technology to enable dynamic and opportunistic spectrum access which aims to exploit underutilized licensed channels to solve the spectrum scarcity problem. Despite the great benefits that CRNs offer in terms of their ability to improve spectrum utilization efficiency, they suffer from user location privacy issues. Knowing that their whereabouts may be exposed can discourage users from joining and participating in the CRNs, thereby potentially hindering the adoption and deployment of this technology in future generation networks. The location information leakage issue in the CRN context has recently started to gain attention from the research community due to its importance, and several research efforts have been made to tackle it. However, to the best of our knowledge, none of these works have tried to identify the vulnerabilities that are behind this issue or discuss the approaches that could be deployed to prevent it. In this paper, we try to fill this gap by providing a comprehensive survey that investigates the various location privacy risks and threats that may arise from the different components of this CRN technology, and explores the different privacy attacks and countermeasure solutions that have been proposed in the literature to cope with this location privacy issue. We also discuss some open research problems, related to this issue, that need to be overcome by the research community to take advantage of the benefits of this key CRN technology without having to sacrifice the users' privacy.


title: An Efficient Graph Accelerator with Parallel Data Conflict Management

abstract: Graph-specific computing with the support of dedicated accelerator has greatly boosted the graph processing in both efficiency and energy. Nevertheless, their data conflict management is still sequential in essential when some vertex needs a large number of conflicting updates at the same time, leading to prohibitive performance degradation. This is particularly true for processing natural graphs. In this paper, we have the insight that the atomic operations for the vertex updating of many graph algorithms (e.g., BFS, PageRank and WCC) are typically incremental and simplex. This hence allows us to parallelize the conflicting vertex updates in an accumulative manner. We architect a novel graphspecific accelerator that can simultaneously process atomic vertex updates for massive parallelism on the conflicting data access while ensuring the correctness. A parallel accumulator is designed to remove the serialization in atomic protection for conflicting vertex updates through merging their results in parallel. Our implementation on Xilinx Virtex UltraScale+ XCVU9P with a wide variety of typical graph algorithms shows that our accelerator achieves an average throughput by 2.36 GTEPS as well as up to 3.14x performance speedup in comparison with state-of-the-art ForeGraph (with single-chip version).


title: Transverse link invariants from the deformations of Khovanov $\mathfrak{sl}_{3}$-homology

abstract: In this paper we will make use of the Mackaay-Vaz approach to the universal $\mathfrak{sl}_3$-homology to define a family of cycles (called $\beta_3$-invariants) which are transverse braid invariants. This family includes Wu's $\psi_{3}$-invariant. Furthermore, we analyse the vanishing of the homology classes of the $\beta_3$-invariants and relate it to the vanishing of Plamenevskaya's and Wu's invariants. Finally, we use the $\beta_3$-invariants to produce some Bennequin-type inequalities.


title: Tensor product decomposition rules for weight modules over the Hopf-Ore extensions of group algebras

abstract: In this paper, we investigate the tensor structure of the category of finite dimensional weight modules over the Hopf-Ore extensions $kG(\chi^{-1}, a, 0)$ of group algebras $kG$. The tensor product decomposition rules for all indecomposable weight modules are explicitly given under the assumptions that $k$ is an algebraically closed field of characteristic zero, and the orders of $\chi$ and $\chi(a)$ are the same.


title: Psychological State in Text: A Limitation of Sentiment Analysis

abstract: Starting with the idea that sentiment analysis models should be able to predict not only positive or negative but also other psychological states of a person, we implement a sentiment analysis model to investigate the relationship between the model and emotional state. We first examine psychological measurements of 64 participants and ask them to write a book report about a story. After that, we train our sentiment analysis model using crawled movie review data. We finally evaluate participants' writings, using the pretrained model as a concept of transfer learning. The result shows that sentiment analysis model performs good at predicting a score, but the score does not have any correlation with human's self-checked sentiment.


title: Mix and Match: Collaborative Expert-Crowd Judging for Building Test Collections Accurately and Affordably

abstract: Crowdsourcing offers an affordable and scalable means to collect relevance judgments for IR test collections. However, crowd assessors may show higher variance in judgment quality than trusted assessors. In this paper, we investigate how to effectively utilize both groups of assessors in partnership. We specifically investigate how agreement in judging is correlated with three factors: relevance category, document rankings, and topical variance. Based on this, we then propose two collaborative judging methods in which a portion of the document-topic pairs are assessed by in-house judges while the rest are assessed by crowd-workers. Experiments conducted on two TREC collections show encouraging results when we distribute work intelligently between our two groups of assessors.


title: Resilience of spatial networks with inter-links behaving as an external field

abstract: Many real systems such as, roads, shipping routes, and infrastructure systems can be modeled based on spatially embedded networks. The inter-links between two distant spatial networks, such as those formed by transcontinental airline flights, play a crucial role in optimizing communication and transportation over such long distances. Still, little is known about how inter-links affect the resilience of such systems. Here, we develop a framework to study the resilience of interlinked spatially embedded networks based on percolation theory. We find that the inter-links can be regarded as an external field near the percolation phase transition, analogous to a magnetic field in a ferromagnetic-paramagnetic spin system. By defining the analogous critical exponents $\delta$ and $\gamma$, we find that their values for various inter-links structures follow Widom's scaling relations. Furthermore, we study the optimal robustness of our model and compare it with the analysis of real-world networks. The framework presented here not only facilitates the understanding of phase transitions with external fields in complex networks but also provides insight into optimizing real-world infrastructure networks and a magnetic field in a management.


title: Implications of the dark axion portal for the muon g-2, B-factories, fixed target neutrino experiments and beam dumps

abstract: The dark axion portal is a recently introduced portal between the standard model and the dark sector. It connects both the dark photon and the axion (or axion-like particle) to the photon simultaneously through an anomaly triangle. While the vector portal and the axion portal have been popular venues to search for the dark photon and axion, respectively, the new portal provides new detection channels if they coexist. The dark axion portal is not a result of the simple combination of the two portals, and its value is not determined by the other portal values; it should be tested independently. In this paper, we discuss implications of the new portal for the leptonic g-2, B-factories, fixed target neutrino experiments, and beam dumps. We provide the model-independent constraints on the axion-photon-dark photon coupling and discuss the sensitivities of the recently activated Belle-II experiment, which will play an important role in testing the new portal.


title: Quasiregular families bounded in $L^p$ and elliptic estimates

abstract: We prove that a family of quasiregular mappings of a domain $\Omega$ which are uniformly bounded in $L^p$ for some $p>0$ form a normal family. From this we show how an elliptic estimate on a functional differences implies all directional derivatives, and thus the complex gradient to be quasiregular. Consequently the function enjoys much higher regularity than apriori assumptions suggest.


title: Roots of polynomials and the Sendov's conjecture

abstract: In this paper we first prove that a simple root of a polynomial satisfies the Sendov's conjecture. As the multiple roots trivially satisfy the Sendov's conjecture we conclude that the Sendov's conjecture holds true.


title: Efficient Time-Evolving Stream Processing at Scale

abstract: Time-evolving stream datasets exist ubiquitously in many real-world applications where their inherent hot keys often evolve over times. Nevertheless, few existing solutions can provide efficient load balance on these time-evolving datasets while preserving low memory overhead. In this paper, we present a novel grouping approach (named FISH), which can provide the efficient time-evolving stream processing at scale. The key insight of this work is that the keys of time-evolving stream data can have a skewed distribution within any bounded distance of time interval. This enables to accurately identify the recent hot keys for the real-time load balance within a bounded scope. We therefore propose an epoch-based recent hot key identification with specialized intra-epoch frequency counting (for maintaining low memory overhead) and inter-epoch hotness decaying (for suppressing superfluous computation). We also propose to heuristically infer the accurate information of remote workers through computation rather than communication for cost-efficient worker assignment. We have integrated our approach into Apache Storm. Our results on a cluster of 128 nodes for both synthetic and real-world stream datasets show that FISH significantly outperforms state-of-the-art with the average and the 99th percentile latency reduction by 87.12% and 76.34% (vs. W-Choices), and memory overhead reduction by 99.96% (vs. Shuffle Grouping).


title: New Solvable Potentials with Bound State Spectrum

abstract: A new family of solvable potentials related to the Schroedinger-Riccati equation has been investigated. This one-dimensional potential family depends on parameters and is restricted to the real interval. It is shown that this potential class, which is a rather general class of solvable potentials related to the hypergeometric functions, can be generalized to even wider classes of solvable potentials. As a consequence the nonlinear Schroedinger-type equation has been obtained.


title: Scaling Up Large-Scale Graph Processing for GPU-Accelerated Heterogeneous Systems

abstract: Not only with the large host memory for supporting large scale graph processing, GPU-accelerated heterogeneous architecture can also provide a great potential for high-performance computing. However, few existing heterogeneous systems can exploit both hardware advantages to enable the scale-up performance for graph processing due to the limited CPU-GPU transmission efficiency. In this paper, we investigate the transmission inefficiency problem of heterogeneous graph systems. Our key insight is that the transmission efficiency for heterogeneous graph processing can be greatly improved by simply iterating each subgraph multiple times (rather than only once in prior work) in the GPU, further enabling to obtain the improvable efficiency of heterogeneous graph systems by enhancing GPU processing capability. We therefore present Seraph, with the highlights of {\em pipelined} subgraph iterations and {\em predictive} vertex updating, to cooperatively maximize the effective computations of GPU on graph processing. Our evaluation on a wide variety of large graph datasets shows that Seraph outperforms state-of-the-art heterogeneous graph systems by 5.42x (vs. Graphie) and 3.05x (vs. Garaph). Further, Seraph can be significantly scaled up over Graphie as fed with more computing power for large-scale graph processing.


title: Euler partial differential equations and Schwartz distributions

abstract: Euler operators are partial differential operators of the form $P(\theta)$ where $P$ is a polynomial and $\theta_j = x_j \partial/\partial x_j$. They are surjective on the space of temperate distributions on $R^d$. We show that this is, in general, not true for the space of Schwartz distributions on $R^d$, $d\ge 3$, for $d=1$, however, it is true. It is also true for the space of distributions of finite order on $R^d$ and on certain open sets $\Omega\subset R^d$, like the euclidian unit ball.


title: Research Challenges in Nextgen Service Orchestration

abstract: Fog/edge computing, function as a service, and programmable infrastructures, like software-defined networking or network function virtualisation, are becoming ubiquitously used in modern Information Technology infrastructures. These technologies change the characteristics and capabilities of the underlying computational substrate where services run (e.g. higher volatility, scarcer computational power, or programmability). As a consequence, the nature of the services that can be run on them changes too (smaller codebases, more fragmented state, etc.). These changes bring new requirements for service orchestrators, which need to evolve so as to support new scenarios where a close interaction between service and infrastructure becomes essential to deliver a seamless user experience. Here, we present the challenges brought forward by this new breed of technologies and where current orchestration techniques stand with regards to the new challenges. We also present a set of promising technologies that can help tame this brave new world.


title: Novel Compliant omnicrawler-wheel transforming module

abstract: This paper presents a novel design of a crawler robot which is capable of transforming its chassis from an Omni crawler mode to a large-sized wheel mode using a novel mechanism. The transformation occurs without any additional actuators. Interestingly the robot can transform into a large diameter and small width wheel which enhances its maneuverability like small turning radius and fast/efficient locomotion. This paper contributes on improving the locomotion mode of previously developed hybrid compliant omnicrawler robot CObRaSO. In addition to legged and tracked mechanism, CObRaSO can now display large wheel mode which contributes to its locomotion capabilities. Mechanical design of the robot has been explained in a detailed manner in this paper and also the transforming experiment and torque analysis has been shown clearly


title: Quantum Spin Dynamics in a Normal Bose Gas with Spin-orbit Coupling

abstract: In this Letter, we investigate spin dynamics of a two-component Bose gas with spin-orbit coupling realised in cold atom experiments. We derive coupled hydrodynamic equations for number and spin densities as well as their associated currents. Specialising to quasi-one-dimensional situation, we obtain analytic solutions of the spin helix structure and its dynamics in both adiabatic and diabatic regimes. In the adiabatic regime, the transverse spin decays parabolically in the short-time limit and exponentially in the long time limit, depending on initial polarisation. In contrast, in the diabatic regime, transverse spin density and current oscillate in a way similar to the charge-current oscillation in an undamped LC circuit. The effects of Rabi coupling on the short-time spin dynamics is also discussed. Finally, using realistic experimental parameters for $^{87}$Rb, we show that the time scales for spin dynamics is of order of milliseconds to a few seconds and can be observed experimentally.


title: Microscopic description of proton-induced spallation reactions with the Constrained Molecular Dynamics (CoMD) Model

abstract: We studied the complete dynamics of the proton-induced spallation process with the microscopic framework of the Constrained Molecular Dynamics (CoMD) Model. We performed calculations of proton-induced spallation reactions on 181Ta, 208Pb, and 238U targets with the CoMD model and compared the results with a standard two-step approach based on an intranuclear cascade model (INC) followed by a statistical deexcitation model. The calculations were also compared with recent experimental data from the literature. Our calculations showed an overall satisfactory agreement with the experimental data and suggest further improvements in the models. We point out that this CoMD study represents the first complete dynamical description of spallation reactions with a microscopic N-body approach and may lead to advancements in the physics-based modelling of the spallation process.


title: ECG encryption and identification based security solution on the Zynq SoC for connected health systems

abstract: Connected health is a technology that associates medical devices, security devices and communication technologies. It enables patients to be monitored and treated remotely from their home. Patients' data and medical records within a connected health system should be securely stored and transmitted for further analysis and diagnosis. This paper presents a set of security solutions that can be deployed in a connected health environment, which includes the advanced encryption standard (AES) algorithm and electrocardiogram (ECG) identification system. Efficient System-on-Chip (SoC) implementations for the proposed algorithms have been carried out on the Xilinx ZC702 prototyping board. The Achieved hardware implementation results have shown that the proposed AES and ECG identification based system met the real-time requirements and outperformed existing field programmable gate array (FPGA)-based systems in different key performance metrics such as processing time, hardware resources and power consumption. The proposed systems can process an ECG sample in 10.71 ms and uses only 30% of the available hardware resources with a power consumption of 107 mW.


title: Periodicity in the Light Curve of P Cygni - Indication for a Binary Companion?

abstract: We use observations of the Luminous Blue Variable (LBV) P Cygni spanning seven decades, along with signal processing methods, to identify a periodicity in the stellar luminosity. We find a distinct period of $4.7 \pm 0.3$ years together with shorter periods. The periodicity is a possible indication of a binary companion passing in an eclipse-like event from the dense LBV wind, and if so it is the first observational indication that P Cygni is a binary system. This may support models that contribute giant LBV eruptions to interaction with a binary companion. We discuss other interpretations for the periodicity as well.


title: Dual-Primal Graph Convolutional Networks

abstract: In recent years, there has been a surge of interest in developing deep learning methods for non-Euclidean structured data such as graphs. In this paper, we propose Dual-Primal Graph CNN, a graph convolutional architecture that alternates convolution-like operations on the graph and its dual. Our approach allows to learn both vertex- and edge features and generalizes the previous graph attention (GAT) model. We provide extensive experimental validation showing state-of-the-art results on a variety of tasks tested on established graph benchmarks, including CORA and Citeseer citation networks as well as MovieLens, Flixter, Douban and Yahoo Music graph-guided recommender systems.


title: Low Cost Edge Sensing for High Quality Demosaicking

abstract: Digital cameras that use Color Filter Arrays (CFA) entail a demosaicking procedure to form full RGB images. As today's camera users generally require images to be viewed instantly, demosaicking algorithms for real applications must be fast. Moreover, the associated cost should be lower than the cost saved by using CFA. For this purpose, we revisit the classical Hamilton-Adams (HA) algorithm, which outperforms many sophisticated techniques in both speed and accuracy. Inspired by HA's strength and weakness, we design a very low cost edge sensing scheme. Briefly, it guides demosaicking by a logistic functional of the difference between directional variations. We extensively compare our algorithm with 28 demosaicking algorithms by running their open source codes on benchmark datasets. Compared to methods of similar computational cost, our method achieves substantially higher accuracy, Whereas compared to methods of similar accuracy, our method has significantly lower cost. Moreover, on test images of currently popular resolution, the quality of our algorithm is comparable to top performers, whereas its speed is tens of times faster.


title: The error for the second moment of cotangent sums related to the Riemann Hypothesis

abstract: In various papers the authors have derived asymptotics for moments of certain cotangent sums related to the Riemann Hypothesis. S. Bettin has given an upper bound for the error term in these asymptotic results. In the present paper the authors establish a lower bound for the error term for the second moment.


title: A Note on Many-server Fluid Models with Time-varying Arrivals

abstract: We extend the measure-valued fluid model, which tracks residuals of patience and service times, to allow for time-varying arrivals. The fluid model can be characterized by a one-dimensional convolution equation involving both the patience and service time distributions. We also make an interesting connection to the measure-valued fluid model tracking the elapsed waiting and service times. Our analysis shows that the two fluid models are actually characterized by the same one-dimensional convolution equation.


title: Investigation of broadband terahertz generation from metasurface

abstract: The nonlinear metamaterials have been shown to provide nonlinear properties with high nonlinear conversion efficiency and in a myriad of light manipulation. Here we study terahertz generation from nonlinear metasurface consisting of single layer nanoscale split-ring resonator array. The terahertz generation due to optical rectification by the second-order nonlinearity of the split-ring resonator is investigated by a time-domain implementation of the hydrodynamic model for electron dynamics in metal. The results show that the nonlinear metasurface enables us to generate broadband terahertz radiation and free from quasi-phase-matching conditions. The proposed scheme provides a new concept of broadband THz source and designing nonlinear plasmonic metamaterials.


title: Exploration in Structured Reinforcement Learning

abstract: We address reinforcement learning problems with finite state and action spaces where the underlying MDP has some known structure that could be potentially exploited to minimize the exploration rates of suboptimal (state, action) pairs. For any arbitrary structure, we derive problem-specific regret lower bounds satisfied by any learning algorithm. These lower bounds are made explicit for unstructured MDPs and for those whose transition probabilities and average reward functions are Lipschitz continuous w.r.t. the state and action. For Lipschitz MDPs, the bounds are shown not to scale with the sizes $S$ and $A$ of the state and action spaces, i.e., they are smaller than $c\log T$ where $T$ is the time horizon and the constant $c$ only depends on the Lipschitz structure, the span of the bias function, and the minimal action sub-optimality gap. This contrasts with unstructured MDPs where the regret lower bound typically scales as $SA\log T$. We devise DEL (Directed Exploration Learning), an algorithm that matches our regret lower bounds. We further simplify the algorithm for Lipschitz MDPs, and show that the simplified version is still able to efficiently exploit the structure.


title: Supporting Superpages and Lightweight Page Migration in Hybrid Memory Systems

abstract: Superpages have long been used to mitigate address translation overhead in big memory systems. However, superpages often preclude lightweight page migration, which is crucial for performance and energy efficiency in hybrid memory systems composed of DRAM and non-volatile memory (NVM). In this paper, we propose a novel memory management mechanism called \textit{Rainbow} to bridge this fundamental conflict between superpages and lightweight page migration. \textit{Rainbow} manages NVM at the superpage granularity, and uses DRAM to cache frequently-accessed (hot) small pages in each superpage. Correspondingly, \textit{Rainbow} utilizes split TLBs to support different page sizes. By introducing an efficient hot page identification mechanism and a novel NVM-to-DRAM address remapping mechanism, \textit{Rainbow} supports lightweight page migration while without splintering superpages. Experimental results show that Rainbow can significantly reduce applications' TLB misses by 99.8\%, and improve application performance (IPC) by up to 2.9X (43.0\% on average) when compared to a state-of-the-art memory migration policy without superpage support.


title: Efficient Two-Level Scheduling for Concurrent Graph Processing

abstract: With the rapidly growing demand of graph processing in the real scene, they have to efficiently handle massive concurrent jobs. Although existing work enable to efficiently handle single graph processing job, there are plenty of memory access redundancy caused by ignoring the characteristic of data access correlations. Motivated such an observation, we proposed two-level scheduling strategy in this paper, which enables to enhance the efficiency of data access and to accelerate the convergence speed of concurrent jobs. Firstly, correlations-aware job scheduling allows concurrent jobs to process the same graph data in Cache, which fundamentally alleviates the challenge of CPU repeatedly accessing the same graph data in memory. Secondly, multiple priority-based data scheduling provides the support of prioritized iteration for concurrent jobs, which is based on the global priority generated by individual priority of each job. Simultaneously, we adopt block priority instead of fine-grained priority to schedule graph data to decrease the computation cost. In particular, two-level scheduling significantly advance over the state-of-the-art because it works in the interlayer between data and systems.


title: Multi-Cast Attention Networks for Retrieval-based Question Answering and Response Prediction

abstract: Attention is typically used to select informative sub-phrases that are used for prediction. This paper investigates the novel use of attention as a form of feature augmentation, i.e, casted attention. We propose Multi-Cast Attention Networks (MCAN), a new attention mechanism and general model architecture for a potpourri of ranking tasks in the conversational modeling and question answering domains. Our approach performs a series of soft attention operations, each time casting a scalar feature upon the inner word embeddings. The key idea is to provide a real-valued hint (feature) to a subsequent encoder layer and is targeted at improving the representation learning process. There are several advantages to this design, e.g., it allows an arbitrary number of attention mechanisms to be casted, allowing for multiple attention types (e.g., co-attention, intra-attention) and attention variants (e.g., alignment-pooling, max-pooling, mean-pooling) to be executed simultaneously. This not only eliminates the costly need to tune the nature of the co-attention layer, but also provides greater extents of explainability to practitioners. Via extensive experiments on four well-known benchmark datasets, we show that MCAN achieves state-of-the-art performance. On the Ubuntu Dialogue Corpus, MCAN outperforms existing state-of-the-art models by $9\%$. MCAN also achieves the best performing score to date on the well-studied TrecQA dataset.


title: Gemini: Reducing DRAM Cache Hit Latency by Hybrid Mappings

abstract: Die-stacked DRAM caches are increasingly advocated to bridge the performance gap between on-chip Cache and main memory. It is essential to improve DRAM cache hit rate and lower cache hit latency simultaneously. Prior DRAM cache designs fall into two categories according to the data mapping polices: set-associative and direct-mapped, achieving either one. In this paper, we propose a partial direct-mapped die-stacked DRAM cache to achieve the both objectives simultaneously, called Gemini, which is motivated by the following observations: applying unified mapping policy to different blocks cannot achieve high cache hit rate and low hit latency in terms of mapping structure. Gemini cache classifies data into leading blocks and following blocks, and places them with static mapping and dynamic mapping respectively in a unified set-associative structure. Gemini also designs a replacement policy to balance the different blocks miss penalty and the recency, and provides strategies to mitigate cache thrashing due to block type transitions. Experimental results demonstrate that Gemini cache can narrow the hit latency gap with direct-mapped cache significantly, from 1.75X to 1.22X on average, and can achieve comparable hit rate with set-associative cache. Compared with the state-of-the-art baselines, i.e., enhanced Loh-Hill cache, Gemini improves the IPC by up to 20% respectively.


title: Building Advanced Dialogue Managers for Goal-Oriented Dialogue Systems

abstract: Goal-Oriented (GO) Dialogue Systems, colloquially known as goal oriented chatbots, help users achieve a predefined goal (e.g. book a movie ticket) within a closed domain. A first step is to understand the user's goal by using natural language understanding techniques. Once the goal is known, the bot must manage a dialogue to achieve that goal, which is conducted with respect to a learnt policy. The success of the dialogue system depends on the quality of the policy, which is in turn reliant on the availability of high-quality training data for the policy learning method, for instance Deep Reinforcement Learning. Due to the domain specificity, the amount of available data is typically too low to allow the training of good dialogue policies. In this master thesis we introduce a transfer learning method to mitigate the effects of the low in-domain data availability. Our transfer learning based approach improves the bot's success rate by $20\%$ in relative terms for distant domains and we more than double it for close domains, compared to the model without transfer learning. Moreover, the transfer learning chatbots learn the policy up to 5 to 10 times faster. Finally, as the transfer learning approach is complementary to additional processing such as warm-starting, we show that their joint application gives the best outcomes.


title: Application of quantum scrambling in Rydberg atom on IBM quantum computer

abstract: Quantum scrambling measured by out-of-time-ordered correlator (OTOC) has an important role in understanding the physics of black holes and evaluating quantum chaos. It is known that Rydberg atom has been a general interest due to its extremely favourable properties for building a quantum simulator. Fast and efficient quantum simulators can be developed by studying quantum scrambling in related systems. Here we present a general quantum circuit to theoretically implement an interferometric protocol which is a technique proposed to measure OTOC functions. We apply this circuit to measure OTOC and hence the quantum scrambling in a simulation of two spin Ising spin model for Rydberg atom. We apply this method to both initial product and entangled states to compare the scrambling of quantum information in both cases. Finally we discuss other constructions where this technique can be applied.


title: Chiral Magnetic Skyrmions with Arbitrary Topological Charge ("skyrmionic sacks")

abstract: We show that continuous and spin-lattice models of chiral ferro- and antiferromagnets provide the existence of an infinite number of stable soliton solutions of any integer topological charge. A detailed description of the morphology of new skyrmions and the corresponding energy dependencies are provided. The considered model is general, and is expected to predict a plethora of particle-like states which may occur in various chiral magnets including atomic layers, e.g., PdFe/Ir(111), rhombohedral GaV$_4$S$_8$ semiconductor, B20-type alloys as Mn$_{1-x}$Fe$_x$Ge, Mn$_{1-x}$Fe$_x$Si, Fe$_{1-x}$Co$_x$Si, Cu$_2$OSeO$_3$, acentric tetragonal Heusler compounds.


title: Chromatic numbers of directed hypergraphs with no "bad" cycles

abstract: Imagine that you are handed a rule for determining whether a cycle in a digraph is "good" or "bad", based on which edges of the cycle are traversed in the forward direction and which edges are traversed in the backward direction. Can you then construct a digraph which avoids having any "bad" cycles, but has arbitrarily large chromatic number? We answer this question when the rule is described in terms of a finite state machine. The proof relies on Nesetril and Rodl's structural Ramsey theory of posets with a linear extension. As an application, we give a new proof of the Loop Lemma of Barto, Kozik, and Niven in the special case of bounded width algebras.


title: Phenotype affinity mediated interactions can facilitate the evolution of cooperation

abstract: We study the coevolutionary dynamics of the diversity of phenotype expression and the evolution of cooperation in the Prisoner's Dilemma game. Rather than pre-assigning zero-or-one interaction rate, we diversify the rate of interaction by associating it with the phenotypes shared in common. Individuals each carry a set of potentially expressible phenotypes and expresses a certain number of phenotypes at a cost proportional to the number. The number of expressed phenotypes and thus the rate of interaction is an evolvable trait. Our results show that nonnegligible cost of expressing phenotypes restrains phenotype expression, and the evolutionary race mainly proceeds on between cooperative strains and defective strains who express a very few phenotypes. It pays for cooperative strains to express a very few phenotypes. Though such a low level of expression weakens reciprocity between cooperative strains, it decelerates rate of interaction between cooperative strains and defective strains to a larger degree, leading to the predominance of cooperative strains over defective strains. We also find that evolved diversity of phenotype expression can occasionally destabilize due to the invasion of defective mutants, implying that cooperation and diversity of phenotype expression can mutually reinforce each other. Therefore, our results provide new insights into better understanding the coevolution of cooperation and the diversity of phenotype expression.


title: The Banach--Mazur game and the strong Choquet game in domain theory

abstract: We prove that a player $\alpha$ has a winning strategy in the Banach--Mazur game on a space $X$ if and only if $X$ is F-Y countably $\pi$-domain representable. We show that Choquet complete spaces are F-Y countably domain representable. We give an example of a space, which is F-Y countably domain representable, but it is not F-Y $\pi$-domain representable.


title: Widespread QSO-driven outflows in the early Universe

abstract: We present the stacking analysis of a sample of 48 QSOs at 4.5<z<7.1 detected by ALMA in the [CII] 158 micron line to investigate the presence and the properties of massive, cold outflows traced by broad [CII] wings. We reveal very broad [CII] wings tracing the presence of outflows with velocities in excess of 1000 km/s. We find that the luminosity of the broad [CII] emission increases with LAGN, while it does not significantly depend on the SFR of the host galaxy, indicating that the central AGN is the main driving mechanism of the [CII] outflows in these powerful, distant QSOs. From the stack of the ALMA cubes, we derive an average outflow spatial extent of ~3.5 kpc. The average mass outflow rate inferred from the whole sample stack is ~ 100 Msun/yr, while for the most luminous systems it increases to ~200 Msun/yr. The associated outflow kinetic power is about 0.1% of LAGN, while the outflow momentum rate is about LAGN/c or lower, suggesting that these outflows are either driven by radiation pressure onto dusty clouds or, alternatively, are driven by the nuclear wind and energy conserving but with low coupling with the ISM. We discuss the implications of the resulting feedback effect on galaxy evolution in the early Universe.


title: Concerted Wire Lifting: Enabling Secure and Cost-Effective Split Manufacturing

abstract: Here we advance the protection of split manufacturing (SM)-based layouts through the judicious and well-controlled handling of interconnects. Initially, we explore the cost-security trade-offs of SM, which are limiting its adoption. Aiming to resolve this issue, we propose effective and efficient strategies to lift nets to the BEOL. Towards this end, we design custom "elevating cells" which we also provide to the community. Further, we define and promote a new metric, Percentage of Netlist Recovery (PNR), which can quantify the resilience against gate-level theft of intellectual property (IP) in a manner more meaningful than established metrics. Our extensive experiments show that we outperform the recent protection schemes regarding security. For example, we reduce the correct connection rate to 0\% for commonly considered benchmarks, which is a first in the literature. Besides, we induce reasonably low and controllable overheads on power, performance, and area (PPA). At the same time, we also help to lower the commercial cost incurred by SM.


title: Design and evaluation of a genomics variant analysis pipeline using GATK Spark tools

abstract: Scalable and efficient processing of genome sequence data, i.e. for variant discovery, is key to the mainstream adoption of High Throughput technology for disease prevention and for clinical use. Achieving scalability, however, requires a significant effort to enable the parallel execution of the analysis tools that make up the pipelines. This is facilitated by the new Spark versions of the well-known GATK toolkit, which offer a black-box approach by transparently exploiting the underlying Map Reduce architecture. In this paper we report on our experience implementing a standard variant discovery pipeline using GATK 4.0 with Docker-based deployment over a cluster. We provide a preliminary performance analysis, comparing the processing times and cost to those of the new Microsoft Genomics Services.


title: On majorization of closed walks vector of trees with given degree sequences

abstract: Let $C_{v}(k;T)$ be the number of the closed walks of length $k$ starting at vertex $v$ in a tree $T$. We prove that for a given tree degree sequence $\pi$, then for any tree with degree sequence $\pi$, the sequence $C(k;T)\equiv(C_{v}(k;T), v\in V(T))$ is weakly majorized by the sequence $C(k, T_{\pi}^*)\equiv C(k, T_{\pi}^*, v\in V(T^*))$, where $T_{\pi}^*$ is the greedy tree corresponding to $\pi$. In addition, for two trees degree sequences $\pi,~\pi'$, if $\pi$ is majorized by $\pi'$, then $C(k;T_{\pi}^*)$ is weakly majorized by $C(k;T_{\pi'}^*)$.


title: Advancing Hardware Security Using Polymorphic and Stochastic Spin-Hall Effect Devices

abstract: Protecting intellectual property (IP) in electronic circuits has become a serious challenge in recent years. Logic locking/encryption and layout camouflaging are two prominent techniques for IP protection. Most existing approaches, however, particularly those focused on CMOS integration, incur excessive design overheads resulting from their need for additional circuit structures or device-level modifications. This work leverages the innate polymorphism of an emerging spin-based device, called the giant spin-Hall effect (GSHE) switch, to simultaneously enable locking and camouflaging within a single instance. Using the GSHE switch, we propose a powerful primitive that enables cloaking all the 16 Boolean functions possible for two inputs. We conduct a comprehensive study using state-of-the-art Boolean satisfiability (SAT) attacks to demonstrate the superior resilience of the proposed primitive in comparison to several others in the literature. While we tailor the primitive for deterministic computation, it can readily support stochastic computation; we argue that stochastic behavior can break most, if not all, existing SAT attacks. Finally, we discuss the resilience of the primitive against various side-channel attacks as well as invasive monitoring at runtime, which are arguably even more concerning threats than SAT attacks.


title: Maximal Matching and Path Matching Counting in Polynomial Time for Graphs of Bounded Clique Width

abstract: In this paper, we provide polynomial-time algorithms for different extensions of the matching counting problem, namely maximal matchings, path matchings (linear forest) and paths, on graph classes of bounded clique-width. For maximal matchings, we introduce matching-cover pairs to efficiently handle maximality in the local structure, and develop a polynomial time algorithm. For path matchings, we develop a way to classify the path matchings in a polynomial number of equivalent classes. Using these, we develop dynamic programing algorithms that run in polynomial time of the graph size, but in exponential time of the clique-width. In particular, we show that for a graph $G$ of $n$ vertices and clique-width $k$, these problems can be solved in $O(n^{f(k)})$ time where $f$ is exponential in $k$ or in $O(n^g(l))$ time where $g$ is linear or quadratic in $l$ if an $l$-expression for $G$ is given as input.