title: Generation and decay of counter-rotating vortices downstream of yawed wind turbines in the atmospheric boundary layer

abstract: A quantitative understanding of the dominant mechanisms that govern the generation and decay of the counter-rotating vortex pair (CVP) produced by yawed wind turbines is needed to fully realize the potential of yawing for wind farm power maximization and regulation. Observations from large eddy simulations (LES) of yawed wind turbines in the turbulent atmospheric boundary layer and concepts from the airplane trailing vortex literature inform a model for the shed vorticity and circulation. The model is formed through analytical integration of simplified forms of the vorticity transport equation. Based on an eddy viscosity approach, it uses the boundary layer friction velocity as the velocity scale and the width of the vorticity distribution itself as the length scale. As with the widely used Jensen model for wake deficit evolution in wind farms, our analytical expressions do not require costly numerical integration of differential equations. The predicted downstream decay of maximum vorticity and total circulation agree well with LES results. We also show that the vorticity length scale grows linearly with downstream distance and find several power laws for the decay of maximum vorticity. These results support the notion that the decay of the CVP is dominated by gradual cancellation of the vorticity at the line of symmetry of the wake through cross-diffusion.


title: Bayesian Neural Networks at Scale: A Performance Analysis and Pruning Study

abstract: Bayesian neural Networks (BNNs) are a promising method of obtaining statistical uncertainties for neural network predictions but with a higher computational overhead which can limit their practical usage. This work explores the use of high performance computing with distributed training to address the challenges of training BNNs at scale. We present a performance and scalability comparison of training the VGG-16 and Resnet-18 models on a Cray-XC40 cluster. We demonstrate that network pruning can speed up inference without accuracy loss and provide an open source software package, {\it{BPrune}} to automate this pruning. For certain models we find that pruning up to 80\% of the network results in only a 7.0\% loss in accuracy. With the development of new hardware accelerators for Deep Learning, BNNs are of considerable interest for benchmarking performance. This analysis of training a BNN at scale outlines the limitations and benefits compared to a conventional neural network.


title: Phase transitions and correlations in fracture processes where disorder and stress compete

abstract: We study the effect of the competition between disorder and stress enhancement in fracture processes using the local load sharing fiber bundle model, a model that hovers on the border between analytical tractability and numerical accessibility. We implement a disorder distribution with one adjustable parameter. The model undergoes a localization transition as a function of this parameter. We identify an order parameter for this transition and find that the system is in the localized phase over a finite range of values of the parameter bounded by a transition to the non-localized phase on both sides. The transition is first order at the lower transition and second order at the upper transition. The critical exponents characterizing the second order transition are close to those characterizing the percolation transition. We determine the spatiotemporal correlation function in the localized phase. It is characterized by two power laws as in invasion percolation. We find exponents that are consistent with the values found in that problem.


title: ManifoldPlus: A Robust and Scalable Watertight Manifold Surface Generation Method for Triangle Soups

abstract: We present ManifoldPlus, a method for robust and scalable conversion of triangle soups to watertight manifolds. While many algorithms in computer graphics require the input mesh to be a watertight manifold, in practice many meshes designed by artists are often for visualization purposes, and thus have non-manifold structures such as incorrect connectivity, ambiguous face orientation, double surfaces, open boundaries, self-intersections, etc. Existing methods suffer from problems in the inputs with face orientation and zero-volume structures. Additionally most methods do not scale to meshes of high complexity. In this paper, we propose a method that extracts exterior faces between occupied voxels and empty voxels, and uses a projection-based optimization method to accurately recover a watertight manifold that resembles the reference mesh. Compared to previous methods, our methodology is simpler. It does not rely on face normals of the input triangle soups and can accurately recover zero-volume structures. Our algorithm is scalable, because it employs an adaptive Gauss-Seidel method for shape optimization, in which each step is an easy-to-solve convex problem. We test ManifoldPlus on ModelNet10 and AccuCity datasets to verify that our methods can generate watertight meshes ranging from object-level shapes to city-level models. Furthermore, through our experimental evaluations, we show that our method is more robust, efficient and accurate than the state-of-the-art. Our implementation is publicly available.


title: Unsupervised Geometric Disentanglement for Surfaces via CFAN-VAE

abstract: Geometric disentanglement, the separation of latent codes for intrinsic (i.e. identity) and extrinsic(i.e. pose) geometry, is a prominent task for generative models of non-Euclidean data such as 3D deformable models. It provides greater interpretability of the latent space, and leads to more control in generation. This work introduces a mesh feature, the conformal factor and normal feature (CFAN),for use in mesh convolutional autoencoders. We further propose CFAN-VAE, a novel architecture that disentangles identity and pose using the CFAN feature. Requiring no label information on the identity or pose during training, CFAN-VAE achieves geometric disentanglement in an unsupervisedway. Our comprehensive experiments, including reconstruction, interpolation, generation, and identity/pose transfer, demonstrate CFAN-VAE achieves state-of-the-art performance on unsupervised geometric disentanglement. We also successfully detect a level of geometric disentanglement in mesh convolutional autoencoders that encode xyz-coordinates directly by registering its latent space to that of CFAN-VAE.


title: RAPiD: Rotation-Aware People Detection in Overhead Fisheye Images

abstract: Recent methods for people detection in overhead, fisheye images either use radially-aligned bounding boxes to represent people, assuming people always appear along image radius or require significant pre-/post-processing which radically increases computational complexity. In this work, we develop an end-to-end rotation-aware people detection method, named RAPiD, that detects people using arbitrarily-oriented bounding boxes. Our fully-convolutional neural network directly regresses the angle of each bounding box using a periodic loss function, which accounts for angle periodicities. We have also created a new dataset with spatio-temporal annotations of rotated bounding boxes, for people detection as well as other vision tasks in overhead fisheye videos. We show that our simple, yet effective method outperforms state-of-the-art results on three fisheye-image datasets. Code and dataset are available at http://vip.bu.edu/rapid .


title: Atom-interferometric test of the equivalence principle at the $10^{-12}$ level

abstract: Does gravity influence local measurements? We use a dual-species atom interferometer with $2\,\text{s}$ of free-fall time to measure the relative acceleration between $^{85}$Rb and $^{87}$Rb wave packets in the Earth's gravitational field. Systematic errors arising from kinematic differences between the isotopes are suppressed by calibrating the angles and frequencies of the interferometry beams. We find an E\"otv\"os parameter of $\eta = [1.6\; \pm\; 1.8\; \text{(stat)}\; \pm \; 3.4 \; \text{(sys)}] \times 10^{-12}$, consistent with zero violation of the equivalence principle. With a resolution of up to $1.4 \times 10^{-11} \, g$ per shot, we demonstrate a sensitivity to $\eta$ of $5.4 \times 10^{-11}\,/\sqrt{\text{Hz}}$.


title: Impossibility of consistent distance estimation from sequence lengths under the TKF91 model

abstract: We consider the problem of distance estimation under the TKF91 model of sequence evolution by insertions, deletions and substitutions on a phylogeny. In an asymptotic regime where the expected sequence lengths tend to infinity, we show that no consistent distance estimation is possible from sequence lengths alone. More formally, we establish that the distributions of pairs of sequence lengths at different distances cannot be distinguished with probability going to one.


title: ShapeAdv: Generating Shape-Aware Adversarial 3D Point Clouds

abstract: We introduce ShapeAdv, a novel framework to study shape-aware adversarial perturbations that reflect the underlying shape variations (e.g., geometric deformations and structural differences) in the 3D point cloud space. We develop shape-aware adversarial 3D point cloud attacks by leveraging the learned latent space of a point cloud auto-encoder where the adversarial noise is applied in the latent space. Specifically, we propose three different variants including an exemplar-based one by guiding the shape deformation with auxiliary data, such that the generated point cloud resembles the shape morphing between objects in the same category. Different from prior works, the resulting adversarial 3D point clouds reflect the shape variations in the 3D point cloud space while still being close to the original one. In addition, experimental evaluations on the ModelNet40 benchmark demonstrate that our adversaries are more difficult to defend with existing point cloud defense methods and exhibit a higher attack transferability across classifiers. Our shape-aware adversarial attacks are orthogonal to existing point cloud based attacks and shed light on the vulnerability of 3D deep neural networks.


title: Stacked Bidirectional and Unidirectional LSTM Recurrent Neural Network for Forecasting Network-wide Traffic State with Missing Values

abstract: Short-term traffic forecasting based on deep learning methods, especially recurrent neural networks (RNN), has received much attention in recent years. However, the potential of RNN-based models in traffic forecasting has not yet been fully exploited in terms of the predictive power of spatial-temporal data and the capability of handling missing data. In this paper, we focus on RNN-based models and attempt to reformulate the way to incorporate RNN and its variants into traffic prediction models. A stacked bidirectional and unidirectional LSTM network architecture (SBU-LSTM) is proposed to assist the design of neural network structures for traffic state forecasting. As a key component of the architecture, the bidirectional LSTM (BDLSM) is exploited to capture the forward and backward temporal dependencies in spatiotemporal data. To deal with missing values in spatial-temporal data, we also propose a data imputation mechanism in the LSTM structure (LSTM-I) by designing an imputation unit to infer missing values and assist traffic prediction. The bidirectional version of LSTM-I is incorporated in the SBU-LSTM architecture. Two real-world network-wide traffic state datasets are used to conduct experiments and published to facilitate further traffic prediction research. The prediction performance of multiple types of multi-layer LSTM or BDLSTM models is evaluated. Experimental results indicate that the proposed SBU-LSTM architecture, especially the two-layer BDLSTM network, can achieve superior performance for the network-wide traffic prediction in both accuracy and robustness. Further, comprehensive comparison results show that the proposed data imputation mechanism in the RNN-based models can achieve outstanding prediction performance when the model's input data contains different patterns of missing values.


title: Augmented Phase Reduction for Periodic Orbits Near a Homoclinic Bifurcation and for Relaxation Oscillators

abstract: Oscillators - dynamical systems with stable periodic orbits - arise in many systems of physical, technological, and biological interest. The standard phase reduction, a model reduction technique based on isochrons, can be unsuitable for oscillators which have a small-magnitude negative nontrivial Floquet exponent. This necessitates the use of the augmented phase reduction, a recently devised two-dimensional reduction technique based on isochrons and isostables. In this article, we calculate analytical expressions for the augmented phase reduction for two dynamically different planar systems: periodic orbits born out of a homoclinic bifurcation, and relaxation oscillators. To validate our calculations, we simulate models in these dynamic regimes, and compare their numerically computed augmented phase reduction with the derived analytical expressions. These analytical and numerical calculations help us to understand conditions for which the use of augmented phase reduction over the standard phase reduction can be advantageous.


title: Inverse-Chirp Imprint of Gravitational Wave Signals in Scalar Tensor Theory

abstract: The scalar tensor theory contains a coupling function connecting the quantities in the Jordan and Einstein frames, which is constrained to guarantee a transformation rule between frames. We simulate the supernovae core collapse with different choices of coupling functions defined over the viable region of the parameter space and find that a generic inverse-chirp feature of the gravitational waves in the scalar tensor scenario.


title: MVStylizer: An Efficient Edge-Assisted Video Photorealistic Style Transfer System for Mobile Phones

abstract: Recent research has made great progress in realizing neural style transfer of images, which denotes transforming an image to a desired style. Many users start to use their mobile phones to record their daily life, and then edit and share the captured images and videos with other users. However, directly applying existing style transfer approaches on videos, i.e., transferring the style of a video frame by frame, requires an extremely large amount of computation resources. It is still technically unaffordable to perform style transfer of videos on mobile phones. To address this challenge, we propose MVStylizer, an efficient edge-assisted photorealistic video style transfer system for mobile phones. Instead of performing stylization frame by frame, only key frames in the original video are processed by a pre-trained deep neural network (DNN) on edge servers, while the rest of stylized intermediate frames are generated by our designed optical-flow-based frame interpolation algorithm on mobile phones. A meta-smoothing module is also proposed to simultaneously upscale a stylized frame to arbitrary resolution and remove style transfer related distortions in these upscaled frames. In addition, for the sake of continuously enhancing the performance of the DNN model on the edge server, we adopt a federated learning scheme to keep retraining each DNN model on the edge server with collected data from mobile clients and syncing with a global DNN model on the cloud server. Such a scheme effectively leverages the diversity of collected data from various mobile clients and efficiently improves the system performance. Our experiments demonstrate that MVStylizer can generate stylized videos with an even better visual quality compared to the state-of-the-art method while achieving 75.5$\times$ speedup for 1920$\times$1080 videos.


title: High-velocity impact of hybrid CBN nanotube

abstract: Nanomaterials under extreme conditions can behave in a completely different manner. High-velocity impact, for example, can produce nanoribbons without any chemical approach via carbon or boron nitride nanotubes unzipping. Although hybrid nanostructures have been used to create stronger structures, few studies on these materials under extreme conditions have been employed. In this work, we study an experimentally synthesized hybrid doubled walled CBN nanotube (boron nitride and carbon nanotubes concentrically assembled) under high-velocity impact. Our results show that the combination of elastic and brittle materials can produce different structures, such as nanoribbons and boron nitride atomic chains. These results can have a significant impact on the production of new nanostructures.


title: Nonlinear Constraints on Relativistic Fluids Far From Equilibrium

abstract: New constraints are found that must necessarily hold for Israel-Stewart-like theories of fluid dynamics to be causal far away from equilibrium. Conditions that are sufficient to ensure causality, local existence, and uniqueness of solutions in these theories are also presented. Our results hold in the full nonlinear regime, taking into account bulk and shear viscosities (at zero chemical potential), without any simplifying symmetry or near-equilibrium assumptions. Our findings provide fundamental constraints on the magnitude of viscous corrections in fluid dynamics far from equilibrium.

categories: hep-th gr-qc math-ph math.MP nucl-th physics.flu-dyn


title: Effective and Efficient Computation with Multiple-timescale Spiking Recurrent Neural Networks

abstract: The emergence of brain-inspired neuromorphic computing as a paradigm for edge AI is motivating the search for high-performance and efficient spiking neural networks to run on this hardware. However, compared to classical neural networks in deep learning, current spiking neural networks lack competitive performance in compelling areas. Here, for sequential and streaming tasks, we demonstrate how a novel type of adaptive spiking recurrent neural network (SRNN) is able to achieve state-of-the-art performance compared to other spiking neural networks and almost reach or exceed the performance of classical recurrent neural networks (RNNs) while exhibiting sparse activity. From this, we calculate a $>$100x energy improvement for our SRNNs over classical RNNs on the harder tasks. To achieve this, we model standard and adaptive multiple-timescale spiking neurons as self-recurrent neural units, and leverage surrogate gradients and auto-differentiation in the PyTorch Deep Learning framework to efficiently implement backpropagation-through-time, including learning of the important spiking neuron parameters to adapt our spiking neurons to the tasks.


title: PoliteCamera: Respecting Strangers' Privacy in Mobile Photographing

abstract: Camera is a standard on-board sensor of modern mobile phones. It makes photo taking popular due to its convenience and high resolution. However, when users take a photo of a scenery, a building or a target person, a stranger may also be unintentionally captured in the photo. Such photos expose the location and activity of strangers, and hence may breach their privacy. In this paper, we propose a cooperative mobile photographing scheme called PoliteCamera to protect strangers' privacy. Through the cooperation between a photographer and a stranger, the stranger's face in a photo can be automatically blurred upon his request when the photo is taken. Since multiple strangers nearby the photographer might send out blurring requests but not all of them are in the photo, an adapted balanced convolutional neural network (ABCNN) is proposed to determine whether the requesting stranger is in the photo based on facial attributes. Evaluations demonstrate that the ABCNN can accurately predict facial attributes and PoliteCamera can provide accurate privacy protection for strangers.


title: The Optimal 'AND'

abstract: The joint distribution $P(X,Y)$ cannot be determined from its marginals $P(X)$ and $P(Y)$ alone; one also needs one of the conditionals $P(X|Y)$ or $P(Y|X)$. But is there a best guess, given only the marginals? Here we answer this question in the affirmative, obtaining in closed form the function of the marginals that has the lowest expected Kullbach-Liebler (KL) divergence between the unknown "true" joint probability and the function value. The expectation is taken with respect to Jeffreys' non-informative prior over the possible joint probability values, given the marginals. This distribution can also be used to obtain the expected information loss for any other "aggregation operator", as such estimators are often called in fuzzy logic, for any given pair of marginal input values. This enables such such operators, including ours, to be compared according to their expected loss under the minimal knowledge conditions we assume. We go on to develop a method for evaluating the expected accuracy of any aggregation operator in the absence of knowledge of its inputs. This requires averaging the expected loss over all possible input pairs, weighted by an appropriate distribution. We obtain this distribution by marginalizing Jeffreys' prior over the possible joint distributions (over the 3 functionally independent coordinates of the space of joint distributions over two Boolean variables) onto a joint distribution over the pair of marginal distributions, a 2-dimensional space with one parameter for each marginal. We report the resulting input-averaged expected losses for a few commonly used operators, as well as the optimal operator. Finally, we discuss the potential to develop our methodology into a principled risk management approach to replace the often rather arbitrary conditional-independence assumptions made for probabilistic graphical models.


title: Mass spectra of heavy pseudoscalars using instantaneous Bethe-Salpeter equation with different kernels

abstract: We solved the instantaneous Bethe-Salpeter equation for heavy pseudoscalars in different kernels, where the kernels are obtained using linear scalar potential plus one gluon exchange vector potentials in Feynman gauge, Landau gauge, Coulomb gauge and time-component Coulomb gauge. We obtained the mass spectra of heavy pseudoscalars, and compared the results between different kernels, found that using the same parameters we obtain the smallest mass splitting in time-component Coulomb gauge, the similar largest mass splitting in Feynman and Coulomb gauges, middle size splitting in Landau gauge.


title: Chiral self-sorting of active semiflexible filaments with intrinsic curvature

abstract: Many-body interactions in systems of active matter can cause particles to move collectively and self-organize into dynamic structures with long-range order. In cells, the self-assembly of cytoskeletal filaments is critical for cellular motility, structure, intracellular transport, and division. Semiflexible cytoskeletal filaments driven by polymerization or motor-protein interactions on a two-dimensional substrate, such as the cell cortex, can induce filament bending and curvature leading to interesting collective behavior. For example, the bacterial cell-division filament FtsZ is known to have intrinsic curvature that causes it to self-organize into rings and vortices, and recent experiments reconstituting the collective motion of microtubules driven by motor proteins on a surface have observed chiral symmetry breaking of the collective behavior due to motor-induced curvature of the filaments. Previous work on the self-organization of driven filament systems have not studied the effects of curvature and filament structure on collective behavior. In this work, we present Brownian dynamics simulation results of driven semiflexible filaments with intrinsic curvature and investigate how the interplay between filament rigidity and radius of curvature can tune the self-organization behavior in homochiral systems and heterochiral mixtures. We find a curvature-induced phase transition from polar flocks to self-sorted chiral clusters, which is modified by filament flexibility. This phase transition changes filament transport from ballistic to diffusive at long timescales.


title: Joint learning of interpretation and distillation

abstract: The extra trust brought by the model interpretation has made it an indispensable part of machine learning systems. But to explain a distilled model's prediction, one may either work with the student model itself, or turn to its teacher model. This leads to a more fundamental question: if a distilled model should give a similar prediction for a similar reason as its teacher model on the same input? This question becomes even more crucial when the two models have dramatically different structure, taking GBDT2NN for example. This paper conducts an empirical study on the new approach to explaining each prediction of GBDT2NN, and how imitating the explanation can further improve the distillation process as an auxiliary learning task. Experiments on several benchmarks show that the proposed methods achieve better performance on both explanations and predictions.


title: Matrix-valued Bratu equation associated with the symmetric domains of type BDI and CI

abstract: A formulation of the exponential matrix solution of the matrix-valued Bratu equation is given, based on the structure of the symmetric domain of type BDI. Moreover, an analog for the symmetric domain of type CI is given.


title: Jointly Encoding Word Confusion Network and Dialogue Context with BERT for Spoken Language Understanding

abstract: Spoken Language Understanding (SLU) converts hypotheses from automatic speech recognizer (ASR) into structured semantic representations. ASR recognition errors can severely degenerate the performance of the subsequent SLU module. To address this issue, word confusion networks (WCNs) have been used to encode the input for SLU, which contain richer information than 1-best or n-best hypotheses list. To further eliminate ambiguity, the last system act of dialogue context is also utilized as additional input. In this paper, a novel BERT based SLU model (WCN-BERT SLU) is proposed to encode WCNs and the dialogue context jointly. It can integrate both structural information and ASR posterior probabilities of WCNs in the BERT architecture. Experiments on DSTC2, a benchmark of SLU, show that the proposed method is effective and can outperform previous state-of-the-art models significantly.


title: Estimating the Number of Components in Finite Mixture Models via the Group-Sort-Fuse Procedure

abstract: Estimation of the number of components (or order) of a finite mixture model is a long standing and challenging problem in statistics. We propose the Group-Sort-Fuse (GSF) procedure -- a new penalized likelihood approach for simultaneous estimation of the order and mixing measure in multidimensional finite mixture models. Unlike methods which fit and compare mixtures with varying orders using criteria involving model complexity, our approach directly penalizes a continuous function of the model parameters. More specifically, given a conservative upper bound on the order, the GSF groups and sorts mixture component parameters to fuse those which are redundant. For a wide range of finite mixture models, we show that the GSF is consistent in estimating the true mixture order and achieves the $n^{-1/2}$ convergence rate for parameter estimation up to polylogarithmic factors. The GSF is implemented for several univariate and multivariate mixture models in the R package GroupSortFuse. Its finite sample performance is supported by a thorough simulation study, and its application is illustrated on two real data examples.


title: Group Theory and Modern Dance Composition

abstract: This paper will examine the spatial reference systems typically used in Laban Movement Analysis (LMA), and the consequences of group actions on these systems. The elementary notions of inversion and transposition in choreographic composition can be defined in such a way that they can be shown to be group homomorphisms in all the reference systems of LMA. The notions of orbits and stabilizers on polyhedra are used to mathematically define these choreographic devices, and these same notions can be used to define new choreographic devices on the standard polyhedra used for spatial reference in dance.


title: Robust Object Detection under Occlusion with Context-Aware CompositionalNets

abstract: Detecting partially occluded objects is a difficult task. Our experimental results show that deep learning approaches, such as Faster R-CNN, are not robust at object detection under occlusion. Compositional convolutional neural networks (CompositionalNets) have been shown to be robust at classifying occluded objects by explicitly representing the object as a composition of parts. In this work, we propose to overcome two limitations of CompositionalNets which will enable them to detect partially occluded objects: 1) CompositionalNets, as well as other DCNN architectures, do not explicitly separate the representation of the context from the object itself. Under strong object occlusion, the influence of the context is amplified which can have severe negative effects for detection at test time. In order to overcome this, we propose to segment the context during training via bounding box annotations. We then use the segmentation to learn a context-aware CompositionalNet that disentangles the representation of the context and the object. 2) We extend the part-based voting scheme in CompositionalNets to vote for the corners of the object's bounding box, which enables the model to reliably estimate bounding boxes for partially occluded objects. Our extensive experiments show that our proposed model can detect objects robustly, increasing the detection performance of strongly occluded vehicles from PASCAL3D+ and MS-COCO by 41% and 35% respectively in absolute performance relative to Faster R-CNN.


title: miniKanren as a Tool for Symbolic Computation in Python

abstract: In this article, we give a brief overview of the current state and future potential of symbolic computation within the Python statistical modeling and machine learning community. We detail the use of miniKanren as an underlying framework for term rewriting and symbolic mathematics, as well as its ability to orchestrate the use of existing Python libraries. We also discuss the relevance and potential of relational programming for implementing more robust, portable, domain-specific "math-level" optimizations--with a slight focus on Bayesian modeling. Finally, we describe the work going forward and raise some questions regarding potential cross-overs between statistical modeling and programming language theory.


title: Master-Auxiliary: an efficient aggregation strategy for video anomaly detection

abstract: The aim of surveillance video anomaly detection is to detect events that rarely or never happened in a certain scene. Generally, different detectors can detect different anomalies. This paper proposes an efficient strategy to aggregate multiple detectors. First, the aggregation strategy chooses one detector as master detector by experience, and sets the remaining detectors as auxiliary detectors. Then, the aggregation strategy extracts credible information from auxiliary detectors, including credible abnormal (Cred-a) frames and credible normal (Cred-n) frames. After that, the frequencies that each video frame being judged as Cred-a and Cred-n are counted. Applying the events' time continuity property, more Cred-a and Cred-n frames can be inferred. Finally, the aggregation strategy utilizes the Cred-a and Cred-n frequencies to vote to calculate soft weights, and uses the soft weights to assist the master detector. Experiments are carried out on multiple datasets. Comparing with existing aggregation strategies, the proposed strategy achieves state-of-the-art performance.


title: On Higher Dimensional Self-Similar Axion-Dilaton Solutions

abstract: We show that solutions of the self-similar gravitational collapse in the Einstein-axion-dilaton system exist in higher dimensional spacetimes. These solutions are invariant under spacetime dilation combined with internal SL(2,R) transformations. We rely on the recent setup and use it for the three different conjugacy classes (elliptic, parabolic and hyperbolic) in higher dimensions. Lastly, we identify new families of physically distinguishable self-similar solutions for all three conjugacy classes in six and seven dimensions.


title: Creating Semiflows on Simplicial Complexes from Combinatorial Vector Fields

abstract: Combinatorial vector fields on simplicial complexes as introduced by Robin Forman have found numerous and varied applications in recent years. Yet, their relationship to classical dynamical systems has been less clear. In recent work it was shown that for every combinatorial vector field on a finite simplicial complex one can construct a multivalued discrete-time dynamical system on the underlying polytope X which exhibits the same dynamics as the combinatorial flow in the sense of Conley index theory. However, Forman's original description of combinatorial flows appears to have been motivated more directly by the concept of flows, i.e., continuous-time dynamical systems. In this paper, it is shown that one can construct a semiflow on X which exhibits the same dynamics as the underlying combinatorial vector field. The equivalence of the dynamical behavior is established in the sense of Conley-Morse graphs and uses a tiling of the topological space X which makes it possible to directly construct isolating blocks for all involved isolated invariant sets based purely on the combinatorial information.


title: Pertfect matching and zero-sum 3-magic labeling

abstract: A mapping $l : E(G) \rightarrow A$, where $A$ is an abelian group which written additively, is called a labeling of the graph $G$. For every positive integer $h \geqslant 2$, a graph $G$ is said to be zero-sum $h$-magic if there is an edge labeling $l$ from $E(G)$ into $\mathbb{Z}_{h} \backslash \{0\}$ such that $s(v) = \sum_{uv\in E(G)}l(uv) = 0$ for every vertex $v \in V(G)$. In 2014, Saieed Akbari, Farhad Rahmati and Sanaz Zare conjectured that every 5-regular graph admits a zero-sum $3$-magic labeling. In this paper, we obtained that every 5-regular graph with every edge contains in a triangle must have a perfect matching, and admits a zero-sum 3-magic labeling, which partially confirms this conjecture.


title: Reconstructed discontinuous Galerkin method for compressible flows in arbitrary Lagrangian-Eulerian formulation

abstract: We present a high-order accurate reconstructed discontinuous Galerkin (rDG) method in arbitrary Lagrangian-Eulerian (ALE) formulation, for solving two-dimensional compressible flows on moving and deforming domains with unstructured curved meshes. The Taylor basis functions in use are defined on the time-dependent domain, on which also the integration and computations are performed. A third order ESDIRK3 scheme is employed for the temporal integration. The Geometric Conservation Law (GCL) is satisfied by modifying the grid velocity terms on the right-hand side of the discretized equations at Gauss quadrature points. To avoid excessive distortion and invalid elements near the moving boundary, we use the radial basis function (RBF) interpolation method for propagating the mesh motion of the boundary nodes to the interior of the mesh. Several numerical examples are performed to verify the designed spatial and temporal orders of accuracy, and to demonstrate the ability of handling moving boundary problems of the rDG-ALE method.


title: Connecting the Dots: Multivariate Time Series Forecasting with Graph Neural Networks

abstract: Modeling multivariate time series has long been a subject that has attracted researchers from a diverse range of fields including economics, finance, and traffic. A basic assumption behind multivariate time series forecasting is that its variables depend on one another but, upon looking closely, it is fair to say that existing methods fail to fully exploit latent spatial dependencies between pairs of variables. In recent years, meanwhile, graph neural networks (GNNs) have shown high capability in handling relational dependencies. GNNs require well-defined graph structures for information propagation which means they cannot be applied directly for multivariate time series where the dependencies are not known in advance. In this paper, we propose a general graph neural network framework designed specifically for multivariate time series data. Our approach automatically extracts the uni-directed relations among variables through a graph learning module, into which external knowledge like variable attributes can be easily integrated. A novel mix-hop propagation layer and a dilated inception layer are further proposed to capture the spatial and temporal dependencies within the time series. The graph learning, graph convolution, and temporal convolution modules are jointly learned in an end-to-end framework. Experimental results show that our proposed model outperforms the state-of-the-art baseline methods on 3 of 4 benchmark datasets and achieves on-par performance with other approaches on two traffic datasets which provide extra structural information.


title: Successive Refinement of Privacy

abstract: This work examines a novel question: how much randomness is needed to achieve local differential privacy (LDP)? A motivating scenario is providing {\em multiple levels of privacy} to multiple analysts, either for distribution or for heavy-hitter estimation, using the \emph{same} (randomized) output. We call this setting \emph{successive refinement of privacy}, as it provides hierarchical access to the raw data with different privacy levels. For example, the same randomized output could enable one analyst to reconstruct the input, while another can only estimate the distribution subject to LDP requirements. This extends the classical Shannon (wiretap) security setting to local differential privacy. We provide (order-wise) tight characterizations of privacy-utility-randomness trade-offs in several cases for distribution estimation, including the standard LDP setting under a randomness constraint. We also provide a non-trivial privacy mechanism for multi-level privacy. Furthermore, we show that we cannot reuse random keys over time while preserving privacy of each user.


title: Fast Beam Training for IRS-Assisted Multiuser Communications

abstract: In this letter, we consider an intelligent reflecting surface (IRS)-assisted multiuser communication system, where an IRS is deployed to provide virtual line-of-sight (LoS) links between an access point (AP) and multiple users. We consider the practical codebook-based IRS passive beamforming and study efficient design for IRS reflect beam training, which is challenging due to the large number of IRS reflecting elements. In contrast to the conventional single-beam training, we propose a new multi-beam training method by dividing the IRS reflecting elements into multiple sub-arrays and designing their simultaneous multi-beam steering over time. By simply comparing the received signal power over time, each user can detect its optimal IRS beam direction with a high probability, even without searching over all possible beam directions as the single-beam training. Simulation results show that our proposed multi-beam training significantly reduces the training time of conventional single-beam training and yet achieves comparable IRS passive beamforming performance for data transmission.


title: Discriminative Active Learning for Domain Adaptation

abstract: Domain Adaptation aiming to learn a transferable feature between different but related domains has been well investigated and has shown excellent empirical performances. Previous works mainly focused on matching the marginal feature distributions using the adversarial training methods while assuming the conditional relations between the source and target domain remained unchanged, $i.e.$, ignoring the conditional shift problem. However, recent works have shown that such a conditional shift problem exists and can hinder the adaptation process. To address this issue, we have to leverage labelled data from the target domain, but collecting labelled data can be quite expensive and time-consuming. To this end, we introduce a discriminative active learning approach for domain adaptation to reduce the efforts of data annotation. Specifically, we propose three-stage active adversarial training of neural networks: invariant feature space learning (first stage), uncertainty and diversity criteria and their trade-off for query strategy (second stage) and re-training with queried target labels (third stage). Empirical comparisons with existing domain adaptation methods using four benchmark datasets demonstrate the effectiveness of the proposed approach.


title: A Note on the Concrete Hardness of the Shortest Independent Vectors Problem in Lattices

abstract: Bl\"omer and Seifert showed that $\mathsf{SIVP}_2$ is NP-hard to approximate by giving a reduction from $\mathsf{CVP}_2$ to $\mathsf{SIVP}_2$ for constant approximation factors as long as the $\mathsf{CVP}$ instance has a certain property. In order to formally define this requirement on the $\mathsf{CVP}$ instance, we introduce a new computational problem called the Gap Closest Vector Problem with Bounded Minima. We adapt the proof of Bl\"omer and Seifert to show a reduction from the Gap Closest Vector Problem with Bounded Minima to $\mathsf{SIVP}$ for any $\ell_p$ norm for some constant approximation factor greater than $1$. In a recent result, Bennett, Golovnev and Stephens-Davidowitz showed that under Gap-ETH, there is no $2^{o(n)}$-time algorithm for approximating $\mathsf{CVP}_p$ up to some constant factor $\gamma \geq 1$ for any $1 \leq p \leq \infty$. We observe that the reduction in their paper can be viewed as a reduction from $\mathsf{Gap3SAT}$ to the Gap Closest Vector Problem with Bounded Minima. This, together with the above mentioned reduction, implies that, under Gap-ETH, there is no $2^{o(n)}$-time algorithm for approximating $\mathsf{SIVP}_p$ up to some constant factor $\gamma \geq 1$ for any $1 \leq p \leq \infty$.


title: Volume decay and concentration of high-dimensional Euclidean balls -- a PDE and variational perspective

abstract: It is a well-known fact -- which can be shown by elementary calculus -- that the volume of the unit ball in $\mathbb{R}^n$ decays to zero and simultaneously gets concentrated on the thin shell near the boundary sphere as $n \nearrow \infty$. Many rigorous proofs and heuristic arguments are provided for this fact from different viewpoints, including Euclidean geometry, convex geometry, Banach space theory, combinatorics, probability, discrete geometry, etc. In this note we give yet another two proofs via the regularity theory of elliptic partial differential equations and calculus of variations.


title: Sequential measurements on qubits by multiple observers: Joint best guess strategy

abstract: We study sequential state discrimination measurements performed on the same qubit by subsequent observers. Specifically, we focus on the case when the observers perform a kind of a minimum-error type state discriminating measurement where the goal of the observers is to maximize their joint probability of successfully guessing the state that the qubit was initially prepared in. We call this the joint best guess strategy. In this scheme, Alice prepares a qubit in one of two possible states. The qubit is first sent to Bob, who measures it, and then on to Charlie, and so on to altogether N consecutive receivers who all perform measurements on it. The goal for all observers is to determine which state Alice sent. In the joint best guess strategy, every time a system is received the observer is required to make a guess, aided by the measurement, about its state. The price to pay for this requirement is that errors must be permitted, the guess can be correct or in error. There is a nonzero probability for all the receivers to successfully identify the initially prepared state, and we maximize this joint probability of success. This work is a step toward developing a theory of nondestructive sequential quantum measurements and could be useful in multiparty quantum communication schemes based on communicating with single qubits, particularly in schemes employing continuous variable states. It also represents a case where subsequent observers can probabilistically and optimally get around both the collapse postulate and the no-broadcasting theorem.


title: Cherenkov radiation in a strong magnetic field

abstract: According to quantum electrodynamics, in a strong magnetic field that is constant and spatially uniform, the vacuum becomes polarized with a refractive index greater than unity. As a result, ultra-relativistic charged particles travelling in such media can emit Cherenkov radiation with a power spectrum directly proportional to the photon frequency $\omega$. Therefore, by extrapolating $\omega$ beyond the critical synchrotron frequency $\omega_{c}$, the Cherenkov radiation will eventually dominate over its synchrotron counterpart. However, such an extrapolation is not possible. We show that in the framework of effective field theory, the maximal attainable photon frequency $\omega_{\tiny{\mbox{max}}}$ is about four order of magnitude less than $\omega_{c}$. At $\omega=\omega_{\tiny{\mbox{max}}}$, given the $\gamma_{e}$-factor of an electron travelling normal to a constant and spatially uniform magnetic field $\mathbf{B}$, the spectrum of Cherenkov radiation becomes dominant when $\gamma_{e}(|\mathbf{B}|/\mbox{Gauss})\gtrsim 4.32\times 10^{19}$. Nevertheless, detecting the Cherenkov radiation in astrophysical environments remains challenging since its spectral flux density is about three orders of magnitude less than the synchrotron radiation.


title: Leader-follower synchronization and ISS analysis for a network of boundary-controlled wave PDEs

abstract: A network of agents, modeled by a class of wave PDEs, is under investigation. One agent in the network plays the role of a leader, and all the remaining "follower" agents are required to asymptotically track the state of the leader. Only boundary sensing of the agent's state is assumed, and each agent is controlled through the boundary by Neumann-type actuation. A linear interaction protocol is proposed and analyzed by means of a Lyapunov-based approach. A simple set of tuning rules, guaranteeing the exponential achievement of synchronization, is obtained. In addition, an exponential ISS relation, characterizing the effects on the tracking accuracy of boundary and in-domain disturbances, is derived for the closed loop system.


abstract: Scintillation properties of $({\rm Zn}_{0.9} {\rm Pb}_{0.1})({\rm W}_{0.9} {\rm Mo}_{0.1}){\rm O}_4$ and $({\rm Zn}_{0.9} {\rm Cd}_{0.1})({\rm W}_{0.9} {\rm Mo}_{0.1}){\rm O}_4$ mixed crystals with doping of ${\rm Eu, Sm, Pr, Ce, Sc, Yt}$ and ${\rm Nb}$ are studied. Measurements of their light yields relative to pure ${\rm ZnWO}_4$ at room temperature, decay times and energy resolutions at 662 keV are presented. Emission spectra are obtained with ${}^{239}Pu$ source of alpha particles.


title: Feature space of XRD patterns constructed by auto-encorder

abstract: It would be a natural expectation that only major peaks, not all of them, would make an important contribution to the characterization of the XRD pattern. We developed a scheme that can identify which peaks are relavant to what extent by using auto-encoder technique to construct a feature space for the XRD peak patterns. Individual XRD patterns are projected onto a single point in the two-dimensional feature space constructed using the method. If the point is significantly shifted when a peak of interest is masked, then we can say the peak is relevant for the characterization represented by the point on the space. In this way, we can formulate the relevancy quantitatively. By using this scheme, we actually found such a peak with a significant peak intensity but low relevancy in the characterization of the structure. The peak is not easily explained by the physical viewpoint such as the higher-order peaks from the same plane index, being a heuristic finding by the power of machine-learning.


title: The stabilizing effect of the temperature on buoyancy-driven fluids

abstract: The Boussinesq system for buoyancy driven fluids couples the momentum equation forced by the buoyancy with the convection-diffusion equation for the temperature. One fundamental issue on the Boussinesq system is the stability problem on perturbations near the hydrostatic balance. This problem can be extremely difficult when the system lacks full dissipation. This paper solves the stability problem for a two-dimensional Boussinesq system with only vertical dissipation and horizontal thermal diffusion. We establish the stability for the nonlinear system and derive precise large-time behavior for the linearized system. The results presented in this paper reveal a remarkable phenomenon for buoyancy driven fluids. That is, the temperature actually smooths and stabilizes the fluids. If the temperature were not present, the fluid is governed by the 2D Navier-Stokes with only vertical dissipation and its stability remains open. It is the coupling and interaction between the temperature and the velocity in the Boussinesq system that makes the stability problem studied here possible. Mathematically the system can be reduced to degenerate and damped wave equations that fuel the stabilization.


title: A hybrid quantum system formed by trapping atoms in the near-field of a levitated nanosphere

abstract: Near-field, radially symmetric optical potentials centred around a levitated nanosphere can be used for sympathetic cooling and for creating a bound nanosphere-atom system analogous to a large molecule. We demonstrate that the long range, Coulomb-like potential produced by a single blue detuned field increases the collisional cross-section by eight orders of magnitude, allowing fast sympathetic cooling of a trapped nanosphere to microKelvin temperatures using cold atoms. By using two optical fields to create a combination of repulsive and attractive potentials, we demonstrate that a cold atom can be bound to a nanosphere creating a new levitated hybrid quantum system suitable for exploring quantum mechanics with massive particles.


title: Sum-Rate Maximization for Multiuser MISO Downlink Systems with Self-sustainable IRS

abstract: This paper investigates multiuser multi-input single-output (MISO) downlink communications assisted by a self-sustainable intelligent reflection surface (IRS), which can harvest power from the received signals. We study the joint design of the beamformer at an access point (AP) and the phase shifts and the power harvesting schedule at an IRS for maximizing the system sum-rate. The design is formulated as a non-convex optimization problem taking into account the capability of IRS elements to harvest wireless power for realizing self-sustainability. Subsequently, we propose a computationally-efficient alternating algorithm to obtain a suboptimal solution to the design problem. Our simulation results unveil that: 1) there is a non-trivial trade-off between the system sum-rate and self-sustainability in IRS-assisted systems; 2) the performance gain achieved by the proposed scheme is improved with an increasing number of IRS elements; 3) an IRS equipped with small bit-resolution discrete phase shifters is sufficient to achieve a considerable system sum-rate of an ideal case with continuous phase shifts.


title: Tracing Internal Categoricity

abstract: Informally speaking, the categoricity of an axiom system means that its non-logical symbols have only one possible interpretation that renders the axioms true. Although non-categoricity has become ubiquitous in the second half of the 20th century whether one looks at number theory, geometry or analysis, the first axiomatizations of such mathematical theories by Dedekind, Hilbert, Huntington, Peano and Veblen were indeed categorical. A common resolution of the difference between the earlier categorical axiomatizations and the more modern non-categorical axiomatizations is that the latter derive their non-categoricity from Skolem's Paradox and G\"odel's Incompleteness Theorems, while the former, being second order, suffer from a heavy reliance on metatheory, where the Skolem-G\"odel phenomenon re-emerges. Using second order meta-theory to avoid non-categoricity of the meta-theory would only seem to lead to an infinite regress. In this paper we maintain that internal categoricity breaks this traditional picture. It applies to both first and second order axiomatizations, although in the first order case we have so far only examples. It does not depend on the meta-theory in a way that would lead to an infinite regress. And it covers the classical categoricity results of early researchers. In the first order case it is weaker than categoricity itself, and in the second order case stronger. We give arguments suggesting that internal categoricity is the "right" concept of categoricity.


title: A Question Type Driven and Copy Loss Enhanced Frameworkfor Answer-Agnostic Neural Question Generation

abstract: The answer-agnostic question generation is a significant and challenging task, which aims to automatically generate questions for a given sentence but without an answer. In this paper, we propose two new strategies to deal with this task: question type prediction and copy loss mechanism. The question type module is to predict the types of questions that should be asked, which allows our model to generate multiple types of questions for the same source sentence. The new copy loss enhances the original copy mechanism to make sure that every important word in the source sentence has been copied when generating questions. Our integrated model outperforms the state-of-the-art approach in answer-agnostic question generation, achieving a BLEU-4 score of 13.9 on SQuAD. Human evaluation further validates the high quality of our generated questions. We will make our code public available for further research.


title: Rank zero elliptic curves induced by rational Diophantine triples

abstract: Rational Diophantine triples, i.e. rationals a,b,c with the property that ab+1, ac+1, bc+1 are perfect squares, are often used in construction of elliptic curves with high rank. In this paper, we consider the opposite problem and ask how small can be the rank of elliptic curves induced by rational Diophantine triples. It is easy to find rational Diophantine triples with elements with mixed signs which induce elliptic curves with rank 0. However, the problem of finding such examples of rational Diophantine triples with positive elements is much more challenging, and we will provide the first such known example.


title: Controlling consensus in networks with symmetries

abstract: We study networks with linear dynamics where the presence of symmetries of the pair (A,B) induces a partition of the network nodes in clusters and the matrix A is not restricted to be in Laplacian form. For these networks, an invariant group consensus subspace can be defined, in which the nodes in the same cluster evolve along the same trajectory in time. We prove that the network dynamics is uncontrollable in directions orthogonal to this subspace. Under the assumption that the dynamics parallel to this subspace is controllable, we design optimal controllers that drive the group consensus dynamics towards a desired state. Then, we consider the problem of selecting additional control inputs that stabilize the group consensus subspace and obtain bounds on the minimum number of additional inputs and driver nodes needed to this end. Altogether, our results indicate that it is possible to design independently the control action along and transverse to the group consensus subspace.


title: Quadratic Sieve Factorization Quantum Algorithm and its Simulation

abstract: Quantum computing is a winsome field that concerns with the behaviour and nature of energy at the quantum level to improve the efficiency of computations. In recent years, quantum computation is receiving much attention for its capability to solve difficult problems efficiently in contrast to classical computers. Specifically, some well-known public-key cryptosystems depend on the difficulty of factoring large numbers, which takes a very long time. It is expected that the emergence of a quantum computer has the potential to break such cryptosystems by 2020 due to the discovery of powerful quantum algorithms (Shor's factoring, Grover's search algorithm and many more). In this paper, we have designed a quantum variant of the second fastest classical factorization algorithm named "Quadratic Sieve". We have constructed the simulation framework of quantized quadratic sieve algorithm using high-level programming language Mathematica. Further, the simulation results are performed on a classical computer to get a feel of the quantum system and proved that it is more efficient than its classical variants from computational complexity point of view.


title: Evaluation of Banking Sectors Development in Bangladesh in light of Financial Reform

abstract: Historically, the performance of the banking sector has been weak, characterized by weak asset quality, inadequate provisioning, and negative capitalization of state-owned banks. To overcome these problems, the initial phase of banking reform (1980-1990) focused on the promotion of private ownership and denationalization of nationalized commercial banks (SCBs). During the second phase of reform, Financial Sector Reform Project (FSRP) of World Bank was launched in 1990 with the focus on gradual deregulations of the interest rate structure, providing market-oriented incentives for priority sector lending and improvement in the debt recovery environment. Moreover, a large number of private commercial banks were granted licenses during the second phase of reforms. Bangladesh Bank adopted Basel-I norms in 1996 and Basel-II during 2010. Moreover, the Central Bank Strengthening Project initiated in 2003 focused on effective regulatory and supervisory system, particularly strengthening the legal framework of banking sector. This study evaluates how successfully the banking sector of Bangladesh has evolved over the past decades in light of financial reform measures undertaken to strengthen this sector.


title: Benefits of temporal information for appearance-based gaze estimation

abstract: State-of-the-art appearance-based gaze estimation methods, usually based on deep learning techniques, mainly rely on static features. However, temporal trace of eye gaze contains useful information for estimating a given gaze point. For example, approaches leveraging sequential eye gaze information when applied to remote or low-resolution image scenarios with off-the-shelf cameras are showing promising results. The magnitude of contribution from temporal gaze trace is yet unclear for higher resolution/frame rate imaging systems, in which more detailed information about an eye is captured. In this paper, we investigate whether temporal sequences of eye images, captured using a high-resolution, high-frame rate head-mounted virtual reality system, can be leveraged to enhance the accuracy of an end-to-end appearance-based deep-learning model for gaze estimation. Performance is compared against a static-only version of the model. Results demonstrate statistically-significant benefits of temporal information, particularly for the vertical component of gaze.


title: Arms Race in Adversarial Malware Detection: A Survey

abstract: Malicious software (malware) is a major cyber threat that has to be tackled with Machine Learning (ML) techniques because millions of new malware examples are injected into cyberspace on a daily basis. However, ML is vulnerable to attacks known as adversarial examples. In this paper, we survey and systematize the field of Adversarial Malware Detection (AMD) through the lens of a unified conceptual framework of assumptions, attacks, defenses, and security properties. This not only leads us to map attacks and defenses to partial order structures, but also allows us to clearly describe the attack-defense arms race in the AMD context. We draw a number of insights, including: knowing the defender's feature set is critical to the success of transfer attacks; the effectiveness of practical evasion attacks largely depends on the attacker's freedom in conducting manipulations in the problem space; knowing the attacker's manipulation set is critical to the defender's success; the effectiveness of adversarial training depends on the defender's capability in identifying the most powerful attack. We also discuss a number of future research directions.


title: The local balance laws for energy, momentum and entropy: how they came into being, and what was their destiny

abstract: The historical process of the genesis of the extensive or substance-like quantities took place in two steps. First, global conservation or non-conservation was discovered. Only later did it become possible to formulate the balance locally in the form of a continuity equation. This process can be clearly seen in energy, momentum, and entropy. After a long and intricate history, the quantitative description of the local balance has been achieved for all of the three quantities in a surprisingly short period of time around the turn of the 19th to the 20th century. The new ideas could have simplified considerably the teaching of energy, momentum, and entropy. However, in all three cases, today's language of physics remained essentially the same as it was at the time when a local balancing was not yet possible.


title: Strong permanent magnet gradient deflector for Stern-Gerlach-type experiments on molecular beams

abstract: We describe the design, assembly, and testing of a magnet intended to deflect beams of paramagnetic nanoclusters, molecules, and atoms. It is energized by high-grade permanent neodymium magnets. This offers a convenient option in terms of cost, portability, and scalability of the construction, while providing field and gradient values (1.1 T, 330 T/m) which are fully comparable with commonly used electromagnet deflectors.

categories: physics.ins-det physics.atm-clus physics.atom-ph physics.chem-ph


title: On the number of quadratic orthomorphisms that produce maximally nonassociative quasigroups

abstract: Let $q$ be an odd prime power and suppose that $a,b\in\mathbb{F}_q$ are such that $ab$ and $(1{-}a)(1{-}b)$ are nonzero squares. Let $Q_{a,b} = (\mathbb{F}_q,*)$ be the quasigroup in which the operation is defined by $u*v=u+a(v{-}u)$ if $v-u$ is a square, and $u*v=u+b(v{-}u)$ is $v-u$ is a nonsquare. This quasigroup is called maximally nonassociative if it satisfies $x*(y*z) = (x*y)*z$ $\Leftrightarrow$ $x=y=z$. Denote by $\sigma(q)$ the number of $(a,b)$ for which $Q_{a,b}$ is maximally nonassociative. We show that there exist constants $\alpha \approx 0.02908$ and $\beta \approx 0.01259$ such that if $q\equiv 1 \bmod 4$, then $\lim \sigma(q)/q^2 = \alpha$, and if $q \equiv 3 \bmod 4$, then $\lim \sigma(q)/q^2 = \beta$.


title: Controlling network ensembles

abstract: The field of optimal control typically requires the assumption of perfect knowledge of the system one desires to control, which is an unrealistic assumption for biological systems, or networks, typically affected by high levels of uncertainty. Here, we investigate the minimum energy control of network ensembles, which may take one of a finite number of possible realizations. We ensure the controller derived can perform the desired control with a tunable amount of accuracy and we study how the control energy and the overall control cost scale with the number of possible realizations. We verify the theory in three examples of interest: a unidirectional chain network with uncertain edge weights and self-loop weights, a network where each edge weight is drawn from a given distribution, and the Jacobian of the dynamics corresponding to the cell signaling network of autophagy in the presence of uncertain parameters. Our work sheds fundamental insight into the relationship between optimality and uncertainty. Our main result is that the optimal cost corresponding to the solution of the optimal control problem remains finite for possibly infinitely many network realizations as long as uncertainty is bounded.


title: Transformer VQ-VAE for Unsupervised Unit Discovery and Speech Synthesis: ZeroSpeech 2020 Challenge

abstract: In this paper, we report our submitted system for the ZeroSpeech 2020 challenge on Track 2019. The main theme in this challenge is to build a speech synthesizer without any textual information or phonetic labels. In order to tackle those challenges, we build a system that must address two major components such as 1) given speech audio, extract subword units in an unsupervised way and 2) re-synthesize the audio from novel speakers. The system also needs to balance the codebook performance between the ABX error rate and the bitrate compression rate. Our main contribution here is we proposed Transformer-based VQ-VAE for unsupervised unit discovery and Transformer-based inverter for the speech synthesis given the extracted codebook. Additionally, we also explored several regularization methods to improve performance even further.


title: Generating Functions of Some Families of Directed Uniform Hypergraphs

abstract: In this paper, we count acyclic and strongly connected uniform directed labeled hypergraphs. For these combinatorial structures, we introduce a specific generating function allowing us to recover and generalize some results on the number of directed acyclic graphs and the number of strongly connected directed graphs.


title: A method for classification of red, blue and green galaxies using fuzzy set theory

abstract: Red and blue galaxies are traditionally classified using some specific cuts in colour or other galaxy properties, which are supported by empirical arguments. The vagueness associated with such cuts are likely to introduce a significant contamination in these samples. Fuzzy sets are vague boundary sets which can efficiently capture the classification uncertainty in the absence of any precise boundary. We propose a method for classification of galaxies according to their colours using fuzzy set theory. We use data from the SDSS to construct a fuzzy set for red galaxies with its members having different degrees of `redness'. We show that the fuzzy sets for the blue and green galaxies can be obtained from it using different fuzzy operations. We also explore the possibility of using fuzzy relation to study the relationship between different galaxy properties and discuss its strengths and limitations.


title: Networks with pixels embedding: a method to improve noise resistance in images classification

abstract: In the task of image classification, usually, the network is sensitive to noises. For example, an image of cat with noises might be misclassified as an ostrich. Conventionally, to overcome the problem of noises, one uses the technique of data augmentation, that is, to teach the network to distinguish noises by adding more images with noises in the training dataset. In this work, we provide a noise-resistance network in images classification by introducing a technique of pixel embedding. We test the network with pixel embedding, which is abbreviated as the network with PE, on the mnist database of handwritten digits. It shows that the network with PE outperforms the conventional network on images with noises. The technique of pixel embedding can be used in many tasks of image classification to improve noise resistance.


title: Exact-$2$-Relation Graphs

abstract: Pairwise compatibility graphs (PCGs) with non-negative integer edge weights recently have been used to describe rare evolutionary events and scenarios with horizontal gene transfer. Here we consider the case that vertices are separated by exactly two discrete events: Given a tree $T$ with leaf set $L$ and edge-weights $\lambda: E(T)\to\mathbb{N}_0$, the non-negative integer pairwise compatibility graph $\textrm{nniPCG}(T,\lambda,2,2)$ has vertex set $L$ and $xy$ is an edge whenever the sum of the non-negative integer weights along the unique path from $x$ to $y$ in $T$ equals $2$. A graph $G$ has a representation as $\textrm{nniPCG}(T,\lambda,2,2)$ if and only if its point-determining quotient $G/\!\rthin$ is a block graph, where two vertices are in relation $\rthin$ if they have the same neighborhood in $G$. If $G$ is of this type, a labeled tree $(T,\lambda)$ explaining $G$ can be constructed efficiently. In addition, we consider an oriented version of this class of graphs.


title: Weakly non-radiative radial solutions to 3D energy subcritical wave equations

abstract: In this work we consider the energy subcritical 3D wave equation $\partial_t^2 u - \Delta u = \pm |u|^{p-1} u$ and discuss its (weakly) non-radiative solutions, i.e. the solutions defined in an exterior region $\{(x,t): |x|>|t|+R\}$ with $R\geq 0$ satisfying \[ \lim_{t\rightarrow \pm\infty} \int_{|x|>|t|+R} \left(|\nabla u(x,t)|^2 + |u_t(x,t)|^2\right) dx = 0. \] It has been known that any radial weakly non-radiative solution to the linear wave equation is a multiple of $1/|x|$. In addition, any radial weakly non-radiative solutions $u$ to the energy critical wave equation must possess a similar asymptotic behaviour, i.e. $u(x,t)\simeq C/|x|$ when $|x|$ is large. In this work we give examples to show that radial weakly non-radiative solutions to energy subcritical equation ($3<p<5$) may possess a much different asymptotic behaviour. However, a radial weakly non-radiative solution $u$ with initial data in the critical Sobolev space $\dot{H}^{s_p}\times \dot{H}^{s_p-1}(\mathbb{R}^3)$ must coincide with a $C^2$ solution $W$ to the elliptic equation $-\Delta W = -|W|^{p-1} W$ so that $u(x,t) \equiv W(x) \simeq C/|x|$ when $|x|$ is large.


title: Glottal source estimation robustness: A comparison of sensitivity of voice source estimation techniques

abstract: This paper addresses the problem of estimating the voice source directly from speech waveforms. A novel principle based on Anticausality Dominated Regions (ACDR) is used to estimate the glottal open phase. This technique is compared to two other state-of-the-art well-known methods, namely the Zeros of the Z-Transform (ZZT) and the Iterative Adaptive Inverse Filtering (IAIF) algorithms. Decomposition quality is assessed on synthetic signals through two objective measures: the spectral distortion and a glottal formant determination rate. Technique robustness is tested by analyzing the influence of noise and Glottal Closure Instant (GCI) location errors. Besides impacts of the fundamental frequency and the first formant on the performance are evaluated. Our proposed approach shows significant improvement in robustness, which could be of a great interest when decomposing real speech.


title: Pulse replication and accumulation of eigenvalues

abstract: Motivated by pulse-replication phenomena observed in the FitzHugh--Nagumo equation, we investigate traveling pulses whose slow-fast profiles exhibit canard-like transitions. We show that the spectra of the PDE linearization about such pulses may contain many point eigenvalues that accumulate onto a union of curves as the slow scale parameter approaches zero. The limit sets are related to the absolute spectrum of the homogeneous rest states involved in the canard-like transitions. Our results are formulated for general systems that admit an appropriate slow-fast structure.


title: Deep Learning-based Modulation Detection for NOMA Systems

abstract: Since the signal with strong power should be demodulated first for successive interference cancellation (SIC) demodulation in non-orthogonal multiple access (NOMA) systems, the base station (BS) should inform the near user terminal (UT), which has allocated higher power, of modulation mode of the far user terminal. To avoid unnecessary signaling overhead in this process, a blind detection algorithm of NOMA signal modulation mode is designed in this paper. Taking the joint constellation density diagrams of NOMA signal as the detection features, deep residual network is built for classification, so as to detect the modulation mode of NOMA signal. In view of the fact that the joint constellation diagrams are easily polluted by high intensity noise and lose their real distribution pattern, the wavelet denoising method is adopted to improve the quality of constellations. The simulation results represent that the proposed algorithm can achieve satisfactory detection accuracy in NOMA systems. In addition, the factors affecting the recognition performance are also verified and analyzed.


title: Self-similar solutions of some model degenerate partial differential equations of the second, third and fourth order

abstract: When studying boundary value problems for some partial differential equations arising in applied mathematics, we often have to study the solution of a system of partial differential equations satisfied by hypergeometric functions and find explicit linearly independent solutions for the system. In this study, we construct self-similar solutions of some model degenerate partial differential equations of the second, third, and fourth order. These self-similar solutions are expressed in terms of hypergeometric functions.


title: Ginzburg-Landau model of a Stiffnessometer -- a superconducting stiffness meter device

abstract: We study the Ginzburg-Landau equations of super-conductivity describing the experimental setup of a Stiffnessometer device. In particular, we consider the nonlinear regime which reveals the impact of the superconductive critical current on the Stiffnessometer signal. As expected, we find that at high flux regimes, superconductivity is destroyed in parts of the superconductive regime. Surprisingly, however, we find that the superconductivity does not gradually decay to zero as flux increases, but rather the branch of solutions undergoes branch folding. We use asymptotic analysis to characterize the solutions at the numerous parameter regimes in which they exist. An immediate application of the work is an extension of the regime in which experimental measurements of the Stiffnessometer device can be interpreted.


title: MASK: A flexible framework to facilitate de-identification of clinical texts

abstract: Medical health records and clinical summaries contain a vast amount of important information in textual form that can help advancing research on treatments, drugs and public health. However, the majority of these information is not shared because they contain private information about patients, their families, or medical staff treating them. Regulations such as HIPPA in the US, PHIPPA in Canada and GDPR regulate the protection, processing and distribution of this information. In case this information is de-identified and personal information are replaced or redacted, they could be distributed to the research community. In this paper, we present MASK, a software package that is designed to perform the de-identification task. The software is able to perform named entity recognition using some of the state-of-the-art techniques and then mask or redact recognized entities. The user is able to select named entity recognition algorithm (currently implemented are two versions of CRF-based techniques and BiLSTM-based neural network with pre-trained GLoVe and ELMo embedding) and masking algorithm (e.g. shift dates, replace names/locations, totally redact entity).


title: Privacy-preserving Medical Treatment System through Nondeterministic Finite Automata

abstract: In this paper, we propose a privacy-preserving medical treatment system using nondeterministic finite automata (NFA), hereafter referred to as P-Med, designed for the remote medical environment. P-Med makes use of the nondeterministic transition characteristic of NFA to flexibly represent the medical model, which includes illness states, treatment methods and state transitions caused by exerting different treatment methods. A medical model is encrypted and outsourced to the cloud to deliver telemedicine services. Using P-Med, patient-centric diagnosis and treatment can be made on-the-fly while protecting the confidentiality of a patient's illness states and treatment recommendation results. Moreover, a new privacy-preserving NFA evaluation method is given in P-Med to get a confidential match result for the evaluation of an encrypted NFA and an encrypted data set, which avoids the cumbersome inner state transition determination. We demonstrate that P-Med realizes treatment procedure recommendation without privacy leakage to unauthorized parties. We conduct extensive experiments and analyses to evaluate efficiency.


title: Derivation of Symmetric PCA Learning Rules from a Novel Objective Function

abstract: Neural learning rules for principal component / subspace analysis (PCA / PSA) can be derived by maximizing an objective function (summed variance of the projection on the subspace axes) under an orthonormality constraint. For a subspace with a single axis, the optimization produces the principal eigenvector of the data covariance matrix. Hierarchical learning rules with deflation procedures can then be used to extract multiple eigenvectors. However, for a subspace with multiple axes, the optimization leads to PSA learning rules which only converge to axes spanning the principal subspace but not to the principal eigenvectors. A modified objective function with distinct weight factors had to be introduced produce PCA learning rules. Optimization of the objective function for multiple axes leads to symmetric learning rules which do not require deflation procedures. For the PCA case, the estimated principal eigenvectors are ordered (w.r.t. the corresponding eigenvalues) depending on the order of the weight factors. Here we introduce an alternative objective function where it is not necessary to introduce fixed weight factors; instead, the alternative objective function uses squared summands. Optimization leads to symmetric PCA learning rules which converge to the principal eigenvectors, but without imposing an order. In place of the diagonal matrices with fixed weight factors, variable diagonal matrices appear in the learning rules. We analyze this alternative approach by determining the fixed points of the constrained optimization. The behavior of the constrained objective function at the fixed points is analyzed which confirms both the PCA behavior and the fact that no order is imposed. Different ways to derive learning rules from the optimization of the objective function are presented. The role of the terms in the learning rules obtained from these derivations is explored.


title: Rationality of the universal K3 surface of genus 8

abstract: The aim of the present paper is to prove the rationality of the universal family of polarized $ K3 $ surfaces of degree 14. This is achieved by identifying it with the moduli space of cubic fourfolds plus the data of a quartic scroll. The last moduli space is finally proved to be rational since it has a natural structure of $\mathbb P^n$-bundle over a $ k $-stably rational variety with $k \leq n$.


title: How to Build a Graph-Based Deep Learning Architecture in Traffic Domain: A Survey

abstract: In recent years, various deep learning architectures have been proposed to solve complex challenges (e.g. spatial dependency, temporal dependency) in traffic domain, which have achieved satisfactory performance. These architectures are composed of multiple deep learning techniques in order to tackle various challenges in traffic tasks. Traditionally, convolution neural networks (CNNs) are utilized to model spatial dependency by decomposing the traffic network as grids. However, many traffic networks are graph-structured in nature. In order to utilize such spatial information fully, it's more appropriate to formulate traffic networks as graphs mathematically. Recently, various novel deep learning techniques have been developed to process graph data, called graph neural networks (GNNs). More and more works combine GNNs with other deep learning techniques to construct an architecture dealing with various challenges in a complex traffic task, where GNNs are responsible for extracting spatial correlations in traffic network. These graph-based architectures have achieved state-of-the-art performance. To provide a comprehensive and clear picture of such emerging trend, this survey carefully examines various graph-based deep learning architectures in many traffic applications. We first give guidelines to formulate a traffic problem based on graph and construct graphs from various kinds of traffic datasets. Then we decompose these graph-based architectures to discuss their shared deep learning techniques, clarifying the utilization of each technique in traffic tasks. What's more, we summarize some common traffic challenges and the corresponding graph-based deep learning solutions to each challenge. Finally, we provide benchmark datasets, open source codes and future research directions in this rapidly growing field.


title: An Output Containment Approach to Cooperative Control of Multiple Unmanned and Manned Vehicles

abstract: This paper investigates the cooperative control of multiple unmanned and manned vehicles via an output containment control approach for heterogeneous discrete-time multiagent systems. The unmanned vehicles act as leading vehicles to guide the manned vehicles, i.e., following vehicles. The objective is to develop a distributed output feedback control law such that the output of the following vehicles can converge to the convex hull spanned by the output of the leading vehicles exponentially. The convex hull formed by the output of the leading vehicles and the system matrix of leading vehicles are estimated via a distributed containment observer. Based on this observer, a distributed dynamic output feedback control protocol is first devised for heterogeneous discrete-time multi-agent systems using only neighboring relative output information. The proof is depicted by showing certain output containment errors converge to zero exponentially, which indicates the containment control objective is well achieved. A distributed dynamic state-feedback control law is deduced as a special case of the output feedback control. Finally, numerical simulations with application to cooperative control of multiple vehicles validate the effectiveness and the computational feasibility of the proposed control protocols.


title: Almost representations of algebras and quantization

abstract: We introduce the notion of almost representations of Lie algebras and quantum tori, and establish an Ulam-stability type phenomenon: every irreducible almost representation is close to a genuine irreducible representation. As an application, we prove that geometric quantizations of the two-dimensional sphere and the two-dimensional torus are conjugate in the semi-classical limit up to a small error.


title: Integrated Node Encoder for Labelled Textual Networks

abstract: Voluminous works have been implemented to exploit content-enhanced network embedding models, with little focus on the labelled information of nodes. Although TriDNR leverages node labels by treating them as node attributes, it fails to enrich unlabelled node vectors with the labelled information, which leads to the weaker classification result on the test set in comparison to existing unsupervised textual network embedding models. In this study, we design an integrated node encoder (INE) for textual networks which is jointly trained on the structure-based and label-based objectives. As a result, the node encoder preserves the integrated knowledge of not only the network text and structure, but also the labelled information. Furthermore, INE allows the creation of label-enhanced vectors for unlabelled nodes by entering their node contents. Our node embedding achieves state-of-the-art performances in the classification task on two public citation networks, namely Cora and DBLP, pushing benchmarks up by 10.0\% and 12.1\%, respectively, with the 70\% training ratio. Additionally, a feasible solution that generalizes our model from textual networks to a broader range of networks is proposed.


title: Quantum transmission for embedded, locally periodic potentials -- amplitude-phase approaches

abstract: Quantum particle transmission through locally periodic potentials surrounded by symmetric exterior potentials is analyzed. Closed-form conditions for locating energy peaks of total transmission are derived. Floquet/Bloch energy band types are defined and found to affect the number of peaks in transmission bands. Modifications of band types and a band fusion phenomenon are discussed. The theoretical approaches suggested consist of several ways to express a Schr\"{o}dinger wave as an amplitude function multiplying a harmonic function of a phase function. In particular, an approach containing a Floquet/Bloch periodic amplitude function and a corresponding phase function is described for the locally periodic region, allowing a way to specify quantum numbers for energies of total transmission.


title: Smoothly knotted and topologically unknotted nullhomologous surfaces in 4-manifolds

abstract: We point out that recent constructions of inequivalent smooth structures yield a manufacturing procedure of infinite sets of pairwise smoothly non-isotopic nullhomologous 2-tori and spheres inside a myriad of 4-manifolds. The corresponding infinite set consists of topologically isotopic surfaces that topologically bound a handlebody in several instances.


title: Black Hole Entropy and Boundary Conditions

abstract: It is well-known that in order to make the action well defined, one may employ different kinds of boundary conditions (BCs) accompanied by the appropriate Gibbons-Hawking-York (GHY) terms. In this paper we investigate the role of the selected BC and the corresponding GHY terms on the black hole (BH) entropy. Our result shows, regardless of the kind of BC, the BH entropy in all cases is the same as one obtained under Dirichlet BC from Wald formula or semi-classical approximation method. We considered the Schwarzschild solution for $f(R)$-gravity and general relativity (GR) in standard dimensions as special models.


title: Phase transitions in optimal strategies for betting

abstract: Kelly's criterion is a betting strategy that maximizes the long term growth rate, but which is known to be risky. Here, we find optimal betting strategies that gives the highest capital growth rate while keeping a certain low value of risky fluctuations. We then analyze the trade-off between the average and the fluctuations of the growth rate, in models of horse races, first for two horses then for an arbitrary number of horses, and for uncorrelated or correlated races. We find an analog of a phase transition with a coexistence between two optimal strategies, where one has risk and the other one does not. The above trade-off is also embodied in a general bound on the average growth rate, similar to thermodynamic uncertainty relations. We also prove mathematically the absence of other phase transitions between Kelly's point and the risk free strategy.


title: Physics-based polynomial neural networks for one-shot learning of dynamical systems from one or a few samples

abstract: This paper discusses an approach for incorporating prior physical knowledge into the neural network to improve data efficiency and the generalization of predictive models. If the dynamics of a system approximately follows a given differential equation, the Taylor mapping method can be used to initialize the weights of a polynomial neural network. This allows the fine-tuning of the model from one training sample of real system dynamics. The paper describes practical results on real experiments with both a simple pendulum and one of the largest worldwide X-ray source. It is demonstrated in practice that the proposed approach allows recovering complex physics from noisy, limited, and partial observations and provides meaningful predictions for previously unseen inputs. The approach mainly targets the learning of physical systems when state-of-the-art models are difficult to apply given the lack of training data.


title: When does MAML Work the Best? An Empirical Study on Model-Agnostic Meta-Learning in NLP Applications

abstract: Model-Agnostic Meta-Learning (MAML), a model-agnostic meta-learning method, is successfully employed in NLP applications including few-shot text classification and multi-domain low-resource language generation. Many impacting factors, including data quantity, similarity among tasks, and the balance between general language model and task-specific adaptation, can affect the performance of MAML in NLP, but few works have thoroughly studied them. In this paper, we conduct an empirical study to investigate these impacting factors and conclude when MAML works the best based on the experimental results.


title: Two-Person Zero-Sum Stochastic Linear-Quadratic Differential Games

abstract: The paper studies the open-loop saddle point and the open-loop lower and upper values, as well as their relationship for two-person zero-sum stochastic linear-quadratic (LQ, for short) differential games with deterministic coefficients. It derives a necessary condition for the finiteness of the open-loop lower and upper values and a sufficient condition for the existence of an open-loop saddle point. It turns out that under the sufficient condition, a strongly regular solution to the associated Riccati equation uniquely exists, in terms of which a closed-loop representation is further established for the open-loop saddle point. Examples are presented to show that the finiteness of the open-loop lower and upper values does not ensure the existence of an open-loop saddle point in general. But for the classical deterministic LQ game, these two issues are equivalent and both imply the solvability of the Riccati equation, for which an explicit representation of the solution is obtained.


title: Existence and Stability of Static Spherical Fluid Shells in a Schwarzschild-Rindler-anti-de Sitter Metric

abstract: We demonstrate the existence of static stable spherical fluid shells in the Schwarzschild-Rindler-anti-de Sitter (SRAdS) spacetime where $ds^2 = f(r)dt^{2} -\frac{dr^{2}}{f(r)}-r^{2}(d\theta ^2 +\sin ^2 \theta d\phi ^2)$ with $f(r) = 1 -\frac{2Gm}{r} + 2 b r -\frac{\Lambda}{3}r^2$. This is an alternative to the well known gravastar geometry where the stability emerges due to the combination of the repulsive forces of the interior de Sitter space with the attractive forces of the exterior Schwarzschild spacetime. In the SRAdS spacetime the repulsion that leads to stability of the shell comes from a negative Rindler term while the Schwarzschild and anti-de Sitter terms are attractive. We demonstrate the existence of such stable spherical shells for three shell fluid equations of state: vacuum shell ($p=-\sigma$), stiff matter shell ($p=\sigma$) and dust shell ($p=0$) where $p$ is the shell pressure and $\sigma$ is the shell surface density. We also identify the metric parameter conditions that need to be satisfied for shell stability in each case. The vacuum stable shell solution in the SRAdS spacetime is consistent with previous studies by two of the authors that demonstrated the existence sf stable spherical scalar field domain walls in the SRAdS spacetime.


title: A character approach to directed genus distribution of graphs: the bipartite single-black-vertex case

abstract: Given an Eulerian digraph, we consider the genus distribution of its face-oriented embeddings. We prove that such distribution is log-concave for two families of Eulerian digraphs, thus giving a positive answer for these families to a question asked in Bonnington, Conder, Morton and McKenna (2002). Our proof uses real-rooted polynomials and the representation theory of the symmetric group $\mathbb{S}_n$. The result is also extended to some factorizations of the identity in $\mathbb{S}_n$ that are rotation systems of some families of one-face constellations.


title: MIMO Speech Compression and Enhancement Based on Convolutional Denoising Autoencoder

abstract: For speech-related applications in IoT environments, identifying effective methods to handle interference noises and compress the amount of data in transmissions is essential to achieve high-quality services. In this study, we propose a novel multi-input multi-output speech compression and enhancement (MIMO-SCE) system based on a convolutional denoising autoencoder (CDAE) model to simultaneously improve speech quality and reduce the dimensions of transmission data. Compared with conventional single-channel and multi-input single-output systems, MIMO systems can be employed in applications that handle multiple acoustic signals need to be handled. We investigated two CDAE models, a fully convolutional network (FCN) and a Sinc FCN, as the core models in MIMO systems. The experimental results confirm that the proposed MIMO-SCE framework effectively improves speech quality and intelligibility while reducing the amount of recording data by a factor of 7 for transmission.


title: Sharp variance-entropy comparison for nonnegative Gaussian quadratic forms

abstract: In this article we study weighted sums of $n$ i.i.d. Gamma($\alpha$) random variables with nonnegative weights. We show that for $n \geq 1/\alpha$ the sum with equal coefficients maximizes differential entropy when variance is fixed. As a consequence, we prove that among nonnegative quadratic forms in $n$ independent standard Gaussian random variables, a diagonal form with equal coefficients maximizes differential entropy, under a fixed variance. This provides a sharp lower bound for the relative entropy between a nonnegative quadratic form and a Gaussian random variable. Bounds on capacities of transmission channels subject to $n$ independent additive gamma noises are also derived.


title: A Novel Distributed Representation of News (DRNews) for Stock Market Predictions

abstract: In this study, a novel Distributed Representation of News (DRNews) model is developed and applied in deep learning-based stock market predictions. With the merit of integrating contextual information and cross-documental knowledge, the DRNews model creates news vectors that describe both the semantic information and potential linkages among news events through an attributed news network. Two stock market prediction tasks, namely the short-term stock movement prediction and stock crises early warning, are implemented in the framework of the attention-based Long Short Term-Memory (LSTM) network. It is suggested that DRNews substantially enhances the results of both tasks comparing with five baselines of news embedding models. Further, the attention mechanism suggests that short-term stock trend and stock market crises both receive influences from daily news with the former demonstrates more critical responses on the information related to the stock market {\em per se}, whilst the latter draws more concerns on the banking sector and economic policies.


title: A construction for weak Schur partitions

abstract: In 1952, J.H.Braun claimed to have established a formula giving a lower bound for certain partitions of sets of integers into weakly sum-free classes. However, no proof or supporting construction was published at that time. In today's terminology, that claim was equivalent to giving a formulaic lower bound for the weak Schur number $WS(s)$. $WS(s)$ is the maximum number such that there exists a weak Schur partition of the integers from 1 to $WS(s)$, into $s$ subsets. In a weak Schur partition of a set of integers, there can be no three distinct members $a$, $b$ and $c$ in any subset, such that $a+b=c$. An iterative construction described in this paper results in a similar formulaic lower bound. Although different from that given by Braun, it reproduces the result $WS(6) \ge 554$ implied by his formula, and exceeds it for all larger values of $s$. Various starting points can be used as a basis for the iterations. This result itself is no longer remarkable: it has been proven elsewhere that $WS(6) \ge 642$. Even so, it is hoped that the formula and its underlying construction may nevertheless be of interest to those interested in weak Schur partitions and/or the closely-related linear Ramsey graphs.


title: Relaxation methods for optimal control problems

abstract: We consider a nonlinear optimal control problem with dynamics described by a differential inclusion involving a maximal monotone map $A:\mathbb{R}^N\rightarrow2^{\mathbb{R}^N}$. We do not assume that $D(A)=\mathbb{R}^N$, incorporating in this way systems with unilateral constraints in our framework. We present two relaxation methods. The first one is an outgrowth of the reduction method from the existence theory, while the second method uses Young measures. We show that the two relaxation methods are equivalent and admissible.


title: PHANGS CO kinematics: disk orientations and rotation curves at 150 pc resolution

abstract: We present kinematic orientations and high resolution (150 pc) rotation curves for 67 main sequence star-forming galaxies surveyed in CO (2-1) emission by PHANGS-ALMA. Our measurements are based on the application of a new fitting method tailored to CO velocity fields. Our approach identifies an optimal global orientation as a way to reduce the impact of non-axisymmetric (bar and spiral) features and the uneven spatial sampling characteristic of CO emission in the inner regions of nearby galaxies. The method performs especially well when applied to the large number of independent lines-of-sight contained in the PHANGS CO velocity fields mapped at 1'' resolution. The high resolution rotation curves fitted to these data are sensitive probes of mass distribution in the inner regions of these galaxies. We use the inner slope as well as the amplitude of our fitted rotation curves to demonstrate that CO is a reliable global dynamical mass tracer. From the consistency between photometric orientations from the literature and kinematic orientations determined with our method, we infer that the shapes of stellar disks in the mass range of log($\rm M_{\star}(M_{\odot})$)=9.0-10.9 probed by our sample are very close to circular and have uniform thickness.


title: Featherweight Go

abstract: We describe a design for generics in Go inspired by previous work on Featherweight Java by Igarashi, Pierce, and Wadler. Whereas subtyping in Java is nominal, in Go it is structural, and whereas generics in Java are defined via erasure, in Go we use monomorphisation. Although monomorphisation is widely used, we are one of the first to formalise it. Our design also supports a solution to The Expression Problem.