title: Analytical modeling of demagnetizing effect in magnetoelectric ferrite/PZT/ferrite trilayers taking into account a mechanical coupling

abstract: In this paper, we investigate the demagnetizing effect in ferrite/PZT/ferrite magnetoelectric (ME) trilayer composites consisting of commercial PZT discs bonded by epoxy layers to Ni-Co-Zn ferrite discs made by a reactive Spark Plasma Sintering (SPS) technique. ME voltage coefficients (transversal mode) were measured on ferrite/PZT/ferrite trilayer ME samples with different thicknesses or phase volume ratio in order to highlight the influence of the magnetic field penetration governed by these geometrical parameters. Experimental ME coefficients and voltages were compared to analytical calculations using a quasi-static model. Theoretical demagnetizing factors of two magnetic discs that interact together in parallel magnetic structures were derived from an analytical calculation based on a superposition method. These factors were introduced in ME voltage calculations which take account of the demagnetizing effect. To fit the experimental results, a mechanical coupling factor was also introduced in the theoretical formula. This reflects the differential strain that exists in the ferrite and PZT layers due to shear effects near the edge of the ME samples and within the bonding epoxy layers. From this study, an optimization in magnitude of the ME voltage is obtained. Lastly, an analytical calculation of demagnetizing effect was conducted for layered ME composites containing higher numbers of alternated layers (). The advantage of such a structure is then discussed.


title: $\mathbb{Z}_{q}(\mathbb{Z}_{q}+u\mathbb{Z}_{q})$-Linear Skew Constacyclic Codes

abstract: In this paper, we study skew constacyclic codes over the ring $\mathbb{Z}_{q}R$ where $R=\mathbb{Z}_{q}+u\mathbb{Z}_{q}$, $q=p^{s}$ for a prime $p$ and $u^{2}=0$. We give the definition of these codes as subsets of the ring $\mathbb{Z}_{q}^{\alpha}R^{\beta}$. Some structural properties of the skew polynomial ring $ R[x,\theta]$ are discussed, where $ \theta$ is an automorphism of $R$. We describe the generator polynomials of skew constacyclic codes over $ R $ and $\mathbb{Z}_{q}R$. Using Gray images of skew constacyclic codes over $\mathbb{Z}_{q}R$ we obtained some new linear codes over $\mathbb{Z}_4$. Further, we have generalized these codes to double skew constacyclic codes over $\mathbb{Z}_{q}R$.


title: Diversity and Interdisciplinarity: How Can One Distinguish and Recombine Disparity, Variety, and Balance?

abstract: The dilemma which remained unsolved using Rao-Stirling diversity, namely of how variety and balance can be combined into "dual concept diversity" (Stirling, 1998, pp. 48f.) can be clarified by using Nijssen et al.'s (1998) argument that the Gini coefficient is a perfect indicator of balance. However, the Gini coefficient is not an indicator of variety; this latter term can be operationalized independently as relative variety. The three components of diversity--variety, balance, and disparity--can thus be clearly distinguished and independently operationalized as measures varying between zero and one. The new diversity indicator ranges with more resolving power in the empirical case.


title: Data-driven Discovery of Closure Models

abstract: Derivation of reduced order representations of dynamical systems requires the modeling of the truncated dynamics on the retained dynamics. In its most general form, this so-called closure model has to account for memory effects. In this work, we present a framework of operator inference to extract the governing dynamics of closure from data in a compact, non-Markovian form. We employ sparse polynomial regression and artificial neural networks to extract the underlying operator. For a special class of non-linear systems, observability of the closure in terms of the resolved dynamics is analyzed and theoretical results are presented on the compactness of the memory. The proposed framework is evaluated on examples consisting of linear to nonlinear systems with and without chaotic dynamics, with an emphasis on predictive performance on unseen data.


title: SUNLayer: Stable denoising with generative networks

abstract: It has been experimentally established that deep neural networks can be used to produce good generative models for real world data. It has also been established that such generative models can be exploited to solve classical inverse problems like compressed sensing and super resolution. In this work we focus on the classical signal processing problem of image denoising. We propose a theoretical setting that uses spherical harmonics to identify what mathematical properties of the activation functions will allow signal denoising with local methods.


title: Importance sampling for McKean-Vlasov SDEs

abstract: This paper deals with the Monte-Carlo methods for evaluating expectations of functionals of solutions to McKean-Vlasov Stochastic Differential Equations (MV-SDE) with drifts of super-linear growth. We assume that the MV-SDE is approximated in the standard manner by means of an interacting particle system and propose two importance sampling (IS) techniques to reduce the variance of the resulting Monte Carlo estimator. In the \emph{complete measure change} approach, the IS measure change is applied simultaneously in the coefficients and in the expectation to be evaluated. In the \emph{decoupling} approach we first estimate the law of the solution in a first set of simulations without measure change and then perform a second set of simulations under the importance sampling measure using the approximate solution law computed in the first step. For both approaches, we use large deviations techniques to identify an optimisation problem for the candidate measure change. The decoupling approach yields a far simpler optimisation problem than the complete measure change, however, we can reduce the complexity of the complete measure change through some symmetry arguments. We implement both algorithms for two examples coming from the Kuramoto model from statistical physics and show that the variance of the importance sampling schemes is up to 3 orders of magnitude smaller than that of the standard Monte Carlo. The computational cost is approximately the same as for standard Monte Carlo for the complete measure change and only increases by a factor of 2--3 for the decoupled approach. We also estimate the propagation of chaos error and find that this is dominated by the statistical error by one order of magnitude.


title: Local Quadratic Estimation of the Curvature in a Functional Single Index Model

abstract: The nonlinear effects of environmental variability on species abundance plays an important role in the maintenance of ecological diversity. Nonetheless, many common models use parametric nonlinear terms pre-determining ecological conclusions. Motivated by this concern, we study the estimate of the second derivative (curvature) of the link function g in a functional single index model. Since the coefficient function and the link function are both unknown, the estimate is expressed as a nested optimization. For a fixed and unknown coefficient function, the link function and its second derivative are estimated by local quadratic approximation, then the coefficient function is estimated by minimizing the MSE of the model. In this paper, we derive the rate of convergence of the estimation. In addition, we prove that the argument of g, can be estimated root-n consistently. However, practical implementation of the method requires solving a nonlinear optimization problem, and our results show that the estimates of the link function and the coefficient function are quite sensitive to the choices of starting values.


title: Algebras with two multiplications and their cumulants

abstract: Cumulants are a notion that comes from the classical probability theory, they are an alternative to a notion of moments. We adapt the probabilistic concept of cumulants to the setup of a linear space equipped with two multiplication structures. We present an algebraic formula which involves those two multiplications as a sum of products of cumulants. In our approach, beside cumulants, we make use of standard combinatorial tools as forests and their colourings. We also show that the resulting statement can be understood as an analogue of Leonov--Shiraev's formula. This purely combinatorial presentation leads to some conclusions about structure constant of Jack characters.


title: ALOHA-NOMA for Massive Machine-to-Machine IoT Communication

abstract: This paper proposes a new medium access control (MAC) protocol for Internet of Things (IoT) applications incorporating pure ALOHA with power domain non-orthogonal multiple access (NOMA) in which the number of transmitters are not known as a priori information and estimated with multi-hypothesis testing. The proposed protocol referred to as ALOHA-NOMA is not only scalable, energy efficient and matched to the low complexity requirements of IoT devices, but it also significantly increases the throughput. Specifically, throughput is increased to 1.27 with ALOHA-NOMA when 5 users can be separated via a SIC (Successive Interference Cancellation) receiver in comparison to the classical result of 0.18 in pure ALOHA. The results further show that there is a greater than linear increase in throughput as the number of active IoT devices increases.


title: Enhanced photon-phonon coupling via dimerization in one-dimensional optomechanical crystals

abstract: We show that dimerization of an optomechanical crystal lattice, which leads to folding of the band diagram, can couple flexural mechanical modes to optical fields within the unit cell via radiation pressure. When compared to currently realized crystals, a substantial improvement in the coupling between photons and phonons is found. For experimental verification, we implement a dimerized lattice in a silicon optomechanical nanobeam cavity and measure a vacuum coupling rate of $g_0/2\pi=1.7MHz$ between an optical resonance at $\lambda_{c} = 1545nm$ and a mechanical resonance at 1.14GHz.


title: Direct and indirect exciton mixture in double quantum wells

abstract: The exciton system in double quantum well is considered under condition when the ground state is the spatially indirect exciton. At high pumping growth of the exciton concentration can lead to so significant increase of the indirect exciton energy that becomes equal to the direct exciton energy. Then further increase of pumping leads to formation of mixed direct - indirect exciton phase. A rough estimate of the exciton energy in the mixed phase explains puzzling features of some recent exciton measurements. An experiment that would reveal main characteristic features of the mixed phase is suggested.


title: Deep Depth Completion of a Single RGB-D Image

abstract: The goal of our work is to complete the depth channel of an RGB-D image. Commodity-grade depth cameras often fail to sense depth for shiny, bright, transparent, and distant surfaces. To address this problem, we train a deep network that takes an RGB image as input and predicts dense surface normals and occlusion boundaries. Those predictions are then combined with raw depth observations provided by the RGB-D camera to solve for depths for all pixels, including those missing in the original observation. This method was chosen over others (e.g., inpainting depths directly) as the result of extensive experiments with a new depth completion benchmark dataset, where holes are filled in training data through the rendering of surface reconstructions created from multiview RGB-D scans. Experiments with different network inputs, depth representations, loss functions, optimization methods, inpainting methods, and deep depth estimation networks show that our proposed approach provides better depth completions than these alternatives.


title: Stabilizing Gradients for Deep Neural Networks via Efficient SVD Parameterization

abstract: Vanishing and exploding gradients are two of the main obstacles in training deep neural networks, especially in capturing long range dependencies in recurrent neural networks~(RNNs). In this paper, we present an efficient parametrization of the transition matrix of an RNN that allows us to stabilize the gradients that arise in its training. Specifically, we parameterize the transition matrix by its singular value decomposition(SVD), which allows us to explicitly track and control its singular values. We attain efficiency by using tools that are common in numerical linear algebra, namely Householder reflectors for representing the orthogonal matrices that arise in the SVD. By explicitly controlling the singular values, our proposed Spectral-RNN method allows us to easily solve the exploding gradient problem and we observe that it empirically solves the vanishing gradient issue to a large extent. We note that the SVD parameterization can be used for any rectangular weight matrix, hence it can be easily extended to any deep neural network, such as a multi-layer perceptron. Theoretically, we demonstrate that our parameterization does not lose any expressive power, and show how it controls generalization of RNN for the classification task. %, and show how it potentially makes the optimization process easier. Our extensive experimental results also demonstrate that the proposed framework converges faster, and has good generalization, especially in capturing long range dependencies, as shown on the synthetic addition and copy tasks, as well as on MNIST and Penn Tree Bank data sets.


title: Quasi-Harmonic Constraints for Toric B\'ezier Surfaces

abstract: Toric B\'ezier patches generalize the classical tensor-product triangular and rectangular B\'ezier surfaces, extensively used in $CAGD$. The construction of toric B\'ezier surfaces corresponding to multi-sided convex hulls for known boundary mass-points with integer coordinates (in particular for trapezoidal and hexagonal convex hulls) is given. For these toric B\'ezier surfaces, we find approximate minimal surfaces obtained by extremizing the quasi-harmonic energy functional. We call these approximate minimal surfaces as the quasi-harmonic toric B\'ezier surfaces. This is achieved by imposing the vanishing condition of gradient of the quasi-harmonic functional and obtaining a set of linear constraints on the unknown inner mass-points of the toric B\'ezier patch for the above mentioned convex hull domains, under which they are quasi-harmonic toric B\'ezier patches. This gives us the solution of the \textit{Plateau toric B\'ezier problem} for these illustrative instances for known convex hull domains.


title: Julia operators and Halmos dilations

abstract: We offer a simple direct proof of the unitarity of the Julia operator associated to a contraction $A$, from which follow the intertwining identity $(I - A A^*)^{1/2} A = A (I - A^* A)^{1/2}$ and the unitarity of Halmos dilations.


title: The top-degree part in the Matchings-Jack Conjecture

abstract: In 1996 Goulden and Jackson introduced a family of coefficients $( c_{\pi, \sigma}^{\lambda} ) $ indexed by triples of partitions which arise in the power sum expansion of some Cauchy sum for Jack symmetric functions $( J^{(\alpha )}_\pi )$. The coefficients $ c_{\pi, \sigma}^{\lambda} $ can be viewed as an interpolation between the structure constants of the class algebra and the double coset algebra. Goulden and Jackson suggested that the coefficients $ c_{\pi, \sigma}^{\lambda} $ are polynomials in the variable $\beta := \alpha-1$ with non-negative integer coefficients and that there is a combinatorics of matching hidden behind them. This \emph{Matchings-Jack Conjecture} remains open. Do\l{}\oldk{e}ga and F\'eray showed the polynomiality of connection coefficients $c^\lambda_{\pi,\sigma}$ and gave the upper bound on the degrees. We give a necessary and sufficient condition for the polynomial $ c_{\pi, \sigma}^{\lambda}$ to achieve this bound. We show that the leading coefficient of $ c_{\pi, \sigma}^{\lambda}$ is a positive integer and we present it in the context of Matchings-Jack Conjecture of Goulden and Jackson.


title: StarMap for Category-Agnostic Keypoint and Viewpoint Estimation

abstract: Semantic keypoints provide concise abstractions for a variety of visual understanding tasks. Existing methods define semantic keypoints separately for each category with a fixed number of semantic labels in fixed indices. As a result, this keypoint representation is in-feasible when objects have a varying number of parts, e.g. chairs with varying number of legs. We propose a category-agnostic keypoint representation, which combines a multi-peak heatmap (StarMap) for all the keypoints and their corresponding features as 3D locations in the canonical viewpoint (CanViewFeature) defined for each instance. Our intuition is that the 3D locations of the keypoints in canonical object views contain rich semantic and compositional information. Using our flexible representation, we demonstrate competitive performance in keypoint detection and localization compared to category-specific state-of-the-art methods. Moreover, we show that when augmented with an additional depth channel (DepthMap) to lift the 2D keypoints to 3D, our representation can achieve state-of-the-art results in viewpoint estimation. Finally, we show that our category-agnostic keypoint representation can be generalized to novel categories.


title: Exploring Core Regular Double Stone Algebras, CRDSA, III. Establishing Duality

abstract: This is the last in a series of three notes on an investigation into core regular double Stone algebras, CRDSA, which are meant to be read in order. This note ends our initial investigation of duality for CRDSA through bi-topological spaces. More succinctly, duality through refinement of a pre-established duality of pairwise Stone spaces and bounded distributive lattices. In this note we show that the pairwise Stone derived from a CRDSA L has a base that is a CRDSA isomorphic to L. For the purposes of this note only we will call any such pairwise zero-dimensional space a core regular double pairwise zero-dimensional space and similarly for the corresponding pairwise Stone spaces. Then we establish necessary and sufficient conditions for a bi-continuous map to have an inverse that is a CRDSA homomorphism. These results are topologically indactive of just how "nearly Boolean" CRDSA are, these inverses must respect the appropriate conditions on the boundary of non-clopen elements of the bases of the bi-topological space. From that result we validate our earlier claim that the category of core regular double Stone algebras is dually equivalent to the category of core regular double pairwise Stone spaces. We note that the conditions for this duality should be able to be easily relaxed to yield a duality for a less rigid subclass of bounded distributive lattices than CRDSA, bounded distributive pseudo-complemented lattices for example.


title: The effect of pulsation frequency on transition in pulsatile pipe flow

abstract: Pulsatile flows are common in nature and in applications, but their stability and transition to turbulence are still poorly understood. Even in the simple case of pipe flow subject to harmonic pulsation, there is no consensus among experimental studies on whether pulsation delays or enhances transition. We here report direct numerical simulations of pulsatile pipe flow at low pulsation amplitude A<0.4. We use a spatially localized impulsive disturbance to generate a single turbulent puff and track its dynamics as it travels downstream. The computed relaminarization statistics are in quantitative agreement with the experiments of Xu et al. (J. Fluid Mech., vol. 831, 2017, pp. 418-432) and support the conclusion that increasing the pulsation amplitude and lowering the frequency enhance the stability of the flow. In the high-frequency regime, the behaviour of steady pipe flow is recovered. In addition, we show that when the pipe length does not permit the observation of a full cycle, a reduction of the transition threshold is observed. We obtain an equation quantifying this effect and compare it favourably with the measurements of Stettler & Hussain (J. Fluid Mech., vol. 170, 1986, pp. 169-197). Our results resolve previous discrepancies, which are due to different pipe lengths, perturbation methods and criteria chosen to quantify transition in experiments.


title: The Coordinated Radio and Infrared Survey for High-Mass Star Formation III. A catalogue of northern ultra-compact H II regions

abstract: A catalogue of 239 ultra-compact HII regions (UCHIIs) found in the CORNISH survey at 5 GHz and 1.5" resolution in the region $10^{\circ} < l < 65^{\circ}, ~|b| < 1^{\circ}$ is presented. This is the largest complete and well-selected sample of UCHIIs to date and provides the opportunity to explore the global and individual properties of this key state in massive star formation at multiple wavelengths. The nature of the candidates was validated, based on observational properties and calculated spectral indices, and the analysis is presented in this work. The physical sizes, luminosities and other physical properties were computed by utilising literature distances or calculating the distances whenever a value was not available. The near- and mid-infrared extended source fluxes were measured and the extinctions towards the UCHIIs were computed. The new results were combined with available data at longer wavelengths and the spectral energy distributions (SEDs) were reconstructed for 177 UCHIIs. The bolometric luminosities obtained from SED fitting are presented. By comparing the radio flux densities to previous observational epochs, we find about 5% of the sources appear to be time variable. This first high-resolution area survey of the Galactic plane shows that the total number of UCHIIs in the Galaxy is ~ 750 - a factor of 3-4 fewer than found in previous large area radio surveys. It will form the basis for future tests of models of massive star formation.


title: The subcritical phase for a homopolymer model

abstract: We study a model of continuous-time nearest-neighbor random walk on $\mathbb{Z}^d$ penalized by its occupation time at the origin, also known as a homopolymer. For a fixed real parameter $\beta$ and time $t>0$, we consider the probability measure on paths of the random walk starting from the origin whose Radon-Nikodym derivative is proportional to the exponent of the product $\beta$ times the occupation time at the origin up to time $t$. The case $\beta>0$ was studied previously by Cranston and Molchanov arXiv:1508.06915. We consider the case $\beta<0$, which is intrinsically different only when the underlying walk is recurrent, that is $d=1,2$. Our main result is a scaling limit for the distribution of the homopolymer on the time interval $[0,t]$, as $t\to\infty$, a result that coincides with the scaling limit for penalized Brownian motion due to Roynette and Yor. In two dimensions, the penalizing effect is asymptotically diminished, and the homopolymer scales to standard Brownian motion. Our approach is based on potential analytic and martingale approximation for the model. We also apply our main result to recover a scaling limit for a wetting model. We study the model through analysis of resolvents.


title: On 2-Group Global Symmetries and Their Anomalies

abstract: In general quantum field theories (QFTs), ordinary (0-form) global symmetries and 1-form symmetries can combine into 2-group global symmetries. We describe this phenomenon in detail using the language of symmetry defects. We exhibit a simple procedure to determine the (possible) 2-group global symmetry of a given QFT, and provide a classification of the related 't Hooft anomalies (for symmetries not acting on spacetime). We also describe how QFTs can be coupled to extrinsic backgrounds for symmetry groups that differ from the intrinsic symmetry acting faithfully on the theory. Finally, we provide a variety of examples, ranging from TQFTs (gapped systems) to gapless QFTs. Along the way, we stress that the "obstruction to symmetry fractionalization" discussed in some condensed matter literature is really an instance of 2-group global symmetry.


title: Text Segmentation as a Supervised Learning Task

abstract: Text segmentation, the task of dividing a document into contiguous segments based on its semantic structure, is a longstanding challenge in language understanding. Previous work on text segmentation focused on unsupervised methods such as clustering or graph search, due to the paucity in labeled data. In this work, we formulate text segmentation as a supervised learning problem, and present a large new dataset for text segmentation that is automatically extracted and labeled from Wikipedia. Moreover, we develop a segmentation model based on this dataset and show that it generalizes well to unseen natural text.


title: Exploring Core Regular Double Stone Algebras, CRDSA, II. Moving Towards Duality

abstract: This is the second in a series of three notes on an investigation into core regular double Stone algebras, CRDSA, which are meant to be read in order. This note begins our investigation of duality for CRDSA through bi-topological spaces. More succinctly, duality through refinement of a pre- established duality of pairwise Stone spaces and bounded distributive lattices. In this note we establish necessary and sufficient conditions on a pairwise zero-dimensional space such that it will have a core regular double Stone algebra base. We note that these conditions can easily be relaxed to that which is necessary for a pairwise zero-dimensional space to have a base that is not as rigid as a CRDSA such as bounded distributive-pseudo complemented lattices for example. Furthermore, these conditions give a topological representation indicative of just how "nearly Boolean" CRDSA are, the closure of non-clopen/complemented base elements are clopen/complemented base elements. For the purposes of this note only we will call any pairwise zero-dimensional space with a core regular double Stone algebra base a core regular double pairwise zero-dimensional space. From that result we gain confidence to claim that the category of core regular double Stone algebras is dually equivalent to what we refer to in this note as the category of core regular double pairwise Stone spaces. We validate this claim in the next note, Exploring Core Regular Double Stone Algebras, CRDSA, III. Establishing Duality.


title: Triangle geometry of the qubit state in the probability representation expressed in terms of the triada of Malevich's Squares

abstract: We map the density matrix of the qubit (spin-1/2) state associated with the Bloch sphere and given in the tomographic probability representation onto vertices of a triangle determining Triada of Malevich's squares. The three triangle vertices are located on three sides of another equilateral triangle with the sides equal to $\sqrt 2$. We demonstrate that the triangle vertices are in one-to-one correspondence with the points inside the Bloch sphere and show that the uncertainty relation for the three probabilities of spin projections +1/2 onto three orthogonal directions has the bound determined by the triangle area introduced. This bound is related to the sum of three Malevich's square areas where the squares have sides coinciding with the sides of the triangle. We express any evolution of the qubit state as the motion of the three vertices of the triangle introduced and interpret the gates of qubit states as the semigroup symmetry of the Triada of Malevich's squares. In view of the dynamical semigroup of the qubit-state evolution, we constructed nonlinear representation of the group U(2).


title: DeepVesselNet: Vessel Segmentation, Centerline Prediction, and Bifurcation Detection in 3-D Angiographic Volumes

abstract: We present DeepVesselNet, an architecture tailored to the challenges faced when extracting vessel networks or trees and corresponding features in 3-D angiographic volumes using deep learning. We discuss the problems of low execution speed and high memory requirements associated with full 3-D convolutional networks, high-class imbalance arising from the low percentage of vessel voxels, and unavailability of accurately annotated training data - and offer solutions as the building blocks of DeepVesselNet. First, we formulate 2-D orthogonal cross-hair filters which make use of 3-D context information at a reduced computational burden. Second, we introduce a class balancing cross-entropy loss function with false positive rate correction to handle the high-class imbalance and high false positive rate problems associated with existing loss functions. Finally, we generate synthetic dataset using a computational angiogenesis model capable of generating vascular trees under physiological constraints on local network structure and topology and use these data for transfer learning. DeepVesselNet is optimized for segmenting and analyzing vessels, and we test the performance on a range of angiographic volumes including clinical MRA data of the human brain, as well as X-ray tomographic microscopy scans of the rat brain. Our experiments show that, by replacing 3-D filters with cross-hair filters in our network, we achieve over 23% improvement in speed, lower memory footprint, lower network complexity which prevents overfitting and comparable accuracy (with a Cox-Wilcoxon paired sample significance test p-value of 0.07 when compared to full 3-D filters). Our class balancing metric is crucial for training the network and transfer learning with synthetic data is an efficient, robust, and very generalizable approach leading to a network that excels in a variety of angiography segmentation tasks.


title: Dissecting stellar chemical abundance space with t-SNE

abstract: In the era of industrial Galactic astronomy and multi-object spectroscopic stellar surveys, the sample sizes and the number of available stellar chemical abundances have reached dimensions in which it has become difficult to process all the available information in an effective manner. In this paper we demonstrate the use of a dimensionality-reduction technique (t-distributed stochastic neighbour embedding; t-SNE) for analysing the stellar abundance-space distribution. While the non-parametric non-linear behaviour of this technique makes it difficult to estimate the significance of found abundance-space substructure, we show that our results depend little on parameter choices and are robust to abundance errors. By reanalysing the high-resolution high-signal-to-noise solar-neighbourhood HARPS-GTO sample with t-SNE, we find clearer chemical separations of the high- and low-[$\alpha$/Fe] disc sequences, hints for multiple populations in the high-[$\alpha$/Fe] population, and indications that the chemical evolution of the high-[$\alpha$/Fe] metal-rich stars is connected with the super-metal-rich stars. We also identify a number of chemically peculiar stars, among them a high-confidence s-process-enhanced abundance-ratio pair (HD91345/HD126681) with very similar ages and $v_X$ and $v_Y$ velocities, which we suggest to have a common birth origin, possibly a dwarf galaxy. Our results demonstrate the potential of abundance-space t-SNE and similar methods for chemical-tagging studies with large spectroscopic surveys.


title: DMTCP Checkpoint/Restart of MPI Programs via Proxies

abstract: MPI accomplishes portable, standardized message-passing between processes by exposing a standard API that hides the implementation of the underlying mechanism for message passing. Until now, checkpointing an MPI program required knowledge of these underlying mechanisms. Through the addition of a proxy, we demonstrate that MPI programs can be checkpointed and restarted regardless of the MPI implementation utilized. Further, proxies may enable MPI programs to be checkpointed on one MPI implementation, and restarted on another.


title: $\xi$-completely continuous operators and $\xi$-Schur Banach spaces

abstract: For each ordinal $0\leqslant \xi\leqslant \omega_1$, we introduce the notion of a $\xi$-completely continuous operator and prove that for each ordinal $0< \xi< \omega_1$, the class $\mathfrak{V}_\xi$ of $\xi$-completely continuous operators is a closed, injective operator ideal which is not surjective, symmetric, or idempotent. We prove that for distinct $0\leqslant \xi, \zeta\leqslant \omega_1$, the classes of $\xi$-completely continuous operators and $\zeta$-completely continuous operators are distinct. We also introduce an ordinal rank $\textsf{v}$ for operators such that $\textsf{v}(A)=\omega_1$ if and only if $A$ is completely continuous, and otherwise $\textsf{v}(A)$ is the minimum countable ordinal such that $A$ fails to be $\xi$-completely continuous. We show that there exists an operator $A$ such that $\textsf{v}(A)=\xi$ if and only if $1\leqslant \xi\leqslant \omega_1$, and there exists a Banach space $X$ such that $\textsf{v}(I_X)=\xi$ if and only if there exists an ordinal $\gamma\leqslant \omega_1$ such that $\xi=\omega^\gamma$. Finally, prove that for every $0<\xi<\omega_1$, the class $\{A\in \mathcal{L}: \textsf{v}(A) \geqslant \xi\}$ is $\Pi_1^1$-complete in $\mathcal{L}$, the coding of all operators between separable Banach spaces. This is in contrast to the class $\mathfrak{V}\cap \mathcal{L}$, which is $\Pi_2^1$-complete in $\mathcal{L}$.


title: Large Deviations from the Hydrodynamic Limit for a System with Nearest Neighbor Interactions

abstract: We give a new proof of the large deviation principle from the hydrodynamic limit for the Ginzberg-Landau model studied in Donsker and Varadhan (1989) using techniques from the theory of stochastic control and weak convergence methods. The proof is based on characterizing subsequential hydrodynamic limits of controlled diffusions with nearest neighbor interaction that arise from a variational representation of certain Laplace functionals. The approach taken here does not require superexponential probability estimates, estimation of exponential moments, or an analysis of eigenvalue problems, that are central ingredients in previous proofs. Instead, proof techniques are very similar to those used for the law of large number analysis, namely in the proof of convergence to the hydrodynamic limit (cf. Guo, Papanicolaou and Varadhan (1988)). Specifically, the key step in the proof is establishing suitable bounds on relative entropies and Dirichlet forms associated with certain controlled laws. This general approach has the promise to be applicable to other interacting particle systems as well and to the case of non-equilibrium starting configurations, and to infinite volume systems.


title: Semilinear elliptic equations in thin regions with terms concentrating on oscillatory boundaries

abstract: In this work we study the behavior of a family of solutions of a semilinear elliptic equation, with homogeneous Neumann boundary condition, posed in a two-dimensional oscillating thin region with reaction terms concentrated in a neighborhood of the oscillatory boundary. Our main result is concerned with the upper and lower semicontinuity of the set of solutions. We show that the solutions of our perturbed equation can be approximated with ones of a one-dimensional equation, which also captures the effects of all relevant physical processes that take place in the original problem.


title: Mechanism Deduction from Noisy Chemical Reaction Networks

abstract: We introduce KiNetX, a fully automated meta-algorithm for the kinetic analysis of complex chemical reaction networks derived from semi-accurate but efficient electronic structure calculations. It is designed to (i) accelerate the automated exploration of such networks, and (ii) cope with model-inherent errors in electronic structure calculations on elementary reaction steps. We developed and implemented KiNetX to possess three features. First, KiNetX evaluates the kinetic relevance of every species in a (yet incomplete) reaction network to confine the search for new elementary reaction steps only to those species that are considered possibly relevant. Second, KiNetX identifies and eliminates all kinetically irrelevant species and elementary reactions to reduce a complex network graph to a comprehensible mechanism. Third, KiNetX estimates the sensitivity of species concentrations toward changes in individual rate constants (derived from relative free energies), which allows us to systematically select the most efficient electronic structure model for each elementary reaction given a predefined accuracy. The novelty of KiNetX consists in the rigorous propagation of correlated free-energy uncertainty through all steps of our kinetic analyis. To examine the performance of KiNetX, we developed AutoNetGen. It semirandomly generates chemistry-mimicking reaction networks by encoding chemical logic into their underlying graph structure. AutoNetGen allows us to consider a vast number of distinct chemistry-like scenarios and, hence, to discuss assess the importance of rigorous uncertainty propagation in a statistical context. Our results reveal that KiNetX reliably supports the deduction of product ratios, dominant reaction pathways, and possibly other network properties from semi-accurate electronic structure data.


title: Jarzynski's equality, fluctuation theorems, and variance reduction: Mathematical analysis and numerical algorithms

abstract: In this paper, we study Jarzynski's equality and fluctuation theorems for diffusion processes. While some of the results considered in the current work are known in the (mainly physics) literature, we review and generalize these nonequilibrium theorems using mathematical arguments, therefore enabling further investigations in the mathematical community. On the numerical side, variance reduction approaches such as importance sampling method are studied in order to compute free energy differences based on Jarzynski's equality.


title: Cosmic-ray ionisation in circumstellar discs

abstract: Galactic cosmic rays are a ubiquitous source of ionisation of the interstellar gas, competing with UV and X-ray photons as well as natural radioactivity in determining the fractional abundance of electrons, ions and charged dust grains in molecular clouds and circumstellar discs. We model the propagation of different components of Galactic cosmic rays versus the column density of the gas. Our study is focussed on the propagation at high densities, above a few g cm$^{-2}$, especially relevant for the inner regions of collapsing clouds and circumstellar discs. The propagation of primary and secondary CR particles (protons and heavier nuclei, electrons, positrons, and photons) is computed in the continuous slowing down approximation, diffusion approximation, or catastrophic approximation, by adopting a matching procedure for the different transport regimes. A choice of the proper regime depends on the nature of the dominant loss process, modelled as continuous or catastrophic. The CR ionisation rate is determined by CR protons and their secondary electrons below $\approx 130$ g cm$^{-2}$ and by electron/positron pairs created by photon decay above $\approx600$ g cm$^{-2}$. We show that a proper description of the particle transport is essential to compute the ionisation rate in the latter case, since the electron/positron differential fluxes depend sensitively on the fluxes of both protons and photons. Our results show that the CR ionisation rate in high-density environments, like, e.g., the inner parts of collapsing molecular clouds or the mid-plane of circumstellar discs, is larger than previously assumed. It does not decline exponentially with increasing column density, but follows a more complex behaviour due to the interplay of different processes governing the generation and propagation of secondary particles.


title: Logistic Regression: The Importance of Being Improper

abstract: Learning linear predictors with the logistic loss---both in stochastic and online settings---is a fundamental task in machine learning and statistics, with direct connections to classification and boosting. Existing "fast rates" for this setting exhibit exponential dependence on the predictor norm, and Hazan et al. (2014) showed that this is unfortunately unimprovable. Starting with the simple observation that the logistic loss is $1$-mixable, we design a new efficient improper learning algorithm for online logistic regression that circumvents the aforementioned lower bound with a regret bound exhibiting a doubly-exponential improvement in dependence on the predictor norm. This provides a positive resolution to a variant of the COLT 2012 open problem of McMahan and Streeter (2012) when improper learning is allowed. This improvement is obtained both in the online setting and, with some extra work, in the batch statistical setting with high probability. We also show that the improved dependence on predictor norm is near-optimal. Leveraging this improved dependency on the predictor norm yields the following applications: (a) we give algorithms for online bandit multiclass learning with the logistic loss with an $\tilde{O}(\sqrt{n})$ relative mistake bound across essentially all parameter ranges, thus providing a solution to the COLT 2009 open problem of Abernethy and Rakhlin (2009), and (b) we give an adaptive algorithm for online multiclass boosting with optimal sample complexity, thus partially resolving an open problem of Beygelzimer et al. (2015) and Jung et al. (2017). Finally, we give information-theoretic bounds on the optimal rates for improper logistic regression with general function classes, thereby characterizing the extent to which our improvement for linear classes extends to other parametric and even nonparametric settings.


title: Fusion of Correlated Decisions Using Regular Vine Copulas

abstract: In this paper, we propose a regular vine copula based methodology for the fusion of correlated decisions. Regular vine copula is an extremely flexible and powerful graphical model to characterize complex dependence among multiple modalities. It can express a multivariate copula by using a cascade of bivariate copulas, the so-called pair copulas. Assuming that local detectors are single threshold binary quantizers and taking complex dependence among sensor decisions into account, we design an optimal fusion rule using a regular vine copula under the Neyman-Pearson framework. In order to reduce the computational complexity resulting from the complex dependence, we propose an efficient and computationally light regular vine copula based optimal fusion algorithm. Numerical experiments are conducted to demonstrate the effectiveness of our approach.


title: Invariants and CP violation in the 2HDM

abstract: We discuss the importance of basis invariants in the general 2HDM and how these relates to masses and couplings. We also present a simple, yet powerful technique to translate parameters of the potential into combinations of masses and couplings of the theory and apply this to CP odd invariants.


title: A Convergence Analysis on URV Refinement

abstract: Recently, Stewart gave an algorithm for computing a rank revealing URV decomposition of a rectangular matrix. His method makes use of a refinement iteration to achieve an improved estimate of the smallest singular value and its corresponding singular vectors of the matrix. Here, a new proof is given for the convergence of the refinement iteration. This analysis is carried out under slightly weaker assumptions than those of Mathias and Stewart.


title: Stochastic bandits robust to adversarial corruptions

abstract: We introduce a new model of stochastic bandits with adversarial corruptions which aims to capture settings where most of the input follows a stochastic pattern but some fraction of it can be adversarially changed to trick the algorithm, e.g., click fraud, fake reviews and email spam. The goal of this model is to encourage the design of bandit algorithms that (i) work well in mixed adversarial and stochastic models, and (ii) whose performance deteriorates gracefully as we move from fully stochastic to fully adversarial models. In our model, the rewards for all arms are initially drawn from a distribution and are then altered by an adaptive adversary. We provide a simple algorithm whose performance gracefully degrades with the total corruption the adversary injected in the data, measured by the sum across rounds of the biggest alteration the adversary made in the data in that round; this total corruption is denoted by $C$. Our algorithm provides a guarantee that retains the optimal guarantee (up to a logarithmic term) if the input is stochastic and whose performance degrades linearly to the amount of corruption $C$, while crucially being agnostic to it. We also provide a lower bound showing that this linear degradation is necessary if the algorithm achieves optimal performance in the stochastic setting (the lower bound works even for a known amount of corruption, a special case in which our algorithm achieves optimal performance without the extra logarithm).


title: Learning-Based Quality Control for Cardiac MR Images

abstract: The effectiveness of a cardiovascular magnetic resonance (CMR) scan depends on the ability of the operator to correctly tune the acquisition parameters to the subject being scanned and on the potential occurrence of imaging artefacts such as cardiac and respiratory motion. In the clinical practice, a quality control step is performed by visual assessment of the acquired images: however, this procedure is strongly operator-dependent, cumbersome and sometimes incompatible with the time constraints in clinical settings and large-scale studies. We propose a fast, fully-automated, learning-based quality control pipeline for CMR images, specifically for short-axis image stacks. Our pipeline performs three important quality checks: 1) heart coverage estimation, 2) inter-slice motion detection, 3) image contrast estimation in the cardiac region. The pipeline uses a hybrid decision forest method - integrating both regression and structured classification models - to extract landmarks as well as probabilistic segmentation maps from both long- and short-axis images as a basis to perform the quality checks. The technique was tested on up to 3000 cases from the UK Biobank as well as on 100 cases from the UK Digital Heart Project, and validated against manual annotations and visual inspections performed by expert interpreters. The results show the capability of the proposed pipeline to correctly detect incomplete or corrupted scans (e.g. on UK Biobank, sensitivity and specificity respectively 88% and 99% for heart coverage estimation, 85% and 95% for motion detection), allowing their exclusion from the analysed dataset or the triggering of a new acquisition.


title: From quantum to classical dipole plasmon resonances in highly-doped nano-crystals

abstract: Dipole plasmon resonances are ubiquitous in nano-particles with delocalized charge carriers. Doped semi-conductor colloidal nano-crystals constitute a novel paradigm for plasmon excitations in a finite electron system and offer the possibility to tune the carrier density and thus the dipole resonance from visible to infra-red, which cannot be achieved with metallic clusters. Restricting ourselves to highly n-doped ZnO nano-crystals, we explain the observed smooth transition from small sizes dominated by quantum effects to large sizes where the resonance reaches its classical value. A schematic two interacting highly degenerate level quantum model, validated by a full Random Phase Approximation calculation, yields nicely the experimentally observed trends.


title: Neural Nets via Forward State Transformation and Backward Loss Transformation

abstract: This article studies (multilayer perceptron) neural networks with an emphasis on the transformations involved --- both forward and backward --- in order to develop a semantical/logical perspective that is in line with standard program semantics. The common two-pass neural network training algorithms make this viewpoint particularly fitting. In the forward direction, neural networks act as state transformers. In the reverse direction, however, neural networks change losses of outputs to losses of inputs, thereby acting like a (real-valued) predicate transformer. In this way, backpropagation is functorial by construction, as shown earlier in recent other work. We illustrate this perspective by training a simple instance of a neural network.


title: On the Local Minima of the Empirical Risk

abstract: Population risk is always of primary interest in machine learning; however, learning algorithms only have access to the empirical risk. Even for applications with nonconvex nonsmooth losses (such as modern deep networks), the population risk is generally significantly more well-behaved from an optimization point of view than the empirical risk. In particular, sampling can create many spurious local minima. We consider a general framework which aims to optimize a smooth nonconvex function $F$ (population risk) given only access to an approximation $f$ (empirical risk) that is pointwise close to $F$ (i.e., $\|F-f\|_{\infty} \le \nu$). Our objective is to find the $\epsilon$-approximate local minima of the underlying function $F$ while avoiding the shallow local minima---arising because of the tolerance $\nu$---which exist only in $f$. We propose a simple algorithm based on stochastic gradient descent (SGD) on a smoothed version of $f$ that is guaranteed to achieve our goal as long as $\nu \le O(\epsilon^{1.5}/d)$. We also provide an almost matching lower bound showing that our algorithm achieves optimal error tolerance $\nu$ among all algorithms making a polynomial number of queries of $f$. As a concrete example, we show that our results can be directly used to give sample complexities for learning a ReLU unit.


title: Radiative enhancement of single quantum emitters in WSe2 monolayers using site-controlled metallic nano-pillars

abstract: Plasmonic nano-structures provides an efficient way to control and enhance the radiative properties of quantum emitters. Coupling these structures to single defects in low-dimensional materials provides a particularly promising material platform to study emitter-plasmon interactions because these emitters are not embedded in a surrounding dielectric. They can therefore approach a near-field plasmonic mode to nanoscale distances, potentially enabling strong light-matter interactions. However, this coupling requires precise alignment of the emitters to the plasmonic mode of the structures, which is particularly difficult to achieve in a site-controlled structure. We present a technique to generate quantum emitters in 2D tungsten diselenide (WSe2) coupled to site-controlled plasmonic nano-pillars. The plasmonic nano-pillars induce strain in the two dimensional material which generates quantum emitters near the high-field region of the plasmonic mode. The electric field of the nano-pillar mode lies close to parallel with the two-dimensional material, and is therefore in the correct orientation to couple to quantum emitters. Interactions between the emitter and plasmonic mode result in an enhanced spontaneous emission and increased brightness. This approach may enable bright site-controlled non-classical light sources for applications in quantum communication and optical quantum computing.


title: A Face Recognition Signature Combining Patch-based Features with Soft Facial Attributes

abstract: This paper focuses on improving face recognition performance with a new signature combining implicit facial features with explicit soft facial attributes. This signature has two components: the existing patch-based features and the soft facial attributes. A deep convolutional neural network adapted from state-of-the-art networks is used to learn the soft facial attributes. Then, a signature matcher is introduced that merges the contributions of both patch-based features and the facial attributes. In this matcher, the matching scores computed from patch-based features and the facial attributes are combined to obtain a final matching score. The matcher is also extended so that different weights are assigned to different facial attributes. The proposed signature and matcher have been evaluated with the UR2D system on the UHDB31 and IJB-A datasets. The experimental results indicate that the proposed signature achieve better performance than using only patch-based features. The Rank-1 accuracy is improved significantly by 4% and 0.37% on the two datasets when compared with the UR2D system.


title: Stochastic Model of Breakdown Nucleation under Intense Electric Fields

abstract: Plastic response due to dislocation activity under intense electric fields is proposed as a source of breakdown. A model is formulated based on stochastic multiplication and arrest under the stress generated by the field. A critical transition in the dislocation population is suggested as the cause of protrusion formation leading to subsequent arcing. The model is studied using Monte Carlo simulations and theoretical analysis, yielding a simplified dependence of the breakdown rates on the electric field. These agree with experimental observations of field and temperature breakdown dependencies.


title: Low energy process $e^{+}e^{-} \rightarrow K^{+} K^{-}$ in the extended Nambu-Jona-Lasinio model

abstract: In the extended Nambu-Jona-Lasinio model, the process of production of charged kaon pair on colliding electron-positron beams in the energy interval 1 - 1.7 GeV is described. In studying of this process, we take into account the contact terms when the pairs $K^{+}$ $K^{-}$ are generated by an intermediate photon, and processes with intermediate vector mesons $\rho$, $\omega$ and $\phi$ in the ground and in the first radially excited states. The results obtained here are compared with experimental data recently received in Novosibirsk and in Stanford.


title: PI Consensus Error Transformation for Adaptive Cooperative Control of Nonlinear Multi-Agent Systems

abstract: A solution is provided in this note for the adaptive consensus problem of nonlinear multi-agent systems with unknown and non-identical control directions assuming a strongly connected underlying graph topology. This is achieved with the introduction of a novel variable transformation called PI consensus error transformation. %that allows for decoupled consensus control design of multi-agent systems. The new variables include the position error of each agent from some arbitrary fixed point along with an integral term of the weighted total displacement of the agent's position from all neighbor positions. It is proven that if these new variables are bounded and regulated to zero, then asymptotic consensus among all agents is ensured. The important feature of this transformation is that it provides input decoupling in the dynamics of the new error variables making the consensus control design a simple and direct task. Using classical Nussbaum gain based techniques, distributed controllers are designed to regulate the PI consensus error variables to zero and ultimately solve the agreement problem. The proposed approach also allows for a specific calculation of the final consensus point based on the controller parameter selection and the associated graph topology. Simulation results verify our theoretical derivations.


title: Opinion dynamics in two dimensions: domain coarsening leads to stable bi-polarization and anomalous scaling exponents

abstract: We study an opinion dynamics model that explores the competition between persuasion and compromise in a population of agents with nearest-neighbor interactions on a two-dimensional square lattice. Each agent can hold either a positive or a negative opinion orientation, and can have two levels of intensity --moderate and extremist. When two interacting agents have the same orientation become extremists with persuasion probability $p$, while if they have opposite orientations become moderate with compromise probability $q$. These updating rules lead to the formation of same-opinion domains with a coarsening dynamics that depends on the ratio $r=p/q$. The population initially evolves to a centralized state for small $r$, where domains are composed by moderate agents and coarsening is without surface tension, and to a bi-polarized state for large $r$, where domains are formed by extremist agents and coarsening is driven by curvature. Consensus in an extreme opinion is finally reached in a time that scales with the population size $N$ and $r$ as $\tau \simeq r^{-1} \ln N$ for small $r$ and as $\tau \sim r^2 N^{1.64}$ for large $r$. Bi-polarization could be quite stable when the system falls into a striped state where agents organize into single-opinion horizontal, vertical or diagonal bands. An analysis of the stripes dynamics towards consensus allows to obtain an approximate expression for $\tau$ which shows that the exponent $1.64$ is a result of the diffusion of the stripe interfaces combined with their roughness properties.


title: Extinction debt repayment via timely habitat restoration

abstract: Habitat destruction threatens the viability of many populations, but its full consequences can take considerable time to unfold. Much of the discourse surrounding extinction debts--the number of species that persist transiently following habitat loss, despite being headed for extinction--frames ultimate population crashes as the means of settling the debt. However, slow population decline also opens an opportunity to repay the debt by restoring habitat. The timing necessary for such habitat restoration to rescue a population from extinction has not been well studied. Here we determine habitat restoration deadlines for a spatially implicit Levins/Tilman population model modified by an Allee effect. We find that conditions that hinder detection of an extinction debt also provide forgiving restoration timeframes. Our results highlight the importance of transient dynamics in restoration and suggest the beginnings of an analytic theory to understand outcomes of temporary press perturbations in a broad class of ecological systems.


title: Finite Sample Complexity of Sequential Monte Carlo Estimators

abstract: We present bounds for the finite sample error of sequential Monte Carlo samplers on static spaces. Our approach explicitly relates the performance of the algorithm to properties of the chosen sequence of distributions and mixing properties of the associated Markov kernels. This allows us to give the first finite sample comparison to other Monte Carlo schemes. We obtain bounds for the complexity of sequential Monte Carlo approximations for a variety of target distributions including finite spaces, product measures, and log-concave distributions including Bayesian logistic regression. The bounds obtained are within a logarithmic factor of similar bounds obtainable for Markov chain Monte Carlo.


title: High temperature antiferromagnetism in Yb based heavy fermion systems proximate to a Kondo insulator

abstract: Given the parallelism between the physical properties of Ce and Yb based magnets and heavy fermions due to the electron-hole symmetry, it has been rather odd that the transition temperature of the Yb based compounds is normally very small, as low as $\sim$ 1 K or even lower, whereas Ce counterparts may often have the transition temperature well exceeding 10 K. Here, we report our experimental discovery of the transition temperature reaching 20 K for the first time in a Yb based compound at ambient pressure. The Mn substitution at the Al site in an intermediate valence state of $\alpha$-YbAlB$_{4}$ not only induces antiferromagnetic transition at a record high temperature of 20 K but also transforms the heavy fermion liquid state in $\alpha$-YbAlB$_{4}$ into a highly resistive metallic state proximate to a Kondo insulator.


title: Opposition diagrams for automorphisms of small spherical buildings

abstract: An automorphism $\theta$ of a spherical building $\Delta$ is called \textit{capped} if it satisfies the following property: if there exist both type $J_1$ and $J_2$ simplices of $\Delta$ mapped onto opposite simplices by $\theta$ then there exists a type $J_1\cup J_2$ simplex of $\Delta$ mapped onto an opposite simplex by $\theta$. In previous work we showed that if $\Delta$ is a thick irreducible spherical building of rank at least $3$ with no Fano plane residues then every automorphism of $\Delta$ is capped. In the present work we consider the spherical buildings with Fano plane residues (the \textit{small buildings}). We show that uncapped automorphisms exist in these buildings and develop an enhanced notion of "opposition diagrams" to capture the structure of these automorphisms. Moreover we provide applications to the theory of "domesticity" in spherical buildings, including the complete classification of domestic automorphisms of small buildings of types $\mathsf{F}_4$ and $\mathsf{E}_6$.


title: Variations on the $S_n$-module $Lie_n$

abstract: We define, for each subset $S$ of primes, an $S_n$-module $Lie_n^S$ with interesting properties. When $S=\emptyset,$ this is the well-known representation $Lie_n$ of $S_n$ afforded by the free Lie algebra. The most intriguing case is $S=\{2\},$ giving a decomposition of the regular representation as a sum of {exterior} powers of modules $Lie_n^{(2)}.$ This is in contrast to the theorems of Poincar\'e-Birkhoff-Witt and Thrall which decompose the regular representation into a sum of symmetrised $Lie$ modules. We show that nearly every known property of $Lie_n$ has a counterpart for the module $Lie_n^{(2)},$ suggesting connections to the cohomology of configuration spaces via the character formulas of Sundaram and Welker, to the Eulerian idempotents of Gerstenhaber and Schack, and to the Hodge decomposition of the complex of injective words arising from Hochschild homology, due to Hanlon and Hersh. For arbitrary $S,$ the symmetric and exterior powers of the module $Lie_n^S$ allow us to deduce Schur positivity for a new class of multiplicity-free sums of power sums.


title: Towards a Cybernetic Foundation for Natural Resource Governance

abstract: This study explores the potential of the cybernetic method of inquiry for the problem of natural resource governance. The systems way of thinking has already enabled scientists to gain considerable headway in framing global environmental challenges. On the other hand, technical solutions to environmental problems have begun to show significant promise, driven by the advent of technology and its increased proliferation in coupled human and natural systems. Such settings lie on the interface of engineering, social and environmental sciences, and as such, require a common language in order for natural resources to be studied, managed and ultimately sustained. In this dissertation, we argue that the systems theoretic tradition of cybernetics may provide the necessary common ground for examining such systems. After discussing the relevance of the cybernetic approach to natural resource governance, we present a mathematical model of resource consumption, grounded in social psychological research on consumer behavior. We also provide interpretations of the model at various levels of abstraction in the social network of the consuming population. We demonstrate the potential of the model by examining it in various theoretic frameworks which include dynamical systems, optimal control theory, game theory and the theory of learning in games. Each framework yields different policy guidelines to avoid Tragedy of the Commons like scenarios in the natural resource system.


title: Popular Matching in Roommates Setting is NP-hard

abstract: An input to the Popular Matching problem, in the roommates setting, consists of a graph $G$ and each vertex ranks its neighbors in strict order, known as its preference. In the Popular Matching problem the objective is to test whether there exists a matching $M^\star$ such that there is no matching $M$ where more people are happier with $M$ than with $M^\star$. In this paper we settle the computational complexity of the Popular Matching problem in the roommates setting by showing that the problem is NP-complete. Thus, we resolve an open question that has been repeatedly, explicitly asked over the last decade.


title: StaQC: A Systematically Mined Question-Code Dataset from Stack Overflow

abstract: Stack Overflow (SO) has been a great source of natural language questions and their code solutions (i.e., question-code pairs), which are critical for many tasks including code retrieval and annotation. In most existing research, question-code pairs were collected heuristically and tend to have low quality. In this paper, we investigate a new problem of systematically mining question-code pairs from Stack Overflow (in contrast to heuristically collecting them). It is formulated as predicting whether or not a code snippet is a standalone solution to a question. We propose a novel Bi-View Hierarchical Neural Network which can capture both the programming content and the textual context of a code snippet (i.e., two views) to make a prediction. On two manually annotated datasets in Python and SQL domain, our framework substantially outperforms heuristic methods with at least 15% higher F1 and accuracy. Furthermore, we present StaQC (Stack Overflow Question-Code pairs), the largest dataset to date of ~148K Python and ~120K SQL question-code pairs, automatically mined from SO using our framework. Under various case studies, we demonstrate that StaQC can greatly help develop data-hungry models for associating natural language with programming language.


title: Time-Dispersive Behaviour as a Feature of Critical Contrast Media

abstract: Motivated by the urgent need to attribute a rigorous mathematical meaning to the term "metamaterial", we propose a novel approach to the homogenisation of critical-contrast composites. This is based on the asymptotic analysis of the Dirichlet-to-Neumann map on the interface between different components ("stiff" and "soft") of the medium, which leads to an asymptotic approximation of eigenmodes. This allows us to see that the presence of the soft component makes the stiff one behave as a class of time-dispersive media. By an inversion of this argument, we also offer a recipe for the construction of such media with prescribed dispersive properties from periodic composites.


title: The continuous dependence for the Hal-MHD equations with fractional magnetic diffusion

abstract: In this paper we show that the solutions to the incompressible Hall-MHD system with fractional magnetic diffusion depend continuously on the initial data in $H^s(\mathbb{R}^d)$, $s>1+\frac{d}{2}$.


title: Generalized Hadamard-Product Fusion Operators for Visual Question Answering

abstract: We propose a generalized class of multimodal fusion operators for the task of visual question answering (VQA). We identify generalizations of existing multimodal fusion operators based on the Hadamard product, and show that specific non-trivial instantiations of this generalized fusion operator exhibit superior performance in terms of OpenEnded accuracy on the VQA task. In particular, we introduce Nonlinearity Ensembling, Feature Gating, and post-fusion neural network layers as fusion operator components, culminating in an absolute percentage point improvement of $1.1\%$ on the VQA 2.0 test-dev set over baseline fusion operators, which use the same features as input. We use our findings as evidence that our generalized class of fusion operators could lead to the discovery of even superior task-specific operators when used as a search space in an architecture search over fusion operators.


title: Correcting differences in multi-site neuroimaging data using Generative Adversarial Networks

abstract: Magnetic Resonance Imaging (MRI) of the brain has been used to investigate a wide range of neurological disorders, but data acquisition can be expensive, time-consuming, and inconvenient. Multi-site studies present a valuable opportunity to advance research by pooling data in order to increase sensitivity and statistical power. However images derived from MRI are susceptible to both obvious and non-obvious differences between sites which can introduce bias and subject variance, and so reduce statistical power. To rectify these differences, we propose a data driven approach using a deep learning architecture known as generative adversarial networks (GANs). GANs learn to estimate two distributions, and can then be used to transform examples from one distribution into the other distribution. Here we transform T1-weighted brain images collected from two different sites into MR images from the same site. We evaluate whether our model can reduce site-specific differences without loss of information related to gender (male, female) or clinical diagnosis (schizophrenia, bipolar disorder, healthy). When trained appropriately, our model is able to normalise imaging sets to a common scanner set with less information loss compared to current approaches. An important advantage is our method can be treated as a black box that does not require any knowledge of the sources of bias but only needs at least two distinct imaging sets.


title: Distinct stages of radio frequency emission at the onset of pedestal collapse in KSTAR H-mode plasmas

abstract: Using a high-speed and broadband radio frequency (RF) (0.1-1 GHz) spectrum analyzer developed on the KSTAR tokamak, it is found that several distinct stages of RF emission appear at the pedestal collapse in high confinement discharges. Comparison with 2-D electron cyclotron emission (ECE) images has revealed that each stage is related to the instantaneous condition at the outboard mid-plane edge. First, high-harmonic ion cyclotron emissions (ICE) are intensified with the appearance of a non-modal filamentary perturbation in the edge within several tens of microseconds before the collapse. Then, the RF emission becomes broad toward high-frequency range (< 500 MHz) at the burst onset of the non-modal filament. During the pedestal collapse initiated by the filament burst, rapid chirping (1-3 {\mu}s) appear with additional filament bursts. The strong correlation between the RF spectra and the perturbation structure provides important clues on the stability of edge-localized modes and on the ion dynamics in the plasma boundary.


title: Antineutrino Charged-Current reactions on Hydrocarbon with Low Momentum Transfer

abstract: We report on multinucleon effects in low momentum transfer ($< 0.8$ GeV/c) anti-neutrino interactions on plastic (CH) scintillator. These data are from the 2010-2011 antineutrino phase of the MINERvA experiment at Fermilab. The hadronic energy spectrum of this inclusive sample is well described when a screening effect at low energy transfer and a two-nucleon knockout process are added to a relativistic Fermi gas model of quasielastic, $\Delta$ resonance, and higher resonance processes. In this analysis, model elements introduced to describe previously published neutrino results have quantitatively similar benefits for this antineutrino sample. We present the results as a double-differential cross section to accelerate investigation of alternate models for antineutrino scattering off nuclei.


title: Algebraic theories and commutativity in a sheaf topos

abstract: For any site of definition $\mathcal C$ of a Grothendieck topos $\mathcal E$, we define a notion of a $\mathcal C$-ary Lawvere theory $\tau: \mathscr C \to \mathscr T$ whose category of models is a stack over $\mathcal E$. Our definitions coincide with Lawvere's finitary theories when $\mathcal C=\aleph_0$ and $\mathcal E = \operatorname{\mathbf {Set}}$. We construct a fibered category $\operatorname{\mathbf {Mod}}^{\mathscr T}$ of models as a stack over $\mathcal E$ and prove that it is $\mathcal E$-complete and $\mathcal E$-cocomplete. We show that there is a free-forget adjunction $F \dashv U: \operatorname{\mathbf {Mod}}^{\mathscr T} \rightleftarrows \mathscr E$. If $\tau$ is a commutative theory in a certain sense, then we obtain a ``locally monoidal closed'' structure on the category of models, which enhances the free-forget adjunction to an adjunction of symmetric monoidal $\mathcal E$-categories. Our results give a general recipe for constructing a monoidal $\mathcal E$-cosmos in which one can do enriched $\mathcal E$-category theory. As an application, we describe a convenient category of linear spaces generated by the theory of Lebesgue integration.


title: Multiview Hierarchical Agglomerative Clustering for Identification of Development Gap and Regional Potential Sector

abstract: The identification of regional development gaps is an effort to see how far the development conducted in every District in a Province. By seeing the gaps occurred, it is expected that the Policymakers are able to determine which region that will be prioritized for future development. Along with the regional gaps, the identification in Gross Regional Domestic Product (GRDP) sector is also an effort to identify the achievement in the development in certain fields seen from the potential GRDP owned by a District. There are two approaches that are often used to identify the regional development gaps and potential sector, Klassen Typology and Location Quotient (LQ), respectively. In fact, the results of the identification using these methods have not been able to show the proximity of the development gaps between a District to another yet in a same cluster. These methods only cluster the regions and GRDP sectors in a firm cluster based on their own parameter values. This research develops a new approach that combines the Klassen, LQ and hierarchical agglomerative clustering (HAC) into a new method named multi view hierarchical agglomerative clustering (MVHAC). The data of GRDP sectors of 23 Districts in West Java province were tested by using Klassen, LQ, HAC and MVHAC and were then compared. The results show that MVHAC is able to accommodate the ability of the three previous methods into a unity, even to clearly visualize the proximity of the development gaps between the regions and GRDP sectors owned. MVHAC clusters 23 districts into 3 main clusters, they are, Cluster 1 (Quadrant 1) consists of 5 Districts as the members, Cluster 2 (Quadrant 2) consists of 12 Districts and Cluster 3 (Quadrant 4) consists of 6 Districts.


title: A distribution function correction-based immersed boundary- lattice Boltzmann method with truly second-order accuracy for fluid-solid flows

abstract: The immersed boundary lattice Boltzmann method (IB-LBM) has been widely used in the simulation of fluid-solid interaction and particulate flow problems, since proposed in 2004. However, it is usually a non-trivial task to retain the flexibility and the accuracy simultaneously in the implementation of this approach. Based on the intrinsic nature of the LBM, we propose a simple and second-order accurate IB-LBM in this paper, where the no-slip boundary condition on the fluid-solid interface is directly imposed by iteratively correcting the distribution function near the boundary, markedly similar to the treatment of boundary condition in the original LBM. Therefore, there are no additional efforts needed to construct an interfacial force model (such as the spring, feedback and direct force models) and absorb this force into the framework of LBM. It is worth mentioning that we retain the discrete delta function for the connection between the Lagrangian and Eulerian meshes, thus preserving the flexibility of the conventional IB-LBM. Second-order accuracy of the present IB-LBM is reasonably confirmed in the simulation of cylindrical Couette flow, while the conventional approach is generally a first-order scheme. The present method is first validated in the flow past a fixed cylinder. No streamline penetration is found, indicating the exactly enforcement of the no-slip boundary condition. Furthermore, in the simulations of one and two particles settling under gravity, good agreements can be observed comparing with the data available in the literature.


title: Boundary of the horseshoe locus for the H\'enon family

abstract: The purpose of this article is to investigate geometric properties of the parameter locus of the H\'enon family where the uniform hyperbolicity of a horseshoe breaks down. As an application, we obtain a variational characterization of equilibrium measures "at temperature zero" for the corresponding non-uniformly hyperbolic H\'enon maps. The method of the proof also yields that the boundary of the hyperbolic horseshoe locus in the parameter space consists of two monotone pieces, which confirms a conjecture in [AI]. The proofs of these results are based on the machinery developed in [AI] which employs the complexification of both the dynamical and the parameter spaces of the H\'enon family together with computer assistance.


title: Ion backflow studies with a triple-GEM stack with increasing hole pitch

abstract: Gas Electron Multipliers have undergone a very consistent development since their invention in 1997. Their production procedures have been tuned in such a way that nowadays it is possible to produce foils with areas of the order of the square meter that can operate at a reasonable gain, uniform over large areas and with a good stability in what concerns electrical discharges. For the third run of LHC, they will be included in the CMS and ALICE experiments after significant upgrades of the detectors, confirming that these structures are suitable for very large experiments. In the special case of Time Projection Chambers, the ion backflow and the energy resolution are sensitive issues that must be addressed and the GEM has shown to be able to deal with both of them. In this work, a stack of three GEMs with different pitches has been studied as a possible future approach for ion-backflow suppression to be used in TPCs and other detection concepts. With this approach, an ion backflow of 1 % with an energy resolution of 12 % at 5.9 keV has been achieved with the detector operating in an Ar/CO2 (90/10) mixture at a gain of ~ 2000.


title: Online Second Order Methods for Non-Convex Stochastic Optimizations

abstract: This paper proposes a family of online second order methods for possibly non-convex stochastic optimizations based on the theory of preconditioned stochastic gradient descent (PSGD), which can be regarded as an enhance stochastic Newton method with the ability to handle gradient noise and non-convexity simultaneously. We have improved the implementations of the original PSGD in several ways, e.g., new forms of preconditioners, more accurate Hessian vector product calculations, and better numerical stability with vanishing or ill-conditioned Hessian, etc.. We also have unrevealed the relationship between feature normalization and PSGD with Kronecker product preconditioners, which explains the excellent performance of Kronecker product preconditioners in deep neural network learning. A software package (https://github.com/lixilinx/psgd_tf) implemented in Tensorflow is provided to compare variations of stochastic gradient descent (SGD) and PSGD with five different preconditioners on a wide range of benchmark problems with commonly used neural network architectures, e.g., convolutional and recurrent neural networks. Experimental results clearly demonstrate the advantages of PSGD in terms of generalization performance and convergence speed.


title: Tame topology of arithmetic quotients and algebraicity of Hodge loci

abstract: We prove that the uniformizing map of any arithmetic quotient, as well as the period map associated to any pure polarized $\mathbb{Z}$-variation of Hodge structure $\mathbb{V}$ on a smooth complex quasi-projective variety $S$, are topologically tame. As an easy corollary of these results and of Peterzil-Starchenko's o-minimal GAGA theorem we obtain that the Hodge locus of $(S, \mathbb{V})$ is a countable union of algebraic subvarieties of $S$ (a result originally due to Cattani-Deligne-Kaplan).


title: Quantifying the quantumness of ensembles via unitary similarity invariant norms

abstract: The quantification of the quantumness of a quantum ensemble has theoretical and practical significance in quantum information theory. We propose herein a class of measures of the quantumness of quantum ensembles using the unitary similarity invariant norms of the commutators of the constituent density operators of an ensemble. Rigorous proof shows that they share desirable properties for a measure of quantumness, such as positivity, unitary invariance, concavity under probabilistic union, convexity under state decomposition, decreasing under coarse graining, and increasing under fine graining. Several specific examples illustrate the applications of these measures of quantumness in studying quantum information.


title: A Systematic Comparison of Deep Learning Architectures in an Autonomous Vehicle

abstract: Self-driving technology is advancing rapidly --- albeit with significant challenges and limitations. This progress is largely due to recent developments in deep learning algorithms. To date, however, there has been no systematic comparison of how different deep learning architectures perform at such tasks, or an attempt to determine a correlation between classification performance and performance in an actual vehicle, a potentially critical factor in developing self-driving systems. Here, we introduce the first controlled comparison of multiple deep-learning architectures in an end-to-end autonomous driving task across multiple testing conditions. We compared performance, under identical driving conditions, across seven architectures including a fully-connected network, a simple 2 layer CNN, AlexNet, VGG-16, Inception-V3, ResNet, and an LSTM by assessing the number of laps each model was able to successfully complete without crashing while traversing an indoor racetrack. We compared performance across models when the conditions exactly matched those in training as well as when the local environment and track were configured differently and objects that were not included in the training dataset were placed on the track in various positions. In addition, we considered performance using several different data types for training and testing including single grayscale and color frames, and multiple grayscale frames stacked together in sequence. With the exception of a fully-connected network, all models performed reasonably well (around or above 80\%) and most very well (~95\%) on at least one input type but with considerable variation across models and inputs. Overall, AlexNet, operating on single color frames as input, achieved the best level of performance (100\% success rate in phase one and 55\% in phase two) while VGG-16 performed well most consistently across image types.


title: 3D Asymmetrical motions of the Galactic outer disk with LAMOST K giant stars

abstract: We present a three dimensional velocity analysis of Milky Way disk kinematics using LAMOST K giant stars and the GPS1 proper motion catalogue. We find that Galactic disk stars near the anticenter direction (in the range of Galactocentric distance between $R=8$ and $13$ kpc and vertical position between $Z=-2$ and $2$ kpc) exhibit asymmetrical motions in the Galactocentric radial, azimuthal, and vertical components. Radial motions are not zero, thus departing from circularity in the orbits; they increase outwards within $R\lesssim 12$ kpc, show some oscillation in the northern ($0 < Z < 2$ kpc) stars, and have north-south asymmetry in the region corresponding to a well-known nearby northern structure in the velocity field. There is a clear vertical gradient in azimuthal velocity, and also an asymmetry that shifts from a larger azimuthal velocity above the plane near the solar radius to faster rotation below the plane at radii of 11-12 kpc. Stars both above and below the plane at $R\gtrsim 9$ kpc exhibit net upward vertical motions. We discuss some possible mechanisms that might create the asymmetrical motions, such as external perturbations due to dwarf galaxy minor mergers or dark matter sub-halos, warp dynamics, internal processes due to spiral arms or the Galactic bar, and (most likely) a combination of some or all of these components.


title: Interference-assisted resonant detection of axions

abstract: Detection schemes for the quantum chromodynamics axions and other axion-like particles in light-shining-through-a-wall (LSW) experiments are based on the conversion of these particles into photons in a magnetic field. An alternative scheme may involve the detection via a resonant atomic or molecular transition induced by resonant axion absorption. The signal obtained in this process is second order in the axion-electron interaction constant but may become first order if we allow interference between the axion-induced transition amplitude and the transition amplitude induced by the electromagnetic radiation that produces the axions.


title: On graded $\mathbb{E}_{\infty}$-rings and projective schemes in spectral algebraic geometry

abstract: We introduce graded $\mathbb{E}_{\infty}$-rings and graded modules over them, and study their properties. We construct projective schemes associated to connective $\mathbb{N}$-graded $\mathbb{E}_{\infty}$-rings in spectral algebraic geometry. Under some finiteness conditions, we show that the $\infty$-category of almost perfect quasi-coherent sheaves over a spectral projective scheme $\mathrm{Proj}\,(A)$ associated to a connective $\mathbb{N}$-graded $\mathbb{E}_{\infty}$-ring $A$ can be described in terms of $\mathbb{Z}$-graded $A$-modules.


title: 21cm Limits on Decaying Dark Matter and Primordial Black Holes

abstract: Recently the Experiment to Detect the Global Epoch of Reionization Signature (EDGES) reported the detection of a 21cm absorption signal stronger than astrophysical expectations. In this paper we study the impact of radiation from dark matter (DM) decay and primordial black holes (PBH) on the 21cm radiation temperature in the reionization epoch, and impose a constraint on the decaying dark matter and PBH energy injection in the intergalactic medium, which can heat up neutral hydrogen gas and weaken the 21cm absorption signal. We consider decay channels DM$\rightarrow e^+e^-, \gamma\gamma$, $\mu^+\mu^-$, $b\bar{b}$ and the $10^{15-17}$g mass range for primordial black holes, and require the heating of the neutral hydrogen does not negate the 21cm absorption signal. For $e^+e^-$, $\gamma\gamma$ final states and PBH cases we find strong 21cm bounds that can be more stringent than the current extragalactic diffuse photon bounds. For the DM$\rightarrow e^+e^-$ channel, the lifetime bound is $\tau_{\rm DM}> 10^{27}$s for sub-GeV dark matter. The bound is $\tau_{\rm DM}\ge 10^{26}$s for sub-GeV DM$\rightarrow \gamma\gamma$ channel and reaches $10^{27}$s at MeV DM mass. For $b\bar{b}$ and $\mu^+\mu^-$ cases, the 21 cm constraint is better than all the existing constraints for $m_{\rm DM}<20$ GeV where the bound on $\tau_{\rm DM}\ge10^{26}$s. For both DM decay and primordial black hole cases, the 21cm bounds significantly improve over the CMB damping limits from Planck data.


title: Have we seen all glitches?

abstract: Neutron star glitches are observed via artificially scheduled pulsar pulse arrival-time observations. Detection probability density of glitch events for a given data set is essentially required knowledge for realizing glitch detectability with specified observing system and schedule. In Yu & Liu, the detection probability density was derived for the Yu et al. data set. In this proceeding, further discussions are presented.


title: On the square root of the inverse different

abstract: Let N/F be a finite, normal extension of number fields with Galois group G. Suppose that N/F is weakly ramified, and that the square root A(N/F) of the inverse different of N.F is defined. (This latter condition holds if, for example, G is of odd order.) B. Erez has conjectured that the class (A(N/F)) of A(N/F) in the locally free class group Cl(ZG) of ZG is equal to the Cassou-Nogues-Frohlich root number class W(N/F) attached to N/F. We establish a precise formula for (A(N/F)) - W(N/F) in terms of the signs of certain symplectic Galois-Gauss sums whenever N/F is tame and (A(N/F)) is defined. We thereby show that, in general, (A(N/F)) is not equal to W(N/F).


title: A note on $L^2$ boundary integrals of the Bergman kernel

abstract: For any bounded convex domain $\Omega$ with $C^{2}$ boundary in $\mathbb{C}^{n}$, we show that there exist positive constants $C_{1}$ and $C_{2}$ such that \[ C_{1}\sqrt{\dfrac{K\left(w,w\right)}{\delta\left(w\right)}}\leq\left\Vert K\left(\cdot,w\right)\right\Vert _{L^{2}\left(\partial\Omega\right)}\leq C_{2}\sqrt{\dfrac{K\left(w,w\right)}{\delta\left(w\right)}}, \] for any $w\in\Omega$. Here $K$ is the Bergman kernel of $\Omega$, and $\delta$ is the distance-to-boundary function.


title: A vertex reconstruction algorithm in the central detector of JUNO

abstract: The Jiangmen Underground Neutrino Observatory (JUNO) is designed to study neutrino mass hierarchy and measure three of the neutrino oscillation parameters with high precision using reactor antineutrinos. It is also able to study many other physical phenomena, including supernova neutrinos, solar neutrinos, geo-neutrinos, atmosphere neutrinos, and so forth. The central detector of JUNO contains 20,000~tons of liquid scintillator (LS) and about 18,000 20-inch photomultiplier tubes (PMTs), which is the largest liquid scintillator one under construction in the world up today. The energy resolution is expected to be 3\%/$\sqrt{E(MeV)}$. To meet the requirements of the experiment, an algorithm of vertex reconstruction, which takes into account time and charge information of PMTs, has been developed by deploying the maximum likelihood method and well understanding the complicated optical processes in the liquid scintillator.


title: From large-scale to protostellar disk fragmentation into close binary stars

abstract: Recent observations of young stellar systems with the Atacama Large Millimeter/submillimeter Array (ALMA) and the Karl G. Jansky Very Large Array (VLA) are helping to cement the idea that close companion stars form via fragmentation of a gravitationally unstable disk around a protostar early in the star formation process. As the disk grows in mass, it eventually becomes gravitationally unstable and fragments, forming one or more new protostars in orbit with the first at mean separations of 100 astronomical units (AU) or even less. Here we report direct numerical calculations down to scales as small as $\sim 0.1$ AU, using a consistent Smoothed Particle Hydrodynamics (SPH) code, that show the large-scale fragmentation of a cloud core into two protostars accompanied by small-scale fragmentation of their circumstellar disks. Our results demonstrate the two dominant mechanisms of star formation, where the disk forming around a protostar, which in turn results from the large-scale fragmentation of the cloud core, undergoes eccentric ($m=1$) fragmentation to produce a close binary. We generate two-dimensional emission maps and simulated ALMA 1.3 mm continuum images of the structure and fragmentation of the disks that can help explain the dynamical processes occurring within collapsing cloud cores.


title: Asymptotic Bessel-function expansions for Legendre and Jacobi functions

abstract: We present new asymptotic series for the Legendre and Jacobi functions of the first and second kinds in terms of Bessel functions with appropriate arguments. The results are useful in the context of scattering problems, improve on known limiting results, and allow the calculation of corrections to the leading Bessel-function approximations for these functions. Our derivations of these series are based on Barnes-type representations of the Legendre, Jacobi, and Bessel functions; our method appears to be new. We use the results, finally, to obtain asymptotic Bessel function expansions for the rotation functions needed to describe the scattering of particles with spin.


title: Optical radiation force (per-length) on an electrically conducting elliptical cylinder having a smooth or ribbed surface

abstract: The aim of this work is to develop a formal semi-analytical model using the modal expansion method in cylindrical coordinates to calculate the optical/electromagnetic (EM) radiation force-per-length experienced by an infinitely long electrically-conducting elliptical cylinder having a smooth or wavy/corrugated surface in EM plane progressive waves with different polarizations. One of the semi-axes of the elliptical cylinder coincides with the direction of the incident field. The modal matching method is used to determine the scattering coefficients by matrix inversion. Standard cylindrical (Bessel and Hankel) wave functions are used. Simplified expressions leading to exact series expansions for the optical/EM radiation forces assuming either electric (TM) of magnetic (TE) plane wave incidences are provided without any approximations, in addition to integral equations demonstrating the direct relationship of the radiation force with the square of the scattered field magnitude. Numerical computations for the non-dimensional radiation force function are performed for electrically conducting elliptic and circular cylinders having a smooth or ribbed/corrugated surface. Adequate convergence plots confirm the validity and correctness of the method to evaluate the radiation force with no limitation to a particular frequency range (i.e. Rayleigh, Mie or geometrical optics regimes). Emphases are given on the aspect ratio, the non-dimensional size of the cylinder, the corrugation characteristic of its surface, and the polarization of the incident field. The results are particularly relevant in optical tweezers and other related applications in fluid dynamics, where the shape and stability of a cylindrical drop stressed by a uniform external electric/magnetic field are altered. Furthermore, a direct analogy with the acoustical counterpart is discussed.


title: The impact of EDGES 21-cm data on dark matter interactions

abstract: The recently announced results on the 21-cm absorption spectrum by the EDGES experiment can place very stringent limits on dark matter annihilation cross-sections. We properly take into account the heating energy released from dark matter annihilation from the radiation epoch to the 21-cm observation redshifts in the radiative transfer to compute the evolution of the gas temperature. Our results show that the global 21-cm absorption profile is a powerful cosmological probe of the dark matter interactions. For dark matter annihilating into electron-positron pairs, the EDGES results give a more stringent upper limit than the PLANCK result on the annihilation cross section at the lower dark matter mass region.


title: New Green's functions for some nonlinear oscillating systems and related PDEs

abstract: During the past three decades, the advantageous concept of the Green's function has been extended from linear systems to nonlinear ones. At that, there exist a rigorous and an approximate extensions. The rigorous extension introduces the so-called backward and forward propagators, which play the same role for nonlinear systems as the Green's function plays for linear systems. The approximate extension involves the Green's formula for linear systems with a Green's function satisfying the corresponding nonlinear equation. For the numerical evaluation of nonlinear ordinary differential equations the second approach seems to be more convenient. In this article we study a hierarchy of nonlinear partial differential equations that can be approximated by the second approach. Green's functions for particular non-linearities are derived explicitly. Numerical error analysis in the case of exponential non-linearity for different source functions supports the advantage of the approach.


title: Bounds on the cardinality of restricted sumsets in $\mathbb{Z}_{p}$

abstract: In this paper we present a procedure which allows to transform a subset $A$ of $\mathbb{Z}_{p}$ into a set $ A'$ such that $ |2\hspace{0.15cm}\widehat{} A'|\leq|2\hspace{0.15cm}\widehat{} A | $, where $2\hspace{0.15cm}\widehat{} A$ is defined to be the set $\left\{a+b:a\neq b,\;a,b\in A\right\}$. From this result, we get some lower bounds for $ |2\hspace{0.15cm}\widehat{} A| $. Finally, we give some remarks related to the problem for which sets $A\subset \mathbb{Z}_{p}$ we have the equality $|2\hspace{0.15cm}\widehat{} A|=2|A|-1$.


title: HomeGuard: A Smart System to Deal with the Emergency Response of Domestic Violence Victims

abstract: Domestic violence is a silent crisis in the developing and underdeveloped countries, though developed countries also remain drowned in the curse of it. In developed countries, victims can easily report and ask help on the contrary in developing and underdeveloped countries victims hardly report the crimes and when it's noticed by the authority it's become too late to save or support the victim. If this kind of problems can be identified at the very beginning of the event and proper actions can be taken, it'll not only help the victim but also reduce the domestic violence crimes. This paper proposed a smart system which can extract victim's situation and provide help according to it. Among of the developing and underdeveloped countries Bangladesh has been chosen though the rate of reporting of domestic violence is low, the extreme report collected by authorities is too high. Case studies collected by different NGO's relating to domestic violence have been studied and applied to extract possible condition for the victims.


title: Aggression-annotated Corpus of Hindi-English Code-mixed Data

abstract: As the interaction over the web has increased, incidents of aggression and related events like trolling, cyberbullying, flaming, hate speech, etc. too have increased manifold across the globe. While most of these behaviour like bullying or hate speech have predated the Internet, the reach and extent of the Internet has given these an unprecedented power and influence to affect the lives of billions of people. So it is of utmost significance and importance that some preventive measures be taken to provide safeguard to the people using the web such that the web remains a viable medium of communication and connection, in general. In this paper, we discuss the development of an aggression tagset and an annotated corpus of Hindi-English code-mixed data from two of the most popular social networking and social media platforms in India, Twitter and Facebook. The corpus is annotated using a hierarchical tagset of 3 top-level tags and 10 level 2 tags. The final dataset contains approximately 18k tweets and 21k facebook comments and is being released for further research in the field.