title: MeerKAT's View of the Bullet Cluster 1E 0657-55.8

abstract: The Bullet cluster (1E 0657-55.8) is a massive merging system at redshift $z$=0.296, known to host a powerful radio halo and a relic. Here we present high fidelity MeerKAT L-band (0.9-1.7 GHz) observations of the Bullet cluster, in which we trace a larger extent of both the radio halo and relic in comparison to previous studies. The size of the recovered radio halo is 1.6 Mpc $\times$ 1.3 Mpc and the largest linear size of the relic is ~988 kpc. We detect a new decrement feature on the southern outskirts of the halo emission, where a region appears to have a lower surface brightness in comparison to its surroundings. The larger extension on the outskirts of the halo is faint, which suggests lower relativistic electron density or a weaker magnetic field. An in-band spectral index map of the radio halo reveals a hint of radial steepening towards the edges of the diffuse source, likely due to synchrotron electron ageing. The integrated spectral index of the radio halo is 1.1$\pm$0.2. We perform a radio-X-ray surface brightness point-to-point analysis, which reveals a linear correlation for the radio halo. This indicates that the radio halo emission is produced by primary re-acceleration mechanisms. Finally, we derive a radio Mach number of M_R= 4.6$\pm$0.9 for the relic shock region, which is higher than the Mach number inferred by earlier analyses based on X-ray data. Discrepancies between radio and X-ray Mach numbers have been observed for multiple systems, with studies suggesting that this is due to various factors, including relic orientation.


title: Skeletal Human Action Recognition using Hybrid Attention based Graph Convolutional Network

abstract: In skeleton-based action recognition, Graph Convolutional Networks model human skeletal joints as vertices and connect them through an adjacency matrix, which can be seen as a local attention mask. However, in most existing Graph Convolutional Networks, the local attention mask is defined based on natural connections of human skeleton joints and ignores the dynamic relations for example between head, hands and feet joints. In addition, the attention mechanism has been proven effective in Natural Language Processing and image description, which is rarely investigated in existing methods. In this work, we proposed a new adaptive spatial attention layer that extends local attention map to global based on relative distance and relative angle information. Moreover, we design a new initial graph adjacency matrix that connects head, hands and feet, which shows visible improvement in terms of action recognition accuracy. The proposed model is evaluated on two large-scale and challenging datasets in the field of human activities in daily life: NTU-RGB+D and Kinetics skeleton. The results demonstrate that our model has strong performance on both dataset.


title: Electromagnetic emission from axionic boson star collisions

abstract: We explore the dynamics of boson stars in the presence of axionic couplings through nonlinear evolutions of Einstein's field equations. We show that, for large axionic couplings, isolated boson stars become unstable, and decay via a large burst of electromagnetic radiation, becoming less massive and more dilute. Our full nonlinear results are in good agreement with flat-space estimates for the critical couplings. We then consider head-on collisions of sub-critical boson stars and study the electromagnetic and gravitational signal. Boson stars cluster around the critical point via interactions, and we argue that mergers will generically be also sources of electromagnetic radiation, in addition to gravitational waves, which can be used to place constraints on the axionic coupling if such multimessenger signals are detected.


title: An Improved Algorithm for Finding the Shortest Synchronizing Words

abstract: A synchronizing word of a deterministic finite complete automaton is a word whose action maps every state to a single one. Finding a shortest or a short synchronizing word is a central computational problem in the theory of synchronizing automata and is applied in other areas such as model-based testing and the theory of codes. Because the problem of finding a shortest synchronizing word is computationally hard, among \emph{exact} algorithms only exponential ones are known. We redesign the previously fastest known exact algorithm based on the bidirectional breadth-first search and improve it with respect to time and space in a practical sense. We develop new algorithmic enhancements and adapt the algorithm to multithreaded and GPU computing. Our experiments show that the new algorithm is multiple times faster than the previously fastest one and its advantage quickly grows with the hardness of the problem instance. Given a modest time limit, we compute the lengths of the shortest synchronizing words for random binary automata up to 570 states, significantly beating the previous record. We refine the experimental estimation of the average reset threshold of these automata. Finally, we develop a general computational package devoted to the problem, where an efficient and practical implementation of our algorithm is included, together with several well-known heuristics.


title: A high-performance custom photodetection system to probe the light yield enhancement in oriented crystals

abstract: Scintillating homogeneous detectors represent the state of the art in electromagnetic calorimetry. Moreover, the currently neglected crystalline nature of the most common inorganic scintillators can be exploited to achieve an outstanding performance boost in terms of compactness and energy resolution. In fact, it was recently demonstrated by the AXIAL/ELIOT experiments that a strong reduction in the radiation length inside PWO, and a subsequent enhancement in the scintillation light emitted per unit thickness, are attained when the incident particle trajectory is aligned with a crystal axis within $\sim 1^\circ$. A SiPM-based system has been developed to directly probe this remarkable effect by measuring the scintillation light emitted by a PWO sample. The same concept could be applied to full-scale detectors that would feature a design significantly more compact than currently achievable and unparalleled resolution in the range of interest for present and future experiments.


title: Paint and Distill: Boosting 3D Object Detection with Semantic Passing Network

abstract: 3D object detection task from lidar or camera sensors is essential for autonomous driving. Pioneer attempts at multi-modality fusion complement the sparse lidar point clouds with rich semantic texture information from images at the cost of extra network designs and overhead. In this work, we propose a novel semantic passing framework, named SPNet, to boost the performance of existing lidar-based 3D detection models with the guidance of rich context painting, with no extra computation cost during inference. Our key design is to first exploit the potential instructive semantic knowledge within the ground-truth labels by training a semantic-painted teacher model and then guide the pure-lidar network to learn the semantic-painted representation via knowledge passing modules at different granularities: class-wise passing, pixel-wise passing and instance-wise passing. Experimental results show that the proposed SPNet can seamlessly cooperate with most existing 3D detection frameworks with 1~5% AP gain and even achieve new state-of-the-art 3D detection performance on the KITTI test benchmark. Code is available at: https://github.com/jb892/SPNet.


title: Huqariq: A Multilingual Speech Corpus of Native Languages of Peru for Speech Recognition

abstract: The Huqariq corpus is a multilingual collection of speech from native Peruvian languages. The transcribed corpus is intended for the research and development of speech technologies to preserve endangered languages in Peru. Huqariq is primarily designed for the development of automatic speech recognition, language identification and text-to-speech tools. In order to achieve corpus collection sustainably, we employ the crowdsourcing methodology. Huqariq includes four native languages of Peru, and it is expected that by the end of the year 2022, it can reach up to 20 native languages out of the 48 native languages in Peru. The corpus has 220 hours of transcribed audio recorded by more than 500 volunteers, making it the largest speech corpus for native languages in Peru. In order to verify the quality of the corpus, we present speech recognition experiments using 220 hours of fully transcribed audio.


title: Banach-Mazur Distance from $\ell_p^3$ to $\ell_\infty^3$

abstract: The maximum of the Banach-Mazur distance $d_{BM}^M(X,\ell_\infty^n)$, where $X$ ranges over the set of all $n$-dimensional real Banach spaces, is difficult to compute. In fact, it is already not easy to get the maximum of $d_{BM}^M(\ell_p^n,\ell_\infty^n)$ for all $p\in [1,\infty]$. We prove that $d_{BM}^M(\ell_p^3,\ell_\infty^3)\leq 9/5,~\forall p\in[1,\infty]$. As an application, the following result related to Borsuk's partition problem in Banach spaces is obtained: any subset $A$ of $\ell_p^3$ having diameter $1$ is the union of $8$ subsets of $A$ whose diameters are at most $0.9$.


title: Modality-Aware Contrastive Instance Learning with Self-Distillation for Weakly-Supervised Audio-Visual Violence Detection

abstract: Weakly-supervised audio-visual violence detection aims to distinguish snippets containing multimodal violence events with video-level labels. Many prior works perform audio-visual integration and interaction in an early or intermediate manner, yet overlooking the modality heterogeneousness over the weakly-supervised setting. In this paper, we analyze the modality asynchrony and undifferentiated instances phenomena of the multiple instance learning (MIL) procedure, and further investigate its negative impact on weakly-supervised audio-visual learning. To address these issues, we propose a modality-aware contrastive instance learning with self-distillation (MACIL-SD) strategy. Specifically, we leverage a lightweight two-stream network to generate audio and visual bags, in which unimodal background, violent, and normal instances are clustered into semi-bags in an unsupervised way. Then audio and visual violent semi-bag representations are assembled as positive pairs, and violent semi-bags are combined with background and normal instances in the opposite modality as contrastive negative pairs. Furthermore, a self-distillation module is applied to transfer unimodal visual knowledge to the audio-visual model, which alleviates noises and closes the semantic gap between unimodal and multimodal features. Experiments show that our framework outperforms previous methods with lower complexity on the large-scale XD-Violence dataset. Results also demonstrate that our proposed approach can be used as plug-in modules to enhance other networks. Codes are available at https://github.com/JustinYuu/MACIL_SD.


title: Next-ViT: Next Generation Vision Transformer for Efficient Deployment in Realistic Industrial Scenarios

abstract: Due to the complex attention mechanisms and model design, most existing vision Transformers (ViTs) can not perform as efficiently as convolutional neural networks (CNNs) in realistic industrial deployment scenarios, e.g. TensorRT and CoreML. This poses a distinct challenge: Can a visual neural network be designed to infer as fast as CNNs and perform as powerful as ViTs? Recent works have tried to design CNN-Transformer hybrid architectures to address this issue, yet the overall performance of these works is far away from satisfactory. To end these, we propose a next generation vision Transformer for efficient deployment in realistic industrial scenarios, namely Next-ViT, which dominates both CNNs and ViTs from the perspective of latency/accuracy trade-off. In this work, the Next Convolution Block (NCB) and Next Transformer Block (NTB) are respectively developed to capture local and global information with deployment-friendly mechanisms. Then, Next Hybrid Strategy (NHS) is designed to stack NCB and NTB in an efficient hybrid paradigm, which boosts performance in various downstream tasks. Extensive experiments show that Next-ViT significantly outperforms existing CNNs, ViTs and CNN-Transformer hybrid architectures with respect to the latency/accuracy trade-off across various vision tasks. On TensorRT, Next-ViT surpasses ResNet by 5.5 mAP (from 40.4 to 45.9) on COCO detection and 7.7% mIoU (from 38.8% to 46.5%) on ADE20K segmentation under similar latency. Meanwhile, it achieves comparable performance with CSWin, while the inference speed is accelerated by 3.6x. On CoreML, Next-ViT surpasses EfficientFormer by 4.6 mAP (from 42.6 to 47.2) on COCO detection and 3.5% mIoU (from 45.1% to 48.6%) on ADE20K segmentation under similar latency. Our code and models are made public at: https://github.com/bytedance/Next-ViT


title: Typical perturbation theory: conditions, accuracy and comparison with a mesoscopic case

abstract: The perturbation theory based on typicality introduced in Ref. [1] and further refined in Refs. [2, 3] provides a powerful tool since it is intended to be applicable to a wide range of scenarios while relying only on a few parameters. Even though the authors present various examples to demonstrate the effectiveness of the theory, the conditions used in its derivation are often not thoroughly checked. It is argued that this is justified (without analytical reasoning) by the robustness of the theory. In the paper at hand, said perturbation theory is tested on three spin-based models. The following criteria are taken into focus: the fulfillment of the conditions, the accuracy of the predicted dynamics and the relevance of the results with respect to a mesoscopic case.


title: Integer optimal control problems with total variation regularization: Optimality conditions and fast solution of subproblems

abstract: We investigate local optimality conditions of first and second order for integer optimal control problems with total variation regularization via a finite-dimensional switching point problem. We show the equivalence of local optimality for both problems, which will be used to derive conditions concerning the switching points of the control function. A non-local optimality condition treating back-and-forth switches will be formulated. For the numerical solution, we propose a proximal-gradient method. The emerging discretized subproblems will be solved by employing Bellman's optimality principle, leading to an algorithm which is polynomial in the mesh size and in the admissible control levels. An adaption of this algorithm can be used to handle subproblems of the trust-region method proposed in Leyffer, Manns, 2021. Finally, we demonstrate computational results.


title: Quantum loop groups for symmetric Cartan matrices

abstract: We introduce a quantum loop group associated to a general symmetric Cartan matrix, by imposing just enough relations between the usual generators $\{e_{i,k}, f_{i,k}\}_{i \in I, k \in \mathbb{Z}}$ in order for the natural Hopf pairing between the positive and negative halves of the quantum loop group to be perfect. As an application, we describe the localized K-theoretic Hall algebra of any quiver without loops, endowed with a particularly important $\mathbb{C}^*$ action.


title: Systematics of fully heavy dibaryons

abstract: We systematically study the mass spectra of the fully heavy dibaryons in an extended chromomagnetic model, which includes both the colorelectric and chromomagnetic interactions. We find no stable state below the corresponding baryon-baryon thresholds. Besides the masses, we also estimate the relative width ratios of the two-body decay channels. We hope our study will be of help for future experiments.


title: Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning

abstract: State-of-the-art speaker verification systems are inherently dependent on some kind of human supervision as they are trained on massive amounts of labeled data. However, manually annotating utterances is slow, expensive and not scalable to the amount of data available today. In this study, we explore self-supervised learning for speaker verification by learning representations directly from raw audio. The objective is to produce robust speaker embeddings that have small intra-speaker and large inter-speaker variance. Our approach is based on recent information maximization learning frameworks and an intensive data augmentation pre-processing step. We evaluate the ability of these methods to work without contrastive samples before showing that they achieve better performance when combined with a contrastive loss. Furthermore, we conduct experiments to show that our method reaches competitive results compared to existing techniques and can get better performances compared to a supervised baseline when fine-tuned with a small portion of labeled data.


title: Fragmented atomic shell around S187 HII region and its interaction with molecular and ionized gas

abstract: The environment of S187, a nearby H II region (1.4$\pm$0.3 kpc), is analyzed. A surrounding shell has been studied in the H I line, molecular lines, and also in infrared and radio continua. We report the first evidence of a clumpy HI environment in its photodissociation region. A background radio galaxy enables the estimation of the properties of cold atomic gas. The estimated atomic mass fraction of the shell is $\sim$260~M$_{\odot}$, the median spin temperature is $\sim$50~K, the shell size is $\sim$4 pc with typical wall width around 0.2 pc. The atomic shell consists of $\sim$100 fragments. The fragment sizes correlate with mass with a power-law index of 2.39-2.50. The S187 shell has a complex kinematical structure, including the expanding quasi spherical layer, molecular envelope, an atomic sub-bubble inside the shell and two dense cores (S187~SE and S187~NE) at different stages of evolution. The atomic sub-bubble inside the shell is young, contains a Class II young stellar object and OH maser in the centre and the associated YSOs in the walls of the bubble. S187~SE and S187~NE have similar masses ($\sim$1200~M$_\odot$ and $\sim$900~M$_\odot$, respectively). S187~SE is embedded into the atomic shell and has a number of associated objects including high mass protostars, outflows, maser sources and other indicators of ongoing star formation. No YSOs inside S187~NE were detected, but indications of compression and heating by the H II region exist.


title: EfficientLEAF: A Faster LEarnable Audio Frontend of Questionable Use

abstract: In audio classification, differentiable auditory filterbanks with few parameters cover the middle ground between hard-coded spectrograms and raw audio. LEAF (arXiv:2101.08596), a Gabor-based filterbank combined with Per-Channel Energy Normalization (PCEN), has shown promising results, but is computationally expensive. With inhomogeneous convolution kernel sizes and strides, and by replacing PCEN with better parallelizable operations, we can reach similar results more efficiently. In experiments on six audio classification tasks, our frontend matches the accuracy of LEAF at 3% of the cost, but both fail to consistently outperform a fixed mel filterbank. The quest for learnable audio frontends is not solved.


title: Hybrid Physical-Neural ODEs for Fast N-body Simulations

abstract: We present a new scheme to compensate for the small-scales approximations resulting from Particle-Mesh (PM) schemes for cosmological N-body simulations. This kind of simulations are fast and low computational cost realizations of the large scale structures, but lack resolution on small scales. To improve their accuracy, we introduce an additional effective force within the differential equations of the simulation, parameterized by a Fourier-space Neural Network acting on the PM-estimated gravitational potential. We compare the results for the matter power spectrum obtained to the ones obtained by the PGD scheme (Potential gradient descent scheme). We notice a similar improvement in term of power spectrum, but we find that our approach outperforms PGD for the cross-correlation coefficients, and is more robust to changes in simulation settings (different resolutions, different cosmologies).


title: Transferability-Guided Cross-Domain Cross-Task Transfer Learning

abstract: We propose two novel transferability metrics F-OTCE (Fast Optimal Transport based Conditional Entropy) and JC-OTCE (Joint Correspondence OTCE) to evaluate how much the source model (task) can benefit the learning of the target task and to learn more transferable representations for cross-domain cross-task transfer learning. Unlike the existing metric that requires evaluating the empirical transferability on auxiliary tasks, our metrics are auxiliary-free such that they can be computed much more efficiently. Specifically, F-OTCE estimates transferability by first solving an Optimal Transport (OT) problem between source and target distributions, and then uses the optimal coupling to compute the Negative Conditional Entropy between source and target labels. It can also serve as a loss function to maximize the transferability of the source model before finetuning on the target task. Meanwhile, JC-OTCE improves the transferability robustness of F-OTCE by including label distances in the OT problem, though it may incur additional computation cost. Extensive experiments demonstrate that F-OTCE and JC-OTCE outperform state-of-the-art auxiliary-free metrics by 18.85% and 28.88%, respectively in correlation coefficient with the ground-truth transfer accuracy. By eliminating the training cost of auxiliary tasks, the two metrics reduces the total computation time of the previous method from 43 minutes to 9.32s and 10.78s, respectively, for a pair of tasks. When used as a loss function, F-OTCE shows consistent improvements on the transfer accuracy of the source model in few-shot classification experiments, with up to 4.41% accuracy gain.


title: Unimodularity and invariant volume forms for Hamiltonian dynamics on Poisson-Lie groups

abstract: In this paper, we discuss several relations between the existence of invariant volume forms for Hamiltonian systems on Poisson-Lie groups and the unimodularity of the Poisson-Lie structure. In particular, we prove that Hamiltonian vector fields on a Lie group endowed with a unimodular Poisson-Lie structure preserve a multiple of any left-invariant volume on the group. Conversely, we also prove that if there exists a Hamiltonian function such that the identity element of the Lie group is a nondegenerate singularity and the associated Hamiltonian vector field preserves a volume form, then the Poisson-Lie structure is necessarily unimodular. Furthermore, we illustrate our theory with different interesting examples, both on semisimple and unimodular Poisson-Lie groups.


title: Observation of a superradiant phase transition with emergent cat states

abstract: Superradiant phase transitions (SPTs) are important for understanding light-matter interactions at the quantum level, and play a central role in criticality-enhanced quantum sensing. So far, SPTs have been observed in driven-dissipative systems, but the emergent light fields did not show any nonclassical characteristic due to the presence of strong dissipation. Here we report an experimental demonstration of the SPT featuring the emergence of a highly nonclassical photonic field, realized with a resonator coupled to a superconducting qubit, implementing the quantum Rabi model. We fully characterize the light-matter state by Wigner matrix tomography. The measured matrix elements exhibit quantum interference intrinsic of a photonic mesoscopic superposition, and reveal light-matter entanglement


title: Interference of longitudinal and transversal fragmentations in the Josephson dynamics of Bose-Einstein condensates

abstract: A set-up to investigate Josephson dynamics of interacting bosons in the presence of interference between longitudinal fragmentation, developed during the quantum dynamics, and transversal fragmentation, produced by the geometry of the trap, is proposed. We find and explain how this interference speeds up the collapse of density oscillations and slows down the revival process by analyzing the survival probability along the junction, fluctuations of particle positions across the junction, and the occupancy of the lowest single-particle states. The interference mechanism is always accompanied by a non-trivial transition from loss of coherence to build up of coherence in the first excited single-particle state. Moreover, it is found that a fully fragmented state significantly accelerates the revival process compared to the conventional Bose-Einstein condensate. All in all, we show that the interference of longitudinal and transversal fragmentations establishes new rules for macroscopic tunneling phenomena.


title: A semi-supervised methodology for fishing activity detection using the geometry behind the trajectory of multiple vessels

abstract: Automatic Identification System (AIS) messages are useful for tracking vessel activity across oceans worldwide using radio links and satellite transceivers. Such data plays a significant role in tracking vessel activity and mapping mobility patterns such as those found in fishing. Accordingly, this paper proposes a geometric-driven semi-supervised approach for fishing activity detection from AIS data. Through the proposed methodology we show how to explore the information included in the messages to extract features describing the geometry of the vessel route. To this end, we leverage the unsupervised nature of cluster analysis to label the trajectory geometry highlighting the changes in the vessel's moving pattern which tends to indicate fishing activity. The labels obtained by the proposed unsupervised approach are used to detect fishing activities, which we approach as a time-series classification task. In this context, we propose a solution using recurrent neural networks on AIS data streams with roughly 87% of the overall $F$-score on the whole trajectories of 50 different unseen fishing vessels. Such results are accompanied by a broad benchmark study assessing the performance of different Recurrent Neural Network (RNN) architectures. In conclusion, this work contributes by proposing a thorough process that includes data preparation, labeling, data modeling, and model validation. Therefore, we present a novel solution for mobility pattern detection that relies upon unfolding the trajectory in time and observing their inherent geometry.


title: Compound Prototype Matching for Few-shot Action Recognition

abstract: Few-shot action recognition aims to recognize novel action classes using only a small number of labeled training samples. In this work, we propose a novel approach that first summarizes each video into compound prototypes consisting of a group of global prototypes and a group of focused prototypes, and then compares video similarity based on the prototypes. Each global prototype is encouraged to summarize a specific aspect from the entire video, for example, the start/evolution of the action. Since no clear annotation is provided for the global prototypes, we use a group of focused prototypes to focus on certain timestamps in the video. We compare video similarity by matching the compound prototypes between the support and query videos. The global prototypes are directly matched to compare videos from the same perspective, for example, to compare whether two actions start similarly. For the focused prototypes, since actions have various temporal variations in the videos, we apply bipartite matching to allow the comparison of actions with different temporal positions and shifts. Experiments demonstrate that our proposed method achieves state-of-the-art results on multiple benchmarks.


title: Age-of-Information in Clocked Networks

abstract: We derive key features of the Age-of-Information distribution in a system whose activities are strictly limited to periodic instances on a global time grid. In particular, one agent periodically generates updates while the other agent periodically uses the most recently received of those updates. Likewise, transmission of those updates over a network can only occur periodically. All periods may differ. We derive results for two different models: a basic one in which the mathematical problems can be handled directly and an extended model which, among others, can also account for stochastic transmission failure, making the results applicable to instances with wireless communication. For both models, a suitable approximation for the expected Age-of-Information and an upper bound for its largest occurring value are developed. For the extended model (which is the more relevant one from a practical standpoint) we also present numerical results for the distribution of the approximation error for numerous parameter choices.


title: Von Zeipel - Lidov - Kozai cycles in action: $Kepler$ triples with eclipse depth variations: KICs 6964043, 5653126, 5731312 and 8023317

abstract: We report the results of the photodynamical analyses of four compact, tight triple stellar systems, KICs 6964043, 5653126, 5731312, 8023317, based largely on $Kepler$ and $TESS$ data. All systems display remarkable eclipse timing and eclipse depth variations, the latter implying a non-aligned outer orbit. Moreover, KIC 6964043 is also a triply eclipsing system. We combined photometry, ETV curves, and archival spectral energy distribution data to obtain the astrophysical parameters of the constituent stars and the orbital elements with substantial precision. KICs 6964043 and 5653126 were found to be nearly flat with mutual inclinations $i_{mut}=4.1$ deg and $12.3$ deg, respectively, while KICs 5731312, 8023317 ($i_{mut}=39.4$ deg and $55.7$ deg, respectively) are found to lie in the high $i_{mut}$ regime of the von Zeipel-Kozai-Lidov (ZKL) theorem. We show that currently both high inclination triples exhibit observable unusual retrograde apsidal motion. Moreover, the eclipses will disappear in all but one of the four systems within a few decades. Short-term numerical integrations of the dynamical evolution reveal that both high inclination triples are currently subject to ongoing, large amplitude ($\Delta e\sim0.3$) inner eccentricity variations on centuries-long timescales, in accord with the ZKL theorem. Longer-term integrations predict that two of the four systems may become dynamically unstable on $\sim$ Gyr timescales, while in the other two triples common envelope phases and stellar mergers may occur. Finally we investigate the dynamical properties of a sample of 71 KIC/TIC triples statistically, and find that the mutual inclinations and outer mass ratios are anti-correlated at the 4$\sigma$ level. We discuss the implications for the formation mechanisms of compact triples.


title: Tracking Objects as Pixel-wise Distributions

abstract: Multi-object tracking (MOT) requires detecting and associating objects through frames. Unlike tracking via detected bounding boxes or tracking objects as points, we propose tracking objects as pixel-wise distributions. We instantiate this idea on a transformer-based architecture, P3AFormer, with pixel-wise propagation, prediction, and association. P3AFormer propagates pixel-wise features guided by flow information to pass messages between frames. Furthermore, P3AFormer adopts a meta-architecture to produce multi-scale object feature maps. During inference, a pixel-wise association procedure is proposed to recover object connections through frames based on the pixel-wise prediction. P3AFormer yields 81.2\% in terms of MOTA on the MOT17 benchmark -- the first among all transformer networks to reach 80\% MOTA in literature. P3AFormer also outperforms state-of-the-arts on the MOT20 and KITTI benchmarks.


title: Values of Games for Information Decomposition

abstract: The information decomposition problem requires an additive decomposition of the mutual information between the input and target variables into nonnegative terms. The recently introduced solution to this problem, Information Attribution, involves the Shapley-style value measuring the influence of predictors in the coalitional game associated with the joint probability distribution of the input random vector and the target variable. Motivated by the original problem, we consider a general setting of coalitional games where the players form a boolean algebra, and the coalitions are the corresponding down-sets. This enables us to study in detail various single-valued solution concepts, called values. Namely, we focus on the classes of values that can represent very general alternatives to the solution of the information decomposition problem, such as random-order values or sharing values. We extend the axiomatic characterization of some classes of values that were known only for the standard coalitional games.


title: Renormalization in tensor field theory and the melonic fixed point

abstract: This thesis focuses on renormalization of tensor field theories. Its first part considers a quartic tensor model with $O(N)^3$ symmetry and long-range propagator. The existence of a non-perturbative fixed point in any $d$ at large $N$ is established. We found four lines of fixed points parametrized by the so-called tetrahedral coupling. One of them is infrared attractive, strongly interacting and gives rise to a new kind of CFT, called melonic CFTs which are then studied in more details. We first compute dimensions of bilinears and OPE coefficients at the fixed point which are consistent with a unitary CFT at large $N$. We then compute $1/N$ corrections. At next-to-leading order, the line of fixed points collapses to one fixed point. However, the corrections are complex and unitarity is broken at NLO. Finally, we show that this model respects the $F$-theorem. The next part of the thesis investigates sextic tensor field theories in rank $3$ and $5$. In rank $3$, we found two IR stable real fixed points in short range and a line of IR stable real fixed points in long range. Surprisingly, the only fixed point in rank $5$ is the Gaussian one. For the rank $3$ model, in the short-range case, we still find two IR stable fixed points at NLO. However, in the long-range case, the corrections to the fixed points are non-perturbative and hence unreliable: we found no precursor of the large $N$ fixed point. The last part of the thesis investigates the class of model exhibiting a melonic large $N$ limit. We prove that models with tensors in an irreducible representation of $O(N)$ or $Sp(N)$ in rank $5$ indeed admit a large $N$ limit. This generalization relies on recursive bounds derived from a detailed combinatorial analysis of Feynman graphs involved in the perturbative expansion of our model.


title: Federated Unlearning: How to Efficiently Erase a Client in FL?

abstract: With privacy legislation empowering the users with the right to be forgotten, it has become essential to make a model amenable for forgetting some of its training data. However, existing unlearning methods in the machine learning context can not be directly applied in the context of distributed settings like federated learning due to the differences in learning protocol and the presence of multiple actors. In this paper, we tackle the problem of federated unlearning for the case of erasing a client by removing the influence of their entire local data from the trained global model. To erase a client, we propose to first perform local unlearning at the client to be erased, and then use the locally unlearned model as the initialization to run very few rounds of federated learning between the server and the remaining clients to obtain the unlearned global model. We empirically evaluate our unlearning method by employing multiple performance measures on three datasets, and demonstrate that our unlearning method achieves comparable performance as the gold standard unlearning method of federated retraining from scratch, while being significantly efficient. Unlike prior works, our unlearning method neither requires global access to the data used for training nor the history of the parameter updates to be stored by the server or any of the clients.


title: A continuous approach to Floquet theory for pulse-sequence optimization in solid-state NMR

abstract: We present a framework that uses a continuous frequency space to describe and design solid-state NMR experiments. The approach is similar to the well established Floquet treatment for NMR, but is not restricted to periodic Hamiltonians and allows the design of experiments in a reverse fashion. The framework is based on perturbation theory on a continuous Fourier space, which leads to effective, i.e., time-independent, Hamiltonians. It allows the back calculation of the pulse scheme from the desired effective Hamiltonian as a function of spin-system parameters. We show as an example how to back calculate the rf irradiation in the MIRROR experiment from the desired chemical-shift offset behaviour of the sequence.


title: Integrating Vehicle Slip and Yaw in Overarching Multi-Tiered Automated Vehicle Steering Control to Balance Path Following Accuracy, Gracefulness, and Safety

abstract: Balancing path following accuracy and error convergence with graceful motion in steering control is challenging due to the competing nature of these requirements, especially across a range of operating speeds and conditions. This paper demonstrates that an integrated multi-tiered steering controller considering the impact of slip on kinematic control, dynamic control, and steering actuator rate commands achieves accurate and graceful path following. This work is founded on multi-tiered sideslip and yaw-based models, which allow derivation of controllers considering error due to sideslip and the mapping between steering commands and graceful lateral motion. Observer based sideslip estimates are combined with heading error in the kinematic controller to provide feedforward slip compensation. Path following error is compensated by a continuous Variable Structure Controller (VSC) using speed-based path manifolds to balance graceful motion and error convergence. Resulting yaw rate commands are used by a backstepping dynamic controller to generate steering rate commands. A High Gain Observer (HGO) estimates sideslip and yaw rate for output feedback control. Stability analysis of the output feedback controller is provided, and peaking is resolved. The work focuses on lateral control alone so that the steering controller can be combined with other speed controllers. Field results provide comparisons to related approaches demonstrating gracefulness and accuracy in different complex scenarios with varied weather conditions and perturbations.


title: Application of Benford-Newcomb Law with Base Change to Electoral Fraud Detection

abstract: The invariance of Benford-Newcomb law under base changing is employed to test whether or not some data follow such distribution. Taking into account the Brazilian senate election in 1994, changes in the numerical base were able to evidence probable fraud.


title: FedHAP: Federated Hashing with Global Prototypes for Cross-silo Retrieval

abstract: Deep hashing has been widely applied in large-scale data retrieval due to its superior retrieval efficiency and low storage cost. However, data are often scattered in data silos with privacy concerns, so performing centralized data storage and retrieval is not always possible. Leveraging the concept of federated learning (FL) to perform deep hashing is a recent research trend. However, existing frameworks mostly rely on the aggregation of the local deep hashing models, which are trained by performing similarity learning with local skewed data only. Therefore, they cannot work well for non-IID clients in a real federated environment. To overcome these challenges, we propose a novel federated hashing framework that enables participating clients to jointly train the shared deep hashing model by leveraging the prototypical hash codes for each class. Globally, the transmission of global prototypes with only one prototypical hash code per class will minimize the impact of communication cost and privacy risk. Locally, the use of global prototypes are maximized by jointly training a discriminator network and the local hashing network. Extensive experiments on benchmark datasets are conducted to demonstrate that our method can significantly improve the performance of the deep hashing model in the federated environments with non-IID data distributions.


title: Long-term Leap Attention, Short-term Periodic Shift for Video Classification

abstract: Video transformer naturally incurs a heavier computation burden than a static vision transformer, as the former processes $T$ times longer sequence than the latter under the current attention of quadratic complexity $(T^2N^2)$. The existing works treat the temporal axis as a simple extension of spatial axes, focusing on shortening the spatio-temporal sequence by either generic pooling or local windowing without utilizing temporal redundancy. However, videos naturally contain redundant information between neighboring frames; thereby, we could potentially suppress attention on visually similar frames in a dilated manner. Based on this hypothesis, we propose the LAPS, a long-term ``\textbf{\textit{Leap Attention}}'' (LA), short-term ``\textbf{\textit{Periodic Shift}}'' (\textit{P}-Shift) module for video transformers, with $(2TN^2)$ complexity. Specifically, the ``LA'' groups long-term frames into pairs, then refactors each discrete pair via attention. The ``\textit{P}-Shift'' exchanges features between temporal neighbors to confront the loss of short-term dynamics. By replacing a vanilla 2D attention with the LAPS, we could adapt a static transformer into a video one, with zero extra parameters and neglectable computation overhead ($\sim$2.6\%). Experiments on the standard Kinetics-400 benchmark demonstrate that our LAPS transformer could achieve competitive performances in terms of accuracy, FLOPs, and Params among CNN and transformer SOTAs. We open-source our project in \sloppy \href{https://github.com/VideoNetworks/LAPS-transformer}{\textit{\color{magenta}{https://github.com/VideoNetworks/LAPS-transformer}}} .


title: Cayley graphs that have a quantum ergodic eigenbasis

abstract: We investigate which finite Cayley graphs admit a quantum ergodic eigenbasis, proving that this holds for any Cayley graph on a group of size $n$ for which the sum of the dimensions of its irreducible representations is $o(n)$, yet there exist Cayley graphs that do not have any quantum ergodic eigenbasis.


title: Magnetic structure of few-nucleon systems at high momentum transfers in a $\chi$EFT approach

abstract: The five low-energy constants (LECs) in the electromagnetic current derived in chiral effective field theory ($\chi$EFT) up to one loop are determined by a simultaneous fit to the $A\,$=$\,2$--3 nuclei magnetic moments and to the deuteron magnetic form factor and threshold electrodisintegration at backward angles over a wide range of momentum transfers. The resulting parametrization then yields predictions for the $^3$He/$^3$H magnetic form factors in excellent accord with the experimental values for momentum transfers ranging up to $\approx 0.8$ GeV/c, beyond the expected regime of validity of the $\chi$EFT approach. The calculations are based on last-generation two-nucleon interactions including high orders in the chiral expansion and derived by Entem, Macheleidt, and Nosyk [Phys.\ Rev.\ C {\bf 96}, 024004 (2017)] and by Piarulli {\it et al.} [Phys.\ Rev.\ C {\bf 94}, 054007 (2016)], using different $\chi$EFT formulations. In the $A\,$=$\,3$ calculations, (chiral) three-nucleon interactions are also accounted for. The model dependence resulting from these different formulations of the interactions is found to be mild for momentum transfer below $\approx0.8$ GeV/c. An analysis of the convergence of the chiral expansion is also provided.


title: Root distributions in Moebius-Kantor complexes

abstract: We study the distribution of roots of rank 2 in nonpositively curved 2-complexes with Moebius--Kantor links. For every face in such a complex, the parity of the number of roots of rank 2 in a neighbourhood of the face is a well-defined geometric invariant determined by the root distribution. We study the relation between the root distribution and the parity distribution. We prove that there exist parity distributions in flats which are disallowed in Moebius--Kantor complexes. This contrasts with the fact that every root distribution can be realized. We classify the root distributions associated with an even parity distribution (i.e., such that every face is even) on a flat plane. We prove that there exists up to isomorphism a unique even simply connected Moebius--Kantor complex -- namely, the Pauli complex.


title: Camera Pose Auto-Encoders for Improving Pose Regression

abstract: Absolute pose regressor (APR) networks are trained to estimate the pose of the camera given a captured image. They compute latent image representations from which the camera position and orientation are regressed. APRs provide a different tradeoff between localization accuracy, runtime, and memory, compared to structure-based localization schemes that provide state-of-the-art accuracy. In this work, we introduce Camera Pose Auto-Encoders (PAEs), multilayer perceptrons that are trained via a Teacher-Student approach to encode camera poses using APRs as their teachers. We show that the resulting latent pose representations can closely reproduce APR performance and demonstrate their effectiveness for related tasks. Specifically, we propose a light-weight test-time optimization in which the closest train poses are encoded and used to refine camera position estimation. This procedure achieves a new state-of-the-art position accuracy for APRs, on both the CambridgeLandmarks and 7Scenes benchmarks. We also show that train images can be reconstructed from the learned pose encoding, paving the way for integrating visual information from the train set at a low memory cost. Our code and pre-trained models are available at https://github.com/yolish/camera-pose-auto-encoders.


title: Fuzzing Deep-Learning Libraries via Automated Relational API Inference

abstract: A growing body of research has been dedicated to DL model testing. However, there is still limited work on testing DL libraries, which serve as the foundations for building, training, and running DL models. Prior work on fuzzing DL libraries can only generate tests for APIs which have been invoked by documentation examples, developer tests, or DL models, leaving a large number of APIs untested. In this paper, we propose DeepREL, the first approach to automatically inferring relational APIs for more effective DL library fuzzing. Our basic hypothesis is that for a DL library under test, there may exist a number of APIs sharing similar input parameters and outputs; in this way, we can easily "borrow" test inputs from invoked APIs to test other relational APIs. Furthermore, we formalize the notion of value equivalence and status equivalence for relational APIs to serve as the oracle for effective bug finding. We have implemented DeepREL as a fully automated end-to-end relational API inference and fuzzing technique for DL libraries, which 1) automatically infers potential API relations based on API syntactic or semantic information, 2) synthesizes concrete test programs for invoking relational APIs, 3) validates the inferred relational APIs via representative test inputs, and finally 4) performs fuzzing on the verified relational APIs to find potential inconsistencies. Our evaluation on two of the most popular DL libraries, PyTorch and TensorFlow, demonstrates that DeepREL can cover 157% more APIs than state-of-the-art FreeFuzz. To date, DeepREL has detected 162 bugs in total, with 106 already confirmed by the developers as previously unknown bugs. Surprisingly, DeepREL has detected 13.5% of the high-priority bugs for the entire PyTorch issue-tracking system in a three-month period. Also, besides the 162 code bugs, we have also detected 14 documentation bugs (all confirmed).


title: Utilizing Excess Resources in Training Neural Networks

abstract: In this work, we suggest Kernel Filtering Linear Overparameterization (KFLO), where a linear cascade of filtering layers is used during training to improve network performance in test time. We implement this cascade in a kernel filtering fashion, which prevents the trained architecture from becoming unnecessarily deeper. This also allows using our approach with almost any network architecture and let combining the filtering layers into a single layer in test time. Thus, our approach does not add computational complexity during inference. We demonstrate the advantage of KFLO on various network models and datasets in supervised learning.


title: Disorder, Path Integrals and Localization

abstract: Anderson localization is derived directly from the path integral representation of quantum mechanics in the presence of a random potential energy function. The probability distribution of the potential energy is taken to be a Gaussian in function space with a given autocorrelation function. Averaging the path integral itself we find that the localization length, in one-dimension, is given by (E_{{\xi}}/{\sigma})(KE_{cl}/{\sigma}){\xi} where E_{{\xi}} is the "correlation energy", KE_{cl} the average classical kinetic energy, {\sigma} the root-mean-square variation of the potential energy and {\xi} the autocorrelation length. Averaging the square of the path integral shows explicitly that closed loops in the path when traversed forward and backward in time lead to exponential decay, and hence localization. We also show how, using Schwinger proper time, the path integral result can be directly related to the Greens function commonly used to study localization.

categories: cond-mat.dis-nn math-ph math.MP quant-ph


title: Resolving Power of Visible to Near-Infrared Hybrid $\beta$-Ta/NbTiN Kinetic Inductance Detectors

abstract: Kinetic Inductance Detectors (KIDs) are superconducting energy-resolving detectors, sensitive to single photons from the near-infrared to ultraviolet. We study a hybrid KID design consisting of a beta phase tantalum ($\beta$-Ta) inductor and a NbTiN interdigitated capacitor (IDC). The devices show an average intrinsic quality factor $Q_i$ of 4.3$\times10^5$ $\pm$ 1.3 $\times10^5$. To increase the power captured by the light sensitive inductor, we 3D-print an array of 150$\times$150 $\mu$m resin micro lenses on the backside of the sapphire substrate. The shape deviation between design and printed lenses is smaller than 1$\mu$m, and the alignment accuracy of this process is $\delta_x = +5.8 \pm 0.5$ $\mu$m and $\delta_y = +8.3 \pm 3.3$ $\mu$m. We measure a resolving power for 1545-402 nm that is limited to 4.9 by saturation in the KID's phase response. We can model the saturation in the phase response with the evolution of the number of quasiparticles generated by a photon event. An alternative coordinate system that has a linear response raises the resolving power to 5.9 at 402 nm. We verify the measured resolving power with a two-line measurement using a laser source and a monochromator. We discuss several improvements that can be made to the devices on a route towards KID arrays with high resolving powers.


title: Weighted averages in population annealing: analysis and general framework

abstract: Population annealing is a powerful sequential Monte Carlo algorithm designed to study the equilibrium behavior of general systems in statistical physics through massive parallelism. In addition to the remarkable scaling capabilities of the method, it allows for measurements to be enhanced by weighted averaging, admitting to reduce both systematic and statistical errors based on independently repeated simulations. We give a self-contained introduction to population annealing with weighted averaging, generalize the method to a wide range of observables such as the specific heat and magnetic susceptibility and rigorously prove that the resulting estimators for finite systems are asymptotically unbiased for essentially arbitrary target distributions. Numerical results based on more than $10^7$ independent population annealing runs of the two-dimensional Ising ferromagnet and the Edwards-Anderson Ising spin glass are presented in depth. In the latter case, we also discuss efficient ways of measuring spin overlaps in population annealing simulations.


title: DTG-SSOD: Dense Teacher Guidance for Semi-Supervised Object Detection

abstract: The Mean-Teacher (MT) scheme is widely adopted in semi-supervised object detection (SSOD). In MT, the sparse pseudo labels, offered by the final predictions of the teacher (e.g., after Non Maximum Suppression (NMS) post-processing), are adopted for the dense supervision for the student via hand-crafted label assignment. However, the sparse-to-dense paradigm complicates the pipeline of SSOD, and simultaneously neglects the powerful direct, dense teacher supervision. In this paper, we attempt to directly leverage the dense guidance of teacher to supervise student training, i.e., the dense-to-dense paradigm. Specifically, we propose the Inverse NMS Clustering (INC) and Rank Matching (RM) to instantiate the dense supervision, without the widely used, conventional sparse pseudo labels. INC leads the student to group candidate boxes into clusters in NMS as the teacher does, which is implemented by learning grouping information revealed in NMS procedure of the teacher. After obtaining the same grouping scheme as the teacher via INC, the student further imitates the rank distribution of the teacher over clustered candidates through Rank Matching. With the proposed INC and RM, we integrate Dense Teacher Guidance into Semi-Supervised Object Detection (termed DTG-SSOD), successfully abandoning sparse pseudo labels and enabling more informative learning on unlabeled data. On COCO benchmark, our DTG-SSOD achieves state-of-the-art performance under various labelling ratios. For example, under 10% labelling ratio, DTG-SSOD improves the supervised baseline from 26.9 to 35.9 mAP, outperforming the previous best method Soft Teacher by 1.9 points.


title: Identification and Control of a Soft-Robotic Bladder Towards Impedance-Style Haptic Terrain Display

abstract: This paper evaluates the capabilities of a soft robotic pneumatic actuator derived from the terrain display haptic device, "The Smart Shoe." The bladder design of the Smart Shoe is upgraded to include a pressure supply and greater output flow capabilities. A bench top setup is created to rigorously test this new type of actuator. The bandwidth and stiffness capability of this new actuator are evaluated relative to forces and displacements encountered during human gait. Four force vs. displacement profiles relevant to haptic terrain display are proposed and tested using sliding-mode tracking control. It was found that the actuator could sustain a stiffness similar to a soft-soled shoe on concrete, as well as other terrain (sand, dirt, etc.), while the bandwidth of 7.3 Hz fell short of the goal bandwidth of 10 Hz. Compressions of the bladder done at 20 mm/s, which is similar to the speed of human gait, showed promising results in tracking a desired force trajectory. The results in this paper show this actuator is capable of displaying haptic terrain trajectories, providing a basis for futurep wearable haptic terrain display devices.


title: Induced subgraphs and tree decompositions VI. Graphs with 2-cutsets

abstract: This paper continues a series of papers investigating the following question: which hereditary graph classes have bounded treewidth? We call a graph $t$-clean if it does not contain as an induced subgraph the complete graph $K_t$, the complete bipartite graph $K_{t, t}$, subdivisions of a $(t \times t)$-wall, and line graphs of subdivisions of a $(t \times t)$-wall. It is known that graphs with bounded treewidth must be $t$-clean for some $t$; however, it is not true that every $t$-clean graph has bounded treewidth. In this paper, we show that three types of cutsets, namely clique cutsets, 2-cutsets, and 1-joins, interact well with treewidth and with each other, so graphs that are decomposable by these cutsets into basic classes of bounded treewidth have bounded treewidth. We apply this result to two hereditary graph classes, the class of ($ISK_4$, wheel)-free graphs and the class of graphs with no cycle with a unique chord. These classes were previously studied and decomposition theorems were obtained for both classes. Our main results are that $t$-clean ($ISK_4$, wheel)-free graphs have bounded treewidth and that $t$-clean graphs with no cycle with a unique chord have bounded treewidth.


title: Refactoring Assertion Roulette and Duplicate Assert test smells: a controlled experiment

abstract: Test smells can reduce the developers' ability to interact with the test code. Refactoring test code offers a safe strategy to handle test smells. However, the manual refactoring activity is not a trivial process, and it is often tedious and error-prone. This study aims to evaluate RAIDE, a tool for automatic identification and refactoring of test smells. We present an empirical assessment of RAIDE, in which we analyzed its capability at refactoring Assertion Roulette and Duplicate Assert test smells and compared the results against both manual refactoring and a state-of-the-art approach. The results show that RAIDE provides a faster and more intuitive approach for handling test smells than using an automated tool for smells detection combined with manual refactoring.


title: Non-commutative stochastic processes with independent increments

abstract: This article is on the research of Wilhelm von Waldenfels in the mathematical field of quantum (or non-commutative) probability theory. Wilhelm von Waldenfels was one of the pioneers, even one of the founders, of quantum probability. We concentrate on a small part of his scientific work. The aspects of physics are practically not mentioned at all. There is nothing on his results in classical probability on groups (Waldenfels operators). This is an attempt to show how the concepts of non-commutative notions of independence and of L\'evy processes on structures like Hopf algebras developed from the ideas of Wilhelm von Waldenfels.


title: Statistics of the interaural parameters for dichotic tones in diotic noise ($N_0 S_\psi$)

abstract: Stimuli consisting of an interaurally phase-shifted tone in diotic noise -- often referred to as $N_0 S_\psi$ -- are commonly used in the field of binaural hearing. As a consequence of mixing diotic noise with a dichotic tone, this type of stimulus contains random fluctuations in both interaural phase- and level-difference. This study reports the joint probability density functions of the two interaural differences as a function of amplitude and interaural phase of the tone. Furthermore, a second joint probability density function for interaural phase differences and the instantaneous power of the stimulus is derived.


title: The $hp$-FEM applied to the Helmholtz equation with PML truncation does not suffer from the pollution effect

abstract: We consider approximation of the variable-coefficient Helmholtz equation in the exterior of a Dirichlet obstacle using perfectly-matched-layer (PML) truncation; it is well known that this approximation is exponentially accurate in the PML width and the scaling angle, and the approximation was recently proved to be exponentially accurate in the wavenumber $k$ in [Galkowski, Lafontaine, Spence, 2021]. We show that the $hp$-FEM applied to this problem does not suffer from the pollution effect, in that there exist $C_1,C_2>0$ such that if $hk/p\leq C_1$ and $p \geq C_2 \log k$ then the Galerkin solutions are quasioptimal (with constant independent of $k$), under the following two conditions (i) the solution operator of the original Helmholtz problem is polynomially bounded in $k$ (which occurs for "most" $k$ by [Lafontaine, Spence, Wunsch, 2021]), and (ii) either there is no obstacle and the coefficients are smooth or the obstacle is analytic and the coefficients are analytic in a neighbourhood of the obstacle and smooth elsewhere. This $hp$-FEM result is obtained via a decomposition of the PML solution into "high-" and "low-frequency" components, analogous to the decomposition for the original Helmholtz solution recently proved in [Galkowski, Lafontaine, Spence, Wunsch, 2022]. The decomposition is obtained using tools from semiclassical analysis (i.e., the PDE techniques specifically designed for studying Helmholtz problems with large $k$).


title: Markovian Gaussian Process Variational Autoencoders

abstract: Sequential VAEs have been successfully considered for many high-dimensional time series modelling problems, with many variant models relying on discrete-time mechanisms such as recurrent neural networks (RNNs). On the other hand, continuous-time methods have recently gained attraction, especially in the context of irregularly-sampled time series, where they can better handle the data than discrete-time methods. One such class are Gaussian process variational autoencoders (GPVAEs), where the VAE prior is set as a Gaussian process (GP). However, a major limitation of GPVAEs is that it inherits the cubic computational cost as GPs, making it unattractive to practioners. In this work, we leverage the equivalent discrete state space representation of Markovian GPs to enable linear time GPVAE training via Kalman filtering and smoothing. For our model, Markovian GPVAE (MGPVAE), we show on a variety of high-dimensional temporal and spatiotemporal tasks that our method performs favourably compared to existing approaches whilst being computationally highly scalable.


title: AuNa: Modularly Integrated Simulation Framework for Cooperative Autonomous Navigation

abstract: In the near future, the development of autonomous driving will get more complex as the vehicles will not only rely on their own sensors but also communicate with other vehicles and the infrastructure to cooperate and improve the driving experience. Towards this, several research areas, such as robotics, communication, and control, are required to collaborate in order to implement future-ready methods. However, each area focuses on the development of its own components first, while the effects the components may have on the whole system are only considered at a later stage. In this work, we integrate the simulation tools of robotics, communication and control namely ROS2, OMNeT++, and MATLAB to evaluate cooperative driving scenarios. The framework can be utilized to develop the individual components using the designated tools, while the final evaluation can be conducted in a complete scenario, enabling the simulation of advanced multi-robot applications for cooperative driving. Furthermore, it can be used to integrate additional tools, as the integration is done in a modular way. We showcase the framework by demonstrating a platooning scenario under cooperative adaptive cruise control (CACC) and the ETSI ITS-G5 communication architecture. Additionally, we compare the differences of the controller performance between the theoretical analysis and practical case study.


title: Induced earthquake source parameters, attenuation, and site effects from waveform envelopes in the Fennoscandian Shield

abstract: We analyze envelopes of 233 and 22 $M_{\text L}$0.0 to $M_{\text L}$1.8 earthquakes induced by two geothermal stimulations in the Helsinki, Finland, metropolitan area. We separate source spectra and site terms and determine intrinsic attenuation and the scattering strength of shear waves in the 3 Hz to 200 Hz frequency range using radiative transfer based synthetic envelopes. Displacement spectra yield scaling relations with a general deviation from self-similarity, with a stronger albeit more controversial signal from the weaker 2020 stimulation. The 2020 earthquakes also tend to have a smaller local magnitude compared to 2018 earthquakes with the same moment magnitude. We discuss these connections in the context of fluid effects on rupture speed or medium properties. Site terms demonstrate that the spectral amplification relative to two reference borehole sites is not neutral at the other sensors; largest variations are observed at surface stations at frequencies larger than 30 Hz. Intrinsic attenuation is exceptionally low with $Q_{\text i}^{-1}$ values down to $2.4\times 10^{-5}$ at 20 Hz, which allows the observation of a diffuse reflection at the ${\sim}$50 km deep Moho. Scattering strength is in the range of globally observed data with $Q_{\text{sc}}^{-1}$ between $10^{-3}$ and $10^{-4}$. The application of the employed Qopen analysis program to the 2020 data in a retrospective monitoring mode demonstrates its versatility as a seismicity processing tool. The diverse results have implications for scaling relations, hazard assessment and ground motion modeling, and imaging and monitoring using ballistic and scattered wavefields in the crystalline Fennoscandian Shield environment.


title: Enhancing thermoelectric properties of isotope graphene nanoribbons via machine learning guided manipulation of disordered antidots and interfaces

abstract: Structural manipulation at the nanoscale breaks the intrinsic correlations among different energy carrier transport properties, achieving high thermoelectric performance. However, the coupled multifunctional (phonon and electron) transport in the design of nanomaterials makes the optimization of thermoelectric properties challenging. Machine learning brings convenience to the design of nanostructures with large degree of freedom. Herein, we conducted comprehensive thermoelectric optimization of isotopic armchair graphene nanoribbons (AGNRs) with antidots and interfaces by combining Green's function approach with machine learning algorithms. The optimal AGNR with ZT of 0.894 by manipulating antidots was obtained at the interfaces of the aperiodic isotope superlattices, which is 5.69 times larger than that of the pristine structure. The proposed optimal structure via machine learning provides physical insights that the carbon-13 atoms tend to form a continuous interface barrier perpendicular to the carrier transport direction to suppress the propagation of phonons through isotope AGNRs. The antidot effect is more effective than isotope substitution in improving the thermoelectric properties of AGNRs. The proposed approach coupling energy carrier transport property analysis with machine learning algorithms offers highly efficient guidance on enhancing the thermoelectric properties of low-dimensional nanomaterials, as well as to explore and gain non-intuitive physical insights.

categories: cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph physics.comp-ph


title: Higher Auslander--Solberg correspondence for exact categories

abstract: We introduce the concept of an $n$-minimal Auslander--Gorenstein category and $n$-precluster tilting subcategory. With this, we create an analog of the higher Auslander--Solberg correspondence (arXiv:1608.04179) for exact categories. Our approach is based on the recent generalization of the (higher) Auslander correspondence to exact categories (arXiv:2011.15107, arXiv:2108.13645).


title: Practical Attacks on Machine Learning: A Case Study on Adversarial Windows Malware

abstract: While machine learning is vulnerable to adversarial examples, it still lacks systematic procedures and tools for evaluating its security in different application contexts. In this article, we discuss how to develop automated and scalable security evaluations of machine learning using practical attacks, reporting a use case on Windows malware detection.


title: PoeticTTS -- Controllable Poetry Reading for Literary Studies

abstract: Speech synthesis for poetry is challenging due to specific intonation patterns inherent to poetic speech. In this work, we propose an approach to synthesise poems with almost human like naturalness in order to enable literary scholars to systematically examine hypotheses on the interplay between text, spoken realisation, and the listener's perception of poems. To meet these special requirements for literary studies, we resynthesise poems by cloning prosodic values from a human reference recitation, and afterwards make use of fine-grained prosody control to manipulate the synthetic speech in a human-in-the-loop setting to alter the recitation w.r.t. specific phenomena. We find that finetuning our TTS model on poetry captures poetic intonation patterns to a large extent which is beneficial for prosody cloning and manipulation and verify the success of our approach both in an objective evaluation as well as in human studies.


title: A Generalization of $ m $-topology and $ U $-topology on rings of measurable functions

abstract: For a measurable space ($X,\mathcal{A}$), let $\mathcal{M}(X,\mathcal{A})$ be the corresponding ring of all real valued measurable functions and let $\mu$ be a measure on ($X,\mathcal{A}$). In this paper, we generalize the so-called $m_{\mu}$ and $U_{\mu}$ topologies on $\mathcal{M}(X,\mathcal{A})$ via an ideal $I$ in the ring $\mathcal{M}(X,\mathcal{A})$. The generalized versions will be referred to as the $m_{\mu_{I}}$ and $U_{\mu_{I}}$ topology, respectively, throughout the paper. $L_{I}^{\infty} \left(\mu\right)$ stands for the subring of $\mathcal{M}(X,\mathcal{A})$ consisting of all functions that are essentially $I$-bounded (over the measure space ($X,\mathcal{A}, \mu$)). Also let $I_{\mu} (X,\mathcal{A}) = \big \{ f \in \mathcal{M}(X,\mathcal{A}) : \, \text{for every} \, g \in \mathcal{M}(X,\mathcal{A}), fg \, \, \text{is essentially} \, I$-$\text{bounded} \big \}$. Then $I_{\mu} (X,\mathcal{A})$ is an ideal in $\mathcal{M}(X,\mathcal{A})$ containing $I$ and contained in $L_{I}^{\infty} \left(\mu\right)$. It is also shown that $I_{\mu} (X,\mathcal{A})$ and $L_{I}^{\infty} \left(\mu\right)$ are the components of $0$ in the spaces $m_{\mu_{I}}$ and $U_{\mu_{I}}$, respectively. Additionally, we obtain a chain of necessary and sufficient conditions as to when these two topologies coincide.


title: On an Umbral point of view to the Gaussian and Gaussian like functions

abstract: In this note we review the theory of Gaussian functions by exploiting a point of view based on symbolic methods of umbral nature. We introduce quasi-Gaussian functions, which are close to Gaussian distribution but have a longer tail. Their use and their link with hypergeometric function is eventually presented.


title: Strictly Localized States on the Socolar Dodecagonal Lattice

abstract: Socolar dodecagonal lattice is a quasicrystal closely related to the better-known Ammann-Beenker and Penrose lattices. The cut and project method generates this twelve-fold rotationally symmetric lattice from the six-dimensional simple cubic lattice. We consider the vertex tight-binding model on this lattice and use the acceptance domains of the vertices in perpendicular space to count the frequency of strictly localized states. We numerically find that these states span $f_{\mathrm{Num}}\simeq 7.61$ \% of the Hilbert space. We give 18 independent localized state types and calculate their frequencies. These localized state types provide a lower bound of $f_{\mathrm{LS}} =\frac{10919-6304\sqrt{3}}{2} \simeq 0.075854$, accounting for more than $99 \%$ of the zero-energy manifold. Numerical evidence points to larger localized state types with smaller frequencies, similar to the Ammann-Beenker lattice. On the other hand, we find sites forbidden by local connectivity to host localized states. Forbidden sites do not exist for the Ammann-Beenker lattice but are common in the Penrose lattice. We find a lower bound of $f_{\mathrm{Forbid}}\simeq 0.038955$ for the frequency of forbidden sites. Finally, all the localized state types we find can be chosen to have constant density and alternating signs over their support, another feature shared with the Ammann-Beenker lattice.


title: Using Paraphrases to Study Properties of Contextual Embeddings

abstract: We use paraphrases as a unique source of data to analyze contextualized embeddings, with a particular focus on BERT. Because paraphrases naturally encode consistent word and phrase semantics, they provide a unique lens for investigating properties of embeddings. Using the Paraphrase Database's alignments, we study words within paraphrases as well as phrase representations. We find that contextual embeddings effectively handle polysemous words, but give synonyms surprisingly different representations in many cases. We confirm previous findings that BERT is sensitive to word order, but find slightly different patterns than prior work in terms of the level of contextualization across BERT's layers.


title: On the size of a linear combination of two linear recurrence sequences over function fields

abstract: Let $ G_n $ and $ H_m $ be two non-degenerate linear recurrence sequences defined over a function field $ F $ in one variable over $ \mathbb{C} $, and let $ \mu $ be a valuation on $ F $. We prove that under suitable conditions there are effectively computable constants $ c_1 $ and $ C' $ such that the bound \begin{equation*} \mu(G_n - H_m) \leq \mu(G_n) + C' \end{equation*} holds for $ \max \{n,m\} > c_1 $.


title: Exchange graphs of cluster algebras have the non-leaving-face property

abstract: The claim in the title is proved.


title: Realization of the Trajectory Propagation in the MM-SQC Dynamics by Using Machine Learning

abstract: The supervised machine learning (ML) approach is applied to realize the trajectory-based nonadiabatic dynamics within the framework of the symmetrical quasi-classical dynamics method based on the Meyer-Miller mapping Hamiltonian (MM-SQC). After the construction of the long short-term memory recurrent neural network (LSTM-RNN) model, it is used to perform the entire trajectory evolutions from initial sampling conditions. The proposed idea is proven to be reliable and accurate in the simulations of the dynamics of several site-exciton electron-phonon coupling models, which cover two-site and three-site systems with biased and unbiased energy levels, as well as include a few or many phonon modes. The LSTM-RNN approach also shows the powerful ability to obtain the accurate and stable results for the long-time evolutions. It indicates that the LSTM-RNN model perfectly captures of dynamical correction information in the trajectory evolution in the MM-SQC dynamics. Our work provides the possibility to employ the ML methods in the simulation of the trajectory-based nonadiabatic dynamic of complex systems with a large number of degrees of freedoms.


title: LightViT: Towards Light-Weight Convolution-Free Vision Transformers

abstract: Vision transformers (ViTs) are usually considered to be less light-weight than convolutional neural networks (CNNs) due to the lack of inductive bias. Recent works thus resort to convolutions as a plug-and-play module and embed them in various ViT counterparts. In this paper, we argue that the convolutional kernels perform information aggregation to connect all tokens; however, they would be actually unnecessary for light-weight ViTs if this explicit aggregation could function in a more homogeneous way. Inspired by this, we present LightViT as a new family of light-weight ViTs to achieve better accuracy-efficiency balance upon the pure transformer blocks without convolution. Concretely, we introduce a global yet efficient aggregation scheme into both self-attention and feed-forward network (FFN) of ViTs, where additional learnable tokens are introduced to capture global dependencies; and bi-dimensional channel and spatial attentions are imposed over token embeddings. Experiments show that our model achieves significant improvements on image classification, object detection, and semantic segmentation tasks. For example, our LightViT-T achieves 78.7% accuracy on ImageNet with only 0.7G FLOPs, outperforming PVTv2-B0 by 8.2% while 11% faster on GPU. Code is available at https://github.com/hunto/LightViT.


title: Applied Trajectory Design for close-proximity operations of Asteroid CubeSat Mission

abstract: In this paper, a practical approach to the trajectory design for asteroid exploration missions with CubeSats is presented. When applied trajectories are sought, operative concerns and uncertainties affecting the spacecraft dynamics must be considered during the design process. Otherwise, trajectories that are possible on paper might become unfeasible when real-world constraints are considered. The risk of such eventualities leads to the urge of extending the trajectory design focus on the uncertainties affecting the dynamics and on the operative constraints derived by ground operations. This is especially true when targeting highly perturbed environments such as small bodies with low-cost solutions as CubeSats, whose capabilities in deep-space are still unknown. The case study presented is the Milani CubeSat which will be launched in 2024 with Hera in the frame of the AIDA mission.


title: A fully algebraic and robust two-level Schwarz method based on optimal local approximation spaces

abstract: Two-level domain decomposition preconditioners lead to fast convergence and scalability of iterative solvers. However, for highly heterogeneous problems, where the coefficient function is varying rapidly on several possibly non-separated scales, the condition number of the preconditioned system generally depends on the contrast of the coefficient function leading to a deterioration of convergence. Enhancing the methods by coarse spaces constructed from suitable local eigenvalue problems, also denoted as adaptive or spectral coarse spaces, restores robust, contrast-independent convergence. However, these eigenvalue problems typically rely on non-algebraic information, such that the adaptive coarse spaces cannot be constructed from the fully assembled system matrix. In this paper, a novel algebraic adaptive coarse space, which relies on the a-orthogonal decomposition of (local) finite element (FE) spaces into functions that solve the partial differential equation (PDE) with some trace and FE functions that are zero on the boundary, is proposed. In particular, the basis is constructed from eigenmodes of two types of local eigenvalue problems associated with the edges of the domain decomposition. To approximate functions that solve the PDE locally, we employ a transfer eigenvalue problem, which has originally been proposed for the construction of optimal local approximation spaces for multiscale methods. In addition, we make use of a Dirichlet eigenvalue problem that is a slight modification of the Neumann eigenvalue problem used in the adaptive generalized Dryja-Smith-Widlund (AGDSW) coarse space. Both eigenvalue problems rely solely on local Dirichlet matrices, which can be extracted from the fully assembled system matrix. By combining arguments from multiscale and domain decomposition methods we derive a contrast-independent upper bound for the condition number.


title: 1+1>2: Programming Know-What and Know-How Knowledge Fusion, Semantic Enrichment and Coherent Application

abstract: Software programming requires both API reference (know-what) knowledge and programming task (know-how) knowledge. Lots of programming know-what and know-how knowledge is documented in text, for example, API reference documentation and programming tutorials. To improve knowledge accessibility and usage, several recent studies use Natural Language Processing (NLP) methods to construct API know-what knowledge graph (API-KG) and programming task know-how knowledge graph (Task-KG) from software documentation. Although being promising, current API-KG and Task-KG are independent of each other, and thus are void of inherent connections between the two types of knowledge. Our empirical study on Stack Overflow questions confirms that only 36% of the API usage problems can be answered by the know-how or the know-what knowledge alone, while the rest questions require a fusion of both. Inspired by this observation, we make the first attempt to fuse API-KG and Task-KG by API entity linking. This fusion creates nine categories of API semantic relations and two types of task semantic relations which are not present in the stand-alone API-KG or Task-KG. According to the definitions of these new API and task semantic relations, our approach dives deeper than the surface-level API linking of API-KG and Task-KG, and infers nine categories of API semantic relations from task descriptions and two types of task semantic relations with the assistance of API-KG, which enrich the declaration or syntactic relations in the current API-KG and Task-KG. Our fused and semantically-enriched API-Task KG supports coherent API/Task-centric knowledge search by text or code queries.


title: Brain-inspired Graph Spiking Neural Networks for Commonsense Knowledge Representation and Reasoning

abstract: How neural networks in the human brain represent commonsense knowledge, and complete related reasoning tasks is an important research topic in neuroscience, cognitive science, psychology, and artificial intelligence. Although the traditional artificial neural network using fixed-length vectors to represent symbols has gained good performance in some specific tasks, it is still a black box that lacks interpretability, far from how humans perceive the world. Inspired by the grandmother-cell hypothesis in neuroscience, this work investigates how population encoding and spiking timing-dependent plasticity (STDP) mechanisms can be integrated into the learning of spiking neural networks, and how a population of neurons can represent a symbol via guiding the completion of sequential firing between different neuron populations. The neuron populations of different communities together constitute the entire commonsense knowledge graph, forming a giant graph spiking neural network. Moreover, we introduced the Reward-modulated spiking timing-dependent plasticity (R-STDP) mechanism to simulate the biological reinforcement learning process and completed the related reasoning tasks accordingly, achieving comparable accuracy and faster convergence speed than the graph convolutional artificial neural networks. For the fields of neuroscience and cognitive science, the work in this paper provided the foundation of computational modeling for further exploration of the way the human brain represents commonsense knowledge. For the field of artificial intelligence, this paper indicated the exploration direction for realizing a more robust and interpretable neural network by constructing a commonsense knowledge representation and reasoning spiking neural networks with solid biological plausibility.


title: Riemann-Roch for Toric Rank Functions

abstract: In this thesis we study toric rank functions for chip firing games and prove special cases of a conjectural Riemann-Roch. The original motivation for an investigation into this area of study came for the adaptation (due to Matt Baker) of Riemann-Roch into a graph theoretic analogue through the use of chip-firing games. Here, we collect known results and present new observations that indicate Riemann--Roch holds for trees and polygons. We also prove an asymptotic case of Riemann--Roch (i.e.~Riemann--Roch for divisors of large degree). Finally, we also provide magma code and computational evidence that Riemann--Roch holds for the toric rank function.


title: Measurement of Beam Polarization at an $e^+e^-$ B-Factory with New Tau Polarimetry Technique

abstract: The BABAR collaboration has demonstrated the first application of the new Tau Polarimetry technique. This polarimetry technique exploits the kinematic coupling of $\tau$ decay products to the spin states of the $\tau$ and initial state electron, to precisely determine the average beam polarization in an $e^+e^-$ collider. The Tau Polarimetry technique is expected to be used at Belle II following an upgrade to a polarized electron beam, where the precision with which the average beam polarization is known is expected to be the dominant systematic uncertainty in proposed future measurements which require polarized beams. Applying Tau Polarimetry, BABAR has preliminarily measured the PEP-II average beam polarization to be $\langle P\rangle=-0.0010\pm0.0036_{\textrm{stat}}\pm0.0030_{\textrm{sys}}$.


title: The expected sum of edge lengths in planar linearizations of trees. Theory and applications

abstract: Dependency trees have proven to be a very successful model to represent the syntactic structure of sentences of human languages. In these structures, vertices are words and edges connect syntactically-dependent words. The tendency of these dependencies to be short has been demonstrated using random baselines for the sum of the lengths of the edges or its variants. A ubiquitous baseline is the expected sum in projective orderings (wherein edges do not cross and the root word of the sentence is not covered by any edge), that can be computed in time $O(n)$. Here we focus on a weaker formal constraint, namely planarity. In the theoretical domain, we present a characterization of planarity that, given a sentence, yields either the number of planar permutations or an efficient algorithm to generate uniformly random planar permutations of the words. We also show the relationship between the expected sum in planar arrangements and the expected sum in projective arrangements. In the domain of applications, we derive a $O(n)$-time algorithm to calculate the expected value of the sum of edge lengths. We also apply this research to a parallel corpus and find that the gap between actual dependency distance and the random baseline reduces as the strength of the formal constraint on dependency structures increases, suggesting that formal constraints absorb part of the dependency distance minimization effect. Our research paves the way for replicating past research on dependency distance minimization using random planar linearizations as random baseline.


title: Towards Hybrid-Optimization Video Coding

abstract: Video coding is a mathematical optimization problem of rate and distortion essentially. To solve this complex optimization problem, two popular video coding frameworks have been developed: block-based hybrid video coding and end-to-end learned video coding. If we rethink video coding from the perspective of optimization, we find that the existing two frameworks represent two directions of optimization solutions. Block-based hybrid coding represents the discrete optimization solution because those irrelevant coding modes are discrete in mathematics. It searches for the best one among multiple starting points (i.e. modes). However, the search is not efficient enough. On the other hand, end-to-end learned coding represents the continuous optimization solution because the gradient descent is based on a continuous function. It optimizes a group of model parameters efficiently by the numerical algorithm. However, limited by only one starting point, it is easy to fall into the local optimum. To better solve the optimization problem, we propose to regard video coding as a hybrid of the discrete and continuous optimization problem, and use both search and numerical algorithm to solve it. Our idea is to provide multiple discrete starting points in the global space and optimize the local optimum around each point by numerical algorithm efficiently. Finally, we search for the global optimum among those local optimums. Guided by the hybrid optimization idea, we design a hybrid optimization video coding framework, which is built on continuous deep networks entirely and also contains some discrete modes. We conduct a comprehensive set of experiments. Compared to the continuous optimization framework, our method outperforms pure learned video coding methods. Meanwhile, compared to the discrete optimization framework, our method achieves comparable performance to HEVC reference software HM16.10 in PSNR.


title: BASED-XAI: Breaking Ablation Studies Down for Explainable Artificial Intelligence

abstract: Explainable artificial intelligence (XAI) methods lack ground truth. In its place, method developers have relied on axioms to determine desirable properties for their explanations' behavior. For high stakes uses of machine learning that require explainability, it is not sufficient to rely on axioms as the implementation, or its usage, can fail to live up to the ideal. As a result, there exists active research on validating the performance of XAI methods. The need for validation is especially magnified in domains with a reliance on XAI. A procedure frequently used to assess their utility, and to some extent their fidelity, is an ablation study. By perturbing the input variables in rank order of importance, the goal is to assess the sensitivity of the model's performance. Perturbing important variables should correlate with larger decreases in measures of model capability than perturbing less important features. While the intent is clear, the actual implementation details have not been studied rigorously for tabular data. Using five datasets, three XAI methods, four baselines, and three perturbations, we aim to show 1) how varying perturbations and adding simple guardrails can help to avoid potentially flawed conclusions, 2) how treatment of categorical variables is an important consideration in both post-hoc explainability and ablation studies, and 3) how to identify useful baselines for XAI methods and viable perturbations for ablation studies.


title: Positive effects of multiplicative noise on the explosion of nonlinear fractional stochastic differential equations

abstract: For the nonlinear stochastic partial differential equation which is driven by multiplicative noise of the form \[D_t^\beta u = \left[ { - {{\left( { - \Delta } \right)}^s}u + \zeta \left( u \right)} \right]dt + A\sum\limits_{m \in Z_0^d} {\sum\limits_{j = 1}^{d - 1} {{\theta _m}{\sigma _{m,j}}\left( x \right)} } \circ dW_t^{m,j},\;\; s \ge 1,\;\;\frac{1}{2} < \beta < 1,\] where $D_{t}^\beta $ denotes the Caputo derivative, $A>0$ is a constant depending on the noise intensity, $\circ$ represent the Stratonovich-type stochastic differential, we consider the blow-up time of its solutions. We find that the introduction of noise can effectively delay the blow-up time of the solution to the deterministic differential equation when $\zeta$ in the above equation satisfies some assumptions. A key element in our construction is using the Galerkin approximation and a priori estimates methods to prove the existence and uniqueness of the solutions to the above stochastic equations, which can be regarded as the fractional order extension of the conclusions in \cite{flandoli2021delayed}. We also verify the validation of hypotheses in the time fractional Keller-Segel and time fractional Fisher-KPP equations in 3D case.


title: Benchmarking quantum error-correcting codes on quasi-linear and central-spin processors

abstract: We evaluate the performance of small error-correcting codes, which we tailor to hardware platforms of very different connectivity and coherence: on a superconducting processor based on transmon qubits and a spintronic quantum register consisting of a nitrogen-vacancy center in diamond. Taking the hardware-specific errors and connectivity into account, we investigate the dependence of the resulting logical error rate on the platform features such as the native gates, native connectivity, gate times, and coherence times. Using a standard error model parameterized for the given hardware, we simulate the performance and benchmark these predictions with experimental results when running the code on the superconducting quantum device. The results indicate that for small codes, the quasi-linear layout of the superconducting device is advantageous. Yet, for codes involving multi-qubit controlled operations, the central-spin connectivity of the color centers enables lower error rates.


title: Nonlinear Optics: a look from the interaction time viewpoint and what it portends

abstract: I present a simple view of nonlinear optcal phenomena as being determined mostly by the length of interaction time between photons and matter. This may explain why in the last decades the progress in developing better nonlinear materials has not been as rapid as wished. A few tentative routes towards possible improvements in the efficiency of nonlinear optical phenomena are suggested.


title: Superradiance from a Relativistic Source

abstract: We construct a model of cooperative superradiant emission from a highly relativistic multi-particle source. We revise an existing model of the literature for a relativistic two-level particle, and construct from it a Hamiltonian describing relativistic velocity dependent multi-particle superradiance. We adapt the standard diagrammatic framework to compute time evolution and density operators from our Hamiltonian, and demonstrate during the process a departure from standard results and calculation methods. In particular, we demonstrate that the so-called vertical photon result of the literature is modified by the relativistic Lorentz factor of the sample; we also introduce a set of coupled differential equations describing certain propagators in the velocity-dependent small sample framework, which we solve numerically via a hybrid fourth order Runge-Kutta and convolution approach. We demonstrate our methods for the simple case of two highly relativistic particles travelling with slightly differing velocities simulated at varying relativistic mean sample $\beta$ factors, and evaluate velocity coherence requirements for a sample to demonstrate enhanced superradiant emission in the observer frame. We find these coherence requirements to become increasingly restrictive at higher $\beta$ factors, even in the context of standard results of relativistic velocity differential transformations.


title: Light-induced hexatic state in a layered quantum material

abstract: The tunability of materials properties by light promises a wealth of future applications in energy conversion and information technology. Strongly correlated materials such as transition-metal dichalcogenides (TMDCs) offer optical control of electronic phases, charge ordering and interlayer correlations by photodoping. Here, we find the emergence of a transient hexatic state in a TMDC thin-film during the laser-induced transformation between two charge-density wave (CDW) phases. Introducing tilt-series ultrafast nanobeam electron diffraction, we reconstruct CDW rocking curves at high momentum resolution. An intermittent suppression of three-dimensional structural correlations promotes a loss of in-plane translational order characteristic of a hexatic intermediate. Our results demonstrate the merit of tomographic ultrafast structural probing in tracing coupled order parameters, heralding universal nanoscale access to laser-induced dimensionality control in functional heterostructures and devices.


title: Distributive FCP extensions

abstract: We are dealing with extensions of commutative rings $R\subseteq S$ whose chains of the poset $[R,S]$ of their subextensions are finite ({\em i.e.} $R\subseteq S$ has the FCP property) and such that $[R,S]$ is a distributive lattice, that we call distributive FCP extensions. Note that the lattice $[R,S]$ of a distributive FCP extension is finite. This paper is the continuation of our earlier papers where we studied catenarian and Boolean extensions. Actually, for an FCP extension, the following implications hold: Boolean $\Rightarrow$ distributive $\Rightarrow$ catenarian. A comprehensive characterization of distributive FCP extensions actually remains a challenge, essentially because the same problem for field extensions is not completely solved. Nevertheless, we are able to exhibit a lot of positive results for some classes of extensions. A main result is that an FCP extension $R\subseteq S$ is distributive if and only if $R\subseteq\overline R$ is distributive, where $\overline R$ is the integral closure of $R$ in $S$. A special attention is paid to distributive field extensions.


title: Simultaneous space and phase resolved X-ray polarimetry of the Crab Pulsar and Nebula

abstract: The Crab pulsar and its nebula are among the most studied astrophysical systems, and constitute one of the most promising environments where high energy processes and particle acceleration can be investigated. They are the only objects for which previous X-ray polarisation has been reported. We present here the first Imaging X-ray Polarimetry Explorer (IXPE) observation of the Crab pulsar and nebula. The total pulsar pulsed emission in the [2-8] keV energy range is unpolarised. Significant polarisation up to 15% is detected only in the core of the main peak. The nebula has a total space integrated polarised degree of 20% and polarisation angle of 145deg. The polarised maps show a large variation in the local polarisation, and regions with polarised degree up to 45-50%. The polarisation pattern suggests a predominantly toroidal magnetic field.


title: Envelopes and principal component regression

abstract: Envelope methods offer targeted dimension reduction for various models. The overarching goal is to improve efficiency in multivariate parameter estimation by projecting the data onto a lower-dimensional subspace known as the envelope. Envelope approaches have advantages in analyzing data with highly correlated variables, but their iterative Grassmannian optimization algorithms do not scale very well with ultra high-dimensional data. While the connections between envelopes and partial least squares in multivariate linear regression have promoted recent progress in high-dimensional studies of envelopes, we propose a more straightforward way of envelope modeling from a novel principal components regression perspective. The proposed procedure, Non-Iterative Envelope Component Estimation (NIECE), has excellent computational advantages over the iterative Grassmannian optimization alternatives in high dimensions. We develop a unified NIECE theory that bridges the gap between envelope methods and principal components in regression. The new theoretical insights also shed light on the envelope subspace estimation error as a function of eigenvalue gaps of two symmetric positive definite matrices used in envelope modeling. We apply the new theory and algorithm to several envelope models, including response and predictor reduction in multivariate linear models, logistic regression, and Cox proportional hazard model. Simulations and illustrative data analysis show the potential for NIECE to improve standard methods in linear and generalized linear models significantly.