title: DProST: Dynamic Projective Spatial Transformer Network for 6D Pose Estimation

abstract: Predicting the object's 6D pose from a single RGB image is a fundamental computer vision task. Generally, the distance between transformed object vertices is employed as an objective function for pose estimation methods. However, projective geometry in the camera space is not considered in those methods and causes performance degradation. In this regard, we propose a new pose estimation system based on a projective grid instead of object vertices. Our pose estimation method, dynamic projective spatial transformer network (DProST), localizes the region of interest grid on the rays in camera space and transforms the grid to object space by estimated pose. The transformed grid is used as both a sampling grid and a new criterion of the estimated pose. Additionally, because DProST does not require object vertices, our method can be used in a mesh-less setting by replacing the mesh with a reconstructed feature. Experimental results show that mesh-less DProST outperforms the state-of-the-art mesh-based methods on the LINEMOD and LINEMOD-OCCLUSION dataset, and shows competitive performance on the YCBV dataset with mesh data. The source code is available at https://github.com/parkjaewoo0611/DProST


title: Unsupervised Matching of Data and Text

abstract: Entity resolution is a widely studied problem with several proposals to match records across relations. Matching textual content is a widespread task in many applications, such as question answering and search. While recent methods achieve promising results for these two tasks, there is no clear solution for the more general problem of matching textual content and structured data. We introduce a framework that supports this new task in an unsupervised setting for any pair of corpora, being relational tables or text documents. Our method builds a fine-grained graph over the content of the corpora and derives word embeddings to represent the objects to match in a low dimensional space. The learned representation enables effective and efficient matching at different granularity, from relational tuples to text sentences and paragraphs. Our flexible framework can exploit pre-trained resources, but it does not depends on their existence and achieves better quality performance in matching content when the vocabulary is domain specific. We also introduce optimizations in the graph creation process with an "expand and compress" approach that first identifies new valid relationships across elements, to improve matching, and then prunes nodes and edges, to reduce the graph size. Experiments on real use cases and public datasets show that our framework produces embeddings that outperform word embeddings and fine-tuned language models both in results' quality and in execution times.


title: Long Context Question Answering via Supervised Contrastive Learning

abstract: Long-context question answering (QA) tasks require reasoning over a long document or multiple documents. Addressing these tasks often benefits from identifying a set of evidence spans (e.g., sentences), which provide supporting evidence for answering the question. In this work, we propose a novel method for equipping long-context QA models with an additional sequence-level objective for better identification of the supporting evidence. We achieve this via an additional contrastive supervision signal in finetuning, where the model is encouraged to explicitly discriminate supporting evidence sentences from negative ones by maximizing question-evidence similarity. The proposed additional loss exhibits consistent improvements on three different strong long-context transformer models, across two challenging question answering benchmarks -- HotpotQA and QAsper.


title: Self-Supervised Learning for speech recognition with Intermediate layer supervision

abstract: Recently, pioneer work finds that speech pre-trained models can solve full-stack speech processing tasks, because the model utilizes bottom layers to learn speaker-related information and top layers to encode content-related information. Since the network capacity is limited, we believe the speech recognition performance could be further improved if the model is dedicated to audio content information learning. To this end, we propose Intermediate Layer Supervision for Self-Supervised Learning (ILS-SSL), which forces the model to concentrate on content information as much as possible by adding an additional SSL loss on the intermediate layers. Experiments on LibriSpeech test-other set show that our method outperforms HuBERT significantly, which achieves a 23.5%/11.6% relative word error rate reduction in the w/o language model setting for base/large models. Detailed analysis shows the bottom layers of our model have a better correlation with phonetic units, which is consistent with our intuition and explains the success of our method for ASR.


title: From hybrid polariton to dipolariton using non-hermitian Hamiltonians to handle particle lifetimes

abstract: We consider photons strongly coupled to the excitonic excitations of a coupled quantum well, in the presence of an electric field. We show how under a field increase, the hybrid polariton made of photon coupled to hybrid carriers lying in the two wells, transforms into a dipolariton made of photon coupled to direct and indirect excitons. We also show how the cavity photon lifetime and the coherence time of the carrier wave vectors, that we analytically handle through non-hermitian Hamiltonians, affect these polaritonic states. While the hybrid polaritons display a spectral singularity, where the eigenvalues coalesce and known as exceptional point, that depends on detuning and lifetimes, we find that the three dipolaritonic states display an anti-crossing without exceptional point, due to interaction between photons, direct and indirect excitons.


title: Numerical study of effects of electrode parameters and image charge on the electric field configuration of RPCs

abstract: The working of a resistive plate chamber depends on the electric field applied inside the gas gap. The strength of this electric field inside the gas gap depends on parameters like electrode thickness, permittivity, gas gap, among others. The applied electric field can get significantly modified by space charge effect. This can be a major concern while working in high rate particle physics experiments. Accumulation of space charge generated due to consecutive avalanches can distort the applied field. During this investigation, we have observed that the strength of this perturbation in electric field is a function of the amount of charge, electrode thickness, permittivity, and gas gap. In this paper, we have studied the dependence of the applied field on parameters linked to RPC fabrication, mentioned above. In addition, we have used the method of image to calculate the additional polarisation field due to space charge for a basic five layers of the geometry of an RPC. The variation of the perturbation in electric field with the same three parameters electrode thickness, permittivity, gas gap has also been discussed.


title: Multi-orbit cyclic subspace codes and linear sets

abstract: Cyclic subspace codes gained a lot of attention especially because they may be used in random network coding for correction of errors and erasures. Roth, Raviv and Tamo in 2018 established a connection between cyclic subspace codes (with certain parameters) and Sidon spaces. These latter objects were introduced by Bachoc, Serra and Z\'emor in 2017 in relation with the linear analogue of Vosper's Theorem. This connection allowed Roth, Raviv and Tamo to construct large classes of cyclic subspace codes with one or more orbits. In this paper we will investigate cyclic subspace codes associated to a set of Sidon spaces, that is cyclic subspace codes with more than one orbit. Moreover, we will also use the geometry of linear sets to provide some bounds on the parameters of a cyclic subspace code. Conversely, cyclic subspace codes are used to construct families of linear sets which extend a class of linear sets recently introduced by Napolitano, Santonastaso, Polverino and the author. This yields large classes of linear sets with a special pattern of intersection with the hyperplanes, defining rank metric and Hamming metric codes with only three distinct weights.


title: Improved YOLOv5 network for real-time multi-scale traffic sign detection

abstract: Traffic sign detection is a challenging task for the unmanned driving system, especially for the detection of multi-scale targets and the real-time problem of detection. In the traffic sign detection process, the scale of the targets changes greatly, which will have a certain impact on the detection accuracy. Feature pyramid is widely used to solve this problem but it might break the feature consistency across different scales of traffic signs. Moreover, in practical application, it is difficult for common methods to improve the detection accuracy of multi-scale traffic signs while ensuring real-time detection. In this paper, we propose an improved feature pyramid model, named AF-FPN, which utilizes the adaptive attention module (AAM) and feature enhancement module (FEM) to reduce the information loss in the process of feature map generation and enhance the representation ability of the feature pyramid. We replaced the original feature pyramid network in YOLOv5 with AF-FPN, which improves the detection performance for multi-scale targets of the YOLOv5 network under the premise of ensuring real-time detection. Furthermore, a new automatic learning data augmentation method is proposed to enrich the dataset and improve the robustness of the model to make it more suitable for practical scenarios. Extensive experimental results on the Tsinghua-Tencent 100K (TT100K) dataset demonstrate the effectiveness and superiority of the proposed method when compared with several state-of-the-art methods.


title: The logarithmic Schr\"odinger operator and associated Dirichlet problems

abstract: In this note, we study the integrodifferential operator $(I-\Delta)^{\log}$ corresponding to the logarithmic symbol $\log(1+|\xi|^2)$, which is a singular integral operator given by $$ (I-\Delta)^{\log} u(x)=d_{N}\int_{\mathbb{R}^N}\frac{u(x)-u(x+y)}{|y|^{N}}\omega(|y|)\, dy, $$ where $d_N=\pi^{-\frac{N}{2}}$, $\omega(r)=2^{1-\frac{N}{2}}r^{\frac{N}{2}}K_{\frac{N}{2}}(r)$ and $K_{\nu}$ is the modified Bessel function of second kind with index $\nu$. This operator is the L\'evy generator of the variance gamma process and arises as derivative $\partial_s\Big|_{s=0}(I-\Delta)^s$ of fractional relativistic Schr\"{o}dinger operators at $s=0$. In order to study associated Dirichlet problems in bounded domains, we first introduce the functional analytic framework and some properties related to $(I-\Delta)^{\log}$, which allow to characterize the induced eigenvalue problem and Faber-Krahn type inequality. We also derive a decay estimate in $\mathbb{R}^N$ of the Poisson problem and investigate small order asymptotics $s\to 0^+$ of Dirichlet eigenvalues and eigenfunctions of $(I-\Delta)^s$ in a bounded open Lipschitz set.


title: Twisted Strings in Three-dimensional Black Holes

abstract: We revisit the classical dynamics of fundamental strings in BTZ black holes with NSNS flux. We analyse probe strings in the black hole background and determine their classical energy using a Nambu-Goto action. Three-dimensional gravity has a non-local effect on the metric surrounding a massive object which can be measured by winding strings. We also study the behaviour of short and long strings in the Wess-Zumino-Witten orbifold and show that their energy matches the long string probe analysis. In the process, we fix subtleties in the Lorentzian choice of NSNS flux. In Euclidean signature, we analyse the one-loop fundamental string partition function on the BTZ black hole and interpret the off-shell degrees of freedom as those of a coset orbifold. Finally, we speculate on how to identify the quantum Lorentzian string spectrum from the Euclidean orbifold partition function.


title: Revealing the topological nature of the bond order wave in a strongly correlated quantum system

abstract: We investigate the topological properties of the bond order wave phase arising in the extended Fermi-Hubbard model. In particular, we uncover a topological sector, which remained elusive in previous finite-size numerical studies due to boundary effects. We first show that, for an infinite system, the bond order wave regime is characterized by two degenerate bulk states corresponding to the trivial and topological sectors. The latter turns out to be indeed characterized by an even degeneracy of the entanglement spectrum and longe-range order of a string correlation function. For finite size systems, we show that the topological sector can be stabilized by imposing a suitable border potential. This therefore provides a concrete protocol for the observation of topologically protected degenerate edge modes in finite-size systems. Furthermore, we show that the bulk of the system is characterized by exotic solitonic solutions interpolating between the trivial and topological sectors. Finally, we propose an implementation and detection scheme of this strongly-correlated topological phase in a quantum simulator based on dipolar Fermi gases in optical lattices.


title: Efficient Hierarchical Domain Adaptation for Pretrained Language Models

abstract: The remarkable success of large language models has been driven by dense models trained on massive unlabeled, unstructured corpora. These corpora typically contain text from diverse, heterogeneous sources, but information about the source of the text is rarely used during training. Transferring their knowledge to a target domain is typically done by continuing training in-domain. In this paper, we introduce a method to permit domain adaptation to many diverse domains using a computationally efficient adapter approach. Our method is based on the observation that textual domains are partially overlapping, and we represent domains as a hierarchical tree structure where each node in the tree is associated with a set of adapter weights. When combined with a frozen pretrained language model, this approach enables parameter sharing among related domains, while avoiding negative interference between unrelated ones. Experimental results with GPT-2 and a large fraction of the 100 most represented websites in C4 show across-the-board improvements in-domain. We additionally provide an inference time algorithm for a held-out domain and show that averaging over multiple paths through the tree enables further gains in generalization, while adding only a marginal cost to inference.


title: AcTune: Uncertainty-aware Active Self-Training for Semi-Supervised Active Learning with Pretrained Language Models

abstract: While pre-trained language model (PLM) fine-tuning has achieved strong performance in many NLP tasks, the fine-tuning stage can be still demanding in labeled data. Recent works have resorted to active fine-tuning to improve the label efficiency of PLM fine-tuning, but none of them investigate the potential of unlabeled data. We propose {\ours}, a new framework that leverages unlabeled data to improve the label efficiency of active PLM fine-tuning. AcTune switches between data annotation and model self-training based on uncertainty: it selects high-uncertainty unlabeled samples for active annotation and low-uncertainty ones for model self-training. Under this framework, we design (1) a region-aware sampling strategy that reduces redundancy when actively querying for annotations and (2) a momentum-based memory bank that dynamically aggregates the model's pseudo labels to suppress label noise in self-training. Experiments on 6 text classification datasets show that AcTune outperforms the strongest active learning and self-training baselines and improves the label efficiency of PLM fine-tuning by 56.2\% on average. Our implementation will be available at \url{https://github.com/yueyu1030/actune}.


title: Amplitude stabilization in a synchronized nonlinear nanomechanical oscillator

abstract: In contrast to the well-known phenomenon of frequency stabilization in a synchronized noisy nonlinear oscillator, little is known about its amplitude stability. In this paper, we investigate experimentally and theoretically the amplitude evolution and stability of a nonlinear nanomechanical self-sustained oscillator that is synchronized with an external harmonic drive. We show that the phase difference between the tones plays a critical role on the amplitude level, and we demonstrate that in the strongly nonlinear regime, its amplitude fluctuations are reduced considerably. These findings bring to light a new facet of the synchronization phenomenon, extending its range of applications beyond the field of clock-references and suggesting a new means to enhance oscillator amplitude stability.


title: Harnessing Cross-lingual Features to Improve Cognate Detection for Low-resource Languages

abstract: Cognates are variants of the same lexical form across different languages; for example 'fonema' in Spanish and 'phoneme' in English are cognates, both of which mean 'a unit of sound'. The task of automatic detection of cognates among any two languages can help downstream NLP tasks such as Cross-lingual Information Retrieval, Computational Phylogenetics, and Machine Translation. In this paper, we demonstrate the use of cross-lingual word embeddings for detecting cognates among fourteen Indian Languages. Our approach introduces the use of context from a knowledge graph to generate improved feature representations for cognate detection. We, then, evaluate the impact of our cognate detection mechanism on neural machine translation (NMT), as a downstream task. We evaluate our methods to detect cognates on a challenging dataset of twelve Indian languages, namely, Sanskrit, Hindi, Assamese, Oriya, Kannada, Gujarati, Tamil, Telugu, Punjabi, Bengali, Marathi, and Malayalam. Additionally, we create evaluation datasets for two more Indian languages, Konkani and Nepali. We observe an improvement of up to 18% points, in terms of F-score, for cognate detection. Furthermore, we observe that cognates extracted using our method help improve NMT quality by up to 2.76 BLEU. We also release our code, newly constructed datasets and cross-lingual models publicly.


title: Extended high-harmonic spectra through cascade resonance in confined quantum systems

abstract: The study of high-harmonic generation in confined quantum systems is vital to establishing a complete physical picture of harmonic generation from atoms and molecules to bulk solids. Based on a multilevel approach, we demonstrate how intraband resonances significantly influence the harmonic spectra via charge pumping to the higher subbands and, thus, redefine the cutoff laws. As a proof of principle, we consider the interaction of graphene nanoribbons, with zigzag as well as armchair terminations, and resonant fields polarized along the cross-ribbon direction. Here, this effect is particularly prominent due to many nearly equi-separated energy levels. In such a scenario, a cascade resonance effect can take place in high-harmonic generation when the field strength is above a critical threshold, which is completely different from the harmonic generation mechanism of atoms, molecules and bulk solids. We further discuss the implications not only for other systems in a nanoribbon geometry, but also systems where only a few subbands (energy levels) meet this frequency-matching condition by considering a generalized multilevel Hamiltonian. Our study highlights that cascade resonance bears fundamentally distinct influence on the laws of harmonic generation, specifically the cutoff laws based on laser duration, field strength, and wavelength, thus unraveling new insights in solid-state high-harmonic generation.


title: Beamspace MIMO for Satellite Swarms

abstract: Systems of small distributed satellites in low Earth orbit (LEO) transmitting cooperatively to a multiple antenna ground station (GS) are investigated. These satellite swarms have the benefit of much higher spatial separation in the transmit antennas than traditional big satellites with antenna arrays, promising a massive increase in spectral efficiency. However, this would require instantaneous perfect channel state information (CSI) and strong cooperation between satellites. In practice, orbital velocities around 7.5 km/s lead to very short channel coherence times on the order of fractions of the inter-satellite propagation delay, invalidating these assumptions. In this paper, we propose a distributed linear precoding scheme and a GS equalizer relying on local position information. In particular, each satellite only requires information about its own position and that of the GS, while the GS has complete positional information. Due to the deterministic nature of satellite movement this information is easily obtained and no inter-satellite information exchange is required during transmission. Based on the underlying geometrical channel approximation, the optimal inter-satellite distance is obtained analytically. Numerical evaluations show that the proposed scheme is, on average, within 99.8% of the maximum achievable rate for instantaneous CSI and perfect cooperation


title: Gevrey Asymptotic Implicit Function Theorem

abstract: We prove an Asymptotic Implicit Function Theorem in the setting of Gevrey asymptotics with respect to a parameter. The unique implicitly defined solution admits a Gevrey asymptotic expansion and furthermore it is the Borel resummation of the corresponding implicitly defined formal power series solution. The main theorem can therefore be rephrased as an Implicit Function Theorem for Borel summable power series. As an application, we give a diagonal or Jordan decomposition for holomorphic matrices in Gevrey asymptotic families.


title: Fire retainment on Cayley graphs

abstract: We study the fire-retaining problem on groups, a quasi-isometry invariant introduced by Mart\'inez-Pedroza and Prytula [8], related to the firefighter problem. We prove that any Cayley graph with degree-$d$ polynomial growth does not satisfy $\{f(n)\}$-retainment, for any $f(n) = o(n^{d-2})$, matching the upper bound given for the firefighter problem for these graphs. In the exponential growth regime we prove general lower bounds for direct products and wreath products. These bounds are tight, and show that for exponential-growth groups a wide variety of behaviors is possible. In particular, we construct, for any $d\geq 1$, groups that satisfy $\{n^{d}\}$-retainment but not $o(n^d)$-retainment, as well as groups that do not satisfy sub-exponential retainment.


title: A robust prediction from a minimal model of COVID-19 -- Can we avoid the third wave?

abstract: COVID-19 pandemic is one of the major disasters that humanity has ever faced. In this paper, we try to model the effect of vaccination in controlling the pandemic, particularly in context to the third wave which is predicted to hit globally. Here we have modified the SEIRD model by introducing a vaccination term. One of our main assumptions is that the infection rate (\b{eta}(t)) is oscillatory. This oscillatory nature has been discussed earlier in literature with reference to the seasonality of epidemics. However, in our case we invoke this nature of the infection rate (\b{eta}(t)) to model the cyclical behavior of the COVID-19 pandemic within a short period. This study focuses on a minimalistic approach where we have logically deduced that the infection rate (\b{eta}(t)) and the vaccination rate ({\lambda}) are the most important parameters while the other parameters can be assumed to be constants throughout the simulation. Finally, we have studied the rich interplay between the infection rate (\b{eta}(t)) and the vaccination rate ({\lambda}) on the infectious cases of COVID-19 and made some robust conclusions regarding the global behavior of this pandemic in near future.


title: Rotation of polarization of light propagating through a gas of molecular super-rotors

abstract: We present a detailed theoretical and experimental study of the rotation of the plane of polarization of light traveling through a gas of fast-spinning molecules. This effect is similar to the polarization drag phenomenon predicted by Fermi a century ago and it is a mechanical analog of the Faraday effect. In our experiments, molecules were spun up by an optical centrifuge and brought to the super-rotor state that retains its rotation for a relatively long time. Polarizability properties of fast-rotating molecules were analyzed considering the rotational Doppler effect and Coriolis forces. We used molecular dynamics simulations to account for intermolecular collisions. We found, both experimentally and theoretically, a nontrivial nonmonotonic time dependence of the polarization rotation angle. This time dependence reflects transfer of the angular momentum from rotating molecules to the macroscopic gas flow, which may lead to the birth of gas vortices. Moreover, we show that the long-term behavior of the polarization rotation is sensitive to the details of the intermolecular potential. Thus, the polarization drag effect appears as a novel diagnostic tool for the characterization of intermolecular interaction potentials and studies of collisional processes in gases.


title: Saliency Grafting: Innocuous Attribution-Guided Mixup with Calibrated Label Mixing

abstract: The Mixup scheme suggests mixing a pair of samples to create an augmented training sample and has gained considerable attention recently for improving the generalizability of neural networks. A straightforward and widely used extension of Mixup is to combine with regional dropout-like methods: removing random patches from a sample and replacing it with the features from another sample. Albeit their simplicity and effectiveness, these methods are prone to create harmful samples due to their randomness. To address this issue, 'maximum saliency' strategies were recently proposed: they select only the most informative features to prevent such a phenomenon. However, they now suffer from lack of sample diversification as they always deterministically select regions with maximum saliency, injecting bias into the augmented data. In this paper, we present, a novel, yet simple Mixup-variant that captures the best of both worlds. Our idea is two-fold. By stochastically sampling the features and 'grafting' them onto another sample, our method effectively generates diverse yet meaningful samples. Its second ingredient is to produce the label of the grafted sample by mixing the labels in a saliency-calibrated fashion, which rectifies supervision misguidance introduced by the random sampling procedure. Our experiments under CIFAR, Tiny-ImageNet, and ImageNet datasets show that our scheme outperforms the current state-of-the-art augmentation strategies not only in terms of classification accuracy, but is also superior in coping under stress conditions such as data corruption and object occlusion.


title: Minimizing Reachability Times on Temporal Graphs via Shifting Labels

abstract: We study how we can accelerate the spreading of information in temporal graphs via delaying operations; a problem that captures real-world applications varying from information flows to distribution schedules. In a temporal graph there is a set of fixed vertices and the available connections between them change over time in a predefined manner. We observe that, in some cases, the delay of some connections can in fact decrease the time required to reach from some vertex (source) to another vertex (target). We study how we can minimize the maximum time a set of source vertices needs to reach every other vertex of the graph when we are allowed to delay some of the connections of the graph. For one source, we prove that the problem is W[2]-hard and NP-hard, when parameterized by the number of allowed delays. On the other hand, we derive a polynomial-time algorithm for one source and unbounded number of delays. This is the best we can hope for; we show that the problem becomes NP-hard when there are two sources and the number of delays is not bounded. We complement our negative result by providing an FPT algorithm parameterized by the treewidth of the graph plus the lifetime of the optimal solution. Finally, we provide polynomial-time algorithms for several classes of graphs.


title: Understanding Memorization from the Perspective of Optimization via Efficient Influence Estimation

abstract: Over-parameterized deep neural networks are able to achieve excellent training accuracy while maintaining a small generalization error. It has also been found that they are able to fit arbitrary labels, and this behaviour is referred to as the phenomenon of memorization. In this work, we study the phenomenon of memorization with turn-over dropout, an efficient method to estimate influence and memorization, for data with true labels (real data) and data with random labels (random data). Our main findings are: (i) For both real data and random data, the optimization of easy examples (e.g., real data) and difficult examples (e.g., random data) are conducted by the network simultaneously, with easy ones at a higher speed; (ii) For real data, a correct difficult example in the training dataset is more informative than an easy one. By showing the existence of memorization on random data and real data, we highlight the consistency between them regarding optimization and we emphasize the implication of memorization during optimization.


title: Excess of Tau events at SND@LHC, FASER$\nu$ and FASER$\nu$2

abstract: During the run III of the LHC, the forward experiments FASER$\nu$ and SND@LHC will be able to detect the Charged Current (CC) interactions of the high energy neutrinos of all three flavors produced at the ATLAS Interaction Point (IP). This opportunity may unravel mysteries of the third generation leptons. We build three models that can lead to a tau excess at these detectors through the following Lepton Flavor Violating (LFV) beyond Standard Model (SM) processes: (1) $\pi^+ \to \mu^+ \nu_\tau$; (2) $\pi^+ \to \mu^+ \bar{\nu}_\tau$ and (3) $\nu_e+{\rm nucleus}\to \tau +X$. We comment on the possibility of solving the $(g-2)_\mu$ anomaly and the $\tau$ decay anomalies within these models. We study the potential of the forward experiments to discover the $\tau$ excess or to constrain these models in case of no excess. We then compare the reach of the forward experiments with that of the previous as well as next generation experiments such as DUNE. We also discuss how the upgrade of FASER$\nu$ can distinguish between these models by studying the energy spectrum of the tau.


title: Universal Casimir interaction between two dielectric spheres in salted water

abstract: We study the Casimir interaction between two dielectric spheres immersed in a salted solution at distances larger than the Debye screening length. The long distance behavior is dominated by the non-screened interaction due to low-frequency transverse magnetic thermal fluctuations. It shows universality properties in its dependence on geometric dimensions and independence of dielectric functions of the particles, with these properties related to approximate conformal invariance.


title: On T violation in non-standard neutrino oscillation scenarios

abstract: We discuss time reversal (T) violation in neutrino oscillations in generic new physics scenarios. A general parameterization is adopted to describe flavour evolution, which captures a wide range of new physics effects, including non-standard neutrino interactions, non-unitarity, and sterile neutrinos in a model-independent way. In this framework, we discuss general properties of time reversal in the context of long-baseline neutrino experiments. Special attention is given to fundamental versus environmental T violation in the presence of generic new physics. We point out that T violation in the disappearance channel requires new physics which modifies flavour mixing at neutrino production and detection. We use time-dependent perturbation theory to study the effect of non-constant matter density along the neutrino path, and quantify the effects for the well studied baselines of the DUNE, T2HK, and T2HKK projects. The material presented here provides the phenomenological background for the model-independent test of T violation proposed by us in Ref. [1].


title: UNIREX: A Unified Learning Framework for Language Model Rationale Extraction

abstract: An extractive rationale explains a language model's (LM's) prediction on a given task instance by highlighting the text inputs that most influenced the prediction. Ideally, rationale extraction should be faithful (reflective of LM's actual behavior) and plausible (convincing to humans), without compromising the LM's (i.e., task model's) task performance. Although attribution algorithms and select-predict pipelines are commonly used in rationale extraction, they both rely on certain heuristics that hinder them from satisfying all three desiderata. In light of this, we propose UNIREX, a flexible learning framework that generalizes rationale extractor optimization as follows: (1) specify architecture for a learned rationale extractor; (2) select explainability objectives (i.e., faithfulness and plausibility criteria); and (3) jointly the train task model and rationale extractor on the task using the selected objectives. UNIREX enables replacing prior works' heuristic design choices with a generic learned rationale extractor in (1) and optimizing it for all three desiderata in (2)-(3). To facilitate comparison between methods with respect to multiple desiderata, we introduce the Normalized Relative Gain (NRG) metric. Across five text classification datasets, our best UNIREX configuration outperforms baselines by an average of 32.9% NRG. Plus, we find that UNIREX-trained rationale extractors can even generalize to unseen datasets and tasks.


title: Room temperature structure and energetics of water-hydroxyl layers on Pt(111)

abstract: The interactions between water and hydroxyl species on Pt(111) surfaces have been intensely investigated due to their importance to fuel cell electrocatalysis. Here we present a room temperature molecular dynamics study of their structure and energetics using an ensemble of neural network potentials, which allow us to obtain unprecedented statistical sampling. We first study the energetics of hydroxyl formation, where we find a near-linear adsorption energy profile, which exhibits a soft and gradual increase in the differential adsorption energy at high hydroxyl coverages. This is strikingly different from the predictions of the conventional bilayer model, which displays a kink at 1/3ML OH coverage indicating a sizeable jump in differential adsorption energy, but within the statistical uncertainty of previously reported ab initio molecular dynamics studies. We then analyze the structure of the interface, where we provide evidence for the water-OH/Pt(111) interface being hydrophobic at high hydroxyl coverages. We furthermore explain the observed adsorption energetics by analyzing the hydrogen bonding in the water-hydroxyl adlayers, where we argue that the increase in differential adsorption energy at high OH coverage can be explained by a reduction in the number of hydrogen bonds from the adsorbed water molecules to the hydroxyls.


title: CrossSum: Beyond English-Centric Cross-Lingual Summarization for 1,500+ Language Pairs

abstract: We present CrossSum, a large-scale cross-lingual summarization dataset comprising 1.68 million article-summary samples in 1,500+ language pairs. We create CrossSum by aligning parallel articles written in different languages via cross-lingual retrieval from a multilingual abstractive summarization dataset and perform a controlled human evaluation to validate its quality. We propose a multistage data sampling algorithm to effectively train a cross-lingual summarization model capable of summarizing an article in any target language. We also introduce LaSE, an embedding-based metric for automatically evaluating model-generated summaries. LaSE is strongly correlated with ROUGE and, unlike ROUGE, can be reliably measured even in the absence of references in the target language. Performance on ROUGE and LaSE indicate that our proposed model consistently outperforms baseline models. To the best of our knowledge, CrossSum is the largest cross-lingual summarization dataset and the first ever that is not centered around English. We are releasing the dataset, training and evaluation scripts, and models to spur future research on cross-lingual summarization. The resources can be found at https://github.com/csebuetnlp/CrossSum


title: Diameter, edge-connectivity, and $C_4$-freeness

abstract: Improving a recent result of Fundikwa, Mazorodze, and Mukwembi, we show that $d \leq (2n-3)/5$ for every connected $C_4$-free graph of order $n$, diameter $d$, and edge-connectivity at least $3$, which is best possible up to a small additive constant. For edge-connectivity at least $4$, we improve this to $d \leq (n-3)/3$. Furthermore, adapting a construction due to Erd\H{o}s, Pach, Pollack, and Tuza, for an odd prime power $q$ at least $7$, and every positive integer $k$, we show the existence of a connected $C_4$-free graph of order $n=(q^2+q-1)k+1$, diameter $d=4k$, and edge-connectivity $\lambda$ at least $q-6$, in particular, $d\geq 4(n-1)/(\lambda^2+O(\lambda))$.


title: Correlation inference attacks against machine learning models

abstract: Machine learning models are often trained on sensitive and proprietary datasets. Yet what -- and under which conditions -- a model leaks about its dataset, is not well understood. Most previous works study the leakage of information about an individual record. Yet in many situations, global dataset information such as its underlying distribution, e.g. $k$-way marginals or correlations are similarly sensitive or secret. We here explore for the first time whether a model leaks information about the correlations between the input variables of its training dataset, something we name correlation inference attack. We first propose a model-less attack, showing how an attacker can exploit the spherical parametrization of correlation matrices to make an informed guess based on the correlations between the input variables and the target variable alone. Second, we propose a model-based attack, showing how an attacker can exploit black-box access to the model to infer the correlations using shadow models trained on synthetic datasets. Our synthetic data generation approach combines Gaussian copula-based generative modeling with a carefully adapted procedure for sampling correlation matrices under constraints. Third, we evaluate our model-based attack against Logistic Regression and Multilayer Perceptron models and show it to strongly outperform the model-less attack on three real-world tabular datasets, indicating that the models leak information about the correlations. We also propose a novel correlation inference-based attribute inference attack (CI-AIA), and show it to obtain state-of-the-art performance. Taken together, our results show how attackers can use the model to extract information about the dataset distribution, and use it to improve their prior on sensitive attributes of individual records.


title: On $d$-panconnected tournaments with large semidegrees

abstract: We prove the following new results. (a) Let $T$ be a regular tournament of order $2n+1\geq 11$ and $S$ a subset of $V(T)$. Suppose that $|S|\leq \frac{1}{2}(n-2)$ and $x$, $y$ are distinct vertices in $V(T)\setminus S$. If the subtournament $T-S$ contains an $(x,y)$-path of length $r$, where $3\leq r\leq |V(T)\setminus S|-2$, then $T-S$ also contains an $(x,y)$-path of length $r+1$. (b) Let $T$ be an $m$-irregular tournament of order $p$, i.e., $|d^+(x)-d^-(x)|\le m$ for every vertex $x$ of $T.$ If $m\leq \frac{1}{3}(p-5)$ (respectively, $m\leq \frac{1}{5}(p-3)$), then for every pair of vertices $x$ and $y$, $T$ has an $(x,y)$-path of any length $k$, $4\leq k\leq p-1$ (respectively, $3\leq k\leq p-1$ or $T$ belongs to a family $\cal G$ of tournaments, which is defined in the paper). In other words, (b) means that if the semidegrees of every vertex of a tournament $T$ of order $p$ are between $\frac{1}{3}(p+1)$ and $\frac{2}{3}(p-2)$ (respectively, between $\frac{1}{5}(2p-1)$ and $\frac{1}{5}(3p-4)$), then the claims in (b) hold. Our results improve in a sense related results of Alspach (1967), Jacobsen (1972), Alspach et al. (1974), Thomassen (1978) and Darbinyan (1977, 1978, 1979), and are sharp in a sense.


title: Simple Questions Generate Named Entity Recognition Datasets

abstract: Recent named entity recognition (NER) models often rely on human-annotated datasets, requiring the significant engagement of professional knowledge on the target domain and entities. This research introduces an ask-to-generate approach that automatically generates NER datasets by asking questions in simple natural language to an open-domain question answering system (e.g., "Which disease?"). Despite using fewer in-domain resources, our models, solely trained on the generated datasets, largely outperform strong low-resource models by an average F1 score of 19.4 for six popular NER benchmarks. Furthermore, our models provide competitive performance with rich-resource models that additionally leverage in-domain dictionaries provided by domain experts. In few-shot NER, we outperform the previous best model by an F1 score of 5.2 on three benchmarks and achieve new state-of-the-art performance.


title: Maps preserving two-sided zero products on Banach algebras

abstract: Let $A$ and $B$ be Banach algebras with bounded approximate identities and let $\Phi:A\to B$ be a surjective continuous linear map which preserves two-sided zero products (i.e., $\Phi(a)\Phi(b)=\Phi(b)\Phi(a)=0$ whenever $ab=ba=0$). We show that $\Phi$ is a weighted Jordan homomorphism provided that $A$ is zero product determined and weakly amenable. These conditions are in particular fulfilled when $A$ is the group algebra $L^1(G)$ with $G$ any locally compact group. We also study a more general type of continuous linear maps $\Phi:A\to B$ that satisfy $\Phi(a)\Phi(b)+\Phi(b)\Phi(a)=0$ whenever $ab=ba=0$. We show in particular that if $\Phi$ is surjective and $A$ is a $C^*$-algebra, then $\Phi$ is a weighted Jordan homomorphism.


title: Pure Noise to the Rescue of Insufficient Data: Improving Imbalanced Classification by Training on Random Noise Images

abstract: Despite remarkable progress on visual recognition tasks, deep neural-nets still struggle to generalize well when training data is scarce or highly imbalanced, rendering them extremely vulnerable to real-world examples. In this paper, we present a surprisingly simple yet highly effective method to mitigate this limitation: using pure noise images as additional training data. Unlike the common use of additive noise or adversarial noise for data augmentation, we propose an entirely different perspective by directly training on pure random noise images. We present a new Distribution-Aware Routing Batch Normalization layer (DAR-BN), which enables training on pure noise images in addition to natural images within the same network. This encourages generalization and suppresses overfitting. Our proposed method significantly improves imbalanced classification performance, obtaining state-of-the-art results on a large variety of long-tailed image classification datasets (CIFAR-10-LT, CIFAR-100-LT, ImageNet-LT, Places-LT, and CelebA-5). Furthermore, our method is extremely simple and easy to use as a general new augmentation tool (on top of existing augmentations), and can be incorporated in any training scheme. It does not require any specialized data generation or training procedures, thus keeping training fast and efficient.


title: Characterizing Lagrangian particle dynamics in decaying HIT using proper orthogonal decomposition

abstract: The particle proper orthogonal decomposition (PPOD) is demonstrated on cases of particle flows in decaying homogeneous isotropic turbulence. Data is generated through one-way coupled simulations, where particle positions and velocities are integrated forward in time in a Lagrangian manner. The PPOD offers a direct way of extracting statistical information on the dispersed (discrete) phase of multiphase flows without any underlying assumptions. Furthermore, the method gives the possibility of modal analysis of fluid-particle interactions in multiphase flows, an example of which is provided in this work. The results demonstrate a proof of concept of the PPOD, and potential of applicability. Additionally, the results suggest that the PPOD-modes can be used for approximating particle trajectories/velocities within turbulent flows.


title: Ditch the Gold Standard: Re-evaluating Conversational Question Answering

abstract: Conversational question answering aims to provide natural-language answers to users in information-seeking conversations. Existing conversational QA benchmarks compare models with pre-collected human-human conversations, using ground-truth answers provided in conversational history. It remains unclear whether we can rely on this static evaluation for model development and whether current systems can well generalize to real-world human-machine conversations. In this work, we conduct the first large-scale human evaluation of state-of-the-art conversational QA systems, where human evaluators converse with models and judge the correctness of their answers. We find that the distribution of human machine conversations differs drastically from that of human-human conversations, and there is a disagreement between human and gold-history evaluation in terms of model ranking. We further investigate how to improve automatic evaluations, and propose a question rewriting mechanism based on predicted history, which better correlates with human judgments. Finally, we analyze the impact of various modeling strategies and discuss future directions towards building better conversational question answering systems.


title: Point spectrum and hypercyclicity problem for a class of truncated Toeplitz operators

abstract: In this note we discuss an open problem whether a truncated Toeplitz operator on a model space can be hypercyclic. We compute point spectrum and eigenfunctions for a class of truncated Toeplitz operators with polynomial analytic and antianalytic parts. We show that, for a class of model spaces, truncated Toeplitz operators with symbols of the form $\Phi(z) =a \bar{z} +b + cz$, $|a| \ne |c|$, have complete sets of eigenvectors, and, in particular, are not hypercyclic.


title: An Unsupervised Way to Understand Artifact Generating Internal Units in Generative Neural Networks

abstract: Despite significant improvements on the image generation performance of Generative Adversarial Networks (GANs), generations with low visual fidelity still have been observed. As widely used metrics for GANs focus more on the overall performance of the model, evaluation on the quality of individual generations or detection of defective generations is challenging. While recent studies try to detect featuremap units that cause artifacts and evaluate individual samples, these approaches require additional resources such as external networks or a number of training data to approximate the real data manifold. In this work, we propose the concept of local activation, and devise a metric on the local activation to detect artifact generations without additional supervision. We empirically verify that our approach can detect and correct artifact generations from GANs with various datasets. Finally, we discuss a geometrical analysis to partially reveal the relation between the proposed concept and low visual fidelity.


title: Photocontrol of spin scalar chirality in centrosymmetric itinerant magnets

abstract: Noncoplanar magnetic structures, such as magnetic skyrmions, are characterized by spin chirality and usually favored by antisymmetric exchange interactions in noncentrosymmetric magnets. Here, we show that a linearly polarized electric-field pulse stabilizes a nonequilibrium spin scalar chiral state in a centrosymmetric itinerant ferromagnet. The scalar chirality has a nonmonotonic dependence on the electric-field strength, and its sign can be controlled by circular polarization. Furthermore, magnetic skyrmions are excited after the pulse decays. A photoinduced nonthermal electron distribution plays an important role for instability towards the spin scalar chiral state as well as the $120^{\circ}$ N\'eel state, depending on the next-nearest-neighbor transfer integral. These results provide an alternative route to controlling spin chirality by photoirradiation.


title: Deep Hash Distillation for Image Retrieval

abstract: In hash-based image retrieval systems, degraded or transformed inputs usually generate different codes from the original, deteriorating the retrieval accuracy. To mitigate this issue, data augmentation can be applied during training. However, even if augmented samples of an image are similar in real feature space, the quantization can scatter them far away in Hamming space. This results in representation discrepancies that can impede training and degrade performance. In this work, we propose a novel self-distilled hashing scheme to minimize the discrepancy while exploiting the potential of augmented data. By transferring the hash knowledge of the weakly-transformed samples to the strong ones, we make the hash code insensitive to various transformations. We also introduce hash proxy-based similarity learning and binary cross entropy-based quantization loss to provide fine quality hash codes. Ultimately, we construct a deep hashing framework that not only improves the existing deep hashing approaches, but also achieves the state-of-the-art retrieval results. Extensive experiments are conducted and confirm the effectiveness of our work.


title: Search for temporal cell segmentation robustness in phase-contrast microscopy videos

abstract: Studying cell morphology changes in time is critical to understanding cell migration mechanisms. In this work, we present a deep learning-based workflow to segment cancer cells embedded in 3D collagen matrices and imaged with phase-contrast microscopy. Our approach uses transfer learning and recurrent convolutional long-short term memory units to exploit the temporal information from the past and provide a consistent segmentation result. Lastly, we propose a geometrical-characterization approach to studying cancer cell morphology. Our approach provides stable results in time, and it is robust to the different weight initialization or training data sampling. We introduce a new annotated dataset for 2D cell segmentation and tracking, and an open-source implementation to replicate the experiments or adapt them to new image processing problems.


title: Deep Inelastic Scattering in the Dipole Picture at Next-to-Leading Order

abstract: This thesis studies gluon saturation in hadronic matter at high energy by calculating next-to-leading order (NLO) corrections to inclusive and diffractive deep inelastic scattering cross sections in the Color Glass Condensate (CGC) effective field theory. We demonstrate that the large soft gluon logarithm is correctly factorized into the Balitsky-Kovchegov (BK) renormalization group equation by accurately connecting the NLO scattering kinematics to the rapidity scale of the dipole amplitude in the scattering. This brings the perturbative expansion under control and enables us to do precision comparisons between theory and data. We fit the initial condition of the BK evolution equation to HERA inclusive deep inelastic scattering data by combining the NLO accuracy inclusive cross sections with beyond leading order BK evolution prescriptions. This results in the state-of-the-art accuracy comparison between CGC theory and HERA data, and determination of the dipole amplitude initial shape which is a necessary input for all NLO CGC phenomenology. In this introductory part, the effect of the NLO BK equation on the fits is assessed, and an alternative form for the NLO loop correction to the inclusive cross sections is derived which enables the consistent setting of the dipole amplitude rapidity scale in the NLO corrections. Diffraction is studied in this thesis in the CGC formalism, and we calculate the tree-level $q \bar q g$ NLO contribution to the diffractive deep inelastic scattering structure functions where the $q \bar q g$ Fock state scatters off the target and becomes the diffractively produced system. This contribution has previously been known in the literature only in leading $\log(Q^2)$ accuracy valid at large $Q^2$, and only for the structure function $F^D_T$. The $q \bar q g$ contribution to both structure functions $F^D_T$ and $F^D_L$ are presented in full NLO accuracy.


title: Controlling superconductivity of CeIrIn$_5$ microstructures by substrate selection

abstract: Superconductor/metal interfaces are usually fabricated in heterostructures that join these dissimilar materials. A conceptually different approach has recently exploited the strain sensitivity of heavy-fermion superconductors, selectively transforming regions of the crystal into the metallic state by strain gradients. The strain is generated by differential thermal contraction between the sample and the substrate. Here, we present an improved finite-element model that reliably predicts the superconducting transition temperature in CeIrIn$_5$ even in complex structures. Different substrates are employed to tailor the strain field into the desired shapes. Using this approach, both highly complex and strained as well as strain-free microstructures are fabricated to validate the model. This enables full control over the microscopic strain fields, and forms the basis for more advanced structuring of superconductors as in Josephson junctions.


title: BC-system, absolute cyclotomy and the quantized calculus

abstract: We give a short survey on several developments on the BC-system, the adele class space of the rationals, and on the understanding of the "zeta sector" of the latter space as the Scaling Site. The new result that we present concerns the description of the BC-system as the universal Witt ring (i.e. K-theory of endomorphisms) of the "algebraic closure" of the absolute base S. In this way we attain a conceptual meaning of the BC dynamical system at the most basic algebraic level. Furthermore, we define an invariant of Schwartz kernels in 1 dimension and relate the Fourier transform (in 1 dimension) to its role over the algebraic closure of S. We implement this invariant to prove that, when applied to the quantized differential of a function, it provides its Schwarzian derivative. Finally, we survey the roles of the quantized calculus in relation to Weil's positivity, and that of spectral triples in relation to the zeros of the Riemann zeta function.


title: Temperature driven spin-zero effect in TaAs$_2$

abstract: The electrical and thermo-electrical transport effects of the TaAs$_2$ semimetal were measured in a magnetic field applied along [-2 0 1] direction. The resulting field dependences of the resistivity as well as the Hall, Seebeck and Nernst coefficient below T ~ 100 K can be satisfactory described within the two-band model consisting of the electron and hole pockets. At low temperature all the measured effects exhibit significant contribution from quantum oscillations. The fast Fourier transform (FFT) of the oscillatory Nernst signal shows two fundamental frequencies, Fa = 105 T and Fb = 221 T, and the second harmonic of the latter (F2b = 442 T). The ratio between FFT amplitudes of Fb and F2b changes with temperature in an unusual way, indicating that we observe the spin-zero effect caused by temperature change. This is likely related to substantial temperature dependence of the Lande g-factor, which in turn can result from non-parabolic energy dispersion or temperature evolution of the spin-orbit coupling.


title: Discrete- and continuous-time random walks in 1D L\'evy random medium

abstract: A L\'evy random medium, in a given space, is a random point process where the distances between points, a.k.a. targets, are long-tailed. Random walks visiting the targets of a L\'evy random medium have been used to model many (physical, ecological, social) phenomena that exhibit superdiffusion as the result of interactions between an agent and a sparse, complex environment. In this note we consider the simplest non-trivial L\'evy random medium, a sequence of points in the real line with i.i.d. long-tailed distances between consecutive targets. A popular example of a continuous-time random walk in this medium is the so-called L\'evy-Lorentz gas. We give an account of a number of recent theorems on generalizations and variations of such model, in discrete and continuous time.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: Error-Tolerant Geometric Quantum Control for Logical Qubits with Minimal Resource

abstract: Geometric quantum computation offers a practical strategy toward robust quantum computation due to its inherently error tolerance. However, the rigorous geometric conditions lead to complex and/or error-disturbed quantum controls, especially for logical qubits that involve more physical qubits, whose error tolerance is effective in principle though, their experimental demonstration is still demanding. Thus, how to best simplify the needed control and manifest its full advantage has become the key to widespread applications of geometric quantum computation. Here we propose a new fast and robust geometric scheme, with the decoherence-free-subspace encoding, and present its physical implementation on superconducting quantum circuits, where we only utilize the experimentally demonstrated parametrically tunable coupling to achieve high-fidelity geometric control over logical qubits. Numerical simulation verifies that it can efficiently combine the error tolerance from both the geometric phase and logical-qubit encoding, displaying our gate-performance superiority over the conventional dynamical one without encoding, in terms of both gate fidelity and robustness. Therefore, our scheme can consolidate both error suppression methods for logical-qubit control, which sheds light on the future large-scale quantum computation.


title: Topological Random Fractals

abstract: We introduce the notion of topological electronic states on random lattices in non-integer dimensions. By considering a class $D$ model on critical percolation clusters embedded in two dimensions, we demonstrate that these topological random fractals exhibit a robust mobility gap, support quantized conductance and represent a well-defined thermodynamic phase of matter. The finite-size scaling analysis further suggests that the critical properties are not consistent with the class $D$ systems in two dimensions. Our results establish topological random fractals as the most complex systems known to support nontrivial band topology with their distinct unique properties.


title: On cyclically 4-connected cubic graphs

abstract: For $k \ge 4$, let $Q_{2k}$ and $V_{2k}$ denote the ladder and M\"obius ladder on $2k$ vertices, respectively. We prove results that build on a result by Wormald that states that any cyclically $4$-connected cubic graph other than $Q_8$ or $V_8$ is obtained from a smaller cyclically $4$-connected cubic graph by bridging a pair of non-adjacent edges. We introduce the concept of cycle spread, which generalizes the edge pair distance defined by Wormald, and show that the set of pairs of edges that needs to be considered in order to obtain all cyclically $4$-connected cubic graphs is smaller than the set of all pairs of non-adjacent edges. We prove that all non-planar cyclically $4$-connected cubic graphs with at least $10$ vertices, other than the M\"obius ladders and the Petersen graph, are obtained from $Q_8$ by bridging pairs of edges with cycle spread at least $(1,2)$. Moreover every graph obtained in this way is non-planar, cyclically $4$-connected, and cubic. All planar cyclically $4$-connected cubic graphs with at least $10$ vertices except for the ladders are obtained from the ladders by bridging pairs of edges with cycle spread at least $(1,2)$. We implemented an algorithm based on these results using McKay's nauty system for isomorphism checking.


title: A case study on parametric verification of failure detectors

abstract: Partial synchrony is a model of computation in many distributed algorithms and modern blockchains. These algorithms are typically parameterized in the number of participants, and their correctness requires the existence of bounds on message delays and on the relative speed of processes after reaching Global Stabilization Time. These characteristics make partially synchronous algorithms parameterized in the number of processes, and parametric in time bounds, which render automated verification of partially synchronous algorithms challenging. In this paper, we present a case study on formal verification of both safety and liveness of the Chandra and Toueg failure detector that is based on partial synchrony. To this end, we first introduce and formalize the class of symmetric point-to-point algorithms that contains the failure detector. Second, we show that these symmetric point-to-point algorithms have a cutoff, and the cutoff results hold in three models of computation: synchrony, asynchrony, and partial synchrony. As a result, one can verify them by model checking small instances, but the verification problem stays parametric in time. Next, we specify the failure detector and the partial synchrony assumptions in three frameworks: TLA+, IVy, and counter automata. Importantly, we tune our modeling to use the strength of each method: (1) We are using counters to encode message buffers with counter automata, (2) we are using first-order relations to encode message buffers in IVy, and (3) we are using both approaches in TLA+. By running the tools for TLA+ and counter automata, we demonstrate safety for fixed time bounds. By running IVy, we prove safety for arbitrary time bounds. Moreover, we show how to verify liveness of the failure detector by reducing the verification problem to safety verification. Thus, both properties are verified by developing inductive invariants with IVy.


title: Distributed event-triggered flocking control of Lagrangian systems

abstract: In this paper, an event-triggered control protocol is developed to investigate flocking control of Lagrangian systems, where event-triggering conditions are proposed to determine when the velocities of the agents are transmitted to their neighbours. In particular, the proposed controller is distributed, since it only depends on the available information of each agent on their own reference frame. In addition, we derive sufficient conditions to avoid Zeno behaviour. Numerical simulations are provided to show the effectiveness of the proposed control law.


title: Enveloping algebras of Krichever-Novikov algebras are not noetherian

abstract: This work is part of the overarching question of whether it is possible for the universal enveloping algebra of an infinite-dimensional Lie algebra to be noetherian. The main result of this paper is that the universal enveloping algebra of any Krichever-Novikov algebra is not noetherian, extending a result of Sierra and Walton on the Witt (or classical Krichever-Novikov) algebra. As a subsidiary result, which may be of independent interest, we show that if $\mathfrak{h}$ is a Lie subalgebra of $\mathfrak{g}$ of finite codimension, then the noetherianity of $U(\mathfrak{h})$ is equivalent to the noetherianity of $U(\mathfrak{g})$. The second part of the paper focuses on Lie subalgebras of $W_{\geq -1} = \operatorname{Der}(\Bbbk[t])$. In particular, we prove that certain subalgebras of $W_{\geq -1}$ (denoted by $L(f)$, where $f \in \Bbbk[t]$) have non-noetherian universal enveloping algebras, and provide a sufficient condition for a subalgebra of $W_{\geq -1}$ to have a non-noetherian universal enveloping algebra. Furthermore, we make significant progress on a classification of subalgebras of $W_{\geq -1}$ by showing that any infinite-dimensional subalgebra must be contained in some $L(f)$ in a canonical way.


title: Algebraic logoi

abstract: We introduce normal cores, as well as the more general action cores, in the context of a semi-abelian category, and further generalise those to split extension cores in the context of a homological category. We prove that, if the category is moreover well-powered with (small) joins, then the existence of split extension cores is equivalent to the condition that the change-of-base functors in the fibration of points are geometric. We call a finitely complete category that satisfies this condition an algebraic logos. We give examples of such categories, compare them with algebraically coherent ones, and study equivalent conditions as well as stability under common categorical operations.


title: Graph-wise Common Latent Factor Extraction for Unsupervised Graph Representation Learning

abstract: Unsupervised graph-level representation learning plays a crucial role in a variety of tasks such as molecular property prediction and community analysis, especially when data annotation is expensive. Currently, most of the best-performing graph embedding methods are based on Infomax principle. The performance of these methods highly depends on the selection of negative samples and hurt the performance, if the samples were not carefully selected. Inter-graph similarity-based methods also suffer if the selected set of graphs for similarity matching is low in quality. To address this, we focus only on utilizing the current input graph for embedding learning. We are motivated by an observation from real-world graph generation processes where the graphs are formed based on one or more global factors which are common to all elements of the graph (e.g., topic of a discussion thread, solubility level of a molecule). We hypothesize extracting these common factors could be highly beneficial. Hence, this work proposes a new principle for unsupervised graph representation learning: Graph-wise Common latent Factor EXtraction (GCFX). We further propose a deep model for GCFX, deepGCFX, based on the idea of reversing the above-mentioned graph generation process which could explicitly extract common latent factors from an input graph and achieve improved results on downstream tasks to the current state-of-the-art. Through extensive experiments and analysis, we demonstrate that, while extracting common latent factors is beneficial for graph-level tasks to alleviate distractions caused by local variations of individual nodes or local neighbourhoods, it also benefits node-level tasks by enabling long-range node dependencies, especially for disassortative graphs.


title: Bridging between Cognitive Processing Signals and Linguistic Features via a Unified Attentional Network

abstract: Cognitive processing signals can be used to improve natural language processing (NLP) tasks. However, it is not clear how these signals correlate with linguistic information. Bridging between human language processing and linguistic features has been widely studied in neurolinguistics, usually via single-variable controlled experiments with highly-controlled stimuli. Such methods not only compromises the authenticity of natural reading, but also are time-consuming and expensive. In this paper, we propose a data-driven method to investigate the relationship between cognitive processing signals and linguistic features. Specifically, we present a unified attentional framework that is composed of embedding, attention, encoding and predicting layers to selectively map cognitive processing signals to linguistic features. We define the mapping procedure as a bridging task and develop 12 bridging tasks for lexical, syntactic and semantic features. The proposed framework only requires cognitive processing signals recorded under natural reading as inputs, and can be used to detect a wide range of linguistic features with a single cognitive dataset. Observations from experiment results resonate with previous neuroscience findings. In addition to this, our experiments also reveal a number of interesting findings, such as the correlation between contextual eye-tracking features and tense of sentence.


title: Dynamic capital allocation rules via BSDEs: an axiomatic approach

abstract: In this paper, we study capital allocation for dynamic risk measures, with an axiomatic approach but also by exploiting the relation between risk measures and BSDEs. Although there is a wide literature on capital allocation rules in a static setting and on dynamic risk measures, only a few recent papers on capital allocation work in a dynamic setting and, moreover, those papers mainly focus on the gradient approach. To fill this gap, we then discuss new perspectives to the capital allocation problem going beyond those already existing in the literature. In particular, we introduce and investigate a general axiomatic approach to dynamic capital allocations as well as an approach suitable for risk measures induced by g-expectations under weaker assumptions than Gateaux differentiability.


title: Two-color grating magneto-optical trap for narrow-line laser cooling

abstract: We demonstrate for the first time the two-color cooling and trapping of alkaline-earth atoms in a grating magneto-optical trap (gMOT). The trap is formed by a single incident laser beam together with four secondary beams that are generated via diffraction from a nanostructured wafer. A grating structure for a gMOT operating with strontium atoms is optimized and fabricated. We trap $10^6$ $^{88}$Sr atoms on the $^1$S$_0$ $\rightarrow$ $^1$P$_1$ transition at $461\;\mathrm{nm}$ and transfer $25\;\%$ of these atoms to the second cooling stage on the narrower $^1$S$_0$ $\rightarrow$ $^3$P$_1$ intercombination transition at $689\;\mathrm{nm}$, preparing a sample of $2.5\times 10^5$ atoms at $5\;\mu$K. These results demonstrate for the first time the applicability of the gMOT technology in conjunction with two widely differing wavelengths and enable the continued miniaturization of alkaline-earth based quantum technologies like optical atomic clocks.


title: Overview of the Mini-EUSO $\mu$s trigger logic performance

abstract: Mini-EUSO is the first detector of the JEM-EUSO program deployed on the ISS. It is a wide field of view telescope currently operating from a nadir-facing UV-transparent window on the ISS. It is based on an array of MAPMTs working in photon counting mode with a 2.5 $\mu$s time resolution. Among the different scientific objectives it searches for light signals with time duration compatible to those expected from Extensive Air Showers (EAS) generated by EECRs interacting in the atmosphere. Although the energy threshold for cosmic ray showers is above $E>10^{21}$ eV, due the constraints given by the size of the UV-transparent window, the dedicated trigger logic has been capable of the detection of other interesting classes of events, like elves and ground flashers. An overview of the general performance of the trigger system is provided, with a particular focus on the identification of classes of events responsible for the triggers.


title: Self-supervised Enhancement of Latent Discovery in GANs

abstract: Several methods for discovering interpretable directions in the latent space of pre-trained GANs have been proposed. Latent semantics discovered by unsupervised methods are relatively less disentangled than supervised methods since they do not use pre-trained attribute classifiers. We propose Scale Ranking Estimator (SRE), which is trained using self-supervision. SRE enhances the disentanglement in directions obtained by existing unsupervised disentanglement techniques. These directions are updated to preserve the ordering of variation within each direction in latent space. Qualitative and quantitative evaluation of the discovered directions demonstrates that our proposed method significantly improves disentanglement in various datasets. We also show that the learned SRE can be used to perform Attribute-based image retrieval task without further training.


title: Imbalanced Sample Generation and Evaluation for Power System Transient Stability Using CTGAN

abstract: Although deep learning has achieved impressive advances in transient stability assessment of power systems, the insufficient and imbalanced samples still trap the training effect of the data-driven methods. This paper proposes a controllable sample generation framework based on Conditional Tabular Generative Adversarial Network (CTGAN) to generate specified transient stability samples. To fit the complex feature distribution of the transient stability samples, the proposed framework firstly models the samples as tabular data and uses Gaussian mixture models to normalize the tabular data. Then we transform multiple conditions into a single conditional vector to enable multi-conditional generation. Furthermore, this paper introduces three evaluation metrics to verify the quality of generated samples based on the proposed framework. Experimental results on the IEEE 39-bus system show that the proposed framework effectively balances the transient stability samples and significantly improves the performance of transient stability assessment models.


title: Improving Unsupervised Stain-To-Stain Translation using Self-Supervision and Meta-Learning

abstract: In digital pathology, many image analysis tasks are challenged by the need for large and time-consuming manual data annotations to cope with various sources of variability in the image domain. Unsupervised domain adaptation based on image-to-image translation is gaining importance in this field by addressing variabilities without the manual overhead. Here, we tackle the variation of different histological stains by unsupervised stain-to-stain translation to enable a stain-independent applicability of a deep learning segmentation model. We use CycleGANs for stain-to-stain translation in kidney histopathology, and propose two novel approaches to improve translational effectivity. First, we integrate a prior segmentation network into the CycleGAN for a self-supervised, application-oriented optimization of translation through semantic guidance, and second, we incorporate extra channels to the translation output to implicitly separate artificial meta-information otherwise encoded for tackling underdetermined reconstructions. The latter showed partially superior performances to the unmodified CycleGAN, but the former performed best in all stains providing instance-level Dice scores ranging between 78% and 92% for most kidney structures, such as glomeruli, tubules, and veins. However, CycleGANs showed only limited performance in the translation of other structures, e.g. arteries. Our study also found somewhat lower performance for all structures in all stains when compared to segmentation in the original stain. Our study suggests that with current unsupervised technologies, it seems unlikely to produce generally applicable simulated stains.


title: A dynamic intermediate state limits the folding rate of a discontinuous two-domain protein

abstract: Protein folding is an indispensable process for the majority of proteins after their synthesis from ribosomes in the cell. Most in vitro protein folding studies have focused on single-domain proteins. Hence, it is important to understand the folding process of multi-domain proteins, especially when domains are discontinuous. We choose the Maltose binding protein (MBP) as a model system. In particular, we studied a mutant of MBP that folds slowly. Here, using two- and three-color single-molecule Foerster resonance energy transfer (smFRET) experiments, we study the refolding of both the domains and the interaction between the domains of DM-MBP. Initial two-color smFRET measurements of the N-terminal domain (NTD) reveal the presence of a folding intermediate. The same folding intermediate is observed in measurements monitoring the C- terminal domain (CTD) and the NTD-CTD (N-C) interface. The refolding intermediate is dynamic on the sub-millisecond timescale. Quantitative analysis on underlying dynamic interconversions revealed a delay in NTD folding imposed by the entropic barrier being the primary cause for slow DM-MBP folding. Moreover, CTD folds after NTD completes the folding. Using three-color smFRET, we could show the NTD folds first and CTD later in a same protein. Molecular dynamic simulations for temperature-induced unfolding on WT- and DM-MBP identify a folding nucleus in the NTD, which is rich in hydrophobic residues, and explains why the two mutations slow down the folding kinetics. In the presence of the bacterial Hsp60 chaperonin system GroEL/ES, we observe that DM-MBP is dynamic within the chaperonin cavity but the chaperonin limits the conformational space of substrate. Hence, confinement aids DM-MBP in overcoming the entropic barrier. The study reports on the subtle tuning and co-dependency for protein folding between two-domains with a discontinuous arrangement.


title: Topology optimization with a closed cavity exclusion constraint for additive manufacturing based on the fictitious physical model approach

abstract: This paper proposes a topology optimization method that considers the geometric constraint of no closed cavities to improve the effectiveness of additive manufacturing based on the fictitious physical model approach. First, the basic topology optimization concept and level set-based method are introduced. Next, the fictitious physical model for a geometric constraint in the topology optimization framework is discussed. Then, a model for the geometric constraint of no closed cavities for additive manufacturing is proposed. Numerical examples are provided to validate the proposed model. In addition, topology optimization considering the geometric constraint is formulated, and topology optimization algorithms are constructed using the finite element method. Finally, optimization examples are provided to validate the proposed topology optimization method.


title: How to estimate heritability, a guide for epidemiologists

abstract: Traditionally, heritability has been estimated using family-based methods such as twin studies. Advancements in molecular genomics have facilitated the development of alternative methods that utilise large samples of unrelated or related individuals. Yet, specific challenges persist in the estimation of heritability such as epistasis, assortative mating and indirect genetic effects. Here, we provide an overview of common methods applied in genetic epidemiology to estimate heritability i.e., the proportion of phenotypic variation explained by genetic variation. We provide a guide to key genetic concepts required to understand heritability estimation methods from family-based designs (twin and family studies), genomic designs based on unrelated individuals (LD score regression, GREML), and family-based genomic designs (Sibling regression, GREML-KIN, Trio-GCTA, MGCTA, RDR). For each method, we describe how heritability is estimated, the assumptions underlying its estimation, and discuss the implications when these assumptions are not met. We further discuss the benefits and limitations of estimating heritability within samples of unrelated individuals compared to samples of related individuals. Overall, this article is intended to help the reader determine the circumstances when each method would be appropriate and why.


title: A CNN based method for Sub-pixel Urban Land Cover Classification using Landsat-5 TM and Resourcesat-1 LISS-IV Imagery

abstract: Time series data of urban land cover is of great utility in analyzing urban growth patterns, changes in distribution of impervious surface and vegetation and resulting impacts on urban micro climate. While Landsat data is ideal for such analysis due to the long time series of free imagery, traditional per-pixel hard classification fails to yield full potential of the Landsat data. This paper proposes a sub-pixel classification method that leverages the temporal overlap of Landsat-5 TM and Resourcesat-1 LISS-IV sensors. We train a convolutional neural network to predict fractional land cover maps from 30m Landsat-5 TM data. The reference land cover fractions are estimated from a hard-classified 5.8m LISS-IV image for Bengaluru from 2011. Further, we demonstrate the generalizability and superior performance of the proposed model using data for Mumbai from 2009 and comparing it to the results obtained using a Random Forest classifier. For both Bengaluru (2011) and Mumbai (2009) data, Mean Absolute Percentage Error of our CNN model is in the range of 7.2 to 11.3 for both built-up and vegetation fraction prediction at the 30m cell level. Unlike most recent studies where validation is conducted using data for a limited spatial extent, our model has been trained and validated using data for the complete spatial extent of two mega cities for two different time periods. Hence it can reliably generate 30m built-up and vegetation fraction maps from Landsat-5 TM time series data to analyze long term urban growth patterns.


title: Ubiq: A System to Build Flexible Social Virtual Reality Experiences

abstract: While they have long been a subject of academic study, social virtual reality (SVR) systems are now attracting increasingly large audiences on current consumer virtual reality systems. The design space of SVR systems is very large, and relatively little is known about how these systems should be constructed in order to be usable and efficient. In this paper we present Ubiq, a toolkit that focuses on facilitating the construction of SVR systems. We argue for the design strategy of Ubiq and its scope. Ubiq is built on the Unity platform. It provides core functionality of many SVR systems such as connection management, voice, avatars, etc. However, its design remains easy to extend. We demonstrate examples built on Ubiq and how it has been successfully used in classroom teaching. Ubiq is open source (Apache License) and thus enables several use cases that commercial systems cannot.


title: Terahertz Frequency Domain Sensing for Fast Porosity Measurement of Pharmaceutical Tablets

abstract: Porosity is an important property of pharmaceutical tablets since it may affect tablet disintegration, dissolution, and bio-availability. It is, therefore, essential to establish non-destructive, fast, and compact techniques to assess porosity, in-situ, during the manufacturing process. In this paper, the terahertz frequency-domain (THz-FD) technique was explored as a fast, non-destructive, and sensitive technique for porosity measurement of pharmaceutical tablets. We studied a sample set of 69 tablets with different design factors, such as particle size of the active pharmaceutical ingredient (API), Ibuprofen, particle size of the filler, Mannitol, API concentration, and compaction force. The signal transmitted through each tablet was measured across the frequency range 500-750 GHz using a vector network analyzer combined with a quasi-optical set-up consisting of four off-axis parabolic mirrors to guide and focus the beam. We first extracted the effective refractive index of each tablet from the measured complex transmission coefficients and then translated it to porosity, using an empirical linear relation between effective refractive index and tablet density. The results show that the THz-FD technique was highly sensitive to the variations of the design factors, showing that filler particle size and compaction force had a significant impact on the effective refractive index of the tablets and, consequently, porosity. Moreover, the fragmentation behaviour of particles was observed by THz porosity measurements and was verified with scanning electron microscopy of the cross-section of tablets. In conclusion, the THz-FD technique, based on electronic solutions, allows for fast, sensitive, and non-destructive porosity measurement that opens for compact instrument systems capable of in-situ sensing in tablet manufacturing.


title: Adapting Document-Grounded Dialog Systems to Spoken Conversations using Data Augmentation and a Noisy Channel Model

abstract: This paper summarizes our submission to Task 2 of the second track of the 10th Dialog System Technology Challenge (DSTC10) "Knowledge-grounded Task-oriented Dialogue Modeling on Spoken Conversations". Similar to the previous year's iteration, the task consists of three subtasks: detecting whether a turn is knowledge seeking, selecting the relevant knowledge document and finally generating a grounded response. This year, the focus lies on adapting the system to noisy ASR transcripts. We explore different approaches to make the models more robust to this type of input and to adapt the generated responses to the style of spoken conversations. For the latter, we get the best results with a noisy channel model that additionally reduces the number of short and generic responses. Our best system achieved the 1st rank in the automatic and the 3rd rank in the human evaluation of the challenge.


title: Multiple Instance Learning for Brain Tumor Detection from Magnetic Resonance Spectroscopy Data

abstract: We apply deep learning (DL) on Magnetic resonance spectroscopy (MRS) data for the task of brain tumor detection. Medical applications often suffer from data scarcity and corruption by noise. Both of these problems are prominent in our data set. Furthermore, a varying number of spectra are available for the different patients. We address these issues by considering the task as a multiple instance learning (MIL) problem. Specifically, we aggregate multiple spectra from the same patient into a "bag" for classification and apply data augmentation techniques. To achieve the permutation invariance during the process of bagging, we proposed two approaches: (1) to apply min-, max-, and average-pooling on the features of all samples in one bag and (2) to apply an attention mechanism. We tested these two approaches on multiple neural network architectures. We demonstrate that classification performance is significantly improved when training on multiple instances rather than single spectra. We propose a simple oversampling data augmentation method and show that it could further improve the performance. Finally, we demonstrate that our proposed model outperforms manual classification by neuroradiologists according to most performance metrics.


title: Half-Harmonic Gradient Flow: Aspects of a Non-Local Geometric PDE

abstract: The goal of this paper is to discuss some of the results in [31] and [32] and expand upon the work there by proving a global weak existence result as well as a first bubbling analysis in finite time. In addition, an alternative local existence proof is presented based on a fixed-point argument. This leads to two possible outlooks until a conjecture by Sire, Wei and Zheng is settled, see [27]: Either there always exists a global smooth solution (thus the solution constructed here is actually as regular as desired) or finite-time bubbling may occur in a similar way as for the harmonic gradient flow. In addition, in this paper, we give a brief summary of gradient flows, in particular the harmonic and half-harmonic one and we draw similarities between the two cases. For clarity, we restrict to the case of spherical target manifolds, but our entire discussion extends after taking care of technical details to arbitrary closed target manifolds.


title: Nonlinear semigroups for nonlocal conservation laws

abstract: We investigate a class of nonlocal conservation laws in several space dimensions, where the continuum average of weighted nonlocal interactions are considered over a finite horizon. We establish well-posedness for a broad class of flux functions and initial data via semigroup theory in Banach spaces and, in particular, via the celebrated Crandall-Liggett Theorem. We also show that the unique mild solution satisfies a Kru\v{z}kov-type nonlocal entropy inequality. Similarly to the local case, we demonstrate an efficient way of proving various desirable qualitative properties of the unique solution.


title: The explicit characterization of counterion dynamics around a flexible polyelectrolyte

abstract: The article presents a comprehensive study of counterion dynamics around a generic linear polyelectrolyte (PE) chain with the help of coarse-grained computer simulations. The ion-chain coupling is discussed in the form of binding time, mean-square-displacement (MSD) relative to the chain, local ion transport coefficient, and spatio-temporal correlations in the effective charge. We have shown that a counterion exhibits sub-diffusive behavior $\langle \delta R^2 \rangle \sim t^\delta$, $\delta\approx0.9$ w.r.t. chain's centre of mass (COM). The MSD of ions perpendicularly outwards from the chain segment exhibits a smaller sub-diffusive exponent compared to the one relative to the chain's COM. Further, we confirm that the effective diffusion-coefficient of counterions is strongly coupled with the chain. The effective diffusivity of ion is the lowest in chain's close proximity, extending up to length-scale of the radius of gyration Rg. Beyond Rg at larger distances, they attain diffusivity of free ion with a smooth cross-over from the adsorbed regime to the free ion regime. We have shown that the effective diffusivity drastically decreases for the higher valent ions, while the crossover length scale remains the same. Conversely, with increasing salt concentration the coupling-length scale reduces, while the diffusivity remains unaltered. The effective diffusivity of adsorbed-ion reveals an exponential reduction with electrostatic interaction strength. We further corroborate this from the binding time of ions on the chain, which also grows exponentially with the coupling strength of the ion-polymer duo. Moreover, the binding time of ions exhibits a weak dependence with salt concentration for the monovalent salt, while for higher valent salts the binding time decreases dramatically with concentration.


title: Joint Waveform and Filter Designs for STAP-SLP-based MIMO-DFRC Systems

abstract: Dual-function radar-communication (DFRC), which can simultaneously perform both radar and communication functionalities using the same hardware platform, spectral resource and transmit waveform, is a promising technique for realizing integrated sensing and communication (ISAC). Spacetime adaptive processing (STAP) in multi-antenna radar systems is the primary tool for detecting moving targets in the presence of strong clutter. The idea of joint spatial-temporal optimization in STAP-based radar systems is consistent with the concept of symbol-level precoding (SLP) for multi-input multi-output (MIMO) communications, which optimizes the transmit waveform for each of the transmitted symbols. In this paper, we combine STAP and SLP and propose a novel STAP-SLP-based DFRC system that enjoys the advantages of both techniques. The radar output signal-to-interference-plus-noise ratio (SINR) is maximized by jointly optimizing the transmit waveform and receive filter, while satisfying the communication quality-of-service (QoS) constraint and various waveform constraints including constant-modulus, similarity and peak-to-average power ratio (PAPR). An efficient algorithm framework based on majorization-minimization (MM) and nonlinear equality constrained alternative direction method of multipliers (neADMM) methods is proposed to solve these complicated non-convex optimization problems. Simulation results verify the effectiveness of the proposed STAP-SLP-based MIMO-DRFC scheme and the associate algorithms.


title: Counterflow dynamics of two correlated impurities immersed in a bosonic gas

abstract: The counterflow dynamics of two correlated impurities in a double-well coupled to an one-dimensional bosonic medium is explored. We determine the ground state phase diagram of the system according to the impurity-medium entanglement and the impurities two-body correlations. Specifically, bound impurity structures reminiscent of bipolarons for strong attractive couplings as well as configurations with two clustered or separated impurities in the repulsive case are identified. The interval of existence of these phases depends strongly on the impurity-impurity interactions and external confinement of the medium. Accordingly the impurities dynamical response, triggered by suddenly ramping down the central potential barrier, is affected by the medium's trapping geometry. In particular, for a box-confined medium repulsive impurity-medium couplings lead, due to attractive induced interactions, to the localization of the impurities around the trap center. In contrast, for a harmonically trapped medium the impurities perform a periodic collision and expansion dynamics further interpreted in terms of a two-body effective model. Our findings elucidate the correlation aspects of the collisional physics of impurities which should be accessible in recent cold atom experiments.


title: Classification Under Ambiguity: When Is Average-K Better Than Top-K?

abstract: When many labels are possible, choosing a single one can lead to low precision. A common alternative, referred to as top-$K$ classification, is to choose some number $K$ (commonly around 5) and to return the $K$ labels with the highest scores. Unfortunately, for unambiguous cases, $K>1$ is too many and, for very ambiguous cases, $K \leq 5$ (for example) can be too small. An alternative sensible strategy is to use an adaptive approach in which the number of labels returned varies as a function of the computed ambiguity, but must average to some particular $K$ over all the samples. We denote this alternative average-$K$ classification. This paper formally characterizes the ambiguity profile when average-$K$ classification can achieve a lower error rate than a fixed top-$K$ classification. Moreover, it provides natural estimation procedures for both the fixed-size and the adaptive classifier and proves their consistency. Finally, it reports experiments on real-world image data sets revealing the benefit of average-$K$ classification over top-$K$ in practice. Overall, when the ambiguity is known precisely, average-$K$ is never worse than top-$K$, and, in our experiments, when it is estimated, this also holds.


title: Nearly equal distances in the plane, II

abstract: Let $\{p_1, \ldots , p_n \} \subset {\Bbb{R}}^2$ be a separated point set, i.e., any two points have a distance at least $1$. Let $k \ge 1$ be an integer, and $1 \le t_1 < \ldots < t_k$ be real numbers. Let $\delta > 0$. Suppose for all $1 \le \ell (1) \le \ell (2) < \ell (3) \le k$ that $|t_{\ell (3)} / (t_{\ell (1)} + t_{\ell (2)}) - 1| \ge \delta $. Then for $n \ge n_{k, \delta }$, the number of pairs $\{ p_i,p_j\} $, for which $d(p_i,p_j) \in [t_1, t_1 + 1] \cup \ldots \cup [t_k, t_k + 1] $, is at most $n^2/4 + C_{k,\delta }n$. This is sharp, up to the value of the constant $C_{k,\delta } > 0$.


title: Cosmological imprints of non-thermalized dark matter

abstract: Non-thermalized dark matter is a cosmologically viable alternative to the widely studied weakly interacting massive particle. We study the evolution of the dark matter phase-space distributions arising from freeze-in and superWIMP production as well as the combination of both. Utilizing our implementation in CLASS, we investigate the cosmological imprints on the matter power spectrum, constrained by Lyman-$\alpha$ forest observations. For the explicit example of a colored $t$-channel mediator model, we explore the cosmologically allowed parameter space highlighting the interplay of Lyman-$\alpha$ constraints with those from Big Bang Nucleosynthesis and the LHC.


title: Multi-Camera LiDAR Inertial Extension to the Newer College Dataset

abstract: We present a multi-camera LiDAR inertial dataset of 4.5 km walking distance as an expansion of the Newer College Dataset. The global shutter multi-camera device is hardware synchronized with both the IMU and LiDAR, which is more accurate than the original dataset with software synchronization. This dataset also provides six Degrees of Freedom (DoF) ground truth poses at LiDAR frequency (10 Hz). Three data collections are described and an example use case of multi-camera visual-inertial odometry is demonstrated. This expansion dataset contains small and narrow passages, large scale open spaces, as well as vegetated areas, to test localization and mapping systems. Furthermore, some sequences present challenging situations such as abrupt lighting change, textureless surfaces, and aggressive motion. The dataset is available at: https://ori-drs.github. io/newer-college-dataset/


title: A Multi-band Solution for Interacting with Energy-Neutral Devices

abstract: RF Wireless Power Transfer (WPT) emerges as a technology for charging autonomous devices, enabling simultaneous power and information transfer. However, with increasing distance, single-input, single-channel rectenna systems are not able to meet the power requirements of large scale IoT applications. In this paper, we tackle this problem on two levels. First, we minimize the energy consumption at the energy-constrained device on three levels. Second, we evolve to a dual-band solution increasing RF WPT. One frequency band is used to provide a base charge to many nodes in a shared transmission. Beam steering, on the other hand, allows for more power hungry operations while introducing as minimal interference as possible. We showcase this method for a hybrid RF-acoustic positioning system. Practical measurements conducted in a multi-antenna indoor testbed (Techtile) show the additional power gain and positioning rate.


title: The eigenvalue problem for the regional fractional Laplacian in the small order limit

abstract: In this note, we study the asymptotic behavior of eigenvalues and eigenfunctions of the regional fractional Laplacian $(-\Delta)^s$ as $ s \to 0^+$. Our analysis leads to a study of the regional logarithmic Laplacian, which arises as a formal derivative of regional fractional Laplacians at $s = 0$.