title: Recurrence-free Survival Prediction under the Guidance of Automatic Gross Tumor Volume Segmentation for Head and Neck Cancers

abstract: For Head and Neck Cancers (HNC) patient management, automatic gross tumor volume (GTV) segmentation and accurate pre-treatment cancer recurrence prediction are of great importance to assist physicians in designing personalized management plans, which have the potential to improve the treatment outcome and quality of life for HNC patients. In this paper, we developed an automated primary tumor (GTVp) and lymph nodes (GTVn) segmentation method based on combined pre-treatment positron emission tomography/computed tomography (PET/CT) scans of HNC patients. We extracted radiomics features from the segmented tumor volume and constructed a multi-modality tumor recurrence-free survival (RFS) prediction model, which fused the prediction results from separate CT radiomics, PET radiomics, and clinical models. We performed 5-fold cross-validation to train and evaluate our methods on the MICCAI 2022 HEad and neCK TumOR segmentation and outcome prediction challenge (HECKTOR) dataset. The ensemble prediction results on the testing cohort achieved Dice scores of 0.77 and 0.73 for GTVp and GTVn segmentation, respectively, and a C-index value of 0.67 for RFS prediction. The code is publicly available (https://github.com/wangkaiwan/HECKTOR-2022-AIRT). Our team's name is AIRT.


title: Constant primary operators and where to find them: The strange case of BPS defects in ABJ(M) theory

abstract: We investigate the one-dimensional defect SCFT defined on the $1/2$ BPS Wilson line/loop in ABJ(M) theory. We show that the supermatrix structure of the defect imposes a covariant supermatrix representation of the supercharges. Exploiting this covariant formulation, we prove the existence of a long multiplet whose highest weight state is a constant supermatrix operator. At weak coupling, we study this operator in perturbation theory and confirm that it acquires a non-trivial anomalous dimension. At strong coupling, we conjecture that this operator is dual to the lowest bound state of fluctuations of the fundamental open string in AdS$_4\times \mathbb{CP}_3$ around the classical $1/2$ BPS solution. Quite unexpectedly, this operator also arises in the cohomological equivalence between bosonic and fermionic Wilson loops. We also discuss some regularization subtleties arising in perturbative calculations on the infinite Wilson line.


title: How Broad is a Neutrino?

abstract: Canonical neutrino oscillations arise due to the propagation of three mass eigenstates from production to detection. We aspire to capture, in one simple framework, a broad range of new physics effects on neutrino propagation beyond this canonical picture - this can be done by promoting the neutrino propagators to the general K\"all\'en-Lehmann form. In this work we demonstrate how models predicting additional light propagating species of neutrino are naturally accommodated in this language and propose a simple model spectrum composed of just three `broadened' states as a flexible ansatz by which to explore the phenomenology of new physics in neutrino propagation. Reinterpreting existing neutrino oscillation measurements, we illustrate how this framework provides the capacity to probe deviations from the standard three-neutrino scenario systematically and generally. Whilst current data allows for relatively strong constraints on broadened neutrinos, we find the upcoming JUNO experiment will yield significant improvements, particularly for the heaviest neutrino, paving the way to a clearer understanding of how neutrinos propagate in vacuum.


title: Kemeny's constant and Wiener index on trees

abstract: On trees of fixed order, we show a direct relation between Kemeny's constant and Wiener index, and provide a new formula of Kemeny's constant from the relation with a combinatorial interpretation. Moreover, the relation simplifies proofs of several known results for extremal trees in terms of Kemeny's constant for random walks on trees. Finally, we provide various families of co-Kemeny's mates, which are two non-isomorphic connected graphs with the same Kemeny's constant, and we also give a necessary condition for a tree to attain maximum Kemeny's constant for trees with fixed diameter.


title: Optimization of FPGA-based CNN Accelerators Using Metaheuristics

abstract: In recent years, convolutional neural networks (CNNs) have demonstrated their ability to solve problems in many fields and with accuracy that was not possible before. However, this comes with extensive computational requirements, which made general CPUs unable to deliver the desired real-time performance. At the same time, FPGAs have seen a surge in interest for accelerating CNN inference. This is due to their ability to create custom designs with different levels of parallelism. Furthermore, FPGAs provide better performance per watt compared to GPUs. The current trend in FPGA-based CNN accelerators is to implement multiple convolutional layer processors (CLPs), each of which is tailored for a subset of layers. However, the growing complexity of CNN architectures makes optimizing the resources available on the target FPGA device to deliver optimal performance more challenging. In this paper, we present a CNN accelerator and an accompanying automated design methodology that employs metaheuristics for partitioning available FPGA resources to design a Multi-CLP accelerator. Specifically, the proposed design tool adopts simulated annealing (SA) and tabu search (TS) algorithms to find the number of CLPs required and their respective configurations to achieve optimal performance on a given target FPGA device. Here, the focus is on the key specifications and hardware resources, including digital signal processors, block RAMs, and off-chip memory bandwidth. Experimental results and comparisons using four well-known benchmark CNNs are presented demonstrating that the proposed acceleration framework is both encouraging and promising. The SA-/TS-based Multi-CLP achieves 1.31x - 2.37x higher throughput than the state-of-the-art Single-/Multi-CLP approaches in accelerating AlexNet, SqueezeNet 1.1, VGGNet, and GoogLeNet architectures on the Xilinx VC707 and VC709 FPGA boards.


title: "Bound luminosity" state in the extended Dicke model

abstract: The extended Dicke model describes interaction of the single--mode electromagnetic resonator with an ensemble of interacting two--level systems. In this paper we obtain quasiclassical equations of motion of the extended Dicke model. For certain initial conditions and range of parameters the equations of motion can be solved analytically via Jacobi elliptic functions. The solution is a "bound luminosity" state, which was described by the authors previously for ordinary Dicke model and now is generalized for the case of the extended Dicke model. In this state the periodic beatings of the electromagnetic field occur in the microwave cavity filled with the ensemble of two--level systems. At the beginning of the time period the energy is stored in the electromagnetic field in the cavity, then it is absorbed by the ensemble of two--level systems, being afterwards released back to the cavity in the end of the period. Also the chaotic properties of the semiclassical model are investigated numerically.


title: Trusted IP solution in multi-tenant cloud FPGA platform

abstract: Because FPGAs outperform traditional processing cores like CPUs and GPUs in terms of performance per watt and flexibility, they are being used more and more in cloud and data center applications. There are growing worries about the security risks posed by multi-tenant sharing as the demand for hardware acceleration increases and gradually gives way to FPGA multi-tenancy in the cloud. The confidentiality, integrity, and availability of FPGA-accelerated applications may be compromised if space-shared FPGAs are made available to many cloud tenants. We propose a root of trust-based trusted execution mechanism called \textbf{TrustToken} to prevent harmful software-level attackers from getting unauthorized access and jeopardizing security. With safe key creation and truly random sources, \textbf{TrustToken} creates a security block that serves as the foundation of trust-based IP security. By offering crucial security characteristics, such as secure, isolated execution and trusted user interaction, \textbf{TrustToken} only permits trustworthy connection between the non-trusted third-party IP and the rest of the SoC environment. The suggested approach does this by connecting the third-party IP interface to the \textbf{TrustToken} Controller and running run-time checks on the correctness of the IP authorization(Token) signals. With an emphasis on software-based assaults targeting unauthorized access and information leakage, we offer a noble hardware/software architecture for trusted execution in FPGA-accelerated clouds and data centers.


title: Minimizing Human Assistance: Augmenting a Single Demonstration for Deep Reinforcement Learning

abstract: The use of human demonstrations in reinforcement learning has proven to significantly improve agent performance. However, any requirement for a human to manually 'teach' the model is somewhat antithetical to the goals of reinforcement learning. This paper attempts to minimize human involvement in the learning process while retaining the performance advantages by using a single human example collected through a simple-to-use virtual reality simulation to assist with RL training. Our method augments a single demonstration to generate numerous human-like demonstrations that, when combined with Deep Deterministic Policy Gradients and Hindsight Experience Replay (DDPG + HER) significantly improve training time on simple tasks and allows the agent to solve a complex task (block stacking) that DDPG + HER alone cannot solve. The model achieves this significant training advantage using a single human example, requiring less than a minute of human input. Moreover, despite learning from a human example, the agent is not constrained to human-level performance, often learning a policy that is significantly different from the human demonstration.


title: Capsule Network based Contrastive Learning of Unsupervised Visual Representations

abstract: Capsule Networks have shown tremendous advancement in the past decade, outperforming the traditional CNNs in various task due to it's equivariant properties. With the use of vector I/O which provides information of both magnitude and direction of an object or it's part, there lies an enormous possibility of using Capsule Networks in unsupervised learning environment for visual representation tasks such as multi class image classification. In this paper, we propose Contrastive Capsule (CoCa) Model which is a Siamese style Capsule Network using Contrastive loss with our novel architecture, training and testing algorithm. We evaluate the model on unsupervised image classification CIFAR-10 dataset and achieve a top-1 test accuracy of 70.50% and top-5 test accuracy of 98.10%. Due to our efficient architecture our model has 31 times less parameters and 71 times less FLOPs than the current SOTA in both supervised and unsupervised learning.


title: FusionVAE: A Deep Hierarchical Variational Autoencoder for RGB Image Fusion

abstract: Sensor fusion can significantly improve the performance of many computer vision tasks. However, traditional fusion approaches are either not data-driven and cannot exploit prior knowledge nor find regularities in a given dataset or they are restricted to a single application. We overcome this shortcoming by presenting a novel deep hierarchical variational autoencoder called FusionVAE that can serve as a basis for many fusion tasks. Our approach is able to generate diverse image samples that are conditioned on multiple noisy, occluded, or only partially visible input images. We derive and optimize a variational lower bound for the conditional log-likelihood of FusionVAE. In order to assess the fusion capabilities of our model thoroughly, we created three novel datasets for image fusion based on popular computer vision datasets. In our experiments, we show that FusionVAE learns a representation of aggregated information that is relevant to fusion tasks. The results demonstrate that our approach outperforms traditional methods significantly. Furthermore, we present the advantages and disadvantages of different design choices.


title: Global Controllability Criteria and Motion Planning of Regular Affine Systems With Drifts

abstract: In this article, we give a condition for the global controllability of affine nonlinear control systems with drifts on Euclidean spaces. Under regularity assumptions, the condition is necessary and sufficient in the codimension-1 and codimension-2 cases, and holds for systems of higher codimensions under mild restrictions. We then investigate motion planning problems for codimension-1 affine systems, and give proof of the global existence of the lift to control curves for certain drifted systems using the homotopy continuation method.


title: Environment Optimization for Multi-Agent Navigation

abstract: Traditional approaches to the design of multi-agent navigation algorithms consider the environment as a fixed constraint, despite the obvious influence of spatial constraints on agents' performance. Yet hand-designing improved environment layouts and structures is inefficient and potentially expensive. The goal of this paper is to consider the environment as a decision variable in a system-level optimization problem, where both agent performance and environment cost can be accounted for. We begin by proposing a novel environment optimization problem. We show, through formal proofs, under which conditions the environment can change while guaranteeing completeness (i.e., all agents reach their navigation goals). Our solution leverages a model-free reinforcement learning approach. In order to accommodate a broad range of implementation scenarios, we include both online and offline optimization, and both discrete and continuous environment representations. Numerical results corroborate our theoretical findings and validate our approach.


title: Scalable Gaussian Process Hyperparameter Optimization via Coverage Regularization

abstract: Gaussian processes (GPs) are Bayesian non-parametric models popular in a variety of applications due to their accuracy and native uncertainty quantification (UQ). Tuning GP hyperparameters is critical to ensure the validity of prediction accuracy and uncertainty; uniquely estimating multiple hyperparameters in, e.g. the Matern kernel can also be a significant challenge. Moreover, training GPs on large-scale datasets is a highly active area of research: traditional maximum likelihood hyperparameter training requires quadratic memory to form the covariance matrix and has cubic training complexity. To address the scalable hyperparameter tuning problem, we present a novel algorithm which estimates the smoothness and length-scale parameters in the Matern kernel in order to improve robustness of the resulting prediction uncertainties. Using novel loss functions similar to those in conformal prediction algorithms in the computational framework provided by the hyperparameter estimation algorithm MuyGPs, we achieve improved UQ over leave-one-out likelihood maximization while maintaining a high degree of scalability as demonstrated in numerical experiments.


title: Toric Sylvester forms

abstract: In this paper, we investigate the structure of the saturation of ideals generated by sparse homogeneous polynomials over a projective toric variety $X$ with respect to the irrelevant ideal of $X$. As our main results, we establish a duality property and make it explicit by introducing toric Sylvester forms, under a certain positivity assumption on $X$. In particular, we prove that toric Sylvester forms yield bases of some graded components of $I^{\text{sat}}/I$, where $I$ denotes an ideal generated by $n+1$ generic forms, $n$ is the dimension of $X$ and $I^{\text{sat}}$ the saturation of $I$ with respect to the irrelevant ideal of the Cox ring of $X$. Then, to illustrate the relevance of toric Sylvester forms we provide three consequences in elimination theory over smooth toric varieties: (1) we introduce a new family of elimination matrices that can be used to solve sparse polynomial systems by means of linear algebra methods, including overdetermined polynomial systems; (2) by incorporating toric Sylvester forms to the classical Koszul complex associated to a polynomial system, we obtain new expressions of the sparse resultant as a determinant of a complex; (3) we explote a new formula for computing toric residues of the product of two forms.


title: Automated detection of Alzheimer disease using MRI images and deep neural networks- A review

abstract: Early detection of Alzheimer disease is crucial for deploying interventions and slowing the disease progression. A lot of machine learning and deep learning algorithms have been explored in the past decade with the aim of building an automated detection for Alzheimer. Advancements in data augmentation techniques and advanced deep learning architectures have opened up new frontiers in this field, and research is moving at a rapid speed. Hence, the purpose of this survey is to provide an overview of recent research on deep learning models for Alzheimer disease diagnosis. In addition to categorizing the numerous data sources, neural network architectures, and commonly used assessment measures, we also classify implementation and reproducibility. Our objective is to assist interested researchers in keeping up with the newest developments and in reproducing earlier investigations as benchmarks. In addition, we also indicate future research directions for this topic.


title: To Rain or Not to Rain: Correlating GOES Flare Class and Coronal Rain Statistics

abstract: Post-flare arcades are well-known components of solar flare evolution, which have been observed for several decades. Coronal rain, cascades of catastrophically-cooled plasma, outline the loops and provide eye-catching evidence of the recent flare. These events are acknowledged to be common, but the scientific literature does not include any statistical overview documenting just how common the phenomenon actually is. This study reviews Solar Dynamics Observatory Atmospheric Imaging Assembly (SDO AIA) observations of 241 flares collected from the Space Weather Prediction Center (SWPC) database between 2011 and 2018. The flares cover the entire strength range of the C, M, and X GOES classes, and are distributed evenly across the SDO-observed majority of Solar Cycle 24. We find that post-flare arcade rain occurs for nearly all X and most M-class flares, but that it tapers off rapidly within C-class flares. There appears to be a cut-off point around C5, below which the occurrence of post-flare arcade rain drops significantly. There is also a general positive correlation between GOES class and the average duration of post-flare rain events. Post-flare arcade rain events in C-class flares appear to track with the sunspot number, providing a potential new tool for estimating, if not predicting, solar cycle strength. Furthermore, condensations appear to be suppressed in the shortest-length arcade loops of any class observed, suggesting that active region heating is height-constrained. These results open up further avenues for future research, including new methods to estimate energy deposition and to gain greater insight into steady active region heating.


title: The Impact of Social Media in Learning and Teaching: A Bibliometric-based Citation Analysis

abstract: This paper presents the results of a systematic review of the literature on the impact of social media in learning and teaching through bibliometric based Citation analysis. The objective of the review was to map the evolution of the current literature and identify the leading sources of knowledge in terms of the most influential journals, authors, and articles. From a total of 50 top most relevant articles selected from the Scopus database, a detailed citation analysis was conducted. The study explored the overall theoretical foundation of social media research involving in learning and studying and identified the leading sources of knowledge in terms of and papers and revealed research trends over the last four years by citation analysis. The analysis of citation data showed that International Journal of Management Education is the leading journal in social media in learning and teaching research. Author Abdullah Z was found to be the leading author in this field in terms of a total number of publications, total citations, and h index, while the most cited article was authored by Baaran S. and by Bapitha L. The contribution of this study is to clearly outline the current state of knowledge regarding social media in learning and teaching services in the literature.


title: B\'ezier interpolation improves the inference of dynamical models from data

abstract: Many dynamical systems, from quantum many-body systems to evolving populations to financial markets, are described by stochastic processes. Parameters characterizing such processes can often be inferred using information integrated over stochastic paths. However, estimating time-integrated quantities from real data with limited time resolution is challenging. Here, we propose a framework for accurately estimating time-integrated quantities using B\'ezier interpolation. We applied our approach to two dynamical inference problems: determining fitness parameters for evolving populations and inferring forces driving Ornstein-Uhlenbeck processes. We found that B\'ezier interpolation reduces the estimation bias for both dynamical inference problems. This improvement was especially noticeable for data sets with limited time resolution. Our method could be broadly applied to improve accuracy for other dynamical inference problems using finitely sampled data.


title: Analysis and Modeling of High-Frequency Emission and Deep Seismic Sources of Sunquakes

abstract: Recent work published by Lindsey et al find evidence for a deep and compact seismic source for the sunquake associated with the 2011 July 30 M9.3 flare, as well as seismic emission extending up to 10 mHz. We examine the sunquake independently, and a possible wavefront is found in the 8 mHz band, though no wavefront is easily discernible in the 10 mHz band. Additionally, we perform numerical simulations of seismic excitation modeled with the reported parameters and changes in the power spectra with increasing depth of the excitation source are examined. It is found that the peak frequency decreases for increasing depths, but a shallow minimum is indicated between z=0 and z=-840 km. Analysis of the suspected wavefront of the M9.3 sunquake finds that the power spectrum of the reported seismic emission is close to that of background oscillations, though with a peak frequency noticeably lower than the background peak. Additionally, it is found that the amplitude of the source estimated by Lindsey et al is too low to produce the observed wavefront.


title: Leveraging GPU Tensor Cores for Double Precision Euclidean Distance Calculations

abstract: Tensor cores (TCs) are a type of Application-Specific Integrated Circuit (ASIC) and are a recent addition to Graphics Processing Unit (GPU) architectures. As such, TCs are purposefully designed to greatly improve the performance of Matrix Multiply-Accumulate (MMA) operations. While TCs are heavily studied for machine learning and closely related fields, where their high efficiency is undeniable, MMA operations are not unique to these fields. More generally, any computation that can be expressed as MMA operations can leverage TCs, and potentially benefit from their higher computational throughput compared to other general-purpose cores, such as CUDA cores on Nvidia GPUs. In this paper, we propose the first double precision (FP64) Euclidean distance calculation algorithm, which is expressed as MMA operations to leverage TCs on Nvidia GPUs, rather than the more commonly used CUDA cores. To show that the Euclidean distance can be accelerated in a real-world application, we evaluate our proposed TC algorithm on the distance similarity self-join problem, as the most computationally intensive part of the algorithm consists of computing distances in a multi-dimensional space. We find that the performance gain from using the tensor core algorithm over the CUDA core algorithm depends weakly on the dataset size and distribution, but is strongly dependent on data dimensionality. Overall, TCs are a compelling alternative to CUDA cores, particularly when the data dimensionality is low ($\leq{4}$), as we achieve an average speedup of $1.28\times$ and up to $2.23\times$ against a state-of-the-art GPU distance similarity self-join algorithm. Furthermore, because this paper is among the first to explore the use of TCs for FP64 general-purpose computation, future research is promising.


title: Dark Matter from Evaporating Primordial Black Holes in the Early Universe

abstract: Primordial Black Holes (PBH) could dominate in the early universe and, evaporating before Big bang Nucleosynthesis, can provide new freeze in mechanism of dark matter (DM) production. The proposed scenario is considered for two possible mechanisms of PBH formation and the corresponding continuous PBH mass spectra so that the effect of non-single PBH mass spectrum is taken into account in the results of PBH evaporation, by which PBH dominance in the early universe ends. We specify the conditions under which the proposed scenario can explain production of dark matter in very early Universe.


title: Surveillance of a Faster Fixed-Course Target

abstract: The maximum surveillance of a target which is holding course is considered, wherein an observer vehicle aims to maximize the time that a faster target remains within a fixed-range of the observer. This entails two coupled phases: an approach phase and observation phase. In the approach phase, the observer strives to make contact with the faster target, such that in the observation phase, the observer is able to maximize the time where the target remains within range. Using Pontryagin's Minimum Principle, the optimal control laws for the observer are found in closed-form. Example scenarios highlight various aspects of the engagement.


title: Entanglement of Stationary States in the Presence of Unstable Quasiparticles

abstract: The effect of unstable quasiparticles in the out-of-equilibrium dynamics of certain integrable systems has been the subject of several recent studies. In this paper we focus on the stationary value of the entanglement entropy density, its growth rate, and related functions, after a quantum quench. We consider several quenches, each of which is characterised by a corresponding squeezed coherent state. In the quench action approach, the coherent state amplitudes $K(\theta)$ become input data that fully characterise the large-time stationary state, thus also the corresponding Yang-Yang entropy. We find that, as function of the mass of the unstable particle, the entropy growth rate has a global minimum signalling the depletion of entropy that accompanies a slowdown of stable quasiparticles at the threshold for the formation of an unstable excitation. We also observe a separation of scales governed by the interplay between the mass of the unstable particle and the quench parameter, separating a non-interacting regime described by free fermions from an interacting regime where the unstable particle is present. This separation of scales leads to a double-plateau structure of many functions, where the relative height of the plateaux is related to the ratio of central charges of the UV fixed points associated with the two regimes, in full agreement with conformal field theory predictions. The properties of several other functions of the entropy and its growth rate are also studied in detail, both for fixed quench parameter and varying unstable particle mass and viceversa.


title: Fast code CASCIE (Code for Accelerating Structures -Coupled Integral Equations). Test Results

abstract: Results of testing the fast CASCIE (Code for Accelerating Structures - Coupled Integral Equations) code developed as an analytical-numerical tool for studying the properties of inhomogeneous structured waveguides are presented. We have used this code to numerically tune the resonator chain, which is very similar to the classic 3m SLAC accelerating structure. During testing, we discovered a problem that, in our opinion, was overlooked in the development of the accelerating sections, namely the appearance of a constant phase shift when determining the dimensions of the resonator radii from the characteristics of homogeneous structures. This issue is particularly relevant in the development of short accelerating structures.


title: Staggered Scheme for the Compressible Fluctuating Hydrodynamics of Multispecies Fluid Mixtures

abstract: We present a numerical formulation for the solution of non-isothermal, compressible, Navier-Stokes equations with thermal fluctuations to describe mesoscale transport phenomena in multispecies fluid mixtures. The novelty of our numerical method is the use of staggered grid momenta along with a finite volume discretization of the thermodynamic variables to solve the resulting stochastic partial differential equations. The key advantages of the numerical scheme are significantly simplified and compact discretization of the diffusive and stochastic momentum fluxes, and an unambiguous prescription of boundary conditions involving pressure. The staggered grid scheme more accurately reproduces the equilibrium static structure factor of hydrodynamic fluctuations in gas mixtures compared to a collocated scheme described previously in Balakrishnan \emph{et al.} [Phys. Rev. E 89, 013017 (2014)]. The numerical method is tested for ideal noble gases mixtures under various nonequilibrium conditions, such as applied thermal and concentration gradients, to assess the role of cross-diffusion effects, such as Soret and Dufour, on the long-ranged correlations of hydrodynamic fluctuations, which are also more accurately reproduced compared to the collocated scheme. We numerically study giant nonequilibrium fluctuations driven by concentration gradients, and fluctuation-driven Rayleigh-Taylor instability in gas mixtures. Wherever applicable, excellent agreement is observed with theory and measurements from the direct simulation Monte Carlo (DSMC) method.


title: A Framework for Single-Item NFT Auction Mechanism Design

abstract: Lately, Non-Fungible Tokens (NFTs), i.e., uniquely discernible assets on a blockchain, have skyrocketed in popularity by addressing a broad audience. However, the typical NFT auctioning procedures are conducted in various, ad hoc ways, while mostly ignoring the context that the blockchain provides. One of the main targets of this work is to shed light on the vastly unexplored design space of NFT Auction Mechanisms, especially in those characteristics that fundamentally differ from traditional and more contemporaneous forms of auctions. We focus on the case that bidders have a valuation for the auctioned NFT, i.e., what we term the single-item NFT auction case. In this setting, we formally define an NFT Auction Mechanism, give the properties that we would ideally like a perfect mechanism to satisfy (broadly known as incentive compatibility and collusion resistance) and prove that it is impossible to have such a perfect mechanism. Even though we cannot have an all-powerful protocol like that, we move on to consider relaxed notions of those properties that we may desire the protocol to satisfy, as a trade-off between implementability and economic guarantees. Specifically, we define the notion of an equilibrium-truthful auction, where neither the seller nor the bidders can improve their utility by acting non-truthfully, so long as the counter-party acts truthfully. We also define asymptotically second-price auctions, in which the seller does not lose asymptotically any revenue in comparison to the theoretically-optimal (static) second-price sealed-bid auction, in the case that the bidders' valuations are drawn independently from some distribution. We showcase why these two are very desirable properties for an auction mechanism to enjoy, and construct the first known NFT Auction Mechanism which provably possesses such formal guarantees.


title: T2FPV: Dataset and Method for Correcting First-Person View Errors in Pedestrian Trajectory Prediction

abstract: Predicting pedestrian motion is essential for developing socially-aware robots that interact in a crowded environment. While the natural visual perspective for a social interaction setting is an egocentric view, the majority of existing work in trajectory prediction therein has been investigated purely in the top-down trajectory space. To support first-person view trajectory prediction research, we present T2FPV, a method for constructing high-fidelity first-person view (FPV) datasets given a real-world, top-down trajectory dataset; we showcase our approach on the ETH/UCY pedestrian dataset to generate the egocentric visual data of all interacting pedestrians, creating the T2FPV-ETH dataset. In this setting, FPV-specific errors arise due to imperfect detection and tracking, occlusions, and field-of-view (FOV) limitations of the camera. To address these errors, we propose CoFE, a module that further refines the imputation of missing data in an end-to-end manner with trajectory forecasting algorithms. Our method reduces the impact of such FPV errors on downstream prediction performance, decreasing displacement error by more than 10% on average. To facilitate research engagement, we release our T2FPV-ETH dataset and software tools.


title: Outage Probability Analysis of Mixed RF-FSO System Influenced by Fisher-Snedecor Fading and Gamma-Gamma Atmospheric Turbulence

abstract: In this paper, we investigate a dual-hop relaying system, composed of radio frequency (RF) and free-space optical (FSO) link. Decode-and-forward (DF) relay is employed to integrate the first RF link and the second line-of-sight FSO links. The RF channel is assumed to be subject to recently proposed Fisher-Snedecor fading model, which was shown to be convenient for modeling in realistic wireless communication scenarios. The FSO channel is affected by Gamma-Gamma distributed atmospheric turbulence. Expression for the outage probability is derived and utilized to present numerical results. Based on presented results, the effects of various RF and FSO channels parameters on the overall system performance are examined and discussed.


title: Isolation performance metrics for personal sound zone reproduction systems

abstract: Two isolation performance metrics, Inter-Zone Isolation (IZI) and Inter-Program Isolation (IPI), are introduced for evaluating Personal Sound Zone (PSZ) systems. Compared to the commonly-used Acoustic Contrast metric, IZI and IPI are generalized for multichannel audio, and quantify the isolation of sound zones and of audio programs, respectively. The two metrics are shown to be generally non-interchangeable and suitable for different scenarios, such as generating dark zones (IZI) or minimizing audio-on-audio interference (IPI). Furthermore, two examples with free-field simulations are presented and demonstrate the applications of IZI and IPI in evaluating PSZ performance in different rendering modes and PSZ robustness.


title: Maximum likelihood estimation for nonembeddable Markov chains when the cycle length is shorter than the data observation interval

abstract: Time-homogeneous Markov chains are often used as disease progression models in studies of cost-effectiveness and optimal decision-making. Maximum likelihood estimation of these models can be challenging when data are collected at a time interval longer than the model's transition cycle length. For example, it may be necessary to estimate a monthly transition model from data collected annually. The likelihood for a time-homogeneous Markov chain with transition matrix $\mathbf{P}$ and data observed at intervals of $T$ cycles is a function of $\mathbf{P}^T.$ The maximum likelihood estimate of $\mathbf{P}^T$ is easily obtained from the data. The $T$th root of this estimate would then be a maximum likelihood estimate for $\mathbf{P}.$ However, the $T$th root of $\mathbf{P}^T$ is not necessarily a valid transition matrix. Maximum likelihood estimation of $\mathbf{P}$ is a constrained optimization problem when a valid root is unavailable. The optimization problem is not convex. Local convergence is explored in several case studies through graphical representations of a grid search. The example cases use disease progression data from the literature as well as synthetic data. The global maximum likelihood estimate is increasingly difficult to locate as the number of cycles or the number of states increases. What seems like a straightforward estimation problem can be challenging even for relatively simple models. Researchers should consider alternatives to likelihood maximization or alternative models.


title: A binary tree approach to template placement for searches for gravitational waves from compact binary mergers

abstract: We demonstrate a new geometric method for fast template placement for searches for gravitational waves from the inspiral, merger and ringdown of compact binaries. The method is based on a binary tree decomposition of the template bank parameter space into non-overlapping hypercubes. We use a numerical approximation of the signal overlap metric at the center of each hypercube to estimate the number of templates required to cover the hypercube and determine whether to further split the hypercube. As long as the expected number of templates in a given cube is greater than a given threshold, we split the cube along its longest edge according to the metric. When the expected number of templates in a given hypercube drops below this threshold, the splitting stops and a template is placed at the center of the hypercube. Using this method, we generate aligned-spin template banks covering the mass range suitable for a search of Advanced LIGO data. The aligned-spin bank required ~24 CPU-hours and produced 2 million templates. In general, we find that other methods, namely stochastic placement, produces a more strictly bounded loss in match between waveforms, with the same minimal match between waveforms requiring about twice as many templates with our proposed algorithm. Though we note that the average match is higher, which would lead to a higher detection efficiency. Our primary motivation is not to strictly minimize the number of templates with this algorithm, but rather to produce a bank with useful geometric properties in the physical parameter space coordinates. Such properties are useful for population modeling and parameter estimation.


title: Deep Domain Adaptation for Detecting Bomb Craters in Aerial Images

abstract: The aftermath of air raids can still be seen for decades after the devastating events. Unexploded ordnance (UXO) is an immense danger to human life and the environment. Through the assessment of wartime images, experts can infer the occurrence of a dud. The current manual analysis process is expensive and time-consuming, thus automated detection of bomb craters by using deep learning is a promising way to improve the UXO disposal process. However, these methods require a large amount of manually labeled training data. This work leverages domain adaptation with moon surface images to address the problem of automated bomb crater detection with deep learning under the constraint of limited training data. This paper contributes to both academia and practice (1) by providing a solution approach for automated bomb crater detection with limited training data and (2) by demonstrating the usability and associated challenges of using synthetic images for domain adaptation.


title: Non-interactive XOR quantum oblivious transfer: optimal protocols and their experimental implementations

abstract: Oblivious transfer (OT) is an important cryptographic primitive. Any multi-party computation can be realised with OT as building block. XOR oblivious transfer (XOT) is a variant where the sender Alice has two bits, and a receiver Bob obtains either the first bit, the second bit, or their XOR. Bob should not learn anything more than this, and Alice should not learn what Bob has learnt. Perfect quantum OT with information-theoretic security is known to be impossible. We determine the smallest possible cheating probabilities for unrestricted dishonest parties in non-interactive quantum XOT protocols using symmetric pure states, and present an optimal protocol, which outperforms classical protocols. We also "reverse" this protocol, so that Bob becomes sender of a quantum state and Alice the receiver who measures it, while still implementing oblivious transfer from Alice to Bob. Cheating probabilities for both parties stay the same as for the unreversed protocol. We optically implemented both the unreversed and the reversed protocols, and cheating strategies, noting that the reversed protocol is easier to implement.


abstract: Let $M$ be a K\"ahler manifold with complex structure $J$ and K\"ahler metric $g$. A c-projective vector field is a vector field on $M$ whose flow sends $J$-planar curves to $J$-planar curves, where $J$-planar curves are analogs of what (unparametrised) geodesics are for pseudo-Riemannian manifolds (without complex structure). The c-projective symmetry algebras of K\"ahler surfaces with essential (i.e., non-affine) c-projective vector fields are computed.


title: ProgPrompt: Generating Situated Robot Task Plans using Large Language Models

abstract: Task planning can require defining myriad domain knowledge about the world in which a robot needs to act. To ameliorate that effort, large language models (LLMs) can be used to score potential next actions during task planning, and even generate action sequences directly, given an instruction in natural language with no additional domain information. However, such methods either require enumerating all possible next steps for scoring, or generate free-form text that may contain actions not possible on a given robot in its current context. We present a programmatic LLM prompt structure that enables plan generation functional across situated environments, robot capabilities, and tasks. Our key insight is to prompt the LLM with program-like specifications of the available actions and objects in an environment, as well as with example programs that can be executed. We make concrete recommendations about prompt structure and generation constraints through ablation experiments, demonstrate state of the art success rates in VirtualHome household tasks, and deploy our method on a physical robot arm for tabletop tasks. Website at progprompt.github.io


title: An Investigation of the Bias-Variance Tradeoff in Meta-Gradients

abstract: Meta-gradients provide a general approach for optimizing the meta-parameters of reinforcement learning (RL) algorithms. Estimation of meta-gradients is central to the performance of these meta-algorithms, and has been studied in the setting of MAML-style short-horizon meta-RL problems. In this context, prior work has investigated the estimation of the Hessian of the RL objective, as well as tackling the problem of credit assignment to pre-adaptation behavior by making a sampling correction. However, we show that Hessian estimation, implemented for example by DiCE and its variants, always adds bias and can also add variance to meta-gradient estimation. Meanwhile, meta-gradient estimation has been studied less in the important long-horizon setting, where backpropagation through the full inner optimization trajectories is not feasible. We study the bias and variance tradeoff arising from truncated backpropagation and sampling correction, and additionally compare to evolution strategies, which is a recently popular alternative strategy to long-horizon meta-learning. While prior work implicitly chooses points in this bias-variance space, we disentangle the sources of bias and variance and present an empirical study that relates existing estimators to each other.


title: Colonoscopy Landmark Detection using Vision Transformers

abstract: Colonoscopy is a routine outpatient procedure used to examine the colon and rectum for any abnormalities including polyps, diverticula and narrowing of colon structures. A significant amount of the clinician's time is spent in post-processing snapshots taken during the colonoscopy procedure, for maintaining medical records or further investigation. Automating this step can save time and improve the efficiency of the process. In our work, we have collected a dataset of 120 colonoscopy videos and 2416 snapshots taken during the procedure, that have been annotated by experts. Further, we have developed a novel, vision-transformer based landmark detection algorithm that identifies key anatomical landmarks (the appendiceal orifice, ileocecal valve/cecum landmark and rectum retroflexion) from snapshots taken during colonoscopy. Our algorithm uses an adaptive gamma correction during preprocessing to maintain a consistent brightness for all images. We then use a vision transformer as the feature extraction backbone and a fully connected network based classifier head to categorize a given frame into four classes: the three landmarks or a non-landmark frame. We compare the vision transformer (ViT-B/16) backbone with ResNet-101 and ConvNext-B backbones that have been trained similarly. We report an accuracy of 82% with the vision transformer backbone on a test dataset of snapshots.


title: Network emergence and reorganization in confined slime moulds

abstract: A fundamental question regarding biological transport networks is the interplay between the network development or reorganization and the flows it carries. We use Physarum polycephalum, a true slime mould with a transport network which adapts quickly to change of external conditions, as a biological model to make progress in this question. We explore the network emergence and reorganization in specimens suddenly confined in chambers with ring geometry. Using an image analysis method based on the structure tensor, we quantify the emergence and directionality of the network. We show that confinement induces a reorganization of the network with a typical $10^{4}$s timescale, during which veins align orthoradially along the ring. We show that this network evolution relies on local dynamics.


title: StyleTime: Style Transfer for Synthetic Time Series Generation

abstract: Neural style transfer is a powerful computer vision technique that can incorporate the artistic "style" of one image to the "content" of another. The underlying theory behind the approach relies on the assumption that the style of an image is represented by the Gram matrix of its features, which is typically extracted from pre-trained convolutional neural networks (e.g., VGG-19). This idea does not straightforwardly extend to time series stylization since notions of style for two-dimensional images are not analogous to notions of style for one-dimensional time series. In this work, a novel formulation of time series style transfer is proposed for the purpose of synthetic data generation and enhancement. We introduce the concept of stylized features for time series, which is directly related to the time series realism properties, and propose a novel stylization algorithm, called StyleTime, that uses explicit feature extraction techniques to combine the underlying content (trend) of one time series with the style (distributional properties) of another. Further, we discuss evaluation metrics, and compare our work to existing state-of-the-art time series generation and augmentation schemes. To validate the effectiveness of our methods, we use stylized synthetic data as a means for data augmentation to improve the performance of recurrent neural network models on several forecasting tasks.


title: A combinatorial bound on the number of distinct eigenvalues of a graph

abstract: The smallest possible number of distinct eigenvalues of a graph $G$, denoted by $q(G)$, has a combinatorial bound in terms of unique shortest paths in the graph. In particular, $q(G)$ is bounded below by $k$, where $k$ is the number of vertices of a unique shortest path joining any pair of vertices in $G$. Thus, if $n$ is the number of vertices of $G$, then $n-q(G)$ is bounded above by the size of the complement (with respect to the vertex set of $G$) of the vertex set of the longest unique shortest path joining any pair of vertices of $G$. The purpose of this paper is to commence the study of the minor-monotone floor of $n-k$, which is the minimum of $n-k$ among all graphs of which $G$ is a minor. Accordingly, we prove some results about this minor-monotone floor.


title: The minimal resolution property for points on general curves

abstract: We present an essentially complete solution to the Minimal Resolution Conjecture for general curves, determining the shape of the minimal resolution of general sets of points on a general curve C of degree d>2r-1 in P^r. Our methods also provide a proof (valid in arbitrary characteristic) of the strong version of Butler's Conjecture on the stability of syzygy bundles on a general curve of every genus at least 3, as well as of the Frobenius semistability in positive characteristic of the syzygy bundle of a general curve in the range d>2r-1.


title: Combinatorially random curves on surfaces

abstract: We study topological properties of random closed curves on an orientable surface $S$ of negative Euler characteristic. Letting $\gamma_{n}$ denote the conjugacy class of the $n^{th}$ step of a simple random walk on the Cayley graph driven by a measure whose support is on a finite generating set, then with probability converging to $1$ as $n$ goes to infinity, (1) the point in Teichm\"uller space at which $\gamma_{n}$ is length-minimized stays in some compact set; (2) the self-intersection number of $\gamma_{n}$ is on the order of $n^{2}$, the minimum length of $\gamma_{n}$ taken over all hyperbolic metrics is on the order of $n$, and the metric minimizing the length of $\gamma_{n}$ is uniformly thick; and (3) when $S$ is punctured and the distribution is uniform and supported on a generating set of minimum size, the minimum degree of a cover to which $\gamma_{n}$ admits a simple elevation (which we call the $\textit{simple lifting degree}$ of $\gamma_{n}$) grows at least like $n/\log(n)$ and at most on the order of $n$. We also show that these properties are $\textit{generic}$, in the sense that the proportion of elements in the ball of radius $n$ in the Cayley graph for which they hold, converges to $1$ as $n$ goes to infinity. The lower bounds on simple lifting degree for randomly chosen curves we obtain significantly improve the previously best known bounds which were on the order of $\log^{(1/3)}n$. As applications, we give relatively sharp upper and lower bounds on the dilatation of a generic point-pushing pseudo-Anosov homeomorphism in terms of the self-intersection number of its defining curve, as well as upper bounds on the simple lifting degree of a random curve in terms of its intersection number which outperform bounds for general curves.


title: Complete reducibility and subgroups of exceptional algebraic groups

abstract: This survey article has two components. The first part gives a gentle introduction to Serre's notion of $G$-complete reducibility, where $G$ is a connected reductive algebraic group defined over an algebraically closed field. The second part concerns consequences of this theory when $G$ is simple of exceptional type, specifically its role in elucidating the subgroup structure of $G$. The latter subject has a history going back about sixty years. We give an overview of what is known, up to the present day. We also take the opportunity to offer several corrections to the literature.


title: Spatial model personalization in Gboard

abstract: We introduce a framework for adapting a virtual keyboard to individual user behavior by modifying a Gaussian spatial model to use personalized key center offset means and, optionally, learned covariances. Through numerous real-world studies, we determine the importance of training data quantity and weights, as well as the number of clusters into which to group keys to avoid overfitting. While past research has shown potential of this technique using artificially-simple virtual keyboards and games or fixed typing prompts, we demonstrate effectiveness using the highly-tuned Gboard app with a representative set of users and their real typing behaviors. Across a variety of top languages, we achieve small-but-significant improvements in both typing speed and decoder accuracy.


title: Deep Learning for Multi-User Proactive Beam Handoff: A 6G Application

abstract: This paper demonstrates the use of deep learning and time series data generated from user equipment (UE) beam measurements and positions collected by the base station (BS) to enable handoffs between beams that belong to the same or different BSs. We propose the use of long short-term memory (LSTM) recurrent neural networks with three different approaches and vary the number of lookbacks of the beam measurements to study the performance of the prediction used for the proactive beam handoff. Simulations show that while UE positions can improve the prediction performance, it is only up to a certain point. At a sufficiently large number of lookbacks, the UE positions become irrelevant to the prediction accuracy since the LSTMs are able to learn the optimal beam based on implicitly defined positions from the time-defined trajectories.


title: The RITAS algorithm: a constructive yield monitor data processing algorithm

abstract: Yield monitor datasets are known to contain a high percentage of unreliable records. The current tool set is mostly limited to observation cleaning procedures based on heuristic or empirically-motivated statistical rules for extreme value identification and removal. We propose a constructive algorithm for handling well-documented yield monitor data artifacts without resorting to data deletion. The four-step Rectangle creation, Intersection assignment and Tessellation, Apportioning, and Smoothing (RITAS) algorithm models sample observations as overlapping, unequally-shaped, irregularly-sized, time-ordered, areal spatial units to better replicate the nature of the destructive sampling process. Positional data is used to create rectangular areal spatial units. Time-ordered intersecting area tessellation and harvested mass apportioning generate regularly-shaped and -sized polygons partitioning the entire harvested area. Finally, smoothing via a Gaussian process is used to provide map users with spatial-trend visualization. The intermediate steps as well as the algorithm output are illustrated in maize and soybean grain yield maps for five years of yield monitor data collected at a research agricultural site located in the US Fish and Wildlife Service Neal Smith National Wildlife Refuge.


title: X-ray Emission from the Exoplanet Hosting LTT 1445 Triple Star System

abstract: JWST will be able to observe the atmospheres of rocky planets transiting nearby M dwarfs. The M dwarf triple star system LTT 1445, at a distance of 6.86 pc, hosts some of the nearest rocky terrestrial planets. These planets most likely orbit the M 3.5V star LTT 1445A. During a 28.6 ksec Chandra ACIS-S3 observation we have i) spatially resolved and detected all three stars in the LTT 1445 system, ii) measured the X-ray luminosity of the individual stars, including LTT 1445A, for the first time, iii) studied the flux variability of the X-ray sources and found strong variability from the A and C components, and iv) investigated how the coronal luminosities, temperatures and volume emission measures vary at different activity levels. Combining these X-ray data with upcoming HST ultraviolet observations will allow a differential emission measure (DEM) estimation of the star's EUV spectrum, thereby facilitating modeling of the rocky planets' atmospheres.


title: Robust beta regression through the logit transformation

abstract: Beta regression models are employed to model continuous response variables in the unit interval, like rates, percentages, or proportions. Their applications rise in several areas, such as medicine, environment research, finance, and natural sciences. The maximum likelihood estimation is widely used to make inferences for the parameters. Nonetheless, it is well-known that the maximum likelihood-based inference suffers from the lack of robustness in the presence of outliers. Such a case can bring severe bias and misleading conclusions. Recently, robust estimators for beta regression models were presented in the literature. However, these estimators require non-trivial restrictions in the parameter space, which limit their application. This paper develops new robust estimators that overcome this drawback. Their asymptotic and robustness properties are studied, and robust Wald-type tests are introduced. Simulation results evidence the merits of the new robust estimators. Inference and diagnostics using the new estimators are illustrated in an application to health insurance coverage data.


title: FuTH-Net: Fusing Temporal Relations and Holistic Features for Aerial Video Classification

abstract: Unmanned aerial vehicles (UAVs) are now widely applied to data acquisition due to its low cost and fast mobility. With the increasing volume of aerial videos, the demand for automatically parsing these videos is surging. To achieve this, current researches mainly focus on extracting a holistic feature with convolutions along both spatial and temporal dimensions. However, these methods are limited by small temporal receptive fields and cannot adequately capture long-term temporal dependencies which are important for describing complicated dynamics. In this paper, we propose a novel deep neural network, termed FuTH-Net, to model not only holistic features, but also temporal relations for aerial video classification. Furthermore, the holistic features are refined by the multi-scale temporal relations in a novel fusion module for yielding more discriminative video representations. More specially, FuTH-Net employs a two-pathway architecture: (1) a holistic representation pathway to learn a general feature of both frame appearances and shortterm temporal variations and (2) a temporal relation pathway to capture multi-scale temporal relations across arbitrary frames, providing long-term temporal dependencies. Afterwards, a novel fusion module is proposed to spatiotemporal integrate the two features learned from the two pathways. Our model is evaluated on two aerial video classification datasets, ERA and Drone-Action, and achieves the state-of-the-art results. This demonstrates its effectiveness and good generalization capacity across different recognition tasks (event classification and human action recognition). To facilitate further research, we release the code at https://gitlab.lrz.de/ai4eo/reasoning/futh-net.


title: Symplectic circuits, entanglement, and stimulated Hawking radiation in analog gravity

abstract: We introduce a convenient set of analytical tools (the Gaussian formalism) and diagrams (symplectic circuits) to analyze multi-mode scattering events in analog gravity, such as pair-creation a l\'a Hawking by black hole and white hole analog event horizons. The diagrams prove to be valuable ansatzes for the scattering dynamics, especially in settings where direct analytic results are not straightforward and one must instead rely on numerical simulations. We use these tools to investigate entanglement generation in single- and multi-horizon scenarios, in particular when the Hawking process is stimulated with classical (e.g., thermal noise) and non-classical (e.g., single-mode squeezed vacuum) input states -- demonstrating, for instance, that initial squeezing can enhance the production of entanglement and overcome the deleterious effects that initial thermal fluctuations have on the output entanglement. To make further contact with practical matters, we examine how attenuation degrades quantum correlations between Hawking pairs. The techniques that we employ are generally applicable to analog gravity setups of (Gaussian) bosonic quantum systems, such as analog horizons produced in optical analogs and in Bose-Einstein condensates, and should be of great utility in these domains. We show the applicability of these techniques by putting them in action for an optical system containing a pair white-black hole analog, extending our previous analysis of [Phys. Rev. Lett. 128, 091301 (2022)].


title: OpenPneu: Compact platform for pneumatic actuation with multi-channels

abstract: This paper presents a compact system, OpenPneu, to support the pneumatic actuation for multi-chambers on soft robots. Micro-pumps are employed in the system to generate airflow and therefore no extra input as compressed air is needed. Our system conducts modular design to provide good scalability, which has been demonstrated on a prototype with ten air channels. Each air channel of OpenPneu is equipped with both the inflation and the deflation functions to provide a full range pressure supply from positive to negative with a maximal flow rate at 1.7 L/min. High precision closed-loop control of pressures has been built into our system to achieve stable and efficient dynamic performance in actuation. An open-source control interface and API in Python are provided. We also demonstrate the functionality of OpenPneu on three soft robotic systems with up to 10 chambers.


title: Deranged matchings: proofs and conjectures

abstract: We introduce, and partially resolve, a conjecture that brings a three-centuries-old derangements phenomenon and its much younger two-decades-old analogue under the same umbrella. Through a graph-theoretic lens, a derangement is a perfect matching in the complete bipartite graph $K_{n,n}$ with a disjoint perfect matching $M$ removed. Likewise, a deranged matching is a perfect matching in the complete graph $K_{2n}$ minus a perfect matching $M'$. With $\mathrm{pm}(\cdot)$ counting perfect matchings, the elder phenomenon takes the form $\mathrm{pm}(K_{n,n}-M)/\mathrm{pm}(K_{n,n})\to 1/e$ as $n\to\infty$ while its youthful analogue is $\mathrm{pm}(K_{2n}-M')/\mathrm{pm}(K_{2n})\to 1/\sqrt{e}$. These starting graphs are both $2n$-vertex `balanced complete $r$-partite' graphs $K_{r \times {2n}/{r}}$, respectively with $r=2$ and $r=2n$. We conjecture that $\mathrm{pm}(K_{r\times{2n}/r}-M)/\mathrm{pm}(K_{r\times{2n}/r})\sim e^{-r/(2r-2)}$ as $n\to\infty$ and establish several substantive special cases thereof. For just two examples, $r=3$ yields the limit $e^{-3/4}$ while $r=n$ results again in $e^{-1/2}$. Our tools blend combinatorics and analysis in a medley incorporating Inclusion-Exclusion and Tannery's Theorem.


title: Blockchain-Oriented Services Computing in Action: Insights from a User Study

abstract: Blockchain architectures promise disruptive innovation but factually they pose many architectural restrictions to classical service-based applications and show considerable design, implementation, and operations overhead. Furthermore, the relation between such overheads and user benefits is not clear yet. To shed light on the aforementioned relations, a service-based blockchain architecture was designed and deployed as part of a field study in real-life experimentation. An observational approach was then performed to elaborate on the technology-acceptance of the service-based blockchain architecture in question. Evidence shows that the resulting architecture is, in principle, not different than other less complex equivalents; furthermore, the architectural limitations posed by the blockchain-oriented design demand a significant additional effort to be put onto even the simplest of functionalities. We conclude that further research shall be invested in clarifying further the design principles we learned as part of this study as well as any trade-offs posed by blockchain-oriented service design and operation.


title: Sensing Aided OTFS Channel Estimation for Massive MIMO Systems

abstract: Orthogonal time frequency space (OTFS) modulation has the potential to enable robust communications in highly-mobile scenarios. Estimating the channels for OTFS systems, however, is associated with high pilot signaling overhead that scales with the maximum delay and Doppler spreads. This becomes particularly challenging for massive MIMO systems where the overhead also scales with the number of antennas. An important observation however is that the delay, Doppler, and angle of departure/arrival information are directly related to the distance, velocity, and direction information of the mobile user and the various scatterers in the environment. With this motivation, we propose to leverage radar sensing to obtain this information about the mobile users and scatterers in the environment and leverage it to aid the OTFS channel estimation in massive MIMO systems. As one approach to realize our vision, this paper formulates the OTFS channel estimation problem in massive MIMO systems as a sparse recovery problem and utilizes the radar sensing information to determine the support (locations of the non-zero delay-Doppler taps). The proposed radar sensing aided sparse recovery algorithm is evaluated based on an accurate 3D ray-tracing framework with co-existing radar and communication data. The results show that the developed sensing-aided solution consistently outperforms the standard sparse recovery algorithms (that do not leverage radar sensing data) and leads to a significant reduction in the pilot overhead, which highlights a promising direction for OTFS based massive MIMO systems.


title: On proving the robustness of algorithms for early fault-tolerant quantum computers

abstract: The hope of the quantum computing field is that quantum architectures are able to scale up and realize fault-tolerant quantum computing. Due to engineering challenges, such "cheap" error correction may be decades away. In the meantime, we anticipate an era of "costly" error correction, or early fault-tolerant quantum computing. Costly error correction might warrant settling for error-prone quantum computations. This motivates the development of quantum algorithms which are robust to some degree of error as well as methods to analyze their performance in the presence of error. We introduce a randomized algorithm for the task of phase estimation and give an analysis of its performance under two simple noise models. In both cases the analysis leads to a noise threshold, below which arbitrarily high accuracy can be achieved by increasing the number of samples used in the algorithm. As an application of this general analysis, we compute the maximum ratio of the largest circuit depth and the dephasing scale such that performance guarantees hold. We calculate that the randomized algorithm can succeed with arbitrarily high probability as long as the required circuit depth is less than 0.916 times the dephasing scale.


title: A remark on the phase transition for the geodesic flow of a rank one surface of nonpositive curvature

abstract: For any rank 1 nonpositively curved surface $M$, it was proved by Burns-Climenhaga-Fisher-Thompson that for any $q<1$, there exists a unique equilibrium state $\mu_q$ for $q\varphi^u$, where $\varphi^u$ is the geometric potential. We show that as $q\to 1-$, the weak$^*$ limit of $\mu_q$ is the restriction of the Liouville measure to the regular set.


title: Path Loss, Angular Spread and Channel Sparsity Modeling for Indoor and Outdoor Environments at the sub-THz Band

abstract: In this paper, we present new measurement results to model large-scale path loss, angular spread and channel sparsity at the sub-THz (141-145 GHz) band, for both indoor and outdoor scenarios. Extensive measurement campaigns have been carried out, taking into account both line-of-sight (LoS) and non line-of-sight (NLoS) propagation. For all considered propagation scenarios, omni-directional and directional path loss models have been developed, based on the so-called close-in (CI) free-space reference distance model. Moreover, path loss modeling has been applied for the 2nd and 3rd strongest multipath components (MPCs), based on which path loss exponent and large-scale shadow fading estimates have been derived. A power angular spread analysis is further presented, using up to the 3rd strongest MPC. Finally, results on the sparsity of the wireless channel have also been presented by employing the so-called Gini index.


title: GALFIT-ing AGN Host Galaxies in COSMOS: HST vs. Subaru

abstract: The COSMOS field has been extensively observed by most major telescopes, including Chandra, HST, and Subaru. HST imaging boasts very high spatial resolution and is used extensively in morphological studies of distant galaxies. Subaru provides lower spatial resolution imaging than HST but a substantially wider field of view with greater sensitivity. Both telescopes provide near-infrared imaging of COSMOS. Successful morphological fitting of Subaru data would allow us to measure morphologies of over $10^4$ known active galactic nucleus (AGN) hosts, accessible through Subaru wide-field surveys, currently not covered by HST. For 4016 AGN between $0.03<z<6.5$, we study the morphology of their galaxy hosts using GALFIT, fitting components representing the AGN and host galaxy simultaneously using the i-band imaging from both HST and Subaru. Comparing the fits for the differing telescope spatial resolutions and image signal-to-noise ratios, we identify parameter regimes for which there is strong disagreement between distributions of fitted parameters for HST and Subaru. In particular, the S\'ersic index values strongly disagree between the two sets of data, including sources at lower redshifts. In contrast, the measured magnitude and radius parameters show reasonable agreement. Additionally, large variations in the S\'ersic index have little effect on the $\chi^2_\nu$ of each fit whereas variations in other parameters have a more significant effect. These results indicate that the S\'ersic index distributions of high-redshift galaxies that host AGN imaged at ground-based spatial resolution are not reliable indicators of galaxy type, and should be interpreted with caution.


title: Towards Faithful Model Explanation in NLP: A Survey

abstract: End-to-end neural Natural Language Processing (NLP) models are notoriously difficult to understand. This has given rise to numerous efforts towards model explainability in recent years. One desideratum of model explanation is faithfulness, i.e. an explanation should accurately represent the reasoning process behind the model's prediction. In this survey, we review over 110 model explanation methods in NLP through the lens of faithfulness. We first discuss the definition and evaluation of faithfulness, as well as its significance for explainability. We then introduce recent advances in faithful explanation, grouping existing approaches into five categories: similarity-based methods, analysis of model-internal structures, backpropagation-based methods, counterfactual intervention, and self-explanatory models. For each category, we synthesize its representative studies, strengths, and weaknesses. Finally, we summarize their common virtues and remaining challenges, and reflect on future work directions towards faithful explainability in NLP.


title: Forming Hot Subluminous Stars from Hierarchical Triples -- I. The Role of an Outer Tertiary on Formation Channels

abstract: We present evolutionary pathways for creating hot subdwarf OB (sdOB) stars from hierarchical triple configurations. We use the population synthesis code Multiple Stellar Evolution (MSE) to follow the stellar, binary, and gravitational dynamical evolution of triple-star systems. To ascertain the effect of the outer tertiary, we also consider the evolution of the inner binary with the tertiary component removed. We find we are able to create sdOB stars in single, binary and triple configurations. We also demonstrate that it is possible to form sdOBs in systems which undergo triple common envelope evolution, when the tertiary star undergoes unstable mass transfer onto the inner binary. We are unable to create single or wide sdOB systems without involving a merger earlier in the evolution. The triples can produce sdOBs in binaries with wide, non-interacting companions through binary interactions, which is impossible in isolated binaries. Owing to the closeness of the inner binary in hierarchical triples the formation channels associated with stable mass transfer are suppressed when compared to the isolated binary case.


title: Learning Certifiably Robust Controllers Using Fragile Perception

abstract: Advances in computer vision and machine learning enable robots to perceive their surroundings in powerful new ways, but these perception modules have well-known fragilities. We consider the problem of synthesizing a safe controller that is robust despite perception errors. The proposed method constructs a state estimator based on Gaussian processes with input-dependent noises. This estimator computes a high-confidence set for the actual state given a perceived state. Then, a robust neural network controller is synthesized that can provably handle the state uncertainty. Furthermore, an adaptive sampling algorithm is proposed to jointly improve the estimator and controller. Simulation experiments, including a realistic vision-based lane-keeping example in CARLA, illustrate the promise of the proposed approach in synthesizing robust controllers with deep-learning-based perception.


title: Iterative Qubits Management for Quantum Index Searching in a Hybrid System

abstract: Recent advances in quantum computing systems attract tremendous attention. Commercial companies, such as IBM, Amazon, and IonQ, have started to provide access to noisy intermediate-scale quantum computers. Researchers and entrepreneurs attempt to deploy their applications that aim to achieve a quantum speedup. Grover's algorithm and quantum phase estimation are the foundations of many applications with the potential for such a speedup. While these algorithms, in theory, obtain marvelous performance, deploying them on existing quantum devices is a challenging task. For example, quantum phase estimation requires extra qubits and a large number of controlled operations, which are impractical due to low-qubit and noisy hardware. To fully utilize the limited onboard qubits, we propose IQuCS, which aims at index searching and counting in a quantum-classical hybrid system. IQuCS is based on Grover's algorithm. From the problem size perspective, it analyzes results and tries to filter out unlikely data points iteratively. A reduced data set is fed to the quantum computer in the next iteration. With a reduction in the problem size, IQuCS requires fewer qubits iteratively, which provides the potential for a shared computing environment. We implement IQuCS with Qiskit and conduct intensive experiments. The results demonstrate that it reduces qubits consumption by up to 66.2%.


title: Eleven-year, 22-year and ~90-year solar cycles discovered in nitrate concentrations in a Dome Fuji (Antarctica) ice core

abstract: Ice cores are known to yield information about astronomical phenomena as well as information about past climate. We report time series analyses of annually resolved nitrate variations in an ice core, drilled at the Dome Fuji station in East Antarctica, corresponding to the period from CE 1610 to 1904. Our analyses revealed clear evidence of ~11, ~22, and ~90 year periodicities, comparable to the respective periodicities of the well-known Schwabe, Hale, and Gleissberg solar cycles. Our results show for the first time that nitrate concentrations in an ice core can be used as a proxy for past solar activity on decadal to multidecadal time scales. Furthermore, 11-year and 22-year periodicities were detected in nitrate variations even during the Maunder Minimum (1645-1715), when sunspots were almost absent. This discovery may support cyclic behavior of the solar dynamo during the grand solar minimum.


title: Chemodynamical Ages of Small-Scale Kinematic Structures of the Galactic Disc in the Solar Neighborhood from ~250,000 K and M Dwarfs

abstract: We combine photometric metallicities with astrometry from Gaia DR3 to examine the chemodynamic structure of ~250,000 K dwarfs in the Solar Neighborhood (SN). In kinematics, we observe ridges/clumps of "kinematic groups", like studies of more massive main-sequence stars. Here we note clear differences in both metallicity and vertical velocity as compared to the surrounding regions in velocity space and hypothesize this is due to differences in mean age. To test this, we develop a method to estimate the age distribution of sub-populations of stars. In this method, we use GALAH data to define probability distributions of W vs. [M/H] in age bins of 2 Gyr and determine optimal age distributions as the best fit weighted sum of these distributions. This process is then validated using the GALAH subset. We estimate the probable age distribution for regions in the kinematic plane, where we find significant sub-structure that is correlated with the kinematic groups. Most notably, we find an age gradient across the Hercules streams that is correlated with birth radius. Finally, we examine the bending and breathing modes as a function of age. From this, we observe potential hints of an increase in the bending amplitude with age, which will require further analysis in order to confirm it. This is one of the first studies to examine these chemodynamics in the SN using primarily low-mass stars and we hope these findings can better constrain dynamical models of the Milky Way due to the increase in resolution the sample size provides.


title: Dynamic Control of Soft Robotic Arm: An Experimental Study

abstract: In this paper, a reinforced soft robot prototype with a custom-designed actuator-space string encoder are created to investigate dynamic soft robotic trajectory tracking. The soft robot prototype embedded with the proposed adaptive passivity control and efficient dynamic model make the challenging trajectory tracking tasks possible. We focus on the exploration of tracking accuracy as well as the full potential of the proposed control strategy by performing experimental validations at different operation scenarios: various tracking speed and external disturbance. In all experimental scenarios, the proposed adaptive passivity control outperforms the conventional PD feedback linearization control. The experimental analysis details the advantage and shortcoming of the proposed approach, and points out the next steps for future soft robot dynamic control.


title: Dirac representation of the group SO(3,2) and the Landau problem

abstract: A systematic study carried out on the infinite degeneracy and the constants of motion in the Landau problem establishes the central extension of the Euclidean group in two dimension as a dynamical symmetry group, and Sp(2,R) as spectrum generating group irrespective of the choice of the gauge. It may be noted that the siginificance of the Euclidean group was already implicit in the earlier works on the Landau problem; in the present paper the method of group contraction plays an important role. Dirac's remarkable representation of the group SO(3,2) and the isomorphism of this group with Sp(4,R) are re-visited. New insights are gained on the meaning of two-oscillator system in Dirac representation. It is argued that in view of the fact that even the two dimensional isotropic oscillator having SU(2) as dynamical symmetry group does not arise in the Landau problem the relevance or applicability of SO(3,2) group becomes invalid.


title: Evaluating undercounts in epidemics: response to Maruotti et al. 2022

abstract: Maruotti et al. 2022 used a mark-recapture approach to estimate bounds on the true number of monkeypox infections in various countries. These approaches are fundamentally flawed; it is impossible to estimate undercounting based solely on a single stream of reported cases. Simulations based on a Richards curve for cumulative incidence show that, for reasonable epidemic parameters, the proposed methods estimate bounds on the ascertainment ratio of $\approx 0.2-0.5$ roughly independently of the true ascertainment ratio. These methods should not be used.


title: Privacy-Preserving Person Detection Using Low-Resolution Infrared Cameras

abstract: In intelligent building management, knowing the number of people and their location in a room are important for better control of its illumination, ventilation, and heating with reduced costs and improved comfort. This is typically achieved by detecting people using compact embedded devices that are installed on the room's ceiling, and that integrate low-resolution infrared camera, which conceals each person's identity. However, for accurate detection, state-of-the-art deep learning models still require supervised training using a large annotated dataset of images. In this paper, we investigate cost-effective methods that are suitable for person detection based on low-resolution infrared images. Results indicate that for such images, we can reduce the amount of supervision and computation, while still achieving a high level of detection accuracy. Going from single-shot detectors that require bounding box annotations of each person in an image, to auto-encoders that only rely on unlabelled images that do not contain people, allows for considerable savings in terms of annotation costs, and for models with lower computational costs. We validate these experimental findings on two challenging top-view datasets with low-resolution infrared images.


title: UNav: An Infrastructure-Independent Vision-Based Navigation System for People with Blindness and Low vision

abstract: Vision-based localization approaches now underpin newly emerging navigation pipelines for myriad use cases from robotics to assistive technologies. Compared to sensor-based solutions, vision-based localization does not require pre-installed sensor infrastructure, which is costly, time-consuming, and/or often infeasible at scale. Herein, we propose a novel vision-based localization pipeline for a specific use case: navigation support for end-users with blindness and low vision. Given a query image taken by an end-user on a mobile application, the pipeline leverages a visual place recognition (VPR) algorithm to find similar images in a reference image database of the target space. The geolocations of these similar images are utilized in downstream tasks that employ a weighted-average method to estimate the end-user's location and a perspective-n-point (PnP) algorithm to estimate the end-user's direction. Additionally, this system implements Dijkstra's algorithm to calculate a shortest path based on a navigable map that includes trip origin and destination. The topometric map used for localization and navigation is built using a customized graphical user interface that projects a 3D reconstructed sparse map, built from a sequence of images, to the corresponding a priori 2D floor plan. Sequential images used for map construction can be collected in a pre-mapping step or scavenged through public databases/citizen science. The end-to-end system can be installed on any internet-accessible device with a camera that hosts a custom mobile application. For evaluation purposes, mapping and localization were tested in a complex hospital environment. The evaluation results demonstrate that our system can achieve localization with an average error of less than 1 meter without knowledge of the camera's intrinsic parameters, such as focal length.


title: Quasi-Monte Carlo methods for calculating derivatives sensitivities on the GPU

abstract: The calculation of option Greeks is vital for risk management. Traditional pathwise and finite-difference methods work poorly for higher-order Greeks and options with discontinuous payoff functions. The Quasi-Monte Carlo-based conditional pathwise method (QMC-CPW) for options Greeks allows the payoff function of options to be effectively smoothed, allowing for increased efficiency when calculating sensitivities. Also demonstrated in literature is the increased computational speed gained by applying GPUs to highly parallelisable finance problems such as calculating Greeks. We pair QMC-CPW with simulation on the GPU using the CUDA platform. We estimate the delta, vega and gamma Greeks of three exotic options: arithmetic Asian, binary Asian, and lookback. Not only are the benefits of QMC-CPW shown through variance reduction factors of up to $1.0 \times 10^{18}$, but the increased computational speed through usage of the GPU is shown as we achieve speedups over sequential CPU implementations of more than $200$x for our most accurate method.


title: A domain adaptive deep learning solution for scanpath prediction of paintings

abstract: Cultural heritage understanding and preservation is an important issue for society as it represents a fundamental aspect of its identity. Paintings represent a significant part of cultural heritage, and are the subject of study continuously. However, the way viewers perceive paintings is strictly related to the so-called HVS (Human Vision System) behaviour. This paper focuses on the eye-movement analysis of viewers during the visual experience of a certain number of paintings. In further details, we introduce a new approach to predicting human visual attention, which impacts several cognitive functions for humans, including the fundamental understanding of a scene, and then extend it to painting images. The proposed new architecture ingests images and returns scanpaths, a sequence of points featuring a high likelihood of catching viewers' attention. We use an FCNN (Fully Convolutional Neural Network), in which we exploit a differentiable channel-wise selection and Soft-Argmax modules. We also incorporate learnable Gaussian distributions onto the network bottleneck to simulate visual attention process bias in natural scene images. Furthermore, to reduce the effect of shifts between different domains (i.e. natural images, painting), we urge the model to learn unsupervised general features from other domains using a gradient reversal classifier. The results obtained by our model outperform existing state-of-the-art ones in terms of accuracy and efficiency.


title: Machine Space I: Weak exponentials and quantification over compact spaces

abstract: Topology may be interpreted as the study of verifiability, where opens correspond to semi-decidable properties. In this paper we make a distinction between verifiable properties themselves and processes which carry out the verification procedure. The former are simply opens, while we call the latter machines. Given a frame presentation $\mathcal{O} X = \langle G \mid R\rangle$ we construct a space of machines $\Sigma^{\Sigma^G}$ whose points are given by formal combinations of basic machines corresponding to generators in $G$. This comes equipped with an `evaluation' map making it a weak exponential for $\Sigma^X$. When it exists, the true exponential $\Sigma^X$ occurs as a retract of machine space. We argue this helps explain why some spaces are exponentiable and others not. We then use machine space to study compactness by giving a purely topological version of Escard\'o's algorithm for universal quantification over compact spaces in finite time. Finally, we relate our study of machine space to domain theory and domain embeddings.


title: Distinguishing Between Photoionized and Collisionally Ionized Gas in the Circumgalactic Medium

abstract: Most studies of highly ionized plasmas have historically assumed ions are either in photoionization equilibrium, PIE, or collisional ionization equilibrium, CIE, sometimes including multiple phases with different relevant mechanisms. Simulation analysis packages, on the other hand, tend to use precomputed ion fraction tables which include both mechanisms, among others. Focusing on the low-density, high temperature phase space likely to be most relevant in the circumgalactic medium, in this work we show that most ions can be classified as 'PI' or 'CI' on an ion-by-ion basis. This means that for a cloud at a particular point in phase space, some ions will be created primarily by PI and others by CI, with other mechanisms playing only very minor roles. Specifically, we show that ions are generally CI if the thermal energy per particle is greater than $\sim6$\% of their ionization energy, and PI otherwise. We analyse the accuracy of this ansatz compared to usual PIE/CIE calculations, and show the surprisingly minor dependence of this conclusion on redshift and ionizing background.


title: Hubbard $U$ through polaronic defect states

abstract: Since the preliminary work of Anisimov and co-workers, the Hubbard corrected DFT+$U$ functional has been used for predicting properties of correlated materials by applying on-site effective Coulomb interactions to specific orbitals. However, the determination of the Hubbard $U$ parameter has remained under intense discussion despite the multitude of approaches proposed. Here, we define a selection criterion based on the use of polaronic defect states for the enforcement of the piecewise linearity of the total energy upon electron occupation. A good agreement with results from piecewise linear hybrid functionals is found for the electronic and structural properties of polarons, including the formation energies. The values of $U$ determined in this way are found to give a robust description of the polaron energetics upon variation of the considered state. In particular, we also address a polaron hopping pathway, finding that the determined value of $U$ leads to accurate energetics without requiring a configurational-dependent $U$. It is emphasized that the selection of $U$ should be based on physical properties directly associated with the orbitals to which $U$ is applied, rather than on more global properties such as band gaps and band widths. For comparison, we also determine $U$ through a well-established linear-response scheme finding noticeably different values of $U$ and consequently different formation energies. Possible origins of these discrepancies are discussed. As case studies, we consider the self-trapped electron in BiVO$_4$, the self-trapped hole in MgO, the Li-trapped hole in MgO, and the Al-trapped hole in $\alpha$-SiO$_2$.


title: Fast Disparity Estimation from a Single Compressed Light Field Measurement

abstract: The abundant spatial and angular information from light fields has allowed the development of multiple disparity estimation approaches. However, the acquisition of light fields requires high storage and processing cost, limiting the use of this technology in practical applications. To overcome these drawbacks, the compressive sensing (CS) theory has allowed the development of optical architectures to acquire a single coded light field measurement. This measurement is decoded using an optimization algorithm or deep neural network that requires high computational costs. The traditional approach for disparity estimation from compressed light fields requires first recovering the entire light field and then a post-processing step, thus requiring long times. In contrast, this work proposes a fast disparity estimation from a single compressed measurement by omitting the recovery step required in traditional approaches. Specifically, we propose to jointly optimize an optical architecture for acquiring a single coded light field snapshot and a convolutional neural network (CNN) for estimating the disparity maps. Experimentally, the proposed method estimates disparity maps comparable with those obtained from light fields reconstructed using deep learning approaches. Furthermore, the proposed method is 20 times faster in training and inference than the best method that estimates the disparity from reconstructed light fields.


title: Influence of imperfections on tunneling rate in $\delta$-layer junctions

abstract: The atomically precise placement of dopants in semiconductors using scanning tunneling microscopes has been used to create planar dopant-based devices, enabling the exploration of novel classical or quantum computing concepts, which often require precise control over tunneling rates in their operation. While the geometry of the dopants can be defined to sub-nanometer precision, imperfections can still play a significant role in determining the tunneling rates. Here, we investigate the influence of different imperfections in phosphorous $\delta$-layer tunnel junctions in silicon: variations of $\delta$-layer thickness and tunnel gap width, interface roughness, and charged impurities. It is found that while most of the imperfections moderately affect the tunneling rate, a single charged impurity in the tunnel gap can alter the tunneling rate by more than an order of magnitude, even for relatively large tunnel gaps. Moreover, it is also revealed that the tunneling rate strongly depends on the electrical charge sign of the impurity.


title: Exploring The Design of Prompts For Applying GPT-3 based Chatbots: A Mental Wellbeing Case Study on Mechanical Turk

abstract: Large-Language Models like GPT-3 have the potential to enable HCI designers and researchers to create more human-like and helpful chatbots for specific applications. But evaluating the feasibility of these chatbots and designing prompts that optimize GPT-3 for a specific task is challenging. We present a case study in tackling these questions, applying GPT-3 to a brief 5-minute chatbot that anyone can talk to better manage their mood. We report a randomized factorial experiment with 945 participants on Mechanical Turk that tests three dimensions of prompt design to initialize the chatbot (identity, intent, and behaviour), and present both quantitative and qualitative analyses of conversations and user perceptions of the chatbot. We hope other HCI designers and researchers can build on this case study, for other applications of GPT-3 based chatbots to specific tasks, and build on and extend the methods we use for prompt design, and evaluation of the prompt design.


title: Swin2SR: SwinV2 Transformer for Compressed Image Super-Resolution and Restoration

abstract: Compression plays an important role on the efficient transmission and storage of images and videos through band-limited systems such as streaming services, virtual reality or videogames. However, compression unavoidably leads to artifacts and the loss of the original information, which may severely degrade the visual quality. For these reasons, quality enhancement of compressed images has become a popular research topic. While most state-of-the-art image restoration methods are based on convolutional neural networks, other transformers-based methods such as SwinIR, show impressive performance on these tasks. In this paper, we explore the novel Swin Transformer V2, to improve SwinIR for image super-resolution, and in particular, the compressed input scenario. Using this method we can tackle the major issues in training transformer vision models, such as training instability, resolution gaps between pre-training and fine-tuning, and hunger on data. We conduct experiments on three representative tasks: JPEG compression artifacts removal, image super-resolution (classical and lightweight), and compressed image super-resolution. Experimental results demonstrate that our method, Swin2SR, can improve the training convergence and performance of SwinIR, and is a top-5 solution at the "AIM 2022 Challenge on Super-Resolution of Compressed Image and Video".


title: An Early Catalog of Planet Hosting Multiple Star Systems of Order Three and Higher

abstract: We present a catalog (status July 1, 2022) of triple and higher order systems identified containing exoplanets based on data from the literature, including various analyses. We explore statistical properties of the systems with focus on both the stars and the planets. So far, about 30 triple systems and one to three quadruple systems, including (mildly) controversial cases, have been found. The total number of planets is close to 40. All planet-hosting triple star systems are highly hierarchic, consisting of a quasi-binary complemented by a distant stellar component, which is in orbit about the common center of mass. Furthermore, the quadruple systems are in fact pairs of close binaries (``double-doubles"), with one binary harboring a planet. For the different types of star-planet systems, we introduce a template for the classifications of planetary orbital configurations in correspondence to the hierarchy of the system and the planetary host. The data show that almost all stars are main-sequence stars, as expected. However, the stellar primaries tend to be more massive (i.e., corresponding to spectral types A, F, and G) than expected from single star statistics, a finding also valid for stellar secondaries but less pronounced. Tertiary stellar components are almost exclusively low-mass stars of spectral type M. Almost all planets have been discovered based on either the Radial Velocity or the Transit method. Both gas giants (the dominant type) and terrestrial planets (including super-Earths) have been identified. We anticipate the expansion of this data base in the light of future planetary search missions.


title: A second moment proof of the spread lemma

abstract: This note concerns a well-known result which we term the ``spread lemma,'' which establishes the existence (with high probability) of a desired structure in a random set. The spread lemma was central to two recent celebrated results: (a) the improved bounds of Alweiss, Lovett, Wu, and Zhang (2019) on the Erd\H{o}s-Rado sunflower conjecture; and (b) the proof of the fractional Kahn--Kalai conjecture by Frankston, Kahn, Narayanan and Park (2019). While the lemma was first proved (and later refined) by delicate counting arguments, alternative proofs have also been given, via Shannon's noiseless coding theorem (Rao, 2019), and also via manipulations of Shannon entropy bounds (Tao, 2020). In this note we present a new proof of the spread lemma, that takes advantage of an explicit recasting of the proof in the language of Bayesian statistical inference. We show that from this viewpoint the proof proceeds in a straightforward and principled probabilistic manner, leading to a truncated second moment calculation which concludes the proof. The proof can also be viewed as a demonstration of the ``planting trick'' introduced by Achlioptas and Coga-Oghlan (2008) in the study of random constraint satisfaction problems.