title: Graph Pooling via Coarsened Graph Infomax

abstract: Graph pooling that summaries the information in a large graph into a compact form is essential in hierarchical graph representation learning. Existing graph pooling methods either suffer from high computational complexity or cannot capture the global dependencies between graphs before and after pooling. To address the problems of existing graph pooling methods, we propose Coarsened Graph Infomax Pooling (CGIPool) that maximizes the mutual information between the input and the coarsened graph of each pooling layer to preserve graph-level dependencies. To achieve mutual information neural maximization, we apply contrastive learning and propose a self-attention-based algorithm for learning positive and negative samples. Extensive experimental results on seven datasets illustrate the superiority of CGIPool comparing to the state-of-the-art methods.


title: Non-I.I.D. Multi-Instance Learning for Predicting Instance and Bag Labels using Variational Auto-Encoder

abstract: Multi-instance learning is a type of weakly supervised learning. It deals with tasks where the data is a set of bags and each bag is a set of instances. Only the bag labels are observed whereas the labels for the instances are unknown. An important advantage of multi-instance learning is that by representing objects as a bag of instances, it is able to preserve the inherent dependencies among parts of the objects. Unfortunately, most existing algorithms assume all instances to be \textit{identically and independently distributed}, which violates real-world scenarios since the instances within a bag are rarely independent. In this work, we propose the Multi-Instance Variational Auto-Encoder (MIVAE) algorithm which explicitly models the dependencies among the instances for predicting both bag labels and instance labels. Experimental results on several multi-instance benchmarks and end-to-end medical imaging datasets demonstrate that MIVAE performs better than state-of-the-art algorithms for both instance label and bag label prediction tasks.


title: Lee-Huang-Yang effects in the ultracold mixture of $^{23}$Na and $^{87}$Rb with attractive interspecies interactions

abstract: The beyond-mean-field Lee-Huang-Yang (LHY) correction is ubiquitous in dilute ultracold quantum gases. However, its effects are often elusive due to the typically much larger influence of the mean-field energy. In this work, we study an ultracold mixture of $^{23}$Na and $^{87}$Rb with tunable attractive interspecies interactions. The LHY effects manifest in the formation of self-bound quantum liquid droplets and the expansion dynamics of the gas-phase sample. A liquid-to-gas phase diagram is obtained by measuring the critical atom numbers below which the self-bound behavior disappears. In stark contrast to trapped gas-phase condensates, the gas-phase mixture formed following the liquid-to-gas phase transition shows an anomalous expansion featuring a larger release energy for increasing mean-field attractions.


title: Nonparametric Quantile Regression for Homogeneity Pursuit in Panel Data Models

abstract: Many panel data have the latent subgroup effect on individuals, and it is important to correctly identify these groups since the efficiency of resulting estimators can be improved significantly by pooling the information of individuals within each group. However, the currently assumed parametric and semiparametric relationship between the response and predictors may be misspecified, which leads to a wrong grouping result, and the nonparametric approach hence can be considered to avoid such mistakes. Moreover, the response may depend on predictors in different ways at various quantile levels, and the corresponding grouping structure may also vary. To tackle these problems, this article proposes a nonparametric quantile regression method for homogeneity pursuit in panel data models with individual effects, and a pairwise fused penalty is used to automatically select the number of groups. The asymptotic properties are established, and an ADMM algorithm is also developed. The finite sample performance is evaluated by simulation experiments, and the usefulness of the proposed methodology is further illustrated by an empirical example.


title: ZEN 2.0: Continue Training and Adaption for N-gram Enhanced Text Encoders

abstract: Pre-trained text encoders have drawn sustaining attention in natural language processing (NLP) and shown their capability in obtaining promising results in different tasks. Recent studies illustrated that external self-supervised signals (or knowledge extracted by unsupervised learning, such as n-grams) are beneficial to provide useful semantic evidence for understanding languages such as Chinese, so as to improve the performance on various downstream tasks accordingly. To further enhance the encoders, in this paper, we propose to pre-train n-gram-enhanced encoders with a large volume of data and advanced techniques for training. Moreover, we try to extend the encoder to different languages as well as different domains, where it is confirmed that the same architecture is applicable to these varying circumstances and new state-of-the-art performance is observed from a long list of NLP tasks across languages and domains.


title: VersaGNN: a Versatile accelerator for Graph neural networks

abstract: \textit{Graph Neural Network} (GNN) is a promising approach for analyzing graph-structured data that tactfully captures their dependency information via node-level message passing. It has achieved state-of-the-art performances in many tasks, such as node classification, graph matching, clustering, and graph generation. As GNNs operate on non-Euclidean data, their irregular data access patterns cause considerable computational costs and overhead on conventional architectures, such as GPU and CPU. Our analysis shows that GNN adopts a hybrid computing model. The \textit{Aggregation} (or \textit{Message Passing}) phase performs vector additions where vectors are fetched with irregular strides. The \textit{Transformation} (or \textit{Node Embedding}) phase can be either dense or sparse-dense matrix multiplication. In this work, We propose \textit{VersaGNN}, an ultra-efficient, systolic-array-based versatile hardware accelerator that unifies dense and sparse matrix multiplication. By applying this single optimized systolic array to both aggregation and transformation phases, we have significantly reduced chip sizes and energy consumption. We then divide the computing engine into blocked systolic arrays to support the \textit{Strassen}'s algorithm for dense matrix multiplication, dramatically scaling down the number of multiplications and enabling high-throughput computation of GNNs. To balance the workload of sparse-dense matrix multiplication, we also introduced a greedy algorithm to combine sparse sub-matrices of compressed format into condensed ones to reduce computational cycles. Compared with current state-of-the-art GNN software frameworks, \textit{VersaGNN} achieves on average 3712$\times$ speedup with 1301.25$\times$ energy reduction on CPU, and 35.4$\times$ speedup with 17.66$\times$ energy reduction on GPU.


title: Citadel: Protecting Data Privacy and Model Confidentiality for Collaborative Learning with SGX

abstract: With the advancement of machine learning (ML) and its growing awareness, many organizations who own data but not ML expertise (data owner) would like to pool their data and collaborate with those who have expertise but need data from diverse sources to train truly generalizable models (model owner). In such collaborative ML, the data owner wants to protect the privacy of its training data, while the model owner desires the confidentiality of the model and the training method which may contain intellectual properties. However, existing private ML solutions, such as federated learning and split learning, cannot meet the privacy requirements of both data and model owners at the same time. This paper presents Citadel, a scalable collaborative ML system that protects the privacy of both data owner and model owner in untrusted infrastructures with the help of Intel SGX. Citadel performs distributed training across multiple training enclaves running on behalf of data owners and an aggregator enclave on behalf of the model owner. Citadel further establishes a strong information barrier between these enclaves by means of zero-sum masking and hierarchical aggregation to prevent data/model leakage during collaborative training. Compared with the existing SGX-protected training systems, Citadel enables better scalability and stronger privacy guarantees for collaborative ML. Cloud deployment with various ML models shows that Citadel scales to a large number of enclaves with less than 1.73X slowdown caused by SGX.


title: Winter wheat yield prediction using convolutional neural networks from environmental and phenological data

abstract: Crop yield forecasting depends on many interactive factors, including crop genotype, weather, soil, and management practices. This study analyzes the performance of machine learning and deep learning methods for winter wheat yield prediction using an extensive dataset of weather, soil, and crop phenology variables in 271 counties across Germany from 1999 to 2019. We proposed a Convolutional Neural Network (CNN) model, which uses a 1-dimensional convolution operation to capture the time dependencies of environmental variables. We used eight supervised machine learning models as baselines and evaluated their predictive performance using RMSE, MAE, and correlation coefficient metrics to benchmark the yield prediction results. Our findings suggested that nonlinear models such as the proposed CNN, Deep Neural Network (DNN), and XGBoost were more effective in understanding the relationship between the crop yield and input data compared to the linear models. Our proposed CNN model outperformed all other baseline models used for winter wheat yield prediction (7 to 14% lower RMSE, 3 to 15% lower MAE, and 4 to 50% higher correlation coefficient than the best performing baseline across test data). We aggregated soil moisture and meteorological features at the weekly resolution to address the seasonality of the data. We also moved beyond prediction and interpreted the outputs of our proposed CNN model using SHAP and force plots which provided key insights in explaining the yield prediction results (importance of variables by time). We found DUL, wind speed at week ten, and radiation amount at week seven as the most critical features in winter wheat yield prediction.


title: Topological band theory of a generalized eigenvalue problem with Hermitian matrices: Symmetry-protected exceptional rings with emergent symmetry

abstract: So far, topological band theory is discussed mainly for systems described by eigenvalue problems. Here, we develop a topological band theory described by a generalized eigenvalue problem (GEVP). Our analysis elucidates that non-Hermitian topological band structures may emerge for systems described by a GEVP with Hermitian matrices. The above result is verified by analyzing a two-dimensional toy model where symmetry-protected exceptional rings (SPERs) emerge although the matrices involved are Hermitian. Remarkably, these SPERs are protected by emergent symmetry, which is unique to the systems described by the GEVP. Furthermore, these SPERs elucidate the origin of the characteristic dispersion of hyperbolic metamaterials which is observed in experiments.


title: COVID-Net CT-S: 3D Convolutional Neural Network Architectures for COVID-19 Severity Assessment using Chest CT Images

abstract: The health and socioeconomic difficulties caused by the COVID-19 pandemic continues to cause enormous tensions around the world. In particular, this extraordinary surge in the number of cases has put considerable strain on health care systems around the world. A critical step in the treatment and management of COVID-19 positive patients is severity assessment, which is challenging even for expert radiologists given the subtleties at different stages of lung disease severity. Motivated by this challenge, we introduce COVID-Net CT-S, a suite of deep convolutional neural networks for predicting lung disease severity due to COVID-19 infection. More specifically, a 3D residual architecture design is leveraged to learn volumetric visual indicators characterizing the degree of COVID-19 lung disease severity. Experimental results using the patient cohort collected by the China National Center for Bioinformation (CNCB) showed that the proposed COVID-Net CT-S networks, by leveraging volumetric features, can achieve significantly improved severity assessment performance when compared to traditional severity assessment networks that learn and leverage 2D visual features to characterize COVID-19 severity.


title: Online adaptive basis construction for nonlinear model reduction through local error optimization

abstract: The accuracy of the reduced-order model (ROM) mainly depends on the selected basis. Therefore, it is essential to compute an appropriate basis with an efficient numerical procedure when applying ROM to nonlinear problems. In this paper, we propose an online adaptive basis technique to increase the quality of ROM while decreasing the computational costs in nonlinear problems. In the proposed method, the adaptive basis is defined by the low-rank update formulation, and two auxiliary vectors are set to implement this low-rank condition. To simultaneously tackle the issues of accuracy and the computational cost of the ROM basis, the auxiliary vectors are algebraically derived by optimizing a local residual operator. As a result, the reliability of ROM is significantly improved with a low computational cost because the error information can be contained without inverse operations of the full model dimension required in conventional approaches. The other feature of the proposed iterative algorithm is that the number of the initial incremental ROM basis could be varied, unlike in the typical online adaptive basis approaches. It may provide a fast and effective spanning process of the high-quality ROM subspace in the iteration step. A detailed derivation process of the proposed method is presented, and its performance is evaluated in various nonlinear numerical examples.


title: Operator Splitting for Adaptive Radiation Therapy with Nonlinear Health Dynamics

abstract: We present an optimization-based approach to radiation treatment planning over time. Our approach formulates treatment planning as an optimal control problem with nonlinear patient health dynamics derived from the standard linear-quadratic cell survival model. As the formulation is nonconvex, we propose a method for obtaining an approximate solution by solving a sequence of convex optimization problems. This method is fast, efficient, and robust to model error, adapting readily to changes in the patient's health between treatment sessions. Moreover, we show that it can be combined with the operator splitting method ADMM to produce an algorithm that is highly scalable and can handle large clinical cases. We introduce an open-source Python implementation of our algorithm, AdaRad, and demonstrate its performance on several examples.


title: Autonomous Robotic Mapping of Fragile Geologic Features

abstract: Robotic mapping is useful in scientific applications that involve surveying unstructured environments. This paper presents a target-oriented mapping system for sparsely distributed geologic surface features, such as precariously balanced rocks (PBRs), whose geometric fragility parameters can provide valuable information on earthquake shaking history and landscape development for a region. With this geomorphology problem as the test domain, we demonstrate a pipeline for detecting, localizing, and precisely mapping fragile geologic features distributed on a landscape. To do so, we first carry out a lawn-mower search pattern in the survey region from a high elevation using an Unpiloted Aerial Vehicle (UAV). Once a potential PBR target is detected by a deep neural network, we track the bounding box in the image frames using a real-time tracking algorithm. The location and occupancy of the target in world coordinates are estimated using a sampling-based filtering algorithm, where a set of 3D points are re-sampled after weighting by the tracked bounding boxes from different camera perspectives. The converged 3D points provide a prior on 3D bounding shape of a target, which is used for UAV path planning to closely and completely map the target with Simultaneous Localization and Mapping (SLAM). After target mapping, the UAV resumes the lawn-mower search pattern to find the next target. We introduce techniques to make the target mapping robust to false positive and missing detection from the neural network. Our target-oriented mapping system has the advantages of reducing map storage and emphasizing complete visible surface features on specified targets.


title: Walk in the Cloud: Learning Curves for Point Clouds Shape Analysis

abstract: Discrete point cloud objects lack sufficient shape descriptors of 3D geometries. In this paper, we present a novel method for aggregating hypothetical curves in point clouds. Sequences of connected points (curves) are initially grouped by taking guided walks in the point clouds, and then subsequently aggregated back to augment their point-wise features. We provide an effective implementation of the proposed aggregation strategy including a novel curve grouping operator followed by a curve aggregation operator. Our method was benchmarked on several point cloud analysis tasks where we achieved the state-of-the-art classification accuracy of 94.2% on the ModelNet40 classification task, instance IoU of 86.8 on the ShapeNetPart segmentation task, and cosine error of 0.11 on the ModelNet40 normal estimation task.


title: Representation Learning for Clustering via Building Consensus

abstract: In this paper, we focus on unsupervised representation learning for clustering of images. Recent advances in deep clustering and unsupervised representation learning are based on the idea that different views of an input image (generated through data augmentation techniques) must be close in the representation space (exemplar consistency), and/or similar images must have similar cluster assignments (population consistency). We define an additional notion of consistency, consensus consistency, which ensures that representations are learned to induce similar partitions for variations in the representation space, different clustering algorithms or different initializations of a single clustering algorithm. We define a clustering loss by executing variations in the representation space and seamlessly integrate all three consistencies (consensus, exemplar and population) into an end-to-end learning framework. The proposed algorithm, consensus clustering using unsupervised representation learning (ConCURL), improves upon the clustering performance of state-of-the-art methods on four out of five image datasets. Furthermore, we extend the evaluation procedure for clustering to reflect the challenges encountered in real-world clustering tasks, such as maintaining clustering performance in cases with distribution shifts. We also perform a detailed ablation study for a deeper understanding of the proposed algorithm. The code and the trained models are available at https://github.com/JayanthRR/ConCURL_NCE.


title: Dual-Cross Central Difference Network for Face Anti-Spoofing

abstract: Face anti-spoofing (FAS) plays a vital role in securing face recognition systems. Recently, central difference convolution (CDC) has shown its excellent representation capacity for the FAS task via leveraging local gradient features. However, aggregating central difference clues from all neighbors/directions simultaneously makes the CDC redundant and sub-optimized in the training phase. In this paper, we propose two Cross Central Difference Convolutions (C-CDC), which exploit the difference of the center and surround sparse local features from the horizontal/vertical and diagonal directions, respectively. It is interesting to find that, with only five ninth parameters and less computational cost, C-CDC even outperforms the full directional CDC. Based on these two decoupled C-CDC, a powerful Dual-Cross Central Difference Network (DC-CDN) is established with Cross Feature Interaction Modules (CFIM) for mutual relation mining and local detailed representation enhancement. Furthermore, a novel Patch Exchange (PE) augmentation strategy for FAS is proposed via simply exchanging the face patches as well as their dense labels from random samples. Thus, the augmented samples contain richer live/spoof patterns and diverse domain distributions, which benefits the intrinsic and robust feature learning. Comprehensive experiments are performed on four benchmark datasets with three testing protocols to demonstrate our state-of-the-art performance.


title: The automorphism group of the Fra\"iss\'e limit of finite Heyting algebras

abstract: Roelcke non-precompactness, non-simplicity, and non-amenability of the automorphism group of the Fra\"iss\'e limit of finite Heyting algebras are examined among others.


title: Extended Chern-Simons model for a vector multiplet

abstract: We consider a gauge theory of vector fields in $3d$ Minkowski space. At the free level, the dynamical variables are subjected to the extended Chern-Simons (ECS) equations with higher derivatives. If the color index takes $n$ values, the third-order model admits a $2n$-parameter series of second-rank conserved tensors, which includes the canonical energy-momentum. Even though the canonical energy is unbounded, the other representatives in the series can have bounded from below $00$-component. The theory admits consistent self-interactions with the Yang-Mills gauge symmetry. The Lagrangian couplings preserve the unbounded from below energy-momentum tensor, and they do not lead to a stable non-linear theory. The non-Lagrangian couplings are consistent with the existence of conserved tensor with a bounded from below $00$-component. These models are stable at the non-linear level. The dynamics of interacting theory admits a constraint Hamiltonian form. The Hamiltonian density is given by the $00$-component of the conserved tensor. In the case of stable interactions, the Poisson bracket and Hamiltonian do not follow from the canonical Ostrogradski construction. The particular attention is paid to the "triply massless" ECS theory, which demonstrates instability already at the free level. It is shown that the introduction of extra scalar field, serving as Higgs, can stabilize dynamics in the vicinity of the local minimum of energy. The equations of motion of stable model are non-Lagrangian, but they admit the Hamiltonian form of dynamics with a bounded from below Hamiltonian.


title: High-Resolution Observations of Prominence Plume Formation with the New Vacuum Solar Telescope

abstract: Prominence plumes are evacuated upflows that emerge from bubbles below prominences, whose formation mechanism is still unclear. Here we present a detailed study of plumes in a quiescent prominence using the high-resolution H-alpha filtergrams at the line center as well as line wing at +/-0.4 angstrom from the New Vacuum Solar Telescope. Enhancements of brightening, blue shifts, and turbulence at the fronts of plumes are found during their formation. Some large plumes split at their heads and finger-shaped structures are formed between them. Blue-shifted flows along the bubble-prominence interface are found before and during the plume formation. Our observations are consistent with the hypothesis that prominence plumes are related to coupled Kelvin-Helmholtz and Rayleigh-Taylor (KH/RT) instabilities. Plume splittings and fingers are evidence of RT instability, and the flows may increase the growth rate of KH/RT instabilities. However, the significant turbulence at plume fronts may suggest that the RT instability is triggered by the plumes penetrating into the prominence. In this scenario, extra mechanisms are necessary to drive the plumes.


title: Hallucination Improves Few-Shot Object Detection

abstract: Learning to detect novel objects from few annotated examples is of great practical importance. A particularly challenging yet common regime occurs when there are extremely limited examples (less than three). One critical factor in improving few-shot detection is to address the lack of variation in training data. We propose to build a better model of variation for novel classes by transferring the shared within-class variation from base classes. To this end, we introduce a hallucinator network that learns to generate additional, useful training examples in the region of interest (RoI) feature space, and incorporate it into a modern object detection model. Our approach yields significant performance improvements on two state-of-the-art few-shot detectors with different proposal generation procedures. In particular, we achieve new state of the art in the extremely-few-shot regime on the challenging COCO benchmark.


title: Testing the microstructure of $d$-dimensional charged Gauss-Bonnet anti-de Sitter black holes

abstract: Understanding black hole microstructure via the thermodynamic geometry can provide us with more deeper insight into black hole thermodynamics in modified gravities. In this paper, we study the black hole phase transition and Ruppeiner geometry for the $d$-dimensional charged Gauss-Bonnet anti-de Sitter black holes. The results show that the small-large black hole phase transition is universal in this gravity. By reducing the thermodynamic quantities with the black hole charge, we clearly exhibit the phase diagrams in different parameter spaces. Of particular interest is that the radius of the black hole horizon can act as the order parameter to characterize the black hole phase transition. We also disclose that different from the five-dimensional neutral black holes, the charged ones allow the repulsive interaction among its microstructure for small black hole of higher temperature. Another significant difference between them is that the microscopic interaction changes during the small-large black hole phase transition for the charged case, where the black hole microstructure undergoes a sudden change. These results are helpful for peeking into the microstructure of charged black holes in the Gauss-Bonnet gravity.


title: Semantic Extractor-Paraphraser based Abstractive Summarization

abstract: The anthology of spoken languages today is inundated with textual information, necessitating the development of automatic summarization models. In this manuscript, we propose an extractor-paraphraser based abstractive summarization system that exploits semantic overlap as opposed to its predecessors that focus more on syntactic information overlap. Our model outperforms the state-of-the-art baselines in terms of ROUGE, METEOR and word mover similarity (WMS), establishing the superiority of the proposed system via extensive ablation experiments. We have also challenged the summarization capabilities of the state of the art Pointer Generator Network (PGN), and through thorough experimentation, shown that PGN is more of a paraphraser, contrary to the prevailing notion of a summarizer; illustrating it's incapability to accumulate information across multiple sentences.


title: Positive measure of effective quasi-periodic motion near a Diophantine torus

abstract: It was conjectured by Herman that an analytic Lagrangian Diophantine quasi-periodic torus $\mathcal{T}_0$, invariant by a real-analytic Hamiltonian system, is always accumulated by a set of positive Lebesgue measure of other Lagrangian Diophantine quasi-periodic invariant tori. While the conjecture is still open, we will prove the following weaker statement: there exists an open set of positive measure (in fact, the relative measure of the complement is exponentially small) around $\mathcal{T}_0$ such that the motion of all initial conditions in this set is "effectively" quasi-periodic in the sense that they are close to being quasi-periodic for an interval of time which is doubly exponentially long with respect to the inverse of the distance to $\mathcal{T}_0$. This open set can be thought as a neighborhood of a hypothetical invariant set of Lagrangian Diophantine quasi-periodic tori, which may or may not exist.


title: Backward Stability of Explicit External Deflation for the Symmetric Eigenvalue Problem

abstract: A thorough backward stability analysis of Hotelling's deflation, an explicit external deflation procedure through low-rank updates for computing many eigenpairs of a symmetric matrix, is presented. Computable upper bounds of the loss of the orthogonality of the computed eigenvectors and the symmetric backward error norm of the computed eigenpairs are derived. Sufficient conditions for the backward stability of the explicit external deflation procedure are revealed. Based on these theoretical results, the strategy for achieving numerical backward stability by dynamically selecting the shifts is proposed. Numerical results are presented to corroborate the theoretical analysis and to demonstrate the stability of the procedure for computing many eigenpairs of large symmetric matrices arising from applications.


title: LAFFNet: A Lightweight Adaptive Feature Fusion Network for Underwater Image Enhancement

abstract: Underwater image enhancement is an important low-level computer vision task for autonomous underwater vehicles and remotely operated vehicles to explore and understand the underwater environments. Recently, deep convolutional neural networks (CNNs) have been successfully used in many computer vision problems, and so does underwater image enhancement. There are many deep-learning-based methods with impressive performance for underwater image enhancement, but their memory and model parameter costs are hindrances in practical application. To address this issue, we propose a lightweight adaptive feature fusion network (LAFFNet). The model is the encoder-decoder model with multiple adaptive feature fusion (AAF) modules. AAF subsumes multiple branches with different kernel sizes to generate multi-scale feature maps. Furthermore, channel attention is used to merge these feature maps adaptively. Our method reduces the number of parameters from 2.5M to 0.15M (around 94% reduction) but outperforms state-of-the-art algorithms by extensive experiments. Furthermore, we demonstrate our LAFFNet effectively improves high-level vision tasks like salience object detection and single image depth estimation.


title: Effects of coalescence and isospin symmetry on the freezeout of light nuclei and their anti-particles

abstract: The transverse momentum spectra of light nuclei (deuteron, triton and helion) produced in various centrality intervals in Gold-Gold (Au-Au), Lead-Lead (Pb-Pb) and proton-Lead (p-Pb) collisions, as well as in inelastic (INEL) proton-proton (pp) collisions are analyzed by the blast wave model with Boltzmann Gibbs statistics. The model results are nearly in agreement with the experimental data measured by STAR and ALICE Collaborations in special transverse momentum ranges. We extracted the bulk properties in terms of kinetic freezeout temperature, transverse flow velocity and freezeout volume. It is observed that deuteron and anti-deuteron freezeout later than triton and helion as well as their anti-particles due to its smaller mass, while helion and triton, and anti-helion and anti-triton freezeout at the same time due to isospin symmetry at higher energies. It is also observed that light nuclei freezeout earlier than their anti-nuclei due to the large coalescence of nucleons for light nuclei compared to their anti-nuclei. The kinetic freezeout temperature, transverse flow velocity and kinetic freezeout volume decrease from central to peripheral collisions. Furthermore, the transverse flow velocity depends on mass of the particle which decreases with increasing the mass of the particle.


title: On a bound of Cocke and Venkataraman

abstract: Let G be a finite group with exactly k elements of largest possible order m. Let q(m) be the product of gcd(m,4) and the odd prime divisors of m. We show that |G|\le q(m)k^2/\phi(m) where \phi denotes Euler's totient function. This strengthens a recent result of Cocke and Venkataraman. As an application we classify all finite groups with k<36. This is motivated by a conjecture of Thompson and unifies several partial results in the literature.


title: Speech Decomposition Based on a Hybrid Speech Model and Optimal Segmentation

abstract: In a hybrid speech model, both voiced and unvoiced components can coexist in a segment. Often, the voiced speech is regarded as the deterministic component, and the unvoiced speech and additive noise are the stochastic components. Typically, the speech signal is considered stationary within fixed segments of 20-40 ms, but the degree of stationarity varies over time. For decomposing noisy speech into its voiced and unvoiced components, a fixed segmentation may be too crude, and we here propose to adapt the segment length according to the signal local characteristics. The segmentation relies on parameter estimates of a hybrid speech model and the maximum a posteriori (MAP) and log-likelihood criteria as rules for model selection among the possible segment lengths, for voiced and unvoiced speech, respectively. Given the optimal segmentation markers and the estimated statistics, both components are estimated using linear filtering. A codebook-based approach differentiates between unvoiced speech and noise. A better extraction of the components is possible by taking into account the adaptive segmentation, compared to a fixed one. Also, a lower distortion for voiced speech and higher segSNR for both components is possible, as compared to other decomposition methods.


title: Personalized Algorithm Generation: A Case Study in Learning ODE Integrators

abstract: We study the learning of numerical algorithms for scientific computing, which combines mathematically driven, handcrafted design of general algorithm structure with a data-driven adaptation to specific classes of tasks. This represents a departure from the classical approaches in numerical analysis, which typically do not feature such learning-based adaptations. As a case study, we develop a machine learning approach that automatically learns effective solvers for initial value problems in the form of ordinary differential equations (ODEs), based on the Runge-Kutta (RK) integrator architecture. We show that we can learn high-order integrators for targeted families of differential equations without the need for computing integrator coefficients by hand. Moreover, we demonstrate that in certain cases we can obtain superior performance to classical RK methods. This can be attributed to certain properties of the ODE families being identified and exploited by the approach. Overall, this work demonstrates an effective learning-based approach to the design of algorithms for the numerical solution of differential equations. This can be readily extended to other numerical tasks.


title: Multiphysics model reduction of thermomechanical vibration in a state-space formulation

abstract: The aim of this work is to propose a new multiphysics mode synthesis (MMS) for the thermomechanical vibration problem. The present thermomechanical model is based on a state-space formulation, which consists of displacement, velocity, and temperature shift. The state-space based thermomechanical formulation is symmetric unlike a conventional non-symmetric formulation. In the proposed MMS, the structural variables are first reduced, which is then applied to the coupling term in the thermal parts. A term of the thermal domain is then reduced while preserving the multiphysics coupling effects, resulting in improved accuracy. The proposed two-step MMS with the thermal physics domain update can be implemented with the coupling term derived by using the residual flexibility. The proposed MMS strategy can be also applied to accelerate the computational speed by using independent parallel solvers. The performance of the proposed MMS method is evaluated through numerical examples.


title: Large-scale Taxonomy Induction Using Entity and Word Embeddings

abstract: Taxonomies are an important ingredient of knowledge organization, and serve as a backbone for more sophisticated knowledge representations in intelligent systems, such as formal ontologies. However, building taxonomies manually is a costly endeavor, and hence, automatic methods for taxonomy induction are a good alternative to build large-scale taxonomies. In this paper, we propose TIEmb, an approach for automatic unsupervised class subsumption axiom extraction from knowledge bases using entity and text embeddings. We apply the approach on the WebIsA database, a database of subsumption relations extracted from the large portion of the World Wide Web, to extract class hierarchies in the Person and Place domain.


title: Discourse Relation Embeddings: Representing the Relations between Discourse Segments in Social Media

abstract: Discourse relations are typically modeled as a discrete class that characterizes the relation between segments of text (e.g. causal explanations, expansions). However, such predefined discrete classes limits the universe of potential relationships and their nuanced differences. Analogous to contextual word embeddings, we propose representing discourse relations as points in high dimensional continuous space. However, unlike words, discourse relations often have no surface form (relations are between two segments, often with no word or phrase in that gap) which presents a challenge for existing embedding techniques. We present a novel method for automatically creating discourse relation embeddings (DiscRE), addressing the embedding challenge through a weakly supervised, multitask approach to learn diverse and nuanced relations between discourse segments in social media. Results show DiscRE can: (1) obtain the best performance on Twitter discourse relation classification task (macro F1=0.76) (2) improve the state of the art in social media causality prediction (from F1=.79 to .81), (3) perform beyond modern sentence and contextual word embeddings at traditional discourse relation classification, and (4) capture novel nuanced relations (e.g. relations semantically at the intersection of causal explanations and counterfactuals).


title: Disorder lines, modulation, and partition function zeros in free fermion models

abstract: The modulation is analyzed from the analytical properties of zeros of free fermionic partition function on the complex plane of wave numbers. It is shown how these properties are related to the oscillations of correlation functions. This approach can be used for analysis of phase transitions with local or nonlocal order parameters, as well as for the disorder lines. We find an infinite cascade of disorder lines at finite temperature in the quantum $XY$ chain (equivalent to free fermions). The well-known ground state factorization on the disorder line, and consequently, disentanglement, is shown to follow directly from analytical properties of this model on the complex plane. From the quantum-classical correspondence the results for the chain are used to detect the disorder lines in several frustrated 2D Ising models. The present formalism can be applied to other fermionic models in two and three spatial dimensions. In particular, we find the temperature-dependent Fermi wave vector of oscillations in the degenerate gas of 3D fermions, which naturally leads in the limit $T \to 0$ to the definition of the Fermi energy as the surface of quantum criticality. The modulation is a very common phenomenon, and it occurs in a large variety of models. The important point is that all these modulation transitions can be related to the complex zeros of partition functions, as done in the present study.


title: Defeating Super-Reactive Jammers With Deception Strategy: Modeling, Signal Detection, and Performance Analysis

abstract: This paper develops a novel framework to defeat a super-reactive jammer, one of the most difficult jamming attacks to deal with in practice. Specifically, the jammer has an unlimited power budget and is equipped with the self-interference suppression capability to simultaneously attack and listen to the transmitter's activities. Consequently, dealing with super-reactive jammers is very challenging. Thus, we introduce a smart deception mechanism to attract the jammer to continuously attack the channel and then leverage jamming signals to transmit data based on the ambient backscatter communication technology. To detect the backscattered signals, the maximum likelihood detector can be adopted. However, this method is notorious for its high computational complexity and requires the model of the current propagation environment as well as channel state information. Hence, we propose a deep learning-based detector that can dynamically adapt to any channels and noise distributions. With a Long Short-Term Memory network, our detector can learn the received signals' dependencies to achieve a performance close to that of the optimal maximum likelihood detector. Through simulation and theoretical results, we demonstrate that with our approaches, the more power the jammer uses to attack the channel, the better bit error rate performance the transmitter can achieve.


title: Intrinsic metrics in ring domains

abstract: Three hyperbolic type metrics including the triangular ratio metric, the $j^*$-metric and the M\"obius metric are studied in an annular ring. The Euclidean midpoint rotation is introduced as a method to create upper and lower bounds for these metrics, and their sharp inequalities are found. A new M\"obius-invariant lower bound is proved for the conformal capacity of a general ring domain by using a symmetric quantity defined with the M\"obius metric.


title: Waiting Times for Ties in Random Competitions

abstract: Multiple teams participate in a random competition. In each round the winner receives one point. We study the times until ties occur among teams. We construct martingales and supermartingales that enable us to prove the results regarding these stopping times. The problems studied in this paper are motivated by their applications to databases and their storage engines that are based on augmented balanced search trees. The ties in the competitions are related to the necessary rebalancing operations that have to be executed on the database.


title: Inferring the Reader: Guiding Automated Story Generation with Commonsense Reasoning

abstract: Transformer-based language model approaches to automated story generation currently provide state-of-the-art results. However, they still suffer from plot incoherence when generating narratives over time, and critically lack basic commonsense reasoning. Furthermore, existing methods generally focus only on single-character stories, or fail to track characters at all. To improve the coherence of generated narratives and to expand the scope of character-centric narrative generation, we introduce Commonsense-inference Augmented neural StoryTelling (CAST), a framework for introducing commonsense reasoning into the generation process with the option to model the interaction between multiple characters. We find that our CAST method produces significantly more coherent, on-topic, enjoyable and fluent stories than existing models in both the single-character and two-character settings in three storytelling domains.


title: Electrically driven strain-induced deterministic single-photon emitters in a van der Waals heterostructure

abstract: Quantum confinement in atomically-thin TMDCs enables the realization of deterministic single-photon emitters. The position and polarization control of single photons have been achieved via local strain engineering using nanostructures. However, most existing TMDC-based emitters are operated by optical pumping, while the emission sites in electrically pumped emitters are uncontrolled. Here, we demonstrate electrically driven single-photon emitters located at the positions where strains are induced by atomic-force-microscope indentation on a van der Waals heterostructure consisting of graphene, hexagonal-boron nitride, and tungsten diselenide. The optical, electrical, and mechanical properties induced by the local strain gradient were systematically analyzed. In particular, single-photon emission was observed at the indentation sites at 4 K. The emission exhibits photon anti-bunching behavior with a g(2)(0) value of ~0.3, intensity saturation and a linearly cross-polarized doublet. This robust spatial control of electrically driven single-photon emitters will pave the way for the practical implementation of integrated quantum light sources.


title: Advanced Phase-Change Materials for Enhanced Meta-Displays

abstract: Structural colors generated due to light scattering from static all-dielectric metasurfaces have successfully enabled high-resolution, high-saturation and wide-gamut color printing applications. Despite recent advances, most demonstrations of these structure-dependent colors lack post-fabrication tunability that hinders their applicability for front-end dynamic display technologies. Phase-change materials (PCMs), with significant contrast of their optical properties between their amorphous and crystalline states, have demonstrated promising potentials in reconfigurable nanophotonics. Herein, we leverage a tunable all-dielectric reflective metasurface made of a newly emerged class of low-loss optical PCMs with superb characteristics, i.e., antimony trisulphide (Sb$_2$S$_3$), antimony triselenide (Sb$_2$Se$_3$), and binary germanium-doped selenide (GeSe$_3$), to realize switchable, high-saturation, high-efficiency and high-resolution structural colors. Having polarization sensitive building blocks, the presented metasurface can generate two different colors when illuminated by two orthogonally polarized incident beams. Such degrees of freedom (i.e., structural state and polarization) enable a single reconfigurable metasurface with fixed geometrical parameters to generate four distinct wide-gamut colors suitable for a wide range of applications, including tunable full-color printing and displays, information encryption, and anti-counterfeiting.


title: Odd integer quantum Hall states with interlayer coherence in twisted bilayer graphene

abstract: We report on the quantum Hall effect in two stacked graphene layers rotated by 2 degree. The tunneling strength among the layers can be varied from very weak to strong via the mechanism of magnetic breakdown when tuning the density. Odd-integer quantum Hall physics is not anticipated in the regime of suppressed tunneling for balanced layer densities, yet it is observed. We interpret this as a signature of Coulomb interaction induced interlayer coherence and Bose Einstein condensation of excitons that form at half filling of each layer. A density imbalance gives rise to reentrant behavior due to a phase transition from the interlayer coherent state to incompressible behavior caused by simultaneous condensation of both layers in different quantum Hall states. With increasing overall density, magnetic breakdown gains the upper hand. As a consequence of the enhanced interlayer tunneling, the interlayer coherent state and the phase transition vanish.


title: Gravitational Wave Signals from Two-Dimensional Core-Collapse Supernova Models with Rotation and Magnetic Fields

abstract: We investigate the impact of rotation and magnetic fields on the dynamics and gravitational wave emission in 2D core-collapse supernova simulations with neutrino transport. We simulate 17 different models of $15\,M_\odot$ and $39\,M_\odot$ progenitor stars with various initial rotation profiles and initial magnetic fields strengths up to $10^{12}\, \mathrm{G}$, assuming a dipolar field geometry in the progenitor. Strong magnetic fields generally prove conducive to shock revival, though this trend is not without exceptions. The impact of rotation on the post-bounce dynamics is more variegated, in line with previous studies. A significant impact on the time-frequency structure of the gravitational wave signal is found only for rapid rotation or strong initial fields. For rapid rotation, the angular momentum gradient at the proto-neutron star surface can appreciably affect the frequency of the dominant mode, so that known analytic relations for the high-frequency emission band no longer hold. In case of two magnetorotational explosion models, the deviation from these analytic relations is even more pronounced. One of the magnetorotational explosions has been evolved to more than half a second after the onset of the explosion and shows a subsidence of high-frequency emission at late times. Its most conspicuous gravitational wave signature is a high-amplitude tail signal. We also estimate the maximum detection distances for our waveforms. The magnetorotational models do not stick out for higher detectability during the post-bounce and explosion phase.


title: Technology Review of Blockchain Data Privacy Solutions

abstract: This objective of this report is to review existing enterprise blockchain technologies - EOSIO powered systems, Hyperledger Fabric and Besu, Consensus Quorum, R3 Corda and Ernst and Young's Nightfall - that provide data privacy while leveraging the data integrity benefits of blockchain. By reviewing and comparing how and how well these technologies achieve data privacy, a snapshot is captured of the industry's current best practices and data privacy models. Major enterprise technologies are contrasted in parallel to EOSIO to better understand how EOSIO can evolve to meet the trends seen in enterprise blockchain privacy. The following strategies and trends were generally observed in these technologies: Cryptography: the hashing algorithm was found to be the most used cryptographic primitive in enterprise or changeover privacy solutions. Coordination via on-chain contracts - a common strategy was to use a shared publicly ledger to coordinate data privacy groups and more generally managed identities and access control. Transaction and contract code sharing: there was a variety of different levels of privacy around the business logic (smart contract code) visibility. Some solutions only allowed authorised peers to view code while others made this accessible to everybody that was a member of the shared ledger. Data migrations for data privacy applications: significant challenges exist when using cryptographically stored data in terms of being able to run system upgrades. Multiple blockchain ledgers for data privacy: solutions attempted to create a new private blockchain for every private data relationship which was eventually abandoned in favour of one shared ledger with private data collections/transactions that were anchored to the ledger with a hash in order to improve scaling.


title: Baryogenesis from Hierarchical Dirac Neutrinos

abstract: We present here a novel and testable mechanism for leptogenesis, which is characterized by a purely thermal generation of lepton asymmetry via scalar decay. Guided by the thermal mass matrix diagonalization in the finite-temperature regime, we propose a scenario in which the baryon asymmetry is formulated in terms of the masses and mixing from hierarchical Dirac neutrinos, as well as a vacuum scale accountable for the sub-eV neutrino masses. This allows a natural and direct link between the high-scale \textit{CP} asymmetry and the low-energy Dirac \textit{CP}-violating phase without involved model structures, and thus circumvents the haunting problem encountered in general leptogenesis scenarios. The mechanism can also be applied as a prototype for solving the baryon asymmetry problem to a broad class of well-motivated model buildings.


title: Topological Rigidity of good fractal necklaces

abstract: We introduce and characterize extremal 2-cuts for good fractal necklaces. Using the characterization and the related topological properties of extremal 2-cuts, we prove that every good necklace has a unique necklace IFS in a certain sense. Also, we prove that two good necklaces admit only rigid homeomorphisms and thus the group of self-homeomorphisms of a good necklace is countable. In addition, a certain weaker co-Hopfian property of good necklaces is also obtained.


title: Annihilators of differential forms over over fields of characteristic p

abstract: Let $F$ be a field of characteristic $p$ and let $\Omega^n(F)$ be the $F$-vector space of $n$-differential forms. In this work, we will study the annihilator of differential forms, give specific descriptions for special cases and show a connection between these annihilators and the kernels of the restriction map $\Omega^n(F) \to \Omega^n(E)$ for purely inseparable field extensions $E/F$.


title: Distribution in the unit tangent bundle of the geodesics of given type

abstract: Recall that two geodesics in a negatively curved surface $S$ are of the same type if their free homotopy classes differ by a homeomorphism of the surface. In this note we study the distribution in the unit tangent bundle of the geodesics of fixed type, proving that they are asymptotically equidistributed with respect to a certain measure $\mathfrak{m}^S$ on $T^1S$. We study a few properties of this measure, showing for example that it distinguishes between hyperbolic surfaces.


title: Dissipative cooling induced by pulse perturbations

abstract: We investigate the dynamics brought on by an impulse perturbation in two infinite-range quantum Ising models coupled to each other and to a dissipative bath. We show that, if dissipation is faster the higher the excitation energy, the pulse perturbation cools down the low-energy sector of the system, at the expense of the high-energy one, eventually stabilising a transient symmetry-broken state at temperatures higher than the equilibrium critical one. Such non-thermal quasi-steady state may survive for quite a long time after the pulse, if the latter is properly tailored.


title: Semiparametric Spatiotemporal Model with Mixed Frequencies

abstract: In modelling time series data coming from different sources, frequencies can easily vary since some variable can be measured at higher frequencies, others, at lower frequencies. Given data measured over spatial units and at varying frequencies, we postulated a semiparametric spatiotemporal model. This optimizes utilization of information from variables measured at higher frequency by estimating its nonparametric effect on the response through the backfitting algorithm in and additive modelling framework. Simulation studies support the optimality of the model over simple generalized additive model with aggregation of high frequency predictors to match the dependent variable measured at lower frequency. With quarterly corn production and the dependent variable, the model is fitted with predictors coming from remotely-sensed data (vegetation and precipitation indices), predictive ability is better compared to two benchmark generalized additive models.


title: Twisted pre-lie algebras of finite topological spaces

abstract: In this paper, we first study the species of finite topological spaces recently considered by F. Fauvet, L. Foissy, and D. Manchon. Then, we construct a twisted pre-Lie structure on the species of connected finite topological spaces. The underlying pre-Lie structure defines a coproduct on the species of finite topological spaces different from those already defined by the Authors above. In the end, we illustrate the link between the Grossman-Larson product and the proposed coproduct.


title: Towards security recommendations for public-key infrastructures for production environments in the post-quantum era

abstract: Quantum computing technologies pose a significant threat to the currently employed public-key cryptography protocols. In this paper, we discuss the impact of the quantum threat on public key infrastructures (PKIs), which are used as a part of security systems for protecting production environments. We analyze security issues of existing models with a focus on requirements for a fast transition to post-quantum solutions. Although our primary focus is on the attacks with quantum computing, we also discuss some security issues that are not directly related to the used cryptographic algorithms but are essential for the overall security of the PKI. We attempt to provide a set of security recommendations regarding the PKI from the viewpoints of attacks with quantum computers.


title: On massive spin-3/2 in the Fradkin-Vasiliev formalism

abstract: One of the possible approaches to the construction of massive higher spin interactions is to use their gauge invariant description based on the introduction of the appropriate set of Stueckelberg fields. Recently, the general properties of such approach were investigated in [1]. The main findings of this work can be formulated in two statements. At first, there always exist enough field redefinitions to bring the vertex into abelian form where there are some corrections to the gauge transformations but the gauge algebra is undeformed. At second, with the further (as a rule higher derivative) field redefinitions one can bring the vertex into trivially gauge invariant form expressed in terms of the gauge invariant objects of the free theory. Our aim in this work is to show (using a simple example) how these general properties are realised in the so-called Fradkin-Vasiliev formalism and to see the effects (if any) that the presence of massless field, and hence of some unbroken gauge symmetries, can produce. As such example we take the gravitational interaction for massive spin-3/2 field so we complete the investigation started in [2] relaxing all restrictions on the number of derivatives and allowed field redefinitions. We show that in spite of the presence of massless spin-2 field, the first statement is still valid, while there exist two abelian vertices which are not equivalent on-shell to the trivially gauge invariant ones. Moreover, it is one of this abelian vertices that reproduce the minimal interaction for massive spin-3/2.


title: On extended associative semigroups

abstract: We study extended associative semigroups (briefly, EAS), an algebraic structure used to define generalizations of the operad of associative algebras, and the subclass of commutative extended diassociative semigroups (briefly, CEDS), which are used to define generalizations of the operad of pre-Lie algebras. We give families of examples based on semigroups or on groups, as well as a classification of EAS of cardinality two. We then define linear extended associative semigroups as linear maps satisfying a variation of the braid equation. We explore links between linear EAS and bialgebras and Hopf algebras. We also study the structure of nondegenerate finite CEDS and show that they are obtained by semidirect and direct products involving two groups.


title: A characterization of binary morphisms generating Lyndon infinite words

abstract: An infinite word is an infinite Lyndon word if it is smaller, with respect to the lexicographic order, than all its proper suffixes, or equivalently if it has infinitely many finite Lyndon words as prefixes. A characterization of binary endomorphisms generating Lyndon infinite words is provided.


title: Prediction of topological superconductivity in 1$T$-TiTe$_2$ under pressure

abstract: Topological superconductivity has attracted intensive interest for its ability of hosting Majorana zero mode and implementing in topological quantum computations. Based on the first-principles calculations and the analysis of the effective BdG Hamiltonian, we demonstrate that 1$T$-TiTe$_2$ is a topological metal hosting Dirac cone type of surface states near the Fermi level, and it exhibits a normal-topological-normal superconductivity phase transition as a function of the chemical potential. These results point out a new promising topological superconductor without random dopant, in which the influence of the impurity may be greatly reduced. Furthermore, our calculations also suggest that the transition metal intercalated Ti(Se$_{1-y}$Te$_y$)$_2$ is also a highly possible route to realize TSC and MZMs.


title: Microstructural and compositional design principles for Mo-V-Nb-Ti-Zr multi-principal element alloys: a high-throughput first-principles study

abstract: Due to the vast compositional space of multi-principal element alloys (MPEAs), the rational design of MPEAs for optimized microstructures is difficult. Therefore, a high-throughput first-principles study of Mo-V-Nb-Ti-Zr, a refractory MPEA, was conducted to gain insights into the underlying microstructures. Using Monte-Carlo simulations powered by cluster expansion, we uncover the principles governing the MPEA's microstructures across a large compositional space that includes non-equiatomic compositions and encompasses the constituent binaries, ternaries, and quaternaries. In the spirit of Hume-Rothery rules for complete solid solubility, we present a quantitative expression for predicting solid solution formation from the composition. Within a consistent framework, our results reproduce the microstructural observations (solid solution vs. segregation) from numerous experiments and provide microstructural predictions for unexplored regions in the compositional space. Our work illuminates the MPEA's microstructures in terms of the separation and clustering tendencies of the elements, presenting a set of simple but powerful design principles for future experiments to rationally design MPEAs with the desired microstructures for superior mechanical properties.


title: Reflection on modern methods: a note on variance estimation when using inverse probability weighting to handle attrition in cohort studies

abstract: The inverse probability weighting (IPW) method is used to handle attrition in association analyses derived from cohort studies. It consists in weighting the respondents at a given follow-up by their inverse probability to participate. Weights are estimated first and then used in a weighted association model. When the IPW method is used, instead of using a so-called na{\"i}ve variance estimator, the literature recommends using a robust variance estimator. However, the latter may overestimate the variance because the weights are considered known rather than estimated. In this note, we develop, by a linearization technique, an estimator accounting for the weight estimation phase and explain how it differs from na{\"i}ve and robust variance estimators. We compare the three variance estimators through simulations under several MAR and MNAR scenarios. We found that both the robust and linearized variance estimators were approximately unbiased, even in MNAR scenarios. The naive variance estimator severely underestimated the variance. We encourage researchers to be careful with variance estimation when using the IPW method, avoiding na{\"i}ve estimator and opting for a robust or linearized estimator. R and SAS codes are provided to implement them in their own studies.


title: BLM-17m: A Large-Scale Dataset for Black Lives Matter Topic Detection on Twitter

abstract: Protection of human rights is one of the most important problems of our world. In this paper, our aim is to provide a dataset which covers one of the most significant human rights contradiction in recent months affected the whole world, George Floyd incident. We propose a labeled dataset for topic detection that contains 17 million tweets. These Tweets are collected from 25 May 2020 to 21 August 2020 that covers 89 days from start of this incident. We labeled the dataset by monitoring most trending news topics from global and local newspapers. Apart from that, we present two baselines, TF-IDF and LDA. We evaluated the results of these two methods with three different k values for metrics of precision, recall and f1-score. The collected dataset is available at https://github.com/MeysamAsgariC/BLMT.


title: Magnetic Impurities, Integrable Vortices and the Toda Equation

abstract: The five integrable vortex equations, recently studied by Manton, are generalized to include magnetic impurities of the Tong-Wong type. Under certain conditions these generalizations remain integrable. We further set up a gauge theory with a product gauge group, two complex scalar fields and a general charge matrix. The second species of vortices, when frozen, are interpreted as the magnetic impurity for all five vortex equations. We then give a geometric compatibility condition, which enables us to remove the constant term in all the equations. This is similar to the reduction from the Taubes equation to the Liouville equation. We further find a family of charge matrices that turn the five vortex equations into either the Toda equation or the Toda equation with the opposite sign. We find exact analytic solutions in all cases and the solution with the opposite sign appears to be new.


title: Convergence analysis of a regularized inexact interior-point method for linear programming problems

abstract: Interior-point methods for linear programming problems require the repeated solution of a linear system of equations. Solving these linear systems is non-trivial due to the severe ill-conditioning of the matrices towards convergence. This issue can be alleviated by incorporating suitable regularization terms in the linear programming problem. Regularization also allows us to efficiently handle rank deficient constraint matrices. We provide a convergence analysis of a regularized inexact interior-point method. The term `inexact' refers to the fact that we do not need to compute the true solution of the linear system of equations, only an approximation thereof. The formulation of the algorithm is sufficiently general such that specialized linear algebra routines developed in other work on inexact interior-point methods can also be incorporated in our regularized framework. In this work, we exploit the inexactness by using a mixed-precision solver for the linear system of equations. More specifically, we perform a Cholesky factorization in IEEE single precision and use it as a preconditioner for the Conjugate Gradient method. Numerical experiments illustrate the benefits of this approach applied to linear programming problems with a dense constraint matrix.


title: Deep-learning-based coupled flow-geomechanics surrogate model for CO$_2$ sequestration

abstract: A deep-learning-based surrogate model capable of predicting flow and geomechanical responses in CO2 storage operations is presented and applied. The 3D recurrent R-U-Net model combines deep convolutional and recurrent neural networks to capture the spatial distribution and temporal evolution of saturation, pressure and surface displacement fields. The method is trained using high-fidelity simulation results for 2000 storage-aquifer realizations characterized by multi-Gaussian porosity and log-permeability fields. These numerical solutions are expensive because the domain that must be considered for the coupled problem includes not only the storage aquifer but also a surrounding region, overburden and bedrock. The surrogate model is trained to predict the 3D CO2 saturation and pressure fields in the storage aquifer, and 2D displacement maps at the Earth's surface. Detailed comparisons between surrogate model and full-order simulation results for new (test-case) storage-aquifer realizations are presented. The saturation, pressure and surface displacement fields provided by the surrogate model display a high degree of accuracy, both for individual test-case realizations and for ensemble statistics. Finally, the the recurrent R-U-Net surrogate model is applied with a rejection sampling procedure for data assimilation. Although the observations consist of only a small number of surface displacement measurements, significant uncertainty reduction in pressure buildup at the top of the storage aquifer (caprock) is achieved.


title: Scale Equivariant Neural Networks with Morphological Scale-Spaces

abstract: The translation equivariance of convolutions can make convolutional neural networks translation equivariant or invariant. Equivariance to other transformations (e.g. rotations, affine transformations, scalings) may also be desirable as soon as we know a priori that transformed versions of the same objects appear in the data. The semigroup cross-correlation, which is a linear operator equivariant to semigroup actions, was recently proposed and applied in conjunction with the Gaussian scale-space to create architectures which are equivariant to discrete scalings. In this paper, a generalization using a broad class of liftings, including morphological scale-spaces, is proposed. The architectures obtained from different scale-spaces are tested and compared in supervised classification and semantic segmentation tasks where objects in test images appear at different scales compared to training images. In both classification and segmentation tasks, the scale-equivariant architectures improve dramatically the generalization to unseen scales compared to a convolutional baseline. Besides, in our experiments morphological scale-spaces outperformed the Gaussian scale-space in geometrical tasks.


title: Partially congested propagation fronts in one-dimensional Navier-Stokes equations

abstract: These notes are dedicated to the analysis of the one-dimensional free-congested Navier-Stokes equations. After a brief synthesis of the results obtained in [4] related to the existence and the asymptotic stability of partially congested profiles associated to the soft congestion Navier-Stokes system, we present a first local well-posedness result for the one-dimensional free-congested Navier-Stokes equations.


title: The geometry of high-dimensional phase diagrams: I. Generalized Gibbs Phase Rule

abstract: Phase diagrams are essential tools of the materials scientist, showing which phases are at equilibrium under a set of applied thermodynamic conditions. Essentially all phase diagrams today are two dimensional, typically constructed with axes of temperature-pressure or temperature-composition. For many modern materials, it would be valuable to construct phase diagrams that include additional forms of thermodynamic work--such as elastic, surface, electromagnetic or electrochemical work, etc.--which grows the free energy of materials into higher (>3) dimensions. Here, we extend Gibbs' original arguments on phase coexistence to derive a generalized Phase Rule, based in the combinatorial geometry of high-dimensional convex polytopes. The generalized Phase Rule offers a conceptual and geometric foundation to describe phase boundaries on high-dimensional phase diagrams, which are relevant for understanding the stability of modern materials in complex chemical environments. We revisit Gibbs arguments on the equilibrium of heterogeneous substances and show that phase coexistence regions in high-dimensional Internal Energy space, U(S,Xi,...,Xj), are simplicial convex polytopes--which are N-dimensional analogues of triangles and tetrahedra. In the first of this three-part series, we examine how the combinatorial relationships between the vertices and facets of simplicial polytopes leads to a generalized high-dimensional description of Gibbs' Phase Rule. Because Gibbs' Phase Rule describes the nature of phase boundaries on phase diagrams, this isomorphism between the physical principles of equilibrium thermodynamics and the geometry of simplicial polytopes provides the foundation to construct generalized phase diagrams, which can exist in any dimension, with any intensive or extensive thermodynamic variable on the axes.


title: On the homological interpretation of the prounipotent completion of the fundamental group

abstract: We recall the cohomological interpretation of the unipotent quotients of the fundamental groupoid of an algebraic complex variety (Beilinson, Deligne-Goncharov). We then give a construction of the resutting transition morphisms in terms of singular homology.


title: Some open questions on morphological operators and representations in the deep learning era

abstract: During recent years, the renaissance of neural networks as the major machine learning paradigm and more specifically, the confirmation that deep learning techniques provide state-of-the-art results for most of computer vision tasks has been shaking up traditional research in image processing. The same can be said for research in communities working on applied harmonic analysis, information geometry, variational methods, etc. For many researchers, this is viewed as an existential threat. On the one hand, research funding agencies privilege mainstream approaches especially when these are unquestionably suitable for solving real problems and for making progress on artificial intelligence. On the other hand, successful publishing of research in our communities is becoming almost exclusively based on a quantitative improvement of the accuracy of any benchmark task. As most of my colleagues sharing this research field, I am confronted with the dilemma of continuing to invest my time and intellectual effort on mathematical morphology as my driving force for research, or simply focussing on how to use deep learning and contributing to it. The solution is not obvious to any of us since our research is not fundamental, it is just oriented to solve challenging problems, which can be more or less theoretical. Certainly, it would be foolish for anyone to claim that deep learning is insignificant or to think that one's favourite image processing domain is productive enough to ignore the state-of-the-art. I fully understand that the labs and leading people in image processing communities have been shifting their research to almost exclusively focus on deep learning techniques. My own position is different: I do think there is room for progress on mathematically grounded image processing branches, under the condition that these are rethought in a broader sense from the deep learning paradigm. Indeed, I firmly believe that the convergence between mathematical morphology and the computation methods which gravitate around deep learning (fully connected networks, convolutional neural networks, residual neural networks, recurrent neural networks, etc.) is worthwhile. The goal of this talk is to discuss my personal vision regarding these potential interactions. Without any pretension of being exhaustive, I want to address it with a series of open questions, covering a wide range of specificities of morphological operators and representations, which could be tackled and revisited under the paradigm of deep learning. An expected benefit of such convergence between morphology and deep learning is a cross-fertilization of concepts and techniques between both fields. In addition, I think the future answer to some of these questions can provide some insight on understanding, interpreting and simplifying deep learning networks.


title: Elementary Intracellular Ca Signals are Initiated by a Transition of Release Channel System from a Metastable State

abstract: Cardiac muscle contraction is initiated by an elementary Ca signal (called Ca spark) which is achieved by collective action of Ca release channels in a cluster. The mechanism of this synchronization remains uncertain. This paper approaches Ca spark activation as an emergent phenomenon of an interactive system of release channels. We construct a Markov chain that applies an Ising model formalism to such release channel clusters and realistic open channel configurations to demonstrate that spark activation is described as a system transition from a metastable to an absorbing state, analogous to the pressure required to overcome surface tension in bubble formation. This yields quantitative estimates of the spark generation probability as a function of various system parameters. Our model of the release channel system yields similar results for the sarcoplasmic reticulum Ca concentration threshold for spark activation as previous experimental results, providing a mechanistic explanation of the spark initiation. Additionally, we perform numerical simulations to find spark probabilities as a function of sarcoplasmic reticulum Ca concentration obtaining similar values for spark activation threshold as our analytic model, as well as those reported in experimental studies.


title: Signal automata and hidden Markov models

abstract: A generic method for inferring a dynamical hidden Markov model from a time series is proposed. Under reasonable hypothesis, the model is updated in constant time whenever a new measurement arrives.


title: An Empirical Review of Deep Learning Frameworks for Change Detection: Model Design, Experimental Frameworks, Challenges and Research Needs

abstract: Visual change detection, aiming at segmentation of video frames into foreground and background regions, is one of the elementary tasks in computer vision and video analytics. The applications of change detection include anomaly detection, object tracking, traffic monitoring, human machine interaction, behavior analysis, action recognition, and visual surveillance. Some of the challenges in change detection include background fluctuations, illumination variation, weather changes, intermittent object motion, shadow, fast/slow object motion, camera motion, heterogeneous object shapes and real-time processing. Traditionally, this problem has been solved using hand-crafted features and background modelling techniques. In recent years, deep learning frameworks have been successfully adopted for robust change detection. This article aims to provide an empirical review of the state-of-the-art deep learning methods for change detection. More specifically, we present a detailed analysis of the technical characteristics of different model designs and experimental frameworks. We provide model design based categorization of the existing approaches, including the 2D-CNN, 3D-CNN, ConvLSTM, multi-scale features, residual connections, autoencoders and GAN based methods. Moreover, an empirical analysis of the evaluation settings adopted by the existing deep learning methods is presented. To the best of our knowledge, this is a first attempt to comparatively analyze the different evaluation frameworks used in the existing deep change detection methods. Finally, we point out the research needs, future directions and draw our own conclusions.


title: Differential operator Dirac structures

abstract: As shown in earlier work, skew-adjoint linear differential operators, mapping efforts into flows, give rise to Dirac structures on a bounded spatial domain by a proper definition of boundary variables. In the present paper this is extended to pairs of linear differential operators defining a formally skew-adjoint relation between flows and efforts. Furthermore it is shown how the underlying repeated integration by parts operation can be streamlined by the use of two-variable polynomial calculus. Dirac structures defined by formally skew adjoint operators and differential operator effort constraints are treated within the same framework. Finally it is sketched how the approach can be also used for Lagrangian subspaces on bounded domains.


title: Simple, Light, Yet Formally Verified, Global Common Subexpression Elimination and Loop-Invariant Code Motion

abstract: We present an approach for implementing a formally certified loop-invariant code motion optimization by composing an unrolling pass and a formally certified yet efficient global subexpression elimination.This approach is lightweight: each pass comes with a simple and independent proof of correctness.Experiments show the approach significantly narrows the performance gap between the CompCert certified compiler and state-of-the-art optimizing compilers.Our static analysis employs an efficient yet verified hashed set structure, resulting in fast compilation.


title: Systolic complexes and group presentations

abstract: We give conditions on a presentation of a group, which imply that its Cayley complex is simplicial and the flag complex of the Cayley complex is systolic. We then apply this to Garside groups and Artin groups. We give a classification of the Garside groups whose presentation using the simple elements as generators satisfy our conditions. We then also give a dual presentation for Artin groups and identify in which cases the flag complex of the Cayley complex is systolic.


title: Implicit Regularization in Deep Tensor Factorization

abstract: Attempts of studying implicit regularization associated to gradient descent (GD) have identified matrix completion as a suitable test-bed. Late findings suggest that this phenomenon cannot be phrased as a minimization-norm problem, implying that a paradigm shift is required and that dynamics has to be taken into account. In the present work we address the more general setup of tensor completion by leveraging two popularized tensor factorization, namely Tucker and TensorTrain (TT). We track relevant quantities such as tensor nuclear norm, effective rank, generalized singular values and we introduce deep Tucker and TT unconstrained factorization to deal with the completion task. Experiments on both synthetic and real data show that gradient descent promotes solution with low-rank, and validate the conjecture saying that the phenomenon has to be addressed from a dynamical perspective.


title: Fast, Reliable, and Secure Drone Communication: A Comprehensive Survey

abstract: Drone security is currently a major topic of discussion among researchers and industrialists. Although there are multiple applications of drones, if the security challenges are not anticipated and required architectural changes are not made, the upcoming drone applications will not be able to serve their actual purpose. Therefore, in this paper, we present a detailed review of the security-critical drone applications, and security-related challenges in drone communication such as DoS attacks, Man-in-the-middle attacks, De-Authentication attacks, and so on. Furthermore, as part of solution architectures, the use of Blockchain, Software Defined Networks (SDN), Machine Learning, and Fog/Edge computing are discussed as these are the most emerging technologies. Drones are highly resource-constrained devices and therefore it is not possible to deploy heavy security algorithms on board. Blockchain can be used to cryptographically store all the data that is sent to/from the drones, thereby saving it from tampering and eavesdropping. Various ML algorithms can be used to detect malicious drones in the network and to detect safe routes. Additionally, the SDN technology can be used to make the drone network reliable by allowing the controller to keep a close check on data traffic, and fog computing can be used to keep the computation capabilities closer to the drones without overloading them.


title: Continuous indetermination and average likelihood minimization

abstract: The authors transpose a discrete notion of indetermination coupling in the case of continuous probabilities. They show that this coupling, expressed on densities, cannot be captured by a specific copula which acts on cumulative distribution functions without a high dependence on the margins. Furthermore, they define a notion of average likelihood which extends the discrete notion of couple matchings and demonstrate it is minimal under indetermination. Eventually, they leverage this property to build up a statistical test to distinguish indetermination and estimate its efficiency using the Bahadur's slope.


title: Persistence of species in a predator-prey system with climate change and either nonlocal or local dispersal

abstract: We are concerned with the persistence of both predator and prey in a diffusive predator-prey system with a climate change effect, which is modeled by a spatial-temporal heterogeneity depending on a moving variable. Moreover, we consider both the cases of nonlocal and local dispersal. In both these situations, we first prove the existence of forced waves, which are positive stationary solutions in the moving frames of the climate change, of either front or pulse type. Then we address the persistence or extinction of the prey and the predator separately in various moving frames, and achieve a complete picture in the local diffusion case. We show that the survival of the species depends crucially on how the climate change speed compares with the minimal speed of some pulse type forced waves.


title: Effects of Quantization on the Multiple-Round Secret-Key Capacity

abstract: We consider the strong secret key (SK) agreement problem for the satellite communication setting, where a satellite chooses a common binary phase shift keying modulated input for three statistically independent additive white Gaussian noise measurement channels whose outputs are observed by two legitimate transceivers (Alice and Bob) and an eavesdropper (Eve), respectively. Legitimate transceivers have access to an authenticated, noiseless, two-way, and public communication link, so they can exchange multiple rounds of public messages to agree on a SK hidden from Eve. Without loss of essential generality, the noise variances for Alice's and Bob's measurement channels are both fixed to a value $Q>1$, whereas the noise over Eve's measurement channel has a unit variance, so $Q$ represents a channel quality ratio. We show that when both legitimate transceivers apply a one-bit uniform quantizer to their noisy observations before SK agreement, the SK capacity decreases at least quadratically in $Q$.


title: Experimental investigation and numerical modelling of density-driven segregation in an annular shear cell

abstract: Granular materials segregate spontaneously due to differences in particle size, shape, density and flow behaviour. In this paper we experimentally investigate density-difference-driven segregation for a range of density ratios and a range of heavy particle concentrations. The experiments are conducted in an annular shear cell with rotating bumpy bottom that yields an exponential shear profile. The cell is initially filled with a layer of light particles and an upper layer of heavier grains and, on top, a load provides confinement. The segregation process is filmed through the transparent side-wall with a camera, and the evolution of particle concentration in space and time is evaluated by means of post-processing image analysis. We also propose a continuum-approach to model density-driven segregation. We use a segregation-diffusion transport equation, constitutive relations for effective viscosity and friction coefficient, and a segregation velocity analogous to the Stokes' law. The model, which is validated by comparison with experimental findings, can successfully predict density-driven segregation at different density ratios and volumetric fraction.


title: T-W relation and free energy of the Heisenberg chain at a finite temperature

abstract: A new nonlinear integral equation (NLIE) describing the thermodynamics of the Heisenberg spin chain is derived based on the t-W relation of the quantum transfer matrices. The free energy of the system in a magnetic field is thus obtained by solving the NLIE. This method can be generalized to other lattice quantum integrable models. Taking the SU(3)-invariant quantum spin chain as an example, we construct the corresponding NLIEs and compute the free energy. The present results coincide exactly with those obtained via other methods previously.

categories: math-ph cond-mat.stat-mech hep-th math.MP nlin.SI


title: One Model for All Quantization: A Quantized Network Supporting Hot-Swap Bit-Width Adjustment

abstract: As an effective technique to achieve the implementation of deep neural networks in edge devices, model quantization has been successfully applied in many practical applications. No matter the methods of quantization aware training (QAT) or post-training quantization (PTQ), they all depend on the target bit-widths. When the precision of quantization is adjusted, it is necessary to fine-tune the quantized model or minimize the quantization noise, which brings inconvenience in practical applications. In this work, we propose a method to train a model for all quantization that supports diverse bit-widths (e.g., form 8-bit to 1-bit) to satisfy the online quantization bit-width adjustment. It is hot-swappable that can provide specific quantization strategies for different candidates through multiscale quantization. We use wavelet decomposition and reconstruction to increase the diversity of weights, thus significantly improving the performance of each quantization candidate, especially at ultra-low bit-widths (e.g., 3-bit, 2-bit, and 1-bit). Experimental results on ImageNet and COCO show that our method can achieve accuracy comparable performance to dedicated models trained at the same precision.


title: Anisotropic non-split zero-energy vortex bound states in a conventional superconductor

abstract: Vortices in topological superconductors are predicted to host Majorana bound states (MBSs) as exotic quasiparticles. In recent experiments, the spatially non-split zero-energy vortex bound state in topological superconductors has been regarded as an essential spectroscopic signature for the observation of MBSs. Here, we report the observation of anisotropic non-split zero-energy vortex bound states in a conventional elemental superconductor with a topologically trivial band structure using scanning tunneling microscopy and spectroscopy. The experimental results, corroborated by quasi-classical theoretical calculations, indicate that the non-split states directly reflect the quasiparticle trajectories governed by the surface electronic structure. Our study implies that non-split zero-energy states are not a conclusive signature of MBSs in vortex cores, stimulating a revision of the current understanding of such states.


title: Experimental evidence of detailed balance in granular systems

abstract: The principle of detailed balance (DB) states that every kinetic transition in a system with many micro-states, $\mu$, is balanced, on average, with the opposite transition, $\mu_i\leftrightharpoons\mu_j$. Since its introduction by Boltzmann, this principle has been used by luminaries, such as Einstein, Eddington, Kramers, Pauli, Ehrenfest, Dirac, Onsager, and many others to derive significant results that underpin much of our scientific understanding. The current belief is that DB is satisfied only in equilibrium systems, while non-equilibrium steady states can only be balanced by cycles, such as $A\to B\to C\to A$. We show here experimentally that DB can exist and is commonly and robustly satisfied in a family of quasi-statically cyclically sheared granular systems. We further study the approach to DB as a function of system size and time. Given the significant impact that this principle has had on equilibrium systems, we believe that this discovery paves the way for better models of the dynamics of non-equilibrium systems.


title: Geometry controlled superconducting diode and anomalous Josephson effect triggered by the topological phase transition in curved proximitized nanowires

abstract: We study the key features of the Josephson transport through a curved semiconducting nanowire. Based on numerical simulations and analytical estimates within the framework of the Bogoliubov-de Gennes equations we find the ground-state phase difference $\varphi_0$ between the superconducting leads tuned by the spin splitting field $h$ driving the system from the topologically trivial to the nontrivial superconducting state. The phase $\varphi_0$ vanishes for rather small $h$, grows in a certain field range around the topological transition, and then saturates at large $h$ in the Kitaev regime. Both the subgap and the continuum quasiparticle levels are responsible for the above behavior of the anomalous Josephson phase. It is demonstrated that the crossover region on $\varphi_0(h)$ dependencies reveals itself in the superconducting diode effect. The resulting tunable phase battery can be used as a probe of topological transitions in Majorana networks and can become a useful element of various quantum computation devices.


title: Digital Twin-Assisted Cooperative Driving at Non-Signalized Intersections

abstract: Digital Twin, as an emerging technology related to Cyber-Physical Systems (CPS) and Internet of Things (IoT), has attracted increasing attentions during the past decade. Conceptually, a Digital Twin is a digital replica of a physical entity in the real world, and this technology is leveraged in this study to design a cooperative driving system at non-signalized intersections, allowing connected vehicles to cooperate with each other to cross intersections without any full stops. Within the proposed Digital Twin framework, we developed an enhanced first-in-first-out (FIFO) slot reservation algorithm to schedule the sequence of crossing vehicles, a consensus motion control algorithm to calculate vehicles' referenced longitudinal motion, and a model-based motion estimation algorithm to tackle communication delay and packet loss. Additionally, an augmented reality (AR) human-machine-interface (HMI) is designed to provide the guidance to drivers to cooperate with other connected vehicles. Agent-based modeling and simulation of the proposed system is conducted in Unity game engine based on a real-world map in San Francisco, and the human-in-the-loop (HITL) simulation results prove the benefits of the proposed algorithms with 20% reduction in travel time and 23.7% reduction in energy consumption, respectively, when compared with traditional signalized intersections.


title: Simplified Klinokinesis using Spiking Neural Networks for Resource-Constrained Navigation on the Neuromorphic Processor Loihi

abstract: C. elegans shows chemotaxis using klinokinesis where the worm senses the concentration based on a single concentration sensor to compute the concentration gradient to perform foraging through gradient ascent/descent towards the target concentration followed by contour tracking. The biomimetic implementation requires complex neurons with multiple ion channel dynamics as well as interneurons for control. While this is a key capability of autonomous robots, its implementation on energy-efficient neuromorphic hardware like Intel's Loihi requires adaptation of the network to hardware-specific constraints, which has not been achieved. In this paper, we demonstrate the adaptation of chemotaxis based on klinokinesis to Loihi by implementing necessary neuronal dynamics with only LIF neurons as well as a complete spike-based implementation of all functions e.g. Heaviside function and subtractions. Our results show that Loihi implementation is equivalent to the software counterpart on Python in terms of performance - both during foraging and contour tracking. The Loihi results are also resilient in noisy environments. Thus, we demonstrate a successful adaptation of chemotaxis on Loihi - which can now be combined with the rich array of SNN blocks for SNN based complex robotic control.


title: Thermal evolution of Uranus and Neptune II -- Deep thermal boundary layer

abstract: Thermal evolution models suggest that the luminosities of both Uranus and Neptune are inconsistent with the classical assumption of an adiabatic interior. Such models commonly predict Uranus to be brighter and, recently, Neptune to be fainter than observed. In this work, we investigate the influence of a thermally conductive boundary layer on the evolution of Uranus- and Neptune-like planets. This thermal boundary layer (TBL) is assumed to be located deep in the planet, and be caused by a steep compositional gradient between a H-He-dominated outer envelope and an ice-rich inner envelope. We investigate the effect of TBL thickness, thermal conductivity, and the time of TBL formation on the planet's cooling behaviour. The calculations were performed with our recently developed tool based on the Henyey method for stellar evolution. We make use of state-of-the-art equations of state for hydrogen, helium, and water, as well as of thermal conductivity data for water calculated via ab initio methods. We find that even a thin conductive layer of a few kilometres has a significant influence on the planetary cooling. In our models, Uranus' measured luminosity can only be reproduced if the planet has been near equilibrium with the solar incident flux for an extended time. For Neptune, we find a range of solutions with a near constant effective temperature at layer thicknesses of 15 km or larger, similar to Uranus. In addition, we find solutions for thin TBLs of few km and strongly enhanced thermal conductivity. A $\sim$ 1$~$Gyr later onset of the TBL reduces the present $\Delta T$ by an order of magnitude to only several 100 K. Our models suggest that a TBL can significantly influence the present planetary luminosity in both directions, making it appear either brighter or fainter than the adiabatic case.


title: On 1:3 resonance under reversible perturbations of conservative cubic H\'enon maps

abstract: We consider reversible non-conservative perturbations of the conservative cubic H\'enon maps $H_3^{\pm}: \bar x = y, \bar y = -x + M_1 + M_2 y \pm y^3$ and study their influence on the 1:3 resonance, i.e. bifurcations of fixed points with eigenvalues $e^{\pm i 2\pi/3}$. It follows from the work by Dullin and Meiss, this resonance is degenerate for $M_1=0, M_2=-1$ when the corresponding fixed point is elliptic. We show that bifurcations of this point under reversible perturbations give rise to four 3-periodic orbits, two of them are symmetric and conservative (saddles in the case of map $H_3^+$ and elliptic orbits in the case of map $H_3^-$), the other two orbits are nonsymmetric and they compose symmetric couples of dissipative orbits (attracting and repelling orbits in the case of map $H_3^+$ and saddles with the Jacobians less than 1 and greater than 1 in the case of map $H_3^-$). We show that these local symmetry-breaking bifurcations can lead to mixed dynamics due to accompanying global reversible bifurcations of symmetric non-transversal homo- and heteroclinic cycles. We also generalize the results of Dullin and Meiss to the case of the $p:q$ resonances with odd $q$ and show that all of them are also degenerate for the maps $H_3^{\pm}$ with $M_1=0$.