title: Hodge classes on abelian varieties

abstract: We prove, following Deligne and Andr\'e, that the Hodge classes on abelian varieties of CM-type can be expressed in terms of divisor classes and split Weil classes, and we describe some consequences. In particular, we show that Grothendieck's standard conjecture of Lefschetz type implies the Hodge conjecture for abelian varieties (Abdulali, Andr\'e, ...).


title: Espaces de Berkovich globaux : cat\'egorie, topologie, cohomologie

abstract: This text contributes to the foundations of the theory of global Berkovich spaces, that is to say Berkovich spaces over Banach rings with nice properties such as $\mathbf{Z}$, rings of integers of number fields, discrete valuation rings, hybrid fields, etc. We focus on three main themes that had not been investigated so far: category, topology and cohomology. As regards the category, our main task is to define a well-behaved notion of morphism. We then have the suitable setting at our disposal to carry out and study various constructions: products, fiber products, extensions of scalars, analytification of schemes, etc. On the topological side, we show that global Berkovich spaces are locally path-connected. The main ingredient is an analogue of Noether's normalization lemma, that we obtain after a careful study of finite morphisms. Finally, we prove that open and closed discs of arbitrary dimension have no higher coherent cohomology. This is a deep result, which allows us to initiate a theory of global overconvergent affinoid spaces, where the analogues of Tate's and Kiehl's theorems hold. As a consequence of our vanishing statements, we obtain a geometric proof of a Noetherianity result for certain rings of convergent arithmetic power series (power series with integral coefficients and positive complex radii of convergence), generalizing a theorem of D. Harbater from the case of a single variable to arbitrary many.


title: Printmaking, Puzzles, and Studio Closets: Using Artistic Metaphors to Reimagine the User Interface for Designing Immersive Visualizations

abstract: We, as a society, need artists to help us interpret and explain science, but what does an artist's studio look like when today's science is built upon the language of large, increasingly complex data? This paper presents a data visualization design interface that lifts the barriers for artists to engage with actively studied, 3D multivariate datasets. To accomplish this, the interface must weave together the need for creative artistic processes and the challenging constraints of real-time, data-driven 3D computer graphics. The result is an interface for a technical process, but technical in the way artistic printmaking is technical, not in the sense of computer scripting and programming. Using metaphor, computer graphics algorithms and shader program parameters are reimagined as tools in an artist's printmaking studio. These artistic metaphors and language are merged with a puzzle-piece approach to visual programming and matching iconography. Finally, artists access the interface using a web browser, making it possible to design immersive multivariate data visualizations that can be displayed in VR and AR environments using familiar drawing tablets and touch screens. We report on insights from the interdisciplinary design of the interface and early feedback from artists.


title: An Algorithm to Satisfy the QoS Requirements in a Heterogeneous LoRaWAN Network

abstract: LoRaWAN is a popular low power wide area network technology widely used in many scenarios, such as environmental monitoring and smart cities. Different applications demand various quality of service (QoS), and their service within a single network requires special solutions for QoS provision. We consider the problem of QoS provision in heterogeneous LoRaWAN networks that consist of several groups of devices that require different packet loss rate (PLR). To solve this problem, we develop a mathematical model that can find the PLR distribution in a LoRaWAN network. With the model, we show that the PLR can vary significantly, and it is wrong to consider only the average PLR for the QoS provision. Finally, we develop an algorithm for assigning modulation and coding schemes to end-devices that provides PLRs below the required thresholds.


title: Deep Learning in the Era of Edge Computing: Challenges and Opportunities

abstract: The era of edge computing has arrived. Although the Internet is the backbone of edge computing, its true value lies at the intersection of gathering data from sensors and extracting meaningful information from the sensor data. We envision that in the near future, majority of edge devices will be equipped with machine intelligence powered by deep learning. However, deep learning-based approaches require a large volume of high-quality data to train and are very expensive in terms of computation, memory, and power consumption. In this chapter, we describe eight research challenges and promising opportunities at the intersection of computer systems, networking, and machine learning. Solving those challenges will enable resource-limited edge devices to leverage the amazing capability of deep learning. We hope this chapter could inspire new research that will eventually lead to the realization of the vision of intelligent edge.


title: Mad Science is Provably Hard: Puzzles in Hearthstone's Boomsday Lab are NP-hard

abstract: We consider the computational complexity of winning this turn (mate-in-1 or "finding lethal") in Hearthstone as well as several other single turn puzzle types introduced in the Boomsday Lab expansion. We consider three natural generalizations of Hearthstone (in which hand size, board size, and deck size scale) and prove the various puzzle types in each generalization NP-hard.


title: Unexpected properties of the Klein configuration of $60$ points in ${\mathbb P}^3$

abstract: Felix Klein in course of his study of the regular icosahedron and its symmetries encountered a highly symmetric configuration of $60$ points in ${\mathbb P}^3$. This configuration has appeared in various guises, perhaps post notably as the configuration of points dual to the $60$ reflection planes in the group $G_{31}$ in the Shephard-Todd list. In the present note we show that the $60$ points exhibit interesting properties relevant from the point of view of two paths of research initiated recently. Firstly, they give rise to two completely different unexpected surfaces of degree $6$. Unexpected hypersurfaces have been introduced by Cook II, Harbourne, Migliore, Nagel in 2018. One of unexpected surfaces associated to the configuration of $60$ points is a cone with a single singularity of multiplicity $6$ and the other has three singular points of multiplicities $4,2$ and $2$. Secondly, Chiantini and Migliore observed in 2020 that there are non-trivial sets of points in ${\mathbb P}^3$ with the surprising property that their general projection to ${\mathbb P}^2$ is a complete intersection. They found a family of such sets, which they called grids. An appendix to their paper describes an exotic configuration of $24$ points in ${\mathbb P}^3$ which is not a grid but has the remarkable property that its general projection is a complete intersection. We show that the Klein configuration is also not a grid and it projects to a complete intersections. We identify also its proper subsets, which enjoy the same property. \


title: Markov Neighborhood Regression for High-Dimensional Inference

abstract: This paper proposes an innovative method for constructing confidence intervals and assessing p-values in statistical inference for high-dimensional linear models. The proposed method has successfully broken the high-dimensional inference problem into a series of low-dimensional inference problems: For each regression coefficient $\beta_i$, the confidence interval and $p$-value are computed by regressing on a subset of variables selected according to the conditional independence relations between the corresponding variable $X_i$ and other variables. Since the subset of variables forms a Markov neighborhood of $X_i$ in the Markov network formed by all the variables $X_1,X_2,\ldots,X_p$, the proposed method is coined as Markov neighborhood regression. The proposed method is tested on high-dimensional linear, logistic and Cox regression. The numerical results indicate that the proposed method significantly outperforms the existing ones. Based on the Markov neighborhood regression, a method of learning causal structures for high-dimensional linear models is proposed and applied to identification of drug sensitive genes and cancer driver genes. The idea of using conditional independence relations for dimension reduction is general and potentially can be extended to other high-dimensional or big data problems as well.


title: HABERTOR: An Efficient and Effective Deep Hatespeech Detector

abstract: We present our HABERTOR model for detecting hatespeech in large scale user-generated content. Inspired by the recent success of the BERT model, we propose several modifications to BERT to enhance the performance on the downstream hatespeech classification task. HABERTOR inherits BERT's architecture, but is different in four aspects: (i) it generates its own vocabularies and is pre-trained from the scratch using the largest scale hatespeech dataset; (ii) it consists of Quaternion-based factorized components, resulting in a much smaller number of parameters, faster training and inferencing, as well as less memory usage; (iii) it uses our proposed multi-source ensemble heads with a pooling layer for separate input sources, to further enhance its effectiveness; and (iv) it uses a regularized adversarial training with our proposed fine-grained and adaptive noise magnitude to enhance its robustness. Through experiments on the large-scale real-world hatespeech dataset with 1.4M annotated comments, we show that HABERTOR works better than 15 state-of-the-art hatespeech detection methods, including fine-tuning Language Models. In particular, comparing with BERT, our HABERTOR is 4~5 times faster in the training/inferencing phase, uses less than 1/3 of the memory, and has better performance, even though we pre-train it by using less than 1% of the number of words. Our generalizability analysis shows that HABERTOR transfers well to other unseen hatespeech datasets and is a more efficient and effective alternative to BERT for the hatespeech classification.


title: MyWear: A Smart Wear for Continuous Body Vital Monitoring and Emergency Alert

abstract: Smart healthcare which is built as healthcare Cyber-Physical System (H-CPS) from Internet-of-Medical-Things (IoMT) is becoming more important than before. Medical devices and their connectivity through Internet with alongwith the electronics health record (EHR) and AI analytics making H-CPS possible. IoMT-end devices like wearables and implantables are key for H-CPS based smart healthcare. Smart garment is a specific wearable which can be used for smart healthcare. There are various smart garments that help users to monitor their body vitals in real-time. Many commercially available garments collect the vital data and transmit it to the mobile application for visualization. However, these don't perform real-time analysis for the user to comprehend their health conditions. Also, such garments are not included with an alert system to alert users and contacts in case of emergency. In MyWear, we propose a wearable body vital monitoring garment that captures physiological data and automatically analyses such heart rate, stress level, muscle activity to detect abnormalities. A copy of the physiological data is transmitted to the cloud for detecting any abnormalities in heart beats and predict any potential heart failure in future. We also propose a deep neural network (DNN) model that automatically classifies abnormal heart beat and potential heart failure. For immediate assistance in such a situation, we propose an alert system that sends an alert message to nearby medical officials. The proposed MyWear has an average accuracy of 96.9% and precision of 97.3% for detection of the abnormalities.


title: Blow-up of semi-discrete solution of a nonlinear parabolic equation with gradient term

abstract: This paper is concerned with approximation of blow-up phenomena in nonlinear parabolic problems. We consider the equation u_t = u_xx +|u|^p -b(x)|u_x|^q in a bounded domain, we study the behavior of the semidiscrete problem. Under some assumptions we show existence and unicity of the semidiscrete solution, we show that it blows up in a finite time and we prove the convergence of the semidiscrete problem. Finally, we give an approximation of the blow up rate and the blow up time of the semidiscrete solution


title: A Decomposition Approach to Counterfactual Analysis in Game-Theoretic Models

abstract: Decomposition methods are often used for producing counterfactual predictions in non-strategic settings. When the outcome of interest arises from a game-theoretic setting where agents are better off by deviating from their strategies after a new policy, such predictions, despite their practical simplicity, are hard to justify. We present conditions in Bayesian games under which the decomposition-based predictions coincide with the equilibrium-based ones. In many games, such coincidence follows from an invariance condition for equilibrium selection rules. To illustrate our message, we revisit an empirical analysis in Ciliberto and Tamer (2009) on firms' entry decisions in the airline industry.


title: Task Scoping: Generating Task-Specific Abstractions for Planning in Open-Scope Models

abstract: A general-purpose planning agent requires an open-scope world model: one rich enough to tackle any of the wide range of tasks it may be asked to solve over its operational lifetime. This stands in contrast with typical planning approaches, where the scope of a model is limited to a specific family of tasks that share significant structure. Unfortunately, planning to solve any specific task using an open-scope model is computationally intractable - even for state-of-the-art methods - due to the many states and actions that are necessarily present in the model but irrelevant to that problem. We propose task scoping: a method that exploits knowledge of the initial state, goal conditions, and transition system to automatically and efficiently remove provably irrelevant variables and actions from a planning problem. Our approach leverages causal link analysis and backwards reachability over state variables (rather than states) along with operator merging (when effects on relevant variables are identical). Using task scoping as a pre-planning step can shrink the search space by orders of magnitude and dramatically decrease planning time. We empirically demonstrate that these improvements occur across a variety of open-scope domains, including Minecraft, where our approach leads to a 75x reduction in search time with a state-of-the-art numeric planner, even after including the time required for task scoping itself.


title: On the Consistency of Maximum Likelihood Estimators for Causal Network Identification

abstract: We consider the problem of identifying parameters of a particular class of Markov chains, called Bernoulli Autoregressive (BAR) processes. The structure of any BAR model is encoded by a directed graph. Incoming edges to a node in the graph indicate that the state of the node at a particular time instant is influenced by the states of the corresponding parental nodes in the previous time instant. The associated edge weights determine the corresponding level of influence from each parental node. In the simplest setup, the Bernoulli parameter of a particular node's state variable is a convex combination of the parental node states in the previous time instant and an additional Bernoulli noise random variable. This paper focuses on the problem of edge weight identification using Maximum Likelihood (ML) estimation and proves that the ML estimator is strongly consistent for two variants of the BAR model. We additionally derive closed-form estimators for the aforementioned two variants and prove their strong consistency.


title: A statistical model to predict ignition probability

abstract: Ignition capability is a critical design constraint for aeronautical gas turbines. However the current trend toward overall lean burn is detrimental to the engine ignition and relight and the ignition system must be adapted to ensure a fast and reliable light-round in all circumstances. As ignition is a stochastic phenomenon, the optimization of an ignition system requires to build ignition probability maps, which is difficult and costly with either experiment or numerical simulation as both require many tests. This work proposes a model to predict the ignition probability map, knowing only flow statistics in non-reacting conditions, i.e., with only one test. The originality of the model is to construct statistics of the flame kernel trajectory, which are then combined with local flow indicators to evaluate the ignition probability at the considered sparking location. Application to a swirled burner operated in premixed, non-premixed and spray combustion modes illustrates the model concepts and demonstrates its ability to recover the experimental ignition map with good accuracy.


title: Sensitivity and Specificity Evaluation of Deep Learning Models for Detection of Pneumoperitoneum on Chest Radiographs

abstract: Background: Deep learning has great potential to assist with detecting and triaging critical findings such as pneumoperitoneum on medical images. To be clinically useful, the performance of this technology still needs to be validated for generalizability across different types of imaging systems. Materials and Methods: This retrospective study included 1,287 chest X-ray images of patients who underwent initial chest radiography at 13 different hospitals between 2011 and 2019. The chest X-ray images were labelled independently by four radiologist experts as positive or negative for pneumoperitoneum. State-of-the-art deep learning models (ResNet101, InceptionV3, DenseNet161, and ResNeXt101) were trained on a subset of this dataset, and the automated classification performance was evaluated on the rest of the dataset by measuring the AUC, sensitivity, and specificity for each model. Furthermore, the generalizability of these deep learning models was assessed by stratifying the test dataset according to the type of the utilized imaging systems. Results: All deep learning models performed well for identifying radiographs with pneumoperitoneum, while DenseNet161 achieved the highest AUC of 95.7%, Specificity of 89.9%, and Sensitivity of 91.6%. DenseNet161 model was able to accurately classify radiographs from different imaging systems (Accuracy: 90.8%), while it was trained on images captured from a specific imaging system from a single institution. This result suggests the generalizability of our model for learning salient features in chest X-ray images to detect pneumoperitoneum, independent of the imaging system.


title: Aggregating Dependent Gaussian Experts in Local Approximation

abstract: Distributed Gaussian processes (DGPs) are prominent local approximation methods to scale Gaussian processes (GPs) to large datasets. Instead of a global estimation, they train local experts by dividing the training set into subsets, thus reducing the time complexity. This strategy is based on the conditional independence assumption, which basically means that there is a perfect diversity between the local experts. In practice, however, this assumption is often violated, and the aggregation of experts leads to sub-optimal and inconsistent solutions. In this paper, we propose a novel approach for aggregating the Gaussian experts by detecting strong violations of conditional independence. The dependency between experts is determined by using a Gaussian graphical model, which yields the precision matrix. The precision matrix encodes conditional dependencies between experts and is used to detect strongly dependent experts and construct an improved aggregation. Using both synthetic and real datasets, our experimental evaluations illustrate that our new method outperforms other state-of-the-art (SOTA) DGP approaches while being substantially more time-efficient than SOTA approaches, which build on independent experts.


title: Visualization of Contributions to Open-Source Projects

abstract: We want to analyze visually, to what extend team members and external developers contribute to open-source projects. This gives a high-level impression about collaboration in that projects. We achieve this by recording provenance of the development process and use graph drawing on the resulting provenance graph. Our graph drawings show, which developers are jointly changed the same files -- and to what extent -- which we show at Germany's COVID-19 exposure notification app 'Corona-Warn-App'.


title: Estimating efficacy of measles supplementary immunization activities via discrete-time modeling of disease incidence time series

abstract: Measles is a significant source of global disease burden and child mortality. Measles vaccination through routine immunization (RI) programs in high-burden settings remains a challenge due to poor health care infrastructure and access. Supplementary immunization activities (SIA) in the form of vaccination campaigns are therefore implemented to prevent measles outbreaks by reducing the size of the susceptible population. The SIA efficacy, defined as the fraction of susceptible population immunized by an SIA, is a critical metric for assessing campaign effectiveness. We propose a discrete-time hidden Markov model for estimating SIA efficacy and forecasting future incidence trends using reported measles incidence data. Our approach extends the time-series susceptible-infected-recovered (TSIR) framework by adding a model component to capture the impact of SIAs on the susceptible population. It also accounts for under-reporting and its associated uncertainty via a two-stage estimation procedure with uncertainty propagation. The proposed model can be used to estimate the underlying susceptible population dynamics, assess how many susceptible people were immunized by past SIAs, and forecast incidence trends in the future under various hypothetical SIA scenarios. We examine model performance via simulations under various levels of under-reporting, and apply the model to analyze monthly reported measles incidence in Benin from 2012 to 2018.


title: A Multi-resolution Theory for Approximating Infinite-$p$-Zero-$n$: Transitional Inference, Individualized Predictions, and a World Without Bias-Variance Trade-off

abstract: Transitional inference is an empiricism concept, rooted and practiced in clinical medicine since ancient Greece. Knowledge and experiences gained from treating one entity are applied to treat a related but distinctively different one. This notion of "transition to the similar" renders individualized treatments an operational meaning, yet its theoretical foundation defies the familiar inductive inference framework. The uniqueness of entities is the result of potentially an infinite number of attributes (hence $p=\infty$), which entails zero direct training sample size (i.e., $n=0$) because genuine guinea pigs do not exist. However, the literature on wavelets and on sieve methods suggests a principled approximation theory for transitional inference via a multi-resolution (MR) perspective, where we use the resolution level to index the degree of approximation to ultimate individuality. MR inference seeks a primary resolution indexing an indirect training sample, which provides enough matched attributes to increase the relevance of the results to the target individuals and yet still accumulate sufficient indirect sample sizes for robust estimation. Theoretically, MR inference relies on an infinite-term ANOVA-type decomposition, providing an alternative way to model sparsity via the decay rate of the resolution bias as a function of the primary resolution level. Unexpectedly, this decomposition reveals a world without variance when the outcome is a deterministic function of potentially infinitely many predictors. In this deterministic world, the optimal resolution prefers over-fitting in the traditional sense when the resolution bias decays sufficiently rapidly. Furthermore, there can be many "descents" in the prediction error curve, when the contributions of predictors are inhomogeneous and the ordering of their importance does not align with the order of their inclusion in prediction.


title: Are there radio-loud and radio-quiet Gamma-Ray Bursts?

abstract: The potential existence of two separate classes of Long-duration Gamma-Ray Bursts (LGRBs) with and without radio afterglow emission, corresponding to radio-bright/loud and radio-dark/quiet populations, has been recently argued and favored in the GRB literature. The radio-quiet LGRBs have been found to have, on average, lower total isotropic gamma-ray emissions (Eiso) and shorter intrinsic prompt gamma-ray duration (e.g., T90z). In addition, a redshift-T90z anti-correlation has been discovered among the radio-loud LGRBs, which is reportedly missing in the radio-quiet class. Here we discuss the significance of the differences between the energetics and temporal properties of the two proposed classes of radio-loud and radio-quiet LGRBs. We show that much of the proposed evidence in support of the two distinct radio populations of LGRBs can be explained away in terms of selection effects and sample incompleteness. Our arguments are based on the recent discovery of the relatively-strong highly-significant positive correlation between the total isotropic emission (Eiso) and the intrinsic prompt duration (T90z) that is present in both populations of short-hard and long-soft GRBs, predicted, quantified, and reported for the first time by Shahmoradi (2013) and Shahmoradi and Nemiroff (2015).


title: On the minimal free resolution of symbolic powers of cover ideals of graphs

abstract: For any graph $G$, assume that $J(G)$ is the cover ideal of $G$. Let $J(G)^{(k)}$ denote the $k$th symbolic power of $J(G)$. We characterize all graphs $G$ with the property that $J(G)^{(k)}$ has a linear resolution for some (equivalently, for all) integer $k\geq 2$. Moreover, it is shown that for any graph $G$, the sequence $\big({\rm reg}(J(G)^{(k)})\big)_{k=1}^{\infty}$ is nondecreasing. Furthermore, we compute the largest degree of minimal generators of $J(G)^{(k)}$ when $G$ is either an unmixed of a claw-free graph.


title: Upper bounds on mixing time of finite Markov chains

abstract: We provide a general framework for computing upper bounds on mixing times of finite Markov chains when its minimal ideal is left zero. Our analysis is based on combining results by Brown and Diaconis with our previous work on stationary distributions of finite Markov chains. Stationary distributions can be computed from the Karnofsky--Rhodes and McCammond expansion of the right Cayley graph of the finite semigroup underlying the Markov chain. Using loop graphs, which are planar graphs consisting of a straight line with attached loops, there are rational expressions for the stationary distribution in the probabilities. From these we obtain bounds on the mixing time. In addition, we provide a new Markov chain on linear extension of a poset with $n$ vertices, inspired by but different from the promotion Markov chain of Ayyer, Klee and the last author. The mixing time of this Markov chain is $O(n \log n)$.


title: The Betelgeuse Project III: Merger Characteristics

abstract: We previously proposed that Betelgeuse might have been spun up by accreting a companion of about 1 solar mass. Here we explore in more detail the possible systematics of such a merger and a larger range of accreted masses. We use the stellar evolutionary code MESA to add angular momentum to a primary star in core helium burning, core carbon burning, or shell carbon burning. Our models provide a reasonable "natural" explanation for why Betelgeuse has a large, but sub-Keplerian equatorial velocity. They eject sufficient mass and angular momentum in rotationally-induced mass loss to reproduce the observed ratio of the equatorial velocity to escape velocity of Betelgeuse, ~0.23, within a factor of three nearly independent of the primary mass, the secondary mass, and the epoch at which merger occurs. Our models suggest that merger of a primary of somewhat less than 15 solar masses with secondaries of from 1 to 10 solar masses during core helium burning or core carbon burning could yield the equatorial rotational velocity of ~15 km/s attributed to Betelgeuse. For accreting models, a wave of angular momentum is halted at the composition boundary at the edge of the helium core. The inner core is thus not affected by the accretion of the companion in these simulations. Accretion has relatively little effect on the production of magnetic fields in the inner core. Our results do not prove, but do not negate that Betelgeuse might have ingested a companion of several solar masses.


title: Model Hierarchy Predictive Control of Robotic Systems

abstract: This letter presents a new predictive control architecture for high-dimensional robotic systems. As opposed to a conventional Model Predictive Control (MPC) approach to locomotion that formulates a hierarchical sequence of optimization problems, the proposed work formulates a single optimization problem posed over a hierarchy of models, and is thus named Model Hierarchy Predictive Control (MHPC). MHPC is formulated as a multi-phase receding-horizon Trajectory Optimization (TO) problem, and can be implemented using any general multi-phase TO solver. MHPC is benchmarked in simulation on a quadruped, a biped, and a quadrotor, demonstrating control performance on par or exceeding whole-body MPC while maintaining a lower computational cost in each case. A preliminary gap jumping experiment is conducted on the MIT Mini Cheetah with the control policy generated offline, demonstrating the physical validity of the generated trajectories and motivating online MHPC in future work.


title: The Schwarzschild-Tangherlini metric from scattering amplitudes in various dimensions

abstract: We derive the static Schwarzschild-Tangherlini metric by extracting the classical contributions from the multi-loop vertex functions of a graviton emitted from a massive scalar field. At each loop orders the classical contribution is proportional to a unique master integral given by the massless sunset integral. By computing the scattering amplitudes up to three-loop order in general dimension, we explicitly derive the expansion of the metric up to the fourth post-Minkowskian order $O(G_N^4)$ in four, five and six dimensions. There are ultraviolet divergences that are cancelled with the introduction of higher-derivative non-minimal couplings. The standard Schwarzschild-Tangherlini is recovered by absorbing their effects by an appropriate coordinate transformation induced from the de Donder gauge condition.


title: Question Answering over Knowledge Base using Language Model Embeddings

abstract: Knowledge Base, represents facts about the world, often in some form of subsumption ontology, rather than implicitly, embedded in procedural code, the way a conventional computer program does. While there is a rapid growth in knowledge bases, it poses a challenge of retrieving information from them. Knowledge Base Question Answering is one of the promising approaches for extracting substantial knowledge from Knowledge Bases. Unlike web search, Question Answering over a knowledge base gives accurate and concise results, provided that natural language questions can be understood and mapped precisely to an answer in the knowledge base. However, some of the existing embedding-based methods for knowledge base question answering systems ignore the subtle correlation between the question and the Knowledge Base (e.g., entity types, relation paths, and context) and suffer from the Out Of Vocabulary problem. In this paper, we focused on using a pre-trained language model for the Knowledge Base Question Answering task. Firstly, we used Bert base uncased for the initial experiments. We further fine-tuned these embeddings with a two-way attention mechanism from the knowledge base to the asked question and from the asked question to the knowledge base answer aspects. Our method is based on a simple Convolutional Neural Network architecture with a Multi-Head Attention mechanism to represent the asked question dynamically in multiple aspects. Our experimental results show the effectiveness and the superiority of the Bert pre-trained language model embeddings for question answering systems on knowledge bases over other well-known embedding methods.


title: On the best choice of Lasso program given data parameters

abstract: Generalized compressed sensing (GCS) is a paradigm in which a structured high-dimensional signal may be recovered from random, under-determined, and corrupted linear measurements. Generalized Lasso (GL) programs are effective for solving GCS problems due to their proven ability to leverage underlying signal structure. Three popular GL programs are equivalent in a sense and sometimes used interchangeably. Tuned by a governing parameter, each admit an optimal parameter choice. For sparse or low-rank signal structures, this choice yields minimax order-optimal error. While GCS is well-studied, existing theory for GL programs typically concerns this optimally tuned setting. However, the optimal parameter value for a GL program depends on properties of the data, and is typically unknown in practical settings. Performance in empirical problems thus hinges on a program's parameter sensitivity: it is desirable that small variation about the optimal parameter choice begets small variation about the optimal risk. We examine the risk for these three programs and demonstrate that their parameter sensitivity can differ for the same data. We prove a gauge-constrained GL program admits asymptotic cusp-like behaviour of its risk in the limiting low-noise regime. We prove that a residual-constrained Lasso program has asymptotically suboptimal risk for very sparse vectors. These results contrast observations about an unconstrained Lasso program, which is relatively less sensitive to its parameter choice. We support the asymptotic theory with numerical simulations, demonstrating that parameter sensitivity of GL programs is readily observed for even modest dimensional parameters. Importantly, these simulations demonstrate regimes in which a GL program exhibits sensitivity to its parameter choice, though the other two do not. We hope this work aids practitioners in selecting a GL program for their problem.


title: A Game AI Competition to foster Collaborative AI research and development

abstract: Game AI competitions are important to foster research and development on Game AI and AI in general. These competitions supply different challenging problems that can be translated into other contexts, virtual or real. They provide frameworks and tools to facilitate the research on their core topics and provide means for comparing and sharing results. A competition is also a way to motivate new researchers to study these challenges. In this document, we present the Geometry Friends Game AI Competition. Geometry Friends is a two-player cooperative physics-based puzzle platformer computer game. The concept of the game is simple, though its solving has proven to be difficult. While the main and apparent focus of the game is cooperation, it also relies on other AI-related problems such as planning, plan execution, and motion control, all connected to situational awareness. All of these must be solved in real-time. In this paper, we discuss the competition and the challenges it brings, and present an overview of the current solutions.


title: PPL Bench: Evaluation Framework For Probabilistic Programming Languages

abstract: We introduce PPL Bench, a new benchmark for evaluating Probabilistic Programming Languages (PPLs) on a variety of statistical models. The benchmark includes data generation and evaluation code for a number of models as well as implementations in some common PPLs. All of the benchmark code and PPL implementations are available on Github. We welcome contributions of new models and PPLs and as well as improvements in existing PPL implementations. The purpose of the benchmark is two-fold. First, we want researchers as well as conference reviewers to be able to evaluate improvements in PPLs in a standardized setting. Second, we want end users to be able to pick the PPL that is most suited for their modeling application. In particular, we are interested in evaluating the accuracy and speed of convergence of the inferred posterior. Each PPL only needs to provide posterior samples given a model and observation data. The framework automatically computes and plots growth in predictive log-likelihood on held out data in addition to reporting other common metrics such as effective sample size and $\hat{r}$.


title: i-Mix: A Domain-Agnostic Strategy for Contrastive Representation Learning

abstract: Contrastive representation learning has shown to be effective to learn representations from unlabeled data. However, much progress has been made in vision domains relying on data augmentations carefully designed using domain knowledge. In this work, we propose i-Mix, a simple yet effective domain-agnostic regularization strategy for improving contrastive representation learning. We cast contrastive learning as training a non-parametric classifier by assigning a unique virtual class to each data in a batch. Then, data instances are mixed in both the input and virtual label spaces, providing more augmented data during training. In experiments, we demonstrate that i-Mix consistently improves the quality of learned representations across domains, including image, speech, and tabular data. Furthermore, we confirm its regularization effect via extensive ablation studies across model and dataset sizes. The code is available at https://github.com/kibok90/imix.


title: Light Stage Super-Resolution: Continuous High-Frequency Relighting

abstract: The light stage has been widely used in computer graphics for the past two decades, primarily to enable the relighting of human faces. By capturing the appearance of the human subject under different light sources, one obtains the light transport matrix of that subject, which enables image-based relighting in novel environments. However, due to the finite number of lights in the stage, the light transport matrix only represents a sparse sampling on the entire sphere. As a consequence, relighting the subject with a point light or a directional source that does not coincide exactly with one of the lights in the stage requires interpolation and resampling the images corresponding to nearby lights, and this leads to ghosting shadows, aliased specularities, and other artifacts. To ameliorate these artifacts and produce better results under arbitrary high-frequency lighting, this paper proposes a learning-based solution for the "super-resolution" of scans of human faces taken from a light stage. Given an arbitrary "query" light direction, our method aggregates the captured images corresponding to neighboring lights in the stage, and uses a neural network to synthesize a rendering of the face that appears to be illuminated by a "virtual" light source at the query location. This neural network must circumvent the inherent aliasing and regularity of the light stage data that was used for training, which we accomplish through the use of regularized traditional interpolation methods within our network. Our learned model is able to produce renderings for arbitrary light directions that exhibit realistic shadows and specular highlights, and is able to generalize across a wide variety of subjects.


title: Creative Telescoping on Multiple Sums

abstract: We showcase a collection of practical strategies to deal with a problem arising from an analysis of integral estimators derived via quasi-Monte Carlo methods. The problem reduces to a triple binomial sum, thereby enabling us to open up the holonomic toolkit, which contains tools such as creative telescoping that can be used to deduce a recurrence satisfied by the sum. While applying these techniques, a host of issues arose that partly needed to be resolved by hand. In other words, no creative telescoping implementation currently exists that can resolve all these issues automatically. Thus, we felt the need to compile the different strategies we tried and the difficulties that we encountered along the way. In particular, we highlight the necessity of the certificate in these computations and how its complexity can greatly influence the computation time.


title: The use of scaling properties to detect relevant changes in financial time series: a new visual warning tool

abstract: The dynamical evolution of multiscaling in financial time series is investigated using time-dependent Generalized Hurst Exponents (GHE), $H_q$, for various values of the parameter $q$. Using $H_q$, we introduce a new visual methodology to algorithmically detect critical changes in the scaling of the underlying complex time-series. The methodology involves the degree of multiscaling at a particular time instance, the multiscaling trend which is calculated by the Change-Point Analysis method, and a rigorous evaluation of the statistical significance of the results. Using this algorithm, we have identified particular patterns in the temporal co-evolution of the different $H_q$ time-series. These GHE patterns, distinguish in a statistically robust way, not only between time periods of uniscaling and multiscaling, but also among different types of multiscaling: symmetric multiscaling (M) and asymmetric multiscaling (A). We apply the visual methodology to time-series comprising of daily close prices of four stock market indices: two major ones (S\&P~500 and NIKKEI) and two peripheral ones (Athens Stock Exchange general Index and Bombay-SENSEX). Results show that multiscaling varies greatly with time: time periods of strong multiscaling behavior and time periods of uniscaling behavior are interchanged while transitions from uniscaling to multiscaling behavior occur before critical market events, such as stock market bubbles. Moreover, particular asymmetric multiscaling patterns appear during critical stock market eras and provide useful information about market conditions. In particular, they can be used as 'fingerprints' of a turbulent market period as well as provide warning signals for an upcoming stock market 'bubble'. The applied visual methodology also appears to distinguish between exogenous and endogenous stock market crises, based on the observed patterns before the actual events.


title: DeepAveragers: Offline Reinforcement Learning by Solving Derived Non-Parametric MDPs

abstract: We study an approach to offline reinforcement learning (RL) based on optimally solving finitely-represented MDPs derived from a static dataset of experience. This approach can be applied on top of any learned representation and has the potential to easily support multiple solution objectives as well as zero-shot adjustment to changing environments and goals. Our main contribution is to introduce the Deep Averagers with Costs MDP (DAC-MDP) and to investigate its solutions for offline RL. DAC-MDPs are a non-parametric model that can leverage deep representations and account for limited data by introducing costs for exploiting under-represented parts of the model. In theory, we show conditions that allow for lower-bounding the performance of DAC-MDP solutions. We also investigate the empirical behavior in a number of environments, including those with image-based observations. Overall, the experiments demonstrate that the framework can work in practice and scale to large complex offline RL problems.


title: Mixed-Lingual Pre-training for Cross-lingual Summarization

abstract: Cross-lingual Summarization (CLS) aims at producing a summary in the target language for an article in the source language. Traditional solutions employ a two-step approach, i.e. translate then summarize or summarize then translate. Recently, end-to-end models have achieved better results, but these approaches are mostly limited by their dependence on large-scale labeled data. We propose a solution based on mixed-lingual pre-training that leverages both cross-lingual tasks such as translation and monolingual tasks like masked language models. Thus, our model can leverage the massive monolingual data to enhance its modeling of language. Moreover, the architecture has no task-specific components, which saves memory and increases optimization efficiency. We show in experiments that this pre-training scheme can effectively boost the performance of cross-lingual summarization. In Neural Cross-Lingual Summarization (NCLS) dataset, our model achieves an improvement of 2.82 (English to Chinese) and 1.15 (Chinese to English) ROUGE-1 scores over state-of-the-art results.


title: PSweight: An R Package for Propensity Score Weighting Analysis

abstract: Propensity score weighting is an important tool for comparative effectiveness research.Besides the inverse probability of treatment weights (IPW), recent development has introduced a general class of balancing weights, corresponding to alternative target populations and estimands. In particular, the overlap weights (OW) lead to optimal covariate balance and estimation efficiency, and a target population of scientific and policy interest. We develop the R package PSweight to provide a comprehensive design and analysis platform for causal inference based on propensity score weighting. PSweight supports (i) a variety of balancing weights, (ii) binary and multiple treatments,(iii) simple and augmented weighting estimators, (iv) nuisance-adjusted sandwich variances, and(v) ratio estimands. PSweight also provides diagnostic tables and graphs for covariate balance assessment. We demonstrate the functionality of the package using a data example from the NationalChild Development Survey (NCDS), where we evaluate the causal effect of educational attainment on income.


title: A Projective Representation of the Modular Group

abstract: Quantum Teichmuller theory assigns invariants to three-manifolds via projective representations of mapping class groups derived from the representation of a noncommutative torus. Here, we focus on a representation of the simplest non-commutative torus which remains fixed by all elements of the mapping class group of the torus, $SL_2(\mathbb{Z})$. Also known as the modular group. We use this representation to associate a matrix to each element of $SL_2(\mathbb{Z})$; we then compute the trace and determinant of the associated matrix.


title: Fourier Neural Operator for Parametric Partial Differential Equations

abstract: The classical development of neural networks has primarily focused on learning mappings between finite-dimensional Euclidean spaces. Recently, this has been generalized to neural operators that learn mappings between function spaces. For partial differential equations (PDEs), neural operators directly learn the mapping from any functional parametric dependence to the solution. Thus, they learn an entire family of PDEs, in contrast to classical methods which solve one instance of the equation. In this work, we formulate a new neural operator by parameterizing the integral kernel directly in Fourier space, allowing for an expressive and efficient architecture. We perform experiments on Burgers' equation, Darcy flow, and Navier-Stokes equation. The Fourier neural operator is the first ML-based method to successfully model turbulent flows with zero-shot super-resolution. It is up to three orders of magnitude faster compared to traditional PDE solvers. Additionally, it achieves superior accuracy compared to previous learning-based solvers under fixed resolution.


title: Interferences of electrostatic moir\'e potentials and bichromatic superlattices of electrons and excitons in transition metal dichalcogenides

abstract: Recent experimental progresses have demonstrated the great potential of electronic and excitonic moir\'e superlattices in transition metal dichalcogenides (TMDs) for quantum many-body simulations and quantum optics applications. Here we reveal that the moir\'e potential landscapes in the TMDs heterostructures have an electrostatic origin from the spontaneous charge transfer across the heterointerfaces dependent on the atomic registry. This allows engineering tunable multi-chromatic superlattices through the interference of moir\'e potentials from independently configurable heterointerfaces in multilayers. We show examples of bichromatic moir\'e potentials for valley electrons, holes, and interlayer trions in MX2/M'X'2/MX2 trilayers, which can be strain switched from multi-orbital periodic superlattices to quasi-periodic disordered landscape. The trilayer moir\'e also hosts two independently configurable triangular superlattices of neutral excitons with opposite electric dipoles. These findings greatly enrich the versatility and controllability of TMDs moir\'e as a quantum simulation platform.


title: Frobenius stable pluricanonical systems on threefolds of general type in positive characteristic

abstract: This paper aims to investigate effectivity problems of pluricanonical systems on varieties of general type in positive characteristic. In practice, we will consider a sub-linear system $|S^0_{-}(X, K_X + nK_X)| \subseteq |H^0(X, K_X +nK_X)|$ generated by certain Frobenius stable sections, and prove that for a minimal terminal threefold $X$ of general type with either $q(X)>0$ or Gorenstein singularities, if $n\geq 28$ then $|S^0_{-}(X, K_X + nK_X)| \neq \emptyset$; if $n\geq 42$ then the linear system $|S^0_{-}(X, K_X + nK_X)|$ defines a birational map.


title: A Study of the Time Variability and Line Profile Variations of kappa Dra

abstract: In this study, we present a spectroscopic analysis of the bright Be star kappa Dra. Two independent sets of radial velocity velocities (RV) measurements were obtained by direct measurement and using a line profile disentangling technique. Using a combination of the solutions found by the codes FOTEL and KOREL, we revisited the binary nature of kappa Dra and derived improved orbital elements. From the RVs of the Balmer lines and also from some strong metallic lines we found that all RVs variations are phase-locked with the orbital period. V/R variations were obtained for H_alpha, H_beta, H_gamma and some other photospheric lines and they are found to be phase-locked with the orbital motion. A moving absorption bump superimposed over the H_alpha and H_beta emission line profiles was detected. The orbital solutions for kappa Dra were derived assuming a circular orbit with a period 61.5549 day and K = 6.81 km/s . The question of the line profile variability was discussed. We attempted to search for absorption or emission lines of the unresolved secondary component, we failed to find them.


title: Training Recommender Systems at Scale: Communication-Efficient Model and Data Parallelism

abstract: In this paper, we consider hybrid parallelism -- a paradigm that employs both Data Parallelism (DP) and Model Parallelism (MP) -- to scale distributed training of large recommendation models. We propose a compression framework called Dynamic Communication Thresholding (DCT) for communication-efficient hybrid training. DCT filters the entities to be communicated across the network through a simple hard-thresholding function, allowing only the most relevant information to pass through. For communication efficient DP, DCT compresses the parameter gradients sent to the parameter server during model synchronization. The threshold is updated only once every few thousand iterations to reduce the computational overhead of compression. For communication efficient MP, DCT incorporates a novel technique to compress the activations and gradients sent across the network during the forward and backward propagation, respectively. This is done by identifying and updating only the most relevant neurons of the neural network for each training sample in the data. We evaluate DCT on publicly available natural language processing and recommender models and datasets, as well as recommendation systems used in production at Facebook. DCT reduces communication by at least $100\times$ and $20\times$ during DP and MP, respectively. The algorithm has been deployed in production, and it improves end-to-end training time for a state-of-the-art industrial recommender model by 37\%, without any loss in performance.


title: Cryptocurrency portfolio optimization with multivariate normal tempered stable processes and Foster-Hart risk

abstract: We study portfolio optimization of four major cryptocurrencies. Our time series model is a generalized autoregressive conditional heteroscedasticity (GARCH) model with multivariate normal tempered stable (MNTS) distributed residuals used to capture the non-Gaussian cryptocurrency return dynamics. Based on the time series model, we optimize the portfolio in terms of Foster-Hart risk. Those sophisticated techniques are not yet documented in the context of cryptocurrency. Statistical tests suggest that the MNTS distributed GARCH model fits better with cryptocurrency returns than the competing GARCH-type models. We find that Foster-Hart optimization yields a more profitable portfolio with better risk-return balance than the prevailing approach.


title: Spectrum-Flexible Secure Broadcast Ranging

abstract: Secure ranging is poised to play a critical role in several emerging applications such as self-driving cars, unmanned aerial systems, wireless IoT devices, and augmented reality. In this paper, we propose a design of a secure broadcast ranging systems with unique features and techniques. Its spectral-flexibility, and low-power short ranging bursts enable co-existence with existing systems such as in the 2.4GHz ISM band. We exploit a set of RF techniques such as upsampling and successive interference cancellation to achieve high accuracy and scalability to tens of reflectors even when operating over narrow bands of spectrum. We demonstrate that it can be implemented on popular SDR platforms FPGA and/or hosts (with minimal FPGA modifications). The protocol design, and cryptographically generated/detected signals, and randomized timing of transmissions, provide stealth and security against denial of service, sniffing, and distance manipulation attacks. Through extensive experimental evaluations (and simulations for scalability to over 100 reflectors) we demonstrate an accuracy below 20cm on a wide range of SNR (as low as 0dB), spectrum 25MHz-100MHz, with bursts as short as 5us.


title: Symbols and equivariant birational geometry in small dimensions

abstract: We discuss the equivariant Burnside group and related new invariants in equivariant birational geometry, with a special emphasis on applications in low dimensions.


title: Standard pairs of monomial ideals over non-normal affine semigroups in SageMath

abstract: We present stdPairs.spyx, a SageMath library to compute standard pairs of a monomial ideal over a pointed (non-normal) affine semigroup ring. Moreover, stdPairs.spyx provides the associated prime ideals, the corresponding multiplicities, and an irredundant irreducible primary decomposition of a monomial ideal. The library expands on the standardPairs function on Macaulay2 over polynomial rings, and is based on algorithms from arXiv:2005.10968v2 [math.AC]. We also provide methods that allow the outputs from this library to be compatible with the Normaliz package of Macaulay2 and SageMath.


title: Consecutive Radio Labeling of Hamming Graphs

abstract: For a graph $G$, a $k$-radio labeling of $G$ is the assignment of positive integers to the vertices of $G$ such that the closer two vertices are on the graph, the greater the difference in labels is required to be. Specifically, $\vert f(u)-f(v)\vert\geq k + 1 - d(u,v)$ where $f(u)$ is the label on a vertex $u$ in $G$. Here, we consider the case when $G$ is the Cartesian products of complete graphs. Specifically we wish to find optimal labelings that use consecutive integers and determine when this is possible. We build off of a paper by Amanda Niedzialomski and construct a framework for discovering consecutive radio labelings for Hamming Graphs, starting with the smallest unknown graph, $K_3^4$, for which we provide an optimal labeling using our construction.


title: Probing the Phonon Mean Free Paths in Dislocation Core by Molecular Dynamics Simulation

abstract: Thermal management is extremely important for designing high-performance devices. The lattice thermal conductivity of materials is strongly dependent on the structural defects at different length scales, particularly point defects like vacancies, line defects like dislocations, and planar defects such as grain boundaries. Traditionally, the McKelvey-Shockley phonon Boltzmann's transport equation (BTE) method combined with molecular dynamics simulations has been widely used to evaluate the phonon mean free paths (MFPs) in defective systems. However, this method can only provide the aggregate MFPs of the whole sample. It is, therefore, challenging to extract the MFPs in the different regions with different thermal properties. In this study, the 1D McKelvey-Shockley phonon BTE method was extended to model inhomogeneous materials, where the effect of defects on the phonon MFPs is explicitly obtained. Then, the method was used to study the phonon interactions with the core structure of an edge dislocation. The phonon MFPs in the dislocation core were obtained and consistent with the analytical model such that high frequency phonons are likely to be scattered in this area. This method not only advances the knowledge of phonon-dislocation scattering but also shows the potential to investigate phonon transport behaviors in more complicated materials.


title: A General Maximum Principle for Stochastic Systems with Delay

abstract: In this paper, we consider optimal control problems derived by stochastic systems with delay, where control domains are non-convex and the diffusion coefficients depend on control variables. By an estimate of the integral of x_{1}(t)x_{1}(t-\delta) term, we obtain a general maximum principle for the optimal control problems with a standard spike variational technique and duality method. The maximum principle is applied to study a delayed linear-quadratic optimal control problem with a non-convex control domain; an optimal solution is obtained.


title: Searching for charged lepton flavor violation at $ep$ colliders

abstract: We investigate the sensitivity of electron-proton ($ep$) colliders for charged lepton flavor violation (cLFV) in an effective theory approach, considering a general effective Lagrangian for the conversion of an electron into a muon or a tau via the effective coupling to a neutral gauge boson or a neutral scalar field. For the photon, the $Z$ boson and the Higgs particle of the Standard Model, we present the sensitivities of the LHeC for the coefficients of the effective operators, calculated from an analysis at the reconstructed level. As an example model where such flavor changing neutral current (FCNC) operators are generated at loop level, we consider the extension of the Standard Model by sterile neutrinos. We show that the LHeC could already probe the LFV conversion of an electron into a muon beyond the current experimental bounds, and could reach more than an order of magnitude higher sensitivity than the present limits for LFV conversion of an electron into a tau. We discuss that the high sensitivities are possible because the converted charged lepton is dominantly emitted in the backward direction, enabling an efficient separation of the signal from the background.


title: Accelerated Algorithms for Convex and Non-Convex Optimization on Manifolds

abstract: We propose a general scheme for solving convex and non-convex optimization problems on manifolds. The central idea is that, by adding a multiple of the squared retraction distance to the objective function in question, we "convexify" the objective function and solve a series of convex sub-problems in the optimization procedure. One of the key challenges for optimization on manifolds is the difficulty of verifying the complexity of the objective function, e.g., whether the objective function is convex or non-convex, and the degree of non-convexity. Our proposed algorithm adapts to the level of complexity in the objective function. We show that when the objective function is convex, the algorithm provably converges to the optimum and leads to accelerated convergence. When the objective function is non-convex, the algorithm will converge to a stationary point. Our proposed method unifies insights from Nesterov's original idea for accelerating gradient descent algorithms with recent developments in optimization algorithms in Euclidean space. We demonstrate the utility of our algorithms on several manifold optimization tasks such as estimating intrinsic and extrinsic Fr\'echet means on spheres and low-rank matrix factorization with Grassmann manifolds applied to the Netflix rating data set.


title: Prediction of daily maximum ozone levels using Lasso sparse modeling method

abstract: This paper applies modern statistical methods in the prediction of the next-day maximum ozone concentration, as well as the maximum 8-hour-mean ozone concentration of the next day. The model uses a large number of candidate features, including the present day's hourly concentration level of various pollutants, as well as the meteorological variables of the present day's observation and the future day's forecast values. In order to solve such an ultra-high dimensional problem, the least absolute shrinkage and selection operator (Lasso) was applied. The $L_1$ nature of this methodology enables the automatic feature dimension reduction, and a resultant sparse model. The model trained by 3-years data demonstrates relatively good prediction accuracy, with RMSE= 5.63 ppb, MAE= 4.42 ppb for predicting the next-day's maximum $O_3$ concentration, and RMSE= 5.68 ppb, MAE= 4.52 ppb for predicting the next-day's maximum 8-hour-mean $O_3$ concentration. Our modeling approach is also compared with several other methods recently applied in the field and demonstrates superiority in the prediction accuracy.


title: Generalized Crewther relation and a novel demonstration of the scheme independence of commensurate scale relations up to all orders

abstract: In the paper, we make a detailed study on the generalized Crewther Relation (GCR) between the Adler function ($D$) and the Gross-Llewellyn Smith sum rules coefficient ($C^{\rm GLS}$) by using the newly suggested single-scale approach of the principle of maximum conformality (PMC). The resultant GCR is scheme-independent, whose residual scale dependence due to unknown higher-order terms are highly suppressed. Thus a precise test of QCD theory without renormalization scheme and scale ambiguities can be achieved by comparing with the data. Moreover, a demonstration of the scheme independence of commensurate scale relation up to all orders has been presented. And as the first time, the Pade approximation approach has been adopted for estimating the unknown $5_{\rm th}$-loop contributions from the known four-loop perturbative series.


title: Origin of the $\nu=1/2$ fractional quantum Hall effect in wide quantum wells

abstract: The nature of the fractional quantum Hall effect at $\nu=1/2$ observed in wide quantum wells almost three decades ago is still under debate. Previous studies have investigated it by the variational Monte Carlo method, which makes the assumption that the transverse wave function and the gap between the symmetric and antisymmetric subbands obtained in a local density approximation at zero magnetic field remain valid even at high perpendicular magnetic fields; this method also ignores the effect of Landau level mixing. We develop in this work a three-dimensional fixed phase Monte Carlo method, which gives, in a single framework, the total energies of various candidate states in a finite width quantum well, including Landau level mixing, directly in a large magnetic field. This method can be applied to one-component states, as well two-component states in the limit where the symmetric and antisymmetric bands are nearly degenerate. Our three-dimensional fixed-phase diffusion Monte Carlo calculations suggest that the observed 1/2 fractional quantum Hall state in wide quantum wells is likely to be the one-component Pfaffian state supporting non-Abelian excitations. We hope that this will motivate further experimental studies of this state.


title: The Leaky Pipeline in Physics Publishing

abstract: Women make up a shrinking portion of physics faculty in senior positions, a phenomenon known as a "leaky pipeline." While fixing this problem has been a priority in academic institutions, efforts have been stymied by the diverse sources of leaks. In this paper we identify a bias potentially contributing to the leaky pipeline. We analyze bibliographic data provided by the American Physical Society (APS), a leading publisher of physics research. By inferring the gender of authors from names, we are able to measure the fraction of women authors over past decades. We show that the more selective, higher impact APS journals have lower fractions of women authors compared to other APS journals. Correcting this bias may help more women publish in prestigious APS journals, and in turn help improve their academic promotion cases.


title: Spectral properties of cBCK-algebras

abstract: In this paper we study prime spectra of commutative BCK-algebras. We give a new construction for commutative BCK-algebras using rooted trees, and determine both the ideal lattice and prime ideal lattice of such algebras. We prove that the spectrum of any commutative BCK-algebra is a locally compact generalized spectral space which is compact if and only if the algebra is finitely generated as an ideal. Further, we show that if a commutative BCK-algebra is involutory, then its spectrum is a Priestley space. Finally, we consider the functorial properties of the spectrum and define a functor from the category of commutative BCK-algebras to the category of distributive lattices with zero. We give a partial answer to the question: what distributive lattices lie in the image of this functor?


title: A two-stage fourth-order gas-kinetic CPR method for the Navier-Stokes equations on triangular meshes

abstract: A highly efficient gas-kinetic scheme with fourth-order accuracy in both space and time is developed for the Navier-Stokes equations on triangular meshes. The scheme combines an efficient correction procedure via reconstruction (CPR) framework with a robust gas-kinetic flux formula, which computes both the flux and its time-derivative. The availability of the flux time-derivative makes it straightforward to adopt an efficient two-stage temporal discretization to achieve fourth-order time accuracy. In addition, through the gas-kinetic evolution model, the inviscid and viscous fluxes are coupled and computed uniformly without any separate treatment for the viscous fluxes. As a result, the current scheme is more efficient than traditional explicit CPR methods with a separate treatment for viscous fluxes, and a fourth order Runge-Kutta approach. Furthermore, a robust and accurate subcell finite volume (SCFV) limiting procedure is extended to the CPR framework for troubled cells, resulting in subcell resolution of flow discontinuities. Numerical tests demonstrate the high accuracy, efficiency and robustness of the current scheme in a wide range of inviscid and viscous flow problems from subsonic to supersonic speeds.


title: Disguising Personal Identity Information in EEG Signals

abstract: There is a need to protect the personal identity information in public EEG datasets. However, it is challenging to remove such information that has infinite classes (open set). We propose an approach to disguise the identity information in EEG signals with dummy identities, while preserving the key features. The dummy identities are obtained by applying grand average on EEG spectrums across the subjects within a group that have common attributes. The personal identity information in original EEGs are transformed into disguised ones with a CycleGANbased EEG disguising model. With the constraints added to the model, the features of interest in EEG signals can be preserved. We evaluate the model by performing classification tasks on both the original and the disguised EEG and compare the results. For evaluation, we also experiment with ResNet classifiers, which perform well especially on the identity recognition task with an accuracy of 98.4%. The results show that our EEG disguising model can hide about 90% of personal identity information and can preserve most of the other key features.


title: Optimizing Memory Performance of Xilinx FPGAs under Vitis

abstract: Plenty of research efforts have been devoted to FPGA-based acceleration, due to its low latency and high energy efficiency. However, using the original low-level hardware description languages like Verilog to program FPGAs requires generally good knowledge of hardware design details and hand-on experiences. Fortunately, the FPGA community intends to address this low programmability issues. For example, , with the intention that programming FPGAs is just as easy as programming GPUs. Even though Vitis is proven to increase programmability, we cannot directly obtain high performance without careful design regarding hardware pipeline and memory subsystem.In this paper, we focus on the memory subsystem, comprehensively and systematically benchmarking the effect of optimization methods on memory performance. Upon benchmarking, we quantitatively analyze the typical memory access patterns for a broad range of applications, including AI, HPC, and database. Further, we also provide the corresponding optimization direction for each memory access pattern so as to improve overall performance.


title: Fractonic order in infinite-component Chern-Simons gauge theories

abstract: 2+1D multi-component $U(1)$ gauge theories with a Chern-Simons (CS) term provide a simple and complete characterization of 2+1D Abelian topological orders. In this paper, we extend the theory by taking the number of component gauge fields to infinity and find that they can describe interesting types of 3+1D "fractonic" order. "Fractonic" describes the peculiar phenomena that point excitations in certain strongly interacting systems either cannot move at all or are only allowed to move in a lower dimensional sub-manifold. In the simplest cases of infinite-component CS gauge theory, different components do not couple to each other and the theory describes a decoupled stack of 2+1D fractional Quantum Hall systems with quasi-particles moving only in 2D planes -- hence a fractonic system. We find that when the component gauge fields do couple through the CS term, more varieties of fractonic orders are possible. For example, they may describe foliated fractonic systems for which increasing the system size requires insertion of nontrivial 2+1D topological states. Moreover, we find examples which lie beyond the foliation framework, characterized by 2D excitations of infinite order and braiding statistics that are not strictly local.


title: Quark Gluon Plasma (QGP) evolution under loop corrections

abstract: We review free energy evolution of QGP (Quark-gluon plasma) under zero-loop, one loop and two loop corrections in the mean field potential. The free energies of QGP under the comparison of zero-loop and loop corrections of the interacting potential among the quarks, anti-quarks and gluons are shown. We observe that the formation of stable QGP droplet is dependent on the loop corrections with the different parametrization values of fluid. With the increase in the parametrization value, stability of droplet formation increases with smaller size of droplet. This indicates that the formation of QGP droplet can be signified more importantly by the parametrization value like the Reynold number in fluid dynamics. It means that there may be different phenomenological parameter to define the stable QGP droplet when QGP fluid is studied under loop corrections.


title: Boosting High-Level Vision with Joint Compression Artifacts Reduction and Super-Resolution

abstract: Due to the limits of bandwidth and storage space, digital images are usually down-scaled and compressed when transmitted over networks, resulting in loss of details and jarring artifacts that can lower the performance of high-level visual tasks. In this paper, we aim to generate an artifact-free high-resolution image from a low-resolution one compressed with an arbitrary quality factor by exploring joint compression artifacts reduction (CAR) and super-resolution (SR) tasks. First, we propose a context-aware joint CAR and SR neural network (CAJNN) that integrates both local and non-local features to solve CAR and SR in one-stage. Finally, a deep reconstruction network is adopted to predict high quality and high-resolution images. Evaluation on CAR and SR benchmark datasets shows that our CAJNN model outperforms previous methods and also takes 26.2% shorter runtime. Based on this model, we explore addressing two critical challenges in high-level computer vision: optical character recognition of low-resolution texts, and extremely tiny face detection. We demonstrate that CAJNN can serve as an effective image preprocessing method and improve the accuracy for real-scene text recognition (from 85.30% to 85.75%) and the average precision for tiny face detection (from 0.317 to 0.611).


title: Average-reward model-free reinforcement learning: a systematic review and literature mapping

abstract: Reinforcement learning is important part of artificial intelligence. In this paper, we review model-free reinforcement learning that utilizes the average reward optimality criterion in the infinite horizon setting. Motivated by the solo survey by Mahadevan (1996a), we provide an updated review of work in this area and extend it to cover policy-iteration and function approximation methods (in addition to the value-iteration and tabular counterparts). We present a comprehensive literature mapping. We also identify and discuss opportunities for future work.


title: Local self-interaction correction method with a simple scaling factor

abstract: A recently proposed local self-interaction correction (LSIC) method [Zope \textit{et al.} J. Chem. Phys., 2019,{\bf 151}, 214108] when applied to the simplest local density approximation provides significant improvement over standard Perdew-Zunger SIC (PZSIC) for both equilibrium properties such as total or atomization energies as well as properties involving stretched bond such as barrier heights. The method uses an iso-orbital indicator to identify the single-electron regions. To demonstrate the LSIC method, Zope \textit{et al.} used the ratio $z_\sigma$ of von Weizs\"acker $\tau_\sigma^W$ and total kinetic energy densities $\tau_\sigma$, ($z_\sigma = \tau_\sigma^W/\tau_\sigma$) as a scaling factor to scale the self-interaction correction. The present work further explores the LSIC method using a simpler scaling factor as a ratio of orbital and spin densities in place of the ratio of kinetic energy densities. We compute a wide array of both, equilibrium and non-equilibrium properties using the LSIC and orbital scaling methods using this simple scaling factor and compare them with previously reported results. Our study shows that the present results with simple scaling factor are comparable to those obtained by LSIC($z_\sigma$) for most properties but have slightly larger errors. We furthermore study the binding energies of small water clusters using both the scaling factors. Our results show that LSIC with $z_{\sigma}$ has limitation in predicting the binding energies of weakly bonded system due to the inability of $z_{\sigma}$ to distinguish weakly bonded region from slowly varying density region. LSIC when used with density ratio as a scaling factor, on the other hand, provides good description of water cluster binding energies, thus highlighting the appropriate choice of iso-orbital indicator.


title: On the permanent of a random symmetric matrix

abstract: Let $M_{n}$ denote a random symmetric $n\times n$ matrix, whose entries on and above the diagonal are i.i.d. Rademacher random variables (taking values $\pm 1$ with probability $1/2$ each). Resolving a conjecture of Vu, we prove that the permanent of $M_{n}$ has magnitude $n^{n/2+o(n)}$ with probability $1-o(1)$. Our result can also be extended to more general models of random matrices.


title: Towards Data Distillation for End-to-end Spoken Conversational Question Answering

abstract: In spoken question answering, QA systems are designed to answer questions from contiguous text spans within the related speech transcripts. However, the most natural way that human seek or test their knowledge is via human conversations. Therefore, we propose a new Spoken Conversational Question Answering task (SCQA), aiming at enabling QA systems to model complex dialogues flow given the speech utterances and text corpora. In this task, our main objective is to build a QA system to deal with conversational questions both in spoken and text forms, and to explore the plausibility of providing more cues in spoken documents with systems in information gathering. To this end, instead of adopting automatically generated speech transcripts with highly noisy data, we propose a novel unified data distillation approach, DDNet, which directly fuse audio-text features to reduce the misalignment between automatic speech recognition hypotheses and the reference transcriptions. In addition, to evaluate the capacity of QA systems in a dialogue-style interaction, we assemble a Spoken Conversational Question Answering (Spoken-CoQA) dataset with more than 120k question-answer pairs. Experiments demonstrate that our proposed method achieves superior performance in spoken conversational question answering.


title: Meta-path Free Semi-supervised Learning for Heterogeneous Networks

abstract: Graph neural networks (GNNs) have been widely used in representation learning on graphs and achieved superior performance in tasks such as node classification. However, analyzing heterogeneous graph of different types of nodes and links still brings great challenges for injecting the heterogeneity into a graph neural network. A general remedy is to manually or automatically design meta-paths to transform a heterogeneous graph into a homogeneous graph, but this is suboptimal since the features from the first-order neighbors are not fully leveraged for training and inference. In this paper, we propose simple and effective graph neural networks for heterogeneous graph, excluding the use of meta-paths. Specifically, our models focus on relaxing the heterogeneity stress for model parameters by expanding model capacity of general GNNs in an effective way. Extensive experimental results on six real-world graphs not only show the superior performance of our proposed models over the state-of-the-arts, but also demonstrate the potentially good balance between reducing the heterogeneity stress and increasing the parameter size. Our code is freely available for reproducing our results.


title: Implementing Agent-Based Systems via Computability Logic CL2

abstract: Computability logic(CoL) is a powerful computational model. In this paper, we show that CoL naturally supports multi-agent programming models where resources (coffee for example) are involved. To be specific, we discuss an implementation of the Starbucks based on CoL (CL2 to be exact).


title: Observation of magnon-polarons in a uniaxial antiferromagnetic insulator

abstract: Magnon-polarons, a type of hybridized excitations between magnons and phonons, were first reported in yttrium iron garnet as anomalies in the spin Seebeck effect responses. Here we report an observation of antiferromagnetic (AFM) magnon-polarons in a uniaxial AFM insulator Cr2O3. Despite the relatively higher energy of magnon than that of the acoustic phonons, near the spin-flop transition of ~ 6 T, the left-handed magnon spectrum shifts downward to hybridize with the acoustic phonons to form AFM magnon-polarons, which can also be probed by the spin Seebeck effect. The spin Seebeck signal is founded to be enhanced due to the magnon-polarons at low temperatures.


title: Algebro-geometric equisingularity of Zariski

abstract: This is a survey on Zariski equisingularity. We recall its definition, main properties, and a variety of applications in Algebraic Geometry and Singularity Theory. In the first part of this survey, we consider Zariski equisingular families of complex analytic or algebraic hypersurfaces. We also discuss how to construct Zariski equisingular deformations. In the second part, we present Zariski equisingularity of hypersurfaces along a nonsingular subvariety and its relation to other equisingularity conditions. We also discuss the canonical stratification of such hypersurfaces given by the dimensionality type.


title: A study of neutron stars in $D \ge 4$ dimensions

abstract: The relativistic equations of hydrostatic equilibrium for a spherically symmetric star, or the Tolman-Oppenheimer-Volkoff equations are known in higher dimensions. In this paper, these equations have been expressed in terms of parameters of 4 dimensional spacetime and solved numerically for 4, 5, 6, and 7 dimensions using a standard equation of state for the neutron star matter derived for the 4 dimensional spacetime. It has been shown that with the increase of the dimensionality, the maximum value of the mass of the neutron star decreases and the stars become less compact. Thus, although the compactness limit decreases with increased dimensionality, neutron stars never violate this limit. Simultaneous measurements of the mass, radius, and gravitational redshift for a neutron star might enable us to conclude about the central density, equation of state and the dimensionality of the spacetime in and around the star.


title: Self-stabilizing Graph Exploration by a Single Agent

abstract: In this paper, we give two self-stabilizing algorithms that solve graph exploration by a single (mobile) agent. The proposed algorithms are self-stabilizing: the agent running each of the algorithms visits all nodes starting from any initial configuration where the state of the agent and the states of all nodes are arbitrary and the agent is located at an arbitrary node. We evaluate algorithms with two metrics, the cover time, that is the number of moves required to visit all nodes, and the amount of space to store the state of the agent and the states of the nodes. The first algorithm is a randomized one. The cover time of this algorithm is optimal (\ie $O(m)$) in expectation and it uses $O(\log n)$ bits for both the agent and each node, where $n$ and $m$ are the number of agents and the number of edges in a given graph, respectively. The second algorithm is deterministic. The cover time is $O(m + nD)$, where $D$ is the diameter of the graph. It uses $O(\log n)$ bits for the agent-memory and $O(\delta + \log n)$ bits for the memory of each node with degree $\delta$. We require the knowledge of an upper bound on $n$ (resp. $D$) for the first (resp.~the second) algorithm. However, this is a weak assumption from a practical point of view because the knowledge of any value $\ge n$ (resp.~$\ge D$) in $O(poly(n))$ is sufficient to obtain the above time and space complexity.


title: Dynamic Ensemble Learning for Credit Scoring: A Comparative Study

abstract: Automatic credit scoring, which assesses the probability of default by loan applicants, plays a vital role in peer-to-peer lending platforms to reduce the risk of lenders. Although it has been demonstrated that dynamic selection techniques are effective for classification tasks, the performance of these techniques for credit scoring has not yet been determined. This study attempts to benchmark different dynamic selection approaches systematically for ensemble learning models to accurately estimate the credit scoring task on a large and high-dimensional real-life credit scoring data set. The results of this study indicate that dynamic selection techniques are able to boost the performance of ensemble models, especially in imbalanced training environments.


title: Biordered Sets of Regular Rings

abstract: The set of idempotents of a regular semigroup is given an abstract characterization as a regular biordered set in [2], and in [4] it is shown how a biordered set can be associated with a complemented modular lattice. Von Neumann has shown earlier that any complemented modular lattice of order greater than 3 can be realized as the lattice of principal right ideals of a regular ring (see [3]). Here we try to connect these ideas to get a characterization of the biordered sets of a class of regular rings.


title: A Core-Valence Separated Similarity Transformed EOM-CCSD Method for Core-excitation Spectra

abstract: We present the theory and implementation of a core-valence separated similarity transformed EOM-CCSD (STEOM-CCSD) method for K-edge core excitation spectra. The method can select an appropriate active space using CIS natural orbitals and near black box to use. The second similarity transformation Hamiltonian is diagonalized in the space of single excitation. Therefore, the final diagonalization step is free from the convergence problem arising because of the coupling of the core-excited states with the continuum of doubly excited states. Convergence trouble can appear for the preceding core-ionized states calculation in STEOM-CCSD. A core-valence separation scheme (CVS) compatible with the natural orbital based active space selection has been implemented to overcome the problem. The CVS-STEOM-CCSD has similar accuracy as that of the standard CVS-EOM-CCSD method but comes with a lower computational cost. The modification required for the CVS scheme because of the use of CIS natural orbital is highlighted. The suitability of CVS-STEOM-CCSD for chemical application is demonstrated by simulating the K-edge spectra of glycine and thymine.


title: A CAD-Based tool for fault tolerant distributed embedded systems

abstract: Reliability and availability analysis are essential in dependable critical embedded systems. The classical implementation of dependability for an embedded system relies on merging both fundamental structures with the required dependability techniques to form one composite structure. The separation of the basic system components from the dependability components, reduces complexity and improves the design. The goal of this work is to assist implementing reconfiguration-based fault tolerance in safety-critical embedded systems applications. The primary intention is to reduce the repair time in order to enhance fault tolerance and produce dependable embedded systems. The proposed solution is a dedicated CAD-tool designed to generate a reference strategy for the system manager of a distributed embedded system to control and automatically reconfigure the processing elements of the system. The proposed tool auto-generates program codes to be executed by a system manager to govern the DES. It also computes different reliability solutions with necessary supporting calculated parameters and graphs sorted to support the fault tolerance design of the system. The proposed tool can be used to simulate possible configurations based on the desired degrees of faults and system reliability. The graphical interface of the tool is unique and hides the complexity of the systems underneath. A comparison with a similar tool is presented.


title: Positivity of entropy production for the three-level maser

abstract: Entropy production is a key concept of thermodynamics and allows one to analyze the operation of engines. For the Scovil-Schulz-DuBois heat engine, the archetypal three-level thermal maser coupled to thermal baths, it was argued that the common definition of heat flow may provide negative entropy production for certain parameters [E. Boukobza and D. J. Tannor, Phys. Rev. Lett. 98, 240601 (2007)]. Here, we show that this can be cured, if corrections for detuning are properly applied to the energies used for the bath transitions. This method can be used more generally for the thermodynamical analysis of optical transitions where the modes of the light field are detuned from the transition energy.


title: Super-extended nanofiber-guided field for coherent interaction with hot atoms

abstract: We fabricate an extremely thin optical fiber that supports a super-extended mode with a diameter as large as 13 times the optical wavelength, residing almost entirely outside the fiber and guided over thousands of wavelengths (5 mm), in order to couple guided light to warm atomic vapor. This unique configuration balances between strong confinement, as evident by saturation powers as low as tens of nW, and long interaction times with the thermal atoms, thereby enabling fast and coherent interactions. We demonstrate narrow coherent resonances (tens of MHz) of electromagnetically induced transparency for signals at the single-photon level and long relaxation times (10 ns) of atoms excited by the guided mode. The dimensions of the guided mode's evanescent field are compatible with the Rydberg blockade mechanism, making this platform particularly suitable for observing quantum non-linear optics phenomena.


title: Arboricity games: the core and the nucleolus

abstract: The arboricity of a graph is the minimum number of forests required to cover all its edges. In this paper, we examine arboricity from a game-theoretic perspective and investigate cost-sharing in the minimum forest cover problem. We introduce the arboricity game as a cooperative cost game defined on a graph. The players are edges, and the cost of each coalition is the arboricity of the subgraph induced by the coalition. We study properties of the core and propose an efficient algorithm for computing the nucleolus when the core is not empty. In order to compute the nucleolus in the core, we introduce the prime partition which is built on the densest subgraph lattice. The prime partition decomposes the edge set of a graph into a partially ordered set defined from minimal densest minors and their invariant precedence relation. Moreover, edges from the same partition always have the same value in a core allocation. Consequently, when the core is not empty, the prime partition significantly reduces the number of variables and constraints required in the linear programs of Maschler's scheme and allows us to compute the nucleolus in polynomial time. Besides, the prime partition provides a graph decomposition analogous to the celebrated core decomposition and the density-friendly decomposition, which may be of independent interest.


title: Vorticity and Spin Polarization in Heavy Ion Collisions: Transport Models

abstract: Heavy ion collisions generate strong fluid vorticty in the produced hot quark-gluon matter which could in turn induce measurable spin polarization of hadrons. We review recent progress on the vorticity formation and spin polarization in heavy ion collisions with transport models. We present an introduction to the fluid vorticity in non-relativistic and relativistic hydrodynamics and address various properties of the vorticity formed in heavy ion collisions. We discuss the spin polarization in a vortical fluid using the Wigner function formalism in which we derive the freeze-out formula for the spin polarization. Finally we give a brief overview of recent theoretical results for both the global and local spin polarization of $\Lambda$ and $\bar\Lambda$ hyperons.


title: A Framework to Quantify Approximate Simulation on Graph Data

abstract: Simulation and its variants (e.g., bisimulation and degree-preserving simulation) are useful in a wide spectrum of applications. However, all simulation variants are coarse "yes-or-no" indicators that simply confirm or refute whether one node simulates another, which limits the scope and power of their utility. Therefore, it is meaningful to develop a fractional $\chi$-simulation measure to quantify the degree to which one node simulates another by the simulation variant $\chi$. To this end, we first present several properties necessary for a fractional $\chi$-simulation measure. Then, we present $FSim_\chi$, a general fractional $\chi$-simulation computation framework that can be configured to quantify the extent of all $\chi$-simulations. Comprehensive experiments and real-world case studies show the measure to be effective and the computation framework to be efficient.


title: Analysis of the triply-heavy baryon states with the QCD sum rules

abstract: In this article, we restudy the mass spectrum of the ground state triply-heavy baryon states with the QCD sum rules by carrying out the operator product expansion up to the vacuum condensates of dimension 6 in a consistent way and preforming a novel analysis. It is the first time to take into account the three-gluon condensates in the QCD sum rules for the triply-heavy baryon states.


title: Weighted homogeneous surface singularities homeomorphic to Brieskorn complete intersections

abstract: For a given topological type of a normal surface singularity, there are various types of complex structures which realize it. We are interested in the following problem: Find the maximum of the geometric genus and a condition for that the maximal ideal cycle coincides with the undamental cycle on the minimal good resolution. In this paper, we study weighted homogeneous surface singularities homeomorphic to Brieskorn complete intersection singularities from the perspective of the problem.


title: Inverse Problem for Dynamic Computer Simulators via Multiple Scalar-valued Contour Estimation

abstract: In this paper we consider a dynamic computer simulator that produces a time-series response $y_t(x)$ over $L$ time points, for every given input parameter $x$. We propose a method for solving inverse problems, which refer to the finding of a set of inputs that generates a pre-specified simulator output. Inspired by the sequential approach of contour estimation via expected improvement criterion developed by Ranjan et al. (2008, DOI: 10.1198/004017008000000541), our proposed method discretizes the target response series on $k \; (\ll L)$ time points, and then iteratively solves $k$ scalar-valued inverse problems with respect to the discretized targets. We also propose to use spline smoothing of the target response series to identify the optimal number of knots, $k$, and the actual location of the knots for discretization. The performance of the proposed methods is compared for several test-function based computer simulators and the motivating real application that uses a rainfall-runoff measurement model named Matlab-Simulink model.


title: Distortion-aware Monocular Depth Estimation for Omnidirectional Images

abstract: A main challenge for tasks on panorama lies in the distortion of objects among images. In this work, we propose a Distortion-Aware Monocular Omnidirectional (DAMO) dense depth estimation network to address this challenge on indoor panoramas with two steps. First, we introduce a distortion-aware module to extract calibrated semantic features from omnidirectional images. Specifically, we exploit deformable convolution to adjust its sampling grids to geometric variations of distorted objects on panoramas and then utilize a strip pooling module to sample against horizontal distortion introduced by inverse gnomonic projection. Second, we further introduce a plug-and-play spherical-aware weight matrix for our objective function to handle the uneven distribution of areas projected from a sphere. Experiments on the 360D dataset show that the proposed method can effectively extract semantic features from distorted panoramas and alleviate the supervision bias caused by distortion. It achieves state-of-the-art performance on the 360D dataset with high efficiency.


title: Study of Decay Modes in Transfermium Isotopes

abstract: In the unknown territory of transfermium nuclei, the relativistic mean-field (RMF) theory has been applied to probe decay modes which include $\alpha$-decay, spontaneous fission (SF), and a less explored weak-decay. These decay modes are analyzed on equal footing for 101$\leq$Z$\leq$109 and as a consequence, the half-lives for weak-decay are indeed found comparable for several isotopes. Our prediction of decay modes and half-lives are found in excellent agreement with available experimental decay modes and half-lives along with the results of some other theories. Out of $\alpha$, $\beta^+$/EC, $\beta^-$, and SF, the most probable decay mode is anticipated along with its half-life over a wide range of odd and even nuclei to frame a novel sight into terra incognita.


title: A note on the structure of expanders

abstract: A conjecture regarding the structure of expander graphs is discussed.


title: Historic behaviour vs. physical measures for irrational flows with multiple stopping points

abstract: We study Birkhoff averages along trajectories of smooth reparameterizations of irrational linear flows of the two torus with two stopping points, say $\mathbf p$ and $\mathbf q$, of quadratic order. The limiting behaviour of such averages is independent of the starting point in a set of full Haar-Lebesgue measure and depends in an intricate way on the Diophantine properties of both the slope $\alpha$ of the linear flow as well as the relative position of $\mathbf p$ and $\mathbf q$. In particular, if $\alpha$ is Diophantine, then Birkhoff limits diverge almost everywhere (historic behaviour) and if $\alpha$ is sufficiently Liouville, then there exists some $\mathbf p$ and $\mathbf q$ such that the Birkhoff averages converge almost everywhere (unique physical measure).