title: Mapping Slums with Medium Resolution Satellite Imagery: a Comparative Analysis of Multi-Spectral Data and Grey-level Co-occurrence Matrix Techniques

abstract: The UN-Habitat estimates that over one billion people live in slums around the world. However, state-of-the-art techniques to detect the location of slum areas employ high-resolution satellite imagery, which is costly to obtain and process. As a result, researchers have started to look at utilising free and open-access medium resolution satellite imagery. Yet, there is no clear consensus on which data preparation and machine learning approaches are the most appropriate to use with such imagery data. In this paper, we evaluate two techniques (multi-spectral data and grey-level co-occurrence matrix feature extraction) on an open-access dataset consisting of labelled Sentinel-2 images with a spatial resolution of 10 meters. Both techniques were paired with a canonical correlation forests classifier. The results show that the grey-level co-occurrence matrix performed better than multi-spectral data for all four cities. It had an average accuracy for the slum class of 97% and a mean intersection over union of 94%, while multi-spectral data had 75% and 64% for the respective metrics. These results indicate that open-access satellite imagery with a resolution of at least 10 meters may be suitable for keeping track of development goals such as the detection of slums in cities.


title: BiAdam: Fast Adaptive Bilevel Optimization Methods

abstract: Bilevel optimization recently has attracted increased interest in machine learning due to its many applications such as hyper-parameter optimization and meta learning. Although many bilevel methods recently have been proposed, these methods do not consider using adaptive learning rates. It is well known that adaptive learning rates can accelerate optimization algorithms. To fill this gap, in the paper, we propose a novel fast adaptive bilevel framework to solve stochastic bilevel optimization problems that the outer problem is possibly nonconvex and the inner problem is strongly convex. Our framework uses unified adaptive matrices including many types of adaptive learning rates, and can flexibly use the momentum and variance reduced techniques. In particular, we provide a useful convergence analysis framework for the bilevel optimization. Specifically, we propose a fast single-loop adaptive bilevel optimization (BiAdam) algorithm, which achieves a sample complexity of $\tilde{O}(\epsilon^{-4})$ for finding an $\epsilon$-stationary solution. Meanwhile, we propose an accelerated version of BiAdam algorithm (VR-BiAdam), which reaches the best known sample complexity of $\tilde{O}(\epsilon^{-3})$. To the best of our knowledge, we first study the adaptive bilevel optimization methods with adaptive learning rates. Experimental results on data hyper-cleaning and hyper-representation learning tasks demonstrate the efficiency of our algorithms.


title: Evaluating Team Skill Aggregation in Online Competitive Games

abstract: One of the main goals of online competitive games is increasing player engagement by ensuring fair matches. These games use rating systems for creating balanced match-ups. Rating systems leverage statistical estimation to rate players' skills and use skill ratings to predict rank before matching players. Skill ratings of individual players can be aggregated to compute the skill level of a team. While research often aims to improve the accuracy of skill estimation and fairness of match-ups, less attention has been given to how the skill level of a team is calculated from the skill level of its members. In this paper, we propose two new aggregation methods and compare them with a standard approach extensively used in the research literature. We present an exhaustive analysis of the impact of these methods on the predictive performance of rating systems. We perform our experiments using three popular rating systems, Elo, Glicko, and TrueSkill, on three real-world datasets including over 100,000 battle royale and head-to-head matches. Our evaluations show the superiority of the MAX method over the other two methods in the majority of the tested cases, implying that the overall performance of a team is best determined by the performance of its most skilled member. The results of this study highlight the necessity of devising more elaborated methods for calculating a team's performance -- methods covering different aspects of players' behavior such as skills, strategy, or goals.


title: Branched coverings of the 2-sphere

abstract: Thurston obtained a combinatorial characterization for generic branched self-coverings that preserve the orientation of the oriented 2-sphere by associating a planar graph to them [arXiv:1502.04760]. In this work, the Thurston result is generalized to any branched covering of the oriented 2-sphere. To achieve that the notion of local balance introduced by Thurston is generalized. As an application, a new proof for a Theorem of Eremenko-Gabrielov-Mukhin-Tarasov-Varchenko [MR1888795], [MR2552110] is obtained. This theorem corresponded to a special case of the B. \& M. Shapiro conjecture. In this case, it refers to generic rational functions stating that a generic rational function $ R : \mathbb{C}\mathbb{P}^1 \rightarrow \mathbb{C}\mathbb{P}^1$ with only real critical points can be transformed by post-composition with an automorphism of $\mathbb{C}\mathbb{P}^1$ into a quotient of polynomials with real coefficients. Operations against balanced graphs are introduced.


title: A toy model for the relativistic Vlasov-Maxwell system

abstract: The global-in-time existence of classical solutions to the relativistic Vlasov-Maxwell (RVM) system in three space dimensions remains elusive after nearly four decades of mathematical research. In this note, a simplified ``toy model'' is presented and studied. This toy model retains one crucial aspect of the RVM system: the phase-space evolution of the distribution function is governed by a transport equation whose forcing term satisfies a wave equation with finite speed of propagation.


title: Dynamics of antiproton plasma in a time-dependent harmonic trap

abstract: An antiproton plasma confined in a quasi-1D device is described in terms of a self-consistent fluid formulation using a variational approach. Unlike previous treatments, the use of the time-dependent variational method allows to retain the thermal and Coulomb effects. A certain Ansatz is proposed for the number density and fluid velocity fields, which reduces the problem essentially to ordinary nonlinear differential equations. In adiabatic cooling, the frequency of the trap potential is slowly decreased. An adiabatic equation of state is assumed for closure. The numerical simulation of the nonlinear dynamics is performed, for realistic parameters.


title: Spatio-Temporal Multi-Task Learning Transformer for Joint Moving Object Detection and Segmentation

abstract: Moving objects have special importance for Autonomous Driving tasks. Detecting moving objects can be posed as Moving Object Segmentation, by segmenting the object pixels, or Moving Object Detection, by generating a bounding box for the moving targets. In this paper, we present a Multi-Task Learning architecture, based on Transformers, to jointly perform both tasks through one network. Due to the importance of the motion features to the task, the whole setup is based on a Spatio-Temporal aggregation. We evaluate the performance of the individual tasks architecture versus the MTL setup, both with early shared encoders, and late shared encoder-decoder transformers. For the latter, we present a novel joint tasks query decoder transformer, that enables us to have tasks dedicated heads out of the shared model. To evaluate our approach, we use the KITTI MOD [29] data set. Results show1.5% mAP improvement for Moving Object Detection, and 2%IoU improvement for Moving Object Segmentation, over the individual tasks networks.


title: Large exchange bias and low temperature glassy state in frustrated triangular-lattice antiferromagnet Ba$_3$NiIr$_2$O$_9$

abstract: Here, we report both ac and dc magnetization, thermodynamic and electric properties of hexagonal Ba$_3$NiIr$_2$O$_9$. The Ni$^{2+}$ (spin-1) forms layered triangular-lattice and interacts antiferromagnetically while Ir$^{5+}$ is believed to act as magnetic link between the layers. This complex magnetic interaction results in magnetic frustration leading to a spin-glass transition at $T_f$ $\sim$ 8.5 K. The observed magnetic relaxation and aging effect also confirms the nonequilibrium ground state. The system further shows large exchange bias which is tunable with cooling field. Below the Curie-Weiss temperature $\theta_{CW}$ ($\sim$ -29 K), the magnetic specific heat $C_m$ displays a broad hump and at low temperature follows $C_m = \gamma T^\alpha$ dependence where both $\gamma$ and $\alpha$ show dependence on temperature and magnetic field. A sign change in magnetoresistace is observed which is due to an interplay among magnetic moment, field and spin-orbit coupling.


title: Deep Learning Models in Detection of Dietary Supplement Adverse Event Signals from Twitter

abstract: Objective: The objective of this study is to develop a deep learning pipeline to detect signals on dietary supplement-related adverse events (DS AEs) from Twitter. Material and Methods: We obtained 247,807 tweets ranging from 2012 to 2018 that mentioned both DS and AE. We annotated biomedical entities and relations on 2,000 randomly selected tweets. For the concept extraction task, we compared the performance of traditional word embeddings with SVM, CRF and LSTM-CRF classifiers to BERT models. For the relation extraction task, we compared GloVe vectors with CNN classifiers to BERT models. We chose the best performing models in each task to assemble an end-to-end deep learning pipeline to detect DS AE signals and compared the results to the known DS AEs from a DS knowledge base (i.e., iDISK). Results: In both tasks, the BERT-based models outperformed traditional word embeddings. The best performing concept extraction model is the BioBERT model that can identify supplement, symptom, and body organ entities with F1-scores of 0.8646, 0.8497, and 0.7104, respectively. The best performing relation extraction model is the BERT model that can identify purpose and AE relations with F1-scores of 0.8335 and 0.7538, respectively. The end-to-end pipeline was able to extract DS indication and DS AEs with an F1-score of 0.7459 and 0,7414, respectively. Comparing to the iDISK, we could find both known and novel DS-AEs. Conclusion: We have demonstrated the feasibility of detecting DS AE signals from Twitter with a BioBERT-based deep learning pipeline.


title: Maintaining a discharge using a travelling electromagnetic wave results in a linear decrease in electron density along the plasma column. This distribution corresponds to the power dissipated by the wave to heat electrons in the gas

abstract: The experimentally recorded distribution of electron density along a plasma column supported by a travelling EM wave is linearly decreasing from start to finish; its slope depends strictly and solely on the gas pressure, the frequency of the wave and the internal radius of the discharge tube. There are two opposing descriptive models: a) an EM surface wave propagates along the three-constituent media of the tubular discharge, i.e. the plasma column, the dielectric tube and the outer wall of the latter. This model does not faithfully reproduce the linearity of the axial distribution of the electron density, at any rate always at the end of the column; b) an EM wave propagates in a vacuum (ambient air) guided by the outer wall of the discharge tube, its electric field heating the electrons present in the gas and thus ionising it. As each electron thus obtained draws its energy from the electric field of the wave, the axial distribution of the electron density can also be considered as a conservation relationship between the energy dissipated by the wave and the electron density produced. This model makes it possible in all circumstances to find a linear axial distribution of electron density from the beginning to the end of the column. The electron heating mechanism finally exhausts all the energy in the wave, so there is no more energy available for it to propagate otherwise, for example, along the dielectric tube or the plasma column. The origin of the linear behaviour of the electron density distribution lies in the stability condition of a discharge maintained by a travelling electromagnetic wave, which requires the electron density to decrease monotonically axially.


title: Optimality and robustness in path-planning under initial uncertainty

abstract: Classical deterministic optimal control problems assume full information about the controlled process. The theory of control for general partially-observable processes is powerful, but the methods are computationally expensive and typically address the problems with stochastic dynamics and continuous (directly unobserved) stochastic perturbations. In this paper we focus on path planning problems which are in between -- deterministic, but with an initial uncertainty on either the target or the running cost on parts of the domain. That uncertainty is later removed at some time $T$, and the goal is to choose the optimal trajectory until then. We address this challenge for three different models of information acquisition: with fixed $T$, discretely distributed and exponentially distributed random $T$. We develop models and numerical methods suitable for multiple notions of optimality: based on the average-case performance, the worst-case performance, the average constrained by the worst, the average performance with probabilistic constraints on the bad outcomes, risk-sensitivity, and distributional-robustness. We illustrate our approach using examples of pursuing random targets identified at a (possibly random) later time $T$.


title: Dephasing enhanced transport in boundary-driven quasiperiodic chains

abstract: We study dephasing-enhanced transport in boundary-driven quasi-periodic systems. Specifically we consider dephasing modelled by current preserving Lindblad dissipators acting on the non-interacting Aubry-Andr\'e-Harper (AAH) and Fibonacci bulk systems. The former is known to undergo a critical localization transition with a suppression of ballistic transport above a critical value of the potential. At the critical point, the presence of non-ergodic extended states yields anomalous sub-diffusion. The Fibonacci model, on the other hand, yields anomalous transport with a continuously varying exponent depending on the potential strength. By computing the covariance matrix in the non-equilibrium steady-state, we show that sufficiently strong dephasing always renders the transport diffusive. The interplay between dephasing and quasi-periodicity gives rise to a maximum of the diffusion coefficient for finite dephasing, which suggests the combination of quasi-periodic geometries and dephasing can be used to control noise-enhanced transport.


title: Asymptotically Optimal Idling in the GI/GI/N+GI Queue

abstract: We formulate a control problem for a GI/GI/N+GI queue, whose objective is to trade off the long-run average operational costs (i.e., abandonment costs and holding costs) with server utilization costs. To solve the control problem, we consider an asymptotic regime in which the arrival rate and the number of servers grow large. The solution to an associated fluid control problem motivates that non-idling service disciplines are not in general optimal, unless some arrivals are turned away. We propose an admission control policy designed to ensure servers have sufficient idle time that we show is asymptotically optimal.


title: Decentralized Constrained Optimization: Double Averaging and Gradient Projection

abstract: In this paper, we consider the convex, finite-sum minimization problem with explicit convex constraints over strongly connected directed graphs. The constraint is an intersection of several convex sets each being known to only one node. To solve this problem, we propose a novel decentralized projected gradient scheme based on local averaging and prove its convergence using only local functions' smoothness.


title: Learn Like The Pro: Norms from Theory to Size Neural Computation

abstract: The optimal design of neural networks is a critical problem in many applications. Here, we investigate how dynamical systems with polynomial nonlinearities can inform the design of neural systems that seek to emulate them. We propose a Learnability metric and its associated features to quantify the near-equilibrium behavior of learning dynamics. Equating the Learnability of neural systems with equivalent parameter estimation metric of the reference system establishes bounds on network structure. In this way, norms from theory provide a good first guess for neural structure, which may then further adapt with data. The proposed approach neither requires training nor training data. It reveals exact sizing for a class of neural networks with multiplicative nodes that mimic continuous- or discrete-time polynomial dynamics. It also provides relatively tight lower size bounds for classical feed-forward networks that is consistent with simulated assessments.


title: A Survey of Race, Racism, and Anti-Racism in NLP

abstract: Despite inextricable ties between race and language, little work has considered race in NLP research and development. In this work, we survey 79 papers from the ACL anthology that mention race. These papers reveal various types of race-related bias in all stages of NLP model development, highlighting the need for proactive consideration of how NLP systems can uphold racial hierarchies. However, persistent gaps in research on race and NLP remain: race has been siloed as a niche topic and remains ignored in many NLP tasks; most work operationalizes race as a fixed single-dimensional variable with a ground-truth label, which risks reinforcing differences produced by historical racism; and the voices of historically marginalized people are nearly absent in NLP literature. By identifying where and how NLP literature has and has not considered race, especially in comparison to related fields, our work calls for inclusion and racial justice in NLP research practices.


title: Attention-based cross-modal fusion for audio-visual voice activity detection in musical video streams

abstract: Many previous audio-visual voice-related works focus on speech, ignoring the singing voice in the growing number of musical video streams on the Internet. For processing diverse musical video data, voice activity detection is a necessary step. This paper attempts to detect the speech and singing voices of target performers in musical video streams using audiovisual information. To integrate information of audio and visual modalities, a multi-branch network is proposed to learn audio and image representations, and the representations are fused by attention based on semantic similarity to shape the acoustic representations through the probability of anchor vocalization. Experiments show the proposed audio-visual multi-branch network far outperforms the audio-only model in challenging acoustic environments, indicating the cross-modal information fusion based on semantic correlation is sensible and successful.


title: The eta-beta model model: an alternative to the power-law model for numerical simulations of REBCO tapes

abstract: When modeling superconducting devices based on REBCO tapes andworking near or above the critical current value (i.e. I> Ic), the power-law model is not always accurate. In our previous works, we proposed the overcritical current model, based on a combination of fast pulsed current measurements and finite elementan alysis. The overcritical current model was provided in the form of look-up tables and was validated experimentally. We showed that the overcritical current model could better reproduce experimental measurements than the power-law model, and that the power-law model predicts a faster quench than the overcritical current model. In this contribution, we propose the eta-beta model, a mathematical expression to model analytically the overcritical current model, based on measurements performed between 77 K and 90 K in self-field conditions. The proposed model is verified by comparing DC fault measurements with the results of numerical simulations using the eta-beta model to represent the electrical resistivity of the superconducting layer of REBCO tapes.


title: A Note on the Interpretation of Distributed Delay Equations

abstract: Distributed delay equations have been used to model situations in which there is some sort of delay whose duration is uncertain. However, the interpretation of a distributed delay equation is actually very different from that of a delay differential equation with a random delay. This work explicitly highlights this distinction as it is an important consideration to make when modeling delayed systems in which the delay can take on several values.


title: Interleaved Electro-Optic Dual Comb Generation to Expand Bandwidth and Scan Rate for Molecular Spectroscopy and Dynamics Studies near 1.6 {\mu}m

abstract: A chirped-pulse interleaving method is reported for generation of dual optical frequency combs based on electro-optic phase modulators (EOM) in a free-running all-fiber based system. Methods are discussed to easily modify the linear chirp rate and comb resolution by more than three orders of magnitude and to significantly increase the spectral bandwidth coverage. The agility of the technique is shown to both capture complex line shapes and to magnify rapid passage effects in spectroscopic and molecular dynamics studies of CO2. These methods are well-suited for applications in the areas of remote sensing, reaction dynamics, and sub-Doppler studies across the wide spectral regions accessible to EOMs.


title: Nonparametric causal structure learning in high dimensions

abstract: The PC and FCI algorithms are popular constraint-based methods for learning the structure of directed acyclic graphs (DAGs) in the absence and presence of latent and selection variables, respectively. These algorithms (and their order-independent variants, PC-stable and FCI-stable) have been shown to be consistent for learning sparse high-dimensional DAGs based on partial correlations. However, inferring conditional independences from partial correlations is valid if the data are jointly Gaussian or generated from a linear structural equation model -- an assumption that may be violated in many applications. To broaden the scope of high-dimensional causal structure learning, we propose nonparametric variants of the PC-stable and FCI-stable algorithms that employ the conditional distance covariance (CdCov) to test for conditional independence relationships. As the key theoretical contribution, we prove that the high-dimensional consistency of the PC-stable and FCI-stable algorithms carry over to general distributions over DAGs when we implement CdCov-based nonparametric tests for conditional independence. Numerical studies demonstrate that our proposed algorithms perform nearly as good as the PC-stable and FCI-stable for Gaussian distributions, and offer advantages in non-Gaussian graphical models.


title: On the Number of Equilibria Balancing Newtonian Point Masses with a Central Force

abstract: We consider the critical points (equilibria) of a planar potential generated by $n$ Newtonian point masses augmented with a quadratic term (such as arises from a centrifugal effect). Particular cases of this problem have been considered previously in studies of the circular restricted $n$-body problem. We show that the number of equilibria is finite for a generic set of parameters, and we establish estimates for the number of equilibria. We prove that the number of equilibria is bounded below by $n+1$, and we provide examples to show that this lower bound is sharp. We prove an upper bound on the number of equilibria that grows exponentially in $n$. In order to establish a lower bound on the maximum number of equilibria, we analyze a class of examples, referred to as ``ring configurations'', consisting of $n-1$ equal masses positioned at vertices of a regular polygon with an additional mass located at the center. Previous numerical observations indicate that these configurations can produce as many as $5n-5$ equilibria. We verify analytically that the ring configuration has at least $5n-5$ equilibria when the central mass is sufficiently small. We conjecture that the maximum number of equilibria grows linearly with the number of point masses. We also discuss some mathematical similarities to other equilibrium problems in mathematical physics, namely, Maxwell's problem from electrostatics and the image counting problem from gravitational lensing.


title: Interpretable Model-based Hierarchical Reinforcement Learning using Inductive Logic Programming

abstract: Recently deep reinforcement learning has achieved tremendous success in wide ranges of applications. However, it notoriously lacks data-efficiency and interpretability. Data-efficiency is important as interacting with the environment is expensive. Further, interpretability can increase the transparency of the black-box-style deep RL models and hence gain trust from the users. In this work, we propose a new hierarchical framework via symbolic RL, leveraging a symbolic transition model to improve the data-efficiency and introduce the interpretability for learned policy. This framework consists of a high-level agent, a subtask solver and a symbolic transition model. Without assuming any prior knowledge on the state transition, we adopt inductive logic programming (ILP) to learn the rules of symbolic state transitions, introducing interpretability and making the learned behavior understandable to users. In empirical experiments, we confirmed that the proposed framework offers approximately between 30\% to 40\% more data efficiency over previous methods.


title: Convergence of the Probabilistic Interpretation of Modulus

abstract: Given a Jordan domain $\Omega\subset\mathbb{C}$ and two disjoint arcs $A, B$ on $\partial\Omega$, the modulus $m$ of the curve family connecting $A$ and $B$ in $\Omega$ is equal to the modulus of the curve family connecting the vertical sides in the rectangle $R=[0,1]\times[0,m]$. Also, $m>0$ is the unique value such that there is a conformal map $\psi$ mapping $\Omega$ to ${\rm int}(R)$ so that $\psi$ extends continuously to a homeomorphism of $\partial \Omega$ onto $\partial R$ and the arcs $A$ and $B$ are sent to the vertical sides of $R$. Moreover, in the case of the rectangle the family of horizontal segments connecting the two sides has the same modulus as the entire connecting family. Pulling these segments back to $\Omega$ via $\psi$ yields a family of extremal curves (also known as horizontal trajectories) connecting $A$ to $B$ in $\Omega$. In this paper, we show that these extremal curves can be approximated by some discrete paths arising from an orthodiagonal approximation of $\Omega$. Moreover, we show that there is a natural probability mass function (pmf) on these paths, deriving from the theory of discrete modulus, which converges to the transverse measure on the set of extremal curves. The key ingredient is an algorithm that, for an embedded planar graph, takes the current flow between two sets of nodes, and produces a unique path decomposition with non-crossing paths. Moreover, some care was taken to adapt recent results for harmonic convergence on orthodiagonal maps, due to Gurel-Gurevich, Jerison, and Nachmias, to our context. Finally, we generalize a result of N.~Alrayes from the square grid setting to the orthodiagonal setting, and prove that the discrete modulus of the approximating non-crossing paths converges to the continuous modulus.


title: Computa\c{c}\~ao: O vetor de transforma\c{c}\~ao da sociedade

abstract: Society is changing, has always changed, and will keep changing. However, changes are becoming faster and what used to happen between generations, now happens in the same generation. Computing Science is one of the reasons for this speed and permeates, basically, every other knowledge area. This paper (written in Portugu\^es) describes, briefly, the worldwide initiatives to introduce Computing Science teaching in schools. As the paper's main conclusion, it is essential to introduce Computing Science and Computational Thinking for kids before they enter into a university.


title: Policy Smoothing for Provably Robust Reinforcement Learning

abstract: The study of provable adversarial robustness for deep neural networks (DNNs) has mainly focused on static supervised learning tasks such as image classification. However, DNNs have been used extensively in real-world adaptive tasks such as reinforcement learning (RL), making such systems vulnerable to adversarial attacks as well. Prior works in provable robustness in RL seek to certify the behaviour of the victim policy at every time-step against a non-adaptive adversary using methods developed for the static setting. But in the real world, an RL adversary can infer the defense strategy used by the victim agent by observing the states, actions, etc., from previous time-steps and adapt itself to produce stronger attacks in future steps. We present an efficient procedure, designed specifically to defend against an adaptive RL adversary, that can directly certify the total reward without requiring the policy to be robust at each time-step. Our main theoretical contribution is to prove an adaptive version of the Neyman-Pearson Lemma -- a key lemma for smoothing-based certificates -- where the adversarial perturbation at a particular time can be a stochastic function of current and previous observations and states as well as previous actions. Building on this result, we propose policy smoothing where the agent adds a Gaussian noise to its observation at each time-step before passing it through the policy function. Our robustness certificates guarantee that the final total reward obtained by policy smoothing remains above a certain threshold, even though the actions at intermediate time-steps may change under the attack. Our experiments on various environments like Cartpole, Pong, Freeway and Mountain Car show that our method can yield meaningful robustness guarantees in practice.


title: The stable representations of $\mathrm{GL}_{N}$ over finite local principal ideal rings

abstract: Let $\mathcal{O}$ be a discrete valuation ring with maximal ideal $\mathfrak{p}$ and with finite residue field $\mathbb{F}_{q}$, the field with $q$ elements where $q$ is a power of a prime $p$. For $r \ge 1$, we write $\mathcal{O}_r$ for the reduction of $\mathcal{O}$ modulo the ideal $\mathfrak{p}^r$. An irreducible ordinary representation of the finite group $\mathrm{GL}_{N}(\mathcal{O}_{r})$ is called stable if its restriction to the principal congruence kernel $K^l=1+\mathfrak{p}^{l}\mathrm{M}_{N}(\mathcal{O}_r)$, where $l=\lceil \frac{r}{2} \rceil$, consists of irreducible representations whose stabilizers modulo $K^{l'}$, where $l'=r-l$, are centralizers of certain matrices in $\mathfrak{g}_{l'}=\mathrm{M}_{N}(\mathcal{{O}}_{l'})$, called stable matrices. The study of stable representations is motivated by constructions of strongly semisimple representations, introduced by Hill, which is a special case of stable representations. In this paper, we explore the construction of stable irreducible representations of the finite group $\mathrm{GL}_{N}(\mathcal{O}_{r})$ for $N \ge 2$.


title: MODETR: Moving Object Detection with Transformers

abstract: Moving Object Detection (MOD) is a crucial task for the Autonomous Driving pipeline. MOD is usually handled via 2-stream convolutional architectures that incorporates both appearance and motion cues, without considering the inter-relations between the spatial or motion features. In this paper, we tackle this problem through multi-head attention mechanisms, both across the spatial and motion streams. We propose MODETR; a Moving Object DEtection TRansformer network, comprised of multi-stream transformer encoders for both spatial and motion modalities, and an object transformer decoder that produces the moving objects bounding boxes using set predictions. The whole architecture is trained end-to-end using bi-partite loss. Several methods of incorporating motion cues with the Transformer model are explored, including two-stream RGB and Optical Flow (OF) methods, and multi-stream architectures that take advantage of sequence information. To incorporate the temporal information, we propose a new Temporal Positional Encoding (TPE) approach to extend the Spatial Positional Encoding(SPE) in DETR. We explore two architectural choices for that, balancing between speed and time. To evaluate the our network, we perform the MOD task on the KITTI MOD [6] data set. Results show significant 5% mAP of the Transformer network for MOD over the state-of-the art methods. Moreover, the proposed TPE encoding provides 10% mAP improvement over the SPE baseline.


title: Normalized Avatar Synthesis Using StyleGAN and Perceptual Refinement

abstract: We introduce a highly robust GAN-based framework for digitizing a normalized 3D avatar of a person from a single unconstrained photo. While the input image can be of a smiling person or taken in extreme lighting conditions, our method can reliably produce a high-quality textured model of a person's face in neutral expression and skin textures under diffuse lighting condition. Cutting-edge 3D face reconstruction methods use non-linear morphable face models combined with GAN-based decoders to capture the likeness and details of a person but fail to produce neutral head models with unshaded albedo textures which is critical for creating relightable and animation-friendly avatars for integration in virtual environments. The key challenges for existing methods to work is the lack of training and ground truth data containing normalized 3D faces. We propose a two-stage approach to address this problem. First, we adopt a highly robust normalized 3D face generator by embedding a non-linear morphable face model into a StyleGAN2 network. This allows us to generate detailed but normalized facial assets. This inference is then followed by a perceptual refinement step that uses the generated assets as regularization to cope with the limited available training samples of normalized faces. We further introduce a Normalized Face Dataset, which consists of a combination photogrammetry scans, carefully selected photographs, and generated fake people with neutral expressions in diffuse lighting conditions. While our prepared dataset contains two orders of magnitude less subjects than cutting edge GAN-based 3D facial reconstruction methods, we show that it is possible to produce high-quality normalized face models for very challenging unconstrained input images, and demonstrate superior performance to the current state-of-the-art.


title: HODA: Hardness-Oriented Detection of Model Extraction Attacks

abstract: Model Extraction attacks exploit the target model's prediction API to create a surrogate model in order to steal or reconnoiter the functionality of the target model in the black-box setting. Several recent studies have shown that a data-limited adversary who has no or limited access to the samples from the target model's training data distribution can use synthesis or semantically similar samples to conduct model extraction attacks. In this paper, we define the hardness degree of a sample using the concept of learning difficulty. The hardness degree of a sample depends on the epoch number that the predicted label of that sample converges. We investigate the hardness degree of samples and demonstrate that the hardness degree histogram of a data-limited adversary's sample sequences is distinguishable from the hardness degree histogram of benign users' samples sequences. We propose Hardness-Oriented Detection Approach (HODA) to detect the sample sequences of model extraction attacks. The results demonstrate that HODA can detect the sample sequences of model extraction attacks with a high success rate by only monitoring 100 samples of them, and it outperforms all previous model extraction detection methods.


title: Strong Convergence of a GBM Based Tamed Integrator for SDEs and an Adaptive Implementation

abstract: We introduce a tamed exponential time integrator which exploits linear terms in both the drift and diffusion for Stochastic Differential Equations (SDEs) with a one sided globally Lipschitz drift term. Strong convergence of the proposed scheme is proved, exploiting the boundedness of the geometric Brownian motion (GBM) and we establish order 1 convergence for linear diffusion terms. In our implementation we illustrate the efficiency of the proposed scheme compared to existing fixed step methods and utilize it in an adaptive time stepping scheme. Furthermore we extend the method to nonlinear diffusion terms and show it remains competitive. The efficiency of these GBM based approaches are illustrated by considering some well-known SDE models.


title: Efficient Inference via Universal LSH Kernel

abstract: Large machine learning models achieve unprecedented performance on various tasks and have evolved as the go-to technique. However, deploying these compute and memory hungry models on resource constraint environments poses new challenges. In this work, we propose mathematically provable Representer Sketch, a concise set of count arrays that can approximate the inference procedure with simple hashing computations and aggregations. Representer Sketch builds upon the popular Representer Theorem from kernel literature, hence the name, providing a generic fundamental alternative to the problem of efficient inference that goes beyond the popular approach such as quantization, iterative pruning and knowledge distillation. A neural network function is transformed to its weighted kernel density representation, which can be very efficiently estimated with our sketching algorithm. Empirically, we show that Representer Sketch achieves up to 114x reduction in storage requirement and 59x reduction in computation complexity without any drop in accuracy.


title: The Multipole Resonance Probe: Simultaneous Determination of Electron Density and Electron Temperature Using Spectral Kinetic Simulation

abstract: The investigation of the spectral kinetic model of the Multipole Resonance Probe (MRP) is presented and discussed in this paper. The MRP is a radio-frequency driven probe of the particular spherical design, which is suitable for the supervision and control of low-temperature plasma. The importance of the kinetic effects was introduced in the previous study of the spectral kinetic model of the idealized MRP. Such effects particularly dominate the energy loss in a low-pressure regime. Unfortunately, they are absent in the Drude model. With the help of the spectral kinetic scheme, those energy losses can be predicted, and it enables us to obtain the electron temperature from the FWHM in the simulated resonance curve. Simultaneously, the electron density can be derived from the simulated resonance frequency. Good agreements in the comparison between the simulation and the measurement demonstrate the suitability of the presented model.


title: Local convexity of the TAP free energy and AMP convergence for Z2-synchronization

abstract: We study mean-field variational Bayesian inference using the TAP approach, for Z2-synchronization as a prototypical example of a high-dimensional Bayesian model. We show that for any signal strength $\lambda > 1$ (the weak-recovery threshold), there exists a unique local minimizer of the TAP free energy functional near the mean of the Bayes posterior law. Furthermore, the TAP free energy in a local neighborhood of this minimizer is strongly convex. Consequently, a natural-gradient/mirror-descent algorithm achieves linear convergence to this minimizer from a local initialization, which may be obtained by a constant number of iterates of Approximate Message Passing (AMP). This provides a rigorous foundation for variational inference in high dimensions via minimization of the TAP free energy. We also analyze the finite-sample convergence of AMP, showing that AMP is asymptotically stable at the TAP minimizer for any $\lambda > 1$, and is linearly convergent to this minimizer from a spectral initialization for sufficiently large $\lambda$. Such a guarantee is stronger than results obtainable by state evolution analyses, which only describe a fixed number of AMP iterations in the infinite-sample limit. Our proofs combine the Kac-Rice formula and Sudakov-Fernique Gaussian comparison inequality to analyze the complexity of critical points that satisfy strong convexity and stability conditions within their local neighborhoods.


title: The HectoMAP Cluster Survey: Spectroscopically Identified Clusters and their Brightest Cluster Galaxies (BCGs)

abstract: We apply a friends-of-friends (FoF) algorithm to identify galaxy clusters and we use the catalog to explore the evolutionary synergy between BCGs and their host clusters. We base the cluster catalog on the dense HectoMAP redshift survey (2000 redshifts deg$^{-2}$). The HectoMAP FoF catalog includes 346 clusters with 10 or more spectroscopic members. We list these clusters and their members (5992 galaxies with a spectroscopic redshift). We also include central velocity dispersions ($\sigma_{*, BCG}$) for all of the FoF cluster BCGs, a distinctive feature of the HectoMAP FoF catalog. HectoMAP clusters with higher galaxy number density (80 systems) are all genuine clusters with a strong concentration and a prominent BCG in Subaru/Hyper Suprime-Cam images. The phase-space diagrams show the expected elongation along the line-of-sight. Lower-density systems include some false positives. We establish a connection between BCGs and their host clusters by demonstrating that $\sigma_{*,BCG}/\sigma_{cl}$ decreases as a function of cluster velocity dispersion ($\sigma_{cl}$), in contrast, numerical simulations predict a constant $\sigma_{*, BCG}/\sigma_{cl}$. Sets of clusters at two different redshifts show that BCG evolution in massive systems is slow over the redshift range $z < 0.4$. The data strongly suggest that minor mergers may play an important role in BCG evolution in these clusters ($\sigma_{cl} \gtrsim 300$ km s$^{-1}$). For systems of lower mass ($\sigma_{cl} < 300$ km s$^{-1}$), the data indicate that major mergers may play a significant role. The coordinated evolution of BCGs and their host clusters provides an interesting test of simulations in high density regions of the universe.


title: ConvDySAT: Deep Neural Representation Learning on Dynamic Graphs via Self-Attention and Convolutional Neural Networks

abstract: Learning node representations on temporal graphs is a fundamental step to learn real-word dynamic graphs efficiently. Real-world graphs have the nature of continuously evolving over time, such as changing edges weights, removing and adding nodes and appearing and disappearing of edges, while previous graph representation learning methods focused generally on static graphs. We present ConvDySAT as an enhancement of DySAT, one of the state-of-the-art dynamic methods, by augmenting convolution neural networks with the self-attention mechanism, the employed method in DySAT to express the structural and temporal evolution. We conducted single-step link prediction on a communication network and rating network, Experimental results show significant performance gains for ConvDySAT over various state-of-the-art methods.


title: Axiomatization of the degree of Fitzpatrick, Pejsachowicz and Rabier

abstract: In this paper we prove an analogue of the uniqueness theorems of F\"uhrer and Amann and Weiss to cover the degree of Fredholm operators of index zero of Fitzpatrick, Pejsachowicz and Rabier, whose range of applicability is substantially wider than for the most classical degrees of Brouwer and Leray-Schauder. A crucial step towards the axiomatization of the Fitzpatrick-Pejsachowicz-Rabier degree is provided by the generalized algebraic multiplicity of Esquinas and L\'{o}pez-G\'{o}mez, $\chi$, and the axiomatization theorem of Mora-Corral. The latest result facilitates the axiomatization of the parity of Fitzpatrick and Pejsachowicz, $\sigma(\cdot,[a,b])$, which provides the key step for establishing the uniqueness of the degree for Fredholm maps.


title: Testing Large-Scale Structure Measurements Against Fisher Matrix Predictions

abstract: We compare Baryonic Acoustic Oscillation (BAO) and Redshift Space Distortion (RSD) measurements from recent galaxy surveys with their Fisher matrix based predictions. Measurements of the position of the BAO signal lead to constraints on the comoving angular diameter distance $D_{M}$ and the Hubble distance $D_{H}$ that agree well with their Fisher matrix based expectations. However, RSD-based measurements of the growth rate $f \sigma_{8}$ do not agree with the predictions made before the surveys were undertaken, even when repeating those predictions using the actual survey parameters. We show that this is due to a combination of effects including degeneracies with the geometric parameters $D_{M}$ and $D_{H}$, and optimistic assumptions about the scale to which the linear signal can be extracted. We show that measurements using current data and large-scale modelling techniques extract an equivalent amount of signal to that in the linear regime for $k < 0.08 \,h\,{\rm Mpc}^{-1}$, remarkably independent of the sample properties and redshifts covered.


title: Retractions: Updating from Complex Information

abstract: We modify a canonical experimental design to identify the effectiveness of retractions. Comparing beliefs after retractions to beliefs (a) without the retracted information and (b) after equivalent new information, we find that retractions result in diminished belief updating in both cases. We propose this reflects updating from retractions being more complex, and our analysis supports this: we find longer response times, lower accuracy, and higher variability. The results -- robust across diverse subject groups and design variations -- enhance our understanding of belief updating and offer insights into addressing misinformation.


title: Reinforcement-learning based matterwave interferometer in a shaken optical lattice

abstract: We demonstrate the design of a matterwave interferometer to measure acceleration in one dimension with high precision. The system we base this on consists of ultracold atoms in an optical lattice potential created by interfering laser beams. Our approach uses reinforcement learning, a branch of machine learning, that generates the protocols needed to realize lattice-based analogs of optical components including a beam splitter, a mirror, and a recombiner. The performance of these components is evaluated by comparison with their optical analogs. The interferometer's sensitivity to acceleration is quantitatively evaluated using a Bayesian statistical approach. We find the sensitivity to surpass that of standard Bragg interferometry, demonstrating the future potential for this design methodology.


title: Sloshing in coffee as a pumped pendulum

abstract: We present a study of the dynamics of a cup of coffee while walking with it in terms of a lumped model. The model considered is a planar (nonlinear) pendulum with parametric and direct excitation. The position of the pivot is changed with time, which leads to parametric excitation in the vertical direction; and parametric/direct excitation in the horizontal one. For the former case, the Method of Averaging is used to determine the regions of stability for two steady-state solutions. In the vertical/horizontal excitation, we determined the resonances of the system using the Method of Multiple Scales and show the results computed with \emph{exact} numerical integration.


title: Quantum uncertainty as classical uncertainty of real-deterministic variables constructed from complex weak values and a global random variable

abstract: What does it take for real-deterministic c-valued (i.e., classical, commuting) variables to comply with the Heisenberg uncertainty principle? Here, we construct a class of real-deterministic c-valued variables out of the weak values obtained via a non-perturbing weak measurement of quantum operators with a post-selection over a complete set of state vectors basis, which always satisfies the Kennard-Robertson-Schr\"odinger uncertainty relation. First, we introduce an auxiliary global random variable and couple it to the imaginary part of the weak value to transform the incompatibility between the quantum operator and the basis into the fluctuation of an `error term', and then superimpose it onto the real-part of the weak value. We show that this class of ``c-valued physical quantities'' provides a real-deterministic contextual hidden variable model for the quantum expectation value of a certain class of operators. We then show that the Schr\"odinger and the Kennard-Robertson lower bounds can be obtained separately by imposing the classical uncertainty relation to the c-valued physical quantities associated with a pair of Hermitian operators. Within the representation, the complementarity between two incompatible quantum observables manifests the absence of a basis wherein the error terms of the associated two c-valued physical quantities simultaneously vanish. Furthermore, quantum uncertainty relation is captured by a specific irreducible epistemic restriction, foreign in classical mechanics, constraining the allowed form of the joint distribution of the two c-valued physical quantities. We then suggest an epistemic interpretation of the two terms decomposing the c-valued physical quantity as the optimal estimate under the epistemic restriction and the associated estimation error, and discuss the classical limit.


title: Incremental Deep Neural Network Learning using Classification Confidence Thresholding

abstract: Most modern neural networks for classification fail to take into account the concept of the unknown. Trained neural networks are usually tested in an unrealistic scenario with only examples from a closed set of known classes. In an attempt to develop a more realistic model, the concept of working in an open set environment has been introduced. This in turn leads to the concept of incremental learning where a model with its own architecture and initial trained set of data can identify unknown classes during the testing phase and autonomously update itself if evidence of a new class is detected. Some problems that arise in incremental learning are inefficient use of resources to retrain the classifier repeatedly and the decrease of classification accuracy as multiple classes are added over time. This process of instantiating new classes is repeated as many times as necessary, accruing errors. To address these problems, this paper proposes the Classification Confidence Threshold approach to prime neural networks for incremental learning to keep accuracies high by limiting forgetting. A lean method is also used to reduce resources used in the retraining of the neural network. The proposed method is based on the idea that a network is able to incrementally learn a new class even when exposed to a limited number samples associated with the new class. This method can be applied to most existing neural networks with minimal changes to network architecture.


title: Instance-Optimal Compressed Sensing via Posterior Sampling

abstract: We characterize the measurement complexity of compressed sensing of signals drawn from a known prior distribution, even when the support of the prior is the entire space (rather than, say, sparse vectors). We show for Gaussian measurements and \emph{any} prior distribution on the signal, that the posterior sampling estimator achieves near-optimal recovery guarantees. Moreover, this result is robust to model mismatch, as long as the distribution estimate (e.g., from an invertible generative model) is close to the true distribution in Wasserstein distance. We implement the posterior sampling estimator for deep generative priors using Langevin dynamics, and empirically find that it produces accurate estimates with more diversity than MAP.


title: Modelling the transfer function of two-dimensional SQUID and SQIF arrays with thermal noise

abstract: We present a theoretical model for 2D SQUID and SQIF arrays with over-damped Josephson junctions for uniform bias current injection at 77 K. Our simulations demonstrate the importance of including Johnson thermal noise and reveal that the mutual inductive coupling between SQUID loops is of minor importance. Our numerical results establish the validity of a simple scaling behaviour between the voltages of 1D and 2D SQUID arrays and show that the same scaling behaviour applies to the maximum transfer functions. The maximum transfer function of a 2D SQUID array can be further optimised by applying the optimal bias current which depends on the SQUID loop self-inductance and the junction critical current. Our investigation further reveals that a scaling behaviour exits between the maximum transfer function of a 2D SQUID array and that of a single dc-SQUID. Finally, we investigate the voltage response of 1D and 2D SQIF arrays and illustrate the effects of adding spreads in the heights and widths of SQUID loops.


title: Explicit Multi-point Taylor Polynomial

abstract: The multi-point Taylor polynomial, which is the general, unique and of minimum degree ($mk+m-1$) polynomial $P_{k,m}(x)$ which interpolates a function's derivatives in multiple points is presented in its explicit form. A proof that this expression satisfies the multi-point Taylor polynomial's defining property is given. Namely, it is proven that for a k-differentiable function $f$ and a set of different m-points $\{a_1,...,a_m\}$, this polynomial satisfies $P^{(n)}_{k,m}(a_i) = f^{(n)}(a_i)\quad \forall \, i = 1,...,m\quad \&\quad \forall \, n = 0,...,k$. A discussion regarding previous expressions presented in the literature, which mostly consisted in recursion formulas and not explicit formulas, is made.


title: Diagrams for primitive cycles in spaces of pure braids and string links

abstract: The based loop space of a configuration space of points in a Euclidean space can be viewed as a space of pure braids in a Euclidean space of one dimension higher. We continue our study of such spaces in terms of Kontsevich's CDGA of diagrams and Chen's iterated integrals. We construct a power series connection which yields a Hopf algebra isomorphism between the homology of the space of pure braids and the cobar construction on diagrams. It maps iterated Whitehead products to trivalent trees modulo the IHX relation. As an application, we establish a correspondence between Milnor invariants of Brunnian spherical links and certain Chen integrals. Finally we show that graphing induces injections of a certain submodule of the homotopy of configuration spaces into the homotopy of many spaces of high-dimensional string links. We conjecture that graphing is injective on all rational homotopy classes.


title: The mixed $0$-form/$1$-form anomaly in Hilbert space: pouring new wine into old bottles

abstract: We study four-dimensional gauge theories with arbitrary simple gauge group with $1$-form global center symmetry and $0$-form parity or discrete chiral symmetry. We canonically quantize on $\mathbb{T}^3$, in a fixed background field gauging the $1$-form symmetry. We show that the mixed $0$-form/$1$-form 't Hooft anomaly results in a central extension of the global-symmetry operator algebra. We determine this algebra in each case and show that the anomaly implies degeneracies in the spectrum of the Hamiltonian at any finite-size torus. We discuss the consistency of these constraints with both older and recent semiclassical calculations in $SU(N)$ theories, with or without adjoint fermions, as well as with their conjectured infrared phases.


title: Minimal mass design of a tensegrity tower for lunar electromagnetic launching

abstract: Lunar explorations have provided us with information about its abundant resources that can be utilized in orbiting-resource depots as lunar-derived commodities. To reduce the energy requirements of a launcher to send these commodities from the lunar surface to the space depots, this paper explores the application of the electromagnetic acceleration principle and provides an assessment of the actual technical characteristics of the launcher's installation to ensure the acceleration of a payload with a mass of 1,500 kg to a speed of 2,200 m/s (circumlunar orbit speed). To fulfill a lightweight (fewer materials and less energy) support structure for the electromagnetic launcher with strength requirements, the tensegrity structure minimum mass principle without global buckling has been developed and applied to support the electromagnetic acceleration device. Therefore, this paper proposes and develops a minimal mass electromagnetic tensegrity lunar launcher. We first demonstrate the mechanics of launcher and payload, how a payload can be accelerated to a specific velocity, and how a payload carrier can be recycled for another launch. Then, a detailed discussion on the lunar launch system, procedures of propulsion, the required mass, and energy of the launch barrel are given. The governing equations of tensegrity minimal mass tensegrity design algorithm with gravity and without global buckling. Finally, a case study is conducted to show a feasible structure design, the required mass, and energy. The principles developed in this paper are also applicable to the rocket launch system, space elevator, space train transportation, interstellar payload package delivery, etc.


title: Non-detection of Helium in the upper atmospheres of TRAPPIST-1b, e and f

abstract: We obtained high-resolution spectra of the ultra-cool M-dwarf TRAPPIST-1 during the transit of its planet `b' using two high dispersion near-infrared spectrographs, IRD instrument on the Subaru 8.2m telescope and HPF instrument on the 10m Hobby-Eberly Telescope. These spectroscopic observations are complemented by a photometric transit observation for planet `b' using the APO/ARCTIC, which assisted us to capture the correct transit times for our transit spectroscopy. Using the data obtained by the new IRD and HPF observations, as well as the prior transit observations of planets `b', `e' and `f' from IRD, we attempt to constrain the atmospheric escape of the planet using the He I triplet 10830 {\AA} absorption line. We do not detect evidence for any primordial extended H-He atmospheres in all three planets. To limit any planet related absorption, we place an upper limit on the equivalent widths of <7.754 m{\AA} for planet `b', <10.458 m{\AA} for planet `e', and <4.143 m{\AA} for planet `f' at 95% confidence from the IRD data, and <3.467 m{\AA} for planet `b' at 95% confidence from HPF data. Using these limits along with a solar-like composition isothermal Parker wind model, we attempt to constrain the mass-loss rates for the three planets. For TRAPPIST-1b, our models exclude the highest possible energy-limited rate for a wind temperature <5000 K. This non-detection of extended atmospheres having low mean-molecular weight in all three planets aids in further constraining their atmospheric composition by steering the focus towards the search of high molecular weight species in their atmospheres.


title: KEA: Tuning an Exabyte-Scale Data Infrastructure

abstract: Microsoft's internal big-data infrastructure is one of the largest in the world -- with over 300k machines running billions of tasks from over 0.6M daily jobs. Operating this infrastructure is a costly and complex endeavor, and efficiency is paramount. In fact, for over 15 years, a dedicated engineering team has tuned almost every aspect of this infrastructure, achieving state-of-the-art efficiency (>60% average CPU utilization across all clusters). Despite rich telemetry and strong expertise, faced with evolving hardware/software/workloads this manual tuning approach had reached its limit -- we had plateaued. In this paper, we present KEA, a multi-year effort to automate our tuning processes to be fully data/model-driven. KEA leverages a mix of domain knowledge and principled data science to capture the essence of our cluster dynamic behavior in a set of machine learning (ML) models based on collected system data. These models power automated optimization procedures for parameter tuning, and inform our leadership in critical decisions around engineering and capacity management (such as hardware and data center design, software investments, etc.). We combine "observational" tuning (i.e., using models to predict system behavior without direct experimentation) with judicious use of "flighting" (i.e., conservative testing in production). This allows us to support a broad range of applications that we discuss in this paper. KEA continuously tunes our cluster configurations and is on track to save Microsoft tens of millions of dollars per year. At the best of our knowledge, this paper is the first to discuss research challenges and practical learnings that emerge when tuning an exabyte-scale data infrastructure.


title: Bitcoin's Crypto Flow Network

abstract: How crypto flows among Bitcoin users is an important question for understanding the structure and dynamics of the cryptoasset at a global scale. We compiled all the blockchain data of Bitcoin from its genesis to the year 2020, identified users from anonymous addresses of wallets, and constructed monthly snapshots of networks by focusing on regular users as big players. We apply the methods of bow-tie structure and Hodge decomposition in order to locate the users in the upstream, downstream, and core of the entire crypto flow. Additionally, we reveal principal components hidden in the flow by using non-negative matrix factorization, which we interpret as a probabilistic model. We show that the model is equivalent to a probabilistic latent semantic analysis in natural language processing, enabling us to estimate the number of such hidden components. Moreover, we find that the bow-tie structure and the principal components are quite stable among those big players. This study can be a solid basis on which one can further investigate the temporal change of crypto flow, entry and exit of big players, and so forth.


title: Encoder-Decoder Architectures for Clinically Relevant Coronary Artery Segmentation

abstract: Coronary X-ray angiography is a crucial clinical procedure for the diagnosis and treatment of coronary artery disease, which accounts for roughly 16% of global deaths every year. However, the images acquired in these procedures have low resolution and poor contrast, making lesion detection and assessment challenging. Accurate coronary artery segmentation not only helps mitigate these problems, but also allows the extraction of relevant anatomical features for further analysis by quantitative methods. Although automated segmentation of coronary arteries has been proposed before, previous approaches have used non-optimal segmentation criteria, leading to less useful results. Most methods either segment only the major vessel, discarding important information from the remaining ones, or segment the whole coronary tree based mostly on contrast information, producing a noisy output that includes vessels that are not relevant for diagnosis. We adopt a better-suited clinical criterion and segment vessels according to their clinical relevance. Additionally, we simultaneously perform catheter segmentation, which may be useful for diagnosis due to the scale factor provided by the catheter's known diameter, and is a task that has not yet been performed with good results. To derive the optimal approach, we conducted an extensive comparative study of encoder-decoder architectures trained on a combination of focal loss and a variant of generalized dice loss. Based on the EfficientNet and the UNet++ architectures, we propose a line of efficient and high-performance segmentation models using a new decoder architecture, the EfficientUNet++, whose best-performing version achieved average dice scores of 0.8904 and 0.7526 for the artery and catheter classes, respectively, and an average generalized dice score of 0.9234.


title: Aggregated functional data model applied on clustering and disaggregation of UK electrical load profiles

abstract: Understanding electrical energy demand at the consumer level plays an important role in planning the distribution of electrical networks and offering of off-peak tariffs, but observing individual consumption patterns is still expensive. On the other hand, aggregated load curves are normally available at the substation level. The proposed methodology separates substation aggregated loads into estimated mean consumption curves, called typical curves, including information given by explanatory variables. In addition, a model-based clustering approach for substations is proposed based on the similarity of their consumers typical curves and covariance structures. The methodology is applied to a real substation load monitoring dataset from the United Kingdom and tested in eight simulated scenarios.


title: On the Solutions of Three Variable Frobenius Related Problems Using Order Reduction Approach

abstract: This paper presents a new approach to determine the number of solutions of three variable Frobenius related problems and to find their solutions by using order reducing methods. Here, the order of a Frobenius related problem means the number of variables appearing in the problem. We present two types of order reduction methods that can be applied to the problem of finding all nonnegative solutions of three variable Frobenius related problems. The first method is used to reduce the equation of order three from a three variable Frobenius related problem to be a system of equations with two fixed variables. The second method reduces the equation of order three into three equations of order two, for which an algorithm is designed with an interesting open problem on solutions left as a conjecture.


title: Hidden charm pentaquark with strangeness $P_{cs}^*(4739)$ as a $\Sigma_{c}\bar{D}\bar{K}$ bound state

abstract: Motivated by the recent discovery of the first hidden charm pentaquark state with strangeness $P_{cs}(4459)$ by the LHCb Collaboration, we study the likely existence of a three-body $\Sigma_{c}\bar{D}\bar{K}$ bound state, which shares the same minimal quark content as $P_{cs}(4459)$. The $\Sigma_{c}\bar{D}$ and $DK$ interactions are determined by reproducing $P_c(4312)$ and $D_{s0}^*(2317)$ as $\Sigma_c\bar{D}$ and $\bar{D}\bar{K}$ molecules, respectively, while the $\Sigma_c\bar{K}$ interaction is constrained by chiral effective theory. We indeed find a three-body bound state by solving the Schr\"odinger equation using the Gaussian Expansion Method, which can be viewed as an excited hidden charm pentaquark state with strangeness, $P_{cs}^*(4739)$, with $I(J^P)=1(1/2^+)$ and a binding energy of $77.8^{+25}_{-10.3}$ MeV. We further study its strong decays via triangle diagrams and show that its partial decay widths into $D\Xi_c'$ and $D_s^*\Sigma_c$ are of a few ten's MeV, with the former being dominant.


title: Physics-constrained deep neural network method for estimating parameters in a redox flow battery

abstract: In this paper, we present a physics-constrained deep neural network (PCDNN) method for parameter estimation in the zero-dimensional (0D) model of the vanadium redox flow battery (VRFB). In this approach, we use deep neural networks (DNNs) to approximate the model parameters as functions of the operating conditions. This method allows the integration of the VRFB computational models as the physical constraints in the parameter learning process, leading to enhanced accuracy of parameter estimation and cell voltage prediction. Using an experimental dataset, we demonstrate that the PCDNN method can estimate model parameters for a range of operating conditions and improve the 0D model prediction of voltage compared to the 0D model prediction with constant operation-condition-independent parameters estimated with traditional inverse methods. We also demonstrate that the PCDNN approach has an improved generalization ability for estimating parameter values for operating conditions not used in the DNN training.


title: Construction of Arithmetic Teichmuller Spaces I

abstract: In this note I construct some categories which can be called Arithmetic Teichmuller Spaces. This construction is very broadly inspired by Shinichi Mochizuki's ideas on Anabelian Geometry, p-adic Teichmuller theory and his work on the abc-conjecture, but my approach is based on a completely different set of ideas.


title: Active Flow Control of NACA 0012 airfoil using Sawtooth Direct Current Augmented Dielectric Barrier Discharge Plasma Actuator

abstract: Dielectric barrier discharge (DBD) plasma actuators are an attractive option for separation control, lift enhancement, and drag reduction. Some plasma actuators feature optimized electrode shapes, electrical waveforms to maximize the aerodynamic forces at higher angles of attack. Here, we analyze the performance of a direct current augmented DBD (DBD - DCA) actuator with a sawtooth shape exposed electrode. The active electrode was positioned at 18% chord and the electrode at 48% chord of NACA 0012 airfoil. Wind tunnel experiments were conducted at wind speeds of 15 - 25 m/s, corresponding to Reynolds number Re = 201k - 335k. Lift coefficient (C$_L$), drag coefficient (C$_D$), and pitching moment coefficients (C$_M$), were measured with and without plasma actuation for angles of attack $\alpha$ = 0$^o$ - 8$^o$ and the DCA electrode potential ($\varphi_{DC}$) was varied from 0 kV to -15 kV. With energized DCA electrode, the C$_L$ increases up to 0.03 and the C$_D$ decreases by 50% at 15 m/s flow speeds and 0$^o$ angle of attack, the results are similar throughout the range of $\alpha$. The effect of the actuator at higher Re diminishes, suggesting that the maximum control authority could be achieved at lower wind speeds.


title: A Competitive Analysis of Online Multi-Agent Path Finding

abstract: We study online Multi-Agent Path Finding (MAPF), where new agents are constantly revealed over time and all agents must find collision-free paths to their given goal locations. We generalize existing complexity results of (offline) MAPF to online MAPF. We classify online MAPF algorithms into different categories based on (1) controllability (the set of agents that they can plan paths for at each time) and (2) rationality (the quality of paths they plan) and study the relationships between them. We perform a competitive analysis for each category of online MAPF algorithms with respect to commonly-used objective functions. We show that a naive algorithm that routes newly-revealed agents one at a time in sequence achieves a competitive ratio that is asymptotically bounded from both below and above by the number of agents with respect to flowtime and makespan. We then show a counter-intuitive result that, if rerouting of previously-revealed agents is not allowed, any rational online MAPF algorithms, including ones that plan optimal paths for all newly-revealed agents, have the same asymptotic competitive ratio as the naive algorithm, even on 2D 4-neighbor grids. We also derive constant lower bounds on the competitive ratio of any rational online MAPF algorithms that allow rerouting. The results thus provide theoretical insights into the effectiveness of using MAPF algorithms in an online setting for the first time.


title: KaggleDBQA: Realistic Evaluation of Text-to-SQL Parsers

abstract: The goal of database question answering is to enable natural language querying of real-life relational databases in diverse application domains. Recently, large-scale datasets such as Spider and WikiSQL facilitated novel modeling techniques for text-to-SQL parsing, improving zero-shot generalization to unseen databases. In this work, we examine the challenges that still prevent these techniques from practical deployment. First, we present KaggleDBQA, a new cross-domain evaluation dataset of real Web databases, with domain-specific data types, original formatting, and unrestricted questions. Second, we re-examine the choice of evaluation tasks for text-to-SQL parsers as applied in real-life settings. Finally, we augment our in-domain evaluation task with database documentation, a naturally occurring source of implicit domain knowledge. We show that KaggleDBQA presents a challenge to state-of-the-art zero-shot parsers but a more realistic evaluation setting and creative use of associated database documentation boosts their accuracy by over 13.2%, doubling their performance.


title: Querying in the Age of Graph Databases and Knowledge Graphs

abstract: Graphs have become the best way we know of representing knowledge. The computing community has investigated and developed the support for managing graphs by means of digital technology. Graph databases and knowledge graphs surface as the most successful solutions to this program. The goal of this document is to provide a conceptual map of the data management tasks underlying these developments, paying particular attention to data models and query languages for graphs.


title: Asymmetric steerability of quantum equilibrium and nonequilibrium steady states through entanglement detection

abstract: Einstein-Podolsky-Rosen steering describes a quantum correlation in addition to entanglement and Bell nonlocality. However, conceptually different from entanglement and Bell nonlocality, quantum steering has an asymmetric definition. Motivated by the asymmetric definition of quantum steering, we study the steerability of two-interacting qubits, which have asymmetric energy levels, coupled with asymmetric environments. The asymmetric (nonequilibrium) environments are two environments with different temperatures or chemical potentials. The Bloch-Redfield equation is applied to study the dynamics of two qubits and its long-time behavior. In our study, the steady-state steerability is determined by an experimentally friendly steering criteria, which demonstrates steering through the entanglement detection. Our results show that the steady states of two asymmetric qubits have the advantage for one direction of steering, compared to the symmetric setup. We also provide analytical results on the minimal coupling strength between the two qubits in order to be steerable. The asymmetric steerability is collectively determined by the nature of the two qubits and the influence from equilibrium or nonequilibrium environments. Nonequilibrium environments with the cost of nonzero entropy production can enhance the steerability in one direction. We also show the strict hierarchy of entanglement, steering and Bell nonlocality of the nonequilibrium steady states, which shows a richer structure of steering than entanglement and Bell nonlocality.


title: Globular weak $(n,\infty)$-Transformations ($n\in\mathbb{N}$) in the sense of Grothendieck

abstract: This article describe globular weak $(n,\infty)$-transformations ($n\in\mathbb{N}$) in the sense of Grothendieck, i.e for each $n\in\mathbb{N}$ we build a coherator $\Theta^{\infty}_{\mathbb{M}^n}$ which sets models are globular weak $(n,\infty)$-transformations. A natural globular filtration emerges from these coherators.


title: Skew cellularity of the Hecke algebras of type $G(\ell,p,n)$

abstract: This paper introduces (graded) skew cellular algebras, which generalise Graham and Lehrer's cellular algebras. We show that all of the main results from the theory of cellular algebras extend to skew cellular algebras and we develop a ``cellular algebra Clifford theory'' for the skew cellular algebras that arise as fixed point subalgebras of cellular algebras. As an application of this general theory, the main result of this paper proves that the Hecke algebras of type $G(\ell,p,n)$ are graded skew cellular algebras. In the special case when $p = 2$ this implies that the Hecke algebras of type $G(\ell,2,n)$ are graded cellular algebras. The proof of all of these results rely, in a crucial way, on the diagrammatic Cherednik algebras of Webster and Bowman. Our main theorem extends Geck's result that the one parameter Iwahori-Hecke algebras are cellular algebras in two ways. First, our result applies to all cyclotomic Hecke algebras in the infinite series in the Shephard-Todd classification of complex reflection groups. Secondly, we lift cellularity to the graded setting. As applications of our main theorem, we show that the graded decomposition matrices of the Hecke algebras of type $G(\ell,p,n)$ are unitriangular, we construct and classify their graded simple modules and we prove the existence of ``adjustment matrices'' in positive characteristic.


title: Analysis of a High-Dimensional Extended B92 Protocol

abstract: Quantum key distribution (QKD) allows two parties to establish a shared secret key that is secure against all-powerful adversaries. One such protocol named B92 is quite appealing due to its simplicity but is highly sensitive to channel noise. In this work, we investigate a high-dimensional variant of an extended version of the B92 protocol and show that it can distill a key over high noise channels. The protocol we consider requires that Alice send only three high-dimensional states and Bob only perform partial measurements. We perform an information-theoretic security analysis of our protocol and compare its key rate to that of a high-dimensional BB84 protocol over depolarization and amplitude damping channels.


title: Assertion Based Functional Verification of March Algorithm Based MBIST Controller

abstract: The thesis work presents assertion based functional verification of RTL representation of a digital design. The MBIST controller is designed based on a memory testing March algorithm. This March algorithm is a little modified March C algorithm which is modified by adding a paused element to test memory data retention faults. In assertion based functional verification, creation of verification plan, for MBIST controller RTL model and the implementation & simulation of the verification plan using System-Verilog and Synopsys-VCS are done. In ABV, verification plan includes the MBIST controller design and functional specification, functional coverage goals, code coverage goals, and assertions. Assertions are used to check the errors in RTL model of MBIST controller and to provide the functionality coverage. Functional coverage metrics are used to track the level or quality of verification. Most of the functional metrics score approximately reached the planned goal of 100 % which is planned in the verification plan. The designed MBIST controller is verified against the intended features. ABV approach helped to make the verification and design process efficient and less time-consuming by finding the bugs, exercising the corner cases in the design, and using the directed test cases in a small design. ABV helped to write directed and efficient test cases (25) which are approx 32 % less than the use of maximum possible random test cases (88) for designed MBIST controller with 100% assertion coverage and approximately equal total functional coverage, i.e., 97 % approx. In this way, ABV helped to fasten the design and verification process with better quality and assurance of correct functionality of MBIST controller after the integration in MBIST architecture.


title: Complex modes in optical fibers and silicon waveguides

abstract: At a fixed frequency, a general wave field in an open optical waveguide is a sum of finite number of guided modes and an integral of radiation modes. Most studies on open lossless dielectric waveguides are concerned with regular guided modes which are confined around the waveguide core, have a real propagation constant, and propagate along the waveguide axis without attenuation. However, there may be guided modes with a complex propagation constant even though the waveguide consists of lossless isotropic dielectric materials, and they are the so-called complex modes. The complex modes are proper modes confined around the waveguide core, and are different from the leaky modes which have divergent wave fields in the transverse plane. For waveguides with discontinuities and defects, the complex modes can be excited and must be included in eigenmode expansions. However, existing studies on complex modes in open lossless dielectric waveguides are very limited. In this Letter, we consider circular fibers and silicon waveguides, study the formation mechanism of complex modes, and calculate the dispersion relations for several complex modes in each waveguide. For circular fibers, we also determine the minimum refractive-index ratio for the existence of complex modes. Our study fills a gap in optical waveguide theory and provides a basis for realizing potential applications of complex modes.


title: A Logical Neural Network Structure With More Direct Mapping From Logical Relations

abstract: Logical relations widely exist in human activities. Human use them for making judgement and decision according to various conditions, which are embodied in the form of \emph{if-then} rules. As an important kind of cognitive intelligence, it is prerequisite of representing and storing logical relations rightly into computer systems so as to make automatic judgement and decision, especially for high-risk domains like medical diagnosis. However, current numeric ANN (Artificial Neural Network) models are good at perceptual intelligence such as image recognition while they are not good at cognitive intelligence such as logical representation, blocking the further application of ANN. To solve it, researchers have tried to design logical ANN models to represent and store logical relations. Although there are some advances in this research area, recent works still have disadvantages because the structures of these logical ANN models still don't map more directly with logical relations which will cause the corresponding logical relations cannot be read out from their network structures. Therefore, in order to represent logical relations more clearly by the neural network structure and to read out logical relations from it, this paper proposes a novel logical ANN model by designing the new logical neurons and links in demand of logical representation. Compared with the recent works on logical ANN models, this logical ANN model has more clear corresponding with logical relations using the more direct mapping method herein, thus logical relations can be read out following the connection patterns of the network structure. Additionally, less neurons are used.


title: Fast Calculation of Gravitational Lensing Properties of Elliptical Navarro-Frenk-White and Hernquist Density Profiles

abstract: We present a new approach for fast calculation of gravitational lensing properties, including the lens potential, deflection angles, convergence, and shear, of elliptical Navarro-Frenk-White (NFW) and Hernquist density profiles, by approximating them by superpositions of elliptical density profiles for which simple analytic expressions of gravitational lensing properties are available. This model achieves high fractional accuracy better than $10^{-4}$ in the range of the radius normalized by the scale radius of $10^{-4}-10^3$. These new approximations are $\sim 300$ times faster in solving the lens equation for a point source compared with the traditional approach resorting to expensive numerical integrations, and are implemented in {\tt glafic} software.


title: DPS mechanism for associated $c\bar{c} l^+l^-$ production in $AA$ UPCs as a probe for photon density inside the nucleus

abstract: We discuss the associated $c\bar{c}$ and $l^+l^-$ pairs production in ultraperipheral heavy-ion collisions at high energies. Such a channel provides a novel probe for double-parton scattering (DPS) at small $x$ enabling one to probe the photon density inside the nucleus. We have derived an analog of the standard central $pp$ pocket formula and studied the kinematical dependence of the effective cross section. Taking into account both elastic and non-elastic contributions, we have shown predictions for the DPS $c\bar c l^+l^-$ production cross section differential in charm quark rapidity and dilepton invariant mass and rapidity for LHC and a future collider.


title: Gait analysis with curvature maps: A simulation study

abstract: Gait analysis is an important aspect of clinical investigation for detecting neurological and musculoskeletal disorders and assessing the global health of a patient. In this paper we propose to focus our attention on extracting relevant curvature information from the body surface provided by a depth camera. We assumed that the 3D mesh was made available in a previous step and demonstrated how curvature maps could be useful to assess asymmetric anomalies with two simple simulated abnormal gaits compared with a normal one. This research set the grounds for the future development of a curvature-based gait analysis system for healthcare professionals.


title: Multimodal trajectory forecasting based on discrete heat map

abstract: In Argoverse motion forecasting competition, the task is to predict the probabilistic future trajectory distribution for the interested targets in the traffic scene. We use vectorized lane map and 2 s targets' history trajectories as input. Then the model outputs 6 forecasted trajectories with probability for each target.


title: Unsupervised identification of Floquet topological phase boundaries

abstract: Nonequilibrium topological matter has been a fruitful topic of both theoretical and experimental interest. A great variety of exotic topological phases unavailable in static systems may emerge under nonequilibrium situations, often challenging our physical intuitions. How to locate the borders between different nonequilibrium topological phases is an important issue to facilitate topological characterization and further understand phase transition behaviors. In this work, we develop an unsupervised machine-learning protocol to distinguish between different Floquet (periodically driven) topological phases, by incorporating the system's dynamics within one driving period, adiabatic deformation in the time dimension, plus the system's symmetry all into our machine learning algorithm. Results from two rich case studies indicate that machine learning is able to reliably reveal intricate topological phase boundaries and can hence be a powerful tool to discover novel topological matter afforded by the time dimension.


title: Real-Time XFEL Data Analysis at SLAC and NERSC: a Trial Run of Nascent Exascale Experimental Data Analysis

abstract: X-ray scattering experiments using Free Electron Lasers (XFELs) are a powerful tool to determine the molecular structure and function of unknown samples (such as COVID-19 viral proteins). XFEL experiments are a challenge to computing in two ways: i) due to the high cost of running XFELs, a fast turnaround time from data acquisition to data analysis is essential to make informed decisions on experimental protocols; ii) data collection rates are growing exponentially, requiring new scalable algorithms. Here we report our experiences analyzing data from two experiments at the Linac Coherent Light Source (LCLS) during September 2020. Raw data were analyzed on NERSC's Cori XC40 system, using the Superfacility paradigm: our workflow automatically moves raw data between LCLS and NERSC, where it is analyzed using the software package CCTBX. We achieved real time data analysis with a turnaround time from data acquisition to full molecular reconstruction in as little as 10 min -- sufficient time for the experiment's operators to make informed decisions. By hosting the data analysis on Cori, and by automating LCLS-NERSC interoperability, we achieved a data analysis rate which matches the data acquisition rate. Completing data analysis with 10 mins is a first for XFEL experiments and an important milestone if we are to keep up with data collection trends.


title: Knowledge Gaps in the Cometary Spectra of Oxygen-Bearing Molecular Cations

abstract: Molecular cations are present in various astronomical environments, most notably in cometary atmospheres and tails where sunlight produces exceptionally bright near-UV to visible transitions. Such cations typically have longer-wavelength and brighter electronic emission than their corresponding neutrals. A robust understanding of their near-UV to visible properties would allow these cations to be used as tools for probing the local plasma environments or as tracers of neutral gas in cometary environments. However, full spectral models are not possible for characterization of small, oxygen containing molecular cations given the body of molecular data currently available. The five simplest such species (H2O+, CO+2 , CO+, OH+, and O+2 ) are well characterized in some spectral regions but are lacking robust reference data in others. Such knowledge gaps hinder fully quantitative models of cometary spectra, specifically, hindering accurate estimates of physical-chemical processes originating with the most common molecules in comets. Herein the existing spectral data are collected for these molecules and highlight the places where future work is needed, specifically where the lack of such data would greatly enhance the understanding of cometary evolution.


title: The Spatially Variant Fractional Laplacian

abstract: We introduce a definition of the fractional Laplacian $(-\Delta)^{s(\cdot)}$ with spatially variable order $s:\Omega\to [0,1]$ and study the solvability of the associated Poisson problem on a bounded domain $\Omega$. The initial motivation arises from the extension results of Caffarelli and Silvestre, and Stinga and Torrea; however the analytical tools and approaches developed here are new. For instance, in some cases we allow the variable order $s(\cdot)$ to attain the values $0$ and $1$ leading to a framework on weighted Sobolev spaces with non-Muckenhoupt weights. Initially, and under minimal assumptions, the operator $(-\Delta)^{s(\cdot)}$ is identified as the Lagrange multiplier corresponding to an optimization problem; and its domain is determined as a quotient space of weighted Sobolev spaces. The well-posedness of the associated Poisson problem is then obtained for data in the dual of this quotient space. Subsequently, two trace regularity results are established, allowing to partially characterize functions in the aforementioned quotient space whenever a Poincar\'e type inequality is available. Precise examples are provided where such inequality holds, and in this case the domain of the operator $(-\Delta)^{s(\cdot)}$ is identified with a subset of a weighted Sobolev space with spatially variant smoothness $s(\cdot)$. The latter further allows to prove the well-posedness of the Poisson problem assuming functional regularity of the data.


title: Symmetry Finder: A method for hunting symmetry in neutrino oscillation

abstract: Symmetry in neutrino oscillation serves for a better understanding of the physical properties of the phenomenon. We present a systematic way of finding symmetry in neutrino oscillation, which we call Symmetry Finder (SF). By extending the known framework in vacuum into a matter environment, we derive the SF equation, a powerful machinery for identifying symmetry in the system. After learning lessons on symmetry in the Zaglauer-Schwarzer system with a matter equivalent of the vacuum symmetry, we apply the SF method to the Denton et al. (DMP) perturbation theory to first order. We show that the method is so powerful that we uncover the eight reparametrization symmetries with the $1 \leftrightarrow 2$ state exchange in DMP, denoted as IA, IB, $\cdot \cdot \cdot$, IVB, all new except for IA. The transformations consist of the both fundamental and dynamical variables, indicating their equal importance. It is also shown that all the symmetries discussed in this paper can be understood as the Hamiltonian symmetries, which ensures their all-order validity and applicability to varying density matter.


title: Sequential Late Fusion Technique for Multi-modal Sentiment Analysis

abstract: Multi-modal sentiment analysis plays an important role for providing better interactive experiences to users. Each modality in multi-modal data can provide different viewpoints or reveal unique aspects of a user's emotional state. In this work, we use text, audio and visual modalities from MOSI dataset and we propose a novel fusion technique using a multi-head attention LSTM network. Finally, we perform a classification task and evaluate its performance.


title: The $S$-global dimensions of commutative rings

abstract: Let $R$ be a commutative ring with identity and $S$ a multiplicative subset of $R$. First, we introduce and study the $S$-projective dimensions and $S$-injective dimensions of $R$-modules, and then explore the $S$-global dimension $S$-gl.dim$(R)$ of a commutative ring $R$ which is defined to be the supremum of $S$-projective dimensions of all $R$-modules. Finally, we investigated the $S$-global dimension of factor rings and polynomial rings.


title: Towards Quantum Simulating Non-Abelian Gauge Theories

abstract: In this article, we review some of the recent developments towards the future goal of quantum computing or quantum simulating lattice QCD. This includes a novel theoretical framework developed for non-Abelian gauge theories that is the first necessary step towards this goal. We also review some immediate applications of this framework in the context of both digital and analog quantum simulations of SU(2) lattice gauge theory coupled with staggered fermions.


title: A fullwave model of the nonlinear wave equation with multiple relaxations and relaxing perfectly matched layers for high-order numerical finite-difference solutions

abstract: Large-scale simulations of the wave equation in electromagnetism, seismology, and acoustics, can be solved efficiently by finite difference methods. The accuracy of these numerical solutions usually depends on the minimization of dissipation and dispersion error using optimized schemes. However, these optimized schemes are often difficult to implement for more complex formulations of the wave equation. Here we present a model of the quadratically nonlinear wave equation with multiple relaxations as a function of space that can model perfectly matched layers and is designed to be easily used with optimized finite-difference stencils on a staggered grid. Solutions are demonstrated in 2D and 3D for ultrasound imaging applications where the long propagation lengths, heterogeneous media in the human body, large dynamic range, and requirements for computational speed, demonstrate the utility of the proposed methods.


title: First-principles study on the double-dome superconductivities in kagome material CsV$_3$Sb$_5$ under pressure

abstract: Recent high pressure experiments discovered abnormal double-dome superconductivities in the newly-synthesized kagome materials $A$V$_3$Sb$_5$ ($A$ = K, Rb, Cs), which also host abundant emergent quantum phenomena such as charge density wave (CDW), anomalous Hall effect, nontrivial topological property, etc. In this work, by using first-principles electronic structure calculations, we have studied the CDW state, superconductivity, and topological property in CsV$_3$Sb$_5$ under pressures ($<$ 50 GPa). Based on the electron-phonon coupling theory, our calculated superconducting $T_\text{c}$s are consistent with the observed ones in the second superconducting dome at high pressure, but are much higher than the measured values at low pressure. The further calculations including the Hubbard U indicate that with modest electron-electron correlation the magnetism on the V atoms exists at low pressure and diminishes gradually at high pressure. We thus propose that the experimentally observed superconductivity in CsV$_3$Sb$_5$ at ambient/low pressures may still belong to the conventional Bardeen-Cooper-Schrieffer (BCS) type but is partially suppressed by the V magnetism, while the superconductivity under high pressure is fully conventional without invoking the magnetism. We also predict that there are a second weak CDW state and topological phase transitions in CsV$_3$Sb$_5$ under pressures. Our theoretical assertion calls for future experimental examination.


title: Fourier Transform Approximation as an Auxiliary Task for Image Classification

abstract: Image reconstruction is likely the most predominant auxiliary task for image classification, but we would like to think twice about this convention. In this paper, we investigated "approximating the Fourier Transform of the input image" as a potential alternative, in the hope that it may further boost the performances on the primary task or introduce novel constraints not well covered by image reconstruction. We experimented with five popular classification architectures on the CIFAR-10 dataset, and the empirical results indicated that our proposed auxiliary task generally improves the classification accuracy. More notably, the results showed that in certain cases our proposed auxiliary task may enhance the classifiers' resistance to adversarial attacks generated using the fast gradient sign method.


title: Differential forms and cohomology in tropical and complex geometry

abstract: Ducros, Hrushovski, and Loeser gave maps from families of archimedean diffrential forms to non-archiemedean (or tropical) ones, which are compatible with integrals on algebraic varieties. In this paper, we introduce slight modifications of their maps for complex projective varieties which give natural maps from tropical to the usual Dolbeault cohomology. We also show that our maps are compatible with integrals on generic semi-algebraic subsets and those on their weighted tropicalizations. Weighted tropicalizations induce the dual maps of the above maps of Dolbeault cohomology groups under some assumptions.