title: Shalika germs for tamely ramified elements in $GL_n$

abstract: Degenerating the action of the elliptic Hall algebra on the Fock space, we give a combinatorial formula for the Shalika germs of tamely ramified regular semisimple elements $\gamma$ of $GL_n$ over a nonarchimedean local field. As a byproduct, we compute the weight polynomials of affine Springer fibers in type A and orbital integrals of tamely ramified regular semisimple elements. We conjecture that the Shalika germs of $\gamma$ correspond to residues of torus localization weights of a certain quasi-coherent sheaf $\mathcal{F}_\gamma$ on the Hilbert scheme of points on $\mathbb{A}^2$, thereby finding a geometric interpretation for them. As corollaries, we obtain the polynomiality in $q$ of point-counts of compactified Jacobians of planar curves, as well as a virtual version of the Cherednik-Danilenko conjecture on their Betti numbers. Our results also provide further evidence for the ORS conjecture relating compactified Jacobians and HOMFLY-PT invariants of algebraic knots.


title: Diagnosing excited state quantum phase transition with multiple quantum coherence spectrum in the Lipkin-Meshkov-Glick model

abstract: We use the multiple quantum coherence (MQC) spectrum to explore the effect of excited-state quantum phase transition (ESQPT) on the quantum coherence in the Lipkin-Meshkov-Glick (LMG) model--a paradigmatic model in the studies of ESQPTs. MQC spectrum is calculated with respect to a given reference basis and applied to both evolved and long time averaged states. We show that the MQC spectrum undergoes an abrupt change as the system passes through ESQPT, indicating a strong impact of ESQPT on quantum coherences. We further discuss the ability of zero mode of MQC spectrum to probe the presence of ESQPT and verify that it behaves as a realiable indicator of ESQPT. In addition, we perform an investigation on the behavior of MQC spectrum width. We find that the MQC spectrum widths for the evolved and long time averaged states are act as good ESQPT witnesses. Our results provide further evidence to confirm the usefulness of the MQC spectrum for diagnosing different types of phase transitions in many-body quantum systems.


title: Performance of the Electromagnetic Pixel Calorimeter Prototype EPICAL-2

abstract: The first evaluation of an ultra-high granularity digital electromagnetic calorimeter prototype using 1.0-5.8 GeV/c electrons is presented. The $25\times10^6$ pixel detector consists of 24 layers of ALPIDE CMOS MAPS sensors, with a pitch of around 30~$\mu$m, and has a depth of almost 20 radiation lengths of tungsten absorber. Ultra-thin cables allow for a very compact design. The properties that are critical for physics studies are measured: electromagnetic shower response, energy resolution and linearity. The stochastic energy resolution is comparable with the state-of-the art resolution for a Si-W calorimeter, with data described well by a simulation model using GEANT and Allpix$^2$. The performance achieved makes this technology a good candidate for use in the ALICE FoCal upgrade, and in general demonstrates the strong potential for future applications in high-energy physics.


title: Varieties of subalgebras and endotrivial modules

abstract: Let $(\mathfrak{g},[p])$ be a finite dimensional restricted Lie algebra over a perfect field $\mathbbm{k}$ of characteristic $p\!\ge \!3$. By combining methods from recent work of Benson-Carlson \cite{BC20} with those of \cite{CF21,Fa17} we obtain a description of the endotrivial $(\mathfrak{g},[p])$-modules in case $\mathfrak{g}$ is supersolvable.


title: Semi-Supervised Clustering via Dynamic Graph Structure Learning

abstract: Most existing semi-supervised graph-based clustering methods exploit the supervisory information by either refining the affinity matrix or directly constraining the low-dimensional representations of data points. The affinity matrix represents the graph structure and is vital to the performance of semi-supervised graph-based clustering. However, existing methods adopt a static affinity matrix to learn the low-dimensional representations of data points and do not optimize the affinity matrix during the learning process. In this paper, we propose a novel dynamic graph structure learning method for semi-supervised clustering. In this method, we simultaneously optimize the affinity matrix and the low-dimensional representations of data points by leveraging the given pairwise constraints. Moreover, we propose an alternating minimization approach with proven convergence to solve the proposed nonconvex model. During the iteration process, our method cyclically updates the low-dimensional representations of data points and refines the affinity matrix, leading to a dynamic affinity matrix (graph structure). Specifically, for the update of the affinity matrix, we enforce the data points with remarkably different low-dimensional representations to have an affinity value of 0. Furthermore, we construct the initial affinity matrix by integrating the local distance and global self-representation among data points. Experimental results on eight benchmark datasets under different settings show the advantages of the proposed approach.


title: Learned Distributed Image Compression with Multi-Scale Patch Matching in Feature Domain

abstract: Beyond achieving higher compression efficiency over classical image compression codecs, deep image compression is expected to be improved with additional side information, e.g., another image from a different perspective of the same scene. To better utilize the side information under the distributed compression scenario, the existing method (Ayzik and Avidan 2020) only implements patch matching at the image domain to solve the parallax problem caused by the difference in viewing points. However, the patch matching at the image domain is not robust to the variance of scale, shape, and illumination caused by the different viewing angles, and can not make full use of the rich texture information of the side information image. To resolve this issue, we propose Multi-Scale Feature Domain Patch Matching (MSFDPM) to fully utilizes side information at the decoder of the distributed image compression model. Specifically, MSFDPM consists of a side information feature extractor, a multi-scale feature domain patch matching module, and a multi-scale feature fusion network. Furthermore, we reuse inter-patch correlation from the shallow layer to accelerate the patch matching of the deep layer. Finally, we nd that our patch matching in a multi-scale feature domain further improves compression rate by about 20% compared with the patch matching method at image domain (Ayzik and Avidan 2020).


title: Generalized non-local $R^2$-like inflation

abstract: The $R^2$ inflation which is an extension of general relativity (GR) by quadratic scalar curvature introduces a quasi-de Sitter expansion of the early Universe governed by Ricci scalar being an eigenmode of d'Alembertian operator. In this paper, we derive a most general theory of gravity admitting $R^2$ inflationary solution which turned out to be higher curvature non-local extension of GR. We study in detail inflationary perturbations in this theory and analyse the structure of form-factors that leads to a massive scalar (scalaron) and massless tensor degrees of freedom. We argue that the theory contains only finite number of free parameters which can be fixed by cosmological observations. We derive predictions of our generalized non-local $R^2$-like inflation and obtain the scalar spectral index $n_s\approx 1-\frac{2}{N}$ and any value of the tensor-to-scalar ratio $r<0.036$. In this theory, tensor spectral index can be either positive or negative $n_t\lessgtr 0$ and the well-known consistency relation $r = -8n_t$ is violated in a non-trivial way. We also compute running of the tensor spectral index and discuss observational implications to distinguish this model from several classes of scalar field models of inflation. These predictions allow us to probe the nature of quantum gravity in the scope of future CMB and gravitational wave observations. Finally we comment on how the features of generalized non-local $R^2$-like inflation cannot be captured by established notions of the so-called effective field theory of single field inflation and how we must redefine the way we pursue inflationary cosmology.


title: On a matrix element representation of the GKZ hypergeometric functions

abstract: We develop a representation theory approach to the study of generalized hypergeometric functions of Gelfand, Kapranov and Zelevisnky (GKZ). We show that the GKZ hypergeometric functions may be identified with matrix elements of non-reductive Lie algebras $\mathfrak{L}_N$ of oscillator type. The Whittaker functions associated with principal series representations of $\mathfrak{gl}_{\ell+1}(\mathbb{R})$ being special cases of GKZ hypergeometric functions, thus admit along with a standard matrix element representations associated with reductive Lie algebra $\mathfrak{gl}_{\ell+1}(\mathbb{R})$, another matrix element representation in terms of $\mathfrak{L}_{\ell(\ell+1)}$.


title: Subaging in underparametrized Deep Neural Networks

abstract: We consider a simple classification problem to show that the dynamics of finite-width Deep Neural Networks in the underparametrized regime gives rise to effects similar to those associated with glassy systems, namely a slow evolution of the loss function and aging. Remarkably, the aging is sublinear in the waiting time (subaging) and the power-law exponent characterizing it is robust to different architectures under the constraint of a constant total number of parameters. Our results are maintained in the more complex scenario of the MNIST database. We find that for this database there is a unique exponent ruling the subaging behavior in the whole phase.


title: Sequential Cross Attention Based Multi-task Learning

abstract: In multi-task learning (MTL) for visual scene understanding, it is crucial to transfer useful information between multiple tasks with minimal interferences. In this paper, we propose a novel architecture that effectively transfers informative features by applying the attention mechanism to the multi-scale features of the tasks. Since applying the attention module directly to all possible features in terms of scale and task requires a high complexity, we propose to apply the attention module sequentially for the task and scale. The cross-task attention module (CTAM) is first applied to facilitate the exchange of relevant information between the multiple task features of the same scale. The cross-scale attention module (CSAM) then aggregates useful information from feature maps at different resolutions in the same task. Also, we attempt to capture long range dependencies through the self-attention module in the feature extraction network. Extensive experiments demonstrate that our method achieves state-of-the-art performance on the NYUD-v2 and PASCAL-Context dataset.


title: Cloud Feedback on Earth's Long-term Climate Simulated by a Near-global Cloud-permitting Model

abstract: The Sun becomes brighter with time, but Earth's climate is roughly temperate for life during its long-term history; for early Earth, this is known as the Faint Young Sun Problem (FYSP). Besides the carbonate-silicate feedback, recent researches suggest that a long-term cloud feedback may partially solve the FYSP. However, the general circulation models they used cannot resolve convection and clouds explicitly. This study re-investigates the clouds using a near-global cloud-permitting model without cumulus convection parameterization. Our results confirm that a stabilizing shortwave cloud feedback does exist, and its magnitude is $\approx$6 W m$^{-2}$ or 14% of the energy required to offset a 20% fainter Sun than today, or $\approx$10 W m$^{-2}$ or 16% for a 30% fainter Sun. When insolation increases and meanwhile CO$_2$ concentration decreases, low-level clouds increase, acting to stabilize the climate by raising planetary albedo, and vice versa.


title: Optimization of Superconducting Linac for Proton Improvement Plan-II (PIP-II)

abstract: PIP-II is an essential upgrade of the Fermilab complex that will enable the worlds most intense high-energy beam of neutrinos for the international Deep Underground Neutrino Experiment at LBNF and support a broad physics program at Fermilab. Ultimately, the PIP-II superconducting linac will be capable of accelerating the $H-$ CW beam to 800 MeV with an average power of 1.6 MW. To operate the linac with such high power, beam losses and beam emittance growth must be tightly controlled. In this paper, we present the results of global optimization of the Linac options towards a robust and efficient physics design for the superconducting section of the PIP-II linac. We also investigate the impact of the nonlinear field of the dipole correctors on the beam quality and derive the requirement on the field quality using statistical analysis. Finally, we assess the need to correct the quadrupole focusing produced by Half Wave, and Single Spoke accelerating cavities. We assess the feasibility of controlling the beam coupling in the machine by changing the polarity of the field of linac focusing solenoids


title: Probing CP Violation in Neutrino-antineutrino Oscillations with Non-unitary Flavor Mixing

abstract: If massive neutrinos are Majorana particles, then the lepton number should be violated and neutrino-antineutrino oscillations will take place. In this talk, we present the properties of CP violation in neutrino-antineutrino oscillations with a non-unitary leptonic flavor mixing matrix, which naturally arises in the type-I seesaw model due to the mixing between light and heavy Majorana neutrinos. Taking into account current experimental bounds on the leptonic unitarity violation, we show that the CP asymmetries induced by the non-unitary mixing parameters can significantly deviate from those in the unitarity limit.


title: UPAR: Unified Pedestrian Attribute Recognition and Person Retrieval

abstract: Recognizing soft-biometric pedestrian attributes is essential in video surveillance and fashion retrieval. Recent works show promising results on single datasets. Nevertheless, the generalization ability of these methods under different attribute distributions, viewpoints, varying illumination, and low resolutions remains rarely understood due to strong biases and varying attributes in current datasets. To close this gap and support a systematic investigation, we present UPAR, the Unified Person Attribute Recognition Dataset. It is based on four well-known person attribute recognition datasets: PA100K, PETA, RAPv2, and Market1501. We unify those datasets by providing 3,3M additional annotations to harmonize 40 important binary attributes over 12 attribute categories across the datasets. We thus enable research on generalizable pedestrian attribute recognition as well as attribute-based person retrieval for the first time. Due to the vast variance of the image distribution, pedestrian pose, scale, and occlusion, existing approaches are greatly challenged both in terms of accuracy and efficiency. Furthermore, we develop a strong baseline for PAR and attribute-based person retrieval based on a thorough analysis of regularization methods. Our models achieve state-of-the-art performance in cross-domain and specialization settings on PA100k, PETA, RAPv2, Market1501-Attributes, and UPAR. We believe UPAR and our strong baseline will contribute to the artificial intelligence community and promote research on large-scale, generalizable attribute recognition systems.


title: Evaluation and spanning sets of confluent Vandermonde forms

abstract: An arbitrary derivative of a Vandermonde form in $N$ variables is given as $[n_1\cdots n_N]$, where the $i$-th variable is differentiated $N-n_i-1$ times, $1\le n_i\le N-1$. A simple decoding table is introduced to evaluate it by inspection. The special cases where $0\le n_{i+1} - n_i \le 1$ for $0<i<N$ are in one-to-one correspondence with ribbon Young diagrams. The respective $N!$ standard ribbon tableaux map to a complete graded basis in the space of $S_N$-harmonic polynomials. The mapping is realized as an efficient algorithm generating any one of $N!$ bases with $N!$ basis elements, both indexed by permutations. The result is placed in the context of a geometric interpretation of the Hilbert space of many-fermion wave functions.


title: Multiwavelength modeling the SED of Luminous Supersoft X-ray Sources in Large Magellanic Cloud and Small Magellanic Cloud

abstract: Classical supersoft X-ray sources (SSSs) are understood as close binary systems in which a massive white dwarf (WD) accretes from its companion at rates sustaining steady hydrogen burning on its surface generating bolometric luminosities of $10^{36}-2\times10^{38}$ erg/s. Here, we perform for the first time the global supersoft X-rays to near-infrared (NIR) spectral energy distribution (SED) for the brightest SSSs in LMC and SMC. We test a model in which the ultraviolet--NIR is dominated by the emission from a compact (unresolved) circumstellar nebula represented by the ionized gas out-flowing from the SSS. The SED models correspond to luminosities of SSSs a few times $10^{38}-10^{39}$ erg/s, radiating at blackbody temperatures of $\approx 3\times 10^{5}$ K, and indicate nebular continuum, whose emission measure of $\gtrsim 2\times10^{60}$ cm$^{-3}$ corresponds to a wind mass-loss at rates $\gtrsim 2\times 10^{-6}$ $M_{\odot}\,{\rm yr}^{-1}$. Such extreme parameters suggest that the brightest SSSs could be unidentified optical novae in a post-nova SSS state sustained at a high long-lasting luminosity by resumed accretion, possibly at super-Eddington rates. New observations and theoretical multiwavelength modeling of the global SED of SSSs are needed to reliably determine their parameters, and thus understand their proper stage in stellar evolution.


title: Generalisation under gradient descent via deterministic PAC-Bayes

abstract: We establish disintegrated PAC-Bayesian generalisation bounds for models trained with gradient descent methods or continuous gradient flows. Contrary to standard practice in the PAC-Bayesian setting, our result applies to optimisation algorithms that are deterministic, without requiring any de-randomisation step. Our bounds are fully computable, depending on the density of the initial distribution and the Hessian of the training objective over the trajectory. We show that our framework can be applied to a variety of iterative optimisation algorithms, including stochastic gradient descent (SGD), momentum-based schemes, and damped Hamiltonian dynamics.


title: Diagnostics for Linac Optimization With Machine Learning

abstract: The Fermilab Linac delivers 400 MeV H- beam to the rest of the accelerator chain. Providing stable intensity, energy, and emittance is key since it directly affects downstream machines. To counter fluctuations of Linac output due to various effects to be described below we are working on implementing dynamic longitudinal parameter optimization based on Machine Learning (ML). As inputs for the ML model, signals from beam diagnostics have to be well understood and reliable. In this paper we discuss the status and plans for ML-based optimization as well as preliminary results of diagnostics studies.


title: What is the most general class of quasiprobabilities of work?

abstract: How to give a statistical description of thermodynamics in quantum systems is an open fundamental question. Concerning the work, the presence of initial quantum coherence in the energy basis can give rise to a quasiprobability of work, which can take negative values. Our aim is to identify the most general quasiprobability of work satisfying some fundamental conditions. By doing so, we introduce a general notion of quasiprobability in analogy to the Gleason's theorem. Then, we use these quasiprobabilities to define the quasiprobability of work, and finally we discuss the contextuality of the protocol.


title: Rethinking Symmetric Matrix Factorization: A More General and Better Clustering Perspective

abstract: Nonnegative matrix factorization (NMF) is widely used for clustering with strong interpretability. Among general NMF problems, symmetric NMF is a special one that plays an important role in graph clustering where each element measures the similarity between data points. Most existing symmetric NMF algorithms require factor matrices to be nonnegative, and only focus on minimizing the gap between similarity matrix and its approximation for clustering, without giving a consideration to other potential regularization terms which can yield better clustering. In this paper, we explore factorizing a symmetric matrix that does not have to be nonnegative, presenting an efficient factorization algorithm with a regularization term to boost the clustering performance. Moreover, a more general framework is proposed to solve symmetric matrix factorization problems with different constraints on the factor matrices.


title: Erato: Cooperative Data Story Editing via Fact Interpolation

abstract: As an effective form of narrative visualization, visual data stories are widely used in data-driven storytelling to communicate complex insights and support data understanding. Although important, they are difficult to create, as a variety of interdisciplinary skills, such as data analysis and design, are required. In this work, we introduce Erato, a human-machine cooperative data story editing system, which allows users to generate insightful and fluent data stories together with the computer. Specifically, Erato only requires a number of keyframes provided by the user to briefly describe the topic and structure of a data story. Meanwhile, our system leverages a novel interpolation algorithm to help users insert intermediate frames between the keyframes to smooth the transition. We evaluated the effectiveness and usefulness of the Erato system via a series of evaluations including a Turing test, a controlled user study, a performance validation, and interviews with three expert users. The evaluation results showed that the proposed interpolation technique was able to generate coherent story content and help users create data stories more efficiently.


title: An Integrated Solar Battery based on a Charge Storing 2D Carbon Nitride

abstract: Solar batteries capable of harvesting sunlight and storing solar energy present an attractive vista to transition our energy infrastructure into a sustainable future. We present an integrated, fully earth-abundant solar battery design based on a bifunctional (light absorbing and charge storing) carbon nitride (K-PHI) photoanode, combined with all-organic hole transfer and storage materials. An internal ladder-type hole transfer cascade via a hole transport layer is used to shuttle the photogenerated holes to the PEDOT:PSS cathode. This concept differs from previous designs such as light-assisted battery schemes or photocapacitors and allows charging with only light or light-assisted during electrical charging and discharging, thus substantially increasing the energy output of the cell. Compared to battery operation in the dark, light-assisted (dis)charging increases charge output by 243 %, thereby increasing the electric coulombic efficiency from 68.3 % in the dark to 231 %, leading to energy improvements of 94.1 % under illumination.


title: Global-in-time probabilistically strong solutions to stochastic power-law equations: existence and non-uniqueness

abstract: We are concerned with the power-law fluids driven by an additive stochastic forcing in dimension $d\geq3$. For the power index $r\in(1,\frac{3d+2}{d+2})$, we establish existence of infinitely many global-in-time probabilistically strong and analytically weak solutions in $L^p_{loc}([0,\infty);L^2)\cap C([0,\infty);W^{1,\max\{1,r-1\}}),p\geq1$ for every divergence free initial condition in $L^2\cap W^{1,\max\{1,r-1\}}$. This result in particular implies non-uniqueness in law. Our result is sharp in the three dimensional case in the sense that the solution is unique if $r\geq \frac{3d+2}{d+2}$.


title: A Combined Inverse Kinematics Algorithm Using FABRIK with Optimization

abstract: Forward and backward reaching inverse kinematics (FABRIK) is a heuristic inverse kinematics solver that is gradually applied to manipulators with the advantages of fast convergence and generating more realistic configurations. However, under the high error constraint, FABRIK exhibits unstable convergence behavior, which is unsatisfactory for the real-time motion planning of manipulators. In this paper, a novel inverse kinematics algorithm that combines FABRIK and the sequential quadratic programming (SQP) algorithm is presented, in which the joint angles deduced by FABRIK will be taken as the initial seed of the SQP algorithm to avoid getting stuck in local minima. The combined algorithm is evaluated with experiments, in which our algorithm can achieve higher success rates and faster solution times than FABRIK under the high error constraint. Furthermore, the combined algorithm can generate continuous trajectories for the UR5 and KUKA LBR IIWA 14 R820 manipulators in path tracking with no pose error and permitted position error of the end-effector.


title: Understanding Longitudinal Behaviors of Toxic Accounts on Reddit

abstract: Toxic comments are the top form of hate and harassment experienced online. While many studies have investigated the types of toxic comments posted online, the effects that such content has on people, and the impact of potential defenses, no study has captured the long-term behaviors of the accounts that post toxic comments or how toxic comments are operationalized. In this paper, we present a longitudinal measurement study of 929K accounts that post toxic comments on Reddit over an 18~month period. Combined, these accounts posted over 14 million toxic comments that encompass insults, identity attacks, threats of violence, and sexual harassment. We explore the impact that these accounts have on Reddit, the targeting strategies that abusive accounts adopt, and the distinct patterns that distinguish classes of abusive accounts. Our analysis forms the foundation for new time-based and graph-based features that can improve automated detection of toxic behavior online and informs the nuanced interventions needed to address each class of abusive account.


title: Computing canonical images in permutation groups with Graph Backtracking

abstract: We describe a new algorithm for finding a canonical image of an object under the action of a finite permutation group. This algorithm builds on previous work using Graph Backtracking, which extends Jeffrey Leon's Partition Backtrack framework. Our methods generalise both Nauty and Steve Linton's Minimal image algorithm.


title: Analyzing Transformers in Embedding Space

abstract: Understanding Transformer-based models has attracted significant attention, as they lie at the heart of recent technological advances across machine learning. While most interpretability methods rely on running models over inputs, recent work has shown that a zero-pass approach, where parameters are interpreted directly without a forward/backward pass is feasible for some Transformer parameters, and for two-layer attention networks. In this work, we present a theoretical analysis where all parameters of a trained Transformer are interpreted by projecting them into the embedding space, that is, the space of vocabulary items they operate on. We derive a simple theoretical framework to support our arguments and provide ample evidence for its validity. First, an empirical analysis showing that parameters of both pretrained and fine-tuned models can be interpreted in embedding space. Second, we present two applications of our framework: (a) aligning the parameters of different models that share a vocabulary, and (b) constructing a classifier without training by ``translating'' the parameters of a fine-tuned classifier to parameters of a different model that was only pretrained. Overall, our findings open the door to interpretation methods that, at least in part, abstract away from model specifics and operate in the embedding space only.


title: Semantic Image Synthesis with Semantically Coupled VQ-Model

abstract: Semantic image synthesis enables control over unconditional image generation by allowing guidance on what is being generated. We conditionally synthesize the latent space from a vector quantized model (VQ-model) pre-trained to autoencode images. Instead of training an autoregressive Transformer on separately learned conditioning latents and image latents, we find that jointly learning the conditioning and image latents significantly improves the modeling capabilities of the Transformer model. While our jointly trained VQ-model achieves a similar reconstruction performance to a vanilla VQ-model for both semantic and image latents, tying the two modalities at the autoencoding stage proves to be an important ingredient to improve autoregressive modeling performance. We show that our model improves semantic image synthesis using autoregressive models on popular semantic image datasets ADE20k, Cityscapes and COCO-Stuff.


title: Dynamical Gravastars

abstract: We combine the ideas of a Weyl scaling invariant dark energy action, which eliminates black hole horizons, with the ``gravastar'' idea of a jump in the hole interior from a normal matter equation of state to an equation of state where pressure plus density approximately sum to zero. Using the Tolman-Oppenheimer-Volkoff equation, which requires continuous pressure, we present Mathematica notebooks in which the structure of the gravastar is entirely governed by the action and the equation of state, with the radii where structural changes occur emerging from the dynamics, rather than being specified in advance. The notebooks work even with zero cosmological constant, but when the cosmological constant is nonzero, there is a very small black hole ``wind'' that we calculate by a relativistic extension of standard pressure driven isothermal stellar wind theory.


title: Neutrino transport in general relativistic neutron star merger simulations

abstract: Numerical simulations of neutron star--neutron star and neutron star--black hole binaries play an important role in our ability to model gravitational wave and electromagnetic signals powered by these systems. These simulations have to take into account a wide range of physical processes including general relativity, magnetohydrodynamics, and neutrino radiation transport. The latter is particularly important in order to understand the properties of the matter ejected by many mergers, the optical/infrared signals powered by nuclear reactions in the ejecta, and the contribution of that ejecta to astrophysical nucleosynthesis. However, accurate evolutions of the neutrino transport equations that include all relevant physical processes remain beyond our current reach. In this review, I will discuss the current state of neutrino modeling in general relativistic simulations of neutron star mergers and of their post-merger remnants. I will focus on the three main types of algorithms used in simulations so far: leakage, moments, and Monte-Carlo scheme. I will review the advantages and limitations of each scheme, as well as the various neutrino-matter interactions that should be included in simulations. We will see that the quality of the treatment of neutrinos in merger simulations has greatly increased over the last decade, but also that many potentially important interactions remain difficult to take into account in simulations (pair annihilation, oscillations, inelastic scattering).


title: X-IFU/Athena view of the most distant galaxy clusters in the Universe

abstract: The X-ray Integral Field Unit (X-IFU) on-board the second large ESA mission ''Athena'' will be a high spatial (5'') and spectral (2.5eV) resolution X-ray imaging spectrometer, operating in the 0.2-12 keV energy band. It will address the science question of the assembly and evolution through cosmic time of the largest halos of matter in the Universe, groups and clusters of galaxies. To this end, we present an on-going feasibility study to demonstrate the X-IFU capabilities to unveil the physics of massive halos at their epoch of formation. Starting from a distant (z=2) group of galaxies ($M_{500} = 7\cdot 10^{13} M_\odot/h$) extracted from the HYDRANGEA cosmological and hydrodynamical numerical simulations, we perform an end-to-end simulation of X-IFU observations. From the reconstruction of the global, 1D and 2D quantities, we plan to investigate the various X-IFU science cases for clusters of galaxies, such as the chemical enrichment of the intra-cluster medium (ICM), the dynamical assembly of groups and clusters and the impact of feedback from galaxy and super-massive black hole evolution.


title: CAMO-MOT: Combined Appearance-Motion Optimization for 3D Multi-Object Tracking with Camera-LiDAR Fusion

abstract: 3D Multi-object tracking (MOT) ensures consistency during continuous dynamic detection, conducive to subsequent motion planning and navigation tasks in autonomous driving. However, camera-based methods suffer in the case of occlusions and it can be challenging to accurately track the irregular motion of objects for LiDAR-based methods. Some fusion methods work well but do not consider the untrustworthy issue of appearance features under occlusion. At the same time, the false detection problem also significantly affects tracking. As such, we propose a novel camera-LiDAR fusion 3D MOT framework based on the Combined Appearance-Motion Optimization (CAMO-MOT), which uses both camera and LiDAR data and significantly reduces tracking failures caused by occlusion and false detection. For occlusion problems, we are the first to propose an occlusion head to select the best object appearance features multiple times effectively, reducing the influence of occlusions. To decrease the impact of false detection in tracking, we design a motion cost matrix based on confidence scores which improve the positioning and object prediction accuracy in 3D space. As existing multi-object tracking methods only consider a single category, we also propose to build a multi-category loss to implement multi-object tracking in multi-category scenes. A series of validation experiments are conducted on the KITTI and nuScenes tracking benchmarks. Our proposed method achieves state-of-the-art performance and the lowest identity switches (IDS) value (23 for Car and 137 for Pedestrian) among all multi-modal MOT methods on the KITTI test dataset. And our proposed method achieves state-of-the-art performance among all algorithms on the nuScenes test dataset with 75.3% AMOTA.


title: A robust and memory-efficient transition state search method for complex energy landscapes

abstract: Locating transition states is crucial for investigating transition mechanisms in wide-ranging phenomena, from atomistic to macroscale systems. Existing methods, however, can struggle in problems with a large number of degrees of freedom, on-the-fly adaptive remeshing and coarse-graining, and energy landscapes that are locally flat or discontinuous. To resolve these challenges, we introduce a new double-ended method, the Binary-Image Transition State Search (BITSS). It uses just two states that converge to the transition state, resulting in a fast, flexible, and memory-efficient method. We also show it is more robust compared to existing bracketing methods that use only two states. We demonstrate its versatility by applying BITSS to three very different classes of problems: Lennard-Jones clusters, shell buckling, and multiphase phase-field models.


title: Coupling broadband terahertz dipoles to microscale resonators

abstract: Spintronic emitters are a unique class of terahertz (THz) sources due to their quasi-two-dimensional geometry and thereby their capability to couple to resonator near fields. Global excitation of the emitters often obstructs the intricate details of the coupling mechanisms between local THz dipoles and the individual modes of resonator structures. Here, we demonstrate the spatial mapping of the coupling strength between a local terahertz source on a spintronic emitter and far-field light mediated by a structured metallic environment. For a bow-tie geometry, experimental results are reproduced by a numerical model providing insights into the microscopic coupling mechanisms. The broad applicability of the technique is showcased by extracting the THz mode structure in split-ring resonator metasurfaces and linear arrays. With these developments, planar THz sources with tailored spectral and angular emission profiles are accessible.


title: A Lieb-Thirring inequality for extended anyons

abstract: We derive a Pauli exclusion principle for extended fermion-based anyons of any positive radius and any non-trivial statistics parameter. That is, we consider 2D fermionic particles coupled to magnetic flux tubes of non-zero radius, and prove a Lieb-Thirring inequality for the corresponding many-body kinetic energy operator. The implied constant is independent of the radius of the flux tubes, and proportional to the statistics parameter.


title: XSimGCL: Towards Extremely Simple Graph Contrastive Learning for Recommendation

abstract: Contrastive learning (CL) has recently been demonstrated critical in improving recommendation performance. The underlying principle of CL-based recommendation models is to ensure the consistency between representations derived from different graph augmentations of the user-item bipartite graph. This self-supervised approach allows for the extraction of general features from raw data, thereby mitigating the issue of data sparsity. Despite the effectiveness of this paradigm, the factors contributing to its performance gains have yet to be fully understood. This paper provides novel insights into the impact of CL on recommendation. Our findings indicate that CL enables the model to learn more evenly distributed user and item representations, which alleviates the prevalent popularity bias and promoting long-tail items. Our analysis also suggests that the graph augmentations, previously considered essential, are relatively unreliable and of limited significance in CL-based recommendation. Based on these findings, we put forward an eXtremely Simple Graph Contrastive Learning method (XSimGCL) for recommendation, which discards the ineffective graph augmentations and instead employs a simple yet effective noise-based embedding augmentation to generate views for CL. A comprehensive experimental study on four large and highly sparse benchmark datasets demonstrates that, though the proposed method is extremely simple, it can smoothly adjust the uniformity of learned representations and outperforms its graph augmentation-based counterparts by a large margin in both recommendation accuracy and training efficiency. The code and used datasets are released at https://github.com/Coder-Yu/SELFRec.


title: Second-order stochastic theory for self-interacting scalar fields in de Sitter spacetime

abstract: We introduce a second-order stochastic effective theory for light scalar fields in de Sitter spacetime, extending the validity of the stochastic approach beyond the massless limit and demonstrating how it can be used to compute long-distance correlation functions non-perturbatively. The parameters of the second-order stochastic theory are determined from quantum field theory through a perturbative calculation, which is valid if the self-interaction parameter $\lambda$ satisfies $\lambda\ll m^2/H^2$, where $m$ is the scalar and $H$ is the Hubble rate. Therefore it allows stronger self-interactions than conventional perturbation theory, which is limited to $\lambda\ll m^4/H^4$ by infrared divergences. We demonstrate the applicability of the second-order stochastic theory by comparing its results with perturbative quantum field theory and overdamped stochastic calculations, and discuss the prospects of improving its accuracy with a full one-loop calculation of its parameters.


title: An updated measurement of the Hubble constant from near-infrared observations of Type Ia supernovae

abstract: We present a measurement of the Hubble constant ($H_0$) using type Ia supernova (SNe Ia) in the near-infrared (NIR) from the recently updated sample of SNe Ia in nearby galaxies with distances measured via Cepheid period-luminosity relations by the SHOES project. We collect public near-infrared photometry of up to 19 calibrator SNe Ia and further 57 SNe Ia in the Hubble flow ($z>0.01$), and directly measure their peak magnitudes in the $J$ and $H$ band by Gaussian processes and spline interpolation. Calibrator peak magnitudes together with Cepheid-based distances are used to estimate the average absolute magnitude in each band, while Hubble-flow SNe are used to constrain the zero-point intercept of the magnitude-redshift relation. Our baseline result of $H_0$ is $72.3\pm1.4$ (stat) $\pm1.4$ (syst) km s$^{-1}$ Mpc$^{-1}$ in the $J$ band and $72.3\pm1.3$ (stat) $\pm1.4$ (syst) km s$^{-1}$ Mpc$^{-1}$ in the $H$ band, where the systematic uncertainties include the standard deviation of up to 21 variations of the analysis, the 0.7\% distance scale systematic from SHOES Cepheid anchors, a photometric zeropoint systematic, and a cosmic variance systematic. Our final measurement represents a measurement with a precision of 2.8\% in both bands. The variant with the largest change in $H_0$ is when limiting the sample to SNe from CSP and CfA programmes, noteworthy because these are the best calibrated, yielding $H_0\sim75$ km s$^{-1}$ Mpc$^{-1}$ in both bands. We demonstrate stretch and reddening corrections are still useful in the NIR to standardize SN Ia NIR peak magnitudes. Based on our results, in order to improve the precision of the $H_0$ measurement with SNe Ia in the NIR in the future, we would need to increase the number of calibrator SNe Ia, be able to extend the Hubble-Lema\^itre diagram to higher-z, and include standardization procedures to help reducing the NIR intrinsic scatter.


title: Will a single two-level atom simultaneously scatter two photons?

abstract: The interaction of light with a single two-level emitter is the most fundamental process in quantum optics, and is key to many quantum applications. As a distinctive feature, two photons are never detected simultaneously in the light scattered by the emitter. This is commonly interpreted by saying that a single two-level quantum emitter can only absorb and emit single photons. However, it has been theoretically proposed that the photon anti-correlations can be thought to arise from quantum interference between two possible two-photon scattering amplitudes, which one refers to as coherent and incoherent. This picture is in stark contrast to the aforementioned one, in that it assumes that the atom even has two different mechanisms at its disposal to scatter two photons at the same time. Here, we validate the interference picture by experimentally verifying the 40-year-old conjecture that, by spectrally rejecting only the coherent component of the fluorescence light of a single two-level atom, the remaining light consists of photon pairs that have been simultaneously scattered by the atom. Our results offer fundamental insights into the quantum-mechanical interaction between light and matter and open up novel approaches for the generation of highly non-classical light fields.


title: Soft Handover Procedures in mmWave Cell-Free Massive MIMO Networks

abstract: This paper considers a mmWave cell-free massive MIMO (multiple-input multiple-output) network composed of a large number of geographically distributed access points (APs) simultaneously serving multiple user equipments (UEs) via coherent joint transmission. We address UE mobility in the downlink (DL) with imperfect channel state information (CSI) and pilot training. Aiming at extending traditional handover concepts to the challenging AP-UE association strategies of cell-free networks, distributed algorithms for joint pilot assignment and cluster formation are proposed in a dynamic environment considering UE mobility. The algorithms provide a systematic procedure for initial access and update of the serving APs and assigned pilot sequence to each UE. The principal goal is to limit the necessary number of AP and pilot changes, while limiting computational complexity. We evaluate the performance, in terms of spectral efficiency (SE), with maximum ratio and regularized zero-forcing precoding. Results show that our proposed distributed algorithms effectively identify the essential AP-UE association refinements with orders-of-magnitude lower computational time compared to the state-of-the-art. It also provides a significantly lower average number of pilot changes compared to an ultra-dense network (UDN). Moreover, we develop an improved pilot assignment procedure that facilitates massive access to the network in highly loaded scenarios.


title: Jet-ISM interaction in NGC 1167 / B2 0258+35, A LINER with an AGN past

abstract: We report the results of joint Chandra/ACIS - NuSTAR deep observations of NGC 1167, the host galaxy of the young radio jet B2 0258+35. In the ACIS data we detect X-ray emission, extended both along and orthogonal to the jet. At the end of the SE radio jet, we find lower-energy X-ray emission that coincides with a region of CO turbulence and fast outflow motions. This suggests that the hot Interstellar Medium (ISM) may be compressed by the jet and molecular outflow, resulting in more efficient cooling. Hydrodynamic simulations of jet-ISM interaction tailored to NGC 1167 are in agreement with this conclusion and with the overall morphology and spectra of the X-ray emission. The faint hard nuclear source detected with Chandra and the stringent NuSTAR upper limits on the harder X-ray emission show that the active galactic nucleus (AGN) in NGC 1167 is in a very low-accretion state. However, the characteristics of the extended X-ray emission are more consonant to those of luminous Compton Thick AGNs, suggesting that we may be observing the remnants of a past high accretion rate episode, with sustained strong activity lasting ~ 2 x 103 yr. We conclude that NGC1167 is presently a LINER, but was an AGN in the past, given the properties of the extended X-ray emission and their similarity with those of CT AGN extended emission.


title: Efficient search of active inference policy spaces using k-means

abstract: We develop an approach to policy selection in active inference that allows us to efficiently search large policy spaces by mapping each policy to its embedding in a vector space. We sample the expected free energy of representative points in the space, then perform a more thorough policy search around the most promising point in this initial sample. We consider various approaches to creating the policy embedding space, and propose using k-means clustering to select representative points. We apply our technique to a goal-oriented graph-traversal problem, for which naive policy selection is intractable for even moderately large graphs.


title: Graph-PHPA: Graph-based Proactive Horizontal Pod Autoscaling for Microservices using LSTM-GNN

abstract: Microservice-based architecture has become prevalent for cloud-native applications. With an increasing number of applications being deployed on cloud platforms every day leveraging this architecture, more research efforts are required to understand how different strategies can be applied to effectively manage various cloud resources at scale. A large body of research has deployed automatic resource allocation algorithms using reactive and proactive autoscaling policies. However, there is still a gap in the efficiency of current algorithms in capturing the important features of microservices from their architecture and deployment environment, for example, lack of consideration of graphical dependency. To address this challenge, we propose Graph-PHPA, a graph-based proactive horizontal pod autoscaling strategy for allocating cloud resources to microservices leveraging long short-term memory (LSTM) and graph neural network (GNN) based prediction methods. We evaluate the performance of Graph-PHPA using the Bookinfo microservices deployed in a dedicated testing environment with real-time workloads generated based on realistic datasets. We demonstrate the efficacy of Graph-PHPA by comparing it with the rule-based resource allocation scheme in Kubernetes as our baseline. Extensive experiments have been implemented and our results illustrate the superiority of our proposed approach in resource savings over the reactive rule-based baseline algorithm in different testing scenarios.


title: Explaining Machine Learning Models in Natural Conversations: Towards a Conversational XAI Agent

abstract: The goal of Explainable AI (XAI) is to design methods to provide insights into the reasoning process of black-box models, such as deep neural networks, in order to explain them to humans. Social science research states that such explanations should be conversational, similar to human-to-human explanations. In this work, we show how to incorporate XAI in a conversational agent, using a standard design for the agent comprising natural language understanding and generation components. We build upon an XAI question bank which we extend by quality-controlled paraphrases to understand the user's information needs. We further systematically survey the literature for suitable explanation methods that provide the information to answer those questions, and present a comprehensive list of suggestions. Our work is the first step towards truly natural conversations about machine learning models with an explanation agent. The comprehensive list of XAI questions and the corresponding explanation methods may support other researchers in providing the necessary information to address users' demands.


title: A machine learning approach to photometric metallicities of giant stars

abstract: Despite the advances provided by large-scale photometric surveys, stellar features - such as metallicity - generally remain limited to spectroscopic observations often of bright, nearby low-extinction stars. To rectify this, we present a neural network approach for estimating the metallicities and distances of red giant stars with 8-band photometry and parallaxes from Gaia EDR3 and the 2MASS and WISE surveys. The algorithm accounts for uncertainties in the predictions arising from the range of possible outputs at each input and from the range of models compatible with the training set (through drop-out). A two-stage procedure is adopted where an initial network to estimate photo-astrometric parallaxes is trained using a large sample of noisy parallax data from Gaia EDR3 and then a secondary network is trained using spectroscopic metallicities from the APOGEE and LAMOST surveys and an augmented feature space utilising the first-stage parallax estimates. The algorithm produces metallicity predictions with an average uncertainty of $\pm0.19$ dex. The methodology is applied to stars within the Galactic bar/bulge with particular focus on a sample of 1.69 million objects with Gaia radial velocities. We demonstrate the use and validity of our approach by inspecting both spatial and kinematic gradients with metallicity in the Galactic bar/bulge recovering previous results on the vertical metallicity gradient ($-0.528 \pm 0.002$ dex/kpc) and the vertex deviation of the bar ($-21.29 \pm 2.74$ deg).


title: Network model for periodically strained graphene

abstract: The long-wavelength physics of monolayer graphene in the presence of periodic strain fields has a natural chiral scattering network description. When the strain field varies slowly compared to the graphene lattice and the effective magnetic length of the induced valley pseudomagnetic field, the low-energy physics can be understood in terms of valley-polarized percolating domain-wall modes. Inspired by a recent experiment, we consider a strain field with threefold rotation and mirror symmetries but without twofold rotation symmetry, resulting in a system with the connectivity of the oriented kagome network. Scattering processes in this network are captured by a symmetry-constrained phenomenological $S$ matrix. We analyze the phase diagram of the kagome network, and show that the bulk physics of the strained graphene can be qualitatively captured by the network when we account for a percolation transition at charge neutrality. We also discuss the limitations of this approach to properly account for boundary physics.


title: Finite-Time Error Bounds for Greedy-GQ

abstract: Greedy-GQ with linear function approximation, originally proposed in \cite{maei2010toward}, is a value-based off-policy algorithm for optimal control in reinforcement learning, and it has a non-linear two timescale structure with the non-convex objective function. This paper develops its tightest finite-time error bounds. We show that the Greedy-GQ algorithm converges as fast as $\mathcal{O}({1}/{\sqrt{T}})$ under the i.i.d.\ setting and $\mathcal{O}({\log T}/{\sqrt{T}})$ under the Markovian setting. We further design a variant of the vanilla Greedy-GQ algorithm using the nested-loop approach, and show that its sample complexity is $\mathcal{O}({\log(1/\epsilon)\epsilon^{-2}})$, which matches with the one of the vanilla Greedy-GQ. Our finite-time error bounds match with one of the stochastic gradient descent algorithms for general smooth non-convex optimization problems, despite its additonal challenge in the two time-scale updates. Our finite-sample analysis provides theoretical guidance on choosing step-sizes for faster convergence in practice, and suggests the trade-off between the convergence rate and the quality of the obtained policy. Our techniques provide a general approach for finite-sample analysis of non-convex two timescale value-based reinforcement learning algorithms.


title: The Outcome of the 2022 Landslide4Sense Competition: Advanced Landslide Detection from Multi-Source Satellite Imagery

abstract: The scientific outcomes of the 2022 Landslide4Sense (L4S) competition organized by the Institute of Advanced Research in Artificial Intelligence (IARAI) are presented here. The objective of the competition is to automatically detect landslides based on large-scale multiple sources of satellite imagery collected globally. The 2022 L4S aims to foster interdisciplinary research on recent developments in deep learning (DL) models for the semantic segmentation task using satellite imagery. In the past few years, DL-based models have achieved performance that meets expectations on image interpretation, due to the development of convolutional neural networks (CNNs). The main objective of this article is to present the details and the best-performing algorithms featured in this competition. The winning solutions are elaborated with state-of-the-art models like the Swin Transformer, SegFormer, and U-Net. Advanced machine learning techniques and strategies such as hard example mining, self-training, and mix-up data augmentation are also considered. Moreover, we describe the L4S benchmark data set in order to facilitate further comparisons, and report the results of the accuracy assessment online. The data is accessible on \textit{Future Development Leaderboard} for future evaluation at \url{https://www.iarai.ac.at/landslide4sense/challenge/}, and researchers are invited to submit more prediction results, evaluate the accuracy of their methods, compare them with those of other users, and, ideally, improve the landslide detection results reported in this article.


title: GRB 080928 afterglow imaging and spectro-polarimetry

abstract: Among the large variety of astrophysical sources that we can observe, gamma-ray bursts (GRBs) are the most energetic of the whole Universe. The definition of a general picture describing the physics behind GRBs has always been a compelling task, but the results obtained so far from observations have revealed a puzzling landscape. The lack of a clear, unique paradigm calls for further observations and additional, independent techniques for this purpose. Polarimetry constitutes a very useful example as it allows us to investigate some features of the source such as the geometry of the emitting region and the magnetic field configuration. To date, only a handful of bursts detected by space telescopes have been accompanied by ground-based spectro-polarimetric follow-up, and therefore such an analysis of more GRBs is of crucial importance in order to increase the sample of bursts with multi-epoch polarisation analysis. In this work, we present the analysis of the GRB 080928 optical afterglow, with observations performed with the ESO-VLT FORS1 instrument. We find that the GRB optical afterglow was not significantly polarised on the first observing night. The polarisation degree ($P$) grew on the following night to a level of $P \sim$ 4.5%, giving evidence of polarised radiation at a 4 $\sigma$ confidence level. The GRB 080928 light curve is not fully consistent with standard afterglow models, making any comparison with polarimetric models partly inconclusive. The most conservative interpretation is that the GRB emission was characterised by a homogeneous jet and was observed at an angle of 0.6 $< \theta_{obs}/\theta_{jet} <$ 0.8. Moreover, the non-zero polarisation degree on the second night suggests the presence of a dominant locally ordered magnetic field in the emitting region.


title: Topological K-homology for non-proper actions and assembly maps

abstract: For a countable discrete group $G$, we construct a new and concrete model for the equivariant topological $K$-homology theory of $G$, which is defined for all $G$-actions, not just for proper $G$-actions. The construction of our model combines some of the ideas from the localization algebra approach to the coarse Baum-Connes conjecture and the controlled algebra approach to the Farrell-Jones conjecture. It brings new ideas into the study of the Baum-Connes conjecture. First, as the model is defined for all $G$-actions, we are able to define relative assembly maps. We prove, by using an induction structure of our theory, a transitivity principle that can be used to verify when a relative assembly map is an isomorphism. This promotes the study of the original assembly map relative to the family of finite subgroups to assembly maps relative to any family of subgroups of a group. Second, our new model is suitable for the use of the method of controlled topology and controlled algebra, which plays an important role in proving the coarse Baum-Connes conjecture and the Farrell-Jones conjecture for a large class of groups.


title: Splitting the Echoes of Black Holes in Einstein-nonlinear Electrodynamic Theories

abstract: Black hole echo is an important observable that can help us better understand gravitational theories. We present that the non-linear electrodynamic black holes can admit the multi-peak effective potential for the scalar perturbations, which can give rise to the echoes. After choosing suitable parameters, the effective potential can exhibit a structure with more than two peaks. Putting the initial wave packet released outside the peaks, we find that the time-domain profile of the echo will split when the peaks of the effective potential change from two to three. This is a phenomenon of black hole echo and it might be possible to determine the geometric structure of the black hole according to this phenomenon through gravitational wave detection.


title: Like Black holes, Buchdahl stars cannot be extremalized

abstract: It was shown long back in \cite{Dadhich97} that a non-extremal black hole cannot be converted into an extremal one by test particle adiabatic accretion. The Buchdahl star is the most compact object without horizon and is defined by $\Phi(R) = 4/9$, while black hole by $\Phi(R) = 1/2$. Here $\Phi(R)$ is the gravitational potential experienced by a particle, radially falling for static and axially for the rotating object. In this short note we examine the question of extremalization of the Buchdhal star and show that the same result holds good as for the black hole. That is, a non-extremal Buchdahl star cannot be extremalized by test particle accretion. Further since extremal limit for BS is $>1$, it could facilitate formation of extremal black holes by neutral and spinless accretion. That is perhaps the only way they could be formed.


title: A class of non-classicality and non-Gaussianity of photon added three-mode GHZ-type entangled coherent states

abstract: In this paper, We investigate three-mode photon-added Greenberger-Horne-Zeilinger (GHZ) entangled coherent states by repeatedly operating the photon-added operator on the GHZ entangled coherent states. The product of two Laguerre polynomials is demonstrated to be connected to the normalizing constant. The influence of the operation on the non-classical and non-Gaussian behavior of the GHZ entangled coherent states is investigated. Sub-Poissonian statistics, such as Mandel's parameter and the negativity of the Wigner function, show that non-classical properties can enhance GHZ entangled coherent states. Finally, the occurrence of the anti-bunching phenomena in this class of tripartite excited states is studied using the second-order correlation function.


title: Project proposal: A modular reinforcement learning based automated theorem prover

abstract: We propose to build a reinforcement learning prover of independent components: a deductive system (an environment), the proof state representation (how an agent sees the environment), and an agent training algorithm. To that purpose, we contribute an additional Vampire-based environment to $\texttt{gym-saturation}$ package of OpenAI Gym environments for saturation provers. We demonstrate a prototype of using $\texttt{gym-saturation}$ together with a popular reinforcement learning framework (Ray $\texttt{RLlib}$). Finally, we discuss our plans for completing this work in progress to a competitive automated theorem prover.


title: A degenerating Robin-type traction problem in a periodic domain

abstract: We consider a linearly elastic material with a periodic set of voids. On the boundaries of the voids we set a Robin-type traction condition. Then we investigate the asymptotic behavior of the displacement solution as the Robin condition turns into a pure traction one. To wit, there will be a matrix function {$b[k](\cdot)$ that depends analytically on a real parameter $k$ and vanishes for $k=0$ and we multiply the Dirichlet-like part of the Robin condition by $b[k](\cdot)$}. We show that the displacement solution can be written in terms of power series of $k$ that converge for $k$ in a whole neighborhood of $0$. For our analysis we use the Functional Analytic Approach.


title: Progressive Domain Adaptation with Contrastive Learning for Object Detection in the Satellite Imagery

abstract: State-of-the-art object detection methods applied to satellite and drone imagery largely fail to identify small and dense objects. One reason is the high variability of content in the overhead imagery due to the terrestrial region captured and the high variability of acquisition conditions. Another reason is that the number and size of objects in aerial imagery are very different than in the consumer data. In this work, we propose a small object detection pipeline that improves the feature extraction process by spatial pyramid pooling, cross-stage partial networks, heatmap-based region proposal network, and object localization and identification through a novel image difficulty score that adapts the overall focal loss measure based on the image difficulty. Next, we propose novel contrastive learning with progressive domain adaptation to produce domain-invariant features across aerial datasets using local and global components. We show we can alleviate the degradation of object identification in previously unseen datasets. We create a first-ever domain adaptation benchmark using contrastive learning for the object detection task in highly imbalanced satellite datasets with significant domain gaps and dominant small objects. The proposed method results in a 7.4% increase in mAP performance measure over the best state-of-art.


title: Observation of electromagnetic filamentary structures produced by the Weibel instability in laser-driven plasmas

abstract: We present experimental observations of electron-scale structures in an expanding high-energy-density (HED) plasma generated with a modest intensity $\sim 2 \times 10^{14}$ W/cm$^2$, $\sim1$ ns laser. The observed structures have wavelengths ($\sim 150-220 \mu m$) and growth rates ($\sim 0.4-1.0$ ns$^{-1}$) consistent with an electron-driven Weibel instability where the anisotropy in the electron distribution is small, $A\sim 0.002$. This instability is found to be a better match to the observed phenomena than other typical field-generation mechanisms found in HED plasmas, including counter-streaming ion Weibel and magnetothermal instabilities. These observations experimentally demonstrate for the first time that the electron Weibel instability must be considered alongside other magnetic field generation and amplification mechanisms in expanding ablation plasmas, which are ubiquitous in HED research. They also provide physics insight into the generation of magnetic fields in large-scale astrophysical plasmas. Additionally, inspection of the magnetic power spectrum shows a possible scaling match to analytic gyrokinetic predictions, $|B_k|^2\propto k^{-16/3}$, at scales below the electron Larmor radius.


title: Simulation of the Solar Energetic Particle Event on 2020 May 29 Observed by Parker Solar Probe

abstract: This paper presents a stochastic three-dimensional (3D) focused transport simulation of solar energetic particles (SEPs) produced by a data-driven coronal mass ejection (CME) shock propagating through a data-driven model of coronal and heliospheric magnetic fields. The injection of SEPs at the CME shock is treated using diffusive shock acceleration of post-shock superthermal solar wind ions. A time backward stochastic simulation is employed to solve the transport equation to obtain the SEP time-intensity profile at any location, energy, and pitch angle. The model is applied to a SEP event on 2020 May 29, observed by STEREO-A close to 1 au and by Parker Solar Probe (PSP) when it was about 0.33 au away from the Sun. The SEP event was associated with a very slow CME with a plane-of-sky speed of 337 km/s at a height below 6 $\rm R_S$ as reported in the SOHO/LASCO CME catalog. We compute the time profiles of particle flux at PSP and STEREO-A locations, and estimate both the spectral index of the proton energy spectrum for energies between 2 and 16 MeV and the equivalent path length of the magnetic field lines experienced by the first arriving SEPs. We found that the simulation results are well correlated with observations. The SEP event could be explained by the acceleration of particles by a weak CME shock in the low solar corona that is not magnetically connected to the observers.


title: Capsule Networks as Generative Models

abstract: Capsule networks are a neural network architecture specialized for visual scene recognition. Features and pose information are extracted from a scene and then dynamically routed through a hierarchy of vector-valued nodes called 'capsules' to create an implicit scene graph, with the ultimate aim of learning vision directly as inverse graphics. Despite these intuitions, however, capsule networks are not formulated as explicit probabilistic generative models; moreover, the routing algorithms typically used are ad-hoc and primarily motivated by algorithmic intuition. In this paper, we derive an alternative capsule routing algorithm utilizing iterative inference under sparsity constraints. We then introduce an explicit probabilistic generative model for capsule networks based on the self-attention operation in transformer networks and show how it is related to a variant of predictive coding networks using Von-Mises-Fisher (VMF) circular Gaussian distributions.


title: The $P=W$ conjecture for $\mathrm{GL}_n$

abstract: We prove the $P=W$ conjecture for $\mathrm{GL}_n$ for all ranks $n$ and curves of arbitrary genus $g\geq 2$. The proof combines a strong perversity result on tautological classes with the curious Hard Lefschetz theorem of Mellit. For the perversity statement, we apply the vanishing cycles constructions in our earlier work to global Springer theory in the sense of Yun, and prove a parabolic support theorem.


title: The quiet Sun at mm Wavelengths as Seen by ALMA

abstract: Solar observations at sub-mm, mm and cm wavelengths offer a straightforward diagnostic of physical conditions in the solar atmosphere because they yield measurement of brightness temperature which, for optically thick features, equals intrinsic temperature - much unlike solar diagnostics in other spectral ranges. The Atacama Large Millimeter and sub-millimeter Array (ALMA) has therefore opened a new, hitherto underexplored, spectral window for studying the enigmatic solar chromosphere. In this review we discuss initial ALMA studies of the quiet chromosphere that used both single-dish and compact-array interferometric observing modes. We present results on the temperature structure of the chromosphere, comparison with classic empirical models of the chromosphere, and observations of the chromospheric network and spicules. Furthermore, we discuss what may be expected in the future, since the ALMA capabilities continuously expand and improve towards higher angular resolution, wavelength coverage, and polarization measurement for magnetometry.


title: When Privacy Meets Partial Information: A Refined Analysis of Differentially Private Bandits

abstract: We study the problem of multi-armed bandits with $\epsilon$-global Differential Privacy (DP). First, we prove the minimax and problem-dependent regret lower bounds for stochastic and linear bandits that quantify the hardness of bandits with $\epsilon$-global DP. These bounds suggest the existence of two hardness regimes depending on the privacy budget $\epsilon$. In the high-privacy regime (small $\epsilon$), the hardness depends on a coupled effect of privacy and partial information about the reward distributions. In the low-privacy regime (large $\epsilon$), bandits with $\epsilon$-global DP are not harder than the bandits without privacy. For stochastic bandits, we further propose a generic framework to design a near-optimal $\epsilon$ global DP extension of an index-based optimistic bandit algorithm. The framework consists of three ingredients: the Laplace mechanism, arm-dependent adaptive episodes, and usage of only the rewards collected in the last episode for computing private statistics. Specifically, we instantiate $\epsilon$-global DP extensions of UCB and KL-UCB algorithms, namely AdaP-UCB and AdaP-KLUCB. AdaP-KLUCB is the first algorithm that both satisfies $\epsilon$-global DP and yields a regret upper bound that matches the problem-dependent lower bound up to multiplicative constants.


title: Nonequilibrium Hanbury-Brown-Twiss experiment: Theory and application to binary stars

abstract: Intensity-interferometry based on Hanbury-Brown and Twiss's seminal experiment for determining the radius of the star Sirius formed the basis for developing the quantum theory of light. To date, the principle of this experiment is used in various forms across different fields of quantum optics, imaging and astronomy. Though, the technique is powerful, it has not been generalized for objects at different temperatures. Here, we address this problem using a generating functional formalism by employing the P-function representation of quantum-thermal light. Specifically, we investigate the photon coincidences of a system of two extended objects at different temperature using this theoretical framework. We show two unique aspects in the second-order quantum coherence function - interference oscillations and a long-baseline asymptotic value that depends on the observation frequency, temperatures and size of both objects. We apply our approach to the case of binary stars and discuss the advantages of measuring these two features in an experiment. In addition to the estimation of the radii of each star and the distance between them, we also show that the present approach is suitable for the estimation of temperatures as well. To this end, we apply it to the practical case of binary stars Luhman 16 and Spica $\alpha$ Vir. We find that for currently available telescopes, an experimental demonstration is feasible in the near term. Our work contributes to the fundamental understanding of intensity interferometry of quantum-thermal light and can be used as a tool for studying two-body thermal emitters - from binary stars to extended objects.


title: Super-H\"older vectors and the field of norms

abstract: Let E be a field of characteristic p. In a previous paper of ours, we defined and studied super-H\"older vectors in certain E-linear representations of Z_p. In the present paper, we define and study super-H\"older vectors in certain E-linear representations of a general p-adic Lie group. We then consider certain p-adic Lie extensions K_\infty / K of a p-adic field K, and compute the super-H\"older vectors in the tilt of K_\infty. We show that these super-H\"older vectors are the perfection of the field of norms of K_\infty / K. By specializing to the case of a Lubin-Tate extension, we are able to recover E((Y)) inside the Y-adic completion of its perfection, seen as a valued E-vector space endowed with the action of O_K^\times given by the endomorphisms of the corresponding Lubin-Tate group.


title: S-BORM: Reliability-based optimization of general systems using buffered optimization and reliability method

abstract: Reliability-based optimization (RBO) is crucial for identifying optimal risk-informed decisions for designing and operating engineering systems. However, its computation remains challenging as it requires a concurrent task of optimization and reliability analysis. Moreover, computation becomes even more complicated when considering performance of a general system, whose failure event is represented as a link-set of cut-sets. This is because even when component events have smooth and convex limit-state functions, the system limit-state function has neither property, except in trivial cases. To address the challenge, this study develops an efficient algorithm to solve RBO problems of general system events. We employ the buffered optimization and reliability method (BORM), which utilizes, instead of the conventional failure probability definition, the buffered failure probability. The proposed algorithm solves a sequence of difference-of-convex RBO models iteratively by employing a proximal bundle method. For demonstration, we design three numerical examples with increasing complexity that includes up to 108 cut-sets, which are solved by the proposed algorithm within a minute with high accuracy. We also demonstrate its robustness by performing extensive parametric studies.


title: Cross Modal Compression: Towards Human-comprehensible Semantic Compression

abstract: Traditional image/video compression aims to reduce the transmission/storage cost with signal fidelity as high as possible. However, with the increasing demand for machine analysis and semantic monitoring in recent years, semantic fidelity rather than signal fidelity is becoming another emerging concern in image/video compression. With the recent advances in cross modal translation and generation, in this paper, we propose the cross modal compression~(CMC), a semantic compression framework for visual data, to transform the high redundant visual data~(such as image, video, etc.) into a compact, human-comprehensible domain~(such as text, sketch, semantic map, attributions, etc.), while preserving the semantic. Specifically, we first formulate the CMC problem as a rate-distortion optimization problem. Secondly, we investigate the relationship with the traditional image/video compression and the recent feature compression frameworks, showing the difference between our CMC and these prior frameworks. Then we propose a novel paradigm for CMC to demonstrate its effectiveness. The qualitative and quantitative results show that our proposed CMC can achieve encouraging reconstructed results with an ultrahigh compression ratio, showing better compression performance than the widely used JPEG baseline.


title: Towards Understanding Third-party Library Dependency in C/C++ Ecosystem

abstract: Third-party libraries (TPLs) are frequently reused in software to reduce development cost and the time to market. However, external library dependencies may introduce vulnerabilities into host applications. The issue of library dependency has received considerable critical attention. Many package managers, such as Maven, Pip, and NPM, are proposed to manage TPLs. Moreover, a significant amount of effort has been put into studying dependencies in language ecosystems like Java, Python, and JavaScript except C/C++. Due to the lack of a unified package manager for C/C++, existing research has only few understanding of TPL dependencies in the C/C++ ecosystem, especially at large scale. Towards understanding TPL dependencies in the C/C++ecosystem, we collect existing TPL databases, package management tools, and dependency detection tools, summarize the dependency patterns of C/C++ projects, and construct a comprehensive and precise C/C++ dependency detector. Using our detector, we extract dependencies from a large-scale database containing 24K C/C++ repositories from GitHub. Based on the extracted dependencies, we provide the results and findings of an empirical study, which aims at understanding the characteristics of the TPL dependencies. We further discuss the implications to manage dependency for C/C++ and the future research directions for software engineering researchers and developers in fields of library development, software composition analysis, and C/C++package manager.


title: Cognitive Assistance for Inquiry-Based Modeling

abstract: Inquiry-based modeling is essential to scientific practice. However, modeling is difficult for novice scientists in part due to limited domain-specific knowledge and quantitative skills. VERA is an interactive tool that helps users construct conceptual models of ecological phenomena, run them as simulations, and examine their predictions. VERA provides cognitive scaffolding for modeling by supplying access to large-scale domain knowledge. The VERA system was tested by college-level students in two different settings: a general ecology lecture course (N=91) at a large southeastern R1 university and a controlled experiment in a research laboratory (N=15). Both studies indicated that engaging students in ecological modeling through VERA helped them better understand basic biological concepts. The latter study additionally revealed that providing access to domain knowledge helped students build more complex models.


title: Avgust: Automating Usage-Based Test Generation from Videos of App Executions

abstract: Writing and maintaining UI tests for mobile apps is a time-consuming and tedious task. While decades of research have produced automated approaches for UI test generation, these approaches typically focus on testing for crashes or maximizing code coverage. By contrast, recent research has shown that developers prefer usage-based tests, which center around specific uses of app features, to help support activities such as regression testing. Very few existing techniques support the generation of such tests, as doing so requires automating the difficult task of understanding the semantics of UI screens and user inputs. In this paper, we introduce Avgust, which automates key steps of generating usage-based tests. Avgust uses neural models for image understanding to process video recordings of app uses to synthesize an app-agnostic state-machine encoding of those uses. Then, Avgust uses this encoding to synthesize test cases for a new target app. We evaluate Avgust on 374 videos of common uses of 18 popular apps and show that 69% of the tests Avgust generates successfully execute the desired usage, and that Avgust's classifiers outperform the state of the art.


title: Generalizations of the Pfaffian to non-antisymmetric matrices

abstract: We study two generalizations of the Pfaffian to non-antisymmetric matrices and derive their properties and relation to each other. The first approach is based on the Wigner normal-form, applicable to conjugate-normal matrices, and retains most properties of the Pfaffian, including that it is the square-root of the determinant. The second approach is to take the Pfaffian of the antisymmetrized matrix, applicable to all matrices. We show that this formulation is equivalent to substituting a non-antisymmetric matrix into the polynomial definition of the Pfaffian. We find that the two definitions differ in a positive real factor, making the second definition violate the determinant identity.


title: Contextualizing Large-Scale Domain Knowledge for Conceptual Modeling and Simulation

abstract: We present an interactive modeling tool, VERA, that scaffolds the acquisition of domain knowledge involved in conceptual modeling and agent-based simulations. We describe the knowledge engineering process of contextualizing large-scale domain knowledge. Specifically, we use the ontology of biotic interactions in Global Biotic Interactions, and the trait data of species in Encyclopedia of Life to facilitate the model construction. Learners can use VERA to construct qualitative conceptual models of ecological phenomena, run them as quantitative simulations, and review their predictions.


title: Design of the ECCE Detector for the Electron Ion Collider

abstract: The EIC Comprehensive Chromodynamics Experiment (ECCE) detector has been designed to address the full scope of the proposed Electron Ion Collider (EIC) physics program as presented by the National Academy of Science and provide a deeper understanding of the quark-gluon structure of matter. To accomplish this, the ECCE detector offers nearly acceptance and energy coverage along with excellent tracking and particle identification. The ECCE detector was designed to be built within the budget envelope set out by the EIC project while simultaneously managing cost and schedule risks. This detector concept has been selected to be the basis for the EIC project detector.


title: Localized states in active fluids

abstract: Biological active matter is typically tightly coupled to chemical reaction networks affecting its assembly-disassembly dynamics and stress generation. We show that localized states can emerge spontaneously if assembly of active matter is regulated by chemical species that are advected with flows resulting from gradients in the active stress. The mechanochemical localized patterns form via a subcritical bifurcation and for parameter values for which patterns do not exist in absence of the advective coupling. Our work identifies a generic mechanism underlying localized cellular patterns.


title: Improving the Accuracy and Robustness of CNNs Using a Deep CCA Neural Data Regularizer

abstract: As convolutional neural networks (CNNs) become more accurate at object recognition, their representations become more similar to the primate visual system. This finding has inspired us and other researchers to ask if the implication also runs the other way: If CNN representations become more brain-like, does the network become more accurate? Previous attempts to address this question showed very modest gains in accuracy, owing in part to limitations of the regularization method. To overcome these limitations, we developed a new neural data regularizer for CNNs that uses Deep Canonical Correlation Analysis (DCCA) to optimize the resemblance of the CNN's image representations to that of the monkey visual cortex. Using this new neural data regularizer, we see much larger performance gains in both classification accuracy and within-super-class accuracy, as compared to the previous state-of-the-art neural data regularizers. These networks are also more robust to adversarial attacks than their unregularized counterparts. Together, these results confirm that neural data regularization can push CNN performance higher, and introduces a new method that obtains a larger performance boost.


title: Rydberg atom-based Electrometry Using a Self-Heterodyne Frequency Comb Readout and Preparation Scheme

abstract: Atom-based radio frequency electromagnetic field sensing using atomic Rydberg states is a promising technique that has recently attracted significant interest. Its unique advantages, such as extraordinary bandwidth, self-calibration and all-dielectric sensors, are a tangible improvement over antenna-based methods in applications such as test and measurement, and development of broad bandwidth receivers. Here, we demonstrate how an optical frequency comb can be used to acquire data in the Autler-Townes regime of Rydberg atom-based electrometry in a massively parallel fashion, eliminating the need for laser scanning. Two-photon electromagnetically induced transparency read-out and preparation of cesium is used for the demonstration. A flat, quasi-continuous optical comb is generated with the probe laser at 852 nm using an electro-optic modulator and arbitrary waveform generator. A single frequency coupling laser at 509 nm is tuned to the Rydberg launch state. An enhanced transmission signal is obtained using self-heterodyne spectroscopy. The comb signal is beat against a local oscillator derived from the single frequency probe laser on a fast photodiode. The transmission of each probe laser comb tooth is observed. We resolve electromagnetically induced transparency peaks with linewidths below 5 MHz, with and without laser locking. Radio frequency electromagnetic fields as low as 66 $\mu$Vcm$^{-1}$ are detected with sensitivities of 2.3 $\mu$Vcm$^{-1}$Hz$^{-1/2}$. The method offers a significant advantage for reading-out electromagnetically induced transparency and Autler-Townes splitting as neither laser needs to be scanned and slow frequency drifts can be tolerated in some applications. The method enables the detection of the amplitude of a pulsed radio frequency electromagnetic field when the incoming pulse Autler-Townes splits the electromagnetically induced transparency peak.


title: Superintegrability, symmetry and point particle T-duality

abstract: We show that the ideas related to integrability and symmetry play an important role not only in the string T-duality story but also in its point particle counterpart. Applying those ideas, we find that the T-duality seems to be a more widespread phenomenon in the context of the point particle dynamics than it is in the string one; moreover, it concerns physically very relevant point particle dynamical systems and not just somewhat exotic ones fabricated for the purpose. As a source of T-duality examples, we consider maximally superintegrable spherically symmetric electro-gravitational backgrounds in $n$ dimensions. We then describe in detail four such spherically symmetric dynamical systems which are all mutually interconnected by a web of point particle T-dualities. In particular, the dynamics of a charged particle scattered by a repulsive Coulomb potential in a flat space is T-dual to the dynamics of the Coulomb scattering in the space of constant negative curvature, but it is also T-dual to the (conformal) Calogero-Moser inverse square dynamics both in flat and hyperbolic spaces. Thus knowing just the Hamiltonian dynamics of the scattered particle cannot give us an information about the curvature of the space in which the particle moves.


title: Inequalities in calculus: methods of prooving results and problem solving

abstract: This preprint is a text for students and teachers on inequalities. Some standard topics are covered on application of calculus to inequality proving. Many examples are considered, stated, solved or partially solved. Some problems are standard, but some are rare, new and original. The next topics are considered with many examples: monotonicity of functions, Lagrange theorem and inequalities proving, estimating of finite sums, inequalities of Schl\"omilch-LeMonnier type, proof of inequalities by method of mathematical induction, inequalities for the number $e$, exponentials, logarithmic and similar functions, some means and their inequalities, Cauchy-Bunyakovskii, Minkovskii, Young, H\"older (Rogers-H\"older-Riesz !) inequalities and some of their improvements and generalisations. Some new results include inequalities on exponentials, logarithmic and similar functions, generalisations of Cauchy--Bunyakovskii and Young inequalities, some mean inequalities including mean inequalities on the complex domain and more.


title: New MRD codes from linear cutting blocking sets

abstract: Minimal rank-metric codes or, equivalently, linear cutting blocking sets are characterized in terms of the second generalized rank weight, via their connection with evasiveness properties of the associated $q$-system. Using this result, we provide the first construction of a family of $\mathbb{F}_{q^m}$-linear MRD codes of length $2m$ that are not obtained as a direct sum of two smaller MRD codes. In addition, such a family has better parameters, since its codes possess generalized rank weights strictly larger than those of the previously known MRD codes. This shows that not all the MRD codes have the same generalized rank weights, in contrast to what happens in the Hamming metric setting.


title: Is there truly classical information?

abstract: All entropy is entanglement entropy. This appears as the result of the existence of black holes. The origin of entropy and the way in which it defines the perceived time direction in macroscopic systems has been discussed and can be debated as long as one ignores black holes. In such a case, thermodynamic entropy may define the arrow of time and entanglement entropy defines some special globally defined entropy encoding information in a non-local sense. With black holes however, if we accept that in-falling objects must have their information encoded outside, for example through non-local fluctuations away from thermalisation of the Hawking radiation, and that the horizon of a black hole cuts all classical information from the outside, then all the entropy that can be added to the black hole, which is basically any form of entropy, must be translated into some form of entanglement entropy to be detected outside. A discussion about the nature of information channels shows that spacetime may not be a correlation-insensitive channel as usually employed in the engineering of quantum computing. Time may emerge as a property of the complexity of entanglement spreading.


title: A generalization of Chu-Vandermonde's Identity

abstract: We present and prove a general form of Vandermonde's identity and use it as an alternative solution to a classic probability problem.


title: An Improved Approximation Algorithm for Quantum Max-Cut

abstract: We give an approximation algorithm for Quantum Max-Cut which works by rounding an SDP relaxation to an entangled quantum state. The SDP is used to choose the parameters of a variational quantum circuit. The entangled state is then represented as the quantum circuit applied to a product state. It achieves an approximation ratio of 0.582 on triangle-free graphs. The previous best algorithms of Anshu, Gosset, Morenz, and Parekh, Thompson achieved approximation ratios of 0.531 and 0.533 respectively. In addition, we study the EPR Hamiltonian, which we argue is a natural intermediate problem which isolates some key quantum features of local Hamiltonian problems. For the EPR Hamiltonian, we give an approximation algorithm with approximation ratio $1 / \sqrt{2}$ on all graphs.


title: The arrow of evolution when the offspring variance is large

abstract: The concept of fitness is central to evolution, but it quantifies only the expected number of offspring an individual will produce. The actual number of offspring is also subject to noise, arising from environmental or demographic stochasticity. In nature, individuals who are more fecund tend to have greater variance in their offspring number -- sometimes far greater than the Poisson variance assumed in classical models of population genetics. Here, we develop a model for the evolution of two types reproducing in a population of non-constant size. The frequency-dependent fitness of each type is determined by pairwise interactions in a prisoner's dilemma game, but the offspring number is subject to an exogenously controlled variance that may depend upon the mean. Whereas defectors are preferred by natural selection in classical well-mixed populations, since they always have greater fitness than cooperators, we show that large offspring variance can reverse the direction of evolution and favor cooperation. Reproductive over-dispersion produces qualitatively new dynamics for other types of social interactions, as well, which cannot arise in populations with a fixed size or Poisson offspring variance.


title: Wavelength- and time-division multiplexing via pump current variation of a pulsed semiconductor laser -- a method of synchronization for quantum key distribution

abstract: The dependence of the semiconductor laser wavelength on the pump current is a well-known phenomenon, which is generally attributed to a change in the refractive index of the active layer due to carrier injection. This effect is usually considered to be a drawback as it causes frequency chirping of the pulses produced via direct current modulation. Here, we show that at high values of thermal resistance of a laser diode, the lasing wavelength is red-shifted due to the change of the refractive index caused by a thermal effect and this shift may significantly exceed (in absolute value) the blue shift related to a refractive index change induced by the carrier injection. We propose to benefit from the ability to tune wavelength by the pump current variation and use the same laser to generate qubits and synchronization optical pulses for quantum key distribution at different wavelengths. To demonstrate the proposed method of synchronization, we perform numerical simulations as well as proof-of-principle experiments.


title: Quasicriticality explains variability of human neural dynamics across life span

abstract: Ageing impacts the brain's structural and functional organization and over time leads to various disorders, such as Alzheimer's disease and cognitive impairment. The process also impacts sensory function, bringing about a general slowing in various perceptual and cognitive functions. Here, we analyze the Cambridge Centre for Ageing and Neuroscience (Cam-CAN) resting-state magnetoencephalography (MEG) dataset -- the largest ageing cohort available -- in light of the quasicriticality framework, a novel organizing principle for brain functionality which relates information processing and scaling properties of brain activity to brain connectivity and stimulus. Examination of the data using this framework reveals interesting correlations with age and gender of test subjects. Using simulated data as verification, our results suggest a link between changes to brain connectivity due to ageing, and increased vulnerability to distraction from irrelevant information. Our findings suggest a platform to develop biomarkers of neurological health.

categories: q-bio.NC cond-mat.soft nlin.AO physics.bio-ph


title: Elementary submodels, coding strategies, and an infinite real number game

abstract: Matthew Baker investigated, in previous work, an elegant, infinite-length game that may be used to study subsets of real numbers. We present two accessible examples of how an important technique from set theory, or a different technique from infinite game theory, may be used to answer Baker's question on whether this game provides a precise characterization for countable subsets of real numbers, and we connect this game to the well-studied Banach-Mazur game from topology.


title: Localization of nonbacktracking centrality on dense subgraphs of sparse networks

abstract: The nonbacktracking matrix, and the related nonbacktracking centrality (NBC) play a crucial role in models of percolation-type processes on networks, such as non-recurrent epidemics. Here we study the localization of NBC in infinite sparse networks that contain an arbitrary finite subgraph. Assuming the local tree-likeness of the enclosing network, and that branches emanating from the finite subgraph do not intersect at finite distances, we show that the largest eigenvalue of the nonbacktracking matrix of the composite network is equal to the highest of the two largest eigenvalues: that of the finite subgraph and of the enclosing network. In the localized state, when the largest eigenvalue of the subgraph is the highest of the two, we derive explicit expressions for the NBCs of nodes in the subgraph and other nodes in the network. In this state, nonbacktracking centrality is concentrated on the subgraph and its immediate neighbourhood in the enclosing network. We obtain simple, exact formulas in the case where the enclosing network is uncorrelated. We find that the mean NBC decays exponentially around the finite subgraph, at a rate which is independent of the structure of the enclosing network, contrary to what was found for the localization of the principal eigenvector of the adjacency matrix. Numerical simulations confirm that our results provide good approximations even in moderately sized, loopy, real-world networks.