title: Minimizing Quantum Renyi Divergences via Mirror Descent with Polyak Step Size

abstract: Quantum information quantities play a substantial role in characterizing operational quantities in various quantum information-theoretic problems. We consider numerical computation of four quantum information quantities: Petz-Augustin information, sandwiched Augustin information, conditional sandwiched Renyi entropy and sandwiched Renyi information. To compute these quantities requires minimizing some order-$\alpha$ quantum Renyi divergences over the set of quantum states. Whereas the optimization problems are obviously convex, they violate standard bounded gradient/Hessian conditions in literature, so existing convex optimization methods and their convergence guarantees do not directly apply. In this paper, we propose a new class of convex optimization methods called mirror descent with the Polyak step size. We prove their convergence under a weak condition, showing that they provably converge for minimizing quantum Renyi divergences. Numerical experiment results show that entropic mirror descent with the Polyak step size converges fast in minimizing quantum Renyi divergences.


title: Search for heavy resonances decaying to WW, WZ, or WH boson pairs in a final state consisting of a lepton and a large-radius jet in proton-proton collisions at $\sqrt{s}$ = 13 TeV

abstract: A search for new heavy resonances decaying to pairs of bosons (WW, WZ, or WH) is presented. The analysis uses data from proton-proton collisions collected with the CMS detector at a center-of-mass energy of 13 TeV, corresponding to an integrated luminosity of 137 fb$^{-1}$. One of the bosons is required to be a W boson decaying to an electron or muon and a neutrino, while the other boson is required to be reconstructed as a single jet with mass and substructure compatible with a quark pair from a W, Z, or Higgs boson decay. The search is performed in the resonance mass range between 1.0 and 4.5 TeV and includes a specific search for resonances produced via vector boson fusion. The signal is extracted using a two-dimensional maximum likelihood fit to the jet mass and the diboson invariant mass distributions. No significant excess is observed above the estimated background. Model-independent upper limits on the production cross sections of spin-0, spin-1, and spin-2 heavy resonances are derived as functions of the resonance mass and are interpreted in the context of bulk radion, heavy vector triplet, and bulk graviton models. The reported bounds are the most stringent to date.


title: CoviHawkes: Temporal Point Process and Deep Learning based Covid-19 forecasting for India

abstract: Lockdowns are one of the most effective measures for containing the spread of a pandemic. Unfortunately, they involve a heavy financial and emotional toll on the population that often outlasts the lockdown itself. This article argues in favor of ``local'' lockdowns, which are lockdowns focused on regions currently experiencing an outbreak. We propose a machine learning tool called CoviHawkes based on temporal point processes, called CoviHawkes that predicts the daily case counts for Covid-19 in India at the national, state, and district levels. Our short-term predictions ($<30$ days) may be helpful for policymakers in identifying regions where a local lockdown must be proactively imposed to arrest the spread of the virus. Our long-term predictions (up to a few months) simulate the progression of the pandemic under various lockdown conditions, thereby providing a noisy indicator for a potential third wave of cases in India. Extensive experimental results validate the performance of our tool at all levels.


title: Unsupervised Person Re-Identification: A Systematic Survey of Challenges and Solutions

abstract: Person re-identification (Re-ID) has been a significant research topic in the past decade due to its real-world applications and research significance. While supervised person Re-ID methods achieve superior performance over unsupervised counterparts, they can not scale to large unlabelled datasets and new domains due to the prohibitive labelling cost. Therefore, unsupervised person Re-ID has drawn increasing attention for its potential to address the scalability issue in person Re-ID. Unsupervised person Re-ID is challenging primarily due to lacking identity labels to supervise person feature learning. The corresponding solutions are diverse and complex, with various merits and limitations. Therefore, comprehensive surveys on this topic are essential to summarise challenges and solutions to foster future research. Existing person Re-ID surveys have focused on supervised methods from classifications and applications but lack detailed discussion on how the person Re-ID solutions address the underlying challenges. This survey review recent works on unsupervised person Re-ID from the perspective of challenges and solutions. Specifically, we provide an in-depth analysis of highly influential methods considering the four significant challenges in unsupervised person Re-ID: 1) lacking ground-truth identity labels to supervise person feature learning; 2) learning discriminative person features with pseudo-supervision; 3) learning cross-camera invariant person feature, and 4) the domain shift between datasets. We summarise and analyse evaluation results and provide insights on the effectiveness of the solutions. Finally, we discuss open issues and suggest some promising future research directions.


title: Asymptotic behavior of solutions toward the rarefaction waves to the Cauchy problem for the generalized Benjamin-Bona-Mahony-Burgers equation with dissipative term

abstract: In this paper, we investigate the asymptotic behavior of solutions to the Cauchy problem with the far field condisiton for the generalized Benjamin-Bona-Mahony-Burgers equation with a fourth-order dissipative term. When the corresponding Riemann problem for the hyperbolic part admits a Riemann solution which consists of single rarefaction wave, it is proved that the solution of the Cauchy problem tends toward the rarefaction wave as time goes to infinity. We can further obtain the same global asymptotic stability of the rarefaction wave to the generalized Korteweg-de Vries-Benjamin-Bona-Mahony-Burgers equation with a fourth-order dissipative term as the former one.


title: Quantum Criticality of Anti-ferromagnetism and Superconductivity with Relativity

abstract: We study a quantum phase transition from a massless to massive Dirac fermion phase in a new two-dimensional bipartite lattice model of electrons that is amenable to sign-free quantum Monte Carlo simulations. Importantly, interactions in our model are not only invariant under $\SU(2)$ symmetries of spin and charge like the Hubbard model, but they also preserve an Ising like electron spin-charge flip symmetry. From unbiased fermion bag Monte Carlo simulations with up to 2304 sites, we show that the massive fermion phase spontaneously breaks this Ising symmetry, picking either anti-ferromagnetism or superconductivity and that the transition at which both orders are simultaneously quantum critical, belongs to a new "chiral spin-charge symmetric" universality class. We explain our observations using effective potential and renormalization group calculations within the framework of a continuum field theory.


title: A Numerical Analysis of a Micro-scale Piezoelectric Cantilever Beam: the Effect of Dimension Parameters on the Eigen Frequency

abstract: Eigen frequency is one of the most important system responses to be considered while designing a micro-scale piezoelectric cantilever beam. This paper investigates and analyzes the effect of dimension parameters of a micro-scale piezoelectric cantilever beam on its eigen frequency. The beam is assumed to be made of silicon. Structural mechanics based finite element analysis is carried out in the environment of COMSOL Multiphysics software for the study. It is seen that length and thickness have continuous effect on the eigen frequency; whereas, the effect of width is discontinuous.


title: Learning Indoor Inverse Rendering with 3D Spatially-Varying Lighting

abstract: In this work, we address the problem of jointly estimating albedo, normals, depth and 3D spatially-varying lighting from a single image. Most existing methods formulate the task as image-to-image translation, ignoring the 3D properties of the scene. However, indoor scenes contain complex 3D light transport where a 2D representation is insufficient. In this paper, we propose a unified, learning-based inverse rendering framework that formulates 3D spatially-varying lighting. Inspired by classic volume rendering techniques, we propose a novel Volumetric Spherical Gaussian representation for lighting, which parameterizes the exitant radiance of the 3D scene surfaces on a voxel grid. We design a physics based differentiable renderer that utilizes our 3D lighting representation, and formulates the energy-conserving image formation process that enables joint training of all intrinsic properties with the re-rendering constraint. Our model ensures physically correct predictions and avoids the need for ground-truth HDR lighting which is not easily accessible. Experiments show that our method outperforms prior works both quantitatively and qualitatively, and is capable of producing photorealistic results for AR applications such as virtual object insertion even for highly specular objects.


title: Semantics-Guided Contrastive Network for Zero-Shot Object detection

abstract: Zero-shot object detection (ZSD), the task that extends conventional detection models to detecting objects from unseen categories, has emerged as a new challenge in computer vision. Most existing approaches tackle the ZSD task with a strict mapping-transfer strategy, which may lead to suboptimal ZSD results: 1) the learning process of those models ignores the available unseen class information, and thus can be easily biased towards the seen categories; 2) the original visual feature space is not well-structured and lack of discriminative information. To address these issues, we develop a novel Semantics-Guided Contrastive Network for ZSD, named ContrastZSD, a detection framework that first brings contrastive learning mechanism into the realm of zero-shot detection. Particularly, ContrastZSD incorporates two semantics-guided contrastive learning subnets that contrast between region-category and region-region pairs respectively. The pairwise contrastive tasks take advantage of additional supervision signals derived from both ground truth label and pre-defined class similarity distribution. Under the guidance of those explicit semantic supervision, the model can learn more knowledge about unseen categories to avoid the bias problem to seen concepts, while optimizing the data structure of visual features to be more discriminative for better visual-semantic alignment. Extensive experiments are conducted on two popular benchmarks for ZSD, i.e., PASCAL VOC and MS COCO. Results show that our method outperforms the previous state-of-the-art on both ZSD and generalized ZSD tasks.


title: Sensitivity analysis for solutions to heterogeneous nonlocal systems

abstract: The paper presents a collection of results on continuous dependence for solutions to nonlocal problems under perturbations of data and system parameters. The integral operators appearing in the systems capture interactions via heterogeneous kernels that exhibit different types of weak singularities, space dependence, even regions of zero-interaction. The stability results showcase explicit bounds involving the measure of the domain and of the interaction collar size, nonlocal Poincar\'e constant, and other parameters. In the nonlinear setting the bounds quantify in different $L^p$ norms the sensitivity of solutions under different nonlinearity profiles. The results are validated by numerical simulations showcasing discontinuous solutions, varying horizons of interactions, and symmetric and heterogeneous kernels.


title: Quenching of Gamow-Teller strengths and two particle -- two hole configurations

abstract: We apply the charge-exchange subtracted second random-phase approximation (SSRPA), based on Skyrme functionals, to investigate Gamow-Teller resonances in several closed-shell and closed-subshell nuclei, located in different regions of the nuclear chart. After having discussed the SSRPA findings obtained within different approximation schemes in $^{48}$Ca, we compare our results with {\it{ab-initio}} coupled-cluster predictions available for C and O isotopes, where two-body currents are included. Our integrated strenghts, obtained by using one-body transition operators, are lower compared to the corresponding {\it{ab-initio}} results. This indicates that, within our model, quenching effects are mainly driven by the inclusion of two particle - two hole configurations and that the role of a two-body contribution in the transition operator is less important than in the coupled-cluster approach. By analyzing heavier nuclei, $^{90}$ Zr and $^{132}$Sn, we confirm the same conclusions that we have recently drawn for $^{48}$Ca: the inclusion of two particle - two hole configurations is very effective in our model for providing strengths which are significantly more quenched than in other theoretical models and, thus, in better agreement with the experimental measurements. This occurs because two particle - two hole configurations have a density which strongly increases with the excitation energy. Their inclusion thus pushes a significant amount of the strength to higher energies, compared to what happens in other theoretical models, reducing in this way the cumulative sum of the strength up to excitation energies around 20-30 MeV.


title: Unveiling Hidden Physics at the LHC

abstract: The field of particle physics is at the crossroads. The discovery of a Higgs-like boson completed the Standard Model (SM), but the lacking observation of convincing resonances Beyond the SM (BSM) offers no guidance for the future of particle physics. On the other hand, the motivation for New Physics has not diminished and is, in fact, reinforced by several striking anomalous results in many experiments. Here we summarise the status of the most significant anomalies, including the most recent results for the flavour anomalies, the multi-lepton anomalies at the LHC, the Higgs-like excess at around 96 GeV, and anomalies in neutrino physics, astrophysics, cosmology, and cosmic rays. While the LHC promises up to 4/ab of integrated luminosity and far-reaching physics programmes to unveil BSM physics, we consider the possibility that the latter could be tested with present data, but that systemic shortcomings of the experiments and their search strategies may preclude their discovery for several reasons, including: final states consisting in soft particles only, associated production processes, QCD-like final states, close-by SM resonances, and SUSY scenarios where no missing energy is produced. New search strategies could help to unveil the hidden BSM signatures, devised by making use of the CERN open data as a new testing ground. We discuss the CERN open data with its policies, challenges, and potential usefulness for the community. We showcase the example of the CMS collaboration, which is the only collaboration regularly releasing some of its data. We find it important to stress that individuals using public data for their own research does not imply competition with experimental efforts, but rather provides unique opportunities to give guidance for further BSM searches by the collaborations. Wide access to open data is paramount to fully exploit the LHCs potential.


title: Continuation of spatially localized periodic solutions in discrete NLS lattices via normal forms

abstract: We consider the problem of the continuation with respect to a small parameter $\epsilon$ of spatially localised and time periodic solutions in 1-dimensional dNLS lattices, where $\epsilon$ represents the strength of the interaction among the sites on the lattice. Specifically, we consider different dNLS models and apply a recently developed normal form algorithm in order to investigate the continuation and the linear stability of degenerate localised periodic orbits on lower and full dimensional invariant resonant tori. We recover results already existing in the literature and provide new insightful ones, both for discrete solitons and for invariant subtori.


title: Packed Levitated Marker for Entity and Relation Extraction

abstract: Recent entity and relation extraction works focus on investigating how to obtain a better span representation from the pre-trained encoder. However, a major limitation of existing works is that they ignore the interrelation between spans (pairs). In this work, we propose a novel span representation approach, named Packed Levitated Markers (PL-Marker), to consider the interrelation between the spans (pairs) by strategically packing the markers in the encoder. In particular, we propose a neighborhood-oriented packing strategy, which considers the neighbor spans integrally to better model the entity boundary information. Furthermore, for those more complicated span pair classification tasks, we design a subject-oriented packing strategy, which packs each subject and all its objects to model the interrelation between the same-subject span pairs. The experimental results show that, with the enhanced marker feature, our model advances baselines on six NER benchmarks, and obtains a 4.1%-4.3% strict relation F1 improvement with higher speed over previous state-of-the-art models on ACE04 and ACE05.


title: A [in]Seguran\c{c}a dos Sistemas Governamentais Brasileiros: Um Estudo de Caso em Sistemas Web e Redes Abertas

abstract: Whereas the world relies on computer systems for providing public services, there is a lack of academic work that systematically assess the security of government systems. To partially fill this gap, we conducted a security evaluation of publicly available systems from public institutions. We revisited OWASP top-10 and identified multiple vulnerabilities in deployed services by scanning public government networks. Overall, the unprotected services found have inadequate security level, which must be properly discussed and addressed.


title: Localization and flexibilization in symplectic geometry

abstract: We introduce the critical Weinstein category -- the result of stabilizing the category of Weinstein sectors and inverting subcritical morphisms -- and for every finite collection $P$ of prime numbers, construct a $P$-flexibilization endofunctor. Our main result is that $P$-flexibilization is a localization of the critical Weinstein category, allowing us to characterize the essential image of the endofunctor by a universal property. This localization has the effect of replacing every Weinstein sector with one in which $P$ is invertible in the wrapped Fukaya category and hence we view it as a symplectic analogue of topological localization. We prove that this construction generalizes the flexibilization operation introduced by Cieliebak-Eliashberg and Murphy and is a variant of the `homologous recombination' construction of Abouzaid-Seidel. In particular, we give an h-principle-free proof that flexibilization is idempotent and independent of presentation, up to subcriticals and stabilization. Moreover, we show that $P$-flexibilization is symmetric monoidal, and hence gives rise to a new way of constructing commutative algebra objects from symplectic geometry. Our constructions work more generally for any finite collection of regular Lagrangian disks in $T^*D^n$, where the corresponding endofunctor in particular nullifies those disks as objects in the wrapped Fukaya category.


title: Global bifurcation of capillary-gravity water waves with overhanging profiles and arbitrary vorticity

abstract: We study two-dimensional periodic capillary-gravity water waves propagating at the free surface of water in a flow with arbitrary, prescribed vorticity over a flat bed. Using conformal mappings and a new Babenko-type reformulation of Bernoulli's equation, the problem is equivalently cast into the form "identity plus compact", which is amenable to Rabinowitz' global bifurcation theorem, while no restrictions on the geometry of the surface profile and no assumptions regarding the absence of stagnation points in the flow have to be made. Within the scope of this new formulation, local and global solution curves, bifurcating from laminar flows with a flat surface, are constructed.


title: Hybrid quantum-classical circuit simplification with the ZX-calculus

abstract: We present a complete optimization procedure for hybrid quantum-classical circuits with classical parity logic. While common optimization techniques for quantum algorithms focus on rewriting solely the pure quantum segments, there is interest in applying a global optimization process for applications such as quantum error correction and quantum assertions. This work, based on the pure-quantum circuit optimization procedure by Duncan et al., uses an extension of the formal graphical ZX-calculus called ZX-ground as an intermediary representation of the hybrid circuits to allow for granular optimizations below the quantum-gate level. We define a translation from hybrid circuits into diagrams that admit the graph-theoretical focused-gFlow property, needed for the final extraction back into a circuit. We then derive a number of gFlow-preserving optimization rules for ZX-ground diagrams that reduce the size of the graph, and devise an strategy to find optimization opportunities by rewriting the diagram guided by a Gauss elimination process. Then, after extracting the circuit, we present a general procedure for detecting segments of circuit-like ZX-ground diagrams which can be implemented with classical gates in the extracted circuit. We have implemented our optimization procedure as an extension to the open-source python library PyZX.


title: BeautifAI -- A Personalised Occasion-oriented Makeup Recommendation System

abstract: With the global metamorphosis of the beauty industry and the rising demand for beauty products worldwide, the need for an efficacious makeup recommendation system has never been more. Despite the significant advancements made towards personalised makeup recommendation, the current research still falls short of incorporating the context of occasion in makeup recommendation and integrating feedback for users. In this work, we propose BeautifAI, a novel makeup recommendation system, delivering personalised occasion-oriented makeup recommendations to users while providing real-time previews and continuous feedback. The proposed work's novel contributions, including the incorporation of occasion context, region-wise makeup recommendation, real-time makeup previews and continuous makeup feedback, set our system apart from the current work in makeup recommendation. We also demonstrate our proposed system's efficacy in providing personalised makeup recommendation by conducting a user study.


title: An End-to-end Point of Interest (POI) Conflation Framework

abstract: Point of interest (POI) data serves as a valuable source of semantic information for places of interest and has many geospatial applications in real estate, transportation, and urban planning. With the availability of different data sources, POI conflation serves as a valuable technique for enriching data quality and coverage by merging the POI data from multiple sources. This study proposes a novel end-to-end POI conflation framework consisting of six steps, starting with data procurement, schema standardisation, taxonomy mapping, POI matching, POI unification, and data verification. The feasibility of the proposed framework was demonstrated in a case study conducted in the eastern region of Singapore, where the POI data from five data sources was conflated to form a unified POI dataset. Based on the evaluation conducted, the resulting unified dataset was found to be more comprehensive and complete than any of the five POI data sources alone. Furthermore, the proposed approach for identifying POI matches between different data sources outperformed all baseline approaches with a matching accuracy of 97.6% with an average run time below 3 minutes when matching over 12,000 POIs to result in 8,699 unique POIs, thereby demonstrating the framework's scalability for large scale implementation in dense urban contexts.


title: On Language Models for Creoles

abstract: Creole languages such as Nigerian Pidgin English and Haitian Creole are under-resourced and largely ignored in the NLP literature. Creoles typically result from the fusion of a foreign language with multiple local languages, and what grammatical and lexical features are transferred to the creole is a complex process. While creoles are generally stable, the prominence of some features may be much stronger with certain demographics or in some linguistic situations. This paper makes several contributions: We collect existing corpora and release models for Haitian Creole, Nigerian Pidgin English, and Singaporean Colloquial English. We evaluate these models on intrinsic and extrinsic tasks. Motivated by the above literature, we compare standard language models with distributionally robust ones and find that, somewhat surprisingly, the standard language models are superior to the distributionally robust ones. We investigate whether this is an effect of over-parameterization or relative distributional stability, and find that the difference persists in the absence of over-parameterization, and that drift is limited, confirming the relative stability of creole languages.


title: Minimum Discrepancy Methods in Uncertainty Quantification

abstract: The lectures were prepared for the \'{E}cole Th\'{e}matique sur les Incertitudes en Calcul Scientifique (ETICS) in September 2021.


title: Learning to Act and Observe in Partially Observable Domains

abstract: We consider a learning agent in a partially observable environment, with which the agent has never interacted before, and about which it learns both what it can observe and how its actions affect the environment. The agent can learn about this domain from experience gathered by taking actions in the domain and observing their results. We present learning algorithms capable of learning as much as possible (in a well-defined sense) both about what is directly observable and about what actions do in the domain, given the learner's observational constraints. We differentiate the level of domain knowledge attained by each algorithm, and characterize the type of observations required to reach it. The algorithms use dynamic epistemic logic (DEL) to represent the learned domain information symbolically. Our work continues that of Bolander and Gierasimczuk (2015), which developed DEL-based learning algorithms based to learn domain information in fully observable domains.


title: Online Influence Maximization under the Independent Cascade Model with Node-Level Feedback

abstract: We study the online influence maximization (OIM) problem in social networks, where the learner repeatedly chooses seed nodes to generate cascades, observes the cascade feedback, and gradually learns the best seeds that generate the largest cascade in multiple rounds. In the demand of the real world, we work with node-level feedback instead of the common edge-level feedback in the literature. The edge-level feedback reveals all edges that pass through information in a cascade, whereas the node-level feedback only reveals the activated nodes with timestamps. The node-level feedback is arguably more realistic since in practice it is relatively easy to observe who is influenced but very difficult to observe from which relationship (edge) the influence comes. Previously, there is a nearly optimal $\tilde{O}(\sqrt{T})$-regret algorithm for OIM problem under the linear threshold (LT) diffusion model with node-level feedback. It remains unknown whether the same algorithm exists for the independent cascade (IC) diffusion model. In this paper, we resolve this open problem by presenting an $\tilde{O}(\sqrt{T})$-regret algorithm for OIM problem under the IC model with node-level feedback.


title: BV Functions and Sets of Finite Perimeter on Configuration Spaces

abstract: This paper contributes to foundations of the geometric measure theory in the infinite dimensional setting of the configuration space over the Euclidean space $\mathbb R^n$ equipped with the Poisson measure $\pi$. We first provide a rigorous meaning and construction of the $m$-codimensional Poisson measure -- formally written as "$(\infty-m)$-dimensional Poisson measure" -- on the configuration space. We then show that our construction is consistent with potential analysis by establishing the absolute continuity with respect to Bessel capacities. Secondly, we introduce three different definitions of BV functions based on the variational, relaxation and the semigroup approaches, and prove the equivalence of them. Thirdly, we construct perimeter measures and introduce the notion of the reduced boundary. We then prove that the perimeter measure can be expressed by the $1$-codimensional Poisson measure restricted on the reduced boundary, which is a generalisation of De Giorgi's identity to the configuration space. Finally, we construct the total variation measures for BV functions, and prove the Gau{\ss}--Green formula.


title: The Virtual Large Cardinal Hierarchy

abstract: We continue the study of the virtual large cardinal hierarchy by analysing virtual versions of superstrong, Woodin, and Berkeley cardinals. Gitman and Schindler showed that virtualizations of strong and supercompact cardinals yield the same large cardinal notion. We provide various equivalent characterizations of virtually Woodin cardinals, including showing that On is virtually Woodin if and only if for every class A, there is a proper class of virtually A-extendible cardinals. We introduce the virtual Vopenka principle for finite languages and show that it is not equivalent to the virtual Vopenka principle (although the two principles are equiconsistent), but is equivalent to the assertion that On is virtually pre-Woodin, a weakening of virtually Woodin, which is equivalent to having for every class A, a weakly virtually A-extendible cardinal. We show that if there are no virtually Berkeley cardinals, then On is virtually Woodin if and only if On is virtually pre-Woodin (if and only if the virtual Vopenka principle for finite languages holds). In particular, if the virtual Vopenka principle holds and On is not Mahlo, then On is not virtually Woodin, and hence there is a virtually Berkeley cardinal.


title: Pareto-optimal lane-changing motion planning in mixed traffic

abstract: This paper applies the pareto-optimal concept to LC (lane-changing) motion planning in the presence of mixed traffic including manual and autonomous vehicles. Firstly, a multiobjective optimization problem is presented, in which the comfort, efficiency and safety of the LC vehicle and the surrounding vehicles are jointly modelled. Thereafter, the pareto-optimal solutions are obtained through employing the NSGA-II (Non-dominated Sorting Genetic -II) algorithm. Finally, the experiment section analyzes the (macroscopic and microscopic) lane-changing impact from a pareto-optimal perspective. Also, a comprehensive sensitivity analysis is conducted. Our results demonstrate that our algorithm could significantly reduce the lane-changing impact within its region, and the total costs are reduced in the range of 10.94% to 48.66%. This paper could be considered as a preliminary research framework for the application of the pareto-optimal concept. We hope this research will provide valuable insights into autonomous driving technology.


title: Remeasuring the anomalously enhanced $B(E2; 2^+ \rightarrow 1^+)$ in $^8\mathrm{Li}$

abstract: The large reported $E2$ strength between the $2^+$ ground state and $1^+$ first excited state of $\isotope[8]{Li}$, $B(E2; 2^+ \rightarrow 1^+)= 55(15)\,e^2\fm^4$, presents a puzzle. Unlike in neighboring $A=7\text{--}9$ isotopes, where enhanced $E2$ strengths may be understood to arise from deformation as rotational in-band transitions, the $2^+\rightarrow1^+$ transition in $^8$Li cannot be understood in any simple way as a rotational in-band transition. Moreover, the reported strength exceeds \textit{ab initio} predictions by an order of magnitude. In light of this discrepancy, we revisited the Coulomb excitation measurement of this strength, now using particle-$\gamma$ coincidences, yielding a revised $B(E2; 2^+ \rightarrow 1^+)$ of $19(^{+7}_{-6})(2)$~e$^2$fm$^4$. We explore how this value compares to what might be expected in the limits of rotational models. While the present value is about a factor of three smaller than previously reported, it remains anomalously enhanced.


title: xGQA: Cross-Lingual Visual Question Answering

abstract: Recent advances in multimodal vision and language modeling have predominantly focused on the English language, mostly due to the lack of multilingual multimodal datasets to steer modeling efforts. In this work, we address this gap and provide xGQA, a new multilingual evaluation benchmark for the visual question answering task. We extend the established English GQA dataset to 7 typologically diverse languages, enabling us to detect and explore crucial challenges in cross-lingual visual question answering. We further propose new adapter-based approaches to adapt multimodal transformer-based models to become multilingual, and -- vice versa -- multilingual models to become multimodal. Our proposed methods outperform current state-of-the-art multilingual multimodal models (e.g., M3P) in zero-shot cross-lingual settings, but the accuracy remains low across the board; a performance drop of around 38 accuracy points in target languages showcases the difficulty of zero-shot cross-lingual transfer for this task. Our results suggest that simple cross-lingual transfer of multimodal models yields latent multilingual multimodal misalignment, calling for more sophisticated methods for vision and multilingual language modeling.


title: Thermodynamically consistent and positivity-preserving discretization of the thin-film equation with thermal noise

abstract: In micro-fluidics not only does capillarity dominate but also thermal fluctuations become important. On the level of the lubrication approximation, this leads to a quasi-linear fourth-order parabolic equation for the film height $h$ driven by space-time white noise. The gradient flow structure of its deterministic counterpart, the thin-film equation, which encodes the balance between driving capillary and limiting viscous forces, provides the guidance for the thermodynamically consistent introduction of fluctuations. We follow this route on the level of a spatial discretization of the gradient flow structure. Starting from an energetically conformal finite-element (FE) discretization, we point out that the numerical mobility function introduced by Gr\"un and Rumpf can be interpreted as a discretization of the metric tensor in the sense of a mixed FE method with lumping. While this discretization was devised in order to preserve the so-called entropy estimate, we use this to show that the resulting high-dimensional stochastic differential equation (SDE) preserves pathwise and pointwise strict positivity, at least in case of the physically relevant mobility function arising from the no-slip boundary condition. As a consequence, this discretization gives rise to a consistent invariant measure, namely a discretization of the Brownian excursion (up to the volume constraint), and thus features an entropic repulsion. The price to pay over more naive discretizations is that when writing the SDE in It\^o's form, which is the basis for the Euler-Mayurama time discretization, a correction term appears. To conclude, we perform various numerical experiments to compare the behavior of our discretization to that of the more naive finite difference discretization of the equation.


title: The inverse of Ackermann function is computable in linear time

abstract: We propose a detailed proof of the fact that the inverse of Ackermann function is computable in linear time.


title: On Pursuit of Designing Multi-modal Transformer for Video Grounding

abstract: Video grounding aims to localize the temporal segment corresponding to a sentence query from an untrimmed video. Almost all existing video grounding methods fall into two frameworks: 1) Top-down model: It predefines a set of segment candidates and then conducts segment classification and regression. 2) Bottom-up model: It directly predicts frame-wise probabilities of the referential segment boundaries. However, all these methods are not end-to-end, i.e., they always rely on some time-consuming post-processing steps to refine predictions. To this end, we reformulate video grounding as a set prediction task and propose a novel end-to-end multi-modal Transformer model, dubbed as GTR. Specifically, GTR has two encoders for video and language encoding, and a cross-modal decoder for grounding prediction. To facilitate the end-to-end training, we use a Cubic Embedding layer to transform the raw videos into a set of visual tokens. To better fuse these two modalities in the decoder, we design a new Multi-head Cross-Modal Attention. The whole GTR is optimized via a Many-to-One matching loss. Furthermore, we conduct comprehensive studies to investigate different model design choices. Extensive results on three benchmarks have validated the superiority of GTR. All three typical GTR variants achieve record-breaking performance on all datasets and metrics, with several times faster inference speed.


title: Anti-classification results for the Kakutani equivalence relation

abstract: We prove that the Kakutani equivalence relation of ergodic invertible measure-preserving transformations is not a Borel set. This shows in a precise way that classification up to Kakutani equivalence is impossible. We also obtain this anti-classification result for ergodic area-preserving smooth diffeomorphisms on compact surfaces admitting a non-trivial circle action as well as real-analytic diffeomorphisms on the 2-torus.


title: Gold nanoparticle supracrystals mechanics under pressure: the role of the soft matrix

abstract: Nanocrystals, used as building blocks, may self-assemble in long-range ordered assemblies socalled supracrystals. Different structures FCC, BCC but also Frank-Kasper phases have been observed and the roles of the soft ligands surrounding the rigid crystalline cores in the self-assembly process is not yet well understood and need further study. The mechanical behavior under hydrostatic pressure of 3D single FCC crystals built by gold nanoparticles has been investigated using HP-SAXS and compared with pure alkane, corresponding to the ligand chain. No structural transition has been observed up to 12 GPa, but a large increase of the supracrystals bulk modulus has been measured.


title: Concept Drift Detection in Federated Networked Systems

abstract: As next-generation networks materialize, increasing levels of intelligence are required. Federated Learning has been identified as a key enabling technology of intelligent and distributed networks; however, it is prone to concept drift as with any machine learning application. Concept drift directly affects the model's performance and can result in severe consequences considering the critical and emergency services provided by modern networks. To mitigate the adverse effects of drift, this paper proposes a concept drift detection system leveraging the federated learning updates provided at each iteration of the federated training process. Using dimensionality reduction and clustering techniques, a framework that isolates the system's drifted nodes is presented through experiments using an Intelligent Transportation System as a use case. The presented work demonstrates that the proposed framework is able to detect drifted nodes in a variety of non-iid scenarios at different stages of drift and different levels of system exposure.


title: An explanation of experimental data of $(g-2)_{e,\mu}$ in 3-3-1 models with inverse seesaw neutrinos

abstract: We show that the anomalous magnetic moment experimental data of muon and electron $(g-2)_{\mu,e}$ can be explained simultaneously in simple extensions of the 3-3-1 models consisting of new heavy neutrinos and a singly charged Higgs boson. The heavy neutrinos generate active neutrino masses and mixing through the general seesaw mechanism. They also have non-zero Yukawa couplings with singly charged Higgs bosons and right-handed charged leptons, which result in large one-loop contributions known as \emph{chirally-enhanced} ones. Numerical investigation confirms a conclusion indicated previously that these contributions are the key point to explain the large $(g-2)_{\mu,e}$ data, provided that the inverse seesaw mechanism is necessary to allow both conditions that heavy neutrino masses are above few hundred GeV and non-unitary part of the active neutrino mixing matrix must be large enough.


title: Bound-Free Pair Production Mechanism at the NICA Accelerator Complex

abstract: In this work, bound-free pair production (BFPP) cross section calculations are done for NICA collider. In the BFPP mechanisms, after free pair production process, free electron is captured by one of the ions. This causes to the decrement of the ion from the beam, also diminish the intensity of the beam and changes the beam lifetime. BFPP cross section calculations are done for p-Au and p-Bi collisions for NICA collider and it is seen that the obtained results are in the range of a few mbarns. In this work, we used the lowest-order perturbation theory and our calculations are done in QED framework.


title: Time crystals: From Schr\"odinger to Sisyphus

abstract: A Hamiltonian time crystal can emerge when a Noether symmetry is subject to a condition that prevents the energy minimum from being a critical point of the Hamiltonian. A somewhat trivial example is the Schr\"odinger equation of a harmonic oscillator. The Noether charge for its particle number coincides with the square norm of the wave function, and the energy eigenvalue is a Lagrange multiplier for the condition that the wave function is properly normalized. A more elaborate example is the Gross-Pitaevskii equation that models vortices in a cold atom Bose-Einstein condensate. In an oblate, essentially two dimensional harmonic trap the energy minimum is a topologically protected timecrystalline vortex that rotates around the trap center. Additional examples are constructed using coarse grained Hamiltonian models of closed molecular chains. When knotted, the topology of a chain can support a time crystal. As a physical example, high precision all-atom molecular dynamics is used to analyze an isolated cyclopropane molecule. The simulation reveals that the molecular D$_{3h}$ symmetry becomes spontaneously broken. When the molecule is observed with sufficiently long stroboscopic time steps it appears to rotate like a simple Hamiltonian time crystal. When the length of the stroboscopic time step is decreased the rotational motion becomes increasingly ratcheting and eventually it resembles the back-and-forth oscillations of Sisyphus dynamics. The stroboscopic rotation is entirely due to atomic level oscillatory shape changes, so that cyclopropane is an example of a molecule that can rotate without angular momentum. Finally, the article is concluded with a personal recollection how Frank's and Betsy's Stockholm journey started.


title: On the maximum principle for optimal control problems of stochastic Volterra integral equations with delay

abstract: In this paper, we prove both necessary and sufficient maximum principles for infinite horizon discounted control problems of stochastic Volterra integral equations with finite delay and a convex control domain. The corresponding adjoint equation is a novel class of infinite horizon anticipated backward stochastic Volterra integral equations. Our results can be applied to discounted control problems of stochastic delay differential equations and fractional stochastic delay differential equations. As an example, we consider a stochastic linear-quadratic regulator problem for a delayed fractional system. Based on the maximum principle, we prove the existence and uniqueness of the optimal control for this concrete example and obtain a new type of explicit Gaussian state-feedback representation formula for the optimal control.


title: Direct Advantage Estimation

abstract: The predominant approach in reinforcement learning is to assign credit to actions based on the expected return. However, we show that the return may depend on the policy in a way which could lead to excessive variance in value estimation and slow down learning. Instead, we show that the advantage function can be interpreted as causal effects and shares similar properties with causal representations. Based on this insight, we propose Direct Advantage Estimation (DAE), a novel method that can model the advantage function and estimate it directly from on-policy data while simultaneously minimizing the variance of the return without requiring the (action-)value function. We also relate our method to Temporal Difference methods by showing how value functions can be seamlessly integrated into DAE. The proposed method is easy to implement and can be readily adapted by modern actor-critic methods. We evaluate DAE empirically on three discrete control domains and show that it can outperform generalized advantage estimation (GAE), a strong baseline for advantage estimation, on a majority of the environments when applied to policy optimization.


title: Single-stream CNN with Learnable Architecture for Multi-source Remote Sensing Data

abstract: In this paper, we propose an efficient and generalizable framework based on deep convolutional neural network (CNN) for multi-source remote sensing data joint classification. While recent methods are mostly based on multi-stream architectures, we use group convolution to construct equivalent network architectures efficiently within a single-stream network. We further adopt and improve dynamic grouping convolution (DGConv) to make group convolution hyperparameters, and thus the overall network architecture, learnable during network training. The proposed method therefore can theoretically adjust any modern CNN models to any multi-source remote sensing data set, and can potentially avoid sub-optimal solutions caused by manually decided architecture hyperparameters. In the experiments, the proposed method is applied to ResNet and UNet, and the adjusted networks are verified on three very diverse benchmark data sets (i.e., Houston2018 data, Berlin data, and MUUFL data). Experimental results demonstrate the effectiveness of the proposed single-stream CNNs, and in particular ResNet18-DGConv improves the state-of-the-art classification overall accuracy (OA) on HS-SAR Berlin data set from $62.23\%$ to $68.21\%$. In the experiments we have two interesting findings. First, using DGConv generally reduces test OA variance. Second, multi-stream is harmful to model performance if imposed to the first few layers, but becomes beneficial if applied to deeper layers. Altogether, the findings imply that multi-stream architecture, instead of being a strictly necessary component in deep learning models for multi-source remote sensing data, essentially plays the role of model regularizer. Our code is publicly available at https://github.com/yyyyangyi/Multi-source-RS-DGConv. We hope our work can inspire novel research in the future.


title: Nonlinear matrix recovery using optimization on the Grassmann manifold

abstract: We investigate the problem of recovering a partially observed high-rank matrix whose columns obey a nonlinear structure such as a union of subspaces, an algebraic variety or grouped in clusters. The recovery problem is formulated as the rank minimization of a nonlinear feature map applied to the original matrix, which is then further approximated by a constrained non-convex optimization problem involving the Grassmann manifold. We propose two sets of algorithms, one arising from Riemannian optimization and the other as an alternating minimization scheme, both of which include first- and second-order variants. Both sets of algorithms have theoretical guarantees. In particular, for the alternating minimization, we establish global convergence and worst-case complexity bounds. Additionally, using the Kurdyka-Lojasiewicz property, we show that the alternating minimization converges to a unique limit point. We provide extensive numerical results for the recovery of union of subspaces and clustering under entry sampling and dense Gaussian sampling. Our methods are competitive with existing approaches and, in particular, high accuracy is achieved in the recovery using Riemannian second-order methods.


title: The Grammar-Learning Trajectories of Neural Language Models

abstract: The learning trajectories of linguistic phenomena in humans provide insight into linguistic representation, beyond what can be gleaned from inspecting the behavior of an adult speaker. To apply a similar approach to analyze neural language models (NLM), it is first necessary to establish that different models are similar enough in the generalizations they make. In this paper, we show that NLMs with different initialization, architecture, and training data acquire linguistic phenomena in a similar order, despite their different end performance. These findings suggest that there is some mutual inductive bias that underlies these models' learning of linguistic phenomena. Taking inspiration from psycholinguistics, we argue that studying this inductive bias is an opportunity to study the linguistic representation implicit in NLMs. Leveraging these findings, we compare the relative performance on different phenomena at varying learning stages with simpler reference models. Results suggest that NLMs exhibit consistent "developmental" stages. Moreover, we find the learning trajectory to be approximately one-dimensional: given an NLM with a certain overall performance, it is possible to predict what linguistic generalizations it has already acquired. Initial analysis of these stages presents phenomena clusters (notably morphological ones), whose performance progresses in unison, suggesting a potential link between the generalizations behind them.


title: Forensics for Microsoft Teams

abstract: Microsoft Teams is a collaboration and communication platform developed by Microsoft that replaces and extends Microsoft Skype for Business. It differs from Skype for Business by the fact that it exists only as part of the Microsoft 365 products whereas Skype for Business can be deployed completely or partly on-premise. During the pandemic emergency in 2020 and 2021 Microsoft Teams has increased dramatically its base of users as most of the meetings and the communications had to be conducted in virtual environments by users working remotely. Microsoft Teams allows users to collaborate sending and sharing information virtually with anyone internal or external to the an organization with PCs and mobile devices, therefore it requires a careful review of all the security configurations and procedures within the organization. Microsoft Teams infrastructure can also be integrated with PSTN telephone services, natively within the Microsoft 365 services or by integrating other PSTN service providers. Therefore, its architecture extends the perimeter that could be exploited for an attack. Microsoft Teams features can also be extended by Apps. There are hundreds of Apps developed by Microsoft and by other companies to address the various needs of modern collaboration. "Walkie Talkie", one of those Apps, transforms the Teams client installed in a mobile phone into a Walkie Talkie communication device for registered users. The goal of this paper is to describe different Teams' usage scenarios and to analyse Teams' PSTN and Teams' Walkie Talkie communication scenarios describing forensics procedures to investigate inappropriate users' conduct.


title: The mathematics of adversarial attacks in AI -- Why deep learning is unstable despite the existence of stable neural networks

abstract: The unprecedented success of deep learning (DL) makes it unchallenged when it comes to classification problems. However, it is well established that the current DL methodology produces universally unstable neural networks (NNs). The instability problem has caused an enormous research effort -- with a vast literature on so-called adversarial attacks -- yet there has been no solution to the problem. Our paper addresses why there has been no solution to the problem, as we prove the following mathematical paradox: any training procedure based on training neural networks for classification problems with a fixed architecture will yield neural networks that are either inaccurate or unstable (if accurate) -- despite the provable existence of both accurate and stable neural networks for the same classification problems. The key is that the stable and accurate neural networks must have variable dimensions depending on the input, in particular, variable dimensions is a necessary condition for stability. Our result points towards the paradox that accurate and stable neural networks exist, however, modern algorithms do not compute them. This yields the question: if the existence of neural networks with desirable properties can be proven, can one also find algorithms that compute them? There are cases in mathematics where provable existence implies computability, but will this be the case for neural networks? The contrary is true, as we demonstrate how neural networks can provably exist as approximate minimisers to standard optimisation problems with standard cost functions, however, no randomised algorithm can compute them with probability better than 1/2.


title: Uniform Generalization Bounds for Overparameterized Neural Networks

abstract: An interesting observation in artificial neural networks is their favorable generalization error despite typically being extremely overparameterized. It is well known that the classical statistical learning methods often result in vacuous generalization errors in the case of overparameterized neural networks. Adopting the recently developed Neural Tangent (NT) kernel theory, we prove uniform generalization bounds for overparameterized neural networks in kernel regimes, when the true data generating model belongs to the reproducing kernel Hilbert space (RKHS) corresponding to the NT kernel. Importantly, our bounds capture the exact error rates depending on the differentiability of the activation functions. In order to establish these bounds, we propose the information gain of the NT kernel as a measure of complexity of the learning problem. Our analysis uses a Mercer decomposition of the NT kernel in the basis of spherical harmonics and the decay rate of the corresponding eigenvalues. As a byproduct of our results, we show the equivalence between the RKHS corresponding to the NT kernel and its counterpart corresponding to the Mat\'ern family of kernels, showing the NT kernels induce a very general class of models. We further discuss the implications of our analysis for some recent results on the regret bounds for reinforcement learning and bandit algorithms, which use overparameterized neural networks.


title: Atomic-Scale Visualization and Manipulation of Domain boundaries in 2D Ferroelectric In2Se3

abstract: Domain boundaries in ferroelectric materials exhibit rich and diverse physical properties distinct from their parent materials and have been proposed for novel applications in nanoelectronics and quantum information technology. Due to their complexity and diversity, the internal atomic and electronic structure of domain boundaries that governs the electronic properties as well as the kinetics of domain switching remains far from being elucidated. By using scanning tunneling microscopy and spectroscopy (STM/S) combined with density functional theory (DFT) calculations, we directly visualize the atomic structure of domain boundaries in two-dimensional (2D) ferroelectric beta' In2Se3 down to the monolayer limit and reveal a double-barrier energy potential of the 60{\deg} tail to tail domain boundaries for the first time. We further controllably manipulate the domain boundaries with atomic precision by STM and show that the movements of domain boundaries can be driven by the electric field from an STM tip and proceed by the collective shifting of atoms at the domain boundaries. The results will deepen our understanding of domain boundaries in 2D ferroelectric materials and stimulate innovative applications of these materials.


title: Specific Heat of the Kagome Antiferromagnet Herbertsmithite in High Magnetic Fields

abstract: Measuring the specific heat of herbertsmithite single crystals in high magnetic fields (up to $34$ T) allows us to isolate the low-temperature kagome contribution while shifting away extrinsic Schottky-like contributions. The kagome contribution follows an original power law $C_{p}(T\rightarrow0)\propto T^{\alpha}$ with $\alpha\sim1.5$ and is found field-independent between $28$ and $34$ T for temperatures $1\leq T\leq4$ K. These are serious constrains when it comes to replication using low-temperature extrapolations of high-temperature series expansions. We manage to reproduce the experimental observations if about $10$ % of the kagome sites do not contribute. Between $0$ and $34$ T, the computed specific heat has a minute field dependence then supporting an algebraic temperature dependence in zero field, typical of a critical spin liquid ground state. The need for an effective dilution of the kagome planes is discussed and is likely linked to the presence of copper ions on the interplane zinc sites. At very low temperatures and moderate fields, we also report some small field-induced anomalies in the total specific heat and start to elaborate a phase diagram.


title: Wavelet Shrinkage in Nonparametric Regression Models with Positive Noise

abstract: Wavelet shrinkage estimators are widely applied in several fields of science for denoising data in wavelet domain by reducing the magnitudes of empirical coefficients. In nonparametric regression problem, most of the shrinkage rules are derived from models composed by an unknown function with additive gaussian noise. Although gaussian noise assumption is reasonable in several real data analysis, mainly for large sample sizes, it is not general. Contaminated data with positive noise can occur in practice and nonparametric regression models with positive noise bring challenges in wavelet shrinkage point of view. This work develops bayesian shrinkage rules to estimate wavelet coefficients from a nonparametric regression framework with additive and strictly positive noise under exponential and lognormal distributions. Computational aspects are discussed and simulation studies to analyse the performances of the proposed shrinkage rules and compare them with standard techniques are done. An application in winning times Boston Marathon dataset is also provided.


title: Joint prediction of truecasing and punctuation for conversational speech in low-resource scenarios

abstract: Capitalization and punctuation are important cues for comprehending written texts and conversational transcripts. Yet, many ASR systems do not produce punctuated and case-formatted speech transcripts. We propose to use a multi-task system that can exploit the relations between casing and punctuation to improve their prediction performance. Whereas text data for predicting punctuation and truecasing is seemingly abundant, we argue that written text resources are inadequate as training data for conversational models. We quantify the mismatch between written and conversational text domains by comparing the joint distributions of punctuation and word cases, and by testing our model cross-domain. Further, we show that by training the model in the written text domain and then transfer learning to conversations, we can achieve reasonable performance with less data.


title: Coherent states for fractional powers of the harmonic oscillator Hamiltonian

abstract: Inspired by special and general relativistic systems that can have Hamiltonians involving square roots, or more general fractional powers, in this article we address the question how a suitable set of coherent states for such systems can be obtained. This becomes a relevant topic if the semiclassical sector of a given quantum theory wants to be analysed. As a simple setup we consider the toy model of a deparametrised system with one constraint that involves a fractional power of the harmonic oscillator Hamiltonian operator and we discuss two approaches for finding suitable coherent states for this system. In the first approach we consider Dirac quantisation and group averaging that have been used by Ashtekar et. al. but only for integer powers of operators. Our generalisation to fractional powers yields in the case of the toy model a suitable set of coherent states. The second approach is inspired by coherent states based on a fractional Poisson distribution introduced by Laskin, which however turn out not to satisfy all properties to yield good semiclassical results for the operators considered here and in particular do not satisfy a resolution of identity as claimed. Therefore, we present a generalisation of the standard harmonic oscillator coherent states to states involving fractional labels, which approximate the fractional operators in our toy model semiclassically more accurately and satisfy a resolution of identity. In addition, motivated by the way the proof of the resolution of identity is performed, we consider these kind of coherent states also for the polymerised harmonic oscillator and discuss their semiclassical properties


title: NeuTral Rewriter: A Rule-Based and Neural Approach to Automatic Rewriting into Gender-Neutral Alternatives

abstract: Recent years have seen an increasing need for gender-neutral and inclusive language. Within the field of NLP, there are various mono- and bilingual use cases where gender inclusive language is appropriate, if not preferred due to ambiguity or uncertainty in terms of the gender of referents. In this work, we present a rule-based and a neural approach to gender-neutral rewriting for English along with manually curated synthetic data (WinoBias+) and natural data (OpenSubtitles and Reddit) benchmarks. A detailed manual and automatic evaluation highlights how our NeuTral Rewriter, trained on data generated by the rule-based approach, obtains word error rates (WER) below 0.18% on synthetic, in-domain and out-domain test sets.


title: Infinite-type loxodromic isometries of the relative arc graph

abstract: An infinite-type surface $\Sigma$ is of type $\mathcal{S}$ if it has an isolated puncture $p$ and admits shift maps. This includes all infinite-type surfaces with an isolated puncture outside of two sporadic classes. Given such a surface, we construct an infinite family of intrinsically infinite-type mapping classes that act loxodromically on the relative arc graph $\mathcal{A}(\Sigma, p)$. J. Bavard produced such an element for the plane minus a Cantor set, and our result gives the first examples of such mapping classes for all other surfaces of type $\mathcal{S}$. The elements we construct are the composition of three shift maps on $\Sigma$, and we give an alternate characterization of these elements as a composition of a pseudo-Anosov on a finite-type subsurface of $\Sigma$ and a standard shift map. We then explicitly find their limit points on the boundary of $\mathcal{A}(\Sigma,p)$ and their limiting geodesic laminations. Finally, we show that these infinite-type elements can be used to prove that Map$(\Sigma,p)$ has an infinite-dimensional space of quasimorphisms.


title: Learning and Leveraging Features in Flow-Like Environments to Improve Situational Awareness

abstract: This paper studies how global dynamics and knowledge of high-level features can inform decision-making for robots in flow-like environments. Specifically, we investigate how coherent sets, an environmental feature found in these environments, inform robot awareness within these scenarios. The proposed approach is an online environmental feature generator which can be used for robot reasoning. We compute coherent sets online with techniques from machine learning and design frameworks for robot behavior that leverage coherent set features. We demonstrate the effectiveness of online methods over offline methods. Notably, we apply these online methods for robot monitoring of pedestrian behaviors and robot navigation through water. Environmental features such as coherent sets provide rich context to robots for smarter, more efficient behavior.


title: Analysis of HAT-P-16b and TrES-3b Exoplanets by the Transit Timing Variations Method

abstract: In this study, the transit observations of HAT-P-16b and TrES-3b exoplanets were carried out at \c{C}\"U UZAYMER Observatory with a 50 cm Ritchey Chretien type telescope. By analyzing the light curves of both exoplanets, system parameters have been obtained with acceptable models. Some of these parameters for HAT-P-16 systems were found to be: M$_{P}$=4.172$\pm$0.163 M$_{J}$, R$_{P}$=1.309$\pm$0.111 R$_{J}$, a/R$_{*}$=7.1922$\pm$0.0017 and b=0.1003$\pm$0.1533 which are consistent with the values given in \cite{2010ApJ...720.1118B}. Also, for the TrES-3 system, the same parameters were calculated as M$_{P}$=1.959$\pm$0.111 M$_{J}$, R$_{P}$=1.320$\pm$0.169 R$_{J}$, a/R$_{*}$=6.0656$\pm$ 0.4899 and b=0.7892$\pm$0.0700. These values are also consistent with the values given in \cite{2007ApJ...663L..37O}. No significant Transit Timing Variations (TTV) was found as a result of the Lomb-Scargle (LS) periodogram for HAT-P-16b by using the transit times obtained from the transit light curves (False Alarm Probabilities -- FAP) = \%96). However, a significant periodicity was found at 32.38 days and a secondary periodicity was found at 41.07 days were determined as a result of the LS periodogram obtained from the TrES-3b data. We interpret that these periods with FAP of 3.41 \% and 1.88 \%, respectively, are close to the rotation period of the host star. Therefore, these periods could be due to the modulation of spot-induced light variations.


title: Weakly Supervised Person Search with Region Siamese Networks

abstract: Supervised learning is dominant in person search, but it requires elaborate labeling of bounding boxes and identities. Large-scale labeled training data is often difficult to collect, especially for person identities. A natural question is whether a good person search model can be trained without the need of identity supervision. In this paper, we present a weakly supervised setting where only bounding box annotations are available. Based on this new setting, we provide an effective baseline model termed Region Siamese Networks (R-SiamNets). Towards learning useful representations for recognition in the absence of identity labels, we supervise the R-SiamNet with instance-level consistency loss and cluster-level contrastive loss. For instance-level consistency learning, the R-SiamNet is constrained to extract consistent features from each person region with or without out-of-region context. For cluster-level contrastive learning, we enforce the aggregation of closest instances and the separation of dissimilar ones in feature space. Extensive experiments validate the utility of our weakly supervised method. Our model achieves the rank-1 of 87.1% and mAP of 86.0% on CUHK-SYSU benchmark, which surpasses several fully supervised methods, such as OIM and MGTS, by a clear margin. More promising performance can be reached by incorporating extra training data. We hope this work could encourage the future research in this field.


title: Disproof of a conjecture of Erd\H{o}s and Simonovits on the Tur\'an number of graphs with minimum degree 3

abstract: In 1981, Erd\H{o}s and Simonovits conjectured that for any bipartite graph $H$ we have $\mathrm{ex}(n,H)=O(n^{3/2})$ if and only if $H$ is $2$-degenerate. Later, Erd\H{o}s offered 250 dollars for a proof and 500 dollars for a counterexample. In this paper, we disprove the conjecture by finding, for any $\varepsilon>0$, a $3$-regular bipartite graph $H$ with $\mathrm{ex}(n,H)=O(n^{4/3+\varepsilon})$.


title: Cosmological search for sterile neutrinos after Planck 2018

abstract: Sterile neutrinos can affect the evolution of the universe, and thus using the cosmological observations can search for sterile neutrinos. In this work, we use the cosmic microwave background (CMB) anisotropy data from the Planck 2018 release, combined with the latest baryon acoustic oscillation (BAO), type Ia supernova (SN), and Hubble constant ($H_0$) data, to constrain the cosmological models with considering sterile neutrinos. In order to test the influences of the properties of dark energy on the {results} of searching for sterile neutrinos, in addition to the $\Lambda$ cold dark matter ($\Lambda$CDM) model, we also consider the $w$CDM model and the holographic dark energy (HDE) model. We find that the existence of sterile neutrinos {is not preferred} when the $H_0$ local measurement is not included in the data combination. When the $H_0$ measurement is included in the joint constraints, it is found that $\Delta N_{\rm eff}>0$ is {favored} at about 2.7$\sigma$ level for the $\Lambda$CDM model and at about 1-1.7$\sigma$ level for the $w$CDM model. However, $m_{\nu,{\rm{sterile}}}^{\rm{eff}}$ still cannot be well constrained and only upper limits can be given. In addition, we find that the HDE model is definitely ruled out by the current data. We also discuss the issue of the Hubble tension, and we conclude that involving sterile neutrinos in the cosmological models cannot truly resolve the Hubble tension.


title: Beyond Isolated Utterances: Conversational Emotion Recognition

abstract: Speech emotion recognition is the task of recognizing the speaker's emotional state given a recording of their utterance. While most of the current approaches focus on inferring emotion from isolated utterances, we argue that this is not sufficient to achieve conversational emotion recognition (CER) which deals with recognizing emotions in conversations. In this work, we propose several approaches for CER by treating it as a sequence labeling task. We investigated transformer architecture for CER and, compared it with ResNet-34 and BiLSTM architectures in both contextual and context-less scenarios using IEMOCAP corpus. Based on the inner workings of the self-attention mechanism, we proposed DiverseCatAugment (DCA), an augmentation scheme, which improved the transformer model performance by an absolute 3.3% micro-f1 on conversations and 3.6% on isolated utterances. We further enhanced the performance by introducing an interlocutor-aware transformer model where we learn a dictionary of interlocutor index embeddings to exploit diarized conversations.


title: Effect of seed layer thickness on Ta crystalline phase and spin Hall angle

abstract: Heavy metal-ferromagnet bilayer structures have attracted great research interest for charge-to-spin interconversion. In this work, we have investigated the effect of the permalloy seed layer on the Ta polycrystalline phase and its spin Hall angle. Interestingly, for the same deposition rates the crystalline phase of Ta deposited on Py seed layer strongly depends on the thickness of the seed layer. We have observed a phase transition from $\alpha$-Ta to ($\alpha$+$\beta$)-Ta while increasing the Py seed layer thickness. The observed phase transition is attributed to the strain at interface between Py and Ta layers. Ferromagnetic resonance-based spin pumping studies reveal that the spin-mixing conductance in the to ($\alpha$+$\beta$)-Ta is relatively higher as compared to the to $\alpha$-Ta. Spin Hall angles of to $\alpha$-Ta and to ($\alpha$+$\beta$)-Ta are extracted from inverse spin Hall effect (ISHE) measurements. Spin Hall angle of the to ($\alpha$+$\beta$)-Ta is estimated to be $\theta$_SH=-0.15 which is relatively higher than that of to $\alpha$-Ta. Our systematic results connecting the phase of the Ta with seed layer and its effect on the efficiency of spin to charge conversion might resolve ambiguities across various literature and open up new functionalities based on the growth process for the emerging spintronic devices.

categories: cond-mat.mtrl-sci cond-mat.mes-hall cond-mat.other physics.app-ph


title: One Down, 699 to Go: or, synthesising compositional desugarings

abstract: Programming or scripting languages used in real-world systems are seldom designed with a formal semantics in mind from the outset. Therefore, developing well-founded analysis tools for these systems requires reverse-engineering a formal semantics as a first step. This can take months or years of effort. Can we (at least partially) automate this process? Though desirable, automatically reverse-engineering semantics rules from an implementation is very challenging, as found by Krishnamurthi et al. [2019]. In this paper, we highlight that scaling methods with the size of the language is very difficult due to state space explosion, so we propose to learn semantics incrementally. We give a formalisation of Krishnamurthi et al.'s desugaring learning framework in order to clarify the assumptions necessary for an incremental learning algorithm to be feasible. We show that this reformulation allows us to extend the search space and express rules that Krishnamurthi et al. described as challenging, while still retaining feasibility. We evaluate enumerative synthesis as a baseline algorithm, and demonstrate that, with our reformulation of the problem, it is possible to learn correct desugaring rules for the example source and core languages proposed by Krishnamurthi et al., in most cases identical to the intended rules. In addition, with user guidance, our system was able to synthesize rules for desugaring list comprehensions and try/catch/finally constructs.


title: Moments of the 2d directed polymer in the subcritical regime and a generalisation of the Erd\"os-Taylor theorem

abstract: We compute the limit of the moments of the partition function $Z_{N}^{\beta_N} $ of the directed polymer in dimension $d=2$ in the subcritical regime, i.e. when the inverse temperature is scaled as $\beta_N \sim \hat{\beta} \sqrt{\tfrac{\pi}{\log N}}$ for $\hat{\beta} \in (0,1)$. In particular, we establish that for every $h \in \mathbb{R}$, $\lim_{N \to \infty } \mathbb{E}\big[\big(Z_{N}^{\beta_N}\big)^h\big]=\big(\frac{1}{1-\hat{\beta}^2}\big)^{\frac{h(h-1)}{2}}.$ We also identify the limit of the moments of the averaged field $\tfrac{\sqrt{\log N}}{N} \sum_{x \in \mathbb{Z}^2} \varphi(\tfrac{x}{\sqrt{N}})\big(Z_{N}^{\beta_N}(x)-1 \big )$, for $\varphi \in C_c(\mathbb{R}^2)$, as those of a gaussian free field. As a byproduct, we identify the limiting probability distribution of the total pairwise collisions between $h$ independent, two dimensional random walks starting at the origin. In particular, we derive that $$ \frac{\pi}{\log N}\sum_{1 \leq i<j\leq h} \mathsf{L}_N^{(i,j)}\xrightarrow[N \to \infty ]{(d)} \Gamma\big( \tfrac{h(h-1)}{2},1\big) \, ,$$ where ${\mathsf{L}}^{(i,j)}_N$ denotes the collision local time by time $N$ between copies $i,j$ and $\Gamma$ denotes the Gamma distribution. This generalises a classical result of Erd\"{o}s-Taylor.


title: Blood vessel segmentation in en-face OCTA images: a frequency based method

abstract: Optical coherence tomography angiography (OCTA) is a novel noninvasive imaging modality for visualization of retinal blood flow in the human retina. Using specific OCTA imaging biomarkers for the identification of pathologies, automated image segmentations of the blood vessels can improve subsequent analysis and diagnosis. We present a novel segmentation method for vessel density identification based on frequency representations of the image, in particular, using so-called Gabor filter banks. The algorithm is evaluated qualitatively and quantitatively on an OCTA image in-house data set from $10$ eyes acquired by a Cirrus HD-OCT device. Qualitatively, the segmentation outcomes received very good visual evaluation feedback by experts. Quantitatively, we compared the resulting vessel density values with automated in-built values provided by the device. The results underline the visual evaluation. For the evaluation of the FAZ identification substep, manual annotations of $2$ expert graders were used, showing that our results coincide well in visual and quantitative manners. Lastly, we suggest the computation of adaptive local vessel density maps that allow straightforward analysis of retinal blood flow in a local manner.


title: Numerical study of the McIntyre instability around Gaussian floating vortices in thermal wind balance

abstract: The visco-diffusive McIntyre instability (McIntyre 1970) has been suggested as a possible source for density layer formation around laboratory and oceanic vortices. This suggestion is here quantitatively addressed using idealised, axisymmetric, numerical simulations of a simple Gaussian-like vortex in thermal wind balance, floating in a rotating, stratified flow. Numerical simulations are complemented by a local stability analysis derived from the seminal study (McIntyre 1970). It is confirmed that the McIntyre instability is responsible for the layering observed around laboratory vortices, but its relevance for explaining layering around meddies remains doubtful.


title: Tensor network representations of fermionic crystalline topological phases on two-dimensional lattices

abstract: We investigate the tensor network representations of fermionic crystalline symmetry-protected topological (SPT) phases on two-dimensional lattices. As a mapping from virtual indices to physical indices, projected entangled-pair state (PEPS) serves as a concrete way to construct the wavefunctions of 2D crystalline fermionic SPT (fSPT) phases protected by 17 wallpaper group symmetries, for both spinless and spin-1/2 fermions. Based on PEPS, the full classification of 2D crystalline fSPT phases with wallpaper groups can be obtained. Tensor network states provide a natural framework for studying 2D crystalline fSPT phases.

categories: cond-mat.str-el math-ph math.MP physics.comp-ph


title: The effect of elastic strains on the adsorption energy of H, O, and OH in transition metals

abstract: The influence of elastic strains on the adsorption of H, O, and OH on the (111) surfaces of 8 fcc (Ni, Cu, Pd, Ag, Pt, Au, Rh, Ir) and on the (0001) surfaces of 3 hcp (Co, Zn, Cd) transition metals was analyzed by means of density functional theory calculations. To this end, surface slabs were subjected to different strain states (uniaxial, biaxial, shear, and a combination of them) up to strains dictated by the mechanical stability limits indicated by phonon calculations. It was found that the adsorption energy followed the predictions of the d-band theory but -- surprisingly -- the variations in the adsorption energy only depended on the area of the adsorption hole and not on the particular elastic strain tensor applied to achieve this area. The analysis of the electronic structure showed that the applied strains did not modify the shape of Projected Density of State (PDOS) of the d-orbitals of the transition metals but only led to a shift in the energy levels. Moreover, the presence of the adsorbates on the surfaces led to negligible changes in the PDOS. Thus, the adsorption energies were a function of the Fermi energy which in turn was associated to the change of the area of the adsorption through a general linear law that was valid for all metals. The information in this paper allows the immediate and accurate estimation of the effect of any elastic strain on the adsorption energies of H, O, and OH in 11 transition metals with more than half-filled d-orbitals.


title: LiDAR Odometry Methodologies for Autonomous Driving: A Survey

abstract: Vehicle odometry is an essential component of an automated driving system as it computes the vehicle's position and orientation. The odometry module has a higher demand and impact in urban areas where the global navigation satellite system (GNSS) signal is weak and noisy. Traditional visual odometry methods suffer from the diverse illumination status and get disparities during pose estimation, which results in significant errors as the error accumulates. Odometry using light detection and ranging (LiDAR) devices has attracted increasing research interest as LiDAR devices are robust to illumination variations. In this survey, we examine the existing LiDAR odometry methods and summarize the pipeline and delineate the several intermediate steps. Additionally, the existing LiDAR odometry methods are categorized by their correspondence type, and their advantages, disadvantages, and correlations are analyzed across-category and within-category in each step. Finally, we compare the accuracy and the running speed among these methodologies evaluated over the KITTI odometry dataset and outline promising future research directions.


title: Accessing Passersby Proxemic Signals through a Head-Worn Camera: Opportunities and Limitations for the Blind

abstract: The spatial behavior of passersby can be critical to blind individuals to initiate interactions, preserve personal space, or practice social distancing during a pandemic. Among other use cases, wearable cameras employing computer vision can be used to extract proxemic signals of others and thus increase access to the spatial behavior of passersby for blind people. Analyzing data collected in a study with blind (N=10) and sighted (N=40) participants, we explore: (i) visual information on approaching passersby captured by a head-worn camera; (ii) pedestrian detection algorithms for extracting proxemic signals such as passerby presence, relative position, distance, and head pose; and (iii) opportunities and limitations of using wearable cameras for helping blind people access proxemics related to nearby people. Our observations and findings provide insights into dyadic behaviors for assistive pedestrian detection and lead to implications for the design of future head-worn cameras and interactions.


title: Discovering the Unknown Knowns: Turning Implicit Knowledge in the Dataset into Explicit Training Examples for Visual Question Answering

abstract: Visual question answering (VQA) is challenging not only because the model has to handle multi-modal information, but also because it is just so hard to collect sufficient training examples -- there are too many questions one can ask about an image. As a result, a VQA model trained solely on human-annotated examples could easily over-fit specific question styles or image contents that are being asked, leaving the model largely ignorant about the sheer diversity of questions. Existing methods address this issue primarily by introducing an auxiliary task such as visual grounding, cycle consistency, or debiasing. In this paper, we take a drastically different approach. We found that many of the "unknowns" to the learned VQA model are indeed "known" in the dataset implicitly. For instance, questions asking about the same object in different images are likely paraphrases; the number of detected or annotated objects in an image already provides the answer to the "how many" question, even if the question has not been annotated for that image. Building upon these insights, we present a simple data augmentation pipeline SimpleAug to turn this "known" knowledge into training examples for VQA. We show that these augmented examples can notably improve the learned VQA models' performance, not only on the VQA-CP dataset with language prior shifts but also on the VQA v2 dataset without such shifts. Our method further opens up the door to leverage weakly-labeled or unlabeled images in a principled way to enhance VQA models. Our code and data are publicly available at https://github.com/heendung/simpleAUG.


title: Knowledge Graph-based Neurodegenerative Diseases and Diet Relationship Discovery

abstract: To date, there are no effective treatments for most neurodegenerative diseases. However, certain foods may be associated with these diseases and bring an opportunity to prevent or delay neurodegenerative progression. Our objective is to construct a knowledge graph for neurodegenerative diseases using literature mining to study their relations with diet. We collected biomedical annotations (Disease, Chemical, Gene, Species, SNP&Mutation) in the abstracts from 4,300 publications relevant to both neurodegenerative diseases and diet using PubTator, an NIH-supported tool that can extract biomedical concepts from literature. A knowledge graph was created from these annotations. Graph embeddings were then trained with the node2vec algorithm to support potential concept clustering and similar concept identification. We found several food-related species and chemicals that might come from diet and have an impact on neurodegenerative diseases.


title: Production of vector mesons in the String+${}^3P_0$ model of polarized quark fragmentation

abstract: The production of vector mesons in the fragmentation process of polarized quarks is studied within the recursive String+${}^3P_0$ model, improving a previous version of the model in which the production of pseudoscalar mesons only was considered. Two types of couplings of the vector meson to quarks are introduced, their coupling constants being the additional free parameters of the model. The angular distribution of the decay products of the polarized vector meson is deduced from the spin density matrix of the meson and the spin information is propagated along the fragmentation chain taking into account the entanglement of spin states. The new model is implemented in a stand alone Monte Carlo program utilized to investigate in detail kinematic distributions and transverse spin asymmetries. The sensitivity of these observables to the new free parameters is discussed and the Monte Carlo results are compared with experimental data on transverse spin asymmetries.


title: Construction of Wave Dark Matter Halos: Numerical Algorithm and Analytical Constraints

abstract: We present a wave generalization of the classic Schwarzschild method for constructing self-consistent halos -- such a halo consists of a suitable superposition of waves instead of particle orbits, chosen to yield a desired mean density profile. As an illustration, the method is applied to spherically symmetric halos. We derive an analytic relation between the particle distribution function and the wave superposition amplitudes, and show how it simplifies in the high energy (WKB) limit. We verify the stability of such constructed halos by numerically evolving the Schr\"odinger-Poisson system. The algorithm provides an efficient and accurate way to simulate the time-dependent halo substructures from wave interference. We use this method to construct halos with a variety of density profiles, all of which have a core from the ground-state wave function, though the core-halo relation need not be the standard one.


title: Neural Network Guided Evolutionary Fuzzing for Finding Traffic Violations of Autonomous Vehicles

abstract: Self-driving cars and trucks, autonomous vehicles (AVs), should not be accepted by regulatory bodies and the public until they have much higher confidence in their safety and reliability -- which can most practically and convincingly be achieved by testing. But existing testing methods are inadequate for checking the end-to-end behaviors of AV controllers against complex, real-world corner cases involving interactions with multiple independent agents such as pedestrians and human-driven vehicles. While test-driving AVs on streets and highways fails to capture many rare events, existing simulation-based testing methods mainly focus on simple scenarios and do not scale well for complex driving situations that require sophisticated awareness of the surroundings. To address these limitations, we propose a new fuzz testing technique, called AutoFuzz, which can leverage widely-used AV simulators' API grammars to generate semantically and temporally valid complex driving scenarios (sequences of scenes). To efficiently search for traffic violations-inducing scenarios in a large search space, we propose a constrained neural network (NN) evolutionary search method to optimize AutoFuzz. Evaluation of our prototype on one state-of-the-art learning-based controller, two rule-based controllers, and one industrial-grade controller in five scenarios shows that AutoFuzz efficiently finds hundreds of traffic violations in high-fidelity simulation environments. For each scenario, AutoFuzz can find on average 10-39% more unique traffic violations than the best-performing baseline method. Further, fine-tuning the learning-based controller with the traffic violations found by AutoFuzz successfully reduced the traffic violations found in the new version of the AV controller software.


title: Malware MultiVerse: From Automatic Logic Bomb Identification to Automatic Patching and Tracing

abstract: Malware and other suspicious software often hide behaviors and components behind logic bombs and context-sensitive execution paths. Uncovering these is essential to react against modern threats, but current solutions are not ready to detect these paths in a completely automated manner. To bridge this gap, we propose the Malware Multiverse (MalVerse), a solution able to inspect multiple execution paths via symbolic execution aiming to discover function inputs and returns that trigger malicious behaviors. MalVerse automatically patches the context-sensitive functions with the identified symbolic values to allow the software execution in a traditional sandbox. We implemented MalVerse on top of angr and evaluated it with a set of Linux and Windows evasive samples. We found that MalVerse was able to generate automatic patches for the most common evasion techniques (e.g., ptrace checks).


title: Modeling of CO ro-vibrational line emission of HD 141569

abstract: HD 141569 is a Herbig Ae/Be star that straddles the boundary between the transition disks and debris disks. It is a low dust mass disk that reveals numerous structural elements (e.g. gaps and rings) that may point to young planets. It also exhibits a reservoir of CO gas observed at both millimeter and IR wavelengths. Previous observations (Goto et al. 2006) reported a possible asymmetry in the CO gas emission. Herein the IR ro-vibrational emission lines are analyzed and modeled both spectroscopically and spectroastrometrically. We find emission features from both 12CO and 13CO isotopologues heated to a temperature of approximately 200 K in the radial extent of 13 to 60 au. We do not see evidenceof the previously reported asymmetry in CO emission, our results being consistent with a Keplerian, axisymmetric emitting region. This raises the question of whether the emission profile may be evolving in time, possibly as a result of an orbiting feature in the inner disk such as a planet.


title: Can Language Models Encode Perceptual Structure Without Grounding? A Case Study in Color

abstract: Pretrained language models have been shown to encode relational information, such as the relations between entities or concepts in knowledge-bases -- (Paris, Capital, France). However, simple relations of this type can often be recovered heuristically and the extent to which models implicitly reflect topological structure that is grounded in world, such as perceptual structure, is unknown. To explore this question, we conduct a thorough case study on color. Namely, we employ a dataset of monolexemic color terms and color chips represented in CIELAB, a color space with a perceptually meaningful distance metric. Using two methods of evaluating the structural alignment of colors in this space with text-derived color term representations, we find significant correspondence. Analyzing the differences in alignment across the color spectrum, we find that warmer colors are, on average, better aligned to the perceptual color space than cooler ones, suggesting an intriguing connection to findings from recent work on efficient communication in color naming. Further analysis suggests that differences in alignment are, in part, mediated by collocationality and differences in syntactic usage, posing questions as to the relationship between color perception and usage and context.


title: On the Number of Cholesky Roots of the Zero Matrix over F2

abstract: A square, upper-triangular matrix U is a Cholesky root of a matrix M provided U*U=M, where * represents the conjugate transpose. Over finite fields, as well as over the reals, it suffices for U^TU=M. In this paper, we investigate the number of such factorizations over the finite field with two elements, F2, and prove the existence of a rank-preserving bijection between the number of Cholesky roots of the zero matrix and the upper-triangular square roots the zero matrix.


title: A Framework for Developing Algorithms for Estimating Propagation Parameters from Measurements

abstract: A framework is proposed for developing and evaluating algorithms for extracting multipath propagation components (MPCs) from measurements collected by sounders at millimeter-wave (mmW) frequencies. To focus on algorithmic performance, an idealized model is proposed for the spatial frequency response of the propagation environment measured by a sounder. The input to the sounder model is a pre-determined set of MPC parameters that serve as the "ground truth." A three-dimensional angle-delay (beamspace) representation of the measured spatial frequency response serves as a natural domain for implementing and analyzing MPC extraction algorithms. Metrics for quantifying the error in estimated MPC parameters are introduced. Initial results are presented for a greedy matching pursuit algorithm that performs a least-squares (LS) reconstruction of the MPC path gains within the iterations. The results indicate that the simple greedy-LS algorithm has the ability to extract MPCs over a large dynamic range, and suggest several avenues for further performance improvement through extensions of the greedy-LS algorithm as well as by incorporating features of other algorithms, such as SAGE and RIMAX.


title: Specifying and Testing GPU Workgroup Progress Models

abstract: As GPU availability has increased and programming support has matured, a wider variety of applications are being ported to these platforms. Many parallel applications contain fine-grained synchronization idioms; as such, their correct execution depends on a degree of relative forward progress between threads (or thread groups). Unfortunately, many GPU programming specifications say almost nothing about relative forward progress guarantees between workgroups. Although prior work has proposed a spectrum of plausible progress models for GPUs, cross-vendor specifications have yet to commit to any model. This work is a collection of tools experimental data to aid specification designers when considering forward progress guarantees in programming frameworks. As a foundation, we formalize a small parallel programming language that captures the essence of fine-grained synchronization. We then provide a means of formally specifying a progress model, and develop a termination oracle that decides whether a given program is guaranteed to eventually terminate with respect to a given progress model. Next, we formalize a constraint for concurrent programs that require relative forward progress to terminate. Using this constraint, we synthesize a large set of 483 progress litmus tests. Combined with the termination oracle, this allows us to determine the expected status of each litmus test -- i.e. whether it is guaranteed eventual termination -- under various progress models. We present a large experimental campaign running the litmus tests across 8 GPUs from 5 different vendors. Our results highlight that GPUs have significantly different termination behaviors under our test suite. Most notably, we find that Apple and ARM GPUs do not support the linear occupancy-bound model, an intuitive progress model defined by prior work and hypothesized to describe the workgroup schedulers of existing GPUs.


title: Neuro-Symbolic AI: An Emerging Class of AI Workloads and their Characterization

abstract: Neuro-symbolic artificial intelligence is a novel area of AI research which seeks to combine traditional rules-based AI approaches with modern deep learning techniques. Neuro-symbolic models have already demonstrated the capability to outperform state-of-the-art deep learning models in domains such as image and video reasoning. They have also been shown to obtain high accuracy with significantly less training data than traditional models. Due to the recency of the field's emergence and relative sparsity of published results, the performance characteristics of these models are not well understood. In this paper, we describe and analyze the performance characteristics of three recent neuro-symbolic models. We find that symbolic models have less potential parallelism than traditional neural models due to complex control flow and low-operational-intensity operations, such as scalar multiplication and tensor addition. However, the neural aspect of computation dominates the symbolic part in cases where they are clearly separable. We also find that data movement poses a potential bottleneck, as it does in many ML workloads.


title: Anisotropic Nodal-Line-Derived Large Anomalous Hall Conductivity in ZrMnP and HfMnP

abstract: The nontrivial band structure of semimetals has attracted substantial research attention in condensed matter physics and materials science in recent years owing to its intriguing physical properties. Within this class, a group of non-trivial materials known as nodal-line semimetals is particularly important. Nodal-line semimetals exhibit the potential effects of electronic correlation in nonmagnetic materials, whereas they enhance the contribution of the Berry curvature in magnetic materials, resulting in high anomalous Hall conductivity (AHC). In this study, two ferromagnetic compounds, namely ZrMnP and HfMnP, are selected, wherein the abundance of mirror planes in the crystal structure ensures gapped nodal lines at the Fermi energy. These nodal lines result in one of the largest AHC values of 2840 ohm^-1cm^-1, with a high anomalous Hall angle of 13.6 % in these compounds. First-principles calculations provide a clear and detailed understanding of nodal line-enhanced AHC. Our finding suggests a guideline for searching large AHC compounds.