title: Sharp bounds on the $A_{\alpha}$-index of graphs in terms of the independence number

abstract: Given a graph $G$, the adjacency matrix and degree diagonal matrix of $G$ are denoted by $A(G)$ and $D(G)$, respectively. In 2017, Nikiforov \cite{0007} proposed the $A_{\alpha}$-matrix: $A_{\alpha}(G)=\alpha D(G)+(1-\alpha)A(G),$ where $\alpha\in [0, 1]$. The largest eigenvalue of this novel matrix is called the $A_\alpha$-index of $G$. In this paper, we characterize the graphs with minimum $A_\alpha$-index among $n$-vertex graphs with independence number $i$ for $\alpha\in[0,1)$, where $i=1,\lfloor\frac{n}{2}\rfloor,\lceil\frac{n}{2}\rceil,{\lfloor\frac{n}{2}\rfloor+1},n-3,n-2,n-1,$ whereas for $i=2$ we consider the same problem for $\alpha\in [0,\frac{3}{4}{]}.$ Furthermore, we determine the unique graph (resp. tree) on $n$ vertices with given independence number having the maximum $A_\alpha$-index with $\alpha\in[0,1)$, whereas for the $n$-vertex bipartite graphs with given independence number, we characterize the unique graph having the maximum $A_\alpha$-index with $\alpha\in[\frac{1}{2},1).$


title: Minimality conditions equivalent to the finitude of Fermat and Mersenne primes

abstract: It is still open whether there exist infinitely many Fermat primes or infinitely many composite Fermat numbers. The same question concerning the Mersenne numbers is also unsolved. Extending some results from [9], we characterizethe the Fermat primes and the Mersenne primes in terms of topological minimality of some matrix groups. This is done by showing, among other things, that if $\Bbb{F}$ is a subfield of a local field of characteristic $\neq 2,$ then the special upper triangular group $\operatorname{ST^+}(n,\Bbb{F})$ is minimal precisely when the special linear group $\operatorname{SL}(n,\Bbb{F})$ is. We provide criteria for the minimality (and total minimality) of $\operatorname{SL}(n,\Bbb{F})$ and $\operatorname{ST^+}(n,\Bbb{F}),$ where $\Bbb{F}$ is a subfield of $\Bbb{C}.$ Let $\mathcal F_\pi$ and $\mathcal F_c $ be the set of Fermat primes and the set of composite Fermat numbers, respectively. As our main result, we prove that the following conditions are equivalent for $\mathcal{A}\in \{\mathcal F_\pi, \mathcal F_c\}:$ $\bullet \ \mathcal{A}$ is finite; $\bullet \ \prod_{F_n\in \mathcal{A}}\operatorname{SL}(F_n-1, \Bbb{Q}(i))$ is minimal, where $\Bbb{Q}(i)$ is the Gaussian rational field; $\bullet \ \prod_{F_n\in \mathcal{A}}\operatorname{ST^+}(F_n-1, \Bbb{Q}(i))$ is minimal. Similarly, denote by $\mathcal M_\pi$ and $\mathcal M_c $ the set of Mersenne primes and the set of composite Mersenne numbers, respectively, and let $\mathcal{B}\in\{ \mathcal M_\pi, \mathcal M_c\}.$ Then the following conditions are equivalent: $\bullet \ \mathcal B$ is finite; $\bullet \ \prod_{M_p\in \mathcal{B}}\operatorname{SL}(M_p+1, \Bbb{Q}(i))$ is minimal; $\bullet \ \prod_{M_p\in \mathcal{B}}\operatorname{ST^+}(M_p+1, \Bbb{Q}(i))$ is minimal.


title: Four-dimensional emittance measurement at the Spallation Neutron Source

abstract: A coasting hadron beam with an elliptical transverse profile, uniform charge density, and small transverse four-dimensional (4D) emittance could improve accelerator performance in several contexts. A phase space painting method to generate such a distribution is being tested in the Spallation Neutron Source (SNS) accumulator ring. A critical component of these efforts is to measure the 4D emittance of the beam during accumulation. The 4D emittance can be reconstructed from measured beam profiles in two ways: in the multi-optics method, the optics between a reconstruction and measurement location are varied; in the fixed-optics method, multiple measurement locations are used without modifying the optics. The fixed-optics method is faster but can lead to large uncertainty in the reconstructed 4D emittance. In this paper, we implement a variant of the multi-optics method using the four available wire-scanners near the SNS target. We also modify the wire-scanner region to reduce the uncertainty of the fixed-optics method. We then demonstrate the usefulness of the fixed-optics method by reconstructing the 4D emittance evolution during accumulation in the SNS ring.


title: UMass PCL at SemEval-2022 Task 4: Pre-trained Language Model Ensembles for Detecting Patronizing and Condescending Language

abstract: Patronizing and condescending language (PCL) is everywhere, but rarely is the focus on its use by media towards vulnerable communities. Accurately detecting PCL of this form is a difficult task due to limited labeled data and how subtle it can be. In this paper, we describe our system for detecting such language which was submitted to SemEval 2022 Task 4: Patronizing and Condescending Language Detection. Our approach uses an ensemble of pre-trained language models, data augmentation, and optimizing the threshold for detection. Experimental results on the evaluation dataset released by the competition hosts show that our work is reliably able to detect PCL, achieving an F1 score of 55.47% on the binary classification task and a macro F1 score of 36.25% on the fine-grained, multi-label detection task.


title: Electron quantum optics with beam splitters and waveguides in Dirac Matter

abstract: An electron behaves as both a particle and a wave. On account of this it can be controlled in a similar way to a photon and electronic devices can be designed in analogy to those based on light when there is minimal excitation of the underlying Fermi sea. Here splitting of the electron wavefunction is explored for systems supporting Dirac type physics, with a focus on graphene but being equally applicable to electronic states in topological insulators, liquid helium, and other systems described relativistically. Electron beam-splitters and superfocusers are analysed along with propagation through nanoribbons, demonstrating that the waveform, system geometry, and energies all need to balance to maximise the probability density and hence lifetime of the flying electron. These findings form the basis for novel quantum electron optics.


title: A Convergence Analysis of Nesterov's Accelerated Gradient Method in Training Deep Linear Neural Networks

abstract: Momentum methods, including heavy-ball~(HB) and Nesterov's accelerated gradient~(NAG), are widely used in training neural networks for their fast convergence. However, there is a lack of theoretical guarantees for their convergence and acceleration since the optimization landscape of the neural network is non-convex. Nowadays, some works make progress towards understanding the convergence of momentum methods in an over-parameterized regime, where the number of the parameters exceeds that of the training instances. Nonetheless, current results mainly focus on the two-layer neural network, which are far from explaining the remarkable success of the momentum methods in training deep neural networks. Motivated by this, we investigate the convergence of NAG with constant learning rate and momentum parameter in training two architectures of deep linear networks: deep fully-connected linear neural networks and deep linear ResNets. Based on the over-parameterization regime, we first analyze the residual dynamics induced by the training trajectory of NAG for a deep fully-connected linear neural network under the random Gaussian initialization. Our results show that NAG can converge to the global minimum at a $(1 - \mathcal{O}(1/\sqrt{\kappa}))^t$ rate, where $t$ is the iteration number and $\kappa > 1$ is a constant depending on the condition number of the feature matrix. Compared to the $(1 - \mathcal{O}(1/{\kappa}))^t$ rate of GD, NAG achieves an acceleration over GD. To the best of our knowledge, this is the first theoretical guarantee for the convergence of NAG to the global minimum in training deep neural networks. Furthermore, we extend our analysis to deep linear ResNets and derive a similar convergence result.


title: Heavy Rain Face Image Restoration: Integrating Physical Degradation Model and Facial Component Guided Adversarial Learning

abstract: With the recent increase in intelligent CCTVs for visual surveillance, a new image degradation that integrates resolution conversion and synthetic rain models is required. For example, in heavy rain, face images captured by CCTV from a distance have significant deterioration in both visibility and resolution. Unlike traditional image degradation models (IDM), such as rain removal and superresolution, this study addresses a new IDM referred to as a scale-aware heavy rain model and proposes a method for restoring high-resolution face images (HR-FIs) from low-resolution heavy rain face images (LRHR-FI). To this end, a 2-stage network is presented. The first stage generates low-resolution face images (LR-FIs), from which heavy rain has been removed from the LRHR-FIs to improve visibility. To realize this, an interpretable IDM-based network is constructed to predict physical parameters, such as rain streaks, transmission maps, and atmospheric light. In addition, the image reconstruction loss is evaluated to enhance the estimates of the physical parameters. For the second stage, which aims to reconstruct the HR-FIs from the LR-FIs outputted in the first stage, facial component guided adversarial learning (FCGAL) is applied to boost facial structure expressions. To focus on informative facial features and reinforce the authenticity of facial components, such as the eyes and nose, a face-parsing-guided generator and facial local discriminators are designed for FCGAL. The experimental results verify that the proposed approach based on physical-based network design and FCGAL can remove heavy rain and increase the resolution and visibility simultaneously. Moreover, the proposed heavy-rain face image restoration outperforms state-of-the-art models of heavy rain removal, image-to-image translation, and superresolution.


title: Saliency in Augmented Reality

abstract: With the rapid development of multimedia technology, Augmented Reality (AR) has become a promising next-generation mobile platform. The primary theory underlying AR is human visual confusion, which allows users to perceive the real-world scenes and augmented contents (virtual-world scenes) simultaneously by superimposing them together. To achieve good Quality of Experience (QoE), it is important to understand the interaction between two scenarios, and harmoniously display AR contents. However, studies on how this superimposition will influence the human visual attention are lacking. Therefore, in this paper, we mainly analyze the interaction effect between background (BG) scenes and AR contents, and study the saliency prediction problem in AR. Specifically, we first construct a Saliency in AR Dataset (SARD), which contains 450 BG images, 450 AR images, as well as 1350 superimposed images generated by superimposing BG and AR images in pair with three mixing levels. A large-scale eye-tracking experiment among 60 subjects is conducted to collect eye movement data. To better predict the saliency in AR, we propose a vector quantized saliency prediction method and generalize it for AR saliency prediction. For comparison, three benchmark methods are proposed and evaluated together with our proposed method on our SARD. Experimental results demonstrate the superiority of our proposed method on both of the common saliency prediction problem and the AR saliency prediction problem over benchmark methods. Our dataset and code are available at: https://github.com/DuanHuiyu/ARSaliency.


title: Tracking monocular camera pose and deformation for SLAM inside the human body

abstract: Monocular SLAM in deformable scenes will open the way to multiple medical applications like computer-assisted navigation in endoscopy, automatic drug delivery or autonomous robotic surgery. In this paper we propose a novel method to simultaneously track the camera pose and the 3D scene deformation, without any assumption about environment topology or shape. The method uses an illumination-invariant photometric method to track image features and estimates camera motion and deformation combining reprojection error with spatial and temporal regularization of deformations. Our results in simulated colonoscopies show the method's accuracy and robustness in complex scenes under increasing levels of deformation. Our qualitative results in human colonoscopies from Endomapper dataset show that the method is able to successfully cope with the challenges of real endoscopies: deformations, low texture and strong illumination changes. We also compare with previous tracking methods in simpler scenarios from Hamlyn dataset where we obtain competitive performance, without needing any topological assumption.


title: Average estimates and sign change of Fourier coefficients of cusp forms at integers represented by binary quadratic form of fixed discriminant

abstract: In this article, we establish an average behaviour of the normalised Fourier coefficients of the Hecke eigenforms supported at the integers represented by any primitive integral positive definite binary quadratic form of fixed discriminant $D < 0$ when the class number $h(D) = 1$. We also obtain a quantitative result for the number of sign changes of the sequence of the normalised Fourier coefficients $\lambda_{f}(n)$ of the Hecke eigenforms $f$ where $n$ is represented by any primitive integral positive definite binary quadratic form of fixed discriminant $D < 0$ when the class number $h(D) = 1$ in the interval $(x,2x]$, for sufficiently large $x$.


title: Application of Transfer Learning and Ensemble Learning in Image-level Classification for Breast Histopathology

abstract: Background: Breast cancer has the highest prevalence in women globally. The classification and diagnosis of breast cancer and its histopathological images have always been a hot spot of clinical concern. In Computer-Aided Diagnosis (CAD), traditional classification models mostly use a single network to extract features, which has significant limitations. On the other hand, many networks are trained and optimized on patient-level datasets, ignoring the application of lower-level data labels. Method: This paper proposes a deep ensemble model based on image-level labels for the binary classification of benign and malignant lesions of breast histopathological images. First, the BreaKHis dataset is randomly divided into a training, validation and test set. Then, data augmentation techniques are used to balance the number of benign and malignant samples. Thirdly, considering the performance of transfer learning and the complementarity between each network, VGG16, Xception, ResNet50, DenseNet201 are selected as the base classifiers. Result: In the ensemble network model with accuracy as the weight, the image-level binary classification achieves an accuracy of $98.90\%$. In order to verify the capabilities of our method, the latest Transformer and Multilayer Perception (MLP) models have been experimentally compared on the same dataset. Our model wins with a $5\%-20\%$ advantage, emphasizing the ensemble model's far-reaching significance in classification tasks. Conclusion: This research focuses on improving the model's classification performance with an ensemble algorithm. Transfer learning plays an essential role in small datasets, improving training speed and accuracy. Our model has outperformed many existing approaches in accuracy, providing a method for the field of auxiliary medical diagnosis.


title: Optimal Coding Theorems in Time-Bounded Kolmogorov Complexity

abstract: The classical coding theorem in Kolmogorov complexity states that if an $n$-bit string $x$ is sampled with probability $\delta$ by an algorithm with prefix-free domain then K$(x) \leq \log(1/\delta) + O(1)$. In a recent work, Lu and Oliveira [LO21] established an unconditional time-bounded version of this result, by showing that if $x$ can be efficiently sampled with probability $\delta$ then rKt$(x) = O(\log(1/\delta)) + O(\log n)$, where rKt denotes the randomized analogue of Levin's Kt complexity. Unfortunately, this result is often insufficient when transferring applications of the classical coding theorem to the time-bounded setting, as it achieves a $O(\log(1/\delta))$ bound instead of the information-theoretic optimal $\log(1/\delta)$. We show a coding theorem for rKt with a factor of $2$. As in previous work, our coding theorem is efficient in the sense that it provides a polynomial-time probabilistic algorithm that, when given $x$, the code of the sampler, and $\delta$, it outputs, with probability $\ge 0.99$, a probabilistic representation of $x$ that certifies this rKt complexity bound. Assuming the security of cryptographic pseudorandom generators, we show that no efficient coding theorem can achieve a bound of the form rKt$(x) \leq (2 - o(1)) \cdot \log(1/\delta) +$ poly$(\log n)$. Under a weaker assumption, we exhibit a gap between efficient coding theorems and existential coding theorems with near-optimal parameters. We consider pK$^t$ complexity [GKLO22], a variant of rKt where the randomness is public and the time bound is fixed. We observe the existence of an optimal coding theorem for pK$^t$, and employ this result to establish an unconditional version of a theorem of Antunes and Fortnow [AF09] which characterizes the worst-case running times of languages that are in average polynomial-time over all P-samplable distributions.


title: An anisotropic summability and mixed sequences

abstract: In this paper we define and study a vector-valued sequence space, called the space of anisotropic $(s,q,r)$-summable sequences, that generalizes the classical space of $(s; q)$-mixed sequences (or mixed $(s; q)$-summable sequences). Furthermore, we define two classes of linear operators involving this new space and one of them generalizes the class of $(s; q) $-mixed linear operators due A. Pietsch. Some characterizations, inclusion results and a Pietsch domination-type theorem are presented for these classes. It is worth mentioning that some of these results are new even in the particular cases of mixed summable sequences and mixed summing operators.


title: Joule-Thomson expansion of d-dimensional charged AdS black holes with cloud of strings and quintessence

abstract: Herein, we focus on the study of Joule-Thomson expansion corresponding to a d-dimensional charged AdS black hole with cloud of strings and quintessence. Then its relevant solution and some thermodynamic properties are investigated. Specifically, we evaluate its Joule-Thomson expansion from four important aspects, including the Joule-Thomson coefficient, inversion curve, isenthalpic curve, and ratio $\frac{T_{i}^{min}}{T_{c}}$. After analysis, different dimensions with strings of cloud and quintessence parameters have different effects on the Joule-Thomson coefficient (the same situation are found for the inversion curve, isenthalpic curve, and ratio $\frac{T_{i}^{min}}{T_{c}}$).


title: A Multi-stage Stochastic Programming Approach for Pre-positioning of Relief Supplies

abstract: Pre-positioning of relief supplies is an important aspect of disaster operations management that aims at decreasing the response time by advancing procurement and storage of needed supplies. In this paper we consider commodity life-time period with the related costs in keeping the commodity and removing it from the storage when it is close to expiration (i.e. holding and removal cost). We develop a multi-stage stochastic programming model for pre-positioning of relief supplies, which provides relief agencies insight on how to have dynamically control inventories due to uncertain demands when disasters (e.g., hurricane or earthquake) occur. We also present a case study based on mainland United States to illustrate the proposed model as well as provide managerial insights to relief agencies.


title: Imprint of primordial gravitational wave with extremely low frequency on gravitational lens system

abstract: Primordial gravitational waves with extremely low frequency are expected to origin from inflation in the early Universe. The detection of such kind of gravitational waves is of great significance to verify the inflationary theory and determine the energy scale of inflation. B-mode of polarization of cosmic microwave background shows to be a promising probe of extremely low frequency primordial gravitational wave. In order to find a complementary observational feature induced by primordial gravitational wave with extremely low frequency, we propose an alternative way of detection by investigating the effect of primordial gravitational wave with extremely low frequency on a gravitational lens system with a non-aligned source-deflector-observer configuration. The results show that, with a series of chosen parameters, gravitational lens system with perturbation from extremely low frequency primordial gravitational wave could induce time delay which could deviate from the time delay deduced from theoretical model as much as about one hundred percent, meaning that gravitational lens system with a non-aligned configuration could serve as a potential long-base-line detector of extremely low frequency primordial gravitational wave.


title: An alternative approach for distributed parameter estimation under Gaussian settings

abstract: This paper takes a different approach for the distributed linear parameter estimation over a multi-agent network. The parameter vector is considered to be stochastic with a Gaussian distribution. The sensor measurements at each agent are linear and corrupted with additive white Gaussian noise. Under such settings, this paper presents a novel distributed estimation algorithm that fuses the the concepts of consensus and innovations by incorporating the consensus terms (of neighboring estimates) into the innovation terms. Under the assumption of distributed parameter observability, introduced in this paper, we design the optimal gain matrices such that the distributed estimates are consistent and achieves fast convergence.

categories: eess.SY cs.IT cs.LG cs.SY math.IT math.OC


title: 1-point functions for symmetrized Heisenberg and symmetrized lattice vertex operator algebras

abstract: We obtain explicit formulas for the $1$-point functions of all states in the symmetrized Heisenberg algebra $M^+$ and symmetrized lattice VOAs $V_L^+$. For this we employ a new $\mathbf Z_2$-twisted variant of so-called Zhu recursion.


title: Backward Reachability Analysis for Neural Feedback Loops

abstract: The increasing prevalence of neural networks (NNs) in safety-critical applications calls for methods to certify their behavior and guarantee safety. This paper presents a backward reachability approach for safety verification of neural feedback loops (NFLs), i.e., closed-loop systems with NN control policies. While recent works have focused on forward reachability as a strategy for safety certification of NFLs, backward reachability offers advantages over the forward strategy, particularly in obstacle avoidance scenarios. Prior works have developed techniques for backward reachability analysis for systems without NNs, but the presence of NNs in the feedback loop presents a unique set of problems due to the nonlinearities in their activation functions and because NN models are generally not invertible. To overcome these challenges, we use existing forward NN analysis tools to find affine bounds on the control inputs and solve a series of linear programs (LPs) to efficiently find an approximation of the backprojection (BP) set, i.e., the set of states for which the NN control policy will drive the system to a given target set. We present an algorithm to iteratively find BP set estimates over a given time horizon and demonstrate the ability to reduce conservativeness in the BP set estimates by up to 88% with low additional computational cost. We use numerical results from a double integrator model to verify the efficacy of these algorithms and demonstrate the ability to certify safety for a linearized ground robot model in a collision avoidance scenario where forward reachability fails.


title: A Syntactic Adaptive Problem Solver Learning Landscape Structures for Scheduling in Clinical Laboratory

abstract: This paper attempts to derive a mathematical formulation for real-practice clinical laboratory schedul-ing, and to present a syntactic adaptive problem solver by leveraging landscape structures. After formulating scheduling of medical tests as a distributed scheduling problem in heterogeneous, flexible job shop environment, we establish a mixed integer programming model to minimize mean test turn-around time. Preliminary landscape analysis sustains that these clinics-orientated scheduling instances are difficult to solve. The search difficulty motivates the search for an adaptive problem solver to reduce repetitive algorithm-tuning work, but with a guaranteed convergence. Yet, under a search strategy, relatedness from exploitation competence to landscape topology is not transparent. Under strategies that impose different-magnitude perturbations, we investigate changes in landscape struc-ture and find that disturbance amplitude, local-global optima connectivity, landscape's ruggedness and plateau size fairly predict strategies' efficacy. Medium-size instances of 100 tasks are easier un-der smaller-perturbation strategies that lead to smoother landscapes with smaller plateaus. For large-size instances of 200-500 tasks, existing strategies at hand, having either larger or smaller perturba-tions, face more rugged landscapes with larger plateaus that impede search. Our hypothesis that me-dium perturbations may generate smoother landscapes with smaller plateaus drives our design of this new strategy and its verification by experiments. Composite neighborhoods managed by meta-Lamarckian learning show beyond average performance, implying reliability when prior knowledge of landscape is unknown.


title: Electron-phonon interaction contribution to the total energy of group IV semiconductor polymorphs: evaluation and implications

abstract: In density functional theory (DFT) based total energy studies, the van der Waals (vdW) and zero-point vibrational energy (ZPVE) correction terms are included to obtain energy differences between polymorphs. We propose and compute a new correction term to the total energy, due to electron-phonon interactions (EPI). We rely on Allen's general formalism, which goes beyond the Quasi-Harmonic Approximation (QHA), to include the free energy contributions due to quasiparticle interactions. We show that, for semiconductors and insulators, the EPI contributions to the free energies of electrons and phonons are the corresponding zero-point energy contributions. Using an approximate version of Allen's formalism in combination with the Allen-Heine theory for EPI corrections, we calculate the zero-point EPI corrections to the total energy for cubic and hexagonal polytypes of Carbon, Silicon and Silicon Carbide. The EPI corrections alter the energy differences between polytypes. In SiC polytypes, the EPI correction term is more sensitive to crystal structure than the vdW and ZPVE terms and is thus essential in determining their energy differences. It clearly establishes that the cubic SiC-3C is metastable and hexagonal SiC-4H is the stable polytype. Our results are consistent with the experimental results of Kleykamp. Our study enables the inclusion of EPI corrections as a separate term in the free energy expression. This opens the way to go beyond the QHA by including the contribution of EPI on all thermodynamic properties.


title: A high-resolution canopy height model of the Earth

abstract: The worldwide variation in vegetation height is fundamental to the global carbon cycle and central to the functioning of ecosystems and their biodiversity. Geospatially explicit and, ideally, highly resolved information is required to manage terrestrial ecosystems, mitigate climate change, and prevent biodiversity loss. Here, we present the first global, wall-to-wall canopy height map at 10 m ground sampling distance for the year 2020. No single data source meets these requirements: dedicated space missions like GEDI deliver sparse height data, with unprecedented coverage, whereas optical satellite images like Sentinel-2 offer dense observations globally, but cannot directly measure vertical structures. By fusing GEDI with Sentinel-2, we have developed a probabilistic deep learning model to retrieve canopy height from Sentinel-2 images anywhere on Earth, and to quantify the uncertainty in these estimates. The presented approach reduces the saturation effect commonly encountered when estimating canopy height from satellite images, allowing to resolve tall canopies with likely high carbon stocks. According to our map, only 5% of the global landmass is covered by trees taller than 30 m. Such data play an important role for conservation, e.g., we find that only 34% of these tall canopies are located within protected areas. Our model enables consistent, uncertainty-informed worldwide mapping and supports an ongoing monitoring to detect change and inform decision making. The approach can serve ongoing efforts in forest conservation, and has the potential to foster advances in climate, carbon, and biodiversity modelling.


title: Experimental measurement-device-independent type quantum key distribution with flawed and correlated sources

abstract: The security of quantum key distribution (QKD) is severely threatened by discrepancies between realistic devices and theoretical assumptions. Recently, a significant framework called the reference technique was proposed to provide security against arbitrary source flaws under current technology such as state preparation flaws, side channels caused by mode dependencies, the Trojan horse atttacks and pulse correlations. Here, we adopt the reference technique to prove security of an efficient four-phase measurement-device-independent QKD using laser pulses against potential source imperfections. We present a characterization of source flaws and connect them to experiments, together with a finite-key analysis against coherent attacks. In addition, we demonstrate the feasibility of our protocol through a proof-of-principle experimental implementation and achieve a secure key rate of 253 bps with a 20 dB channel loss. Compared with previous QKD protocols with imperfect devices, our study considerably improves both the secure key rate and the transmission distance, and shows application potential in the practical deployment of secure QKD with device imperfections.


title: Hierarchical Optimal Transport for Comparing Histopathology Datasets

abstract: Scarcity of labeled histopathology data limits the applicability of deep learning methods to under-profiled cancer types and labels. Transfer learning allows researchers to overcome the limitations of small datasets by pre-training machine learning models on larger datasets similar to the small target dataset. However, similarity between datasets is often determined heuristically. In this paper, we propose a principled notion of distance between histopathology datasets based on a hierarchical generalization of optimal transport distances. Our method does not require any training, is agnostic to model type, and preserves much of the hierarchical structure in histopathology datasets imposed by tiling. We apply our method to H&E stained slides from The Cancer Genome Atlas from six different cancer types. We show that our method outperforms a baseline distance in a cancer-type prediction task. Our results also show that our optimal transport distance predicts difficulty of transferability in a tumor vs.normal prediction setting.


title: GL-CLeF: A Global-Local Contrastive Learning Framework for Cross-lingual Spoken Language Understanding

abstract: Due to high data demands of current methods, attention to zero-shot cross-lingual spoken language understanding (SLU) has grown, as such approaches greatly reduce human annotation effort. However, existing models solely rely on shared parameters, which can only perform implicit alignment across languages. We present Global--Local Contrastive Learning Framework (GL-CLeF) to address this shortcoming. Specifically, we employ contrastive learning, leveraging bilingual dictionaries to construct multilingual views of the same utterance, then encourage their representations to be more similar than negative example pairs, which achieves to explicitly aligned representations of similar sentences across languages. In addition, a key step in GL-CLeF is a proposed Local and Global component, which achieves a fine-grained cross-lingual transfer (i.e., sentence-level Local intent transfer, token-level Local slot transfer, and semantic-level Global transfer across intent and slot). Experiments on MultiATIS++ show that GL-CLeF achieves the best performance and successfully pulls representations of similar sentences across languages closer.


title: MP2: A Momentum Contrast Approach for Recommendation with Pointwise and Pairwise Learning

abstract: Binary pointwise labels (aka implicit feedback) are heavily leveraged by deep learning based recommendation algorithms nowadays. In this paper we discuss the limited expressiveness of these labels may fail to accommodate varying degrees of user preference, and thus lead to conflicts during model training, which we call annotation bias. To solve this issue, we find the soft-labeling property of pairwise labels could be utilized to alleviate the bias of pointwise labels. To this end, we propose a momentum contrast framework (MP2) that combines pointwise and pairwise learning for recommendation. MP2 has a three-tower network structure: one user network and two item networks. The two item networks are used for computing pointwise and pairwise loss respectively. To alleviate the influence of the annotation bias, we perform a momentum update to ensure a consistent item representation. Extensive experiments on real-world datasets demonstrate the superiority of our method against state-of-the-art recommendation algorithms.


title: Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations

abstract: We present a framework that, given a set of skills a robot can perform, abstracts sensor data into symbols that we use to automatically encode the robot's capabilities in Linear Temporal Logic. We specify reactive high-level tasks based on these capabilities, for which a strategy is automatically synthesized and executed on the robot, if the task is feasible. If a task is not feasible given the robot's capabilities, we present two methods, one enumeration-based and one synthesis-based, for automatically suggesting additional skills for the robot or modifications to existing skills that would make the task feasible. We demonstrate our framework on a Baxter robot manipulating blocks on a table, a Baxter robot manipulating plates on a table, and a Kinova arm manipulating vials, with multiple sensor modalities, including raw images.


title: Scaling properties of elastic proton-proton scattering at LHC energies

abstract: The TOTEM Collaboration has measured the differential cross section of elastic proton-proton scattering $\mathrm{d}\sigma/\mathrm{d}|t|$ at $\sqrt{s} = 2.76$, 7, 8, and 13 TeV. It is observed that all $\mathrm{d}\sigma/\mathrm{d}|t|$ data points vary in the same way as a function of the center-of-mass energy in the so-called "dip" and "bump" regions. These features hint at possible universal properties of elastic scattering. Based on these empirical observations, and taking inspiration from saturation models, we propose a simple scaling law for proton-proton elastic scattering at LHC energies. We find that the $\mathrm{d}\sigma/\mathrm{d}|t|$ at LHC energies fall onto a universal curve when they are mapped to the scaling variables $ \mathrm{d}\sigma/\mathrm{d}|t| \times (s/\text{TeV}^2)^{-0.305} $ versus $(s/\text{TeV}^2)^{0.065} (|t|/\text{GeV}^2)^{0.72}$. Some implications of this scaling law in the impact parameter picture of the scattering amplitudes are explored.


title: A Comprehensive Survey on Data-Efficient GANs in Image Generation

abstract: Generative Adversarial Networks (GANs) have achieved remarkable achievements in image synthesis. These successes of GANs rely on large scale datasets, requiring too much cost. With limited training data, how to stable the training process of GANs and generate realistic images have attracted more attention. The challenges of Data-Efficient GANs (DE-GANs) mainly arise from three aspects: (i) Mismatch Between Training and Target Distributions, (ii) Overfitting of the Discriminator, and (iii) Imbalance Between Latent and Data Spaces. Although many augmentation and pre-training strategies have been proposed to alleviate these issues, there lacks a systematic survey to summarize the properties, challenges, and solutions of DE-GANs. In this paper, we revisit and define DE-GANs from the perspective of distribution optimization. We conclude and analyze the challenges of DE-GANs. Meanwhile, we propose a taxonomy, which classifies the existing methods into three categories: Data Selection, GANs Optimization, and Knowledge Sharing. Last but not the least, we attempt to highlight the current problems and the future directions.


title: A new method for direct measurement of isotopologue ratios in protoplanetary disks: a case study of the $^{12}$CO/$^{13}$CO ratio in the TW Hya disk

abstract: Planetary systems are thought to be born in protoplanetary disks. Isotope ratios are a powerful tool for investigating the material origin and evolution from molecular clouds to planetary systems via protoplanetary disks. However, it is challenging to measure the isotope (isotopologue) ratios, especially in protoplanetary disks, because the emission lines of major species are saturated. We developed a new method to overcome these challenges by using optically thin line wings induced by thermal broadening. As a first application of the method, we analyzed two carbon monoxide isotopologue lines, $^{12}$CO $3-2$ and $^{13}$CO $3-2$, from archival observations of a protoplanetary disk around TW Hya with the Atacama Large Millimeter/sub-millimeter Array. The $^{12}$CO/$^{13}$CO ratio was estimated to be ${ 20\pm5}$ at disk radii of ${ 70-110}$ au, which is significantly smaller than the value observed in the local interstellar medium, $\sim69$. It implies that an isotope exchange reaction occurs in a low-temperature environment with $\rm C/O>1$ . In contrast, it is suggested that $^{12}$CO/$^{13}$CO is higher than $\sim{ 84}$ in the outer disk ($r > { 130}$ au), which can be explained by the difference in the binding energy of the isotopologues on dust grains and the CO gas depletion processes. Our results imply that the gas-phase $^{12}$CO/$^{13}$CO can vary by a factor of ${ > 4}$ even inside a protoplanetary disk, and therefore, can be used to trace material evolution in disks.


title: Practical KMP/BM Style Pattern-Matching on Indeterminate Strings

abstract: In this paper we describe two simple, fast, space-efficient algorithms for finding all matches of an indeterminate pattern $p = p[1..m]$ in an indeterminate string $x = x[1..n]$, where both $p$ and $x$ are defined on a "small" ordered alphabet $\Sigma$ $-$ say, $\sigma = |\Sigma| \le 9$. Both algorithms depend on a preprocessing phase that replaces $\Sigma$ by an integer alphabet $\Sigma_I$ of size $\sigma_I = \sigma$ which (reversibly, in time linear in string length) maps both $x$ and $p$ into equivalent regular strings $y$ and $q$, respectively, on $\Sigma_I$, whose maximum (indeterminate) letter can be expressed in a 32-bit word (for $\sigma \le 4$, thus for DNA sequences, an 8-bit representation suffices). We first describe an efficient version KMP Indet of the venerable Knuth-Morris-Pratt algorithm to find all occurrences of $q$ in $y$ (that is, of $p$ in $x$), but, whenever necessary, using the prefix array, rather than the border array, to control shifts of the transformed pattern $q$ along the transformed string $y$. We go on to describe a similar efficient version BM Indet of the Boyer- Moore algorithm that turns out to execute significantly faster than KMP Indet over a wide range of test cases. A noteworthy feature is that both algorithms require very little additional space: $\Theta(m)$ words. We conjecture that a similar approach may yield practical and efficient indeterminate equivalents to other well-known pattern-matching algorithms, in particular the several variants of Boyer-Moore.


title: BSRT: Improving Burst Super-Resolution with Swin Transformer and Flow-Guided Deformable Alignment

abstract: This work addresses the Burst Super-Resolution (BurstSR) task using a new architecture, which requires restoring a high-quality image from a sequence of noisy, misaligned, and low-resolution RAW bursts. To overcome the challenges in BurstSR, we propose a Burst Super-Resolution Transformer (BSRT), which can significantly improve the capability of extracting inter-frame information and reconstruction. To achieve this goal, we propose a Pyramid Flow-Guided Deformable Convolution Network (Pyramid FG-DCN) and incorporate Swin Transformer Blocks and Groups as our main backbone. More specifically, we combine optical flows and deformable convolutions, hence our BSRT can handle misalignment and aggregate the potential texture information in multi-frames more efficiently. In addition, our Transformer-based structure can capture long-range dependency to further improve the performance. The evaluation on both synthetic and real-world tracks demonstrates that our approach achieves a new state-of-the-art in BurstSR task. Further, our BSRT wins the championship in the NTIRE2022 Burst Super-Resolution Challenge.


title: Linear-quadratic stochastic Volterra controls I: Causal feedback strategies

abstract: In this paper, we formulate and investigate the notion of causal feedback strategies arising in linear-quadratic control problems for stochastic Volterra integral equations (SVIEs) with singular and non-convolution-type coefficients. We show that there exists a unique solution, which we call the causal feedback solution, to the closed-loop system of a controlled SVIE associated with a causal feedback strategy. Furthermore, introducing two novel equations named a Type-II extended backward stochastic Volterra integral equation and a Lyapunov--Volterra equation, we prove a duality principle and a representation formula for a quadratic functional of controlled SVIEs in the framework of causal feedback strategies.


title: Time Series Clustering for Grouping Products Based on Price and Sales Patterns

abstract: Developing technology and changing lifestyles have made online grocery delivery applications an indispensable part of urban life. Since the beginning of the COVID-19 pandemic, the demand for such applications has dramatically increased, creating new competitors that disrupt the market. An increasing level of competition might prompt companies to frequently restructure their marketing and product pricing strategies. Therefore, identifying the change patterns in product prices and sales volumes would provide a competitive advantage for the companies in the marketplace. In this paper, we investigate alternative clustering methodologies to group the products based on the price patterns and sales volumes. We propose a novel distance metric that takes into account how product prices and sales move together rather than calculating the distance using numerical values. We compare our approach with traditional clustering algorithms, which typically rely on generic distance metrics such as Euclidean distance, and image clustering approaches that aim to group data by capturing its visual patterns. We evaluate the performances of different clustering algorithms using our custom evaluation metric as well as Calinski Harabasz and Davies Bouldin indices, which are commonly used internal validity metrics. We conduct our numerical study using a propriety price dataset from an online food and grocery delivery company, and the publicly available Favorita sales dataset. We find that our proposed clustering approach and image clustering both perform well for finding the products with similar price and sales patterns within large datasets.


title: Active Learning with Weak Supervision for Gaussian Processes

abstract: Annotating data for supervised learning can be costly. When the annotation budget is limited, active learning can be used to select and annotate those observations that are likely to give the most gain in model performance. We propose an active learning algorithm that, in addition to selecting which observation to annotate, selects the precision of the annotation that is acquired. Assuming that annotations with low precision are cheaper to obtain, this allows the model to explore a larger part of the input space, with the same annotation budget. We build our acquisition function on the previously proposed BALD objective for Gaussian Processes, and empirically demonstrate the gains of being able to adjust the annotation precision in the active learning loop.


title: Simultaneous confidence intervals for the interpretation of primary and secondary effects in factorial designs without a pre-test on interaction

abstract: The analysis of low dimensional factorial designs with possible interactions is a relevant issue. Instead of the common pre-tests for interaction, a simultaneous inference procedure of the primary factor at the respective level of the secondary factor as well as pooled over all its levels is proposed.


title: Philosophical and epistemological views of the notion of space

abstract: From antiquity the conceptual perception of space changed painfully and at a relatively slow pace. It went through mythological descriptions, religious beliefs, metaphysical worldviews and cosmological models with a mechanistic structure, until it reached the Newtonian perception of the infinite and homogeneous three-dimensional continuum, which dominates to this day as a "common perception" even in education. This perception of space, which today seems self-evident, is the culmination of a long historical development, which we will try to outline. Our aim is to briefly present the conceptual course of models related to natural space from antiquity to the 20th century, focusing on the theories and models that can be mathematized. At the same time we try to highlight one of the most important starting points of geometric concepts, which is the need for mathematical modeling of physical space, as in modern education there is no such view.


title: Type III seesaw under $A_4$ modular symmetry with leptogenesis

abstract: We make an attempt to study neutrino phenomenology in the framework of type-III seesaw by considering $A_4$ modular symmetry in the super-symmetric context. In addition, we have included a local $U(1)_{B-L}$ symmetry which eventually helps us to avoid certain unwanted terms in the superpotential. Hitherto, the seesaw being type-III, it involves three fermion triplet superfields $\Sigma_R$, along with which, we have included a singlet weighton field $(\rho)$. In here, modular symmetry plays a crucial role by avoiding the usage of excess flavon (weighton) fields. Also, the Yukawa couplings acquire modular forms which are expressed in terms of Dedekind eta function $\eta(\tau)$. However, for numerical analysis we use $q$ expansion expressions of these couplings. Therefore, the model discussed here is triumphant enough to accommodate the observed neutrino oscillation data and also successfully explains observed baryon asymmetry of the universe through leptogenesis.


title: Migrating Face Swap to Mobile Devices: A lightweight Framework and A Supervised Training Solution

abstract: Existing face swap methods rely heavily on large-scale networks for adequate capacity to generate visually plausible results, which inhibits its applications on resource-constraint platforms. In this work, we propose MobileFSGAN, a novel lightweight GAN for face swap that can run on mobile devices with much fewer parameters while achieving competitive performance. A lightweight encoder-decoder structure is designed especially for image synthesis tasks, which is only 10.2MB and can run on mobile devices at a real-time speed. To tackle the unstability of training such a small network, we construct the FSTriplets dataset utilizing facial attribute editing techniques. FSTriplets provides source-target-result training triplets, yielding pixel-level labels thus for the first time making the training process supervised. We also designed multi-scale gradient losses for efficient back-propagation, resulting in faster and better convergence. Experimental results show that our model reaches comparable performance towards state-of-the-art methods, while significantly reducing the number of network parameters. Codes and the dataset have been released.


title: Research on the accumulation effect model of technological innovation in textile industry based on chaos theory

abstract: Technological innovation is one of the most important variables in the evolution of the textile industry system. As the innovation process changes, so does the degree of technological diffusion and the state of competitive equilibrium in the textile industry system, and this leads to fluctuations in the economic growth of the industry system. The fluctuations resulting from the role of innovation are complex, irregular and imperfectly cyclical. The study of the chaos model of the accumulation of innovation in the evolution of the textile industry can help to provide theoretical guidance for technological innovation in the textile industry, and can help to provide suggestions for the interaction between the government and the textile enterprises themselves. It is found that reasonable government regulation parameters contribute to the accelerated accumulation of innovation in the textile industry.


title: itdr: An R package of Integral Transformation Methods to Estimate the SDR Subspaces in Regression

abstract: Sufficient dimension reduction (SDR) is an effective tool for regression models, offering a viable approach to address and analyze the nonlinear nature of regression problems. This paper introduces the itdr R package, a comprehensive and user-friendly tool that introduces several functions based on integral transformation methods for estimating SDR subspaces. In particular, the itdr package incorporates two key methods, namely the Fourier method (FM) and the convolution method (CM). These methods allow for estimating the SDR subspaces, namely the central mean subspace (CMS) and the central subspace (CS), in cases where the response is univariate. Furthermore, the itdr package facilitates the recovery of the CMS through the iterative Hessian transformation (IHT) method for univariate responses. Additionally, it enables the recovery of the CS by employing various Fourier transformation strategies, such as the inverse dimension reduction method, the minimum discrepancy approach using Fourier transformation, and the Fourier transform sparse inverse regression approach, specifically designed for cases with multivariate responses. To demonstrate its capabilities, the itdr package is applied to five different datasets. Furthermore, this package is the pioneering implementation of integral transformation methods for estimating SDR subspaces, thus promising significant advancements in SDR research.


title: $n$-gon centers and central lines

abstract: In this paper we provide a review of the concept of center of a $n$-gon, generalizing the original idea given by C. Kimberling for triangles. We also generalize the concept of central line for $n$-gons for $n\geq 3$ and establish its basic properties.


title: One-Loop Hybrid Renormalization Matching Kernels for Quasi-Parton Distributions

abstract: Large momentum effective theory allows extraction of hadron parton distribution functions in lattice QCD by matching them to quark bilinear matrix elements of hadrons with large momenta. We calculate the matching kernels for the unpolarized, helicity, and transversity isovector parton distribution functions and skewless generalized parton distributions of all hadrons in the hybrid-RI/MOM scheme. This renormalization scheme uses RI/MOM when the Wilson line length is less then $z_s$, otherwise a mass subtraction scheme is used. By design, the non-hybrid scheme is recovered as $z_s \to \infty$. In the opposite limit, $z \to 0$, the self renormalization scheme is obtained. When the parameters $p_z^R=0$ and $\mu^R z_s \ll 1$, the hybrid-RI/MOM scheme coincides with the hybrid-ratio scheme times the charge of the PDF. We also discuss the subtlety related to the commutativity of Fourier transform and $\epsilon$ expansion in the $\bar{\text{MS}}$ scheme.


title: Pointwise inner automorphisms of almost periodic factors

abstract: We prove that a large class of nonamenable almost periodic type ${\rm III_1}$ factors $M$, including all McDuff factors that tensorially absorb $R_\infty$ and all free Araki-Woods factors, satisfy Haagerup-Stormer's conjecture (1988): any pointwise inner automorphism of $M$ is the composition of an inner and a modular automorphism.


title: Extracting Targeted Training Data from ASR Models, and How to Mitigate It

abstract: Recent work has designed methods to demonstrate that model updates in ASR training can leak potentially sensitive attributes of the utterances used in computing the updates. In this work, we design the first method to demonstrate information leakage about training data from trained ASR models. We design Noise Masking, a fill-in-the-blank style method for extracting targeted parts of training data from trained ASR models. We demonstrate the success of Noise Masking by using it in four settings for extracting names from the LibriSpeech dataset used for training a state-of-the-art Conformer model. In particular, we show that we are able to extract the correct names from masked training utterances with 11.8% accuracy, while the model outputs some name from the train set 55.2% of the time. Further, we show that even in a setting that uses synthetic audio and partial transcripts from the test set, our method achieves 2.5% correct name accuracy (47.7% any name success rate). Lastly, we design Word Dropout, a data augmentation method that we show when used in training along with Multistyle TRaining (MTR), provides comparable utility as the baseline, along with significantly mitigating extraction via Noise Masking across the four evaluated settings.


title: A 3-Queue Polling System with Join the Shortest -- Serve the Longest Policy

abstract: In 1987, J.W. Cohen analyzed the so-called Serve the Longest Queue (SLQ) queueing system, where a single server attends two non-symmetric $M/G/1$-type queues, exercising a non-preemptive priority switching policy. Cohen further analyzed in 1998 a non-symmetric 2-queue Markovian system, where newly arriving customers follow the Join the Shortest Queue (JSQ) discipline. The current paper generalizes and extends Cohen's works by studying a combined JSQ-SLQ model, and by broadening the scope of analysis to a non-symmetric 3-queue system, where arriving customers follow the JSQ strategy and a single server exercises the preemptive priority SLQ discipline. The system states' multi-dimensional probability distribution function is derived while applying a non-conventional representation of the underlying process's state-space. The analysis combines both Probability Generating Functions and Matrix Geometric methodologies. It is shown that the joint JSQ-SLQ operating policy achieves extremely well the goal of balancing between queue sizes. This is emphasized when calculating the Gini Index associated with the differences between mean queue sizes: the value of the coefficient is close to zero. Extensive numerical results are presented.


title: Using Statistical Emulation and Knowledge of Grain-Surface Diffusion for Bayesian Inference of Reaction Rate Parameters: An Application to a Glycine Network

abstract: There exists much uncertainty surrounding interstellar grain-surface chemistry. One of the major reaction mechanisms is grain-surface diffusion for which the the binding energy parameter for each species needs to be known. However, these values vary significantly across the literature which can lead to debate as to whether or not a particular reaction takes place via diffusion. In this work we employ Bayesian inference to use available ice abundances to estimate the reaction rates of the reactions in a chemical network that produces glycine. Using this we estimate the binding energy of a variety of important species in the network, by assuming that the reactions take place via diffusion. We use our understanding of the diffusion mechanism to reduce the dimensionality of the inference problem from 49 to 14, by demonstrating that reactions can be separated into classes. This dimensionality reduction makes the problem computationally feasible. A neural network statistical emulator is used to also help accelerate the Bayesian inference process substantially. The binding energies of most of the diffusive species of interest are found to match some of the disparate literature values, with the exceptions of atomic and diatomic hydrogen. The discrepancies with these two species are related to limitations of the physical and chemical model. However, the use of a dummy reaction of the form H + X -> HX is found to somewhat reduce the discrepancy with the binding energy of atomic hydrogen. Using the inferred binding energies in the full gas-grain version of UCLCHEM results in almost all the molecular abundances being recovered.


title: Automated Test Generation for REST APIs: No Time to Rest Yet

abstract: Modern web services routinely provide REST APIs for clients to access their functionality. These APIs present unique challenges and opportunities for automated testing, driving the recent development of many techniques and tools that generate test cases for API endpoints using various strategies. Understanding how these techniques compare to one another is difficult, as they have been evaluated on different benchmarks and using different metrics. To fill this gap, we performed an empirical study aimed to understand the landscape in automated testing of REST APIs and guide future research in this area. We first identified, through a systematic selection process, a set of 10 state-of-the-art REST API testing tools that included tools developed by both researchers and practitioners. We then applied these tools to a benchmark of 20 real-world open-source RESTful services and analyzed their performance in terms of code coverage achieved and unique failures triggered. This analysis allowed us to identify strengths, weaknesses, and limitations of the tools considered and of their underlying strategies, as well as implications of our findings for future research in this area.


title: Quantum many-body systems in thermal equilibrium

abstract: The thermal or equilibrium ensemble is one of the most ubiquitous states of matter. For models comprised of many locally interacting quantum particles, it describes a wide range of physical situations, relevant to condensed matter physics, high energy physics, quantum chemistry and quantum computing, among others. We give a pedagogical overview of some of the most important universal features about the physics and complexity of these states, which have the locality of the Hamiltonian at its core. We focus on mathematically rigorous statements, many of them inspired by ideas and tools from quantum information theory. These include bounds on their correlations, the form of the subsystems, various statistical properties, and the performance of classical and quantum algorithms. We also include a summary of a few of the most important technical tools, as well as some self-contained proofs.


title: Dynamical systems defined on simplicial complexes: symmetries, conjugacies, and invariant subspaces

abstract: We consider the general model for dynamical systems defined on a simplicial complex. We describe the conjugacy classes of these systems and show how symmetries in a given simplicial complex manifest in the dynamics defined thereon, especially with regard to invariant subspaces in the dynamics.


title: On sheaves on semicartesian quantales and their truth values

abstract: In this paper, we introduce a new definition of sheaves on semicartesian quantales, providing first examples and categorical properties. We note that our sheaves are similar to the standard definition of a sheaf on a locale, however, we prove in that in general it is not an elementary topos - since the lattice of external truth values of $Sh(Q)$, $Sub(1)$, is canonically isomorphic to the quantale $Q$ - placing this paper as part of a greater project towards a monoidal (not necessarily cartesian) closed version of elementary topos. To start the study the logical aspects of the category of sheaves we are introducing, we explore the nature of the "internal truth value objects" in such sheaves categories. More precisely, we analyze two candidates for subobject classifier for different subclasses of commutative and semicartesian quantales.


title: MHSCNet: A Multimodal Hierarchical Shot-aware Convolutional Network for Video Summarization

abstract: Video summarization intends to produce a concise video summary by effectively capturing and combining the most informative parts of the whole content. Existing approaches for video summarization regard the task as a frame-wise keyframe selection problem and generally construct the frame-wise representation by combining the long-range temporal dependency with the unimodal or bimodal information. However, the optimal video summaries need to reflect the most valuable keyframe with its own information, and one with semantic power of the whole content. Thus, it is critical to construct a more powerful and robust frame-wise representation and predict the frame-level importance score in a fair and comprehensive manner. To tackle the above issues, we propose a multimodal hierarchical shot-aware convolutional network, denoted as MHSCNet, to enhance the frame-wise representation via combining the comprehensive available multimodal information. Specifically, we design a hierarchical ShotConv network to incorporate the adaptive shot-aware frame-level representation by considering the short-range and long-range temporal dependency. Based on the learned shot-aware representations, MHSCNet can predict the frame-level importance score in the local and global view of the video. Extensive experiments on two standard video summarization datasets demonstrate that our proposed method consistently outperforms state-of-the-art baselines. Source code will be made publicly available.


title: Stability Analysis and Stabilization of Continuous-Time Linear Systems with Distributed Delays

abstract: This book is an extension of my doctoral dissertation, focusing on techniques for analyzing stability (dissipativity) and achieving stabilization of linear systems that are characterized by non-trivial distributed delays. It specifically explores the application of the Lyapunov-Krasovskii functional (LKF) approach.


title: Unveiling User Behavior on Summit Login Nodes as a User

abstract: We observe and analyze usage of the login nodes of the leadership class Summit supercomputer from the perspective of an ordinary user -- not a system administrator -- by periodically sampling user activities (job queues, running processes, etc.) for two full years (2020-2021). Our findings unveil key usage patterns that evidence misuse of the system, including gaming the policies, impairing I/O performance, and using login nodes as a sole computing resource. Our analysis highlights observed patterns for the execution of complex computations (workflows), which are key for processing large-scale applications.


title: Hydrogen-like Schr\"odinger Operators at Low Energies

abstract: Consider a Schr\"odinger operator on an asymptotically Euclidean manifold $X$ of dimension at least two, and suppose that the potential is of attractive Coulomb-like type. Using Vasy's second 2nd-microlocal approach, "the Lagrangian approach," we analyze -- uniformly, all the way down to $E=0$ -- the output of the limiting resolvent $R(E\pm i 0) = \lim_{\epsilon \to 0^+} R(E\pm i \epsilon)$. The Coulomb potential causes the output of the low-energy resolvent to possess oscillatory asymptotics which differ substantially from the sorts of asymptotics observed in the short-range case by Guillarmou, Hassell, Sikora, and (more recently) Hintz and Vasy. Specifically, the compound asymptotics at low energy and large spatial scales are more delicate, and the resolvent output is smooth all the way down to $E=0$. In fact, we will construct a compactification of $(0,1]_E\times X$ on which the resolvent output is given by a specified (and relatively complicated) function that oscillates as $r\to\infty$ times something polyhomogeneous. As a corollary, we get complete and compatible asymptotic expansions for solutions to the scattering problem as functions of both position and energy, with a transitional regime.

categories: math.AP math-ph math.CA math.DG math.MP math.SP


title: Inference for Cluster Randomized Experiments with Non-ignorable Cluster Sizes

abstract: This paper considers the problem of inference in cluster randomized experiments when cluster sizes are non-ignorable. Here, by a cluster randomized experiment, we mean one in which treatment is assigned at the cluster level. By non-ignorable cluster sizes, we refer to the possibility that the treatment effects may depend non-trivially on the cluster sizes. We frame our analysis in a super-population framework in which cluster sizes are random. In this way, our analysis departs from earlier analyses of cluster randomized experiments in which cluster sizes are treated as non-random. We distinguish between two different parameters of interest: the equally-weighted cluster-level average treatment effect, and the size-weighted cluster-level average treatment effect. For each parameter, we provide methods for inference in an asymptotic framework where the number of clusters tends to infinity and treatment is assigned using a covariate-adaptive stratified randomization procedure. We additionally permit the experimenter to sample only a subset of the units within each cluster rather than the entire cluster and demonstrate the implications of such sampling for some commonly used estimators. A small simulation study and empirical demonstration show the practical relevance of our theoretical results.


title: Hybrid FSO/THz-based Backhaul Network for mmWave Terrestrial Communication

abstract: In this work, a hybrid free-space optics (FSO)/ teraHertz (THz) based backhaul network is considered to provide high-data rate reliable communication to the terrestrial mobile users (MUs) operating at millimeter wave (mmWave) bands. The FSO link is affected by the atmospheric turbulence and pointing error impairments which are characterized with Gamma-Gamma and Rayleigh fading, respectively. At the FSO receiver, both the intensity modulated direct detection and heterodyne detection techniques are considered. The multi-antenna THz link suffers from both high path-loss and misalignment error. The THz channel is characterized with $\alpha-\mu$ distribution and misalignment error is characterized with Rayleigh fading. To minimize the effect of back-and-forth switching, soft switching method is introduced at the access point (AP) to select the signal coming through the hybrid FSO/THz link, and a comparison with hard switching method is presented. Selective decode-and-forward relaying is considered at the AP which is forwarding the successfully decoded backhaul signals to the terrestrial MUs. In this context, we derive closed-form expressions of the individual link's outage probability, end-to-end (E2E) outage probability, asymptotic outage probability, ergodic capacity, and average bit-error-rate of various modulation schemes. Finally, we study the effect of different parameters such as atmospheric turbulence, pointing/misalignment errors, link distance, atmospheric attenuation/path-loss, fading parameters of the THz and access links, and number of antennas on the network performance. Our results indicate that, with a proper switching method, the joint implementation of FSO/THz links, improves the rate/reliability of the backhaul links with limited switching overhead.


title: AutoMLBench: A Comprehensive Experimental Evaluation of Automated Machine Learning Frameworks

abstract: With the booming demand for machine learning applications, it has been recognized that the number of knowledgeable data scientists can not scale with the growing data volumes and application needs in our digital world. In response to this demand, several automated machine learning (AutoML) frameworks have been developed to fill the gap of human expertise by automating the process of building machine learning pipelines. Each framework comes with different heuristics-based design decisions. In this study, we present a comprehensive evaluation and comparison of the performance characteristics of six popular AutoML frameworks, namely, AutoWeka, AutoSKlearn, TPOT, Recipe, ATM, and SmartML, across 100 data sets from established AutoML benchmark suites. Our experimental evaluation considers different aspects for its comparison, including the performance impact of several design decisions, including time budget, size of search space, meta-learning, and ensemble construction. The results of our study reveal various interesting insights that can significantly guide and impact the design of AutoML frameworks.


title: Distributed MIS in $O(\log\log{n} )$ Awake Complexity

abstract: Maximal Independent Set (MIS) is one of the fundamental and most well-studied problems in distributed graph algorithms. Even after four decades of intensive research, the best-known (randomized) MIS algorithms have $O(\log{n})$ round complexity on general graphs [Luby, STOC 1986] (where $n$ is the number of nodes), while the best-known lower bound is $\Omega(\sqrt{\log{n}/\log\log{n}})$ [Kuhn, Moscibroda, Wattenhofer, JACM 2016]. Breaking past the $O(\log{n})$ round complexity upper bound or showing stronger lower bounds have been longstanding open problems. Our main contribution is to show that MIS can be computed in awake complexity that is exponentially better compared to the best known round complexity of $O(\log n)$ and also bypassing its fundamental $\Omega(\sqrt{\log{n}/\log\log{n}})$ round complexity lower bound exponentially. Specifically, we show that MIS can be computed by a randomized distributed (Monte Carlo) algorithm in $O(\log\log{n} )$ awake complexity with high probability (i.e., with probability at least $1 - n^{-1}$). This algorithm has a round complexity of $O((\log^7 n) \log \log n)$. We also show that we can improve the round complexity at the cost of a slight increase in awake complexity, by presenting a randomized distributed (Monte Carlo) algorithm for MIS that, with high probability, computes an MIS in $O((\log\log{n})\log^*n)$ awake complexity and $O((\log^3 n) (\log \log n) \log^*n)$ round complexity. Our algorithms work in the CONGEST model where messages of size $O(\log n)$ bits can be sent per edge per round.


title: Zero-Shot Program Representation Learning

abstract: Learning program representations has been the core prerequisite of code intelligent tasks such as code search and code clone detection. The state-of-the-art pre-trained models such as CodeBERT require the availability of large-scale code corpora. However, gathering training samples can be costly and infeasible for domain-specific languages such as Solidity for smart contracts. In this paper, we propose Zecoler, a zero-shot learning approach for code representations. Zecoler is built upon a pre-trained programming language model. In order to elicit knowledge from the pre-trained models efficiently, Zecoler casts the downstream tasks to the same form of pre-training tasks by inserting trainable prompts into the original input. Then, it employs the prompt learning technique which optimizes the pre-trained model by merely adjusting the original input. This enables the representation model to efficiently fit the scarce task-oriented data while reusing pre-trained knowledge. We evaluate Zecoler in three code intelligent tasks in two program languages that have no training samples, namely, Solidity and Go, with model trained in corpora of common languages such as Java. Experimental results show that our approach significantly outperforms baseline models in both zero-shot and few-shot settings.


title: A Predictive Model for Micrometeoroid Damage to Gossamer Structures

abstract: A typical inflatable reflector for space application consists of two thin membranes with a parabolic shape. It is critical to understand the interaction of the inflatable and the micrometeoroid environment to which it is exposed. This interaction leads to a series of penetrations of the inflatable membrane on entrance and exit of the impacting particle, creating a pathway for gas escape. To increase the fidelity of the damage expected, we examine the literature for descriptions of micrometeoroid fragmentation and present a theoretical formulation for the damage caused by an impacting particle to the entrance and exit membranes. This theory is compared to an initial set of hyper-velocity tests for micrometeoroid-sized particles on thin film membranes. We use the results of these tests to produce a predictive model. This model is applied to estimate the damage rate near the 1 AU location and output predictions for the effectiveness of a micrometeoroid shield to reduce the damage on the lenticular and effectively optimize its lifetime. Lastly, we apply the kinetic theory of gasses to develop expressions for the expenditure of gas over a specified mission lifetime due to penetrations. Although this paper examines the specific case of an inflated lenticular protected by extra membrane layers, our predictive model can be applied for any gossamer structure composed of polyimide membranes.


title: Hardware-algorithm collaborative computing with photonic spiking neuron chip based on integrated Fabry-P\'erot laser with saturable absorber

abstract: Photonic neuromorphic computing has emerged as a promising avenue toward building a low-latency and energy-efficient non-von-Neuman computing system. Photonic spiking neural network (PSNN) exploits brain-like spatiotemporal processing to realize high-performance neuromorphic computing. However, the nonlinear computation of PSNN remains a significant challenging. Here, we proposed and fabricated a photonic spiking neuron chip based on an integrated Fabry-P\'erot laser with a saturable absorber (FP-SA) for the first time. The nonlinear neuron-like dynamics including temporal integration, threshold and spike generation, refractory period, and cascadability were experimentally demonstrated, which offers an indispensable fundamental building block to construct the PSNN hardware. Furthermore, we proposed time-multiplexed spike encoding to realize functional PSNN far beyond the hardware integration scale limit. PSNNs with single/cascaded photonic spiking neurons were experimentally demonstrated to realize hardware-algorithm collaborative computing, showing capability in performing classification tasks with supervised learning algorithm, which paves the way for multi-layer PSNN for solving complex tasks.


title: Observing Supernova Neutrino Light Curves with Super-Kamiokande. III. Extraction of Mass and Radius of Neutron Stars from Synthetic Data

abstract: Neutrinos are guaranteed to be observable from the next galactic supernova (SN). Optical light and gravitational waves are also observable, but may be difficult to observe if the location of the SN in the galaxy or the details of the explosion are unsuitable. The key to observing the next supernova is to first use neutrinos to understand various physical quantities and then link them to other signals. In this paper, we present Monte Carlo sampling calculations of neutrino events from galactic supernova explosions observed with Super-Kamiokande. The analytical solution of neutrino emission, which represents the long-term evolution of neutrino-light curve from supernovae, is used as a theoretical template. It gives the event rate and event spectrum through inverse beta decay interactions with explicit model parameter dependence. Parameter estimation is performed on these simulated sample data by fitting least squares using the analytical solution. The results show that the mass, radius and total energy of a remnant neutron star produced by a SN can be determined with an accuracy of $\sim 0.1M_\odot$, $\sim 1$ km, and $\sim 10^{51}$ erg, respectively, for a galactic SN at 8 kpc.


title: Detecting, Tracking and Counting Motorcycle Rider Traffic Violations on Unconstrained Roads

abstract: In many Asian countries with unconstrained road traffic conditions, driving violations such as not wearing helmets and triple-riding are a significant source of fatalities involving motorcycles. Identifying and penalizing such riders is vital in curbing road accidents and improving citizens' safety. With this motivation, we propose an approach for detecting, tracking, and counting motorcycle riding violations in videos taken from a vehicle-mounted dashboard camera. We employ a curriculum learning-based object detector to better tackle challenging scenarios such as occlusions. We introduce a novel trapezium-shaped object boundary representation to increase robustness and tackle the rider-motorcycle association. We also introduce an amodal regressor that generates bounding boxes for the occluded riders. Experimental results on a large-scale unconstrained driving dataset demonstrate the superiority of our approach compared to existing approaches and other ablative variants.


title: Dissipation and geometry in nonlinear quantum transports of multiband electronic systems

abstract: Nonlinear responses in condensed matters attract recent intensive interest because they provide rich information about the materials and hold the possibility of being applied in diodes or high-frequency optical devices. Nonlinear responses are often closely related to the multiband nature of the system which can be taken into account by the geometric quantities such as the Berry curvature as shown in the nonlinear Hall effect. Theoretically, the semi-classical Boltzmann treatment or the reduced density matrix method have been often employed, in which the effect of dissipation is included through the relaxation time approximation. In the diagrammatic method, the relaxation is treated through the imaginary part of the self-energy of the Green function and the consequent broadening of the spectral function for the integration over the real frequency. Therefore, the poles of the Green function do not play explicit pole when there is finite dissipation. In this paper, in stark contrast to this conventional picture, we show that the poles of the Green function determine mostly the nonlinear response functions with dissipation, which leads to the terms with the Fermi distribution function of complex argument and results in the dissipation-induced geometric term. We elucidate the geometric origin of the nonreciprocal conductivity, which is related to the Berry curvature generalized to the higher derivative. Finally, we derive the analytical results on the geometric terms of the nonlinear conductivities in the type-I and type-II Weyl Hamiltonian to demonstrate their crucial roles.


title: On the nature of Fast Blue Optical Transients

abstract: Short rise times of Fast Blue Optical Transients (FBOTs) require very light ejected envelopes, $M_{ej} \leq 10^{-1} M_\odot$, much smaller than of a typical supernova. Short peak times also mean that FBOTs should be hydrodynamically, not radioactively powered. The detection by Chandra of X-ray emission in AT2020mrf of $L_X \sim 10^{42} $ erg s$^{-1}$ after 328 days implies total, overall dominant, X-ray energetics at the Gamma Ray Bursts (GRBs) level of $\sim 6 \times 10^{49}$ erg. We further develop a model of Lyutikov & Toonen (2019), whereby FBOTs are the results of a late accretion induced collapse (AIC) of the product of super-Chandrasekhar double white dwarf (WD) merger between ONeMg WD and another WD. Small ejecta mass, and the rarity of FBOTs, result from the competition between mass loss from the merger product to the wind, and ashes added to the core, on time scale of $\sim 10^3-10^4$ years. FBOTs occur only when the envelope mass before AIC is $\leq 10^{-1} M_\odot$. FBOTs proper come from central engine-powered radiation-dominated forward shock as it propagates through ejecta. FBOTs' duration is determined by the diffusion time of photons produced by the NS-driven forward shock within the expanding ejecta. All the photons produced by the central source deep inside the ejecta escape almost simultaneously, producing a short bright event. The high energy emission is generated at the highly relativistic and highly magnetized termination shock, qualitatively similar to Pulsar Wind Nebulae. The X-ray bump observed in AT2020mrf by SRG/eROSITA, predicted by Lyutikov & Toonen (2019), is coming from the break-out of the engine-powered shock from the ejecta into the preceding wind. The model requires total energetics of just few $\times 10^{50}$ ergs, slightly above the observed X-rays. We predict that the system is hydrogen poor.


title: Online RIS Configuration Learning for Arbitrary Large Numbers of $1$-Bit Phase Resolution Elements

abstract: Reinforcement Learning (RL) approaches are lately deployed for orchestrating wireless communications empowered by Reconfigurable Intelligent Surfaces (RISs), leveraging their online optimization capabilities. Most commonly, in RL-based formulations for realistic RISs with low resolution phase-tunable elements, each configuration is modeled as a distinct reflection action, resulting to inefficient exploration due to the exponential nature of the search space. In this paper, we consider RISs with 1-bit phase resolution elements, and model the action of each of them as a binary vector including the feasible reflection coefficients. We then introduce two variations of the well-established Deep Q-Network (DQN) and Deep Deterministic Policy Gradient (DDPG) agents, aiming for effective exploration of the binary action spaces. For the case of DQN, we make use of an efficient approximation of the Q-function, whereas a discretization post-processing step is applied to the output of DDPG. Our simulation results showcase that the proposed techniques greatly outperform the baseline in terms of the rate maximization objective, when large-scale RISs are considered. In addition, when dealing with moderate scale RIS sizes, where the conventional DQN based on configuration-based action spaces is feasible, the performance of the latter technique is similar to the proposed learning approach.


title: Estimating the potential shift from conventional public transport to flexible services based on smartcard transactions

abstract: We assume that urban travelers may prefer flexible modes of transportation over conventional public transport (PT) for making non-routine trips, and estimate the potential for such modal switch based on a database of 63 million smartcard records of PT boardings made in Israel during June 2019. The behavioral patterns of PT users are revealed by clustering their boarding records based on the location of the boarding stops and time of day, applying an extended DBSCAN algorithm. Our major findings are that (1) conventional home-work-home commuters are a minority and constitute less than 15% of the riders; (2) at least 30% of the PT trips do not belong to any cluster and can be classified as occasional; (3) The vast majority of users make both recurrent and occasional trips. A linear regression model provides a good estimate (R2 = 0.85) of the number of occasional boardings at a stop as a function of the total number of boardings, time of day, and land use composition around the location of trip origin. We conclude that the conventional PT may lose substantial urban ridership to the future flexible modes.


title: Benign Overfitting in Time Series Linear Model with Over-Parameterization

abstract: The success of large-scale models in recent years has increased the importance of statistical models with numerous parameters. Several studies have analyzed over-parameterized linear models with high-dimensional data that may not be sparse; however, existing results depend on the independent setting of samples. In this study, we analyze a linear regression model with dependent time series data under over-parameterization settings. We consider an estimator via interpolation and developed a theory for the excess risk of the estimator. Then, we derive bounds of risks by the estimator for the cases where the temporal correlation of each coordinate of dependent data is homogeneous and heterogeneous, respectively. The derived bounds reveal that a temporal covariance of the data plays a key role; its strength affects the bias of the risk, and its nondegeneracy affects the variance of the risk. Moreover, for the heterogeneous correlation case, we show that the convergence rate of risks with short-memory processes is identical to that of cases with independent data, and the risk can converge to zero even with long-memory processes. Our theory can be extended to infinite-dimensional data in a unified manner. We also present several examples of specific dependent processes that can be applied to our setting.


title: Parabolic fractal dimension of forward-singularities for Navier-Stokes and liquid crystals inequalities

abstract: In 1985, V. Scheffer discussed partial regularity results for what he called solutions to the "Navier-Stokes inequality". These maps essentially satisfy the incompressibility condition as well as the local and global energy inequalities and the pressure equation which may be derived formally from the Navier-Stokes system of equations, but they are not required to satisfy the Navier-Stokes system itself. One may extend this notion to a system considered by F.-H. Lin and C. Liu in the mid 1990s related to models of the flow of nematic liquid crystals, which include the Navier-Stokes system when the 'director field' $d$ is taken to be zero. In addition to an extended Navier-Stokes system, the Lin-Liu model includes a further parabolic system which implies an a priori maximum principle for $d$, which is lost when one considers the analogous 'inequality'. In 2018, Q. Liu proved a partial regularity result for certain solutions to the Lin-Liu model in terms of the parabolic fractal dimension $\textrm{dim}_{\textrm{pf}}$, relying on the boundedness of $d$ coming from the maximum principle. Specifically, Q. Liu proves $\textrm{dim}_{\textrm{pf}}(\Sigma_{-} \cap \mathcal{K}) \leq \tfrac{95}{63}$ for any compact $\mathcal{K}$, where $\Sigma_{-}$ is the set of 'forward-singular' space-time points, near which the solution blows up forwards in time. For solutions to the corresponding 'inequality', we prove here that, without any compensation for the lack of maximum principle, one has $\textrm{dim}_{\textrm{pf}}(\Sigma_{-} \cap \mathcal{K}) \leq \tfrac {55}{13}$. We also provide a range of criteria, including as just one example the boundedness of $d$, any one of which would furthermore imply that $\textrm{dim}_{\textrm{pf}}(\Sigma_{-} \cap \mathcal{K}) \leq \tfrac{95}{63}$ for solutions to the inequality, just as Q. Liu proved for solutions to the Lin-Liu system.


title: The solution to the problem of time in quantum gravity also solves the time of arrival problem in quantum mechanics

abstract: We introduced with coauthors some years ago a solution to the problem of time in quantum gravity which consists in formulating the quantum theory in terms of real clocks. It combines Page and Wootters' relational proposal with Rovelli's evolving constants of the motion. Time is associated with an operator and not a classical parameter. We show here that this construction provides a natural solution to the time of arrival problem in quantum mechanics and leads to a well defined time-energy uncertainty relation for the clocks.


title: Suppression of Nonlinear Optical Rogue Wave Formation Using Polarization-Structured Beams

abstract: A nonlinear self-focusing material can amplify random small-amplitude phase modulations present in an optical beam, leading to the formation of amplitude singularities commonly referred to as optical caustics. By imposing polarization structuring on the beam, we demonstrate the suppression of amplitude singularities caused by nonlinear self-phase modulation. Our results are the first to indicate that polarization-structured beams can suppress nonlinear caustic formation in a saturable self-focusing medium and add to the growing understanding of catastrophic self-focusing effects in beams containing polarization structure.


title: Learning to Execute Actions or Ask Clarification Questions

abstract: Collaborative tasks are ubiquitous activities where a form of communication is required in order to reach a joint goal. Collaborative building is one of such tasks. We wish to develop an intelligent builder agent in a simulated building environment (Minecraft) that can build whatever users wish to build by just talking to the agent. In order to achieve this goal, such agents need to be able to take the initiative by asking clarification questions when further information is needed. Existing works on Minecraft Corpus Dataset only learn to execute instructions neglecting the importance of asking for clarifications. In this paper, we extend the Minecraft Corpus Dataset by annotating all builder utterances into eight types, including clarification questions, and propose a new builder agent model capable of determining when to ask or execute instructions. Experimental results show that our model achieves state-of-the-art performance on the collaborative building task with a substantial improvement. We also define two new tasks, the learning to ask task and the joint learning task. The latter consists of solving both collaborating building and learning to ask tasks jointly.


title: Untangled: A Complete Dynamic Topological Logic

abstract: Dynamic topological logic ($\mathbf{DTL}$) is a trimodal logic designed for reasoning about dynamic topological systems. It was shown by Fern\'andez-Duque that the natural set of axioms for $\mathbf{DTL}$ is incomplete, but he provided a complete axiomatisation in an extended language. In this paper, we consider dynamic topological logic over scattered spaces, which are topological spaces where every nonempty subspace has an isolated point. Scattered spaces appear in the context of computational logic as they provide semantics for provability and enjoy definable fixed points. We exhibit the first sound and complete dynamic topological logic in the original trimodal language. In particular, we show that the version of $\mathbf{DTL}$ based on the class of scattered spaces is finitely axiomatisable over the original language, and that the natural axiomatisation is sound and complete.


title: Orbit pseudometrics and a universality property of the Gromov-Hausdorff distance

abstract: We consider the notion of Borel reducibility between pseudometrics on standard Borel spaces introduced and studied recently by C\'{u}th, Doucha and Kurka, as well as the notion of an orbit pseudometric, a continuous version of the notion of an orbit equivalence relation. It is well known that the relation of isometry of Polish metric spaces is bireducible with a universal orbit equivalence relation. We prove a version of this result for pseudometrics, showing that the Gromov-Hausdorff distance of Polish metric spaces is bireducible with a universal element in a certain class of orbit pseudometrics.


title: Detecting Deepfakes with Self-Blended Images

abstract: In this paper, we present novel synthetic training data called self-blended images (SBIs) to detect deepfakes. SBIs are generated by blending pseudo source and target images from single pristine images, reproducing common forgery artifacts (e.g., blending boundaries and statistical inconsistencies between source and target images). The key idea behind SBIs is that more general and hardly recognizable fake samples encourage classifiers to learn generic and robust representations without overfitting to manipulation-specific artifacts. We compare our approach with state-of-the-art methods on FF++, CDF, DFD, DFDC, DFDCP, and FFIW datasets by following the standard cross-dataset and cross-manipulation protocols. Extensive experiments show that our method improves the model generalization to unknown manipulations and scenes. In particular, on DFDC and DFDCP where existing methods suffer from the domain gap between the training and test sets, our approach outperforms the baseline by 4.90% and 11.78% points in the cross-dataset evaluation, respectively.


title: Strengthening Subcommunities: Towards Sustainable Growth in AI Research

abstract: AI's rapid growth has been felt acutely by scholarly venues, leading to growing pains within the peer review process. These challenges largely center on the inability of specific subareas to identify and evaluate work that is appropriate according to criteria relevant to each subcommunity as determined by stakeholders of that subarea. We set forth a proposal that re-focuses efforts within these subcommunities through a decentralization of the reviewing and publication process. Through this re-centering effort, we hope to encourage each subarea to confront the issues specific to their process of academic publication and incentivization. This model has historically been successful for several subcommunities in AI, and we highlight those instances as examples for how the broader field can continue to evolve despite its continually growing size.


title: Targeted search for the stochastic gravitational-wave background from the galactic millisecond pulsar population

abstract: The millisecond pulsars, old-recycled objects spinning with high frequency $\mathcal{O}$ (kHz) sustaining the deformation from their spherical shape, may emit gravitational waves (GW). These are one of the potential candidates contributing to the anisotropic stochastic gravitational-wave background (SGWB) observable in the ground-based GW detectors. Here, we present the results from a likelihood-based targeted search for the SGWB due to millisecond pulsars in the Milky Way, by analyzing the data from the first three observing runs of Advanced LIGO and Advanced Virgo detector. We assume that the shape of SGWB power spectra and the sky distribution is known \textit{a priori} from the population synthesis model. The information of the ensemble source properties, i.e., the in-band number of pulsars, $N_{\textrm{obs}}$ and the averaged ellipticity, $\mu_\epsilon$ is encoded in the maximum likelihood statistic. We do not find significant evidence for the SGWB signal from the considered source population. The best Bayesian upper limit with $95\%$ confidence for the parameters are $N_{\textrm{obs}}\leq8.8\times10^{4}$ and $\mu_\epsilon\leq1.4\times10^{-6}$, which is comparable to the bounds on mean ellipticity with the GW observations of the individual pulsars. Finally, we show that for the plausible case of $N_{\textrm{obs}}=40,000$, with the one year of observations, the one-sigma sensitivity on $\mu_\epsilon$ might reach $1.5\times10^{-7}$ and $4.1\times10^{-8}$ for the second-generation detector network having A+ sensitivity and third-generation detector network, respectively.


title: The role of the bile salt surfactant sodium deoxycholate in aqueous two-phase separation of single-wall carbon nanotubes revealed by systematic parameter variations

abstract: Aqueous two-phase (ATP) extraction has been demonstrated as a fast, scalable, and effective separation technique to sort single-wall carbon nanotubes (SWCNTs) according to their diameter and chiral structure. The exact mechanism behind the chirality-dependent migration of SWCNTs between the two phases is however not completely understood, and depends on many parameters (e.g., choice of surfactants and their concentration, pH, temperature, ...), making it difficult to optimize the multivariable parameter space. In this work, we present a systematic study of the choice and concentration of specific surfactants on the ATP sorting, by performing a series of single-step ATP separations in which each time only one parameter is systematically varied, while monitoring the structure-specific migration of every SWCNT chirality between both phases with detailed wavelength-dependent spectroscopy. These systematic studies reveal that the diameter-dependent stacking of a discrete number of sodium deoxycholate molecules fitting around the SWCNT circumference determines the separation order in the form of a periodically modulated pattern as a function of SWCNT diameter. Addition of cosurfactants can be used to compete with the bile salt surfactant to enhance the separation yields, but does not affect the sorting order. The results are afterwards directly applied to predict the parameters required to separate specific chiral structures in just two ATP steps.