title: Set coverage and robust policy

abstract: When conducting inference on partially identified parameters, confidence regions may cover the whole identified set with a prescribed probability, to which we will refer as set coverage, or they may cover each of its point with a prescribed probability, to which we will refer as point coverage. Since set coverage implies point coverage, confidence regions satisfying point coverage are generally preferred on the grounds that they may be more informative. The object of this note is to describe a decision problem in which, contrary to received wisdom, point coverage is clearly undesirable.


title: Efficient Self-supervised Vision Transformers for Representation Learning

abstract: This paper investigates two techniques for developing efficient self-supervised vision transformers (EsViT) for visual representation learning. First, we show through a comprehensive empirical study that multi-stage architectures with sparse self-attentions can significantly reduce modeling complexity but with a cost of losing the ability to capture fine-grained correspondences between image regions. Second, we propose a new pre-training task of region matching which allows the model to capture fine-grained region dependencies and as a result significantly improves the quality of the learned vision representations. Our results show that combining the two techniques, EsViT achieves 81.3% top-1 on the ImageNet linear probe evaluation, outperforming prior arts with around an order magnitude of higher throughput. When transferring to downstream linear classification tasks, EsViT outperforms its supervised counterpart on 17 out of 18 datasets. The code and models are publicly available: https://github.com/microsoft/esvit


title: Gravitational waves $\times$ HI intensity mapping: cosmological and astrophysical applications

abstract: Two of the most rapidly growing observables in cosmology and astrophysics are gravitational waves (GW) and the neutral hydrogen (HI) distribution. In this work, we investigate the cross-correlation between resolved gravitational wave detections and HI signal from intensity mapping (IM) experiments. By using a tomographic approach with angular power spectra, including all projection effects, we explore possible applications of the combination of the Einstein Telescope and the SKAO intensity mapping surveys. We focus on three main topics: \textit{(i)} statistical inference of the observed redshift distribution of GWs; \textit{(ii)} constraints on dynamical dark energy models as an example of cosmological studies; \textit{(iii)} determination of the nature of the progenitors of merging binary black holes, distinguishing between primordial and astrophysical origin. Our results show that: \textit{(i)} the GW redshift distribution can be calibrated with good accuracy at low redshifts, without any assumptions on cosmology or astrophysics, potentially providing a way to probe astrophysical and cosmological models; \textit{(ii)} the constrains on the dynamical dark energy parameters are competitive with IM-only experiments, in a complementary way and potentially with less systematics; \textit{(iii)} it will be possible to detect a relatively small abundance of primordial black holes within the gravitational waves from resolved mergers. Our results extend towards $\mathrm{GW \times IM}$ the promising field of multi-tracing cosmology and astrophysics, which has the major advantage of allowing scientific investigations in ways that would not be possible by looking at single observables separately.


title: Comparing the behavior of OpenMP Implementations with various Applications on two different Fujitsu A64FX platforms

abstract: The development of the A64FX processor by Fujitsu has been a massive innovation in vectorized processors and led to Fugaku: the current world's fastest supercomputer. We use a variety of tools to analyze the behavior and performance of several OpenMP applications with different compilers, and how these applications scale on the different A64FX processors on clusters at Stony Brook University and RIKEN.


title: Guided Integrated Gradients: An Adaptive Path Method for Removing Noise

abstract: Integrated Gradients (IG) is a commonly used feature attribution method for deep neural networks. While IG has many desirable properties, the method often produces spurious/noisy pixel attributions in regions that are not related to the predicted class when applied to visual models. While this has been previously noted, most existing solutions are aimed at addressing the symptoms by explicitly reducing the noise in the resulting attributions. In this work, we show that one of the causes of the problem is the accumulation of noise along the IG path. To minimize the effect of this source of noise, we propose adapting the attribution path itself -- conditioning the path not just on the image but also on the model being explained. We introduce Adaptive Path Methods (APMs) as a generalization of path methods, and Guided IG as a specific instance of an APM. Empirically, Guided IG creates saliency maps better aligned with the model's prediction and the input image that is being explained. We show through qualitative and quantitative experiments that Guided IG outperforms other, related methods in nearly every experiment.


title: Topological Indoor Mapping through WiFi Signals

abstract: The ubiquitous presence of WiFi access points and mobile devices capable of measuring WiFi signal strengths allow for real-world applications in indoor localization and mapping. In particular, no additional infrastructure is required. Previous approaches in this field were, however, often hindered by problems such as effortful map-building processes, changing environments and hardware differences. We tackle these problems focussing on topological maps. These represent discrete locations, such as rooms, and their relations, e.g., distances and transition frequencies. In our unsupervised method, we employ WiFi signal strength distributions, dimension reduction and clustering. It can be used in settings where users carry mobile devices and follow their normal routine. We aim for applications in short-lived indoor events such as conferences.


title: Multi-Task Learning and Adapted Knowledge Models for Emotion-Cause Extraction

abstract: Detecting what emotions are expressed in text is a well-studied problem in natural language processing. However, research on finer grained emotion analysis such as what causes an emotion is still in its infancy. We present solutions that tackle both emotion recognition and emotion cause detection in a joint fashion. Considering that common-sense knowledge plays an important role in understanding implicitly expressed emotions and the reasons for those emotions, we propose novel methods that combine common-sense knowledge via adapted knowledge models with multi-task learning to perform joint emotion classification and emotion cause tagging. We show performance improvement on both tasks when including common-sense reasoning and a multitask framework. We provide a thorough analysis to gain insights into model performance.


title: TMD parton densities and corresponding parton showers: the advantage of four- and five-flavour schemes

abstract: The calculations of $Z + b{\bar b}$ tagged jet production performed in the four- and five-flavour schemes allow for detailed comparison of the heavy flavour structure of collinear and transverse momentum dependent (TMD) parton distributions as well as for detailed investigations of heavy quarks radiated during the initial state parton shower cascade. We have determined the first set of collinear and TMD parton distributions in the four-flavour scheme with NLO DGLAP splitting functions within the Parton-Branching (PB) approach. The four- and five-flavour PB-TMD distributions were used to calculate $Z + b{\bar b}$ tagged jet production at LHC energies and very good agreement with measurements obtained at $\sqrt{s} = 8, 13 $ TeV by the CMS and ATLAS collaborations is observed. The different configurations of the hard process in the four- and five-flavour schemes allow for a detailed investigation of the performance of heavy flavor collinear and TMD parton distributions and the corresponding initial TMD parton shower, giving confidence in the evolution of the PB-TMD parton densities as well as in the PB-TMD parton shower.


title: On Weierstrass $\wp$ in signature 3

abstract: In his work on the Ramanujan theory of elliptic functions to alternative bases, Shen constructed two different elliptic functions in signature three; we determine the precise relationship between them, by precisely relating their coperiodic Weierstrass $\wp$ functions.


title: On NI and NJ skew PBW extensions

abstract: We establish necessary or sufficient conditions to guarantee that skew Poincar\'e-Birkhoff-Witt extensions are NI or NJ rings. Our results extend those corresponding for skew polynomial rings and establish similar properties for other families of noncommutative rings such as universal enveloping algebras and examples of differential operators.


title: A Distance-based Separability Measure for Internal Cluster Validation

abstract: To evaluate clustering results is a significant part of cluster analysis. Since there are no true class labels for clustering in typical unsupervised learning, many internal cluster validity indices (CVIs), which use predicted labels and data, have been created. Without true labels, to design an effective CVI is as difficult as to create a clustering method. And it is crucial to have more CVIs because there are no universal CVIs that can be used to measure all datasets and no specific methods of selecting a proper CVI for clusters without true labels. Therefore, to apply a variety of CVIs to evaluate clustering results is necessary. In this paper, we propose a novel internal CVI -- the Distance-based Separability Index (DSI), based on a data separability measure. We compared the DSI with eight internal CVIs including studies from early Dunn (1974) to most recent CVDD (2019) and an external CVI as ground truth, by using clustering results of five clustering algorithms on 12 real and 97 synthetic datasets. Results show DSI is an effective, unique, and competitive CVI to other compared CVIs. We also summarized the general process to evaluate CVIs and created the rank-difference metric for comparison of CVIs' results.


title: LNN-EL: A Neuro-Symbolic Approach to Short-text Entity Linking

abstract: Entity linking (EL), the task of disambiguating mentions in text by linking them to entities in a knowledge graph, is crucial for text understanding, question answering or conversational systems. Entity linking on short text (e.g., single sentence or question) poses particular challenges due to limited context. While prior approaches use either heuristics or black-box neural methods, here we propose LNN-EL, a neuro-symbolic approach that combines the advantages of using interpretable rules based on first-order logic with the performance of neural learning. Even though constrained to using rules, LNN-EL performs competitively against SotA black-box neural approaches, with the added benefits of extensibility and transferability. In particular, we show that we can easily blend existing rule templates given by a human expert, with multiple types of features (priors, BERT encodings, box embeddings, etc), and even scores resulting from previous EL methods, thus improving on such methods. For instance, on the LC-QuAD-1.0 dataset, we show more than $4$\% increase in F1 score over previous SotA. Finally, we show that the inductive bias offered by using logic results in learned rules that transfer well across datasets, even without fine tuning, while maintaining high accuracy.


title: Local cohomology -- an invitation

abstract: This article is part introduction and part survey to the mathematical area centered around local cohomology.


title: Angle-resolved photoemission spectroscopy and its application to topological materials

abstract: Angle-resolved photoemission spectroscopy (ARPES), an experimental technique based on the photoelectric effect, is arguably the most powerful method for probing the electronic structure of solids. The past decade has witnessed notable progress in ARPES, including the rapid development of soft-X-ray ARPES, time-resolved ARPES, spin-resolved ARPES and spatially resolved ARPES, as well as considerable improvements in energy and momentum resolution. Consequently , ARPES has emerged as an indispensable experimental probe in the study of topological materials, which have characteristic non-trivial bulk and surface electronic structures that can be directly detected by ARPES. Over the past few years, ARPES has had a crucial role in several landmark discoveries in topological materials, including the identification of topological insulators and topological Dirac and Weyl semimetals. In this Technical Review , we assess the latest developments in different ARPES techniques and illustrate the capabilities of these techniques with applications in the study of topological materials.


title: Wide stochastic networks: Gaussian limit and PAC-Bayesian training

abstract: The limit of infinite width allows for substantial simplifications in the analytical study of over-parameterised neural networks. With a suitable random initialisation, an extremely large network exhibits an approximately Gaussian behaviour. In the present work, we establish a similar result for a simple stochastic architecture whose parameters are random variables, holding both before and during training. The explicit evaluation of the output distribution allows for a PAC-Bayesian training procedure that directly optimises the generalisation bound. For a large but finite-width network, we show empirically on MNIST that this training approach can outperform standard PAC-Bayesian methods.


title: Introducing PathQuery, Google's Graph Query Language

abstract: We introduce PathQuery, a graph query language developed to scale with Google's query and data volumes as well as its internal developer community. PathQuery supports flexible and declarative semantics. We have found that this enables query developers to think in a naturally "graphy" design space and to avoid the additional cognitive effort of coordinating numerous joins and subqueries often required to express an equivalent query in a relational space. Despite its traversal-oriented syntactic style, PathQuery has a foundation on a custom variant of relational algebra -- the exposition of which we presently defer -- allowing for the application of both common and novel optimizations. We believe that PathQuery has withstood a "test of time" at Google, under both large scale and low latency requirements. We thus share herein a language design that admits a rigorous declarative semantics, has scaled well in practice, and provides a natural syntax for graph traversals while also admitting complex graph patterns.


title: Pair Correlation of the Fractional Parts of $\alpha n^\theta$

abstract: Fix $\alpha,\theta >0$, and consider the sequence $(\alpha n^{\theta} \mod 1)_{n\ge 1}$. Since the seminal work of Rudnick--Sarnak (1998), and due to the Berry--Tabor conjecture in quantum chaos, the fine-scale properties of these dilated mononomial sequences have been intensively studied. In this paper we show that for $\theta \le 1/3$, and $\alpha>0$, the pair correlation function is Poissonian. While (for a given $\theta \neq 1$) this strong pseudo-randomness property has been proven for almost all values of $\alpha$, there are next-to-no instances where this has been proven for explicit $\alpha$. Our result holds for all $\alpha>0$ and relies solely on classical Fourier analytic techniques. This addresses (in the sharpest possible way) a problem posed by Aistleitner--El-Baz--Munsch (2021).


title: An example driven introduction to probabilistic rough paths

abstract: In these notes, we provide an introduction to a new regularity structure used for solving rough mean-field equations. The index set of this regularity structure is described a collection of novel objects which we refer to as Lions trees. These objects arise in Taylor expansions involving the Lions derivative and capture many of the desirable properties of mean-field dynamics. This work represents a comprehensive generalisation of the ideas first introduced in [BCD20] that promise powerful insights into how interactions with a collective determine the dynamics of an individual within this collective.


title: Intentional Forgetting

abstract: Many damaging cybersecurity attacks are enabled when an attacker can access residual sensitive information (e.g. cryptographic keys, personal identifiers) left behind from earlier computation. Attackers can sometimes use residual information to take control of a system, impersonate a user, or manipulate data. Current approaches to addressing access to residual sensitive information aim to patch individual software or hardware vulnerabilities. While such patching approaches are necessary to mitigate sometimes serious security vulnerabilities in the near term, they cannot address the underlying issue: explicit requirements for adequately eliminating residual information and explicit representations of the erasure capabilities of systems are necessary to ensure that sensitive information is handled as expected. This position paper introduces the concept of intentional forgetting and the capabilities that are needed to achieve it. Intentional forgetting enables software and hardware system designers at every level of abstraction to clearly specify and rigorously reason about the forgetting capabilities required of and provided by a system. We identify related work that may help to illuminate challenges or contribute to solutions and consider conceptual and engineering tradeoffs in implementations of forgetting capabilities. We discuss approaches to modeling intentional forgetting and then modeling the strength of a system's forgetting capability by its resistance to disclosing information to different types of detectors. Research is needed in a variety of domains to advance the theory, specification techniques, system foundations, implementation tools, and methodologies for effective, practical forgetting. We highlight research challenges in several domains and encourage cross-disciplinary collaboration to one day create a robust theory and practice of intentional forgetting.


title: An alternate approach to simulate the dynamics of perturbed liquid drops

abstract: Liquid drops when subjected to external periodic perturbations can execute polygonal oscillations. In this work, a simple model is presented that demonstrates these oscillations and their characteristic properties. The model consists of a spring-mass network such that the masses are analogous to liquid molecules and the springs are to intermolecular forces. Neo-Hookean springs are considered to represent these intermolecular forces. The restoring force of a neo-Hookean spring depends nonlinearly on its length such that the force of a compressed spring is much higher than the force of a spring elongated by the same amount. This is equivalent to the incompressibility of liquids, making these springs suitable to simulate the polygonal oscillations. It is shown that this spring-mass network can imitate most of the characteristic features of experimentally reported polygonal oscillations. Additionally, it is shown that the network can execute certain dynamics which so far have not been observed in a perturbed liquid drop. The features of dynamics which are observed in the perturbed network are: polygonal oscillations, rotation of network, numerical relations (rational and irrational) between the frequencies of polygonal oscillations and the forcing signal, and the dependency of the shape of the polygons on the parameters of perturbation.


title: Improved Hardy-Rellich inequalities

abstract: We investigate Hardy-Rellich inequalities for perturbed Laplacians. In particular, we show that a non-trivial angular perturbation of the free operator typically improves the inequality, and may also provide an estimate which does not hold in the free case. The main examples are related to the introduction of a magnetic field: this is a manifestation of the diamagnetic phenomenon, which has been observed by Laptev and Weidl in \cite{LW1999} for the Hardy inequality, later by Evans and Lewis in \cite{EL2005} for the Rellich inequality; however, to the best of our knowledge, the so called Hardy-Rellich inequality has not yet been investigated in this regards. After showing the optimal inequality, we prove that the best constant is not attained by any function in the domain of the estimate.


title: Shuffle Private Stochastic Convex Optimization

abstract: In shuffle privacy, each user sends a collection of randomized messages to a trusted shuffler, the shuffler randomly permutes these messages, and the resulting shuffled collection of messages must satisfy differential privacy. Prior work in this model has largely focused on protocols that use a single round of communication to compute algorithmic primitives like means, histograms, and counts. We present interactive shuffle protocols for stochastic convex optimization. Our protocols rely on a new noninteractive protocol for summing vectors of bounded $\ell_2$ norm. By combining this sum subroutine with mini-batch stochastic gradient descent, accelerated gradient descent, and Nesterov's smoothing method, we obtain loss guarantees for a variety of convex loss functions that significantly improve on those of the local model and sometimes match those of the central model.


title: Error bounds for Lanczos-based matrix function approximation

abstract: We analyze the Lanczos method for matrix function approximation (Lanczos-FA), an iterative algorithm for computing $f(\mathbf{A}) \mathbf{b}$ when $\mathbf{A}$ is a Hermitian matrix and $\mathbf{b}$ is a given vector. Assuming that $f : \mathbb{C} \rightarrow \mathbb{C}$ is piecewise analytic, we give a framework, based on the Cauchy integral formula, which can be used to derive a priori and a posteriori error bounds for Lanczos-FA in terms of the error of Lanczos used to solve linear systems. Unlike many error bounds for Lanczos-FA, these bounds account for fine-grained properties of the spectrum of $\mathbf{A}$, such as clustered or isolated eigenvalues. Our results are derived assuming exact arithmetic, but we show that they are easily extended to finite precision computations using existing theory about the Lanczos algorithm in finite precision. We also provide generalized bounds for the Lanczos method used to approximate quadratic forms $\mathbf{b}^\textsf{H} f(\mathbf{A}) \mathbf{b}$, and demonstrate the effectiveness of our bounds with numerical experiments.


title: 1-Form Symmetry, Isolated N=2 SCFTs, and Calabi-Yau Threefolds

abstract: We systematically study 4D $\mathcal{N}=2$ superconformal field theories (SCFTs) that can be constructed via type IIB string theory on isolated hypersurface singularities (IHSs) embedded in $\mathbb{C}^4$. We show that if a theory in this class has no $\mathcal{N}=2$-preserving exactly marginal deformation (i.e., the theory is isolated as an $\mathcal{N}=2$ SCFT), then it has no 1-form symmetry. This situation is somewhat reminiscent of 1-form symmetry and decomposition in 2D quantum field theory. Moreover, our result suggests that, for theories arising from IHSs, 1-form symmetries originate from gauge groups (with vanishing beta functions). One corollary of our discussion is that there is no 1-form symmetry in IHS theories that have all Coulomb branch chiral ring generators of scaling dimension less than two. In terms of the $a$ and $c$ central charges, this condition implies that IHS theories satisfying $a<{1\over24}(15r+2f)$ and $c<{1\over6}(3r+f)$ (where $r$ is the complex dimension of the Coulomb branch, and $f$ is the rank of the continuous 0-form flavor symmetry) have no 1-form symmetry. After reviewing the 1-form symmetries of other classes of theories, we are motivated to conjecture that general interacting 4D $\mathcal{N}=2$ SCFTs with all Coulomb branch chiral ring generators of dimension less than two have no 1-form symmetry.


title: On the image set and reversibility of shift morphisms over discrete alphabets

abstract: In this paper we provide sufficient conditions in order to show that the set image of a continuous and shift-commuting map defined on a shift space over an arbitrary discrete alphabet is also a shift space; additionally, if such a map is injective, then its inverse is also continuous and shift-commuting.


title: Triangular Snowflakes: Growing Structures with Three-fold Symmetry using a Hexagonal Ice Crystal Lattice

abstract: Snow crystals growing from water vapor occasionally exhibit morphologies with three-fold (trigonal) symmetry, even though the ice crystal lattice has a molecular structure with six-fold symmetry. In extreme cases, thin platelike snow crystals can grow into faceted forms that resemble simple equilateral triangles. Although far less common than hexagonal forms, trigonal snow crystals have long been observed both in nature and in laboratory studies, and their origin has been an enduring scientific puzzle. In this paper I describe how platelike trigonal structures can be grown on the ends of slender ice needles in air with high reliability at -14 C. I further suggest a physical model that describes how such structures can self-assemble and develop, facilitated by an edge-sharpening instability that turns on at a specific combination of temperature and water-vapor supersaturation. The results generally support a comprehensive model of structure-dependent attachment kinetics in ice growth that has been found to explain many of the overarching behaviors seen in the Nakaya diagram of snow crystal morphologies.


title: Intermediate Polaronic Charge Transport in Organic Crystals from a Many-Body First-Principles Approach

abstract: Predicting the electrical properties of organic molecular crystals (OMCs) is challenging due to their complex crystal structures and electron-phonon (e-ph) interactions. Charge transport in OMCs is conventionally categorized into two limiting regimes $-$ band transport, characterized by weak e-ph interactions, and charge hopping due to localized polarons formed by strong e-ph interactions. However, between these two limiting cases there is a less well understood intermediate regime where polarons are present but transport does not occur via hopping. Here we show a many-body first-principles approach that can accurately predict the carrier mobility in OMCs in the intermediate regime and shed light on its microscopic origin. Our approach combines a finite-temperature cumulant method to describe strong e-ph interactions with Green-Kubo transport calculations. We apply this parameter-free framework to naphthalene crystal, demonstrating electron mobility predictions within a factor of 1.5$-$2 of experiment between 100$-$300 K. Our analysis reveals that electrons couple strongly with both inter- and intramolecular phonons in the intermediate regime, as evidenced by the formation of a broad polaron satellite peak in the electron spectral function and the failure of the Boltzmann equation. Our study advances quantitative modeling of charge transport in complex organic crystals.


title: On global offensive alliance in zero-divisor graphs

abstract: Let $\G(V,E)$ be a simple graph without loops nor multiple edges. A nonempty subset $S \subseteq V$ is said a {\em global offensive alliance} if every vertex $v \in V- S$ satisfies that $\d_S(v) \geq \d_{\overline{S}}(v)+1$. The {\em global offensive alliance number} $\g^o(\Gamma)$ is defined as the minimum cardinality among all global offensive alliances. Let $R$ be a finite commutative ring with identity. In this paper, we initiate the study of the global offensive alliance number of the zero-divisor graph $\G(R)$.


title: Deep reinforcement learning with automated label extraction from clinical reports accurately classifies 3D MRI brain volumes

abstract: Purpose: Image classification is perhaps the most fundamental task in imaging AI. However, labeling images is time-consuming and tedious. We have recently demonstrated that reinforcement learning (RL) can classify 2D slices of MRI brain images with high accuracy. Here we make two important steps toward speeding image classification: Firstly, we automatically extract class labels from the clinical reports. Secondly, we extend our prior 2D classification work to fully 3D image volumes from our institution. Hence, we proceed as follows: in Part 1, we extract labels from reports automatically using the SBERT natural language processing approach. Then, in Part 2, we use these labels with RL to train a classification Deep-Q Network (DQN) for 3D image volumes. Methods: For Part 1, we trained SBERT with 90 radiology report impressions. We then used the trained SBERT to predict class labels for use in Part 2. In Part 2, we applied multi-step image classification to allow for combined Deep-Q learning using 3D convolutions and TD(0) Q learning. We trained on a set of 90 images. We tested on a separate set of 61 images, again using the classes predicted from patient reports by the trained SBERT in Part 1. For comparison, we also trained and tested a supervised deep learning classification network on the same set of training and testing images using the same labels. Results: Part 1: Upon training with the corpus of radiology reports, the SBERT model had 100% accuracy for both normal and metastasis-containing scans. Part 2: Then, using these labels, whereas the supervised approach quickly overfit the training data and as expected performed poorly on the testing set (66% accuracy, just over random guessing), the reinforcement learning approach achieved an accuracy of 92%. The results were found to be statistically significant, with a p-value of 3.1 x 10^-5.


title: Orders of algebraic numbers in finite fields

abstract: For an algebraic number $\alpha$ we consider the orders of the reductions of $\alpha$ in finite fields. In the case where $\alpha$ is an integer, it is known by the work on Artin's primitive root conjecture that the order is "almost always almost maximal" assuming the generalized Riemann hypothesis, but unconditional results remain modest. We consider higher degree variants under GRH. First, we modify an argument of Roskam to settle the case where $\alpha$ and the reduction have degree two. Second, we give a positive lower density result when $\alpha$ is of degree three and the reduction is of degree two. Third, we give higher rank results in situations where the reductions are of degree two, three, four or six. As an application we give an almost equidistribution result for linear recurrences modulo primes. Finally, we present a general result conditional to GRH and a hypothesis on smooth values of polynomials at prime arguments.


title: PixInWav: Residual Steganography for Hiding Pixels in Audio

abstract: Steganography comprises the mechanics of hiding data in a host media that may be publicly available. While previous works focused on unimodal setups (e.g., hiding images in images, or hiding audio in audio), PixInWav targets the multimodal case of hiding images in audio. To this end, we propose a novel residual architecture operating on top of short-time discrete cosine transform (STDCT) audio spectrograms. Among our results, we find that the residual audio steganography setup we propose allows independent encoding of the hidden image from the host audio without compromising quality. Accordingly, while previous works require both host and hidden signals to hide a signal, PixInWav can encode images offline -- which can be later hidden, in a residual fashion, into any audio signal. Finally, we test our scheme in a lab setting to transmit images over airwaves from a loudspeaker to a microphone verifying our theoretical insights and obtaining promising results.


title: Escaping strict saddle points of the Moreau envelope in nonsmooth optimization

abstract: Recent work has shown that stochastically perturbed gradient methods can efficiently escape strict saddle points of smooth functions. We extend this body of work to nonsmooth optimization, by analyzing an inexact analogue of a stochastically perturbed gradient method applied to the Moreau envelope. The main conclusion is that a variety of algorithms for nonsmooth optimization can escape strict saddle points of the Moreau envelope at a controlled rate. The main technical insight is that typical algorithms applied to the proximal subproblem yield directions that approximate the gradient of the Moreau envelope in relative terms.


title: Degree Tables for Secure Distributed Matrix Multiplication

abstract: We consider the problem of secure distributed matrix multiplication (SDMM) in which a user wishes to compute the product of two matrices with the assistance of honest but curious servers. We construct polynomial codes for SDMM by studying a recently introduced combinatorial tool called the degree table. For a fixed partitioning, minimizing the total communication cost of a polynomial code for SDMM is equivalent to minimizing $N$, the number of distinct elements in the corresponding degree table. We propose new constructions of degree tables with a low number of distinct elements. These new constructions lead to a general family of polynomial codes for SDMM, which we call $\mathsf{GASP}_{r}$ (Gap Additive Secure Polynomial codes) parametrized by an integer $r$. $\mathsf{GASP}_{r}$ outperforms all previously known polynomial codes for SDMM under an outer product partitioning. We also present lower bounds on $N$ and prove the optimality or asymptotic optimality of our constructions for certain regimes. Moreover, we formulate the construction of optimal degree tables as an integer linear program and use it to prove the optimality of $\mathsf{GASP}_{r}$ for all the system parameters that we were able to test.


title: $\mu$-distortion around stupendously large primordial black holes

abstract: In a variety of mechanisms generating primordial black holes, each black hole is expected to form along with a surrounding underdense region that roughly compensates the black hole mass. This region will propagate outwards and expand as a shell at the speed of sound in the homogeneous background. Dissipation of the shell due to Silk damping could lead to detectable $\mu$-distortion in the CMB spectrum. While the current bound on the average $\mu$-distortion is $\left| \bar{\mu}\right|\lesssim10^{-4}$, the standard $\Lambda$CDM model predicts $\left| \bar{\mu}\right|\sim10^{-8}$, which could possibly be detected in future missions. It is shown in this work that the non-observation of $\bar{\mu}$ beyond $\Lambda$CDM can place a new upper bound on the density of supermassive primordial black holes within the mass range $10^{6}M_{\odot}\lesssim M\lesssim10^{15}M_{\odot}$. Furthermore, black holes with initial mass $M\gtrsim10^{12}M_{\odot}$ could leave a pointlike distortion with $\mu\gtrsim10^{-8}$ at an angular scale $\sim 1^{\circ}$ in CMB, and its non-observation would impose an even more stringent bound on the population of these stupendously large primordial black holes.


title: A new analytical formula for the inverse of a square matrix

abstract: A concise analytical formula is developed for the inverse of an invertible 3 x 3 matrix using a telescoping method, and is generalized to larger square matrices. The formula is confirmed using randomly generated matrices in Matlab


title: On the wave turbulence theory for a stochastic KdV type equation

abstract: Starting from the stochastic Zakharov-Kuznetsov equation, a multidimensional KdV type equation on a hypercubic lattice, we provide a derivation of the 3-wave kinetic equation. We show that the two point correlation function can be asymptotically expressed as the solution of the 3-wave kinetic equation at the kinetic limit under very general assumptions: the initial condition is out of equilibrium, the dimension is $d\ge 2$, the smallness of the nonlinearity $\lambda$ is allowed to be independent of the size of the lattice, the weak noise is chosen not to compete with the weak nonlinearity and not to inject energy into the equation. Unlike the cubic nonlinear Schr\"odinger equation, for which such a general result is commonly expected without the noise, the kinetic description of the deterministic lattice ZK equation is unlikely to happen. One of the key reasons is that the dispersion relation of the lattice ZK equation leads to a singular manifold, on which not only $3$-wave interactions but also all $m$-wave interactions ($m\ge3$) are allowed to happen. This phenomenon has been first observed by Lukkarinen \cite{lukkarinen2007asymptotics} as a counterexample for which one of the main tools to derive kinetic equations from wave equations (the suppression of crossings) fails to hold true. To the best of our knowledge, the work provides the first rigorous derivation of nonlinear 3-wave kinetic equations. Also this is the first derivation for wave kinetic equations in the lattice setting and out-of-equilibrium.


title: Adversarial Detection Avoidance Attacks: Evaluating the robustness of perceptual hashing-based client-side scanning

abstract: End-to-end encryption (E2EE) by messaging platforms enable people to securely and privately communicate with one another. Its widespread adoption however raised concerns that illegal content might now be shared undetected. Following the global pushback against key escrow systems, client-side scanning based on perceptual hashing has been recently proposed by tech companies, governments and researchers to detect illegal content in E2EE communications. We here propose the first framework to evaluate the robustness of perceptual hashing-based client-side scanning to detection avoidance attacks and show current systems to not be robust. More specifically, we propose three adversarial attacks--a general black-box attack and two white-box attacks for discrete cosine transform-based algorithms--against perceptual hashing algorithms. In a large-scale evaluation, we show perceptual hashing-based client-side scanning mechanisms to be highly vulnerable to detection avoidance attacks in a black-box setting, with more than 99.9% of images successfully attacked while preserving the content of the image. We furthermore show our attack to generate diverse perturbations, strongly suggesting that straightforward mitigation strategies would be ineffective. Finally, we show that the larger thresholds necessary to make the attack harder would probably require more than one billion images to be flagged and decrypted daily, raising strong privacy concerns. Taken together, our results shed serious doubts on the robustness of perceptual hashing-based client-side scanning mechanisms currently proposed by governments, organizations, and researchers around the world.


title: Generalized Learning Vector Quantization for Classification in Randomized Neural Networks and Hyperdimensional Computing

abstract: Machine learning algorithms deployed on edge devices must meet certain resource constraints and efficiency requirements. Random Vector Functional Link (RVFL) networks are favored for such applications due to their simple design and training efficiency. We propose a modified RVFL network that avoids computationally expensive matrix operations during training, thus expanding the network's range of potential applications. Our modification replaces the least-squares classifier with the Generalized Learning Vector Quantization (GLVQ) classifier, which only employs simple vector and distance calculations. The GLVQ classifier can also be considered an improvement upon certain classification algorithms popularly used in the area of Hyperdimensional Computing. The proposed approach achieved state-of-the-art accuracy on a collection of datasets from the UCI Machine Learning Repository - higher than previously proposed RVFL networks. We further demonstrate that our approach still achieves high accuracy while severely limited in training iterations (using on average only 21% of the least-squares classifier computational costs).


title: Thermal Conductivity Modeling of Monodispersed Microspheres using Discrete Element Method

abstract: Particle beds are widely used in various systems and processes, such as particle heat exchangers, granular flow reactors, and additive manufacturing. Accurate modeling of thermal conductivity of particle beds and understanding of their heat transfer mechanisms are important. However, previous models were based on a simple cubic packing of particles which could not accurately represent the actual heat transfer processes under certain conditions. Here, we examine the effect of the packing structure on thermal conductivity of particle beds. We use monodispersed silica microspheres with average article sizes ranging from 23 to 330 um as a model material. We employ a transient hot-wire technique to measure the thermal conductivity of the particle beds with packing density of 43 to 57% within a temperature range of room temperature to 500 deg. C and under N2 gaseous pressures of 20 to 760 Torr. We then use a discrete element method (DEM) to obtain the realistic packing structure of the particles, which is then fed into a finite-element model (FEM) to calculate the thermal conductivity, with the consideration of solid conduction, gas conduction, and radiation heat transfer. Our results show that the thermal conductivity model based on the more realistic random packing structure derived from the DEM shows better agreement with the experimental data compared to that based on the simple cubic packing structure. The combined DEM and FEM methodology can serve as a useful tool to predict effective thermal conductivity of particle beds and to quantify different heat transfer mechanisms under various conditions.


title: Injective coloring of graphs revisited

abstract: An open packing in a graph $G$ is a set $S$ of vertices in $G$ such that no two vertices in $S$ have a common neighbor in $G$. The injective chromatic number $\chi_i(G)$ of $G$ is the smallest number of colors assigned to vertices of $G$ such that each color class is an open packing. Alternatively, the injective chromatic number of $G$ is the chromatic number of the two-step graph of $G$, which is the graph with the same vertex set as $G$ in which two vertices are adjacent if they have a common neighbor. The concept of injective coloring has been studied by many authors, while in the present paper we approach it from two novel perspectives, related to open packings and the two-step graph operation. We prove several general bounds on the injective chromatic number expressed in terms of the open packing number. In particular, we prove that $\chi_{i}(G)\geq \frac{1}{2}+\sqrt{\frac{1}{4}+\frac{2m-n}{\opack}}$ holds for any connected graph $G$ of order $n\geq2$, size $m$, and the open packing number $\opack$, and characterize the class of graphs attaining the bound. Regarding the well-known bound $\chi_i(G)\ge \Delta(G)$, we describe the family of extremal graphs and prove that deciding when the equality holds (even for regular graphs) is NP-complete, solving an open problem from an earlier paper. Next, we consider the chromatic number of the two-step graph of a graph, and compare it with the clique number and the maximum degree of the graph. We present two large families of graphs in which $\chi_i(G)$ equals the cardinality of a largest clique of the two-step graph of $G$. Finally, we consider classes of graphs that admit an injective coloring in which all color classes are maximal open packings. We give characterizations of three subclasses of these graphs among graphs with diameter $2$, and find a partial characterization of hypercubes with this property.


title: Reply to "Comment on 'Nonlocality claims are inconsistent with Hilbert-space quantum mechanics' '"

abstract: In Phys. Rev. A 101, 022117 (2020), it was argued that Bell inequalities are based on classical, not quantum, physics, and hence their violation in experiments provides no support for the claimed existence of peculiar nonlocal and superluminal influences in the real (quantum) world. This Reply to Lambare's Comment, Phys. Rev. A 104, 066201 (2021), on that paper seeks to clarify some issues related to the correct use of Hilbert space quantum mechanics for identifying the microscopic causes of later macroscopic measurement outcomes, a matter not properly addressed by Bell, who used classical hidden variables in place of the Hilbert subspaces (equivalently, their projectors) employed by von Neumann in his \it{Mathematical Foundations of Quantum Mechanics}.


title: Many Agent Reinforcement Learning Under Partial Observability

abstract: Recent renewed interest in multi-agent reinforcement learning (MARL) has generated an impressive array of techniques that leverage deep reinforcement learning, primarily actor-critic architectures, and can be applied to a limited range of settings in terms of observability and communication. However, a continuing limitation of much of this work is the curse of dimensionality when it comes to representations based on joint actions, which grow exponentially with the number of agents. In this paper, we squarely focus on this challenge of scalability. We apply the key insight of action anonymity, which leads to permutation invariance of joint actions, to two recently presented deep MARL algorithms, MADDPG and IA2C, and compare these instantiations to another recent technique that leverages action anonymity, viz., mean-field MARL. We show that our instantiations can learn the optimal behavior in a broader class of agent networks than the mean-field method, using a recently introduced pragmatic domain.


title: Intrusion Detection and Localization for Networked Embedded Control Systems

abstract: Closed-loop control systems employ continuous sensing and actuation to maintain controlled variables within preset bounds and achieve the desired system output. Intentional disturbances in the system, such as in the case of cyberattacks, can compromise reachability of control goals, and in several cases jeopardize safety. The increasing connectivity and exposure of networked control to external networks has enabled attackers to compromise these systems by exploiting security vulnerabilities. Attacks against safety-critical control loops can not only drive the system over a trajectory different from the desired, but also cause fatal consequences to humans. In this paper we present a physics-based Intrusion Detection System (IDS) aimed at increasing the security in control systems. In addition to conventional process state estimation for intrusion detection, since the controller cannot be trusted, we introduce a controller state estimator. Additionally, we make our detector context-aware by utilizing sensor measurements from other control loops, which allows to distinguish and characterize disturbances from attacks. We introduce adaptive thresholding and adaptive filtering as means to achieve context-awareness. Together, these methodologies allow detection and localization of attacks in closed-loop controls. Finally, we demonstrate feasibility of the approach by mounting a series of attacks against a networked Direct Current (DC) motor closed-loop speed control deployed on an ECU testbed, as well as on a simulated automated lane keeping system. Among other application domains, this set of approaches is key to support security in automotive systems, and ultimately increase road and passenger safety.


title: Monodromy and Dulac's Problem for Piecewise analytical planar vector fields

abstract: Consider an analytical function $f:V\subset\mathbb R^2\rightarrow\mathbb R$ having $0$ as its regular value, a switching manifold $\Sigma=f^{-1}(0)$ and a piecewise analytical vector field $X=(X^+,X^-)$, i.e. $X^\pm$ are analytical vector fields defined on $\Sigma^\pm=\{p\in V: \pm f(p)>0\}$. We characterize when the vector field $X$ has a monodromic singular point in $\Sigma$, called $\Sigma$-monodromic singular point. Moreover, under certain conditions, we show that a $\Sigma$-monodromic singular point of $X$ has a neighborhood free of limit cycles.


title: An abstract approach to approximations in spaces of pseudocontinuable functions

abstract: We give an abstract approach to approximations with a wide range of regularity classes $X$ in spaces of pseudocontinuable functions $K^p_\vartheta$, where $\vartheta$ is an inner function and $p>0$. More precisely, we demonstrate a general principle, attributed to A. B. Aleksandrov, which asserts that if a certain linear manifold $X$ is dense in the space of pseudocontinuable functions $K^{p_0}_\vartheta$, for some $p_0>0$, then $X$ is in fact dense in $K^p_{\vartheta}$, for all $p>0$. %This allows for generalizations of the recent result on density by functions with smooth boundary extensions. Moreover, for a rich class of Banach spaces of analytic functions $X$, we describe the precise mechanism that determines when $X$ is dense in a certain space of pseudocontinuable functions. As a consequence, we obtain an extension of Aleksandrov's density theorem to the class of analytic functions with uniformly convergent Taylor series.


title: The differential on Graph Operator $\S{G}$

abstract: Let $G=(V(G),E(G))$ be a simple graph with vertex set $V(G)$ and edge set $E(G)$. Let $S$ be a subset of $V(G)$, and let $B(S)$ be the set of neighbours of $S$ in $V(G) \setminus S$. The differential $\partial(S)$ of $S$ is defined as $|B(S)|-|S|$. The maximum value of $\partial(S)$ taken over all subsets $S\subseteq V$ is the differential $\partial(G)$ of $G$. A graph operator is a mapping $F: G\rightarrow G'$, where $G$ and $G'$ are families of graphs.The graph $\S{G}$ is defined as the graph obtained from $G$ con bipartici\'on de v\'ertices $V(G)\cup E(G)$, donde hay tantas aristas entre $v \in V(G)$ y $e \in E(G)$, como veces $e$ sea incidente con $v$ en $G$. In this paper we study the relationship between $\partial(G)$ and $\partial(\S{G})$. Besides, we relate the differential of a graph with known parameters of a graph, namely, its domination and independence number.


title: Faster Sparse Matrix Inversion and Rank Computation in Finite Fields

abstract: We improve the current best running time value to invert sparse matrices over finite fields, lowering it to an expected $O\big(n^{2.2131}\big)$ time for the current values of fast rectangular matrix multiplication. We achieve the same running time for the computation of the rank and nullspace of a sparse matrix over a finite field. This improvement relies on two key techniques. First, we adopt the decomposition of an arbitrary matrix into block Krylov and Hankel matrices from Eberly et al. (ISSAC 2007). Second, we show how to recover the explicit inverse of a block Hankel matrix using low displacement rank techniques for structured matrices and fast rectangular matrix multiplication algorithms. We generalize our inversion method to block structured matrices with other displacement operators and strengthen the best known upper bounds for explicit inversion of block Toeplitz-like and block Hankel-like matrices, as well as for explicit inversion of block Vandermonde-like matrices with structured blocks. As a further application, we improve the complexity of several algorithms in topological data analysis and in finite group theory.


title: On Effects of Compression with Hyperdimensional Computing in Distributed Randomized Neural Networks

abstract: A change of the prevalent supervised learning techniques is foreseeable in the near future: from the complex, computational expensive algorithms to more flexible and elementary training ones. The strong revitalization of randomized algorithms can be framed in this prospect steering. We recently proposed a model for distributed classification based on randomized neural networks and hyperdimensional computing, which takes into account cost of information exchange between agents using compression. The use of compression is important as it addresses the issues related to the communication bottleneck, however, the original approach is rigid in the way the compression is used. Therefore, in this work, we propose a more flexible approach to compression and compare it to conventional compression algorithms, dimensionality reduction, and quantization techniques.


title: Hybrid graph convolutional neural networks for landmark-based anatomical segmentation

abstract: In this work we address the problem of landmark-based segmentation for anatomical structures. We propose HybridGNet, an encoder-decoder neural architecture which combines standard convolutions for image feature encoding, with graph convolutional neural networks to decode plausible representations of anatomical structures. We benchmark the proposed architecture considering other standard landmark and pixel-based models for anatomical segmentation in chest x-ray images, and found that HybridGNet is more robust to image occlusions. We also show that it can be used to construct landmark-based segmentations from pixel level annotations. Our experimental results suggest that HybridGNet produces accurate and anatomically plausible landmark-based segmentations, by naturally incorporating shape constraints within the decoding process via spectral convolutions.


title: Quantum communication with ultrafast time-bin qubits

abstract: The photonic temporal degree of freedom is one of the most promising platforms for quantum communication over fiber networks and free-space channels. In particular, time-bin states of photons are robust to environmental disturbances, support high-rate communication, and can be used in high-dimensional schemes. However, the detection of photonic time-bin states remains a challenging task, particularly for the case of photons that are in a superposition of different time-bins. Here, we experimentally demonstrate the feasibility of picosecond time-bin states of light, known as ultrafast time-bins, for applications in quantum communications. With the ability to measure time-bin superpositions with excellent phase stability, we enable the use of temporal states in efficient quantum key distribution protocols such as the BB84 protocol.


title: AI-Enabled Ultra-Low-Dose CT Reconstruction

abstract: By the ALARA (As Low As Reasonably Achievable) principle, ultra-low-dose CT reconstruction is a holy grail to minimize cancer risks and genetic damages, especially for children. With the development of medical CT technologies, the iterative algorithms are widely used to reconstruct decent CT images from a low-dose scan. Recently, artificial intelligence (AI) techniques have shown a great promise in further reducing CT radiation dose to the next level. In this paper, we demonstrate that AI-powered CT reconstruction offers diagnostic image quality at an ultra-low-dose level comparable to that of radiography. Specifically, here we develop a Split Unrolled Grid-like Alternative Reconstruction (SUGAR) network, in which deep learning, physical modeling and image prior are integrated. The reconstruction results from clinical datasets show that excellent images can be reconstructed using SUGAR from 36 projections. This approach has a potential to change future healthcare.


title: Dual-Teacher Class-Incremental Learning With Data-Free Generative Replay

abstract: This paper proposes two novel knowledge transfer techniques for class-incremental learning (CIL). First, we propose data-free generative replay (DF-GR) to mitigate catastrophic forgetting in CIL by using synthetic samples from a generative model. In the conventional generative replay, the generative model is pre-trained for old data and shared in extra memory for later incremental learning. In our proposed DF-GR, we train a generative model from scratch without using any training data, based on the pre-trained classification model from the past, so we curtail the cost of sharing pre-trained generative models. Second, we introduce dual-teacher information distillation (DT-ID) for knowledge distillation from two teachers to one student. In CIL, we use DT-ID to learn new classes incrementally based on the pre-trained model for old classes and another model (pre-)trained on the new data for new classes. We implemented the proposed schemes on top of one of the state-of-the-art CIL methods and showed the performance improvement on CIFAR-100 and ImageNet datasets.


title: RSK in last passage percolation: a unified approach

abstract: We present a version of the RSK correspondence based on the Pitman transform and geometric considerations. This version unifies ordinary RSK, dual RSK and continuous RSK. We show that this version is both a bijection and an isometry, two crucial properties for taking limits of last passage percolation models. We use the bijective property to give a non-computational proof that dual RSK maps Bernoulli walks to nonintersecting Bernoulli walks.


title: Future Ultra-Dense LEO Satellite Networks: A Cell-Free Massive MIMO Approach

abstract: Low Earth orbit (LEO) satellite networks (SatNets) are envisioned to play a crucial role in providing global and ubiquitous connectivity efficiently. Accordingly, in the coming years, thousands of LEO satellites will be launched to create ultradense LEO mega-constellations, and the Third Generation Partnership Project (3GPP) is working on evolving fifth-generation (5G) systems to support such non-terrestrial networks (NTN). However, many challenges are associated with the deployment of LEOs from communications and networking perspectives. In this paper, we propose a novel cell-free massive multiple-input multiple-output (CF-mMIMO) based architecture for future ultra-dense LEO SatNets. We discuss various aspects of network design, such as duplexing mode, pilot assignment, beamforming, and handover management. In addition, we propose a joint optimization framework for the power allocation and handover management processes to maximize the network throughput and minimize the handover rate while ensuring quality-of-service (QoS) satisfaction for users. To the best of our knowledge, this is the first work to introduce and study CF-mMIMO-based LEO SatNets. Extensive simulation results demonstrate the superior performance of the proposed architecture and solutions compared to those of conventional single-satellite connectivity and handover techniques from the literature.


title: Statistical Multifragmentation Model Within the Extended Morphological Thermodynamics Approach

abstract: On the basis of morphological thermodynamics we develop an exactly solvable version of statistical mutifragmentation model for the nuclear liquid-gas phase transition. It is shown that the hard-core repulsion between spherical nuclei generates only the bulk (volume), surface and curvature parts of the free energy of the nucleus, while the Gaussian curvature one does not appear in the derivation. The phase diagram of nuclear liquid-gas phase transition is studied for a truncated version of the developed model.


title: A quantum walk control plane for distributed quantum computing in quantum networks

abstract: Quantum networks are complex systems formed by the interaction among quantum processors through quantum channels. Analogous to classical computer networks, quantum networks allow for the distribution of quantum computation among quantum computers. In this work, we describe a quantum walk protocol to perform distributed quantum computing in a quantum network. The protocol uses a quantum walk as a quantum control signal to perform distributed quantum operations. We consider a generalization of the discrete-time coined quantum walk model that accounts for the interaction between a quantum walker system in the network graph with quantum registers inside the network nodes. The protocol logically captures distributed quantum computing, abstracting hardware implementation and the transmission of quantum information through channels. Control signal transmission is mapped to the propagation of the walker system across the network, while interactions between the control layer and the quantum registers are embedded into the application of coin operators. We demonstrate how to use the quantum walker system to perform a distributed CNOT operation, which shows the universality of the protocol for distributed quantum computing. Furthermore, we apply the protocol to the task of entanglement distribution in a quantum network.


title: Entrywise limit theorems of eigenvectors for signal-plus-noise matrix models with weak signals

abstract: We establish a finite-sample Berry-Esseen theorem for the entrywise limits of the eigenvectors for a broad collection of signal-plus-noise random matrix models under challenging weak signal regimes. The signal strength is characterized by a scaling factor $\rho_n$ through $n\rho_n$, where $n$ is the dimension of the random matrix, and we allow $n\rho_n$ to grow at the rate of $\log n$. The key technical contribution is a sharp finite-sample entrywise eigenvector perturbation bound. The existing error bounds on the two-to-infinity norms of the higher-order remainders are not sufficient when $n\rho_n$ is proportional to $\log n$. We apply the general entrywise eigenvector analysis results to the symmetric noisy matrix completion problem, random dot product graphs, and two subsequent inference tasks for random graphs: the estimation of pure nodes in mixed membership stochastic block models and the hypothesis testing of the equality of latent positions in random graphs.


title: Enabling Security-Oriented Orchestration of Microservices

abstract: As cloud providers push multi-tenancy to new levels to meet growing scalability demands, ensuring that externally developed untrusted microservices will preserve tenant isolation has become a high priority. Developers, in turn, lack a means for expressing and automatically enforcing high-level application security requirements at deployment time. In this paper, we observe that orchestration systems are ideally situated between developers and the cloud provider to address these issues. We propose a security policy framework that enables security-oriented orchestration of microservices by capturing and auditing code properties that are incorporated into microservice code throughout the software supply chain. Orchestrators can leverage these properties to deploy microservices on a node that matches both the developer's and cloud provider's security policy and their resource requirements. We demonstrate our approach with a proof-of-concept based on the Private Data Objects [1] confidential smart contract framework, deploying code only after checking its provenance.


title: Polaritonic Unitary Coupled Cluster for Quantum Computations

abstract: In the field of polaritonic chemistry, strong light-matter interactions are used to alter a chemical reaction inside an optical cavity. To explain and understand these processes, the development of reliable theoretical models is essential. While traditional methods have to balance accuracy and system size, new developments in quantum computing, in particular the Variational Quantum Eigensolver (VQE), offer a path for an accurate solution of the electronic Schr\"odinger equation with the promise of polynomial scaling and eventual quasi-exact solutions on currently available quantum devices. In this work, we combine these two fields. In particular, we introduce the quantum electrodynamics unitary coupled cluster (QED-UCC) method combined with the VQE algorithm, as well as the quantum electrodynamics equation-of-motion (QED-EOM) method formulated in the qubit basis that allows an accurate calculation of the ground-state and the excited-state properties of strongly coupled light-matter systems on a quantum computer. The accuracy and performance of the developed methods is tested for a H$_4$ molecule inside an optical cavity in a regime where strong electronic correlations become significant. For the first time, we explicitly include two photon effects from first principles. We show that the developed methods are in excellent agreement with the exact reference results and can outperform their traditional counterparts. The work presented here sets the stage for future developments of polaritonic quantum chemistry methods suitable for both classical and quantum computers.


title: Hardware-Enforced Integrity and Provenance for Distributed Code Deployments

abstract: Deployed microservices must adhere to a multitude of application-level security requirements and regulatory constraints imposed by mutually distrusting application principals--software developers, cloud providers, and even data owners. Although these principals wish to enforce their individual security requirements, they do not currently have a common way of easily identifying, expressing and automatically enforcing these requirements at deployment time. CDI (Code Deployment Integrity) is a security policy framework that enables distributed application principals to establish trust in deployed code through high-integrity provenance information. We observe that principals expect the software supply chain to preserve certain code security properties throughout the creation of an executable bundle, even if the code is transformed or inspected through various tools (e.g., compilation inserts stack canaries for memory safety). Our key insight in designing CDI is that even if application principals do not trust each other directly, they can trust a microservice bundle to meet their security policies if they can trust the tools involved in creating the bundle.


title: Conclusion Stability for Natural Language Based Mining of Design Discussions

abstract: Developer discussions range from in-person hallway chats to comment chains on bug reports. Being able to identify discussions that touch on software design would be helpful in documentation and refactoring software. Design mining is the application of machine learning techniques to correctly label a given discussion artifact, such as a pull request, as pertaining (or not) to design. In this paper we demonstrate a simple example of how design mining works. We then show how conclusion stability is poor on different artifact types and different projects. We show two techniques -- augmentation and context specificity -- that greatly improve the conclusion stability and cross-project relevance of design mining. Our new approach achieves AUC of 0.88 on within dataset classification and 0.80 on the cross-dataset classification task.


title: Distributionally Weighted Least Squares in Structural Equation Modeling

abstract: In real data analysis with structural equation modeling, data are unlikely to be exactly normally distributed. If we ignore the non-normality reality, the parameter estimates, standard error estimates, and model fit statistics from normal theory based methods such as maximum likelihood (ML) and normal theory based generalized least squares estimation (GLS) are unreliable. On the other hand, the asymptotically distribution free (ADF) estimator does not rely on any distribution assumption but cannot demonstrate its efficiency advantage with small and modest sample sizes. The methods which adopt misspecified loss functions including ridge GLS (RGLS) can provide better estimates and inferences than the normal theory based methods and the ADF estimator in some cases. We propose a distributionally-weighted least squares (DLS) estimator, and expect that it can perform better than the existing generalized least squares, because it combines normal theory based and ADF based generalized least squares estimation. Computer simulation results suggest that model-implied covariance based DLS (DLS_M) provided relatively accurate and efficient estimates in terms of RMSE. In addition, the empirical standard errors, the relative biases of standard error estimates, and the Type I error rates of the Jiang-Yuan rank adjusted model fit test statistic (T_JY) in DLS_M were competitive with the classical methods including ML, GLS, and RGLS. The performance of DLS_M depends on its tuning parameter a. We illustrate how to implement DLS_M and select the optimal a by a bootstrap procedure in a real data example.


title: Nonlinear Elliptic Equations With Variable Exponents Involving Singular Nonlinearity

abstract: In this paper, we prove the existence and regularity of weak positive solutions for a class of nonlinear elliptic equations with a singular nonlinearity, lower order terms and $L^{1}$ datum in the setting of variable exponent Sobolev spaces. We will prove that the lower order term has some regularizing effects on the solutions. This work generalizes some results given in \cite{1}.


title: Disinformation, Stochastic Harm, and Costly Effort: A Principal-Agent Analysis of Regulating Social Media Platforms

abstract: The spread of disinformation on social platforms is harmful to society. This harm may manifest as a gradual degradation of public discourse; but it can also take the form of sudden dramatic events such as the 2021 insurrection on Capitol Hill. The platforms themselves are in the best position to prevent the spread of disinformation, as they have the best access to relevant data and the expertise to use it. However, mitigating disinformation is costly, not only for implementing detection algorithms or employing manual effort, but also because limiting such highly viral content impacts user engagement and potential advertising revenue. Since the costs of harmful content are borne by other entities, the platform will therefore have no incentive to exercise the socially-optimal level of effort. This problem is similar to that of environmental regulation, in which the costs of adverse events are not directly borne by a firm, the mitigation effort of a firm is not observable, and the causal link between a harmful consequence and a specific failure is difficult to prove. For environmental regulation, one solution is to perform costly monitoring to ensure that the firm takes adequate precautions according to a specified rule. However, a fixed rule for classifying disinformation becomes less effective over time, as bad actors can learn to sequentially and strategically bypass it. Encoding our domain as a Markov decision process, we demonstrate that no penalty based on a static rule, no matter how large, can incentivize optimal effort. Penalties based on an adaptive rule can incentivize optimal effort, but counter-intuitively, only if the regulator sufficiently overreacts to harmful events by requiring a greater-than-optimal level of effort. We offer novel insights for the effective regulation of social platforms, highlight inherent challenges, and discuss promising avenues for future work.


title: PAC Prediction Sets Under Covariate Shift

abstract: An important challenge facing modern machine learning is how to rigorously quantify the uncertainty of model predictions. Conveying uncertainty is especially important when there are changes to the underlying data distribution that might invalidate the predictive model. Yet, most existing uncertainty quantification algorithms break down in the presence of such shifts. We propose a novel approach that addresses this challenge by constructing \emph{probably approximately correct (PAC)} prediction sets in the presence of covariate shift. Our approach focuses on the setting where there is a covariate shift from the source distribution (where we have labeled training examples) to the target distribution (for which we want to quantify uncertainty). Our algorithm assumes given importance weights that encode how the probabilities of the training examples change under the covariate shift. In practice, importance weights typically need to be estimated; thus, we extend our algorithm to the setting where we are given confidence intervals for the importance weights. We demonstrate the effectiveness of our approach on covariate shifts based on DomainNet and ImageNet. Our algorithm satisfies the PAC constraint, and gives prediction sets with the smallest average normalized size among approaches that always satisfy the PAC constraint.


title: Latency-aware and Survivable Mapping of VNFs in 5G Network Edge Cloud

abstract: Network Functions Virtualization (NFV) and Multi-access Edge Computing (MEC) play crucial roles in 5G networks for dynamically provisioning diverse communication services with heterogeneous service requirements. In particular, while NFV improves flexibility and scalability by softwarizing physical network functions as Virtual Network Functions (VNFs), MEC enables to provide delay-sensitive/time-critical services by moving computing facilities to the network edge. However, these new paradigms introduce challenges in terms of latency, availability, and resource allocation. In this paper, we first explore MEC cloud facility location selection and then latency-aware placement of VNFs in different selected locations of NFV enabled MEC cloud facilities in order to meet the ultra-low latency requirements of different applications (e.g., Tactile Internet, virtual reality, and mission-critical applications). Furthermore, we also aim to guarantee the survivability of VNFs and an edge server against failures in resource limited MEC cloud facility due to software bugs, configuration faults, etc. To this end, we formulate the problem of latency-aware and survivable mapping of VNFs in different MEC cloud facilities as an Integer Linear Programming (ILP) to minimize the overall service provisioning cost, and show that the problem is NP-hard. Owing to the high computational complexity of solving the ILP, we propose a simulated annealing based heuristic algorithm to obtain near-optimal solution in polynomial time. With extensive simulations, we show the effectiveness of our proposed solution in a real-world network topology, which performs close to the optimal solution.


title: Valuation semantics for first-order logics of evidence and truth (and some related logics)

abstract: This paper introduces the logic $QLET_{F}$, a quantified extension of the logic of evidence and truth $LET_{F}$, together with a corresponding sound and complete first-order non-deterministic valuation semantics. $LET_{F}$ is a paraconsistent and paracomplete sentential logic that extends the logic of first-degree entailment ($FDE$) with a classicality operator ${\circ}$ and a non-classicality operator $\bullet$, dual to each other: while ${\circ} A$ entails that $A$ behaves classically, ${\bullet} A$ follows from $A$'s violating some classically valid inferences. The semantics of $QLET_{F}$ combines structures that interpret negated predicates in terms of anti-extensions with first-order non-deterministic valuations, and completeness is obtained through a generalization of Henkin's method. By providing sound and complete semantics for first-order extensions of $FDE$, $K3$, and $LP$, we show how these tools, which we call here the method of ``anti-extensions + valuations'', can be naturally applied to a number of non-classical logics.


title: Profile changes associated with DM events in PSR J1713+0747

abstract: Propagation effects in the interstellar medium and intrinsic profile changes can cause variability in the timing of pulsars, which limits the accuracy of fundamental science done via pulsar timing. One of the best timing pulsars, PSR J1713+0747, has gone through two `dip' events in its dispersion measure (DM) time series. If these events reflect real changes in electron column density, they should lead to multiple imaging. We show that the events are are well fitted by an underdense corrugated sheet model, and look for associated variability in the pulse profile using principal component analysis. We find that there are transient pulse profile variations, but they vary in concert with the dispersion measure, unlike what is expected from lensing due to a corrugated sheet. The change is consistent in shape across profiles from both the Greenbank and Arecibo radio observatories, and its amplitude appears to be achromatic across the 820-MHz, 1.4-GHz, and 2.3-GHz bands, again unlike expected from interference between lensed images. This result is puzzling. We note that some of the predicted lensing effects would need higher time and frequency resolution data than used in this analysis. Future events appear likely, and storing baseband data or keeping multiple time-frequency resolutions will allow more in-depth study of propagation effects and hence improvements to pulsar timing accuracy.


title: LSEC: Large-scale spectral ensemble clustering

abstract: Ensemble clustering is a fundamental problem in the machine learning field, combining multiple base clusterings into a better clustering result. However, most of the existing methods are unsuitable for large-scale ensemble clustering tasks due to the efficiency bottleneck. In this paper, we propose a large-scale spectral ensemble clustering (LSEC) method to strike a good balance between efficiency and effectiveness. In LSEC, a large-scale spectral clustering based efficient ensemble generation framework is designed to generate various base clusterings within a low computational complexity. Then all based clustering are combined through a bipartite graph partition based consensus function into a better consensus clustering result. The LSEC method achieves a lower computational complexity than most existing ensemble clustering methods. Experiments conducted on ten large-scale datasets show the efficiency and effectiveness of the LSEC method. The MATLAB code of the proposed method and experimental datasets are available at https://github.com/Li- Hongmin/MyPaperWithCode.


title: Aligned Natural Inflation in the Large Volume Scenario

abstract: We embed natural inflation in an explict string theory model and derive observables in cosmology. We achieve this by compactifying the type IIB string on a Calabi-Yau orientifold, stabilizing moduli via the Large Volume Scenario, and configuring axions using D7-brane stacks. In order to obtain a large effective decay constant, we employ the Kim-Nilles-Peloso alignment mechanism, with the required multiple axions arising naturally from anisotropic bulk geometries. The bulk volumes, and hence the axion decay constants, are stabilized by generalized one-loop corrections and subject to various conditions: the K\"ahler cone condition on the string geometry; the convex hull condition of the weak gravity conjecture; and the constraint from the power spectrum of scalar perturbations. We find that all constraints can be satisfied in a geometry with relatively small volume and thus heavy bulk axion mass. We also covariantize the convex hull condition for the axion-dilaton-instanton system and verify the normalization of the extremal bound.


title: Influence Through Mixing: Hotspots as Benchmarks for Basic Black-Hole Behaviour

abstract: Effective theories are being developed for fields outside black holes, often with an unusual open-system feel due to the influence of large number of degrees of freedom that lie out of reach beyond the horizon. What is often difficult when interpreting such theories is the absence of comparisons to simpler systems that share these features. We propose here such a simple model, involving a single external scalar field that mixes in a limited region of space with a `hotspot' containing a large number of hot internal degrees of freedom. Since the model is at heart gaussian it can be solved explicitly, and we do so for the mode functions and correlation functions for the external field once the hotspot fields are traced out. We compare with calculations that work perturbatively in the mixing parameter, and by doing so can precisely identify its domain of validity. We also show how renormalization-group EFT methods can allow some perturbative contributions to be resummed beyond leading order, verifying the result using the exact expression.


title: On the Prandtl-Kolmogorov 1-equation model of turbulence

abstract: We prove an estimate of total (viscous plus modelled turbulent) energy dissipation in general eddy viscosity models for shear flows. For general eddy viscosity models, we show that the ratio of the near wall average viscosity to the effective global viscosity is the key parameter. This result is then applied to the 1-equation, URANS model of turbulence for which this ratio depends on the specification of the turbulence length scale. The model, which was derived by Prandtl in 1945, is a component of a 2-equation model derived by Kolmogorov in 1942 and is the core of many unsteady, Reynolds averaged models for prediction of turbulent flows. Away from walls, interpreting an early suggestion of Prandtl, we set \begin{equation*} l=\sqrt{2}k^{+1/2}\tau, \hspace{50mm} \end{equation*} where $\tau =$ selected time scale. In the near wall region analysis suggests replacing the traditional $l=0.41d$ ($d=$ wall normal distance) with $l=0.41d\sqrt{d/L}$ giving, e.g., \begin{equation*} l=\min \left\{ \sqrt{2}k{}^{+1/2}\tau ,\text{ }0.41d\sqrt{\frac{d}{L}} \right\} . \hspace{50mm} \end{equation*} This $l(\cdot )$ results in a simpler model with correct near wall asymptotics. Its energy dissipation rate scales no larger than the physically correct $O(U^{3}/L)$, balancing energy input with energy dissipation.


title: Theory of Seebeck ratchet in noncentrosymmetric electron-phonon coupled system

abstract: A thermoelectric effect of the noncentrosymmetric electron-phonon coupled system is proposed, in which a temperature difference between electrons and phonons, instead of a spatial temperature gradient, induces an electric current. This is a realization of Seebeck ratchet in solids with the asymmetric energy dispersion of electrons, and the dynamical phonons act as the fluctuation of the scalar potential and induce the dc current. Possible realizations of this mechanism are also discussed.


title: Effective Model Sparsification by Scheduled Grow-and-Prune Methods

abstract: Deep neural networks (DNNs) are effective in solving many real-world problems. Larger DNN models usually exhibit better quality (e.g., accuracy) but their excessive computation results in long inference time. Model sparsification can reduce the computation and memory cost while maintaining model quality. Most existing sparsification algorithms unidirectionally remove weights, while others randomly or greedily explore a small subset of weights in each layer for pruning. The limitations of these algorithms reduce the level of achievable sparsity. In addition, many algorithms still require pre-trained dense models and thus suffer from large memory footprint. In this paper, we propose a novel scheduled grow-and-prune (GaP) methodology without having to pre-train a dense model. It addresses the shortcomings of the previous works by repeatedly growing a subset of layers to dense and then pruning them back to sparse after some training. Experiments show that the models pruned using the proposed methods match or beat the quality of the highly optimized dense models at 80% sparsity on a variety of tasks, such as image classification, objective detection, 3D object part segmentation, and translation. They also outperform other state-of-the-art (SOTA) methods for model sparsification. As an example, a 90% non-uniform sparse ResNet-50 model obtained via GaP achieves 77.9% top-1 accuracy on ImageNet, improving the previous SOTA results by 1.5%. Code available at: https://github.com/boone891214/GaP.


title: Fast radio bursts by high-frequency synchrotron maser emission generated at the reverse shock of a powerful magnetar flare

abstract: We consider a magnetar flare model for fast radio bursts (FRBs). We show that millisecond burst of sufficient power can be generated by synchrotron maser emission ignited at the reverse shock propagating through the weakly magnetized material that forms the magnetar flare. If the maser emission is generated in an anisotropic regime (due to the geometry of the production region or presence of an intense external source of stimulating photons) the duration of the maser flashes is similar to the magnetar flare duration even if the shock front radius is large. Our scenario allows relaxing the requirements for several key parameters: the magnetic field strength at the production site, luminosity of the flare, and the production site bulk Lorentz factor. To check the feasibility of this model, we study the statistical relation between powerful magnetar flares and the rate of FRBs. The expected ratio is derived by convoluting the redshift-dependent magnetar density with their flare luminosity function above the energy limit determined by the FRB detection threshold. We obtain that only a small fraction, $\sim10^{-5}$, of powerful magnetar flares trigger FRBs. This ratio agrees surprisingly well with our estimates: we obtained that $10\%$ of magnetars should be in the evolutionary phase suitable for the production of FRBs, and only $10^{-4}$ of all flares are expected to be weakly magnetized, which is a necessary condition for the high-frequency maser emission.


title: RSG: A Simple but Effective Module for Learning Imbalanced Datasets

abstract: Imbalanced datasets widely exist in practice and area great challenge for training deep neural models with agood generalization on infrequent classes. In this work, wepropose a new rare-class sample generator (RSG) to solvethis problem. RSG aims to generate some new samplesfor rare classes during training, and it has in particularthe following advantages: (1) it is convenient to use andhighly versatile, because it can be easily integrated intoany kind of convolutional neural network, and it works wellwhen combined with different loss functions, and (2) it isonly used during the training phase, and therefore, no ad-ditional burden is imposed on deep neural networks duringthe testing phase. In extensive experimental evaluations, weverify the effectiveness of RSG. Furthermore, by leveragingRSG, we obtain competitive results on Imbalanced CIFARand new state-of-the-art results on Places-LT, ImageNet-LT, and iNaturalist 2018. The source code is available at https://github.com/Jianf-Wang/RSG.


title: Large Deviation Principle of Multidimensional Multiple Averages on $\mathbb{N}^d$

abstract: This paper establishs the large deviation principle (LDP) for multiple averages on $\mathbb{N}^d$. We extend the previous work of [Carinci et al., Indag. Math. 2012] to multidimensional lattice $\mathbb{N}^d$ for $d\geq 2$. The same technique is also applicable to the weighted multiple average launched by Fan [Fan, Adv. Math. 2021]. Finally, the boundary conditions are imposed to the multiple sum and explicit formulae of the energy functions with respect to the boundary conditions are obtained.


title: Magnetic field-induced non-trivial electronic topology in Fe3GeTe2

abstract: The anomalous Hall, Nernst and thermal Hall coefficients of Fe$_{3-x}$GeTe$_2$ display several features upon cooling, like a reversal in the Nernst signal below $T = 50$ K pointing to a topological transition (TT) associated to the development of magnetic spin textures. Since the anomalous transport variables are related to the Berry curvature, a possible TT might imply deviations from the Wiedemann-Franz (WF) law. However, the anomalous Hall and thermal Hall coefficients of Fe$_{3-x}$GeTe$_2$ are found, within our experimental accuracy, to satisfy the WF law for magnetic-fields $\mu_0H$ applied along its inter-layer direction. Surprisingly, large anomalous transport coefficients are also observed for $\mu_0H$ applied along the planar \emph{a}-axis as well as along the gradient of the chemical potential, a configuration that should not lead to their observation due to the absence of Lorentz force. However, as $\mu_0H$ $\|$ \emph{a}-axis is increased, magnetization and neutron scattering indicate just the progressive canting of the magnetic moments towards the planes followed by their saturation. These anomalous planar quantities are found to not scale with the component of the planar magnetization ($M_{\|}$), showing instead a sharp decrease beyond $\sim \mu_0 H_{\|} = $ 4 T which is the field required to align the magnetic moments along $\mu_0 H_{\|}$. We argue that locally chiral spin structures, such as skyrmions, and possibly skyrmion tubes, lead to a field dependent spin-chirality and hence to a novel type of topological anomalous transport. Locally chiral spin-structures are captured by our Monte-Carlo simulations incorporating small Dzyaloshinskii-Moriya and biquadratic exchange interactions.


title: Medical Image Analysis on Left Atrial LGE MRI for Atrial Fibrillation Studies: A Review

abstract: Late gadolinium enhancement magnetic resonance imaging (LGE MRI) is commonly used to visualize and quantify left atrial (LA) scars. The position and extent of scars provide important information of the pathophysiology and progression of atrial fibrillation (AF). Hence, LA scar segmentation and quantification from LGE MRI can be useful in computer-assisted diagnosis and treatment stratification of AF patients. Since manual delineation can be time-consuming and subject to intra- and inter-expert variability, automating this computing is highly desired, which nevertheless is still challenging and under-researched. This paper aims to provide a systematic review on computing methods for LA cavity, wall, scar and ablation gap segmentation and quantification from LGE MRI, and the related literature for AF studies. Specifically, we first summarize AF-related imaging techniques, particularly LGE MRI. Then, we review the methodologies of the four computing tasks in detail, and summarize the validation strategies applied in each task. Finally, the possible future developments are outlined, with a brief survey on the potential clinical applications of the aforementioned methods. The review shows that the research into this topic is still in early stages. Although several methods have been proposed, especially for LA segmentation, there is still large scope for further algorithmic developments due to performance issues related to the high variability of enhancement appearance and differences in image acquisition.


title: Fluorine solubility and superconducting properties of Sm(O,F)BiS$_2$ single crystals

abstract: Sm(O,F)BiS2 superconducting single crystals with various nominal F contents have been grown using KI-KCl flux. The solid solution limit of F at the O-site in Sm(O,F)BiS2 single crystals was approximately less than 20 at%. F concentrations of Sm(O,F)BiS2 single crystals were hardly controlled by nominal F contents. It suggests the existence of intrinsic stable phase. Superconductivity was shown at around 5 K. Superconducting transition temperature with zero resistivity were increased with increasing nominal F contents within less than 70 at% in O-site, despite similar F concentration and c-axis lattice constants.


title: Perspective: Reproducible Coherence Characterization of Superconducting Quantum Devices

abstract: As the field of superconducting quantum computing approaches maturity, optimization of single-device performance is proving to be a promising avenue towards large-scale quantum computers. However, this optimization is possible only if performance metrics can be accurately compared among measurements, devices, and laboratories. Currently such comparisons are inaccurate or impossible due to understudied errors from a plethora of sources. In this Perspective, we outline the current state of error analysis for qubits and resonators in superconducting quantum circuits, and discuss what future investigations are required before superconducting quantum device optimization can be realized.


title: Discovery of the Ultra-high energy gamma-ray source LHAASO J2108+5157

abstract: We report the discovery of a UHE gamma-ray source, LHAASO J2108+5157, by analyzing the LHAASO-KM2A data of 308.33 live days. Significant excess of gamma-ray induced showers is observed in both energy bands of 25-100 TeV and $\gt$100 TeV with 9.5 sigma and 8.5 sigma, respectively. This source is not significantly favored as an extensive source with the angular extension smaller than the point-spread function of KM2A. The measured energy spectrum from 20 to 200 TeV can be approximately described by a power-law function with an index of -2.83$\pm$ 0.18stat. A harder spectrum is demanded at lower energies considering the flux upper limit set by Fermi-LAT observations. The position of the gamma-ray emission is correlated with a giant molecular cloud, which favors a hadronic origin. No obvious counterparts have been found, deeper multiwavelength observations will help to shed new light on this intriguing UHE source.


title: On Minimizing Cost in Legal Document Review Workflows

abstract: Technology-assisted review (TAR) refers to human-in-the-loop machine learning workflows for document review in legal discovery and other high recall review tasks. Attorneys and legal technologists have debated whether review should be a single iterative process (one-phase TAR workflows) or whether model training and review should be separate (two-phase TAR workflows), with implications for the choice of active learning algorithm. The relative cost of manual labeling for different purposes (training vs. review) and of different documents (positive vs. negative examples) is a key and neglected factor in this debate. Using a novel cost dynamics analysis, we show analytically and empirically that these relative costs strongly impact whether a one-phase or two-phase workflow minimizes cost. We also show how category prevalence, classification task difficulty, and collection size impact the optimal choice not only of workflow type, but of active learning method and stopping point.


title: Extendability and the $\overline \partial$ Operator on the Hartogs Triangle

abstract: In this paper it is shown that the Hartogs triangle $\mathbf T$ in $\mathbf C^2$ is a uniform domain. This implies that the Hartogs triangle is a Sobolev extension domain. Furthermore, the weak and strong maximal extensions of the Cauchy-Riemann operator agree on the Hartogs triangle. These results have numerous applications. Among other things, they are used to study the Dolbeault cohomology groups with Sobolev coefficients on the complement of $\mathbf T$.


title: Towards a q-series for osp(2|2n)

abstract: A series invariant for a certain class of closed 3-manifolds associated with a type I Lie superalgebra sl(m|n) was introduced recently. We find a q-series for the other Lie superalgebra of the same type of the minimum rank.


title: A Supersymmetric Flavor Clockwork

abstract: Clockwork models can explain the flavor hierarchies in the Standard Model quark and lepton spectrum. We construct supersymmetric versions of such flavor clockwork models. The zero modes of the clockwork are identified with the fermions and sfermions of the Minimal Supersymmetric Standard Model. In addition to generating a hierarchical fermion spectrum, the clockwork also predicts a specific flavor structure for the soft SUSY breaking sfermion masses. We find sizeable flavor mixing among first and second generation squarks. Constraints from Kaon oscillations require the masses of either squarks or gluinos to be above a scale of $\sim 3$ PeV.


title: Thermodynamic uncertainty relation for quantum first passage process

abstract: We derive a thermodynamic uncertainty relation for first passage processes in quantum Markov chains. We consider first passage processes that stop after a fixed number of jumps, which contrasts with typical quantum Markov chains which end at a fixed time. We obtain bounds for the observables of the first passage processes in quantum Markov chains by the Loschmidt echo, which quantifies the extent of irreversibility in quantum many-body systems. Considering a particular case, we show that the lower bound corresponds to the quantum Fisher information, which plays a fundamental role in uncertainty relations in quantum systems. Moreover, considering classical dynamics, our bound reduces to a thermodynamic uncertainty relation for classical first passage processes.


title: Heuristic Stopping Rules For Technology-Assisted Review

abstract: Technology-assisted review (TAR) refers to human-in-the-loop active learning workflows for finding relevant documents in large collections. These workflows often must meet a target for the proportion of relevant documents found (i.e. recall) while also holding down costs. A variety of heuristic stopping rules have been suggested for striking this tradeoff in particular settings, but none have been tested against a range of recall targets and tasks. We propose two new heuristic stopping rules, Quant and QuantCI based on model-based estimation techniques from survey research. We compare them against a range of proposed heuristics and find they are accurate at hitting a range of recall targets while substantially reducing review costs.


title: Analyzing Adversarial Robustness of Deep Neural Networks in Pixel Space: a Semantic Perspective

abstract: The vulnerability of deep neural networks to adversarial examples, which are crafted maliciously by modifying the inputs with imperceptible perturbations to misled the network produce incorrect outputs, reveals the lack of robustness and poses security concerns. Previous works study the adversarial robustness of image classifiers on image level and use all the pixel information in an image indiscriminately, lacking of exploration of regions with different semantic meanings in the pixel space of an image. In this work, we fill this gap and explore the pixel space of the adversarial image by proposing an algorithm to looking for possible perturbations pixel by pixel in different regions of the segmented image. The extensive experimental results on CIFAR-10 and ImageNet verify that searching for the modified pixel in only some pixels of an image can successfully launch the one-pixel adversarial attacks without requiring all the pixels of the entire image, and there exist multiple vulnerable points scattered in different regions of an image. We also demonstrate that the adversarial robustness of different regions on the image varies with the amount of semantic information contained.


title: The Ihara-zeta function and the spectrum of the join of two semi-regular bipartite graphs

abstract: In this paper, using matrix techniques, we compute the Ihara-zeta function and the number of spanning trees of the join of two semi-regular bipartite graphs. Furthermore, we show that the spectrum and the zeta function of the join of two semi-regular bipartite graphs can determine each other.