title: Skill Machines: Temporal Logic Skill Composition in Reinforcement Learning

abstract: It is desirable for an agent to be able to solve a rich variety of problems that can be specified through language in the same environment. A popular approach towards obtaining such agents is to reuse skills learned in prior tasks to generalise compositionally to new ones. However, this is a challenging problem due to the curse of dimensionality induced by the combinatorially large number of ways high-level goals can be combined both logically and temporally in language. To address this problem, we propose a framework where an agent first learns a sufficient set of skill primitives to achieve all high-level goals in its environment. The agent can then flexibly compose them both logically and temporally to provably achieve temporal logic specifications in any regular language, such as regular fragments of linear temporal logic. This provides the agent with the ability to map from complex temporal logic task specifications to near-optimal behaviours zero-shot. We demonstrate this experimentally in a tabular setting, as well as in a high-dimensional video game and continuous control environment. Finally, we also demonstrate that the performance of skill machines can be improved with regular off-policy reinforcement learning algorithms when optimal behaviours are desired.


title: Structured Uncertainty in the Observation Space of Variational Autoencoders

abstract: Variational autoencoders (VAEs) are a popular class of deep generative models with many variants and a wide range of applications. Improvements upon the standard VAE mostly focus on the modelling of the posterior distribution over the latent space and the properties of the neural network decoder. In contrast, improving the model for the observational distribution is rarely considered and typically defaults to a pixel-wise independent categorical or normal distribution. In image synthesis, sampling from such distributions produces spatially-incoherent results with uncorrelated pixel noise, resulting in only the sample mean being somewhat useful as an output prediction. In this paper, we aim to stay true to VAE theory by improving the samples from the observational distribution. We propose SOS-VAE, an alternative model for the observation space, encoding spatial dependencies via a low-rank parameterisation. We demonstrate that this new observational distribution has the ability to capture relevant covariance between pixels, resulting in spatially-coherent samples. In contrast to pixel-wise independent distributions, our samples seem to contain semantically-meaningful variations from the mean allowing the prediction of multiple plausible outputs with a single forward pass.


title: Machine-learning-based prediction of parameters of secondaries in hadronic showers using calorimetric observables

abstract: The paper describes a novel neural-network-based approach to study the distributions of secondaries produced in hadronic showers using observables provided by highly granular calorimeters. The response is analysed of the highly granular scintillator-steel hadron calorimeter to negative pions with momenta from 10 to 80 GeV simulated with two physics lists from the Geant4 package version 10.3. Several global observables, which characterise different aspects of hadronic shower development, are used as inputs for a deep neural network. The network regression model is trained using a supervised learning and exploiting true information from the simulations. The trained model is applied to predict a number of neutrons and energy of neutral pions produced within a hadronic shower. The achieved performance and possible application of the model to validation of simulations are discussed.


title: "Help! Can You Hear Me?": Understanding How Help-Seeking Posts are Overwhelmed on Social Media during a Natural Disaster

abstract: Posting help-seeking requests on social media has been broadly adopted by victims during natural disasters to look for urgent rescue and supplies. The help-seeking requests need to get sufficient public attention and be promptly routed to the intended target(s) for timely responses. However, the huge volume and diverse types of crisis-related posts on social media might limit help-seeking requests to receive adequate engagement and lead to their overwhelm. To understand this problem, this work proposes a mixed-methods approach to figure out the overwhelm situation of help-seeking requests, and individuals' and online communities' strategies to cope. We focused on the 2021 Henan Floods in China and collected 141,674 help-seeking posts with the keyword "Henan Rainstorm Mutual Aid" on a popular Chinese social media platform Weibo. The findings indicate that help-seeking posts confront critical challenges of both external overwhelm (i.e., an enormous number of non-help-seeking posts with the help-seeking-related keyword distracting public attention) and internal overwhelm (i.e., attention inequality with 5% help-seeking posts receiving more than 95% likes, comments, and shares). We discover linguistic and non-linguistic help-seeking strategies that could help to prevent the overwhelm, such as including contact information, disclosing situational vulnerabilities, using subjective narratives, and structuring help-seeking posts to a normalized syntax. We also illustrate how community members spontaneously work to prevent the overwhelm with their collective wisdom (e.g., norm development through discussion) and collaborative work (e.g., cross-community support). We reflect on how the findings enrich the literature in crisis informatics and raise design implications that facilitate effective help-seeking on social media during natural disasters.


title: Probing the losses for a high power beam

abstract: The High Intensity Proton Accelerator (HIPA) cyclotron at the Paul Scherrer Institut (PSI) delivers 590 MeV CW proton beam with a maximum power of 1.42 MW. After extraction, the beam is transferred in a 120 m long channel towards two target stations (TgM and TgE) for surface muon production before depositing its remaining power at the spallation target SINQ for neutron production. As part of the High Intensity Muon Beamline (HIMB) feasibility study, the first of these targets will be replaced with a thicker one thereby increasing the rate of surface muon production. However, a key challenge for HIMB is to maintain the proton beam losses to the lowest possible levels which requires improving our understanding of the distributed losses along the MW-class beamline. To this end, a new approach was developed where the aim is to relate the experimental values of the temperature, beam profile measurements as well as beam current measurements to the combined power deposition calculations and primary beam losses using Monte Carlo simulation tools.


title: Negative differential thermal conductance between Weyl semimetals nanoparticles through vacuum

abstract: In this work, the near-field radiative heat transfer (NFRHT) between two Weyl semimetal (WSM) nanoparticles (NPs) is investigated. The numerical results show that negative differential thermal conductance (NDTC) effect can be obtained in this system, i.e., when the temperature of the emitter is fixed, the heat flux does not decrease monotonically with the increase of the temperature of the receiver. Specifically, when the temperature of the emitter is 300 K, the heat flux is identical when the temperature of the receiver is 50 K or 280 K. The NDTC effect is attributed to the fact that the permittivity of the WSMs changes with the temperature. The coupling effects of polarizability of two WSM NPs have been further identified at different temperature to reveal the physical mechanism of the NDTC effect. In addition, the NFRHT between two Weyl WSM NPs can be greatly enhanced by exciting the localized plasmon and circular modes. This work indicates that the WSMs maybe promising candidate materials for manipulating NFRHT.


title: Is a Question Decomposition Unit All We Need?

abstract: Large Language Models (LMs) have achieved state-of-the-art performance on many Natural Language Processing (NLP) benchmarks. With the growing number of new benchmarks, we build bigger and more complex LMs. However, building new LMs may not be an ideal option owing to the cost, time and environmental impact associated with it. We explore an alternative route: can we modify data by expressing it in terms of the model's strengths, so that a question becomes easier for models to answer? We investigate if humans can decompose a hard question into a set of simpler questions that are relatively easier for models to solve. We analyze a range of datasets involving various forms of reasoning and find that it is indeed possible to significantly improve model performance (24% for GPT3 and 29% for RoBERTa-SQuAD along with a symbolic calculator) via decomposition. Our approach provides a viable option to involve people in NLP research in a meaningful way. Our findings indicate that Human-in-the-loop Question Decomposition (HQD) can potentially provide an alternate path to building large LMs. Code and data is available at https://github.com/Pruthvi98/QuestionDecomposition


title: Apport des ontologies pour le calcul de la similarit\'e s\'emantique au sein d'un syst\`eme de recommandation

abstract: Measurement of the semantic relatedness or likeness between terms, words, or text data plays an important role in different applications dealing with textual data such as knowledge acquisition, recommender system, and natural language processing. Over the past few years, many ontologies have been developed and used as a form of structured representation of knowledge bases for information systems. The calculation of semantic similarity from ontology has developed and depending on the context is complemented by other similarity calculation methods. In this paper, we propose and carry on an approach for the calculation of ontology-based semantic similarity using in the context of a recommender system.


title: Holographic Lieb lattice and gapping its Dirac band

abstract: We first point out that the Laia-Tong model realizes the Lieb lattice in the holographic setup. It generates a flat band of sharp particle spectrum together with a Dirac band of unparticle spectrum. We then construct a model which opens a gap to the Dirac band so that one can realize a well-separated flat band, which can play the role of the hydrogen atom of strongly correlated systems. We then study the phase transition between the gapped and gapless phases analytically. We also made methodological progress to find a few other quantizations and we express the Green functions in any quantization in terms of that in the standard quantization.


title: $\eta$-glueball mixing from $N_f=2$ lattice QCD

abstract: We perform the first lattice study on the mixing of the isoscalar pseudoscalar meson $\eta$ and the pseudoscalar glueball $G$ in the $N_f=2$ QCD at the pion mass $m_\pi\approx 350$ MeV. The $\eta$ mass is determined to be $m_\eta=714(6)(16)$ MeV. Through the Witten-Veneziano relation, this value can be matched to a mass value of $\sim 981$ MeV for the $\mathrm{SU(3)}$ counterpart of $\eta$. Based on a large gauge ensemble, the $\eta-G$ mixing energy and the mixing angle are determined to be $|x|=107(15)(2)$ MeV and $|\theta|=3.46(46)^\circ$ from the $\eta-G$ correlators that are calculated using the distillation method. We conclude that the $\eta-G$ mixing is tiny and the topology induced interaction contributes most of $\eta$ mass owing to the QCD $\mathrm{U_A(1)}$ anomaly.


title: ER-Test: Evaluating Explanation Regularization Methods for Language Models

abstract: By explaining how humans would solve a given task, human rationales can provide strong learning signal for neural language models (LMs). Explanation regularization (ER) aims to improve LM generalization by pushing the LM's machine rationales (Which input tokens did the LM focus on?) to align with human rationales (Which input tokens would humans focus on?). Though prior works primarily study ER via in-distribution (ID) evaluation, out-of-distribution (OOD) generalization is often more critical in real-world scenarios, yet ER's effect on OOD generalization has been underexplored. In this paper, we introduce ER-Test, a framework for evaluating ER models' OOD generalization along three dimensions: unseen dataset tests, contrast set tests, and functional tests. Using ER-Test, we extensively analyze how ER models' OOD generalization varies with different ER design choices. Across two tasks and six datasets, ER-Test shows that ER has little impact on ID performance but can yield large OOD performance gains. Also, we find that ER can improve OOD performance even with limited rationale supervision. ER-Test's results help demonstrate ER's utility and establish best practices for using ER effectively.


title: Misleading Deep-Fake Detection with GAN Fingerprints

abstract: Generative adversarial networks (GANs) have made remarkable progress in synthesizing realistic-looking images that effectively outsmart even humans. Although several detection methods can recognize these deep fakes by checking for image artifacts from the generation process, multiple counterattacks have demonstrated their limitations. These attacks, however, still require certain conditions to hold, such as interacting with the detection method or adjusting the GAN directly. In this paper, we introduce a novel class of simple counterattacks that overcomes these limitations. In particular, we show that an adversary can remove indicative artifacts, the GAN fingerprint, directly from the frequency spectrum of a generated image. We explore different realizations of this removal, ranging from filtering high frequencies to more nuanced frequency-peak cleansing. We evaluate the performance of our attack with different detection methods, GAN architectures, and datasets. Our results show that an adversary can often remove GAN fingerprints and thus evade the detection of generated images.


title: Deep Dense Local Feature Matching and Vehicle Removal for Indoor Visual Localization

abstract: Visual localization is an essential component of intelligent transportation systems, enabling broad applications that require understanding one's self location when other sensors are not available. It is mostly tackled by image retrieval such that the location of a query image is determined by its closest match in the previously collected images. Existing approaches focus on large scale localization where landmarks are helpful in finding the location. However, visual localization becomes challenging in small scale environments where objects are hardly recognizable. In this paper, we propose a visual localization framework that robustly finds the match for a query among the images collected from indoor parking lots. It is a challenging problem when the vehicles in the images share similar appearances and are frequently replaced such as parking lots. We propose to employ a deep dense local feature matching that resembles human perception to find correspondences and eliminating matches from vehicles automatically with a vehicle detector. The proposed solution is robust to the scenes with low textures and invariant to false matches caused by vehicles. We compare our framework with alternatives to validate our superiority on a benchmark dataset containing 267 pre-collected images and 99 query images taken from 34 sections of a parking lot. Our method achieves 86.9 percent accuracy, outperforming the alternatives.


title: Gravitationally induced particle production in scalar-tensor $f(R,T)$ gravity

abstract: We explore the possibility of gravitationally generated particle production in the scalar-tensor representation of $f(R,T)$ gravity. Due to the explicit nonminimal curvature-matter coupling in the theory, the divergence of the matter energy-momentum tensor does not vanish. We explore the physical and cosmological implications of this property by using the formalism of irreversible thermodynamics of open systems in the presence of matter creation/annihilation. The particle creation rates, pressure, temperature evolution and the expression of the comoving entropy are obtained in a covariant formulation and discussed in detail. Applied together with the gravitational field equations, the thermodynamics of open systems lead to a generalization of the standard $\Lambda$CDM cosmological paradigm, in which the particle creation rates and pressures are effectively considered as components of the cosmological fluid energy-momentum tensor. We also consider specific models, and compare the scalar-tensor $f(R,T)$ cosmology with the $\Lambda$CDM scenario and the observational data for the Hubble function. The properties of the particle creation rates, of the creation pressures, and entropy generation through gravitational matter production are further investigated in both the low and high redshift limits.


title: Some equivalence relation between persistent homology and morphological dynamics

abstract: In Mathematical Morphology (MM), connected filters based on dynamics are used to filter the extrema of an image. Similarly, persistence is a concept coming from Persistent Homology (PH) and Morse Theory (MT) that represents the stability of the extrema of a Morse function. Since these two concepts seem to be closely related, in this paper we examine their relationship, and we prove that they are equal on n-D Morse functions, n $\ge$ 1. More exactly, pairing a minimum with a 1-saddle by dynamics or pairing the same 1-saddle with a minimum by persistence leads exactly to the same pairing, assuming that the critical values of the studied Morse function are unique. This result is a step further to show how much topological data analysis and mathematical morphology are related, paving the way for a more in-depth study of the relations between these two research fields.


title: Functional renormalization of spinless triangular-lattice fermions: $N$-patch vs. truncated-unity scheme

abstract: We study competing orders of spinless fermions in the triangular-lattice Hubbard model with nearest-neighbor interaction. We calculate the effective, momentum-resolved two-particle vertex in an unbiased way in terms of the functional renormalization group method and compare two different schemes for the momentum discretization, one based on dividing the Fermi surface into patches and one based on a channel decomposition. We study attractive and repulsive nearest-neighbor interaction and find a competition of pairing and charge instabilities. In the attractive case, a Pomeranchuk instability occurs at Van Hove filling and $f$-wave and $p$-wave pairing emerge when the filling is reduced. In the repulsive case, we obtain a charge density wave at Van Hove filling and extended $p$-wave pairing with reduced filling. The $p$-wave pairing solution is doubly degenerate and can realize chiral $p+ip$ superconductivity with different Chern numbers in the ground state. We discuss implications for strongly correlated spin-orbit coupled hexagonal electron systems such as moir\'e heterostructures.


title: RLPrompt: Optimizing Discrete Text Prompts with Reinforcement Learning

abstract: Prompting has shown impressive success in enabling large pretrained language models (LMs) to perform diverse NLP tasks, especially when only few downstream data are available. Automatically finding the optimal prompt for each task, however, is challenging. Most existing work resorts to tuning soft prompt (e.g., embeddings) which falls short of interpretability, reusability across LMs, and applicability when gradients are not accessible. Discrete prompt, on the other hand, is difficult to optimize, and is often created by "enumeration (e.g., paraphrasing)-then-selection" heuristics that do not explore the prompt space systematically. This paper proposes RLPrompt, an efficient discrete prompt optimization approach with reinforcement learning (RL). RLPrompt formulates a parameter-efficient policy network that generates the desired discrete prompt after training with reward. To overcome the complexity and stochasticity of reward signals by the large LM environment, we incorporate effective reward stabilization that substantially enhances the training efficiency. RLPrompt is flexibly applicable to different types of LMs, such as masked (e.g., BERT) and left-to-right models (e.g., GPTs), for both classification and generation tasks. Experiments on few-shot classification and unsupervised text style transfer show superior performance over a wide range of existing finetuning or prompting methods. Interestingly, the resulting optimized prompts are often ungrammatical gibberish text; and surprisingly, those gibberish prompts are transferrable between different LMs to retain significant performance, indicating LM prompting may not follow human language patterns.


title: Learning from time-dependent streaming data with online stochastic algorithms

abstract: This paper addresses stochastic optimization in a streaming setting with time-dependent and biased gradient estimates. We analyze several first-order methods, including Stochastic Gradient Descent (SGD), mini-batch SGD, and time-varying mini-batch SGD, along with their Polyak-Ruppert averages. Our non-asymptotic analysis establishes novel heuristics that link dependence, biases, and convexity levels, enabling accelerated convergence. Specifically, our findings demonstrate that (i) time-varying mini-batch SGD methods have the capability to break long- and short-range dependence structures, (ii) biased SGD methods can achieve comparable performance to their unbiased counterparts, and (iii) incorporating Polyak-Ruppert averaging can accelerate the convergence of the stochastic optimization algorithms. To validate our theoretical findings, we conduct a series of experiments using both simulated and real-life time-dependent data.


title: Recognition Models to Learn Dynamics from Partial Observations with Neural ODEs

abstract: Identifying dynamical systems from experimental data is a notably difficult task. Prior knowledge generally helps, but the extent of this knowledge varies with the application, and customized models are often needed. Neural ordinary differential equations can be written as a flexible framework for system identification and can incorporate a broad spectrum of physical insight, giving physical interpretability to the resulting latent space. In the case of partial observations, however, the data points cannot directly be mapped to the latent state of the ODE. Hence, we propose to design recognition models, in particular inspired by nonlinear observer theory, to link the partial observations to the latent state. We demonstrate the performance of the proposed approach on numerical simulations and on an experimental dataset from a robotic exoskeleton.


title: Masked Jigsaw Puzzle: A Versatile Position Embedding for Vision Transformers

abstract: Position Embeddings (PEs), an arguably indispensable component in Vision Transformers (ViTs), have been shown to improve the performance of ViTs on many vision tasks. However, PEs have a potentially high risk of privacy leakage since the spatial information of the input patches is exposed. This caveat naturally raises a series of interesting questions about the impact of PEs on the accuracy, privacy, prediction consistency, etc. To tackle these issues, we propose a Masked Jigsaw Puzzle (MJP) position embedding method. In particular, MJP first shuffles the selected patches via our block-wise random jigsaw puzzle shuffle algorithm, and their corresponding PEs are occluded. Meanwhile, for the non-occluded patches, the PEs remain the original ones but their spatial relation is strengthened via our dense absolute localization regressor. The experimental results reveal that 1) PEs explicitly encode the 2D spatial relationship and lead to severe privacy leakage problems under gradient inversion attack; 2) Training ViTs with the naively shuffled patches can alleviate the problem, but it harms the accuracy; 3) Under a certain shuffle ratio, the proposed MJP not only boosts the performance and robustness on large-scale datasets (i.e., ImageNet-1K and ImageNet-C, -A/O) but also improves the privacy preservation ability under typical gradient attacks by a large margin. The source code and trained models are available at~\url{https://github.com/yhlleo/MJP}.


title: Exact strangeness conservation in heavy ion collisions

abstract: We investigate the increase in strangeness production with charged particle multiplicity ($dN_{ch}/dy$) seen by the ALICE collaboration at CERN in p-p, p-Pb and Pb-Pb collisions using the hadron resonance gas model. The strangeness canonical ensemble is used taking into account the interactions among hadrons using S-matrix corrections based on known phase shift analyses. We show the essential role of constraints due to the exact conservation of strangeness which is instrumental to describing observed features of strange particle yields and their scaling with $dN_{ch}/dy$. Furthermore, the results on comparing the hadron resonance gas model with and without S-matrix corrections, are presented. We observe that the interactions introduced by the phase shift analysis via the S-matrix formalism are essential for a better description of the yields data independent of collision system. This work is based on our long-lasting collaboration and most recent publications with Jean Cleymans.


title: Projective indecomposable permutation modules

abstract: We investigate finite non-Abelian simple groups $G$ for which the projective cover of the trivial module coincides with the permutation module on a subgroup and classify all cases unless $G$ is of Lie type in defining characteristic.


title: Helpfulness and Fairness of Task-Oriented Dialogue Systems

abstract: Goal-oriented dialogue systems aim to help users achieve certain goals. Therefore, how humans perceive their helpfulness is important. However, neither the human-perceived helpfulness of goal-oriented dialogue systems nor its fairness implication has been well studied. In this paper, we study computational measurements of helpfulness. We first formally define a dialogue response as helpful if it is relevant & coherent, useful, and informative to a query. Then, we collect human annotations for the helpfulness of dialogue responses based on our definition and build a classifier to automatically determine the helpfulness of a response. We further propose to use the helpfulness level of a dialogue system towards different user queries to measure the fairness of a dialogue system. Experiments with state-of-the-art dialogue systems under three information-seeking scenarios reveal that existing systems tend to be more helpful for questions regarding concepts from highly-developed countries than less-developed countries, uncovering potential fairness concerns underlying the current goal-oriented dialogue systems.


title: Hessian filter-assisted full diameter at half maximum (FDHM) segmentation and quantification method for optical-resolution photoacoustic microscopy

abstract: Optical-resolution photoacoustic microscopy has been validated as a high-resolution and high-sensitivity imaging modality for angiographic studies in the past decades. Quantitative vascular analysis reveals critical information of physiological changes, where vessel segmentation is the key step. In this work, we developed a Hessian filter-assisted, adaptive thresholding vessel segmentation algorithm. Its performance is validated by a digital phantom and in vivo images. Its capability of capturing subtle vessel changes is further tested in two longitudinal studies on vascular responses to blood pressure agents. The results are compared with the widely used Hessian filter method. In the antihypotensive case, the proposed method detected a twice larger vasoconstriction than the Hessian filter method. In the antihypertensive case, the proposed method detected a vasodilation of 18.8 %, while the Hessian filter method failed in change detection. The proposed algorithm could correct errors caused by conventional segmentation methods and improve quantitative accuracy for angiographic applications.


title: Stratified Hilbert Modules on Bounded Symmetric Domains

abstract: We analyze the "eigenbundle" (localization bundle) of certain Hilbert modules over bounded symmetric domains of rank $r,$ giving rise to complex-analytic fibre spaces which are stratified of length $r+1.$ The fibres are described in terms of K\"ahler geometry as line bundle sections over flag manifolds, and the metric embedding is determined by taking derivatives of reproducing kernel functions. Important examples are the determinantal ideals defined by vanishing conditions along the various strata of the stratification.


title: A model of reactive settling of activated sludge: comparison with experimental data

abstract: A non-negligible part of the biological reactions in the activated sludge process for treatment of wastewater takes place in secondary settling tanks that follow biological reactors. It is therefore of interest to develop models of so-called reactive settling that describe the spatial variability of reaction rates caused by the variation of local concentration of biomass due to hindered settling and compression. A reactive-settling model described by a system of nonlinear partial differential equations and a numerical scheme are introduced for the simulation of hindered settling of flocculated particles, compression at high concentrations, dispersion of the flocculated particles in the suspension, dispersion of the dissolved substrates in the fluid, and the mixing that occurs near the feed inlet. The model is fitted to experiments from a pilot plant where the sedimentation tank has a varying cross-sectional area. For the reactions, a modified version of the activated sludge model no. 1 (ASM1) is used with standard coefficients. The constitutive functions for hindered settling and compression are adjusted to a series of conventional batch settling experiments after the initial induction period of turbulence and reflocculation has been transformed away. Further (but not substantial) improvements of prediction of experimental steady-state scenarios can be achieved by also fitting additional terms modelling hydrodynamic dispersion.


title: Gradient-Based Constrained Sampling from Language Models

abstract: Large pretrained language models generate fluent text but are notoriously hard to controllably sample from. In this work, we study constrained sampling from such language models: generating text that satisfies user-defined constraints, while maintaining fluency and the model's performance in a downstream task. We propose MuCoLa -- a sampling procedure that combines the log-likelihood of the language model with arbitrary (differentiable) constraints in a single energy function, and then generates samples in a non-autoregressive manner. Specifically, it initializes the entire output sequence with noise and follows a Markov chain defined by Langevin Dynamics using the gradients of the energy function. We evaluate MuCoLa on text generation with soft and hard constraints as well as their combinations obtaining significant improvements over competitive baselines for toxicity avoidance, sentiment control, and keyword-guided generation.


title: Envy-Free Cake Cutting with Graph Constraints

abstract: We study the classic problem of fairly dividing a heterogeneous and divisible resource -- represented by a cake, $[0,1]$ -- among $n$ agents. This work considers an interesting variant of the problem where agents are embedded on a graph. The graphical constraint entails that each agent evaluates her allocated share only against her neighbor's share. Given a graph, the goal is to efficiently find a locally envy-free allocation where every agent values her share to be at least as much as any of her neighbor's share. The best known algorithm (by Aziz and Mackenzie) for finding envy-free cake divisions has a hyper-exponential query complexity. One of the key technical contributions of this work is to identify a non-trivial graph structure -- tree graphs with depth at-most two (Depth2Tree) -- on $n$ agents that admits a query efficient cake-cutting protocol (under the Robertson-Webb query model). In particular, we develop a discrete protocol that finds a locally envy-free allocation among $n$ agents on depth-two trees with at-most $O(n^3 \log(n))$ cuts on the cake. For the special case of Depth2Tree where every non-root agent is connected to at-most two agents (2-Star), we show that $O(n^2)$ queries suffice. We complement our algorithmic results with establishing a lower bound of $\Omega(n^2)$ (evaluation) queries for finding a locally envy-free allocation among $n$ agents on a 1-Star graph (under the assumption that the root agent partitions the cake into $n$ connected pieces).


title: Continuum Skyrme Hartree-Fock-Bogoliubov theory with Green's function method for neutron-rich Ca, Ni, Zr, Sn isotopes

abstract: The possible exotic nuclear properties in the neutron-rich Ca, Ni, Zr, and Sn isotopes are explored with the continuum Skyrme Hartree-Fock-Bogoliubov theory formulated with the Green's function method. The available experimental two-neutron separation energies $S_{\rm 2n}$ and one-neutron separation energies $S_{\rm n}$ are well reproduced. Much shorter drip lines predicted by $S_{\rm n}$ are obtained compared with those by $S_{\rm 2n}$. The systematic studies of the neutron pairing energies $-E_{\rm pair}$ shown that values of the odd-$A$ nuclei are much smaller in comparison with those of the neighboring even-even nuclei due to the absent contribution of pairing energy by the unpaired odd neutron. By investigating the single-particle structures, the rms radii and the density distributions, the possible halo structures in the neutron-rich Ca, Ni, and Sn isotopes are predicted, in which the sharp increases of rms radii with significant deviations from the traditional $r\varpropto A^{1/3}$ rule and very diffuse spatial distributions in densities are observed. By analyzing the contributions of different partial waves to the total neutron density $\rho_{lj}(r)/\rho(r)$, the orbitals locating around the Fermi surface especially those with low angular momenta are found the main reason causing the extended nuclear density and large rms radii. Finally, the numbers of the neutrons $N_{\lambda}$~($N_0$) occupied above the Fermi surface $\lambda_n$~(in the continuum) are discussed, the behaviors of which are basically consistent with those of pairing energy, supporting the key role of the pairing correlations in the halo phenomena.


title: General asymptotic perturbation theory in transfer operators

abstract: We study higher-order asymptotic expansions of eigenvalues in perturbed transfer operators, of the corresponding eigenfunctions and of the corresponding eigenvectors of the dual operators. In our main result, we give explicit expressions of these coefficients and these remainders under mild conditions of linear operators and of (there is even no norm) linear spaces. Moreover we investigate sufficient conditions for convergence of the remainders under weak conditions in the sense that the eigenvalue of perturbed operators does not have a uniform spectrum gap. As our main application, we apply our result to the asymptotic behaviour of Gibbs measures associated with the Hausdorff dimension of the limit set of the so-called graph directed Markov systems. Moreover, we demonstrate the asymptotic behaviours of Ruelle transfer operators without a uniform spectral gap. In another example, we mention that the conditions of our main results are satisfied under the conditions of abstract asymptotic theory given by Gou\"ezel and Liverani and under mild conditions.


title: Power-based Safety Layer for Aerial Vehicles in Physical Interaction using Lyapunov Exponents

abstract: As the performance of autonomous systems increases, safety concerns arise, especially when operating in non-structured environments. To deal with these concerns, this work presents a safety layer for mechanical systems that detects and responds to unstable dynamics caused by external disturbances. The safety layer is implemented independently and on top of already present nominal controllers, like pose or wrench tracking, and limits power flow when the system's response would lead to instability. This approach is based on the computation of the Largest Lyapunov Exponent (LLE) of the system's error dynamics, which represent a measure of the dynamics' divergence or convergence rate. By actively computing this metric, divergent and possibly dangerous system behaviors can be promptly detected. The LLE is then used in combination with Control Barrier Functions (CBFs) to impose power limit constraints on a jerk controlled system. The proposed architecture is experimentally validated on an Omnidirectional Micro Aerial Vehicle (OMAV) both in free flight and interaction tasks.


title: Resampling-Based Multisplit Inference for High-Dimensional Regression

abstract: We propose a novel resampling-based method to construct an asymptotically exact test for any subset of hypotheses on coefficients in high-dimensional linear regression. It can be embedded into any multiple testing procedure to make confidence statements on relevant predictor variables. The method constructs permutation test statistics for any individual hypothesis by means of repeated splits of the data and a variable selection technique; then it defines a test for any subset by suitably aggregating its variables' test statistics. The resulting procedure is extremely flexible, as it allows different selection techniques and several combining functions. We present it in two ways: an exact method and an approximate one, that requires less memory usage and shorter computation time, and can be scaled up to higher dimensions. We illustrate the performance of the method with simulations and the analysis of real gene expression data.


title: Spotlights: Probing Shapes from Spherical Viewpoints

abstract: Recent years have witnessed the surge of learned representations that directly build upon point clouds. Though becoming increasingly expressive, most existing representations still struggle to generate ordered point sets. Inspired by spherical multi-view scanners, we propose a novel sampling model called Spotlights to represent a 3D shape as a compact 1D array of depth values. It simulates the configuration of cameras evenly distributed on a sphere, where each virtual camera casts light rays from its principal point through sample points on a small concentric spherical cap to probe for the possible intersections with the object surrounded by the sphere. The structured point cloud is hence given implicitly as a function of depths. We provide a detailed geometric analysis of this new sampling scheme and prove its effectiveness in the context of the point cloud completion task. Experimental results on both synthetic and real data demonstrate that our method achieves competitive accuracy and consistency while having a significantly reduced computational cost. Furthermore, we show superior performance on the downstream point cloud registration task over state-of-the-art completion methods.


title: A flexible functional-circular regression model for analyzing temperature curves

abstract: Changes on temperature patterns, on a local scale, are perceived by individuals as the most direct indicators of global warming and climate change. As a specific example, for an Atlantic climate location, spring and fall seasons should present a mild transition between winter and summer, and summer and winter, respectively. By observing daily temperature curves along time, being each curve attached to a certain calendar day, a regression model for these variables (temperature curve as covariate and calendar day as response) would be useful for modeling their relation for a certain period. In addition, temperature changes could be assessed by prediction and observation comparisons in the long run. Such a model is presented and studied in this work, considering a nonparametric Nadaraya-Watson-type estimator for functional covariate and circular response. The asymptotic bias and variance of this estimator, as well as its asymptotic distribution are derived. Its finite sample performance is evaluated in a simulation study and the proposal is applied to investigate a real-data set concerning temperature curves.


title: Greedy versus Map-based Optimized Adaptive Algorithms for random-telegraph-noise mitigation by spectator qubits

abstract: In a scenario where data-storage qubits are kept in isolation as far as possible, with minimal measurements and controls, noise mitigation can still be done using additional noise probes, with corrections applied only when needed. Motivated by the case of solid-state qubits, we consider dephasing noise arising from a two-state fluctuator, described by random telegraph process, and a noise probe which is also a qubit, a so-called spectator qubit (SQ). We construct the theoretical model assuming projective measurements on the SQ, and derive the performance of different measurement and control strategies in the regime where the noise mitigation works well. We start with the Greedy algorithm; that is, the strategy that always maximizes the data qubit coherence in the immediate future. We show numerically that this algorithm works very well, and find that its adaptive strategy can be well approximated by a simpler algorithm with just a few parameters. Based on this, and an analytical construction using Bayesian maps, we design a one-parameter ($\Theta$) family of algorithms. In the asymptotic regime of high noise-sensitivity of the SQ, we show analytically that this $\Theta$-family of algorithms reduces the data qubit decoherence rate by a divisor scaling as the square of this sensitivity. Setting $\Theta$ equal to its optimal value, $\Theta^\star$, yields the Map-based Optimized Adaptive Algorithm for Asymptotic Regime (MOAAAR). We show, analytically and numerically, that MOAAAR outperforms the Greedy algorithm, especially in the regime of high noise sensitivity of SQ.


title: Optimized mitigation of random-telegraph-noise dephasing by spectator-qubit sensing and control

abstract: Spectator qubits (SQs) are a tool to mitigate noise in hard-to-access data qubits. The SQ, designed to be much more sensitive to the noise, is measured frequently, and the accumulated results used rarely to correct the data qubits. For the hardware-relevant example of dephasing from random telegraph noise, we introduce a Bayesian method employing complex linear maps which leads to a plausibly optimal adaptive measurement and control protocol. The suppression of the decoherence rate is quadratic in the SQ sensitivity, establishing that the SQ paradigm works arbitrarily well in the right regime.


title: The security of the Coordicide: the implementation and analysis of possible attack vectors

abstract: The goal of the thesis is to study and perform an analysis of the possible attack vectors on the Iota network 2.0 version of the protocol. In this work, existing attack vectors on Distributed Ledger Technologies are studied and their applicability to the Iota 2.0 protocol is discussed. A specific attack that targets the capability of honest participants to write to the ledger is presented and analyzed in a network of nodes that run a full node software version.


title: Towards a Fair Comparison and Realistic Evaluation Framework of Android Malware Detectors based on Static Analysis and Machine Learning

abstract: As in other cybersecurity areas, machine learning (ML) techniques have emerged as a promising solution to detect Android malware. In this sense, many proposals employing a variety of algorithms and feature sets have been presented to date, often reporting impresive detection performances. However, the lack of reproducibility and the absence of a standard evaluation framework make these proposals difficult to compare. In this paper, we perform an analysis of 10 influential research works on Android malware detection using a common evaluation framework. We have identified five factors that, if not taken into account when creating datasets and designing detectors, significantly affect the trained ML models and their performances. In particular, we analyze the effect of (1) the presence of duplicated samples, (2) label (goodware/greyware/malware) attribution, (3) class imbalance, (4) the presence of apps that use evasion techniques and, (5) the evolution of apps. Based on this extensive experimentation, we conclude that the studied ML-based detectors have been evaluated optimistically, which justifies the good published results. Our findings also highlight that it is imperative to generate realistic experimental scenarios, taking into account the aforementioned factors, to foster the rise of better ML-based Android malware detection solutions.


title: EDIN: An End-to-end Benchmark and Pipeline for Unknown Entity Discovery and Indexing

abstract: Existing work on Entity Linking mostly assumes that the reference knowledge base is complete, and therefore all mentions can be linked. In practice this is hardly ever the case, as knowledge bases are incomplete and because novel concepts arise constantly. This paper created the Unknown Entity Discovery and Indexing (EDIN) benchmark where unknown entities, that is entities without a description in the knowledge base and labeled mentions, have to be integrated into an existing entity linking system. By contrasting EDIN with zero-shot entity linking, we provide insight on the additional challenges it poses. Building on dense-retrieval based entity linking, we introduce the end-to-end EDIN pipeline that detects, clusters, and indexes mentions of unknown entities in context. Experiments show that indexing a single embedding per entity unifying the information of multiple mentions works better than indexing mentions independently.


title: Statistical properties and correlation length in star-forming molecular clouds: I. Formalism and application to observations

abstract: The proper characterization of the general statistical behavior of these fluctuations, from a limited sample of observations or simulations, is of prime importance to understand the process of star formation. In this article, we use the ergodic theory for any random field of fluctuations, as commonly used in statistical physics, to derive rigorous statistical results. We outline how to evaluate the autocovariance function (ACF) and the characteristic correlation length of these fluctuations. We then apply this statistical approach to astrophysical systems characterized by a field of density fluctuations, notably star-forming clouds. When it is difficult to determine the correlation length from the empirical ACF, we show alternative ways to estimate the correlation length. We show that the statistics of the column-density field is hampered by biases introduced by integration effects along the line of sight and we explain how to reduce these biases. The statistics of the probability density function (PDF) ergodic estimator also yields the derivation of the proper statistical error bars. We provide a method that can be used by observers and numerical simulation specialists to determine the latter. We show that they (i) cannot be derived from simple Poisson statistics and (ii) become increasingly large for increasing density contrasts, severely hampering the accuracy of the low and high end part of the PDF because of a sample size that is too small. As templates of various stages of star formation in MCs, we then examine the case of the Polaris and Orion B clouds in detail. We calculate, from the observations, the ACF and the correlation length in these clouds and show that the latter is on the order of $\sim$1\% of the size of the cloud.


title: The SO(3) and SE(3) Lie Algebras of Rigid Body Rotations and Motions and their Application to Discrete Integration, Gradient Descent Optimization, and State Estimation

abstract: Classical mathematical techniques such as discrete integration, gradient descent optimization, and state estimation (exemplified by the Runge-Kutta method, Gauss-Newton minimization, and extended Kalman filter or EKF, respectively), rely on linear algebra and hence are only applicable to state vectors belonging to Euclidean spaces when implemented as described in the literature. This document discusses how to modify these methods so they can be applied to non-Euclidean state vectors, such as those containing rotations and full motions of rigid bodies. To do so, this document provides an in-depth review of the concept of manifolds or Lie groups, together with their tangent spaces or Lie algebras, their exponential and logarithmic maps, the analysis of perturbations, the treatment of uncertainty and covariance, and in particular the definitions of the Jacobians required to employ the previously mentioned calculus methods. These concepts are particularized to the specific cases of the SO(3) and SE(3) Lie groups, known as the special orthogonal and special Euclidean groups of R3, which represent the rigid body rotations and motions, describing their various possible parameterizations as well as their advantages and disadvantages.


title: Decrypting material performance by wide-field femtosecond interferometric imaging of energy carrier evolution

abstract: Energy carrier evolution is crucial for material performance. Ultrafast microscopy has been widely applied to visualize the spatiotemporal evolution of energy carriers. However, direct imaging of small amounts of energy carriers on nanoscale remains difficult due to extremely weak transient signals. Here we present a method for ultrasensitive and high-throughput imaging of energy carrier evolution in space and time. This method combines femtosecond pump-probe techniques with interferometric scattering microscopy (iSCAT), named Femto-iSCAT. The interferometric principle and unique spatially-modulated contrast enhancement increase the transient image contrast by >2 orders of magnitude and enable the exploration of new science. We address three important and challenging problems: transport of different energy carriers at various interfaces, heterogeneous hot electron distribution and relaxation in single plasmonic resonators, and distinct structure-dependent edge state dynamics of carriers and excitons in optoelectronic semiconductors. Femto-iSCAT holds great potential as a universal tool for ultrasensitive imaging of energy carrier evolution in space and time.


title: Statistical properties and correlation length in star-forming molecular clouds: II. Gravitational potential and virial parameter

abstract: In the first article of this series, we have used the ergodic theory to assess the validity of a statistical approach to characterize various properties of star-forming molecular clouds (MCs) from a limited number of observations or simulations. This allows the proper determination of confidence intervals for various volumetric averages of statistical quantities obtained form observations or numerical simulations. In this joint paper, we apply the same formalism to a different kind of (observational or numerical) study of MCs. Indeed, as observations cannot fully unravel the complexity of the inner density structure of star forming clouds, it is important to know whether global observable estimates, such as the total mass and size of the cloud, can give an accurate estimation of various key physical quantities that characterize the dynamics of the cloud. Of prime importance is the correct determination of the total gravitational (binding) energy and virial parameter of a cloud. We show that, whereas for clouds that are not in a too advanced stage of star formation, such as Polaris or Orion B, the knowledge of only their mass and size is sufficient to yield an accurate determination of the aforementioned quantities from observations (i.e. in real space). In contrast, we show that this is no longer true for numerical simulations in a periodic box. We derive a relationship for the ratio of the virial parameter in these two respective cases.


title: Exhaustive characterization of modified Si vacancies in 4H-SiC

abstract: The negatively charged silicon vacancy ($\mathrm{V_{Si}^-}$) in silicon carbide is a well-studied point defect for quantum applications. At the same time, a closer inspection of ensemble photoluminescence and electron paramagnetic resonance measurements reveals an abundance of related but so far unidentified signals. In this study, we search for defects in 4H-SiC that explain the above magneto-optical signals in a defect database generated by Automatic Defect Analysis and Qualification (ADAQ) workflows. This search reveals only one class of atomic structures that exhibit silicon-vacancy-like properties in the data: a carbon antisite ($\mathrm{C_{Si}}$) within sub-nanometer distances from the silicon vacancy only slightly alters the latter without affecting the charge or spin state. Such a perturbation is energetically bound. We consider the formation of $\mathrm{V_{Si}^-+C_{Si}}$ up to 2 nm distance and report their zero phonon lines and zero field splitting values. In addition, we perform high-resolution photoluminescence experiments in the silicon vacancy region and find an abundance of lines. Comparing our computational and experimental results, several configurations show great agreement. Our work demonstrates the effectiveness of a database with high-throughput results in the search for defects in quantum applications.


title: Equations of fluid dynamics with the l-conformal Galilei symmetry

abstract: Equations of fluid dynamics are formulated, which hold invariant under the action of the l-conformal Galilei group. They include the conventional continuity equation, a higher order material derivative analogue of the Euler equation, and a suitable modification of the conventional equation of state. Conserved charges associated with the l-conformal Galilei symmetry transformations are presented.


title: A Real-World Radio Frequency Signal Dataset Based on LTE System and Variable Channels

abstract: Radio Frequency Fingerprint (RFF) identification on account of deep learning has the potential to enhance the security performance of wireless networks. Recently, several RFF datasets were proposed to satisfy requirements of large-scale datasets. However, most of these datasets are collected from 2.4G WiFi devices and through similar channel environments. Meanwhile, they only provided receiving data collected by the specific equipment. This paper utilizes software radio peripheral as a dataset generating platform. Therefore, the user can customize the parameters of the dataset, such as frequency band, modulation mode, antenna gain, and so on. In addition, the proposed dataset is generated through various and complex channel environments, which aims to better characterize the radio frequency signals in the real world. We collect the dataset at transmitters and receivers to simulate a real-world RFF dataset based on the long-term evolution (LTE). Furthermore, we verify the dataset and confirm its reliability. The dataset and reproducible code of this paper can be downloaded from GitHub link: https://github.com/njuptzsp/XSRPdataset.


title: Distorted Wave Extended Phaseless Rytov Iterative Method for Inverse Scattering Problems

abstract: In this work we present a novel linear iterative solution to an electromagnetic inverse scattering problem with phaseless data for strongly scattering, lossy media. It is based on an extended Rytov approximation that significantly widens the validity range of the conventional Rytov approximation. By modifying this extension and including it in a distorted wave iterative formulation, accurate reconstruction results for both the real and imaginary components of permittivity can be obtained. We denote the technique as the distorted wave extended phaseless Rytov iterative method (DxPRIM) and we present its derivation and numerical formulation. Using simulation and experimental examples, we demonstrate that DxPRIM can reconstruct strong, lossy scatterers with phaseless measurement data and show that it outperforms state-of-the-art phaseless techniques.


title: From Pedestrian Detection to Crosswalk Estimation: An EM Algorithm and Analysis on Diverse Datasets

abstract: In this work, we contribute an EM algorithm for estimation of corner points and linear crossing segments for both marked and unmarked pedestrian crosswalks using the detections of pedestrians from processed LiDAR point clouds or camera images. We demonstrate the algorithmic performance by analyzing three real-world datasets containing multiple periods of data collection for four-corner and two-corner intersections with marked and unmarked crosswalks. Additionally, we include a Python video tool to visualize the crossing parameter estimation, pedestrian trajectories, and phase intervals in our public source code.


title: On-Demand Redundancy Grouping: Selectable Soft-Error Tolerance for a Multicore Cluster

abstract: With the shrinking of technology nodes and the use of parallel processor clusters in hostile and critical environments, such as space, run-time faults caused by radiation are a serious cross-cutting concern, also impacting architectural design. This paper introduces an architectural approach to run-time configurable soft-error tolerance at the core level, augmenting a six-core open-source RISC-V cluster with a novel On-Demand Redundancy Grouping (ODRG) scheme. ODRG allows the cluster to operate either as two fault-tolerant cores, or six individual cores for high-performance, with limited overhead to switch between these modes during run-time. The ODRG unit adds less than 11% of a core's area for a three-core group, or a total of 1% of the cluster area, and shows negligible timing increase, which compares favorably to a commercial state-of-the-art implementation, and is 2.5$\times$ faster in fault recovery re-synchronization. Furthermore, when redundancy is not necessary, the ODRG approach allows the redundant cores to be used for independent computation, allowing up to 2.96$\times$ increase in performance for selected applications.


title: Diffusion of tangential tensor fields: numerical issues and influence of geometric properties

abstract: We study the diffusion of tangential tensor-valued data on curved surfaces. For this purpose, several finite-element-based numerical methods are collected and used to solve a tangential surface n-tensor heat flow problem. These methods differ with respect to the surface representation used, the geometric information required, and the treatment of the tangentiality condition. We emphasize the importance of geometric properties and their increasing influence as the tensorial degree changes from n=0 to n>=1. A specific example is presented that illustrates how curvature drastically affects the behavior of the solution.


title: Locally constrained flows and sharp Michael-Simon inequalities in hyperbolic space

abstract: In the present paper, we first investigate a new locally constrained mean curvature flow (1.9) for starshaped hypersurfaces in hyperbolic space Hn+1 and prove its longtime existence, exponential convergence. As an application, we establish a new sharp Michael-Simon inequality for mean curvature in Hn+1. In the second part of this paper, we use a locally constrained inverse curvature flow (1.11) in Hn+1, which was introduced by Scheuer and Xia [30] to establish a new sharp Michael-Simon inequality for k-th mean curvatures of starshaped and strictly k-convex domain.


title: MUG: Multi-human Graph Network for 3D Mesh Reconstruction from 2D Pose

abstract: Reconstructing multi-human body mesh from a single monocular image is an important but challenging computer vision problem. In addition to the individual body mesh models, we need to estimate relative 3D positions among subjects to generate a coherent representation. In this work, through a single graph neural network, named MUG (Multi-hUman Graph network), we construct coherent multi-human meshes using only multi-human 2D pose as input. Compared with existing methods, which adopt a detection-style pipeline (i.e., extracting image features and then locating human instances and recovering body meshes from that) and suffer from the significant domain gap between lab-collected training datasets and in-the-wild testing datasets, our method benefits from the 2D pose which has a relatively consistent geometric property across datasets. Our method works like the following: First, to model the multi-human environment, it processes multi-human 2D poses and builds a novel heterogeneous graph, where nodes from different people and within one person are connected to capture inter-human interactions and draw the body geometry (i.e., skeleton and mesh structure). Second, it employs a dual-branch graph neural network structure -- one for predicting inter-human depth relation and the other one for predicting root-joint-relative mesh coordinates. Finally, the entire multi-human 3D meshes are constructed by combining the output from both branches. Extensive experiments demonstrate that MUG outperforms previous multi-human mesh estimation methods on standard 3D human benchmarks -- Panoptic, MuPoTS-3D and 3DPW.


title: KMT-2021-BLG-0171Lb and KMT-2021-BLG-1689Lb: Two Microlensing Planets in the KMTNet High-cadence Fields with Followup Observations

abstract: Follow-up observations of high-magnification gravitational microlensing events can fully exploit their intrinsic sensitivity to detect extrasolar planets, especially those with small mass ratios. To make followup more uniform and efficient, we develop a system, HighMagFinder, based on the real-time data from the Korean Microlensing Telescope Network (KMTNet) to automatically alert possible ongoing high-magnification events. We started a new phase of follow-up observations with the help of HighMagFinder in 2021. Here we report the discovery of two planets in high-magnification microlensing events, KMT-2021-BLG-0171 and KMT-2021-BLG-1689, which were identified by the HighMagFinder. We find that both events suffer the ``central-resonant'' caustic degeneracy. The planet-host mass-ratio is $q\sim4.7\times10^{-5}$ or $q\sim 2.2\times10^{-5}$ for KMT-2021-BLG-0171, and $q\sim2.5\times10^{-4}$ or $q\sim 1.8\times10^{-4}$ for KMT-2021-BLG-1689. Together with two events reported by Ryu et al. (2022), four cases that suffer such degeneracy have been discovered in the 2021 season alone, indicating that the degenerate solutions may have been missed in some previous studies. We also propose a new factor for weighting the probability of each solution from the phase-space. The resonant interpretations for the two events are disfavored under this consideration. This factor can be included in future statistical studies to weight degenerate solutions.


title: TAGPRIME: A Unified Framework for Relational Structure Extraction

abstract: Many tasks in natural language processing require the extraction of relationship information for a given condition, such as event argument extraction, relation extraction, and task-oriented semantic parsing. Recent works usually propose sophisticated models for each task independently and pay less attention to the commonality of these tasks and to have a unified framework for all the tasks. In this work, we propose to take a unified view of all these tasks and introduce TAGPRIME to address relational structure extraction problems. TAGPRIME is a sequence tagging model that appends priming words about the information of the given condition (such as an event trigger) to the input text. With the self-attention mechanism in pre-trained language models, the priming words make the output contextualized representations contain more information about the given condition, and hence become more suitable for extracting specific relationships for the condition. Extensive experiments and analyses on three different tasks that cover ten datasets across five different languages demonstrate the generality and effectiveness of TAGPRIME.


title: Perturbation Augmentation for Fairer NLP

abstract: Unwanted and often harmful social biases are becoming ever more salient in NLP research, affecting both models and datasets. In this work, we ask whether training on demographically perturbed data leads to fairer language models. We collect a large dataset of human annotated text perturbations and train a neural perturbation model, which we show outperforms heuristic alternatives. We find that (i) language models (LMs) pre-trained on demographically perturbed corpora are typically more fair, and (ii) LMs finetuned on perturbed GLUE datasets exhibit less demographic bias on downstream tasks, and (iii) fairness improvements do not come at the expense of performance on downstream tasks. Lastly, we discuss outstanding questions about how best to evaluate the (un)fairness of large language models. We hope that this exploration of neural demographic perturbation will help drive more improvement towards fairer NLP.


title: Deniable Steganography

abstract: Steganography conceals the secret message into the cover media, generating a stego media which can be transmitted on public channels without drawing suspicion. As its countermeasure, steganalysis mainly aims to detect whether the secret message is hidden in a given media. Although the steganography techniques are improving constantly, the sophisticated steganalysis can always break a known steganographic method to some extent. With a stego media discovered, the adversary could find out the sender or receiver and coerce them to disclose the secret message, which we name as coercive attack in this paper. Inspired by the idea of deniable encryption, we build up the concepts of deniable steganography for the first time and discuss the feasible constructions for it. As an example, we propose a receiver-deniable steganographic scheme to deal with the receiver-side coercive attack using deep neural networks (DNN). Specifically, besides the real secret message, a piece of fake message is also embedded into the cover. On the receiver side, the real message can be extracted with an extraction module; while once the receiver has to surrender a piece of secret message under coercive attack, he can extract the fake message to deceive the adversary with another extraction module. Experiments demonstrate the scalability and sensitivity of the DNN-based receiver-deniable steganographic scheme.


title: The Dirac impenetrable barrier in the limit point of the Klein energy zone

abstract: We reanalyze the problem of a 1D Dirac single particle colliding with the electrostatic potential step of height $V_{0}$ with a positive incoming energy that tends to the limit point of the so-called Klein energy zone, i.e., $E\rightarrow V_{0}-\mathrm{m}c^{2}$, for a given $V_{0}$. In such a case, the particle is actually colliding with an impenetrable barrier. In fact, $V_{0}\rightarrow E+\mathrm{m}c^{2}$, for a given relativistic energy $E\,(<V_{0})$, is the maximum value that the height of the step can reach and that ensures the perfect impenetrability of the barrier. Nevertheless, we note that, unlike the nonrelativistic case, the entire eigensolution does not completely vanish, either at the barrier or in the region under the step, but its upper component does satisfy the Dirichlet boundary condition at the barrier. More importantly, by calculating the mean value of the force exerted by the impenetrable wall on the particle in this eigenstate and taking its nonrelativistic limit, we recover the required result. We use two different approaches to obtain the latter two results. In one of these approaches, the corresponding force on the particle is a type of boundary quantum force. Throughout the article, various issues related to the Klein energy zone, the transmitted solutions to this problem, and impenetrable barriers related to boundary conditions are also discussed. In particular, if the negative-energy transmitted solution is used, the lower component of the scattering solution satisfies the Dirichlet boundary condition at the barrier, but the mean value of the external force when $V_{0}\rightarrow E+\mathrm{m}c^{2}$ does not seem to be compatible with the existence of the impenetrable barrier.


title: Effect of Sintering Conditions on the Microstructure and Electrochemical Properties of 6Scandia 1Ceria co-doped Zirconia (6Sc1CeZr)

abstract: The current work studies the effect of sintering conditions on the densification behavior, microstructure, and electrochemical performance of 6 mol% Sc2O3, 1 mol% CeO2 co-doped ZrO2 (6Sc1CeZr) for solid-state electrolyte applications. The specimen's physical properties and electrochemical performance sintered at different temperatures ranging from 1000 {\deg}C to 1700 {\deg}C for 6 hours are examined through diffraction, microscopy, and Raman and electrochemical impedance spectroscopy. The activation energy and pre-exponential conductivity factor of the oxygen ions are calculated using a linear fit to the Arrhenius-type conductivity equation. We observe that samples sintered at 1500 {\deg}C for 6h show a lower c/a axial ratio for the tetragonal phase, highest relative density, and highest total conductivity among all samples investigated. The higher total conductivity is explained by the formation of a higher symmetric tetragonal phase and the simultaneous existence of the cubic and tetragonal phases (with higher symmetry), supported by the presence of the cerium ions partially replaced zirconium ions' sites.


title: RSTGen: Imbuing Fine-Grained Interpretable Control into Long-FormText Generators

abstract: In this paper, we study the task of improving the cohesion and coherence of long-form text generated by language models. To this end, we propose RSTGen, a framework that utilises Rhetorical Structure Theory (RST), a classical language theory, to control the discourse structure, semantics and topics of generated text. Firstly, we demonstrate our model's ability to control structural discourse and semantic features of generated text in open generation evaluation. Then we experiment on the two challenging long-form text tasks of argument generation and story generation. Evaluation using automated metrics and a metric with high correlation to human evaluation, shows that our model performs competitively against existing models, while offering significantly more controls over generated text than alternative methods.


title: On Secure NOMA-CDRT Systems with Physical Layer Network Coding

abstract: This paper proposes a new scheme to enhance the secrecy performance of a NOMA-based coordinated direct relay transmission system (NOMA-CDRT) with an untrusted relay. The physical-layer network coding and the non-orthogonal multiple access scheme are combined to improve the spectrum efficiency. Furthermore, inter-user interference and friendly jamming signals are utilized to suppress the eavesdropping ability of the untrusted relay without affecting the acceptance quality of legitimate users. Specifically, the far user in the first slot and the near user in the second slot act as jammers to generate jamming signals to ensure secure transmissions of the confidential signals. We investigate the secrecy performance of the proposed scheme in NOMA-CDRT systems and derive the closed-form expression for the ergodic secrecy sum rate. The asymptotic analysis at high signal-to-noise ratio is performed to obtain more insights. Finally, simulation results are presented to demonstrate the effectiveness of the proposed scheme and the correctness of the theoretical analysis.


title: Robust optimal density control of robotic swarms

abstract: In this paper, we propose a computationally efficient, robust density control strategy for the mean-field model of a robotic swarm. We formulate a static optimal control problem (OCP) that computes a robot velocity field which drives the swarm to a target equilibrium density, and we prove the stability of the controlled system in the presence of transient perturbations and uncertainties in the initial conditions. The density dynamics are described by a linear elliptic advection-diffusion equation in which the control enters bilinearly into the advection term. The well-posedness of the state problem is ensured by an integral constraint. We prove the existence of optimal controls by embedding the state constraint into the weak formulation of the state dynamics. The resulting control field is space-dependent and does not require any communication between robots or costly density estimation algorithms. Based on the properties of the primal and dual systems, we first propose a method to accommodate the state constraint. Exploiting the properties of the state dynamics and associated controls, we then construct a modified dynamic OCP to speed up the convergence to the target equilibrium density of the associated static problem. We then show that the finite-element discretization of the static and dynamic OCPs inherits the structure and several useful properties of their infinite-dimensional formulations. Finally, we demonstrate the effectiveness of our control approach through numerical simulations of scenarios with obstacles and an external velocity field.


title: Less Learn Shortcut: Analyzing and Mitigating Learning of Spurious Feature-Label Correlation

abstract: Recent research has revealed that deep neural networks often take dataset biases as a shortcut to make decisions rather than understand tasks, leading to failures in real-world applications. In this study, we focus on the spurious correlation between word features and labels that models learn from the biased data distribution of training data. In particular, we define the word highly co-occurring with a specific label as biased word, and the example containing biased word as biased example. Our analysis shows that biased examples are easier for models to learn, while at the time of prediction, biased words make a significantly higher contribution to the models' predictions, and models tend to assign predicted labels over-relying on the spurious correlation between words and labels. To mitigate models' over-reliance on the shortcut (i.e. spurious correlation), we propose a training strategy Less-Learn-Shortcut (LLS): our strategy quantifies the biased degree of the biased examples and down-weights them accordingly. Experimental results on Question Matching, Natural Language Inference and Sentiment Analysis tasks show that LLS is a task-agnostic strategy and can improve the model performance on adversarial data while maintaining good performance on in-domain data.


title: Heterogeneous Reservoir Computing Models for Persian Speech Recognition

abstract: Over the last decade, deep-learning methods have been gradually incorporated into conventional automatic speech recognition (ASR) frameworks to create acoustic, pronunciation, and language models. Although it led to significant improvements in ASRs' recognition accuracy, due to their hard constraints related to hardware requirements (e.g., computing power and memory usage), it is unclear if such approaches are the most computationally- and energy-efficient options for embedded ASR applications. Reservoir computing (RC) models (e.g., echo state networks (ESNs) and liquid state machines (LSMs)), on the other hand, have been proven inexpensive to train, have vastly fewer parameters, and are compatible with emergent hardware technologies. However, their performance in speech processing tasks is relatively inferior to that of the deep-learning-based models. To enhance the accuracy of the RC in ASR applications, we propose heterogeneous single and multi-layer ESNs to create non-linear transformations of the inputs that capture temporal context at different scales. To test our models, we performed a speech recognition task on the Farsdat Persian dataset. Since, to the best of our knowledge, standard RC has not yet been employed to conduct any Persian ASR tasks, we also trained conventional single-layer and deep ESNs to provide baselines for comparison. Besides, we compared the RC performance with a standard long-short-term memory (LSTM) model. Heterogeneous RC models (1) show improved performance to the standard RC models; (2) perform on par in terms of recognition accuracy with the LSTM, and (3) reduce the training time considerably.


title: Wildcat: Online Continuous-Time 3D Lidar-Inertial SLAM

abstract: We present Wildcat, a novel online 3D lidar-inertial SLAM system with exceptional versatility and robustness. At its core, Wildcat combines a robust real-time lidar-inertial odometry module, utilising a continuous-time trajectory representation, with an efficient pose-graph optimisation module that seamlessly supports both the single- and multi-agent settings. The robustness of Wildcat was recently demonstrated in the DARPA Subterranean Challenge where it outperformed other SLAM systems across various types of sensing-degraded and perceptually challenging environments. In this paper, we extensively evaluate Wildcat in a diverse set of new and publicly available real-world datasets and showcase its superior robustness and versatility over two existing state-of-the-art lidar-inertial SLAM systems.


title: Certify the Uncertified: Towards Assessment of Virtualization for Mixed-criticality in the Automotive Domain

abstract: Nowadays, a feature-rich automotive vehicle offers several technologies to assist the driver during his trip and guarantee an amusing infotainment system to the other passengers, too. Consolidating worlds at different criticalities is a welcomed challenge for car manufacturers that have recently tried to leverage virtualization technologies due to reduced maintenance, deployment, and shipping costs. For this reason, more and more mixed-criticality systems are emerging, trying to assure compliance with the ISO 26262 Road Vehicle Safety standard. In this short paper, we provide a preliminary investigation of the certification capabilities for Jailhouse, a popular open-source partitioning hypervisor. To this aim, we propose a testing methodology and showcase the results, pointing out when the software gets to a faulting state, deviating from its expected behavior. The ultimate goal is to picture the right direction for the hypervisor towards a potential certification process.


title: Near-Optimal Leader Election in Population Protocols on Graphs

abstract: In the stochastic population protocol model, we are given a connected graph with $n$ nodes, and in every time step, a scheduler samples an edge of the graph uniformly at random and the nodes connected by this edge interact. A fundamental task in this model is stable leader election, in which all nodes start in an identical state and the aim is to reach a configuration in which (1) exactly one node is elected as leader and (2) this node remains as the unique leader no matter what sequence of interactions follows. On cliques, the complexity of this problem has recently been settled: time-optimal protocols stabilize in $\Theta(n \log n)$ expected steps using $\Theta(\log \log n)$ states, whereas protocols that use $O(1)$ states require $\Theta(n^2)$ expected steps. In this work, we investigate the complexity of stable leader election on graphs. We provide the first non-trivial time lower bounds on general graphs, showing that, when moving beyond cliques, the complexity of stable leader election can range from $O(1)$ to $\Theta(n^3)$ expected steps. We describe a protocol that is time-optimal on many graph families, but uses polynomially-many states. In contrast, we give a near-time-optimal protocol that uses only $O(\log^2n)$ states that is at most a factor $O(\log n)$ slower. Finally, we observe that for many graphs the constant-state protocol of Beauquier et al. [OPODIS 2013] is at most a factor $O(n \log n)$ slower than the fast polynomial-state protocol, and among constant-state protocols, this protocol has near-optimal average case complexity on dense random graphs.


title: RobustLR: Evaluating Robustness to Logical Perturbation in Deductive Reasoning

abstract: Transformers have been shown to be able to perform deductive reasoning on a logical rulebase containing rules and statements written in English natural language. While the progress is promising, it is currently unclear if these models indeed perform logical reasoning by understanding the underlying logical semantics in the language. To this end, we propose RobustLR, a suite of evaluation datasets that evaluate the robustness of these models to minimal logical edits in rulebases and some standard logical equivalence conditions. In our experiments with RoBERTa and T5, we find that the models trained in prior works do not perform consistently on the different perturbations in RobustLR, thus showing that the models are not robust to the proposed logical perturbations. Further, we find that the models find it especially hard to learn logical negation and disjunction operators. Overall, using our evaluation sets, we demonstrate some shortcomings of the deductive reasoning-based language models, which can eventually help towards designing better models for logical reasoning over natural language. All the datasets and code base have been made publicly available.


title: On the Impact of Hardware Impairments on RIS-aided Localization

abstract: We investigate a reconfigurable intelligent surface (RIS)-aided near-field localization system with single-antenna user equipment (UE) and base station (BS) under hardware impairments by considering a practical phase-dependent RIS amplitude variations model. To analyze the localization performance under the mismatch between the practical model and the ideal model with unit-amplitude RIS elements, we employ the misspecified Cram\'{e}r-Rao bound (MCRB). Based on the MCRB derivation, the lower bound (LB) on the mean-squared error for estimation of UE position is evaluated and shown to converge to the MCRB at low signal-to-noise ratios (SNRs). Simulation results indicate more severe performance degradation due to the model misspecification with increasing SNR. In addition, the mismatched maximum likelihood (MML) estimator is derived and found to be tight to the LB in the high SNR regime. Finally, we observe that the model mismatch can lead to an order-of-magnitude localization performance loss at high SNRs.


title: ORCA: Interpreting Prompted Language Models via Locating Supporting Data Evidence in the Ocean of Pretraining Data

abstract: Large pretrained language models have been performing increasingly well in a variety of downstream tasks via prompting. However, it remains unclear from where the model learns the task-specific knowledge, especially in a zero-shot setup. In this work, we want to find evidence of the model's task-specific competence from pretraining and are specifically interested in locating a very small subset of pretraining data that directly supports the model in the task. We call such a subset supporting data evidence and propose a novel method ORCA to effectively identify it, by iteratively using gradient information related to the downstream task. This supporting data evidence offers interesting insights about the prompted language models: in the tasks of sentiment analysis and textual entailment, BERT shows a substantial reliance on BookCorpus, the smaller corpus of BERT's two pretraining corpora, as well as on pretraining examples that mask out synonyms to the task verbalizers.


title: Learning Distributions by Generative Adversarial Networks: Approximation and Generalization

abstract: We study how well generative adversarial networks (GAN) learn probability distributions from finite samples by analyzing the convergence rates of these models. Our analysis is based on a new oracle inequality that decomposes the estimation error of GAN into the discriminator and generator approximation errors, generalization error and optimization error. To estimate the discriminator approximation error, we establish error bounds on approximating H\"older functions by ReLU neural networks, with explicit upper bounds on the Lipschitz constant of the network or norm constraint on the weights. For generator approximation error, we show that neural network can approximately transform a low-dimensional source distribution to a high-dimensional target distribution and bound such approximation error by the width and depth of neural network. Combining the approximation results with generalization bounds of neural networks from statistical learning theory, we establish the convergence rates of GANs in various settings, when the error is measured by a collection of integral probability metrics defined through H\"older classes, including the Wasserstein distance as a special case. In particular, for distributions concentrated around a low-dimensional set, we show that the convergence rates of GANs do not depend on the high ambient dimension, but on the lower intrinsic dimension.


title: VTP: Volumetric Transformer for Multi-view Multi-person 3D Pose Estimation

abstract: This paper presents Volumetric Transformer Pose estimator (VTP), the first 3D volumetric transformer framework for multi-view multi-person 3D human pose estimation. VTP aggregates features from 2D keypoints in all camera views and directly learns the spatial relationships in the 3D voxel space in an end-to-end fashion. The aggregated 3D features are passed through 3D convolutions before being flattened into sequential embeddings and fed into a transformer. A residual structure is designed to further improve the performance. In addition, the sparse Sinkhorn attention is empowered to reduce the memory cost, which is a major bottleneck for volumetric representations, while also achieving excellent performance. The output of the transformer is again concatenated with 3D convolutional features by a residual design. The proposed VTP framework integrates the high performance of the transformer with volumetric representations, which can be used as a good alternative to the convolutional backbones. Experiments on the Shelf, Campus and CMU Panoptic benchmarks show promising results in terms of both Mean Per Joint Position Error (MPJPE) and Percentage of Correctly estimated Parts (PCP). Our code will be available.


title: RNA folding landscapes from explicit solvent all-atom simulations

abstract: Atomically detailed simulations of RNA folding have proven very challenging in view of the difficulties of developing realistic force fields and the intrinsic computational complexity of sampling rare conformational transitions. To tackle both these issues, we extend to RNA an enhanced path sampling method previously successfully applied to proteins. In this scheme, the information about the RNA's native structure is harnessed by a soft history-dependent biasing force, which is added to the atomistic force field, thus promoting the generation of productive folding trajectories. Here, we report on the results of simulations in explicit solvent of RNA molecules from 20 to 47 nucleotides long and increasing topological complexity. From a statistical analysis of the folding pathways we infer that, differently from proteins, the underlying free energy landscape is significantly frustrated, even for relatively small chains with a simple topology. The folding mechanism and the thermodynamics are in agreement with the available experiments and some of the existing coarse-grained models. This scheme provides a fully microscopic characterization of RNA folding, relating the kinetics and dynamics of the transition to the chemistry of the chain and its solvent. Therefore, it provides a transferable framework that sets the stage for future translational applications.


title: Leveraging QA Datasets to Improve Generative Data Augmentation

abstract: The ability of generative language models (GLMs) to generate text has improved considerably in the last few years, enabling their use for generative data augmentation. In this work, we propose CONDA, an approach to further improve GLMs' ability to generate synthetic data by reformulating data generation as context generation for a given question-answer (QA) pair and leveraging QA datasets for training context generators. Then, we cast downstream tasks into the same question answering format and adapt the fine-tuned context generators to the target task domain. Finally, we use the fine-tuned GLM to generate relevant contexts, which are in turn used as synthetic training data for their corresponding tasks. We perform extensive experiments on multiple classification datasets and demonstrate substantial improvements in performance for both few- and zero-shot settings. Our analysis reveals that QA datasets that require high-level reasoning abilities (e.g., abstractive and common-sense QA datasets) tend to give the best boost in performance in both few-shot and zero-shot settings.


title: Kinks in massive non-linear ${\mathbb S}^1\times{\mathbb S}^1$-Sigma models

abstract: In this paper the whole kink varieties arising in several massive non-linear Sigma models whose target space is the torus ${\mathbb S}^1\times{\mathbb S}^1$ are analytically calculated. This possibility underlies the construction of first-order differential equations by adapting the Bogomolny procedure to non-Euclidean spaces. Among the families of solutions non-topological kinks connecting the same vacuum are found. This class of solutions are usually considered to be not globally stable. However, in this context the topological constraints obtained by the non-simply connectedness of the target space turn these non-topological kinks into globally stable solutions. The analytical resolution of the equations allows the complete study of the linear stability for some basic kinks.


title: ReSmooth: Detecting and Utilizing OOD Samples when Training with Data Augmentation

abstract: Data augmentation (DA) is a widely used technique for enhancing the training of deep neural networks. Recent DA techniques which achieve state-of-the-art performance always meet the need for diversity in augmented training samples. However, an augmentation strategy that has a high diversity usually introduces out-of-distribution (OOD) augmented samples and these samples consequently impair the performance. To alleviate this issue, we propose ReSmooth, a framework that firstly detects OOD samples in augmented samples and then leverages them. To be specific, we first use a Gaussian mixture model to fit the loss distribution of both the original and augmented samples and accordingly split these samples into in-distribution (ID) samples and OOD samples. Then we start a new training where ID and OOD samples are incorporated with different smooth labels. By treating ID samples and OOD samples unequally, we can make better use of the diverse augmented data. Further, we incorporate our ReSmooth framework with negative data augmentation strategies. By properly handling their intentionally created OOD samples, the classification performance of negative data augmentations is largely ameliorated. Experiments on several classification benchmarks show that ReSmooth can be easily extended to existing augmentation strategies (such as RandAugment, rotate, and jigsaw) and improve on them. Our code is available at https://github.com/Chenyang4/ReSmooth.


title: Discontinuities cause essential spectrum

abstract: We study transfer operators associated to piecewise monotone interval transformations and show that the essential spectrum is large whenever the Banach space bounds $L^\infty$ and the transformation fails to be Markov. Constructing a family of Banach spaces we show that the lower bound on the essential spectral radius is optimal. Indeed, these Banach spaces realise an essential spectral radius as close as desired to the theoretical best possible case.


title: Slow-Roll Inflation at N3LO

abstract: The next generation of cosmological observations will be sensitive to small deviations from a pure power law in the primordial power spectrum of the curvature perturbations. In the context of slow-roll inflation, these deviations are expected and correspond to the so-called running of the spectral index. Their measurement would bring as much information as the discovery of deviations from scale invariance. However, robust parameter inference requires to marginalize over any possible higher order uncertainties, which have been, up to now, not fully determined. We tackle this issue by deriving the inflationary scalar and tensor slow-roll power spectra at next-to-next-to-next to leading order (N3LO), fully expanded around an observable pivot wavenumber, for all single field inflationary models having minimal and non-minimal kinetic terms. Our result therefore encompasses string-inspired inflationary models having a varying speed of sound.


title: Generating Information-Seeking Conversations from Unlabeled Documents

abstract: In this paper, we introduce a novel framework, SIMSEEK, (Simulating information-Seeking conversation from unlabeled documents), and compare its two variants. In our baseline SIMSEEK-SYM, a questioner generates follow-up questions upon the predetermined answer by an answerer. On the contrary, SIMSEEK-ASYM first generates the question and then finds its corresponding answer under the conversational context. Our experiments show that they can synthesize effective training resources for CQA and conversational search tasks. As a result, conversations from SIMSEEK-ASYM not only make more improvements in our experiments but also are favorably reviewed in a human evaluation. We finally release a large-scale resource of synthetic conversations, WIKI-SIMSEEK, containing 2 million CQA pairs built upon Wikipedia documents. With the dataset, our CQA model achieves state-of-the-art performance on a recent CQA benchmark, QuAC.


title: Oscillatory Phenomena for Higher-Order Fractional Laplacians

abstract: We collect some peculiarities of higher-order fractional Laplacians $(-\Delta)^s$, $s>1$, with special attention to the range $s\in(1,2)$, which show their oscillatory nature. These include the failure of the polarization and P\'olya-Szeg\"o inequalities and the explicit example of a domain with sign-changing first eigenfunction. In spite of these fluctuating behaviours, we prove how the Faber-Krahn inequality still holds for any $s>1$ in dimension one.


title: Deep Aesthetic Assessment and Retrieval of Breast Cancer Treatment Outcomes

abstract: Treatments for breast cancer have continued to evolve and improve in recent years, resulting in a substantial increase in survival rates, with approximately 80\% of patients having a 10-year survival period. Given the serious impact that breast cancer treatments can have on a patient's body image, consequently affecting her self-confidence and sexual and intimate relationships, it is paramount to ensure that women receive the treatment that optimizes both survival and aesthetic outcomes. Currently, there is no gold standard for evaluating the aesthetic outcome of breast cancer treatment. In addition, there is no standard way to show patients the potential outcome of surgery. The presentation of similar cases from the past would be extremely important to manage women's expectations of the possible outcome. In this work, we propose a deep neural network to perform the aesthetic evaluation. As a proof-of-concept, we focus on a binary aesthetic evaluation. Besides its use for classification, this deep neural network can also be used to find the most similar past cases by searching for nearest neighbours in the highly semantic space before classification. We performed the experiments on a dataset consisting of 143 photos of women after conservative treatment for breast cancer. The results for accuracy and balanced accuracy showed the superior performance of our proposed model compared to the state of the art in aesthetic evaluation of breast cancer treatments. In addition, the model showed a good ability to retrieve similar previous cases, with the retrieved cases having the same or adjacent class (in the 4-class setting) and having similar types of asymmetry. Finally, a qualitative interpretability assessment was also performed to analyse the robustness and trustworthiness of the model.


title: Ensemble averages of ab initio optical, transport, and thermoelectric properties of hexagonal Si$_x$Ge$_{1-x}$ alloys

abstract: We present a comprehensive first-principles investigation of optical, transport, and thermoelectric properties of pure and doped hexagonal Si$_x$Ge$_{1-x}$ alloys based on density-functional theory calculations, the Boltzmann transport equation, and the generalized quasi-chemical approximation to obtain alloy averages of electronic properties. At low temperature, phase decomposition into the hexagonal elementary crystals is thermodynamically favored, but around and above room temperature random alloys are predicted to be stable. While hexagonal Si has an indirect band gap, the gap of hexagonal Ge is direct with very weak optical transitions at the absorption edge. The alloy band gap remains direct for a Si content below 45\,\% and the oscillator strength of the lowest optical transitions is efficiently enhanced by alloying. The optical spectra show clear trends and both absorption edges and prominent peaks can be tuned with composition. The dependence of transport coefficients on carrier concentration and temperature is similar in cubic and hexagonal alloys. However, the latter display anisotropic response due to the reduced hexagonal symmetry. In particular, the transport mass exhibits a significant directional dependence. Seebeck coefficients and thermoelectric power factors of $n$-doped alloys show non-monotonous variations with the Si content independently of temperature.