title: On generalizations of theorems of MacMahon and Subbarao

abstract: In this paper, we consider various theorems of P.A. MacMahon and M.V. Subbarao. For a non-negative integer $n$, MacMahon proved that the number of partitions of $n$ wherein parts have multiplicity greater than 1 is equal to the number of partitions of $n$ in which odd parts are congruent to 3 modulo 6. We give a new bijective proof for this theorem and its generalization, which consequently provides a new proof of Andrews' extension of the theorem. We also generalize Subbarao's finitization of Andrews' extension. This generalization is based on Glaisher's extension of Euler's mapping for odd-distinct partitions and as a result, a bijection given by Sellers and Fu is also extended. Unlike in the case of Sellers and Fu where two residue classes are fixed, ours takes into consideration all possible residue classes. Furthermore, some arithmetic properties of related partition functions are derived


title: Learning from Synthetic InSAR with Vision Transformers: The case of volcanic unrest detection

abstract: The detection of early signs of volcanic unrest preceding an eruption, in the form of ground deformation in Interferometric Synthetic Aperture Radar (InSAR) data is critical for assessing volcanic hazard. In this work we treat this as a binary classification problem of InSAR images, and propose a novel deep learning methodology that exploits a rich source of synthetically generated interferograms to train quality classifiers that perform equally well in real interferograms. The imbalanced nature of the problem, with orders of magnitude fewer positive samples, coupled with the lack of a curated database with labeled InSAR data, sets a challenging task for conventional deep learning architectures. We propose a new framework for domain adaptation, in which we learn class prototypes from synthetic data with vision transformers. We report detection accuracy that amounts to the highest reported accuracy on a large test set for volcanic unrest detection. Moreover, we built upon this knowledge by learning a new, non-linear, projection between the learnt representations and prototype space, using pseudo labels produced by our model from an unlabeled real InSAR dataset. This leads to the new state of the art with 97.1% accuracy on our test set. We demonstrate the robustness of our approach by training a simple ResNet-18 Convolutional Neural Network on the unlabeled real InSAR dataset with pseudo-labels generated from our top transformer-prototype model. Our methodology provides a significant improvement in performance without the need of manually labeling any sample, opening the road for further exploitation of synthetic InSAR data in various remote sensing applications.


title: Zero-Shot and Few-Shot Classification of Biomedical Articles in Context of the COVID-19 Pandemic

abstract: MeSH (Medical Subject Headings) is a large thesaurus created by the National Library of Medicine and used for fine-grained indexing of publications in the biomedical domain. In the context of the COVID-19 pandemic, MeSH descriptors have emerged in relation to articles published on the corresponding topic. Zero-shot classification is an adequate response for timely labeling of the stream of papers with MeSH categories. In this work, we hypothesise that rich semantic information available in MeSH has potential to improve BioBERT representations and make them more suitable for zero-shot/few-shot tasks. We frame the problem as determining if MeSH term definitions, concatenated with paper abstracts are valid instances or not, and leverage multi-task learning to induce the MeSH hierarchy in the representations thanks to a seq2seq task. Results establish a baseline on the MedLine and LitCovid datasets, and probing shows that the resulting representations convey the hierarchical relations present in MeSH.


title: Self-Supervised Feature Learning from Partial Point Clouds via Pose Disentanglement

abstract: Self-supervised learning on point clouds has gained a lot of attention recently, since it addresses the label-efficiency and domain-gap problems on point cloud tasks. In this paper, we propose a novel self-supervised framework to learn informative representations from partial point clouds. We leverage partial point clouds scanned by LiDAR that contain both content and pose attributes, and we show that disentangling such two factors from partial point clouds enhances feature representation learning. To this end, our framework consists of three main parts: 1) a completion network to capture holistic semantics of point clouds; 2) a pose regression network to understand the viewing angle where partial data is scanned from; 3) a partial reconstruction network to encourage the model to learn content and pose features. To demonstrate the robustness of the learnt feature representations, we conduct several downstream tasks including classification, part segmentation, and registration, with comparisons against state-of-the-art methods. Our method not only outperforms existing self-supervised methods, but also shows a better generalizability across synthetic and real-world datasets.


title: Robust and Resource-Efficient Data-Free Knowledge Distillation by Generative Pseudo Replay

abstract: Data-Free Knowledge Distillation (KD) allows knowledge transfer from a trained neural network (teacher) to a more compact one (student) in the absence of original training data. Existing works use a validation set to monitor the accuracy of the student over real data and report the highest performance throughout the entire process. However, validation data may not be available at distillation time either, making it infeasible to record the student snapshot that achieved the peak accuracy. Therefore, a practical data-free KD method should be robust and ideally provide monotonically increasing student accuracy during distillation. This is challenging because the student experiences knowledge degradation due to the distribution shift of the synthetic data. A straightforward approach to overcome this issue is to store and rehearse the generated samples periodically, which increases the memory footprint and creates privacy concerns. We propose to model the distribution of the previously observed synthetic samples with a generative network. In particular, we design a Variational Autoencoder (VAE) with a training objective that is customized to learn the synthetic data representations optimally. The student is rehearsed by the generative pseudo replay technique, with samples produced by the VAE. Hence knowledge degradation can be prevented without storing any samples. Experiments on image classification benchmarks show that our method optimizes the expected value of the distilled model accuracy while eliminating the large memory overhead incurred by the sample-storing methods.


title: Using the Autler-Townes and ac Stark effects to optically tune the frequency of indistinguishable single-photons from an on-demand source

abstract: We describe how a coherent optical drive that is near-resonant with the upper rungs of a three-level ladder system, in conjunction with a short pulse excitation, can be used to provide a frequency-tunable source of on-demand single photons. Using an intuitive master equation model, we identify two distinct regimes of device operation: (i) for a resonant drive, the source operates using the Autler-Townes effect, and (ii) for an off-resonant drive, the source exploits the ac Stark effect. The former regime allows for a large frequency tuning range but coherence suffers from timing jitter effects, while the latter allows for high indistinguishability and efficiency, but with a restricted tuning bandwidth due to high required drive strengths and detunings. We show how both these negative effects can be mitigated by using an optical cavity to increase the collection rate of the desired photons. We apply our general theory to semiconductor quantum dots, which have proven to be excellent single-photon sources, and find that scattering of acoustic phonons leads to excitation-induced dephasing and increased population of the higher energy level which limits the bandwidth of frequency tuning achievable while retaining high indistinguishability. Despite this, for realistic cavity and quantum dot parameters, indistinguishabilities of over $90\%$ are achievable for energy shifts of up to hundreds of $\mu$eV, and near-unity indistinguishabilities for energy shifts up to tens of $\mu$eV. Additionally, we clarify the often-overlooked differences between an idealized Hong-Ou-Mandel two-photon interference experiment and its usual implementation with an unbalanced Mach-Zehnder interferometer, pointing out the subtle differences in the single-photon visibility associated with these different setups.


title: Bethe states on a quantum computer: success probability and correlation functions

abstract: A probabilistic algorithm for preparing Bethe eigenstates of the spin-1/2 Heisenberg spin chain on a quantum computer has recently been found. We derive an exact formula for the success probability of this algorithm in terms of the Gaudin determinant, and we study its large-length limit. We demonstrate the feasibility of computing antiferromagnetic ground-state spin-spin correlation functions for short chains. However, the success probability decreases exponentially with the chain length, which precludes the computation of these correlation functions for chains of moderate length. Some conjectures for estimates of the Gaudin determinant are noted in an appendix.


title: Generalized Bishop frames on curves on E^4

abstract: We introduce and study generalized Bishop frames on regular curves, which are generalizations of the Frenet and Bishop frames for regular curves on higher dimensional spaces. There are four types of generalized Bishop frames on regular curves on $\mathbb{E}^{4}$ up to the change of the order of vectors fixing the first one which is the tangent vector. One of these four types of frames is a Bishop frame, and by a result of Bishop, every regular curve admits such a frame. We show that if a regular curve $\gamma$ on $\mathbb{E}^{4}$ admits a Frenet frame, then $\gamma$ admits all four types of generalized Bishop frames. We also show that if the derivative of the tangent vector of a regular curve is nowhere vanishing, then the curve admits all three types of generalized Bishop frames except a frame of type F, which is related to the Frenet frame.


title: Pattern formation of elliptic particles by two-body interactions: a model for dynamics of endothelial cells in angiogenesis

abstract: A two-dimensional mathematical model for dynamics of endothelial cells in angiogenesis is investigated. Angiogenesis is a morphogenic process in which new blood vessels emerge from an existing vascular network. Recently a one-dimensional discrete dynamical model has been proposed to reproduce elongation, bifurcation, and cell motility such as cell-mixing during angiogenesis on the assumption of a simple two-body interaction between endothelial cells. The present model is its two-dimensional extension, where endothelial cells are represented as the ellipses with the two-body interactions: repulsive interaction due to excluded volume effect, attractive interaction through pseudopodia and rotation by contact. We show that the oblateness of ellipses and the magnitude of contact rotation significantly affect the shape of created vascular patterns and elongation of branches.


title: Eccentric dust ring formation in Kozai-Lidov gas disks

abstract: A highly misaligned gas disk around one component of a binary star system can undergo global Kozai-Lidov (KL) oscillations for which the disk inclination and eccentricity are exchanged. With hydrodynamical simulations of a gas and dust disk we explore the effects of these oscillations on the dust density distribution. For dust that is marginally coupled to the gas (${\rm St} \approx 1$), we find that the dust undergoes similar dynamical behaviour to the gas disk but the radial distribution of dust may be very different to the gas. The inward radial drift of the dust is faster in an eccentric disk leading to a smaller outer dust disk radius. The dust breaks into multiple narrow eccentric rings during the highly eccentric disk phase. Eccentric dust ring formation may have significant implications for the formation of planets in misaligned disks. We suggest that multiple dust rings may generally occur within gas disks that have sufficiently strong eccentricity peaks at intermediate radii.


title: Topological states and topological phase transition in Cu2SnS3 and Cu2SnSe3

abstract: Based on the first-principles calculations within local density approximation and model analysis, we propose that the iso-structural compounds Cu2SnS3 and Cu2SnSe3 are both the simplest nodal line semimetals with only one nodal line in their crystal momentum space when spin-orbit coupling (SOC) is ignored. The including of SOC drives Cu2SnS3 into a Weyl semimetal (WSM) state with only two pairs of Weyl nodes, the minimum number required for WSM with time reversal symmetry. In contrast, SOC leads Cu2SnSe3 to strong topological insulator (TI) state. This difference can be well understood as there is a topological phase transition (TPT). In it, the Weyl nodes are driven by tunable SOC and annihilate in a mirror plane, resulting in a TI. This TPT, together with the evolution of Weyl nodes, the changing of mirror Chern numbers of mirror plane and the Z2 indices protected by time-reversal symmetry has been demonstrated by the calculation of Cu2SnS3-xSex within virtual crystal approximation and an effective k $\cdot$ p model analysis. Though our first-principles calculations have overestimated the topological states in both compounds, we believe that the theoretical demonstration of controlling TPT and evolution of Weyl nodes will stimulate further efforts in exploring them.


title: An Ensemble Approach to Acronym Extraction using Transformers

abstract: Acronyms are abbreviated units of a phrase constructed by using initial components of the phrase in a text. Automatic extraction of acronyms from a text can help various Natural Language Processing tasks like machine translation, information retrieval, and text summarisation. This paper discusses an ensemble approach for the task of Acronym Extraction, which utilises two different methods to extract acronyms and their corresponding long forms. The first method utilises a multilingual contextual language model and fine-tunes the model to perform the task. The second method relies on a convolutional neural network architecture to extract acronyms and append them to the output of the previous method. We also augment the official training dataset with additional training samples extracted from several open-access journals to help improve the task performance. Our dataset analysis also highlights the noise within the current task dataset. Our approach achieves the following macro-F1 scores on test data released with the task: Danish (0.74), English-Legal (0.72), English-Scientific (0.73), French (0.63), Persian (0.57), Spanish (0.65), Vietnamese (0.65). We release our code and models publicly.


title: Meta-Generalization for Multiparty Privacy Learning to Identify Anomaly Multimedia Traffic in Graynet

abstract: Identifying anomaly multimedia traffic in cyberspace is a big challenge in distributed service systems, multiple generation networks and future internet of everything. This letter explores meta-generalization for a multiparty privacy learning model in graynet to improve the performance of anomaly multimedia traffic identification. The multiparty privacy learning model in graynet is a globally shared model that is partitioned, distributed and trained by exchanging multiparty parameters updates with preserving private data. The meta-generalization refers to discovering the inherent attributes of a learning model to reduce its generalization error. In experiments, three meta-generalization principles are tested as follows. The generalization error of the multiparty privacy learning model in graynet is reduced by changing the dimension of byte-level imbedding. Following that, the error is reduced by adapting the depth for extracting packet-level features. Finally, the error is reduced by adjusting the size of support set for preprocessing traffic-level data. Experimental results demonstrate that the proposal outperforms the state-of-the-art learning models for identifying anomaly multimedia traffic.


title: Development of a hybrid machine-learning and optimization tool for performance-based solar shading design

abstract: Solar shading design should be done for the desired Indoor Environmental Quality (IEQ) in the early design stages. This field can be very challenging and time-consuming also requires experts, sophisticated software, and a large amount of money. The primary purpose of this research is to design a simple tool to study various models of solar shadings and make decisions easier and faster in the early stages. Database generation methods, artificial intelligence, and optimization have been used to achieve this goal. This tool includes two main parts of 1. predicting the performance of the user-selected model along with proposing effective parameters and 2. proposing optimal pre-prepared models to the user. In this regard, initially, a side-lit shoebox model with variable parameters was modeled parametrically, and five common solar shading models with their variables were applied to the space. For each solar shadings and the state without shading, metrics related to daylight and glare, view, and initial costs were simulated. The database generated in this research includes 87912 alternatives and six calculated metrics introduced to optimized machine learning models, including neural network, random Forrest, support vector regression, and k nearest neighbor. According to the results, the most accurate and fastest estimation model was Random Forrest, with an r2_score of 0.967 to 1. Then, sensitivity analysis was performed to identify the most influential parameters for each shading model and the state without it. This analysis distinguished the most effective parameters, including window orientation, WWR, room width, length, and shading depth. Finally, by optimizing the estimation function of machine learning models with the NSGA II algorithm, about 7300 optimal models were identified. The developed tool can evaluate various design alternatives in less than a few seconds for each.


title: Discriminant Analysis in Contrasting Dimensions for Polycystic Ovary Syndrome Prognostication

abstract: A lot of prognostication methodologies have been formulated for early detection of Polycystic Ovary Syndrome also known as PCOS using Machine Learning. PCOS is a binary classification problem. Dimensionality Reduction methods impact the performance of Machine Learning to a greater extent and using a Supervised Dimensionality Reduction method can give us a new edge to tackle this problem. In this paper we present Discriminant Analysis in different dimensions with Linear and Quadratic form for binary classification along with metrics. We were able to achieve good accuracy and less variation with Discriminant Analysis as compared to many commonly used classification algorithms with training accuracy reaching 97.37% and testing accuracy of 95.92% using Quadratic Discriminant Analysis. Paper also gives the analysis of data with visualizations for deeper understanding of problem.


title: Higher Order Dynamic Mode Decomposition: from Fluid Dynamics to Heart Disease Analysis

abstract: In this work, we study in detail the performance of Higher Order Dynamic Mode Decomposition (HODMD) technique when applied to echocardiography images. HODMD is a data-driven method generally used in fluid dynamics and in the analysis of complex non-linear dynamical systems modeling several complex industrial applications. In this paper we apply HODMD, for the first time to the authors knowledge, for patterns recognition in echocardiography, specifically, echocardiography data taken from several mice, either in healthy conditions or afflicted by different cardiac diseases. We exploit the HODMD advantageous properties in dynamics identification and noise cleaning to identify the relevant frequencies and coherent patterns for each one of the diseases. The echocardiography datasets consist of video loops taken with respect to a long axis view (LAX) and a short axis view (SAX), where each video loop covers at least three cardiac cycles, formed by (at most) 300 frames each (called snapshots). The proposed algorithm, using only a maximum quantity of 200 snapshots, was able to capture two branches of frequencies, representing the heart rate and respiratory rate. Additionally, the algorithm provided a number of modes, which represent the dominant features and patterns in the different echocardiography images, also related to the heart and the lung. Six datasets were analyzed: one echocardiography taken from a healthy subject and five different sets of echocardiography taken from subjects with either Diabetic Cardiomyopathy, Obesity, SFSR4 Hypertrophy, TAC Hypertrophy or Myocardial Infarction. The results show that HODMD is robust and a suitable tool to identify characteristic patterns able to classify the different pathologies studied.


title: Biexciton-like quartet condensates in an electron-hole liquid

abstract: We theoretically study the ground-state properties and the condensations of exciton-like Cooper pairs and biexciton-like Cooper quartets in an electron-hole system. Applying the variational approach associated based on the quartet Bardeen-Cooper-Schrieffer (BCS) model to the four-component fermionic system consisting of spin-1/2 electrons and spin-1/2 holes, we show how Cooper pairs and quartet correlations appear in the equation of state at the thermodynamic limit. The biexciton-like four-body correlations survive even at the high-density regime as a many-body BCS-like state of Cooper quartets. Our results are useful for further understanding of exotic matter in the interdisciplinary context of quantum many-body physics with multiple degrees of freedom.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.quant-gas cond-mat.supr-con nucl-th


title: Arithmetic Network Coding for Secret Sum Computation

abstract: We consider a network coding problem where the destination wants to recover the sum of the signals (Gaussian random variables or random finite field elements) at all the source nodes, but the sum must be kept secret from an eavesdropper that can wiretap on a subset of edges. This setting arises naturally in sensor networks and federated learning, where the secrecy of the sum of the signals (e.g. weights, gradients) may be desired. While the case for finite field can be solved, the case for Gaussian random variables is surprisingly difficult. We give a simple conjecture on the necessary and sufficient condition under which such secret computation is possible for the Gaussian case, and prove the conjecture when the number of wiretapped edges is at most 2.


title: Advanced MRI for cardiac assessment in mice

abstract: Heart failure is a leading cause of mortality in the Western world. The mouse is a widely used model for a number of diseases, induced by genetic modification or surgical intervention. When performing experiments in mice, in vivo magnetic resonance imaging (MRI) can be used to evaluate heart anatomy and function at multiple levels. Volumetric measurements of ventricle size at each phase of the heart cycle (obtained with cine MRI) can be used as a sensitive measure for heart failure. Cine MRI is applied here to genetic models of heart disease, including stress tests with pharmacological manipulation. As the long duration of the acquisition for functional assessment is a critical limitation, a new method to make cine MRI twelve times faster is presented and validated, maintaining standard accuracy. The method utilises a combination of compressed sensing and parallel imaging with a radial acquisition of k-space. Eddy-current induced artifacts, present when acquiring radially, are corrected retrospectively with a novel scheme. Tissue viability can be measured with late gadolinium enhancement (LGE) imaging, where a contrast agent is utilised. After injection, the agent rapidly washes out of healthy tissue, though has a slower kinetic in infarcted regions. A novel method to perform LGE efficiently is presented and validated against histology. This method is applied to the evaluation of a new treatment for infarction. Finally, a novel method to perform a multi-modal assessment of the mouse heart within a single exam is presented. The method includes cine and LGE MRI as well as a measure of mechanical strain in the myocardium with displacement encoding with stimulated echoes (DENSE) MRI and assessment of cellular metabolism with positron emission tomography (PET). This method is demonstrated in the evaluation of a new protective agent for infarction.


title: Kurosh theorem for certain Koszul Lie algebras

abstract: The Kurosh theorem for groups provides the structure of any subgroup of a free product of groups and its proof relies on Bass-Serre theory of groups acting on trees. In the case of Lie algebras, such a general theory does not exists and the Kurosh theorem is false in general, as it was first noticed by Shirshov. However, we prove that, for a class of positively graded Lie algebras satisfying certain local properties in cohomology, such a structure theorem holds true for subalgebras generated in degree 1. Such class consists of Lie algebras, which have all the subalgebras generated in degree $1$ that are Koszul.


title: Medication Error Detection Using Contextual Language Models

abstract: Medication errors most commonly occur at the ordering or prescribing stage, potentially leading to medical complications and poor health outcomes. While it is possible to catch these errors using different techniques; the focus of this work is on textual and contextual analysis of prescription information to detect and prevent potential medication errors. In this paper, we demonstrate how to use BERT-based contextual language models to detect anomalies in written or spoken text based on a data set extracted from real-world medical data of thousands of patient records. The proposed models are able to learn patterns of text dependency and predict erroneous output based on contextual information such as patient data. The experimental results yield accuracy up to 96.63% for text input and up to 79.55% for speech input, which is satisfactory for most real-world applications.


title: In-Device Feedback in Immersive Head-Mounted Displays for Distance Perception During Teleoperation of Unmanned Ground Vehicles

abstract: In recent years, Virtual Reality (VR) Head-Mounted Displays (HMD) have been used to provide an immersive, first-person view in real-time for the remote-control of Unmanned Ground Vehicles (UGV). One critical issue is that it is challenging to perceive the distance of obstacles surrounding the vehicle from 2D views in the HMD, which deteriorates the control of UGV. Conventional distance indicators used in HMD take up screen space which leads clutter on the display and can further reduce situation awareness of the physical environment. To address the issue, in this paper we propose off-screen in-device feedback using vibro-tactile and/or light-visual cues to provide real-time distance information for the remote control of UGV. Results from a study show a significantly better performance with either feedback type, reduced workload and improved usability in a driving task that requires continuous perception of the distance between the UGV and its environmental objects or obstacles. Our findings show a solid case for in-device vibro-tactile and/or light-visual feedback to support remote operation of UGVs that highly relies on distance perception of objects.


title: On the mean radius of quasiconformal mappings

abstract: We study the mean radius growth function for quasiconformal mappings. We give a new sub-class of quasiconformal mappings in $\mathbb{R}^n$, for $n\geq 2$, called bounded integrable parameterization mappings, or BIP maps for short. These have the property that the restriction of the Zorich transform to each slice has uniformly bounded derivative in $L^{n/(n-1)}$. For BIP maps, the logarithmic transform of the mean radius function is bi-Lipschitz. We then apply our result to BIP maps with simple infinitesimal spaces to show that the asymptotic representation is indeed quasiconformal by showing that its Zorich transform is a bi-Lipschitz map.


title: Effects of squared four-fermion operators of the Standard Model Effective Field Theory on meson mixing

abstract: The Standard Model Effective Field Theory (SMEFT) is a universal way of parametrizing New Physics (NP) manifesting as new, heavy particle interactions with the Standard Model (SM) degrees of freedom, that respect the SM gauged symmetries. Higher order terms in the NP interactions possibly lead to sizable effects, mandatory for meaningful phenomenological studies, such as contributions to neutral meson mixing, which typically pushes the scale of NP to energy scales much beyond the reach of direct searches in colliders. I discuss the leading-order renormalization of double-insertions of dimension-6 four-fermion operators that change quark flavor by one unit (i.e., $ | \Delta F | = 1 $, $ F = $ strange-, charm-, or bottom-flavor), by dimension-8 operators relevant to meson mixing (i.e., $ | \Delta F | = 2 $) in SMEFT. Then, I consider the phenomenological implications of contributions proportional to large Yukawas, setting bounds on the Wilson coefficients of operators of dimension-6 via the leading logarithmic contributions. Given the underlying interest of SMEFT to encode full-fledged models at low energies, this work stresses the need to consider dimension-8 operators in phenomenological applications of dimension-6 operators of SMEFT.


title: Finite-key analysis for quantum key distribution with discrete phase randomization

abstract: Quantum key distribution(QKD) allows two remote parties to share information-theoretic secret keys. Many QKD protocols assume the phase of encoding state can be continuous randomized from 0 to 2 pi, which, however, may be questionable in experiment. This is particularly the case in the recently proposed twin-field(TF) QKD, which has received a lot of attention, since it can increase key rate significantly and even beat some theoretical rate-loss limits. As an intuitive solution, one may introduce discrete phase-randomization instead of continuous one. However, a security proof for a QKD protocol with discrete phase-randomization in finite-key region is still missing. Here we develop a technique based on conjugate measurement and quantum state distinguishment to ana-lyze the security in this case. Our result shows that TF-QKD with reasonable number of discrete random phases, e.g. 8 phases from {0, pi/4, pi/2, ..., 7pi/4}, can achieve satisfactory performance. More importantly, as a the first proof for TF-QKD with discrete phase-randomization in finite-key region, our method is also applicable in other QKD protocols.


title: Near-Field Spatial Correlation for Extremely Large-Scale Array Communications

abstract: Extremely large-scale array (XL-array) communications correspond to systems whose antenna sizes are so large that the scatterers and/or users may no longer be located in the far-field region. By discarding the conventional far-field uniform plane wave (UPW) assumption, this letter studies the near-field spatial correlation of XL-array communications, by taking into account the more generic non-uniform spherical wave (NUSW) characteristics. It is revealed that different from the far-field channel spatial correlation which only depends on the power angular spectrum (PAS), the near-field spatial correlation depends on the scattered power distribution not just characterized by their arriving angles, but also by the scatterers' distances, which is termed as power location spectrum (PLS). A novel integral expression is derived for the near-field spatial correlation in terms of the scatterers' location distribution, which includes the far-field spatial correlation as a special case. The result shows that different from the far-field case, the near-field spatial correlation no longer exhibits spatial stationarity in general, since the correlation coefficient for each pair of antennas depends on their specific positions, rather than their relative distance only. To gain further insights, we propose a generalized one-ring model for scatterer distribution, by allowing the ring center to be flexibly located rather than coinciding with the array center as in the conventional one-ring model. Numerical results are provided to show the necessity of the near-field spatial correlation modelling for XL-array communications.


title: Locality-Preserving Hashing for Shifts with Connections to Cryptography

abstract: Can we sense our location in an unfamiliar environment by taking a sublinear-size sample of our surroundings? Can we efficiently encrypt a message that only someone physically close to us can decrypt? To solve this kind of problems, we introduce and study a new type of hash functions for finding shifts in sublinear time. A function $h:\{0,1\}^n\to \mathbb{Z}_n$ is a $(d,\delta)$ {\em locality-preserving hash function for shifts} (LPHS) if: (1) $h$ can be computed by (adaptively) querying $d$ bits of its input, and (2) $\Pr [ h(x) \neq h(x \ll 1) + 1 ] \leq \delta$, where $x$ is random and $\ll 1$ denotes a cyclic shift by one bit to the left. We make the following contributions. * Near-optimal LPHS via Distributed Discrete Log: We establish a general two-way connection between LPHS and algorithms for distributed discrete logarithm in the generic group model. Using such an algorithm of Dinur et al. (Crypto 2018), we get LPHS with near-optimal error of $\delta=\tilde O(1/d^2)$. This gives an unusual example for the usefulness of group-based cryptography in a post-quantum world. We extend the positive result to non-cyclic and worst-case variants of LPHS. * Multidimensional LPHS: We obtain positive and negative results for a multidimensional extension of LPHS, making progress towards an optimal 2-dimensional LPHS. * Applications: We demonstrate the usefulness of LPHS by presenting cryptographic and algorithmic applications. In particular, we apply multidimensional LPHS to obtain an efficient "packed" implementation of homomorphic secret sharing and a sublinear-time implementation of location-sensitive encryption whose decryption requires a significantly overlapping view.


title: Computing optimal experimental designs on finite sets by log-determinant gradient flow

abstract: Optimal experimental designs are probability measures with finite support enjoying an optimality property for the computation of least squares estimators. We present an algorithm for computing optimal designs on finite sets based on the long-time asymptotics of the gradient flow of the log-determinant of the so called information matrix. We prove the convergence of the proposed algorithm, and provide a sharp estimate on the rate its convergence. Numerical experiments are performed on few test cases using the new matlab package OptimalDesignComputation.


title: Semantics-driven Attentive Few-shot Learning over Clean and Noisy Samples

abstract: Over the last couple of years few-shot learning (FSL) has attracted great attention towards minimizing the dependency on labeled training examples. An inherent difficulty in FSL is the handling of ambiguities resulting from having too few training samples per class. To tackle this fundamental challenge in FSL, we aim to train meta-learner models that can leverage prior semantic knowledge about novel classes to guide the classifier synthesis process. In particular, we propose semantically-conditioned feature attention and sample attention mechanisms that estimate the importance of representation dimensions and training instances. We also study the problem of sample noise in FSL, towards the utilization of meta-learners in more realistic and imperfect settings. Our experimental results demonstrate the effectiveness of the proposed semantic FSL model with and without sample noise.


title: Partial rank symmetry of distributive lattices for fences

abstract: Associated with any composition beta=(a,b,...) is a corresponding fence poset F(beta) whose covering relations are x_1 < x_2 < ... < x_{a+1} > x_{a+2} > ... > x_{a+b+1} < x_{a+b+2} < ... The distributive lattice L(beta) of all lower order ideals of F(beta) is important in the theory of cluster algebras. In addition, its rank generating function r(q;beta) is used to define q-analogues of rational numbers. Oguz and Ravichandran recently showed that its coefficients satisfy an interlacing condition, proving a conjecture of McConville, Smyth and Sagan, which in turn implies a previous conjecture of Morier-Genoud and Ovsienko that r(q;beta) is unimodal. We show that, when beta has an odd number of parts, then the polynomial is also partially symmetric: the number of ideals of F(beta) of size k equals the number of filters of size k, when k is below a certain value. Our proof is completely bijective. Oguz and Ravichandran also introduced a circular version of fences and proved, using algebraic techniques, that the distributive lattice for such a poset is rank symmetric. We give a bijective proof of this result as well. We end with some questions and conjectures raised by this work.


title: Applying Artificial Intelligence for Age Estimation in Digital Forensic Investigations

abstract: The precise age estimation of child sexual abuse and exploitation (CSAE) victims is one of the most significant digital forensic challenges. Investigators often need to determine the age of victims by looking at images and interpreting the sexual development stages and other human characteristics. The main priority - safeguarding children -- is often negatively impacted by a huge forensic backlog, cognitive bias and the immense psychological stress that this work can entail. This paper evaluates existing facial image datasets and proposes a new dataset tailored to the needs of similar digital forensic research contributions. This small, diverse dataset of 0 to 20-year-old individuals contains 245 images and is merged with 82 unique images from the FG-NET dataset, thus achieving a total of 327 images with high image diversity and low age range density. The new dataset is tested on the Deep EXpectation (DEX) algorithm pre-trained on the IMDB-WIKI dataset. The overall results for young adolescents aged 10 to 15 and older adolescents/adults aged 16 to 20 are very encouraging -- achieving MAEs as low as 1.79, but also suggest that the accuracy for children aged 0 to 10 needs further work. In order to determine the efficacy of the prototype, valuable input of four digital forensic experts, including two forensic investigators, has been taken into account to improve age estimation results. Further research is required to extend datasets both concerning image density and the equal distribution of factors such as gender and racial diversity.


title: Categorical models for path spaces

abstract: We establish an explicit comparison between two constructions in homotopy theory: the left adjoint of the homotopy coherent nerve functor, also known as the rigidification functor, and the Kan loop groupoid functor. This is achieved by considering localizations of the rigidification functor, unraveling a construction of Hinich, and using a sequence of operators originally introduced by Szczarba in 1961. As a result, we obtain several combinatorial models for the path category of a simplicial set. We then pass to the chain level and describe a model for the path category, now considered as a category enriched over differential graded (dg) coalgebras, in terms of a suitable algebraic chain model for the underlying simplicial set. This is achieved through a version of the cobar functor inspired by Lazarev and Holstein's categorical Koszul duality. As a consequence, we obtain a conceptual explanation of a result of Franz stating that there is a natural dg bialgebra quasi-isomorphism from the extended cobar construction on the chains of a reduced simplicial set to the chains on its Kan loop group.


title: Weighted cylindric partitions

abstract: Recently Corteel and Welsh outlined a technique for finding new sum-product identities by using functional relations between generating functions for cylindric partitions and a theorem of Borodin. Here, we extend this framework to include very general product-sides coming from work of Han and Xiong. In doing so, we are led to consider structures such as weighted cylindric partitions, symmetric cylindric partitions and weighted skew double shifted plane partitions. We prove some new identities and obtain new proofs of known identities, including the G\"ollnitz-Gordon and Little G\"ollnitz identities as well as some beautiful Schmidt-type identities of Andrews and Paule.


title: Rank Bounds in Link Floer Homology and Detection Results

abstract: Viewing the BRAID invariant as a generator of link Floer homology we generalise work of Baldwin-Vela-Vick to obtain rank bounds on the next to top grading of knot Floer homology. These allow us to classify links with knot Floer homology of rank at most eight, and prove a variant of a classification of links with Khovanov homology of low rank due to Xie-Zhang. In another direction we use a variant of Ozsv\'ath-Szab\'o classification of $E_2$ collapsed $\mathbb{Z} \oplus\mathbb{Z}$ filtered chain complexes to show that knot Floer homology detects $T(2,8)$ and $T(2,10)$. Combining these techniques with the spectral sequences of Batson-Seed, Dowlin, and Lee we can show that Khovanov homology likewise detects $T(2,8)$ and $T(2,10)$.


title: Orders of magnitude reduction in the computational overhead for quantum many-body problems on quantum computers via an exact transcorrelated method

abstract: Transcorrelated methods provide an efficient way of partially transferring the description of electronic correlations from the ground state wavefunction directly into the underlying Hamiltonian. In particular, Dobrautz et al. [Phys. Rev. B, 99(7), 075119, (2019)] have demonstrated that the use of momentum-space representation, combined with a non-unitary similarity transformation, results in a Hubbard Hamiltonian that possesses a significantly more compact ground state wavefunction, dominated by a single Slater determinant. This compactness/single-reference character greatly facilitates electronic structure calculations. As a consequence, however, the Hamiltonian becomes non-Hermitian, posing problems for quantum algorithms based on the variational principle. We overcome these limitations with the ansatz-based quantum imaginary time evolution algorithm and apply the transcorrelated method in the context of digital quantum computing. We demonstrate that this approach enables up to 4 orders of magnitude more accurate and compact solutions in various instances of the Hubbard model at intermediate interaction strength ($U/t=4$), enabling the use of shallower quantum circuits for wavefunction ansatzes. In addition, we propose a more efficient implementation of the quantum imaginary time evolution algorithm in quantum circuits that is tailored to non-Hermitian problems. To validate our approach, we perform hardware experiments on the ibmq_lima quantum computer. Our work paves the way for the use of exact transcorrelated methods for the simulations of ab initio systems on quantum computers.

categories: quant-ph cond-mat.str-el physics.chem-ph physics.comp-ph


title: Lung infection and normal region segmentation from CT volumes of COVID-19 cases

abstract: This paper proposes an automated segmentation method of infection and normal regions in the lung from CT volumes of COVID-19 patients. From December 2019, novel coronavirus disease 2019 (COVID-19) spreads over the world and giving significant impacts to our economic activities and daily lives. To diagnose the large number of infected patients, diagnosis assistance by computers is needed. Chest CT is effective for diagnosis of viral pneumonia including COVID-19. A quantitative analysis method of condition of the lung from CT volumes by computers is required for diagnosis assistance of COVID-19. This paper proposes an automated segmentation method of infection and normal regions in the lung from CT volumes using a COVID-19 segmentation fully convolutional network (FCN). In diagnosis of lung diseases including COVID-19, analysis of conditions of normal and infection regions in the lung is important. Our method recognizes and segments lung normal and infection regions in CT volumes. To segment infection regions that have various shapes and sizes, we introduced dense pooling connections and dilated convolutions in our FCN. We applied the proposed method to CT volumes of COVID-19 cases. From mild to severe cases of COVID-19, the proposed method correctly segmented normal and infection regions in the lung. Dice scores of normal and infection regions were 0.911 and 0.753, respectively.


title: A Benchmark of JSON-compatible Binary Serialization Specifications

abstract: We present a comprehensive benchmark of JSON-compatible binary serialization specifications using the SchemaStore open-source test suite collection of over 400 JSON documents matching their respective schemas and representative of their use across industries. We benchmark a set of schema-driven (ASN.1, Apache Avro, Microsoft Bond, Cap'n Proto, FlatBuffers, Protocol Buffers, and Apache Thrift) and schema-less (BSON, CBOR, FlexBuffers, MessagePack, Smile, and UBJSON) JSON-compatible binary serialization specifications. Existing literature on benchmarking JSON-compatible binary serialization specifications demonstrates extensive gaps when it comes to binary serialization specifications coverage, reproducibility and representativity, the role of data compression in binary serialization and the choice and use of obsolete versions of binary serialization specifications. We introduce a tiered taxonomy for JSON documents consisting of 36 categories classified as Tier 1, Tier 2 and Tier 3 as a common basis to class JSON documents based on their size, type of content, characteristics of their structure and redundancy criteria. We built and published a free-to-use online tool to automatically categorize JSON documents according to our taxonomy that generates related summary statistics. In the interest of fairness and transparency, we adhere to reproducible software development standards and publicly host the benchmark software and results on GitHub.


title: Measuring User Perceived Security of Mobile Banking Applications

abstract: Mobile banking applications have gained popularity and have significantly revolutionised the banking industry. Despite the convenience offered by M-Banking Apps, users are often distrustful of the security of the applications due to an increasing trend of cyber security compromises, cyber-attacks, and data breaches. Considering the upsurge in cyber security vulnerabilities of M-Banking Apps and the paucity of research in this domain, this study was conducted to empirically measure user-perceived security of M-Banking Apps. A total of 315 responses from study participants were analysed using covariance-based structural equation modelling (CB-SEM). The results indicated that most constructs of the baseline Extended Unified Theory of Acceptance and Use of Technology (UTAUT2) structure were validated. Perceived security, institutional trust and technology trust were confirmed as factors that affect user's intention to adopt and use M-Banking Apps. However, perceived risk was not confirmed as a significant predictor. The current study further revealed that in the context of M-Banking Apps, the effects of security and trust are complex. The impact of perceived security and institutional trust on behavioural intention was moderated by age, gender, experience, income, and education, while perceived security on use behaviour was moderated by age, gender, and experience. The effect of technology trust on behavioural intention was moderated by age, education, and experience. Overall, the proposed conceptual model achieved acceptable fit and explained 79% of the variance in behavioural intention and 54.7% in use behaviour of M-Banking Apps, higher than that obtained in the original UTAUT2. The guarantee of enhanced security, advanced privacy mechanisms and trust should be considered paramount in future strategies aimed at promoting M-Banking Apps adoption and use.


title: COVID-19 Infection Segmentation from Chest CT Images Based on Scale Uncertainty

abstract: This paper proposes a segmentation method of infection regions in the lung from CT volumes of COVID-19 patients. COVID-19 spread worldwide, causing many infected patients and deaths. CT image-based diagnosis of COVID-19 can provide quick and accurate diagnosis results. An automated segmentation method of infection regions in the lung provides a quantitative criterion for diagnosis. Previous methods employ whole 2D image or 3D volume-based processes. Infection regions have a considerable variation in their sizes. Such processes easily miss small infection regions. Patch-based process is effective for segmenting small targets. However, selecting the appropriate patch size is difficult in infection region segmentation. We utilize the scale uncertainty among various receptive field sizes of a segmentation FCN to obtain infection regions. The receptive field sizes can be defined as the patch size and the resolution of volumes where patches are clipped from. This paper proposes an infection segmentation network (ISNet) that performs patch-based segmentation and a scale uncertainty-aware prediction aggregation method that refines the segmentation result. We design ISNet to segment infection regions that have various intensity values. ISNet has multiple encoding paths to process patch volumes normalized by multiple intensity ranges. We collect prediction results generated by ISNets having various receptive field sizes. Scale uncertainty among the prediction results is extracted by the prediction aggregation method. We use an aggregation FCN to generate a refined segmentation result considering scale uncertainty among the predictions. In our experiments using 199 chest CT volumes of COVID-19 cases, the prediction aggregation method improved the dice similarity score from 47.6% to 62.1%.


title: An Ensemble of Deep Learning Frameworks Applied For Predicting Respiratory Anomalies

abstract: In this paper, we evaluate various deep learning frameworks for detecting respiratory anomalies from input audio recordings. To this end, we firstly transform audio respiratory cycles collected from patients into spectrograms where both temporal and spectral features are presented, referred to as the front-end feature extraction. We then feed the spectrograms into back-end deep learning networks for classifying these respiratory cycles into certain categories. Finally, results from high-performed deep learning frameworks are fused to obtain the best score. Our experiments on ICBHI benchmark dataset achieve the highest ICBHI score of 57.3 from a late fusion of inception based and transfer learning based deep learning frameworks, which outperforms the state-of-the-art systems.


title: Subdifferential of the joint numerical radius

abstract: An expression for the subdifferential of the joint numerical radius is obtained. Its applications to the best approximation problems in the joint numerical radius are discussed.


title: Degenerating hyperbolic surfaces and spectral gaps for large genus

abstract: In this article we study the differences of two consecutive eigenvalues $\lambda_{i}-\lambda_{i-1}$ up to $i=2g-2$ for the Laplacian on hyperbolic surfaces of genus $g$, and show that the supremum of such spectral gaps over the moduli space has infimum limit at least $\frac{1}{4}$ as genus goes to infinity. A min-max principle for eigenvalues on degenerating hyperbolic surfaces is also established.


title: Synthesis, physical and magnetic properties of CuAlCr$_4$S$_8$: a new Cr-based breathing pyrochlore

abstract: We present the synthesis and physical properties of a new breathing pyrochlore magnet CuAlCr$_4$S$_8$ with the help of synchrotron x-ray diffraction (XRD), magnetization under ambient and applied hydrostatic pressure, heat capacity, and muon spin relaxation/rotation ($\mu$SR) measurements. CuAlCr$_4$S$_8$ exhibits positive thermal expansion with concave upward temperature dependence. We observed a sharp antiferromagnetic ordering transition of a purely magnetic nature at 20 K, which shifts by as much as 3.2 K on the application of 600 MPa pressure. The breathing factor (B$_f$ = $J'/J$) in breathing pyrochlores can be an important parameter to tune the magnetic ground states of the pyrochlore lattice. The breathing factor can be modulated through breathing ratio, the ratio of sizes of the two tetrahedra, by using different elements at A and A' sites in the breathing pyrochlore structure. We find that CuAlCr$_4$S$_8$ has a breathing ratio of 1.0663(8), which is comparable to other sulfur breathing pyrochlores.


title: K-theory of Springer varieties

abstract: The aim of this paper is to describe the topological $K$-ring, in terms of generators and relations, of a Springer variety $\mathcal{F}_{\lambda}$ of type $A$ associated to a nilpotent operator having Jordan canonical form whose block sizes form a weakly decreasing sequence $\lambda=(\lambda_1,\ldots, \lambda_l)$. Our description parallels the description of the integral cohomology ring of $\mathcal{F}_{\lambda}$ due to Tanisaki and also the equivariant analogue due to Abe and Horiguchi.


title: Self-transport of swimming bacteria is impaired by porous microstructure

abstract: Motility is a fundamental survival strategy of bacteria to navigate porous environments. Swimming cells thrive in quiescent wetlands and sediments at the bottom of the marine water column, where they mediate many essential biogeochemical processes. While swimming motility in bulk fluid is now well established, a comprehensive understanding of the mechanisms regulating self-transport in the confined interstices of porous media is lacking, and determining the interactions between cells and surfaces of the solid matrix becomes paramount. Here, we precisely track the movement of bacteria (\emph{Magnetococcus marinus}) through a series of microfluidic porous media with broadly varying geometries and show that cell motility results in a succession of scattering events from the porous microstructure. Order or disorder can impact the cells' motility over short ranges, but we directly demonstrate that their large-scale transport properties are regulated by the cutoff of their persistent swimming, which is dictated primarily by the porosity and scale of the porous geometry. The effective mean free path is established as the key geometrical parameter controlling transport, and along with with minimal knowledge of cell swimming motility and surface scattering properties, we implement a theoretical model that universally predicts the effective diffusion of cells for the geometries studied here. These results are an important step toward predicting the physical ecology of swimming cells in quiescent porous media and understanding their role in environmental and health hazards in stagnant water.


title: Intrinsic Nonlinear Spin Magnetoelectricity in Centrosymmetric Magnets

abstract: We propose an intrinsic nonlinear spin magnetoelectric effect in magnetic materials, offering the potential of all-electric control of spin degree of freedom in centrosymmetric magnets, which reside outside of the current paradigm based on linear spin response. We reveal the band geometric origin of this effect in the momentum and magnetization space Berry connection polarizabilities, and clarify its symmetry characters. As an intrinsic effect, it is determined solely by the material's band structure and represents a material characteristic. Combining our theory with first-principles calculations, we predict sizable nonlinear spin magnetoelectricity in single-layer MnBi$_{2}$Te$_{4}$, which can be detected in experiment. Our theory paves the way for exploring rich nonlinear spintronic effects and novel device concepts based on them.


title: A systematic literature review on counterexample explanation

abstract: Context: Safety is of paramount importance for cyber-physical systems in domains such as automotive, robotics, and avionics. Formal methods such as model checking are one way to ensure the safety of cyber-physical systems. However, adoption of formal methods in industry is hindered by usability issues, particularly the difficulty of understanding model checking results. Objective: We want to provide an overview of the state of the art for counterexample explanation by investigating the contexts, techniques, and evaluation of research approaches in this field. This overview shall provide an understanding of current and guide future research. Method: To provide this overview, we conducted a systematic literature review. The survey comprises 116 publications that address counterexample explanations for model checking. Results: Most primary studies provide counterexample explanations graphically or as traces, minimize counterexamples to reduce complexity, localize errors in the models expressed in the input formats of model checkers, support linear temporal logic or computation tree logic specifications, and use model checkers of the Symbolic Model Verifier family. Several studies evaluate their approaches in safety-critical domains with industrial applications. Conclusion: We notably see a lack of research on counterexample explanation that targets probabilistic and real-time systems, leverages the explanations to domain-specific models, and evaluates approaches in user studies. We conclude by discussing the adequacy of different types of explanations for users with varying domain and formal methods expertise, showing the need to support laypersons in understanding model checking results to increase adoption of formal methods in industry.


title: Generalised Hausdorff measure of sets of Dirichlet non-improvable matrices in higher dimensions

abstract: Let $\psi:\mathbb R_{+}\to \mathbb R_{+}$ be a nonincreasing function. A pair $(A,\mathbf b),$ where $A$ is a real $m\times n$ matrix and $\mathbf b\in\mathbb R^{m},$ is said to be $\psi$-Dirichlet improvable, if the system $$\|A\mathbf q +\mathbf b-\mathbf p\|^m<\psi(T), \quad \|\mathbf q\|^n<T$$ is solvable in $\mathbf p\in\mathbb Z^{m},$ $\mathbf q\in\mathbb Z^{n}$ for all sufficiently large $T$ where $\|\cdot\|$ denotes the supremum norm. For $\psi$-Dirichlet non-improvable sets, Kleinbock--Wadleigh (2019) proved the Lebesgue measure criterion whereas Kim--Kim (2021) established the Hausdorff measure results. In this paper we obtain the generalised Hausdorff $f$-measure version of Kim--Kim (2021) results for $\psi$-Dirichlet non-improvable sets.


title: Low Earth Orbit Satellite Security and Reliability: Issues, Solutions, and the Road Ahead

abstract: Low Earth Orbit (LEO) satellites undergo a period of rapid development driven by ever-increasing user demands, reduced costs, and technological progress. Since there is a paucity of literature on the security and reliability issues of LEO Satellite Communication Systems (SCSs), we aim to fill this knowledge gap. Specifically, we critically appraise the inherent characteristics of LEO SCSs and elaborate on their security and reliability requirements. In light of this, we further discuss their vulnerabilities, including potential security attacks launched against them and reliability risks, followed by outlining the associated lessons learned. Subsequently, we discuss the corresponding security and reliability enhancement solutions, unveil a range of trade-offs, and summarize the lessons gleaned. Furthermore, we shed light on several promising future research directions for enhancing the security and reliability of LEO SCSs, such as integrated sensing and communication, computer vision aided communications, as well as challenges brought about by mega-constellation and commercialization. Finally, we summarize the lessons inferred and crystallize the take-away messages in our design guidelines.


title: Stability Based Generalization Bounds for Exponential Family Langevin Dynamics

abstract: Recent years have seen advances in generalization bounds for noisy stochastic algorithms, especially stochastic gradient Langevin dynamics (SGLD) based on stability (Mou et al., 2018; Li et al., 2020) and information theoretic approaches (Xu and Raginsky, 2017; Negrea et al., 2019; Steinke and Zakynthinou, 2020). In this paper, we unify and substantially generalize stability based generalization bounds and make three technical contributions. First, we bound the generalization error in terms of expected (not uniform) stability which arguably leads to quantitatively sharper bounds. Second, as our main contribution, we introduce Exponential Family Langevin Dynamics (EFLD), a substantial generalization of SGLD, which includes noisy versions of Sign-SGD and quantized SGD as special cases. We establish data-dependent expected stability based generalization bounds for any EFLD algorithm with a O(1/n) sample dependence and dependence on gradient discrepancy rather than the norm of gradients, yielding significantly sharper bounds. Third, we establish optimization guarantees for special cases of EFLD. Further, empirical results on benchmarks illustrate that our bounds are non-vacuous, quantitatively sharper than existing bounds, and behave correctly under noisy labels.


title: Selecting the Best Optimizing System

abstract: We formulate selecting the best optimizing system (SBOS) problems and provide solutions for those problems. In an SBOS problem, a finite number of systems are contenders. Inside each system, a continuous decision variable affects the system's expected performance. An SBOS problem compares different systems based on their expected performances under their own optimally chosen decision to select the best, without advance knowledge of expected performances of the systems nor the optimizing decision inside each system. We design easy-to-implement algorithms that adaptively chooses a system and a choice of decision to evaluate the noisy system performance, sequentially eliminates inferior systems, and eventually recommends a system as the best after spending a user-specified budget. The proposed algorithms integrate the stochastic gradient descent method and the sequential elimination method to simultaneously exploit the structure inside each system and make comparisons across systems. For the proposed algorithms, we prove exponential rates of convergence to zero for the probability of false selection, as the budget grows to infinity. We conduct three numerical examples that represent three practical cases of SBOS problems. Our proposed algorithms demonstrate consistent and stronger performances in terms of the probability of false selection over benchmark algorithms under a range of problem settings and sampling budgets.


title: Phase field fracture predictions of microscopic bridging behaviour of composite materials

abstract: We investigate the role of microstructural bridging on the fracture toughness of composite materials. To achieve this, a new computational framework is presented that integrates phase field fracture and cohesive zone models to simulate fibre breakage, matrix cracking and fibre-matrix debonding. The composite microstructure is represented by an embedded cell at the vicinity of the crack tip, whilst the rest of the sample is modelled as an anisotropic elastic solid. The model is first validated against experimental data of transverse matrix cracking from single-notched three-point bending tests. Then, the model is extended to predict the influence of grain bridging, brick-and-mortar microstructure and 3D fibre bridging on crack growth resistance. The results show that these microstructures are very efficient in enhancing the fracture toughness via fibre-matrix debonding, fibre breakage and crack deflection. In particular, the 3D fibre bridging effect can increase the energy dissipated at failure by more than three orders of magnitude, relative to that of the bulk matrix; well in excess of the predictions obtained from the rule of mixtures. These results shed light on microscopic bridging mechanisms and provide a virtual tool for developing high fracture toughness composites.


title: Quantum measurements and high-precision control of quantum states

abstract: The report presents a general approach for estimating quantum information technologies by means of fuzzy quantum measurements. The developed methods are used for precision reconstruction of quantum states under conditions of significant influence of decoherence and quantum noise. Monitoring of the amount of information about quantum states and their parameters, including the loss of information caused by the effect of quantum noise, is considered. Examples of the developed approach as applied to readout errors and phase relaxation are presented.


title: Study of the effect of quantum noise on the accuracy of the Schrodinger equation simulation on a quantum computer using the Zalka-Wiesner method

abstract: The study of the effect of quantum noise on the accuracy of modeling quantum systems on a quantum computer using the Zalka-Wiesner method is carried out. The efficiency of the developed methods and algorithms is demonstrated by the example of solving the nonstationary Schrodinger equation with allowance for quantum noise for a particle moving in the Poschl-Teller potential. The analysis and prediction of accuracy for the Zalka-Wiesner method are carried out taking into account the complexity of the quantum system and the strength of quantum noise. In our opinion, the considered problem provides a useful test for assessing the quality and efficiency of quantum computing devices on various physical platforms currently being developed. The obtained results are essential for the development of high-precision methods for controlling the technologies of quantum computations.


title: Schanuel's Lemma for Exact categories

abstract: We prove an injective version of Schanuel's lemma from homological algebra in the setting of exact categories.


title: Local and global visibility and Gromov hyperbolicity of domains with respect to the Kobayashi distance

abstract: We introduce the notion of locally visible and locally Gromov hyperbolic domains in $\mathbb C^d$. We prove that a bounded domain in $\mathbb C^d$ is locally visible and locally Gromov hyperbolic if and only if it is (globally) visible and Gromov hyperbolic with respect to the Kobayashi distance. This allows to detect, from local information near the boundary, those domains which are Gromov hyperbolic and for which biholomorphisms extend continuously up to the boundary.


title: High-fidelity tomography of fluorescent ion qubits under conditions of limited discrimination between bright and dark levels

abstract: The present work is devoted to the development of a method for high-precision tomography of ion qubit registers under conditions of limited distinguishability of the states of a logical value 0 and a logical value 1. In the considered ion qubits, the identification of the quantum state is achieved by measuring the fluorescence of the ion by repeated excitation of the cyclic transition, which includes only the lower energy state that sets a logical value 0 and becomes bright, but does not include the upper metastable state that remains dark and sets logical value 1. It is important to note that it is not always possible to achieve low levels of registration errors due to the finite lifetime of excited levels, photon scattering, dark noise, low numerical aperture values, etc. However, even under such conditions, with use of the model of fuzzy quantum measurements, it is possible to provide precise control of quantum states. We show that a model that is characterized by relatively high levels of errors under conditions, where we have a reliable statistical model of their occurrence, is more accurate than the case when the considered errors are small, but we do not have an adequate statistical model for the occurrence of these errors. In the given illustrative examples, we show that the factor of reducing the loss of accuracy with the use of the model of fuzzy measurements can reach values of the order of 1000 or more in comparison with standard measurements. The obtained results are essential for the development of high-precision methods for controlling the technology of quantum computing on the ion platform.


title: Comparative analysis of various protocols for high-precision tomography of qudits

abstract: Quantum tomography is an important tool for obtaining information about the quantum state from experimental data. In this study, we conduct a comparative analysis of various quantum tomography protocols, including protocols based on highly symmetric sets of state vectors, on mutually unbiased bases (MUB), and two-level transformations. Using the universal distribution for the fidelity of quantum state tomography, we estimate the fidelity and efficiency of quantum measurements for qudits of various dimensions as applied to a set of random states uniformly distributed over the Haar measure.


title: On discrete generalized nabla fractional sums and differences

abstract: This article investigates a class of discrete nabla fractional operators by using the discrete nabla convolution theorem. Inspired by this, we define the discrete generalized nabla fractional sum and differences of Riemann-Liouville and Caputo types. In the process, we give a relationship between the generalized discrete delta fractional operators introduced by Ferreira \cite{Ferreira} and the proposed discrete generalized nabla fractional operators via the dual identities. Also, we present some test examples to justify the relationship. Moreover, we prove the fundamental theorem of calculus for the defined discrete generalized nabla fractional operators. Inspired by the above operators, we define discrete generalized nabla Atangana-Baleanu-like (or Caputo-Fabrizio-like) fractional sum and differences at the end of the article.


title: A Survey of Passive Sensing in the Workplace

abstract: As emerging technologies increasingly integrate into all facets of our lives, the workplace stands at the forefront of potential transformative changes. A notable development in this realm is the advent of passive sensing technology, designed to enhance both cognitive and physical capabilities by monitoring human behavior. This paper reviews current research on the application of passive sensing technology in the workplace, focusing on its impact on employee wellbeing and productivity. Additionally, we explore unresolved issues and outline prospective pathways for the incorporation of passive sensing in future workplaces.


title: A Logical Analysis of Universal Properties

abstract: A Universal Mapping Property is generally described as a characterization of an object up to a unique isomorphism by considering its relation to every other object; however, the term "by considering its relation to every other object" is not clearly or explicitly defined. In this paper, we will introduce such definition which will also generalize the idea of a universal property from a logical perspective.


title: Gauge invariant approach to nonmetricity theories and the second clock effect

abstract: In this paper we discuss on recent attempts aimed at demonstrating that, contrary to well-known results, the second clock effect (SCE) does not take place in generalized Weyl spaces -- spaces with arbitrary nonmetricity -- denoted here as $W_4$ spaces. These attempts include Weyl gauge theories of gravity, as well as the symmetric teleparallel theories (STTs). Our approach to this issue is based on the adoption of Weyl gauge symmetry (WGS) which is a manifest symmetry of the basic laws of Weyl geometry. We shall consistently adapt mathematical and geometrical quantities and concepts so that the resulting geometrical framework be gauge invariant. This issue is of special relevance for the fate of nonmetricity theories, including a class of the STTs which is being intensively applied in the cosmological framework. As we shall show, if realize that WGS is a manifest symmetry of generalized Weyl spaces $W_4$, and identify physical vectors and tensors with corresponding hypothetical vectors and tensors living in $W_4$, neither the Weyl gauge theories nor the nonmetricity theories are free of the SCE, unless Weyl integrable geometry (WIG) spaces are considered.


title: Information Borrowing in Regression Models

abstract: Model development often takes data structure, subject matter considerations, model assumptions, and goodness of fit into consideration. To diagnose issues with any of these factors, it can be helpful to understand regression model estimates at a more granular level. We propose a new method for decomposing point estimates from a regression model via weights placed on data clusters. The weights are informed only by the model specification and data availability and thus can be used to explicitly link the effects of data imbalance and model assumptions to actual model estimates. The weight matrix has been understood in linear models as the hat matrix in the existing literature. We extend it to Bayesian hierarchical regression models that incorporate prior information and complicated dependence structures through the covariance among random effects. We show that the model weights, which we call borrowing factors, generalize shrinkage and information borrowing to all regression models. In contrast, the focus of the hat matrix has been mainly on the diagonal elements indicating the amount of leverage. We also provide metrics that summarize the borrowing factors and are practically useful. We present the theoretical properties of the borrowing factors and associated metrics and demonstrate their usage in two examples. By explicitly quantifying borrowing and shrinkage, researchers can better incorporate domain knowledge and evaluate model performance and the impacts of data properties such as data imbalance or influential points.


title: Inverse optimization problems with multiple weight functions

abstract: We introduce a new class of inverse optimization problems in which an input solution is given together with $k$ linear weight functions, and the goal is to modify the weights by the same deviation vector $p$ so that the input solution becomes optimal with respect to each of them, while minimizing $\|p\|_1$. In particular, we concentrate on three problems with multiple weight functions: the inverse shortest $s$-$t$ path, the inverse bipartite perfect matching, and the inverse arborescence problems. Using LP duality, we give min-max characterizations for the $\ell_1$-norm of an optimal deviation vector. Furthermore, we show that the optimal $p$ is not necessarily integral even when the weight functions are so, therefore computing an optimal solution is significantly more difficult than for the single-weighted case. We also give a necessary and sufficient condition for the existence of an optimal deviation vector that changes the values only on the elements of the input solution, thus giving a unified understanding of previous results on arborescences and matchings.


title: A self-ruling monotile for aperiodic tiling

abstract: Can the entire plane be paved with a single tile that forces aperiodicity? This is known as the ein Stein problem (in German, ein Stein means one tile). This paper presents a monotile that delivers aperiodic tiling by design. It is based on the monotile developed by Taylor and Socolar (whose aperiodicity is forced by means of a non-connected tile that is mainly hexagonal) and motif-based hexagonal tilings that followed this major discovery. Here instead, a single substitution rule makes its shape, and when applying it, forces the tiling to be aperiodic. The proposed monotile, called HexSeed, is self-ruling. It consists of 16 identical hexagons, called subtiles, all with edgy borders representing the same binary marking. No motif is needed on the subtiles to make it work. Additional motifs can be added to the monotile to provide some insights. The proof of aperiodicity is presented with the use of such motifs.


title: The State of Aerial Surveillance: A Survey

abstract: The rapid emergence of airborne platforms and imaging sensors are enabling new forms of aerial surveillance due to their unprecedented advantages in scale, mobility, deployment and covert observation capabilities. This paper provides a comprehensive overview of human-centric aerial surveillance tasks from a computer vision and pattern recognition perspective. It aims to provide readers with an in-depth systematic review and technical analysis of the current state of aerial surveillance tasks using drones, UAVs and other airborne platforms. The main object of interest is humans, where single or multiple subjects are to be detected, identified, tracked, re-identified and have their behavior analyzed. More specifically, for each of these four tasks, we first discuss unique challenges in performing these tasks in an aerial setting compared to a ground-based setting. We then review and analyze the aerial datasets publicly available for each task, and delve deep into the approaches in the aerial literature and investigate how they presently address the aerial challenges. We conclude the paper with discussion on the missing gaps and open research questions to inform future research avenues.


title: Exact Lagrangian tori in symplectic Milnor fibers constructed with fillings

abstract: We use exact Lagrangian fillings and Weinstein handlebody diagrams to construct infinitely many distinct exact Lagrangian tori in $4$-dimensional Milnor fibers of isolated hypersurface singularities with positive modality. We also provide a generalization of a criterion for when the symplectic homology of a Weinstein $4$-manifold is non-vanishing given an explicit Weinstein handlebody diagrams.


title: Spectral multiplier theorems for abstract harmonic oscillators on UMD lattices

abstract: We consider operators acting on a UMD Banach lattice $X$ that have the same algebraic structure as the position and momentum operators associated with the harmonic oscillator $-\frac12\Delta + \frac12|x|^{2} $ acting on $L^{2}(\mathbb{R}^{d})$. More precisely, we consider abstract harmonic oscillators of the form $\frac12 \sum _{j=1} ^{d}(A_{j}^{2}+B_{j}^{2})$ for tuples of operators $A=(A_{j})_{j=1} ^{d}$ and $B=(B_{k})_{k=1} ^{d}$, where $iA_j$ and $iB_k$ are assumed to generate $C_{0}$ groups and to satisfy the canonical commutator relations. We prove functional calculus results for these abstract harmonic oscillators that match classical H\"ormander spectral multiplier estimates for the harmonic oscillator $-\frac12\Delta + \frac12|x|^{2}$ on $L^{p}(\mathbb{R}^{d})$. This covers situations where the underlying metric measure space is not doubling and the use of function spaces that are not particularly well suited to extrapolation arguments. For instance, as an application we treat the harmonic oscillator on mixed norm Bargmann-Fock spaces. Our approach is based on a transference principle for the Schr\"odinger representation of the Heisenberg group that allows us to reduce the problem to the study of the twisted Laplacian on the Bochner spaces $L^{2}(\mathbb{R}^{2d};X)$. This can be seen as a generalisation of the Stone-von Neumann theorem to UMD lattices $X$ that are not Hilbert spaces.


title: Discrete $R$-symmetry, Various Energy Scales and Gravitational Waves

abstract: We present a supersymmetric model where energy scales of a discrete $R$-symmetry breaking ($Z_{6R}$) and cosmic inflation are commonly attributed to the confinement scale of a hidden $Sp(2)$ strong dynamics. Apart from these, SUSY-breaking scale, the Higgsino mass and the right-handed neutrino masses are all shown to stem from $Z_{6R}$ breaking scale inferred from CMB observables. We will show that the model is characterized by the SUSY-breaking soft mass $m_{\rm soft}\simeq100-1000{\rm TeV}$ and the reheating temperature $T_{\rm rh}\simeq10^{9}{\rm GeV}$. Then we discuss how these predictions of the model can be tested with the help of the spectrum of the gravitational wave induced by the short-lived cosmic string present during the reheating era.


title: Compactification of the space of branched coverings of the two-dimensional sphere

abstract: For a closed oriented surface $ \Sigma $ we define its degenerations into singular surfaces that are locally homeomorphic to wedges of disks. Let $X_{\Sigma,n}$ be the set of isomorphism classes of orientation preserving $n$-fold branched coverings $ \Sigma\rightarrow S^2 $ of the two-dimensional sphere. We complete $X_{\Sigma,n}$ with the isomorphism classes of mappings that cover the sphere by the degenerations of $ \Sigma $. In case $ \Sigma=S^2$, the topology that we define on the obtained completion $\bar{X}_{\Sigma,n}$ coincides on $X_{S^2,n}$ with the topology induced by the space of coefficients of rational functions $ P/Q $, where $ P,Q $ are homogeneous polynomials of degree $ n $ on $ \mathbb{C}\mathrm{P}^1\cong S^2$. We prove that $\bar{X}_{\Sigma,n}$ coincides with the Diaz-Edidin-Natanzon-Turaev compactification of the Hurwitz space $H(\Sigma,n)\subset X_{\Sigma,n}$ consisting of isomorphism classes of branched coverings with all critical values being simple.


title: Disk Tearing Leads to Low and High Frequency Quasi Periodic Oscillations in a GRMHD Simulation of a Thin Accretion Disk

abstract: Black hole X-ray binaries (BHXRBs) display a wide range of variability phenomena, from long duration spectral state changes to short-term broadband variability and quasi-periodic oscillations (QPOs). A particularly puzzling aspect is the production of QPOs, which -- if properly understood -- could be used as a powerful diagnostic tool of black hole accretion and evolution. In this work we analyse a high resolution three-dimensional general relativistic magnetohydrodynamic simulation of a geometrically thin accretion disk which is tilted by $65^{\circ}$ with respect to the black hole spin axis. We find that the Lense-Thirring torque from the rapidly spinning 10 $M_\odot$ black hole causes several sub-disks to tear off within $\sim 10-20$ gravitational radii. Tearing occurs in cycles on timescales of seconds. During each tearing cycle the inner sub-disk precesses for 1-5 periods before it falls into the black hole. We find a precession frequency of $\sim 3\rm Hz$, consistent with observed low-frequency QPOs. In addition, we find a high frequency QPO (HFQPO) with centroid frequency of $\sim55$Hz in the power spectra of the mass-weighted radius of the inner disk. This signal is caused by radial epicyclic oscillations of a dense ring of gas at the tearing radius, which strongly suggests a corresponding modulation of the X-ray lightcurve and may thus explain some of the observed HFQPOs.


title: An elegant Multi-Integral that implies an even more elegant determinant identity of Dougherty and McCammond

abstract: We state and prove an explicit evaluation of a certain multi-variate integral and use it to furnish a new, and shorter, proof of an elegant determinant identity of Michael Dougherty and Jon McCammond that came up in their study of critical values.


title: Frobenius-like structure in Gaudin model

abstract: We introduce a Frobenius-like structure for the $\frak{sl}_2$ Gaudin model. Namely, we introduce potential functions of the first and second kind. We describe the Shapovalov form in terms of derivatives of the potential of the first kind and the action of Gaudin Hamiltonians in terms of derivatives of the potential of the second kind.


title: Viro-Zvonilov inequalities for flexible curves on an almost complex four-dimensional manifold

abstract: The restrictions on the topology of nonsingular plane projective real algebraic curves of odd degree, obtained by O. Viro and the author in the paper published in the early 90s, are extended to flexible curves lying on an almost complex four-dimensional manifold. Some examples of real algebraic surfaces and real curves on them prove the sharpness of the obtained inequalities. In addition, it is proved that a compact Lie group smooth action can be lifted to a cyclic branched covering space $ \tilde{X} $ over a closed four-dimensional manifold, and a sufficient condition for $ H_1(\tilde{X})=0 $ was found.


title: First-order separation over countable ordinals

abstract: We show that the existence of a first-order formula separating two monadic second order formulas over countable ordinal words is decidable. This extends the work of Henckell and Almeida on finite words, and of Place and Zeitoun on $\omega$-words. For this, we develop the algebraic concept of monoid (resp. $\omega$-semigroup, resp. ordinal monoid) with aperiodic merge, an extension of monoids (resp. $\omega$-semigroup, resp. ordinal monoid) that explicitly includes a new operation capturing the loss of precision induced by first-order indistinguishability. We also show the computability of FO-pointlike sets, and the decidability of the covering problem for first-order logic on countable ordinal words.


title: Visualization of dark excitons in semiconductor monolayers for high-sensitivity strain sensing

abstract: Transition metal dichalcogenides (TMDs) are layered materials that have a semiconducting phase with many advantageous optoelectronic properties, including tightly bound excitons and spin-valley locking. In Tungsten-based TMDs, spin and momentum forbidden transitions give rise to dark excitons that typically are optically inaccessible but represent the lowest excitonic states of the system. Dark excitons can deeply affect transport, dynamics and coherence of bright excitons, hampering device performance. Therefore, it is crucial to create conditions in which these excitonic states can be visualized and controlled. Here, we show that compressive strain in WS2 enables phonon scattering of photoexcited electrons between momentum valleys, enhancing the formation of dark intervalley excitons. We show that the emission and spectral properties of momentum-forbidden excitons are accessible and strongly depend on the local strain environment that modifies the band alignment. This mechanism is further exploited for strain sensing in two-dimensional semiconductors revealing a gauge factor exceeding 10^4.


title: Anisotropic resistivity and superconducting instability in ferroelectric metals

abstract: We propose a theoretical model of a ferroelectric metal where spontaneous electric polarization coexists with the conducting electrons. In our model we adopt a scenario when conducting electrons interact with two soft transverse optical phonons, generalize it to the case when there is a spontaneous ferroelectric polarization in the system, and show that a linear coupling to the phonons emerges as a result. We find that this coupling results in anisotropic electric transport which has a transverse to the current voltage drop. Importantly, the obtained transverse component of the resistivity has distinct linear dependence with temperature. Moreover, we show that the coupling enhances superconducting transition temperature of the ferroelectric metal. We argue that our results help to explain recent experiments on ferroelectric strontium titanate, as well as provide new experimental signatures to look for.


title: Uncovering the Source of Machine Bias

abstract: We develop a structural econometric model to capture the decision dynamics of human evaluators on an online micro-lending platform, and estimate the model parameters using a real-world dataset. We find two types of biases in gender, preference-based bias and belief-based bias, are present in human evaluators' decisions. Both types of biases are in favor of female applicants. Through counterfactual simulations, we quantify the effect of gender bias on loan granting outcomes and the welfare of the company and the borrowers. Our results imply that both the existence of the preference-based bias and that of the belief-based bias reduce the company's profits. When the preference-based bias is removed, the company earns more profits. When the belief-based bias is removed, the company's profits also increase. Both increases result from raising the approval probability for borrowers, especially male borrowers, who eventually pay back loans. For borrowers, the elimination of either bias decreases the gender gap of the true positive rates in the credit risk evaluation. We also train machine learning algorithms on both the real-world data and the data from the counterfactual simulations. We compare the decisions made by those algorithms to see how evaluators' biases are inherited by the algorithms and reflected in machine-based decisions. We find that machine learning algorithms can mitigate both the preference-based bias and the belief-based bias.


title: On a version of the slicing problem for the surface area of convex bodies

abstract: We study the slicing inequality for the surface area instead of volume. This is the question whether there exists a constant $\alpha_n$ depending (or not) on the dimension $n$ so that $$S(K)\leq\alpha_n|K|^{\frac{1}{n}}\max_{\xi\in S^{n-1}}S(K\cap\xi^{\perp })$$ where $S$ denotes surface area and $|\cdot |$ denotes volume. For any fixed dimension we provide a negative answer to this question, as well as to a weaker version in which sections are replaced by projections onto hyperplanes. We also study the same problem for sections and projections of lower dimension and for all the quermassintegrals of a convex body. Starting from these questions, we also introduce a number of natural parameters relating volume and surface area, and provide optimal upper and lower bounds for them. Finally, we show that, in contrast to the previous negative results, a variant of the problem which arises naturally from the surface area version of the equivalence of the isomorphic Busemann--Petty problem with the slicing problem has an affirmative answer.


title: MAGRATHEA: an open-source spherical symmetric planet interior structure code

abstract: MAGRATHEA is an open-source planet structure code that considers the case of fully differentiated spherically symmetric interiors. Given the mass of each layer and the surface temperature, the code iterates the boundary conditions of the hydrostatic equations using the method of shooting to a fitting point in order to find the planet radius. The first version of MAGRATHEA supports a maximum of four layers of iron, silicates, water, and ideal gas. With a few exceptions, the temperature profile can be chosen between isothermal, isentropic, and user-defined functions. The user has many options for the phase diagram and equation of state in each layer and we document how to add additional equations of state. We present MAGRATHEA's capabilities and discuss its applications. We encourage the community to participate in the development of MAGRATHEA at https://github.com/Huang-CL/Magrathea.


title: $K$-theory equivariant with respect to an elementary abelian $2$-group

abstract: We compute the $RO(A)$-graded coefficients of $A$-equivariant complex and real topological $K$-theory for $A$ a finite elementary abelian $2$-group, together with all products, transfers, restrictions, power operations, and Adams operations.


title: Snowmass White Paper: Quantum Aspects of Black Holes and the Emergence of Spacetime

abstract: Black holes provide a window into the microscopic structure of spacetime in quantum gravity. Recently the quantum information contained in Hawking radiation has been calculated, verifying a key aspect of the consistency of black hole evaporation with quantum mechanical unitarity. This calculation relied crucially on recent progress in understanding the emergence of bulk spacetime from a boundary holographic description. Spacetime wormholes have played an important role in understanding the underpinnings of this result, and the precision study of such wormholes, in this and other contexts, has been enabled by the development of low-dimensional models of holography. In this white paper we review these developments and describe some of the deep open questions in this subject. These include the nature of the black hole interior, potential applications to quantum cosmology, the gravitational explanation of the fine structure of black holes, and the development of further connections to quantum information and laboratory quantum simulation.


title: Thermal phase structure of dimensionally reduced super-Yang--Mills

abstract: We present our current results from ongoing lattice investigations of the Berenstein--Maldacena--Nastase deformation of maximally supersymmetric Yang--Mills quantum mechanics. We focus on the thermal phase structure of this theory, which depends on both the temperature $T$ and the deformation parameter $\mu$, through the dimensionless ratios $T / \mu$ and $g = \lambda / \mu^3$ with $\lambda$ the 't Hooft coupling. We determine the critical $T / \mu$ of the confinement transition for couplings $g$ that span three orders of magnitude, to connect weak-coupling perturbative calculations and large-$N$ dual supergravity predictions in the strong-coupling limit. Analyzing multiple lattice sizes up to $N_{\tau} = 24$ and numbers of colors up to $N = 16$ allows initial checks of the large-$N$ continuum limit.


title: Qualitative representations of chromatic algebras

abstract: Conventional Ramsey-theoretic investigations for edge-colourings of complete graphs are framed around avoidance of certain configurations. Motivated by considerations arising in the field of Qualitative Reasoning, we explore edge colourings that in addition to forbidding certain triangle configurations also require others to be present. These conditions have natural combinatorial interest in their own right, but also correspond to qualitative representability of certain nonassociative relation algebras, which we will call chromatic.


title: Interaction expansion inchworm Monte Carlo solver for lattice and impurity models

abstract: Multi-orbital quantum impurity models with general interaction and hybridization terms appear in a wide range of applications including embedding, quantum transport, and nanoscience. However, most quantum impurity solvers are restricted to a few impurity orbitals, discretized baths, diagonal hybridizations, or density-density interactions. Here, we generalize the inchworm quantum Monte Carlo method to the interaction expansion and explore its application to typical single- and multi-orbital problems encountered in investigations of impurity and lattice models. Our implementation generically outperforms bare and bold-line quantum Monte Carlo algorithms in the interaction expansion. So far, for the systems studied here, it remains inferior to the more specialized hybridization expansion and auxiliary field algorithms. The problem of convergence to unphysical fixed points, which hampers so-called bold-line methods, is not encountered in inchworm Monte Carlo.


title: The EKR-module property of pseudo-Paley graphs of square order

abstract: We prove that a family of pseudo-Paley graphs of square order obtained from unions of cyclotomic classes satisfies the Erd\H{o}s-Ko-Rado (EKR) module property, in a sense that the characteristic vector of each maximum clique is a linear combination of characteristic vectors of canonical cliques. This extends the EKR-module property of Paley graphs of square order and solves a problem proposed by Godsil and Meagher. Different from previous works, which heavily rely on tools from number theory, our approach is purely combinatorial in nature. The main strategy is to view these graphs as block graphs of orthogonal arrays, which is of independent interest.


title: ImageSubject: A Large-scale Dataset for Subject Detection

abstract: Main subjects usually exist in the images or videos, as they are the objects that the photographer wants to highlight. Human viewers can easily identify them but algorithms often confuse them with other objects. Detecting the main subjects is an important technique to help machines understand the content of images and videos. We present a new dataset with the goal of training models to understand the layout of the objects and the context of the image then to find the main subjects among them. This is achieved in three aspects. By gathering images from movie shots created by directors with professional shooting skills, we collect the dataset with strong diversity, specifically, it contains 107\,700 images from 21\,540 movie shots. We labeled them with the bounding box labels for two classes: subject and non-subject foreground object. We present a detailed analysis of the dataset and compare the task with saliency detection and object detection. ImageSubject is the first dataset that tries to localize the subject in an image that the photographer wants to highlight. Moreover, we find the transformer-based detection model offers the best result among other popular model architectures. Finally, we discuss the potential applications and conclude with the importance of the dataset.


title: Preserving Domain Private Representation via Mutual Information Maximization

abstract: Recent advances in unsupervised domain adaptation have shown that mitigating the domain divergence by extracting the domain-invariant representation could significantly improve the generalization of a model to an unlabeled data domain. Nevertheless, the existing methods fail to effectively preserve the representation that is private to the label-missing domain, which could adversely affect the generalization. In this paper, we propose an approach to preserve such representation so that the latent distribution of the unlabeled domain could represent both the domain-invariant features and the individual characteristics that are private to the unlabeled domain. In particular, we demonstrate that maximizing the mutual information between the unlabeled domain and its latent space while mitigating the domain divergence can achieve such preservation. We also theoretically and empirically validate that preserving the representation that is private to the unlabeled domain is important and of necessity for the cross-domain generalization. Our approach outperforms state-of-the-art methods on several public datasets.