title: Interstellar Hydrocarbons: Degradation Chemistry in Diffuse Clouds

abstract: Observations of diffuse clouds showed that they contain a number of simple hydrocarbons (e.g. CH, C$_2$H, (l- and c-)C$_3$H$_2$, and C$_4$H) in abundances that may be difficult to understand on the basis of conventional gas-phase chemical models. Recent experimental results revealed that the photo-decomposition mechanism of hydrogenated amorphous carbon (HAC) and of solid hexane releases a range of hydrocarbons into the gas, containing up to 6 C-atoms for the case of HAC decomposition. These findings motivated us to introduce a new potential input to interstellar chemistry; the "top-down" or degradation scheme, as opposed to the conventional "build-up" or synthesis scheme. In this work, we demonstrate the feasibility of the top-down approach in diffuse clouds using gas-grain chemical models. In order to examine this scheme, we derived an expression to account for the formation of hydrocarbons when HACs are photo-decomposed after their injection from grain mantles. Then, we calculated the actual formation rate of these species by knowing their injected fraction (from experimental work) and the average rate of mantle carbon injection into the ISM (from observations). Our preliminary results are promising and reveal that the degradation scheme can be considered as an efficient mechanism for the formation of some simple hydrocarbons in diffuse clouds. However, an actual proof of the efficiency of this process and its rate constants would require comprehensive experimental determination.


title: Luttinger's theorem in presence of Luttinger surfaces

abstract: Breakdown of Landau's hypothesis of adiabatic continuation from non-interacting to fully interacting electrons is commonly believed to bring about a violation of Luttinger's theorem. Here, we elucidate what may go wrong in the proof of Luttinger's theorem. The analysis provides a simple way to correct Luttinger's expression of the electron number in single-band models where perturbation theory breaks down through the birth of a Luttinger surface without symmetry breaking. In those cases, we find that the Fermi volume only accounts for the doping away from half-filling. In the hypothetical circumstance of a non-symmetry breaking Mott insulator with a Luttinger surface, our analysis predicts the noteworthy existence of quasiparticles whose `Fermi` surface is just the Luttinger one. Therefore, those quasiparticles can be legitimately regarded as `spinons`, and the Mott insulator with a Luttinger surface as realisation of a spin-liquid insulator.


title: Existence, uniqueness and exponential ergodicity under Lyapunov conditions for McKean-Vlasov SDEs with Markovian switching

abstract: The paper is dedicated to studying the problem of existence and uniqueness of solutions as well as existence of and exponential convergence to invariant measures for McKean-Vlasov stochastic differential equations with Markovian switching. Since the coefficients are only locally Lipschitz, we need to truncate them both in space and distribution variables simultaneously to get the global existence of solutions under the Lyapunov condition. Furthermore, if the Lyapunov condition is strengthened, we establish the exponential convergence of solutions' distributions to the unique invariant measure in Wasserstein quasi-distance and total variation distance, respectively. Finally, we give two applications to illustrate our theoretical results.


title: Counting Unreachable Single-Side Pawn Diagrams with Limitless Captures

abstract: Epiphainein counts unreachable single-side pawn diagrams (in chess) where pawns can move forward or diagonally-forward without limit whilst remaining on the board. Epiphainein is a serial calculation and takes a few seconds to calculate the number of unreachable diagrams on a regular 8 x 8 board. With a decent machine it should take roughly 4 hours to calculate the same on a 10 x 10 board.


title: Scalar curvature and deformations of complex structures

abstract: We study a system of equations on a compact complex manifold, that couples the scalar curvature of a Kaehler metric with a spectral function of a first-order deformation of the complex structure. The system comes from an infinite-dimensional Kaehler reduction, which is a hyperkaehler reduction for a particular choice of the spectral function. The system can be formally complexified using a flat connection on the space of first-order deformations that are compatible with a Kaehler metric. We describe a variational characterization of the equations, a Futaki invariant for the system, and a generalization of K-stability that is conjectured to characterize the existence of solutions to the system. We verify a particular case of this conjecture in the context of toric manifolds.


title: Derivation functors and Lusztig's induction functors

abstract: Lusztig proved the compatibility of induction functors and restriction functors for Lusztig's perverse sheaves. Fang-Lan-Xiao established a categorification of Green's formula and gave a sheaf-level proof of this compatibility for all semisimple complexes. As an application, we study the relation between induction functors and derivation functors, which is a kind of special restriction functors.


title: Strong Emergence Arising from Weak Emergence

abstract: Predictions of emergent phenomena, appearing on the macroscopic layer of a complex system, can fail if they are made by a microscopic model. This study demonstrates and analyses this claim on a well-known complex system, Conway's Game of Life. Straightforward macroscopic mean-field models are easily capable of predicting such emergent properties after they are fitted to simulation data in an after-the-fact way. Thus, these predictions are macro-to-macro only. However, a micro-to-macro model significantly fails to predict correctly, as does the obvious mesoscopic modeling approach. This suggests that some macroscopic system properties in a complex dynamic system should be interpreted as examples of phenomena (properties) arising from "strong emergence", due to the lack of ability to build a consistent micro-to-macro model, that could explain these phenomena in a before-the-fact way. The root cause for this inability to predict this in a micro-to-macro way is identified as the pattern formation process, a phenomenon that is usually classified as being of "weak emergence". Ultimately, this suggests that it may be in principle impossible to discriminate between such distinct categories of "weak" and "strong" emergence, as phenomena of both types can be part of the very same feedback loop that mainly governs the system's dynamics.


title: Continual Attentive Fusion for Incremental Learning in Semantic Segmentation

abstract: Over the past years, semantic segmentation, as many other tasks in computer vision, benefited from the progress in deep neural networks, resulting in significantly improved performance. However, deep architectures trained with gradient-based techniques suffer from catastrophic forgetting, which is the tendency to forget previously learned knowledge while learning new tasks. Aiming at devising strategies to counteract this effect, incremental learning approaches have gained popularity over the past years. However, the first incremental learning methods for semantic segmentation appeared only recently. While effective, these approaches do not account for a crucial aspect in pixel-level dense prediction problems, i.e. the role of attention mechanisms. To fill this gap, in this paper we introduce a novel attentive feature distillation approach to mitigate catastrophic forgetting while accounting for semantic spatial- and channel-level dependencies. Furthermore, we propose a {continual attentive fusion} structure, which takes advantage of the attention learned from the new and the old tasks while learning features for the new task. Finally, we also introduce a novel strategy to account for the background class in the distillation loss, thus preventing biased predictions. We demonstrate the effectiveness of our approach with an extensive evaluation on Pascal-VOC 2012 and ADE20K, setting a new state of the art.


title: TopoOpt: Co-optimizing Network Topology and Parallelization Strategy for Distributed Training Jobs

abstract: We propose TopoOpt, a novel direct-connect fabric for deep neural network (DNN) training workloads. TopoOpt co-optimizes the distributed training process across three dimensions: computation, communication, and network topology. We demonstrate the mutability of AllReduce traffic, and leverage this property to construct efficient network topologies for DNN training jobs. TopoOpt then uses an alternating optimization technique and a group theory-inspired algorithm called TotientPerms to find the best network topology and routing plan, together with a parallelization strategy. We build a fully functional 12-node direct-connect prototype with remote direct memory access (RDMA) forwarding at 100 Gbps. Large-scale simulations on real distributed training models show that, compared to similar-cost Fat-Tree interconnects, TopoOpt reduces DNN training time by up to 3.4x.


title: Ultralight bosonic dark matter in white dwarfs and potential observational consequences

abstract: Fluid and ultralight bosonic dark matter can interact through gravity to form stable fermion-boson stars, which are static and regular mixed solutions of the Einstein-Euler-(complex, massive) Klein-Gordon system. In this work we study the dynamical formation via gravitational cooling of a spherical mixed white-dwarf--boson star, whose properties depend on the boson particle mass and the mass of the boson star. Due to the accretion of bosonic dark matter, the white dwarf migrates to a denser and more compact object with a boson star core, thus modifying its gravitational redshift and altering the electromagnetic radiation emitted from the photosphere. We discuss the implications of the changes in the gravitational redshift that in principle could be produced by any type of dark matter and that might lead to small discrepancies in the estimation of masses and radii derived from white dwarf observations.


title: A Study on Convolution Neural Network for Reconstructing the Temperature Field of Wall-Bounded Flows

abstract: In the present study, the capabilities of a new Convolutional Neural Network (CNN) model are explored with the paramount objective of reconstructing the temperature field of wall-bounded flows based on a limited set of measurement points taken at the boundaries of the fluid domain. For that, we employ an algorithm that leverages the CNN capabilities provided with additional information about the governing equations of the physical problem. Great progress has been made in recent years towards reconstructing and characterizing the spatial distribution of physical variables of interest using CNNs. In principle, CNNs can represent any continuous mathematical function with a relatively reduced number of parameters. However, depending on the complexity imposed by the physical problem, this technique becomes unfeasible. The present study employs a Physics Informed Neuron Network technique featuring a data-efficient function approximator. As a proof of concept, the CNN is trained to retrieve the temperature of a heated channel based on a limited number of sensors placed at the boundaries of the domain. In this context, the training data are the temperature fields solutions considering various flows conditions at steady state, e.g varying the Reynolds and the Prandtl numbers. Additionally, a demonstration case considering the more complex geometry of a MSR is also provided. Assessment on the performance of the CNN is done by the mean L2 and the maximum Linf Euclidean norms stemmed from the difference between the actual solutions and the predictions made by the CNN. Finally, a sensitivity analysis is carried out such that the robustness of the CNN is tested considering a potential real application scenario where noise is inevitable. For that, the original test inputs are overlaid with a normal distribution of random numbers targeting to mimic different levels of noise in the measurement points.


title: ROCK: Causal Inference Principles for Reasoning about Commonsense Causality

abstract: Commonsense causality reasoning (CCR) aims at identifying plausible causes and effects in natural language descriptions that are deemed reasonable by an average person. Although being of great academic and practical interest, this problem is still shadowed by the lack of a well-posed theoretical framework; existing work usually relies on deep language models wholeheartedly, and is potentially susceptible to confounding co-occurrences. Motivated by classical causal principles, we articulate the central question of CCR and draw parallels between human subjects in observational studies and natural languages to adopt CCR to the potential-outcomes framework, which is the first such attempt for commonsense tasks. We propose a novel framework, ROCK, to Reason O(A)bout Commonsense K(C)ausality, which utilizes temporal signals as incidental supervision, and balances confounding effects using temporal propensities that are analogous to propensity scores. The ROCK implementation is modular and zero-shot, and demonstrates good CCR capabilities.


title: Combinatorial properties of lazy expansions in Cantor real bases

abstract: The lazy algorithm for a real base $\beta$ is generalized to the setting of Cantor bases $\boldsymbol{\beta}=(\beta_n)_{n\in \mathbb{N}}$ introduced recently by Charlier and the author. To do so, let $x_{\boldsymbol{\beta}}$ be the greatest real number that has a $\boldsymbol{\beta}$-representation $a_0a_1a_2\cdots$ such that each letter $a_n$ belongs to $\{0,\ldots,\lceil \beta_n \rceil -1\}$. This paper is concerned with the combinatorial properties of the lazy $\boldsymbol{\beta}$-expansions, which are defined when $x_{\boldsymbol{\beta}}<+\infty$. As an illustration, Cantor bases following the Thue-Morse sequence are studied and a formula giving their corresponding value of $x_{\boldsymbol{\beta}}$ is proved. First, it is shown that the lazy $\boldsymbol{\beta}$-expansions are obtained by "flipping" the digits of the greedy $\boldsymbol{\beta}$-expansions. Next, a Parry-like criterion characterizing the sequences of non-negative integers that are the lazy $\boldsymbol{\beta}$-expansions of some real number in $(x_{\boldsymbol{\beta}}-1,x_{\boldsymbol{\beta}}]$ is proved. Moreover, the lazy $\boldsymbol{\beta}$-shift is studied and in the particular case of alternate bases, that is the periodic Cantor bases, an analogue of Bertrand-Mathis' theorem in the lazy framework is proved: the lazy $\boldsymbol{\beta}$-shift is sofic if and only if all quasi-lazy $\boldsymbol{\beta}^{(i)}$-expansions of $x_{\boldsymbol{\beta}^{(i)}}-1$ are ultimately periodic, where $\boldsymbol{\beta}^{(i)}$ is the $i$-th shift of the alternate base $\boldsymbol{\beta}$.


title: Are Low-Frequency Quasi-Periodic Oscillations seen in accretion flows the disk response to a jet instability?

abstract: Low Frequency Quasi-Periodic Oscillations or LF QPOs are ubiquitous in BH X-ray binaries and provide strong constraints on the accretion-ejection processes. Although several models have been proposed so far, none has been proven to reproduce all observational constraints and no consensus has emerged yet. We make the conjecture that disks are threaded by a large scale vertical magnetic field that splits it into two radial zones. In the inner Jet Emitting Disk (JED), a near equipartition field allows to drive powerful self-collimated jets, while beyond a transition radius, the disk magnetization is too low and a Standard Accretion Disk (SAD) is settled. In a series of papers, this hybrid JED-SAD disk configuration has been shown to successfully reproduce most multi-wavelength (radio and X-rays) observations, as well as the concurrence with the LFQPOs for the archetypal source GX 339-4. We first analyze the main QPO scenarios provided in the literature: 1) a specific process occurring at the transition radius, 2) the accretion-ejection instability and 3) the solid-body Lense-Thirring disk precession. We recall their main assumptions and shed light on some severe theoretical issues that question the capability to reproduce LF QPOs. We then argue that none of these models could be operating under the JED-SAD physical conditions. We finally propose an alternative scenario where LF QPOs would be the disk response to an instability triggered in the jets, near a magnetic recollimation zone. Such a situation could account for most Type-C QPO phenomenology and is consistent with the global behavior of black hole binaries. The calculation of this non-destructive jet instability remains however to be done. If the existence of this instability is numerically confirmed, then it could also naturally account for the jet wobbling phenomenology seen in various accreting sources.


title: The effects of microscopic scattering on terahertz third harmonic generation in monolayer graphene

abstract: Due to its linear dispersion, monolayer graphene is expected to generate a third harmonic response at terahertz frequencies. There have been a variety of different models of this effect and recently it has been experimentally observed. However, there is still considerable uncertainty as to the role of scattering on harmonic generation in graphene. In this work, we model third-harmonic generation in doped monolayer graphene at THz frequencies by employing a nearest-neighbour tight-binding model in the length gauge. We include optical phonon and neutral impurity scattering at the microscopic level, and examine the effects of scattering on the third harmonic response. We also compare the results of a phenomenological semiclassical theory, using a field-dependent scattering time extracted from the simulation, and find a significantly lower third harmonic field than that found from the microscopic model. This demonstrates that third-harmonic generation is much more sensitive to the nature of the scattering than is the linear response. We also compare the results of our full simulation to recent experimental results and find qualitative agreement.


title: Trading causal order for locality

abstract: Quantum theory admits ensembles of quantum nonlocality without entanglement (QNLWE). These ensembles consist of seemingly classical states (they are perfectly distinguishable and non-entangled) that cannot be perfectly discriminated with local operations and classical communication (LOCC). Here, we analyze QNLWE from a causal perspective, and show how to perfectly discriminate some of these ensembles using local operations and classical communication without definite causal order. Specifically, three parties with access to an instance of indefinite causal order-the AF/BW process-can perfectly discriminate the states in a QNLWE ensemble--the SHIFT ensemble--with local operations. Hence, this type of quantum nonlocality disappears at the expense of definite causal order while retaining classical communication. Our results thereby leverage the fact that LOCC is a conjunction of three constraints: local operations, classical communication, and definite causal order. Moreover, we show how multipartite generalizations of the AF/BW process are transformed into multiqubit ensembles that exhibit QNLWE. Such ensembles are of independent interest for cryptographic protocols and for the study of separable quantum operations unachievable with LOCC.


title: Few-Bit Backward: Quantized Gradients of Activation Functions for Memory Footprint Reduction

abstract: Memory footprint is one of the main limiting factors for large neural network training. In backpropagation, one needs to store the input to each operation in the computational graph. Every modern neural network model has quite a few pointwise nonlinearities in its architecture, and such operation induces additional memory costs which -- as we show -- can be significantly reduced by quantization of the gradients. We propose a systematic approach to compute optimal quantization of the retained gradients of the pointwise nonlinear functions with only a few bits per each element. We show that such approximation can be achieved by computing optimal piecewise-constant approximation of the derivative of the activation function, which can be done by dynamic programming. The drop-in replacements are implemented for all popular nonlinearities and can be used in any existing pipeline. We confirm the memory reduction and the same convergence on several open benchmarks.


title: Contact invariants of Q-Gorenstein toric contact manifolds, the Ehrhart polynomial and Chen-Ruan cohomology

abstract: Q-Gorenstein toric contact manifolds provide an interesting class of examples of contact manifolds with torsion first Chern class. They are completely determined by certain rational convex polytopes, called toric diagrams, and arise both as links of toric isolated singularities and as prequantizations of monotone toric symplectic orbifolds. In this paper we show how the cylindrical contact homology invariants of a Q-Gorenstein toric contact manifold are related to (i) the Ehrhart (quasi-)polynomial of its toric diagram; (ii) the Chen-Ruan cohomology of any crepant toric orbifold resolution of its corresponding toric isolated singularity; (iii) the Chen-Ruan cohomology of any monotone toric symplectic orbifold base that gives rise to it through prequantization.


title: The Text Anonymization Benchmark (TAB): A Dedicated Corpus and Evaluation Framework for Text Anonymization

abstract: We present a novel benchmark and associated evaluation metrics for assessing the performance of text anonymization methods. Text anonymization, defined as the task of editing a text document to prevent the disclosure of personal information, currently suffers from a shortage of privacy-oriented annotated text resources, making it difficult to properly evaluate the level of privacy protection offered by various anonymization methods. This paper presents TAB (Text Anonymization Benchmark), a new, open-source annotated corpus developed to address this shortage. The corpus comprises 1,268 English-language court cases from the European Court of Human Rights (ECHR) enriched with comprehensive annotations about the personal information appearing in each document, including their semantic category, identifier type, confidential attributes, and co-reference relations. Compared to previous work, the TAB corpus is designed to go beyond traditional de-identification (which is limited to the detection of predefined semantic categories), and explicitly marks which text spans ought to be masked in order to conceal the identity of the person to be protected. Along with presenting the corpus and its annotation layers, we also propose a set of evaluation metrics that are specifically tailored towards measuring the performance of text anonymization, both in terms of privacy protection and utility preservation. We illustrate the use of the benchmark and the proposed metrics by assessing the empirical performance of several baseline text anonymization models. The full corpus along with its privacy-oriented annotation guidelines, evaluation scripts and baseline models are available on: https://github.com/NorskRegnesentral/text-anonymisation-benchmark


title: Characterization of the alldifferent kernel by Hall partitions and a calculation method

abstract: We consider a set-valued mapping between two finite sets and define the alldifferent kernel which describes the submapping of alldifferent selections. This submapping is characterized by Hall partitions which are introduced in this paper. The existence of a Hall partition is equivalent to the Hall condition. The unicity of Hall partitions is proved and the unicity of an alldifferent selection is characterized. A calculation method for the determination of the Hall partition and the alldifferent kernel is presented.


title: On an integral version of the Rasmussen invariant

abstract: We define a Rasmussen $s$-invariant over the coefficient ring of the integers, and show how it is related to the $s$-invariants defined over a field. A lower bound for the slice genus of a knot arising from it is obtained, and we give examples of knots for which this lower bound is better than all lower bounds coming from the $s$-invariants over fields. We also compare it to the Lipshitz-Sarkar refinement related to the first Steenrod square.


title: Multi-Order Networks for Action Unit Detection

abstract: Action Units (AU) are muscular activations used to describe facial expressions. Therefore accurate AU recognition unlocks unbiaised face representation which can improve face-based affective computing applications. From a learning standpoint AU detection is a multi-task problem with strong inter-task dependencies. To solve such problem, most approaches either rely on weight sharing, or add explicit dependency modelling by decomposing the joint task distribution using Bayes chain rule. If the latter strategy yields comprehensive inter-task relationships modelling, it requires imposing an arbitrary order into an unordered task set. Crucially, this ordering choice has been identified as a source of performance variations. In this paper, we present Multi-Order Network (MONET), a multi-task method with joint task order optimization. MONET uses a differentiable order selection to jointly learn task-wise modules with their optimal chaining order. Furthermore, we introduce warmup and order dropout to enhance order selection by encouraging order exploration. Experimentally, we first demonstrate MONET capacity to retrieve the optimal order in a toy environment. Second, we validate MONET architecture by showing that MONET outperforms existing multi-task baselines on multiple attribute detection problems chosen for their wide range of dependency settings. More importantly, we demonstrate that MONET significantly extends state-of-the-art performance in AU detection.


title: Solar supergranular fractal dimension dependence on the Solar cycle phase

abstract: We study the complexity of the supergranular network through fractal dimension by using Ca II K digitized data archive obtained from Kodaikanal solar observatory. The data consists of 326 visually selected supergranular cells spread across the 23rd solar cycle. Only cells that were well-defined were chosen for the analysis and we discuss the potential selection effect thereof, mainly that it favors cells of a smaller size (< 20 Mm). Within this sample, we analyzed the fractal dimension of supergranules across the Solar cycle and find that it is anticorrelated with the activity level.


title: Sim2Real Object-Centric Keypoint Detection and Description

abstract: Keypoint detection and description play a central role in computer vision. Most existing methods are in the form of scene-level prediction, without returning the object classes of different keypoints. In this paper, we propose the object-centric formulation, which, beyond the conventional setting, requires further identifying which object each interest point belongs to. With such fine-grained information, our framework enables more downstream potentials, such as object-level matching and pose estimation in a clustered environment. To get around the difficulty of label collection in the real world, we develop a sim2real contrastive learning mechanism that can generalize the model trained in simulation to real-world applications. The novelties of our training method are three-fold: (i) we integrate the uncertainty into the learning framework to improve feature description of hard cases, e.g., less-textured or symmetric patches; (ii) we decouple the object descriptor into two output branches -- intra-object salience and inter-object distinctness, resulting in a better pixel-wise description; (iii) we enforce cross-view semantic consistency for enhanced robustness in representation learning. Comprehensive experiments on image matching and 6D pose estimation verify the encouraging generalization ability of our method from simulation to reality. Particularly for 6D pose estimation, our method significantly outperforms typical unsupervised/sim2real methods, achieving a closer gap with the fully supervised counterpart. Additional results and videos can be found at https://zhongcl-thu.github.io/rock/


title: A Consistent and Efficient Evaluation Strategy for Attribution Methods

abstract: With a variety of local feature attribution methods being proposed in recent years, follow-up work suggested several evaluation strategies. To assess the attribution quality across different attribution techniques, the most popular among these evaluation strategies in the image domain use pixel perturbations. However, recent advances discovered that different evaluation strategies produce conflicting rankings of attribution methods and can be prohibitively expensive to compute. In this work, we present an information-theoretic analysis of evaluation strategies based on pixel perturbations. Our findings reveal that the results are strongly affected by information leakage through the shape of the removed pixels as opposed to their actual values. Using our theoretical insights, we propose a novel evaluation framework termed Remove and Debias (ROAD) which offers two contributions: First, it mitigates the impact of the confounders, which entails higher consistency among evaluation strategies. Second, ROAD does not require the computationally expensive retraining step and saves up to 99% in computational costs compared to the state-of-the-art. We release our source code at https://github.com/tleemann/road_evaluation.


title: Approximation of Images via Generalized Higher Order Singular Value Decomposition over Finite-dimensional Commutative Semisimple Algebra

abstract: Low-rank approximation of images via singular value decomposition is well-received in the era of big data. However, singular value decomposition (SVD) is only for order-two data, i.e., matrices. It is necessary to flatten a higher order input into a matrix or break it into a series of order-two slices to tackle higher order data such as multispectral images and videos with the SVD. Higher order singular value decomposition (HOSVD) extends the SVD and can approximate higher order data using sums of a few rank-one components. We consider the problem of generalizing HOSVD over a finite dimensional commutative algebra. This algebra, referred to as a t-algebra, generalizes the field of complex numbers. The elements of the algebra, called t-scalars, are fix-sized arrays of complex numbers. One can generalize matrices and tensors over t-scalars and then extend many canonical matrix and tensor algorithms, including HOSVD, to obtain higher-performance versions. The generalization of HOSVD is called THOSVD. Its performance of approximating multi-way data can be further improved by an alternating algorithm. THOSVD also unifies a wide range of principal component analysis algorithms. To exploit the potential of generalized algorithms using t-scalars for approximating images, we use a pixel neighborhood strategy to convert each pixel to "deeper-order" t-scalar. Experiments on publicly available images show that the generalized algorithm over t-scalars, namely THOSVD, compares favorably with its canonical counterparts.

categories: cs.LG cs.IT math.AC math.IT math.RT math.SP


title: GENEOnet: A new machine learning paradigm based on Group Equivariant Non-Expansive Operators. An application to protein pocket detection

abstract: Nowadays there is a big spotlight cast on the development of techniques of explainable machine learning. Here we introduce a new computational paradigm based on Group Equivariant Non-Expansive Operators, that can be regarded as the product of a rising mathematical theory of information-processing observers. This approach, that can be adjusted to different situations, may have many advantages over other common tools, like Neural Networks, such as: knowledge injection and information engineering, selection of relevant features, small number of parameters and higher transparency. We chose to test our method, called GENEOnet, on a key problem in drug design: detecting pockets on the surface of proteins that can host ligands. Experimental results confirmed that our method works well even with a quite small training set, providing thus a great computational advantage, while the final comparison with other state-of-the-art methods shows that GENEOnet provides better or comparable results in terms of accuracy.


title: Sparse Signal Reconstruction with QUBO Formulation in l0-regularized Linear Regression

abstract: An l0-regularized linear regression for a sparse signal reconstruction is implemented based on the quadratic unconstrained binary optimization (QUBO) formulation. In this method, the signal values are quantized and expressed as bit sequences. By transforming l0-norm to a quadratic form of these bits, the fully quadratic objective function is provided and optimized by the solver specialized for QUBO, such as the quantum annealer. Numerical experiments with a commercial quantum annealer show that the proposed method performs slightly better than conventional methods based on orthogonal matching pursuit (OMP) and the least absolute shrinkage and selection operator (LASSO) under several limited conditions.


title: Changes in co-publication patterns among China, the European Union (28) and the United States of America, 2016-2021

abstract: The COVID-19 global pandemic starting in January 2020 disrupted international collaborations in scholarly exchange, reducing mobility and connections across the globe. An examination of Web of Science-indexed publications from China, the European Union-28 and the United States of America shows a drop in publications numbers coming from the EU-28 and the United States in 2021. Importantly, cooperation between China and the United States drops without a corresponding drop between China and the EU-28. Moreover, the drop in China-USA cooperation can be seen beginning in 2019, before the pandemic, at a time when political tensions around science, technology, and innovation arose, with the United States claiming that China was violating intellectual property norms. The patterns suggest that political tensions, more than the pandemic, influenced the drop in China-USA cooperation.


title: TableQuery: Querying tabular data with natural language

abstract: This paper presents TableQuery, a novel tool for querying tabular data using deep learning models pre-trained to answer questions on free text. Existing deep learning methods for question answering on tabular data have various limitations, such as having to feed the entire table as input into a neural network model, making them unsuitable for most real-world applications. Since real-world data might contain millions of rows, it may not entirely fit into the memory. Moreover, data could be stored in live databases, which are updated in real-time, and it is impractical to serialize an entire database to a neural network-friendly format each time it is updated. In TableQuery, we use deep learning models pre-trained for question answering on free text to convert natural language queries to structured queries, which can be run against a database or a spreadsheet. This method eliminates the need for fitting the entire data into memory as well as serializing databases. Furthermore, deep learning models pre-trained for question answering on free text are readily available on platforms such as HuggingFace Model Hub (7). TableQuery does not require re-training; when a newly trained model for question answering with better performance is available, it can replace the existing model in TableQuery.


title: HCSC: Hierarchical Contrastive Selective Coding

abstract: Hierarchical semantic structures naturally exist in an image dataset, in which several semantically relevant image clusters can be further integrated into a larger cluster with coarser-grained semantics. Capturing such structures with image representations can greatly benefit the semantic understanding on various downstream tasks. Existing contrastive representation learning methods lack such an important model capability. In addition, the negative pairs used in these methods are not guaranteed to be semantically distinct, which could further hamper the structural correctness of learned image representations. To tackle these limitations, we propose a novel contrastive learning framework called Hierarchical Contrastive Selective Coding (HCSC). In this framework, a set of hierarchical prototypes are constructed and also dynamically updated to represent the hierarchical semantic structures underlying the data in the latent space. To make image representations better fit such semantic structures, we employ and further improve conventional instance-wise and prototypical contrastive learning via an elaborate pair selection scheme. This scheme seeks to select more diverse positive pairs with similar semantics and more precise negative pairs with truly distinct semantics. On extensive downstream tasks, we verify the superior performance of HCSC over state-of-the-art contrastive methods, and the effectiveness of major model components is proved by plentiful analytical studies. We build a comprehensive model zoo in Sec. D. Our source code and model weights are available at https://github.com/gyfastas/HCSC


title: On the Links Between Thermobaricity, Available Potential Energy, Neutral Directions, Buoyancy Forces, and Lateral Stirring in the Ocean

abstract: The various ingredients of Lorenz theory of available potential energy (APE) are shown to hold the key for understanding how to develop a first-principles theory of lateral stirring and lateral stirring surfaces in the oceans embedded in the study of the full Navier-Stokes equations for compressible seawater. This theory establishes that it is the existence of thermobaric forces acting along isopycnal surfaces that makes stirring in seawater fundamentally different from that in a simple fluid and is the ultimate cause for the non-existence of neutral surfaces. It also establishes that the `true' neutral directions are those perpendicular to an APE-based form of the P vector previously identified by Nycander, contrary to what has been assumed so far. Where thermobaric forces are small enough to be neglected, our theory establishes that the Lorenz reference density (LRD) surfaces entering APE theory are very accurately neutral and represent the relevant definition of lateral stirring surfaces. Where thermobaric forces are large, however, lateral stirring becomes strongly coupled with vertical stirring and complicates the identification of the `right' lateral mixing surfaces. Importantly, rewriting the momentum balance equations in their thermodynamic form using Crocco-Vazsonyi theorem and removing the dynamically inert part of the Bernoulli function proves decisive for obtaining most results. The new results have important implications for the theory of isopycnal analysis and ocean mixing parameterisations.


title: An Improvement of the Resolvent Estimate in the Kreiss Matrix Theorem

abstract: We improve the resolvent estimate in the Kreiss matrix theorem for a set of matrices that generate uniformly bounded semigroups. The new resolvent estimate is proved to be equivalent to Kreiss's resolvent condition, and it better describes the behavior of the resolvents at infinity.


title: Machine learning to assess relatedness: the advantage of using firm-level data

abstract: The relatedness between a country or a firm and a product is a measure of the feasibility of that economic activity. As such, it is a driver for investments at a private and institutional level. Traditionally, relatedness is measured using networks derived by country-level co-occurrences of product pairs, that is counting how many countries export both. In this work, we compare networks and machine learning algorithms trained not only on country-level data, but also on firms, that is something not much studied due to the low availability of firm-level data. We quantitatively compare the different measures of relatedness, by using them to forecast the exports at the country and firm-level, assuming that more related products have a higher likelihood to be exported in the future. Our results show that relatedness is scale-dependent: the best assessments are obtained by using machine learning on the same typology of data one wants to predict. Moreover, we found that while relatedness measures based on country data are not suitable for firms, firm-level data are very informative also for the development of countries. In this sense, models built on firm data provide a better assessment of relatedness. We also discuss the effect of using parameter optimization and community detection algorithms to identify clusters of related companies and products, finding that a partition into a higher number of blocks decreases the computational time while maintaining a prediction performance well above the network-based benchmarks.


title: Partial Directed Coherence and the Vector Autoregressive Modelling Myth and a Caveat

abstract: Here we dispel the lingering myth that Partial Directed Coherence is a Vector Autoregressive (VAR) Modelling dependent concept. In fact, our examples show that it is spectral factorization that lies at its heart, for which VAR modelling is a mere, albeit very efficient and convenient, device. This applies to Granger Causality estimation procedures in general and also includes instantaneous Granger effects. Care, however, must be exercised for connectivity between multivariate data generated through nonminimum phase mechanisms as it may possibly be incorrectly captured.


title: Proximity-Induced Superconductivity in Atomically Precise Nanographene

abstract: Obtaining a robust superconducting state in atomically precise nanographene (NG) structures by proximity to a superconductor could foster the discovery of topological superconductivity in graphene. On-surface synthesis of such NGs has been achieved on noble metals or metal oxides, however, it is still absent on superconductors. Here, we present a synthetic method to induce superconductivity to polymeric chains and NGs adsorbed on the superconducting Nb(110) substrate covered by thin Ag films. Using atomic force microscopy at low-temperature, we characterize the chemical structure of each sub-product formed on the superconducting Ag layer. Scanning tunneling spectroscopy further allows us to elucidate electronic properties of these nanostructures, which consistently show a superconducting gap. We foresee our approach to become a promising platform for exploring the interplay between carbon magnetism and superconductivity at the fundamental level.


title: Generalization of some weighted zero-sum theorems and related Extremal sequence

abstract: Let $G$ be a finite abelian group of exponent $n$ and let $A$ be a non-empty subset of $[1,n-1]$. The Davenport constant of $G$ with weight $A$, denoted by $D_A(G)$, is defined to be the least positive integer $\ell$ such that any sequence over $G$ of length $\ell$ has a non-empty $A$-weighted zero-sum subsequence. Similarly, the combinatorial invariant $E_{A}(G)$ is defined to be the least positive integer $\ell$ such that any sequence over $G$ of length $\ell$ has an $A$-weighted zero-sum subsequence of length $|G|$. In this article, we determine the exact value of $D_A(\mathbb{Z}_n)$, for some particular values of $n$, where $A$ is the set of all cubes in $\mathbb{Z}_n^*$. We also determine the structure of the related extremal sequence in this case.


title: Emergence of long-range correlations and thermal spectra in forced turbulence

abstract: Recent numerical studies have shown that forced, statistically isotropic turbulence develops a `thermal equilibrium' spectrum, $\mathcal{E}(k) \propto k^2$, at large scales. This behaviour presents a puzzle, as it appears to imply the growth of a non-zero Saffman integral, which would require the longitudinal velocity correlation function, $\chi(r)$, to satisfy $\chi(r\to \infty)\propto r^{-3}$. As is well known, the Saffman integral is an invariant of decaying turbulence, precisely because non-local interactions (i.e., interactions via exchange of pressure waves) are too weak to generate such correlations. Subject to certain restrictions on the nature of the forcing, we argue that the same should be true for forced turbulence. We show that long-range correlations and a $k^2$ spectrum arise as a result of the turbulent diffusion of linear momentum, and extend only up to a maximum scale that grows slowly with time. This picture has a number of interesting consequences. First, if the forcing generates eddies with significant linear momentum (as in so-called Saffman turbulence), a thermal spectrum is not reached - instead, a shallower spectrum develops. Secondly, the energy of turbulence that is forced for a while and then allowed to decay obeys Saffman's decay laws for a period that is much longer than the duration of the forcing stage.


title: Mapping the Galactic Metallicity Gradient with Open Clusters: The State-of-the-Art and Future Challenges

abstract: In this paper, we make use of data collected for open cluster members by high-resolution spectroscopic surveys and programmes (i.e., APOGEE, Gaia-ESO, GALAH, OCCASO, and SPA). These data have been homogenised and then analysed as a whole. The resulting catalogue contains [Fe/H] and orbital parameters for 251 Galactic open clusters. The slope of the radial metallicity gradient obtained through 175 open clusters with high-quality metallicity determinations is $-$0.064 $\pm$ 0.007 dex kpc$^{-1}$. The radial metallicity distribution traced by open clusters flattens beyond R$_{\rm Gal}$=12.1 $\pm$ 1.1 kpc. The slope traced by open clusters in the [Fe/H]-L$_{\rm z}$ diagram is $-$0.31 $\pm$ 0.02 10$^{3}$ dex km$^{-1}$ kpc$^{-1}$ s, but it flattens beyond L$_{\rm z}$=2769 $\pm$ 177 km kpc s$^{-1}$. In this paper, we also review some high-priority practical challenges around the study of open clusters that will significantly push our understanding beyond the state-of-the-art. Finally, we compare the shape of the galactic radial metallicity gradient to those of other spiral galaxies.


title: A unified stochastic particle method based on the Bhatnagar-Gross-Krook model for polyatomic gases and its combination with DSMC

abstract: Simulating hypersonic flow around a space vehicle is challenging because of the multiscale and nonequilibrium nature inherent in these flows. To effectively deal with such flows, a novel particle particle hybrid scheme combining the stochastic particle Bhatnagar-Gross-Krook (BGK) method with Direct Simulation Monte Carlo (DSMC) was developed recently, but only for monatomic gases [Fei et. al., J. Comput. Phys. 2021]. Here this work is extended to the particle-particle hybrid method for polyatomic gases. In the near continuum regime, employing the Ellipsoidal Statistical BGK model proposed by Y. Dauvois, et. al. [Eur. J. Mech. B Fluids, 2021] with discrete levels of vibrational energy, the stochastic particle BGK method is first established following the idea of the unified stochastic particle BGK (USPBGK) scheme. In the fluid limit, it has been proven to be of second order temporal and spatial accuracy. Then, the USPBGK scheme with rotational and vibrational energies is combined with DSMC to construct a hybrid method for polyatomic gases. The present hybrid scheme is validated with numerical tests of homogenous relaxation, 1D shock structure and 2D hypersonic flows past a wedge and a cylinder. Compared to traditional stochastic particle methods, the proposed hybrid method can achieve higher accuracy at a much lower computational cost. Therefore, it is a more efficient tool to study multiscale hypersonic flows.


title: A generalizable approach based on U-Net model for automatic Intra retinal cyst segmentation in SD-OCT images

abstract: Intra retinal fluids or Cysts are one of the important symptoms of macular pathologies that are efficiently visualized in OCT images. Automatic segmentation of these abnormalities has been widely investigated in medical image processing studies. In this paper, we propose a new U-Net-based approach for Intra retinal cyst segmentation across different vendors that improves some of the challenges faced by previous deep-based techniques. The proposed method has two main steps: 1- prior information embedding and input data adjustment, and 2- IRC segmentation model. In the first step, we inject the information into the network in a way that overcomes some of the network limitations in receiving data and learning important contextual knowledge. And in the next step, we introduced a connection module between encoder and decoder parts of the standard U-Net architecture that transfers information more effectively from the encoder to the decoder part. Two public datasets namely OPTIMA and KERMANY were employed to evaluate the proposed method. Results showed that the proposed method is an efficient vendor-independent approach for IRC segmentation with mean Dice values of 0.78 and 0.81 on the OPTIMA and KERMANY datasets, respectively.


title: Learning Invariable Semantical Representation from Language for Extensible Policy Generalization

abstract: Recently, incorporating natural language instructions into reinforcement learning (RL) to learn semantically meaningful representations and foster generalization has caught many concerns. However, the semantical information in language instructions is usually entangled with task-specific state information, which hampers the learning of semantically invariant and reusable representations. In this paper, we propose a method to learn such representations called element randomization, which extracts task-relevant but environment-agnostic semantics from instructions using a set of environments with randomized elements, e.g., topological structures or textures, yet the same language instruction. We theoretically prove the feasibility of learning semantically invariant representations through randomization. In practice, we accordingly develop a hierarchy of policies, where a high-level policy is designed to modulate the behavior of a goal-conditioned low-level policy by proposing subgoals as semantically invariant representations. Experiments on challenging long-horizon tasks show that (1) our low-level policy reliably generalizes to tasks against environment changes; (2) our hierarchical policy exhibits extensible generalization in unseen new tasks that can be decomposed into several solvable sub-tasks; and (3) by storing and replaying language trajectories as succinct policy representations, the agent can complete tasks in a one-shot fashion, i.e., once one successful trajectory has been attained.


title: Safe Screening for Logistic Regression with $\ell_0$-$\ell_2$ Regularization

abstract: In logistic regression, it is often desirable to utilize regularization to promote sparse solutions, particularly for problems with a large number of features compared to available labels. In this paper, we present screening rules that safely remove features from logistic regression with $\ell_0-\ell_2$ regularization before solving the problem. The proposed safe screening rules are based on lower bounds from the Fenchel dual of strong conic relaxations of the logistic regression problem. Numerical experiments with real and synthetic data suggest that a high percentage of the features can be effectively and safely removed apriori, leading to substantial speed-up in the computations.


title: Unified Multimodal Punctuation Restoration Framework for Mixed-Modality Corpus

abstract: The punctuation restoration task aims to correctly punctuate the output transcriptions of automatic speech recognition systems. Previous punctuation models, either using text only or demanding the corresponding audio, tend to be constrained by real scenes, where unpunctuated sentences are a mixture of those with and without audio. This paper proposes a unified multimodal punctuation restoration framework, named UniPunc, to punctuate the mixed sentences with a single model. UniPunc jointly represents audio and non-audio samples in a shared latent space, based on which the model learns a hybrid representation and punctuates both kinds of samples. We validate the effectiveness of the UniPunc on real-world datasets, which outperforms various strong baselines (e.g. BERT, MuSe) by at least 0.8 overall F1 scores, making a new state-of-the-art. Extensive experiments show that UniPunc's design is a pervasive solution: by grafting onto previous models, UniPunc enables them to punctuate on the mixed corpus. Our code is available at github.com/Yaoming95/UniPunc


title: Gradient-guided Unsupervised Text Style Transfer via Contrastive Learning

abstract: Text style transfer is a challenging text generation problem, which aims at altering the style of a given sentence to a target one while keeping its content unchanged. Since there is a natural scarcity of parallel datasets, recent works mainly focus on solving the problem in an unsupervised manner. However, previous gradient-based works generally suffer from the deficiencies as follows, namely: (1) Content migration. Previous approaches lack explicit modeling of content invariance and are thus susceptible to content shift between the original sentence and the transferred one. (2) Style misclassification. A natural drawback of the gradient-guided approaches is that the inference process is homogeneous with a line of adversarial attack, making latent optimization easily becomes an attack to the classifier due to misclassification. This leads to difficulties in achieving high transfer accuracy. To address the problems, we propose a novel gradient-guided model through a contrastive paradigm for text style transfer, to explicitly gather similar semantic sentences, and to design a siamese-structure based style classifier for alleviating such two issues, respectively. Experiments on two datasets show the effectiveness of our proposed approach, as compared to the state-of-the-arts.


title: An Assessment of the Impact of OCR Noise on Language Models

abstract: Neural language models are the backbone of modern-day natural language processing applications. Their use on textual heritage collections which have undergone Optical Character Recognition (OCR) is therefore also increasing. Nevertheless, our understanding of the impact OCR noise could have on language models is still limited. We perform an assessment of the impact OCR noise has on a variety of language models, using data in Dutch, English, French and German. We find that OCR noise poses a significant obstacle to language modelling, with language models increasingly diverging from their noiseless targets as OCR quality lowers. In the presence of small corpora, simpler models including PPMI and Word2Vec consistently outperform transformer-based models in this respect.


title: Causal effect of racial bias in data and machine learning algorithms on user persuasiveness & discriminatory decision making: An Empirical Study

abstract: Language data and models demonstrate various types of bias, be it ethnic, religious, gender, or socioeconomic. AI/NLP models, when trained on the racially biased dataset, AI/NLP models instigate poor model explainability, influence user experience during decision making and thus further magnifies societal biases, raising profound ethical implications for society. The motivation of the study is to investigate how AI systems imbibe bias from data and produce unexplainable discriminatory outcomes and influence an individual's articulateness of system outcome due to the presence of racial bias features in datasets. The design of the experiment involves studying the counterfactual impact of racial bias features present in language datasets and its associated effect on the model outcome. A mixed research methodology is adopted to investigate the cross implication of biased model outcome on user experience, effect on decision-making through controlled lab experimentation. The findings provide foundation support for correlating the implication of carry-over an artificial intelligence model solving NLP task due to biased concept presented in the dataset. Further, the research outcomes justify the negative influence on users' persuasiveness that leads to alter the decision-making quotient of an individual when trying to rely on the model outcome to act. The paper bridges the gap across the harm caused in establishing poor customer trustworthiness due to an inequitable system design and provides strong support for researchers, policymakers, and data scientists to build responsible AI frameworks within organizations.


title: Dealing with density discontinuities in planetary SPH simulations

abstract: Density discontinuities cannot be precisely modelled in standard formulations of smoothed particles hydrodynamics (SPH) because the density field is defined smoothly as a kernel-weighted sum of neighbouring particle masses. This is a problem when performing simulations of giant impacts between proto-planets, for example, because planets typically do have density discontinuities both at their surfaces and at any internal boundaries between different materials. The inappropriate densities in these regions create artificial forces that effectively suppress mixing between particles of different material and, as a consequence, this problem introduces a key unknown systematic error into studies that rely on SPH simulations. In this work we present a novel, computationally cheap method that deals simultaneously with both of these types of density discontinuity in SPH simulations. We perform standard hydrodynamical tests and several example giant impact simulations, and compare the results with standard SPH. In a simulated Moon-forming impact using $10^7$ particles, the improved treatment at boundaries affects at least 30% of the particles at some point during the simulation.


title: Combinatorial Aspects of the Card Game War

abstract: This paper studies a single-suit version of the card game War on a finite deck of cards. There are varying methods of how players put the cards that they win back into their hands, but we primarily consider randomly putting the cards back and deterministically always putting the winning card before the losing card. The concept of a \emph{passthrough} is defined, which refers to a player playing through all cards in their hand from a particular point in the game. We consider games in which the second player wins during their first passthrough. We introduce several combinatorial objects related to the game: game graphs, win-loss sequences, win-loss binary trees, and game posets. We show how these objects relate to each other. We enumerate states depending on the number of rounds and the number of passthroughs.


title: Is the electron magnetic moment unique?

abstract: There exist two methods for finding the magnetic moment of the electron. In the first of them employed in quantum electrodynamics, one calculates the energy of the electron placed in a constant magnetic field, the extra energy due to the field being proportional to the magnetic moment. It is also possible to use the second method proceeding from the fact that the asymptotic form of the vector potential at infinity is proportional to the magnetic moment. If the electron were point-like, both the methods would yield identical results. In the present paper is studied the magnetic field created by the electron in hydrogen-like ions, which enables one to find the electron magnetic moment by the second method. The electron magnetic moment in this case proves to be different in different states of the electron in the Coulomb field of the ions and, moreover, is distinct from the magnetic moment calculated by the first method. The results of the paper show that the electron is not small and is deformable under action of external fields.


title: From Examples to Rules: Neural Guided Rule Synthesis for Information Extraction

abstract: While deep learning approaches to information extraction have had many successes, they can be difficult to augment or maintain as needs shift. Rule-based methods, on the other hand, can be more easily modified. However, crafting rules requires expertise in linguistics and the domain of interest, making it infeasible for most users. Here we attempt to combine the advantages of these two directions while mitigating their drawbacks. We adapt recent advances from the adjacent field of program synthesis to information extraction, synthesizing rules from provided examples. We use a transformer-based architecture to guide an enumerative search, and show that this reduces the number of steps that need to be explored before a rule is found. Further, we show that without training the synthesis algorithm on the specific domain, our synthesized rules achieve state-of-the-art performance on the 1-shot scenario of a task that focuses on few-shot learning for relation classification, and competitive performance in the 5-shot scenario.


title: Exploring COVID-19 Related Stressors Using Topic Modeling

abstract: The COVID-19 pandemic has affected lives of people from different countries for almost two years. The changes on lifestyles due to the pandemic may cause psychosocial stressors for individuals, and have a potential to lead to mental health problems. To provide high quality mental health supports, healthcare organization need to identify the COVID-19 specific stressors, and notice the trends of prevalence of those stressors. This study aims to apply natural language processing (NLP) on social media data to identify the psychosocial stressors during COVID-19 pandemic, and to analyze the trend on prevalence of stressors at different stages of the pandemic. We obtained dataset of 9266 Reddit posts from subreddit \rCOVID19_support, from 14th Feb ,2020 to 19th July 2021. We used Latent Dirichlet Allocation (LDA) topic model and lexicon methods to identify the topics that were mentioned on the subreddit. Our result presented a dashboard to visualize the trend of prevalence of topics about covid-19 related stressors being discussed on social media platform. The result could provide insights about the prevalence of pandemic related stressors during different stages of COVID-19. The NLP techniques leveraged in this study could also be applied to analyze event specific stressors in the future.


title: Detection of Increased Time Intervals of Anti-Vaccine Tweets for COVID-19 Vaccine with BERT Model

abstract: The most effective of the solutions against Covid-19 is the various vaccines developed. Distrust of vaccines can hinder the rapid and effective use of this remedy. One of the means of expressing the thoughts of society is social media. Determining the time intervals during which anti-vaccination increases in social media can help institutions determine the strategy to be used in combating anti-vaccination. Recording and tracking every tweet entered with human labor would be inefficient, so various automation solutions are needed. In this study, The Bidirectional Encoder Representations from Transformers (BERT) model, which is a deep learning-based natural language processing (NLP) model, was used. In a dataset of 1506 tweets divided into four different categories as news, irrelevant, anti-vaccine, and vaccine supporters, the model was trained with a learning rate of 5e-6 for 25 epochs. To determine the intervals in which anti-vaccine tweets are concentrated, the categories to which 652840 tweets belong were determined by using the trained model. The change of the determined categories overtime was visualized and the events that could cause the change were determined. As a result of model training, in the test dataset, the f-score of 0.81 and AUC values for different classes were obtained as 0.99,0.91, 0.92, 0.92, respectively. In this model, unlike the studies in the literature, an auxiliary system is designed that provides data that institutions can use when determining their strategy by measuring and visualizing the frequency of anti-vaccine tweets in a time interval, different from detecting and censoring such tweets.


title: NeuraHealth: An Automated Screening Pipeline to Detect Undiagnosed Cognitive Impairment in Electronic Health Records with Deep Learning and Natural Language Processing

abstract: Dementia related cognitive impairment (CI) is a neurodegenerative disorder, affecting over 55 million people worldwide and growing rapidly at the rate of one new case every 3 seconds. 75% cases go undiagnosed globally with up to 90% in low-and-middle-income countries, leading to an estimated annual worldwide cost of USD 1.3 trillion, forecasted to reach 2.8 trillion by 2030. With no cure, a recurring failure of clinical trials, and a lack of early diagnosis, the mortality rate is 100%. Information in electronic health records (EHR) can provide vital clues for early detection of CI, but a manual review by experts is tedious and error prone. Several computational methods have been proposed, however, they lack an enhanced understanding of the linguistic context in complex language structures of EHR. Therefore, I propose a novel and more accurate framework, NeuraHealth, to identify patients who had no earlier diagnosis. In NeuraHealth, using patient EHR from Mass General Brigham BioBank, I fine-tuned a bi-directional attention-based deep learning natural language processing model to classify sequences. The sequence predictions were used to generate structured features as input for a patient level regularized logistic regression model. This two-step framework creates high dimensionality, outperforming all existing state-of-the-art computational methods as well as clinical methods. Further, I integrate the models into a real-world product, a web app, to create an automated EHR screening pipeline for scalable and high-speed discovery of undetected CI in EHR, making early diagnosis viable in medical facilities and in regions with scarce health services.


title: AstroSat Observation of X-ray Dips and State Transition in the Black Hole Candidate MAXI J1803-298

abstract: We present the results obtained from broadband X-ray timing and spectral analysis of black hole candidate MAXI J1803-298 using an AstroSat observation on May 11-12, 2021. Four periodic absorption dips with a periodicity of $7.02 \pm 0.18$ hour are detected in the light curve. AstroSat observe the source when it was undergoing a transition from hard-intermediate state to soft-intermediate state. Our timing analysis reveals the presence of a sharp type-C quasi periodic oscillation (QPO) in the power density spectra (PDS) with an evolving QPO frequency ranging from $5.31 \pm 0.02$ Hz to $7.61\pm 0.09$ Hz. We investigate the energy dependence of the QPO and do not find this feature in the PDS above 30 keV. The combined $0.7-80$ keV SXT and LAXPC spectra are fitted with a model consisting of thermal multi-colour blackbody emission and Comptonized emission components. We perform time-resolved spectroscopy by extracting spectra during the dip and non-dip phases of the observation. A neutral absorber is detected during the dip and non-dip phases though a signature of an ionized absorber is also present in the dip phases. The spectral and temporal parameters are found to evolve during our observation. We estimate the mass function of the system as $f(M) = 2.1-7.2~M_{\odot}$ and the mass of the black hole candidate in the range of $M_{\rm BH} \sim 3.5-12.5~M_{\odot}$.


title: Intent Matching based Customer Services Chatbot with Natural Language Understanding

abstract: Customer service is the lifeblood of any business. Excellent customer service not only generates return business but also creates new customers. Looking at the demanding market to provide a 24/7 service to customers, many organisations are increasingly engaged in popular social media and text messaging platforms such as WhatsApp and Facebook Messenger in providing a 24/7 service to customers in the current demanding market. In this paper, we present an intent matching based customer services chatbot (IMCSC), which is capable of replacing the customer service work of sales personnel, whilst interacting in a more natural and human-like manner through the employment of Natural Language Understanding (NLU). The bot is able to answer the most common frequently asked questions and we have also integrated features for the processing and exporting of customer orders to a Google Sheet.


title: RabindraNet, Creating Literary Works in the Style of Rabindranath Tagore

abstract: Bengali literature has a rich history of hundreds of years with luminary figures such as Rabindranath Tagore and Kazi Nazrul Islam. However, analytical works involving the most recent advancements in NLP have barely scratched the surface utilizing the enormous volume of the collected works from the writers of the language. In order to bring attention to the analytical study involving the works of Bengali writers and spearhead the text generation endeavours in the style of existing literature, we are introducing RabindraNet, a character level RNN model with stacked-LSTM layers trained on the works of Rabindranath Tagore to produce literary works in his style for multiple genres. We created an extensive dataset as well by compiling the digitized works of Rabindranath Tagore from authentic online sources and published as open source dataset on data science platform Kaggle.


title: Relativistic Hartree-Fock-Bogoliubov model for axially deformed nuclei

abstract: Staring from the Lagrangian density that foots on the meson-propagated picture of nuclear force, the full Hamiltonian, that contains both mean field and pairing contributions, is derived by quantizing the Dirac spinor field in the Bogoliubov quasi-particle space, and the expectation with respect to the Bogoliubov ground state gives the full energy functional. As an extension of the D-RHF model, the degree of freedom associated with the $\rho$-tensor ($\rho$-T) coupling is implemented, and incorporating with the Bogoliubov scheme the finite-range Gogny force D1S is utilized as the pairing force. Moreover, qualitative analysis on the nature of the $\pi$-PV and $\rho$-T couplings are presented for better understanding their enhancements on the deformation effects. Space convergence related to the spherical DWS base is confirmed for the D-RHFB model by taking light nucleus $^{24}$Mg and mid-heavy one $^{156}$Sm as candidates. Compared to light nuclei, extraordinary more negative energy states are necessitated to keep the expansion completeness on the spherical DWS base for mid-heavy and heavy nuclei, due to the enhanced correlations between the expansion components with large $\kappa$-quantity as indicated by the nature of the $\pi$-PV and $\rho$-T couplings. Furthermore, because of the enhanced deformation effects by the $\pi$-PV and $\rho$-T couplings, the RHF Lagrangian PKA1 presents deeper bound ground state for $^{24}$Mg than the other selected Lagrangians, in addition to predicting a fairly deep bound local minimum with large oblate deformation.


title: Shearing maps and a Runge map of the unit ball which does not embed into a Loewner chain with range $\mathbb C^n$

abstract: In this paper we study the class of "shearing" holomorphic maps of the unit ball of the form $(z,w)\mapsto (z+g(w), w)$. Besides general properties, we use such maps to construct an example of a normalized univalent map of the ball onto a Runge domain in $\mathbb C^n$ which however cannot be embedded into a Loewner chain whose range is $\mathbb C^n$.


title: Auto-ABSA: Automatic Detection of Aspects in Aspect-Based Sentiment Analysis

abstract: After transformer is proposed, lots of pre-trained language models have been come up with and sentiment analysis (SA) task has been improved. In this paper, we proposed a method that uses an auxiliary sentence about aspects that the sentence contains to help sentiment prediction. The first is aspect detection, which uses a multi-aspects detection model to predict all aspects that the sentence has. Combining the predicted aspects and the original sentence as Sentiment Analysis (SA) model's input. The second is to do out-of-domain aspect-based sentiment analysis(ABSA), train sentiment classification model with one kind of dataset and validate it with another kind of dataset. Finally, we created two baselines, they use no aspect and all aspects as sentiment classification model's input, respectively. Compare two baselines performance to our method, found that our method really makes sense.


title: Ubiquitous enhancement of nematic fluctuations across the phase diagram of iron based superconductors probed by the Nernst effect

abstract: The role of nematic fluctuations for unconventional superconductivity has been subject of intense discussions for many years. In iron-based superconductors, the most established probe for electronic-nematic fluctuations, i.e. the elastoresistivity seems to imply that superconductivity is reinforced by electronic-nematic fluctuations, since the elastoresistivity amplitude peaks at or close to optimal $T_C$. However, on the over-doped side of the superconducting dome, the diminishing elastoresistivity suggests a negligible importance in the mechanism of superconductivity. Here we introduce the Nernst coefficient as a genuine probe for electronic nematic fluctuations, and we show that the amplitude of the Nernst coefficient tracks the superconducting dome of two prototype families of iron-based superconductors, namely Rh-doped $BaFe_{2}As_{2}$ and Co-doped $LaFeAsO$. Our data thus provide fresh evidence that in these systems nematic fluctuations foster the superconductivity throughout the phase diagram.


title: Towards a Theoretical Understanding of Word and Relation Representation

abstract: Representing words by vectors, or embeddings, enables computational reasoning and is foundational to automating natural language tasks. For example, if word embeddings of similar words contain similar values, word similarity can be readily assessed, whereas judging that from their spelling is often impossible (e.g. cat /feline) and to predetermine and store similarities between all words is prohibitively time-consuming, memory intensive and subjective. We focus on word embeddings learned from text corpora and knowledge graphs. Several well-known algorithms learn word embeddings from text on an unsupervised basis by learning to predict those words that occur around each word, e.g. word2vec and GloVe. Parameters of such word embeddings are known to reflect word co-occurrence statistics, but how they capture semantic meaning has been unclear. Knowledge graph representation models learn representations both of entities (words, people, places, etc.) and relations between them, typically by training a model to predict known facts in a supervised manner. Despite steady improvements in fact prediction accuracy, little is understood of the latent structure that enables this. The limited understanding of how latent semantic structure is encoded in the geometry of word embeddings and knowledge graph representations makes a principled means of improving their performance, reliability or interpretability unclear. To address this: 1. we theoretically justify the empirical observation that particular geometric relationships between word embeddings learned by algorithms such as word2vec and GloVe correspond to semantic relations between words; and 2. we extend this correspondence between semantics and geometry to the entities and relations of knowledge graphs, providing a model for the latent structure of knowledge graph representation linked to that of word embeddings.


title: Measurements of the Higgs boson inclusive and differential fiducial cross-sections in the diphoton decay channel with $pp$ collisions at $\sqrt{s} = 13$ TeV with the ATLAS detector

abstract: A measurement of inclusive and differential fiducial cross-sections for the production of the Higgs boson decaying into two photons is performed using $139~\text{fb}^{-1}$ of proton--proton collision data recorded at $\sqrt{s} = 13$ TeV by the ATLAS experiment at the Large Hadron Collider. The inclusive cross-section times branching ratio, in a fiducial region closely matching the experimental selection, is measured to be $67\pm 6$ fb, which is in agreement with the state-of-the-art Standard Model prediction of $64\pm 4$ fb. Extrapolating this result to the full phase space and correcting for the branching ratio, the total cross-section for Higgs boson production is estimated to be $58\pm 6$ pb. In addition, the cross-sections in four fiducial regions sensitive to various Higgs boson production modes and differential cross-sections as a function of either one or two of several observables are measured. All the measurements are found to be in agreement with the Standard Model predictions. The measured transverse momentum distribution of the Higgs boson is used as an indirect probe of the Yukawa coupling of the Higgs boson to the bottom and charm quarks. In addition, five differential cross-section measurements are used to constrain anomalous Higgs boson couplings to vector bosons in the Standard Model effective field theory framework.


title: Cross-validation for Extreme Value Analysis

abstract: We conduct a non asymptotic study of the Cross Validation (CV) estimate of the generalization risk for learning algorithms dedicated to extreme regions of the covariates space. In this Extreme Value Analysis context, the risk function measures the algorithm's error given that the norm of the input exceeds a high quantile. The main challenge within this framework is the negligible size of the extreme training sample with respect to the full sample size and the necessity to re-scale the risk function by a probability tending to zero. We open the road to a finite sample understanding of CV for extreme values by establishing two new results: an exponential probability bound on the \Kfold CV error and a polynomial probability bound on the leave-\textrm{p}-out CV. Our bounds are sharp in the sense that they match state-of-the-art guarantees for standard CV estimates while extending them to encompass a conditioning event of small probability. We illustrate the significance of our results regarding high dimensional classification in extreme regions via a Lasso-type logistic regression algorithm. The tightness of our bounds is investigated in numerical experiments.


title: AutoSourceID-Light. Fast Optical Source Localization via U-Net and Laplacian of Gaussian

abstract: $\textbf{Aims}$. With the ever-increasing survey speed of optical wide-field telescopes and the importance of discovering transients when they are still young, rapid and reliable source localization is paramount. We present AutoSourceID-Light (ASID-L), an innovative framework that uses computer vision techniques that can naturally deal with large amounts of data and rapidly localize sources in optical images. $\textbf{Methods}$. We show that the AutoSourceID-Light algorithm based on U-shaped networks and enhanced with a Laplacian of Gaussian filter (Chen et al. 1987) enables outstanding performances in the localization of sources. A U-Net (Ronneberger et al. 2015) network discerns the sources in the images from many different artifacts and passes the result to a Laplacian of Gaussian filter that then estimates the exact location. $\textbf{Results}$. Application on optical images of the MeerLICHT telescope demonstrates the great speed and localization power of the method. We compare the results with the widely used SExtractor (Bertin & Arnouts 1996) and show the out-performances of our method. AutoSourceID-Light rapidly detects more sources not only in low and mid crowded fields, but particularly in areas with more than 150 sources per square arcminute.


title: Determination of topological edge quantum numbers of fractional quantum Hall phases

abstract: To determine the topological quantum numbers of fractional quantum Hall (FQH) states hosting counter-propagating (CP) downstream ($N_d$) and upstream ($N_u$) edge modes, it is pivotal to study quantized transport both in the presence and absence of edge mode equilibration. While reaching the non-equilibrated regime is challenging for charge transport, we target here the thermal Hall conductance $G_{Q}$, which is purely governed by edge quantum numbers $N_d$ and $N_u$. Our experimental setup is realized with a hBN encapsulated graphite gated monolayer graphene device. For temperatures up to $35mK$, our measured $G_{Q}$ at $\nu = $ 2/3 and 3/5 (with CP modes) match the quantized values of non-equilibrated regime $(N_d + N_u)\kappa_{0}T$, where $\kappa_{0}T$ is a quanta of $G_{Q}$. With increasing temperature, $G_{Q}$ decreases and eventually takes the value of equilibrated regime $|N_d - N_u|\kappa_{0}T$. By contrast, at $\nu = $1/3 and 2/5 (without CP modes), $G_Q$ remains robustly quantized at $N_d\kappa_{0}T$ independent of the temperature. Thus, measuring the quantized values of $G_{Q}$ at two regimes, we determine the edge quantum numbers, which opens a new route for finding the topological order of exotic non-Abelian FQH states.


title: A Topological Approach to Mapping Space Signatures

abstract: A common approach for describing classes of functions and probability measures on a topological space $\mathcal{X}$ is to construct a suitable map $\Phi$ from $\mathcal{X}$ into a vector space, where linear methods can be applied to address both problems. The case where $\mathcal{X}$ is a space of paths $[0,1] \to \mathbb{R}^n$ and $\Phi$ is the path signature map has received much attention in stochastic analysis and related fields. In this article we develop a generalized $\Phi$ for the case where $\mathcal{X}$ is a space of maps $[0,1]^d \to \mathbb{R}^n$ for any $d \in \mathbb{N}$, and show that the map $\Phi$ generalizes many of the desirable algebraic and analytic properties of the path signature to $d \ge 2$. The key ingredient to our approach is topological; in particular, our starting point is a generalisation of K-T Chen's path space cochain construction to the setting of cubical mapping spaces.


title: Specific interactions of peripheral membrane proteins with lipids: what can molecular simulations show us?

abstract: Peripheral membrane proteins can reversibly and specifically bind to biological membranes to carry out functions such as cell signalling, enzymatic activity, or membrane remodelling. Structures of these proteins and of their lipid-binding domains are typically solved in a soluble form, sometimes with a lipid or lipid headgroup at the binding site. To provide a detailed molecular view of peripheral membrane protein interactions with the membrane, computational methods such as molecular dynamics (MD) simulations can be applied. Here, we outline recent attempts to characterise these binding interactions, focusing on both intracellular proteins such as PIP-binding domains, and on extracellular proteins such as glycolipid-binding bacterial exotoxins. We compare methods to identify and analyse lipid binding sites from simulation data. We highlight recent work characterising the energetics of these interactions using free energy calculations. We describe how improvements in methodologies and computing power will help MD simulations to continue to contribute to this field in the future.


title: Spectral Clustering, Bayesian Spanning Forest, and Forest Process

abstract: Spectral clustering views the similarity matrix as a weighted graph, and partitions the data by minimizing a graph-cut loss. Since it minimizes the across-cluster similarity, there is no need to model the distribution within each cluster. As a result, one reduces the chance of model misspecification, which is often a risk in mixture model-based clustering. Nevertheless, compared to the latter, spectral clustering has no direct ways of quantifying the clustering uncertainty (such as the assignment probability), or allowing easy model extensions for complicated data applications. To fill this gap, we propose the Bayesian forest model as a generative graphical model for spectral clustering. This is motivated by our discovery that the posterior connecting matrix in a forest model has almost the same leading eigenvectors, as the ones used by normalized spectral clustering. To induce a distribution for the forest, we develop a ``forest process'' as a graph extension to the urn process, while we carefully characterize the differences in the partition probability. We derive a simple Markov chain Monte Carlo algorithm for posterior estimation, and demonstrate superior performance compared to existing algorithms. We illustrate several model-based extensions useful for data applications, including high-dimensional and multi-view clustering for images.


title: Optimal Decision Theory for Diagnostic Testing: Minimizing Indeterminate Classes with Applications to Saliva-Based SARS-CoV-2 Antibody Assays

abstract: In diagnostic testing, establishing an indeterminate class is an effective way to identify samples that cannot be accurately classified. However, such approaches also make testing less efficient and must be balanced against overall assay performance. We address this problem by reformulating data classification in terms of a constrained optimization problem that (i) minimizes the probability of labeling samples as indeterminate while (ii) ensuring that the remaining ones are classified with an average target accuracy X. We show that the solution to this problem is expressed in terms of a bathtub principle that holds out those samples with the lowest local accuracy up to an X-dependent threshold. To illustrate the usefulness of this analysis, we apply it to a multiplex, saliva-based SARS-CoV-2 antibody assay and demonstrate up to a 30 % reduction in the number of indeterminate samples relative to more traditional approaches.

categories: stat.ME math.OC math.PR physics.bio-ph q-bio.QM


title: Machine Intelligence-Driven Classification of Cancer Patients-Derived Extracellular Vesicles using Fluorescence Correlation Spectroscopy: Results from a Pilot Study

abstract: Patient-derived extracellular vesicles (EVs) that contains a complex biological cargo is a valuable source of liquid biopsy diagnostics to aid in early detection, cancer screening, and precision nanotherapeutics. In this study, we predicted that coupling cancer patient blood-derived EVs to time-resolved spectroscopy and artificial intelligence (AI) could provide a robust cancer screening and follow-up tools. Methods: Fluorescence correlation spectroscopy (FCS) measurements were performed on 24 blood samples-derived EVs. Blood samples were obtained from 15 cancer patients (presenting 5 different types of cancers), and 9 healthy controls (including patients with benign lesions). The obtained FCS autocorrelation spectra were processed into power spectra using the Fast-Fourier Transform algorithm and subjected to various machine learning algorithms to distinguish cancer spectra from healthy control spectra. Results and Applications: The performance of AdaBoost Random Forest (RF) classifier, support vector machine, and multilayer perceptron, were tested on selected frequencies in the N=118 power spectra. The RF classifier exhibited a 90% classification accuracy and high sensitivity and specificity in distinguishing the FCS power spectra of cancer patients from those of healthy controls. Further, an image convolutional neural network (CNN), ResNet network, and a quantum CNN were assessed on the power spectral images as additional validation tools. All image-based CNNs exhibited a nearly equal classification performance with an accuracy of roughly 82% and reasonably high sensitivity and specificity scores. Our pilot study demonstrates that AI-algorithms coupled to time-resolved FCS power spectra can accurately and differentially classify the complex patient-derived EVs from different cancer samples of distinct tissue subtypes.


title: What Does FEXI Measure?

abstract: Filter-exchange imaging (FEXI) has already been utilized in several biomedical studies for evaluating the permeability of cell membranes. The method relies on suppressing the extracellular signal using strong diffusion weighting (the mobility filter causing a reduction in the overall diffusivity) and monitoring the subsequent diffusivity recovery. Using Monte Carlo (MC) simulations, we demonstrate that FEXI is not uniquely sensitive to the transcytolemmal exchange but also to the geometry of involved compartments: Complicated geometry offers locations where spins remain unaffected by the mobility filter; moving to other locations afterward, such spins contribute to the diffusivity recovery without actually permeating any membrane. This exchange mechanism challenges the interpretation of FEXI in complex media such as brain gray matter and opens large room for investigation towards crystallizing the genuine membrane permeation and characterizing the compartment geometry.


title: When RIS Meets GEO Satellite Communications: A New Sustainable Optimization Framework in 6G

abstract: Reflecting intelligent surfaces (RIS) is a low-cost and energy-efficient solution to achieve high spectral efficiency in sixth-generation (6G) networks. The basic idea of RIS is to smartly reconfigure the signal propagation by using passive reflecting elements. On the other side, the demand of high throughput geostationary (GEO) satellite communications (SatCom) is rapidly growing to deliver broadband services in inaccessible/insufficient covered areas of terrestrial networks. This paper proposes a GEO SatCom network, where a satellite transmits the signal to a ground mobile terminal using multicarrier communications. To enhance the effective gain, the signal delivery from satellite to the ground mobile terminal is also assisted by RIS which smartly shift the phase of the signal towards ground terminal. We consider that RIS is mounted on a high building and equipped with multiple re-configurable passive elements along with smart controller. We jointly optimize the power allocation and phase shift design to maximize the channel capacity of the system. The joint optimization problem is formulated as nonconvex due to coupled variables which is hard to solve through traditional convex optimization methods. Thus, we propose a new $\epsilon-$optimal algorithm which is based on Mesh Adaptive Direct Search to obtain an efficient solution. Simulation results unveil the benefits of RIS-assisted SatCom in terms of system channel capacity.


title: Analysis of Linear Time-Varying & Periodic Systems

abstract: This thesis applies Floquet theory to analyze linear periodic time-varying (LPTV) systems, represented by a system of ordinary differential equations (ODEs) that depend on a time variable t and have a matrix of coefficients with period T>0. The transition matrix of an LPTV system represented by a square periodic-function matrix A(t)=A(t+T) can be expressed as the product of a square periodic function matrix P(t)=P(t+T) and an exponentiated square matrix of the form Rt, where R is a constant matrix (independent of t). Despite the validity of Floquet theory, it is difficult to find an analytical closed form for the matrices P(t) and R when the transition matrix {\Phi}_A (t,t_0 ) is unknown. In essence, it is difficult to find an analytical solution for an LPTV system (i.e., a closed form for its transition matrix). The research results show that for a given family of periodic matrices A(t), we can compare the powers of {\omega} that multiply the harmonics (i.e., {\omega} is part of the coefficients multiplying the cosine [sine] factors in even [odd] representations or of the exponential factors in complex representations) to determine the matrices P(t) and R. In addition, the results lead to relations between LPTV systems at frequency {\omega} and the associated linear time-invariant system, which is defined by having zero frequency ({\omega}=0).


title: An FPGA-based System for Generalised Electron Devices Testing

abstract: Electronic systems are becoming more and more ubiquitous as our world digitises. Simultaneously, even basic components are experiencing a wave of improvements with new transistors, memristors, voltage/current references, data converters, etc, being designed every year by hundreds of R&D groups world-wide. To date, the workhorse for testing all these designs has been a suite of lab instruments including oscilloscopes and signal generators, to mention the most popular. However, as components become more complex and pin numbers soar, the need for more parallel and versatile testing tools also becomes more pressing. In this work, we describe and benchmark an FPGA system developed that addresses this need. This general purpose testing system features a 64-channel source-meter unit (SMU), and 2x banks of 32 digital pins for digital I/O. We demonstrate that this bench-top system can obtain $170 pA$ current noise floor, $40 ns$ pulse delivery at $\pm13.5 V$ and $12 mA$ maximum current drive/channel. We then showcase the instrument's use in performing a selection of three characteristic measurement tasks: a) current-voltage (IV) characterisation of a diode and a transistor, b) fully parallel read-out of a memristor crossbar array and c) an integral non-linearity (INL) test on a DAC. This work introduces a down-scaled electronics laboratory packaged in a single instrument which provides a shift towards more affordable, reliable, compact and multi-functional instrumentation for emerging electronic technologies.


title: A Framework for Server Authentication using Communication Protocol Dialects

abstract: In today's world, computer networks have become vulnerable to numerous attacks. In both wireless and wired networks, one of the most common attacks is man-in-the-middle attacks, within which session hijacking, context confusion attacks have been the most attempted. A potential attacker may have enough time to launch an attack targeting these vulnerabilities (such as rerouting the target request to a malicious server or hijacking the traffic). A viable strategy to solve this problem is, by dynamically changing the system properties, configurations and create unique fingerprints to identify the source. However, the existing work of fingerprinting mainly focuses on lower-level properties (e.g IP address), and only these types of properties are restricted for mutation. We develop a novel system, called Verify-Pro, to provide server authentication using communication protocol dialects, that uses a client-server architecture based on network protocols for customizing the communication transactions. For each session, a particular sequence of handshakes will be used as dialects. So, given the context, with the establishment of a one-time username and password, we use the dialects as an authentication mechanism for each request (e.g get filename in FTP) throughout the session, which enforces continuous authentication. Specifically, we leverage a machine learning approach on both client and server machines to trigger a specific dialect that dynamically changes for each request. We implement a prototype of Verify-Pro and evaluate its practicality on standard communication protocols FTP, HTTP & internet of things protocol MQTT. Our experimental results show that by sending misleading information through message packets from an attacker at the application layer, it is possible for the recipient to identify if the sender is genuine or a spoofed one, with a negligible overhead of 0.536%.


title: Quasi-periodic spicule-like cool jets driven by Alfv\'en pulses

abstract: We perform a 2.5 dimensional magnetohydrodynamic (MHD) simulation to understand a comprehensive view of the formation of spicule-like cool jets due to initial transverse velocity pulses akin to Alfv\'en pulses in the solar chromosphere. We invoke multiple velocity ($V_{z}$) pulses between 1.5 and 2.0 Mm in the solar atmosphere, which create the initial transverse velocity perturbations. These pulses transfer energy non-linearly to the field aligned perturbations due to the ponderomotive force. This physical process further creates the magnetoacoustic shocks followed by quasi-periodic plasma motions in the solar atmosphere. The field aligned magnetoacoustic shocks move upward which subsequently cause quasi-periodic rise and fall of the chromospheric plasma into the overlying corona as a thin and cool spicule-like jets. The magnitude of the initial applied transverse velocity pulses are taken in the range of 50-90 km $s^{-1}$. These pulses are found to be strong enough to generate the spicule-like jets. We analyze the evolution, kinematics and energetics of these spicule-like jets. We find that the transported mass flux and kinetic energy density are substantial in the localized solar-corona. These mass motions generate $\it in$ $situ$ quasi-periodic oscillations on the scale of $\simeq$ 4.0 min above the transition region.


title: MetaStan: An R package for Bayesian (model-based) meta-analysis using Stan

abstract: Meta-analysis methods are used to combine evidence from multiple studies. Meta-regression as well as model-based meta-analysis are extensions of standard pairwise meta-analysis in which information about study-level covariates and (arm-level) dosing amount or exposure may be taken into account. A Bayesian approach to inference is very attractive in this context, especially when a meta-analysis is based on few studies only or rare events. In this article, we present the R package MetaStan which implements a wide range of pairwise and model-based meta-analysis models. A generalised linear mixed model (GLMM) framework is used to describe the pairwise meta-analysis, meta-regression and model-based meta-analysis models. Within the GLMM framework, the likelihood and link functions are adapted to reflect the nature of the data. For example, a binomial likelihood with a logit link is used to perform a meta-analysis based on datasets with dichotomous endpoints. Bayesian computations are conducted using Stan via the rstan interface. Stan uses a Hamiltonian Monte Carlo sampler which belongs to the family of Markov chain Monte Carlo methods. Stan implementations are done by using suitable parametrizations to ease computations. The user-friendly R package MetaStan, available on CRAN, supports a wide range of pairwise and model-based meta-analysis models. MetaStan provides fitting functions for pairwise meta-analysis with the option of including covariates and model-based meta-analysis. The supported outcome types are continuous, binary, and count. Forest plots for the pairwise meta-analysis and dose-response plots for the model-based meta-analysis can be obtained from the package. The use of MetaStan is demonstrated through clinical examples.