title: Isometry-Dual Flags of Many-Point AG Codes

abstract: Let $F_q$ be a finite field. A flag of $F_q$-linear codes $C_0\subsetneq C_1\subsetneq\dots\subsetneq C_s$ is said to satisfy the isometry-dual property if there exists a vector $x\in(F_q^*)^n$ such that $C_i=x\cdot C_{s-i}^\perp$, where $C_i^\perp$ denotes the dual code of $C_i$. Consider $F/F_q$ a function field and let $P$ and $Q_1,\ldots,Q_t$ be rational places of $F$. Let the divisor $D$ be the sum of pairwise different places of $F$ such that $P, Q_1,\dots,Q_t$ are not in $supp(D)$. In a previous work we investigated the existence of flags of two-point codes $C(D,a_0P+bQ_1)\subsetneq C(D,a_1P+bQ_1))\subsetneq\dots\subsetneq C(D,a_sP+bQ_1)$ satisfying the isometry-dual property for a non-negative integer $b$ and an increasing sequence of positive integers $a_0,\dots,a_s$. While for one-point codes (i.e. for $b=0$) there is only need to analyze positive integers $a$, for the case of $(t+1)$-point codes, the integers $a$ may be negative. We extend our previous results in different directions. On one hand to the case of negative integers $a$ and $b$, and on the other hand we extend our results to flags of $(t+1)$-point codes $C(D,a_0P+\sum_{i=1}^t\beta_iQ_i)\subsetneq C(D, a_1P+\sum_{i=1}^t\beta_iQ_i))\subsetneq\dots\subsetneq C(D, a_sP+\sum_{i=1}^t\beta_iQ_i)$ for any tuple of (either positive or negative) integers $\beta_1,\dots,\beta_t$ and for an increasing sequence of (either positive or negative) integers $a_0,\dots,a_s$. We apply the obtained results to the broad class of Kummer extensions defined by affine equations of the form $y^m=f(x)$, for $f(x)$ a separable polynomial of degree $r$, where $gcd(r, m)=1$. In particular, depending on the place $P$ and for $D$ an $Aut(F_q(x, y)/F_q(x))$-invariant sum of rational places of $F$ such that $P,Q_i\notin supp(D)$, we obtain necessary and sufficient conditions on $m$ and $\beta_i$'s such that the flag has the isometry-dual property.


title: MiDeCon: Unsupervised and Accurate Fingerprint and Minutia Quality Assessment based on Minutia Detection Confidence

abstract: An essential factor to achieve high accuracies in fingerprint recognition systems is the quality of its samples. Previous works mainly proposed supervised solutions based on image properties that neglects the minutiae extraction process, despite that most fingerprint recognition techniques are based on detected minutiae. Consequently, a fingerprint image might be assigned a high quality even if the utilized minutia extractor produces unreliable information. In this work, we propose a novel concept of assessing minutia and fingerprint quality based on minutia detection confidence (MiDeCon). MiDeCon can be applied to an arbitrary deep learning based minutia extractor and does not require quality labels for learning. We propose using the detection reliability of the extracted minutia as its quality indicator. By combining the highest minutia qualities, MiDeCon also accurately determines the quality of a full fingerprint. Experiments are conducted on the publicly available databases of the FVC 2006 and compared against several baselines, such as NIST's widely-used fingerprint image quality software NFIQ1 and NFIQ2. The results demonstrate a significantly stronger quality assessment performance of the proposed MiDeCon-qualities as related works on both, minutia- and fingerprint-level. The implementation is publicly available.


title: Splittings and robustness for the Heine-Borel theorem

abstract: The Heine-Borel theorem for uncountable coverings has recently emerged as an interesting and central principle in higher-order Reverse Mathematics and computability theory, formulated as follows: HBU is the Heine-Borel theorem for uncountable coverings given as $\cup_{x\in [0,1]}(x-\Psi(x), x+\Psi(x))$ for arbitrary $\Psi:[0,1]\rightarrow \mathbb{R}^{+}$, i.e. the original formulation going back to Cousin (1895) and Lindel\"of (1903). In this paper, we show that HBU is equivalent to its restriction to functions continuous almost everywhere, an elegant robustness result. We also obtain a nice splitting HBU $\leftrightarrow$ [WHBU$^{+}$+HBC$_{0}$ + WKL$_0]$ where WHBU$^{+}$ is a strengthening of Vitali's covering theorem and where HBC$_{0}$ is the Heine-Borel theorem for countable collections (and \textbf{not sequences}) of basic open intervals, as formulated by Borel himself in 1898.


title: Strong alignment of prolate ellipsoids in Taylor-Couette flow

abstract: We report on the mobility and orientation of finite-size, neutrally buoyant prolate ellipsoids (of aspect ratio $\Lambda=4$) in Taylor-Couette flow, using interface resolved numerical simulations. The setup consists of a particle-laden flow in between a rotating inner and a stationary outer cylinder. We simulate two particle sizes $\ell/d=0.1$ and $\ell/d=0.2$, $\ell$ denoting the particle major axis and $d$ the gap-width between the cylinders. The volume fractions are $0.01\%$ and $0.07\%$, respectively. The particles, which are initially randomly positioned, ultimately display characteristic spatial distributions which can be categorised into four modes. Modes $(i)$ to $(iii)$ are observed in the Taylor vortex flow regime, while mode ($iv$) encompasses both the wavy vortex, and turbulent Taylor vortex flow regimes. Mode $(i)$ corresponds to stable orbits away from the vortex cores. Remarkably, in a narrow $\textit{Ta}$ range, particles get trapped in the Taylor vortex cores (mode ($ii$)). Mode $(iii)$ is the transition when both modes $(i)$ and $(ii)$ are observed. For mode $(iv)$, particles distribute throughout the domain due to flow instabilities. All four modes show characteristic orientational statistics. We find the particle clustering for mode ($ii$) to be size-dependent, with two main observations. Firstly, particle agglomeration at the core is much higher for $\ell/d=0.2$ compared to $\ell/d=0.1$. Secondly, the $\textit{Ta}$ range for which clustering is observed depends on the particle size. For this mode $(ii)$ we observe particles to align strongly with the local cylinder tangent. The most pronounced particle alignment is observed for $\ell/d=0.2$ around $\textit{Ta}=4.2\times10^5$. This observation is found to closely correspond to a minimum of axial vorticity at the Taylor vortex core ($\textit{Ta}=6\times10^5$) and we explain why.


title: Bilinear Wavelet Representation of Calder\'on-Zygmund Forms

abstract: We represent a bilinear Calder\'on-Zygmund operator at a given smoothness level as a finite sum of cancellative, complexity zero operators, involving smooth wavelet forms, and continuous paraproduct forms. This representation results in a sparse $T(1)$-type bound, which in turn yields directly new sharp weighted bilinear estimates on Lebesgue and Sobolev spaces. Moreover, we apply the representation theorem to study fractional differentiation of bilinear operators, establishing Leibniz-type rules in weighted Sobolev spaces which are new even in the simplest case of the pointwise product.


title: Statistical behaviour of interfaces subjected to curvature flow and torque effects applied to microstructural evolutions

abstract: The movement of grain boundaries in pure metals and alloys with a low concentration of dislocations has been historically proved to follow curvature flow behavior. This mechanism is typically known as grain growth (GG). However, recent 3D in-situ experimental results tend to question this global picture concerning the influence of the curvature on the kinetics of interface migration. This article explains, thanks to 2D anisotropic full-field simulations, how the torque effects can complexify these discussions. It is then illustrated that neglecting torque effects in full-field formulations remains potentially a strong hypothesis. The apparent mobility can be much more complex than expected without necessarily questioning the influence of the curvature on the local kinetic equation.


title: VT-SSum: A Benchmark Dataset for Video Transcript Segmentation and Summarization

abstract: Video transcript summarization is a fundamental task for video understanding. Conventional approaches for transcript summarization are usually built upon the summarization data for written language such as news articles, while the domain discrepancy may degrade the model performance on spoken text. In this paper, we present VT-SSum, a benchmark dataset with spoken language for video transcript segmentation and summarization, which includes 125K transcript-summary pairs from 9,616 videos. VT-SSum takes advantage of the videos from VideoLectures.NET by leveraging the slides content as the weak supervision to generate the extractive summary for video transcripts. Experiments with a state-of-the-art deep learning approach show that the model trained with VT-SSum brings a significant improvement on the AMI spoken text summarization benchmark. VT-SSum is publicly available at https://github.com/Dod-o/VT-SSum to support the future research of video transcript segmentation and summarization tasks.


title: Spatially Invariant Unsupervised 3D Object-Centric Learning and Scene Decomposition

abstract: We tackle the problem of object-centric learning on point clouds, which is crucial for high-level relational reasoning and scalable machine intelligence. In particular, we introduce a framework, SPAIR3D, to factorize a 3D point cloud into a spatial mixture model where each component corresponds to one object. To model the spatial mixture model on point clouds, we derive the Chamfer Mixture Loss, which fits naturally into our variational training pipeline. Moreover, we adopt an object-specification scheme that describes each object's location relative to its local voxel grid cell. Such a scheme allows SPAIR3D to model scenes with an arbitrary number of objects. We evaluate our method on the task of unsupervised scene decomposition. Experimental results demonstrate that SPAIR3D has strong scalability and is capable of detecting and segmenting an unknown number of objects from a point cloud in an unsupervised manner.


title: Thompson Sampling with a Mixture Prior

abstract: We study Thompson sampling (TS) in online decision making, where the uncertain environment is sampled from a mixture distribution. This is relevant in multi-task learning, where a learning agent faces different classes of problems. We incorporate this structure in a natural way by initializing TS with a mixture prior, and call the resulting algorithm MixTS. To analyze MixTS, we develop a novel and general proof technique for analyzing the concentration of mixture distributions. We use it to prove Bayes regret bounds for MixTS in both linear bandits and finite-horizon reinforcement learning. Our bounds capture the structure of the prior, depend on the number of mixture components and their widths. We also demonstrate the empirical effectiveness of MixTS in synthetic and real-world experiments.


title: GNNAutoScale: Scalable and Expressive Graph Neural Networks via Historical Embeddings

abstract: We present GNNAutoScale (GAS), a framework for scaling arbitrary message-passing GNNs to large graphs. GAS prunes entire sub-trees of the computation graph by utilizing historical embeddings from prior training iterations, leading to constant GPU memory consumption in respect to input node size without dropping any data. While existing solutions weaken the expressive power of message passing due to sub-sampling of edges or non-trainable propagations, our approach is provably able to maintain the expressive power of the original GNN. We achieve this by providing approximation error bounds of historical embeddings and show how to tighten them in practice. Empirically, we show that the practical realization of our framework, PyGAS, an easy-to-use extension for PyTorch Geometric, is both fast and memory-efficient, learns expressive node representations, closely resembles the performance of their non-scaling counterparts, and reaches state-of-the-art performance on large-scale graphs.


title: Hierarchical Agglomerative Graph Clustering in Nearly-Linear Time

abstract: We study the widely used hierarchical agglomerative clustering (HAC) algorithm on edge-weighted graphs. We define an algorithmic framework for hierarchical agglomerative graph clustering that provides the first efficient $\tilde{O}(m)$ time exact algorithms for classic linkage measures, such as complete- and WPGMA-linkage, as well as other measures. Furthermore, for average-linkage, arguably the most popular variant of HAC, we provide an algorithm that runs in $\tilde{O}(n\sqrt{m})$ time. For this variant, this is the first exact algorithm that runs in subquadratic time, as long as $m=n^{2-\epsilon}$ for some constant $\epsilon > 0$. We complement this result with a simple $\epsilon$-close approximation algorithm for average-linkage in our framework that runs in $\tilde{O}(m)$ time. As an application of our algorithms, we consider clustering points in a metric space by first using $k$-NN to generate a graph from the point set, and then running our algorithms on the resulting weighted graph. We validate the performance of our algorithms on publicly available datasets, and show that our approach can speed up clustering of point datasets by a factor of 20.7--76.5x.


title: Context-Free TextSpotter for Real-Time and Mobile End-to-End Text Detection and Recognition

abstract: In the deployment of scene-text spotting systems on mobile platforms, lightweight models with low computation are preferable. In concept, end-to-end (E2E) text spotting is suitable for such purposes because it performs text detection and recognition in a single model. However, current state-of-the-art E2E methods rely on heavy feature extractors, recurrent sequence modellings, and complex shape aligners to pursue accuracy, which means their computations are still heavy. We explore the opposite direction: How far can we go without bells and whistles in E2E text spotting? To this end, we propose a text-spotting method that consists of simple convolutions and a few post-processes, named Context-Free TextSpotter. Experiments using standard benchmarks show that Context-Free TextSpotter achieves real-time text spotting on a GPU with only three million parameters, which is the smallest and fastest among existing deep text spotters, with an acceptable transcription quality degradation compared to heavier ones. Further, we demonstrate that our text spotter can run on a smartphone with affordable latency, which is valuable for building stand-alone OCR applications.


title: Proof of the zeroth law of turbulence in one-dimensional compressible magnetohydrodynamics and shock heating

abstract: The zeroth law is one of the oldest conjecture in turbulence that is still unproven. Here, we consider weak solutions of one-dimensional compressible magnetohydrodynamics and demonstrate that the lack of smoothness of the fields introduces a new dissipative term, named inertial dissipation, into the expression of energy conservation that is neither viscous nor resistive in nature. We propose exact solutions assuming that the kinematic viscosity and the magnetic diffusivity are equal, and we demonstrate that the associated inertial dissipation is positive and equal on average to the mean viscous dissipation rate in the limit of small viscosity, proving the conjecture of the zeroth law of turbulence and the existence of an anomalous dissipation. As an illustration, we evaluate the shock heating produced by discontinuities detected by Voyager in the solar wind around 5 AU. We deduce a heating rate of $\sim 10^{-18}$J m$^{-3}$ s$^{-1}$, which is significantly higher than the value obtained from the turbulent fluctuations. This suggests that collisionless shocks can be a dominant source of heating in the outer solar wind.


title: Anomalous charge transport of superconducting Cu$_{x}$PdTe$_2$ under high pressure

abstract: By means of high-pressure resistivity measurements on single crystals, we investigate the charge transport properties of Cu$_x$PdTe$_2$, notable for the combination of topological type-II Dirac semimetallic properties with superconductivity up to $T_c = 2.5$ K. In both cases of pristine ($x = 0$) and intercalated ($x=0.05$) samples, we find an unconventional $T^4$ power law behavior of the low-temperature resistivity visible up to $\sim$40 K and remarkably stable under pressure up to 8.2 GPa. This observation is explained by the low carrier density $n$, which strongly reduces the $k$-region available for electron-phonon scattering, as previously reported in other low-$n$ two-dimensional systems, such as multilayer graphene and semiconductor heterostructures. Our data analysis complemented by specific heat measurements and supported by previous quantum oscillation studies and \textit{ab initio} calculations suggests a scenario of one-band charge transport. Within this scenario, our analysis yields a large value of transport electron-phonon coupling constant $\lambda_{tr} = 1.2$ at ambient pressure that appears to be strongly enhanced by pressure assuming a constant effective mass.


title: Generation of entanglement between quantum dot molecule with the presence of phonon effects in a voltage-controlled junction

abstract: We investigate the generation of entanglement through a quantum dot molecule under the influence of vibrational phonon modes in a bias voltage junction. The molecular quantum dot system is realized by coupled quantum dots inside a suspended carbon nanotube. We consider the dynamical entanglement as a function of bias voltage and temperature by taking into account the electron-phonon interaction. In order to generate the robust entanglement between quantum dots and preserve it to reach the maximal achievable amount steadily, we introduce an asymmetric coupling protocol and apply the easy tunable bias voltage-driven field. For an oscillating bias voltage, the time-varying entanglement can periodically reach the maximum revival. In thermal entanglement dynamics, the phenomena of thermal entanglement degradation and thermal entanglement revival are observed which are intensively affected by the strength of phonon decoherence. The revival of entanglement shows a larger value for a higher phonon coupling.


title: Rotating Motion of the Outflow of IRAS 16293-2422 A1 at its Origin Point near the Protostar

abstract: The Class 0 protostar IRAS 16293$-$2422 Source A is known to be a binary system (A1 and A2) or even a multiple system, which processes a complex outflow structure. We have observed this source in the C$^{34}$S, SO, and OCS lines at 3.1 mm with the Atacama Large Millimeter/submillimeter Array (ALMA). A substructure of this source is traced by our high angular-resolution observation (0\farcs12; 20 au) of the continuum emission. The northwest-southeast (NW-SE) outflow on a 2\arcsec\ scale is detected in the SO ($J_N$ = $2_2$--$1_1$) line. Based on the morphology of the SO distribution, this bipolar outflow structure seems to originate from the protostar A1 and its circumstellar disk, or the circummultiple structure of Source A. The rotation motion of the NW-SE outflow is detected in the SO and OCS emissions. We evaluate the specific angular momentum of the outflowing gas to be $(8.6 - 14.3) \times 10^{-4}$ km s$^{-1}$ pc. If the driving source of this outflow is the protostar A1 and its circumstellar disk, it can be a potential mechanism to extract the specific angular momentum of the disk structure. These results can be a hint for the outflow launching mechanism in this source. Furthermore, they provide us with an important clue to resolve the complicated structure of IRAS 16293$-$2422 Source A.


title: SVMAC: Unsupervised 3D Human Pose Estimation from a Single Image with Single-view-multi-angle Consistency

abstract: Recovering 3D human pose from 2D joints is still a challenging problem, especially without any 3D annotation, video information, or multi-view information. In this paper, we present an unsupervised GAN-based model consisting of multiple weight-sharing generators to estimate a 3D human pose from a single image without 3D annotations. In our model, we introduce single-view-multi-angle consistency (SVMAC) to significantly improve the estimation performance. With 2D joint locations as input, our model estimates a 3D pose and a camera simultaneously. During training, the estimated 3D pose is rotated by random angles and the estimated camera projects the rotated 3D poses back to 2D. The 2D reprojections will be fed into weight-sharing generators to estimate the corresponding 3D poses and cameras, which are then mixed to impose SVMAC constraints to self-supervise the training process. The experimental results show that our method outperforms the state-of-the-art unsupervised methods on Human 3.6M and MPI-INF-3DHP. Moreover, qualitative results on MPII and LSP show that our method can generalize well to unknown data.


title: Dynamic Shape Modeling to Analyze Modes ofMigration During Cell Motility

abstract: This paper develops a generative statistical model for representing, modeling, and comparing the morphological evolution of biological cells undergoing motility. It uses the elastic shape analysis to separate cell kinematics (overall location, rotation, speed, etc.) from its morphology and represents morphological changes using transported square-root vector fields (TSRVFs). This TSRVF representation, followed by a PCA-based dimension reduction, provides a convenient mathematical representation of a shape sequence in the form of a Euclidean time series. Fitting a vector auto-regressive (VAR) model to this TSRVF-PCA time series leads to statistical modeling of the overall shape dynamics. We use the parameters of the fitted VAR model to characterize morphological evolution. We validate VAR models through model comparisons, synthesis, and sequence classifications. For classification, we use the VAR parameters in conjunction with different classifiers: SVM, Random Forest, and CNN, and obtain high classification rates. Extensive experiments presented here demonstrate the success of the proposed pipeline. These results are the first of the kind in classifying cell migration videos using shape dynamics.


title: Date Estimation in the Wild of Scanned Historical Photos: An Image Retrieval Approach

abstract: This paper presents a novel method for date estimation of historical photographs from archival sources. The main contribution is to formulate the date estimation as a retrieval task, where given a query, the retrieved images are ranked in terms of the estimated date similarity. The closer are their embedded representations the closer are their dates. Contrary to the traditional models that design a neural network that learns a classifier or a regressor, we propose a learning objective based on the nDCG ranking metric. We have experimentally evaluated the performance of the method in two different tasks: date estimation and date-sensitive image retrieval, using the DEW public database, overcoming the baseline methods.


title: The strong Stark conjecture for totally odd characters

abstract: We prove the $p$-part of the strong Stark conjecture for every totally odd character and every odd prime $p$. Let $L/K$ be a finite Galois CM-extension with Galois group $G$, which has an abelian Sylow $p$-subgroup for an odd prime $p$. We give an unconditional proof of the minus $p$-part of the equivariant Tamagawa number conjecture for the pair $(h^0(\mathrm{Spec}(L)), \mathbb{Z}[G])$ under certain restrictions on the ramification behavior in $L/K$.


title: Efficient Exact k-Flexible Aggregate Nearest Neighbor Search in Road Networks Using the M-tree

abstract: This study proposes an efficient exact k-flexible aggregate nearest neighbor (k-FANN) search algorithm in road networks using the M-tree. The state-of-the-art IER-kNN algorithm used the R-tree and pruned off unnecessary nodes based on the Euclidean coordinates of objects in road networks. However, IER-kNN made many unnecessary accesses to index nodes since the Euclidean distances between objects are significantly different from the actual shortest-path distances between them. In contrast, our algorithm proposed in this study can greatly reduce unnecessary accesses to index nodes compared with IER-kNN since the M-tree is constructed based on the actual shortest-path distances between objects. To the best of our knowledge, our algorithm is the first exact FANN algorithm that uses the M-tree. We prove that our algorithm does not cause any false drop. In conducting a series of experiments using various real road network datasets, our algorithm consistently outperformed IER-kNN by up to 6.92 times.


title: Rationalizability of field extensions with a view towards Feynman integrals

abstract: In 2021, Marco Besier and the first author introduced the concept of rationalizability of square roots to simplify arguments of Feynman integrals. In this work, we generalize the definition of rationalizability to field extensions. We then show that the rationalizability of a set of quadratic field extensions is equivalent to the rationalizability of the compositum of the field extensions, providing a new strategy to prove rationalizability of sets of square roots of polynomials.


title: Synthesis of the first nitrogen-heterocycles in interstellar ice analogs containing methylamine (CH$_3$NH$_2$) exposed to UV radiation: Formation of trimethylentriamine (TMT, c-(-CH$_2$-NH)$_3$) and hexamethylentetramine (HMT, (CH$_2$)$_6$N$_4$)

abstract: Hexamethylentetramine has drawn a lot of attention due to its potential to produce prebiotic species. This work aims to gain a better understanding in the chemical processes concerning methylamine under astrophysically relevant conditions. In particular, this work deeps into the formation of N-heterocycles in interstellar ice analogs exposed to UV radiation, which may lead to the formation of prebiotic species. Experimental simulations of interstellar ice analogs were carried out in ISAC. ISAC is an ultra-high vacuum chamber equipped with a cryostat, where gas and vapour species are frozen forming ice samples. Infrared and ultraviolet spectroscopy were used to monitor the solid phase, and quadrupole mass spectrometry served to measure the composition of the gas phase. The variety of species detected after UV irradiation of ices containing methylamine revealed the presence of 12 species which have been already detected in the ISM, being 4 of them typically classified as complex organic molecules: formamide (HCONH2), methyl cyanide (CH$_3$CN), CH$_3$NH and CH$_3$CHNH. Warming up of the irradiated CH$_3$NH$_2$-bearing ice samples lead to the formation of trimethylentriamine (TMT), a N-heterocycle precursor of HMT, and the subsequent synthesis of HMT at temperatures above 230 K.


title: Coherent control of a symmetry-engineered multi-qubit dark state in waveguide quantum electrodynamics

abstract: Quantum information is typically encoded in the state of a qubit that is decoupled from the environment. In contrast, waveguide quantum electrodynamics studies qubits coupled to a mode continuum, exposing them to a loss channel and causing quantum information to be lost before coherent operations can be performed. Here we restore coherence by realizing a dark state that exploits symmetry properties and interactions between four qubits. Dark states decouple from the waveguide and are thus a valuable resource for quantum information but also come with a challenge: they cannot be controlled by the waveguide drive. We overcome this problem by designing a drive that utilizes the symmetry properties of the collective state manifold allowing us to selectively drive both bright and dark states. The decay time of the dark state exceeds that of the waveguide-limited single qubit by more than two orders of magnitude. Spectroscopy on the second excitation manifold provides further insight into the level structure of the hybridized system. Our experiment paves the way for implementations of quantum many-body physics in waveguides and the realization of quantum information protocols using decoherence-free subspaces.


title: RetinaNet Object Detector based on Analog-to-Spiking Neural Network Conversion

abstract: The paper proposes a method to convert a deep learning object detector into an equivalent spiking neural network. The aim is to provide a conversion framework that is not constrained to shallow network structures and classification problems as in state-of-the-art conversion libraries. The results show that models of higher complexity, such as the RetinaNet object detector, can be converted with limited loss in performance.


title: Towards an Automated Pipeline for Detecting and Classifying Malware through Machine Learning

abstract: The constant growth in the number of malware - software or code fragment potentially harmful for computers and information networks - and the use of sophisticated evasion and obfuscation techniques have seriously hindered classic signature-based approaches. On the other hand, malware detection systems based on machine learning techniques started offering a promising alternative to standard approaches, drastically reducing analysis time and turning out to be more robust against evasion and obfuscation techniques. In this paper, we propose a malware taxonomic classification pipeline able to classify Windows Portable Executable files (PEs). Given an input PE sample, it is first classified as either malicious or benign. If malicious, the pipeline further analyzes it in order to establish its threat type, family, and behavior(s). We tested the proposed pipeline on the open source dataset EMBER, containing approximately 1 million PE samples, analyzed through static analysis. Obtained malware detection results are comparable to other academic works in the current state of art and, in addition, we provide an in-depth classification of malicious samples. Models used in the pipeline provides interpretable results which can help security analysts in better understanding decisions taken by the automated pipeline.


title: Citation Swing Factor: An Indicator to Measure the Diffusion of Cited Items

abstract: The h-index, introduced by Hirsch, is based on the mutual variation between the number of cited and source items. The temporally continuous nature of the citation accretion process causes a shift of cited items from the h-core zone to the adjacent citation-asymmetric zones, viz. h-excess zone, or h-tail zone. The name given to this shifting phenomenon is the Diffusion of Cited Items (DCI). In this paper, two new variables are introduced, i.e., the Fold of Excess citation over Total citations (FET), denoted by $\epsilon^2$ and the Fold of h-core citation over Excess citations (FHE), denoted by $\theta^2$. On the basis of $\theta$ and $\epsilon$, another indicator is introduced, i.e., the Citation Swing Factor (CSF), defined as $d\theta/d\epsilon$, which indicates the differential coefficient of $\theta$ with respect to $\epsilon$. The time dependence of FET and FHE is also discussed. The possible solutions of are derived here. The functionality of CSF ($d\theta/d\epsilon$) to measure the diffusion process quantitatively will be tested later on for journals, authors and institutions.


title: A Comparison and Combination of Unsupervised Blind Source Separation Techniques

abstract: Unsupervised blind source separation methods do not require a training phase and thus cannot suffer from a train-test mismatch, which is a common concern in neural network based source separation. The unsupervised techniques can be categorized in two classes, those building upon the sparsity of speech in the Short-Time Fourier transform domain and those exploiting non-Gaussianity or non-stationarity of the source signals. In this contribution, spatial mixture models which fall in the first category and independent vector analysis (IVA) as a representative of the second category are compared w.r.t. their separation performance and the performance of a downstream speech recognizer on a reverberant dataset of reasonable size. Furthermore, we introduce a serial concatenation of the two, where the result of the mixture model serves as initialization of IVA, which achieves significantly better WER performance than each algorithm individually and even approaches the performance of a much more complex neural network based technique.


title: Primordial perturbations in kinetically dominated regimes of general relativity and hybrid quantum cosmology

abstract: Scalar fields with an energy density dominated by its kinetic part may have played a relevant role in the very early stages of the Universe. Compared to the standard inflationary paradigm, they may lead to modifications in observable quantities, e.g. the anisotropies found in the cosmic microwave background. Kinetically dominated regimes arise in classical fast-roll scenarios as well as in quantum bouncing cosmologies. For instance, kinetic dominance is typical in interesting preinflationary phases of Loop Quantum Cosmology. In this work, we analyze the leading-order effects that the presence of a scalar field potential causes on the primordial cosmological perturbations in these kinetically dominated epochs. These effects can be grouped in two sets, namely, those that affect the effective mass of the perturbations and those that affect the choice of their vacuum state. The effective mass is modified directly by terms that include the potential, but also indirectly by the change in the background dynamics and the relation between the parameterization of these dynamics and the conformal time, usually employed to describe the evolution of the perturbations. On the other hand, away from de Sitter inflation, the Bunch-Davies state is no longer the most natural vacuum at all scales. Recent proposals suggest to modify it by carrying out certain Hamiltonian diagonalization with a suitable asymptotic behavior at large wavenumber scales. Both this diagonalization condition and the imposed asymptotic behavior depend on the effective mass of the perturbations, and therefore the selected vacuum state varies in the presence of the scalar field potential.


title: Relational Data Selection for Data Augmentation of Speaker-dependent Multi-band MelGAN Vocoder

abstract: Nowadays, neural vocoders can generate very high-fidelity speech when a bunch of training data is available. Although a speaker-dependent (SD) vocoder usually outperforms a speaker-independent (SI) vocoder, it is impractical to collect a large amount of data of a specific target speaker for most real-world applications. To tackle the problem of limited target data, a data augmentation method based on speaker representation and similarity measurement of speaker verification is proposed in this paper. The proposed method selects utterances that have similar speaker identity to the target speaker from an external corpus, and then combines the selected utterances with the limited target data for SD vocoder adaptation. The evaluation results show that, compared with the vocoder adapted using only limited target data, the vocoder adapted using augmented data improves both the quality and similarity of synthesized speech.


title: MusicBERT: Symbolic Music Understanding with Large-Scale Pre-Training

abstract: Symbolic music understanding, which refers to the understanding of music from the symbolic data (e.g., MIDI format, but not audio), covers many music applications such as genre classification, emotion classification, and music pieces matching. While good music representations are beneficial for these applications, the lack of training data hinders representation learning. Inspired by the success of pre-training models in natural language processing, in this paper, we develop MusicBERT, a large-scale pre-trained model for music understanding. To this end, we construct a large-scale symbolic music corpus that contains more than 1 million music songs. Since symbolic music contains more structural (e.g., bar, position) and diverse information (e.g., tempo, instrument, and pitch), simply adopting the pre-training techniques from NLP to symbolic music only brings marginal gains. Therefore, we design several mechanisms, including OctupleMIDI encoding and bar-level masking strategy, to enhance pre-training with symbolic music data. Experiments demonstrate the advantages of MusicBERT on four music understanding tasks, including melody completion, accompaniment suggestion, genre classification, and style classification. Ablation studies also verify the effectiveness of our designs of OctupleMIDI encoding and bar-level masking strategy in MusicBERT.


title: Finding normal binary floating-point factors efficiently

abstract: Solving the floating-point equation $x \otimes y = z$, where $x$, $y$ and $z$ belong to floating-point intervals, is a common task in automated reasoning for which no efficient algorithm is known in general. We show that it can be solved by computing a constant number of floating-point factors, and give a fast algorithm for computing successive normal floating-point factors of normal floating-point numbers in radix 2. This leads to an efficient procedure for solving the given equation, running in time of the same order as floating-point multiplication.


title: CODIC: A Low-Cost Substrate for Enabling Custom In-DRAM Functionalities and Optimizations

abstract: DRAM is the dominant main memory technology used in modern computing systems. Computing systems implement a memory controller that interfaces with DRAM via DRAM commands. DRAM executes the given commands using internal components (e.g., access transistors, sense amplifiers) that are orchestrated by DRAM internal timings, which are fixed foreach DRAM command. Unfortunately, the use of fixed internal timings limits the types of operations that DRAM can perform and hinders the implementation of new functionalities and custom mechanisms that improve DRAM reliability, performance and energy. To overcome these limitations, we propose enabling programmable DRAM internal timings for controlling in-DRAM components. To this end, we design CODIC, a new low-cost DRAM substrate that enables fine-grained control over four previously fixed internal DRAM timings that are key to many DRAM operations. We implement CODIC with only minimal changes to the DRAM chip and the DDRx interface. To demonstrate the potential of CODIC, we propose two new CODIC-based security mechanisms that outperform state-of-the-art mechanisms in several ways: (1) a new DRAM Physical Unclonable Function (PUF) that is more robust and has significantly higher throughput than state-of-the-art DRAM PUFs, and (2) the first cold boot attack prevention mechanism that does not introduce any performance or energy overheads at runtime.


title: Citation Recommendation for Research Papers via Knowledge Graphs

abstract: Citation recommendation for research papers is a valuable task that can help researchers improve the quality of their work by suggesting relevant related work. Current approaches for this task rely primarily on the text of the papers and the citation network. In this paper, we propose to exploit an additional source of information, namely research knowledge graphs (KG) that interlink research papers based on mentioned scientific concepts. Our experimental results demonstrate that the combination of information from research KGs with existing state-of-the-art approaches is beneficial. Experimental results are presented for the STM-KG (STM: Science, Technology, Medicine), which is an automatically populated knowledge graph based on the scientific concepts extracted from papers of ten domains. The proposed approach outperforms the state of the art with a mean average precision of 20.6% (+0.8) for the top-50 retrieved results.


title: Exploring Unsupervised Pretraining Objectives for Machine Translation

abstract: Unsupervised cross-lingual pretraining has achieved strong results in neural machine translation (NMT), by drastically reducing the need for large parallel data. Most approaches adapt masked-language modeling (MLM) to sequence-to-sequence architectures, by masking parts of the input and reconstructing them in the decoder. In this work, we systematically compare masking with alternative objectives that produce inputs resembling real (full) sentences, by reordering and replacing words based on their context. We pretrain models with different methods on English$\leftrightarrow$German, English$\leftrightarrow$Nepali and English$\leftrightarrow$Sinhala monolingual data, and evaluate them on NMT. In (semi-) supervised NMT, varying the pretraining objective leads to surprisingly small differences in the finetuned performance, whereas unsupervised NMT is much more sensitive to it. To understand these results, we thoroughly study the pretrained models using a series of probes and verify that they encode and use information in different ways. We conclude that finetuning on parallel data is mostly sensitive to few properties that are shared by most models, such as a strong decoder, in contrast to unsupervised NMT that also requires models with strong cross-lingual abilities.


title: Contraction Analysis of Discrete-time Stochastic Systems

abstract: In this paper, we develop a novel contraction framework for stability analysis of discrete-time nonlinear systems with parameters following stochastic processes. For general stochastic processes, we first provide a sufficient condition for uniform incremental exponential stability (UIES) in the first moment with respect to a Riemannian metric. Then, focusing on the Euclidean distance, we present a necessary and sufficient condition for UIES in the second moment. By virtue of studying general stochastic processes, we can readily derive UIES conditions for special classes of processes, e.g., i.i.d. processes and Markov processes, which is demonstrated as selected applications of our results.


title: Measuring the rationality in evacuation behavior with deep learning

abstract: The bounded rationality is a crucial component in human behaviors. It plays a key role in the typical collective behavior of evacuation, in which the heterogeneous information leads to the deviation of rational choices. In this study, we propose a deep learning framework to extract the quantitative deviation which emerges in a cellular automaton (CA) model describing the evacuation. The well-trained deep convolutional neural networks (CNNs) accurately predict the rational factors from multi-frame images generated by the CA model. In addition, it should be noted that the performance of this machine is robust to the incomplete images corresponding to global information loss. Moreover, this framework provides us with a playground in which the rationality is measured in evacuation and the scheme could also be generalized to other well-designed virtual experiments.


title: Primordial black hole production during first-order phase transitions

abstract: Primordial black holes (PBHs) produced in the early Universe have attracted wide interest for their ability to constitute dark matter and explain the compact binary coalescence. We propose a new mechanism of PBH production during first-order phase transitions (PTs) and find that PBHs are naturally produced during PTs model-independently. Because of the randomness of the quantum tunneling, there always exists some probability that the vacuum decay is postponed in a whole Hubble volume. Since the vacuum energy density remains constant while radiation is quickly redshifted in the expanding Universe, the postponed vacuum decay then results in overdense regions, which finally collapse into PBHs as indicated by numerical simulations. Utilizing this result one can obtain mutual predictions and constraints between PBHs and GWs from PTs. The predicted mass function of PBHs is nearly monochromatic. We investigate two typical cases and find that 1) PBHs from a PT constitute all dark matter and GWs peak at $1$Hz, 2) PBHs from a PT can explain the coalescence events observed by LIGO-Virgo collaboration, and meanwhile GWs can explain the common-spectrum process detected by NANOGrav collaboration.


title: An Instance-optimal Algorithm for Bichromatic Rectangular Visibility

abstract: Afshani, Barbay and Chan (2017) introduced the notion of instance-optimal algorithm in the order-oblivious setting. An algorithm A is instance-optimal in the order-oblivious setting for a certain class of algorithms A* if the following hold: - A takes as input a sequence of objects from some domain; - for any instance $\sigma$ and any algorithm A' in A*, the runtime of A on $\sigma$ is at most a constant factor removed from the runtime of A' on the worst possible permutation of $\sigma$. If we identify permutations of a sequence as representing the same instance, this essentially states that A is optimal on every possible input (and not only in the worst case). We design instance-optimal algorithms for the problem of reporting, given a bichromatic set of points in the plane S, all pairs consisting of points of different color which span an empty axis-aligned rectangle (or reporting all points which appear in such a pair). This problem has applications for training-set reduction in nearest-neighbour classifiers. It is also related to the problem consisting of finding the decision boundaries of a euclidean nearest-neighbour classifier, for which Bremner et al. (2005) gave an optimal output-sensitive algorithm. By showing the existence of an instance-optimal algorithm in the order-oblivious setting for this problem we push the methods of Afshani et al. closer to their limits by adapting and extending them to a setting which exhibits highly non-local features. Previous problems for which instance-optimal algorithms were proven to exist were based solely on local relationships between points in a set.


title: C-GLISp: Preference-Based Global Optimization under Unknown Constraints with Applications to Controller Calibration

abstract: Preference-based global optimization algorithms minimize an unknown objective function only based on whether the function is better, worse, or similar for given pairs of candidate optimization vectors. Such optimization problems arise in many real-life examples, such as finding the optimal calibration of the parameters of a control law. The calibrator can judge whether a particular combination of parameters leads to a better, worse, or similar closed-loop performance. Often, the search for the optimal parameters is also subject to unknown constraints. For example, the vector of calibration parameters must not lead to closed-loop instability. This paper extends an active preference learning algorithm introduced recently by the authors to handle unknown constraints. The proposed method, called C-GLISp, looks for an optimizer of the problem only based on preferences expressed on pairs of candidate vectors, and on whether a given vector is reported feasible and/or satisfactory. C-GLISp learns a surrogate of the underlying objective function based on the expressed preferences, and a surrogate of the probability that a sample is feasible and/or satisfactory based on whether each of the tested vectors was judged as such. The surrogate functions are used iteratively to propose a new candidate vector to test and judge. Numerical benchmarks and a semi-automated control calibration task demonstrate the effectiveness of C-GLISp, showing that it can reach near-optimal solutions within a small number of iterations.


title: A quantitative comparison of amplitude versus intensity interferometry for astronomy

abstract: Astronomical imaging can be broadly classified into two types. The first type is amplitude interferometry, which includes conventional optical telescopes and Very Large Baseline Interferometry (VLBI). The second type is intensity interferometry, which relies on Hanbury Brown and Twiss-type measurements. At optical frequencies, where direct phase measurements are impossible, amplitude interferometry has an effective numerical aperture that is limited by the distance from which photons can coherently interfere. Intensity interferometry, on the other hand, correlates only photon fluxes and can thus support much larger numerical apertures, but suffers from a reduced signal due to the low average photon number per mode in thermal light. It has hitherto not been clear which method is superior under realistic conditions. Here, we give a comparative analysis of the performance of amplitude and intensity interferometry, and we relate this to the fundamental resolution limit that can be achieved in any physical measurement. Using the benchmark problem of determining the separation between two distant thermal point sources, e.g., two adjacent stars, we give a short tutorial on optimal estimation theory and apply it to stellar interferometry. We find that for very small angular separations the large baseline achievable in intensity interferometry can more than compensate for the reduced signal strength. We also explore options for practical implementations of Very Large Baseline Intensity Interferometry (VLBII).


title: Asymptotics of the $s$-fractional Gaussian perimeter as $s\to 0^+$

abstract: We study the asymptotic behaviour of the renormalised $s$-fractional Gaussian perimeter of a set $E$ inside a domain $\Omega$ as $s\to 0^+$. Contrary to the Euclidean case, as the Gaussian measure is finite, the shape of the set at infinity does not matter, but, surprisingly, the limit set function is never additive.


title: U2++: Unified Two-pass Bidirectional End-to-end Model for Speech Recognition

abstract: The unified streaming and non-streaming two-pass (U2) end-to-end model for speech recognition has shown great performance in terms of streaming capability, accuracy, real-time factor (RTF), and latency. In this paper, we present U2++, an enhanced version of U2 to further improve the accuracy. The core idea of U2++ is to use the forward and the backward information of the labeling sequences at the same time at training to learn richer information, and combine the forward and backward prediction at decoding to give more accurate recognition results. We also proposed a new data augmentation method called SpecSub to help the U2++ model to be more accurate and robust. Our experiments show that, compared with U2, U2++ shows faster convergence at training, better robustness to the decoding method, as well as consistent 5\% - 8\% word error rate reduction gain over U2. On the experiment of AISHELL-1, we achieve a 4.63\% character error rate (CER) with a non-streaming setup and 5.05\% with a streaming setup with 320ms latency by U2++. To the best of our knowledge, 5.05\% is the best-published streaming result on the AISHELL-1 test set.


title: A proof of loop equations in 2d topological gravity

abstract: We study multi-boundary correlators in 2d Witten-Kontsevich topological gravity. We present a proof of the loop equations obeyed by the correlators. While the loop equations were derived a long time ago, our proof is fully explicit in the presence of general couplings $t_k$. We clarify all the details, in particular the treatment of the genus zero part of the one-boundary correlator. The loop equations are verified by several new examples, including the correlators of Jackiw-Teitelboim gravity in the genus expansion and the exact correlators in the Airy case. We also discuss the free boson/fermion representation of the correlators and compare it with the formulation of Marolf and Maxfield and the string field theory of Ishibashi and Kawai. We find similarities but also some differences.


title: Optimal Non-Convex Exact Recovery in Stochastic Block Model via Projected Power Method

abstract: In this paper, we study the problem of exact community recovery in the symmetric stochastic block model, where a graph of $n$ vertices is randomly generated by partitioning the vertices into $K \ge 2$ equal-sized communities and then connecting each pair of vertices with probability that depends on their community memberships. Although the maximum-likelihood formulation of this problem is discrete and non-convex, we propose to tackle it directly using projected power iterations with an initialization that satisfies a partial recovery condition. Such an initialization can be obtained by a host of existing methods. We show that in the logarithmic degree regime of the considered problem, the proposed method can exactly recover the underlying communities at the information-theoretic limit. Moreover, with a qualified initialization, it runs in $\mathcal{O}(n\log^2n/\log\log n)$ time, which is competitive with existing state-of-the-art methods. We also present numerical results of the proposed method to support and complement our theoretical development.


title: An Image Registration Model in Electron Backscatter Diffraction

abstract: Recently, variational methods were successfully applied for computing the optical flow in gray and RGB-valued image sequences. A crucial assumption in these models is that pixel-values do not change under transformations. Nowadays, modern image acquisition techniques such as electron backscatter tomography (EBSD), which is used in material sciences, can capture images with values in nonlinear spaces. Here, the image values belong to the quotient space $\text{SO}(3)/ \mathcal S$ of the special orthogonal group modulo the discrete symmetry group of the crystal. For such data, the assumption that pixel-values remain unchanged under transformations appears to be no longer valid. Hence, we propose a variational model for determining the optical flow in $\text{SO}(3)/\mathcal S$-valued image sequences, taking the dependence of pixel-values on the transformation into account. More precisely, the data is transformed according to the rotation part in the polar decomposition of the Jacobian of the transformation. To model non-smooth transformations without obtaining so-called staircasing effects, we propose to use a total generalized variation like prior. Then, we prove existence of a minimizer for our model and explain how it can be discretized and minimized by a primal-dual algorithm. Numerical examples illustrate the performance of our method.


title: On the existence of topologies compatible with a group duality with predetermined properties

abstract: The paper deals with group dualities. A group duality is simply a pair $(G, H)$ where $G$ is an abstract abelian group and $H$ a subgroup of characters defined on $G$. A group topology $\tau$ defined on $G$ is {\it compatible} with the group duality (also called dual pair) $(G, H)$ if $G$ equipped with $\tau$ has dual group $H$. A topological group $(G, \tau)$ gives rise to the natural duality $(G, G^\wedge)$, where $G^\wedge$ stands for the group of continuous characters on $G$. We prove that the existence of a $g$-barrelled topology on $G$ compatible with the dual pair $(G, G^\wedge)$ is equivalent to the semireflexivity in Pontryagin's sense of the group $G^\wedge$ endowed with the pointwise convergence topology $\sigma(G^\wedge, G)$. We also deal with $k$-group topologies. We prove that the existence of $k$-group topologies on $G$ compatible with the duality $(G, G^\wedge)$ is determined by a sort of completeness property of its Bohr topology $\sigma (G, G^\wedge)$ (Theorem 3.3).


title: On the Use of Data from Multiple Mobile Network Operators in Europe to fight COVID-19

abstract: The rapid spread of COVID-19 infections on a global level has highlighted the need for accurate, transparent and timely information regarding collective mobility patterns to inform de-escalation strategies as well as to provide forecasting capacity for re-escalation policies aiming at addressing further waves of the virus. Such information can be extracted using aggregate anonymised data from innovative sources such as mobile positioning data. This paper presents lessons learnt and results of a unique Business-to-Government (B2G) initiative between several Mobile Network Operators in Europe and the European Commission. Mobile positioning data have supported policy makers and practitioners with evidence and data-driven knowledge to understand and predict the spread of the disease, the effectiveness of the containment measures, their socio-economic impacts while feeding scenarios at EU scale and in a comparable way across countries. The challenges of this data sharing initiative are not limited to data quality, harmonisation, and comparability across countries, however important they are. Equally essential aspects that need to be addressed from the onset are related to data privacy, security, fundamental rights and commercial sensitivity.


title: Unsupervised Behaviour Discovery with Quality-Diversity Optimisation

abstract: Quality-Diversity algorithms refer to a class of evolutionary algorithms designed to find a collection of diverse and high-performing solutions to a given problem. In robotics, such algorithms can be used for generating a collection of controllers covering most of the possible behaviours of a robot. To do so, these algorithms associate a behavioural descriptor to each of these behaviours. Each behavioural descriptor is used for estimating the novelty of one behaviour compared to the others. In most existing algorithms, the behavioural descriptor needs to be hand-coded, thus requiring prior knowledge about the task to solve. In this paper, we introduce: Autonomous Robots Realising their Abilities, an algorithm that uses a dimensionality reduction technique to automatically learn behavioural descriptors based on raw sensory data. The performance of this algorithm is assessed on three robotic tasks in simulation. The experimental results show that it performs similarly to traditional hand-coded approaches without the requirement to provide any hand-coded behavioural descriptor. In the collection of diverse and high-performing solutions, it also manages to find behaviours that are novel with respect to more features than its hand-coded baselines. Finally, we introduce a variant of the algorithm which is robust to the dimensionality of the behavioural descriptor space.


title: Best Approximate Quantum Compiling Problems

abstract: We study the problem of finding the best approximate circuit that is the closest (in some pertinent metric) to a target circuit, and which satisfies a number of hardware constraints, like gate alphabet and connectivity. We look at the problem in the CNOT+rotation gate set from a mathematical programming standpoint, offering contributions both in terms of understanding the mathematics of the problem and its efficient solution. Among the results that we present, we are able to derive a 14-CNOT 4-qubit Toffoli decomposition from scratch, and show that the Quantum Shannon Decomposition can be compressed by a factor of two without practical loss of fidelity.


title: The Scaled Relative Graph of a Linear Operator

abstract: The scaled relative graph (SRG) of an operator is a subset of the complex plane. It captures several salient features of an operator, such as contractiveness, and can be used to reveal the geometric nature of many of the inequality based arguments used in the convergence analyses of fixed point iterations. In this paper we show that the SRG of a linear operator can be determined from the numerical range of a closely related linear operator. Furthermore we demonstrate that the SRG of a linear operator has a range of spectral and convexity properties, and satisfies an analogue of Hildebrant's theorem.


title: SNR Scaling Laws for Radio Sensing with Extremely Large-Scale MIMO

abstract: Mobile communication networks were designed to mainly support ubiquitous wireless communications, yet they are expected to also achieve radio sensing capabilities in the near future. Most prior studies on radar sensing focus on distant targets, which usually rely on far-field assumption with uniform plane wave (UPW) models. However, with ever-increasing antenna size, together with the growing need to also sense nearby targets, the far-field assumption may become invalid. This paper studies radar sensing with extremely large-scale (XL) antenna arrays, where a generic model that takes into account both spherical wavefront and amplitude variations across array elements is developed. Furthermore, new closed-form expressions of the sensing signal-to-noise ratios (SNRs) are derived for both XL-MIMO radar and XL-phased-array radar modes. Our results reveal that different from the conventional UPW model where the SNR scales linearly and unboundedly with N for MIMO radar and with MN for phased-array radar, with M and N being the transmit and receive antenna numbers, respectively, more practical SNR scaling laws are obtained. For XL-phased-array radar with optimal power allocation, the SNR increases with M and N with diminishing returns, governed by new parameters called the transmit and receive angular spans. On the other hand, for XL-MIMO radar, while the same SNR scaling as XL-phased-array radar is obeyed for N, the SNR first increases and then decreases with M.


title: Latency and Information Freshness in Multipath Communications for Virtual Reality

abstract: Wireless Virtual Reality (VR) and Augmented Reality (AR) will contribute to people increasingly working and socializing remotely. However, the VR/AR experience is very susceptible to various delays and timing discrepancies, which can lead to motion sickness and discomfort. This paper models and exploits the existence of multiple paths and redundancy to improve the timing performance of wireless VR communications. We consider Multiple Description Coding (MDC), a scheme where the video stream is encoded in Q streams (Q = 2 in this paper) known as descriptors and delivered independently over multiple paths. We also consider an alternating scheme, that simply switches between the paths. We analyze the full distribution of two relevant metrics: the packet delay and the Peak Age of Information (PAoI), which measures the freshness of the information at the receiver. The results show interesting trade-offs between picture quality, frame rate, and latency: full duplication results in fewer lost frames, but a higher latency than schemes with less redundancy. Even the simple alternating scheme can outperform duplication in terms of PAoI, but MDC can exploit the independent decodability of the descriptors to deliver a basic version of the frames faster, while still getting the full-quality frames with a slightly higher delay.


title: Forecast combination based forecast reconciliation: insights and extensions

abstract: In a recent paper, while elucidating the links between forecast combination and cross-sectional forecast reconciliation, Hollyman et al. (2021) have proposed a forecast combination-based approach to the reconciliation of a simple hierarchy. A new Level Conditional Coherent (LCC) point forecast reconciliation procedure was developed, and it was shown that the simple average of a set of LCC, and bottom-up reconciled forecasts (called Combined Conditional Coherent, CCC) results in good performance as compared to those obtained through the state-of-the-art cross-sectional reconciliation procedures. In this paper, we build upon and extend this proposal along some new directions. (1) We shed light on the nature and the mathematical derivation of the LCC reconciliation formula, showing that it is the result of an exogenously linearly constrained minimization of a quadratic loss function in the differences between the target and the base forecasts with a diagonal associated matrix. (2) Endogenous constraints may be considered as well, resulting in level conditional reconciled forecasts of all the involved series, where both the upper and the bottom time series are coherently revised. (3) As the LCC procedure does not guarantee the non-negativity of the reconciled forecasts, we argue that - when non-negativity is a natural attribute of the variables to be forecast - its interpretation as an unbiased top-down reconciliation procedure leaves room for some doubts. (4) The new procedures are used in a forecasting experiment on the classical Australian Tourism Demand (Visitor Nights) dataset. Due to the crucial role played by the (possibly different) models used to compute the base forecasts, we re-interpret the CCC reconciliation of Hollyman et al. (2021) as a forecast pooling approach, showing that accuracy improvement may be gained by adopting a simple forecast averaging strategy.


title: Visual scoping operations for physical assembly

abstract: Planning is hard. The use of subgoals can make planning more tractable, but selecting these subgoals is computationally costly. What algorithms might enable us to reap the benefits of planning using subgoals while minimizing the computational overhead of selecting them? We propose visual scoping, a strategy that interleaves planning and acting by alternately defining a spatial region as the next subgoal and selecting actions to achieve it. We evaluated our visual scoping algorithm on a variety of physical assembly problems against two baselines: planning all subgoals in advance and planning without subgoals. We found that visual scoping achieves comparable task performance to the subgoal planner while requiring only a fraction of the total computational cost. Together, these results contribute to our understanding of how humans might make efficient use of cognitive resources to solve complex planning problems.


title: Reverberation Mapping of Two Luminous Quasars: the Broad-line Region Structure and Black Hole Mass

abstract: We report the results of a multi-year spectroscopic and photometric monitoring campaign of two luminous quasars, PG~0923+201 and PG~1001+291, both located at the high-luminosity end of the broad-line region (BLR) size-luminosity relation with optical luminosities above $10^{45}~{\rm erg~s^{-1}}$. PG~0923+201 is for the first time monitored, and PG~1001+291 was previously monitored but our campaign has a much longer temporal baseline. We detect time lags of variations of the broad H$\beta$, H$\gamma$, Fe {\sc ii} lines with respect to those of the 5100~{\AA} continuum. The velocity-resolved delay map of H$\beta$ in PG~0923+201 indicates a complicated structure with a mix of Keplerian disk-like motion and outflow, and the map of H$\beta$ in PG~1001+291 shows a signature of Keplerian disk-like motion. Assuming a virial factor of $f_{\rm BLR}=1$ and FWHM line widths, we measure the black hole mass to be $118_{-16}^{+11}\times 10^7 M_{\odot}$ for PG~0923+201 and $3.33_{-0.54}^{+0.62}\times 10^7 M_{\odot}$ for PG~1001+291. Their respective accretion rates are estimated to be $0.21_{-0.07}^{+0.06} \times L_{\rm Edd}\,c^{-2}$ and $679_{-227}^{+259}\times L_{\rm Edd}\,c^{-2}$, indicating that PG~0923+201 is a sub-Eddington accretor and PG~1001+291 is a super-Eddington accretor. While the H$\beta$ time lag of PG~0923+201 agrees with the size-luminosity relation, the time lag of PG~1001+291 shows a significant deviation, confirming that in high-luminosity AGN the BLR size depends on both luminosity and Eddington ratio. Black hole mass estimates from single AGN spectra will be over-estimated at high luminosities and redshifts if this effect is not taken into account.


title: MST: Masked Self-Supervised Transformer for Visual Representation

abstract: Transformer has been widely used for self-supervised pre-training in Natural Language Processing (NLP) and achieved great success. However, it has not been fully explored in visual self-supervised learning. Meanwhile, previous methods only consider the high-level feature and learning representation from a global perspective, which may fail to transfer to the downstream dense prediction tasks focusing on local features. In this paper, we present a novel Masked Self-supervised Transformer approach named MST, which can explicitly capture the local context of an image while preserving the global semantic information. Specifically, inspired by the Masked Language Modeling (MLM) in NLP, we propose a masked token strategy based on the multi-head self-attention map, which dynamically masks some tokens of local patches without damaging the crucial structure for self-supervised learning. More importantly, the masked tokens together with the remaining tokens are further recovered by a global image decoder, which preserves the spatial information of the image and is more friendly to the downstream dense prediction tasks. The experiments on multiple datasets demonstrate the effectiveness and generality of the proposed method. For instance, MST achieves Top-1 accuracy of 76.9% with DeiT-S only using 300-epoch pre-training by linear evaluation, which outperforms supervised methods with the same epoch by 0.4% and its comparable variant DINO by 1.0\%. For dense prediction tasks, MST also achieves 42.7% mAP on MS COCO object detection and 74.04% mIoU on Cityscapes segmentation only with 100-epoch pre-training.


title: Deep neural network loses attention to adversarial images

abstract: Adversarial algorithms have shown to be effective against neural networks for a variety of tasks. Some adversarial algorithms perturb all the pixels in the image minimally for the image classification task in image classification. In contrast, some algorithms perturb few pixels strongly. However, very little information is available regarding why these adversarial samples so diverse from each other exist. Recently, Vargas et al. showed that the existence of these adversarial samples might be due to conflicting saliency within the neural network. We test this hypothesis of conflicting saliency by analysing the Saliency Maps (SM) and Gradient-weighted Class Activation Maps (Grad-CAM) of original and few different types of adversarial samples. We also analyse how different adversarial samples distort the attention of the neural network compared to original samples. We show that in the case of Pixel Attack, perturbed pixels either calls the network attention to themselves or divert the attention from them. Simultaneously, the Projected Gradient Descent Attack perturbs pixels so that intermediate layers inside the neural network lose attention for the correct class. We also show that both attacks affect the saliency map and activation maps differently. Thus, shedding light on why some defences successful against some attacks remain vulnerable against other attacks. We hope that this analysis will improve understanding of the existence and the effect of adversarial samples and enable the community to develop more robust neural networks.


title: Conditional COT-GAN for Video Prediction with Kernel Smoothing

abstract: Causal Optimal Transport (COT) results from imposing a temporal causality constraint on classic optimal transport problems, which naturally generates a new concept of distances between distributions on path spaces. The first application of the COT theory for sequential learning was given in Xu et al. (2020), where COT-GAN was introduced as an adversarial algorithm to train implicit generative models optimized for producing sequential data. Relying on (Xu et al., 2020), the contribution of the present paper is twofold. First, we develop a conditional version of COT-GAN suitable for sequence prediction. This means that the dataset is now used in order to learn how a sequence will evolve given the observation of its past evolution. Second, we improve on the convergence results by working with modifications of the empirical measures via kernel smoothing due to (Pflug and Pichler (2016)). The resulting kernel conditional COT-GAN algorithm is illustrated with an application for video prediction.


title: Next-Gen Machine Learning Supported Diagnostic Systems for Spacecraft

abstract: Future short or long-term space missions require a new generation of monitoring and diagnostic systems due to communication impasses as well as limitations in specialized crew and equipment. Machine learning supported diagnostic systems present a viable solution for medical and technical applications. We discuss challenges and applicability of such systems in light of upcoming missions and outline an example use case for a next-generation medical diagnostic system for future space operations. Additionally, we present approach recommendations and constraints for the successful generation and use of machine learning models aboard a spacecraft.


title: Small-momentum expansion of heavy-quark correlators in the large-$\beta_0$ limit and $\alpha_s$ extractions

abstract: We calculate the small-momentum expansion of vector, axial-vector, scalar, and pseudo-scalar heavy-quark current correlators in the large-$\beta_0$ limit of QCD, extending the analysis of Grozin and Sturm beyond the vector current. Our results are used to study the higher-order behaviour of dimensionless ratios of vector and pseudo-scalar moments used for the precise extraction of the strong coupling, $\alpha_s$, from relativistic quarkonium sum rules and lattice data, respectively. We show that these ratios benefit from a partial cancellation of the leading renormalon singularities. Our results can guide the design of combinations of moments with improved perturbative behaviour.


title: Area-minimizing properties of Pansu spheres in the sub-riemannian $3$-sphere

abstract: We consider the sub-Riemannian $3$-sphere $(\mathbb{S}^3,g_h)$ obtained by restriction of the Riemannian metric of constant curvature $1$ to the planar distribution orthogonal to the vertical Hopf vector field. It is known that $(\mathbb{S}^3,g_h)$ contains a family of spherical surfaces $\{\mathcal{S}_\lambda\}_{\lambda\geq 0}$ with constant mean curvature $\lambda$. In this work we first prove that the two closed half-spheres of $\mathcal{S}_0$ with boundary $C_0=\{0\}\times\mathbb{S}^1$ minimize the sub-Riemannian area among compact $C^1$ surfaces with the same boundary. We also see that the only $C^2$ solutions to this Plateau problem are vertical translations of such half-spheres. Second, we establish that the closed $3$-ball enclosed by a sphere $\mathcal{S}_\lambda$ with $\lambda>0$ uniquely solves the isoperimetric problem in $(\mathbb{S}^3,g_h)$ for $C^1$ sets inside a vertical solid tube and containing a horizontal section of the tube. The proofs mainly rely on calibration arguments.


title: To The Point: Correspondence-driven monocular 3D category reconstruction

abstract: We present To The Point (TTP), a method for reconstructing 3D objects from a single image using 2D to 3D correspondences learned from weak supervision. We recover a 3D shape from a 2D image by first regressing the 2D positions corresponding to the 3D template vertices and then jointly estimating a rigid camera transform and non-rigid template deformation that optimally explain the 2D positions through the 3D shape projection. By relying on 3D-2D correspondences we use a simple per-sample optimization problem to replace CNN-based regression of camera pose and non-rigid deformation and thereby obtain substantially more accurate 3D reconstructions. We treat this optimization as a differentiable layer and train the whole system in an end-to-end manner. We report systematic quantitative improvements on multiple categories and provide qualitative results comprising diverse shape, pose and texture prediction examples. Project website: https://fkokkinos.github.io/to_the_point/.


title: Spotted disk and sphere graphs I

abstract: The disk graph of a handlebody H of genus g at least 2 with m marked points on the boundary is the graph whose vertices are isotopy classes of disks disjoint from the marked points and where two vertices are connected by an edge if they can be realized disjointly. We show that for m=1 the disk graph contains quasi-isometrically embedded copies of R^2. The same holds true for the sphere graph of the double handlebody with one marked point provided that g is even.


title: Ruddit: Norms of Offensiveness for English Reddit Comments

abstract: On social media platforms, hateful and offensive language negatively impact the mental well-being of users and the participation of people from diverse backgrounds. Automatic methods to detect offensive language have largely relied on datasets with categorical labels. However, comments can vary in their degree of offensiveness. We create the first dataset of English language Reddit comments that has fine-grained, real-valued scores between -1 (maximally supportive) and 1 (maximally offensive). The dataset was annotated using Best--Worst Scaling, a form of comparative annotation that has been shown to alleviate known biases of using rating scales. We show that the method produces highly reliable offensiveness scores. Finally, we evaluate the ability of widely-used neural models to predict offensiveness scores on this new dataset.


title: Chanakya: Learning Runtime Decisions for Adaptive Real-Time Perception

abstract: Real-time perception requires planned resource utilization. Computational planning in real-time perception is governed by two considerations -- accuracy and latency. There exist run-time decisions (e.g. choice of input resolution) that induce tradeoffs affecting performance on a given hardware, arising from intrinsic (content, e.g. scene clutter) and extrinsic (system, e.g. resource contention) characteristics. Earlier runtime execution frameworks employed rule-based decision algorithms and operated with a fixed algorithm latency budget to balance these concerns, which is sub-optimal and inflexible. We propose Chanakya, a learned approximate execution framework that naturally derives from the streaming perception paradigm, to automatically learn decisions induced by these tradeoffs instead. Chanakya is trained via novel rewards balancing accuracy and latency implicitly, without approximating either objectives. Chanakya simultaneously considers intrinsic and extrinsic context, and predicts decisions in a flexible manner. Chanakya, designed with low overhead in mind, outperforms state-of-the-art static and dynamic execution policies on public datasets on both server GPUs and edge devices.


title: Higher Hida theory for Hilbert modular varieties in the totally split case

abstract: We study $p$-adic properties of the coherent cohomology of some automorphic sheaves on the Hilbert modular variety $X$ for a totally real field $F$ in the case where the prime $p$ is totally split in $F$. More precisely, we develop higher Hida theory \`{a} la Pilloni, constructing, for $0\leq q\leq [F:\mathbb{Q}]$, some modules $M^q$ which $p$-adically interpolate the ordinary part of the cohomology groups $H^q(X, \underline{\omega}^{\kappa})$, varying the weight $\kappa$ of the automorphic sheaf.


title: GraphiT: Encoding Graph Structure in Transformers

abstract: We show that viewing graphs as sets of node features and incorporating structural and positional information into a transformer architecture is able to outperform representations learned with classical graph neural networks (GNNs). Our model, GraphiT, encodes such information by (i) leveraging relative positional encoding strategies in self-attention scores based on positive definite kernels on graphs, and (ii) enumerating and encoding local sub-structures such as paths of short length. We thoroughly evaluate these two ideas on many classification and regression tasks, demonstrating the effectiveness of each of them independently, as well as their combination. In addition to performing well on standard benchmarks, our model also admits natural visualization mechanisms for interpreting graph motifs explaining the predictions, making it a potentially strong candidate for scientific applications where interpretation is important. Code available at https://github.com/inria-thoth/GraphiT.


title: Polarization in Strong-Field Ionization of Excited Helium

abstract: We analyze how bound-state excitation, electron exchange and the residual binding potential influence above-threshold ionization (ATI) in Helium prepared in an excited $p$ state, oriented parallel and perpendicular to a linearly polarized mid-IR field. Using ab initio B-spline Algebraic Diagrammatic Construction (ADC), and several one-electron methods with effective potentials, including the Schr\"odinger solver Qprop, modified versions of the Strong-Field Approximation and the Coulomb-Quantum Orbit Strong-Field Approximation (CQSFA), we find that these specific physical mechanisms leave significant imprints in ATI spectra and photoelectron momentum distributions. Examples are changes of up to two orders of magnitude in the high-energy photoelectron region, and ramp-like structures that can be traced back to Coulomb-distorted trajectories. The present work also shows that electron exchange renders rescattering less effective, causing suppressions in the ATI plateau. Due to the long-range potential, the electron continuum dynamics are no longer confined to the polarization axis, in contrast to the predictions of traditional approaches. Thus, one may in principle probe excited-state configurations perpendicular to the driving-field polarization without the need for orthogonally polarized fields.


title: Information Geometry of Reversible Markov Chains

abstract: We analyze the information geometric structure of time reversibility for parametric families of irreducible transition kernels of Markov chains. We define and characterize reversible exponential families of Markov kernels, and show that irreducible and reversible Markov kernels form both a mixture family and, perhaps surprisingly, an exponential family in the set of all stochastic kernels. We propose a parametrization of the entire manifold of reversible kernels, and inspect reversible geodesics. We define information projections onto the reversible manifold, and derive closed-form expressions for the e-projection and m-projection, along with Pythagorean identities with respect to information divergence, leading to some new notion of reversiblization of Markov kernels. We show the family of edge measures pertaining to irreducible and reversible kernels also forms an exponential family among distributions over pairs. We further explore geometric properties of the reversible family, by comparing them with other remarkable families of stochastic matrices. Finally, we show that reversible kernels are, in a sense we define, the minimal exponential family generated by the m-family of symmetric kernels, and the smallest mixture family that comprises the e-family of memoryless kernels.


title: Lattice model for the Coulomb interacting chiral limit of the magic angle twisted bilayer graphene: symmetries, obstructions and excitations

abstract: We revisit the localized Wannier state description of the twisted bilayer graphene, focusing on the chiral limit. We provide a simple method for constructing such 2D exponentially localized -- yet valley polarized -- Wannier states, centered on the sites of the honeycomb lattice, paying particular attention to maintaining all the unobstructed symmetries. This includes the unitary particle-hole symmetry, and the combination of $C_2\mathcal{T}$ and the chiral particle-hole symmetry. The $C_2\mathcal{T}$ symmetry alone remains topologically obstructed and is not represented in a simple site-to-site fashion. We also analyze the gap and the dispersion of single particle and single hole excitations above a strong coupling ground state at integer fillings, which we find to be dominated by the on-site and the nearest neighbor terms of a triangular lattice hopping model, with a minimum at the center of the moire Brillouin zone. Finally, we use the insight gained from this real space description to understand the dependence of the gap and the effective mass on the range of the screened Coulomb interaction.


title: Outage Performance of $3$D Mobile UAV Caching for Hybrid Satellite-Terrestrial Networks

abstract: In this paper, we consider a hybrid satellite-terrestrial network (HSTN) where a multiantenna satellite communicates with a ground user equipment (UE) with the help of multiple cache-enabled amplify-and-forward (AF) three-dimensional ($3$D) mobile unmanned aerial vehicle (UAV) relays. Herein, we employ the two fundamental most popular content (MPC) and uniform content (UC) caching schemes for two types of mobile UAV relays, namely fully $3$D and fixed height. Taking into account the multiantenna satellite links and the random $3$D distances between UAV relays and UE, we analyze the outage probability (OP) of considered system with MPC and UC caching schemes. We further carry out the corresponding asymptotic OP analysis to present the insights on achievable performance gains of two schemes for both types of $3$D mobile UAV relaying. Specifically, we show the following: (a) MPC caching dominates the UC and no caching schemes; (b) fully $3$D mobile UAV relaying outperforms its fixed height counterpart. We finally corroborate the theoretic analysis by simulations.


title: Zeckendorf expansion, Dirichlet series and infinite series involving the infinite Fibonacci word

abstract: Let $\beta=\frac{1+\sqrt{5}}{2}$, $(a_n)_{n \in \mathbb{N}^+}$ be a non-uniform morphic sequence involving the infinite Fibonacci word and $(\delta(n))_{n \in \mathbb{N}^+}$ be a positive sequence such that for all positive integers $n$, $\delta(n)=\frac{1}{\sqrt{5}}\sum_{j \geq 0}\epsilon_j\beta^{j+2}$ if the unique Zeckendorf expansion of $n$ is $n=\sum_{j \geq 0}\epsilon_jF_{j+2}$ with Fibonacci numbers $F_0,F_1,F_2...$. We define and study some Dirichlet series in the form of $\sum_{n\geq 1}\frac{a_n}{(\delta(n))^s}$ and relations between them. Moreover, we compute the values of some infinite series involving the infinite Fibonacci word.


title: Blockchain and 6G: The Future of Secure and Ubiquitous Communication

abstract: The future communication will be characterized by ubiquitous connectivity and security. These features will be essential requirements for the efficient functioning of the futuristic applications. In this paper, in order to highlight the impact of blockchain and 6G on the future communication systems, we categorize these application requirements into two broad groups. In the first category, called Requirement Group I \mbox{(RG-I)}, we include the performance-related needs on data rates, latency, reliability and massive connectivity, while in the second category, called Requirement Group II \mbox{(RG-II)}, we include the security-related needs on data integrity, non-repudiability, and auditability. With blockchain and 6G, the network decentralization and resource sharing would minimize resource under-utilization thereby facilitating RG-I targets. Furthermore, through appropriate selection of blockchain type and consensus algorithms, RG-II needs of 6G applications can also be readily addressed. Through this study, the combination of blockchain and 6G emerges as an elegant solution for secure and ubiquitous future communication.


title: New interpretation of chiral phase transition: Violation of trilemma in QCD

abstract: We find that the chiral phase transition (chiral crossover) in QCD at physical point is triggered by big imbalance among three fundamental quantities essential for the QCD vacuum structure: susceptibility functions for the chiral symmetry, axial symmetry, and the topological charge. The balance, dobbed the QCD trilemma, is unavoidably violated when one of the magnitudes among them is highly dominated, or suppressed. Based on a three-flavor Nambu-Jona-Lasinio model, we explicitly evaluate the amount of violation of the QCD trilemma at physical point, and show that the violation takes place not only at vacuum, but even in a whole temperature regime including the chiral crossover epoch. This work confirms and extends the suggestion recently reported from lattice QCD with 2 flavors on dominance of the axial and topological susceptibilities left in the chiral susceptibility at high temperatures. It turns out that the imbalance is essentially due to the flavor symmetry violation of the lightest three flavors, and the flavor breaking specifically brings enhancement of the axial anomaly contribution in the chiral order parameter, while the the strength of the axial breaking and the transition rate of the topological charge are fairly insensitive to the flavor symmetry. The violation of QCD trilemma and its flavor dependence can be tested by lattice simulations with 2 + 1 flavors in the future, and would also give a new guiding principle to explore the flavor dependence of the chiral phase transition, such as the Columbia plot, including possible extension with external fields.


title: Reeb chords of Lagrangian slices

abstract: In this short note we observe that the boundary of a properly embedded compact exact Lagrangian sub-manifolds in a subcritical Weinstein domain $X$ necessarily admits Reeb chords. The existence of this Reeb chords either follows from an obstruction to the deformation of the boundary to a cylinder over a Legendrian sub-manifold or from the fact that the wrapped Floer homology of the Lagrangian vanishes once this boundary have been "collared".


title: Linear Stability of Periodic Trajectories in Inverse Magnetic Billiards

abstract: We study the stability of periodic trajectories of planar inverse magnetic billiards, a dynamical system whose trajectories are straight lines inside a connected planar domain $\Omega$ and circular arcs outside $\Omega$. Explicit examples are calculated in circles, ellipses, and the one parameter family of curves $x^{2k}+y^{2k}=1$. Comparisons are made to the linear stability of periodic billiard and magnetic billiard trajectories.


title: DT-grams: Structured Dependency Grammar Stylometry for Cross-Language Authorship Attribution

abstract: Cross-language authorship attribution problems rely on either translation to enable the use of single-language features, or language-independent feature extraction methods. Until recently, the lack of datasets for this problem hindered the development of the latter, and single-language solutions were performed on machine-translated corpora. In this paper, we present a novel language-independent feature for authorship analysis based on dependency graphs and universal part of speech tags, called DT-grams (dependency tree grams), which are constructed by selecting specific sub-parts of the dependency graph of sentences. We evaluate DT-grams by performing cross-language authorship attribution on untranslated datasets of bilingual authors, showing that, on average, they achieve a macro-averaged F1 score of 0.081 higher than previous methods across five different language pairs. Additionally, by providing results for a diverse set of features for comparison, we provide a baseline on the previously undocumented task of untranslated cross-language authorship attribution.


title: The effect of screening mechanisms on black hole binary inspiral waveforms

abstract: Scalar-tensor theories leaving significant modifications of gravity at cosmological scales rely on screening mechanisms to recover General Relativity (GR) in high-density regions and pass stringent tests with astrophysical objects. Much focus has been placed on the signatures of such modifications of gravity on the propagation of gravitational waves (GWs) through cosmological distances while typically assuming their emission from fully screened regions with the wave generation strictly abiding by GR. Here, we closely analyse the impact of screening mechanisms on the inspiral GW waveforms from compact sources by employing a scaling method that enables a post-Newtonian (PN) expansion in screened regimes. Particularly, we derive the leading-order corrections to a fully screened emission to first PN order in the near zone and we also compute the modifications in the unscreened radiation zone to second PN order. For a concrete example, we apply our results to a cubic Galileon model. The resulting GW amplitude from a binary black hole inspiral deviate from its GR counterpart at most by one part in $10^{2}$ for the modifications in the radiation zone and at most one part in $10^{11}$ due to next-order corrections to the fully screened near zone. We expect such modifications to be undetectable by the current generation of GW detectors, but the deviation is not so small as to remain undetectable in future experiments.


title: Scattering Theory of Non-Equilibrium Noise and Delta $T$ current fluctuations through a quantum dot

abstract: We consider the non-equilibrium zero frequency noise generated by a temperature gradient applied on a device composed of two normal leads separated by a quantum dot. We recall the derivation of the scattering theory for non-equilibrium noise for a general situation where both a bias voltage and a temperature gradient can coexist and put it in a historical perspective. We provide a microscopic derivation of zero frequency noise through a quantum dot based on a tight binding Hamiltonian, which constitutes a generalization of the pioneering work of Caroli et al. for the current obtained in the context of the Keldysh formalism. For a single level quantum dot, the obtained transmission coefficient entering the scattering formula for the non-equilibrium noise corresponds to a Breit-Wigner resonance. We compute the delta-$T$ noise as a function of the dot level position, and of the dot level width, in the Breit-Wigner case, for two relevant situations which were considered recently in two separate experiments. In the regime where the two reservoir temperatures are comparable, our gradient expansion shows that the delta-$T$ noise is dominated by its quadratic contribution, and is minimal close to resonance. In the opposite regime where one reservoir is much colder, the gradient expansion fails and we find the noise to be typically linear in temperature before saturating. In both situations, we conclude with a short discussion of the case where both a voltage bias and a temperature gradient are present, in order to address the potential competition with thermoelectric effects.


title: A multi-objective perspective on jointly tuning hardware and hyperparameters

abstract: In addition to the best model architecture and hyperparameters, a full AutoML solution requires selecting appropriate hardware automatically. This can be framed as a multi-objective optimization problem: there is not a single best hardware configuration but a set of optimal ones achieving different trade-offs between cost and runtime. In practice, some choices may be overly costly or take days to train. To lift this burden, we adopt a multi-objective approach that selects and adapts the hardware configuration automatically alongside neural architectures and their hyperparameters. Our method builds on Hyperband and extends it in two ways. First, we replace the stopping rule used in Hyperband by a non-dominated sorting rule to preemptively stop unpromising configurations. Second, we leverage hyperparameter evaluations from related tasks via transfer learning by building a probabilistic estimate of the Pareto front that finds promising configurations more efficiently than random search. We show in extensive NAS and HPO experiments that both ingredients bring significant speed-ups and cost savings, with little to no impact on accuracy. In three benchmarks where hardware is selected in addition to hyperparameters, we obtain runtime and cost reductions of at least 5.8x and 8.8x, respectively. Furthermore, when applying our multi-objective method to the tuning of hyperparameters only, we obtain a 10\% improvement in runtime while maintaining the same accuracy on two popular NAS benchmarks.


title: A Dataset And Benchmark Of Underwater Object Detection For Robot Picking

abstract: Underwater object detection for robot picking has attracted a lot of interest. However, it is still an unsolved problem due to several challenges. We take steps towards making it more realistic by addressing the following challenges. Firstly, the currently available datasets basically lack the test set annotations, causing researchers must compare their method with other SOTAs on a self-divided test set (from the training set). Training other methods lead to an increase in workload and different researchers divide different datasets, resulting there is no unified benchmark to compare the performance of different algorithms. Secondly, these datasets also have other shortcomings, e.g., too many similar images or incomplete labels. Towards these challenges we introduce a dataset, Detecting Underwater Objects (DUO), and a corresponding benchmark, based on the collection and re-annotation of all relevant datasets. DUO contains a collection of diverse underwater images with more rational annotations. The corresponding benchmark provides indicators of both efficiency and accuracy of SOTAs (under the MMDtection framework) for academic research and industrial applications, where JETSON AGX XAVIER is used to assess detector speed to simulate the robot-embedded environment.


title: DASO: Distribution-Aware Semantics-Oriented Pseudo-label for Imbalanced Semi-Supervised Learning

abstract: The capability of the traditional semi-supervised learning (SSL) methods is far from real-world application due to severely biased pseudo-labels caused by (1) class imbalance and (2) class distribution mismatch between labeled and unlabeled data. This paper addresses such a relatively under-explored problem. First, we propose a general pseudo-labeling framework that class-adaptively blends the semantic pseudo-label from a similarity-based classifier to the linear one from the linear classifier, after making the observation that both types of pseudo-labels have complementary properties in terms of bias. We further introduce a novel semantic alignment loss to establish balanced feature representation to reduce the biased predictions from the classifier. We term the whole framework as Distribution-Aware Semantics-Oriented (DASO) Pseudo-label. We conduct extensive experiments in a wide range of imbalanced benchmarks: CIFAR10/100-LT, STL10-LT, and large-scale long-tailed Semi-Aves with open-set class, and demonstrate that, the proposed DASO framework reliably improves SSL learners with unlabeled data especially when both (1) class imbalance and (2) distribution mismatch dominate.


title: Virtual Compton scattering at low energies with a positron beam

abstract: The Virtual Compton scattering (VCS) process at low energies explores the electromagnetic structure of the proton in terms of generalized polarizabilities (GPs). In the one-photon exchange approximation, VCS can be accessed with exclusive photon production reactions with electron or positron beams. The extraction of the GPs from VCS with electron beam has seen substantial progress over the past two decades. Nonetheless, a consistent picture of the GPs from low to higher scales demands further investigations. Complementary measurements with positron beams offer an unique possibility, and we present an impact study of such experimental program.