title: Modified BB84 quantum key distribution protocol robust to source imperfections

abstract: The Bennett-Brassard 1984 (BB84) protocol is the most widely implemented quantum key distribution (QKD) scheme. However, despite enormous theoretical and experimental efforts in the past decades, the security of this protocol with imperfect sources has not yet been rigorously established. In this work, we address this shortcoming and prove the security of the BB84 protocol in the presence of multiple source imperfections, including state preparation flaws and side channels, such as Trojan-horse attacks, mode dependencies and classical correlations between the emitted pulses. To do so, we consider a modified BB84 protocol that exploits the basis mismatched events, which are often discarded in standard security analyses of this scheme; and employ the reference technique, a powerful mathematical tool to accommodate source imperfections in the security analysis of QKD. Moreover, we compare the achievable secret-key rate of the modified BB84 protocol with that of the three-state loss-tolerant protocol, and show that the addition of a fourth state, while redundant in ideal conditions, significantly improves the estimation of the leaked information in the presence of source imperfections, resulting in a better performance. This work demonstrates the relevance of the BB84 protocol in guaranteeing implementation security, taking us a step further towards closing the existing gap between theory and practice of QKD.


title: online and lightweight kernel-based approximated policy iteration for dynamic p-norm linear adaptive filtering

abstract: This paper introduces a solution to the problem of selecting dynamically (online) the ``optimal'' p-norm to combat outliers in linear adaptive filtering without any knowledge on the probability density function of the outliers. The proposed online and data-driven framework is built on kernel-based reinforcement learning (KBRL). To this end, novel Bellman mappings on reproducing kernel Hilbert spaces (RKHSs) are introduced. These mappings do not require any knowledge on transition probabilities of Markov decision processes, and are nonexpansive with respect to the underlying Hilbertian norm. The fixed-point sets of the proposed Bellman mappings are utilized to build an approximate policy-iteration (API) framework for the problem at hand. To address the ``curse of dimensionality'' in RKHSs, random Fourier features are utilized to bound the computational complexity of the API. Numerical tests on synthetic data for several outlier scenarios demonstrate the superior performance of the proposed API framework over several non-RL and KBRL schemes.


title: Some Controllability Results for Linearized Compressible Navier-Stokes System with Maxwell's Law

abstract: In this article, we study the control aspects of the one-dimensional compressible Navier-Stokes equations with Maxwell's law linearized around a constant steady state with zero velocity. We consider the linearized system with Dirichlet boundary conditions and with interior controls. We prove that the system is not null controllable at any time using localized controls in density and stress equations and even everywhere control in the velocity equation. However, we show that the system is null controllable at any time if the control acting in the density or stress equation is everywhere in the domain. This is the best possible null controllability result obtained for this system. Next, we show that the system is approximately controllable at large time using localized controls. Thus, our results give a complete understanding of the system in this direction.


title: University of Cape Town's WMT22 System: Multilingual Machine Translation for Southern African Languages

abstract: The paper describes the University of Cape Town's submission to the constrained track of the WMT22 Shared Task: Large-Scale Machine Translation Evaluation for African Languages. Our system is a single multilingual translation model that translates between English and 8 South / South East African Languages, as well as between specific pairs of the African languages. We used several techniques suited for low-resource machine translation (MT), including overlap BPE, back-translation, synthetic training data generation, and adding more translation directions during training. Our results show the value of these techniques, especially for directions where very little or no bilingual training data is available.


title: Flow of lubricated granular material on an inclined plane

abstract: We have studied the gravity driven flow of spherical shaped, millimetric sized granular material coated with aspherical, micron-sized, near frictionless lubricant particles. Experiments were performed on an inclined plane using two different sized particles for varying concentrations of the lubricant. The particle volumetric flow rate exhibits a non-monotonic behavior with increasing lubricant concentration. It shows an increase at lower lubricant concentration followed by a decrease at higher lubricant concentration. The lubricant particles adhere to the granular particle surface thereby reducing the inter-particle friction. However, presence of lubricant particles at higher concentration damps out inter-particle collision thereby reducing the interparticle momentum transfer. Non-monotonicity in the observed behavior is then conjectured to arise due to competing effects of inter-particle friction and inter-particle collision. The present work and the overall observed behavior therein provides a simple experimental system to characterize the effects of added lubricant material in pharmaceutical and other relevant industrial applications.


title: Syntax-guided Localized Self-attention by Constituency Syntactic Distance

abstract: Recent works have revealed that Transformers are implicitly learning the syntactic information in its lower layers from data, albeit is highly dependent on the quality and scale of the training data. However, learning syntactic information from data is not necessary if we can leverage an external syntactic parser, which provides better parsing quality with well-defined syntactic structures. This could potentially improve Transformer's performance and sample efficiency. In this work, we propose a syntax-guided localized self-attention for Transformer that allows directly incorporating grammar structures from an external constituency parser. It prohibits the attention mechanism to overweight the grammatically distant tokens over close ones. Experimental results show that our model could consistently improve translation performance on a variety of machine translation datasets, ranging from small to large dataset sizes, and with different source languages.


title: Production of hot Jupiter candidates from high-eccentricity mechanisms for different initial planetary mass configurations

abstract: Hot Jupiters (HJs) are giant planets with orbital periods of the order of a few days with semimajor axis within $\sim$0.1 au. Several theories have been invoked in order to explain the origin of this type of planets, one of them being the high-eccentricity migration. This migration can occur through different high-eccentricity mechanisms. Our investigation focused on six different kinds of high-eccentricity mechanisms, namely, direct dispersion, coplanar, Kozai-Lidov, secular chaos, E1 and E2 mechanisms. We investigated the efficiency of these mechanisms for the production of HJ candidates in multi-planet systems initially tightly-packed in the semimajor axis, considering a large set of numerical simulations of the exact equations of motion in the context of the N-body problem. In particular, we analyzed the sensitivity of our results to the initial number of planets, the initial semimajor axis of the innermost planetary orbit, the initial configuration of planetary masses, and to the inclusion of general relativity effects. We found that the E1 mechanism is the most efficient in producing HJ candidates both in simulations with and without the contribution of general relativity, followed by the Kozai-Lidov and E2 mechanisms. Our results also revealed that, except for the initial equal planetary mass configuration, the E1 mechanism was notably efficient in the other initial planetary mass configurations considered in this work. Finally, we investigated the production of HJ candidates with prograde, retrograde, and alternating orbits. According to our statistical analysis, the Kozai-Lidov mechanism has the highest probability of significantly exciting the orbital inclinations of the HJ candidates.


title: RVE Analysis in LS-DYNA for High-fidelity Multiscale Material Modeling

abstract: In modern engineering designs, advanced materials (e.g., fiber/particle-reinforced polymers, metallic alloys, laminar composites, etc.) are widely used, where microscale heterogeneities such as grains, inclusions, voids, micro-cracks, and interfaces significantly affect the macroscopic constitutive behaviors. Obviously, an accurate description of the multiscale material behaviors is of great importance to the success of material design and structural analysis. The Representative Volume Element (RVE) analysis method provides a rigorous means to obtain homogenized macroscopic material properties at the upper length scale from the properties of the material constituents and structures at a lower length scale. Recently, we have developed an RVE module (keyword: *RVE_ANALYSIS_FEM) in the multiphysics simulation software LS-DYNA to enable high-fidelity virtual testing of numerically re-constructed material samples at user-specified characteristic length scales. In this article, a brief introduction to this new feature will be given.


title: Detecting Unintended Social Bias in Toxic Language Datasets

abstract: With the rise of online hate speech, automatic detection of Hate Speech, Offensive texts as a natural language processing task is getting popular. However, very little research has been done to detect unintended social bias from these toxic language datasets. This paper introduces a new dataset ToxicBias curated from the existing dataset of Kaggle competition named "Jigsaw Unintended Bias in Toxicity Classification". We aim to detect social biases, their categories, and targeted groups. The dataset contains instances annotated for five different bias categories, viz., gender, race/ethnicity, religion, political, and LGBTQ. We train transformer-based models using our curated datasets and report baseline performance for bias identification, target generation, and bias implications. Model biases and their mitigation are also discussed in detail. Our study motivates a systematic extraction of social bias data from toxic language datasets. All the codes and dataset used for experiments in this work are publicly available


title: Spatial Structure of the $^{12}$C Nucleus in a 3$\alpha$ Model with Deep Potentials Containing Forbidden States

abstract: The spatial structure of the lowest 0$_1^+$, 0$_2^+$, 2$_1^+$ and 2$_2^+$ states of the $^{12}$C nucleus is studied within the 3$\alpha$ model with the Buck, Friedrich, and Wheatley $\alpha \alpha$ potential with Pauli forbidden states in the $S$ and $D$ waves. The Pauli forbidden states in the three-body system are treated by the exact orthogonalization method. The largest contributions to the ground and excited 2$_1^+$ bound states energies come from the partial waves $(\lambda, \ell)=(2,2)$ and $(\lambda, \ell)=(4,4)$. As was found earlier, these bound states are created by the critical eigenstates of the three-body Pauli projector in the 0$^+$ and 2$^+$ functional spaces, respectively. These special eigenstates of the Pauli projector are responsible for the quantum phase transitions from a weakly bound "gas-like" phase to a deep "quantum liquid" phase. In contrast to the bound states, for the Hoyle resonance 0$_2^+$ and its analog state 2$_2^+$, dominant contributions come from the $(\lambda, \ell)=(0,0)$ and $(\lambda, \ell)=(2,2)$ configurations, respectively. The estimated probability density functions for the $^{12}$C(0$_1^+$) ground and 2$_1^+$ excited bound states show mostly a triangular structure, where the $\alpha$ particles move at a distance of about 2.5 fm from each other. However, the spatial structure of the Hoyle resonance and its analog state have a strongly different structure, like $^8$Be + $\alpha$. In the Hoyle state, the last $\alpha$ particle moves far from the doublet at the distance between $R=3.0$ fm and $R=5.0$ fm. In the Hoyle analog 2$_2^+$ state the two alpha particles move at a distance of about 15 fm, but the last $\alpha$ particle can move far from the doublet at the distance up to $R=30.0$ fm.


title: Deriving median disk lifetimes from disk lifetime distributions

abstract: Observations show that individual protoplanetary disk lifetimes vary from \mbox{$<$ 1 Myr} to $\gg$ 20 Myr. The disk lifetime distribution is currently unknown. For the example of a Gaussian distribution of the disk lifetime, I suggest a simple method for deducing such a disk lifetimes distribution. The median disk lifetimes inferred with this method is also shown.


title: Emergent many-body composite excitations of interacting spin-1/2 trimers

abstract: Understanding exotic forms of magnetism in quantum spin systems is an emergent topic of modern condensed matter physics. Quantum dynamics can be described by particle-like carriers of information, known-as quasiparticles that appear from the collective behaviour of the underlying system. Spinon excitations, governing the excitations of quantum spin-systems, have been accurately calculated and precisely verified experimentally for the antiferromagnetic chain model. However, identification and characterization of novel quasiparticles emerging from the topological excitations of the spin system having periodic exchange interactions are yet to be obtained. Here, we report the identification of emergent composite excitations of the novel quasiparticles doublons and quartons in spin-1/2 trimer-chain antiferromagnet Na2Cu3Ge4O12 (having periodic intrachain exchange interactions J1-J1-J2) and its topologically protected quantum 1/3 magnetization-plateau state. The characteristic energies, dispersion relations, and dynamical structure factor of neutron scattering as well as macroscopic quantum 1/3 magnetization-plateau state are in good agreement with the state-of-the-art dynamical density matrix renormalization group calculations.


title: CEFR-Based Sentence Difficulty Annotation and Assessment

abstract: Controllable text simplification is a crucial assistive technique for language learning and teaching. One of the primary factors hindering its advancement is the lack of a corpus annotated with sentence difficulty levels based on language ability descriptions. To address this problem, we created the CEFR-based Sentence Profile (CEFR-SP) corpus, containing 17k English sentences annotated with the levels based on the Common European Framework of Reference for Languages assigned by English-education professionals. In addition, we propose a sentence-level assessment model to handle unbalanced level distribution because the most basic and highly proficient sentences are naturally scarce. In the experiments in this study, our method achieved a macro-F1 score of 84.5% in the level assessment, thus outperforming strong baselines employed in readability assessment.


title: The invariant measure of a walking droplet in hydrodynamic pilot-wave theory

abstract: We study the long time statistics of a walker in a hydrodynamic pilot-wave system, which is a stochastic Langevin dynamics with an external potential and memory kernel. While prior experiments and numerical simulations have indicated that the system may reach a statistically steady state, its long-time behavior has not been studied rigorously. For a broad class of external potentials and pilot-wave forces, we construct the solutions as a dynamics evolving on suitable path spaces. Then, under the assumption that the pilot-wave force is dominated by the potential, we demonstrate that the walker possesses a unique statistical steady state. We conclude by presenting an example of such an invariant measure, as obtained from a numerical simulation of a walker in a harmonic potential.


title: Augmentation with Projection: Towards an Effective and Efficient Data Augmentation Paradigm for Distillation

abstract: Knowledge distillation is one of the primary methods of transferring knowledge from large to small models. However, it requires massive task-specific data, which may not be plausible in many real-world applications. Data augmentation methods such as representation interpolation, token replacement, or augmentation with models are applied to tackle this problem. However, these data augmentation methods either potentially cause shifts in decision boundaries (representation interpolation), are not expressive enough (token replacement), or introduce too much computational overhead (augmentation with models). To this end, we propose AugPro (Augmentation with Projection), an effective and efficient data augmentation method for distillation. Our method builds on top of representation interpolation augmentation methods to maintain the diversity of expressions and converts the augmented data to tokens to avoid shifting decision boundaries. It uses simple operations that come with little computational overhead. The results on multiple GLUE tasks show that our methods can improve distillation performance by a large margin at a low time cost. Codes are available at https://github.com/google-research/google-research/tree/master/augpro.


title: Stabilization of superconductivity by metamagnetism in an easy-axis magnetic field on UTe$_2$

abstract: Influence of metamagnetism on superconductivity is studied for the field along an easy $a$-axis by AC magnetic susceptibility, magnetization, and magnetocaloric effect (MCE) in UTe$_2$. The improvement of crystal quality leads to an upward curvature of $T_c$($B$) above 6 T, that results in a largely enhanced upper critical field of 12 T. The entropy analysis also shows a metamagnetic crossover around 6 T. The sharp negative peak in MCE below $T_c$ indicates that the crossover becomes a transition of first-order character in the superconducting state. Our results shows that metamagnetism induces a transition inside the superconducting phase and stabilizes the superconductivity for the field along the easy axis.


title: Hamilton completion and the path cover number of sparse random graphs

abstract: We prove that for every $\varepsilon > 0$ there is $c_0$ such that if $G\sim G(n,c/n)$, $c\ge c_0$, then with high probability $G$ can be covered by at most $(1+\varepsilon)\cdot \frac{1}{2}ce^{-c} \cdot n$ vertex disjoint paths, which is essentially tight. This is equivalent to showing that, with high probability, at most $(1+\varepsilon)\cdot \frac{1}{2}ce^{-c} \cdot n$ edges can be added to $G$ to create a Hamiltonian graph.


title: InforMask: Unsupervised Informative Masking for Language Model Pretraining

abstract: Masked language modeling is widely used for pretraining large language models for natural language understanding (NLU). However, random masking is suboptimal, allocating an equal masking rate for all tokens. In this paper, we propose InforMask, a new unsupervised masking strategy for training masked language models. InforMask exploits Pointwise Mutual Information (PMI) to select the most informative tokens to mask. We further propose two optimizations for InforMask to improve its efficiency. With a one-off preprocessing step, InforMask outperforms random masking and previously proposed masking strategies on the factual recall benchmark LAMA and the question answering benchmark SQuAD v1 and v2.


title: Analysis of the gradient for the stochastic fractional heat equation with spatially-colored noise in $\mathbb R^d$

abstract: Consider the stochastic partial differential equation $$ \frac{\partial }{\partial t}u_t(\mathbf{x})= -(-\Delta)^{\frac{\alpha}{2}}u_t(\mathbf{x}) +b\left(u_t(\mathbf{x})\right)+\sigma\left(u_t(\mathbf{x})\right) \dot F(t, \mathbf{x}), \ \ \ t\ge0, \mathbf{x}\in \mathbb R^d, $$ where $-(-\Delta)^{\frac{\alpha}{2}}$ denotes the fractional Laplacian with the power $\alpha/2\in (1/2,1]$, and the driving noise $\dot F$ is a centered Gaussian field which is white in time and with a spatial homogeneous covariance given by the Riesz kernel. We study the detailed behavior of the approximation spatial gradient $u_t(\mathbf{x})-u_t(\mathbf{x}-\varepsilon \mathbf e)$ at any fixed time $t>0$, as $\varepsilon\downarrow 0$, where $\mathbf e$ is the unit vector in $\mathbb R^d$. As applications, we deduce the law of iterated logarithm and the behavior of the $q$-variations of the solution in space.


title: SimANS: Simple Ambiguous Negatives Sampling for Dense Text Retrieval

abstract: Sampling proper negatives from a large document pool is vital to effectively train a dense retrieval model. However, existing negative sampling strategies suffer from the uninformative or false negative problem. In this work, we empirically show that according to the measured relevance scores, the negatives ranked around the positives are generally more informative and less likely to be false negatives. Intuitively, these negatives are not too hard (\emph{may be false negatives}) or too easy (\emph{uninformative}). They are the ambiguous negatives and need more attention during training. Thus, we propose a simple ambiguous negatives sampling method, SimANS, which incorporates a new sampling probability distribution to sample more ambiguous negatives. Extensive experiments on four public and one industry datasets show the effectiveness of our approach. We made the code and models publicly available in \url{https://github.com/microsoft/SimXNS}.


title: Left ideal LRPC codes and a ROLLO-type cryptosystem based on group algebras

abstract: In this paper we introduce left ideal low-rank parity-check codes by using group algebras and we finally use them to extend ROLLO-I KEM.


title: Asymptotic Stability of port-Hamiltonian Systems

abstract: We characterise asymptotic stability of port-Hamiltonian systems by means of matrix conditions using well-known resolvent criteria from $C_0$-semigroup theory. The idea of proof is based on a recent characterisation of exponential stability established in [Trostorff, Waurick, arXiv:2201.10367], which was inspired by a structural observation concerning port-Hamiltonian systems from [Picard et al., arXiv:2106.10937, accepted in SIAM SICON]. We apply the result to study the asymptotic stability of a network of vibrating strings.


title: A footnote to a theorem of Kawamata

abstract: Kawamata has shown that the quasi-Albanese map of a quasi-projective variety with log-irregularity equal to the dimension and log-Kodaira dimension 0 is birational. In this note we show that under these hypotheses the quasi-Albanese map is proper in codimension 1 as conjectured by Iitaka.


title: Analyzing and Evaluating Faithfulness in Dialogue Summarization

abstract: Dialogue summarization is abstractive in nature, making it suffer from factual errors. The factual correctness of summaries has the highest priority before practical applications. Many efforts have been made to improve faithfulness in text summarization. However, there is a lack of systematic study on dialogue summarization systems. In this work, we first perform the fine-grained human analysis on the faithfulness of dialogue summaries and observe that over 35% of generated summaries are faithfully inconsistent respective the source dialogues. Furthermore, we present a new model-level faithfulness evaluation method. It examines generation models with multi-choice questions created by rule-based transformations. Experimental results show that our evaluation schema is a strong proxy for the factual correctness of summarization models. The human-annotated faithfulness samples and the evaluation toolkit are released to facilitate future research toward faithful dialogue summarization.


title: Rerouting Planar Curves and Disjoint Paths

abstract: In this paper, we consider a transformation of $k$ disjoint paths in a graph. For a graph and a pair of $k$ disjoint paths $\mathcal{P}$ and $\mathcal{Q}$ connecting the same set of terminal pairs, we aim to determine whether $\mathcal{P}$ can be transformed to $\mathcal{Q}$ by repeatedly replacing one path with another path so that the intermediates are also $k$ disjoint paths. The problem is called Disjoint Paths Reconfiguration. We first show that Disjoint Paths Reconfiguration is PSPACE-complete even when $k=2$. On the other hand, we prove that, when the graph is embedded on a plane and all paths in $\mathcal{P}$ and $\mathcal{Q}$ connect the boundaries of two faces, Disjoint Paths Reconfiguration can be solved in polynomial time. The algorithm is based on a topological characterization for rerouting curves on a plane using the algebraic intersection number. We also consider a transformation of disjoint $s$-$t$ paths as a variant. We show that the disjoint $s$-$t$ paths reconfiguration problem in planar graphs can be determined in polynomial time, while the problem is PSPACE-complete in general.


title: Reaching Through Latent Space: From Joint Statistics to Path Planning in Manipulation

abstract: We present a novel approach to path planning for robotic manipulators, in which paths are produced via iterative optimisation in the latent space of a generative model of robot poses. Constraints are incorporated through the use of constraint satisfaction classifiers operating on the same space. Optimisation leverages gradients through our learned models that provide a simple way to combine goal reaching objectives with constraint satisfaction, even in the presence of otherwise non-differentiable constraints. Our models are trained in a task-agnostic manner on randomly sampled robot poses. In baseline comparisons against a number of widely used planners, we achieve commensurate performance in terms of task success, planning time and path length, performing successful path planning with obstacle avoidance on a real 7-DoF robot arm.


title: Correlating sparse sensing for large-scale traffic speed estimation: A Laplacian-enhanced low-rank tensor kriging approach

abstract: Traffic speed is central to characterizing the fluidity of the road network. Many transportation applications rely on it, such as real-time navigation, dynamic route planning, and congestion management. Rapid advances in sensing and communication techniques make traffic speed detection easier than ever. However, due to sparse deployment of static sensors or low penetration of mobile sensors, speeds detected are incomplete and far from network-wide use. In addition, sensors are prone to error or missing data due to various kinds of reasons, speeds from these sensors can become highly noisy. These drawbacks call for effective techniques to recover credible estimates from the incomplete data. In this work, we first identify the issue as a spatiotemporal kriging problem and propose a Laplacian enhanced low-rank tensor completion (LETC) framework featuring both lowrankness and multi-dimensional correlations for large-scale traffic speed kriging under limited observations. To be specific, three types of speed correlation including temporal continuity, temporal periodicity, and spatial proximity are carefully chosen and simultaneously modeled by three different forms of graph Laplacian, named temporal graph Fourier transform, generalized temporal consistency regularization, and diffusion graph regularization. We then design an efficient solution algorithm via several effective numeric techniques to scale up the proposed model to network-wide kriging. By performing experiments on two public million-level traffic speed datasets, we finally draw the conclusion and find our proposed LETC achieves the state-of-the-art kriging performance even under low observation rates, while at the same time saving more than half computing time compared with baseline methods. Some insights into spatiotemporal traffic data modeling and kriging at the network level are provided as well.


title: Line-Graph Approach to Spiral Spin Liquids

abstract: Competition among exchange interactions is able to induce novel spin correlations on a bipartite lattice without geometrical frustration. A prototype example is the spiral spin liquid, which is a correlated paramagnetic state characterized by sub-dimensional degenerate propagation vectors. Here, using spectral graph theory, we show that spiral spin liquids on a bipartite lattice can be approximated by a further-neighbor model on the corresponding line-graph lattice that is non-bipartite, thus broadening the space of candidate materials that may support the spiral spin liquid phases. As illustrations, we examine neutron scattering experiments performed on two spinel compounds, ZnCr$_2$Se$_4$ and CuInCr$_4$Se$_8$, to demonstrate the feasibility of this new approach and expose its possible limitations in experimental realizations.


title: The geometric data on the boundary of convex subsets of hyperbolic manifolds

abstract: Let $N$ be a geodesically convex subset in a convex co-compact hyperbolic manifold $M$ with incompressible boundary. We assume that each boundary component of $N$ is either a boundary component of $\partial_\infty M$, or a smooth, locally convex surface in $M$. We show that $N$ is uniquely determined by the boundary data defined by the conformal structure on the boundary components at infinity, and by either the induced metric or the third fundamental form on the boundary components which are locally convex surfaces. We also describe the possible boundary data. This provides an extension of both the hyperbolic Weyl problem and the Ahlfors-Bers Theorem. Using this statement for quasifuchsian manifolds, we obtain existence results for similar questions for convex domains $\Omega\subset \HH^3$ which meets the boundary at infinity $\partial_{\infty}\HH^3$ either along a quasicircle or along a quasidisk. The boundary data then includes either the induced metric or the third fundamental form in $\HH^3$, but also an additional "gluing" data between different components of the boundary, either in $\HH^3$ or in $\partial_\infty\HH^3$.


title: DARWIN: Survival of the Fittest Fuzzing Mutators

abstract: Fuzzing is an automated software testing technique broadly adopted by the industry. A popular variant is mutation-based fuzzing, which discovers a large number of bugs in practice. While the research community has studied mutation-based fuzzing for years now, the algorithms' interactions within the fuzzer are highly complex and can, together with the randomness in every instance of a fuzzer, lead to unpredictable effects. Most efforts to improve this fragile interaction focused on optimizing seed scheduling. However, real-world results like Google's FuzzBench highlight that these approaches do not consistently show improvements in practice. Another approach to improve the fuzzing process algorithmically is optimizing mutation scheduling. Unfortunately, existing mutation scheduling approaches also failed to convince because of missing real-world improvements or too many user-controlled parameters whose configuration requires expert knowledge about the target program. This leaves the challenging problem of cleverly processing test cases and achieving a measurable improvement unsolved. We present DARWIN, a novel mutation scheduler and the first to show fuzzing improvements in a realistic scenario without the need to introduce additional user-configurable parameters, opening this approach to the broad fuzzing community. DARWIN uses an Evolution Strategy to systematically optimize and adapt the probability distribution of the mutation operators during fuzzing. We implemented a prototype based on the popular general-purpose fuzzer AFL. DARWIN significantly outperforms the state-of-the-art mutation scheduler and the AFL baseline in our own coverage experiment, in FuzzBench, and by finding 15 out of 21 bugs the fastest in the MAGMA benchmark. Finally, DARWIN found 20 unique bugs (including one novel bug), 66% more than AFL, in widely-used real-world applications.


title: A Simple Deterministic Distributed Low-Diameter Clustering

abstract: We give a simple, local process for nodes in an undirected graph to form non-adjacent clusters that (1) have at most a polylogarithmic diameter and (2) contain at least half of all vertices. Efficient deterministic distributed clustering algorithms for computing strong-diameter network decompositions and other key tools follow immediately. Overall, our process is a direct and drastically simplified way for computing these fundamental objects.


title: Effective Mg Incorporation in CdMgO Alloy on Quartz Substrate Grown by Plasma-assisted MBE

abstract: The development of CdMgO ternary alloy with a single cubic phase is challenging but meaningful work for technological advancement. In this work, we have grown a series of Cd1-xMgxO ternary random alloys with various Mg concentrations (x = 0, 30, 32, 45, and 55%) on quartz substrate by plasma-assisted molecular beam epitaxy (PA-MBE) technique. The structural investigations of alloys were performed using the X-ray diffraction (XRD) technique. The decreases in average crystallite size and lattice parameters were observed with an increase in Mg content in the alloys. XRD analysis confirms a single cubic phase is obtained for alloy compositions. The elemental and morphological studies were carried out using energy dispersive x-ray (EDX) spectroscopy and atomic force microscope (AFM) technique, respectively. The optical investigation was carried out using UV-Vis spectroscopy. The optical bandgaps were estimated using the Tauc relation and it was varied from 2.34 eV to 3.47 eV by varying the Mg content from zero to 55% in the alloys. The Urbach energy increases from 112 meV to 350 meV which suggests a more disordered localized state with an increase in Mg incorporation in the alloys.


title: A Q# Implementation of a Quantum Lookup Table for Quantum Arithmetic Functions

abstract: In this paper, we present Q# implementations for arbitrary single-variabled fixed-point arithmetic operations for a gate-based quantum computer based on lookup tables (LUTs). In general, this is an inefficent way of implementing a function since the number of inputs can be large or even infinite. However, if the input domain can be bounded and there can be some error tolerance in the output (both of which are often the case in practical use-cases), the quantum LUT implementation of certain quantum arithmetic functions can be more efficient than their corresponding reversible arithmetic implementations. We discuss the implementation of the LUT using Q\# and its approximation errors. We then show examples of how to use the LUT to implement quantum arithmetic functions and compare the resources required for the implementation with the current state-of-the-art bespoke implementations of some commonly used arithmetic functions. The implementation of the LUT is designed for use by practitioners to use when implementing end-to-end quantum algorithms. In addition, given its well-defined approximation errors, the LUT implementation makes for a clear benchmark for evaluating the efficiency of bespoke quantum arithmetic circuits .


title: Modeling Document-level Temporal Structures for Building Temporal Dependency Graphs

abstract: We propose to leverage news discourse profiling to model document-level temporal structures for building temporal dependency graphs. Our key observation is that the functional roles of sentences used for profiling news discourse signify different time frames relevant to a news story and can, therefore, help to recover the global temporal structure of a document. Our analyses and experiments with the widely used knowledge distillation technique show that discourse profiling effectively identifies distant inter-sentence event and (or) time expression pairs that are temporally related and otherwise difficult to locate.


title: Groups having $11$ or $12$ cyclic subgroups

abstract: A group is $n$-cyclic if it has exactly $n$ cyclic subgroups. In this paper, we classify $11$-cyclic groups and $12$-cyclic groups.


title: Length minima for an infinite family of filling closed curves on a one-holed torus

abstract: We explicitly find the minima as well as the minimum points of the geodesic length functions for the family of filling (hence non-simple) closed curves, $a^2b^n$ ($n\ge 3$), on a complete one-holed hyperbolic torus in its relative Teichm\"uller space, where $a, b$ are simple closed curves on the one-holed torus which intersect exactly once transversely. This provides concrete examples for the problem to minimize the geodesic length of a fixed filling closed curve on a complete hyperbolic surface of finite type in its relative Teichm\"uller space.


title: FoSR: First-order spectral rewiring for addressing oversquashing in GNNs

abstract: Graph neural networks (GNNs) are able to leverage the structure of graph data by passing messages along the edges of the graph. While this allows GNNs to learn features depending on the graph structure, for certain graph topologies it leads to inefficient information propagation and a problem known as oversquashing. This has recently been linked with the curvature and spectral gap of the graph. On the other hand, adding edges to the message-passing graph can lead to increasingly similar node representations and a problem known as oversmoothing. We propose a computationally efficient algorithm that prevents oversquashing by systematically adding edges to the graph based on spectral expansion. We combine this with a relational architecture, which lets the GNN preserve the original graph structure and provably prevents oversmoothing. We find experimentally that our algorithm outperforms existing graph rewiring methods in several graph classification tasks.


title: Cross-chain Swaps with Preferences

abstract: Extreme valuation and volatility of cryptocurrencies require investors to diversify often which demands secure exchange protocols. A cross-chain swap protocol allows distrusting parties to securely exchange their assets. However, the current models and protocols assume predefined user preferences for acceptable outcomes. This paper presents a generalized model of swaps that allows each party to specify its preferences on the subsets of its incoming and outgoing assets. It shows that the existing swap protocols are not necessarily a strong Nash equilibrium in this model. It characterizes the class of swap graphs that have protocols that are safe, live and a strong Nash equilibrium, and presents such a protocol for this class. Further, it shows that deciding whether a swap is in this class is NP-hard through a reduction from 3SAT, and further is $\Sigma_2^{\mathsf{P}}$-complete through a reduction from $\exists\forall\mathsf{DNF}$.


title: $1/f$ noise from the sequence of nonoverlapping rectangular pulses

abstract: We analyze the power spectral density of a signal composed of nonoverlapping rectangular pulses. First, we derive a general formula for the power spectral density of a signal constructed from the sequence of nonoverlapping pulses. Then we perform a detailed analysis of the rectangular pulse case. We show that pure $1/f$ noise can be observed until extremely low frequencies when the characteristic pulse (or gap) duration is long in comparison to the characteristic gap (or pulse) duration, and gap (or pulse) durations are power-law distributed. The obtained results hold for the ergodic and weakly nonergodic processes.


title: Three-Dimensional Kinematics of Classical Cepheids

abstract: A linear Ogorodnikov-Milne model is applied to study the three-dimensional kinematics of classical Cepheids in the Milky Way. A sample of 832 classical Cepheids from Mr'oz et al. (2019) with distances, line-of-sight velocities, and proper motions from the Gaia DR2 catalogue is used. The Cepheid space velocities have been freed from the differential Galactic rotation found by us previously based on a nonlinear rotation model. Based on a complete Ogorodnikov-Milne model, involving the line-of-sight velocities and proper motions of stars, we have estimated the angular velocity of rotation around the Galactic $y$ axis, $\Omega_y=0.64\pm0.17$~km s$^{-1}$ kpc$^{-1}$. We think that this rotation is associated with the warp of the Galactic thin disk. Our calculations using only the proper motions of Cepheids under the assumption of no deformations due to the disk warp have shown the presence of a residual rotation around the $y$ axis with an angular velocity $\Omega_y=0.54\pm0.15$~km s$^{-1}$ kpc$^{-1}$ and the presence of a positive rotation around the $x$ axis with an angular velocity $\Omega_x=0.33\pm0.10$~km s$^{-1}$ kpc$^{-1}$.


title: Diffuser: Efficient Transformers with Multi-hop Attention Diffusion for Long Sequences

abstract: Efficient Transformers have been developed for long sequence modeling, due to their subquadratic memory and time complexity. Sparse Transformer is a popular approach to improving the efficiency of Transformers by restricting self-attention to locations specified by the predefined sparse patterns. However, leveraging sparsity may sacrifice expressiveness compared to full-attention, when important token correlations are multiple hops away. To combine advantages of both the efficiency of sparse transformer and the expressiveness of full-attention Transformer, we propose \textit{Diffuser}, a new state-of-the-art efficient Transformer. Diffuser incorporates all token interactions within one attention layer while maintaining low computation and memory costs. The key idea is to expand the receptive field of sparse attention using Attention Diffusion, which computes multi-hop token correlations based on all paths between corresponding disconnected tokens, besides attention among neighboring tokens. Theoretically, we show the expressiveness of Diffuser as a universal sequence approximator for sequence-to-sequence modeling, and investigate its ability to approximate full-attention by analyzing the graph expander property from the spectral perspective. Experimentally, we investigate the effectiveness of Diffuser with extensive evaluations, including language modeling, image modeling, and Long Range Arena (LRA). Evaluation results show that Diffuser achieves improvements by an average of 0.94% on text classification tasks and 2.30% on LRA, with 1.67$\times$ memory savings compared to state-of-the-art benchmarks, which demonstrates superior performance of Diffuser in both expressiveness and efficiency aspects.


title: PoseScript: Linking 3D Human Poses and Natural Language

abstract: Natural language plays a critical role in many computer vision applications, such as image captioning, visual question answering, and cross-modal retrieval, to provide fine-grained semantic information. Unfortunately, while human pose is key to human understanding, current 3D human pose datasets lack detailed language descriptions. To address this issue, we have introduced the PoseScript dataset. This dataset pairs more than six thousand 3D human poses from AMASS with rich human-annotated descriptions of the body parts and their spatial relationships. Additionally, to increase the size of the dataset to a scale that is compatible with data-hungry learning algorithms, we have proposed an elaborate captioning process that generates automatic synthetic descriptions in natural language from given 3D keypoints. This process extracts low-level pose information, known as "posecodes", using a set of simple but generic rules on the 3D keypoints. These posecodes are then combined into higher level textual descriptions using syntactic rules. With automatic annotations, the amount of available data significantly scales up (100k), making it possible to effectively pretrain deep models for finetuning on human captions. To showcase the potential of annotated poses, we present three multi-modal learning tasks that utilize the PoseScript dataset. Firstly, we develop a pipeline that maps 3D poses and textual descriptions into a joint embedding space, allowing for cross-modal retrieval of relevant poses from large-scale datasets. Secondly, we establish a baseline for a text-conditioned model generating 3D poses. Thirdly, we present a learned process for generating pose descriptions. These applications demonstrate the versatility and usefulness of annotated poses in various tasks and pave the way for future research in the field.


title: Differentiable Constrained Imitation Learning for Robot Motion Planning and Control

abstract: Motion planning and control are crucial components of robotics applications like automated driving. Here, spatio-temporal hard constraints like system dynamics and safety boundaries (e.g., obstacles) restrict the robot's motions. Direct methods from optimal control solve a constrained optimization problem. However, in many applications finding a proper cost function is inherently difficult because of the weighting of partially conflicting objectives. On the other hand, Imitation Learning (IL) methods such as Behavior Cloning (BC) provide an intuitive framework for learning decision-making from offline demonstrations and constitute a promising avenue for planning and control in complex robot applications. Prior work primarily relied on soft constraint approaches, which use additional auxiliary loss terms describing the constraints. However, catastrophic safety-critical failures might occur in out-of-distribution (OOD) scenarios. This work integrates the flexibility of IL with hard constraint handling in optimal control. Our approach constitutes a general framework for constraint robotic motion planning and control, as well as traffic agent simulation, whereas we focus on mobile robot and automated driving applications. Hard constraints are integrated into the learning problem in a differentiable manner, via explicit completion and gradient-based correction. Simulated experiments of mobile robot navigation and automated driving provide evidence for the performance of the proposed method.


title: Hybridised multigrid preconditioners for a compatible finite element dynamical core

abstract: Compatible finite element discretisations for the atmospheric equations of motion have recently attracted considerable interest. Semi-implicit timestepping methods require the repeated solution of a large saddle-point system of linear equations. Preconditioning this system is challenging since the velocity mass matrix is non-diagonal, leading to a dense Schur complement. Hybridisable discretisations overcome this issue: weakly enforcing continuity of the velocity field with Lagrange multipliers leads to a sparse system of equations, which has a similar structure to the pressure Schur complement in traditional approaches. We describe how the hybridised sparse system can be preconditioned with a non-nested two-level preconditioner. To solve the coarse system, we use the multigrid pressure solver that is employed in the approximate Schur complement method previously proposed by the some of the authors. Our approach significantly reduces the number of solver iterations. The method shows excellent performance and scales to large numbers of cores in the Met Office next-generation climate- and weather prediction model LFRic.

categories: physics.comp-ph cs.NA math.NA physics.flu-dyn


title: On Krull-Gabriel dimension of cluster repetitive categories and cluster-tilted algebras

abstract: Assume that $K$ is an algebraically closed field and denote by $KG(R)$ the Krull-Gabriel dimension of $R$, where $R$ is a locally bounded $K$-category (or a bound quiver $K$-algebra). Assume that $C$ is a tilted $K$-algebra and $\widehat{C},\check{C},\widetilde{C}$ are the associated repetitive category, cluster repetitive category and cluster-tilted algebra, respectively. Our first result states that $KG(\widetilde{C})=KG(\check{C})\leq KG(\widehat{C})$. Since the Krull-Gabriel dimensions of tame locally support-finite repetitive categories are known, we further conclude that $KG(\widetilde{C})=KG(\check{C})=KG(\widehat{C})\in\{0,2,\infty\}$. Finally, in the Appendix Grzegorz Bobi\'nski presents a different way of determining the Krull-Gabriel dimension of the cluster-tilted algebras, by applying results of Geigle.


title: Large Quality Factor Enhancement Based on Cascaded Uniform Lithium Niobate Bichromatic Photonic Crystal Cavities

abstract: In this paper, by cascading several bichromatic photonic crystals we demonstrate that the quality factor can be much larger compared with that in an isolated cavity without increasing the total size of the device. We take lithium niobate photonic crystal as an example to illustrate that the simulated quality factor of the cascaded cavity can attain 10^5 with a 70{\deg} slant angle, which is an order of magnitude larger than that in isolated cavity. The device can be fabricated easily by current etching technique for lithium niobate. We have fabricated the proposed device experimentally including holes with 70{\deg} slant angle. This work is expected to provide guidance to the design of photonic crystal cavity with high-quality factor.


title: Rescue Implicit and Long-tail Cases: Nearest Neighbor Relation Extraction

abstract: Relation extraction (RE) has achieved remarkable progress with the help of pre-trained language models. However, existing RE models are usually incapable of handling two situations: implicit expressions and long-tail relation types, caused by language complexity and data sparsity. In this paper, we introduce a simple enhancement of RE using $k$ nearest neighbors ($k$NN-RE). $k$NN-RE allows the model to consult training relations at test time through a nearest-neighbor search and provides a simple yet effective means to tackle the two issues above. Additionally, we observe that $k$NN-RE serves as an effective way to leverage distant supervision (DS) data for RE. Experimental results show that the proposed $k$NN-RE achieves state-of-the-art performances on a variety of supervised RE datasets, i.e., ACE05, SciERC, and Wiki80, along with outperforming the best model to date on the i2b2 and Wiki80 datasets in the setting of allowing using DS. Our code and models are available at: https://github.com/YukinoWan/kNN-RE.


title: Random Actions vs Random Policies: Bootstrapping Model-Based Direct Policy Search

abstract: This paper studies the impact of the initial data gathering method on the subsequent learning of a dynamics model. Dynamics models approximate the true transition function of a given task, in order to perform policy search directly on the model rather than on the costly real system. This study aims to determine how to bootstrap a model as efficiently as possible, by comparing initialization methods employed in two different policy search frameworks in the literature. The study focuses on the model performance under the episode-based framework of Evolutionary methods using probabilistic ensembles. Experimental results show that various task-dependant factors can be detrimental to each method, suggesting to explore hybrid approaches.


title: Postural balance asymmetry and subsequent noncontact lower extremity musculoskeletal injuries among Tunisian soccer players with groin pain: A prospective case control study

abstract: Background: Recent studies reported postural balance disorders in patients and soccer players with groin pain (GP) compared to controls. Since postural balance asymmetry identified after an initial injury contributes for subsequent injuries, identification of this asymmetry in soccer players with GP may highlight the risk of sustaining subsequent noncontact lower extremity musculoskeletal injuries in these players. Therefore, the aims of this study were to (i) examine static and dynamic unipedal postural balance asymmetry in soccer players with GP compared to healthy ones, and (ii) quantify the risk of subsequent noncontact lower extremity injuries in these players. Research question: Do soccer players with GP exhibit higher static and dynamic unipedal postural balance asymmetry, and higher risk of sustaining subsequent injuries compared to controls. Methods: In this prospective case control study, 27 soccer players with non-time loss GP (GP group: GPG), and 27 healthy ones (control group: CG) were enrolled. Static and dynamic unipedal postural balance asymmetry were evaluated with a force platform using symmetry index (SI), and Y-balance test (Y-BT), respectively. Additionally, subsequent noncontact lower extremity musculoskeletal injuries were tracked for 10 months. Results: The GPG revealed higher (p < 0.01) SI in eyes closed condition, higher (p < 0.001) side-to-side asymmetry in anterior, posteromedial and posterolateral reach distances and in composite Y-BT score compared to CG. They showed lower (p < 0.001) composite score for injured limb and higher (p < 0.001) side-to-side asymmetry in posteromedial reach distance compared to the cutoff values of 89.6 % and 4 cm, respectively. Moreover, GPG exhibited higher odds (OR= 7.48; 95 % CI = 2.15, 26.00; p < 0.01) of sustaining subsequent injuries compared to CG. Significance: The Y-BT should be instituted into existing pre-participation physical examinations to screen for soccer players with non-time loss GP at an elevated risk of sustaining subsequent injuries. This could help coaches and clinicians make valid return to play decisions.


title: Revisiting Checkpoint Averaging for Neural Machine Translation

abstract: Checkpoint averaging is a simple and effective method to boost the performance of converged neural machine translation models. The calculation is cheap to perform and the fact that the translation improvement almost comes for free, makes it widely adopted in neural machine translation research. Despite the popularity, the method itself simply takes the mean of the model parameters from several checkpoints, the selection of which is mostly based on empirical recipes without many justifications. In this work, we revisit the concept of checkpoint averaging and consider several extensions. Specifically, we experiment with ideas such as using different checkpoint selection strategies, calculating weighted average instead of simple mean, making use of gradient information and fine-tuning the interpolation weights on development data. Our results confirm the necessity of applying checkpoint averaging for optimal performance, but also suggest that the landscape between the converged checkpoints is rather flat and not much further improvement compared to simple averaging is to be obtained.


title: Discovering New Intents Using Latent Variables

abstract: Discovering new intents is of great significance to establishing Bootstrapped Task-Oriented Dialogue System. Most existing methods either lack the ability to transfer prior knowledge in the known intent data or fall into the dilemma of forgetting prior knowledge in the follow-up. More importantly, these methods do not deeply explore the intrinsic structure of unlabeled data, so they can not seek out the characteristics that make an intent in general. In this paper, starting from the intuition that discovering intents could be beneficial to the identification of the known intents, we propose a probabilistic framework for discovering intents where intent assignments are treated as latent variables. We adopt Expectation Maximization framework for optimization. Specifically, In E-step, we conduct discovering intents and explore the intrinsic structure of unlabeled data by the posterior of intent assignments. In M-step, we alleviate the forgetting of prior knowledge transferred from known intents by optimizing the discrimination of labeled data. Extensive experiments conducted in three challenging real-world datasets demonstrate our method can achieve substantial improvements.


title: Robustifying Sentiment Classification by Maximally Exploiting Few Counterfactuals

abstract: For text classification tasks, finetuned language models perform remarkably well. Yet, they tend to rely on spurious patterns in training data, thus limiting their performance on out-of-distribution (OOD) test data. Among recent models aiming to avoid this spurious pattern problem, adding extra counterfactual samples to the training data has proven to be very effective. Yet, counterfactual data generation is costly since it relies on human annotation. Thus, we propose a novel solution that only requires annotation of a small fraction (e.g., 1%) of the original training data, and uses automatic generation of extra counterfactuals in an encoding vector space. We demonstrate the effectiveness of our approach in sentiment classification, using IMDb data for training and other sets for OOD tests (i.e., Amazon, SemEval and Yelp). We achieve noticeable accuracy improvements by adding only 1% manual counterfactuals: +3% compared to adding +100% in-distribution training samples, +1.3% compared to alternate counterfactual approaches.


title: Multi-view Semantic Matching of Question retrieval using Fine-grained Semantic Representations

abstract: As a key task of question answering, question retrieval has attracted much attention from the communities of academia and industry. Previous solutions mainly focus on the translation model, topic model, and deep learning techniques. Distinct from the previous solutions, we propose to construct fine-grained semantic representations of a question by a learned importance score assigned to each keyword, so that we can achieve a fine-grained question matching solution with these semantic representations of different lengths. Accordingly, we propose a multi-view semantic matching model by reusing the important keywords in multiple semantic representations. As a key of constructing fine-grained semantic representations, we are the first to use a cross-task weakly supervised extraction model that applies question-question labelled signals to supervise the keyword extraction process (i.e. to learn the keyword importance). The extraction model integrates the deep semantic representation and lexical matching information with statistical features to estimate the importance of keywords. We conduct extensive experiments on three public datasets and the experimental results show that our proposed model significantly outperforms the state-of-the-art solutions.


title: Is Encoder-Decoder Redundant for Neural Machine Translation?

abstract: Encoder-decoder architecture is widely adopted for sequence-to-sequence modeling tasks. For machine translation, despite the evolution from long short-term memory networks to Transformer networks, plus the introduction and development of attention mechanism, encoder-decoder is still the de facto neural network architecture for state-of-the-art models. While the motivation for decoding information from some hidden space is straightforward, the strict separation of the encoding and decoding steps into an encoder and a decoder in the model architecture is not necessarily a must. Compared to the task of autoregressive language modeling in the target language, machine translation simply has an additional source sentence as context. Given the fact that neural language models nowadays can already handle rather long contexts in the target language, it is natural to ask whether simply concatenating the source and target sentences and training a language model to do translation would work. In this work, we investigate the aforementioned concept for machine translation. Specifically, we experiment with bilingual translation, translation with additional target monolingual data, and multilingual translation. In all cases, this alternative approach performs on par with the baseline encoder-decoder Transformer, suggesting that an encoder-decoder architecture might be redundant for neural machine translation.


title: A Three-level Stochastic Linear-quadratic Stackelberg Differential Game with Asymmetric Information

abstract: This paper is concerned with a three-level stochastic linear-quadratic Stackelberg differential game with asymmetric information, in which three players participate credited as Player 1, Player 2 and Player 3. Player 3 acts as the leader of Player 2 and Player 1, Player 2 acts as the leader of Player 1 and Player 1 acts as the follower. The asymmetric information considered is: the information available to Player 1 is based on the sub-$\sigma$-algebra of the information available to Player 2, and the information available to Player 2 is based on the sub-$\sigma$-algebra of the information available to Player 3. By maximum principle of forward-backward stochastic differential equations and optimal filtering, feedback Stackelberg equilibrium of the game is given with the help of a new system consisting of three Riccati equations.


title: Ground-based Optical Transmission Spectroscopy of the Nearby Terrestrial Exoplanet LTT 1445Ab

abstract: Nearby M dwarf systems currently offer the most favorable opportunities for spectroscopic investigations of terrestrial exoplanet atmospheres. The LTT~1445 system is a hierarchical triple of M dwarfs with two known planets orbiting the primary star, LTT~1445A. We observe four transits of the terrestrial world LTT~1445Ab ($R=1.3$ R$_\oplus$, $M=2.9$ M$_\oplus$) at low resolution with Magellan II/LDSS3C. We use the combined flux of the LTT~1445BC pair as a comparison star, marking the first time that an M dwarf is used to remove telluric variability from time-series observations of another M dwarf. We find H$\alpha$ in emission from both LTT~1445B and C, as well as a flare in one of the data sets from LTT~1445C. These contaminated data are removed from the analysis. We construct a broadband transit light curve of LTT~1445Ab from 620--1020 nm. Binned to 3-minute time bins we achieve an rms of 49 ppm for the combined broadband light curve. We construct a transmission spectrum with 20 spectrophotometric bins each spanning 20 nm and compare it to models of clear, 1$\times$ solar composition atmospheres. We rule out this atmospheric case with a surface pressure of 10 bars to $3.2 \sigma$ confidence, and with a surface pressure of 1 bar to $3.1 \sigma$ confidence. Upcoming secondary eclipse observations of LTT~1445Ab with JWST will further probe the cases of a high mean molecular weight atmosphere, a hazy or cloudy atmosphere, or no atmosphere at all on this terrestrial world.


title: Unsupervised Image Semantic Segmentation through Superpixels and Graph Neural Networks

abstract: Unsupervised image segmentation is an important task in many real-world scenarios where labelled data is of scarce availability. In this paper we propose a novel approach that harnesses recent advances in unsupervised learning using a combination of Mutual Information Maximization (MIM), Neural Superpixel Segmentation and Graph Neural Networks (GNNs) in an end-to-end manner, an approach that has not been explored yet. We take advantage of the compact representation of superpixels and combine it with GNNs in order to learn strong and semantically meaningful representations of images. Specifically, we show that our GNN based approach allows to model interactions between distant pixels in the image and serves as a strong prior to existing CNNs for an improved accuracy. Our experiments reveal both the qualitative and quantitative advantages of our approach compared to current state-of-the-art methods over four popular datasets.


title: Dimension reduction of high-dimension categorical data with two or multiple responses considering interactions between responses

abstract: This paper models categorical data with two or multiple responses, focusing on the interactions between responses. We propose an efficient iterative procedure based on sufficient dimension reduction. We study the theoretical guarantees of the proposed method under the two- and multiple-response models, demonstrating the uniqueness of the proposed estimator and with the high probability that the proposed method recovers the oracle least squares estimators. For data analysis, we demonstrate that the proposed method is efficient in the multiple-response model and performs better than some existing methods built in the multiple-response models. We apply this modeling and the proposed method to an adult dataset and right heart catheterization dataset and obtain meaningful results.


title: Dynamics of dilute gases at equilibrium: from the atomistic description to fluctuating hydrodynamics

abstract: We derive linear fluctuating hydrodynamics as the low density limit of a deterministic system of particles at equilibrium. The proof builds upon previous results of the authors where the asymptotics of the covariance of the fluctuation field is obtained, and on the proof of the Wick rule for the fluctuation field.


title: Spin-Dependent High-Order Topological Insulator and Two Types of Distinct Corner Modes in Monolayer FeSe/GdClO Heterostructure

abstract: We propose that a spin-dependent second-order topological insulator can be realized in monolayer FeSe/GdClO heterostructure, in which substrate GdClO helps to stabilize and enhance the antiferromagnetic order in FeSe. The second-order topological insulator is free from spin-orbit coupling and in-plane magnetic field. We also find that there exist two types of distinct corner modes residing in intersections of two ferromagnetic edges and two antiferromagnetic edges, respectively. The underlying physics for ferromagnetic corner mode follows a sublattice-chirality-kink picture. More interestingly, ferromagnetic corner mode shows spin-dependent property, which is also robust against spin-orbit coupling. Unexpectedly, antiferromagnetic corner mode can be taken as a typical emergent and hierarchical phenomenon from an array of ferromagnetic corner modes. Remarkably, antiferromagnetic corner modes violate general kink picture and can be understood as bound states of a one-dimensional Schrodinger equation under a connected potential well. Our findings not only provide a promising second-order topological insulator in electronic materials, but uncover some new properties of corner modes in high-order topological insulator.


title: Pascal's formulas and vector fields

abstract: We consider four examples of combinatorial triangles $\left(T(n,k)\right)_{0\le k\le n}$ (Pascal, Stirling of both types, Euler) : through saddle-point asymptotics, their \emph{Pascal's formulas} define four vector fields, together with their field lines that turn out to be the conjectured limit of sample paths of four well known Markov chains. We prove this asymptotic behaviour in three of the four cases.


title: Self-Supervised Pretraining on Satellite Imagery: a Case Study on Label-Efficient Vehicle Detection

abstract: In defense-related remote sensing applications, such as vehicle detection on satellite imagery, supervised learning requires a huge number of labeled examples to reach operational performances. Such data are challenging to obtain as it requires military experts, and some observables are intrinsically rare. This limited labeling capability, as well as the large number of unlabeled images available due to the growing number of sensors, make object detection on remote sensing imagery highly relevant for self-supervised learning. We study in-domain self-supervised representation learning for object detection on very high resolution optical satellite imagery, that is yet poorly explored. For the first time to our knowledge, we study the problem of label efficiency on this task. We use the large land use classification dataset Functional Map of the World to pretrain representations with an extension of the Momentum Contrast framework. We then investigate this model's transferability on a real-world task of fine-grained vehicle detection and classification on Preligens proprietary data, which is designed to be representative of an operational use case of strategic site surveillance. We show that our in-domain self-supervised learning model is competitive with ImageNet pretraining, and outperforms it in the low-label regime.


title: Predictions of improved confinement in SPARC via energetic particle turbulence stabilization

abstract: The recent progress in high-temperature superconductor technologies has led to the design and construction of SPARC, a compact tokamak device expected to reach plasma breakeven with up to $25$MW of external ion cyclotron resonant heating (ICRH) power. This manuscript presents local (flux-tube) and radially global gyrokinetic GENE (Jenko et al 2000 Phys. Plasmas {\bf 7} 1904) simulations for a reduced-field and current H-mode SPARC scenario showing that supra-thermal particles - generated via ICRH - strongly suppress ion-scale turbulent transport by triggering a fast ion-induced anomalous transport barrier (F-ATB). The trigger mechanism is identified as a wave-particle resonant interaction between the fast particle population and plasma micro-instabilities (Di Siena et al 2021 Phys. Rev. Lett. {\bf 125} 025002). By performing a series of global simulations employing different profiles for the thermal ions, we show that the fusion gain of this SPARC scenario could be substantially enhanced up to $\sim 80\%$ by exploiting this fast ion stabilizing mechanism. A study is also presented to further optimize the energetic particle profiles, thus possibly leading experimentally to an even more significant fusion gain.


title: Motion Matters: A Novel Motion Modeling For Cross-View Gait Feature Learning

abstract: As a unique biometric that can be perceived at a distance, gait has broad applications in person authentication, social security, and so on. Existing gait recognition methods suffer from changes in viewpoint and clothing and barely consider extracting diverse motion features, a fundamental characteristic in gaits, from gait sequences. This paper proposes a novel motion modeling method to extract the discriminative and robust representation. Specifically, we first extract the motion features from the encoded motion sequences in the shallow layer. Then we continuously enhance the motion feature in deep layers. This motion modeling approach is independent of mainstream work in building network architectures. As a result, one can apply this motion modeling method to any backbone to improve gait recognition performance. In this paper, we combine motion modeling with one commonly used backbone~(GaitGL) as GaitGL-M to illustrate motion modeling. Extensive experimental results on two commonly-used cross-view gait datasets demonstrate the superior performance of GaitGL-M over existing state-of-the-art methods.


title: Non-binary Codes for Correcting a Burst of at Most t Deletions

abstract: The problem of correcting deletions has received significant attention, partly because of the prevalence of these errors in DNA data storage. In this paper, we study the problem of correcting a consecutive burst of at most $t$ deletions in non-binary sequences. We first propose a non-binary code correcting a burst of at most 2 deletions for $q$-ary alphabets. Afterwards, we extend this result to the case where the length of the burst can be at most $t$ where $t$ is a constant. Finally, we consider the setup where the sequences that are transmitted are permutations. The proposed codes are the largest known for their respective parameter regimes.


title: Coupled dynamics of endemic disease transmission and gradual awareness diffusion in multiplex networks

abstract: Understanding the interplay between human behavioral phenomena and infectious disease dynamics has been one of the central challenges of mathematical epidemiology. However, socio-cognitive processes critical for the initiation of desired behavioral responses during an outbreak have often been neglected or oversimplified in earlier models. Combining the microscopic Markov chain approach with the law of total probability, we herein institute a mathematical model describing the dynamic interplay between stage-based progression of awareness diffusion and endemic disease transmission in multiplex networks. We analytically derived the epidemic thresholds for both discrete-time and continuous-time versions of our model, and we numerically demonstrated the accuracy of our analytic arguments in capturing the time course and the steady-state of the coupled disease-awareness dynamics. We found that our model is exact for arbitrary unclustered multiplex networks, outperforming a widely adopted probability-tree-based method, both in the prediction of the time-evolution of a contagion and in the final epidemic size. Our findings show that informing the unaware individuals about the circulating disease will not be sufficient for the prevention of an outbreak unless the distributed information triggers strong awareness of infection risks with adequate protective measures, and that the immunity of highly-aware individuals can elevate the epidemic threshold, but only if the rate of transition from weak to strong awareness is sufficiently high. Our study thus reveals that awareness diffusion and other behavioral parameters can nontrivially interact when producing their effects on epidemiological dynamics of an infectious disease, suggesting that future public health measures should not ignore this complex behavioral interplay and its influence on contagion transmission in multilayered networked systems.


title: A drag-and-drop proof tactic

abstract: We explore the features of a user interface where formal proofs can be built through gestural actions. In particular, we show how proof construction steps can be associated to drag-and-drop actions. We argue that this can provide quick and intuitive proof construction steps. This work builds on theoretical tools coming from deep inference. It also resumes and integrates some ideas of the former proof-by-pointing project.


title: Echo of the Dark: gravitational waves from dark SU(3) Yang-Mills theory

abstract: We analyze the phase transition in improved holographic QCD to obtain an estimate of the gravitational wave signal emitted in the confinement transition of a pure SU(3) Yang-Mills dark sector. We derive the effective action from holography and show that the energy budget and duration of the phase transition can be calculated with minor errors. These are used as input to obtain a prediction of the gravitational wave signal. To our knowledge, this is the first computation of the gravitational wave signal in a holographic model designated to match lattice data on the thermal properties of pure Yang-Mills.


title: Valuing Vicinity: Memory attention framework for context-based semantic segmentation in histopathology

abstract: The segmentation of histopathological whole slide images into tumourous and non-tumourous types of tissue is a challenging task that requires the consideration of both local and global spatial contexts to classify tumourous regions precisely. The identification of subtypes of tumour tissue complicates the issue as the sharpness of separation decreases and the pathologist's reasoning is even more guided by spatial context. However, the identification of detailed types of tissue is crucial for providing personalized cancer therapies. Due to the high resolution of whole slide images, existing semantic segmentation methods, restricted to isolated image sections, are incapable of processing context information beyond. To take a step towards better context comprehension, we propose a patch neighbour attention mechanism to query the neighbouring tissue context from a patch embedding memory bank and infuse context embeddings into bottleneck hidden feature maps. Our memory attention framework (MAF) mimics a pathologist's annotation procedure -- zooming out and considering surrounding tissue context. The framework can be integrated into any encoder-decoder segmentation method. We evaluate the MAF on a public breast cancer and an internal kidney cancer data set using famous segmentation models (U-Net, DeeplabV3) and demonstrate the superiority over other context-integrating algorithms -- achieving a substantial improvement of up to $17\%$ on Dice score. The code is publicly available at: https://github.com/tio-ikim/valuing-vicinity


title: A Comparative Study On Solving Optimization Problems With Exponentially Fewer Qubits

abstract: Variational Quantum optimization algorithms, such as the Variational Quantum Eigensolver (VQE) or the Quantum Approximate Optimization Algorithm (QAOA), are among the most studied quantum algorithms. In our work, we evaluate and improve an algorithm based on VQE, which uses exponentially fewer qubits compared to the QAOA. We highlight the numerical instabilities generated by encoding the problem into the variational ansatz and propose a classical optimization procedure to find the ground-state of the ansatz in less iterations with a better or similar objective. Furthermore, we compare classical optimizers for this variational ansatz on quadratic unconstrained binary optimization and graph partitioning problems.


title: Diffusion Monte Carlo using domains in configuration space

abstract: The sampling of the configuration space in diffusion Monte Carlo (DMC) is done using walkers moving randomly. In a previous work on the Hubbard model [\href{https://doi.org/10.1103/PhysRevB.60.2299}{Assaraf et al.~Phys.~Rev.~B \textbf{60}, 2299 (1999)}], it was shown that the probability for a walker to stay a certain amount of time in the same state obeys a Poisson law and that the on-state dynamics can be integrated out exactly, leading to an effective dynamics connecting only different states. Here, we extend this idea to the general case of a walker trapped within domains of arbitrary shape and size. The equations of the resulting effective stochastic dynamics are derived. The larger the average (trapping) time spent by the walker within the domains, the greater the reduction in statistical fluctuations. A numerical application to the Hubbard model is presented. Although this work presents the method for finite linear spaces, it can be generalized without fundamental difficulties to continuous configuration spaces.


title: Integrating Policy Summaries with Reward Decomposition for Explaining Reinforcement Learning Agents

abstract: Explaining the behavior of reinforcement learning agents operating in sequential decision-making settings is challenging, as their behavior is affected by a dynamic environment and delayed rewards. Methods that help users understand the behavior of such agents can roughly be divided into local explanations that analyze specific decisions of the agents and global explanations that convey the general strategy of the agents. In this work, we study a novel combination of local and global explanations for reinforcement learning agents. Specifically, we combine reward decomposition, a local explanation method that exposes which components of the reward function influenced a specific decision, and HIGHLIGHTS, a global explanation method that shows a summary of the agent's behavior in decisive states. We conducted two user studies to evaluate the integration of these explanation methods and their respective benefits. Our results show significant benefits for both methods. In general, we found that the local reward decomposition was more useful for identifying the agents' priorities. However, when there was only a minor difference between the agents' preferences, then the global information provided by HIGHLIGHTS additionally improved participants' understanding.


title: 3D Human Pose Estimation in Multi-View Operating Room Videos Using Differentiable Camera Projections

abstract: 3D human pose estimation in multi-view operating room (OR) videos is a relevant asset for person tracking and action recognition. However, the surgical environment makes it challenging to find poses due to sterile clothing, frequent occlusions, and limited public data. Methods specifically designed for the OR are generally based on the fusion of detected poses in multiple camera views. Typically, a 2D pose estimator such as a convolutional neural network (CNN) detects joint locations. Then, the detected joint locations are projected to 3D and fused over all camera views. However, accurate detection in 2D does not guarantee accurate localisation in 3D space. In this work, we propose to directly optimise for localisation in 3D by training 2D CNNs end-to-end based on a 3D loss that is backpropagated through each camera's projection parameters. Using videos from the MVOR dataset, we show that this end-to-end approach outperforms optimisation in 2D space.


title: A possible electronic state quasi-half-valley-metal in $\mathrm{VGe_2P_4}$ monolayer

abstract: One of the key problems in valleytronics is to realize valley polarization. Ferrovalley (FV) semiconductor and half-valley-metal (HVM) have been proposed, which possess intrinsic spontaneous valley polarization. Here, we propose the concept of quasi-half-valley-metal (QHVM), including electron and hole carriers with only a type of carriers being valley polarized. The QHVM may realize separation function of electron and hole. A concrete example of $\mathrm{VGe_2P_4}$ monolayer is used to illustrate our proposal through the first-principle calculations. To better realize QHVM, the electric field is applied to tune related valley properties of $\mathrm{VGe_2P_4}$. Within considered electric field range, $\mathrm{VGe_2P_4}$ is always ferromagnetic (FM) ground state, which possesses out-of-plane magnetization by calculating magnetic anisotropy energy (MAE) including magnetic shape anisotropy (MSA) and magnetocrystalline anisotropy (MCA) energies. These out-of-plane FM properties guarantee intrinsic spontaneous valley polarization in $\mathrm{VGe_2P_4}$. Within a certain range of electric field, the QHVM can be maintained, and the related polarization properties can be effectively tuned. Our works pave the way toward two-dimensional (2D) functional materials design of valleytronics.


title: Towards Employing Recommender Systems for Supporting Data and Algorithm Sharing

abstract: Data and algorithm sharing is an imperative part of data and AI-driven economies. The efficient sharing of data and algorithms relies on the active interplay between users, data providers, and algorithm providers. Although recommender systems are known to effectively interconnect users and items in e-commerce settings, there is a lack of research on the applicability of recommender systems for data and algorithm sharing. To fill this gap, we identify six recommendation scenarios for supporting data and algorithm sharing, where four of these scenarios substantially differ from the traditional recommendation scenarios in e-commerce applications. We evaluate these recommendation scenarios using a novel dataset based on interaction data of the OpenML data and algorithm sharing platform, which we also provide for the scientific community. Specifically, we investigate three types of recommendation approaches, namely popularity-, collaboration-, and content-based recommendations. We find that collaboration-based recommendations provide the most accurate recommendations in all scenarios. Plus, the recommendation accuracy strongly depends on the specific scenario, e.g., algorithm recommendations for users are a more difficult problem than algorithm recommendations for datasets. Finally, the content-based approach generates the least popularity-biased recommendations that cover the most datasets and algorithms.


title: Effective cone of the blow up of the symmetric product of a curve

abstract: Let $C$ be a smooth curve of genus $g \geq 1$ and let $C^{(2)}$ be its second symmetric product. In this note we prove that if $C$ is very general, then the blow-up of $C^{(2)}$ at a very general point has non-polyhedral pseudo-effective cone. The strategy is to consider first the case of hyperelliptic curves and then to show that having polyhedral pseudo-effective cone is a closed property for families of surfaces.


title: Parallelizable Synthesis of Arbitrary Single-Qubit Gates with Linear Optics and Time-Frequency Encoding

abstract: We propose novel methods for the exact synthesis of single-qubit unitaries with high success probability and gate fidelity, considering both time-bin and frequency-bin encodings. The proposed schemes are experimentally implementable with a spectral linear-optical quantum computation (S- LOQC) platform, composed of electro-optic phase modulators and phase-only programmable filters (pulse shapers). We assess the performances in terms of fidelity and probability of the two simplest 3-components configurations for arbitrary gate generation in both encodings and give an exact analytical solution for the synthesis of an arbitrary single-qubit unitary in the time-bin encoding, using a single-tone Radio Frequency (RF) driving of the EOMs. We further investigate the parallelization of arbitrary single-qubit gates over multiple qubits with a compact experimental setup, both for spectral and temporal encodings. We systematically evaluate and discuss the impact of the RF bandwidth - that conditions the number of tones driving the modulators - and of the choice of encoding for different targeted gates. We moreover quantify the number of high fidelity Hadamard gates that can be synthesized in parallel, with minimal and increasing resources in terms of driving RF tones in a realistic system. Our analysis positions spectral S-LOQC as a promising platform to conduct massively parallel single qubit operations, with potential applications to quantum metrology and quantum tomography.


title: Management of Machine Learning Lifecycle Artifacts: A Survey

abstract: The explorative and iterative nature of developing and operating machine learning (ML) applications leads to a variety of artifacts, such as datasets, features, models, hyperparameters, metrics, software, configurations, and logs. In order to enable comparability, reproducibility, and traceability of these artifacts across the ML lifecycle steps and iterations, systems and tools have been developed to support their collection, storage, and management. It is often not obvious what precise functional scope such systems offer so that the comparison and the estimation of synergy effects between candidates are quite challenging. In this paper, we aim to give an overview of systems and platforms which support the management of ML lifecycle artifacts. Based on a systematic literature review, we derive assessment criteria and apply them to a representative selection of more than 60 systems and platforms.


title: AI-HRI Brings New Dimensions to Human-Aware Design for Human-Aware AI

abstract: Since the first AI-HRI held at the 2014 AAAI Fall Symposium Series, a lot of the presented research and discussions have emphasized how artificial intelligence (AI) developments can benefit human-robot interaction (HRI). This portrays HRI as an application, a source of domain-specific problems to solve, to the AI community. Likewise, this portrays AI as a tool, a source of solutions available for relevant problems, to the HRI community. However, members of the AI-HRI research community will point out that the relationship has a deeper synergy than matchmaking problems and solutions -- there are insights from each field that impact how the other one thinks about the world and performs scientific research. There is no greater opportunity for sharing perspectives at the moment than human-aware AI, which studies how to account for the fact that people are more than a source of data or part of an algorithm. We will explore how AI-HRI can change the way researchers think about human-aware AI, from observation through validation, to make even the algorithmic design process human-aware.


title: Improving the Anomaly Detection in GPR Images by Fine-Tuning CNNs with Synthetic Data

abstract: Ground Penetrating Radar (GPR) has been widely used to estimate the healthy operation of some urban roads and underground facilities. When identifying subsurface anomalies by GPR in an area, the obtained data could be unbalanced, and the numbers and types of possible underground anomalies could not be acknowledged in advance. In this paper, a novel method is proposed to improve the subsurface anomaly detection from GPR B-scan images. A normal (i.e. without subsurface objects) GPR image section is firstly collected in the detected area. Concerning that the GPR image is essentially the representation of electromagnetic (EM) wave and propagation time, and to preserve both the subsurface background and objects' details, the normal GPR image is segmented and then fused with simulated GPR images that contain different kinds of objects to generate the synthetic data for the detection area based on the wavelet decompositions. Pre-trained CNNs could then be fine-tuned with the synthetic data, and utilized to extract features of segmented GPR images subsequently obtained in the detection area. The extracted features could be classified by the one-class learning algorithm in the feature space without pre-set anomaly types or numbers. The conducted experiments demonstrate that fine-tuning the pre-trained CNN with the proposed synthetic data could effectively improve the feature extraction of the network for the objects in the detection area. Besides, the proposed method requires only a section of normal data that could be easily obtained in the detection area, and could also meet the timeliness requirements in practical applications.


title: Optimal Contextual Bandits with Knapsacks under Realizability via Regression Oracles

abstract: We study the stochastic contextual bandit with knapsacks (CBwK) problem, where each action, taken upon a context, not only leads to a random reward but also costs a random resource consumption in a vector form. The challenge is to maximize the total reward without violating the budget for each resource. We study this problem under a general realizability setting where the expected reward and expected cost are functions of contexts and actions in some given general function classes $\mathcal{F}$ and $\mathcal{G}$, respectively. Existing works on CBwK are restricted to the linear function class since they use UCB-type algorithms, which heavily rely on the linear form and thus are difficult to extend to general function classes. Motivated by online regression oracles that have been successfully applied to contextual bandits, we propose the first universal and optimal algorithmic framework for CBwK by reducing it to online regression. We also establish the lower regret bound to show the optimality of our algorithm for a variety of function classes.


title: A Textless Metric for Speech-to-Speech Comparison

abstract: In this paper, we introduce a new and simple method for comparing speech utterances without relying on text transcripts. Our speech-to-speech comparison metric utilizes state-of-the-art speech2unit encoders like HuBERT to convert speech utterances into discrete acoustic units. We then propose a simple and easily replicable neural architecture that learns a speech-based metric that closely corresponds to its text-based counterpart. This textless metric has numerous potential applications, including evaluating speech-to-speech translation for oral languages, languages without dependable ASR systems, or to avoid the need for ASR transcription altogether. This paper also shows that for speech-to-speech translation evaluation, ASR-BLEU (which consists in automatically transcribing both speech hypothesis and reference and compute sentence-level BLEU between transcripts) is a poor proxy to real text-BLEU even when ASR system is strong.


title: Structural Kernel Search via Bayesian Optimization and Symbolical Optimal Transport

abstract: Despite recent advances in automated machine learning, model selection is still a complex and computationally intensive process. For Gaussian processes (GPs), selecting the kernel is a crucial task, often done manually by the expert. Additionally, evaluating the model selection criteria for Gaussian processes typically scales cubically in the sample size, rendering kernel search particularly computationally expensive. We propose a novel, efficient search method through a general, structured kernel space. Previous methods solved this task via Bayesian optimization and relied on measuring the distance between GP's directly in function space to construct a kernel-kernel. We present an alternative approach by defining a kernel-kernel over the symbolic representation of the statistical hypothesis that is associated with a kernel. We empirically show that this leads to a computationally more efficient way of searching through a discrete kernel space.


title: The use of the word "\{gamma}\u{psion}{\nu}{\alpha}{\iota}\k{appa}{\omicron}\k{appa}{\tau}{\omicron}{\nu}{\iota}{\alpha}" (femicide) in Greek-speaking Twitter

abstract: Between 2019 and 2022, Greek media attention has been attracted by a rather unusually high number of femicide cases which have been trending for several weeks up to months in the public debate and one of the contributing factors is the feedback loop between traditional media and social media. In this paper we are investigating the use of the term "\{gamma}\u{psion}{\nu}{\alpha}{\iota}\k{appa}{\omicron}\k{appa}{\tau}{\omicron}{\nu}{\iota}{\alpha}" (femicide) in Greek speaking twitter. More specifically, we approach the problem from a stance detection perspective, aiming to automatically identify user position with regards to the feministic semantics of the word. We also discuss findings from an identity analysis perspective and intercorrelations with hate speech that have been identified in the collected corpus of tweets.


title: Optimal Locating-Paired-Dominating Sets in King Grids

abstract: In this paper, we continue the study of locating-paired-dominating set, abbreviated LPDS, in graphs introduced by McCoy and Henning. Given a finite or infinite graph $G=(V,E)$, a set $S\subset V$ is paired-dominating if the induced subgraph $G[S]$ has a perfect matching and every vertex in $V$ is adjacent to a vertex in $S$. The other condition for LPDS requires that for any distinct vertices $u,v \in V\backslash S$, we have $N(u)\cap S\neq N(v)\cap S$. Motivated by the conjecture of Kinawi, Hussain and Niepel, we prove the minimal density of LPDS in the king grid is between $8/37$ and $2/9$, and we find uncountable many different LPDS with density $2/9$ in the king grid. These results partially solve their conjecture.


title: Improving Energy Efficiency of Permissioned Blockchains Using FPGAs

abstract: Permissioned blockchains like Hyperledger Fabric have become quite popular for implementation of enterprise applications. Recent research has mainly focused on improving performance of permissioned blockchains without any consideration of their power/energy consumption. In this paper, we conduct a comprehensive empirical study to understand energy efficiency (throughput/energy) of validator peer in Hyperledger Fabric (a major bottleneck node). We pick a number of optimizations for validator peer from literature (allocated CPUs, software block cache and FPGA based accelerator). First, we propose a methodology to measure power/energy consumption of the two resulting compute platforms (CPU-only and CPU+FPGA). Then, we use our methodology to evaluate energy efficiency of a diverse set of validator peer configurations, and present many useful insights. With careful selection of software optimizations and FPGA accelerator configuration, we improved energy efficiency of validator peer by 10$\times$ compared to vanilla validator peer (i.e., energy-aware provisioning of validator peer can deliver 10$\times$ more throughput while consuming the same amount of energy). In absolute terms, this means 23,000 tx/s with power consumption of 118W from a validator peer using software block cache running on a 4-core server with AMD/Xilinx Alveo U250 FPGA card.


title: Characterization of Multi-Link Propagation and Bistatic Target Reflectivity for Distributed Multi-Sensor ISAC

abstract: Integrated sensing and communication (ISAC) qualifies mobile radio systems for detecting and localizing of passive objects by means of radar sensing. Advanced ISAC networks rely on meshed mobile radio access nodes (infrastructure and/or user equipment, resp.) establishing a distributed, multistatic MIMO radar system in which each target reveals itself by its bistatic backscattering. Therefore, characterization of the bistatic reflectivity of targets along their trajectories of movement is of highest importance for ISAC performance prediction. We summarize several challenges in bistatic modeling and measurement of extended, potentially time-variant radar targets. We emphasize the specific challenges arising for distributed (hence multi-link) ISAC networks and compare to the state of the art in propagation modeling for mobile communication.


abstract: Visual Counterfactual Explanations (VCEs) are an important tool to understand the decisions of an image classifier. They are 'small' but 'realistic' semantic changes of the image changing the classifier decision. Current approaches for the generation of VCEs are restricted to adversarially robust models and often contain non-realistic artefacts, or are limited to image classification problems with few classes. In this paper, we overcome this by generating Diffusion Visual Counterfactual Explanations (DVCEs) for arbitrary ImageNet classifiers via a diffusion process. Two modifications to the diffusion process are key for our DVCEs: first, an adaptive parameterization, whose hyperparameters generalize across images and models, together with distance regularization and late start of the diffusion process, allow us to generate images with minimal semantic changes to the original ones but different classification. Second, our cone regularization via an adversarially robust model ensures that the diffusion process does not converge to trivial non-semantic changes, but instead produces realistic images of the target class which achieve high confidence by the classifier.