title: Nebular abundance gradient in the Cartwheel galaxy using MUSE data

abstract: We here present the results from a detailed analysis of nebular abundances of commonly observed ions in the collisional ring galaxy Cartwheel using the Very Large Telescope (VLT) Multi-Unit Spectroscopic Explorer (MUSE) dataset. The analysis includes 221 HII regions in the star-forming ring, in addition to 40 relatively fainter H$\alpha$ emitting regions in the spokes, disk and the inner ring. The ionic abundances of He, N, O and Fe are obtained using the direct method (DM) for 9, 20, 20, and 17 ring HII regions, respectively, where the S$^{++}$ temperature-sensitive line is detected. For the rest of the regions, including all the nebulae between the inner and the outer ring, we obtained O abundances using the strong-line method (SLM). The ring regions have a median $12+\log\rm{\frac{O}{H}}$=8.19$\pm$0.15, $\log\rm{\frac{N}{O}}=-$1.57$\pm$0.09 and $\log\rm{\frac{Fe}{O}}=-$2.24$\pm$0.09 using the DM. Within the range of O abundances seen in the Cartwheel, the N/O and Fe/O values decrease proportionately with increasing O, suggesting local enrichment of O without corresponding enrichment of primary N and Fe. The O abundances of the disk HII regions obtained using the SLM show a well-defined radial gradient. The mean O abundance of the ring HII regions is lower by $\sim$0.1 dex as compared to the extrapolation of the radial gradient. The observed trends suggest the preservation of the pre-collisional abundance gradient, displacement of most of the processed elements to the ring, as predicted by the recent simulation by Renaud et al. (2018), and post-collisional infall of metal-poor gas in the ring.


title: An Approach to Investigate Public Opinion, Views, and Perspectives Towards Exoskeleton Technology

abstract: Over the last decade, exoskeletons have had an extensive impact on different disciplines and application domains such as assisted living, military, healthcare, firefighting, and industries, on account of their diverse and dynamic functionalities to augment human abilities, stamina, potential, and performance in a multitude of ways. In view of this wide-scale applicability and use-cases of exoskeletons, it is crucial to investigate and analyze the public opinion, views, and perspectives towards exoskeletons which would help to interpret the effectiveness of the underlining human-robot, human-machine, and human-technology interactions. The Internet of Everything era of today's living, characterized by people spending more time on the internet than ever before, holds the potential for the investigation of the same by mining and analyzing relevant web behavior, specifically from social media, that can be interpreted to understand public opinion, views, and perspectives towards a topic or set of topics. Therefore, this paper aims to address this research challenge related to exoskeletons by utilizing the potential of web behavior-based Big Data mining in the modern-day Internet of Everything era. As Twitter is one of the most popular social media platforms on a global scale - characterized by both the number of users and the amount of time spent by its users on the platform - this work focused on investigating web behavior on Twitter to interpret the public opinion, views, and perspectives towards exoskeleton technology. A total of approximately 20,000 tweets related to exoskeletons were used to evaluate the effectiveness of the proposed approach. The results presented and discussed uphold the efficacy of the proposed approach to interpret and analyze the public opinion, views, and perspectives towards exoskeletons from the associated tweets.


title: Compatibility of semisimple local Langlands parameters with parahoric Satake parameters

abstract: In this paper, we prove that there is at most one correspondence between parahoric-spherical representations and semisimple local Langlands parameters which satisfies certain natural properties. Our proof of this uniqueness statement is very formal. In particular, the semisimple local Langlands parameters constructed by Fargues and Scholze yield the unique candidate for such representations. As a corollary, we prove a conjecture which posits the compatibility of semisimple local Langlands parameters with parahoric Satake parameters.


title: ERNIE-Search: Bridging Cross-Encoder with Dual-Encoder via Self On-the-fly Distillation for Dense Passage Retrieval

abstract: Neural retrievers based on pre-trained language models (PLMs), such as dual-encoders, have achieved promising performance on the task of open-domain question answering (QA). Their effectiveness can further reach new state-of-the-arts by incorporating cross-architecture knowledge distillation. However, most of the existing studies just directly apply conventional distillation methods. They fail to consider the particular situation where the teacher and student have different structures. In this paper, we propose a novel distillation method that significantly advances cross-architecture distillation for dual-encoders. Our method 1) introduces a self on-the-fly distillation method that can effectively distill late interaction (i.e., ColBERT) to vanilla dual-encoder, and 2) incorporates a cascade distillation process to further improve the performance with a cross-encoder teacher. Extensive experiments are conducted to validate that our proposed solution outperforms strong baselines and establish a new state-of-the-art on open-domain QA benchmarks.


title: On the structure of finitely presented Bestvina-Brady groups

abstract: Right-angled Artin groups and their subgroups are of great interest because of their geometric, combinatorial and algorithmic properties. It is convenient to define these groups using finite simplicial graphs. The isomorphism type of the group is uniquely determined by the graph. Moreover, many structural properties of right angled Artin groups can be expressed in terms of their defining graph. In this article we address the question of understanding the structure of a class of subgroups of right-angled Artin groups in terms of the graph. Bestvina and Brady, in their seminal work, studied these subgroups (now called Bestvina-Brady groups or Artin kernels) from a finiteness conditions viewpoint. Unlike the right-angled Artin groups the isomorphism type of Bestvina-Brady groups is not uniquely determined by the defining graph. We prove that certain finitely presented Bestvina-Brady groups can be expressed as an iterated amalgamated product. Moreover, we show that this amalgamated product can be read off from the graph defining the ambient right-angled Artin group.


title: Equidistant sets on Alexandrov surfaces

abstract: We examine properties of equidistant sets determined by nonempty disjoint compact subsets of a compact 2-dimensional Alexandrov space (of curvature bounded below). The work here generalizes many of the known results for equidistant sets determined by two distinct points on a compact Riemannian 2-manifold. Notably, we find that the equidistant set is always a finite simplicial 1-complex. These results are applied to answer an open question concerning the Hausdorff dimension of equidistant sets in the Euclidean plane.


title: ALP one-loop corrections and nonresonant searches

abstract: We consider the complete leading-order -- dimension five -- effective linear Lagrangian for ALPs. The full set of one-loop contributions to ALP-SM effective couplings are derived, including all finite corrections. A few phenomenological consequences of these computations are also explored as illustration, with flavour diagonal channels in the case of fermions: in particular, we explore one-loop constraints on the coupling of the ALP to top quarks. Additionally, we propose a new search for ALPs, targeting VBS processes at the LHC. For this, we consider the tree-level diboson production in VBS, where the ALP participates as an off-shell mediator. Upper limits on ALP EW couplings are obtained from a reinterpretation of Run 2 public CMS VBS analyses. Simple projections for LHC Run 3 and HL-LHC are also calculated, demonstrating the power of future dedicated analyses at ATLAS and CMS.


title: Optimal dividends for a two-dimensional risk model with simultaneous ruin of both branches

abstract: We consider the optimal dividend problem in the so-called degenerate bivariate risk model under the assumption that the surplus of one branch may become negative. More specific, we solve the stochastic control problem of maximizing discounted dividends until simultaneous ruin of both branches of an insurance company by showing that the optimal value function satisfies a certain Hamilton-Jacobi-Bellman (HJB) equation. Further, we prove that the optimal value function is the smallest viscosity solution of said HJB equation, satisfying certain growth conditions. Under some additional assumptions, we show that the optimal strategy lies within a certain subclass of all admissible strategies and reduce the two-dimensional control problem to a one-dimensional one. The results are illustrated by a numerical example and Monte-Carlo simulated value functions.


title: Spatial resolution of omni-resonant imaging

abstract: Omni-resonance refers to the broadening of the spectral transmission through a planar cavity, not by changing the cavity structure, but by judiciously preconditioning the incident optical field. As such, broadband imaging can be performed through such a cavity with all the wavelengths simultaneously resonating. We examine here the spatial resolution of omni-resonant imaging and find that the spectral linewidth of the cavity resonance determines the spatial resolution. Surprisingly, the spatial resolution improves at longer wavelengths because of the negative angular dispersion intrinsic to Fabry-Perot resonances, in contrast to conventional diffraction-limited optical imaging systems where the spatial resolution improves at shorter wavelengths. These results are important for applications ranging from transparent solar windows to nonlinear resonant image processing.


title: Stochastic uncertainty analysis of gravity gradient tensor components and their combinations

abstract: Full tensor gravity (FTG) devices provide up to five independent components of the gravity gradient tensor. However, we do not yet have a quantitative understanding of which tensor components or combinations of components are more important to recover a subsurface density model by gravity inversion. This is mainly because different components may be more appropriate in different scenarios or purposes. Knowledge of these components in different environments can aid with selection of optimal selection of component combinations. In this work, we propose to apply stochastic inversion to assess the uncertainty of gravity gradient tensor components and their combinations. The method is therefore a quantitative approach. The applied method here is based on the geostatistical inversion (Gaussian process regression) concept using cokriging. The cokriging variances (variance function of the GP) are found to be a useful indicator for distinguishing the gravity gradient tensor components. This approach is applied to the New Found dataset to demonstrate its effectiveness in real-world applications.


title: Linear Regularizers Enforce the Strict Saddle Property

abstract: Satisfaction of the strict saddle property has become a standard assumption in non-convex optimization, and it ensures that many first-order optimization algorithms will almost always escape saddle points. However, functions exist in machine learning that do not satisfy this property, such as the loss function of a neural network with at least two hidden layers. First-order methods such as gradient descent may converge to non-strict saddle points of such functions, and there do not currently exist any first-order methods that reliably escape non-strict saddle points. To address this need, we demonstrate that regularizing a function with a linear term enforces the strict saddle property, and we provide justification for only regularizing locally, i.e., when the norm of the gradient falls below a certain threshold. We analyze bifurcations that may result from this form of regularization, and then we provide a selection rule for regularizers that depends only on the gradient of an objective function. This rule is shown to guarantee that gradient descent will escape the neighborhoods around a broad class of non-strict saddle points, and this behavior is demonstrated on numerical examples of non-strict saddle points common in the optimization literature.


title: Restoring the gauge invariance in non-Abelian second-class theories

abstract: In this paper, we propose a generalization of an improved gauge unfixing formalism in order to generate gauge symmetries in the non-Abelian valued systems. This generalization displays a proper and formal reformulation of second-class systems within the phase space itself. We then present our formalism in a manifestly gauge invariant resolution of the $SU(N)$ massive Yang-Mills and $SU(2)$ Skyrme models where gauge invariant variables are derived allowing then the achievement of Dirac brackets, gauge invariant Hamiltonians and first-class Lagrangians.


title: An Invariant Matching Property for Distribution Generalization under Intervened Response

abstract: The task of distribution generalization concerns making reliable prediction of a response in unseen environments. The structural causal models are shown to be useful to model distribution changes through intervention. Motivated by the fundamental invariance principle, it is often assumed that the conditional distribution of the response given its predictors remains the same across environments. However, this assumption might be violated in practical settings when the response is intervened. In this work, we investigate a class of model with an intervened response. We identify a novel form of invariance by incorporating the estimates of certain features as additional predictors. Effectively, we show this invariance is equivalent to having a deterministic linear matching that makes the generalization possible. We provide an explicit characterization of the linear matching and present our simulation results under various intervention settings.


title: Fast Mapping of Flexibility Regions at TSO-DSO Interfaces under Uncertainty

abstract: The gradual decommissioning of fossil fuel-driven power plants, that traditionally provide most operational flexibility in power systems, has led to more frequent grid stability issues. To compensate for the lack of flexible resources, Distributed Energy Resources (DERs) in distribution networks can be employed. To facilitate the use of DERs, the aggregated flexibility in a distribution grid is commonly represented on a $PQ$-plane displaying the feasible active and reactive power exchange with the upstream grid. This paper proposes a fast feasible operating region mapping mechanism that utilizes a linear power flow approximation in combination with linearized generator, current, and voltage constraints to construct a high-dimensional polyhedral feasible set of DER power injections. The obtained polytope is projected onto the $PQ$-plane using Fourier-Motzkin Elimination to represent the aggregate network flexibility. Additionally, uncertainty in DER generation is addressed using chance-constraints. Our analysis of a modified 33-bus IEEE test system demonstrates that the proposed method obtains more accurate approximations than former geometric methods and is ten times faster than the tested optimization-based method.


title: BSDEs driven by G-Brownian motion under degenerate case and its application to the regularity of fully nonlinear PDEs

abstract: In this paper, we obtain the existence and uniqueness theorem for backward stochastic differential equation driven by G-Brownian motion (G-BSDE) under degenerate case. Moreover, we propose a new probabilistic method based on the representation theorem of G-expectation and weak convergence to obtain the regularity of fully nonlinear PDE associated to G-BSDE.


title: Atomistic simulations of nanoindentation in single crystalline tungsten: The role of interatomic potentials

abstract: Computational modeling is usually applied to aid experimental exploration of advanced materials to better understand the fundamental plasticity mechanisms during mechanical testing. In this work, we perform Molecular dynamics (MD) simulations to emulate experimental room temperature spherical-nanoindentation of crystalline W matrices by different interatomic potentials: EAM, modified EAM, and a recently developed machine learned based tabulated Gaussian approximation potential (tabGAP) for describing the interaction of W-W. Results show similarities between load displacements and stress-strain curves, regardless of the numerical model. However, a discrepancy is observed at early stages of the elastic to plastic deformation transition showing different mechanisms for dislocation nucleation and evolution, that is attributed to the difference of Burgers vector magnitudes, stacking fault and dislocation glide energies. Besides, contact pressure is investigated by considering large indenters sizes that provides a detailed analysis of screw and edge dislocations during loading process. Furthermore, the glide barrier of this kind of dislocations are reported for all the interatomic potentials showing that tabGAP model presents the most accurate results with respect to density functional theory calculations and a good qualitative agreement with reported experimental data


title: The Nature of Low-Albedo Small Bodies from 3-$\mu$m Spectroscopy: One Group that Formed Within the Ammonia Snow Line and One that Formed Beyond It

abstract: We present evidence, via a large survey of 191 new spectra along with previously-published spectra, of a divide in the 3-$\mu$m spectral properties of the low-albedo asteroid population. One group ("Sharp-types" or ST, with band centers $<$ 3 $\mu$m) has a spectral shape consistent with carbonaceous chondrite meteorites, while the other group ("not-Sharp-types" or NST, with bands centered $>$ 3 $\mu$m) is not represented in the meteorite literature but is as abundant as the STs among large objects. Both groups are present in most low-albedo asteroid taxonomic classes, and except in limited cases taxonomic classifications based on 0.5-2.5-$\mu$m data alone cannot predict whether an asteroid is ST or NST. Statistical tests show the STs and NSTs differ in average band depth, semi-major axis, and perihelion at confidence levels $\ge$98\%, while not showing significant differences in albedo. We also show that many NSTs have a 3-$\mu$m absorption band shape like Comet 67P, and likely represent an important small-body composition throughout the solar system. A simple explanation for the origin of these groups is formation on opposite sides of the ammonia snow line, with the NST group accreting H2O and NH3 and the ST group only accreting H2O, with subsequent thermal and chemical evolution resulting in the minerals seen today. Such an explanation is consistent with recent dynamical modeling of planetesimal formation and delivery, and suggests that much more outer solar system material was delivered to the main asteroid belt than would be thought based on the number of D-class asteroids found today.


title: Backdoor Attacks on Bayesian Neural Networks using Reverse Distribution

abstract: Due to cost and time-to-market constraints, many industries outsource the training process of machine learning models (ML) to third-party cloud service providers, popularly known as ML-asa-Service (MLaaS). MLaaS creates opportunity for an adversary to provide users with backdoored ML models to produce incorrect predictions only in extremely rare (attacker-chosen) scenarios. Bayesian neural networks (BNN) are inherently immune against backdoor attacks since the weights are designed to be marginal distributions to quantify the uncertainty. In this paper, we propose a novel backdoor attack based on effective learning and targeted utilization of reverse distribution. This paper makes three important contributions. (1) To the best of our knowledge, this is the first backdoor attack that can effectively break the robustness of BNNs. (2) We produce reverse distributions to cancel the original distributions when the trigger is activated. (3) We propose an efficient solution for merging probability distributions in BNNs. Experimental results on diverse benchmark datasets demonstrate that our proposed attack can achieve the attack success rate (ASR) of 100%, while the ASR of the state-of-the-art attacks is lower than 60%.


title: A subdivision algebra for a product of two simplices via flow polytopes

abstract: For a lattice path $\nu$ from the origin to a point $(a,b)$ using steps $E=(1,0)$ and $N=(0,1)$, we construct an associated flow polytope $\mathcal{F}_{\hat{G}_B(\nu)}$ arising from an acyclic graph where bidirectional edges are permitted. We show that the flow polytope $\mathcal{F}_{\hat{G}_B(\nu)}$ admits a subdivision dual to a $w$-simplex, where $w$ is the number of valleys in the path $\bar{\nu} = E\nu N$. Refinements of this subdivision can be obtained by reductions of a polynomial $P_\nu$ in a generalization of M\'esz\'aros' subdivision algebra for acyclic root polytopes where negative roots are allowed. Via an integral equivalence between $\mathcal{F}_{\hat{G}_B(\nu)}$ and the product of simplices $\Delta_a\times \Delta_b$, we thereby obtain a subdivision algebra for a product of two simplices. As a special case, we give a reduction order for reducing $P_\nu$ that yields the cyclic $\nu$-Tamari complex of Ceballos, Padrol, and Sarmiento.


title: Anonymous conference key agreement in linear quantum networks

abstract: Sharing multi-partite quantum entanglement between parties allows for diverse secure communication tasks to be performed. Among them, conference key agreement (CKA), an extension of key distribution to multiple parties, has received much attention recently. Interestingly, CKA can also be performed in a way that protects the identities of the participating parties, therefore providing anonymity. In this work, we propose an anonymous CKA protocol for three parties that is implemented in a highly practical network setting. Specifically, a line of quantum repeater nodes is used to build a linear cluster state among all nodes, which is then used to anonymously establish a secret key between any three of them. The nodes need only share maximally entangled pairs with their neighbours, therefore avoiding the necessity of a central server sharing entangled states. This repeater setup makes our protocol an excellent candidate for implementation in future quantum networks. We explicitly prove that our protocol protects the identities of the participants from one another and perform an analysis of the key rate in the finite regime, contributing to the quest of identifying feasible quantum communication tasks for network architectures beyond point-to-point.


title: Adaptive Hybrid Heterogeneous IDS for 6LoWPAN

abstract: IPv6 over Low-powered Wireless Personal Area Networks (6LoWPAN) have grown in importance in recent years, with the Routing Protocol for Low Power and Lossy Networks (RPL) emerging as a major enabler. However, RPL can be subject to attack, with severe consequences. Most proposed IDSs have been limited to specific RPL attacks and typically assume a stationary environment. In this article, we propose the first adaptive hybrid IDS to efficiently detect and identify a wide range of RPL attacks (including DIO Suppression, Increase Rank, and Worst Parent attacks, which have been overlooked in the literature) in evolving data environments. We apply our framework to networks under various levels of node mobility and maliciousness. We experiment with several incremental machine learning (ML) approaches and various 'concept-drift detection' mechanisms (e.g. ADWIN, DDM, and EDDM) to determine the best underlying settings for the proposed scheme.


title: At the heart of baryonic matter the ARBUZ model favored by recent hadron form factor data

abstract: Data on electromagnetic form factors of proton, neutron, and $\Lambda$ from annihilation and scattering reactions are collected and interpreted in the frame of a generalized picture of the internal structure of baryons which holds in space-like and time-like regions. It is shown that these data give an insight of the space structure of the baryon for distances one hundred times smaller than the baryon size and, in the time-like region, a vision of the time evolution of the hadronic matter for times up to $10^{-25}$~s, that is two orders of magnitude shorter than the time taken by the light to cross the volume of a proton. In the proposed interpretation, the electric form factor of the proton in the space-like region can not cross zero, but vanishes or stays very small, as an extrapolation of the data seems to show. In the time-like region specific structures appearing in the data give evidence of the dominance of the quark-diquark structure in a specific range of time of the evolution of the system.


title: Color Overmodification Emerges from Data-Driven Learning and Pragmatic Reasoning

abstract: Speakers' referential expressions often depart from communicative ideals in ways that help illuminate the nature of pragmatic language use. Patterns of overmodification, in which a speaker uses a modifier that is redundant given their communicative goal, have proven especially informative in this regard. It seems likely that these patterns are shaped by the environment a speaker is exposed to in complex ways. Unfortunately, systematically manipulating these factors during human language acquisition is impossible. In this paper, we propose to address this limitation by adopting neural networks (NN) as learning agents. By systematically varying the environments in which these agents are trained, while keeping the NN architecture constant, we show that overmodification is more likely with environmental features that are infrequent or salient. We show that these findings emerge naturally in the context of a probabilistic model of pragmatic communication.


title: Synthesis and electronic properties of Nd$_{n+1}$Ni$_{n}$O$_{3n+1}$ Ruddlesden-Popper nickelate thin films

abstract: The rare-earth nickelates possess a diverse set of collective phenomena including metal-to-insulator transitions, magnetic phase transitions, and, upon chemical reduction, superconductivity. Here, we demonstrate epitaxial stabilization of layered nickelates in the Ruddlesden-Popper form, Nd$_{n+1}$Ni$_n$O$_{3n+1}$, using molecular beam epitaxy. By optimizing the stoichiometry of the parent perovskite NdNiO$_3$, we can reproducibly synthesize the $n = 1 - 5$ member compounds. X-ray absorption spectroscopy at the O $K$ and Ni $L$ edges indicate systematic changes in both the nickel-oxygen hybridization level and nominal nickel filling from 3$d^8$ to 3$d^7$ as we move across the series from $n = 1$ to $n = \infty$. The $n = 3 - 5$ compounds exhibit weakly hysteretic metal-to-insulator transitions with transition temperatures that depress with increasing order toward NdNiO$_3$ ($n = \infty)$.


title: Cordial Miners: Fast and Efficient Consensus for Every Eventuality

abstract: Cordial Miners are a family of efficient Byzantine Atomic Broadcast protocols, with instances for asynchrony and eventual synchrony. They improve the latency of state-of-the-art DAG-based protocols by almost 2X and achieve optimal good-case complexity of O(n) by forgoing Reliable Broadcast as a building block. Rather, Cordial Miners use the blocklace -- a partially-ordered counterpart of the totally-ordered blockchain data structure -- to implement the three algorithmic components of consensus: Dissemination, equivocation-exclusion, and ordering.


title: Carbon Figures of Merit Knowledge Creation with a Hybrid Solution and Carbon Tables API

abstract: Nowadays there are algorithms, methods, and platforms that are being created to accelerate the discovery of materials that are able to absorb or adsorb $CO_2$ molecules that are in the atmosphere or during the combustion in power plants, for instance. In this work an asynchronous REST API is described to accelerate the creation of Carbon figures of merit knowledge, called Carbon Tables, because the knowledge is created from tables in scientific PDF documents and stored in knowledge graphs. The figures of merit knowledge creation solution uses a hybrid approach, in which heuristics and machine learning are part of. As a result, one can search the knowledge with mature and sophisticated cognitive tools, and create more with regards to Carbon figures of merit.


title: Characteristics of the Permanent Superhumps in V533 Herculis

abstract: We analyze two sectors of TESS photometry of the nova-like cataclysmic variable star V533 Her. We detect a periodicity consistent with the binary orbital period and estimate a revised value of 3.53709(2) hr. We also detect a strong signal near a period of 3.8 h that we associate with positive superhumps. The superhump frequency varies over the TESS observations with the fractional difference between the superhump and orbital periods, $\epsilon$, ranging between $0.055\le \epsilon \le 0.080$. The superhump amplitude is correlated with its frequency such that the amplitude increases as $\epsilon$ decreases. Positive superhumps result from an instability that generates an eccentric accretion disk and $\epsilon$ is a measure of the disk precession rate in the binary rest frame. The observed correlation implies that as the disk precession rate slows, the disk eccentricity increases.


title: Effective field theory treatment of ${\cal N}=4$ supersymmetric Yang-Mills thermodynamics

abstract: At finite temperature the free energy density of ${\cal N}=4$ supersymmetric Yang-Mills can be calculated using resummed perturbation theory through the order $\lambda^{5/2}$. Effective field theory methods provide a useful alternative approach to streamline these calculations. In this proceedings contribution, I review recent work with my collaborators where we used effective field theory methods to calculate the free energy density of ${\cal N}=4$ supersymmetric Yang-Mills in four spacetime dimensions through second order in the 't Hooft coupling $\lambda$. At this order the contributions to the free energy density come from the hard scale $T$ and the soft scale $\sqrt{\lambda}T$. The contribution from the scale $T$ enters through the coefficients in the effective Lagrangian obtained by dimensional reduction and the effects of the scale $gT$ can be calculated using perturbative methods in the effective theory.


title: PreQuEL: Quality Estimation of Machine Translation Outputs in Advance

abstract: We present the task of PreQuEL, Pre-(Quality-Estimation) Learning. A PreQuEL system predicts how well a given sentence will be translated, without recourse to the actual translation, thus eschewing unnecessary resource allocation when translation quality is bound to be low. PreQuEL can be defined relative to a given MT system (e.g., some industry service) or generally relative to the state-of-the-art. From a theoretical perspective, PreQuEL places the focus on the source text, tracing properties, possibly linguistic features, that make a sentence harder to machine translate. We develop a baseline model for the task and analyze its performance. We also develop a data augmentation method (from parallel corpora), that improves results substantially. We show that this augmentation method can improve the performance of the Quality-Estimation task as well. We investigate the properties of the input text that our model is sensitive to, by testing it on challenge sets and different languages. We conclude that it is aware of syntactic and semantic distinctions, and correlates and even over-emphasizes the importance of standard NLP features.


title: Russia's Ruble during the onset of the Russian invasion of Ukraine in early 2022: The role of implied volatility and attention

abstract: The onset of the Russo-Ukrainian crisis has led to the rapid depreciation of the Russian ruble. In this study, we model intraday price fluctuations of the USD/RUB and the EUR/RUB exchange rates from the $1^{st}$ of December 2021 to the $7^{th}$ of March 2022. Our approach is novel in that instead of using daily (low-frequency) measures of attention and investor's expectations, we use intraday (high-frequency) data: google searches and implied volatility to proxy investor's attention and expectations. We show that both approaches are useful in predicting intraday price fluctuations of the two exchange rates, although implied volatility encompasses intraday attention.


title: LeRaC: Learning Rate Curriculum

abstract: Most curriculum learning methods require an approach to sort the data samples by difficulty, which is often cumbersome to perform. In this work, we propose a novel curriculum learning approach termed Learning Rate Curriculum (LeRaC), which leverages the use of a different learning rate for each layer of a neural network to create a data-free curriculum during the initial training epochs. More specifically, LeRaC assigns higher learning rates to neural layers closer to the input, gradually decreasing the learning rates as the layers are placed farther away from the input. The learning rates increase at various paces during the first training iterations, until they all reach the same value. From this point on, the neural model is trained as usual. This creates a model-level curriculum learning strategy that does not require sorting the examples by difficulty and is compatible with any neural network, generating higher performance levels regardless of the architecture. We conduct comprehensive experiments on eight datasets from the computer vision (CIFAR-10, CIFAR-100, Tiny ImageNet), language (BoolQ, QNLI, RTE) and audio (ESC-50, CREMA-D) domains, considering various convolutional (ResNet-18, Wide-ResNet-50, DenseNet-121), recurrent (LSTM) and transformer (CvT, BERT, SepTr) architectures, comparing our approach with the conventional training regime. Moreover, we also compare with Curriculum by Smoothing (CBS), a state-of-the-art data-free curriculum learning approach. Unlike CBS, our performance improvements over the standard training regime are consistent across all datasets and models. Furthermore, we significantly surpass CBS in terms of training time (there is no additional cost over the standard training regime for LeRaC).


title: Feedback effect on the observable properties of $z>6$ AGN

abstract: Active galactic nuclei (AGN) feedback has a major impact onto the supermassive black-hole (SMBH) growth, the properties of the host galaxies, and their cosmic evolution. We investigate the effects of different kinetic feedback prescriptions on the observable properties of AGN and their host galaxies at $z>6$ in a suite of zoom-in cosmological simulations. We find that kinetic feedback decreases the column density of the interstellar medium (ISM) in the host galaxy by up to a factor of $\approx10$, especially when the SMBHs reach high accretion rates ($\approx10-30\,\mathrm{M_\odot\,yr^{-1}}$). In particular, kinetic feedback is required to extend the ISM size to $>1$ kpc and match the observed sizes of the gas reservoirs in $z>6$ AGN host galaxies. Moreover, it produces unobscured lines of sight along which the AGN can be detected in the rest-frame UV band with magnitudes consistent with observed values of $z>6$ AGN. The assumed geometry of the outflow plays an important role in shaping the observed properties of high-redshift AGN. We find that a biconical geometry is favored over a spherical one to reproduce the observed properties, but it overestimates the number of multiple AGN systems detectable in X-ray observations. This result suggests that simplistic BH seeding recipes widely employed in cosmological simulations produce too many X-ray detectable multiple AGN at $z=6-7$, thus soliciting the adoption of more physically motivated seeding prescriptions.


title: Computing the ensemble spread from deterministic weather predictions using conditional generative adversarial networks

abstract: Ensemble prediction systems are an invaluable tool for weather forecasting. Practically, ensemble predictions are obtained by running several perturbations of the deterministic control forecast. However, ensemble prediction is associated with a high computational cost and often involves statistical post-processing steps to improve its quality. Here we propose to use deep-learning-based algorithms to learn the statistical properties of an ensemble prediction system, the ensemble spread, given only the deterministic control forecast. Thus, once trained, the costly ensemble prediction system will not be needed anymore to obtain future ensemble forecasts, and the statistical properties of the ensemble can be derived from a single deterministic forecast. We adapt the classical pix2pix architecture to a three-dimensional model and also experiment with a shared latent space encoder-decoder model, and train them against several years of operational (ensemble) weather forecasts for the 500 hPa geopotential height. The results demonstrate that the trained models indeed allow obtaining a highly accurate ensemble spread from the control forecast only.

categories: cs.LG cs.CV physics.ao-ph physics.flu-dyn


title: Accretion onto a binary from a polar circumbinary disc

abstract: We present hydrodynamical simulations to model the accretion flow from a polar circumbinary disc onto a high eccentricity ($e=0.78$) binary star system with near unity mass ratio ($q=0.83$), as a model for binary HD 98800 BaBb. We compare the polar circumbinary disc accretion flow with the previously studied coplanar case. In the coplanar case, the circumbinary disc becomes eccentric and the accretion alternates from being dominant onto one binary member to the other. For the polar disc case involving a highly eccentric binary, we find that the circumbinary disc retains its initially low eccentricity and that the primary star accretion rate is always about the same as the secondary star accretion rate. Recent observations of the binary HD 98800 BaBb, which has a polar circumbinary disc, have been used to determine the value of the $\rm H\alpha$ flux from the brighter component. From this value, we infer that the accretion rate is much lower than for typical T Tauri stars. The eccentric orbit of the outer companion HD 98800 A increases the accretion rate onto HD 98800 B by $\sim 20$ per cent after each periastron passage. Our hydrodynamical simulations are unable to explain such a low accretion rate unless the disc viscosity parameter is very small, $\alpha < 10^{-5}$. Additional observations of this system would be useful to check on this low accretion rate.


title: Heavy-quark production at NNLO

abstract: We present the calculation of QCD radiative corrections to heavy-quark production at NNLO. The calculation is implemented in an updated version of \textsc{Matrix}, which allows us to obtain multidifferential predictions for stable top quarks. We also report on the NNLO calculation for $b{\bar b}$ production and comment on the inclusion of top-quark decays and of the extension of our results to $t\bar tH$.


title: AI-assisted Optimization of the ECCE Tracking System at the Electron Ion Collider

abstract: The Electron-Ion Collider (EIC) is a cutting-edge accelerator facility that will study the nature of the "glue" that binds the building blocks of the visible matter in the universe. The proposed experiment will be realized at Brookhaven National Laboratory in approximately 10 years from now, with detector design and R&D currently ongoing. Notably, EIC is one of the first large-scale facilities to leverage Artificial Intelligence (AI) already starting from the design and R&D phases. The EIC Comprehensive Chromodynamics Experiment (ECCE) is a consortium that proposed a detector design based on a 1.5T solenoid. The EIC detector proposal review concluded that the ECCE design will serve as the reference design for an EIC detector. Herein we describe a comprehensive optimization of the ECCE tracker using AI. The work required a complex parametrization of the simulated detector system. Our approach dealt with an optimization problem in a multidimensional design space driven by multiple objectives that encode the detector performance, while satisfying several mechanical constraints. We describe our strategy and show results obtained for the ECCE tracking system. The AI-assisted design is agnostic to the simulation framework and can be extended to other sub-detectors or to a system of sub-detectors to further optimize the performance of the EIC detector.

categories: physics.ins-det cs.LG hep-ex nucl-ex physics.comp-ph


title: Spurious currents suppression by accurate difference schemes in multiphase lattice Boltzmann method

abstract: Spurious currents, which are often observed near a curved interface in the multiphase simulations by diffuse interface methods, are unphysical phenomena and usually damage the computational accuracy and stability. In this paper, the origination and suppression of spurious currents are investigated by using the multiphase lattice Boltzmann method driven by chemical potential. Both the difference error and insufficient isotropy of discrete gradient operator give rise to the directional deviations of nonideal force and then originate the spurious currents. Nevertheless, the high-order finite difference produces far more accurate results than the high-order isotropic difference. We compare several finite difference schemes which have different formal accuracy and resolution. When a large proportional coefficient is used, the transition region is narrow and steep, and the resolution of finite difference indicates the computational accuracy more exactly than the formal accuracy. On the contrary, for a small proportional coefficient, the transition region is wide and gentle, and the formal accuracy of finite difference indicates the computational accuracy better than the resolution. Furthermore, numerical simulations show that the spurious currents calculated in the 3D situation are highly consistent with those in 2D simulations; especially, the two-phase coexistence densities calculated by the high-order accuracy finite difference are in excellent agreement with the theoretical predictions of the Maxwell equal-area construction till the reduced temperature 0.2.


title: An implicit, conservative and asymptotic-preserving electrostatic particle-in-cell algorithm for arbitrarily magnetized plasmas in uniform magnetic fields

abstract: We introduce a new electrostatic particle-in-cell algorithm capable of using large timesteps compared to particle gyro-period under a uniform external magnetic field. The algorithm extends earlier electrostatic fully implicit PIC implementations with a new asymptotic-preserving particle-push scheme that allows timesteps much larger than particle gyroperiods. In the large-timestep limit, the integrator preserves all particle drifts, while recovering the full orbit for small timesteps. The scheme allows for a seamless, efficient treatment of particles with coexisting magnetized and unmagnetized species, and conserves energy and charge exactly without spoiling implicit solver performance. We demonstrate by numerical experiment with several problems of variable species magnetization (diocotron instability, modified two-stream instability, and drift instability) that orders of magnitude wall-clock-time speedups vs. the standard fully implicit electrostatic PIC algorithm are possible without sacrificing solution accuracy.


title: Bayesian Inference on Hamiltonian Selections for M\"ossbauer Spectroscopy

abstract: M\"ossbauer spectroscopy, which provides knowledge related to electronic states in materials, has been applied to various fields such as condensed matter physics and material sciences. In conventional spectral analyses based on least-square fitting, hyperfine interactions in materials have been determined from the shape of observed spectra. In conventional spectral analyses, it is difficult to discuss the validity of the hyperfine interactions and the estimated values. We propose a spectral analysis method based on Bayesian inference for the selection of hyperfine interactions and the estimation of M\"ossbauer parameters. An appropriate Hamiltonian has been selected by comparing Bayesian free energy among possible Hamiltonians. We have estimated the M\"ossbauer parameters and evaluated their estimated values by calculating the posterior distribution of each M\"ossbauer parameter with confidence intervals. We have also discussed the accuracy of the spectral analyses to elucidate the noise intensity dependence of numerical experiments.


title: Super-Gaussian Decay of Exponentials: A Sufficient Condition

abstract: In this article, we present a sufficient condition for the exponential $\exp({-f})$ to have a tail decay stronger than any Gaussian, where $f$ is defined on a locally convex space $X$ and grows faster than a squared seminorm on $X$. In particular, our result proves that $\exp({-p(x)^{2+\varepsilon}+\alpha q(x)^2})$ is integrable for all $\alpha,\varepsilon>0$ w.r.t. a Radon Gaussian measure on a nuclear space $X$, if $p$ and $q$ are continuous seminorms on $X$ with compatible kernels. This can be viewed as an adaptation of Fernique's theorem and, for example, has applications in quantum field theory.


title: On eventual non-negativity and positivity for the weighted sum of powers of matrices

abstract: The long run behaviour of linear dynamical systems is often studied by looking at eventual properties of matrices and recurrences that underlie the system. A basic problem that lies at the core of many questions in this setting is the following: given a set of pairs of rational weights and matrices {(w_1 , A_1 ), . . . , (w_m , A_m )}, we ask if the weighted sum of powers of these matrices is eventually non-negative P (resp. n positive), i.e., does there exist an integer N s.t for all n greater than N , (w_1 A_1^n + ... + w_m A_m^n) is atmost 0 (resp. greater than 0). The restricted setting when m = w_1 = 1, results in so-called eventually non-negative (or eventually positive) matrices, which enjoy nice spectral properties and have been well-studied in control theory. More applications arise in varied contexts, ranging from program verification to partially observable and multi-modal systems. Our goal is to investigate this problem and its link to linear recurrence sequences. Our first result is that for m at least 2, the problem is as hard as the ultimate positivity of linear recurrences, a long standing open question (known to be coNP-hard). Our second result is a reduction in the other direction showing that for any m at least 1, the problem reduces to ultimate positivity of linear recurrences. This shows precise upper bounds for several subclasses of matrices by exploiting known results on linear recurrence sequences. Our third main result is a novel reduction technique for a large class of problems (including those mentioned above) over rational diagonalizable matrices to the corresponding problem over simple real-algebraic matrices. This yields effective decision procedures for diagonalizable matrices.


title: High-Order Multilinear Discriminant Analysis via Order-$\textit{n}$ Tensor Eigendecomposition

abstract: Higher-order data with high dimensionality is of immense importance in many areas of machine learning, computer vision, and video analytics. Multidimensional arrays (commonly referred to as tensors) are used for arranging higher-order data structures while keeping the natural representation of the data samples. In the past decade, great efforts have been made to extend the classic linear discriminant analysis for higher-order data classification generally referred to as multilinear discriminant analysis (MDA). Most of the existing approaches are based on the Tucker decomposition and $\textit{n}$-mode tensor-matrix products. The current paper presents a new approach to tensor-based multilinear discriminant analysis referred to as High-Order Multilinear Discriminant Analysis (HOMLDA). This approach is based upon the tensor decomposition where an order-$\textit{n}$ tensor can be written as a product of order-$\textit{n}$ tensors and has a natural extension to traditional linear discriminant analysis (LDA). Furthermore, the resulting framework, HOMLDA, might produce a within-class scatter tensor that is close to singular. Thus, computing the inverse inaccurately may distort the discriminant analysis. To address this problem, an improved method referred to as Robust High-Order Multilinear Discriminant Analysis (RHOMLDA) is introduced. Experimental results on multiple data sets illustrate that our proposed approach provides improved classification performance with respect to the current Tucker decomposition-based supervised learning methods.


title: Theoretical upper bound of multiplexing in stochastic sensory receptors

abstract: Biological sensory receptors provide excellent examples of microscopic scale information transduction amidst stochastic noise. We argue that stochasticity is not always a hindrance to sensing. Instead, it could allow a single stochastic sensor to perform multiplexing: simultaneously transducing multiple types of environmental information to the downstream sensory network. Through a Langevin dynamics simulation of a ligand-receptor sensor in a bath of ligands, we demonstrate that a binary-state receptor can simultaneously encode multiple independent environmental variables, such as ligand concentration and the speed of media flow. We develop a general theory of stochastic sensory multiplexing and suggest two theoretical upper bounds. Furthermore, we conjecture that randomly generated sensors typically saturate the tighter upper bound. The theoretical framework developed in this study, which involves a rank-deficient maximum likelihood analysis (rd-MLE), provides a systematic approach to comprehensively assess a sensor's sensory ability without any initial assumptions. This theoretical framework can inspire the design of more efficient artificial sensors.


title: Filamentary structures of ionized gas in Cygnus X

abstract: Ionized gas probes the influence of massive stars on their environment. The Cygnus X region (d~1.5 kpc) is one of the most massive star forming complexes in our Galaxy, in which the Cyg OB2 association (age of 3-5 Myr and stellar mass $2 \times 10^{4}$ M$_{\odot}$) has a dominant influence. We observe the Cygnus X region at 148 MHz using the Low Frequency Array (LOFAR) and take into account short-spacing information during image deconvolution. Together with data from the Canadian Galactic Plane Survey, we investigate the morphology, distribution, and physical conditions of low-density ionized gas in a $4^{\circ} \times 4^{\circ}$ (100 pc $\times$ 100 pc) region at a resolution of 2' (0.9 pc). The Galactic radio emission in the region analyzed is almost entirely thermal (free-free) at 148 MHz, with emission measures of $10^3 < EM~{\rm[pc~cm^{-6}]} < 10^6$. As filamentary structure is a prominent feature of the emission, we use DisPerSE and FilChap to identify filamentary ridges and characterize their radial ($EM$) profiles. The distribution of radial profiles has a characteristic width of 4.3 pc and a power-law distribution ($\beta = -1.8 \pm 0.1$) in peak $EM$ down to our completeness limit of 4200 pc cm$^{-6}$. The electron densities of the filamentary structure range from $10 < n_e~{\rm[cm^{-3}]} < 400$ with a median value of 35 cm$^{-3}$, remarkably similar to [N II] surveys of ionized gas. Cyg OB2 may ionize at most two-thirds of the total ionized gas and the ionized gas in filaments. More than half of the filamentary structures are likely photoevaporating surfaces flowing into a surrounding diffuse (~5 cm$^{-3}$) medium. However, this is likely not the case for all ionized gas ridges. A characteristic width in the distribution of ionized gas points to the stellar winds of Cyg OB2 creating a fraction of the ionized filaments through swept-up ionized gas or dissipated turbulence.


title: Sim-to-Real Strategy for Spatially Aware Robot Navigation in Uneven Outdoor Environments

abstract: Deep Reinforcement Learning (DRL) is hugely successful due to the availability of realistic simulated environments. However, performance degradation during simulation to real-world transfer still remains a challenging problem for the policies trained in simulated environments. To close this sim-to-real gap, we present a novel hybrid architecture that utilizes an intermediate output from a fully trained attention DRL policy as a navigation cost map for outdoor navigation. Our attention DRL network incorporates a robot-centric elevation map, IMU data, the robot's pose, previous actions, and goal information as inputs to compute a navigation cost-map that highlights non-traversable regions. We compute least-cost waypoints on the cost map and utilize the Dynamic Window Approach (DWA) with velocity constraints on high cost regions to follow the waypoints in highly uneven outdoor environments. Our formulation generates dynamically feasible velocities along stable, traversable regions to reach the robot's goals. We observe an increase of 5% in terms of success rate, 13.09% of the decrease in average robot vibration, and a 19.33% reduction in average velocity compared to end-to-end DRL method and state-of-the-art methods in complex outdoor environments. We evaluate the benefits of our method using a Clearpath Husky robot in both simulated and real-world uneven environments.


title: Visualizing the interplay of Dirac mass gap and magnetism at nanoscale in intrinsic magnetic topological insulators

abstract: In intrinsic magnetic topological insulators, Dirac surface state gaps are prerequisites for quantum anomalous Hall and axion insulating states. Unambiguous experimental identification of these gaps has proved to be a challenge, however. Here we use molecular beam epitaxy to grow intrinsic MnBi2Te4 thin films. Using scanning tunneling microscopy/spectroscopy, we directly visualize the Dirac mass gap and its disappearance below and above the magnetic order temperature. We further reveal the interplay of Dirac mass gaps and local magnetic defects. We find that in high defect regions, the Dirac mass gap collapses. Ab initio and coupled Dirac cone model calculations provide insight into the microscopic origin of the correlation between defect density and spatial gap variations. This work provides unambiguous identification of the Dirac mass gap in MnBi2Te4, and by revealing the microscopic origin of its gap variation, establishes a material design principle for realizing exotic states in intrinsic magnetic topological insulators.


title: Hybrid Machine Learning Modeling of Engineering Systems -- A Probabilistic Perspective Tested on a Multiphase Flow Modeling Case Study

abstract: To operate process engineering systems in a safe and reliable manner, predictive models are often used in decision making. In many cases, these are mechanistic first principles models which aim to accurately describe the process. In practice, the parameters of these models need to be tuned to the process conditions at hand. If the conditions change, which is common in practice, the model becomes inaccurate and needs to be re-tuned. In this paper, we propose a hybrid modeling machine learning framework that allows tuning first principles models to process conditions using two different types of Bayesian Neural Networks. Our approach not only estimates the expected values of the first principles model parameters but also quantifies the uncertainty of these estimates. Such an approach of hybrid machine learning modeling is not yet well described in the literature, so we believe this paper will provide an additional angle at which hybrid machine learning modeling of physical systems can be considered. As an example, we choose a multiphase pipe flow process for which we constructed a three-phase steady state model based on the drift-flux approach which can be used for modeling of pipe and well flow behavior in oil and gas production systems with or without the neural network tuning. In the simulation results, we show how uncertainty estimates of the resulting hybrid models can be used to make better operation decisions.


title: Measurable Semigroup Selection of the Heat Flow for Harmonic Maps

abstract: J.-M. Coron proved in [5] that the global weak solutions of the heat flow from $M$ to $N$, starting at non-stationary weakly harmonic maps, are not unique when $M = B^3$ and $N = S^2$. Hence, the semigroup property of the solution map does not hold in general. The present short paper uses the techniques developed by J. Cardona and L. Kapitanski to show the existence of infinitely many measurable semigroups solving the heat flow in the same cases where non-uniqueness was shown by J.-M. Coron.


title: Macedonian Speech Synthesis for Assistive Technology Applications

abstract: Speech technology is becoming ever more ubiquitous with the advance of speech enabled devices and services. The use of speech synthesis in Augmentative and Alternative Communication tools, has facilitated inclusion of individuals with speech impediments allowing them to communicate with their surroundings using speech. Although there are numerous speech synthesis systems for the most spoken world languages, there is still a limited offer for smaller languages. We propose and compare three models built using parametric and deep learning techniques for Macedonian trained on a newly recorded corpus. We target low-resource edge deployment for Augmentative and Alternative Communication and assistive technologies, such as communication boards and screen readers. The listening test results show that parametric speech synthesis is as performant compared to the more advanced deep learning models. Since it also requires less resources, and offers full speech rate and pitch control, it is the preferred choice for building a Macedonian TTS system for this application scenario.


title: A False Sense of Security? Revisiting the State of Machine Learning-Based Industrial Intrusion Detection

abstract: Anomaly-based intrusion detection promises to detect novel or unknown attacks on industrial control systems by modeling expected system behavior and raising corresponding alarms for any deviations.As manually creating these behavioral models is tedious and error-prone, research focuses on machine learning to train them automatically, achieving detection rates upwards of 99%. However, these approaches are typically trained not only on benign traffic but also on attacks and then evaluated against the same type of attack used for training. Hence, their actual, real-world performance on unknown (not trained on) attacks remains unclear. In turn, the reported near-perfect detection rates of machine learning-based intrusion detection might create a false sense of security. To assess this situation and clarify the real potential of machine learning-based industrial intrusion detection, we develop an evaluation methodology and examine multiple approaches from literature for their performance on unknown attacks (excluded from training). Our results highlight an ineffectiveness in detecting unknown attacks, with detection rates dropping to between 3.2% and 14.7% for some types of attacks. Moving forward, we derive recommendations for further research on machine learning-based approaches to ensure clarity on their ability to detect unknown attacks.


title: On the multi-stage shortest path problem under distributional uncertainty

abstract: In this paper we consider an ambiguity-averse multi-stage network game between a user and an attacker. The arc costs are assumed to be random variables that satisfy prescribed first-order moment constraints for some subsets of arcs and individual probability constraints for some particular arcs. The user aims at minimizing its cumulative expected loss by traversing between two fixed nodes in the network, while the attacker's objective is to maximize the user's expected loss by selecting a distribution of arc costs from the family of admissible distributions. In contrast to most of the related studies, both the user and the attacker can dynamically adjust their decisions at particular nodes of the user's path. By observing the user's decisions, the attacker may reveal some additional distributional information associated with the arcs emanated from the current user's position. It is shown that the resulting multi-stage distributionally robust shortest path problem (DRSPP) admits a linear mixed-integer programming reformulation (MIP). In particular, we distinguish between acyclic and general graphs by introducing different forms of non-anticipativity constraints. Finally, we perform a numerical study, where the quality of adaptive decisions and computational tractability of the proposed MIP reformulation are explored with respect to several classes of synthetic network~instances.


title: Mimicking Behaviors in Separated Domains

abstract: Devising a strategy to make a system mimicking behaviors from another system is a problem that naturally arises in many areas of Computer Science. In this work, we interpret this problem in the context of intelligent agents, from the perspective of LTLf, a formalism commonly used in AI for expressing finite-trace properties. Our model consists of two separated dynamic domains, D_A and D_B, and an LTLf specification that formalizes the notion of mimicking by mapping properties on behaviors (traces) of D_A into properties on behaviors of D_B. The goal is to synthesize a strategy that step-by-step maps every behavior of D_A into a behavior of D_B so that the specification is met. We consider several forms of mapping specifications, ranging from simple ones to full LTLf, and for each we study synthesis algorithms and computational properties.


title: Integrated Access and Backhaul in Millimeter-Wave Cellular: Benefits and Challenges

abstract: The recently proposed NR-ready integrated access and backhaul (IAB) architecture promises to bring a cost-efficient deployment solution for both coverage extension and capacity boosting in future 5G/5G+ systems. While its impact on the coverage extension was thoughtfully addressed in the literature, the effect of advanced functionalities such as multi-hop, multi-connectivity, and multi-beam operations on the throughput remains unclear. We review and characterize the system-level impact of these capabilities on the performance of self-backhauled IAB systems operating in half-duplex mode and utilizing millimeter-wave (mmWave) technology across both access and backhaul. Our results indicate that the throughput gain of multi-hopping and multi-beaming is significant even without multi-connectivity operation. Another important learning is that in all-mmWave systems with link blockage, multi-connectivity with link switching allows achieving self-load balancing. Finally, we outline future research directions.


title: Exponential challenges in unbiasing quantum Monte Carlo algorithms with quantum computers

abstract: Recently, Huggins et. al. [Nature, 603, 416-420 (2022)] devised a general projective Quantum Monte Carlo method suitable for implementation on quantum computers. This hybrid approach, however, relies on a subroutine -the computation of the local energy estimator on the quantum computer -that is intrinsically affected by an exponential scaling of the computational time with the number of qubits. By means of numerical experiments, we show that this exponential scaling manifests prominently already on systems below the point of "quantum advantage". For the prototypical transverse-field Ising model, we show that the required time resources to compete with classical simulations on around 40 qubits are already of the order of $10^{13}$ projective measurements, with an estimated running time of a few thousand years on superconducting hardware. These observations strongly suggest that the proposed hybrid method, in its present form, is unlikely to offer a sizeable advantage over conventional quantum Monte Carlo approaches.


title: Simulating Transient Noise Bursts in LIGO with gengli

abstract: In the field of gravitational-wave (GW) interferometers, the most severe limitation to the detection of transient signals from astrophysical sources comes from transient noise artefacts, known as glitches, that happens at a rate around $1$ per minute. Because glitches reduce the amount of scientific data available, there is a need for better modelling and inclusion of glitches in large-scale studies, such as stress testing the search pipelines and increasing the confidence of detection. In this work, we employ a Generative Adversarial Network (GAN) to produce a particular class of glitches ({\it blip}) in the time domain. We share the trained network through a user-friendly open-source software package called \texttt{gengli} and provide practical examples of its usage.


title: Extensions of invariant random orders on groups

abstract: In this paper we study the action of a countable group $\Gamma$ on the space of orders on the group. In particular, we are concerned with the invariant probability measures on this space, known as invariant random orders. We show that for any countable group the space of random invariant orders is rich enough to contain an isomorphic copy of any free ergodic action, and characterize the non-free actions realizable. We prove a Glasner-Weiss dichotomy regarding the simplex of invariant random orders. We also show that the invariant partial order on $\mathrm{SL}_3(\mathbf{Z})$ corresponding to the semigroup of positive matrices cannot be extended to an invariant random total order. We thus provide the first example for a partial order (deterministic or random) that cannot be randomly extended.


title: Coherent categorical structures for Lie bialgebras, Manin triples, classical $r$-matrices and pre-Lie algebras

abstract: The broadly applied notions of Lie bialgebras, Manin triples, classical $r$-matrices and $\mathcal{O}$-operators of Lie algebras owe their importance to the close relationship among them. Yet these notions and their correspondences are mostly understood as classes of objects and maps among the classes. To gain categorical insight, this paper introduces, for each of the classes, a notion of homomorphisms, uniformly called coherent homomorphisms, so that the classes of objects become categories and the maps among the classes become functors or category equivalences. For this purpose, we start with the notion of an endo Lie algebra, consisting of a Lie algebra equipped with a Lie algebra endomorphism. We then generalize the above classical notions for Lie algebras to endo Lie algebras. As a result, we obtain the notion of coherent endomorphisms for each of the classes, which then generalizes to the notion of coherent homomorphisms by a polarization process. The coherent homomorphisms are compatible with the correspondences among the various constructions, as well as with the category of pre-Lie algebras.


title: Dynamical magnetic response in superconductors with finite momentum pairs

abstract: We derive the dynamical magnetic response functions in the Fulde-Ferrell (FF) state of a superconductor with inversion symmetry. The pair momentum 2q is obtained by minimization of the condensation energy and the resulting quasiparticle states and spectral functions exhibit the segmentation into paired and unpaired regions due to the finite q. The dynamical magnetic susceptibility is then calculated in linear response formalism in the FF state with finite-q condensate resulting from s-wave or d-wave pairing. We show that quasiparticle excitations inside as well as between paired and unpaired segments contribute to the dynamical response. We discuss its dependence on frequency and momentum transfer which develops a characteristic symmetry-breaking parallel to q. Furthermore, we investigate the possible influence on Knight shift and in the case of d-wave pairing on the spin resonance formation in the FF state.


title: Torchhd: An Open Source Python Library to Support Research on Hyperdimensional Computing and Vector Symbolic Architectures

abstract: Hyperdimensional computing (HD), also known as vector symbolic architectures (VSA), is a framework for computing with distributed representations by exploiting properties of random high-dimensional vector spaces. The commitment of the scientific community to aggregate and disseminate research in this particularly multidisciplinary area has been fundamental for its advancement. Joining these efforts, we present Torchhd, a high-performance open source Python library for HD/VSA. Torchhd seeks to make HD/VSA more accessible and serves as an efficient foundation for further research and application development. The easy-to-use library builds on top of PyTorch and features state-of-the-art HD/VSA functionality, clear documentation, and implementation examples from well-known publications. Comparing publicly available code with their corresponding Torchhd implementation shows that experiments can run up to 100x faster. Torchhd is available at: https://github.com/hyperdimensional-computing/torchhd.


title: "I'm sorry to hear that": Finding New Biases in Language Models with a Holistic Descriptor Dataset

abstract: As language models grow in popularity, it becomes increasingly important to clearly measure all possible markers of demographic identity in order to avoid perpetuating existing societal harms. Many datasets for measuring bias currently exist, but they are restricted in their coverage of demographic axes and are commonly used with preset bias tests that presuppose which types of biases models can exhibit. In this work, we present a new, more inclusive bias measurement dataset, HolisticBias, which includes nearly 600 descriptor terms across 13 different demographic axes. HolisticBias was assembled in a participatory process including experts and community members with lived experience of these terms. These descriptors combine with a set of bias measurement templates to produce over 450,000 unique sentence prompts, which we use to explore, identify, and reduce novel forms of bias in several generative models. We demonstrate that HolisticBias is effective at measuring previously undetectable biases in token likelihoods from language models, as well as in an offensiveness classifier. We will invite additions and amendments to the dataset, which we hope will serve as a basis for more easy-to-use and standardized methods for evaluating bias in NLP models.


title: Reconfiguration of Digraph Homomorphisms

abstract: For a fixed graph H, the H-Recoloring problem asks whether for two given homomorphisms from a graph G to H, we can transform one into the other by changing the image of a single vertex of G in each step and maintaining a homomorphism from G to H throughout. We extend an algorithm of Wrochna for H-Recoloring where H is a square-free loopless undirected graph to the more general setting of directed graphs. We obtain a polynomial-time algorithm for H-Recoloring in this setting whenever H is a loopless digraph that does not contain a 4-cycle of algebraic girth zero and whenever H is a reflexive digraph that contains neither a 3-cycle of algebraic girth 1 nor a 4-cycle of algebraic girth zero.


title: Electronic signatures of successive itinerant, magnetic transitions in hexagonal La2Ni7

abstract: We use high-resolution angle-resolved photoemission spectroscopy (ARPES) and density functional theory (DFT) calculations to study the electronic and magnetic properties of La2Ni7, an itinerant magnetic system with a series of three magnetic transition temperatures upon cooling, which end in a weak itinerant antiferromagnetic (wAFM) ground state. Our APRES data reveal several electron and hole pockets that have hexagonal symmetry near the $\Gamma$ point. We observe significant reconstruction of the band structure upon successive magnetic transitions at T1 = 61 K, T2 = 57 K and T3 = 42 K. The experimental data are in a reasonable agreement with DFT calculations, demonstrating their applicability to itinerant antiferromagnet systems. Our results detail the effects of magnetic ordering on the electronic structure in a Ni-based weak antiferromagnet.


title: Primal Conjecture in Matrix $E_\phi^9$

abstract: In this paper we propose a conjecture about integer solutions to any equations, based on Primal algebra specifically this conjecture is a corollary of the Acu\~na Theorem in that article. Also some problems are proposed which, if the conjecture is correct, could be solved.


title: Convergence problems in nonlocal dynamics with nonlinearity

abstract: We uncover the gradient structure to investigate the convergence of solutions in nonlocal nonlinear dynamical systems. Mainly but not exclusively, we use the Lojasiewicz inequality to prove convergence results in various spaces with continuous, or discrete temporal domain, and finite, or infinite dimensional spatial domain. To be more specific, we analyze Lotka-Volterra type dynamics and concentration-dispersion dynamics. Lotka-Volterra equations describe the population dynamics of a group of species. Under the assumption that the interaction between species is symmetric, we present two different methods to derive the convergence result. One, the entropy trapping method, is to adapt the idea of Akin and Hofbauer (Math. Biosci. 61 (1982) 51-62) of using monotonicity of the energy to bound the entropy, which provides the proximal distance of the solution from the desired equilibrium. Another method, inspired by Jabin and Liu's observation in (Nonlinearity 30 (2017) 4220) is to change variables to resolve the singular nature of gradient structure. We apply this idea to show the convergence result in generalized Lokta-Volterra systems, such as regularized Lotka-Volterra systems and infinite dimensional Lotka-Volterra equations with mutation. Concentration-dispersion dynamics is a new type of equation that is inspired by fixed point formulations for solitary wave shapes. As a continuous time analogue of Petviashvili iteration, we aim to dynamically calculate the nontrivial solitary wave profile. Using the gradient structure we deduce the existence of nontrivial solitary and periodic wave profiles. Unfortunately, the convergence result remains open. Instead, we regularize the concentration dispersion equations by adding a nonlinear diffusive term, and prove the convergence of the solutions by using the Lojasiewicz convergence framework.


title: Mobility Support for Millimeter Wave Communications: Opportunities and Challenges

abstract: Millimeter-wave (mmWave) communication technology offers a potential and promising solution to support 5G and B5G wireless networks in dynamic scenarios and applications. However, mobility introduces many challenges as well as opportunities to mmWave applications. To address these problems, we conduct a survey of the opportunities and technologies to support mmWave communications in mobile scenarios. Firstly, we summarize the mobile scenarios where mmWave communications are exploited, including indoor wireless local area network (WLAN) or wireless personal area network (WPAN), cellular access, vehicle-to-everything (V2X), high speed train (HST), unmanned aerial vehicle (UAV), and the new space-air-ground-sea communication scenarios. Then, to address users' mobility impact on the system performance in different application scenarios, we introduce several representative mobility models in mmWave systems, including human mobility, vehicular mobility, high speed train mobility and ship mobility. Next we survey the key challenges and existing solutions to mmWave applications, such as channel modeling, channel estimation, anti-blockage, and capacity improvement. Lastly, we discuss the open issues concerning mobility-aware mmWave communications that deserve further investigation. In particular, we highlight future heterogeneous mobile networks, dynamic resource management, artificial intelligence (AI) for mobility and integration of geographical information, deployment of large intelligent surface and reconfigurable antenna technology, and finally, the evolution to Terahertz (THz) communications.


title: Power Transformations of Relative Count Data as a Shrinkage Problem

abstract: Here we show an application of our recently proposed information-geometric approach to compositional data analysis (CoDA). This application regards relative count data, which are, e.g., obtained from sequencing experiments. First we review in some detail a variety of necessary concepts ranging from basic count distributions and their information-geometric description over the link between Bayesian statistics and shrinkage to the use of power transformations in CoDA. We then show that powering, i.e., the equivalent to scalar multiplication on the simplex, can be understood as a shrinkage problem on the tangent space of the simplex. In information-geometric terms, traditional shrinkage corresponds to an optimization along a mixture (or m-) geodesic, while powering (or, as we call it, exponential shrinkage) can be optimized along an exponential (or e-) geodesic. While the m-geodesic corresponds to the posterior mean of the multinomial counts using a conjugate prior, the e-geodesic corresponds to an alternative parametrization of the posterior where prior and data contributions are weighted by geometric rather than arithmetic means. To optimize the exponential shrinkage parameter, we use mean-squared error as a cost function on the tangent space. This is just the expected squared Aitchison distance from the true parameter. We derive an analytic solution for its minimum based on the delta method and test it via simulations. We also discuss exponential shrinkage as an alternative to zero imputation for dimension reduction and data normalization.


title: The normal state of attractive Fermi gases from coupled-cluster theory

abstract: We introduce coupled-cluster (CC) theory for the numerical study of the normal state of two-component, dilute Fermi gases with attractive, short-range interactions at zero temperature. We focus on CC theory with double excitations (CCD) and discuss its close relationship with -- and improvement upon -- the t-matrix approximation, i.e., the resummation of ladder diagrams via a random-phase approximation. We further discuss its relationship with Chevy's variational wavefunction ansatz for the Fermi polaron and argue that CCD is its natural extension to nonzero minority species concentrations. Studying normal state energetics for a range of interaction strengths below and above unitarity, we find that CCD yields good agreement with fixed-node diffusion Monte Carlo. We find that CCD does not converge for small polarizations and large interaction strengths, which we speculatively attribute to the nascent instability to a superfluid state.


title: Optical Conductivity of the two dimensional Hubbard model: vertex corrections, emergent Galilean invariance and the accuracy of the single-site dynamical mean field approximation

abstract: We compute the frequency dependent conductivity of the two dimensional square lattice Hubbard model at zero temperature as a function of density to second order in the interaction strength, and compare the results to the predictions of single-site dynamical mean field theory computed at the same order. We find that despite the neglect of vertex corrections, the single site dynamical mean field approximation produces semiquantitatively accurate results for most carrier concentrations, but fails qualitatively for the nearly empty or nearly filled band cases where the theory exhibits an emergent Galilean invariance. The theory also becomes qualitatively inaccurate very near half filling if nesting is important.


title: Magnetic warping in topological insulators

abstract: We analyze the electronic structure of topological surface states in the family of magnetic topological insulators MnBi$_{2n}$Te$_{3n+1}$. We show that, at natural-cleavage surfaces, the Dirac cone warping changes its symmetry from hexagonal to trigonal at the magnetic ordering temperature. In particular, an energy splitting develops between the surface states of same band index but opposite surface momenta upon formation of the long-range magnetic order. As a consequence, measurements of such energy splittings constitute a simple protocol to detect the magnetic ordering via the surface electronic structure, alternative to the detection of the surface magnetic gap. Interestingly, while the latter signals a nonzero surface magnetic flux, the trigonal warping predicted here is, in addition, sensitive to the direction of the surface magnetic flux.


title: A Classification of $G$-invariant Shallow Neural Networks

abstract: When trying to fit a deep neural network (DNN) to a $G$-invariant target function with $G$ a group, it only makes sense to constrain the DNN to be $G$-invariant as well. However, there can be many different ways to do this, thus raising the problem of ``$G$-invariant neural architecture design'': What is the optimal $G$-invariant architecture for a given problem? Before we can consider the optimization problem itself, we must understand the search space, the architectures in it, and how they relate to one another. In this paper, we take a first step towards this goal; we prove a theorem that gives a classification of all $G$-invariant single-hidden-layer or ``shallow'' neural network ($G$-SNN) architectures with ReLU activation for any finite orthogonal group $G$, and we prove a second theorem that characterizes the inclusion maps or ``network morphisms'' between the architectures that can be leveraged during neural architecture search (NAS). The proof is based on a correspondence of every $G$-SNN to a signed permutation representation of $G$ acting on the hidden neurons; the classification is equivalently given in terms of the first cohomology classes of $G$, thus admitting a topological interpretation. The $G$-SNN architectures corresponding to nontrivial cohomology classes have, to our knowledge, never been explicitly identified in the literature previously. Using a code implementation, we enumerate the $G$-SNN architectures for some example groups $G$ and visualize their structure. Finally, we prove that architectures corresponding to inequivalent cohomology classes coincide in function space only when their weight matrices are zero, and we discuss the implications of this for NAS.


title: A Case Study of Building Shared Understanding of Non-Functional Requirements in a Remote Software Organization

abstract: Building a shared understanding of non-functional requirements (NFRs) is a known but understudied challenge in requirements engineering, especially in organizations that adopt continuous software engineering (CSE) practices. During the peak of the COVID-19 pandemic, many CSE organizations complied with working remotely due to the imposed health restrictions; some continued to work remotely while implementing business processes to facilitate team communication and productivity. In remote CSE organizations, managing NFRs becomes more challenging due to the limitations to team communication coupled with the incentive to deliver products quickly. While previous research has identified the factors that lead to a lack of shared understanding of NFRs in CSE, we still have a significant gap in understanding how CSE organizations, particularly in remote work, build a shared understanding of NFRs in their software development. We conduct a three-month ethnography-informed case study of a remote CSE organization. Through thematic analysis of our qualitative data from interviews and observations, we identify a number of practices in developing a shared understanding of NFRs. The collaborative workspace the organization uses for remote interaction is Gather, which simulates physical workspaces, and which our findings suggest allows for informal communications instrumental for building shared understanding. As actionable insights, we discuss our findings in light of proactive practices that represent opportunities for software organizations to invest in building a shared understanding of NFRs in their development.


title: A Large Scale Magneto-ionic Fluctuation in the Local Environment of Periodic Fast Radio Burst Source, FRB 20180916B

abstract: Fast radio burst (FRB) source 20180916B exhibits a 16.33-day periodicity in its burst activity. It is as of yet unclear what proposed mechanism produces the activity, but polarization information is a key diagnostic. Here, we report on the polarization properties of 44 bursts from FRB 20180916B detected between 2018 December and 2021 December by CHIME/FRB, the FRB project on the Canadian Hydrogen Intensity Mapping Experiment the Canadian Hydrogen Intensity Mapping Experiment. In contrast to previous observations, we find significant variations in the Faraday rotation measure (RM) of FRB 20180916B. Over the nine month period 2021 April$-$2021 December we observe an apparent secular increase in $\rm{RM}$ of $\sim 50 \; \rm{rad\, m^{-2}}$ (a fractional change of over $40\%$) that is accompanied by a possible drift of the emitting band to lower frequencies. This interval displays very little variation in the dispersion measure ($\Delta \rm{DM}\lesssim 0.8\; \rm{pc\, cm^{-3}}$) which indicates that the observed RM evolution is likely produced from coherent changes in the Faraday-active medium's magnetic field. Burst-to-burst RM variations appear unrelated to the activity cycle phase. The degree of linear polarization of our burst sample ($\gtrsim 80\%$) is consistent with the negligible depolarization expected for this source in the 400-800 MHz bandpass of CHIME. FRB 20180916B joins other repeating FRBs in displaying substantial RM variations between bursts. This is consistent with the notion that repeater progenitors may be associated with young stellar populations by their preferential occupation of dynamic magnetized environments commonly found in supernova remnants, pulsar wind nebulae or near high mass stellar companions.


title: On the Walsh and Fourier-Hadamard Supports of Boolean Functions From a Quantum Viewpoint

abstract: In this paper, we focus on the links between Boolean function theory and quantum computing. In particular, we study the notion of what we call fully-balanced functions and analyse the Fourier--Hadamard and Walsh supports of those functions having such property. We study the Walsh and Fourier supports of other relevant classes of functions, using what we call balancing sets. This leads us to revisit and complete certain classic results and to propose new ones. We complete our study by extending the previous results to pseudo-Boolean functions (in relation to vectorial functions) and giving an insight on its applications in the analysis of the possibilities that a certain family of quantum algorithms can offer.


title: Local operators in the Sine-Gordon model: $\partial_\mu \phi \, \partial_\nu \phi$ and the stress tensor

abstract: We consider the simplest non-trivial local composite operators in the massless Sine-Gordon model, which are $\partial_\mu \phi \, \partial_\nu \phi$ and the stress tensor $T_{\mu\nu}$. We show that even in the finite regime $\beta^2 < 4 \pi$ of the theory, these operators need additional renormalisation (beyond the free-field normal-ordering) at each order in perturbation theory. We further prove convergence of the renormalised perturbative series for their expectation values, both in the Euclidean signature and in Minkowski space-time, and for the latter in an arbitrary Hadamard state. Lastly, we show that one must add a quantum correction (proportional to $\hbar$) to the renormalised stress tensor to obtain a conserved quantity.


title: Entailment Tree Explanations via Iterative Retrieval-Generation Reasoner

abstract: Large language models have achieved high performance on various question answering (QA) benchmarks, but the explainability of their output remains elusive. Structured explanations, called entailment trees, were recently suggested as a way to explain and inspect a QA system's answer. In order to better generate such entailment trees, we propose an architecture called Iterative Retrieval-Generation Reasoner (IRGR). Our model is able to explain a given hypothesis by systematically generating a step-by-step explanation from textual premises. The IRGR model iteratively searches for suitable premises, constructing a single entailment step at a time. Contrary to previous approaches, our method combines generation steps and retrieval of premises, allowing the model to leverage intermediate conclusions, and mitigating the input size limit of baseline encoder-decoder models. We conduct experiments using the EntailmentBank dataset, where we outperform existing benchmarks on premise retrieval and entailment tree generation, with around 300% gain in overall correctness.


title: Energetic Particle Perpendicular Diffusion: Simulations and Theory in Noisy Reduced Magnetohydrodynamic Turbulence

abstract: The transport of energetic charged particles (e.g., cosmic rays) in turbulent magnetic fields is usually characterized in terms of the diffusion parallel and perpendicular to a large-scale (or mean) magnetic field. The nonlinear guiding center theory (NLGC) has been a prominent perpendicular diffusion theory. A recent version of this theory, based on random ballistic spreading of magnetic field lines and a backtracking correction (RBD/BC), has shown good agreement with test particle simulations for a two-component magnetic turbulence model. The aim of the present study is to test the generality of the improved theory by applying it to the noisy reduced magnetohydrodynamic (NRMHD) turbulence model, determining perpendicular diffusion coefficients that are compared with those from the field line random walk (FLRW) and unified nonlinear (UNLT) theories and our test particle simulations. The synthetic NRMHD turbulence model creates special conditions for energetic particle transport, with no magnetic fluctuations at higher parallel wavenumbers so there is no resonant parallel scattering if the particle Larmor radius $R_{\rm L}$ is even slightly smaller than the minimum resonant scale. This leads to non-monotonic variation in the parallel mean free path $\lambda_\parallel$ with $R_{\rm L}$. Among the theories considered, only RBD/BC matches simulations within a factor of two over the range of parameters considered. This accuracy is obtained even though the theory depends on $\lambda_\parallel$ and has no explicit dependence on $R_{\rm L}$. In addition, the UNLT theory often provides accurate results and even the FLRW limit provides a very simple and reasonable approximation in many cases.


title: Modeling Multi-hop Question Answering as Single Sequence Prediction

abstract: Fusion-in-decoder (Fid) (Izacard and Grave, 2020) is a generative question answering (QA) model that leverages passage retrieval with a pre-trained transformer and pushed the state of the art on single-hop QA. However, the complexity of multi-hop QA hinders the effectiveness of the generative QA approach. In this work, we propose a simple generative approach (PathFid) that extends the task beyond just answer generation by explicitly modeling the reasoning process to resolve the answer for multi-hop questions. By linearizing the hierarchical reasoning path of supporting passages, their key sentences, and finally the factoid answer, we cast the problem as a single sequence prediction task. To facilitate complex reasoning with multiple clues, we further extend the unified flat representation of multiple input documents by encoding cross-passage interactions. Our extensive experiments demonstrate that PathFid leads to strong performance gains on two multi-hop QA datasets: HotpotQA and IIRC. Besides the performance gains, PathFid is more interpretable, which in turn yields answers that are more faithfully grounded to the supporting passages and facts compared to the baseline Fid model.


title: Kinematic-Chemical analysis and Time tagging for the Diagonal Ridge Structure of the Galactic Outer Disk with LAMOST Red Giant Branch Stars

abstract: We investigate the kinematic-chemical distribution of Red Giant Branch (RGB) stars from the LAMOST survey crossed matched with Gaia DR2 proper motions, and present time tagging for the well-known ridge structures (diagonal distributions for $V_R$ in the $R$, $V_\phi$ plane) in the range of Galactocentric distance $R$ = 8 to 15 kpc. We detect six ridge structures, including five ridges apparent in the radial velocity distribution and three ridges apparent in the vertical velocity, the sensitive time of which to the perturbations are from young population (0$-$3 Gyr) to old population (9$-$14 Gyr). Based on an analysis of the evolution of angular momentum distribution, we find that four ridges are relatively stationary, while another is evolving with time, which is confirmed by the difference analysis at different populations and supporting that there might be two kinds of dynamical origins. Furthermore, ridge features are also vividly present in the chemical properties ([Fe/H], [$\alpha$/Fe]). The comparison between the north and south hemispheres of the Galaxy does show some differences and the ridge features are asymmetrical. Moreover, we find that diagonal ridge structures may affect the shape of the rotation curve, which is manifested as fluctuations and undulations on top of a smooth profile. Finally we speculate that the bar dynamics should be not enough to explain all ridge properties including the break feature in the $V_Z$-$L_Z$ plane.


title: Scalable Multi-view Clustering with Graph Filtering

abstract: With the explosive growth of multi-source data, multi-view clustering has attracted great attention in recent years. Most existing multi-view methods operate in raw feature space and heavily depend on the quality of original feature representation. Moreover, they are often designed for feature data and ignore the rich topology structure information. Accordingly, in this paper, we propose a generic framework to cluster both attribute and graph data with heterogeneous features. It is capable of exploring the interplay between feature and structure. Specifically, we first adopt graph filtering technique to eliminate high-frequency noise to achieve a clustering-friendly smooth representation. To handle the scalability challenge, we develop a novel sampling strategy to improve the quality of anchors. Extensive experiments on attribute and graph benchmarks demonstrate the superiority of our approach with respect to state-of-the-art approaches.


title: PromptDA: Label-guided Data Augmentation for Prompt-based Few-shot Learners

abstract: Recent advances in large pre-trained language models (PLMs) lead to impressive gains in natural language understanding (NLU) tasks with task-specific fine-tuning. However, directly fine-tuning PLMs heavily relies on sufficient labeled training instances, which are usually hard to obtain. Prompt-based tuning on PLMs has shown to be powerful for various downstream few-shot tasks. Existing works studying prompt-based tuning for few-shot NLU tasks mainly focus on deriving proper label words with a verbalizer or generating prompt templates to elicit semantics from PLMs. In addition, conventional data augmentation strategies such as synonym substitution, though widely adopted in low-resource scenarios, only bring marginal improvements for prompt-based few-shot learning. Thus, an important research question arises: how to design effective data augmentation methods for prompt-based few-shot tuning? To this end, considering the label semantics are essential in prompt-based tuning, we propose a novel label-guided data augmentation framework PromptDA, which exploits the enriched label semantic information for data augmentation. Extensive experiment results on few-shot text classification tasks demonstrate the superior performance of the proposed framework by effectively leveraging label semantics and data augmentation for natural language understanding. Our code is available at https://github.com/canyuchen/PromptDA.


title: ExploitWP2Docker: a Platform for Automating the Generation of Vulnerable WordPress Environments for Cyber Ranges

abstract: A cyber range is a realistic simulation of an organization's network infrastructure, commonly used for cyber security training purposes. It provides a safe environment to assess competencies in both offensive and defensive techniques. An important step during the realization of a cyber range is the generation of vulnerable machines. This step is challenging and requires a laborious manual configuration. Several works aim to reduce this overhead, but the current state-of-the-art focuses on generating network services without considering the effort required to build vulnerable environments for web applications. A cyber range should represent a real system, and nowadays, almost all the companies develop their company site by using WordPress, a common Content Management System (CMS), which is also one of the most critical attackers' entry points. The presented work proposes an approach to automatically create and configure vulnerable WordPress applications by using the information presented in public exploits. Our platform automatically extracts information from the most well-known publicly available exploit database in order to generate and configure vulnerable environments. The container-based virtualization is used to generate lightweight and easily deployable infrastructures. A final evaluation highlights promising results regarding the possibility of automating the generation of vulnerable environments through our approach.


title: Some properties of fuzzy $t$-norm and vague $t$-norm

abstract: Rosenfeld defined a fuzzy subgroup of group $G$ as a fuzzy subset of $G$ with two special conditions attached\cite{Rosenfeld1971Fuzzysubgroups}. In this paper, we introduce the fuzzy $t$-norms and vague $t$-norms. The unit interval with a $t$-norm or a $t$-conorm is a special monoid, so we mainly talk about fuzzy subsets of monoids and vague monoids. Firstly, we generalize some properties of $t$-norm to fuzzy $t$-subnorm, so that we can analyze and classify the fuzzy $t$-norms. Further, we explore specific research on these properties of the vague $t$-norm. In addition, the concept of lattice is introduced, and then the present conclusions are extended to bounded lattices. Finally, we define the concept of fuzzy monoids by aggregate functions, uninorms, nullnorms and draw the relevant results.