title: The impact of the uncertainties in the 12C({\alpha},{\gamma})16O reaction rate on the evolution of low- to intermediate-mass stars

abstract: One of the largest uncertainties in stellar evolutionary computations is the accuracy of the considered reaction rates. The 12C(alpha,gamma)16O reaction is particularly important for the study of low- and intermediate-mass stars as it determines the final C/O ratio in the core which influences the white dwarf cooling evolution. Thus, there is a need for a study of how the computations of white dwarfs and their progenitors that are made to date may be affected by the uncertainties of the 12C(alpha,gamma)16O reaction rates. In this work we compute fully evolutionary sequences using the MESA code with initial masses in the range of 0.90 <= Mi/Msun <= 3.05. We consider different adopted reaction rates, obtained from the literature, as well as the extreme limits within their uncertainties. As expected, we find that previous to the core helium burning stage there are no changes to the evolution of the stars. However, the subsequent stages are all affected by the uncertainties of the considered reaction rate. In particular, we find differences to the convective core mass during the core helium burning stage which may affect pulsation properties of subdwarfs, the number of thermal pulses during the asymptotic giant branch and trends between final oxygen abundance in the core and the progenitor masses of the remnant white dwarfs.


title: Hierarchical Annotation for Building A Suite of Clinical Natural Language Processing Tasks: Progress Note Understanding

abstract: Applying methods in natural language processing on electronic health records (EHR) data is a growing field. Existing corpus and annotation focus on modeling textual features and relation prediction. However, there is a paucity of annotated corpus built to model clinical diagnostic thinking, a process involving text understanding, domain knowledge abstraction and reasoning. This work introduces a hierarchical annotation schema with three stages to address clinical text understanding, clinical reasoning, and summarization. We created an annotated corpus based on an extensive collection of publicly available daily progress notes, a type of EHR documentation that is collected in time series in a problem-oriented format. The conventional format for a progress note follows a Subjective, Objective, Assessment and Plan heading (SOAP). We also define a new suite of tasks, Progress Note Understanding, with three tasks utilizing the three annotation stages. The novel suite of tasks was designed to train and evaluate future NLP models for clinical text understanding, clinical knowledge representation, inference, and summarization.


title: First-Order Pontryagin Maximum Principle for Risk-Averse Stochastic Optimal Control Problems

abstract: In this paper, we derive first-order Pontryagin optimality conditions for risk-averse stochastic optimal control problems subject to final time inequality constraints, and whose costs are general, possibly non-smooth finite coherent risk measures. Unlike preexisting contributions covering this situation, our analysis holds for classical stochastic differential equations driven by standard Brownian motions. In addition, it presents the advantages of neither involving second-order adjoint equations, nor leading to the so-called weak version of the PMP, in which the maximization condition with respect to the control variable is replaced by the stationarity of the Hamiltonian.


title: Universal Relations for Neutron Star F-Mode and G-Mode Oscillations

abstract: Among the various oscillation modes of neutron stars, f- and g- modes are the most likely to be ultimately observed in binary neutron star mergers. The f-mode is known to correlate in normal neutron stars with their tidal deformability, moment of inertia and quadrupole moment. Using a piecewise polytropic parameterization scheme to model the uncertain hadronic high-density EOS and a constant sound-speed scheme to model pure quark matter, we refine this correlation and show that these universal relations also apply to both self-bound stars and hybrid stars containing phase transitions. We identify a novel 1-node branch of the f-mode that occurs in low-mass hybrid stars in a narrow mass range just beyond the critical mass necessary for a phase transition to appear. This 1-node branch shows the largest, but still small, deviations from the universal correlation we have found. The g-mode frequency only exists in matter with a non-barotropic equation of state involving temperature, chemical potential or composition, or a phase transition in barotropic matter. The g-mode therefore could serve as a probe for studying phase transitions in hybrid stars. In contrast with the f-mode, discontinuity g-mode frequencies depend strongly on properties of the transition (the density and the magnitude of the discontinuity) at the transition. Imposing causality and maximum mass constraints, the g-mode frequency in hybrid stars is found to have an upper bound of about 1.25 kHz. However, if the sound speed c_s in the inner core at densities above the phase transition density is restricted to c_s^2 < c^2/3, the g-mode frequencies can only reach about 0.8 kHz, which are significantly lower than f-mode frequencies, 1.3-2.8 kHz. Also, g-mode gravitational wave damping times are extremely long, >10^4 s (10^2 s) in the inner core with c_s^2< c^{2/3} (c^2), in comparison with the f-mode damping time, 0.1-1 s.


title: Safe Interactive Industrial Robots using Jerk-based Safe Set Algorithm

abstract: The need to increase the flexibility of production lines is calling for robots to collaborate with human workers. However, existing interactive industrial robots only guarantee intrinsic safety (reduce collision impact), but not interactive safety (collision avoidance), which greatly limited their flexibility. The issue arises from two limitations in existing control software for industrial robots: 1) lack of support for real-time trajectory modification; 2) lack of intelligent safe control algorithms with guaranteed collision avoidance under robot dynamics constraints. To address the first issue, a jerk-bounded position controller (JPC) was developed previously. This paper addresses the second limitation, on top of the JPC. Specifically, we introduce a jerk-based safe set algorithm (JSSA) to ensure collision avoidance while considering the robot dynamics constraints. The JSSA greatly extends the scope of the original safe set algorithm, which has only been applied for second-order systems with unbounded accelerations. The JSSA is implemented on the FANUC LR Mate 200id/7L robot and validated with HRI tasks. Experiments show that the JSSA can consistently keep the robot at a safe distance from the human while executing the designated task.


title: DSGN++: Exploiting Visual-Spatial Relation for Stereo-based 3D Detectors

abstract: Camera-based 3D object detectors are welcome due to their wider deployment and lower price than LiDAR sensors. We first revisit the prior stereo detector DSGN for its stereo volume construction ways for representing both 3D geometry and semantics. We polish the stereo modeling and propose the advanced version, DSGN++, aiming to enhance effective information flow throughout the 2D-to-3D pipeline in three main aspects. First, to effectively lift the 2D information to stereo volume, we propose depth-wise plane sweeping (DPS) that allows denser connections and extracts depth-guided features. Second, for grasping differently spaced features, we present a novel stereo volume -- Dual-view Stereo Volume (DSV) that integrates front-view and top-view features and reconstructs sub-voxel depth in the camera frustum. Third, as the foreground region becomes less dominant in 3D space, we propose a multi-modal data editing strategy -- Stereo-LiDAR Copy-Paste, which ensures cross-modal alignment and improves data efficiency. Without bells and whistles, extensive experiments in various modality setups on the popular KITTI benchmark show that our method consistently outperforms other camera-based 3D detectors for all categories. Code is available at https://github.com/chenyilun95/DSGN2.


title: SOMOS: The Samsung Open MOS Dataset for the Evaluation of Neural Text-to-Speech Synthesis

abstract: In this work, we present the SOMOS dataset, the first large-scale mean opinion scores (MOS) dataset consisting of solely neural text-to-speech (TTS) samples. It can be employed to train automatic MOS prediction systems focused on the assessment of modern synthesizers, and can stimulate advancements in acoustic model evaluation. It consists of 20K synthetic utterances of the LJ Speech voice, a public domain speech dataset which is a common benchmark for building neural acoustic models and vocoders. Utterances are generated from 200 TTS systems including vanilla neural acoustic models as well as models which allow prosodic variations. An LPCNet vocoder is used for all systems, so that the samples' variation depends only on the acoustic models. The synthesized utterances provide balanced and adequate domain and length coverage. We collect MOS naturalness evaluations on 3 English Amazon Mechanical Turk locales and share practices leading to reliable crowdsourced annotations for this task. We provide baseline results of state-of-the-art MOS prediction models on the SOMOS dataset and show the limitations that such models face when assigned to evaluate TTS utterances.


title: MIGHTEE-HI: The relation between the HI gas in galaxies and the cosmic web

abstract: We study the 3D axis of rotation (3D spin) of 77 HI galaxies from the MIGHTEE-HI Early Science observations, and its relation to the filaments of the cosmic web. For this HI-selected sample, the alignment between the spin axis and the closest filament ($\lvert \cos \psi \rvert$) is higher for galaxies closer to the filaments, with $\langle\lvert \cos \psi \rvert\rangle= 0.66 \pm 0.04$ for galaxies $<5$ Mpc from their closest filament compared to $\langle\lvert \cos \psi \rvert\rangle= 0.37 \pm 0.08$ for galaxies at $5 < d <10$ Mpc. We find that galaxies with a low HI-to-stellar mass ratio ($\log_{10}(M_{\rm HI}/M_{\star}) < 0.11$) are more aligned with their closest filaments, with $\langle\lvert \cos \psi \rvert\rangle= 0.58 \pm 0.04$; whilst galaxies with ($\log_{10}(M_{\rm HI}/M_{\star}) > 0.11$) tend to be mis-aligned, with $\langle\lvert \cos \psi \rvert\rangle= 0.44 \pm 0.04$. We find tentative evidence that the spin axis of HI-selected galaxies tend to be aligned with associated filaments ($d<10$ Mpc), but this depends on the gas fractions. Galaxies that have accumulated more stellar mass compared to their gas mass tend towards stronger alignment. Our results suggest that those galaxies that have accrued high gas fraction with respect to their stellar mass may have had their spin axis alignment with the filament disrupted by a recent gas-rich merger, whereas the spin vector for those galaxies in which the neutral gas has not been strongly replenished through a recent merger tend to orientate towards alignment with the filament. We also investigate the spin transition between galaxies with a high HI content and a low HI content at a threshold of $M_{\mathrm{HI}}\approx 10^{9.5} M_{\odot}$ found in simulations, however we find no evidence for such a transition with the current data.


title: FFC-SE: Fast Fourier Convolution for Speech Enhancement

abstract: Fast Fourier convolution (FFC) is the recently proposed neural operator showing promising performance in several computer vision problems. The FFC operator allows employing large receptive field operations within early layers of the neural network. It was shown to be especially helpful for inpainting of periodic structures which are common in audio processing. In this work, we design neural network architectures which adapt FFC for speech enhancement. We hypothesize that a large receptive field allows these networks to produce more coherent phases than vanilla convolutional models, and validate this hypothesis experimentally. We found that neural networks based on Fast Fourier convolution outperform analogous convolutional models and show better or comparable results with other speech enhancement baselines.


title: Time Evolution in Quantum Cosmology

abstract: The quantum description of time evolution in non-linear gravitational systems such as cosmological space-times is not well understood. We show, in the simplified setting of mini-superspace, that time evolution of this system can be obtained using a gauge fixed path integral, as long as one does not integrate over proper time. Using this gauge fixed action we can construct a Hamiltonian in the coherent - or classical - state basis. We show that by construction the coherent states satisfy the classical dynamical equations of General Relativity. They do not satisfy the Hamiltonian constraint. A consequence of this is that the Wheeler-DeWitt equation should not be satisfied in quantum gravity. Classical states have a natural non-trivial time evolution since they are not eigenstates of the Hamiltonian. A general feature of the unconstrained quantum theory of gravity is the prediction of a pressureless dark matter component of either sign energy density in the classical universe which may lead to novel phenomenology.


title: Fusing finetuned models for better pretraining

abstract: Pretrained models are the standard starting point for training. This approach consistently outperforms the use of a random initialization. However, pretraining is a costly endeavour that few can undertake. In this paper, we create better base models at hardly any cost, by fusing multiple existing fine tuned models into one. Specifically, we fuse by averaging the weights of these models. We show that the fused model results surpass the pretrained model ones. We also show that fusing is often better than intertraining. We find that fusing is less dependent on the target task. Furthermore, weight decay nullifies intertraining effects but not those of fusing.


title: Generalized Symmetries in Condensed Matter

abstract: Recent advances in our understanding of symmetry in quantum many-body systems offer the possibility of a generalized Landau paradigm that encompasses all equilibrium phases of matter. This is a brief and elementary review of some of these developments.


abstract: Result ranking often affects consumer satisfaction as well as the amount of exposure each item receives in the ranking services. Myopically maximizing customer satisfaction by ranking items only according to relevance will lead to unfair distribution of exposure for items, followed by unfair opportunities and economic gains for item producers/providers. Such unfairness will force providers to leave the system and discourage new providers from coming in. Eventually, fewer purchase options would be left for consumers, and the utilities of both consumers and providers would be harmed. Thus, to maintain a balance between ranking relevance and fairness is crucial for both parties. In this paper, we focus on the exposure fairness in ranking services. We demonstrate that existing methods for amortized fairness optimization could be suboptimal in terms of fairness-relevance tradeoff because they fail to utilize the prior knowledge of consumers. We further propose a novel algorithm named Vertical Allocation-based Fair Exposure Amortizing in Ranking, or VerFair, to reach a better balance between exposure fairness and ranking performance. Extensive experiments on three real-world datasets show that VerFair significantly outperforms state-of-the-art fair ranking algorithms in fairness-performance trade-offs from both the individual level and the group level.


title: Analytic Spread and Associated primes of divisorial filtrations

abstract: We prove that a classical theorem of McAdam about the analytic spread of an ideal in a Noetherian local ring is true for divisorial filtrations on an excellent local ring $R$ which is either of equicharacteristic zero or of dimension $\le 3$. In fact, the proof is valid whenever resolution of singularities holds.


title: Non-commutativity and non-inertial effects on a scalar field in a cosmic string space-time. Part 1: Klein-Gordon oscillator

abstract: We analyse the Klein-Gordon oscillator in a cosmic string space-time and study the effects stemming from the rotating frame and non-commutativity in momentum space. We show that the latter mimics a constant magnetic field, imparting physical interpretation to the setup. The field equation for the scalar field is solved via separations of variables, and we obtain quantization of energy and angular momentum. The space-time metric is non-degenerate as long as the particle is confined within a hard-wall, whose position depends on the rotation frame velocity and the string mass parameter. We investigate the energy quantization both for a finite hard-wall (numerical evaluation) and in the limit of an infinite hard-wall (analytical treatment). We stress the effect of non-commutativity upon the energy quantization in each case.


title: Non-commutativity and non-inertial effects on a scalar field in a cosmic string space-time. Part 2: Spin-zero Duffin-Kemmer-Petiau-like oscillator

abstract: We study the non-inertial effects of a rotating frame on a spin-zero, Duffin-Kemmer-Petiau (DKP)-like oscillator in a cosmic string space-time with non-commutative geometry in the momentum space. The spin-zero DKP-like oscillator is obtained from the Klein-Gordon Lagrangian with a non-standard prescription for the oscillator coupling. We find that the solutions of the time-independent radial equation with the non-zero non-commutativity parameter parallel to the string are related to the confluent hypergeometric function. We find the quantized energy eigenvalues of the non-commutative oscillator.


title: Investigation of $\Delta^0\Delta^0$ dibaryon in QCD

abstract: We study a hypothetical $\Delta^0\Delta^0$ dibaryon state by means of QCD sum rule method. We construct a scalar interpolating current to extract the mass and decay constant of this state taking into account contributions of various quark, gluon and mixed vacuum condensates. The predictions for the mass and decay constants are $m_D=2326^{+114}_{-126} ~\mathrm{MeV}$ and $f_D=2.94^{+0.30}_{-0.34}\times 10^{-4} ~\mathrm{GeV}^7$, respectively. We also made an estimation about binding energy and size of the $\Delta^0\Delta^0$ dibaryon. The obtained mass value is below the $\Delta^0\Delta^0$ threshold and may be a good dibaryon candidate for being observed experimentally.


title: Perceive, Represent, Generate: Translating Multimodal Information to Robotic Motion Trajectories

abstract: We present Perceive-Represent-Generate (PRG), a novel three-stage framework that maps perceptual information of different modalities (e.g., visual or sound), corresponding to a sequence of instructions, to an adequate sequence of movements to be executed by a robot. In the first stage, we perceive and pre-process the given inputs, isolating individual commands from the complete instruction provided by a human user. In the second stage we encode the individual commands into a multimodal latent space, employing a deep generative model. Finally, in the third stage we convert the multimodal latent values into individual trajectories and combine them into a single dynamic movement primitive, allowing its execution in a robotic platform. We evaluate our pipeline in the context of a novel robotic handwriting task, where the robot receives as input a word through different perceptual modalities (e.g., image, sound), and generates the corresponding motion trajectory to write it, creating coherent and readable handwritten words.


title: Three isometrically equivalent models of the Finsler-Poincar\'e disk

abstract: We present the isometry between the 2-dimensional Funk model and the Finsler-Poincar\'e disk. Then, we introduce the Finslerian Poincar\'e upper half plane model, which turns out to be also isometrically equivalent to the previous models. As application, we state the gapless character of the first eigenvalue for the aforementioned three spaces.


title: Highlights on Supersymmetry and Exotic Searches at the LHC

abstract: The Run 2 data taking period of the Large Hadron Collider (LHC) at CERN in years 2015-2018 has presented a great opportunity to search for physics beyond the standard model (BSM). It will be followed by the Run 3 period starting in 2022, and by the High-Luminosity LHC (HL-LHC) era starting in late 2020s, where the latter promises an unprecedented wealth of physics prospects due to very high expected integrated luminosity and improved detector features. The ATLAS, CMS and LHCb experiments pursued a rich physics program in Run 2, and are already assessing the physics expectations at the HL-LHC era. This report presents highlights from recent search results and HL-LHC studies on BSM physics by the ATLAS, CMS and LHCb experiments. Examples will be shown from model-independent generic searches, searches for supersymmetry, extended Higgs sectors, and new exotic fermions and bosons.


title: Interferon-induced transmembrane protein 3 (IFITM3) and its antiviral activity

abstract: Enveloped viral infections require fusion with cellular membranes for viral genome entry, occurring only following interaction of viral and cellular membranes allowing fusion pore formation, by which the virus accesses the cytoplasm. Here, we focus on interferon-induced transmembrane protein 3 (IFITM3) and its antiviral activity. IFITM3 is predicted to block or stall viral fusion at an intermediate state, causing viral propagation to fail. After introducing IFITM3, we describe the generalized lipid membrane fusion pathway and how it can be stalled, particularly with respect to IFITM3, and current questions regarding IFITM3's topology. Specific emphasis is placed on IFITM3's amphipathic a-helix (AAH) 59V-68M, necessary for antiviral activity. Calculations are reported of hydrophobicity and hydrophobic moment of this peptide and active site peptides from other membrane-remodeling proteins. Finally, we discuss the effects of post-translational modifications and localization, how IFITM3's AAH may block viral fusion, and possible ramifications of membrane composition.


title: To Participate Or Not To Participate: An Investigation Of Strategic Participation In Standards

abstract: Essential functionality in the ICT (Information and Communication Technology) space draws from standards such as HTTP (IETF RFC 2616, Bluetooth (IEEE 802.15) and various telecommunication standards (4G, 5G). They have fuelled rapid growth of ICT sector in the last decades by ensuring interoperability and consistency in computing environment. Research shows that firms that backed ICT standards and participated in standards development, have emerged as industry innovators. Standards development thus clearly has benefits for participating companies as well as technology development and innovation in general. However, significant costs are also associated with development of standards and need to be better understood to support investment in standardization necessary for todays ICT environment. We present a conceptual model that considers the potential for market innovation across a standards lifecycle and efficiency from standardization work, to build a forward-looking decision model that can guide an organizations standards development activities. We investigate and formalize motivations that drive firms to participate in standardization, specifically, changes in market innovation. Our model can serve as a strategic decision framework to drive assessments of a firms participation in standards development. We test our model with a use case on an established access control approach that was standardized more than two decades ago, Role Based Access Control (RBAC) using historical data. The investigation of the case study shows that change in market innovation is a significant indicator of success in standards development and are viable criteria to model a firms decision to participate (or not to participate) in a specific area of standardization.


title: Twisted geometry coherent states in all dimensional loop quantum gravity: II. Ehrenfest Property

abstract: In the preceding paper of this series of articles we constructed the twisted geometry coherent states in all dimensional loop quantum gravity and established their peakedness properties. In this paper we establish the "Ehrenfest property" of these coherent states which are labelled by the twisted geometry parameters. By this we mean that the expectation values of the polynomials of the elementary operators as well as the operators which are not polynomial functions of the elementary operators, reproduce, to zeroth order in $\hbar$, the values of the corresponding classical functions at the twisted geometry space point where the coherent state is peaked.


title: Thermal to Visible Image Synthesis under Atmospheric Turbulence

abstract: In many practical applications of long-range imaging such as biometrics and surveillance, thermal imagining modalities are often used to capture images in low-light and nighttime conditions. However, such imaging systems often suffer from atmospheric turbulence, which introduces severe blur and deformation artifacts to the captured images. Such an issue is unavoidable in long-range imaging and significantly decreases the face verification accuracy. In this paper, we first investigate the problem with a turbulence simulation method on real-world thermal images. An end-to-end reconstruction method is then proposed which can directly transform thermal images into visible-spectrum images by utilizing natural image priors based on a pre-trained StyleGAN2 network. Compared with the existing two-steps methods of consecutive turbulence mitigation and thermal to visible image translation, our method is demonstrated to be effective in terms of both the visual quality of the reconstructed results and face verification accuracy. Moreover, to the best of our knowledge, this is the first work that studies the problem of thermal to visible image translation under atmospheric turbulence.


title: On the action of the $\Sigma(2,3,7)$ homology sphere group on its space of left-orders

abstract: We show that the action of the group $\Gamma=\langle a,b,c\mid a^2=b^3=c^7=abc\rangle$ on its space of left-orders has exactly two minimal components.


title: Semantic Sensor Network Ontology based Decision Support System for Forest Fire Management

abstract: The forests are significant assets for every country. When it gets destroyed, it may negatively impact the environment, and forest fire is one of the primary causes. Fire weather indices are widely used to measure fire danger and are used to issue bushfire warnings. It can also be used to predict the demand for emergency management resources. Sensor networks have grown in popularity in data collection and processing capabilities for a variety of applications in industries such as medical, environmental monitoring, home automation etc. Semantic sensor networks can collect various climatic circumstances like wind speed, temperature, and relative humidity. However, estimating fire weather indices is challenging due to the various issues involved in processing the data streams generated by the sensors. Hence, the importance of forest fire detection has increased day by day. The underlying Semantic Sensor Network (SSN) ontologies are built to allow developers to create rules for calculating fire weather indices and also the convert dataset into Resource Description Framework (RDF). This research describes the various steps involved in developing rules for calculating fire weather indices. Besides, this work presents a Web-based mapping interface to help users visualize the changes in fire weather indices over time. With the help of the inference rule, it designed a decision support system using the SSN ontology and query on it through SPARQL. The proposed fire management system acts according to the situation, supports reasoning and the general semantics of the open-world followed by all the ontologies


title: Multiparticle Collision Dynamics for Ferrofluids

abstract: Detailed studies of the intriguing field-dependent dynamics and transport properties of confined flowing ferrofluids require efficient mesoscopic simulation methods that account for fluctuating ferrohydrodynamics. Here, we propose such a new mesoscopic model for the dynamics and flow of ferrofluids, where we couple the multi-particle collision dynamics method as a solver for the fluctuating hydrodynamics equations to the stochastic magnetization dynamics of suspended magnetic nanoparticles. This hybrid model is validated by reproducing the magnetoviscous effect in Poiseuille flow, obtaining the rotational viscosity in quantitative agreement with theoretical predictions. We also illustrate the new method for the benchmark problem of flow around a square cylinder. Interestingly, we observe that the length of the recirculation region is increased whereas the drag coefficient is decreased in ferrofluids when an external magnetic field is applied, compared with the field-free case at the same effective Reynolds number. The presence of thermal fluctuations and the flexibility of this particle-based mesoscopic method provides a promising tool to investigate a broad range of flow phenomena of magnetic fluids and could also serve as an efficient way to simulate solvent effects when colloidal particles are immersed in ferrofluids.


title: Standardized feature extraction from pairwise conflicts applied to the train rescheduling problem

abstract: We propose a train rescheduling algorithm which applies a standardized feature selection based on pairwise conflicts in order to serve as input for the reinforcement learning framework. We implement an analytical method which identifies and optimally solves every conflict arising between two trains, then we design a corresponding observation space which features the most relevant information considering these conflicts. The data obtained this way then translates to actions in the context of the reinforcement learning framework. We test our preliminary model using the evaluation metrics of the Flatland Challenge. The empirical results indicate that the suggested feature space provides meaningful observations, from which a sensible scheduling policy can be learned.


title: Abusive and Threatening Language Detection in Urdu using Supervised Machine Learning and Feature Combinations

abstract: This paper presents the system descriptions submitted at the FIRE Shared Task 2021 on Urdu's Abusive and Threatening Language Detection Task. This challenge aims at automatically identifying abusive and threatening tweets written in Urdu. Our submitted results were selected for the third recognition at the competition. This paper reports a non-exhaustive list of experiments that allowed us to reach the submitted results. Moreover, after the result declaration of the competition, we managed to attain even better results than the submitted results. Our models achieved 0.8318 F1 score on Task A (Abusive Language Detection for Urdu Tweets) and 0.4931 F1 score on Task B (Threatening Language Detection for Urdu Tweets). Results show that Support Vector Machines with stopwords removed, lemmatization applied, and features vector created by the combinations of word n-grams for n=1,2,3 produced the best results for Task A. For Task B, Support Vector Machines with stopwords removed, lemmatization not applied, feature vector created from a pre-trained Urdu Word2Vec (on word unigrams and bigrams), and making the dataset balanced using oversampling technique produced the best results. The code is made available for reproducibility.


title: Late multimodal fusion for image and audio music transcription

abstract: Music transcription, which deals with the conversion of music sources into a structured digital format, is a key problem for Music Information Retrieval (MIR). When addressing this challenge in computational terms, the MIR community follows two lines of research: music documents, which is the case of Optical Music Recognition (OMR), or audio recordings, which is the case of Automatic Music Transcription (AMT). The different nature of the aforementioned input data has conditioned these fields to develop modality-specific frameworks. However, their recent definition in terms of sequence labeling tasks leads to a common output representation, which enables research on a combined paradigm. In this respect, multimodal image and audio music transcription comprises the challenge of effectively combining the information conveyed by image and audio modalities. In this work, we explore this question at a late-fusion level: we study four combination approaches in order to merge, for the first time, the hypotheses regarding end-to-end OMR and AMT systems in a lattice-based search space. The results obtained for a series of performance scenarios -- in which the corresponding single-modality models yield different error rates -- showed interesting benefits of these approaches. In addition, two of the four strategies considered significantly improve the corresponding unimodal standard recognition frameworks.


title: The 2021 Urdu Fake News Detection Task using Supervised Machine Learning and Feature Combinations

abstract: This paper presents the system description submitted at the FIRE Shared Task: "The 2021 Fake News Detection in the Urdu Language". This challenge aims at automatically identifying Fake news written in Urdu. Our submitted results ranked fifth in the competition. However, after the result declaration of the competition, we managed to attain even better results than the submitted results. The best F1 Macro score achieved by one of our models is 0.6674, higher than the second-best score in the competition. The result is achieved on Support Vector Machines (polynomial kernel degree 1) with stopwords removed, lemmatization applied, and selecting the 20K best features out of 1.557 million features in total (which were produced by Word n-grams n=1,2,3,4 and Char n-grams n=2,3,4,5,6). The code is made available for reproducibility.


title: The Self-Optimal-Transport Feature Transform

abstract: The Self-Optimal-Transport (SOT) feature transform is designed to upgrade the set of features of a data instance to facilitate downstream matching or grouping related tasks. The transformed set encodes a rich representation of high order relations between the instance features. Distances between transformed features capture their direct original similarity and their third party agreement regarding similarity to other features in the set. A particular min-cost-max-flow fractional matching problem, whose entropy regularized version can be approximated by an optimal transport (OT) optimization, results in our transductive transform which is efficient, differentiable, equivariant, parameterless and probabilistically interpretable. Empirically, the transform is highly effective and flexible in its use, consistently improving networks it is inserted into, in a variety of tasks and training schemes. We demonstrate its merits through the problem of unsupervised clustering and its efficiency and wide applicability for few-shot-classification, with state-of-the-art results, and large-scale person re-identification.


title: The Impact of Remote Pair Programming in an Upper-Level CS Course

abstract: Pair programming has been highlighted as an active learning technique with several benefits to students, including increasing participation and improving outcomes, particularly for female computer science students. However, most of the literature highlights the effects of pair programming in introductory courses, where students have varied levels of prior programming experience and thus may experience related group issues. This work analyzes the effect of pair programming in an upper-level computer science course, where students have a more consistent background education, particularly in languages learned and best practices in coding. Secondly, the effect of remote pair programming on student outcomes is still an open question and one of increasing importance with the advent of Covid-19. This work utilized split sections with a control and treatment group in a large, public university. In addition to comparing pair programming to individual programming, results were analyzed by modality (remote vs. in person) and by gender, focusing on how pair programming benefits female computer science students in confidence, persistence in the major, and outcomes. We found that pair programming groups scored higher on assignments and exams, that remote pair programming groups performed as well as in person groups, and that female students increased their confidence in asking questions in class and scored 12\% higher in the course when utilizing pair programming.


title: ByT5 model for massively multilingual grapheme-to-phoneme conversion

abstract: In this study, we tackle massively multilingual grapheme-to-phoneme conversion through implementing G2P models based on ByT5. We have curated a G2P dataset from various sources that covers around 100 languages and trained large-scale multilingual G2P models based on ByT5. We found that ByT5 operating on byte-level inputs significantly outperformed the token-based mT5 model in terms of multilingual G2P. Pairwise comparison with monolingual models in these languages suggests that multilingual ByT5 models generally lower the phone error rate by jointly learning from a variety of languages. The pretrained model can further benefit low resource G2P through zero-shot prediction on unseen languages or provides pretrained weights for finetuning, which helps the model converge to a lower phone error rate than randomly initialized weights. To facilitate future research on multilingual G2P, we make available our code and pretrained multilingual G2P models at: https://github.com/lingjzhu/CharsiuG2P.


title: A Fractal Uncertainty Principle for the Short-Time Fourier Transform and Gabor multipliers

abstract: We study the fractal uncertainty principle in the joint time-frequency representation, and we prove a version for the Short-Time Fourier transform with Gaussian window on the modulation spaces. This can equivalently be formulated in terms of projection operators on the Bargmann-Fock spaces of entire functions. Specifically for signals in $L^2(\mathbb{R}^d)$, we obtain norm estimates of Daubechies' time-frequency localization operator localizing on porous sets. The proof is based on the maximal Nyquist density of such sets, and for multidimensional Cantor iterates we derive explicit upper bound asymptotes. Finally, we translate the fractal uncertainty principle to discrete Gaussian Gabor multipliers.


title: Generalized level measure based on a family of conditional aggregation operators

abstract: Extending the concept of level measure $\mu(\{f\ge a\})$ we introduce a generalized level measure based on a~family of conditional aggregations operators. We investigate in detail several basic properties, including connections with the family of level measures, the generalized survival function and the transformation of monotone measures to hyperset. Applications in scientometrics and information science are described.


title: Bayesian Control Variates for optimal covariance estimation with pairs of simulations and surrogates

abstract: Predictions of the mean and covariance matrix of summary statistics are critical for confronting cosmological theories with observations, not least for likelihood approximations and parameter inference. The price to pay for accurate estimates is the extreme cost of running $N$-body and hydrodynamics simulations. Approximate solvers, or surrogates, greatly reduce the computational cost but can introduce significant biases, for example in the non-linear regime of cosmic structure growth. We propose "CARPool Bayes", an approach to solve the inference problem for both the means and covariances using a combination of simulations and surrogates. Our framework allows incorporating prior information for the mean and covariance. We derive closed-form solutions for Maximum A Posteriori covariance estimates that are efficient Bayesian shrinkage estimators, guarantee positive semi-definiteness, and can optionally leverage analytical covariance approximations. We discuss choices of the prior and propose a simple procedure for obtaining optimal prior hyperparameter values with a small set of test simulations. We test our method by estimating the covariances of clustering statistics of GADGET-III $N$-body simulations at redshift $z=0.5$ using surrogates from a 100-1000$\times$ faster particle-mesh code. Taking the sample covariance from 15,000 simulations as the truth, and using an empirical Bayes prior with diagonal blocks, our estimator produces nearly identical Fisher matrix contours for $\Lambda$CDM parameters using only $15$ simulations of the non-linear dark matter power spectrum. In this case the number of simulations is so small that the sample covariance would be degenerate. We show cases where even with a na\"ive prior our method still improves the estimate. Our framework is applicable to a wide range of cosmological and astrophysical problems where fast surrogates are available.


title: Urdu Morphology, Orthography and Lexicon Extraction

abstract: Urdu is a challenging language because of, first, its Perso-Arabic script and second, its morphological system having inherent grammatical forms and vocabulary of Arabic, Persian and the native languages of South Asia. This paper describes an implementation of the Urdu language as a software API, and we deal with orthography, morphology and the extraction of the lexicon. The morphology is implemented in a toolkit called Functional Morphology (Forsberg & Ranta, 2004), which is based on the idea of dealing grammars as software libraries. Therefore this implementation could be reused in applications such as intelligent search of keywords, language training and infrastructure for syntax. We also present an implementation of a small part of Urdu syntax to demonstrate this reusability.


title: Power transfer in magnetoelectric resonators

abstract: We derive an analytical model for the power transfer in a magnetoelectric film bulk acoustic resonator consisting of a piezoelectric--magnetostrictive bilayer. The model describes the dynamic magnetostrictive influence on the elastodynamics via an effective frequency-dependent stiffness constant. This allows for the calculation of both the magnetic and elastic power absorption in the resonator as well as of its energy efficiency when such a resonator is considered as a magnetic transducer. The model is then applied to example systems consisting of piezoelectric ScAlN and magnetostrictive CoFeB, Ni, or Terfenol-D layers.


title: Improved ParaDiag via low-rank updates and interpolation

abstract: This work is concerned with linear matrix equations that arise from the space-time discretization of time-dependent linear partial differential equations (PDEs). Such matrix equations have been considered, for example, in the context of parallel-in-time integration leading to a class of algorithms called ParaDiag. We develop and analyze two novel approaches for the numerical solution of such equations. Our first approach is based on the observation that the modification of these equations performed by ParaDiag in order to solve them in parallel has low rank. Building upon previous work on low-rank updates of matrix equations, this allows us to make use of tensorized Krylov subspace methods to account for the modification. Our second approach is based on interpolating the solution of the matrix equation from the solutions of several modifications. Both approaches avoid the use of iterative refinement needed by ParaDiag and related space-time approaches in order to attain good accuracy. In turn, our new algorithms have the potential to outperform, sometimes significantly, existing methods. This potential is demonstrated for several different types of PDEs.


title: OSCARS: An Outlier-Sensitive Content-Based Radiography Retrieval System

abstract: Improving the retrieval relevance on noisy datasets is an emerging need for the curation of a large-scale clean dataset in the medical domain. While existing methods can be applied for class-wise retrieval (aka. inter-class), they cannot distinguish the granularity of likeness within the same class (aka. intra-class). The problem is exacerbated on medical external datasets, where noisy samples of the same class are treated equally during training. Our goal is to identify both intra/inter-class similarities for fine-grained retrieval. To achieve this, we propose an Outlier-Sensitive Content-based rAdiologhy Retrieval System (OSCARS), consisting of two steps. First, we train an outlier detector on a clean internal dataset in an unsupervised manner. Then we use the trained detector to generate the anomaly scores on the external dataset, whose distribution will be used to bin intra-class variations. Second, we propose a quadruplet (a, p, nintra, ninter) sampling strategy, where intra-class negatives nintra are sampled from bins of the same class other than the bin anchor a belongs to, while niner are randomly sampled from inter-classes. We suggest a weighted metric learning objective to balance the intra and inter-class feature learning. We experimented on two representative public radiography datasets. Experiments show the effectiveness of our approach. The training and evaluation code can be found in https://github.com/XiaoyuanGuo/oscars.


title: Collision dynamics of discrete soliton in uniform waveguide arrays

abstract: We investigate the collision dynamics of discrete soliton (DS) pair in a realistic semi-infinite nonlinear waveguide array (WA) in the context of \textit{diffractive resonant radiation} (DifRR). Depending on the initial amplitude ($A_0$) and wavenumber ($k_0$), a co-moving pair of identical DSs either collide elastically or merge to form a discrete \textit{breather}. For large amplitude and small wavenumber, DSs form a bound state and do not interact . We map the domain of interaction by iterative simulation and present a phase plot in ($A_0$-$k_0$) parameter space. A variational technique is developed where the interaction term is considered as perturbation. A proper choice of Lagrangian density and the \textit{ans\"{a}tz} function followed by the Ritz optimization leads us to a set of ordinary differential equations that describe the collision mechanism. The analytical result corroborate well with numerical data. We further investigate the role of initial phase detuning between two identical DS and observe a periodic energy exchange during their interaction. Varied degree of energy exchange occurs when two DS with different wavenumbers collide which results in three distinct output states accompanied by DifRR generation. Extending our investigation to a more generalized condition by taking different amplitudes and wavenumber of DS pair, we find an unique secondary radiation in $k$-space which is originated due to the collision of solitons. The nature of this collision mediated secondary radiation is found to be different from usual DifRR. Our results shed light on the interesting aspects of the collision dynamics of DS pair in nonlinear WA and useful in understanding the complex mechanism.


title: Approximation Algorithms and Hardness for $n$-Pairs Shortest Paths and All-Nodes Shortest Cycles

abstract: We study the approximability of two related problems on graphs with $n$ nodes and $m$ edges: $n$-Pairs Shortest Paths ($n$-PSP), where the goal is to find a shortest path between $O(n)$ prespecified pairs, and All Node Shortest Cycles (ANSC), where the goal is to find the shortest cycle passing through each node. Approximate $n$-PSP has been previously studied, mostly in the context of distance oracles. We ask the question of whether approximate $n$-PSP can be solved faster than by using distance oracles or All Pair Shortest Paths (APSP). ANSC has also been studied previously, but only in terms of exact algorithms, rather than approximation. We provide a thorough study of the approximability of $n$-PSP and ANSC, providing a wide array of algorithms and conditional lower bounds that trade off between running time and approximation ratio. A highlight of our conditional lower bounds results is that for any integer $k\ge 1$, under the combinatorial $4k$-clique hypothesis, there is no combinatorial algorithm for unweighted undirected $n$-PSP with approximation ratio better than $1+1/k$ that runs in $O(m^{2-2/(k+1)}n^{1/(k+1)-\epsilon})$ time. This nearly matches an upper bound implied by the result of Agarwal (2014). A highlight of our algorithmic results is that one can solve both $n$-PSP and ANSC in $\tilde O(m+ n^{3/2+\epsilon})$ time with approximation factor $2+\epsilon$ (and additive error that is function of $\epsilon$), for any constant $\epsilon>0$. For $n$-PSP, our conditional lower bounds imply that this approximation ratio is nearly optimal for any subquadratic-time combinatorial algorithm. We further extend these algorithms for $n$-PSP and ANSC to obtain a time/accuracy trade-off that includes near-linear time algorithms.


title: Control barrier function based attack-recovery with provable guarantees

abstract: This paper studies provable security guarantees for cyber-physical systems (CPS) under actuator attacks. In particular, we consider CPS safety and propose a new attack-detection mechanism based on a zeroing control barrier function (ZCBF) condition. In addition we design an adaptive recovery mechanism based on how close the system is from violating safety. We show that the attack-detection mechanism is sound, i.e., there are no false negatives for adversarial attacks. Finally, we use a Quadratic Programming (QP) approach for online recovery (and nominal) control synthesis. We demonstrate the effectiveness of the proposed method in a simulation case study involving a quadrotor with an attack on its motors.


title: Non-smoothability for a class of groups of piecewise linear homeomorphisms of the interval

abstract: For a certain class of groups of piecewise linear homeomorphisms of the interval, we prove that they admit no sufficiently regular faithful action on the line. Building on previous work of Brum, Matte Bon, Rivas, and the author [arXiv:2104.14678], the new ingredient is an observation from a recent work of Hyde and Tatch Moore [arXiv:2103.14911], which allows to reduce the problem to the case of the circle, and then apply Herman-Yoccoz theory.


title: Invariant Ideal Axiom

abstract: We introduce and prove the consistency of a new set theoretic axiom we call the \emph{Invariant Ideal Axiom}. The axiom enables us to provide (consistently) a full topological classification of countable sequential groups, as well as fully characterize the behavior of their finite products. We also construct examples that demonstrate the optimality of the conditions in \IIA, and list a number of open questions.


title: Graph Neural Networks Designed for Different Graph Types: A Survey

abstract: Graphs are ubiquitous in nature and can therefore serve as models for many practical but also theoretical problems. For this purpose, they can be defined as many different types which suitably reflect the individual contexts of the represented problem. To address cutting-edge problems based on graph data, the research field of Graph Neural Networks (GNNs) has emerged. Despite the field's youth and the speed at which new models are developed, many recent surveys have been published to keep track of them. Nevertheless, it has not yet been gathered which GNN can process what kind of graph types. In this survey, we give a detailed overview of already existing GNNs and, unlike previous surveys, categorize them according to their ability to handle different graph types and properties. We consider GNNs operating on static and dynamic graphs of different structural constitutions, with or without node or edge attributes. Moreover, we distinguish between GNN models for discrete-time or continuous-time dynamic graphs and group the models according to their architecture. We find that there are still graph types that are not or only rarely covered by existing GNN models. We point out where models are missing and give potential reasons for their absence.


title: Generalised Gibbs Ensemble for spherically constrained harmonic models

abstract: We build and analytically calculate the Generalised Gibbs Ensemble partition function of the integrable Soft Neumann Model. This is the model of a classical particle which is constrained to move, on average over the initial conditions, on an $N$ dimensional sphere, and feels the effect of anisotropic harmonic potentials. We derive all relevant averaged static observables in the (thermodynamic) $N\rightarrow\infty$ limit. We compare them to their long-term dynamic averages finding excellent agreement in all phases of a non-trivial phase diagram determined by the characteristics of the initial conditions and the amount of energy injected or extracted in an instantaneous quench. We discuss the implications of our results for the proper Neumann model in which the spherical constraint is imposed strictly.


title: Instance Segmentation of Unlabeled Modalities via Cyclic Segmentation GAN

abstract: Instance segmentation for unlabeled imaging modalities is a challenging but essential task as collecting expert annotation can be expensive and time-consuming. Existing works segment a new modality by either deploying a pre-trained model optimized on diverse training data or conducting domain translation and image segmentation as two independent steps. In this work, we propose a novel Cyclic Segmentation Generative Adversarial Network (CySGAN) that conducts image translation and instance segmentation jointly using a unified framework. Besides the CycleGAN losses for image translation and supervised losses for the annotated source domain, we introduce additional self-supervised and segmentation-based adversarial objectives to improve the model performance by leveraging unlabeled target domain images. We benchmark our approach on the task of 3D neuronal nuclei segmentation with annotated electron microscopy (EM) images and unlabeled expansion microscopy (ExM) data. Our CySGAN outperforms both pretrained generalist models and the baselines that sequentially conduct image translation and segmentation. Our implementation and the newly collected, densely annotated ExM nuclei dataset, named NucExM, are available at https://connectomics-bazaar.github.io/proj/CySGAN/index.html.


title: Audio-Visual Person-of-Interest DeepFake Detection

abstract: Face manipulation technology is advancing very rapidly, and new methods are being proposed day by day. The aim of this work is to propose a deepfake detector that can cope with the wide variety of manipulation methods and scenarios encountered in the real world. Our key insight is that each person has specific characteristics that a synthetic generator likely cannot reproduce. Accordingly, we extract audio-visual features which characterize the identity of a person, and use them to create a person-of-interest (POI) deepfake detector. We leverage a contrastive learning paradigm to learn the moving-face and audio segment embeddings that are most discriminative for each identity. As a result, when the video and/or audio of a person is manipulated, its representation in the embedding space becomes inconsistent with the real identity, allowing reliable detection. Training is carried out exclusively on real talking-face video; thus, the detector does not depend on any specific manipulation method and yields the highest generalization ability. In addition, our method can detect both single-modality (audio-only, video-only) and multi-modality (audio-video) attacks, and is robust to low-quality or corrupted videos. Experiments on a wide variety of datasets confirm that our method ensures a SOTA performance, especially on low quality videos. Code is publicly available on-line at https://github.com/grip-unina/poi-forensics.


title: Knowledge Infused Decoding

abstract: Pre-trained language models (LMs) have been shown to memorize a substantial amount of knowledge from the pre-training corpora; however, they are still limited in recalling factually correct knowledge given a certain context. Hence, they tend to suffer from counterfactual or hallucinatory generation when used in knowledge-intensive natural language generation (NLG) tasks. Recent remedies to this problem focus on modifying either the pre-training or task fine-tuning objectives to incorporate knowledge, which normally require additional costly training or architecture modification of LMs for practical applications. We present Knowledge Infused Decoding (KID) -- a novel decoding algorithm for generative LMs, which dynamically infuses external knowledge into each step of the LM decoding. Specifically, we maintain a local knowledge memory based on the current context, interacting with a dynamically created external knowledge trie, and continuously update the local memory as a knowledge-aware constraint to guide decoding via reinforcement learning. On six diverse knowledge-intensive NLG tasks, task-agnostic LMs (e.g., GPT-2 and BART) armed with KID outperform many task-optimized state-of-the-art models, and show particularly strong performance in few-shot scenarios over seven related knowledge-infusion techniques. Human evaluation confirms KID's ability to generate more relevant and factual language for the input context when compared with multiple baselines. Finally, KID also alleviates exposure bias and provides stable generation quality when generating longer sequences. Code for KID is available at https://github.com/microsoft/KID.


title: New Directions in the Search for Dark Matter

abstract: The identification of the nature of dark matter is one of the most important problems confronting particle physics. Current observational constraints permit the mass of the dark matter to range from $10^{-22}$ eV - $10^{48}$ GeV. Given the weak nature of these bounds and the ease with which dark matter models can be constructed, it is clear that the problem can only be solved experimentally. In these lectures, I discuss methods to experimentally probe a wide range of dark matter candidates.


title: Statistical physics of frictional grains: some simple applications of Edwards statistics

abstract: Granular matter like sand is composed of a large number of interacting grains, and is thus expected to be amenable to a statistical physics treatment. Yet, the frictional properties of grains make the statistical physics of granular matter significantly different from the equilibrium statistical physics of atomic or molecular systems. We illustrate here on simple models some of the key concepts of the statistical physics introduced by Edwards and coworkers more than thirty years ago to describe shaken granular piles. Quite surprisingly, properties of such frictional systems observed at high effective temperature (i.e., strong shaking) may share some analogies with some low temperature properties of equilibrium systems. For instance, the effective specific heat of non-interacting frictional grains under strong shaking in a harmonic potential goes to zero in the high temperature limit. As a second example, a chain of frictional grains linked by springs exhibits a critical point at infinite effective temperature, at odds with the zero-temperature critical point generically found in one-dimensional equilibrium systems in the presence of local interactions.


title: Faster Pattern Matching under Edit Distance

abstract: We consider the approximate pattern matching problem under the edit distance. Given a text $T$ of length $n$, a pattern $P$ of length $m$, and a threshold $k$, the task is to find the starting positions of all substrings of $T$ that can be transformed to $P$ with at most $k$ edits. More than 20 years ago, Cole and Hariharan [SODA'98, J. Comput.'02] gave an $\mathcal{O}(n+k^4 \cdot n/ m)$-time algorithm for this classic problem, and this runtime has not been improved since. Here, we present an algorithm that runs in time $\mathcal{O}(n+k^{3.5} \sqrt{\log m \log k} \cdot n/m)$, thus breaking through this long-standing barrier. In the case where $n^{1/4+\varepsilon} \leq k \leq n^{2/5-\varepsilon}$ for some arbitrarily small positive constant $\varepsilon$, our algorithm improves over the state-of-the-art by polynomial factors: it is polynomially faster than both the algorithm of Cole and Hariharan and the classic $\mathcal{O}(kn)$-time algorithm of Landau and Vishkin [STOC'86, J. Algorithms'89]. We observe that the bottleneck case of the alternative $\mathcal{O}(n+k^4 \cdot n/m)$-time algorithm of Charalampopoulos, Kociumaka, and Wellnitz [FOCS'20] is when the text and the pattern are (almost) periodic. Our new algorithm reduces this case to a new dynamic problem (Dynamic Puzzle Matching), which we solve by building on tools developed by Tiskin [SODA'10, Algorithmica'15] for the so-called seaweed monoid of permutation matrices. Our algorithm relies only on a small set of primitive operations on strings and thus also applies to the fully-compressed setting (where text and pattern are given as straight-line programs) and to the dynamic setting (where we maintain a collection of strings under creation, splitting, and concatenation), improving over the state of the art.


title: Effective field theory of random quantum circuits

abstract: Quantum circuits have been widely used as a platform to simulate generic quantum many-body systems. In particular, random quantum circuits provide a means to probe universal features of many-body quantum chaos and ergodicity. Some such features have already been experimentally demonstrated in the noisy intermediate-scale quantum (NISQ) devices. On the theory side, properties of random quantum circuits have been studied on a case-by-case basis and for certain specific systems, a hallmark of quantum chaos - universal Wigner-Dyson level statistics - has been derived. This work develops an effective field theory for a large class of random quantum circuits. The theory has the form of a replica sigma model and is similar to the low-energy approach to diffusion in disordered systems. The method is used to explicitly derive universal random matrix behavior of a large family of random circuits. In particular, we rederive Wigner-Dyson spectral statistics of the brickwork circuit model by Chan, De Luca, and Chalker [Phys. Rev. X 8, 041019 (2018)] and show within the same calculation that its various permutations and higher-dimensional generalizations preserve the universal level statistics. Finally, we use the replica sigma model framework to rederive the Weingarten calculus, which is a method to evaluate integrals of polynomials of matrix elements with respect to the Haar measure over compact groups and has many applications in the studies of quantum circuits. The effective field theory, derived here, provides both a method to quantitatively characterize quantum dynamics of random Floquet systems (e.g., calculating operator and entanglement spreading) and also path to understanding the general fundamental mechanism behind quantum chaos and thermalization in these systems.

categories: quant-ph cond-mat.dis-nn cond-mat.stat-mech hep-th math-ph math.MP


title: Fluently specifying taint-flow queries with fluentTQL

abstract: Previous work has shown that taint analyses are only useful if correctly customized to the context in which they are used. Existing domain-specific languages (DSLs) allow such customization through the definition of deny-listing data-flow rules that describe potentially vulnerable taint-flows. These languages, however, are designed primarily for security experts who are knowledgeable in taint analysis. Software developers consider these languages to be complex. This paper presents fluentTQL, a query language particularly for taint-flow. fluentTQL is internal Java DSL and uses a fluent-interface design. fluentTQL queries can express various taint-style vulnerability types, e.g. injections, cross-site scripting or path traversal. This paper describes fluentTQL's abstract and concrete syntax and defines its runtime semantics. The semantics are independent of any underlying analysis and allows evaluation of fluentTQL queries by a variety of taint analyses. Instantiations of fluentTQL, on top of two taint analysis solvers, Boomerang and FlowDroid, show and validate fluentTQL expressiveness. Based on existing examples from the literature, we implemented queries for 11 popular security vulnerability types in Java. Using our SQL injection specification, the Boomerang-based taint analysis found all 17 known taint-flows in the OWASP WebGoat application, whereas with FlowDroid 13 taint-flows were found. Similarly, in a vulnerable version of the Java PetClinic application, the Boomerang-based taint analysis found all seven expected taint-flows. In seven real-world Android apps with 25 expected taint-flows, 18 were detected. In a user study with 26 software developers, fluentTQL reached a high usability score. In comparison to CodeQL, the state-of-the-art DSL by Semmle/GitHub, participants found fluentTQL more usable and with it they were able to specify taint analysis queries in shorter time.


title: Advancing Data Justice Research and Practice: An Integrated Literature Review

abstract: The Advancing Data Justice Research and Practice (ADJRP) project aims to widen the lens of current thinking around data justice and to provide actionable resources that will help policymakers, practitioners, and impacted communities gain a broader understanding of what equitable, freedom-promoting, and rights-sustaining data collection, governance, and use should look like in increasingly dynamic and global data innovation ecosystems. In this integrated literature review we hope to lay the conceptual groundwork needed to support this aspiration. The introduction motivates the broadening of data justice that is undertaken by the literature review which follows. First, we address how certain limitations of the current study of data justice drive the need for a re-location of data justice research and practice. We map out the strengths and shortcomings of the contemporary state of the art and then elaborate on the challenges faced by our own effort to broaden the data justice perspective in the decolonial context. The body of the literature review covers seven thematic areas. For each theme, the ADJRP team has systematically collected and analysed key texts in order to tell the critical empirical story of how existing social structures and power dynamics present challenges to data justice and related justice fields. In each case, this critical empirical story is also supplemented by the transformational story of how activists, policymakers, and academics are challenging longstanding structures of inequity to advance social justice in data innovation ecosystems and adjacent areas of technological practice.


title: Incorporating information from LIGO data quality streams into the PyCBC search for gravitational waves

abstract: We present a new method which accounts for changes in the properties of gravitational-wave detector noise over time in the PyCBC search for gravitational waves from compact binary coalescences. We use information from LIGO data quality streams that monitor the status of each detector and its environment to model changes in the rate of noise in each detector. These data quality streams allow candidates identified in the data during periods of detector malfunctions to be more efficiently rejected as noise. This method allows data from machine learning predictions of the detector state to be included as part of the PyCBC search, increasing the the total number of detectable gravitational-wave signals by up to 5%. When both machine learning classifications and manually-generated flags are used to search data from LIGO-Virgo's third observing run, the total number of detectable gravitational-wave signals is increased by up to 20% compared to not using any data quality streams. We also show how this method is flexible enough to include information from large numbers of additional arbitrary data streams that may be able to further increase the sensitivity of the search.


title: Size effects in the Verwey transition of nanometer-thick micron-wide magnetite crystals

abstract: We have monitored the Verwey transition in micrometer-wide, nanometer-thick magnetite islands on epitaxial Ru films on Al2O3(0001) using Raman spectroscopy. The islands have been grown by high-temperature oxygen-assisted molecular beam epitaxy. Below 100 K and for thicknesses above 20 nm the Raman spectra correspond to those observed in bulk crystals and high quality thin films for the sub-Verwey magnetite structure. At room temperature the width of the cubic phase modes is similar to the best reported in bulk crystals, indicating a similar level of electron-phonon interaction. The evolution of the Raman spectra upon cooling suggests that for islands thicker than 20 nm, structural changes appear first at temperatures starting at 150 K and the Verwey transition itself takes place at around 115 K. However, islands thinner than 20 nm show a very different Raman spectra indicating that while a transition takes place, the charge order of the ultrathin islands differs markedly from their thicker counterparts


title: Intertwiner Entanglement Excitation and Holonomy Operator

abstract: In the loop quantum gravity framework, spin network states carry entanglement between quantum excitations of the geometry at different space points. This intertwiner entanglement is gauge-invariant and comes from quantum superposition of spins and intertwiners. Bipartite entanglement can be interpreted as a witness of distance, while multipartite entanglement reflects the curvature of the quantum geometry. The present work investigates how the bipartite and multipartite intertwiner entanglement changes under the action of the holonomy operator, which is the basic building block of loop quantum gravity's dynamics. We reveal the relation between entanglement excitation and the dispersion of the holonomy operator. This leads to a new interesting connection between bulk geometry and boundary observables via the dynamics of entanglement.


title: Super-linear Scaling Behavior for Electric Vehicle Chargers and Road Map to Addressing the Infrastructure Gap

abstract: Enabling widespread electric vehicle (EV) adoption requires substantial build-out of charging infrastructure in the coming decade. We formulate the charging infrastructure needs as a scaling analysis problem and use it to estimate the EV infrastructure needs of the US at a county-level resolution. Surprisingly, we find that the current EV infrastructure deployment scales super-linearly with population, deviating from the sub-linear scaling of gasoline stations and other infrastructure. We discuss how this demonstrates the infancy of EV station abundance compared to other mature transportation infrastructures. By considering the power delivery of existing gasoline stations, and appropriate EV efficiencies, we estimate the EV infrastructure gap at the county level, providing a road map for future EV infrastructure expansion. Our reliance on scaling analysis allows us to make a unique forecast in this domain.


title: Quantisations of the Volterra hierarchy

abstract: In this paper we explore a recently emerged approach to the problem of quantisation based on the notion of quantisation ideals. We explicitly prove that the nonabelian Volterra together with the whole hierarchy of its symmetries admit a deformation quantisation. We show that all odd-degree symmetries of the Volterra hierarchy admit also a non-deformation quantisation. We discuss the quantisation problem for periodic Volterra hierarchy including their quantum Hamiltonians, central elements of the quantised algebras, and demonstrate super-integrability of the quantum systems obtained. We show that the Volterra system with period $3$ admits a bi-quantum structure, which can be regarded as a quantum deformation of its classical bi-Hamiltonian structure.


title: From Little Things Big Things Grow: A Collection with Seed Studies for Medical Systematic Review Literature Search

abstract: Medical systematic review query formulation is a highly complex task done by trained information specialists. Complexity comes from the reliance on lengthy Boolean queries, which express a detailed research question. To aid query formulation, information specialists use a set of exemplar documents, called `seed studies', prior to query formulation. Seed studies help verify the effectiveness of a query prior to the full assessment of retrieved studies. Beyond this use of seeds, specific IR methods can exploit seed studies for guiding both automatic query formulation and new retrieval models. One major limitation of work to date is that these methods exploit `pseudo seed studies' through retrospective use of included studies (i.e., relevance assessments). However, we show pseudo seed studies are not representative of real seed studies used by information specialists. Hence, we provide a test collection with real world seed studies used to assist with the formulation of queries. To support our collection, we provide an analysis, previously not possible, on how seed studies impact retrieval and perform several experiments using seed-study based methods to compare the effectiveness of using seed studies versus pseudo seed studies. We make our test collection and the results of all of our experiments and analysis available at http://github.com/ielab/sysrev-seed-collection


title: Optimization of Quantum Read-Only Memory Circuits

abstract: Quantum computing is a rapidly expanding field with applications ranging from optimization all the way to complex machine learning tasks. Quantum memories, while lacking in practical quantum computers, have the potential to bring quantum advantage. In quantum machine learning applications for example, a quantum memory can simplify the data loading process and potentially accelerate the learning task. Quantum memory can also store intermediate quantum state of qubits that can be reused for computation. However, the depth, gate count and compilation time of quantum memories such as, Quantum Read Only Memory (QROM) scale exponentially with the number of address lines making them impractical in state-of-the-art Noisy Intermediate-Scale Quantum (NISQ) computers beyond 4-bit addresses. In this paper, we propose techniques such as, predecoding logic and qubit reset to reduce the depth and gate count of QROM circuits to target wider address ranges such as, 8-bits. The proposed approach reduces the number of gates and depth count by at least 2X compared to the naive implementation at only 36% qubit overhead. A reduction in circuit depth and gate count as high as 75X and compilation time by 85X at the cost of a maximum of 2.28X qubit overhead is observed. Experimentally, the fidelity with the proposed predecoding circuit compared to existing optimization approach is also higher (as much as 73% compared to 40.8%) under reduced error rates.


title: Closed Ranks: The Discursive Value of Military Support for Indian Politicians on Social Media

abstract: Influencers play a crucial role in shaping public narratives through information creation and diffusion in the Global South. While public figures from various walks of life and their impact on public discourse have been studied, defence veterans as influencers of the political discourse have been largely overlooked. Veterans matter in the public spehere as a normatively important political lobby. They are also interesting because, unlike active-duty military officers, they are not restricted from taking public sides on politics, so their posts may provide a window into the views of those still in the service. In this work, we systematically analyze the engagement on Twitter of self-described defence-related accounts and politician accounts that post on defence-related issues. We find that self-described defence-related accounts disproportionately engage with the current ruling party in India. We find that politicians promote their closeness to the defence services and nationalist credentials through engagements with defence-related influencers. We briefly consider the institutional implications of these patterns and connections


title: Nonlinear and Ultrafast All-Dielectric Metasurfaces at the Center for Integrated Nanotechnologies

abstract: Metasurfaces control optical wavefronts via arrays of nanoscale resonators laid out across a surface. When combined with III-V semiconductors with strong optical nonlinearities, a variety of nonlinear effects such as harmonic generation and all optical modulation can be enabled and enhanced at the nanoscale. This review presents our research on engineering and boosting nonlinear effects in ultrafast and nonlinear semiconductor metasurfaces fabricated at the Center for Integrated Nanotechnologies (CINT). We cover our recent works on parametric generation of harmonic light via direct and cascaded processes in GaAs-metasurfaces using Mie-like optical resonances or symmetric-protected Bound State in the Continuum, and then describe the recent advances on harmonic generation in all-dielectric metasurfaces coupled to intersubband transitions in III-V semiconductor heterostructures. The review concludes on the potential of metasurfaces to serve as the next platform for on-chip quantum light generation.


title: Data Justice Stories: A Repository of Case Studies

abstract: The idea of "data justice" is of recent academic vintage. It has arisen over the past decade in Anglo-European research institutions as an attempt to bring together a critique of the power dynamics that underlie accelerating trends of datafication with a normative commitment to the principles of social justice-a commitment to the achievement of a society that is equitable, fair, and capable of confronting the root causes of injustice.However, despite the seeming novelty of such a data justice pedigree, this joining up of the critique of the power imbalances that have shaped the digital and "big data" revolutions with a commitment to social equity and constructive societal transformation has a deeper historical, and more geographically diverse, provenance. As the stories of the data justice initiatives, activism, and advocacy contained in this volume well evidence, practices of data justice across the globe have, in fact, largely preceded the elaboration and crystallisation of the idea of data justice in contemporary academic discourse. In telling these data justice stories, we hope to provide the reader with two interdependent tools of data justice thinking: First, we aim to provide the reader with the critical leverage needed to discern those distortions and malformations of data justice that manifest in subtle and explicit forms of power, domination, and coercion. Second, we aim to provide the reader with access to the historically effective forms of normativity and ethical insight that have been marshalled by data justice activists and advocates as tools of societal transformation-so that these forms of normativity and insight can be drawn on, in turn, as constructive resources to spur future transformative data justice practices.


title: Hierarchical Self-supervised Representation Learning for Movie Understanding

abstract: Most self-supervised video representation learning approaches focus on action recognition. In contrast, in this paper we focus on self-supervised video learning for movie understanding and propose a novel hierarchical self-supervised pretraining strategy that separately pretrains each level of our hierarchical movie understanding model (based on [37]). Specifically, we propose to pretrain the low-level video backbone using a contrastive learning objective, while pretrain the higher-level video contextualizer using an event mask prediction task, which enables the usage of different data sources for pretraining different levels of the hierarchy. We first show that our self-supervised pretraining strategies are effective and lead to improved performance on all tasks and metrics on VidSitu benchmark [37] (e.g., improving on semantic role prediction from 47% to 61% CIDEr scores). We further demonstrate the effectiveness of our contextualized event features on LVU tasks [54], both when used alone and when combined with instance features, showing their complementarity.


title: An Entropic Model for Assessing Avian Flight Formations

abstract: Why do birds fly in well-defined formations? The observed formations of birds-in-flight are studied with a thermal model. Avian formation-flying is tested as a self-organization process. The maximum entropy production rate (MEPR) postulate is examined to determine its applicability to the observed V formation during the long-distance migration of large birds. A brief discussion of the principles of the rate of entropy generation maximization or minimization is first presented. The V formation is compared to other closely related, but distinctly different formations that can also be adopted by a flock. The thermodynamic analysis from the results of the model indicates that the V formation (named the SV formation in the article) is found to be the pattern that optimizes energy use for the flight duration. This is accomplished with savings in the formation's thermal energy output (heat) by the trailing birds. The MEPR postulate is found to hold for the V formation. The formation also provides for the highest comfort temperatures, perhaps thereby allowing for high altitude (low drag) flight levels to be accessed by the birds. The results of the model point to thermal awareness as a possible key driver for organization into a V formation. The thermal model appears to validate all the major experimental observations of avian formation flying. Regardless, without detailed thermal measurements to validate, and without a physical basis for the constant used in equation (C4d), it is not yet definitive that this thermal model is valid for avian flight formation. The analysis appears to indicate that the organization into patterns of live objects may follow the MEPR principle for self-organization in a manner previously noted for chemical and metallurgical processes.


title: Induced subgraphs and tree decompositions V. Small components of big vertices

abstract: Aboulker, Adler, Kim, Sintiari, and Trotignon conjectured that every graph with bounded maximum degree and large treewidth must contain, as an induced subgraph, a large subdivided wall, or the line graph of a large subdivided wall. This conjecture was recently proved by Korhonen, but the problem of identifying the obstacles to bounded treewidth in the general case (that is, without the bounded maximum degree condition) remains wide open. Examples of structures of large treewidth which avoid the "usual suspects" have been constructed by Sintiari and Trotignon, and by Davies. In this note, we aim to better isolate the features of these examples that lead to large treewidth. To this end, we prove the following result. Let $G$ be a graph, and write $\gamma(G)$ for the size of a largest connected component in the graph induced by $G$ on the set of vertices of degree at least 3. If $\gamma(G)$ is small and the treewidth of $G$ is large, then $G$ must contain a large subdivided wall or the line graph of a large subdivided wall. This result is the best possible, in the sense that the conclusion fails if we replace 3 by any larger number in the definition of $\gamma(G)$, as evidenced by Davies' example.


title: Effective qubit dephasing induced by spectator-qubit relaxation

abstract: In many leading architectures for quantum computing, it remains to be understood if we can equate single-qubit coherence times measured in isolation, to that of coherence times measured in multi-qubit devices. On a multi-qubit superconducting circuit platform we show an increase in the dephasing rate of a control qubit due to the spontaneous relaxation of spectator qubits coupled to the control qubit. We attribute this increased dephasing to random in time Z-phase kicks on the control qubit due to the interplay between spectator relaxation and the control-spectator ZZ- interaction. We measure the magnitude of this extra dephasing using Ramsey decay experiments, show how it can be corrected via dynamical decoupling pulse sequences, and demonstrate that randomized benchmarking is insensitive to the effect. Our experimental results are supported by a robust theoretical model that captures an arbitrary number of spectator qubits, and gives a simple, intuitive picture for the mechanism behind the enhanced dephasing.


title: AUV-Net: Learning Aligned UV Maps for Texture Transfer and Synthesis

abstract: In this paper, we address the problem of texture representation for 3D shapes for the challenging and underexplored tasks of texture transfer and synthesis. Previous works either apply spherical texture maps which may lead to large distortions, or use continuous texture fields that yield smooth outputs lacking details. We argue that the traditional way of representing textures with images and linking them to a 3D mesh via UV mapping is more desirable, since synthesizing 2D images is a well-studied problem. We propose AUV-Net which learns to embed 3D surfaces into a 2D aligned UV space, by mapping the corresponding semantic parts of different 3D shapes to the same location in the UV space. As a result, textures are aligned across objects, and can thus be easily synthesized by generative models of images. Texture alignment is learned in an unsupervised manner by a simple yet effective texture alignment module, taking inspiration from traditional works on linear subspace learning. The learned UV mapping and aligned texture representations enable a variety of applications including texture transfer, texture synthesis, and textured single view 3D reconstruction. We conduct experiments on multiple datasets to demonstrate the effectiveness of our method. Project page: https://nv-tlabs.github.io/AUV-NET.


title: Torsors and stable equivariant birational geometry

abstract: We develop the formalism of universal torsors in equivariant birational geometry and apply it to produce new examples of nonbirational but stably birational actions of finite groups.


title: Homotopy and Arithmetic

abstract: We define the concept of a bi-operad. We develop the homotopy theory of "Bital-Sets" and of infinite-bi-operads. We develop a geometry of generalized schemes based on the spectra of distributive monochromatic bi-operads.


title: A close-in puffy Neptune with hidden friends: The enigma of TOI 620

abstract: We present the validation of a transiting low-density exoplanet orbiting the M2.5 dwarf TOI 620 discovered by the NASA TESS mission. We utilize photometric data from both TESS and ground-based follow-up observations to validate the ephemerides of the 5.09-day transiting signal and vet false positive scenarios. High-contrast imaging data are used to resolve the stellar host and exclude stellar companions at separations $\gtrsim 0.2''$. We obtain follow-up spectroscopy and corresponding precise radial velocities (RVs) with multiple PRV spectrographs to confirm the planetary nature of the transiting exoplanet. We calculate a 5$\sigma$ upper limit of $M_P < 7.1$ M$_\oplus$ and $\rho_P < 0.74$ g cm$^{-3}$, and we identify a non-transiting 17.7-day candidate. We also find evidence for a substellar (1-20 M$_{\rm J}$) companion with a projected separation $\lesssim 20$ au from a combined analysis of Gaia, AO imaging, and RVs. With the discovery of this outer companion, we carry out a detailed exploration of the possibilities that TOI 620 b might instead be a circum-secondary planet or a pair of eclipsing binary stars orbiting the host in a hierarchical triple system. We find, under scrutiny, that we can exclude both of these scenarios from the multi-wavelength transit photometry, thus validating TOI 620 b as a low-density exoplanet transiting the central star in this system. The low density of TOI 620 b makes it one of the most amenable exoplanets for atmospheric characterization, such as with JWST and Ariel, validated or confirmed by the TESS mission to date.


title: Feasibility Study to use Neutron Capture for an Ultra-low Energy Nuclear-recoil Calibration in Liquid Xenon

abstract: The feasibility of an ultra-low energy nuclear-recoil measurement in liquid xenon using neutron capture is investigated for a small (sub-kilogram) liquid xenon detector that is optimized for a high scintillation gain, and a pulsed neutron source. The measurement uses the recoil energies imparted to xenon nuclei during the de-excitation process following neutron capture, where promptly emitted $\gamma$ cascades can provide the nuclei with up to $0.3$ keV$_\text{nr}$ of recoil energy due to conservation of momentum. A successful calibration of scintillation photon and ionization electron yields below this energy will contribute to a greater sensitivity for liquid xenon experiments in searches for light WIMPs.


title: Stability and Safety through Event-Triggered Intermittent Control with Application to Spacecraft Orbit Stabilization

abstract: In systems where the ability to actuate is a scarce resource, e.g., spacecrafts, it is desirable to only apply a given controller in an intermittent manner--with periods where the controller is on and periods where it is off. Motivated by the event-triggered control paradigm, where state-dependent triggers are utilized in a sample-and-hold context, we generalize this concept to include state triggers where the controller is off thereby creating a framework for intermittent control. Our approach utilizes certificates--either Lyapunov or barrier functions--to design intermittent trigger laws that guarantee stability or safety; the controller is turned on for the period for which is beneficial with regard to the certificate, and turned off until a performance threshold is reached. The main result of this paper is that the intermittent controller scheme guarantees (set) stability when Lyapunov functions are utilized, and safety (forward set invariance) in the setting of barrier functions. As a result, our trigger designs can leverage the intermittent nature of the actuator, and at the same time, achieve the task of stabilization or safety. We further demonstrate the application and benefits of intermittent control in the context of the spacecraft orbit stabilization problem.


title: UIGR: Unified Interactive Garment Retrieval

abstract: Interactive garment retrieval (IGR) aims to retrieve a target garment image based on a reference garment image along with user feedback on what to change on the reference garment. Two IGR tasks have been studied extensively: text-guided garment retrieval (TGR) and visually compatible garment retrieval (VCR). The user feedback for the former indicates what semantic attributes to change with the garment category preserved, while the category is the only thing to be changed explicitly for the latter, with an implicit requirement on style preservation. Despite the similarity between these two tasks and the practical need for an efficient system tackling both, they have never been unified and modeled jointly. In this paper, we propose a Unified Interactive Garment Retrieval (UIGR) framework to unify TGR and VCR. To this end, we first contribute a large-scale benchmark suited for both problems. We further propose a strong baseline architecture to integrate TGR and VCR in one model. Extensive experiments suggest that unifying two tasks in one framework is not only more efficient by requiring a single model only, it also leads to better performance. Code and datasets are available at https://github.com/BrandonHanx/CompFashion.


title: An Instrumented Wheel-On-Limb System of Planetary Rovers for Wheel-Terrain Interactions: System Conception and Preliminary Design

abstract: Understanding the wheel-terrain interaction is of great importance to improve the maneuverability and traversability of the rovers. A well-developed sensing device carried by the rover would greatly facilitate the complex risk-reducing operations on sandy terrains. In this paper, an instrumented wheel-on-limb (WOL) system of planetary rovers for wheel-terrain interaction characterization is presented. Assuming the function of a passive suspension of the wheel, the WOL system allows itself to follow the terrain contour, and keep the wheel remain lowered onto the ground during rover motion including climbing and descending, as well as deploy and place the wheel on the ground before a drive commanding. The system concept, functional requirements, and pre-design work, as well as the system integration are presented.


title: P4BID: Information Flow Control in P4

abstract: Modern programmable network switches can implement custom applications using efficient packet processing hardware, and the programming language P4 provides high-level constructs to program such switches. The increase in speed and programmability has inspired research in dataplane programming, where many complex functionalities, e.g., key-value stores and load balancers, can be implemented entirely in network switches. However, dataplane programs may suffer from novel security errors that are not traditionally found in network switches. To address this issue, we present a new information-flow control type system for P4. We formalize our type system in a recently-proposed core version of P4, and we prove a soundness theorem: well-typed programs satisfy non-interference. We also implement our type system in a tool, P4bid, which extends the type checker in the p4c compiler, the reference compiler for the latest version of P4. We present several case studies showing that natural security, integrity, and isolation properties in networks can be captured by non-interference, and our type system can detect violations of these properties while certifying correct programs.


title: Do They Accept or Resist Cybersecurity Measures? Development and Validation of the 13-Item Security Attitude Inventory (SA-13)

abstract: We present SA-13, the 13-item Security Attitude inventory. We develop and validate this assessment of cybersecurity attitudes by conducting an exploratory factor analysis, confirmatory factor analysis, and other tests with data from a U.S. Census-weighted Qualtrics panel (N=209). Beyond a core six indicators of Engagement with Security Measures (SA-Engagement, three items) and Attentiveness to Security Measures (SA-Attentiveness, three items), our SA-13 inventory adds indicators of Resistance to Security Measures (SA-Resistance, four items) and Concernedness with Improving Compliance (SA-Concernedness, three items). SA-13 and the subscales exhibit desirable psychometric qualities; and higher scores on SA-13 and on the SA-Engagement and SA-Attentiveness subscales are associated with higher scores for security behavior intention and for self-reported recent security behaviors. SA-13 and the subscales are useful for researchers and security awareness teams who need a lightweight survey measure of user security attitudes. The composite score of the 13 indicators provides a compact measurement of cybersecurity decisional balance.


title: Bayesian Adaptive Selection of Basis Functions for Functional Data Representation

abstract: Considering the context of functional data analysis, we developed and applied a new Bayesian approach via Gibbs sampler to select basis functions for a finite representation of functional data. The proposed methodology uses Bernoulli latent variables to assign zero to some of the basis function coefficients with a positive probability. This procedure allows for an adaptive basis selection since it can determine the number of bases and which should be selected to represent functional data. Moreover, the proposed procedure measures the uncertainty of the selection process and can be applied to multiple curves simultaneously. The methodology developed can deal with observed curves that may differ due to experimental error and random individual differences between subjects, which one can observe in a real dataset application involving daily numbers of COVID-19 cases in Brazil. Simulation studies show the main properties of the proposed method, such as its accuracy in estimating the coefficients and the strength of the procedure to find the true set of basis functions. Despite having been developed in the context of functional data analysis, we also compared the proposed model via simulation with the well-established LASSO and Bayesian LASSO, which are methods developed for non-functional data.


title: Radiative hadronization: Photon emission at hadronization from quark-gluon plasma

abstract: We investigate photon emission at the hadronization stage from a quark-gluon plasma created in relativistic heavy-ion collisions. A recombination-model picture suggests that a quark and an antiquark bind into a meson state in hadronization, which would apparently violate the energy conservation if there is nothing else involved. We consider here a hadronization process where the recombination accompanies a photon emission. This is an analog of the "{\it radiative recombination}" known in plasma physics, such as $e^- + p^+ \to {\rm H}^0 +\gamma$, which occurs when an electromagnetic plasma goes back to a neutral atomic gas. The "radiative hadronization" picture will bring about (i) an enhancement of the photon yield, (ii) significant flow of photons similar to that of hadrons, and (iii) the photon transverse momentum ($p_T$) distribution with a thermal profile whose effective temperature is given by blue-shifted temperature of quarks. Here as a simplest and phenomenological realization of the radiative hadronization, we modify the recombination model to involve a photon emission and evaluate the photon yield with this modified model. Adding this contribution to the direct photon yield along with thermal photon contribution calculated with a hydrodynamic model and a parametrized contribution of prompt photons, we study the $p_T$ spectrum and elliptic flow of the photons produced in heavy-ion collisions at RHIC and LHC energies.