title: Enhancing Next-Generation Extended Reality Applications with Coded Caching

abstract: The next evolutionary step in human-computer interfaces will bring forward immersive digital experiences that submerge users in a 3D world while allowing them to interact with virtual or twin objects. Accordingly, various collaborative extended reality (XR) applications are expected to emerge, imposing stringent performance requirements on the underlying wireless connectivity infrastructure. In this paper, we examine how novel multi-antenna coded caching (CC) techniques can facilitate high-rate low-latency communications and improve users' quality of experience (QoE) in our envisioned multi-user XR scenario. Specifically, we discuss how these techniques make it possible to prioritize the content relevant to wireless bottleneck areas while enabling the cumulative cache memory of the users to be utilized as an additional communication resource. In this regard, we first explore recent advancements in multi-antenna CC that facilitate the efficient use of distributed in-device memory resources. Then, we review how XR application requirements are addressed within the third-generation partnership project (3GPP) framework and how our envisioned XR scenario relates to the foreseen use cases. Finally, we identify new challenges arising from integrating CC techniques into multi-user XR scenarios and propose novel solutions to address them in practice.


title: Violation of the fluctuation-dissipation theorem and effective temperatures in spin ice

abstract: We present numerical tests of the fluctuation-dissipation theorem (FDT) in the dumbbell model of spin ice with parameters suitable for dysprosium titanate. The tests are made for local spin variables, magnetic monopole density, and energy. We are able to achieve local equilibrium in which the FDT is satisfied down to $T=0.4$ K below which the system completely freezes. Non-equilibrium dynamics, together with violation of the FDT, are nonetheless observed following a thermal quench into the non-contractable monopole pair regime. Despite FDT violation, an approximate linear response regime allows for the identification of effective non-equilibrium temperatures which are different for each variable. The spin variable appears hotter than the heat reservoir, the monopole concentration responds with a lower effective temperature while the energy has a negative effective temperature. Results are discussed in the context of the monopole picture of spin ice and compared to the structure of FDT violations in other glassy materials. Prospectives for future experiments are reviewed.


title: Quantum phase with coexisting localized, extended, and critical zones

abstract: Conventionally a mobility edge (ME) marks a critical energy that separates two different transport zones where all states are extended and localized, respectively. Here we propose a novel quasiperiodic spin-orbit coupled lattice model with experimental feasibility to realize a fundamentally new quantum phase with three coexisting energy-dependent zones, i.e., the extended, critical and localized zones, and uncover the underlying generic mechanism for the occurrence of the new quantum phase. Accordingly, this phase exhibits new types of MEs which separate the extended states from critical ones, and the localized states from critical ones, respectively. We introduce the diagnostic quantities to characterize and distinguish the different zones, and show that the predicted phase can be detected by measuring the fractal dimension or conductivities. The experimental realization is also proposed and studied. This work extends the concept of ME and enriches the quantum phases in disordered systems, which sheds light on searching for new localization and critical phenomena with novel transport and thermoelectric effects.


title: CATs++: Boosting Cost Aggregation with Convolutions and Transformers

abstract: Cost aggregation is a highly important process in image matching tasks, which aims to disambiguate the noisy matching scores. Existing methods generally tackle this by hand-crafted or CNN-based methods, which either lack robustness to severe deformations or inherit the limitation of CNNs that fail to discriminate incorrect matches due to limited receptive fields and inadaptability. In this paper, we introduce Cost Aggregation with Transformers (CATs) to tackle this by exploring global consensus among initial correlation map with the help of some architectural designs that allow us to fully enjoy global receptive fields of self-attention mechanism. Also, to alleviate some of the limitations that CATs may face, i.e., high computational costs induced by the use of a standard transformer that its complexity grows with the size of spatial and feature dimensions, which restrict its applicability only at limited resolution and result in rather limited performance, we propose CATs++, an extension of CATs. Our proposed methods outperform the previous state-of-the-art methods by large margins, setting a new state-of-the-art for all the benchmarks, including PF-WILLOW, PF-PASCAL, and SPair-71k. We further provide extensive ablation studies and analyses.


title: Frequencies of astrophysical jets and gravitational strengths in the octonion spaces

abstract: The paper focuses on applying the octonions to explore the electromagnetic and gravitational equations in the presence of some material media, exploring the frequencies of astrophysical jets. Maxwell was the first to use the algebra of quaternions to describe the electromagnetic equations. This method encourages scholars in adopting the quaternions and octonions to study the physical properties of electromagnetic and gravitational fields, including the field strength, field source, linear momentum, and angular momentum and so forth. In the paper, the field strength and angular momentum in the vacuum can be combined together to become one new physical quantity, that is, the composite field strength within the material media. Substituting the latter for the field strength in the vacuum will deduce the field equations within material media, including the electromagnetic and gravitational equations in the presence of some material media. In terms of the electromagnetic fields, the electromagnetic equations in the presence of some electromagnetic media are able to explore a few new physical properties of electromagnetic media. Especially, in case the magnetic flux density and magnetization intensity both fluctuate at a single-frequency, their frequencies must be identical to each other within electromagnetic media. In some extreme cases, the electromagnetic equations within electromagnetic media will be degenerated into the Maxwell's equations in the vacuum. The above reveals that the electromagnetic equations within electromagnetic media are capable of extending the scope of application of electromagnetic theory. For the gravitational fields, there are some similar inferences and conclusions within gravitational media. Further they can be utilized to research the frequencies of astrophysical jets.


title: Learning from distinctive candidates to optimize reduced-precision convolution program on tensor cores

abstract: Convolution is one of the fundamental operations of deep neural networks with demanding matrix computation. In a graphic processing unit (GPU), Tensor Core is a specialized matrix processing hardware equipped with reduced-precision matrix-multiply-accumulate (MMA) instructions to increase throughput. However, it is challenging to achieve optimal performance since the best scheduling of MMA instructions varies for different convolution sizes. In particular, reduced-precision MMA requires many elements grouped as a matrix operand, seriously limiting data reuse and imposing packing and layout overhead on the schedule. This work proposes an automatic scheduling method of reduced-precision MMA for convolution operation. In this method, we devise a search space that explores the thread tile and warp sizes to increase the data reuse despite a large matrix operand of reduced-precision MMA. The search space also includes options of register-level packing and layout optimization to lesson overhead of handling reduced-precision data. Finally, we propose a search algorithm to find the best schedule by learning from the distinctive candidates. This reduced-precision MMA optimization method is evaluated on convolution operations of popular neural networks to demonstrate substantial speedup on Tensor Core compared to the state of the arts with shortened search time.


title: Experimental realization of a universal RF photonic integrated circuit

abstract: This paper demonstrates the operation of a universal RF photonic circuit that consists of a generalized Mach Zehnder Interferometer architecture with its Nx1 combiner replaced by a NxN optical DFT network. The proposed circuit architecture can be used for SSB modulation, frequency up-conversion/down-conversion, frequency multiplication and phase correlated subcarrier generation based on the choice of output ports and dimension (N) of the circuit. An alternative representation of the circuit is also reported with the aim of a systematic demultiplexing. A transfer matrix approach is used to develop the theoretical predictions which are verified by simulation using industry standard software tool. An integrated circuit based on silicon photonics technology readily available in the laboratory is used for experimental confirmation.


title: Motif-topology and Reward-learning improved Spiking Neural Network for Efficient Multi-sensory Integration

abstract: Network architectures and learning principles are key in forming complex functions in artificial neural networks (ANNs) and spiking neural networks (SNNs). SNNs are considered the new-generation artificial networks by incorporating more biological features than ANNs, including dynamic spiking neurons, functionally specified architectures, and efficient learning paradigms. In this paper, we propose a Motif-topology and Reward-learning improved SNN (MR-SNN) for efficient multi-sensory integration. MR-SNN contains 13 types of 3-node Motif topologies which are first extracted from independent single-sensory learning paradigms and then integrated for multi-sensory classification. The experimental results showed higher accuracy and stronger robustness of the proposed MR-SNN than other conventional SNNs without using Motifs. Furthermore, the proposed reward learning paradigm was biologically plausible and can better explain the cognitive McGurk effect caused by incongruent visual and auditory sensory signals.


title: New examples of radical join-meet ideals

abstract: In this paper, we give new examples of a finite lattice $L$ such that the join-meet ideal $I_L$ is radical.


title: Development and Comparison of Scoring Functions in Curriculum Learning

abstract: Curriculum Learning is the presentation of samples to the machine learning model in a meaningful order instead of a random order. The main challenge of Curriculum Learning is determining how to rank these samples. The ranking of the samples is expressed by the scoring function. In this study, scoring functions were compared using data set features, using the model to be trained, and using another model and their ensemble versions. Experiments were performed for 4 images and 4 text datasets. No significant differences were found between scoring functions for text datasets, but significant improvements were obtained in scoring functions created using transfer learning compared to classical model training and other scoring functions for image datasets. It shows that different new scoring functions are waiting to be found for text classification tasks.


title: String integrability of the ABJM defect

abstract: ABJM theory in the presence of a half-BPS domain wall is dual to the D2-D4 probe brane system with nonzero worldvolume flux. The ABJM domain wall was recently shown to be integrable to lowest order in perturbation theory and bond dimension. In the present paper we show that the string theory dual of this system is integrable, namely that the string boundary conditions on the probe D4-brane preserve the integrability of the Green-Schwarz sigma model. Our result suggests that the ABJM domain wall is integrable to all loop orders and for any value of the bond dimension.


title: Robust Estimation of Discrete Distributions under Local Differential Privacy

abstract: Although robust learning and local differential privacy are both widely studied fields of research, combining the two settings is just starting to be explored. We consider the problem of estimating a discrete distribution in total variation from $n$ contaminated data batches under a local differential privacy constraint. A fraction $1-\epsilon$ of the batches contain $k$ i.i.d. samples drawn from a discrete distribution $p$ over $d$ elements. To protect the users' privacy, each of the samples is privatized using an $\alpha$-locally differentially private mechanism. The remaining $\epsilon n $ batches are an adversarial contamination. The minimax rate of estimation under contamination alone, with no privacy, is known to be $\epsilon/\sqrt{k}+\sqrt{d/kn}$, up to a $\sqrt{\log(1/\epsilon)}$ factor. Under the privacy constraint alone, the minimax rate of estimation is $\sqrt{d^2/\alpha^2 kn}$. We show that combining the two constraints leads to a minimax estimation rate of $\epsilon\sqrt{d/\alpha^2 k}+\sqrt{d^2/\alpha^2 kn}$ up to a $\sqrt{\log(1/\epsilon)}$ factor, larger than the sum of the two separate rates. We provide a polynomial-time algorithm achieving this bound, as well as a matching information theoretic lower bound.


title: Parallel Repetition For All 3-Player Games Over Binary Alphabet

abstract: We prove that for every 3-player game with binary questions and answers and value $<1$, the value of the $n$-fold parallel repetition of the game decays polynomially fast to 0. That is, for every such game, there exists a constant $c>0$, such that the value of the $n$-fold parallel repetition of the game is at most $n^{-c}$. Along the way to proving this theorem, we prove two additional parallel repetition theorems for multiplayer games, that may be of independent interest: Playerwise Connected Games (with any number of players and any Alphabet size): We identify a large class of multiplayer games and prove that for every game with value $<1$ in that class, the value of the $n$-fold parallel repetition of the game decays polynomially fast to 0. More precisely, our result applies for playerwise connected games, with any number of players and any alphabet size. The class of playerwise connected games is strictly larger than the class of connected games that was defined in [DHVY17] and for which exponentially fast decay bounds are known [DHVY17]. For playerwise connected games that are not connected, only inverse Ackermann decay bounds were previously known [Ver96]. Exponential Bounds for the Anti-Correlation Game: In the 3-player anti-correlation game, two out of three players are given $1$ as input, and the remaining player is given $0$. The two players who were given $1$ must produce different outputs in $\{0,1\}$. We prove that the value of the $n$-fold parallel repetition of that game decays exponentially fast to 0. Only inverse Ackermann decay bounds were previously known [Ver96]. This game was studied and motivated in several previous works. In particular, Holmgren and Yang gave it as an example for a 3-player game whose non-signaling value (is smaller than 1 and yet) does not decrease at all under parallel repetition [HY19].


title: A Subpolynomial Approximation Algorithm for Graph Crossing Number in Low-Degree Graphs

abstract: We consider the classical Minimum Crossing Number problem: given an $n$-vertex graph $G$, compute a drawing of $G$ in the plane, while minimizing the number of crossings between the images of its edges. This is a fundamental and extensively studied problem, whose approximability status is widely open. In all currently known approximation algorithms, the approximation factor depends polynomially on $\Delta$ -- the maximum vertex degree in $G$. The best current approximation algorithm achieves an $O(n^{1/2-\varepsilon}\cdot \text{poly}(\Delta\cdot\log n))$-approximation, for a small fixed constant $\epsilon$, while the best negative result is APX-hardness, leaving a large gap in our understanding of this basic problem. In this paper we design a randomized $O\left(2^{O((\log n)^{7/8}\log\log n)}\cdot\text{poly}(\Delta)\right )$-approximation algorithm for Minimum Crossing Number. This is the first approximation algorithm for the problem that achieves a subpolynomial in $n$ approximation factor (albeit only in graphs whose maximum vertex degree is subpolynomial in $n$). In order to achieve this approximation factor, we design a new algorithm for a closely related problem called Crossing Number with Rotation System, in which, for every vertex $v\in V(G)$, the circular ordering, in which the images of the edges incident to $v$ must enter the image of $v$ in the drawing is fixed as part of the input. Combining this result with the recent reduction of [Chuzhoy, Mahabadi, Tan '20] immediately yields the improved approximation algorithm for Minimum Crossing Number. We introduce several new technical tools, that we hope will be helpful in obtaining better algorithms for the problem in the future.


title: On the Convergence of SARSA with Linear Function Approximation

abstract: SARSA, a classical on-policy control algorithm for reinforcement learning, is known to chatter when combined with linear function approximation: SARSA does not diverge but oscillates in a bounded region. However, little is known about how fast SARSA converges to that region and how large the region is. In this paper, we make progress towards this open problem by showing the convergence rate of projected SARSA to a bounded region. Importantly, the region is much smaller than the region that we project into, provided that the magnitude of the reward is not too large. Existing works regarding the convergence of linear SARSA to a fixed point all require the Lipschitz constant of SARSA's policy improvement operator to be sufficiently small; our analysis instead applies to arbitrary Lipschitz constants and thus characterizes the behavior of linear SARSA for a new regime.


title: Permutation invariant matrix statistics and computational language tasks

abstract: The Linguistic Matrix Theory programme introduced by Kartsaklis, Ramgoolam and Sadrzadeh is an approach to the statistics of matrices that are generated in type-driven distributional semantics, based on permutation invariant polynomial functions which are regarded as the key observables encoding the significant statistics. In this paper we generalize the previous results on the approximate Gaussianity of matrix distributions arising from compositional distributional semantics. We also introduce a geometry of observable vectors for words, defined by exploiting the graph-theoretic basis for the permutation invariants and the statistical characteristics of the ensemble of matrices associated with the words. We describe successful applications of this unified framework to a number of tasks in computational linguistics, associated with the distinctions between synonyms, antonyms, hypernyms and hyponyms.


title: Online Approval Committee Elections

abstract: Assume $k$ candidates need to be selected. The candidates appear over time. Each time one appears, it must be immediately selected or rejected -- a decision that is made by a group of individuals through voting. Assume the voters use approval ballots, i.e., for each candidate they only specify whether they consider it acceptable or not. This setting can be seen as a voting variant of choosing $k$ secretaries. Our contribution is twofold. (1) We assess to what extent the committees that are computed online can proportionally represent the voters. (2) If a prior probability over candidate approvals is available, we show how to compute committees with maximal expected score.


title: Fault-tolerance in qudit circuit design

abstract: The efficient decomposition of multi-controlled gates is a significant factor in quantum compiling, both in circuit depth and T-gate count. Recent work has demonstrated that qudits have the potential to reduce resource requirements from linear to logarithmic depth and to avoid fractional phase rotations. Here we argue, based on the scaling of decoherence in high-index states, that circuit depth is not the primary factor, and that both the choice of entangling gate and interaction network topology act together to determine the spread of errors and ultimate failure rate in a circuit. We further show that for certain linear-depth circuits, additional error mitigation is possible via selective application of resources.


title: Emergence of Objectivity for Quantum Many-Body Systems

abstract: We examine the emergence of objectivity for quantum many-body systems in a setting without an environment to decohere the system's state, but where observers can only access small fragments of the whole system. We extend the result of Reidel (2017) to the case where the system is in a mixed state, measurements are performed through POVMs, and imprints of the outcomes are imperfect. We introduce a new condition on states and measurements to recover full classicality for any number of observers. We further show that evolutions of quantum many-body systems can be expected to yield states that satisfy this condition whenever the corresponding measurement outcomes are redundant.


title: Perverse schobers and 3d mirror symmetry

abstract: The proposed physical duality known as 3d mirror symmetry relates the geometries of dual pairs of holomorphic symplectic stacks. It has served in recent years as a guiding principle for developments in representation theory. However, due to the lack of definitions, thus far only small pieces of the subject have been mathematically accessible. In this paper, we formulate abelian 3d mirror symmetry as an equivalence between a pair of 2-categories constructed from the algebraic and symplectic geometry, respectively, of Gale dual toric cotangent stacks. In the simplest case, our theorem provides a spectral description of the 2-category of spherical functors - i.e., perverse schobers on the affine line with singularities at the origin. We expect that our results can be extended from toric cotangent stacks to hypertoric varieties, which would provide a categorification of previous results on Koszul duality for hypertoric categories $\mathcal{O}$. Our methods also suggest approaches to 2-categorical 3d mirror symmetry for more general classes of spaces of interest in geometric representation theory. Along the way, we establish two results that may be of independent interest: (1) a version of the theory of Smith ideals in the setting of stable $\infty$-categories; and (2) an ambidexterity result for co/limits of presentable enriched $\infty$-categories over $\infty$-groupoids.


title: Memory-Efficient Sequential Pattern Mining with Hybrid Tries

abstract: As modern data sets continue to grow exponentially in size, the demand for efficient mining algorithms capable of handling such large data sets becomes increasingly imperative. This paper develops a memory-efficient approach for Sequential Pattern Mining (SPM), a fundamental topic in knowledge discovery that faces a well-known memory bottleneck for large data sets. Our methodology involves a novel hybrid trie data structure that exploits recurring patterns to compactly store the data set in memory; and a corresponding mining algorithm designed to effectively extract patterns from this compact representation. Numerical results on real-life test instances show an average improvement of 88% in memory consumption and 41% in computation time for small to medium-sized data sets compared to the state of the art. Furthermore, our algorithm stands out as the only capable SPM approach for large data sets within 256GB of system memory.


title: Approximation of N-player stochastic games with singular controls by mean field games

abstract: This paper establishes that a class of $N$-player stochastic games with singular controls, either of bounded velocity or of finite variation, can both be approximated by mean field games (MFGs) with singular controls of bounded velocity. More specifically, it shows (i) the optimal control to an MFG with singular controls of a bounded velocity $\theta$ is shown to be an $\epsilon_N$-NE to an $N$-player game with singular controls of the bounded velocity, with $\epsilon_N = O(\frac{1}{\sqrt{N}})$, and (ii) the optimal control to this MFG is an $(\epsilon_N + \epsilon_{\theta})$-NE to an $N$-player game with singular controls of finite variation, where $\epsilon_{\theta}$ is an error term that depends on $\theta$. This work generalizes the classical result on approximation $N$-player games by MFGs, by allowing for discontinuous controls.


title: A Machine Learning Framework for Event Identification via Modal Analysis of PMU Data

abstract: Power systems are prone to a variety of events (e.g. line trips and generation loss) and real-time identification of such events is crucial in terms of situational awareness, reliability, and security. Using measurements from multiple synchrophasors, i.e., phasor measurement units (PMUs), we propose to identify events by extracting features based on modal dynamics. We combine such traditional physics-based feature extraction methods with machine learning to distinguish different event types. Including all measurement channels at each PMU allows exploiting diverse features but also requires learning classification models over a high-dimensional space. To address this issue, various feature selection methods are implemented to choose the best subset of features. Using the obtained subset of features, we investigate the performance of two well-known classification models, namely, logistic regression (LR) and support vector machines (SVM) to identify generation loss and line trip events in two datasets. The first dataset is obtained from simulated generation loss and line trip events in the Texas 2000-bus synthetic grid. The second is a proprietary dataset with labeled events obtained from a large utility in the USA involving measurements from nearly 500 PMUs. Our results indicate that the proposed framework is promising for identifying the two types of events.


title: Chain-level equivariant string topology: algebra versus analysis

abstract: We prove that on 2-connected closed oriented manifolds, the analytic and algebraic constructions of an IBL$_\infty$ structure associated to a closed oriented manifold coincide. The corresponding structure is invariant under orientation preserving homotopy equivalences and induces on homology the involutive Lie bialgebra structure of Chas and Sullivan.


title: Problems hard for treewidth but easy for stable gonality

abstract: We show that some natural problems that are XNLP-hard (which implies W[t]-hardness for all t) when parameterized by pathwidth or treewidth, become FPT when parameterized by stable gonality, a novel graph parameter based on optimal maps from graphs to trees. The problems we consider are classical flow and orientation problems, such as Undirected Flow with Lower Bounds (which is strongly NP-complete, as shown by Itai), Minimum Maximum Outdegree (for which W[1]-hardness for treewidth was proven by Szeider), and capacitated optimization problems such as Capacitated (Red-Blue) Dominating Set (for which W[1]-hardness was proven by Dom, Lokshtanov, Saurabh and Villanger). Our hardness proofs (that beat existing results) use reduction to a recent XNLP-complete problem (Accepting Non-deterministic Checking Counter Machine). The new easy parameterized algorithms use a novel notion of weighted tree partition with an associated parameter that we call treebreadth, inspired by Seese's notion of tree-partite graphs, as well as techniques from dynamical programming and integer linear programming.


title: Close-up and Whispering: An Understanding of Multimodal and Parasocial Interactions in YouTube ASMR videos

abstract: ASMR (Autonomous Sensory Meridian Response) has grown to immense popularity on YouTube and drawn HCI designers' attention to its effects and applications in design. YouTube ASMR creators incorporate visual elements, sounds, motifs of touching and tasting, and other scenarios in multisensory video interactions to deliver enjoyable and relaxing experiences to their viewers. ASMRtists engage viewers by social, physical, and task attractions. Research has identified the benefits of ASMR in mental wellbeing. However, ASMR remains an understudied phenomenon in the HCI community, constraining designers' ability to incorporate ASMR in video-based designs. This work annotates and analyzes the interaction modalities and parasocial attractions of 2663 videos to identify unique experiences. YouTube comment sections are also analyzed to compare viewers' responses to different ASMR interactions. We find that ASMR videos are experiences of multimodal social connection, relaxing physical intimacy, and sensory-rich activity observation. Design implications are discussed to foster future ASMR-augmented video interactions.


title: What Do They Capture? -- A Structural Analysis of Pre-Trained Language Models for Source Code

abstract: Recently, many pre-trained language models for source code have been proposed to model the context of code and serve as a basis for downstream code intelligence tasks such as code completion, code search, and code summarization. These models leverage masked pre-training and Transformer and have achieved promising results. However, currently there is still little progress regarding interpretability of existing pre-trained code models. It is not clear why these models work and what feature correlations they can capture. In this paper, we conduct a thorough structural analysis aiming to provide an interpretation of pre-trained language models for source code (e.g., CodeBERT, and GraphCodeBERT) from three distinctive perspectives: (1) attention analysis, (2) probing on the word embedding, and (3) syntax tree induction. Through comprehensive analysis, this paper reveals several insightful findings that may inspire future studies: (1) Attention aligns strongly with the syntax structure of code. (2) Pre-training language models of code can preserve the syntax structure of code in the intermediate representations of each Transformer layer. (3) The pre-trained models of code have the ability of inducing syntax trees of code. Theses findings suggest that it may be helpful to incorporate the syntax structure of code into the process of pre-training for better code representations.


title: Minimizing the Weighted Number of Tardy Jobs via (max,+)-Convolutions

abstract: The $1 \mid \mid \Sigma w_j U_j$ problem asks to determine -- given $n$ jobs each with its own processing time, weight, and due date -- the minimum weighted number of tardy jobs in any single machine non-preemptive schedule for these jobs. This is a classical scheduling problem that generalizes both Knapsack, and Subset Sum. The best known pseudo-polynomial algorithm for $1 \mid \mid \Sigma w_j U_j$, due to Lawler and Moore [Management Science'69], dates back to the late 60s and has a running time of $O(d_{\max}n)$, where $n$ is the number of jobs and $d_{\max}$ is their maximal due date. A recent lower bound by Cygan \emph{et al.}~[ICALP'19] for Knapsack shows that $1 \mid \mid \Sigma w_j U_j$ cannot be solved in $\widetilde{O}((n+d_{\max})^{2-\varepsilon})$ time, for any $\varepsilon > 0$, under a plausible conjecture. This still leaves a gap between the best known lower bound and upper bound for the problem. In this paper we design a new simple algorithm for $1 \mid \mid \Sigma w_j U_j$ that uses $(\max,+)$-convolutions as its main tool, and outperforms the Lawler and Moore algorithm under several parameter ranges. In particular, depending on the specific method of computing $(\max,+)$-convolutions, its running time can be bounded by - $\widetilde{O}(n+d_{\#}d_{\max}^2)$. - $\widetilde{O}(d_{\#}n +d^2_{\#}d_{\max}w_{\max})$. - $\widetilde{O}(d_{\#}n +d_{\#}d_{\max}p_{\max})$. - $\widetilde{O}(n^2 +d_{\max}w^2_{\max})$. - $\widetilde{O}(n^2 + d_{\#}(d_{\max}w_{\max})^{1.5})$. Here, $d_{\#}$ denotes the number of \emph{different} due dates in the instance, $p_{\max}$ denotes the maximum processing time of any job, and $w_{\max}$ denotes the maximum weight of any job.


title: Discovery of pulsating components in eclipsing binary systems through the TESS light curves: The cases of CPD-30 740, HD 97329, V1637 Ori and TYC 683-640-1

abstract: We present the first evidence for the pulsations of primary components of four eclipsing binary systems. The TESS light curves of the targets are analyzed, the light and the absolute parameters are derived. Fourier analyses are applied to the residual data subtracted from the binary models to reveal the pulsational characteristics of the primaries. The components of the systems are compared to well-known binary systems of the same morphological type. The types of pulsational classes for the primaries are also discussed. Results show that CPD-30 740 and V1637 Ori are oscillating eclipsing Algol type binary stars, while HD 97329 and TYC 683-640-1 are found to be detached systems with pulsating primary components. We conclude that the primary components of the systems are pulsating stars.


title: Continual Learning from Demonstration of Robotics Skills

abstract: Methods for teaching motion skills to robots focus on training for a single skill at a time. Robots capable of learning from demonstration can considerably benefit from the added ability to learn new movement skills without forgetting what was learned in the past. To this end, we propose an approach for continual learning from demonstration using hypernetworks and neural ordinary differential equation solvers. We empirically demonstrate the effectiveness of this approach in remembering long sequences of trajectory learning tasks without the need to store any data from past demonstrations. Our results show that hypernetworks outperform other state-of-the-art continual learning approaches for learning from demonstration. In our experiments, we use the popular LASA benchmark, and two new datasets of kinesthetic demonstrations collected with a real robot that we introduce in this paper called the HelloWorld and RoboTasks datasets. We evaluate our approach on a physical robot and demonstrate its effectiveness in learning real-world robotic tasks involving changing positions as well as orientations. We report both trajectory error metrics and continual learning metrics, and we propose two new continual learning metrics. Our code, along with the newly collected datasets, is available at https://github.com/sayantanauddy/clfd.


title: On Pitfalls of Identifiability in Unsupervised Learning. A Note on: "Desiderata for Representation Learning: A Causal Perspective"

abstract: Model identifiability is a desirable property in the context of unsupervised representation learning. In absence thereof, different models may be observationally indistinguishable while yielding representations that are nontrivially related to one another, thus making the recovery of a ground truth generative model fundamentally impossible, as often shown through suitably constructed counterexamples. In this note, we discuss one such construction, illustrating a potential failure case of an identifiability result presented in "Desiderata for Representation Learning: A Causal Perspective" by Wang & Jordan (2021). The construction is based on the theory of nonlinear independent component analysis. We comment on implications of this and other counterexamples for identifiable representation learning.


title: Physics in Ultra-Strong Magnetic Fields

abstract: Several populations of neutron stars have surface magnetic fields above the critical strength of 4.4 x 10^{13} G where the electron cyclotron energy equals its rest mass energy. These include high-field rotation-powered pulsars, X-ray dim isolated neutron stars (XDIN), and magnetars. In such ultra-strong fields, quantum effects in physical processes as well as additional exotic Quantum Electrodynamic processes only occurring at these high field strengths have a significant influence on the emitted radiation. Although very strong magnetic fields play a critical role both inside and outside of neutron stars, I will review primarily processes that operate in the neutron star magnetospheres and how they influence the observed radiation.


title: Polarisation signatures in radio for inclined cosmic-ray induced air-shower identification

abstract: Autonomous radio-detection, i.e., detection of air-showers with standalone radio arrays, is one of the major technical challenges to overcome for the next generation astroparticle detectors. In this context, we study polarisation signatures of simulated radio signals to perform an identification of the associated air-showers initiated by cosmic-rays and neutrinos. We compare the two sources of radio emission (the charge excess and geomagnetic) and show that the former is almost negligible for inclined (zenith angle $>65^{\circ}$) cosmic-ray air-showers. This provides an efficient background rejection criterion at the DAQ level, based on the projection of the total electric field along the direction of the local magnetic field. This relevant quantity can be easily computed -- even in an online treatment -- for antennas measuring three orthogonal polarisations. Independently of the experimental antenna layout, we estimate that assuming a random polarisation of noise events, a rejection from $\approx 72\%$ (for a non favorable detector location) to $\approx 93\%$ (for a favorable location) of the noise induced events and a trigger efficiency of 87% (93%) with a $3\sigma$ ($5\sigma$) trigger threshold level should be achievable. We also show that neutrino-induced showers present a charge excess to geomagnetic signal ratio up to $\sim 10$ times higher than for cosmic ray showers. Although this characteristic makes the identification of neutrino-induced showers challenging via the method developed here, it provides an efficient criterion to perform an offline discrimination between cosmic-ray and neutrino primaries. The stronger charge excess emission will also help the reconstruction of air-shower parameters, such as the core position.


title: Enrichment of Jupiter's atmosphere by late planetesimal bombardment

abstract: Jupiter's atmosphere is enriched with heavy elements by a factor of about 3 compared to proto-solar. The origin of this enrichment and whether it represent the bulk composition of the planetary envelope remain unknown. Internal structure models of Jupiter suggest that its envelope is separated from the deep interior and that the planet is not fully mixed. This implies that Jupiter's atmosphere was enriched with heavy elements just before the end of its formation. Such enrichment can be a result of late planetesimal accretion. However, in-situ Jupiter formation models suggest the decreasing accretion rate with increasing planetary mass, which cannot explain Jupiter's atmospheric enrichment. In this study, we model Jupiter's formation and show that an migration of proto-Jupiter from $\sim$ 20 AU to its current location can lead to a late planetesimal accretion and atmospheric enrichment. Late planetesimal accretion does not occur if proto-Jupiter migrates only a few AU. We suggest that if Jupiter's outermost layer is fully-mixed and is relatively thin (up to $\sim$ 20\% of its mass), such late accretion can explain its measured atmospheric composition. It is therefore possible that Jupiter underwent significant orbital migration followed by late planetesimal accretion.


title: Some Algebraic Aspects of combined matrices

abstract: In this work, we study some algebraic aspects of combined matrices $\mathcal{C}(A)$, where the entries of $A$ belongs to a number field $K$ and $A$ is a non singular matrix. In other words, $A$ is a $n\times n$ belonging to the General Linear Group over $K$ denoted by $\mathrm{GL}_n(K)$. Also we analyze the case in which the matrix $A$ belongs to algebraic subgroups of $\mathrm{GL}_n(K)$ such as unimodular group, that is $A^2$ is a $n\times n$ belonging to the Special Linear Group denoted by $\mathrm{SL}_n(K)$, Triangular groups, Diagonal groups among others. In particular, we analyze entirely the case $n=2$ giving explicitely the diagonalization of $\mathcal{C}(A)$, that includes characteristic polynomials, eigenvalues and eigenfactors.


title: Defect Modulated Band Modification in Ion Implanted MgO Crystal: Experimental and Ab Initio Calculations

abstract: Defects creation and annihilation is a fundamental concept in device fabrication. This report studies the optical bandgap modification in MgO by MeV Ni ion irradiation-induced defect states between valance and conduction band. Ion implantation on MgO single crystal produces substitutional defect states along with F (anionic vacancy center), $F_2$, other oxygen vacancy center and V (cationic vacancy center) centers confirmed from absorption and photoluminescence spectra that can be applied as filament in valance charge memory based resistive random access memories. The variation of optical bandgap with Ni ion fluences is ascertained by modifying the electronic band structure. Density Functional Theory (DFT) calculation assists in understanding the evolution of electronic band structure for vacancies and substitutional defects consisting of MgO structures.


title: Multi-Task Deep Residual Echo Suppression with Echo-aware Loss

abstract: This paper introduces the NWPU Team's entry to the ICASSP 2022 AEC Challenge. We take a hybrid approach that cascades a linear AEC with a neural post-filter. The former is used to deal with the linear echo components while the latter suppresses the residual non-linear echo components. We use gated convolutional F-T-LSTM neural network (GFTNN) as the backbone and shape the post-filter by a multi-task learning (MTL) framework, where a voice activity detection (VAD) module is adopted as an auxiliary task along with echo suppression, with the aim to avoid over suppression that may cause speech distortion. Moreover, we adopt an echo-aware loss function, where the mean square error (MSE) loss can be optimized particularly for every time-frequency bin (TF-bin) according to the signal-to-echo ratio (SER), leading to further suppression on the echo. Extensive ablation study shows that the time delay estimation (TDE) module in neural post-filter leads to better perceptual quality, and an adaptive filter with better convergence will bring consistent performance gain for the post-filter. Besides, we find that using the linear echo as the input of our neural post-filter is a better choice than using the reference signal directly. In the ICASSP 2022 AEC-Challenge, our approach has ranked the 1st place on word accuracy (WAcc) (0.817) and the 3rd place on both mean opinion score (MOS) (4.502) and the final score (0.864).


title: HAKE: A Knowledge Engine Foundation for Human Activity Understanding

abstract: Human activity understanding is of widespread interest in artificial intelligence and spans diverse applications like health care and behavior analysis. Although there have been advances in deep learning, it remains challenging. The object recognition-like solutions usually try to map pixels to semantics directly, but activity patterns are much different from object patterns, thus hindering success. In this work, we propose a novel paradigm to reformulate this task in two stages: first mapping pixels to an intermediate space spanned by atomic activity primitives, then programming detected primitives with interpretable logic rules to infer semantics. To afford a representative primitive space, we build a knowledge base including 26+ M primitive labels and logic rules from human priors or automatic discovering. Our framework, the Human Activity Knowledge Engine (HAKE), exhibits superior generalization ability and performance upon canonical methods on challenging benchmarks. Code and data are available at http://hake-mvig.cn/.


title: Evolution of the long-period pulsar GLEAM-X J162759.5-523504.3

abstract: The long-period ($P = 1091$ s) of the recently discovered pulsar GLEAM-X J162759.5-523504.3 can be attained by neutron stars evolving with fallback discs and magnetic dipole moments of a few $10^{30}$ G cm$^3$ at ages greater than $\sim 2 \times 10^5$ yr consistently with the observational upper limits to the period derivative, $\dot{P}$, and the X-ray luminosity, $L_X$, of the source. The current upper limits for $\dot{P}$ allow two alternative present states: (1) The disc is still active with ongoing accretion at a low rate such that the accretion luminosity is much less than the neutron star's cooling luminosity, which in turn is below the upper limit for $L_X$. In this scenario the spin-down will continue at $\dot{P} \sim 10^{-10}$ s s$^{-1}$ until the disc becomes inactive; the final period will be $P \sim$ a few $10^3$ s. (2) The disc is already inactive, there is no accretion. In this case the period evolution has leveled off to the observed value in the final period range. The remaining, very weak, dipole torque sustaining asymptotic spin-down at $\dot{P} \sim 4 \times 10^{-18}$ s s$^{-1}$. Long periods $P \sim$ a few $10^3$ s were predicted for the final states of soft gamma repeaters and anomalous X-ray pulsars with relatively strong dipole fields in earlier work with the fallback disc model.


title: Agent-Based Model Framework for the North Carolina Modeling Infectious Diseases Program (NC MInD ABM) Overview, Design Concepts, and Details Protocol

abstract: To help facilitate a variety of simulations related to healthcare facilities in North Carolina, we have developed an agent-based model (ABM) to accurately simulate patient (i.e., agent) movement to and from these facilities. This is an Overview, Design Concepts, and Details (ODD) Protocol, a standardized method for describing ABMs. This ODD provides detailed information on healthcare facilities in North Carolina, the agent movement to and between them, and any decisions that were made during the creation of this model. This ABM is intended to be used alongside disease-specific submodels. It can be used for purposes such as simulating the success of interventions on reducing disease transmission, simulating strain on facility resources (including staff and materials), and forecasting hospital capacity. Disease-specific ODDs should accompany this document. No details related to any submodels that use this ABM as a base model are included.


title: Random Laplacian Features for Learning with Hyperbolic Space

abstract: Due to its geometric properties, hyperbolic space can support high-fidelity embeddings of tree- and graph-structured data, upon which various hyperbolic networks have been developed. Existing hyperbolic networks encode geometric priors not only for the input, but also at every layer of the network. This approach involves repeatedly mapping to and from hyperbolic space, which makes these networks complicated to implement, computationally expensive to scale, and numerically unstable to train. In this paper, we propose a simpler approach: learn a hyperbolic embedding of the input, then map once from it to Euclidean space using a mapping that encodes geometric priors by respecting the isometries of hyperbolic space, and finish with a standard Euclidean network. The key insight is to use a random feature mapping via the eigenfunctions of the Laplace operator, which we show can approximate any isometry-invariant kernel on hyperbolic space. Our method can be used together with any graph neural networks: using even a linear graph model yields significant improvements in both efficiency and performance over other hyperbolic baselines in both transductive and inductive tasks.


title: Closed linear spaces consisting of strongly norm attaining Lipschitz mappings

abstract: Given a pointed metric space $M$, we study when there exist $n$-dimensional linear subspaces of $\operatorname{Lip}_0(M)$ consisting of strongly norm-attaining Lipschitz functionals, for $n\in\mathbb{N}$. We show that this is always the case for infinite metric spaces, providing a definitive answer to the question. We also study the possible sizes of such infinite-dimensional closed linear subspaces $Y$, as well as the inverse question, that is, the possible sizes of the metric space $M$ given that such a subspace $Y$ exists. We also show that if the metric space $M$ is $\sigma$-precompact, then the aforementioned subspaces $Y$ need to be always separable and isomorphically polyhedral, and we show that for spaces containing $[0,1]$ isometrically, they can be infinite-dimensional.


title: Domain-Adjusted Regression or: ERM May Already Learn Features Sufficient for Out-of-Distribution Generalization

abstract: A common explanation for the failure of deep networks to generalize out-of-distribution is that they fail to recover the "correct" features. We challenge this notion with a simple experiment which suggests that ERM already learns sufficient features and that the current bottleneck is not feature learning, but robust regression. Our findings also imply that given a small amount of data from the target distribution, retraining only the last linear layer will give excellent performance. We therefore argue that devising simpler methods for learning predictors on existing features is a promising direction for future research. Towards this end, we introduce Domain-Adjusted Regression (DARE), a convex objective for learning a linear predictor that is provably robust under a new model of distribution shift. Rather than learning one function, DARE performs a domain-specific adjustment to unify the domains in a canonical latent space and learns to predict in this space. Under a natural model, we prove that the DARE solution is the minimax-optimal predictor for a constrained set of test distributions. Further, we provide the first finite-environment convergence guarantee to the minimax risk, improving over existing analyses which only yield minimax predictors after an environment threshold. Evaluated on finetuned features, we find that DARE compares favorably to prior methods, consistently achieving equal or better performance.


title: A Graph-Matching Approach for Cross-view Registration of Over-view 2 and Street-view based Point Clouds

abstract: In this paper, based on the assumption that the object boundaries (e.g., buildings) from the over-view data should coincide with footprints of fa\c{c}ade 3D points generated from street-view photogrammetric images, we aim to address this problem by proposing a fully automated geo-registration method for cross-view data, which utilizes semantically segmented object boundaries as view-invariant features under a global optimization framework through graph-matching: taking the over-view point clouds generated from stereo/multi-stereo satellite images and the street-view point clouds generated from monocular video images as the inputs, the proposed method models segments of buildings as nodes of graphs, both detected from the satellite-based and street-view based point clouds, thus to form the registration as a graph-matching problem to allow non-rigid matches; to enable a robust solution and fully utilize the topological relations between these segments, we propose to address the graph-matching problem on its conjugate graph solved through a belief-propagation algorithm. The matched nodes will be subject to a further optimization to allow precise-registration, followed by a constrained bundle adjustment on the street-view image to keep 2D29 3D consistencies, which yields well-registered street-view images and point clouds to the satellite point clouds.


title: An experimental study of the vision-bottleneck in VQA

abstract: As in many tasks combining vision and language, both modalities play a crucial role in Visual Question Answering (VQA). To properly solve the task, a given model should both understand the content of the proposed image and the nature of the question. While the fusion between modalities, which is another obviously important part of the problem, has been highly studied, the vision part has received less attention in recent work. Current state-of-the-art methods for VQA mainly rely on off-the-shelf object detectors delivering a set of object bounding boxes and embeddings, which are then combined with question word embeddings through a reasoning module. In this paper, we propose an in-depth study of the vision-bottleneck in VQA, experimenting with both the quantity and quality of visual objects extracted from images. We also study the impact of two methods to incorporate the information about objects necessary for answering a question, in the reasoning module directly, and earlier in the object selection stage. This work highlights the importance of vision in the context of VQA, and the interest of tailoring vision methods used in VQA to the task at hand.


title: Lagrangian mean curvature flow in the complex projective plane

abstract: We prove a Thomas--Yau-type conjecture for monotone Lagrangian tori satisfying a symmetry condition in the complex projective plane $\mathbb{CP}^2$. We show that such tori exist for all time under Lagrangian mean curvature flow with surgery, undergoing at most a finite number of surgeries before flowing to a minimal Clifford torus in infinite time. Furthermore, we show that we can construct a torus with any finite number of surgeries before convergence. Along the way, we prove many interesting subsidiary results and develop methods which should be useful in studying Lagrangian mean curvature flow in non-Calabi--Yau manifolds, even in non-symmetric cases.


title: Physics-Informed Deep Monte Carlo Quantile Regression method for Interval Multilevel Bayesian Network-based Satellite Heat Reliability Analysis

abstract: Temperature field reconstruction is essential for analyzing satellite heat reliability. As a representative machine learning model, the deep convolutional neural network (DCNN) is a powerful tool for reconstructing the satellite temperature field. However, DCNN needs a lot of labeled data to learn its parameters, which is contrary to the fact that actual satellite engineering can only acquire noisy unlabeled data. To solve the above problem, this paper proposes an unsupervised method, i.e., the physics-informed deep Monte Carlo quantile regression method, for reconstructing temperature field and quantifying the aleatoric uncertainty caused by data noise. For one thing, the proposed method combines a deep convolutional neural network with the known physics knowledge to reconstruct an accurate temperature field using only monitoring point temperatures. For another thing, the proposed method can quantify the aleatoric uncertainty by the Monte Carlo quantile regression. Based on the reconstructed temperature field and the quantified aleatoric uncertainty, this paper models an interval multilevel Bayesian Network to analyze satellite heat reliability. Two case studies are used to validate the proposed method.


title: Quantus: An Explainable AI Toolkit for Responsible Evaluation of Neural Network Explanations and Beyond

abstract: The evaluation of explanation methods is a research topic that has not yet been explored deeply, however, since explainability is supposed to strengthen trust in artificial intelligence, it is necessary to systematically review and compare explanation methods in order to confirm their correctness. Until now, no tool with focus on XAI evaluation exists that exhaustively and speedily allows researchers to evaluate the performance of explanations of neural network predictions. To increase transparency and reproducibility in the field, we therefore built Quantus -- a comprehensive, evaluation toolkit in Python that includes a growing, well-organised collection of evaluation metrics and tutorials for evaluating explainable methods. The toolkit has been thoroughly tested and is available under an open-source license on PyPi (or on https://github.com/understandable-machine-intelligence-lab/Quantus/).


title: Threats to Pre-trained Language Models: Survey and Taxonomy

abstract: Pre-trained language models (PTLMs) have achieved great success and remarkable performance over a wide range of natural language processing (NLP) tasks. However, there are also growing concerns regarding the potential security issues in the adoption of PTLMs. In this survey, we comprehensively systematize recently discovered threats to PTLM systems and applications. We perform our attack characterization from three interesting perspectives. (1) We show threats can occur at different stages of the PTLM pipeline raised by different malicious entities. (2) We identify two types of model transferability (landscape, portrait) that facilitate attacks. (3) Based on the attack goals, we summarize four categories of attacks (backdoor, evasion, data privacy and model privacy). We also discuss some open problems and research directions. We believe our survey and taxonomy will inspire future studies towards secure and privacy-preserving PTLMs.


title: Wearable Conformal Fiber Sensor for High Fidelity Physiological Measurements

abstract: Wearable devices are becoming increasingly important, addressing needs in both the fitness and the medical markets. In this paper, we describe a novel sensing platform based on a hollow-core polyurethane optical fiber, operating through capillary guidance, that acts as a conformal sensor of pressure or deformation. The novelty is achieved by combining a simple structure (hollow capillary) and a simple detection technique (intensity-based measurement) with unconventional material properties (extreme deformability and high optical absorbance). Used on the wrist and ankle, the sensor allows detailed features of the cardiac pulse wave to be identified with high fidelity, while on the chest it allows the simultaneous measurement of breathing rate and walking cadence. Used together, an array of such sensors (with others) could be incorporated into clothing and provide physiologically rich real-time data for health monitoring.


title: From $p$-Values to Posterior Probabilities of Hypothesis

abstract: Minimum Bayes factors are commonly used to transform two-sided p-values to lower bounds on the posterior probability of the null hypothesis, as in Pericchi et al. (2017). In this article, we show posterior probabilities of hypothesis by transforming the commonly used -eplog(p), proposed by Vovk (1993) and Sellke et al. (2001). This is achieved after adjusting this minimum Bayes factor with the information to approximate it to an exact Bayes factor, not only when p is a p-value but also when p is a pseudo p-value in the sense of Casella and Berger (2001). Additionally, we show the fit to a refined version to linear models.


title: Valiron-Titchmarsh Theorem for Positive Temperatures

abstract: In this note, we prove an analog of the Valiron-Titchmarsch Theorem for Positive Temperatures


title: Delaunay Component Analysis for Evaluation of Data Representations

abstract: Advanced representation learning techniques require reliable and general evaluation methods. Recently, several algorithms based on the common idea of geometric and topological analysis of a manifold approximated from the learned data representations have been proposed. In this work, we introduce Delaunay Component Analysis (DCA) - an evaluation algorithm which approximates the data manifold using a more suitable neighbourhood graph called Delaunay graph. This provides a reliable manifold estimation even for challenging geometric arrangements of representations such as clusters with varying shape and density as well as outliers, which is where existing methods often fail. Furthermore, we exploit the nature of Delaunay graphs and introduce a framework for assessing the quality of individual novel data representations. We experimentally validate the proposed DCA method on representations obtained from neural networks trained with contrastive objective, supervised and generative models, and demonstrate various use cases of our extended single point evaluation framework.


title: Q-Turn: Changing Paradigms In Quantum Science

abstract: Quantum information is a rapidly-growing interdisciplinary field at the intersection of information science, computer science, mathematics, philosophy, and quantum science, working at the core of our quantum technologies. Regardless of its scientific success, quantum information is not exempt from the intrinsic features that come from the fact that scientists are humans and members of society: both the good and the bad of our social practices leak into the scientific activity. In our scientific community, diversity and equal opportunity problems are particularly difficult to observe due to social, economic, or cultural barriers, often remaining invisible. How can our lack of awareness negatively influence the progress of science in the long term? How can our community grow into a better version of itself? This article reflects on how research events - such as conferences - can contribute to a shift in our culture. This reflection draws on what we learn from Q-Turn: an initiative triggered by postdoctoral researchers to discuss these questions. One of Q-turn's main missions is to foster an inclusive community and highlight outstanding research that may be under-appreciated in other high-impact venues due to systemic biases. As well as a scientific program, Q-turn features talks and discussions on issues that affect the quantum information community, ranging from diversity and inclusion, health and mental health, to workers' rights. In this perspective article, we will consider Q-Turn as an example of how a research community can work to tackle systematic biases, review the successes, and identify further points for development.


title: Enhancing expressivity of checked corecursive streams (extended version)

abstract: We propose a novel approach to stream definition and manipulation. Our solution is based on two key ideas. Regular corecursion, which avoids non termination by detecting cyclic calls, is enhanced, by allowing in equations defining streams other operators besides the stream constructor. In this way, some non-regular streams are definable. Furthermore, execution includes a runtime check to ensure that the stream generated by a function call is well-defined, in the sense that access to an arbitrary index always succeeds. We extend the technique beyond the simple stream operators considered in previous work, notably by adding an interleaving combinator which has a non-trivial recursion scheme.


title: CLAS12 Track Reconstruction with Artificial Intelligence

abstract: In this article we describe the implementation of Artificial Intelligence models in track reconstruction software for the CLAS12 detector at Jefferson Lab. The Artificial Intelligence based approach resulted in improved track reconstruction efficiency in high luminosity experimental conditions. The track reconstruction efficiency increased by $10-12\%$ for single particle, and statistics in multi-particle physics reactions increased by $15\%-35\%$ depending on the number of particles in the reaction. The implementation of artificial intelligence in the workflow also resulted in a speedup of the tracking by $35\%$.


title: AnoMili: Spoofing Prevention and Explainable Anomaly Detection for the 1553 Military Avionic Bus

abstract: MIL-STD-1553, a standard that defines a communication bus for interconnected devices, is widely used in military and aerospace avionic platforms. Due to its lack of security mechanisms, MIL-STD-1553 is exposed to cyber threats. The methods previously proposed to address these threats are very limited, resulting in the need for more advanced techniques. Inspired by the defense in depth principle, we propose AnoMili, a novel protection system for the MIL-STD-1553 bus, which consists of: (i) a physical intrusion detection mechanism that detects unauthorized devices connected to the 1553 bus, even if they are passive (sniffing), (ii) a device fingerprinting mechanism that protects against spoofing attacks (two approaches are proposed: prevention and detection), (iii) a context-based anomaly detection mechanism, and (iv) an anomaly explanation engine responsible for explaining the detected anomalies in real time. We evaluate AnoMili's effectiveness and practicability in two real 1553 hardware-based testbeds. The effectiveness of the anomaly explanation engine is also demonstrated. All of the detection and prevention mechanisms employed had high detection rates (over 99.45%) with low false positive rates. The context-based anomaly detection mechanism obtained perfect results when evaluated on a dataset used in prior work.


title: Sequence-to-Sequence Resources for Catalan

abstract: In this work, we introduce sequence-to-sequence language resources for Catalan, a moderately under-resourced language, towards two tasks, namely: Summarization and Machine Translation (MT). We present two new abstractive summarization datasets in the domain of newswire. We also introduce a parallel Catalan-English corpus, paired with three different brand new test sets. Finally, we evaluate the data presented with competing state of the art models, and we develop baselines for these tasks using a newly created Catalan BART. We release the resulting resources of this work under open license to encourage the development of language technology in Catalan.


title: Non-BPS Black Branes in M-theory over Calabi-Yau Threefolds

abstract: [abridged version] We study extremal solutions arising in M-theory compactifications on Calabi-Yau threefolds, focussing on non-BPS attractors for their importance in relation to the Weak Gravity Conjecture. In the low-energy/field theory limit one obtains minimal N=2, D=5 supergravity coupled to Abelian vector multiplets. By making use of the effective black hole potential formalism with Lagrange multipliers and of the Attractor Mechanism, and focussing on two-moduli complete intersection (CICY) or toric hypersurface (THCY) Calabi-Yau threefolds, we investigate the possible non-uniqueness of the attractor solutions, as well as the stability of non-BPS black holes and black strings. In all models taken into consideration, we find that both BPS and non-BPS extremal black hole attractors are always unique for a given, supporting electric charge configuration; moreover, non-BPS black holes are always unstable, and thus they decay into constituent BPS/anti-BPS pairs. For what concerns extremal black strings, we confirm uniqueness also for non-BPS strings in two-moduli CICY models. On the other hand, we discover multiple non-BPS extremal black string attractors (with different tensions) in most of the two-moduli THCY models, and we determine the corresponding magnetic configurations supporting them; this indicates the existence of volume-minimizing representatives in the same homology class having different values of their local minimal volume. Moreover, we find that non-BPS black strings, both for single and multiple solutions, are stable and thus enjoy recombination of their constituent BPS/anti-BPS pairs.


title: Floquet engineering a bosonic Josephson junction

abstract: We study Floquet engineering of the tunnel coupling between a pair of one-dimensional bosonic quasi-condensates in a tilted double-well potential. By modulating the energy difference between the two wells, we re-establish tunnel coupling and precisely control its amplitude and phase. This allows us to initiate coherence between two initially uncorrelated Bose gases and prepare different initial states in the emerging sine-Gordon Hamiltonian. We fully characterize the Floquet system and study the dependence of both equilibrium properties and relaxation on the modulation.


title: Studying quantum algorithms for particle track reconstruction in the LUXE experiment

abstract: The LUXE experiment (LASER Und XFEL Experiment) is a new experiment in planning at DESY Hamburg, which will study Quantum Electrodynamics (QED) at the strong-field frontier. In this regime, QED is non-perturbative. This manifests itself in the creation of physical electron-positron pairs from the QED vacuum. LUXE intends to measure the positron production rate in this unprecedented regime by using, among others, a silicon tracking detector. The large number of expected positrons traversing the sensitive detector layers results in an extremely challenging combinatorial problem, which can become computationally very hard for classical computers. This paper presents a preliminary study to explore the potential of quantum computers to solve this problem and to reconstruct the positron trajectories from the detector energy deposits. The reconstruction problem is formulated in terms of a quadratic unconstrained binary optimisation. Finally, the results from the quantum simulations are discussed and compared with traditional classical track reconstruction algorithms.


title: Visual Acoustic Matching

abstract: We introduce the visual acoustic matching task, in which an audio clip is transformed to sound like it was recorded in a target environment. Given an image of the target environment and a waveform for the source audio, the goal is to re-synthesize the audio to match the target room acoustics as suggested by its visible geometry and materials. To address this novel task, we propose a cross-modal transformer model that uses audio-visual attention to inject visual properties into the audio and generate realistic audio output. In addition, we devise a self-supervised training objective that can learn acoustic matching from in-the-wild Web videos, despite their lack of acoustically mismatched audio. We demonstrate that our approach successfully translates human speech to a variety of real-world environments depicted in images, outperforming both traditional acoustic matching and more heavily supervised baselines.


title: A Graphical Approach For Brain Haemorrhage Segmentation

abstract: Haemorrhaging of the brain is the leading cause of death in people between the ages of 15 and 24 and the third leading cause of death in people older than that. Computed tomography (CT) is an imaging modality used to diagnose neurological emergencies, including stroke and traumatic brain injury. Recent advances in Deep Learning and Image Processing have utilised different modalities like CT scans to help automate the detection and segmentation of brain haemorrhage occurrences. In this paper, we propose a novel implementation of an architecture consisting of traditional Convolutional Neural Networks(CNN) along with Graph Neural Networks(GNN) to produce a holistic model for the task of brain haemorrhage segmentation.GNNs work on the principle of neighbourhood aggregation thus providing a reliable estimate of global structures present in images. GNNs work with few layers thus in turn requiring fewer parameters to work with. We were able to achieve a dice coefficient score of around 0.81 with limited data with our implementation.


title: A Review of zk-SNARKs

abstract: A zk-SNARK is a protocol that lets one party, the prover, prove to another party, the verifier, that a statement about some privately-held information is true without revealing the information itself. This paper describes technical foundations, current applications, and some novel applications of zk-SNARKs. Regarding technical foundations, we go over the Quadratic Arithmetic Program reduction and the Pinocchio protocol. We then go over financial security applications like Zcash and Tornado Cash, and zk-Rollup applications like zkEVM and Darkforest. We propose novel zk-SNARK protocols for private auctions and decentralized card games on the blockchain, providing code for the proposed applications. We conclude by touching on promising zk-SNARK innovations, such as zk-STARKs.


title: Circumbinary disk evolution in the presence of an outer companion star

abstract: We consider a hierarchical triple system consisting of an inner eccentric binary with an outer companion. A highly misaligned circumbinary disk around the inner binary is subject to two competing effects: (i) nodal precession about the inner binary eccentricity vector that leads to an increase in misalignment (polar alignment) and (ii) Kozai-Lidov (KL) oscillations of eccentricity and inclination driven by the outer companion that leads to a reduction in the misalignment. The outcome depends upon the ratio of the timescales of these effects. If the inner binary torque dominates, then the disk aligns to a polar orientation. If the outer companion torque dominates, then the disk undergoes KL oscillations. In that case, the highly eccentric and misaligned disk is disrupted and accreted by the inner binary, while some mass is transferred to the outer companion. However, when the torques are similar, the outer parts of the circumbinary disk can undergo large eccentricity oscillations while the inclination remains close to the polar orientation. The range of initial disk inclinations that evolve to a polar orientation is smaller in the presence of the outer companion. Disk breaking is also more likely, at least temporarily, during the polar alignment process. The stellar orbits in HD 98800 have parameters such that polar alignment of the circumbinary disk is expected. In the absence of the gas, solid particles are unstable at much smaller radii than the gas disk inner tidal truncation radius because KL driven eccentricity leads to close encounters with the binary.


title: Bayesian Space-time SIR modeling of Covid-19 in two US states during the 2020-2021 pandemic

abstract: This paper describes the Bayesian SIR modeling of the 3 waves of Covid-19 in two contrasting US states during 2020-2021. A variety of models are evaluated at the county level for goodness-of-fit and an assessment of confounding predictors is also made. It is found that models with three deprivation predictors and neighborhood effects are important. In addition the work index from Google mobility was also found to provide increased explanation of the transmission dynamic.


title: Black-Box Generalization: Stability of Zeroth-Order Learning

abstract: We provide the first generalization error analysis for black-box learning through derivative-free optimization. Under the assumption of a Lipschitz and smooth unknown loss, we consider the Zeroth-order Stochastic Search (ZoSS) algorithm, that updates a $d$-dimensional model by replacing stochastic gradient directions with stochastic differences of $K+1$ perturbed loss evaluations per dataset (example) query. For both unbounded and bounded possibly nonconvex losses, we present the first generalization bounds for the ZoSS algorithm. These bounds coincide with those for SGD, and rather surprisingly are independent of $d$, $K$ and the batch size $m$, under appropriate choices of a slightly decreased learning rate. For bounded nonconvex losses and a batch size $m=1$, we additionally show that both generalization error and learning rate are independent of $d$ and $K$, and remain essentially the same as for the SGD, even for two function evaluations. Our results extensively extend and consistently recover established results for SGD in prior work, on both generalization bounds and corresponding learning rates. If additionally $m=n$, where $n$ is the dataset size, we derive generalization guarantees for full-batch GD as well.


title: Active Surrogate Estimators: An Active Learning Approach to Label-Efficient Model Evaluation

abstract: We propose Active Surrogate Estimators (ASEs), a new method for label-efficient model evaluation. Evaluating model performance is a challenging and important problem when labels are expensive. ASEs address this active testing problem using a surrogate-based estimation approach that interpolates the errors of points with unknown labels, rather than forming a Monte Carlo estimator. ASEs actively learn the underlying surrogate, and we propose a novel acquisition strategy, XWED, that tailors this learning to the final estimation task. We find that ASEs offer greater label-efficiency than the current state-of-the-art when applied to challenging model evaluation problems for deep neural networks.


title: Tuning the Hall response of a noncollinear antiferromagnet via spin-transfer torques and oscillating magnetic fields

abstract: The kagome lattice antiferromagnets Mn$_3$X(= Sn, Ge) have a noncollinear 120$^\circ$ ordered ground state, which engenders a strong anomalous Hall response. It has been shown that this response is linked to the magnetic order and can be manipulated through it. Here we use a combination of strain and spin-transfer torques to control the magnetic order and hence switch deterministically between states of different chirality. Each of these chiral ground states has an anomalous Hall conductivity tensor in a different direction. Furthermore, we show that a similar manipulation of the strained sample can be obtained through oscillating magnetic fields, potentially opening a pathway to optical switching in these materials.


title: Subsurface distances for hyperbolic 3-manifolds fibering over the circle

abstract: For a hyperbolic fibered 3-manifold M, we prove results that uniformly relate the structure of surface projections as one varies the fibrations of M. This extends our previous work from the fully-punctured to the general case.


title: COLA: COarse LAbel pre-training for 3D semantic segmentation of sparse LiDAR datasets

abstract: Transfer learning is a proven technique in 2D computer vision to leverage the large amount of data available and achieve high performance with datasets limited in size due to the cost of acquisition or annotation. In 3D, annotation is known to be a costly task; nevertheless, pre-training methods have only recently been investigated. Due to this cost, unsupervised pre-training has been heavily favored. In this work, we tackle the case of real-time 3D semantic segmentation of sparse autonomous driving LiDAR scans. Such datasets have been increasingly released, but each has a unique label set. We propose here an intermediate-level label set called coarse labels, which can easily be used on any existing and future autonomous driving datasets, thus allowing all the data available to be leveraged at once without any additional manual labeling. This way, we have access to a larger dataset, alongside a simple task of semantic segmentation. With it, we introduce a new pre-training task: coarse label pre-training, also called COLA. We thoroughly analyze the impact of COLA on various datasets and architectures and show that it yields a noticeable performance improvement, especially when only a small dataset is available for the finetuning task.


title: 3d $\mathcal{N}=2$ SO/USp adjoint SQCD: s-confinement and exact identites

abstract: We study 3d $\mathcal{N}=2$ SQCD with symplectic and orthogonal gauge groups and adjoint matter. For $USp(2n)$ with two fundamentals and $SO(N)$ with one vector these models have been recently shown to s-confine. Here we corroborate the validity of this proposal by relating it to the confinement of $USp(2n)$ with four fundamentals and an antisymmetric tensor, using exact mathematical results coming from the analysis of the partition function on the squashed three-sphere. Our analysis allows us to conjecture new s-confining theories for a higher number of fundamentals and vectors, in presence of linear monopole superpotentials. We then prove the new dualities through a chain of adjoint deconfinements and s-confining dualities.


title: Stimulated vacuum emission and photon absorption in strong electromagnetic fields

abstract: According to quantum electrodynamics (QED), a strong external field can make the vacuum state decay producing electron-positron pairs. Here we investigate emission of soft photons which accompanies a nonperturbative process of pair production. Our analysis is carried out within the Furry picture to first order in the fine-structure constant. It is shown that the presence of photons in the initial state gives rise to an additional (stimulated) channel of photon emission besides the pure vacuum one. On the other hand, the number of final (signal) photons includes also a negative contribution due to photon absorption within the pair production process. These contributions are evaluated and compared. To obtain quantitative predictions in the domain of realistic field parameters, we employ the WKB approach. We propose to use an optical probe photon beam, whose intensity changes as it traverses a spatial region where a strong electric component of a background laser field is present. It is demonstrated that relative intensity changes on the level of $1 \%$ can be experimentally observed once the intensity of the strong background field exceeds $10^{27}~\text{W/cm}^2$ within a large laser wavelength interval. This finding is expected to significantly support possible experimental investigations of nonlinear QED phenomena in the nonperturbative regime.


title: Kinematics of Luminous Blue Variables in the Large Magellanic Cloud

abstract: We study the kinematics of luminous blue variables (LBVs) in the Large Magellanic Cloud (LMC). Using high-resolution spectra, we measure the systemic radial velocities for a sample of 16 LBVs and LBV candidates. In order to measure the net motion of LBVs compared to their local environments, we subtract the projected line-of-sight velocity at the same location derived from the rotation curve model of the LMC. Using nebular and wind emission lines, we infer a velocity dispersion for LBVs of $40.0^{+9.9}_{-6.6}$ km s$^{-1}$. To put LBVs in context with other evolved massive stars, we compare this to red supergiants (RSGs) in the LMC, which have a significantly smaller velocity dispersion of $16.5^{+0.4}_{-0.6}$ km s$^{-1}$. Moreover, 33% of LBVs have radial velocities of more than 25 km s$^{-1}$, while only 9% of RSG have such high velocities. This suggests that LBVs include more runaways than the population of stars that evolves to become RSGs, indicating that LBVs are preferentially kicked by a companion's supernova explosion as compared to other evolved massive stars. Our investigation reveals other interesting clues about LBVs in the LMC as well. We find that radial velocities and widths of emission lines for each target remain constant over several epochs, whereas measured absorption lines exhibit highly variable radial velocities for R110, R81, S Dor, Sk-69$^\circ$142a, and Sk-69$^\circ$279. These five LBVs probably have a binary companion. Additionally, we find that Sk-69$^\circ$142a experienced its second outburst in 2019 September, shifting its status from candidate to confirmed LBV.


title: The Puzzling Story of Flare Inactive Ultra Fast Rotating M dwarfs. II. Searching for radial velocity variations

abstract: Observations made using TESS revealed a sample of low mass stars which show a periodic modulation on a period $<0.2$~d. Surprisingly many of these Ultra Fast Rotating (UFR) stars showed no evidence of flare activity which would be expected from such rapidly rotating stars. We present results from a spectroscopic survey of UFRs using the Nordic Optical Telescope to search for radial velocity variations which could reveal evidence for binarity. Our sample of 29 sources have a photometric period between 0.1-0.2d, cover spectral classes of M0-4V, and show no evidence for flares. We detect only one source with clear radial velocity shifts, with another two having Gaia RUWE values which suggests they are binaries. Further observations reveal the former star possibly contains a brown dwarf companion with a mass of M$_2$>58 M$_{\rm Jup}$ and probability P(M$_2$<90 M$_{\rm Jup}$) = 50\%. There is no evidence for the companion in our spectra, strengthening the case for a brown dwarf companion. We also examine the folded TESS light curves of all our targets, finding at least two are eclipsing binaries and one which has been contaminated by a spatially nearby $\delta$ Sct star. We estimate that around 1/4 of our targets may have been contaminated by short period variable stars. However, the majority of our targets are consistent with being single, low mass stars whose variability is due to starspots. We outline the possible reasons why they are not flare active despite being such rapid rotators.


title: The Puzzling Story of Flare Inactive Ultra Fast Rotating M dwarfs. I. Exploring their Magnetic Fields

abstract: Stars which are rapidly rotating are expected to show high levels of activity according to the activity-rotation relation. However, previous TESS studies have found Ultra Fast Rotating (UFR) M dwarfs with periods less than one day displaying low levels of flaring activity. As a result, in this study, we utilise VLT/FORS2 spectropolarimetric data of ten M dwarf UFR stars between spectral types $\sim$M2 - M6 all with $P_{\rm rot} <$ 1, to detect the presence of a magnetic field. We divide our sample into rotation period bins of equal size, with one star having many more flares in the TESS lightcurve than the other. We also provide an analysis of the long-term variability within our sample using TESS lightcurves taken during Cycles 1 and 3 (up to three years apart). We identify 605 flares from our sample which have energies between 2.0$\times$10$^{31}$ and 5.4$\times$10$^{34}$ erg. Although we find no significance difference in the flare rate between the Cycles, two of our targets display changes in their lightcurve morphology, potentially caused by a difference in the spot distribution. Overall, we find five stars (50%) in our sample have a detectable magnetic field with strengths $\sim$1 - 2 kG. Of these five, four were the more flare active stars within the period bins with one being the less flare active star. It would appear the magnetic field strength may not be the answer to the lack of flaring activity and supersaturation or magnetic field configuration may play a role. However, it is clear the relationship between rotation and activity is more complex than a steady decrease over time.


title: Infrared Properties of Quantum Gravity: UV/IR Mixing, Gravitizing the Quantum -- Theory and Observation

abstract: We discuss the possible appearance of several rather exotic phenomena in quantum gravity, including UV/IR mixing, novel modifications of infrared phenomenology that extend effective field theory approaches, and the relaxation of the usual notions of locality. We discuss the relevance of such concepts in quantum gravity for quantum information science, cosmology and general quantum gravity phenomenology.


title: Counterfactual inference for sequential experiments

abstract: We consider after-study statistical inference for sequentially designed experiments wherein multiple units are assigned treatments for multiple time points using treatment policies that adapt over time. Our goal is to provide inference guarantees for the counterfactual mean at the smallest possible scale -- mean outcome under different treatments for each unit and each time -- with minimal assumptions on the adaptive treatment policy. Without any structural assumptions on the counterfactual means, this challenging task is infeasible due to more unknowns than observed data points. To make progress, we introduce a latent factor model over the counterfactual means that serves as a non-parametric generalization of the non-linear mixed effects model and the bilinear latent factor model considered in prior works. For estimation, we use a non-parametric method, namely a variant of nearest neighbors, and establish a non-asymptotic high probability error bound for the counterfactual mean for each unit and each time. Under regularity conditions, this bound leads to asymptotically valid confidence intervals for the counterfactual mean as the number of units and time points grows to $\infty$ together at suitable rates. We illustrate our theory via several simulations and a case study involving data from a mobile health clinical trial HeartSteps.


title: DeCorus: Hierarchical Multivariate Anomaly Detection at Cloud-Scale

abstract: Multivariate anomaly detection can be used to identify outages within large volumes of telemetry data for computing systems. However, developing an efficient anomaly detector that can provide users with relevant information is a challenging problem. We introduce our approach to hierarchical multivariate anomaly detection called DeCorus, a statistical multivariate anomaly detector which achieves linear complexity. It extends standard statistical techniques to improve their ability to find relevant anomalies within noisy signals and makes use of types of domain knowledge that system operators commonly possess to compute system-level anomaly scores. We describe the implementation of DeCorus an online log anomaly detection tool for network device syslog messages deployed at a cloud service provider. We use real-world data sets that consist of $1.5$ billion network device syslog messages and hundreds of incident tickets to characterize the performance of DeCorus and compare its ability to detect incidents with five alternative anomaly detectors. While DeCorus outperforms the other anomaly detectors, all of them are challenged by our data set. We share how DeCorus provides value in the field and how we plan to improve its incident detection accuracy.


title: Enumeration of Dyck paths with air pockets

abstract: We introduce and study the new combinatorial class of Dyck paths with air pockets. We exhibit a bijection with the peakless Motzkin paths which transports several pattern statistics and give bivariate generating functions for the distribution of patterns as peaks, returns and pyramids. Then, we deduce the popularities and asymptotic expectations of these patterns and point out a link between the popularity of pyramids and a special kind of closed smooth self-overlapping curves, a subset of Fibonacci meanders. A similar study is conducted for non-decreasing Dyck paths with air pockets.


title: The Effect of Enriched Accreted Matter on the Development of Novae

abstract: The development of a nova eruption is well known to be determined by the white dwarf (WD) mass and the rate at which it accretes mass from its donor. One of the advancements in this field is the understanding that the occurrence of a nova eruption depends on the presence of heavy elements in the envelope, and that the concentration of these elements is highly dependent on the time allotted for accretion. This results in many features of the eruption being correlated with the mass fractions of heavy elements in the ejected material, however, the accreted material is always assumed to be of solar metallicity. Here we explored the entire range of accretion rates onto a 1.25$M_\odot$ WD for two cases of highly enriched accreted material and find enrichment to have an influence on certain features for high accretion rates, while the effect of enrichment on low accretion rates is negligible. We further find that the ignition of the thermonuclear runaway which is known to be dependent on the accumulation of a critical mass, is actually dependent on the accumulation of a critical amount of heavy elements.


title: Optical Distinguishability of Mott Insulators in Time vs Frequency Domain

abstract: High Harmonic Generation (HHG) promises to provide insight into ultrafast dynamics and has been at the forefront of attosecond physics since its discovery. One class of materials that demonstrate HHG are Mott insulators whose electronic properties are of great interest given their strongly-correlated nature. Here, we use the paradigmatic representation of Mott insulators, the half-filled Fermi-Hubbard model, to investigate the potential of using HHG response to distinguish these materials. We develop an analytical argument based on the Magnus expansion approximation to evolution by the Schrodinger equation that indicates decreased distinguishability of Mott insulators as lattice spacing, $a$, and the strength of the driving field, $F_0$, increase relative to the frequency, $\omega_0$. This argument is then bolstered through numerical simulations of different systems and subsequent comparison of their responses in both the time and frequency domain. Ultimately, we demonstrate reduced resolution of Mott insulators in both domains when the dimensionless parameter $g \equiv aF_0 / \omega_0$ is large, though the time domain provides higher distinguishability. Conductors are exempted from these trends, becoming much more distinguishable in the frequency domain at high $g$.


title: Reviewing the Geometric Hamilton-Jacobi Theory concerning Jacobi and Leibniz identities

abstract: In this survey, we review the classical Hamilton Jacobi theory from a geometric point of view in different geometric backgrounds. We propose a Hamilton Jacobi equation for different geometric structures attending to one particular characterization: whether they fulfill the Jacobi and Leibniz identities simultaneously, or if at least they satisfy one of them. In this regard, we review the case of time dependent and dissipative physical systems as systems that fulfill the Jacobi identity but not the Leibnitz identity. Furthermore, we review the contact evolution Hamilton Jacobi theory as a split off the regular contact geometry, and that actually satisfies the Leibniz rule instead of Jacobi. Furthermore, we include a novel result, which is the Hamilton-Jacobi equation for conformal Hamiltonian vector fields as a generalization of the well known Hamilton Jacobi on a symplectic manifold, that is retrieved in the case of a zero conformal factor. The interest of a geometric Hamilton Jacobi equation is the primordial observation that if a Hamiltonian vector field can be projected into a configuration manifold by means of a 1-form dW, then the integral curves of the projected vector field can be transformed into integral curves of the Hamiltonian vector field provided that W is a solution of the Hamilton-Jacobi equation. Geometrically, the solution of the Hamilton Jacobi equation plays the role of a Lagrangian submanifold of a certain bundle. Exploiting these features in different geometric scenarios we propose a geometric theory for multiple physical systems depending on the fundamental identities that their dynamic satisfies. Different examples are pictured to reflect the results provided, being all of them new, except for one that is reassessment of a previously considered example.


title: Unitary matrix models, free fermion ensembles, and the giant graviton expansion

abstract: We consider a class of matrix integrals over the unitary group $U(N)$ with an infinite set of couplings characterized by a series $f(q)=\sum_{n \ge 1} a_n q^n$, with $a_n \in \mathbb{Z}$. Such integrals arise in physics as the partition functions of free four-dimensional gauge theories on $S^3$ and, in particular, as the superconformal index of super Yang-Mills theory. We show that any such model can be expressed in terms of a system of free fermions in an ensemble parameterized by the infinite set of couplings. Integrating out the fermions in a given quantum state leads to a convergent expansion as a series of determinants, as shown by Borodin-Okounkov many years ago. By further averaging over the ensemble, we obtain a formula for the matrix integral as a $q$-series with successive terms suppressed by $q^{\alpha N + \beta}$ where $\alpha$, $\beta$ do not depend on $N$. This provides a matrix-model explanation of the giant graviton expansion that has been observed recently in the literature.


title: The Complexity of Matching Games: A Survey

abstract: Matching games naturally generalize assignment games, a well-known class of cooperative games. Interest in matching games has grown recently due to some breakthrough results and new applications. This state-of-the-art survey provides an overview of matching games and extensions, such as $b$-matching games and partitioned matching games; the latter originating from the emerging area of international kidney exchange. In this survey we focus on computational complexity aspects of various game-theoretical solution concepts, such as the core, nucleolus and Shapley value, when the input is restricted to a matching game or one if its variants.


title: Gamma-ray halos around pulsars as the key to understanding cosmic ray transport in the Galaxy

abstract: Pulsars are factories of relativistic electrons and positrons that propagate away from the pulsar, permeating later our Galaxy. The acceleration and propagation of these particles are a matter of intense debate. In the last few years, we had the opportunity to directly observing the injection of these particles into the interstellar medium through the discovery of gamma-ray halos around pulsars. This new type of gamma-ray source is produced by electrons and positrons diffusing out of the pulsar wind nebula and scattering ambient photon fields to produce gamma rays. This new field of study comes with a number of observations and constraints at different wavelengths and a variety of theoretical models explaining the characteristics of these halos. We examine the characteristics of the propagation of cosmic rays inferred from the observations of halos and their local and global implications on particle transport in the Galaxy. We also discuss the prospects for observations of these sources with facilities such as LHAASO, or CTA or SWGO in the near future.


title: Hydrothermal synthesis, structure, and antibacterial studies of a nanosized iron zeolite

abstract: The present research explores the effects of Percentage Fe incorporation on the structure and antibacterial activity of Fe ZSM 5. Silica extracted from local rice husk straw (white particles) by applying NaOH and HCl solutions for consecutive chemical treatment was used for hydrothermal synthesis of FeZSM 5 with constant Si(Fe plus Al) ratios. The chemical and physical changes of ZSM 5 and Fe ZSM 5 surfaces were investigated by X ray diffraction analysis (XRD), scanning electron microscopy (SEM), Fourier transform infrared spectroscopy (FTIR), UV Vis spectroscopy, differential scanning calorimetry (DSC), and pore structure analysis by N2 adsorption at 196 . XRD analysis revealed the typical ZSM 5 structure with new diffraction lines attributed to the iron silicate phase. FTIR spectral analysis of ZSM 5 samples containing iron display a new band at 656 cm that is ascribed to the SiOFe group. The antibacterial activity of such coatings towards different kinds of bacteria, such as S. pneumonia, B. subtilis, E. coli and P. aeruginosa, and fungi, such as A. fumigatus and C. albicans, for investigated ZSM 5 and Fe (20 and 100 percentages) samples showed selective antibacterial actions.