title: Asymptotic of the Kantorovich potential for the optimal transport with Coulomb cost

abstract: We prove a conjecture regarding the asymptotic behavior at infinity of the Kantorovich potential for the Multimarginal Optimal Transport with Coulomb and Riesz costs.


title: Some New Results on Monochromatic Sums and Products in the Rationals

abstract: Our aim in this paper is to show that, for any $k$, there is a finite colouring of the set of rationals whose denominators contain only the first $k$ primes such that no infinite set has all of its finite sums and products monochromatic. We actually prove a `uniform' form of this: there is a finite colouring of the rationals with the property that no infinite set whose denominators contain only finitely many primes has all of its finite sums and products monochromatic. We also give various other results, including a new short proof of the old result that there is a finite colouring of the naturals such that no infinite set has all of its pairwise sums and products monochromatic.


title: Awareness and usage of SWAYAM course among library and information science students a survey

abstract: The Government of India initiated SWAYAM (Study Webs of Active-learning for Young Aspiring Minds), where the objective of the programme is to take the best teaching and learning resources to all with no costs. To find out the awareness and usage of SWAYAM courses among Library and Information science students, survey method of research used. To collect data from selective Universities students a structured questionnaire was prepared. The results show that most of the responses received from Annamalai University, majority respondents are aware of SWAYAM course. Respondents are aware of these courses through their teachers. 74.73 percent of respondents replied that their University providing orientation programme on SWAYAM. Half of the respondents prefer Word file format for submitting their assignment. More than 82 percent of respondents are spending 1 to 3 hours for SWAYAM course. Half of the respondents are agreed SWAYAM courses help to gain new knowledge and supports life-long learning. Further, the result reveals that the numbers of students continue their enrolled courses and only less number were discontinued due to some reasons


title: Compensating for non-linear distortions in controlled quantum systems

abstract: Predictive design and optimization methods for controlled quantum systems depend on the accuracy of the system model. Any distortion of the input fields in an experimental platform alters the model accuracy and eventually disturbs the predicted dynamics. These distortions can be non-linear with a strong frequency dependence so that the field interacting with the microscopic quantum system has limited resemblance to the input signal. We present an effective method for estimating these distortions which is suitable for non-linear transfer functions of arbitrary lengths and magnitudes provided the available training data has enough spectral components. Using a quadratic estimation, we have successfully tested our approach for a numerical example of a single Rydberg atom system. The transfer function estimated from the presented method is incorporated into an open-loop control optimization algorithm allowing for high-fidelity operations in quantum experiments.


title: An atom's worth of anonymity

abstract: Anonymity has gained notoriety in modern times as data about our actions and choices accumulates in the internet partly unbeknownst to us and partly by our own choice. Usually people wish some data about themselves were private while some other date may be public or is even wanted to be public for publicity reasons. There are different criteria which characterize the degree of anonymity of data. Given data can also be anonymized by different techniques in order to increase its degree of anonymity. In this paper we take a very simple "atomic" degree of anonymity as our starting place. We axiomatize these atoms and propose the investigation of first order logic based on these atoms. Considering the vast literature and the huge importance of anonymity our investigation may seem quite modest. However, it is about the logic of anonymity, not about how to secure, create or break anonymity.


title: Mutual-visibility in strong products of graphs via total mutual-visibility

abstract: Let $G$ be a graph and $X\subseteq V(G)$. Then $X$ is a mutual-visibility set if each pair of vertices from $X$ is connected by a geodesic with no internal vertex in $X$. The mutual-visibility number $\mu(G)$ of $G$ is the cardinality of a largest mutual-visibility set. In this paper, the mutual-visibility number of strong product graphs is investigated. As a tool for this, total mutual-visibility sets are introduced. Along the way, basic properties of such sets are presented. The (total) mutual-visibility number of strong products is bounded from below in two ways, and determined exactly for strong grids of arbitrary dimension. Strong prisms are studied separately and a couple of tight bounds for their mutual-visibility number are given.


title: A real-time GP based MPC for quadcopters with unknown disturbances

abstract: Gaussian Process (GP) regressions have proven to be a valuable tool to predict disturbances and model mismatches and incorporate this information into a Model Predictive Control (MPC) prediction. Unfortunately, the computational complexity of inference and learning on classical GPs scales cubically, which is intractable for real-time applications. Thus GPs are commonly trained offline, which is not suited for learning disturbances as their dynamics may vary with time. Recently, state-space formulation of GPs has been introduced, allowing inference and learning with linear computational complexity. This paper presents a framework that enables online learning of disturbance dynamics on quadcopters, which can be executed within milliseconds using a state-space formulation of GPs. The obtained disturbance predictions are combined with MPC leading to a significant performance increase in simulations with jMAVSim. The computational burden is evaluated on a Raspberry Pi 4 B to prove the real-time applicability.


title: Cultivating the Garden of Eden

abstract: Garden of Eden (GOE) states in cellular automata are grid configurations which have no precursors, that is, they can only occur as initial conditions. Finding individual configurations that minimize or maximize some criterion of interest (e.g., grid size, density, etc.) has been a popular sport in recreational mathematics, but systematic studies of the set of GOEs for a cellular automaton have been rare. This paper presents the current results of an ongoing computational study of GOE configurations in Conway's Game of Life (GoL) cellular automaton. Specifically, we describe the current status of a map of the layout of GOEs and nonGOEs in density/size space, characterize how the density-dependent structure of the number of precursors varies with increasing grid size as we approach the point where GOEs begin to occur, provide a catalog of all known GOE configurations up to a grid size of 11x11, and initiate a study of the structure of the network of constraints that characterize GOE vs. nonGOE configurations.


title: Fields2Cover: An open-source coverage path planning library for unmanned agricultural vehicles

abstract: This paper describes Fields2Cover, a novel open source library for coverage path planning (CPP) for agricultural vehicles. While there are several CPP solutions nowadays, there have been limited efforts to unify them into an open source library and provide benchmarking tools to compare their performance. Fields2Cover provides a framework for planning coverage paths, developing novel techniques, and benchmarking state-of-the-art algorithms. The library features a modular and extensible architecture that supports various vehicles and can be used for a variety of applications, including farms. Its core modules are: a headland generator, a swath generator, a route planner and a path planner. An interface to the Robot Operating System (ROS) is also supplied as an add-on. In this paper, the functionalities of the library for planning a coverage path in agriculture are demonstrated using 8 state-of-the-art methods and 7 objective functions in simulation and field experiments.


title: Contrastive Audio-Visual Masked Autoencoder

abstract: In this paper, we first extend the recent Masked Auto-Encoder (MAE) model from a single modality to audio-visual multi-modalities. Subsequently, we propose the Contrastive Audio-Visual Masked Auto-Encoder (CAV-MAE) by combining contrastive learning and masked data modeling, two major self-supervised learning frameworks, to learn a joint and coordinated audio-visual representation. Our experiments show that the contrastive audio-visual correspondence learning objective not only enables the model to perform audio-visual retrieval tasks, but also helps the model learn a better joint representation. As a result, our fully self-supervised pretrained CAV-MAE achieves a new SOTA accuracy of 65.9% on VGGSound, and is comparable with the previous best supervised pretrained model on AudioSet in the audio-visual event classification task. Code and pretrained models are at https://github.com/yuangongnd/cav-mae.


title: The XRISM Pipeline Software System: Connecting Continents, Processes, Testing, and Scientists

abstract: XRISM (X-Ray Imaging and Spectroscopy Mission), with the Resolve high-resolution spectrometer and the Xtend wide-field imager on-board, is designed to build on the successes of the abbreviated Hitomi mission to address outstanding astrophysical questions using high resolution X-ray spectroscopy. In preparation for launch, the XRISM Science Data Center (SDC) is constructing and testing an integrated and automated system for data transfer and processing based upon the Hitomi framework, introducing improvements informed by previous experience and internal collaboration. The XRISM pipeline ingests FITS files transferred from Japan that contain data converted from spacecraft telemetry, processes (calibrates and screens) the data, creates data products, and transfers data and metadata used to populate data archives in the U.S. and Japan. Improvement and rigorous testing of the system are conducted from the single-task level through fully-integrated levels. We provide an overview of the XRISM pipeline system, with a focus on the data processing, and how new and improved documentation and testing are creating accessible and effective software tools for future XRISM data.


title: Scales in light-nuclei production near the QCD critical point

abstract: Based on the coalescence model, we analyse the light-nuclei production near the critical point by expanding the phase-space distribution function $f(\mathbf{r},\mathbf{p})$ in terms of the phase-space cumulants $\sim \langle r^m p^m\rangle_c$. We show that the dominant contribution of the phase-space distribution to the yield of light nuclei is determined by the second-order phase-space cumulants. Here, we identify the fireball size, the homogeneity length, and the effective temperature, which are encoded in the second-order phase-space cumulants, as the relevant scales in explaining the yield of light nuclei. These scales are typically much larger than the correlation length of the critical fluctuations created in the rapid expansion of the heavy-ion systems, so we need to eliminate this dominant contribution of the relevant scales in order to isolate the critical contribution from the yield of light nuclei. We find that the second-order phase-space cumulants appeared in the yields of light-nuclei with different mass numbers share a similar structure. This property allows us to construct ratios of light-nuclei yields in appropriate combinations so that the effect of the relevant scales of the light-nuclei yield cancels, which isolates the critical effects.


title: ENTS: An Edge-native Task Scheduling System for Collaborative Edge Computing

abstract: Collaborative edge computing (CEC) is an emerging paradigm enabling sharing of the coupled data, computation, and networking resources among heterogeneous geo-distributed edge nodes. Recently, there has been a trend to orchestrate and schedule containerized application workloads in CEC, while Kubernetes has become the de-facto standard broadly adopted by the industry and academia. However, Kubernetes is not preferable for CEC because its design is not dedicated to edge computing and neglects the unique features of edge nativeness. More specifically, Kubernetes primarily ensures resource provision of workloads while neglecting the performance requirements of edge-native applications, such as throughput and latency. Furthermore, Kubernetes neglects the inner dependencies of edge-native applications and fails to consider data locality and networking resources, leading to inferior performance. In this work, we design and develop ENTS, the first edge-native task scheduling system, to manage the distributed edge resources and facilitate efficient task scheduling to optimize the performance of edge-native applications. ENTS extends Kubernetes with the unique ability to collaboratively schedule computation and networking resources by comprehensively considering job profile and resource status. We showcase the superior efficacy of ENTS with a case study on data streaming applications. We mathematically formulate a joint task allocation and flow scheduling problem that maximizes the job throughput. We design two novel online scheduling algorithms to optimally decide the task allocation, bandwidth allocation, and flow routing policies. The extensive experiments on a real-world edge video analytics application show that ENTS achieves 43\%-220\% higher average job throughput compared with the state-of-the-art.


title: Generalized De Jonquieres divisors on generic curves

abstract: The classical De Jonquieres and MacDonald formulas describe the virtual number of divisors with prescribed multiplicities in a linear system on an algebraic curve. We establish an essentially optimal result concerning the enumerative validity of these formulas in the case of a general curve of genus g.


title: Performance boost of a collective qutrit refrigerator

abstract: A single qutrit with transitions selectively driven by weakly-coupled reservoirs can implement one of the world's smallest refrigerators. We analyze the performance of $N$ such fridges that are collectively coupled to the reservoirs. We observe a quantum boost, manifest in a quadratic scaling of the steady-state cooling current with $N$. As $N$ grows further, the scaling reduces to linear, since the transitions responsible for the quantum boost become energetically unfavorable. Fine-tuned inter-qutrit interactions may be used to maintain the quantum boost for all $N$ and also for not-perfectly collective scenarios.


title: Flame-state monitoring based on very low number of visible or infrared images via few-shot learning

abstract: The current success of machine learning on image-based combustion monitoring is based on massive data, which is costly even impossible for industrial applications. To address this conflict, we introduce few-shot learning in order to achieve combustion monitoring and classification for the first time. Two algorithms, Siamese Network coupled with k Nearest Neighbors (SN-kNN) and Prototypical Network (PN), were tested. Rather than utilizing solely visible images as discussed in previous studies, we also used Infrared (IR) images. We analyzed the training process, test performance and inference speed of two algorithms on both image formats, and also used t-SNE to visualize learned features. The results demonstrated that both SN-kNN and PN were capable to distinguish flame states from learning with merely 20 images per flame state. The worst performance, which was realized by PN on IR images, still possessed precision, accuracy, recall, and F1-score above 0.95. We showed that visible images demonstrated more substantial differences between classes and presented more consistent patterns inside the class, which made the training speed and model performance better compared to IR images. In contrast, the relatively low quality of IR images made it difficult for PN to extract distinguishable prototypes, which caused relatively weak performance. With the entrire training set supporting classification, SN-kNN performed well with IR images. On the other hand, benefitting from the architecture design, PN has a much faster speed in training and inference than SN-kNN. The presented work analyzed the characteristics of both algorithms and image formats for the first time, thus providing guidance for their future utilization in combustion monitoring tasks.


title: Higgs boson production in association with a top-antitop quark pair in next-to-next-to leading order QCD

abstract: The associated production of a Higgs boson with a top-antitop quark pair is a crucial process at the LHC since it allows for a direct measurement of the top-quark Yukawa coupling. We present the computation of the radiative corrections to this process at the next-to-next-to-leading order (NNLO) in QCD perturbation theory. This is the very first computation for a $2 \to 3$ process with massive coloured particles at this perturbative order. We develop a soft Higgs boson approximation for loop amplitudes, which enables us to reliably quantify the impact of the yet unknown two-loop contribution. At the centre-of-mass energy $\sqrt{s}=13$ TeV the NNLO corrections increase the next-to-leading order result for the total cross section by about 4% and lead to a significant reduction of perturbative uncertainties.


title: Limit laws in the lattice problem. III. Return to the case of boxes

abstract: We study the error of the number of points of a lattice $L$ that belong to a rectangle, centred at $0$, whose axes are parallel to the coordinate axes, dilated by a factor $t$ and then translated by a vector $X \in \mathbb{R}^{2}$. When we consider the second order moment of the error relatively to $X \in \mathbb{R}^{2}/L$, one shows that, when $t$ is random and becomes large and when the error is normalized by a quantity which behaves, in the admissible case, as $\sqrt{\log(t)}$, it converges in distribution to an explicit positive constant. In the case of a typical lattice $L$, we show that this result still holds but the normalisation is more important, around $\log(t)$. We also show that when $L=\mathbb{Z}^{2}$, the error, when normalized by $t$, converges in distribution when $t$ is random and becomes large and we compute the moments of the limit distribution.


title: Convolutional Neural Networks: Basic Concepts and Applications in Manufacturing

abstract: We discuss basic concepts of convolutional neural networks (CNNs) and outline uses in manufacturing. We begin by discussing how different types of data objects commonly encountered in manufacturing (e.g., time series, images, micrographs, videos, spectra, molecular structures) can be represented in a flexible manner using tensors and graphs. We then discuss how CNNs use convolution operations to extract informative features (e.g., geometric patterns and textures) from the such representations to predict emergent properties and phenomena and/or to identify anomalies. We also discuss how CNNs can exploit color as a key source of information, which enables the use of modern computer vision hardware (e.g., infrared, thermal, and hyperspectral cameras). We illustrate the concepts using diverse case studies arising in spectral analysis, molecule design, sensor design, image-based control, and multivariate process monitoring.


title: A few fixed point theorems in linear n-normed space

abstract: Banach's fixed point theorem in linear n-normed space is being developed. Also, we present several theorems on fixed points in linear n-normed space.


title: Early stopping for $ L^2 $-boosting in high-dimensional linear models

abstract: Increasingly high-dimensional data sets require that estimation methods do not only satisfy statistical guarantees but also remain computationally feasible. In this context, we consider $ L^{2} $-boosting via orthogonal matching pursuit in a high-dimensional linear model and analyze a data-driven early stopping time $ \tau $ of the algorithm, which is sequential in the sense that its computation is based on the first $ \tau $ iterations only. This approach is much less costly than established model selection criteria, that require the computation of the full boosting path. We prove that sequential early stopping preserves statistical optimality in this setting in terms of a fully general oracle inequality for the empirical risk and recently established optimal convergence rates for the population risk. Finally, an extensive simulation study shows that at an immensely reduced computational cost, the performance of these type of methods is on par with other state of the art algorithms such as the cross-validated Lasso or model selection via a high dimensional Akaike criterion based on the full boosting path.


title: Learning to Autonomously Reach Objects with NICO and Grow-When-Required Networks

abstract: The act of reaching for an object is a fundamental yet complex skill for a robotic agent, requiring a high degree of visuomotor control and coordination. In consideration of dynamic environments, a robot capable of autonomously adapting to novel situations is desired. In this paper, a developmental robotics approach is used to autonomously learn visuomotor coordination on the NICO (Neuro-Inspired COmpanion) platform, for the task of object reaching. The robot interacts with its environment and learns associations between motor commands and temporally correlated sensory perceptions based on Hebbian learning. Multiple Grow-When-Required (GWR) networks are used to learn increasingly more complex motoric behaviors, by first learning how to direct the gaze towards a visual stimulus, followed by learning motor control of the arm, and finally learning how to reach for an object using eye-hand coordination. We demonstrate that the model is able to deal with an unforeseen mechanical change in the NICO's body, showing the adaptability of the proposed approach. In evaluations of our approach, we show that the humanoid robot NICO is able to reach objects with a 76% success rate.


title: Bringing NURC/SP to Digital Life: the Role of Open-source Automatic Speech Recognition Models

abstract: The NURC Project that started in 1969 to study the cultured linguistic urban norm spoken in five Brazilian capitals, was responsible for compiling a large corpus for each capital. The digitized NURC/SP comprises 375 inquiries in 334 hours of recordings taken in S\~ao Paulo capital. Although 47 inquiries have transcripts, there was no alignment between the audio-transcription, and 328 inquiries were not transcribed. This article presents an evaluation and error analysis of three automatic speech recognition models trained with spontaneous speech in Portuguese and one model trained with prepared speech. The evaluation allowed us to choose the best model, using WER and CER metrics, in a manually aligned sample of NURC/SP, to automatically transcribe 284 hours.


title: Cosmological Studies from HSC-SSP Tomographic Weak Lensing Peak Abundances

abstract: We perform weak lensing tomographic peak studies using the first-year shear data from Hyper Suprime-Cam Subaru Strategic Program (HSC-SSP) survey. The effective area used in our analyses after field selection, mask and boundary exclusions is $\sim 58 \deg^2$. The source galaxies are divided into low- and high-redshift bins with $0.2\le z_p\le0.85$ and $0.85\le z_p\le1.5$, respectively. We utilize our halo-based theoretical peak model including the projection effect of large-scale structures to derive cosmological constraints from the observed tomographic high peak abundances with the signal-to-noise ratio in the range of $\nu_{\rm N}=[3.5,5.5]$. These high peaks are closely associated with the lensing effects of massive clusters of galaxies. Thus the inclusion of their member galaxies in the shear catalog can lead to significant source clustering and dilute their lensing signals. We account for this systematic effect in our theoretical modelling. Additionally, the impacts of baryonic effects, galaxy intrinsic alignments, as well as residual uncertainties in shear and photometric redshift calibrations are also analyzed. Within the flat $\Lambda$CDM model, the derived constraint is $S_8=0.758_{-0.076}^{+0.033}$ and $0.768_{-0.057}^{+0.030}$ with the source clustering information measured from the two cluster catalogs, CAMIRA and WZL, respectively. The asymmetric uncertainties are due to the different degeneracy direction of $(\Omega_{\rm m}, \sigma_8)$ from high peak abundances comparing to that from the cosmic shear two-point correlations which give rise approximately the power index $\alpha=0.5$. Fitting to our constraints, we obtain $\alpha\approx 0.38$ and $\Sigma_8=0.772_{-0.032}^{+0.028}$ (CAMIRA) and $0.781_{-0.033}^{+0.028}$ (WZL). In comparison with the results from non-tomographic peak analyses, the $1\sigma$ uncertainties on $\Sigma_8$ are reduced by a factor of $\sim1.3$.


title: On quantum modular forms of non-zero weights

abstract: We study functions $f$ on $\mathbb Q$ which statisfy a ``quantum modularity'' relation of the shape $$ f(x+1)=f(x), \qquad f(x) - |x|^{-k} f(-1/x) = h(x) $$ where $h:\mathbb R_{\neq 0} \to \mathbb C$ is a function satisfying various regularity conditions. We study the case $\Re(k)\neq 0$. We prove the existence of a limiting function $f^*$ which extends continuously $f$ to $\mathbb R$ in some sense. This means in particular that in the $\Re(k)\neq0$ case the quantum modular form itself has to have at least a certain level of regularity. We deduce that the values $\{f(a/q), 1\leq a<q, (a, q)=1\}$, appropriately normalized, tend to equidistribute along the graph of $f^*$, and we prove that under natural hypotheses the limiting measure is diffuse. We apply these results to obtain limiting distributions of values and continuity results for several arithmetic functions known to satisfy the above quantum modularity: higher weight modular symbols associated to holomorphic cusp forms; Eichler integral associated to Maass forms; a function of Kontsevich and Zagier related to the Dedekind $\eta$-function; and generalized cotangent sums.


title: On the time lag between solar wind dynamic parameters and solar activity UV proxies

abstract: The solar activity displays variability and periodic behaviours over a wide range of timescales, with the presence of a most prominent cycle with a mean length of 11 years. Such variability is transported within the heliosphere by solar wind, radiation and other processes, affecting the properties of the interplanetary medium. The presence of solar activity-related periodicities is well visible in different solar wind and geomagnetic indices, although with time lags with respect to the solar one, leading to hysteresis cycles. Here, we investigate the time lag behaviour between a physical proxy of the solar activity, the Ca II K index, and two solar wind parameters (speed and dynamic pressure), studying how their pairwise relative lags vary over almost five solar cycles. We find that the lag between Ca II K index and solar wind speed is not constant over the whole time interval investigated, with values ranging from 6 years to 1 year (average 3.2 years). A similar behaviour is found also for the solar wind dynamic pressure. Then, by using a Lomb-Scargle periodogram analysis we obtain a 10.21-year mean periodicity for the speed and 10.30-year for the dynamic pressure. We speculate that the different periodicities of the solar wind parameters with respect to the solar 11-year cycle may be related to the overall observed temporal evolution of the time lags. Finally, by accounting for them, we obtain empirical relations that link the amplitude of the Ca II K index to the two solar wind parameters.


title: Description and analysis of novelties introduced in DCASE Task 4 2022 on the baseline system

abstract: The aim of the Detection and Classification of Acoustic Scenes and Events Challenge Task 4 is to evaluate systems for the detection of sound events in domestic environments using an heterogeneous dataset. The systems need to be able to correctly detect the sound events present in a recorded audio clip, as well as localize the events in time. This year's task is a follow-up of DCASE 2021 Task 4, with some important novelties. The goal of this paper is to describe and motivate these new additions, and report an analysis of their impact on the baseline system. We introduced three main novelties: the use of external datasets, including recently released strongly annotated clips from Audioset, the possibility of leveraging pre-trained models, and a new energy consumption metric to raise awareness about the ecological impact of training sound events detectors. The results on the baseline system show that leveraging open-source pretrained on AudioSet improves the results significantly in terms of event classification but not in terms of event segmentation.


title: Commutativity and Disentanglement from the Manifold Perspective

abstract: In this paper, we interpret disentanglement as the discovery of local charts of the data manifold and trace how this definition naturally leads to an equivalent condition for disentanglement: commutativity between factors of variation. We study the impact of this manifold framework to two classes of problems: learning matrix exponential operators and compressing data-generating models. In each problem, the manifold perspective yields interesting results about the feasibility and fruitful approaches their solutions. We also link our manifold framework to two other common disentanglement paradigms: group theoretic and probabilistic approaches to disentanglement. In each case, we show how these frameworks can be merged with our manifold perspective. Importantly, we recover commutativity as a central property in both alternative frameworks, further highlighting its importance in disentanglement.


title: Atom binary holography at a finite distance: Resolution, contrast and flux

abstract: In classical binary holography, a target pattern located at infinity is generated by the diffraction of a plane wave passing through a binary mask with holes of the same size, placed at specific positions of a rectangular grid. Fresnel binary atom holography was recently proposed as a means for achieving nanometer-resolution mask-based lithography with metastable atom beams. In practice, there will be fabrication imposed limits: the binary mask will have a minimum hole size, a minimum distance between the holes in the grid~(pitch), a maximum size, and the target pattern plane will always have a finite distance from the mask. In this paper, we show that, in praxis, for a given wavelength, mask, and target pattern sizes, there will be a cross-over value for the distance between the mask and the target pattern plane (the screen plane) which results in aliasing-free patterns. It is demonstrated how this insight can lead to the generation of better-resolved patterns of higher contrast and nanometer resolution can be achieved within experimental limitations. Since flux is one of the main factors influencing the quality of patterns fabricated by nano-lithography, we obtain an expression for the ``patterning flux'' (the flux that contributes to producing the target pattern, normalized by the flux that is incident onto the structured portion of the mask). Numerically we find that its ratio scales approximately like $x^{-2}$ where $x$ is the mask-screen distance over the cross-over distance. The method that we propose can be used with any beam that can be modeled as a scalar wave, including acoustic waves and other matter-wave beams such as helium ions or electrons.


title: Biased Random Walk on Spanning Trees of the Ladder Graph

abstract: We consider a specific random graph which serves as a disordered medium for a particle performing biased random walk. Take a two-sided infinite horizontal ladder and pick a random spanning tree with a certain edge weight $c$ for the (vertical) rungs. Now take a random walk on that spanning tree with a bias $\beta>1$ to the right. In contrast to other random graphs considered in the literature (random percolation clusters, Galton-Watson trees) this one allows for an explicit analysis based on a decomposition of the graph into independent pieces. We give an explicit formula for the speed of the biased random walk as a function of both the bias $\beta$ and the edge weight $c$. We conclude that the speed is a continuous, unimodal function of $\beta$ that is positive if and only if $\beta < \beta_c^{(1)}$ for an explicit critical value $\beta_c^{(1)}$ depending on $c$. In particular, the phase transition at $\beta_c^{(1)}$ is of second order. We show that another second order phase transition takes place at another critical value $\beta_c^{(2)}<\beta_c^{(1)}$ that is also explicitly known: For $\beta<\beta_c^{(2)}$ the times the walker spends in traps have second moments and (after subtracting the linear speed) the position fulfills a central limit theorem. We see that $\beta_c^{(2)}$ is smaller than the value of $\beta$ which achieves the maximal value of the speed. Finally, concerning linear response, we confirm the Einstein relation for the unbiased model ($\beta=1$) by proving a central limit theorem and computing the variance.


title: Super-localization of spatial network models

abstract: Spatial network models are used as a simplified discrete representation in a wide range of applications, e.g., flow in blood vessels, elasticity of fiber based materials, and pore network models of porous materials. Nevertheless, the resulting linear systems are typically large and poorly conditioned and their numerical solution is challenging. This paper proposes a numerical homogenization technique for spatial network models which is based on the Super Localized Orthogonal Decomposition (SLOD), recently introduced for elliptic multiscale partial differential equations. It provides accurate coarse solution spaces with approximation properties independent of the smoothness of the material data. A unique selling point of the SLOD is that it constructs an almost local basis of these coarse spaces, requiring less computations on the fine scale and achieving improved sparsity on the coarse scale compared to other state-of-the-art methods. We provide an a-posteriori analysis of the proposed method and numerically confirm the method's unique localization properties. In addition, we show its applicability also for high-contrast channeled material data.


title: A compatible finite element discretisation for the nonhydrostatic vertical slice equations

abstract: We present a compatible finite element discretisation for the vertical slice compressible Euler equations, at next-to-lowest order (i.e., the pressure space is bilinear discontinuous functions). The equations are numerically integrated in time using a fully implicit timestepping scheme which is solved using monolithic GMRES preconditioned by a linesmoother. The linesmoother only involves local operations and is thus suitable for domain decomposition in parallel. It allows for arbitrarily large timesteps but with iteration counts scaling linearly with Courant number in the limit of large Courant number. This solver approach is implemented using Firedrake, and the additive Schwarz preconditioner framework of PETSc. We demonstrate the robustness of the scheme using a standard set of testcases that may be compared with other approaches.


title: Unsupervised Dense Nuclei Detection and Segmentation with Prior Self-activation Map For Histology Images

abstract: The success of supervised deep learning models in medical image segmentation relies on detailed annotations. However, labor-intensive manual labeling is costly and inefficient, especially in dense object segmentation. To this end, we propose a self-supervised learning based approach with a Prior Self-activation Module (PSM) that generates self-activation maps from the input images to avoid labeling costs and further produce pseudo masks for the downstream task. To be specific, we firstly train a neural network using self-supervised learning and utilize the gradient information in the shallow layers of the network to generate self-activation maps. Afterwards, a semantic-guided generator is then introduced as a pipeline to transform visual representations from PSM to pixel-level semantic pseudo masks for downstream tasks. Furthermore, a two-stage training module, consisting of a nuclei detection network and a nuclei segmentation network, is adopted to achieve the final segmentation. Experimental results show the effectiveness on two public pathological datasets. Compared with other fully-supervised and weakly-supervised methods, our method can achieve competitive performance without any manual annotations.


title: Revisiting Optimal Convergence Rate for Smooth and Non-convex Stochastic Decentralized Optimization

abstract: Decentralized optimization is effective to save communication in large-scale machine learning. Although numerous algorithms have been proposed with theoretical guarantees and empirical successes, the performance limits in decentralized optimization, especially the influence of network topology and its associated weight matrix on the optimal convergence rate, have not been fully understood. While (Lu and Sa, 2021) have recently provided an optimal rate for non-convex stochastic decentralized optimization with weight matrices defined over linear graphs, the optimal rate with general weight matrices remains unclear. This paper revisits non-convex stochastic decentralized optimization and establishes an optimal convergence rate with general weight matrices. In addition, we also establish the optimal rate when non-convex loss functions further satisfy the Polyak-Lojasiewicz (PL) condition. Following existing lines of analysis in literature cannot achieve these results. Instead, we leverage the Ring-Lattice graph to admit general weight matrices while maintaining the optimal relation between the graph diameter and weight matrix connectivity. Lastly, we develop a new decentralized algorithm to nearly attain the above two optimal rates under additional mild conditions.


title: Gender Animus Can Still Exist Under Favorable Disparate Impact: a Cautionary Tale from Online P2P Lending

abstract: This paper investigates gender discrimination and its underlying drivers on a prominent Chinese online peer-to-peer (P2P) lending platform. While existing studies on P2P lending focus on disparate treatment (DT), DT narrowly recognizes direct discrimination and overlooks indirect and proxy discrimination, providing an incomplete picture. In this work, we measure a broadened discrimination notion called disparate impact (DI), which encompasses any disparity in the loan's funding rate that does not commensurate with the actual return rate. We develop a two-stage predictor substitution approach to estimate DI from observational data. Our findings reveal (i) female borrowers, given identical actual return rates, are 3.97% more likely to receive funding, (ii) at least 37.1% of this DI favoring female is indirect or proxy discrimination, and (iii) DT indeed underestimates the overall female favoritism by 44.6%. However, we also identify the overall female favoritism can be explained by one specific discrimination driver, rational statistical discrimination, wherein investors accurately predict the expected return rate from imperfect observations. Furthermore, female borrowers still require 2% higher expected return rate to secure funding, indicating another driver taste-based discrimination co-exists and is against female. These results altogether tell a cautionary tale: on one hand, P2P lending provides a valuable alternative credit market where the affirmative action to support female naturally emerges from the rational crowd; on the other hand, while the overall discrimination effect (both in terms of DI or DT) favors female, concerning taste-based discrimination can persist and can be obscured by other co-existing discrimination drivers, such as statistical discrimination.


title: Airborne absolute gravimetry with a quantum sensor, comparison with classical technologies

abstract: We report an airborne gravity survey with an absolute gravimeter based on atom interferometry and two relative gravimeters: a classical LaCoste\&Romberg (L\&R) and a novel iMAR strap-down Inertial Measurement Unit (IMU). We estimated measurement errors for the quantum gravimeter ranging from 0.6 to 1.3 mGal depending on the flight conditions and the filtering used. Similar measurement errors are obtained with iMAR strapdown gravimeter but the long term stability is five times worse. The traditional L\&R platform gravimeter shows larger measurement errors (3 - 4 mGal). Airborne measurements have been compared to marine, land and altimetry derived gravity data. We obtain a good agreement for the quantum gravimeter with standard deviations and means on differences below or equal to 2 mGal. This study confirms the potential of quantum technology for absolute airborne gravimetry which is particularly interesting for mapping shallow water or mountainous areas and for linking ground and satellite measurements with homogeneous absolute referencing.

categories: physics.atom-ph physics.app-ph physics.geo-ph quant-ph


title: Stochastic entropy production: Fluctuation relation and irreversibility mitigation in non-unital quantum dynamics

abstract: In this work, we study the stochastic entropy production in open quantum systems whose time evolution is described by a class of non-unital quantum maps. In particular, as in [Phys. Rev. E 92, 032129 (2015)], we consider Kraus operators that can be related to a nonequilibrium potential. This class accounts for both thermalization and equilibration to a non-thermal state. Unlike unital quantum maps, non-unitality is responsible for an unbalance of the forward and backward dynamics of the open quantum system under scrutiny. Here, concentrating on observables that commute with the invariant state of the evolution, we show how the non-equilibrium potential enters the statistics of the stochastic entropy production. In particular, we prove a fluctuation relation for the latter and we find a convenient way of expressing its average solely in terms of relative entropies. Then, the theoretical results are applied to the thermalization of a qubit with non-Markovian transient, and the phenomenon of irreversibility mitigation, introduced in [Phys. Rev. Research 2, 033250 (2020)], is analyzed in this context.


title: Generalised U-dual solutions via ISO(7) gauged supergravity

abstract: We study a solution generating technique in supergravity which can be viewed as a generalised version of U-duality, taking solutions of type IIA supergravity on a 6-sphere with RR flux to new solutions of 11-dimensional supergravity. The new solutions are characterised by an underlying 6-algebra structure. Our construction provides an 11-dimensional uplift of four-dimensional ISO(7) gauged supergravity, using $E_7$ exceptional geometry techniques. We focus on an example where we start with the D2 solution in type IIA supergravity and construct a new $\tfrac12$-BPS 11-dimensional solution.


title: Dead ends and rationality of complete growth series

abstract: The complete growth series of a finitely generated group is given by $\sum_{n\ge 0} A_ns^n$, where $A_n$ is the sum of elements of length $n$ in the group semiring. We study the $\mathbb NG$-rationality and $\mathbb NG$-algebraicity of such series. We show that having dead ends of arbitrarily large depths is an obstruction to $\mathbb NG$-rationality. In the case of the $3$-dimensional Heisenberg group $H_3(\mathbb Z)$, we prove that the complete series is not $\mathbb NG$-algebraic for any generating set. Dead ends are also used to show that complete growth series of higher Heisenberg groups are not $\mathbb NG$-rational for specific generating sets. Using a more general version of this obstruction, we prove that complete growth series of some lamplighter groups are not $\mathbb NG$-rational either.


title: Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting

abstract: At the core of the quest for a logic for PTime is a mismatch between algorithms making arbitrary choices and isomorphism-invariant logics. One approach to overcome this problem is witnessed symmetric choice. It allows for choices from definable orbits which are certified by definable witnessing automorphisms. We consider the extension of fixed-point logic with counting (IFPC) with witnessed symmetric choice (IFPC+WSC) and a further extension with an interpretation operator (IFPC+WSC+I). The latter operator evaluates a subformula in the structure defined by an interpretation. This structure possibly has other automorphisms exploitable by the WSC-operator. For similar extensions of pure fixed-point logic (IFP) it is known that IFP+WSCI simulates counting which IFP+WSC fails to do. For IFPC+WSC it is unknown whether the interpretation operator increases expressiveness and thus allows studying the relation between WSC and interpretations beyond counting. We separate IFPC+WSC from IFPC+WSCI by showing that IFPC+WSC is not closed under FO-interpretations. By the same argument, we answer an open question of Dawar and Richerby regarding non-witnessed symmetric choice in IFP. Additionally, we prove that nesting WSC-operators increases the expressiveness using the so-called CFI graphs. We show that if IFPC+WSC+I canonizes a particular class of base graphs, then it also canonizes the corresponding CFI graphs. This differs from various other logics, where CFI graphs provide difficult instances.


title: Statistical Inference for Complete and Incomplete Mobility Trajectories under the Flight-Pause Model

abstract: We formulate a statistical flight-pause model for human mobility, represented by a collection of random objects, called motions, appropriate for mobile phone tracking (MPT) data. We develop the statistical machinery for parameter inference and trajectory imputation under various forms of missing data. We show that common assumptions about the missing data mechanism for MPT are not valid for the mechanism governing the random motions underlying the flight-pause model, representing an understudied missing data phenomenon. We demonstrate the consequences of missing data and our proposed adjustments in both simulations and real data, outlining implications for MPT data collection and design.


title: One Graph to Rule them All: Using NLP and Graph Neural Networks to analyse Tolkien's Legendarium

abstract: Natural Language Processing and Machine Learning have considerably advanced Computational Literary Studies. Similarly, the construction of co-occurrence networks of literary characters, and their analysis using methods from social network analysis and network science, have provided insights into the micro- and macro-level structure of literary texts. Combining these perspectives, in this work we study character networks extracted from a text corpus of J.R.R. Tolkien's Legendarium. We show that this perspective helps us to analyse and visualise the narrative style that characterises Tolkien's works. Addressing character classification, embedding and co-occurrence prediction, we further investigate the advantages of state-of-the-art Graph Neural Networks over a popular word embedding method. Our results highlight the large potential of graph learning in Computational Literary Studies.


title: A random matrix model for random approximate $t$-designs

abstract: For a Haar random set $\mathcal{S}\subset U(d)$ of quantum gates we consider the uniform measure $\nu_\mathcal{S}$ whose support is given by $\mathcal{S}$. The measure $\nu_\mathcal{S}$ can be regarded as a $\delta(\nu_\mathcal{S},t)$-approximate $t$-design, $t\in\mathbb{Z}_+$. We propose a random matrix model that aims to describe the probability distribution of $\delta(\nu_\mathcal{S},t)$ for any $t$. Our model is given by a block diagonal matrix whose blocks are independent, given by Gaussian or Ginibre ensembles, and their number, size and type is determined by $t$. We prove that, the operator norm of this matrix, $\delta({t})$, is the random variable to which $\sqrt{|\mathcal{S}|}\delta(\nu_\mathcal{S},t)$ converges in distribution when the number of elements in $\mathcal{S}$ grows to infinity. Moreover, we characterize our model giving explicit bounds on the tail probabilities $\mathbb{P}(\delta(t)>2+\epsilon)$, for any $\epsilon>0$. We also show that our model satisfies the so-called spectral gap conjecture, i.e. we prove that with the probability $1$ there is $t\in\mathbb{Z}_+$ such that $\sup_{k\in\mathbb{Z}_{+}}\delta(k)=\delta(t)$. Numerical simulations give convincing evidence that the proposed model is actually almost exact for any cardinality of $\mathcal{S}$. The heuristic explanation of this phenomenon, that we provide, leads us to conjecture that the tail probabilities $\mathbb{P}(\sqrt{\mathcal{S}}\delta(\nu_\mathcal{S},t)>2+\epsilon)$ are bounded from above by the tail probabilities $\mathbb{P}(\delta(t)>2+\epsilon)$ of our random matrix model. In particular our conjecture implies that a Haar random set $\mathcal{S}\subset U(d)$ satisfies the spectral gap conjecture with the probability $1$.


title: A Second Wave of UD Hebrew Treebanking and Cross-Domain Parsing

abstract: Foundational Hebrew NLP tasks such as segmentation, tagging and parsing, have relied to date on various versions of the Hebrew Treebank (HTB, Sima'an et al. 2001). However, the data in HTB, a single-source newswire corpus, is now over 30 years old, and does not cover many aspects of contemporary Hebrew on the web. This paper presents a new, freely available UD treebank of Hebrew stratified from a range of topics selected from Hebrew Wikipedia. In addition to introducing the corpus and evaluating the quality of its annotations, we deploy automatic validation tools based on grew (Guillaume, 2021), and conduct the first cross domain parsing experiments in Hebrew. We obtain new state-of-the-art (SOTA) results on UD NLP tasks, using a combination of the latest language modelling and some incremental improvements to existing transformer based approaches. We also release a new version of the UD HTB matching annotation scheme updates from our new corpus.


title: Tug-the-hook symmetry for quantum 6j-symbols

abstract: We introduce a novel symmetry for quantum 6j-symbols, which we call the tug-the-hook symmetry. Unlike other known symmetries, it is applicable for any representations, including ones with multiplicities. We provide several evidences in favour of the tug-the-hook symmetry. First, this symmetry follows from the eigenvalue conjecture. Second, it is shown by several new examples of explicit coincidence of 6j-symbols with multiplicities. Third, the tug-the-hook symmetry for Wilson loops for knots in the 3d Chern-Simons theory implies the tug-the-hook symmetry for quantum 6j-symbols. An important implication of the analysis is the generalization of the tug-the-hook symmetry for the Chern-Simons Wilson loops to the case of links.


title: Higher-order magnetic anisotropy in soft-hard magnetic materials

abstract: We have computationally studied the properties of higher-order magnetic anisotropy constants in an L10/A1-FePt coreshell system which is characterized by a strong second-order 2-ion Fe-Pt anisotropy component. We show that the coreshell structure induces an unexpected fourth-order anisotropy constant K2 the magnitude of which varies non-monotonically with the core-size ratio R reaching a peak at R = 0.50. Furthermore, we find that K2 scales with the normalized magnetization by (M/Ms)^2.2 at temperatures below the Curie temperature - a remarkable deviation from the established Callen-Callen theory which instead predicts a scaling exponent of 10. We construct an analytic model which demonstrates K2 arises from the canting of the core and shell magnetization, and successfully reproduces and justifies the scaling exponent obtained from numerical simulation.


title: Control, Confidentiality, and the Right to be Forgotten

abstract: Recent digital rights frameworks give users the right to delete their data from systems that store and process their personal information (e.g., the "right to be forgotten" in the GDPR). How should deletion be formalized in complex systems that interact with many users and store derivative information? We argue that prior approaches fall short. Definitions of machine unlearning Cao and Yang [2015] are too narrowly scoped and do not apply to general interactive settings. The natural approach of deletion-as-confidentiality Garg et al. [2020] is too restrictive: by requiring secrecy of deleted data, it rules out social functionalities. We propose a new formalism: deletion-as-control. It allows users' data to be freely used before deletion, while also imposing a meaningful requirement after deletion--thereby giving users more control. Deletion-as-control provides new ways of achieving deletion in diverse settings. We apply it to social functionalities, and give a new unified view of various machine unlearning definitions from the literature. This is done by way of a new adaptive generalization of history independence. Deletion-as-control also provides a new approach to the goal of machine unlearning, that is, to maintaining a model while honoring users' deletion requests. We show that publishing a sequence of updated models that are differentially private under continual release satisfies deletion-as-control. The accuracy of such an algorithm does not depend on the number of deleted points, in contrast to the machine unlearning literature.


title: The Distribution of Unstable Fixed Points in Chaotic Neural Networks

abstract: We analytically determine the number and distribution of fixed points in a canonical model of a chaotic neural network. This distribution reveals that fixed points and dynamics are confined to separate shells in phase space. Furthermore, the distribution enables us to determine the eigenvalue spectra of the Jacobian at the fixed points. Despite the radial separation of fixed points and dynamics, we find that nearby fixed points act as partially attracting landmarks for the dynamics.


title: Independence of linear spectral statistics and the point process at the edge of Wigner matrices

abstract: In the current paper we consider a Wigner matrix and consider an analytic function of polynomial growth on a set containing the support of the semicircular law in its interior. We prove that the linear spectral statistics corresponding to the function and the point process at the edge of the Wigner matrix are asymptotically independent when the entries of the Wigner matrix are sub-Gaussian. The main ingredient of the proof is based on a recent paper by Banerjee [6]. The result of this paper can be viewed as a first step to find the joint distribution of eigenvalues in the bulk and the edge.

categories: math.PR math-ph math.CO math.MP math.ST stat.TH


title: Hierarchical Approach for Joint Semantic, Plant Instance, and Leaf Instance Segmentation in the Agricultural Domain

abstract: Plant phenotyping is a central task in agriculture, as it describes plants' growth stage, development, and other relevant quantities. Robots can help automate this process by accurately estimating plant traits such as the number of leaves, leaf area, and the plant size. In this paper, we address the problem of joint semantic, plant instance, and leaf instance segmentation of crop fields from RGB data. We propose a single convolutional neural network that addresses the three tasks simultaneously, exploiting their underlying hierarchical structure. We introduce task-specific skip connections, which our experimental evaluation proves to be more beneficial than the usual schemes. We also propose a novel automatic post-processing, which explicitly addresses the problem of spatially close instances, common in the agricultural domain because of overlapping leaves. Our architecture simultaneously tackles these problems jointly in the agricultural context. Previous works either focus on plant or leaf segmentation, or do not optimise for semantic segmentation. Results show that our system has superior performance compared to state-of-the-art approaches, while having a reduced number of parameters and is operating at camera frame rate.


title: Tunable Complexity Benchmarks for Evaluating Physics-Informed Neural Networks on Coupled Ordinary Differential Equations

abstract: In this work, we assess the ability of physics-informed neural networks (PINNs) to solve increasingly-complex coupled ordinary differential equations (ODEs). We focus on a pair of benchmarks: discretized partial differential equations and harmonic oscillators, each of which has a tunable parameter that controls its complexity. Even by varying network architecture and applying a state-of-the-art training method that accounts for "difficult" training regions, we show that PINNs eventually fail to produce correct solutions to these benchmarks as their complexity -- the number of equations and the size of time domain -- increases. We identify several reasons why this may be the case, including insufficient network capacity, poor conditioning of the ODEs, and high local curvature, as measured by the Laplacian of the PINN loss.


title: Communication-Efficient Topologies for Decentralized Learning with $O(1)$ Consensus Rate

abstract: Decentralized optimization is an emerging paradigm in distributed learning in which agents achieve network-wide solutions by peer-to-peer communication without the central server. Since communication tends to be slower than computation, when each agent communicates with only a few neighboring agents per iteration, they can complete iterations faster than with more agents or a central server. However, the total number of iterations to reach a network-wide solution is affected by the speed at which the agents' information is ``mixed'' by communication. We found that popular communication topologies either have large maximum degrees (such as stars and complete graphs) or are ineffective at mixing information (such as rings and grids). To address this problem, we propose a new family of topologies, EquiTopo, which has an (almost) constant degree and a network-size-independent consensus rate that is used to measure the mixing efficiency. In the proposed family, EquiStatic has a degree of $\Theta(\ln(n))$, where $n$ is the network size, and a series of time-dependent one-peer topologies, EquiDyn, has a constant degree of 1. We generate EquiDyn through a certain random sampling procedure. Both of them achieve an $n$-independent consensus rate. We apply them to decentralized SGD and decentralized gradient tracking and obtain faster communication and better convergence, theoretically and empirically. Our code is implemented through BlueFog and available at \url{https://github.com/kexinjinnn/EquiTopo}


title: Ensuring thermodynamic consistency with invertible coarse-graining

abstract: Coarse-grained models are a core computational tool in theoretical chemistry and biophysics. A judicious choice of a coarse-grained model can yield physical insight by isolating the essential degrees of freedom that dictate the thermodynamic properties of a complex, condensed-phase system. The reduced complexity of the model typically leads to lower computational costs and more efficient sampling compared to atomistic models. Designing ``good'' coarse-grained models is an art. Generally, the mapping from fine-grained configurations to coarse-grained configurations itself is not optimized in any way; instead, the energy function associated with the mapped configurations is. In this work, we explore the consequences of optimizing the coarse-grained representation alongside its potential energy function. We use a graph machine learning framework to embed atomic configurations into a low dimensional space to produce efficient representations of the original molecular system. Because the representation we obtain is no longer directly interpretable as a real space representation of the atomic coordinates, we also introduce an inversion process and an associated thermodynamic consistency relation that allows us to rigorously sample fine-grained configurations conditioned on the coarse-grained sampling. We show that this technique is robust, recovering the first two moments of the distribution of several observables in proteins such as chignolin and alanine dipeptide.


title: One Model to Edit Them All: Free-Form Text-Driven Image Manipulation with Semantic Modulations

abstract: Free-form text prompts allow users to describe their intentions during image manipulation conveniently. Based on the visual latent space of StyleGAN[21] and text embedding space of CLIP[34], studies focus on how to map these two latent spaces for text-driven attribute manipulations. Currently, the latent mapping between these two spaces is empirically designed and confines that each manipulation model can only handle one fixed text prompt. In this paper, we propose a method named Free-Form CLIP (FFCLIP), aiming to establish an automatic latent mapping so that one manipulation model handles free-form text prompts. Our FFCLIP has a cross-modality semantic modulation module containing semantic alignment and injection. The semantic alignment performs the automatic latent mapping via linear transformations with a cross attention mechanism. After alignment, we inject semantics from text prompt embeddings to the StyleGAN latent space. For one type of image (e.g., `human portrait'), one FFCLIP model can be learned to handle free-form text prompts. Meanwhile, we observe that although each training text prompt only contains a single semantic meaning, FFCLIP can leverage text prompts with multiple semantic meanings for image manipulation. In the experiments, we evaluate FFCLIP on three types of images (i.e., `human portraits', `cars', and `churches'). Both visual and numerical results show that FFCLIP effectively produces semantically accurate and visually realistic images. Project page: https://github.com/KumapowerLIU/FFCLIP.


title: SealClub: Computer-aided Paper Document Authentication

abstract: Digital authentication is a mature field, offering a range of solutions with rigorous mathematical guarantees. Nevertheless, paper documents, where cryptographic techniques are not directly applicable, are still widely utilized due to usability and legal reasons. We propose a novel approach to authenticating paper documents using smartphones by taking short videos of them. Our solution combines cryptographic and image comparison techniques to detect and highlight subtle semantic-changing attacks on rich documents, containing text and graphics, that could go unnoticed by humans. We rigorously analyze our approach, proving that it is secure against strong adversaries capable of compromising different system components. We also measure its accuracy empirically on a set of 128 videos of paper documents, half containing subtle forgeries. Our algorithm finds all forgeries accurately (no false alarms) after analyzing 5.13 frames on average (corresponding to 1.28 seconds of video). Highlighted regions are large enough to be visible to users, but small enough to precisely locate forgeries. Thus, our approach provides a promising way for users to authenticate paper documents using conventional smartphones under realistic conditions.


title: A hypothesis test for the domain of attraction of a random variable

abstract: In this work we address the problem of detecting wether a sampled probability distribution has infinite expectation. This issue is notably important when the sample results from complex numerical simulation methods. For example, such a situation occurs when one simulates stochastic particle systems with complex and singular McKean-Vlasov interaction kernels. As stated, the detection problem is ill-posed. We thus propose and analyze an asymptotic hypothesis test for independent copies of a given random variable~$X$ which is supposed to belong to an unknown domain of attraction of a stable law. The null hypothesis $\mathbf{H_0}$ is: `$X$ is in the domain of attraction of the Normal law' and the alternative hypothesis is $\mathbf{H_1}$: `$X$ is in the domain of attraction of a stable law with index smaller than 2'. Our key observation is that~$X$ cannot have a finite second moment when $\mathbf{H_0}$ is rejected (and therefore $\mathbf{H_1}$ is accepted). Surprisingly, we find it useful to derive our test from the statistics of random processes. More precisely, our hypothesis test is based on a statistic which is inspired by statistical methodologies to determine whether a semimartingale has jumps from the observation of one single path at discrete times. We justify our test by proving asymptotic properties of discrete time functionals of Brownian bridges.


title: PedFormer: Pedestrian Behavior Prediction via Cross-Modal Attention Modulation and Gated Multitask Learning

abstract: Predicting pedestrian behavior is a crucial task for intelligent driving systems. Accurate predictions require a deep understanding of various contextual elements that potentially impact the way pedestrians behave. To address this challenge, we propose a novel framework that relies on different data modalities to predict future trajectories and crossing actions of pedestrians from an ego-centric perspective. Specifically, our model utilizes a cross-modal Transformer architecture to capture dependencies between different data types. The output of the Transformer is augmented with representations of interactions between pedestrians and other traffic agents conditioned on the pedestrian and ego-vehicle dynamics that are generated via a semantic attentive interaction module. Lastly, the context encodings are fed into a multi-stream decoder framework using a gated-shared network. We evaluate our algorithm on public pedestrian behavior benchmarks, PIE and JAAD, and show that our model improves state-of-the-art in trajectory and action prediction by up to 22% and 13% respectively on various metrics. The advantages brought by components of our model are investigated via extensive ablation studies.


title: E2R: a Hierarchical-Learning inspired Novelty-Search method to generate diverse repertoires of grasping trajectories

abstract: Robotics grasping refers to the task of making a robotic system pick an object by applying forces and torques on its surface. Despite the recent advances in data-driven approaches, grasping remains an unsolved problem. Most of the works on this task are relying on priors and heavy constraints to avoid the exploration problem. Novelty Search (NS) refers to evolutionary algorithms that replace selection of best performing individuals with selection of the most novel ones. Such methods have already shown promising results on hard exploration problems. In this work, we introduce a new NS-based method that can generate large datasets of grasping trajectories in a platform-agnostic manner. Inspired by the hierarchical learning paradigm, our method decouples approach and prehension to make the behavioral space smoother. Experiments conducted on 3 different robot-gripper setups and on several standard objects shows that our method outperforms state-of-the-art for generating diverse repertoire of grasping trajectories, getting a higher successful run ratio, as well as a better diversity for both approach and prehension. Some of the generated solutions have been successfully deployed on a real robot, showing the exploitability of the obtained repertoires.


title: Guessing Random Additive Noise Decoding of Network Coded Data Transmitted over Burst Error Channels

abstract: We consider a transmitter that encodes data packets using network coding and broadcasts coded packets. A receiver employing network decoding recovers the data packets if a sufficient number of error-free coded packets are gathered. The receiver does not abandon its efforts to recover the data packets if network decoding is unsuccessful; instead, it employs syndrome decoding (SD) in an effort to repair erroneous received coded packets, and then reattempts network decoding. Most decoding techniques, including SD, assume that errors are independently and identically distributed within received coded packets. Motivated by the guessing random additive noise decoding (GRAND) framework, we propose transversal GRAND (T-GRAND): an algorithm that exploits statistical dependence in the occurrence of errors, complements network decoding and recovers all data packets with a higher probability than SD. T-GRAND examines error vectors in order of their likelihood of occurring and altering the transmitted packets. Calculation and sorting of the likelihood values of all error vectors is a simple but computationally expensive process. To reduce the complexity of T-GRAND, we take advantage of the properties of the likelihood function and develop an efficient method, which identifies the most likely error vectors without computing and ordering all likelihood values.


title: Semi-supervised Learning with Network Embedding on Ambient RF Signals for Geofencing Services

abstract: In applications such as elderly care, dementia anti-wandering and pandemic control, it is important to ensure that people are within a predefined area for their safety and well-being. We propose GEM, a practical, semi-supervised Geofencing system with network EMbedding, which is based only on ambient radio frequency (RF) signals. GEM models measured RF signal records as a weighted bipartite graph. With access points on one side and signal records on the other, it is able to precisely capture the relationships between signal records. GEM then learns node embeddings from the graph via a novel bipartite network embedding algorithm called BiSAGE, based on a Bipartite graph neural network with a novel bi-level SAmple and aggreGatE mechanism and non-uniform neighborhood sampling. Using the learned embeddings, GEM finally builds a one-class classification model via an enhanced histogram-based algorithm for in-out detection, i.e., to detect whether the user is inside the area or not. This model also keeps on improving with newly collected signal records. We demonstrate through extensive experiments in diverse environments that GEM shows state-of-the-art performance with up to 34% improvement in F-score. BiSAGE in GEM leads to a 54% improvement in F-score, as compared to the one without BiSAGE.


title: Hierarchical Policy Blending as Inference for Reactive Robot Control

abstract: Motion generation in cluttered, dense, and dynamic environments is a central topic in robotics, rendered as a multi-objective decision-making problem. Current approaches trade-off between safety and performance. On the one hand, reactive policies guarantee fast response to environmental changes at the risk of suboptimal behavior. On the other hand, planning-based motion generation provides feasible trajectories, but the high computational cost may limit the control frequency and thus safety. To combine the benefits of reactive policies and planning, we propose a hierarchical motion generation method. Moreover, we adopt probabilistic inference methods to formalize the hierarchical model and stochastic optimization. We realize this approach as a weighted product of stochastic, reactive expert policies, where planning is used to adaptively compute the optimal weights over the task horizon. This stochastic optimization avoids local optima and proposes feasible reactive plans that find paths in cluttered and dense environments. Our extensive experimental study in planar navigation and 6DoF manipulation shows that our proposed hierarchical motion generation method outperforms both myopic reactive controllers and online re-planning methods.


title: Zero-product balanced algebras

abstract: We say that an algebra is zero-product balanced if $ab\otimes c$ and $a\otimes bc$ agree modulo tensors of elements with zero-product. This is closely related to but more general than the notion of a zero-product determined algebra of Bre\v{s}ar, Gra\v{s}i\v{c} and Ortega. Every surjective, zero-product preserving map from a zero-product balanced algebra is automatically a weighted epimorphism, and this implies that zero-product balanced algebras are determined by their linear and zero-product structure. Further, the commutator subspace of a zero-product balanced algebra can be described in terms of square-zero elements. We show that a semiprime, commutative algebra is zero-product balanced if and only if it is generated by idempotents. It follows that every commutative, zero-product balanced algebra is spanned by nilpotent and idempotent elements. We deduce a dichotomy for unital, zero-product balanced algebras: They either admit a character or are generated by nilpotents.


title: Introducing Conceptual Geological Information into Bayesian Tomographic Imaging

abstract: Geological process models simulate a range of dynamic processes to evolve a base topography into a final 2D cross-section or 3D geological scenario. In principle, process parameters may be updated to better align with observed geophysical or geological data; however, many realisations of process models that embody different conceptual models may provide similar consistency with observed data, and finding all such realisations may be infeasible due to the computational demands of the task. Alternatively, geophysical probabilistic tomographic methods may be used to estimate the family of models of a target subsurface structure that are consistent both with information obtained from previous experiments and with new data (the Bayesian posterior distribution). However, this family seldom embodies geologically reasonable images. We show that the posterior distribution of tomographic images can be enhanced by injecting geological prior information into Bayesian inference, and we can do this near-instantaneously by trained MDNs. We invoke two geological concepts as geological prior information: a braided river system, and a set of marine parasequences, each parameterised by a GAN. Data from a target structure can then be used to infer the image parameter values using either geological concept using MDNs. Our MDN solutions closely resemble those found using expensive McMC methods, and while the use of incorrect geological conceptual models provides less accurate results the mean structures still approximate the target. We then show that a classification network can infer the correct geological conceptual model. Thus, imposing even incorrect geological prior information may improve geophysical tomographic images compared to those obtained without geological prior information, and in principle geological conceptual models can be inferred directly from geophysical travel time data.


title: Numerically Stable Sparse Gaussian Processes via Minimum Separation using Cover Trees

abstract: Gaussian processes are frequently deployed as part of larger machine learning and decision-making systems, for instance in geospatial modeling, Bayesian optimization, or in latent Gaussian models. Within a system, the Gaussian process model needs to perform in a stable and reliable manner to ensure it interacts correctly with other parts of the system. In this work, we study the numerical stability of scalable sparse approximations based on inducing points. To do so, we first review numerical stability, and illustrate typical situations in which Gaussian process models can be unstable. Building on stability theory originally developed in the interpolation literature, we derive sufficient and in certain cases necessary conditions on the inducing points for the computations performed to be numerically stable. For low-dimensional tasks such as geospatial modeling, we propose an automated method for computing inducing points satisfying these conditions. This is done via a modification of the cover tree data structure, which is of independent interest. We additionally propose an alternative sparse approximation for regression with a Gaussian likelihood which trades off a small amount of performance to further improve stability. We provide illustrative examples showing the relationship between stability of calculations and predictive performance of inducing point methods on spatial tasks.


title: Optimal storage capacity of quantum Hopfield neural networks

abstract: Quantum neural networks form one pillar of the emergent field of quantum machine learning. Here, quantum generalisations of classical networks realizing associative memories - capable of retrieving patterns, or memories, from corrupted initial states - have been proposed. It is a challenging open problem to analyze quantum associative memories with an extensive number of patterns, and to determine the maximal number of patterns the quantum networks can reliably store, i.e. their storage capacity. In this work, we propose and explore a general method for evaluating the maximal storage capacity of quantum neural network models. By generalizing what is known as Gardner's approach in the classical realm, we exploit the theory of classical spin glasses for deriving the optimal storage capacity of quantum networks with quenched pattern variables. As an example, we apply our method to an open-system quantum associative memory formed of interacting spin-1/2 particles realizing coupled artificial neurons. The system undergoes a Markovian time evolution resulting from a dissipative retrieval dynamics that competes with a coherent quantum dynamics. We map out the non-equilibrium phase diagram and study the effect of temperature and Hamiltonian dynamics on the storage capacity. Our method opens an avenue for a systematic characterization of the storage capacity of quantum associative memories.


title: GRAFICS: Graph Embedding-based Floor Identification Using Crowdsourced RF Signals

abstract: We study the problem of floor identification for radiofrequency (RF) signal samples obtained in a crowdsourced manner, where the signal samples are highly heterogeneous and most samples lack their floor labels. We propose GRAFICS, a graph embedding-based floor identification system. GRAFICS first builds a highly versatile bipartite graph model, having APs on one side and signal samples on the other. GRAFICS then learns the low-dimensional embeddings of signal samples via a novel graph embedding algorithm named E-LINE. GRAFICS finally clusters the node embeddings along with the embeddings of a few labeled samples through a proximity-based hierarchical clustering, which eases the floor identification of every new sample. We validate the effectiveness of GRAFICS based on two large-scale datasets that contain RF signal records from 204 buildings in Hangzhou, China, and five buildings in Hong Kong. Our experiment results show that GRAFICS achieves highly accurate prediction performance with only a few labeled samples (96% in both micro- and macro-F scores) and significantly outperforms several state-of-the-art algorithms (by about 45% improvement in micro-F score and 53% in macro-F score).


title: Entropy of the quantum work distribution

abstract: The statistics of work done on a quantum system can be quantified by the two-point measurement scheme. We show how the Shannon entropy of the work distribution admits a general upper bound depending on the initial diagonal entropy, and a purely quantum term associated to the relative entropy of coherence. We demonstrate that this approach captures strong signatures of the underlying physics in a diverse range of settings. In particular, we carry out a detailed study of the Aubry-Andr\'e-Harper model and show that the entropy of the work distribution conveys very clearly the physics of the localization transition, which is not apparent from the statistical moments.


title: A Serverless Publish/Subscribe System

abstract: Operating a scalable and reliable server application, such as publish/subscribe (pub/sub) systems, requires tremendous development efforts and resources. The emerging serverless paradigm simplifies the development and deployment of highly available applications by delegating most operational concerns to the cloud providers. The serverless paradigm describes a programming model where the developers break the application downs into smaller microservices that run on the cloud in response to events. This paper proposes designing a serverless pub/sub system based on the IBM Bluemix cloud platform. Our pub/sub system performs topic-based, content-based, and function-based matchings. The function-based matching is a novel matching approach where the subscribers can define a highly customizable subscription function that the broker applies to the publications in the cloud. The evaluations of the designed system verify the practicality of the designed system. However, the vendor-specific constraints of the IBM Bluemix resources are a bottleneck to the scalability of the broker.


title: An IMEX-DG solver for atmospheric dynamics simulations with adaptive mesh refinement

abstract: We present an accurate and efficient solver for atmospheric dynamics simulations that allows for non-conforming mesh refinement. The model equations are the conservative Euler equations for compressible flows. The numerical method is based on an $h-$adaptive Discontinuous Galerkin spatial discretization and on a second order Additive Runge Kutta IMEX method for time discretization, especially designed for low Mach regimes. The solver is implemented in the framework of the $deal.II$ library, whose mesh refinement capabilities are employed to enhance efficiency. A number of numerical experiments based on classical benchmarks for atmosphere dynamics demonstrate the properties and advantages of the proposed method.


title: Uncovering Extreme Nonlinear Dynamics in Solids Through Time-Domain Field Analysis

abstract: Time-domain analysis of harmonic fields with sub-cycle resolution is now experimentally viable due to the emergence of sensitive, on-chip techniques for petahertz-scale optical-field sampling. We demonstrate how such a time-domain, field-resolved analysis uncovers the extreme nonlinear electron dynamics responsible for high-harmonic generation within solids. Time-dependent density functional theory was used to simulate harmonic generation from a solid-state band-gap system driven by near- to mid-infrared waveforms. Particular attention was paid to regimes where both intraband and interband emission mechanisms play a critical role in shaping the nonlinear response. We show that a time-domain analysis of the harmonic radiation fields identifies the interplay between intra- and interband dynamical processes underlying the nonlinear light generation. With further analysis, we show that changes to the dominant emission regime can occur after only slight changes to the peak driving intensity and central driving wavelength. Time-domain analysis of harmonic fields also reveals, for the first time, the possibility of rapid changes in the dominant emission mechanism within the temporal window of the driving pulse envelope. Finally, we examine the experimental viability of performing time-domain analysis of harmonic fields with sub-cycle resolution using realistic parameters.


title: A descent algorithm for the optimal control of ReLU neural network informed PDEs based on approximate directional derivatives

abstract: We propose and analyze a numerical algorithm for solving a class of optimal control problems for learning-informed semilinear partial differential equations. The latter is a class of PDEs with constituents that are in principle unknown and are approximated by nonsmooth ReLU neural networks. We first show that a direct smoothing of the ReLU network with the aim to make use of classical numerical solvers can have certain disadvantages, namely potentially introducing multiple solutions for the corresponding state equation. This motivates us to devise a numerical algorithm that treats directly the nonsmooth optimal control problem, by employing a descent algorithm inspired by a bundle-free method. Several numerical examples are provided and the efficiency of the algorithm is shown.


title: Pushing forward jet substructure measurements in heavy-ion collisions

abstract: Energetic jets that traverse the quark-gluon plasma created in heavy-ion collisions serve as excellent probes to study this new state of deconfined QCD matter. Presently, however, our ability to achieve a crisp theoretical interpretation of the crescent number of jet observables measured in experiments is hampered by the presence of selection biases. The aim of this work is to minimise those selection biases associated to the modification of the quark- vs. gluon-initiated jet fraction in order to assess the presence of other medium-induced effects, namely color decoherence, by exploring the rapidity dependence of jet substructure observables. So far, all jet substructure measurements at mid-rapidity have shown that heavy-ion jets are narrower than vacuum jets. We show both analytically and with Monte Carlo simulations that if the narrowing effect persists at forward rapidities, where the quark-initiated jet fraction is greatly increased, this could serve as an unambiguous experimental observation of color decoherence dynamics in heavy-ion collisions.


title: The Possible Cause of the 40 SpaceX Starlink Satellite Losses in February 2022: Prompt Penetrating Electric Fields and the Dayside Equatorial and Midlatitude Ionospheric Convective Uplift

abstract: On ~1613 UT, 3 February 2022 SpaceX launched 49 Starlink satellites from Cape Kennedy, Florida into ~210 km altitude orbits where they were to receive subsequent boosts. We assume that 9 satellites received subsequent boosts and succeeded in obtaining stable orbits. Several of the Starlink satellites reentered the atmosphere in the early morning hours of 7 February. Two magnetic storms occurred one with a peak SYM-H intensity of -80 nT at ~1056 UT on 3 February and a second with a SYM-H peak intensity of -71 nT on ~2059 UT 4 February. The ESA polar orbiting Swarm B satellite data show that enhanced storm-time air mass densities occurred in dayside equatorial and midlatitudes at ~500 km altitude with a density peak increase of ~50% higher than quiet time daytime values. The nightside density peak increase was ~100-190% compared to quiet time nighttime values. Prompt penetration electric fields causing ExB uplift of the dayside F-region O+ ions and the downward convection of the nightside O+ ions can explain the Swarm B day-night asymmetry during the magnetic storm main phases and are the probable cause of the losses of the Starlink satellites. Our scenario for the 40 Starlink satellite losses is different from Dang et al. (2022) who assumed that the Starlink satellites received no boosts at 210 km altitude.


title: Text Detection Forgot About Document OCR

abstract: Detection and recognition of text from scans and other images, commonly denoted as Optical Character Recognition (OCR), is a widely used form of automated document processing with a number of methods available. Yet OCR systems still do not achieve 100% accuracy, requiring human corrections in applications where correct readout is essential. Advances in machine learning enabled even more challenging scenarios of text detection and recognition "in-the-wild" - such as detecting text on objects from photographs of complex scenes. While the state-of-the-art methods for in-the-wild text recognition are typically evaluated on complex scenes, their performance in the domain of documents is typically not published, and a comprehensive comparison with methods for document OCR is missing. This paper compares several methods designed for in-the-wild text recognition and for document text recognition, and provides their evaluation on the domain of structured documents. The results suggest that state-of-the-art methods originally proposed for in-the-wild text detection also achieve competitive results on document text detection, outperforming available OCR methods. We argue that the application of document OCR should not be omitted in evaluation of text detection and recognition methods.


title: HashFormers: Towards Vocabulary-independent Pre-trained Transformers

abstract: Transformer-based pre-trained language models are vocabulary-dependent, mapping by default each token to its corresponding embedding. This one-to-one mapping results into embedding matrices that occupy a lot of memory (i.e. millions of parameters) and grow linearly with the size of the vocabulary. Previous work on on-device transformers dynamically generate token embeddings on-the-fly without embedding matrices using locality-sensitive hashing over morphological information. These embeddings are subsequently fed into transformer layers for text classification. However, these methods are not pre-trained. Inspired by this line of work, we propose HashFormers, a new family of vocabulary-independent pre-trained transformers that support an unlimited vocabulary (i.e. all possible tokens in a corpus) given a substantially smaller fixed-sized embedding matrix. We achieve this by first introducing computationally cheap hashing functions that bucket together individual tokens to embeddings. We also propose three variants that do not require an embedding matrix at all, further reducing the memory requirements. We empirically demonstrate that HashFormers are more memory efficient compared to standard pre-trained transformers while achieving comparable predictive performance when fine-tuned on multiple text classification tasks. For example, our most efficient HashFormer variant has a negligible performance degradation (0.4\% on GLUE) using only 99.1K parameters for representing the embeddings compared to 12.3-38M parameters of state-of-the-art models.


title: Chemodynamical Analysis of Metal-rich High-eccentricity Stars in the Milky Way's Disk

abstract: We present a chemodynamical analysis of 11,562 metal-rich, high-eccentricity halo-like main-sequence (MS) stars, which has been referred to as the Splash or Splashed Disk, selected from Sloan Digital Sky Survey (SDSS) and Large Sky Area Multi-Object Fiber Spectroscopic Telescope (LAMOST). When divided into two groups, a low-[$\alpha$/Fe] population (LAP) and a high-[$\alpha$/Fe] population (HAP), based on kinematics and chemistry, we find that they exhibit very distinct properties, indicative of different origins. From a detailed analysis of their orbital inclinations, we suggest that the HAP arises from a large fraction (~ 90%) of heated disk stars and a small fraction (~ 10%) of in situ stars from a starburst population, likely induced by interaction of the Milky Way with Gaia Sausage/Enceladus (GSE) or other early merger. The LAP comprises about half accreted stars from the GSE and half formed by the GSE-induced starburst. Our findings further imply that the Splash stars in our sample originated from at least three different mechanisms - accretion, disk heating, and a merger induced starburst.


title: Post-Training Quantization for Energy Efficient Realization of Deep Neural Networks

abstract: The biggest challenge for the deployment of Deep Neural Networks (DNNs) close to the generated data on edge devices is their size, i.e., memory footprint and computational complexity. Both are significantly reduced with quantization. With the resulting lower word-length, the energy efficiency of DNNs increases proportionally. However, lower word-length typically causes accuracy degradation. To counteract this effect, the quantized DNN is retrained. Unfortunately, training costs up to 5000x more energy than the inference of the quantized DNN. To address this issue, we propose a post-training quantization flow without the need for retraining. For this, we investigated different quantization options. Furthermore, our analysis systematically assesses the impact of reduced word-lengths of weights and activations revealing a clear trend for the choice of word-length. Both aspects have not been systematically investigated so far. Our results are independent of the depth of the DNNs and apply to uniform quantization, allowing fast quantization of a given pre-trained DNN. We excel state-of-the-art for 6 bit by 2.2% Top-1 accuracy for ImageNet. Without retraining, our quantization to 8 bit surpasses floating-point accuracy.


title: Expose Backdoors on the Way: A Feature-Based Efficient Defense against Textual Backdoor Attacks

abstract: Natural language processing (NLP) models are known to be vulnerable to backdoor attacks, which poses a newly arisen threat to NLP models. Prior online backdoor defense methods for NLP models only focus on the anomalies at either the input or output level, still suffering from fragility to adaptive attacks and high computational cost. In this work, we take the first step to investigate the unconcealment of textual poisoned samples at the intermediate-feature level and propose a feature-based efficient online defense method. Through extensive experiments on existing attacking methods, we find that the poisoned samples are far away from clean samples in the intermediate feature space of a poisoned NLP model. Motivated by this observation, we devise a distance-based anomaly score (DAN) to distinguish poisoned samples from clean samples at the feature level. Experiments on sentiment analysis and offense detection tasks demonstrate the superiority of DAN, as it substantially surpasses existing online defense methods in terms of defending performance and enjoys lower inference costs. Moreover, we show that DAN is also resistant to adaptive attacks based on feature-level regularization. Our code is available at https://github.com/lancopku/DAN.


title: Superconvergence and accuracy enhancement of discontinuous Galerkin solutions for Vlasov-Maxwell equations

abstract: This paper considers the discontinuous Galerkin (DG) methods for solving the Vlasov-Maxwell (VM) system, a fundamental model for collisionless magnetized plasma. The DG methods provide accurate numerical description with conservation and stability properties. However, to resolve the high dimensional probability distribution function, the computational cost is the main bottleneck even for modern-day supercomputers. This work studies the applicability of a post-processing technique to the DG solution to enhance its accuracy and resolution for the VM system. In particular, we prove the superconvergence of order $(2k+\frac{1}{2})$ in the negative order norm for the probability distribution function and the electromagnetic fields when piecewise polynomial degree $k$ is used. Numerical tests including Landau damping, two-stream instability and streaming Weibel instabilities are considered showing the performance of the post-processor.


title: Modified toric code models with flux attachment from Hopf algebra gauge theory

abstract: Kitaev's toric code is constructed using a finite gauge group from gauge theory. Such gauge theories can be generalized with the gauge group generalized to any finite-dimensional semisimple Hopf algebra. This also leads to generalizations of the toric code. Here we consider the simple case where the gauge group is unchanged but furnished with a non-trivial quasitriangular structure (R-matrix), which modifies the construction of the gauge theory. This leads to some interesting phenomena; for example, the space of functions on the group becomes a non-commutative algebra. We also obtain simple Hamiltonian models generalizing the toric code, which are of the same overall topological type as the toric code, except that the various species of particles created by string operators in the model are permuted in a way that depends on the R-matrix. In the case of $\mathbb{Z}_{N}$ gauge theory, we find that the introduction of a non-trivial R-matrix amounts to flux attachment.

categories: cond-mat.str-el math-ph math.MP quant-ph


title: A holographic approach to the six-dimensional superconformal index

abstract: We present a conjectural description of the space of local operators on a stack of finitely many fivebranes in $M$ theory at the level of the holomorphic twist. Our approach is through the lens of twisted holography and utilizes a description of the minimal twist of eleven-dimensional supergravity. We find that the spaces of local operators are modules for the exceptional linearly compact super Lie algebra $E(3|6)$. From the conjectural description of local operators we deduce closed formulas for the superconformal index of six-dimensional $\mathcal{N}=(2,0)$ theories of type $A_{N-1}$.


title: Popularity on the Roommate Diversity Problem

abstract: A recently introduced restricted variant of the multidimensional stable roommate problem is the roommate diversity problem: each agent belongs to one of two types (e.g., red and blue), and the agents' preferences over the coalitions solely depend on the fraction of agents of their own type among their roommates. There are various notions of stability that defines an optimal partitioning of agents. The notion of popularity has received a lot of attention recently. A partitioning of agents is popular if there does not exist another partitioning in which more agents are better off than worse off. Computing a popular partition in a stable roommate game can be done in polynomial time. When we allow ties the stable roommate problem becomes NP-complete. Determining the existence of a popular solution in the multidimensional stable roommate problem also NP-hard. We show that in the roommate diversity problem with the room size fixed to two, the problem becomes tractable. Particularly, a popular partitioning of agents is guaranteed to exist and can be computed in polynomial time. Additionally a mixed popular partitioning of agents is always guaranteed to exist in any roommate diversity game. By contrast, when there are no restrictions on the coalition size of a roommate diversity game, a popular partitioning may fail to exist and the problem becomes intractable. Our results intractability results are summarized as follows: * Determining the existence of a popular partitioning is co-NP-hard, even if the agents' preferences are trichotomous. * Determining the existence of a strictly popular partitioning is co-NP-hard, even if the agents' preferences are dichotomous. * Computing a mixed popular partitioning of agents in polynomial time is impossible unless P=NP, even if the agents' preferences are dichotomous.