title: AdvMask: A Sparse Adversarial Attack Based Data Augmentation Method for Image Classification

abstract: Data augmentation is a widely used technique for enhancing the generalization ability of convolutional neural networks (CNNs) in image classification tasks. Occlusion is a critical factor that affects on the generalization ability of image classification models. In order to generate new samples, existing data augmentation methods based on information deletion simulate occluded samples by randomly removing some areas in the images. However, those methods cannot delete areas of the images according to their structural features of the images. To solve those problems, we propose a novel data augmentation method, AdvMask, for image classification tasks. Instead of randomly removing areas in the images, AdvMask obtains the key points that have the greatest influence on the classification results via an end-to-end sparse adversarial attack module. Therefore, we can find the most sensitive points of the classification results without considering the diversity of various image appearance and shapes of the object of interest. In addition, a data augmentation module is employed to generate structured masks based on the key points, thus forcing the CNN classification models to seek other relevant content when the most discriminative content is hidden. AdvMask can effectively improve the performance of classification models in the testing process. The experimental results on various datasets and CNN models verify that the proposed method outperforms other previous data augmentation methods in image classification tasks.


title: Linear Complexity Gibbs Sampling for Generalized Labeled Multi-Bernoulli Filtering

abstract: Generalized Labeled Multi-Bernoulli (GLMB) densities arise in a host of multi-object system applications analogous to Gaussians in single-object filtering. However, computing the GLMB filtering density requires solving NP-hard problems. To alleviate this computational bottleneck, we develop a linear complexity Gibbs sampling framework for GLMB density computation. Specifically, we propose a tempered Gibbs sampler that exploits the structure of the GLMB filtering density to achieve an $\mathcal{O}(T(P+M))$ complexity, where $T$ is the number of iterations of the algorithm, $P$ and $M$ are the number hypothesized objects and measurements. This innovation enables the GLMB filter implementation to be reduced from an $\mathcal{O}(TP^{2}M)$ complexity to $\mathcal{O}(T(P+M+\log T)+PM)$. Moreover, the proposed framework provides the flexibility for trade-offs between tracking performance and computational load. Convergence of the proposed Gibbs sampler is established, and numerical studies are presented to validate the proposed GLMB filter implementation.


title: Theta divisors and permutohedra

abstract: We establish a surprising relation of the smooth theta-divisor $\Theta^n$ with permutohedron $\Pi^n$ and the corresponding toric variety $X_\Pi^n.$ In particular, we show that the generalised Todd genus of the theta divisor $\Theta^n$ coincides with $h$-polynomial of permutohedron $\Pi^n$ and thus is different from the same genus of $X_\Pi^n$ only by the sign $(-1)^n.$ As an application we find all the Hodge numbers of the theta divisors in terms of the Eulerian numbers. We reveal also interesting numerical relations between theta-divisors and Tomei manifolds from the theory of the integrable Toda lattice.


title: Interpolation of subdivision features for curved geometry modeling

abstract: We present a nodal interpolation method to approximate a subdivision model. The main application is to model and represent curved geometry without gaps and preserving the required simulation intent. Accordingly, we devise the technique to maintain the necessary sharp features and smooth the indicated ones. This sharp-to-smooth modeling capability handles unstructured configurations of the simulation points, curves, and surfaces. The surfaces correspond to initial linear triangulations that determine the sharp point and curve features. The method automatically suggests a subset of sharp features to smooth which the user modifies to obtain a limit model preserving the initial points. This model reconstructs the curvature by subdivision of the initial mesh, with no need of an underlying curved geometry model. Finally, given a polynomial degree and a nodal distribution, the method generates a piece-wise polynomial representation interpolating the limit model. We show numerical evidence that this approximation, naturally aligned to the subdivision features, converges to the model geometrically with the polynomial degree for nodal distributions with sub-optimal Lebesgue constant. We also apply the method to prescribe the curved boundary of a high-order volume mesh. We conclude that our sharp-to-smooth modeling capability leads to curved geometry representations with enhanced preservation of the simulation intent.


title: Model Extraction Attack against Self-supervised Speech Models

abstract: Self-supervised learning (SSL) speech models generate meaningful representations of given clips and achieve incredible performance across various downstream tasks. Model extraction attack (MEA) often refers to an adversary stealing the functionality of the victim model with only query access. In this work, we study the MEA problem against SSL speech model with a small number of queries. We propose a two-stage framework to extract the model. In the first stage, SSL is conducted on the large-scale unlabeled corpus to pre-train a small speech model. Secondly, we actively sample a small portion of clips from the unlabeled corpus and query the target model with these clips to acquire their representations as labels for the small model's second-stage training. Experiment results show that our sampling methods can effectively extract the target model without knowing any information about its model architecture.


title: Fun with replicas: tripartitions in tensor networks and gravity

abstract: We introduce a new correlation measure for tripartite pure states that we call $G(A:B:C)$. The quantity is symmetric with respect to the subsystems $A$, $B$, $C$, invariant under local unitaries, and is bounded from above by $\log d_A d_B$. For random tensor network states, we prove that $G(A:B:C)$ is equal to the size of the minimal tripartition of the tensor network, i.e., the logarithmic bond dimension of the smallest cut that partitions the network into three components with $A$, $B$, and $C$. We argue that for holographic states with a fixed spatial geometry, $G(A:B:C)$ is similarly computed by the minimal area tripartition. For general holographic states, $G(A:B:C)$ is determined by the minimal area tripartition in a backreacted geometry, but a smoothed version is equal to the minimal tripartition in an unbackreacted geometry at leading order. We briefly discuss a natural family of quantities $G_n(A:B:C)$ for integer $n \geq 2$ that generalize $G=G_2$. In holography, the computation of $G_n(A:B:C)$ for $n>2$ spontaneously breaks part of a $\mathbb{Z}_n \times \mathbb{Z}_n$ replica symmetry. This prevents any naive application of the Lewkowycz-Maldacena trick in a hypothetical analytic continuation to $n=1$.


title: Motion Magnification Algorithms for Video-Based Breathing Monitoring

abstract: In this paper, we present two video processing techniques for contact-less estimation of the Respiratory Rate (RR) of framed subjects. Due to the modest extent of movements related to respiration in both infants and adults, specific algorithms to efficiently detect breathing are needed. For this reason, motion-related variations in video signals are exploited to identify respiration of the monitored patient and simultaneously estimate the RR over time. Our estimation methods rely on two motion magnification algorithms that are exploited to enhance the subtle respiration-related movements. In particular, amplitude- and phase-based algorithms for motion magnification are considered to extract reliable motion signals. The proposed estimation systems perform both spatial decomposition of the video frames combined with proper temporal filtering to extract breathing information. After periodic (or quasi-periodic) respiratory signals are extracted and jointly analysed, we apply the Maximum Likelihood (ML) criterion to estimate the fundamental frequency, corresponding to the RR. The performance of the presented methods is first assessed by comparison with reference data. Videos framing different subjects, i.e., newborns and adults, are tested. Finally, the RR estimation accuracy of both methods is measured in terms of normalized Root Mean Squared Error (RMSE).


title: Neural Feature-Adaptation for Symbolic Predictions Using Pre-Training and Semantic Loss

abstract: We are interested in neurosymbolic systems consisting of a high-level symbolic layer for explainable prediction in terms of human-intelligible concepts; and a low-level neural layer for extracting symbols required to generate the symbolic explanation. Real data is often imperfect meaning that even if the symbolic theory remains unchanged, we may still need to address the problem of mapping raw data to high-level symbols, each time there is a change in the data acquisition environment or equipment. Manual (re-)annotation of the raw data each time this happens is laborious and expensive; and automated labelling methods are often imperfect, especially for complex problems. NEUROLOG proposed the use of a semantic loss function that allows an existing feature-based symbolic model to guide the extraction of feature-values from raw data, using `abduction'. However, the experiments demonstrating the use of semantic loss through abduction appear to rely heavily on a domain-specific pre-processing step that enables a prior delineation of feature locations in the raw data. We examine the use of semantic loss in domains where such pre-processing is not possible, or is not obvious. We show that without any prior information about the features, the NEUROLOG approach can continue to predict accurately even with substantially incorrect feature predictions. We show also that prior information about the features in the form of even imperfect pre-training can help correct this situation. These findings are replicated on the original problem considered by NEUROLOG, without the use of feature-delineation. This suggests that symbolic explanations constructed for data in a domain could be re-used in a related domain, by `feature-adaptation' of pre-trained neural extractors using the semantic loss function constrained by abductive feedback.


title: Magnetic interactions of 4$f$ electrons in the topological insulator chalcogenide Bi$_{2}$Se$_{3}$

abstract: The gap opening mechanism of a topological insulator, the quantum anomalous Hall effect and the axion physics are still pressing open questions and a microscopic viewpoint to further understand the role of magnetism in topology is highly desirable. In this work we have performed a microscopic investigation, by means of electron spin resonance (ESR) along with complementary bulk measurements, on the chalcogenide (Bi$_{1-x}$Gd$_{x}$)$_{2}$Se$_{3}$ ($x$ = 0, 0.001, 0.002 and 0.006). Our analysis of the Gd$^{3+}$ spin dynamics reveal no significant change of the Fermi surface as a function of Gd$^{3+}$ concentration, which indicates that the 4$f$ magnetism is different from the non-local effects induced by transition metals ($d$ electrons) substitutions. Additionally, we observe an unusual evolution of the Gd$^{3+}$ ESR spectra as a function of the applied magnetic field, which we discuss considering the magnetic interaction between Gd$^{3+}$ 4$f$ electrons and impurity centers such as Se vacancies. This interaction would give rise to a local weak antilocalization effect surrounding the Gd$^{3+}$ ions. Such mechanism is observable due to particular details of the Gd$^{3+}$ 4$f$ electrons magnetism in this system compared to $d$ electrons. Our work points out that rare earth substitutions in this model topological insulator is a promising path to explore the axion insulating systems.


title: Evaluating and reducing the distance between synthetic and real speech distributions

abstract: While modern Text-to-Speech (TTS) systems can produce natural-sounding speech, they remain unable to reproduce the full diversity found in natural speech data. We consider the distribution of all possible real speech samples that could be generated by these speakers alongside the distribution of all synthetic samples that could be generated for the same set of speakers, using a particular TTS system. We set out to quantify the distance between real and synthetic speech via a range of utterance-level statistics related to properties of the speaker, speech prosody and acoustic environment. Differences in the distribution of these statistics are evaluated using the Wasserstein distance. We reduce these distances by providing ground-truth values at generation time, and quantify the improvements to the overall distribution distance, approximated using an automatic speech recognition system. Our best system achieves a 10\% reduction in distribution distance.


title: Random walks with drift inside a pyramid: convergence rate for the survival probability

abstract: We consider multidimensional random walks in pyramids, which by definition are cones formed by finite intersections of half-spaces. The main object of interest is the survival probability $\mathbb{P}(\tau>n)$, $\tau$ denoting the first exit time from a fixed pyramid. When the drift belongs to the interior of the cone, the survival probability sequence converges to the non-exit probability $\mathbb{P}(\tau=\infty)$, which is positive. In this note, we quantify the speed of convergence, and prove that the exponential rate of convergence may be computed by means of a certain min-max of the Laplace transform of the random walk increments. We illustrate our results with various examples.


title: Regret-Optimal Online Caching for Adversarial and Stochastic Arrivals

abstract: We consider the online caching problem for a cache of limited size. In a time-slotted system, a user requests one file from a large catalog in each slot. If the requested file is cached, the policy receives a unit reward and zero rewards otherwise. We show that a Follow the Perturbed Leader (FTPL)-based anytime caching policy is simultaneously regret-optimal for both adversarial and i.i.d. stochastic arrivals. Further, in the setting where there is a cost associated with switching the cached contents, we propose a variant of FTPL that is order-optimal with respect to time for both adversarial and stochastic arrivals and has a significantly better performance compared to FTPL with respect to the switching cost for stochastic arrivals. We also show that these results can be generalized to the setting where there are constraints on the frequency with which cache contents can be changed. Finally, we validate the results obtained on various synthetic as well as real-world traces.


title: Partial frames, their free frames and their congruence frames

abstract: The context of this work is that of partial frames; these are meet-semilattices where not all subsets need have joins. A selection function, S, specifies, for all meet-semilattices, certain subsets under consideration, which we call the ``designated'' ones; an S-frame then must have joins of (at least) all such subsets and binary meet must distribute over these. A small collection of axioms suffices to specify our selection functions; these axioms are sufficiently general to include as examples of partial frames, bounded distributive lattices, sigma-frames, kappa-frames and frames. We consider right and left adjoints of S-frame maps, as a prelude to the introduction of closed and open maps. Then we look at what might be an appropriate notion of Booleanness for partial frames. The obvious candidate is the condition that every element be complemented; this concept is indeed of interest, but we pose three further conditions which, in the frame setting, are all equivalent to it. However, in the context of partial frames, the four conditions are distinct. In investigating these, we make essential use of the free frame over a partial frame and the congruence frame of a partial frame. We compare congruences of a partial frame, technically called S-congruences, with the frame congruences of its free frame. We provide a natural transformation for the situation and also consider right adjoints of the frame maps in question. We characterize the case where the two congruence frames are isomorphic and provide examples which illuminate the possible different behaviour of the two. We conclude with a characterization of closedness and openness for the embedding of a partial frame into its free fame, and into its congruence frame.


title: TopicFlow: Disentangling quark and gluon jets with normalizing flows

abstract: The isolation of pure samples of quark and gluon jets is of key interest at hadron colliders. Recent work has employed topic modeling to disentangle the underlying distributions in mixed samples obtained from experiments. However, current implementations do not scale to high-dimensional observables as they rely on binning the data. In this work we introduce TopicFlow, a method based on normalizing flows to learn quark and gluon jet topic distributions from mixed datasets. These networks are as performant as the histogram-based approach, but since they are unbinned, they are efficient even in high dimension. The models can also be oversampled to alleviate the statistical limitations of histograms. As an example use case, we demonstrate how our models can improve the calibration accuracy of a classifier. Finally, we discuss how the flow likelihoods can be used to perform outlier-robust quark/gluon classification.


title: Mitigating the risk of tanking in multi-stage tournaments

abstract: Multi-stage tournaments consisting of a round-robin group stage followed by a knockout phase are ubiquitous in sports. However, this format is incentive incompatible if at least two teams from a group advance to the knockout stage where the brackets are predetermined. A model is developed to quantify the risk of tanking in these contests. The suggested approach is applied to the 2022 FIFA World Cup to uncover how its design could have been improved by changing group labelling (a reform that has received no attention before) and the schedule of group matches. Scheduling is found to be a surprisingly weak intervention compared to previous results on the risk of collusion in a group. The probability of tanking, which is disturbingly high around 25\%, cannot be reduced by more than 3 percentage points via these policies. Tournament organisers need to consider more fundamental changes against tanking.


title: Invariant and Preserving Transforms for Cross Ratio of 4-Points in a line on Desargues Affine Plane

abstract: This paper introduces advances in the geometry of the transforms for cross ratio of four points in a line in the Desargues affine plane. The results given here have a clean, based Desargues affine plan axiomatic's and definitions of addition and multiplication of points on a line in this plane, and for skew field properties. In this paper are studied, properties and results related to the some transforms for cross ratio for 4-points, in a line, which we divide into two categories, \emph{Invariant} and \emph{Preserving} transforms for cross ratio. The results in this paper are (1) the cross-ratio of four points is \emph{Invariant} under transforms: Inversion, Natural Translation, Natural Dilation, Mobi\"us Transform, in a line of Desargues affine plane. (2) the cross-ratio of four points is \emph{Preserved} under transforms: parallel projection, translations and dilation's in the Desargues affine plane.


title: NoisyQuant: Noisy Bias-Enhanced Post-Training Activation Quantization for Vision Transformers

abstract: The complicated architecture and high training cost of vision transformers urge the exploration of post-training quantization. However, the heavy-tailed distribution of vision transformer activations hinders the effectiveness of previous post-training quantization methods, even with advanced quantizer designs. Instead of tuning the quantizer to better fit the complicated activation distribution, this paper proposes NoisyQuant, a quantizer-agnostic enhancement for the post-training activation quantization performance of vision transformers. We make a surprising theoretical discovery that for a given quantizer, adding a fixed Uniform noisy bias to the values being quantized can significantly reduce the quantization error under provable conditions. Building on the theoretical insight, NoisyQuant achieves the first success on actively altering the heavy-tailed activation distribution with additive noisy bias to fit a given quantizer. Extensive experiments show NoisyQuant largely improves the post-training quantization performance of vision transformer with minimal computation overhead. For instance, on linear uniform 6-bit activation quantization, NoisyQuant improves SOTA top-1 accuracy on ImageNet by up to 1.7%, 1.1% and 0.5% for ViT, DeiT, and Swin Transformer respectively, achieving on-par or even higher performance than previous nonlinear, mixed-precision quantization.


title: Status and prospects of the CORSIKA 8 air shower simulation framework

abstract: The Fortran-versions of the CORSIKA air shower simulation code have been at the core of simulations for many astroparticle physics experiments for the last 30 years. Having grown over decades into an ever more complex software, maintainability of CORSIKA has become increasingly difficult, though its performance is still excellent. In 2018, therefore a complete rewrite of CORSIKA has begun in modern modular C++. Today, CORSIKA 8 has reached important milestones with a full-fledged implementation of both the hadronic and electromagnetic cascades, the ability to simulate radio and Cherenkov-light emission from air showers and an unprecedented flexibility to configure simulation media and their geometries. This presentation will discuss the current status of CORSIKA 8, highlight the new possibilities already available, and future prospects of this new air shower simulation framework.


title: Functions tiling simultaneously with two arithmetic progressions

abstract: We consider measurable functions $f$ on $\mathbb{R}$ that tile simultaneously by two arithmetic progressions $\alpha \mathbb{Z}$ and $\beta \mathbb{Z}$ at respective tiling levels $p$ and $q$. We are interested in two main questions: what are the possible values of the tiling levels $p,q$, and what is the least possible measure of the support of $f$? We obtain sharp results which show that the answers depend on arithmetic properties of $\alpha, \beta$ and $p,q$, and in particular, on whether the numbers $\alpha, \beta$ are rationally independent or not.


title: On Large-Scale Multiple Testing Over Networks: An Asymptotic Approach

abstract: This work concerns developing communication- and computation-efficient methods for large-scale multiple testing over networks, which is of interest to many practical applications. We take an asymptotic approach and propose two methods, proportion-matching and greedy aggregation, tailored to distributed settings. The proportion-matching method achieves the global BH performance yet only requires a one-shot communication of the (estimated) proportion of true null hypotheses as well as the number of p-values at each node. By focusing on the asymptotic optimal power, we go beyond the BH procedure by providing an explicit characterization of the asymptotic optimal solution. This leads to the greedy aggregation method that effectively approximates the optimal rejection regions at each node, while computation efficiency comes from the greedy-type approach naturally. Moreover, for both methods, we provide the rate of convergence for both the FDR and power. Extensive numerical results over a variety of challenging settings are provided to support our theoretical findings.


title: Axiomatic de Sitter quantum Yang-Mills theory with color confinement and mass gap

abstract: The analyticity property of de Sitter's quantum Yang-Mills theory in the framework of Kerin space quantization, including quantum metric fluctuation, is demonstrated. This property completes our previous work regarding quantum Yang-Mills theory in de Sitter's ambient space formalism, and we can construct an axiomatic quantum field theory similar to Wightman's axioms. The color confinement is proven for the general case, which was previously approved in the early universe. It is shown by using the interaction between gluon fields and the conformal sector of the gravitational field, which is a massless minimally coupled scalar gauge field. The gluon mass results from the interaction between the gluon fields and the massless minimally coupled scalar field as a conformal sector of the gravitational field and then the symmetry-breaking setting due to the vacuum expectation value of the scalar field.


title: An algorithm to compute fundamental classes of spin components of strata of differentials

abstract: We construct an algorithm for computing the cycle classes of the spin components of a stratum of differentials in the moduli space of stable curves $\overline{\mathcal{M}}_{g,n}$. In addition, we implement it within the Sage package admcycles. Our main strategy is to reconstruct these cycles by their restrictions to the boundary of $\overline{\mathcal{M}}_{g,n}$ via clutching maps. These restrictions can be computed recursively by smaller dimensional spin classes and determine the original class via a certain system of linear equations. To study the spin parities on the boundary of a stratum of differentials of even type, we make use of the moduli space of multi-scale differentials introduced in [BCCGM19]. As an application of our algorithm, one can verify a conjecture on spin double ramification cycles stated in [CSS21] in many examples, by using the results computed by our algorithm.


title: Action for N D0-Branes Invariant Under Gauged Galilean Transformations

abstract: In this short note we formulate an action for N D0-branes that is manifestly invariant under gauged Galilean transformations. We also find its canonical form and determine first class constraints that are generators of gauge transformations.


title: Ground states and magnonics in orthogonally-coupled symmetric all-antiferromagnetic junctions

abstract: In this work, the rich ground-state structure of orthogonally-coupled symmetric all-antiferromagnetic junctions with easy-plane anisotropy is reported. Spin reorientation process rather than the traditional spin flop (SF) occurs, resulting in a novel phase in which N\'{e}el vectors preserve the mirror-reflection symmetry (termed as ``MRS phase"). The phase transitions between SF and MRS phases can be either the first- or second-order. After disturbed by external stimuli, magnons with different parities emerge. For in-plane dc fields, no couplings between magnons occur. When dc fields become oblique, coherent couplings between magnons with opposite parity emerge, leading to anticrossings in resonance frequencies. However, self-hybridization among magnons with the same parity never happens. More interestingly, spin waves based on MRS phase are linearly polarized and their polarization directions can be fine controlled.


title: Locating the source of forced oscillations in transmission power grids

abstract: Forced oscillation event in power grids refers to a state where malfunctioning or abnormally operating equipment causes persisting periodic disturbances in the system. While power grids are designed to damp most of perturbations during standard operations, some of them can excite normal modes of the system and cause significant energy transfers across the system, creating large oscillations thousands of miles away from the source. Localization of the source of such disturbances remains an outstanding challenge due to a limited knowledge of the system parameters outside of the zone of responsibility of system operators. Here, we propose a new method for locating the source of forced oscillations which addresses this challenge by performing a simultaneous dynamic model identification using a principled maximum likelihood approach. We illustrate the validity of the algorithm on a variety of examples where forcing leads to resonance conditions in the system dynamics. Our results establish that an accurate knowledge of system parameters is not required for a successful inference of the source and frequency of a forced oscillation. We anticipate that our method will find a broader application in general dynamical systems that can be well-described by their linearized dynamics over short periods of time.


title: Hiding speaker's sex in speech using zero-evidence speaker representation in an analysis/synthesis pipeline

abstract: The use of modern vocoders in an analysis/synthesis pipeline allows us to investigate high-quality voice conversion that can be used for privacy purposes. Here, we propose to transform the speaker embedding and the pitch in order to hide the sex of the speaker. ECAPA-TDNN-based speaker representation fed into a HiFiGAN vocoder is protected using a neural-discriminant analysis approach, which is consistent with the zero-evidence concept of privacy. This approach significantly reduces the information in speech related to the speaker's sex while preserving speech content and some consistency in the resulting protected voices.


title: Analysis of Training Object Detection Models with Synthetic Data

abstract: Recently, the use of synthetic training data has been on the rise as it offers correctly labelled datasets at a lower cost. The downside of this technique is that the so-called domain gap between the real target images and synthetic training data leads to a decrease in performance. In this paper, we attempt to provide a holistic overview of how to use synthetic data for object detection. We analyse aspects of generating the data as well as techniques used to train the models. We do so by devising a number of experiments, training models on the Dataset of Industrial Metal Objects (DIMO). This dataset contains both real and synthetic images. The synthetic part has different subsets that are either exact synthetic copies of the real data or are copies with certain aspects randomised. This allows us to analyse what types of variation are good for synthetic training data and which aspects should be modelled to closely match the target data. Furthermore, we investigate what types of training techniques are beneficial towards generalisation to real data, and how to use them. Additionally, we analyse how real images can be leveraged when training on synthetic images. All these experiments are validated on real data and benchmarked to models trained on real data. The results offer a number of interesting takeaways that can serve as basic guidelines for using synthetic data for object detection. Code to reproduce results is available at https://github.com/EDM-Research/DIMO_ObjectDetection.


title: Extending torsors under quasi-finite flat group schemes

abstract: Let $R$ be a discrete valuation ring of field of fractions $K$ and of residue field $k$ of characteristic $p > 0$.\\ In an earlier work, we studied the question of extending torsors on $K$-curves into torsors over $R$-regular models of the curves in the case when the structural $K$-group scheme of the torsor admits a finite flat model over $R$. In this paper, we first give a simpler description of the problem in the case where the curve is semistable. Secondly, if $R$ is assumed to be Henselian and Japanese, we solve the problem of extending torsors even if the structural group does not admit a finite flat $R$-model.


title: ACE: Cooperative Multi-agent Q-learning with Bidirectional Action-Dependency

abstract: Multi-agent reinforcement learning (MARL) suffers from the non-stationarity problem, which is the ever-changing targets at every iteration when multiple agents update their policies at the same time. Starting from first principle, in this paper, we manage to solve the non-stationarity problem by proposing bidirectional action-dependent Q-learning (ACE). Central to the development of ACE is the sequential decision-making process wherein only one agent is allowed to take action at one time. Within this process, each agent maximizes its value function given the actions taken by the preceding agents at the inference stage. In the learning phase, each agent minimizes the TD error that is dependent on how the subsequent agents have reacted to their chosen action. Given the design of bidirectional dependency, ACE effectively turns a multiagent MDP into a single-agent MDP. We implement the ACE framework by identifying the proper network representation to formulate the action dependency, so that the sequential decision process is computed implicitly in one forward pass. To validate ACE, we compare it with strong baselines on two MARL benchmarks. Empirical experiments demonstrate that ACE outperforms the state-of-the-art algorithms on Google Research Football and StarCraft Multi-Agent Challenge by a large margin. In particular, on SMAC tasks, ACE achieves 100% success rate on almost all the hard and super-hard maps. We further study extensive research problems regarding ACE, including extension, generalization, and practicability. Code is made available to facilitate further research.


title: Interpreting Primal-Dual Algorithms for Constrained Multiagent Reinforcement Learning

abstract: Constrained multiagent reinforcement learning (C-MARL) is gaining importance as MARL algorithms find new applications in real-world systems ranging from energy systems to drone swarms. Most C-MARL algorithms use a primal-dual approach to enforce constraints through a penalty function added to the reward. In this paper, we study the structural effects of this penalty term on the MARL problem. First, we show that the standard practice of using the constraint function as the penalty leads to a weak notion of safety. However, by making simple modifications to the penalty term, we can enforce meaningful probabilistic (chance and conditional value at risk) constraints. Second, we quantify the effect of the penalty term on the value function, uncovering an improved value estimation procedure. We use these insights to propose a constrained multiagent advantage actor critic (C-MAA2C) algorithm. Simulations in a simple constrained multiagent environment affirm that our reinterpretation of the primal-dual method in terms of probabilistic constraints is effective, and that our proposed value estimate accelerates convergence to a safe joint policy.


title: On finitely nondegenerate closed homogeneous CR manifolds

abstract: A complex flag manifold F= G /Q decomposes into finitely many real orbits under the action of a real form of G. Their embedding into F define on them CR manifold structures. We characterize the closed real orbits which are finitely nondegenerate.


title: Robustness of Hilbert space-valued stochastic volatility models

abstract: In this paper we show that Hilbert space-valued stochastic models are robust with respect to perturbation, due to measurement or approximation errors, in the underlying volatility process. Within the class of stochastic volatility modulated Ornstein-Uhlenbeck processes, we quantify the error induced by the volatility in terms of perturbations in the parameters of the volatility process. We moreover study the robustness of the volatility process itself with respect to finite dimensional approximations of the driving compound Poisson process and semigroup generator respectively, when considering operator-valued Barndorff-Nielsen and Shephard stochastic volatility models. We also give results on square root approximations. In all cases we provide explicit bounds for the induced error in terms of the approximation of the underlying parameter. We discuss some applications to robustness of prices of options on forwards and volatility.


title: A Brief Introduction to Robust Bilevel Optimization

abstract: Bilevel optimization is a powerful tool for modeling hierarchical decision making processes. However, the resulting problems are challenging to solve - both in theory and practice. Fortunately, there have been significant algorithmic advances in the field so that we can solve much larger and also more complicated problems today compared to what was possible to solve two decades ago. This results in more and more challenging bilevel problems that researchers try to solve today. In this article, we give a brief introduction to one of these more challenging classes of bilevel problems: bilevel optimization under uncertainty using robust optimization techniques. To this end, we briefly state different versions of uncertain bilevel problems that result from different levels of cooperation of the follower as well as on when the uncertainty is revealed. We highlight these concepts using an academic example and discuss recent results from the literature concerning complexity as well as solution approaches. Finally, we discuss that the sources of uncertainty in bilevel optimization are much richer than in single-level optimization and, to this end, introduce the concept of decision uncertainty.


title: Abstract Interpretation-Based Data Leakage Static Analysis

abstract: Data leakage is a well-known problem in machine learning. Data leakage occurs when information from outside the training dataset is used to create a model. This phenomenon renders a model excessively optimistic or even useless in the real world since the model tends to leverage greatly on the unfairly acquired information. To date, detection of data leakages occurs post-mortem using run-time methods. However, due to the insidious nature of data leakage, it may not be apparent to a data scientist that a data leakage has occurred in the first place. For this reason, it is advantageous to detect data leakages as early as possible in the development life cycle. In this paper, we propose a novel static analysis to detect several instances of data leakages during development time. We define our analysis using the framework of abstract interpretation: we define a concrete semantics that is sound and complete, from which we derive a sound and computable abstract semantics. We implement our static analysis inside the open-source NBLyzer static analysis framework and demonstrate its utility by evaluating its performance and precision on over 2000 Kaggle competition notebooks.


title: Fingerprinting and Analysis of Bluetooth Devices with Automata Learning

abstract: Automata learning is a technique to automatically infer behavioral models of black-box systems. Today's learning algorithms enable the deduction of models that describe complex system properties, e.g., timed or stochastic behavior. Despite recent improvements in the scalability of learning algorithms, their practical applicability is still an open issue. Little work exists that actually learns models of physical black-box systems. To fill this gap in the literature, we present a case study on applying automata learning on the Bluetooth Low Energy (BLE) protocol. It shows that not only the size of the system limits the applicability of automata learning. Also, the interaction with the system under learning creates a major bottleneck that is rarely discussed. In this article, we propose a general automata learning architecture for learning a behavioral model of the BLE protocol implemented by a physical device. With this framework, we can successfully learn the behavior of six investigated BLE devices. Furthermore, we extended the learning technique to learn security critical behavior, e.g., key-exchange procedures for encrypted communication. The learned models depict several behavioral differences and inconsistencies to the BLE specification. This shows that automata learning can be used for fingerprinting black-box devices, i.e., characterizing systems via their specific learned models. Moreover, learning revealed a crashing scenario for one device.


title: On channels of energy for the radial linearised energy critical wave equation in the degenerate case

abstract: Channels of energy estimates control the energy of an initial data from that which it radiates outside a light cone. For the linearised energy critical wave equation they have been obtained in the radial case in odd dimensions, first in $3$ dimensions by Duyckaerts, Kenig and Merle (Camb. J. Math., 2013), then for general odd dimensions by the same authors (Comm. Math. Phys., 2020). We consider even dimensions, for which such estimates are known to fail (C\^ote, Kenig and Schlag, Math. Ann., 2014). We propose a weaker version of these estimates, around a single ground state as well as around a multisoliton. This allows us to prove the soliton resolution conjecture in six dimensions (Collot, Duyckaerts, Kenig and Merle, arXiv preprint 2201.01848, 2022 versions 1 and 2).


title: Finlay, Thames, Dufay, and Paget color screen process collections: Using digital registration of viewing screens to reveal original color

abstract: We discuss digitization, subsequent digital analysis and processing of negatives (and diapositives) made by Finlay, Thames, Dufay, Paget, and similar additive color screen processes. These early color processes (introduced in the 1890s and popular until the 1950s) used a special color screen filter and a monochromatic negative. Due to poor stability of dyes used to produce color screens many of the photographs appear faded; others exist only in the form of (monochromatic) negatives. We discuss the possibility of digitally reconstructing the original color from scans of original negatives or by virtue of infrared imaging of original transparencies (which eliminates the physically coupled color filters) and digitally recreating the original color filter pattern using a new open-source software tool. Photographs taken using additive color screen processes are some of the very earliest color images of our shared cultural heritage. They depict people, places, and events for which there are no other surviving color images. We hope that our new software tool can bring these images back to life.


title: Physics-based model to predict the acoustic detection distance of terrestrial autonomous recording units over the diel cycle and across seasons: insights from an Alpine and a Neotropical forest

abstract: 1. Passive acoustic monitoring of biodiversity is growing fast, as it offers an alternative to traditional aural point count surveys, with the possibility to deploy long-term acoustic surveys in large and complex natural environments. However, there is still a clear need to evaluate how the frequency-and distancedependent attenuation of sound as well as the ambient sound level impact the acoustic detection distance of the soniferous species in natural environments over the diel cycles and across seasons. This is of great importance to avoid pseudoreplication and to provide relevant biodiversity indicators, including species richness, species abundance and species density. 2. To address the issue of detection distance, we tested a field-based protocol in a Neotropical rainforest (French Guiana, France) and in an Alpine coniferous forest (Jura, France). This standardized and repeatable method consists in a recording session of the ambient sound directly followed by an experiment using a calibrated white noise sound broadcast at different positions along a 100 m linear transect. We then used acoustic laws to reveal the basic physics behind sound propagation attenuation. 3. We demonstrate that habitat attenuation in two different kinds of forests can be modelled by an exponential decay law with a linear dependence on frequency and distance. We also report that habitat attenuation, as first approximation, can be summarized by a single value, the coefficient of attenuation of the habitat. 4. Finally, we show that the detection distance can be predicted knowing the contribution of each attenuation factor, the coefficient of attenuation of the habitat, the ambient sound pressure level and the amplitude and frequency bandwidth characteristics of the transmitted sound. We show that the detection 1 distance mostly depends on the ambient sound and may vary by a factor of up to 5 over the diel cycle and across seasons. These results reinforce the need to take into account the variation of the detection distance when performing passive acoustic surveys and producing reliable biodiversity indicators.


title: Behavior Estimation from Multi-Source Data for Offline Reinforcement Learning

abstract: Offline reinforcement learning (RL) have received rising interest due to its appealing data efficiency. The present study addresses behavior estimation, a task that lays the foundation of many offline RL algorithms. Behavior estimation aims at estimating the policy with which training data are generated. In particular, this work considers a scenario where the data are collected from multiple sources. In this case, neglecting data heterogeneity, existing approaches for behavior estimation suffers from behavior misspecification. To overcome this drawback, the present study proposes a latent variable model to infer a set of policies from data, which allows an agent to use as behavior policy the policy that best describes a particular trajectory. This model provides with a agent fine-grained characterization for multi-source data and helps it overcome behavior misspecification. This work also proposes a learning algorithm for this model and illustrates its practical usage via extending an existing offline RL algorithm. Lastly, with extensive evaluation this work confirms the existence of behavior misspecification and the efficacy of the proposed model.


title: A Bayesian approach for torque modelling of BeXRB pulsars with application to super-Eddington accretors

abstract: In this study we present a method to estimate posterior distributions for standard accretion torque model parameters and binary orbital parameters for X-ray binaries using a nested sampling algorithm for Bayesian Parameter Estimation. We study the spin evolution of two Be X-ray binary systems in the Magellanic Clouds, RX J0520.5-6932 and RX J0209-7427, during major outbursts, in which they surpassed the Eddington-limit. Moreover, we apply our method to the recently discovered Swift J0243.6+6124; the only known Galactic pulsating ultra-luminous X-ray source. This is an excellent candidate for studying the disc evolution at super-Eddington accretion rates, for its luminosity span several orders of magnitude during its outburst, with a maximum $L_{\rm X}$ that exceeded the Eddington limit by a factor of $\sim 10$. Our method, when applied to RX J0520.5-6932 and RX J0209-7427, is able to identify the more favourable torque model for each system, while yielding meaningful ranges for the NS and orbital parameters. Our analysis for Swift J0243.6+6124 illustrates that, contrary to the standard torque model predictions, the magnetospheric radius and the Alfv\'en radius are not proportional to each other when surpassing the Eddington limit. Reported distance estimates of this source range between 5 and 7 kpc. Smaller distances require non-typical neutron star properties (i.e. mass and radius) and possibly lower radiative efficiency of the accretion column.


title: Understanding and Enhancing Robustness of Concept-based Models

abstract: Rising usage of deep neural networks to perform decision making in critical applications like medical diagnosis and financial analysis have raised concerns regarding their reliability and trustworthiness. As automated systems become more mainstream, it is important their decisions be transparent, reliable and understandable by humans for better trust and confidence. To this effect, concept-based models such as Concept Bottleneck Models (CBMs) and Self-Explaining Neural Networks (SENN) have been proposed which constrain the latent space of a model to represent high level concepts easily understood by domain experts in the field. Although concept-based models promise a good approach to both increasing explainability and reliability, it is yet to be shown if they demonstrate robustness and output consistent concepts under systematic perturbations to their inputs. To better understand performance of concept-based models on curated malicious samples, in this paper, we aim to study their robustness to adversarial perturbations, which are also known as the imperceptible changes to the input data that are crafted by an attacker to fool a well-learned concept-based model. Specifically, we first propose and analyze different malicious attacks to evaluate the security vulnerability of concept based models. Subsequently, we propose a potential general adversarial training-based defense mechanism to increase robustness of these systems to the proposed malicious attacks. Extensive experiments on one synthetic and two real-world datasets demonstrate the effectiveness of the proposed attacks and the defense approach.


title: Atomistic simulations of the crystalline-to-amorphous transformation of gamma-Al2O3 nanoparticles: delicate interplay between lattice distortions, stresses, and space charges

abstract: The size-dependent phase stability of gamma-Al2O3 was studied by large-scale molecular dynamics simulations over a wide temperature range from 300 to 900 K. For the gamma-Al2O3 crystal, a bulk transformation to alpha-Al2O3 by an FCC-to-HCP transition of the O sublattice is still kinetically hindered at 900 K. However, local distortions of the FCC O-sublattice by the formation of quasi-octahedral Al local coordination spheres become thermally activated, as driven by the partial covalency of the Al-O bond. On the contrary, spherical gamma-Al2O3 NPs (with sizes of 6 and 10 nm) undergo a crystalline-to-amorphous transformation at 900 K, which starts at the reconstructed surface and propagates into the core through collective displacements of anions and cations, resulting in the formation of 7- and 8-fold local coordination spheres of Al. In parallel, the reconstructed Al-enriched surface is separated from the stoichiometric core by a diffuse Al-depleted transition region. This compositional heterogeneity creates a disbalance of charges inside the NP, which induces a net attractive Coulombic force that is strong enough to reverse the initial stress state in the NP core from compressive to tensile. These findings disclose the delicate interplay between lattice distortions, stresses, and space-charge regions in oxide nanosystems. A fundamental explanation for the reported expansion of metal-oxide NPs with decreasing size is provided, which has significant implications for e.g. heterogeneous catalysis, NP sintering, and additive manufacturing of NP-reinforced metal matrix composites.


title: Safeguarding the Unseen: a Study on Data Privacy in DeFi Protocols

abstract: The financial sector's adoption of technology-driven data analysis has enhanced operational efficiency and revenue generation by leveraging personal sensitive data. However, the inherent characteristics of blockchain hinder decentralized finance (DeFi) from accessing necessary sensitive user data. To address this challenge, we introduce a protocol that both safeguards user privacy and ensures data availability through the incorporation of homomorphic encryption and zero-knowledge-proof techniques in blockchain technology. This novel protocol helps mitigate privacy risks caused by sensitive data leaks while improving the capital efficiency of the DeFi market. Furthermore, we explore the applicability of these privacy-preserving methods in on-chain ecosystems and cross-border financial applications. Our solution contributes to secure, user-centric solutions for DeFi while upholding principles of decentralization and privacy protection.


title: Forming equal mass planetary binaries via pebble accretion

abstract: Binary solar system objects are common and range from satellite systems with very large mass ratios $M_1/M_2$ to mass ratios very close to unity. A well-known example of a binary is the Pluto-Charon system. With Charon only eight times less massive than Pluto the question arises as for many other systems, why the mass-ratio is still close to unity. There is much evidence that (binary) planet(esimal) formation happened early, when the protoplanetary gas disk was still around. It is likely that (some of) these binaries grew up together subject to pebble accretion. Here we focus on the question of how the mass arriving in the gravitational influence zone of the binary during pebble accretion, is distributed over the binary components. Does the accretion through time lead to a converging mass ratio, or to a diverging mass ratio? We numerically integrate pebble paths in the same well-known fashion as for a single mass subject to pebble accretion and track what the efficiency of accretion is for the two separate binary components, compared to a single body with the same mass. These numerical simulations are done for a range of binary mass-ratios, mutual separations, Stokes numbers and two orbital distances, 2.5 and 39 au. We find that in the limit where pebbles start to spiral around the primary (this holds for relatively large pebbles), the pebble preferentially collides with the secondary, causing the mass ratio to converge towards unity on Myr timescales. In this regime the total sweep-up efficiency can lower to half that of a pebble-accreting single body because pebbles that are thrown out of the system, after close encounters with the system. The results show that systems such as Pluto-Charon and other larger equal mass binaries could well have co-accreted by means of pebble accretion in the disk phase without producing binaries with highly diverging mass-ratios.


title: Dynamic and Thermodynamic Origins of Motility-Induced Phase Separation

abstract: Active matter systems are inherently out of equilibrium and break the detailed balance (DB) at the microscopic scale, exhibiting vital collective phenomena such as motility-induced phase separation (MIPS). Here, we introduce a coarse-grained mapping method to probe DB breaking in the density-energy phase space, which allows us to reveal the dynamic and thermodynamic origins of MIPS based on nonequilibrium potential and flux landscape theory. Hallmarks of nonequilibrium properties are manifested by identifying the visible probability flux in the coarse-grained phase space. Remarkably, the flux for the system with the activity lower than the MIPS threshold tends to ``tear up" the single potential well of the uniform-density phase to create two wells of phases with different densities, presenting directly that the nonequilibrium flux is the dynamic origin of MIPS. Moreover, we find that the obtained entropy production rate (EPR) of the system undergoes a transition from nearly independent of activity to increasing proportionally as activity increases after the single well is "teared up". The transition of EPR's scaling behavior might provide a hint of the thermodynamic origin of MIPS in the coarse-grained space. Our findings propose a new route to explore the nonequilibrium nature of active systems, and provide new insights into dynamic and thermodynamic properties of MIPS.


title: On classification of non-radiative solutions for various energy-critical wave equations

abstract: Non-radiative solutions of energy critical wave equations are such that their energy in an exterior region $|x|>R+|t|$ vanishes asymptotically in both time directions. This notion, introduced by Duyckaerts, Kenig and Merle (J. Eur. Math. Soc., 2011), has been key in solving the soliton resolution conjecture for these equations in the radial case. In the present paper, we first classify their asymptotic behaviour at infinity, showing that they correspond to a $k$-parameters family of solutions where $k$ depends on the dimension. This generalises the previous results (Duyckaerts, Kenig and Merle, Camb. J. Math., 2013 and Duyckaerts, Kenig, Martel and Merle, Comm. Math. Phys., 2022) in three and four dimensions. We then establish a unique maximal extension of these solutions.


title: Color-avoiding percolation on the Erd\H{o}s-R\'enyi random graph

abstract: We consider a recently introduced model of color-avoiding percolation defined as follows. Every edge in a graph $G$ is colored in some of $k\ge 2$ colors. Two vertices $u$ and $v$ in $G$ are said to be CA-connected if $u$ and $v$ may be connected using any subset of $k-1$ colors. CA-connectivity defines an equivalence relation on the vertex set of $G$ whose classes are called CA-components. We study the component structure of a randomly colored Erd\H{o}s-R\'enyi random graph of constant average degree. We distinguish three regimes for the size of the largest component: a supercritical regime, a so-called intermediate regime, and a subcritical regime, in which the largest CA-component has respectively linear, logarithmic, and bounded size. Interestingly, in the subcritical regime, the bound is deterministic and given by the number of colors.


title: A shadow Markov equation

abstract: We introduce a superanalogue of the classical Markov equation. This equation characterizes the ``shadow Markov numbers'' recently considered by one of us. We show that this equation is characterized by invariance by cluster algebra mutations.


title: Probing singularities of Landau-gauge propagators with Pad\'e approximants

abstract: Pad\'e approximants are employed in order to study the analytic structure of the four-dimensional SU(2) Landau-gauge gluon and ghost propagators in the infrared regime. The approximants, which are model independent, are used as fitting functions to lattice data for the propagators, carefully propagating uncertainties due to the fit procedure and taking into account all possible correlations. Applying this procedure systematically to the gluon-propagator data, we observe the presence of a pair of complex poles at $p^2_{\mathrm{pole}} = (-0.37 \pm 0.05_{\mathrm{stat}} \pm 0.08_{\mathrm{sys}}) \pm \, i\, (0.66 \pm 0.03_{\mathrm{stat}} \pm 0.02_{\mathrm{sys}}) \, \mathrm{GeV}^2$, where ``stat'' represents the statistical error and ``sys'' the systematic one. We also find a zero on the negative real axis of $p^2$, at $p^2_{\mathrm{zero}} = (-2.9 \pm 0.4_{\mathrm{stat}} \pm 0.9_{\mathrm{sys}}) \, \mathrm{GeV}^2$. We thus note that our procedure -- which is based on a model-independent approach and includes careful error propagation -- confirms the presence of a pair of complex poles in the gluon propagator, in agreement with previous works. For the ghost propagator, the Pad\'es indicate the existence of the single pole at $p^2 = 0$, as expected. We also find evidence of a branch cut on the negative real axis. Through the use of the so-called D-Log Pad\'e method, which is designed to approximate functions with cuts, we corroborate the existence of this cut for the ghost propagator.


title: Odd elasticity of a catalytic micromachine

abstract: We perform numerical simulations of a model micromachine driven by catalytic chemical reactions. Our model includes a mechano-chemical coupling between the structural variables and the nonequilibrium variable describing the catalytic reactions. The time-correlation functions of the structural variables are calculated and further analyzed in terms of odd Langevin dynamics. We obtain the effective odd elastic constant that manifests the broken time-reversal symmetry of a catalytic micromachine. Within the simulation, we separately estimate the quantity called nonreciprocality and show that its behavior is similar to that of the odd elasticity.Our approach suggests a new method to extract the nonequilibrium properties of a micromachine only by measuring its structural dynamics.


title: Compliant Suction Gripper with Seamless Deployment and Retraction for Robust Picking against Depth and Tilt Errors

abstract: Applying suction grippers in unstructured environments is a challenging task because of depth and tilt errors in vision systems, requiring additional costs in elaborate sensing and control. To reduce additional costs, suction grippers with compliant bodies or mechanisms have been proposed; however, their bulkiness and limited allowable error hinder their use in complex environments with large errors. Here, we propose a compact suction gripper that can pick objects over a wide range of distances and tilt angles without elaborate sensing and control. The spring-inserted gripper body deploys and conforms to distant and tilted objects until the suction cup completely seals with the object and retracts immediately after, while holding the object. This seamless deployment and retraction is enabled by connecting the gripper body and suction cup to the same vacuum source, which couples the vacuum picking and retraction of the gripper body. Experimental results validated that the proposed gripper can pick objects within 79 mm, which is 1.4 times the initial length, and can pick objects with tilt angles up to 60{\deg}. The feasibility of the gripper was verified by demonstrations, including picking objects of different heights from the same picking height and the bin picking of transparent objects.


title: Advanced Radio Frequency Timing AppaRATus (ARARAT) Technique and Applications

abstract: The development of the advanced Radio Frequency Timer of electrons is described. It is based on a helical deflector, which performs circular or elliptical sweeps of keV electrons, by means of 500 MHz radio frequency field. By converting a time distribution of incident electrons to a hit position distribution on a circle or ellipse, this device achieves extremely precise timing. Streak Cameras, based on similar principles, routinely operate in the ps and sub-ps time domain, but have substantial slow readout system. Here, we report a device, where the position sensor, consisting of microchannel plates and a delay-line anode, produces ~ns duration pulses which can be processed by using regular fast electronics. A photon sensor based on this technique, the Radio Frequency Photo-Multiplier Tube (RFPMT), has demonstrated a timing resolution of ~10 ps and a time stability of ~0.5 ps, FWHM. This makes the apparatus highly suited for Time Correlated Single Photon Counting which is widely used in optical microscopy and tomography of biological samples. The first application in lifetime measurements of quantum states of graphene, under construction at the A. I. Alikhanyan National Science Laboratory (AANL), is outlined. This is followed by a description of potential RFPMT applications in time-correlated Diffuse Optical Tomography, time-correlated Stimulated Emission Depletion microscopy, hybrid FRET/STED nanoscopy and Time-of-Flight Positron Emission Tomography.


title: Unsupervised Visual Defect Detection with Score-Based Generative Model

abstract: Anomaly Detection (AD), as a critical problem, has been widely discussed. In this paper, we specialize in one specific problem, Visual Defect Detection (VDD), in many industrial applications. And in practice, defect image samples are very rare and difficult to collect. Thus, we focus on the unsupervised visual defect detection and localization tasks and propose a novel framework based on the recent score-based generative models, which synthesize the real image by iterative denoising through stochastic differential equations (SDEs). Our work is inspired by the fact that with noise injected into the original image, the defects may be changed into normal cases in the denoising process (i.e., reconstruction). First, based on the assumption that the anomalous data lie in the low probability density region of the normal data distribution, we explain a common phenomenon that occurs when reconstruction-based approaches are applied to VDD: normal pixels also change during the reconstruction process. Second, due to the differences in normal pixels between the reconstructed and original images, a time-dependent gradient value (i.e., score) of normal data distribution is utilized as a metric, rather than reconstruction loss, to gauge the defects. Third, a novel $T$ scales approach is developed to dramatically reduce the required number of iterations, accelerating the inference process. These practices allow our model to generalize VDD in an unsupervised manner while maintaining reasonably good performance. We evaluate our method on several datasets to demonstrate its effectiveness.


title: Penalizing Confident Predictions on Largely Perturbed Inputs Does Not Improve Out-of-Distribution Generalization in Question Answering

abstract: Question answering (QA) models are shown to be insensitive to large perturbations to inputs; that is, they make correct and confident predictions even when given largely perturbed inputs from which humans can not correctly derive answers. In addition, QA models fail to generalize to other domains and adversarial test sets, while humans maintain high accuracy. Based on these observations, we assume that QA models do not use intended features necessary for human reading but rely on spurious features, causing the lack of generalization ability. Therefore, we attempt to answer the question: If the overconfident predictions of QA models for various types of perturbations are penalized, will the out-of-distribution (OOD) generalization be improved? To prevent models from making confident predictions on perturbed inputs, we first follow existing studies and maximize the entropy of the output probability for perturbed inputs. However, we find that QA models trained to be sensitive to a certain perturbation type are often insensitive to unseen types of perturbations. Thus, we simultaneously maximize the entropy for the four perturbation types (i.e., word- and sentence-level shuffling and deletion) to further close the gap between models and humans. Contrary to our expectations, although models become sensitive to the four types of perturbations, we find that the OOD generalization is not improved. Moreover, the OOD generalization is sometimes degraded after entropy maximization. Making unconfident predictions on largely perturbed inputs per se may be beneficial to gaining human trust. However, our negative results suggest that researchers should pay attention to the side effect of entropy maximization.


title: Kekule spin-orbit dimer phase and triplon dynamics

abstract: We derive and study a spin-orbital model for ions with $d^1$ electronic configuration on a honeycomb lattice. In this system, the directional character of $t_{2g}$ orbital leads to extensively degenerate dimerized ground states. We find that additional interactions from charge transfer processes completely lift the degeneracy and stabilize the Kekule spin-orbit dimerized phase where dimers form a kagome superlattice. For such phase, the triplon band spectrum resembles the electronic band structure of the kagome lattice and becomes topologically non-trivial in the presence of inter-dimer Dzyaloshinskii-Moriya interactions. As an experimental verification of the Kekule dimerized phase, we propose the thermal Hall experiment, which can directly uncover the topological profile of the corresponding triplon band spectrum.


title: Better Generalized Few-Shot Learning Even Without Base Data

abstract: This paper introduces and studies zero-base generalized few-shot learning (zero-base GFSL), which is an extreme yet practical version of few-shot learning problem. Motivated by the cases where base data is not available due to privacy or ethical issues, the goal of zero-base GFSL is to newly incorporate the knowledge of few samples of novel classes into a pretrained model without any samples of base classes. According to our analysis, we discover the fact that both mean and variance of the weight distribution of novel classes are not properly established, compared to those of base classes. The existing GFSL methods attempt to make the weight norms balanced, which we find helps only the variance part, but discard the importance of mean of weights particularly for novel classes, leading to the limited performance in the GFSL problem even with base data. In this paper, we overcome this limitation by proposing a simple yet effective normalization method that can effectively control both mean and variance of the weight distribution of novel classes without using any base samples and thereby achieve a satisfactory performance on both novel and base classes. Our experimental results somewhat surprisingly show that the proposed zero-base GFSL method that does not utilize any base samples even outperforms the existing GFSL methods that make the best use of base data. Our implementation is available at: https://github.com/bigdata-inha/Zero-Base-GFSL.


title: Construction of Multiple Constrained DNA Codes

abstract: DNA sequences are prone to creating secondary structures by folding back on themselves by non-specific hybridization among its nucleotides. The formation of secondary structures makes the sequences chemically inactive towards synthesis and sequencing processes. In this letter, our goal is to tackle the problems due to the creation of secondary structures in DNA sequences along with constraints such as not having a large homopolymer run length. In this paper, we have presented families of DNA codes with secondary structures of stem length at most two and homopolymer run length at most four. By mapping the error correcting codes over $\Z_{11}$ to DNA nucleotides, we obtained DNA codes with rates $0.5765$ times the rate of corresponding code over $\Z_{11}$, which include some new secondary structure free and better-performing codes for DNA based data storage and DNA computing purposes.


title: Variational Phase Estimation with Variational Fast Forwarding

abstract: Subspace diagonalisation methods have appeared recently as promising means to access the ground state and some excited states of molecular Hamiltonians by classically diagonalising small matrices, whose elements can be efficiently obtained by a quantum computer. The recently proposed Variational Quantum Phase Estimation (VQPE) algorithm uses a basis of real time-evolved states, for which the energy eigenvalues can be obtained directly from the unitary matrix U = exp(-iHt), which can be computed with cost linear in the number of states used. In this paper, we report a circuit-based implementation of VQPE for arbitrary molecular systems and assess its performance and costs for the H2, H3+ and H6 molecules. We also propose using Variational Fast Forwarding (VFF) to decrease to quantum depth of time-evolution circuits for use in VQPE. We show that the approximation provides a good basis for Hamiltonian diagonalisation even when its fidelity to the true time evolved states is low. In the high fidelity case, we show that the approximate unitary U can be diagonalised instead, preserving the linear cost of exact VQPE.


title: Three-stage binarization of color document images based on discrete wavelet transform and generative adversarial networks

abstract: The efficient segmentation of text information from the background in degraded color document images is an important challenge in the preservation of ancient manuscripts. The imperfect preservation of ancient manuscripts has led to various types of degradation over time, such as staining, yellowing, and ink seepage, badly affecting document image binarization results. This work proposes a three-stage method to generate binarization image results for degraded colour document images using generative adversarial networks (GANs). Stage-1 involves applying discrete wavelet transform and retaining the low-low subband images for document image enhancement. In Stage-2, the original input image is split into red, green, and blue (RGB) three single-channel images and one grayscale image, and each image is trained with independent GANs to extract color foreground information. In Stage-3, the output images of Stage-2 and the resized input images are used to train independent GANs to generate document binarization results, enabling the combination of global and local features. The experimental results show that the Avg-Score of the proposed method is 77.64, 77.95, 79.05, 76.38, 75.34, and 77.00 on the (H)-DIBCO 2011, 2013, 2014, 2016, 2017, and 2018 datasets, which achieves the state-of-the-art level. The implementation code for this work is available at https://github.com/abcpp12383/ThreeStageBinarization.


title: Free precategories as presheaf categories

abstract: Precategories generalize both the notions of strict $n$-category and sesquicategory: their definition is essentially the same as the one of strict $n$-categories, excepting that we do not require the various interchange laws to hold. Those have been proposed as a framework in which one can express semi-strict definitions of weak higher categories: in dimension 3, Gray categories are an instance of them and have been shown to be equivalent to tricategories, and definitions of semi-strict tetracategories have been proposed, and used as the basis of proof assistants such as Globular. In this article, we are mostly interested in free precategories. Those can be presented by generators and relations, using an appropriate variation on the notion of polygraph (aka computad), and earlier works have shown that the theory of rewriting can be generalized to this setting, enjoying most of the fundamental constructions and properties which can be found in the traditional theory, contrarily to polygraphs for strict categories. We further study here why this is the case, by providing several results which show that precategories and their associated polygraphs bear properties which ensure that we have a good syntax for those. In particular, we show that the category of polygraphs for precategories form a presheaf category.


title: Experimental evidence for electron-electron interaction and spin-charge separation in graphene quantum dots

abstract: Graphene quantum dots (GQDs) can exhibit a range of spectacular phenomena such as the Klein-tunneling-induced quasibound states1-6 and Berry-phase-tuned energy spectra7-15. According to previous studies, all these interesting quantum phenomena seem to be well understood in the free electron picture1-15. However, electronic motion in the GQDs is reduced to quantized orbits by quantum confinement, which implies that the kinetic energy may be comparable to or even smaller than the Coulomb energy of the quasiparticles, possibly resulting in exotic correlated phases in the GQDs. Here we present a scanning tunneling microscopy and spectroscopy study of gate-tunable GQDs in graphene/WSe2 heterostructure devices and report for the first time the observation of electron-electron interaction and correlation-induced spin-charge separation in the GQDs. Gating allows us to precise characterize effects of the electron-electron interaction on the energy spectra of the GQDs. By measuring density of states as a function of energy and position, we explicitly uncover two density waves with different velocities in the GQDs, attributing to spin-charge separation in real space.


title: Dependency-aware Self-training for Entity Alignment

abstract: Entity Alignment (EA), which aims to detect entity mappings (i.e. equivalent entity pairs) in different Knowledge Graphs (KGs), is critical for KG fusion. Neural EA methods dominate current EA research but still suffer from their reliance on labelled mappings. To solve this problem, a few works have explored boosting the training of EA models with self-training, which adds confidently predicted mappings into the training data iteratively. Though the effectiveness of self-training can be glimpsed in some specific settings, we still have very limited knowledge about it. One reason is the existing works concentrate on devising EA models and only treat self-training as an auxiliary tool. To fill this knowledge gap, we change the perspective to self-training to shed light on it. In addition, the existing self-training strategies have limited impact because they introduce either much False Positive noise or a low quantity of True Positive pseudo mappings. To improve self-training for EA, we propose exploiting the dependencies between entities, a particularity of EA, to suppress the noise without hurting the recall of True Positive mappings. Through extensive experiments, we show that the introduction of dependency makes the self-training strategy for EA reach a new level. The value of self-training in alleviating the reliance on annotation is actually much higher than what has been realised. Furthermore, we suggest future study on smart data annotation to break the ceiling of EA performance.


title: Patterns of gauge symmetry in the background field method

abstract: The correlation functions of Yang-Mills theories formulated in the background field method satisfy linear Slavnov-Taylor identities, which are naive generalizations of simple tree level relations, with no deformations originating from the ghost sector of the theory. In recent years, a stronger version of these identities has been found to hold at the level of the background gluon self-energy, whose transversality is enforced separately for each special block of diagrams contributing to the gluon Schwinger-Dyson equation. In the present work we demonstrate by means of explicit calculations that the same distinct realization of the Slavnov-Taylor identity persists in the case of the background three-gluon vertex. The analysis is carried out at the level of the exact Schwinger-Dyson equation for this vertex, with no truncations or simplifying assumptions. The demonstration entails the contraction of individual vertex diagrams by the relevant momentum, which activates Slavnov-Taylor identities of vertices and multi-particle kernels nested inside these graphs; the final result emerges by virtue of a multitude of extensive cancellations, without the need of performing explicit integrations. In addition, we point out that background Ward identities amount to replacing derivatives of propagators by zero-momentum background-gluon insertions, in exact analogy to standard properties of Abelian gauge theories. Finally, certain potential applications of these results are briefly discussed.


title: Text Representation Enrichment Utilizing Graph based Approaches: Stock Market Technical Analysis Case Study

abstract: Graph neural networks (GNNs) have been utilized for various natural language processing (NLP) tasks lately. The ability to encode corpus-wide features in graph representation made GNN models popular in various tasks such as document classification. One major shortcoming of such models is that they mainly work on homogeneous graphs, while representing text datasets as graphs requires several node types which leads to a heterogeneous schema. In this paper, we propose a transductive hybrid approach composed of an unsupervised node representation learning model followed by a node classification/edge prediction model. The proposed model is capable of processing heterogeneous graphs to produce unified node embeddings which are then utilized for node classification or link prediction as the downstream task. The proposed model is developed to classify stock market technical analysis reports, which to our knowledge is the first work in this domain. Experiments, which are carried away using a constructed dataset, demonstrate the ability of the model in embedding extraction and the downstream tasks.


title: Non-uniform complexity via non-wellfounded proofs

abstract: Cyclic and non-wellfounded proofs are now increasingly employed to establish metalogical results in a variety of settings, in particular for type systems with forms of (co)induction. Under the Curry-Howard correspondence, a cyclic proof can be seen as a typing derivation 'with loops', closer to low-level machine models, and so comprise a highly expressive computational model that nonetheless enjoys excellent metalogical properties. In recent work, we showed how the cyclic proof setting can be further employed to model computational complexity, yielding characterisations of the polynomial time and elementary computable functions. These characterisations are 'implicit', inspired by Bellantoni and Cook's famous algebra of safe recursion, but exhibit greater expressivity thanks to the looping capacity of cyclic proofs. In this work we investigate the capacity for non-wellfounded proofs, where finite presentability is relaxed, to model non-uniformity in complexity theory. In particular, we present a characterisation of the class $\mathsf{FP/poly}$ of functions computed by polynomial-size circuits. While relating non-wellfoundedness to non-uniformity is a natural idea, the precise amount of irregularity, informally speaking, required to capture $\mathsf{FP/poly}$ is given by proof-level conditions novel to cyclic proof theory. Along the way, we formalise some (presumably) folklore techniques for characterising non-uniform classes in relativised function algebras with appropriate oracles.


title: Toward Accurate Modeling of Galaxy Clustering on Small Scales: Halo Model Extensions and Lingering Tension

abstract: This paper represents an effort to provide robust constraints on the galaxy-halo connection and simultaneously test the Planck LCDM cosmology using a fully numerical model of small-scale galaxy clustering. We explore two extensions to the standard Halo Occupation Distribution model: assembly bias, whereby halo occupation depends on both halo mass and the larger environment, and velocity bias, whereby galaxy velocities do not perfectly trace the velocity of the dark matter within the halo. Moreover, we incorporate halo mass corrections to account for the impact of baryonic physics on the halo population. We identify an optimal set of clustering measurements to constrain this "decorated" HOD model for both low- and high-luminosity galaxies in SDSS DR7. We find that, for low-luminosity galaxies, a model with both assembly bias and velocity bias provides the best fit to the clustering measurements, with no tension remaining in the fit. In this model we find evidence for both central and satellite galaxy assembly bias at the 99% and 95% confidence levels, respectively. In addition, we find evidence for satellite galaxy velocity bias at the 99.9% confidence level. For high luminosity galaxies, we find no evidence for either assembly bias or velocity bias, but our model exhibits significant tension with SDSS measurements. We find that all of these conclusions still stand when we include the effects of baryonic physics on the halo mass function, suggesting that the tension we find for high luminosity galaxies may be due to a problem with our assumed cosmological model.


title: Encoder-Decoder Model for Suffix Prediction in Predictive Monitoring

abstract: Predictive monitoring is a subfield of process mining that aims to predict how a running case will unfold in the future. One of its main challenges is forecasting the sequence of activities that will occur from a given point in time -- suffix prediction -- . Most approaches to the suffix prediction problem learn to predict the suffix by learning how to predict the next activity only, not learning from the whole suffix during the training phase. This paper proposes a novel architecture based on an encoder-decoder model with an attention mechanism that decouples the representation learning of the prefixes from the inference phase, predicting only the activities of the suffix. During the inference phase, this architecture is extended with a heuristic search algorithm that improves the selection of the activity for each index of the suffix. Our approach has been tested using 12 public event logs against 6 different state-of-the-art proposals, showing that it significantly outperforms these proposals.


title: Vector meson photoproduction in UPCs with FoCal

abstract: We discuss the physics prospects of photon-induced measurements using the high-granularity FoCal detector to be installed at the ALICE experiment, covering the pseudorapidity interval $3.4 \leq \eta \leq 5.8$. This new detector, scheduled to be in operation from Run 4, will explore the small Bjorken-$x$ physics region in an unprecedented way. In this region the gluon saturation phenomenon is expected to be dominant. Combined with the rest of the ALICE subdetectors, including the zero degree calorimenters, FoCal will serve to reconstruct in a model-independent way the measured photoproduction cross sections for vectors mesons in a wide range of photon-target energies, down to $x$ values of about $7\times 10^{-6}$ and $2\times 10^{-6}$ in ultra-peripheral photon--proton and photon--lead collisions, respectively.


title: Quantum mechanical interaction of matter with the scalar mode of gravitational wave in modified gravity theories

abstract: We study the interaction of a quantum mechanical particle with gravitational wave (GW) in the framework of modified theory of gravity (MTG) where apart from the two standard tensorial modes of polarization of GW there exists another massless scalar mode. The purpose of using the MTG framework in our study is to uncover key features in matter's response to GWs that, if observed in actual GW data, can serve as observational evidence in favor of MTG over standard General Relativity.


title: A group action on higher Chow cycles on a family of Kummer surfaces

abstract: We construct a family of higher Chow cycles on a family of Kummer surfaces ${\mathcal X}^\circ \rightarrow T^\circ$ over a 2-dimensional base $T^\circ$ and calculate their values under the transcendental regulator map. For the calculation, we use a finite group action on ${\mathcal X}^\circ\rightarrow T^\circ$ and show that the rank of the space of the indecomposable cycles of ${\mathcal X}_t$ is greater than or equal to $18$ for very general $t\in T^\circ({\mathbb C})$. To show the linearly independence of indecomposable higher Chow cycles, we use a Picard-Fuchs differential operator.


title: PAC-Bayes Bounds for Bandit Problems: A Survey and Experimental Comparison

abstract: PAC-Bayes has recently re-emerged as an effective theory with which one can derive principled learning algorithms with tight performance guarantees. However, applications of PAC-Bayes to bandit problems are relatively rare, which is a great misfortune. Many decision-making problems in healthcare, finance and natural sciences can be modelled as bandit problems. In many of these applications, principled algorithms with strong performance guarantees would be very much appreciated. This survey provides an overview of PAC-Bayes bounds for bandit problems and an experimental comparison of these bounds. On the one hand, we found that PAC-Bayes bounds are a useful tool for designing offline bandit algorithms with performance guarantees. In our experiments, a PAC-Bayesian offline contextual bandit algorithm was able to learn randomised neural network polices with competitive expected reward and non-vacuous performance guarantees. On the other hand, the PAC-Bayesian online bandit algorithms that we tested had loose cumulative regret bounds. We conclude by discussing some topics for future work on PAC-Bayesian bandit algorithms.


title: Invariance of $\phi^4$ measure under nonlinear wave and Schr\"odinger equations on the plane

abstract: We show probabilistic existence and uniqueness for the Wick-ordered cubic nonlinear wave equation in a weighted Besov space over $\mathbb R^2$. To achieve this, we show that a weak limit of $\phi^4$ measures on increasing tori is invariant under the equation. We review and slightly simplify the periodic theory and the construction of the weak limit measure, and then use finite speed of propagation to reduce the infinite-volume case to the previous setup. Our argument also gives a weak (Albeverio--Cruzeiro) invariance result on the nonlinear Schr\"odinger equation in the same setting.


title: On Word Error Rate Definitions and their Efficient Computation for Multi-Speaker Speech Recognition Systems

abstract: We propose a general framework to compute the word error rate (WER) of ASR systems that process recordings containing multiple speakers at their input and that produce multiple output word sequences (MIMO). Such ASR systems are typically required, e.g., for meeting transcription. We provide an efficient implementation based on a dynamic programming search in a multi-dimensional Levenshtein distance tensor under the constraint that a reference utterance must be matched consistently with one hypothesis output. This also results in an efficient implementation of the ORC WER which previously suffered from exponential complexity. We give an overview of commonly used WER definitions for multi-speaker scenarios and show that they are specializations of the above MIMO WER tuned to particular application scenarios. We conclude with a discussion of the pros and cons of the various WER definitions and a recommendation when to use which.


title: Timing-Based Backpropagation in Spiking Neural Networks Without Single-Spike Restrictions

abstract: We propose a novel backpropagation algorithm for training spiking neural networks (SNNs) that encodes information in the relative multiple spike timing of individual neurons without single-spike restrictions. The proposed algorithm inherits the advantages of conventional timing-based methods in that it computes accurate gradients with respect to spike timing, which promotes ideal temporal coding. Unlike conventional methods where each neuron fires at most once, the proposed algorithm allows each neuron to fire multiple times. This extension naturally improves the computational capacity of SNNs. Our SNN model outperformed comparable SNN models and achieved as high accuracy as non-convolutional artificial neural networks. The spike count property of our networks was altered depending on the time constant of the postsynaptic current and the membrane potential. Moreover, we found that there existed the optimal time constant with the maximum test accuracy. That was not seen in conventional SNNs with single-spike restrictions on time-to-fast-spike (TTFS) coding. This result demonstrates the computational properties of SNNs that biologically encode information into the multi-spike timing of individual neurons. Our code would be publicly available.


title: Correcting Coherent Errors by Random Operation on Actual Quantum Hardware

abstract: Characterizing and mitigating errors in current noisy intermediate-scale devices is important to improve performance of next generations of quantum hardware. In order to investigate the importance of the different noise mechanisms affecting quantum computation, we perform full quantum process tomography of single qubits in a real quantum processor in which echo experiments are implemented. Besides error sources already included in standard models, the obtained results show the dominant role of coherent errors, which we practically correct by inserting random single-qubit unitaries in the quantum circuit, significantly increasing the circuit length over which quantum computations on actual quantum hardware produce reliable results.


title: The largest elephant in the room: aerosol masking

abstract: The aerosol masking effect, or global dimming, is a well-documented instance of our ongoing climate predicament: Efforts to mitigate greenhouse gas production by curbing industrial activity or transitioning to clean sources such as solar or nuclear inevitably and inadvertently accelerate planetary warming. This undesired outcome results from aerosols that result from industrial activity. This article describes some climate mitigation strategies destined to fail because they do not account for the aerosol masking effect. Moreover, many political and ethical initiatives emphasize the business as usual framework, thus worsening the conundrum. We suggest instead a set of ethical and policy initiatives to address the challenge of aerosol masking, and we describe how our contemporary predicament can be ameliorated in the face of these significant and often-overlooked challenges.


title: Machine learning emulation of a local-scale UK climate model

abstract: Climate change is causing the intensification of rainfall extremes. Precipitation projections with high spatial resolution are important for society to prepare for these changes, e.g. to model flooding impacts. Physics-based simulations for creating such projections are very computationally expensive. This work demonstrates the effectiveness of diffusion models, a form of deep generative models, for generating much more cheaply realistic high resolution rainfall samples for the UK conditioned on data from a low resolution simulation. We show for the first time a machine learning model that is able to produce realistic samples of high-resolution rainfall based on a physical model that resolves atmospheric convection, a key process behind extreme rainfall. By adding self-learnt, location-specific information to low resolution relative vorticity, quantiles and time-mean of the samples match well their counterparts from the high-resolution simulation.


title: A High Availability Management Model based on VM Significance Ranking and Resource Estimation for Cloud Applications

abstract: Massive upsurge in cloud resource usage stave off service availability resulting into outages, resource contention, and excessive power-consumption. The existing approaches have addressed this challenge by providing multi-cloud, VM migration, and running multiple replicas of each VM which accounts for high expenses of cloud data centre (CDC). In this context, a novel VM Significance Ranking and Resource Estimation based High Availability Management (SRE-HM) Model is proposed to enhance service availability for users with optimized cost for CDC. The model estimates resource contention based server failure and organises needed resources beforehand for maintaining desired level of service availability. A significance ranking parameter is introduced and computed for each VM, executing critical or non-critical tasks followed by the selection of an admissible High Availability (HA) strategy respective to its significance and user specified constraints. It enables cost optimization for CDC by rendering failure tolerance strategies for significant VMs only instead of all the VMs. The proposed model is evaluated and compared against state-of-the-arts by executing experiments using Google Cluster dataset. SRE-HM improved the services availability up to 19.56% and scales down the number of active servers and power-consumption up to 26.67% and 19.1%, respectively over HA without SRE-HM.


title: Inferring Attack Relations for Gradual Semantics

abstract: A gradual semantics takes a weighted argumentation framework as input and outputs a final acceptability degree for each argument, with different semantics performing the computation in different manners. In this work, we consider the problem of attack inference. That is, given a gradual semantics, a set of arguments with associated initial weights, and the final desirable acceptability degrees associated with each argument, we seek to determine whether there is a set of attacks on those arguments such that we can obtain these acceptability degrees. The main contribution of our work is to demonstrate that the associated decision problem, i.e., whether a set of attacks can exist which allows the final acceptability degrees to occur for given initial weights, is NP-complete for the weighted h-categoriser and cardinality-based semantics, and is polynomial for the weighted max-based semantics, even for the complete version of the problem (where all initial weights and final acceptability degrees are known). We then briefly discuss how this decision problem can be modified to find the attacks themselves and conclude by examining the partial problem where not all initial weights or final acceptability degrees may be known.


title: The complex organic molecular content in the L1517B starless core

abstract: Recent observations of the pre-stellar core L1544 and the younger starless core L1498 have revealed that complex organic molecules (COMs) are enhanced in the gas phase toward their outer and intermediate-density shells. Our goal is to determine the level of chemical complexity toward the starless core L1517B, which seems younger than L1498, and compare it with the other two previously studied cores to see if there is a chemical evolution within the cores. We have carried out 3 mm high-sensitivity observations toward two positions in the L1517B starless core: the core's centre and the position where the methanol emission peaks (at a distance of $\sim$5000 au from the core's centre). Our observations reveal that a lower number of COMs and COM precursors are detected in L1517B with respect to L1498 and L1544, and also show lower abundances. Besides methanol, we only detected CH$_3$O, H$_2$CCO, CH$_3$CHO, CH$_3$CN, CH$_3$NC, HCCCN, and HCCNC. Their measured abundances are $\sim$3 times larger toward the methanol peak than toward the core's centre, mimicking the behaviour found toward the more evolved cores L1544 and L1498. We propose that the differences in the chemical complexity observed between the three studied starless cores are a consequence of their evolution, with L1517B being the less evolved one, followed by L1498 and L1544. Chemical complexity in these cores seems to increase over time, with N-bearing molecules forming first and O-bearing COMs forming at a later stage as a result of the catastrophic depletion of CO.


title: Detecting Magnetic Ink Barcodes with Handheld Magnetoresistive Sensors

abstract: Information encoding in barcodes using magnetic-based technology is a unique strategy to read data buried underneath non-transparent surfaces since a direct line-of-sight between the code and the reader is not required. This technology is of particular interest in secure labelling and recyclable packaging applications. However, current magnetic reading heads, such as those employed for magnetic ink character recognition, need to be placed in contact with the magnetic structures, limiting the depths at which the information can be read. This paper describes a strategy to overcome that limitation by replacing the traditional inductive heads with tunnel magnetoresistive (TMR) sensors. Soft-magnetic codes can be printed using conventional LaserJet toners and, by having their magnetisation set with a permanent magnet included in the device, the resulting magnetic field can be read using a TMR sensor. We demonstrate that such a device can read barcodes at depths of at least 1 mm. It can also resolve individual structures as thin as 200 {\mu}m when used in contact.