title: Absence of hexagonal to square structural transition in LiFeAs vortex matter

abstract: We investigated magnetic vortices in two stoichiometric LiFeAs samples by means of scanning tunneling microscopy and spectroscopy. The vortices were revealed by measuring the local electronic density of states (LDOS) at zero bias conductance of samples in magnetic fields between 0.5 and 12 T. From single vortex spectroscopy we extract the Ginzburg-Landau coherence length of both samples as $4.4\pm0.5$ nm and $4.1\pm0.5$ nm, in accordance with previous findings. However, in contrast to previous reports, our study reveals that the reported hexagonal to square-like vortex lattice transition is absent up to 12 T both in field-cooling and zero-field-cooling processes. Remarkably, a highly ordered zero field cooled hexagonal vortex lattice is observed up to 8 T. We argue that several factors are likely to determine the structure of the vortex lattice in LiFeAs such as (i) details of the cooling procedure (ii) sample stoichiometry that alters the formation of nematic fluctuations, (iii) details of the order parameter and (iv) magnetoelastic coupling.


title: Quantum Oppenheimer-Snyder and Swiss Cheese models

abstract: By considering the quantum Oppenheimer-Snyder model in loop quantum cosmology, a new quantum black hole model whose metric tensor is a suitably deformed Schwarzschild one is derived. The quantum effects imply a lower bound on the mass of the black hole produced by the collapsing dust ball. For the case of larger masses where the event horizon does form, the maximal extension of the spacetime and its properties are investigated. By discussing the opposite scenario to the quantum Oppenheimer-Snyder, a quantum Swiss Cheese model is obtained with a bubble surrounded by the quantum universe. This model is analogous to black hole cosmology or fecund universes where the big bang is related to a white hole. Thus our models open a new window to cosmological phenomenology.


title: Granularity-aware Adaptation for Image Retrieval over Multiple Tasks

abstract: Strong image search models can be learned for a specific domain, ie. set of labels, provided that some labeled images of that domain are available. A practical visual search model, however, should be versatile enough to solve multiple retrieval tasks simultaneously, even if those cover very different specialized domains. Additionally, it should be able to benefit from even unlabeled images from these various retrieval tasks. This is the more practical scenario that we consider in this paper. We address it with the proposed Grappa, an approach that starts from a strong pretrained model, and adapts it to tackle multiple retrieval tasks concurrently, using only unlabeled images from the different task domains. We extend the pretrained model with multiple independently trained sets of adaptors that use pseudo-label sets of different sizes, effectively mimicking different pseudo-granularities. We reconcile all adaptor sets into a single unified model suited for all retrieval tasks by learning fusion layers that we guide by propagating pseudo-granularity attentions across neighbors in the feature space. Results on a benchmark composed of six heterogeneous retrieval tasks show that the unsupervised Grappa model improves the zero-shot performance of a state-of-the-art self-supervised learning model, and in some places reaches or improves over a task label-aware oracle that selects the most fitting pseudo-granularity per task.


title: Cocoon cooling emission in neutron star mergers

abstract: In the gravitational wave event GW170817, there was a $\sim 10$ hours gap before electromagnetic (EM) observations, without detection of the cocoon. The cocoon is heated by a \textit{short} gamma-ray burst (\textit{s}GRB) jet propagating through the ejecta of a Neutron Star (NS) merger, and a part of the cocoon escapes the ejecta with an opening angle of $20^{\circ}$--$30^{\circ}$. Here we model the cocoon and calculate its EM emission. Our 2D hydrodynamic simulations suggest that the density and energy distributions, after entering homologous expansion, are well-fitted with power-law functions, in each of the relativistic and non-relativistic parts of the escaped cocoon. Modeling these features, we calculate the cooling emission analytically. We find that the cocoon outshines the r-process kilonova/macronova at early times (10--10$^{3}$ s), peaking at UV bands. The relativistic velocity of the cocoon's photosphere is measurable with instruments such as Swift, ULTRASAT and LSST. We also imply that energetic cocoons, including failed jets, might be detected as X-ray flashes. Our model clarifies the physics and parameter dependence, covering a wide variety of central engines and ejecta of NS mergers and \textit{s}GRBs in the multi-messenger era.


title: Constant regret for sequence prediction with limited advice

abstract: We investigate the problem of cumulative regret minimization for individual sequence prediction with respect to the best expert in a finite family of size K under limited access to information. We assume that in each round, the learner can predict using a convex combination of at most p experts for prediction, then they can observe a posteriori the losses of at most m experts. We assume that the loss function is range-bounded and exp-concave. In the standard multi-armed bandits setting, when the learner is allowed to play only one expert per round and observe only its feedback, known optimal regret bounds are of the order O($\sqrt$ KT). We show that allowing the learner to play one additional expert per round and observe one additional feedback improves substantially the guarantees on regret. We provide a strategy combining only p = 2 experts per round for prediction and observing m $\ge$ 2 experts' losses. Its randomized regret (wrt. internal randomization of the learners' strategy) is of order O (K/m) log(K$\delta$ --1) with probability 1 -- $\delta$, i.e., is independent of the horizon T ("constant" or "fast rate" regret) if (p $\ge$ 2 and m $\ge$ 3). We prove that this rate is optimal up to a logarithmic factor in K. In the case p = m = 2, we provide an upper bound of order O(K 2 log(K$\delta$ --1)), with probability 1 -- $\delta$. Our strategies do not require any prior knowledge of the horizon T nor of the confidence parameter $\delta$. Finally, we show that if the learner is constrained to observe only one expert feedback per round, the worst-case regret is the "slow rate" $\Omega$($\sqrt$ KT), suggesting that synchronous observation of at least two experts per round is necessary to have a constant regret.


title: Hiding Images in Deep Probabilistic Models

abstract: Data hiding with deep neural networks (DNNs) has experienced impressive successes in recent years. A prevailing scheme is to train an autoencoder, consisting of an encoding network to embed (or transform) secret messages in (or into) a carrier, and a decoding network to extract the hidden messages. This scheme may suffer from several limitations regarding practicability, security, and embedding capacity. In this work, we describe a different computational framework to hide images in deep probabilistic models. Specifically, we use a DNN to model the probability density of cover images, and hide a secret image in one particular location of the learned distribution. As an instantiation, we adopt a SinGAN, a pyramid of generative adversarial networks (GANs), to learn the patch distribution of one cover image. We hide the secret image by fitting a deterministic mapping from a fixed set of noise maps (generated by an embedding key) to the secret image during patch distribution learning. The stego SinGAN, behaving as the original SinGAN, is publicly communicated; only the receiver with the embedding key is able to extract the secret image. We demonstrate the feasibility of our SinGAN approach in terms of extraction accuracy and model security. Moreover, we show the flexibility of the proposed method in terms of hiding multiple images for different receivers and obfuscating the secret image.


title: Online control of the gain drift with temperature of SiPM arrays used for the readout of LaB$_3$:Ce crystals

abstract: LaB$_3$:Ce crystals have been introduced for radiation imaging in medical physics, with photomultiplier or single SiPM readout. An R-D was pursued with 1/2" and 1" LaBr3:Ce crystals, from different producers, to realize compact large area detectors (up to some cm$^2$ area) with SiPM array readout, aiming at high light yields, good energy resolution, good detector linearity and fast time response for low-energy X-rays. A natural application was found inside the FAMU project at RIKEN-RAL muon facility, that aims at a precise measure of the proton Zemach radius to solve the so-called "proton radius puzzle", triggered by the recent measure of the proton charge radius at PSI. The goal is the detection of characteristic X-rays around 130 keV. Other applications may be foreseen in medical physics, such as PET, and gamma-ray astronomy. A limiting factor is the gain drift of SiPM arrays with temperature, that give a deterioration of the detector's FWHM energy resolution. To solve this problem, a custom NIM module, based on CAEN A7585 digital power supply, was developed. Test results of the correction of gain drift with temperature for SiPM arrays from Advansid, Sensl, Hamamatsu will be presented. At the $^{137}$Cs peak, an energy resolution better than 3% was obtained for a typical LaBr$_3$:Ce crystal, using Hamamatsu S13461 arrays. This compares well with best available results obtained with PMTs.


title: Cost Aware Asynchronous Multi-Agent Active Search

abstract: Multi-agent active search requires autonomous agents to choose sensing actions that efficiently locate targets. In a realistic setting, agents also must consider the costs that their decisions incur. Previously proposed active search algorithms simplify the problem by ignoring uncertainty in the agent's environment, using myopic decision making, and/or overlooking costs. In this paper, we introduce an online active search algorithm to detect targets in an unknown environment by making adaptive cost-aware decisions regarding the agent's actions. Our algorithm combines principles from Thompson Sampling (for search space exploration and decentralized multi-agent decision making), Monte Carlo Tree Search (for long horizon planning) and pareto-optimal confidence bounds (for multi-objective optimization in an unknown environment) to propose an online lookahead planner that removes all the simplifications. We analyze the algorithm's performance in simulation to show its efficacy in cost aware active search.


title: From Intelligent Agents to Trustworthy Human-Centred Multiagent Systems

abstract: The Agents, Interaction and Complexity research group at the University of Southampton has a long track record of research in multiagent systems (MAS). We have made substantial scientific contributions across learning in MAS, game-theoretic techniques for coordinating agent systems, and formal methods for representation and reasoning. We highlight key results achieved by the group and elaborate on recent work and open research challenges in developing trustworthy autonomous systems and deploying human-centred AI systems that aim to support societal good.


title: Products of subgroups, subnormality, and relative orders of elements

abstract: Let $G$ be a group. We give an explicit description of the set of elements $x \in G$ such that $x^{|G:H|} \in H$ for every subgroup of finite index $H \leqslant G$. This is related to the following problem: given two subgroups $H$ and $K$, with $H$ of finite index, when does $|HK:H|$ divide $|G:H|$?


title: Magnetic, structural and magnetocaloric properties of Y$_{0.9}$Gd$_{0.1}$Fe$_{2}$H$_{x}$ hydrides

abstract: At 300 K, Y$_{0.9}$Gd$_{0.1}$Fe$_{2}$H$_{x}$ hydrides crystallize sequentially with increasing H concentration in various structures related to a lowering of the cubic MgCu$_{2}$ type structure of the parent alloy: cubic C1, monoclinic M1, cubic C2, monoclinic M2, cubic C3, orthorhombic O. Above 300 K, they undergo a first-order transition at a T$_{O-D}$ temperature driven by order-disorder of hydrogen atoms into interstitial sites. Their magnetic, structural and magnetocaloric properties have been investigated through magnetic measurements, and high-resolution synchrotron diffraction experiments. The magnetization at 5 K decreases slightly from 4 to 3.8 ${\mu}_{B}$ for x = 3 to 3.9 H f.u., then with a larger slope for higher H content. A discontinuous decrease of the magnetic transition temperature is observed: M1 and C2 hydrides are ferrimagnetic with T$_{C}$ near 300 K, M2 hydride displays a sharp ferromagnetic-antiferromagnetic transition at T$_{FM-AFM}$ =144 K, whereas C3 and O hydrides present only a sharp increase of the magnetization below 15 K and a weak magnetization up to RT. Negative magnetic entropy variations (${\Delta}$S$_{M}$) are measured near T$_{C}$ for the M1 and C2 phases, near T$_{FM-AFM}$ for the M2 phase, whereas positive ${\Delta}$S$_{M}$ peaks due to inverse MCE effect are found near T$_{O-D}$. A structural and magnetic phase diagram is proposed.


title: High average gradient in a laser-gated multistage plasma wakefield accelerator

abstract: Plasma wakefield accelerators driven by particle beams are capable of providing accelerating gradient several orders of magnitude higher than currently used radio-frequency technology, which could reduce the length of particle accelerators, with drastic influence on the development of future colliders at TeV energies and the minimization of x-ray free-electron lasers. Since inter-plasma components and distances are among the biggest contributors to the total accelerator length, the design of staged plasma accelerators is one of the most important outstanding questions in order to render this technology instrumental. Here, we present a novel concept to optimize inter-plasma distances in a staged beam-driven plasma accelerator by drive-beam coupling in the temporal domain and gating the accelerator via a femtosecond ionization laser.


title: Buoyancy driven bubbly flows: role of meso-scale structures on the relative motion between phases in bubble columns operated in the heterogeneous regime

abstract: The hydrodynamics of bubble columns in the heterogeneous regime is investigated from experiments with bubbles at large particle Reynolds numbers and without coalescence. The void fraction field $\varepsilon$ at small scales, analyzed with Vorono\"i tessellations, corresponds to a Random Poisson Process (RPP) in homogeneous conditions but it significantly differs from a RPP in the heterogeneous regime. The distance to a RPP allows identifying meso-scale structures, namely clusters, void regions and intermediate regions. A series of arguments demonstrate that the bubble motion is driven by the dynamics of these structures. Notably, bubbles in clusters (respectively in intermediate regions) are moving up faster, up to 3.5 (respectively 2) times the terminal velocity, than bubbles in void regions those absolute velocity equals the mean liquid velocity. Besides, the mean unconditional relative velocity of bubbles is recovered from mean relative velocities conditional to meso-scale structures, weighted by the proportion of bubbles in each structure. Assuming buoyancy-inertia equilibrium for each structure, the relative velocity is related with the characteristic size and concentration of meso-scale structures. By taking the latter quantities values at large gas superficial velocities, a cartoon of the internal flow structure is proposed. Arguments are put forward to help understanding why the relative velocity scales as $(gD\varepsilon)^{1/2}$ (with $D$ the column's diameter and $g$ gravity's acceleration). The proposed cartoon seems consistent with a fast-track mechanism that, for the moderate Rouse numbers studied, leads to liquid velocity fluctuations proportional to the relative velocity. The potential impact of coalescence on the above analysis is also commented.


title: Soliton interactions and Yang-Baxter maps for the complex coupled short-pulse equation

abstract: The complex coupled short pulse equation (ccSPE) describes the propagation of ultra-short optical pulses in nonlinear birefringent fibers. The system admits a variety of vector soliton solutions: fundamental solitons, fundamental breathers, composite breathers (generic or non-generic), as well as so-called self-symmetric composite solitons. In this work, we use the dressing method and the Darboux matrices corresponding to the various types of solitons to investigate soliton interactions in the focusing ccSPE. The study combines refactorization problems on generators of certain rational loop groups, and long-time asymptotics of these generators, as well as the main refactorization theorem for the dressing factors which leads to the Yang-Baxter property for the refactorization map and the vector soliton interactions. Among the results obtained in this paper, we derive explicit formulas for the polarization shift of fundamental solitons which are the analog of the well-known formulas for the interaction of vector solitons in the Manakov system. Our study also reveals that upon interacting with a fundamental breather, a fundamental soliton becomes a fundamental breather and, conversely, that the interaction of two fundamental breathers generically yields two fundamental breathers with a polarization shifts, but may also result into a fundamental soliton and a fundamental breather. Explicit formulas for the coefficients that characterize the fundamental breathers, as well as for their polarization vectors are obtained. The interactions of other types of solitons are also derived and discussed in detail and illustrated with plots. New Yang-Baxter maps are obtained in the process.


title: Improved local truncation schemes for the higher-order tensor renormalization group method

abstract: The higher-order tensor renormalization group is a tensor-network method providing estimates for the partition function and thermodynamical observables of classical and quantum systems in thermal equilibrium. At every step of the iterative blocking procedure, the coarse-grid tensor is truncated to keep the tensor dimension under control. For a consistent tensor blocking procedure, it is crucial that the forward and backward tensor modes are projected on the same lower dimensional subspaces. In this paper we present two methods, the SuperQ and the iterative SuperQ method, to construct tensor truncations that reduce or even minimize the local approximation errors, while satisfying this constraint.


title: The tropical $n$-gonal construction

abstract: We give a purely tropical analogue of Donagi's $n$-gonal construction and investigate its combinatorial properties. The input of the construction is a harmonic double cover of an $n$-gonal tropical curve. For $n = 2$ and a dilated double cover, the output is a tower of the same type, and we show that the Prym varieties of the two double covers are dual tropical abelian varieties. For $n=3$ and a free double cover, the output is a tetragonal tropical curve with dilation profile nowhere $(2,2)$ or $(4)$, and we show that the construction can be reversed. Furthermore, the Prym variety of the double cover and the Jacobian of the tetragonal curve are isomorphic as principally polarized tropical abelian varieties. Our main tool is tropical homology theory, and our proofs closely follow the algebraic versions.


title: Chemical diffusion master equation: formulations of reaction--diffusion processes on the molecular level

abstract: The chemical diffusion master equation (CDME) describes the probabilistic dynamics of reaction--diffusion systems at the molecular level [del Razo et al., Lett. Math. Phys. 112:49, 2022]; it can be considered the master equation for reaction--diffusion processes. The CDME consists of an infinite ordered family of Fokker--Planck equations, where each level of the ordered family corresponds to a certain number of particles and each particle represents a molecule. The equations at each level describe the spatial diffusion of the corresponding set of particles, and they are coupled to each other via reaction operators --linear operators representing chemical reactions. These operators change the number of particles in the system, and thus transport probability between different levels in the family. In this work, we present three approaches to formulate the CDME and show the relations between them. We further deduce the non-trivial combinatorial factors contained in the reaction operators, and we elucidate the relation to the original formulation of the CDME, which is based on creation and annihilation operators acting on many-particle probability density functions. Finally we discuss applications to multiscale simulations of biochemical systems among other future prospects.

categories: cond-mat.stat-mech math-ph math.MP math.PR physics.chem-ph


title: Cohomology in singular blocks of parabolic category $\mathcal{O}$

abstract: We determine the dimensions of $\mathrm{Ext}$-groups between simple modules and dual generalized Verma modules in singular blocks of parabolic versions of category $\mathcal{O}$ for complex semisimple Lie algebras and affine Kac-Moody algebras.


title: Weak-shot Semantic Segmentation via Dual Similarity Transfer

abstract: Semantic segmentation is an important and prevalent task, but severely suffers from the high cost of pixel-level annotations when extending to more classes in wider applications. To this end, we focus on the problem named weak-shot semantic segmentation, where the novel classes are learnt from cheaper image-level labels with the support of base classes having off-the-shelf pixel-level labels. To tackle this problem, we propose SimFormer, which performs dual similarity transfer upon MaskFormer. Specifically, MaskFormer disentangles the semantic segmentation task into two sub-tasks: proposal classification and proposal segmentation for each proposal. Proposal segmentation allows proposal-pixel similarity transfer from base classes to novel classes, which enables the mask learning of novel classes. We also learn pixel-pixel similarity from base classes and distill such class-agnostic semantic similarity to the semantic masks of novel classes, which regularizes the segmentation model with pixel-level semantic relationship across images. In addition, we propose a complementary loss to facilitate the learning of novel classes. Comprehensive experiments on the challenging COCO-Stuff-10K and ADE20K datasets demonstrate the effectiveness of our method. Codes are available at https://github.com/bcmi/SimFormer-Weak-Shot-Semantic-Segmentation.


title: Extending Conformal Prediction to Hidden Markov Models with Exact Validity via de Finetti's Theorem for Markov Chains

abstract: Conformal prediction is a widely used method to quantify the uncertainty of a classifier under the assumption of exchangeability (e.g., IID data). We generalize conformal prediction to the Hidden Markov Model (HMM) framework where the assumption of exchangeability is not valid. The key idea of the proposed method is to partition the non-exchangeable Markovian data from the HMM into exchangeable blocks by exploiting the de Finetti's Theorem for Markov Chains discovered by Diaconis and Freedman (1980). The permutations of the exchangeable blocks are viewed as randomizations of the observed Markovian data from the HMM. The proposed method provably retains all desirable theoretical guarantees offered by the classical conformal prediction framework in both exchangeable and Markovian settings. In particular, while the lack of exchangeability introduced by Markovian samples constitutes a violation of a crucial assumption for classical conformal prediction, the proposed method views it as an advantage that can be exploited to improve the performance further. Detailed numerical and empirical results that complement the theoretical conclusions are provided to illustrate the practical feasibility of the proposed method.


title: Numerical Modelling of the Brain Poromechanics by High-Order Discontinuous Galerkin Methods

abstract: We introduce and analyze a discontinuous Galerkin method for the numerical modelling of the equations of Multiple-Network Poroelastic Theory (MPET) in the dynamic formulation. The MPET model can comprehensively describe functional changes in the brain considering multiple scales of fluids. Concerning the spatial discretization, we employ a high-order discontinuous Galerkin method on polygonal and polyhedral grids and we derive stability and a priori error estimates. The temporal discretization is based on a coupling between a Newmark $\beta$-method for the momentum equation and a $\theta$-method for the pressure equations. After the presentation of some verification numerical tests, we perform a convergence analysis using an agglomerated mesh of a geometry of a brain slice. Finally we present a simulation in a three dimensional patient-specific brain reconstructed from magnetic resonance images. The model presented in this paper can be regarded as a preliminary attempt to model the perfusion in the brain.


title: Novel Radiomic Measurements of Tumor- Associated Vasculature Morphology on Clinical Imaging as a Biomarker of Treatment Response in Multiple Cancers

abstract: Purpose: Tumor-associated vasculature differs from healthy blood vessels by its chaotic architecture and twistedness, which promotes treatment resistance. Measurable differences in these attributes may help stratify patients by likely benefit of systemic therapy (e.g. chemotherapy). In this work, we present a new category of radiomic biomarkers called quantitative tumor-associated vasculature (QuanTAV) features, and demonstrate their ability to predict response and survival across multiple cancers, imaging modalities, and treatment regimens. Experimental Design: We segmented tumor vessels and computed mathematical measurements of twistedness and organization on routine pre-treatment radiology (CT or contrast-enhanced MRI) from 558 patients, who received one of four first-line chemotherapy-based therapeutic intervention strategies for breast (n=371) or non-small cell lung cancer (NSCLC, n=187). Results: Across 4 chemotherapy-based treatment strategies, classifiers of QuanTAV measurements significantly (p<.05) predicted response in held out testing cohorts alone (AUC=0.63-0.71) and increased AUC by 0.06-0.12 when added to models of significant clinical variables alone. QuanTAV risk scores were prognostic of recurrence free survival in treatment cohorts chemotherapy for breast cancer (p=0.002, HR=1.25, 95% CI 1.08-1.44, C-index=.66) and chemoradiation for NSCLC (p=0.039, HR=1.28, 95% CI 1.01-1.62, C-index=0.66). Categorical QuanTAV risk groups were independently prognostic among all treatment groups, including NSCLC patients receiving chemotherapy (p=0.034, HR=2.29, 95% CI 1.07-4.94, C-index=0.62). Conclusions: Across these domains, we observed an association of vascular morphology on radiology with treatment outcome. Our findings suggest the potential of tumor-associated vasculature shape and structure as a prognostic and predictive biomarker for multiple cancers and treatments.


title: Nonlinear effective dynamics of Brownian particle in magnetized plasma

abstract: An effective description is presented for a Brownian particle in a magnetized plasma. In order to systematically capture various corrections to linear Langevin equation, we construct effective action for the Brownian particle, to quartic order in its position. The effective action is first derived within non-equilibrium effective field theory formalism, and then confirmed via a microscopic holographic model consisting of an open string probing magnetic AdS$_5$ black brane. For practical usage, the non-Gaussian effective action is converted into Fokker-Planck type equation, which is an Euclidean analog of Schr$\ddot{\rm o}$dinger equation and describes time evolution of probability distribution for particle's position and velocity.


title: CASA on the fringe -- Development of VLBI processing capabilities for CASA

abstract: New functionality to process Very Long Baseline Interferometry (VLBI) data has been implemented in the CASA package. This includes two new tasks to handle fringe fitting and VLBI-specific amplitude calibration steps. Existing tasks have been adjusted to handle VLBI visibility data and calibration meta-data properly. With these updates, it is now possible to process VLBI continuum and spectral line observations in CASA. This article describes the development and implementation, and presents an outline for the workflow when calibrating European VLBI Network or Very Long Baseline Array data in CASA. Though the CASA VLBI functionality has already been vetted extensively as part of the Event Horizon Telescope data processing, in this paper we compare results for the same dataset processed in CASA and AIPS. We find identical results for the two packages and conclude that CASA in some cases performs better, though it cannot match AIPS for single-core processing time. The new functionality in CASA allows for easy development of pipelines or Jupyter notebooks, and thus contributes to raising VLBI data processing to present day standards for accessibility, reproducibility, and reusability.

categories: astro-ph.IM astro-ph.GA astro-ph.HE astro-ph.SR


title: CASA, the Common Astronomy Software Applications for Radio Astronomy

abstract: CASA, the Common Astronomy Software Applications, is the primary data processing software for the Atacama Large Millimeter/submillimeter Array (ALMA) and the Karl G. Jansky Very Large Array (VLA), and is frequently used also for other radio telescopes. The CASA software can handle data from single-dish, aperture-synthesis, and Very Long Baseline Interferometery (VLBI) telescopes. One of its core functionalities is to support the calibration and imaging pipelines for ALMA, VLA, VLA Sky Survey (VLASS), and the Nobeyama 45m telescope. This paper presents a high-level overview of the basic structure of the CASA software, as well as procedures for calibrating and imaging astronomical radio data in CASA. CASA is being developed by an international consortium of scientists and software engineers based at the National Radio Astronomical Observatory (NRAO), the European Southern Observatory (ESO), the National Astronomical Observatory of Japan (NAOJ), and the Joint Institute for VLBI European Research Infrastructure Consortium (JIV-ERIC), under the guidance of NRAO.


title: Foxby equivalence relative to $C$-$fp_n$-injective and $C$-$fp_{n}$-flat modules

abstract: Let $R$ and $S$ be rings, $C= {}_SC_R$ a (faithfully) semidualizing bimodule, and $n$ a positive integer or $n=\infty$. In this paper, we introduce the concepts of $C$-$fp_n$-injective $R$-modules and $C$-$fp_n$-flat $S$-modules as a common generalization of some known modules such as $C$-$FP_{n}$-injective (resp. $C$-weak injective) $R$-modules and $C$-$FP_{n}$-flat (resp. $C$-weak flat) $S$-modules. Then we investigate $C$-$fp_{n}$-injective and $C$-$fp_{n}$-flat dimensions of modules, where the classes of these modules, namely $Cfp_nI(R)_{\leq k}$ and $Cfp_nF(S)_{\leq k}$, respectively. We study Foxby equivalence relative to these classes, and also the existence of $Cfp_nI(R)_{\leq k}$ and $Cfp_nF(S)_{\leq k}$ preenvelopes and covers. Finally, we study the exchange properties of these classes, as well as preenvelopes (resp. precovers) and Foxby equivalence, under almost excellent extensions of rings.


title: Symmetry of solutions to higher and fractional order semilinear equations on hyperbolic spaces

abstract: We show that nontrivial solutions to higher and fractional order equations with certain nonlinearity are radially symmetric and nonincreasing on geodesic balls in the hyperbolic space $\mathbb{H}^n$ as well as on the entire space $\mathbb{H}^n$. Applying the Helgason-Fourier analysis techniques on $\mathbb{H}^n$, we develop a moving plane approach for integral equations on $\mathbb{H}^n$. We also establish the symmetry to solutions of certain equations with singular terms on Euclidean spaces. Moreover, we obtain symmetry to solutions of some semilinear equations involving fractional order derivatives.


title: A Reduced Basis Ensemble Kalman Method

abstract: In the process of reproducing the state dynamics of parameter dependent distributed systems, data from physical measurements can be incorporated into the mathematical model to reduce the parameter uncertainty and, consequently, improve the state prediction. Such a Data Assimilation process must deal with the data and model misfit arising from experimental noise as well as model inaccuracies and uncertainties. In this work, we focus on the ensemble Kalman method (EnKM), a particle-based iterative regularization method designed for \textit{a posteriori} analysis of time series. The method is gradient free and, like the ensemble Kalman filter (EnKF), relies on a sample of parameters or particle ensemble to identify the state that better reproduces the physical observations, while preserving the physics of the system as described by the best knowledge model. We consider systems described by parameterized parabolic partial differential equations and employ model order reduction (MOR) techniques to generate surrogate models of different accuracy with uncertain parameters. Their use in combination with the EnKM involves the introduction of the model bias which constitutes a new source of systematic error. To mitigate its impact, an algorithm adjustment is proposed accounting for a prior estimation of the bias in the data. The resulting RB-EnKM is tested in different conditions, including different ensemble sizes and increasing levels of experimental noise. The results are compared to those obtained with the standard EnKF and with the unadjusted algorithm.


title: Mock theta functions and indefinite modular forms II

abstract: In this paper, we compute the Zwegers's modification of the mock theta functions $\Phi^{[m,0] \, \ast}$ and study the modular transformation properties of the indefinite modular forms which appear in the explicit formula for the modified functions $\tilde{\Phi}^{[m,0] \, \ast}$.


title: On monotonicity conditions for Mean Field Games

abstract: In this paper we propose two new monotonicity conditions that could serve as sufficient conditions for uniqueness of Nash equilibria in mean field games. In this study we aim for $unconditional\ uniqueness$ that is independent of the length of the time horizon, the regularity of the starting distribution of the agents, or the regularization effect of a non-degenerate idiosyncratic noise. Through a rich class of simple examples we show that these new conditions are not only in dichotomy with each other, but also with the two widely studied monotonicity conditions in the literature, the Lasry-Lions monotonicity and displacement monotonicity conditions.


title: Covering Properties of Sum-Rank Metric Codes

abstract: The sum-rank metric can be seen as a generalization of both, the rank and the Hamming metric. It is well known that sum-rank metric codes outperform rank metric codes in terms of the required field size to construct maximum distance separable codes (i.e., the codes achieving the Singleton bound in the corresponding metric). In this work, we investigate the covering property of sum-rank metric codes to enrich the theory of sum-rank metric codes. We intend to answer the question: what is the minimum cardinality of a code given a sum-rank covering radius? We show the relations of this quantity between different metrics and provide several lower and upper bounds for sum-rank metric codes.


title: Detection of long-range orbital-Hall torques

abstract: We report and quantify a large orbital-Hall torque generated by Nb and Ru, which we identify from a strong dependence of torques on the ferromagnets. This is manifested as a sign reversal and strong enhancement in the damping-like torques measured in Nb (or Ru)/Ni bilayers as compared to Nb (or Ru)/FeCoB bilayers. The long-range nature of orbital transport in the ferromagnet is revealed by the thickness dependences of Ni in Nb (or Ru)/Ni bilayers which are markedly different from the regular spin absorption in the ferromagnet that takes place within a few angstroms and thus it uniquely distinguishes the orbital Hall torque from the spin Hall torque.


title: Unsupervised Sentence Textual Similarity with Compositional Phrase Semantics

abstract: Measuring Sentence Textual Similarity (STS) is a classic task that can be applied to many downstream NLP applications such as text generation and retrieval. In this paper, we focus on unsupervised STS that works on various domains but only requires minimal data and computational resources. Theoretically, we propose a light-weighted Expectation-Correction (EC) formulation for STS computation. EC formulation unifies unsupervised STS approaches including the cosine similarity of Additively Composed (AC) sentence embeddings, Optimal Transport (OT), and Tree Kernels (TK). Moreover, we propose the Recursive Optimal Transport Similarity (ROTS) algorithm to capture the compositional phrase semantics by composing multiple recursive EC formulations. ROTS finishes in linear time and is faster than its predecessors. ROTS is empirically more effective and scalable than previous approaches. Extensive experiments on 29 STS tasks under various settings show the clear advantage of ROTS over existing approaches. Detailed ablation studies demonstrate the effectiveness of our approaches.


title: Enhanced Soft Limits in de Sitter Space

abstract: In flat space, the scattering amplitudes of certain scalar effective field theories exhibit enhanced soft limits due to the presence of hidden symmetries. In this paper, we show that this phenomenon extends to wavefunction coefficients in de Sitter space. Using a representation in terms of boundary conformal generators acting on contact diagrams, we find that imposing enhanced soft limits fixes the masses and four-point couplings (including curvature corrections) in agreement with Lagrangians recently derived from hidden symmetries. Higher-point couplings can then be fixed using a bootstrap procedure which we illustrate at six points. We also discuss implications for the double copy in de Sitter space.


title: Efficient probabilistic reconciliation of forecasts for real-valued and count time series

abstract: Hierarchical time series are common in several applied fields. The forecasts for these time series are required to be coherent, that is, to satisfy the constraints given by the hierarchy. The most popular technique to enforce coherence is called reconciliation, which adjusts the base forecasts computed for each time series. However, recent works on probabilistic reconciliation present several limitations. In this paper, we propose a new approach based on conditioning to reconcile any type of forecast distribution. We then introduce a new algorithm, called Bottom-Up Importance Sampling, to efficiently sample from the reconciled distribution. It can be used for any base forecast distribution: discrete, continuous, or in the form of samples, providing a major speedup compared to the current methods. Experiments on several temporal hierarchies show a significant improvement over base probabilistic forecasts.


title: TC-SKNet with GridMask for Low-complexity Classification of Acoustic scene

abstract: Convolution neural networks (CNNs) have good performance in low-complexity classification tasks such as acoustic scene classifications (ASCs). However, there are few studies on the relationship between the length of target speech and the size of the convolution kernels. In this paper, we combine Selective Kernel Network with Temporal-Convolution (TC-SKNet) to adjust the receptive field of convolution kernels to solve the problem of variable length of target voice while keeping low-complexity. GridMask is a data augmentation strategy by masking part of the raw data or feature area. It can enhance the generalization of the model as the role of dropout. In our experiments, the performance gain brought by GridMask is stronger than spectrum augmentation in ASCs. Finally, we adopt AutoML to search best structure of TC-SKNet and hyperparameters of GridMask for improving the classification performance. As a result, a peak accuracy of 59.87% TC-SKNet is equivalent to that of SOTA, but the parameters only use 20.9 K.


title: On Convexity in Split graphs: Complexity of Steiner tree and Domination

abstract: Given a graph $G$ with a terminal set $R \subseteq V(G)$, the Steiner tree problem (STREE) asks for a set $S\subseteq V(G) \setminus R$ such that the graph induced on $S\cup R$ is connected. A split graph is a graph which can be partitioned into a clique and an independent set. It is known that STREE is NP-complete on split graphs \cite{white1985steiner}. To strengthen this result, we introduce convex ordering on one of the partitions (clique or independent set), and prove that STREE is polynomial-time solvable for tree-convex split graphs with convexity on clique ($K$), whereas STREE is NP-complete on tree-convex split graphs with convexity on independent set ($I$). We further strengthen our NP-complete result by establishing a dichotomy which says that for unary-tree-convex split graphs (path-convex split graphs), STREE is polynomial-time solvable, and NP-complete for binary-tree-convex split graphs (comb-convex split graphs). We also show that STREE is polynomial-time solvable for triad-convex split graphs with convexity on $I$, and circular-convex split graphs. Further, we show that STREE can be used as a framework for the dominating set problem (DS) on split graphs, and hence the classical complexity (P vs NPC) of STREE and DS is the same for all these subclasses of split graphs. Furthermore, it is important to highlight that in \cite{CHLEBIK20081264}, it is incorrectly claimed that the problem of finding a minimum dominating set on split graphs cannot be approximated within $(1-\epsilon)\ln |V(G)|$ in polynomial-time for any $\epsilon >0$ unless NP $\subseteq$ DTIME $n^{O(\log \log n)}$. When the input is restricted to split graphs, we show that the minimum dominating set problem has $2-\frac{1}{|I|}$-approximation algorithm that runs in polynomial time.


title: Coverage and Rate of Joint Communication and Parameter Estimation in Wireless Networks

abstract: From an information theoretic perspective, joint communication and sensing (JCAS) represents a natural generalization of communication network functionality. However, it requires the re-evaluation of network performance from a multi-objective perspective. We develop a novel mathematical framework for characterizing the sensing and communication coverage probability and ergodic rate in JCAS networks. We employ a formulation of sensing parameter estimation based on mutual information to extend the notions of coverage probability and ergodic rate to the radar setting. We define sensing coverage probability as the probability that the rate of information extracted about the parameters of interest associated with a typical radar target exceeds some threshold, and sensing ergodic rate as the spatial average of the aforementioned rate of information. Using this framework, we analyze the downlink sensing and communication coverage and rate of a mmWave JCAS network employing a shared waveform, directional beamforming, and monostatic sensing. Leveraging tools from stochastic geometry, we derive upper and lower bounds for these quantities. We also develop several general technical results including: i) a generic method for obtaining closed form upper and lower bounds on the Laplace Transform of a shot noise process, ii) a new analog of H{\"o}lder's Inequality to the setting of harmonic means, and iii) a relation between the Laplace and Mellin Transforms of a non-negative random variable. We use the derived bounds to numerically investigate the performance of JCAS networks under varying base station and blockage density. Among several insights, our numerical analysis indicates that network densification improves sensing SINR performance -- in contrast to communications.


title: Luminosity distribution of fast radio bursts from CHIME/FRB Catalog 1 by means of the updated Macquart relation

abstract: Fast radio bursts (FRBs) are extremely strong radio flares lasting several micro- to milliseconds and come from unidentified objects at cosmological distances, most of which are only seen once. Based on recently published data in the CHIME/FRB Catalog 1 in the frequency bands 400-800 MHz, we analyze 125 apparently singular FRBs with low dispersion measure (DM) and find that the distribution of their luminosity follows a lognormal form according to statistical tests. In our luminosity measurement, the FRB distance is estimated by using the Macquart relation which was obtained for 8 localized FRBs, and we find it still applicable for 18 sources after adding the latest 10 new localized FRBs. In addition, we test the validity of the luminosity distribution up to the Macquart relation and find that the lognormal form feature decreases as the uncertainty increases. Moreover, we compare the luminosity of these apparent non-repeaters with that of the previously observed 10 repeating FRBs also at low DM, noting that they belong to different lognormal distributions with the mean luminosity of non-repeaters being two times greater than that of repeaters. Therefore, from the two different lognormal distributions, different mechanisms for FRBs can be implied.


title: Progressive Text-to-Image Generation

abstract: Recently, Vector Quantized AutoRegressive (VQ-AR) models have shown remarkable results in text-to-image synthesis by equally predicting discrete image tokens from the top left to bottom right in the latent space. Although the simple generative process surprisingly works well, is this the best way to generate the image? For instance, human creation is more inclined to the outline-to-fine of an image, while VQ-AR models themselves do not consider any relative importance of image patches. In this paper, we present a progressive model for high-fidelity text-to-image generation. The proposed method takes effect by creating new image tokens from coarse to fine based on the existing context in a parallel manner, and this procedure is recursively applied with the proposed error revision mechanism until an image sequence is completed. The resulting coarse-to-fine hierarchy makes the image generation process intuitive and interpretable. Extensive experiments in MS COCO benchmark demonstrate that the progressive model produces significantly better results compared with the previous VQ-AR method in FID score across a wide variety of categories and aspects. Moreover, the design of parallel generation in each step allows more than $\times 13$ inference acceleration with slight performance loss.


title: Double-Ended Palindromic Trees: A Linear-Time Data Structure and Its Applications

abstract: The palindromic tree (a.k.a. eertree) is a linear-size data structure that provides access to all palindromic substrings of a string. In this paper, we propose a generalized version of eertree, called double-ended eertree, which supports linear-time online double-ended queue operations on the stored string. At the heart of our construction, is a class of substrings, called surfaces, of independent interest. Namely, surfaces are neither prefixes nor suffixes of any other palindromic substrings and characterize the link structure of all palindromic substrings in the eertree. As an application, we develop a framework for range queries involving palindromes on strings, including counting distinct palindromic substrings, and finding the longest palindromic substring, shortest unique palindromic substring and shortest absent palindrome of any substring. In particular, offline queries only use linear space. Apart from range queries, we enumerate palindromic rich strings with a given word in linear time on the length of the given word.


title: Scalar overproduction in standard cosmology and predictivity of non-thermal dark matter

abstract: Stable scalars can be copiously produced in the Early Universe even if they have no coupling to other fields. We study production of such scalars during and after (high scale) inflation, and obtain strong constraints on their mass scale. Quantum gravity-induced Planck-suppressed operators make an important impact on the abundance of dark relics. Unless the corresponding Wilson coefficients are very small, they normally lead to overproduction of dark states. In the absence of a quantum gravity theory, such effects are uncontrollable, bringing into question predictivity of many non-thermal dark matter models. These considerations may have non-trivial implications for string theory constructions, where scalar fields are abundant.


title: Infinitely many zeros of additively twisted $L$-functions on the critical line

abstract: For $f$ a cuspidal modular form for the group $\Gamma_0(N)$ of integral or half-integral weight, $N$ a multiple of $4$ in case the weight is half-integral, we study the zeros of the $L$-function attached to $f$ twisted by an additive character $e^{2\pi i n \frac{p}{q}}$ with $\frac{p}{q}\in \mathbb{Q}$. We prove that for certain $f$ and $\frac{p}{q}\in \mathbb{Q}$, the additively twisted $L$-function has infinitely many zeros on the critical line. We develop a variant of the Hardy-Littlewood method which uses distributions to prove the result.


title: Smooth rigidity for 3-dimensional volume preserving Anosov flows and weighted marked length spectrum rigidity

abstract: Let $X_1^t$ and $X_2^t$ be volume preserving Anosov flows on a 3-dimensional manifold $M$. We prove that if $X_1^t$ and $X_2^t$ are $C^0$ conjugate then the conjugacy is, in fact, smooth, unless $M$ is a mapping torus of an Anosov automorphism of $\mathbb T^2$ and both flows are constant roof suspension flows. We deduce several applications. Among them is a new result on rigidity of Anosov diffeorphisms on $\mathbb T^2$ and a new "weighted" marked length spectrum rigidity result for surfaces of negative curvature.


title: Operators satisfying some forms of Bishop-Phelps-Bollobas type properties for norm and numerical radius

abstract: In this paper we study a weaker form of the property $\text{\textbf{L}}_{o,o}$ called the weak $\text{\textbf{L}}_{o,o}$ and its uniform version called the weak $\text{BPB}_{\text{op}}$ which is again a weaker form the property $\text{BPB}_{\text{op}}$ for a pair of Banach spaces. We prove that a Banach space $X$ is reflexive and weakly uniformly convex if and only if the pair $(X,\mathbb{R})$ has the property weak $\text{BPB}_{\text{op}}$. We further investigate the class of all bounded linear operators from a Banach space to another Banach space satisfying the property weak $\text{\textbf{L}}_{o,o}$. Finally we introduce and study similar properties for numerical radius of a bounded linear map.


title: Multiclass Learnability Beyond the PAC Framework: Universal Rates and Partial Concept Classes

abstract: In this paper we study the problem of multiclass classification with a bounded number of different labels $k$, in the realizable setting. We extend the traditional PAC model to a) distribution-dependent learning rates, and b) learning rates under data-dependent assumptions. First, we consider the universal learning setting (Bousquet, Hanneke, Moran, van Handel and Yehudayoff, STOC '21), for which we provide a complete characterization of the achievable learning rates that holds for every fixed distribution. In particular, we show the following trichotomy: for any concept class, the optimal learning rate is either exponential, linear or arbitrarily slow. Additionally, we provide complexity measures of the underlying hypothesis class that characterize when these rates occur. Second, we consider the problem of multiclass classification with structured data (such as data lying on a low dimensional manifold or satisfying margin conditions), a setting which is captured by partial concept classes (Alon, Hanneke, Holzman and Moran, FOCS '21). Partial concepts are functions that can be undefined in certain parts of the input space. We extend the traditional PAC learnability of total concept classes to partial concept classes in the multiclass setting and investigate differences between partial and total concepts.


title: Applicability of Hubbert model to global mining industry: Interpretations and insights

abstract: The Hubert's model has been introduced in 1956 as a phenomenological description of the time evolution of US oil fields production. It has since then acquired a vast notoriety as a conceptual approach to resource depletion. It is often invoked nowadays in the context of the energy transition to question the limitations induced by the finitude of mineral stocks. Yet, its validity is often controversial despite its popularity. This paper offers a pedagogical introduction to the model, assesses its ability to describe the current evolution of 20 mining elements, and discusses the nature and robustness of conclusions drawn from Hubbert's model considered either as a for cast or as a foresight tool. We propose a novel way to represent graphically these conclusions as a "Hubbert's map" which offers direct visualization of their main features.


title: SHINE-Mapping: Large-Scale 3D Mapping Using Sparse Hierarchical Implicit Neural Representations

abstract: Accurate mapping of large-scale environments is an essential building block of most outdoor autonomous systems. Challenges of traditional mapping methods include the balance between memory consumption and mapping accuracy. This paper addresses the problem of achieving large-scale 3D reconstruction using implicit representations built from 3D LiDAR measurements. We learn and store implicit features through an octree-based, hierarchical structure, which is sparse and extensible. The implicit features can be turned into signed distance values through a shallow neural network. We leverage binary cross entropy loss to optimize the local features with the 3D measurements as supervision. Based on our implicit representation, we design an incremental mapping system with regularization to tackle the issue of forgetting in continual learning. Our experiments show that our 3D reconstructions are more accurate, complete, and memory-efficient than current state-of-the-art 3D mapping methods.


title: Spatial-Temporal-Aware Safe Multi-Agent Reinforcement Learning of Connected Autonomous Vehicles in Challenging Scenarios

abstract: Communication technologies enable coordination among connected and autonomous vehicles (CAVs). However, it remains unclear how to utilize shared information to improve the safety and efficiency of the CAV system in dynamic and complicated driving scenarios. In this work, we propose a framework of constrained multi-agent reinforcement learning (MARL) with a parallel Safety Shield for CAVs in challenging driving scenarios that includes unconnected hazard vehicles. The coordination mechanisms of the proposed MARL include information sharing and cooperative policy learning, with Graph Convolutional Network (GCN)-Transformer as a spatial-temporal encoder that enhances the agent's environment awareness. The Safety Shield module with Control Barrier Functions (CBF)-based safety checking protects the agents from taking unsafe actions. We design a constrained multi-agent advantage actor-critic (CMAA2C) algorithm to train safe and cooperative policies for CAVs. With the experiment deployed in the CARLA simulator, we verify the performance of the safety checking, spatial-temporal encoder, and coordination mechanisms designed in our method by comparative experiments in several challenging scenarios with unconnected hazard vehicles. Results show that our proposed methodology significantly increases system safety and efficiency in challenging scenarios.


title: A note on non-isomorphic edge-color classes in random graphs

abstract: For a graph $G$, let $\tau(G)$ be the maximum number of colors such that there exists an edge-coloring of $G$ with no two color classes being isomorphic. We investigate the behavior of $\tau(G)$ when $G=G(n, p)$ is the classical Erd\H{o}s-R\'enyi random graph.


title: GLAD: Grounded Layered Autonomous Driving for Complex Service Tasks

abstract: Given the current point-to-point navigation capabilities of autonomous vehicles, researchers are looking into complex service requests that require the vehicles to visit multiple points of interest. In this paper, we develop a layered planning framework, called GLAD, for complex service requests in autonomous urban driving. There are three layers for service-level, behavior-level, and motion-level planning. The layered framework is unique in its tight coupling, where the different layers communicate user preferences, safety estimates, and motion costs for system optimization. GLAD is visually grounded by perceptual learning from a dataset of 13.8k instances collected from driving behaviors. GLAD enables autonomous vehicles to efficiently and safely fulfill complex service requests. Experimental results from abstract and full simulation show that our system outperforms a few competitive baselines from the literature.


title: Imagen Video: High Definition Video Generation with Diffusion Models

abstract: We present Imagen Video, a text-conditional video generation system based on a cascade of video diffusion models. Given a text prompt, Imagen Video generates high definition videos using a base video generation model and a sequence of interleaved spatial and temporal video super-resolution models. We describe how we scale up the system as a high definition text-to-video model including design decisions such as the choice of fully-convolutional temporal and spatial super-resolution models at certain resolutions, and the choice of the v-parameterization of diffusion models. In addition, we confirm and transfer findings from previous work on diffusion-based image generation to the video generation setting. Finally, we apply progressive distillation to our video models with classifier-free guidance for fast, high quality sampling. We find Imagen Video not only capable of generating videos of high fidelity, but also having a high degree of controllability and world knowledge, including the ability to generate diverse videos and text animations in various artistic styles and with 3D object understanding. See https://imagen.research.google/video/ for samples.


title: Contractible complexes and non-positive immersions

abstract: We provide examples of contractible complexes which fail to have non-positive immersions and weak non-positive immersions, answering a conjecture of Wise in the negative.


title: Neuro-Planner: A 3D Visual Navigation Method for MAV with Depth Camera based on Neuromorphic Reinforcement Learning

abstract: Traditional visual navigation methods of micro aerial vehicle (MAV) usually calculate a passable path that satisfies the constraints depending on a prior map. However, these methods have issues such as high demand for computing resources and poor robustness in face of unfamiliar environments. Aiming to solve the above problems, we propose a neuromorphic reinforcement learning method (Neuro-Planner) that combines spiking neural network (SNN) and deep reinforcement learning (DRL) to realize MAV 3D visual navigation with depth camera. Specifically, we design spiking actor network based on two-state LIF (TS-LIF) neurons and its encoding-decoding schemes for efficient inference. Then our improved hybrid deep deterministic policy gradient (HDDPG) and TS-LIF-based spatio-temporal back propagation (STBP) algorithms are used as the training framework for actor-critic network architecture. To verify the effectiveness of the proposed Neuro-Planner, we carry out detailed comparison experiments with various SNN training algorithm (STBP, BPTT and SLAYER) in the software-in-the-loop (SITL) simulation framework. The navigation success rate of our HDDPG-STBP is 4.3\% and 5.3\% higher than that of the original DDPG in the two evaluation environments. To the best of our knowledge, this is the first work combining neuromorphic computing and deep reinforcement learning for MAV 3D visual navigation task.


title: Dynamics of dwarf galaxies in $f(R)$ gravity

abstract: We use the kinematic data of the stars in eight dwarf spheroidal galaxies to assess whether $f(R)$ gravity can fit the observed profiles of the line-of-sight velocity dispersion of these systems without resorting to dark matter. Our model assumes that each galaxy is spherically symmetric and has a constant velocity anisotropy parameter $\beta$ and constant mass-to-light ratio consistent with stellar population synthesis models. We solve the spherical Jeans equation that includes the Yukawa-like gravitational potential appearing in the weak field limit of $f(R)$ gravity, and a Plummer density profile for the stellar distribution. The $f(R)$ velocity dispersion profiles depend on two parameters: the scale length $\xi^{-1}$, below which the Yukawa term is negligible, and the boost of the gravitational field $\delta>-1$. $\delta$ and $\xi$ are not universal parameters, but their variation within the same class of objects is expected to be limited. The $f(R)$ velocity dispersion profiles fit the data with a value $\xi^{-1}= 1.2^{+18.6}_{-0.9}$ Mpc for the entire galaxy sample. On the contrary, the values of $\delta$ show a bimodal distribution that picks at $\bar{\delta}=-0.986\pm0.002$ and $\bar{\delta}=-0.92\pm0.01$. These two values disagree at $6\sigma$ and suggest a severe tension for $f(R)$ gravity. It remains to be seen whether an improved model of the dwarf galaxies or additional constraints provided by the proper motions of stars measured by future astrometric space missions can return consistent $\delta$'s for the entire sample and remove this tension.


title: The Past and Future of Mid-Infrared Studies of AGN

abstract: Observational studies of AGN in the mid-infrared regime are crucial to our understanding of AGN and their role in the evolution of galaxies. Mid-IR-based selection of AGN is complementary to more traditional techniques allowing for a more complete census of AGN activity across cosmic time. Mid-IR observations including time variability and spatially resolved imaging have given us unique insights into the nature of the obscuring structures around AGN. The wealth of fine structure, molecular, and dust features in the mid-IR allow us to simultaneously probe multiple components of the ISM allowing us to explore in detail the impact on the host galaxy by the presence of an AGN -- a crucial step toward understanding galaxy-SMBH co-evolution. This review gives a broad overview of this wide range of studies. It also aims to show the evolution of this field starting with its nascency in the 1960s, through major advances thanks to several generations of space-based and ground-based facilities, as well as the promise of upcoming facilities such as the {\sl James Webb Space Telescope (JWST)}.


title: The Assembly of Black Hole Mass and Luminosity Functions of High-redshift Quasars via Multiple Accretion Episodes

abstract: The early evolution of the quasar luminosity function (QLF) and black hole mass function (BHMF) encodes key information on the physics determining the radiative and accretion processes of supermassive black holes (BHs) in high-$z$ quasars. Although the QLF shape has been constrained by recent observations, it remains challenging to develop a theoretical model that explains its redshift evolution associated with BH growth self-consistently. In this study, based on a semi-analytical model for the BH formation and growth, we construct the QLF and BHMF of the early BH population that experiences multiple accretion bursts, in each of which a constant Eddington ratio is assigned following a Schechter distribution function. Our best-fit model to reproduce the observed QLF and BHMF at $z\simeq 6$ suggests that several episodes of moderate super-Eddington accretion occur and each of them lasts for $\tau \simeq 20-30$ Myr. The average duty cycle in super-Eddington phases is $\simeq 15\%$ for massive BHs that reach $\gtrsim 10^8~M_\odot$ by $z\simeq 6$, which is nearly twice that of the entire population. We also find that the observed Eddington-ratio distribution function is skewed to a log-normal shape owing to detection limits of quasar surveys. The predicted redshift evolution of the QLF and BHMF suggests a rapid decay of their number and mass density in a cosmic volume toward $z\gtrsim 6$. These results will be unveiled by future deep and wide surveys with the James Webb Space Telescope, Roman Space Telescope, and Euclid.


title: Lyapunov stabilization of a nonlocal LWR traffic flow model

abstract: Using a nonlocal macroscopic LWR-type traffic flow model, we present an approach to control the nonlocal velocity towards a given equilibrium velocity. Therefore, we present a Lyapunov function measuring the $L^2$ distance between these velocities. We compute the explicit rate at which the system tends towards the stationary speed. The traffic is controlled by a leading vehicle. Numerical examples demonstrate the theoretical results and possible extensions of them.


abstract: We show that the $K_0$ groups of Connes' $\Theta$-deformed $m$-planes and their smooth versions are all $\mathbb{Z}$.


title: Constant-power versus constant-voltage actuation in frequency sweeps for acoustofluidic applications

abstract: Supplying a piezoelectric transducer with constant voltage or constant power during a frequency sweep can lead to different results in the determination of the acoustofluidic resonance frequencies, which are observed when studying the acoustophoretic displacements and velocities of particles suspended in a liquid-filled microchannel. In this work, three cases are considered: (1) Constant input voltage into the power amplifier, (2) constant voltage across the piezoelectric transducer, and (3) constant average power dissipation in the transducer. For each case, the measured and the simulated responses are compared, and good agreement is obtained. It is shown that Case 1, the simplest and most frequently used approach, is largely affected by the impedance of the used amplifier and wiring, so it is therefore not suitable for a reproducible characterization of the intrinsic properties of the acoustofluidic device. Case 2 strongly favors resonances at frequencies yielding the lowest impedance of the piezoelectric transducer, so small details in the acoustic response at frequencies far from the transducer resonance can easily be missed. Case 3 provides the most reliable approach, revealing both the resonant frequency, where the power-efficiency is the highest, as well as other secondary resonances across the spectrum.


title: Fast Pre-scramblers

abstract: We consider the process of diffusion or "pre-scrambling" of information in a quantum system. We define a measure for this spreading or "pre-scrambling" of the wavefunction in terms of a minimum probability threshold for the states in the system's Hilbert space. We illustrate our findings on the example of a prototype model with enhanced memory capacity. We conjecture: (1) The fastest pre-scramblers require a time logarithmic in the number of degrees of freedom. (2) The investigated enhanced memory capacity model is a fast pre-scrambler. (3) (Fast) pre-scrambling occurs not later than (fast) scrambling. (4) Fast scramblers are fast pre-scramblers. (5) Black holes are fast pre-scramblers.


title: Multi-stream Fusion for Class Incremental Learning in Pill Image Classification

abstract: Classifying pill categories from real-world images is crucial for various smart healthcare applications. Although existing approaches in image classification might achieve a good performance on fixed pill categories, they fail to handle novel instances of pill categories that are frequently presented to the learning algorithm. To this end, a trivial solution is to train the model with novel classes. However, this may result in a phenomenon known as catastrophic forgetting, in which the system forgets what it learned in previous classes. In this paper, we address this challenge by introducing the class incremental learning (CIL) ability to traditional pill image classification systems. Specifically, we propose a novel incremental multi-stream intermediate fusion framework enabling incorporation of an additional guidance information stream that best matches the domain of the problem into various state-of-the-art CIL methods. From this framework, we consider color-specific information of pill images as a guidance stream and devise an approach, namely "Color Guidance with Multi-stream intermediate fusion"(CG-IMIF) for solving CIL pill image classification task. We conduct comprehensive experiments on real-world incremental pill image classification dataset, namely VAIPE-PCIL, and find that the CG-IMIF consistently outperforms several state-of-the-art methods by a large margin in different task settings. Our code, data, and trained model are available at https://github.com/vinuni-vishc/CG-IMIF.


title: Proposal for Measurement of the Two-body Neutron Decay using Microcalorimeter

abstract: The bound beta-decay (BoB) of neutron is also known as the two-body neutron decay, which is a rare decay mode into a hydrogen atom and an anti-neutrino. The state of neutrino can be exactly inferred by measuring the state of hydrogen atom, providing a possible pathway to explore new physics. However, this rare decay mode has not yet been observed so far since it was predicted in 1947. The challenge in observing this decay is not only that its cross section is extremely low, equivalent to about branching ratio of the order of $10^{-6}$ of the three-body decay, but also that the final-state hydrogen atom is neutral and has extremely low kinetic energy, which cannot be effectively detected. In this study, we propose a microcalorimeter-based scheme for measuring the kinetic energies of hydrogen atoms produced from BoB of ultracold neutrons, which has a great advantage in terms of accuracy of the energy measurement. In this study, first, several important issues that require rigorous considerations for the decay measurements and possible solutions are discussed. Then, the requirements of the neutron flux and the appropriate structure design of the microcalorimeter are present by theoretical calculations. In short, this paper outlines our proposed novel experimental scheme for observing the BoB mode, addressing the possible solutions to all the necessary problems.


title: Bio-inspired polymers with polaritonic properties from visible to infrared: a material playground to mimic purple bacteria light-harvesting resonators

abstract: Light-harvesting complexes in natural photosynthetic systems, such as those in purple bacteria, consist of photo-reactive chromophores embedded in densely packed "antenna" systems organized in well-defined nanostructures. In the case of purple bacteria, the chromophore antennas are composed of natural J-aggregates such as bacteriochlorophylls and carotenoids. Inspired by the molecular composition of such biological systems, we create a library of organic materials composed of densely packed J-aggregates in a polymeric matrix, in which the matrix mimics a protein scaffold. This library of organic materials shows polaritonic properties which can be tuned from the visible to the infrared by choice of the model molecule. Inspired by the molecular architecture of the light-harvesting complexes of \textit{Rhodospirillum molischianum} bacteria, we study the light-matter interactions of J-aggregate-based nanorings with similar dimensions to the analogous natural nanoscale architectures. Electromagnetic simulations show that these nanorings of J-aggregates can act as resonators, with subwavelength confinement of light while concentrating the electric field in specific regions. These results open the door to bio-inspired building blocks for all-organic metamaterials while offering a new perspective on light-matter interactions at the nanoscale in densely packed organic matter in biological organisms including photosynthetic organelles.


title: A modular approach to Fermat equations of signature $(p,p,5)$ using Frey hyperelliptic curves

abstract: In this paper we carry out the steps of Darmon's program for the generalized Fermat equation $$ x^p + y^p = z^5. $$ In particular, we develop the machinery necessary to prove an optimal bound on the exponent $p$ for solutions satisfying certain $2$-adic and $5$-adic conditions which are natural from the point of view of the method. The above equation is an example of a generalized Fermat equation for which higher dimensional Frey varieties are needed for the modular method to work and thus represents an interesting test case for Darmon's program.


title: Real-Time Reinforcement Learning for Vision-Based Robotics Utilizing Local and Remote Computers

abstract: Real-time learning is crucial for robotic agents adapting to ever-changing, non-stationary environments. A common setup for a robotic agent is to have two different computers simultaneously: a resource-limited local computer tethered to the robot and a powerful remote computer connected wirelessly. Given such a setup, it is unclear to what extent the performance of a learning system can be affected by resource limitations and how to efficiently use the wirelessly connected powerful computer to compensate for any performance loss. In this paper, we implement a real-time learning system called the Remote-Local Distributed (ReLoD) system to distribute computations of two deep reinforcement learning (RL) algorithms, Soft Actor-Critic (SAC) and Proximal Policy Optimization (PPO), between a local and a remote computer. The performance of the system is evaluated on two vision-based control tasks developed using a robotic arm and a mobile robot. Our results show that SAC's performance degrades heavily on a resource-limited local computer. Strikingly, when all computations of the learning system are deployed on a remote workstation, SAC fails to compensate for the performance loss, indicating that, without careful consideration, using a powerful remote computer may not result in performance improvement. However, a carefully chosen distribution of computations of SAC consistently and substantially improves its performance on both tasks. On the other hand, the performance of PPO remains largely unaffected by the distribution of computations. In addition, when all computations happen solely on a powerful tethered computer, the performance of our system remains on par with an existing system that is well-tuned for using a single machine. ReLoD is the only publicly available system for real-time RL that applies to multiple robots for vision-based tasks.


title: FQDet: Fast-converging Query-based Detector

abstract: Recently, two-stage Deformable DETR introduced the query-based two-stage head, a new type of two-stage head different from the region-based two-stage heads of classical detectors as Faster R-CNN. In query-based two-stage heads, the second stage selects one feature per detection processed by a transformer, called the query, as opposed to pooling a rectangular grid of features processed by CNNs as in region-based detectors. In this work, we improve the query-based head by improving the prior of the cross-attention operation with anchors, significantly speeding up the convergence while increasing its performance. Additionally, we empirically show that by improving the cross-attention prior, auxiliary losses and iterative bounding box mechanisms typically used by DETR-based detectors are no longer needed. By combining the best of both the classical and the DETR-based detectors, our FQDet head peaks at 45.4 AP on the 2017 COCO validation set when using a ResNet-50+TPN backbone, only after training for 12 epochs using the 1x schedule. We outperform other high-performing two-stage heads such as e.g. Cascade R-CNN, while using the same backbone and while being computationally cheaper. Additionally, when using the large ResNeXt-101-DCN+TPN backbone and multi-scale testing, our FQDet head achieves 52.9 AP on the 2017 COCO test-dev set after only 12 epochs of training. Code is released at https://github.com/CedricPicron/FQDet .


title: Random amenable $\mathrm{C}^*$-algebras

abstract: What is the probability that a random UHF algebra is of infinite type? What is the probability that a random simple AI algebra has at most $k$ extremal traces? What is the expected value of the radius of comparison of a random Villadsen-type AH algebra? What is the probability that such an algebra is $\mathcal{Z}$-stable? What is the probability that a random Cuntz-Krieger algebra is purely infinite and simple, and what can be said about the distribution of its $K$-theory? By constructing $\mathrm{C}^*$-algebras associated with suitable random (walks on) graphs, we provide context in which these are meaningful questions with computable answers.


title: Particle zoo in a doped spin chain: Correlated states of mesons and magnons

abstract: It is a widely accepted view that the interplay of spin- and charge-degrees of freedom in doped antiferromagnets (AFMs) gives rise to the rich physics of high-temperature superconductors. Nevertheless, it remains unclear how effective low-energy degrees of freedom and the corresponding field theories emerge from microscopic models, including the $t-J$ and Hubbard Hamiltonians. A promising view comprises that the charge carriers have a rich internal parton structure on intermediate scales, but the interplay of the emergent partons with collective magnon excitations of the surrounding AFM remains unexplored. Here we study a doped one-dimensional spin chain in a staggered magnetic field and demonstrate that it supports a zoo of various long-lived excitations. These include magnons; mesonic pairs of spinons and chargons, along with their ro-vibrational excitations; and tetra-parton bound states of mesons and magnons. We identify these types of quasiparticles in various spectra using DMRG simulations. Moreover, we introduce a strong-coupling theory describing the polaronic dressing and molecular binding of mesons to collective magnon excitations. The effective theory can be solved by standard tools developed for polaronic problems, and can be extended to study similar physics in two-dimensional doped AFMs in the future. Experimentally, the doped spin-chain in a staggered field can be directly realized in quantum gas microscopes.


title: Pairing of holes by confining strings in antiferromagnets

abstract: In strongly correlated quantum materials, the behavior of charge carriers is dominated by strong electron-electron interactions. These can lead to insulating states with spin order, and upon doping to competing ordered states including unconventional superconductivity. The underlying pairing mechanism remains poorly understood however, even in strongly simplified theoretical models. Recent advances in quantum simulation allow to study pairing in paradigmatic settings, e.g. in the $t-J$ and $t-J_z$ Hamiltonians. Even there, the most basic properties of paired states of only two dopants, such as their dispersion relation and excitation spectra, remain poorly studied in many cases. Here we provide new analytical insights into a possible string-based pairing mechanism of mobile holes in an antiferromagnet. We analyze an effective model of partons connected by a confining string and calculate the spectral properties of bound states. Our model is equally relevant for understanding Hubbard-Mott excitons consisting of a bound doublon-hole pair or confined states of dynamical matter in lattice gauge theories, which motivates our study of different parton statistics. Although an accurate semi-analytic estimation of binding energies is challenging, our theory provides a detailed understanding of the internal structure of pairs. For example, in a range of settings we predict heavy states of immobile pairs with flat-band dispersions -- including for the lowest-energy $d$-wave pair of fermions. Our findings shed new light on the long-standing question about the origin of pairing and competing orders in high-temperature superconductors.


title: Dichotomy of heavy and light pairs of holes in the $t-J$ model

abstract: A key step in unraveling the mysteries of materials exhibiting unconventional superconductivity is to understand the underlying pairing mechanism. While it is widely agreed upon that the pairing glue in many of these systems originates from antiferromagnetic spin correlations, a microscopic description of pairs of charge carriers remains lacking. Here we use state-of-the art numerical methods to probe the internal structure and dynamical properties of pairs of charge carriers in quantum antiferromagnets in four-legged cylinders. Exploiting the full momentum resolution in our simulations, we are able to distinguish two qualitatively different types of bound states: a highly mobile, meta-stable pair, which has a dispersion proportional to the hole hopping $t$, and a heavy pair, which can only move due to spin exchange processes and turns into a flat band in the Ising limit of the model. Understanding the pairing mechanism can on the one hand pave the way to boosting binding energies in related models, and on the other hand enable insights into the intricate competition of various phases of matter in strongly correlated electron systems.


title: Distributed Online Generalized Nash Equilibrium Tracking for Prosumer Energy Trading Games

abstract: With the proliferation of distributed generations, traditional passive consumers in distribution networks are evolving into "prosumers", which can both produce and consume energy. Energy trading with the main grid or between prosumers is inevitable if the energy surplus and shortage exist. To this end, this paper investigates the peer-to-peer (P2P) energy trading market, which is formulated as a generalized Nash game. We first prove the existence and uniqueness of the generalized Nash equilibrium (GNE). Then, an distributed online algorithm is proposed to track the GNE in the time-varying environment. Its regret is proved to be bounded by a sublinear function of learning time, which indicates that the online algorithm has an acceptable accuracy in practice. Finally, numerical results with six microgrids validate the performance of the algorithm.


title: Promising or Elusive? Unsupervised Object Segmentation from Real-world Single Images

abstract: In this paper, we study the problem of unsupervised object segmentation from single images. We do not introduce a new algorithm, but systematically investigate the effectiveness of existing unsupervised models on challenging real-world images. We firstly introduce four complexity factors to quantitatively measure the distributions of object- and scene-level biases in appearance and geometry for datasets with human annotations. With the aid of these factors, we empirically find that, not surprisingly, existing unsupervised models catastrophically fail to segment generic objects in real-world images, although they can easily achieve excellent performance on numerous simple synthetic datasets, due to the vast gap in objectness biases between synthetic and real images. By conducting extensive experiments on multiple groups of ablated real-world datasets, we ultimately find that the key factors underlying the colossal failure of existing unsupervised models on real-world images are the challenging distributions of object- and scene-level biases in appearance and geometry. Because of this, the inductive biases introduced in existing unsupervised models can hardly capture the diverse object distributions. Our research results suggest that future work should exploit more explicit objectness biases in the network design.


title: Modifications of Tanabe-Sugano d$^6$ diagram induced by radical ligand field: ab initio inspection of a Fe(II)-verdazyl molecular complex

abstract: Quantum entanglement between the spin states of a metal centre and radical ligands is suggested in an iron(II) [Fe(dipyvd)$_2$]$^{2+}$ compound (dipyvd = 1-isopropyl-3,5-dipyridil-6-oxoverdazyl). Wavefunction \textit{ab initio} (Difference Dedicated Configuration Interaction, DDCI) inspections were carried out to stress the versatility of local spin states. We named this phenonmenon \textit{excited state spinmerism}, in reference to our previous work (see Roseiro et. al., ChemPhysChem 2022, e202200478) where we introduced the concept of spinmerism as an extension of mesomerism to spin degrees of freedom. The construction of localized molecular orbitals allows for a reading of the wavefunctions and projections onto the local spin states. The low-energy spectrum is well-depicted by a Heisenberg picture. A 60 cm$^{-1}$ ferromagnetic interaction is calculated between the radical ligands with the $S_{total} = 0$ and $1$ states largely dominated by a local low-spin $S_{Fe} = 0$. In contrast, the higher-lying $S_{total} = 2$ states are superpositions of the local $S_{Fe} = 1$ (17%, 62%) and $S_{Fe} = 2$ (72%, 21%) spin states. Such mixing extends the traditional picture of a high-field $d^6$ Tanabe-Sugano diagram. Even in the absence of spin-orbit coupling, the avoided crossing between different local spin states is triggered by the field generated by radical ligands. This puzzling scenario emerges from versatile local spin states in compounds which extend the traditional views in molecular magnetism.


title: Learning Across Domains and Devices: Style-Driven Source-Free Domain Adaptation in Clustered Federated Learning

abstract: Federated Learning (FL) has recently emerged as a possible way to tackle the domain shift in real-world Semantic Segmentation (SS) without compromising the private nature of the collected data. However, most of the existing works on FL unrealistically assume labeled data in the remote clients. Here we propose a novel task (FFREEDA) in which the clients' data is unlabeled and the server accesses a source labeled dataset for pre-training only. To solve FFREEDA, we propose LADD, which leverages the knowledge of the pre-trained model by employing self-supervision with ad-hoc regularization techniques for local training and introducing a novel federated clustered aggregation scheme based on the clients' style. Our experiments show that our algorithm is able to efficiently tackle the new task outperforming existing approaches. The code is available at https://github.com/Erosinho13/LADD.


title: On the non-local boundary value problem from the probabilistic viewpoint

abstract: We provide a short introduction of new and well-known facts relating non-local operators and irregular domains. Cauchy problems and boundary value problems are considered in case non-local operators are involved. Such problems respectively lead to anomalous behavior on the bulk and on the surface of a given domain. Such a behavior can be considered (in a macroscopic viewpoint) in order to describe regular motion on irregular domains (in the microscopic viewpoint).


title: Geometric discretization of diffeomorphisms

abstract: Many partial differential equations in mathematical physics describe the evolution of a time-dependent vector field. Examples arise in compressible fluid dynamics, shape analysis, optimal transport and shallow water equations. The flow of such a vector field generates a diffeomorphism, which can be viewed as the Lagrangian variable corresponding to the Eulerian vector field. From both computational and theoretical perspectives, it is natural to seek finite-dimensional analogs of vector fields and diffeomorphisms, constructed in such a way that the underlying geometric and algebraic properties persist (in particular, the induced Lie--Poisson structure). Here, we develop such a geometric discretization of the group of diffeomorphisms on a two-dimensional K\"ahler manifold, with special emphasis on the sphere. Our approach builds on quantization theory, combined with complexification of Zeitlin's model for incompressible two-dimensional hydrodynamics. Thus, we extend Zeitlin's approach from the incompressible to the compressible case. We provide a numerical example and discuss potential applications of the new, geometric discretization.


title: Non-closure under complementation for unambiguous linear grammars

abstract: The paper demonstrates the non-closure of the family of unambiguous linear languages (that is, those defined by unambiguous linear context-free grammars) under complementation. To be precise, a particular unambiguous linear grammar is presented, and it is proved that the complement of this language is not defined by any context-free grammar. This also constitutes an alternative proof for the result of Hibbard and Ullian ("The independence of inherent ambiguity from complementedness among context-free languages", J.ACM, 1966) on the non-closure of the unambiguous languages under complementation.


title: Revisiting Graph Contrastive Learning from the Perspective of Graph Spectrum

abstract: Graph Contrastive Learning (GCL), learning the node representations by augmenting graphs, has attracted considerable attentions. Despite the proliferation of various graph augmentation strategies, some fundamental questions still remain unclear: what information is essentially encoded into the learned representations by GCL? Are there some general graph augmentation rules behind different augmentations? If so, what are they and what insights can they bring? In this paper, we answer these questions by establishing the connection between GCL and graph spectrum. By an experimental investigation in spectral domain, we firstly find the General grAph augMEntation (GAME) rule for GCL, i.e., the difference of the high-frequency parts between two augmented graphs should be larger than that of low-frequency parts. This rule reveals the fundamental principle to revisit the current graph augmentations and design new effective graph augmentations. Then we theoretically prove that GCL is able to learn the invariance information by contrastive invariance theorem, together with our GAME rule, for the first time, we uncover that the learned representations by GCL essentially encode the low-frequency information, which explains why GCL works. Guided by this rule, we propose a spectral graph contrastive learning module (SpCo), which is a general and GCL-friendly plug-in. We combine it with different existing GCL models, and extensive experiments well demonstrate that it can further improve the performances of a wide variety of different GCL methods.


title: Normalized solutions for Schr\"{o}dinger systems in dimension two

abstract: In this paper, we study the existence of normalized solutions to the following nonlinear Schr\"{o}dinger systems with exponential growth \begin{align*} \left\{ \begin{aligned} &-\Delta u+\lambda_{1}u=H_{u}(u,v), \quad \quad \hbox{in }\mathbb{R}^{2},\\ &-\Delta v+\lambda_{2} v=H_{v}(u,v), \quad \quad \hbox{in }\mathbb{R}^{2},\\ &\int_{\mathbb{R}^{2}}|u|^{2}dx=a^{2},\quad \int_{\mathbb{R}^{2}}|v|^{2}dx=b^{2}, \end{aligned} \right. \end{align*} where $a,b>0$ are prescribed, $\lambda_{1},\lambda_{2}\in \mathbb{R}$ and the functions $H_{u},H_{v}$ are partial derivatives of a Carath\'{e}odory function $H$ with $H_{u},H_{v}$ have exponential growth in $\mathbb{R}^{2}$. Our main results are totally new for Schr\"{o}dinger systems in $\mathbb{R}^{2}$. Using the Pohozaev manifold and variational methods, we establish the existence of normalized solutions to the above problem.


title: K-theory and index theory on manifolds with a proper Lie group action

abstract: The paper is devoted to the index theory of orbital and transverse elliptic operators on manifolds with a proper Lie group action. It corrects errors of my previous paper (published in JNCG in 2016) on transverse operators and contains new results. The two index theories, orbital and transverse, are very much intertwined and interdependent, and are treated together. The theory of orbital operators is developed from the basic definitions to the final index theorem. The KK-theoretic proofs of index theorems for elliptic, t-elliptic and orbital elliptic operators are given in sections 9, 10, 11. Throughout the paper, we use a simpler method in constructing pseudo-differential operators.


title: Positive solutions for the fractional p-Laplacian via mixed topological and variational methods

abstract: We study a nonlinear, nonlocal Dirichlet problem driven by the degenerate fractional p-Laplacian via a combination of topological methods (degree theory for operators of monotone type) and variational methods (critical point theory). We assume local conditions ensuring the existence of sub- and supersolutions. So we prove existence of two positive solutions, in both the coercive and noncoercive cases.


title: Using Full-Text Content to Characterize and Identify Best Seller Books

abstract: Artistic pieces can be studied from several perspectives, one example being their reception among readers over time. In the present work, we approach this interesting topic from the standpoint of literary works, particularly assessing the task of predicting whether a book will become a best seller. Dissimilarly from previous approaches, we focused on the full content of books and considered visualization and classification tasks. We employed visualization for the preliminary exploration of the data structure and properties, involving SemAxis and linear discriminant analyses. Then, to obtain quantitative and more objective results, we employed various classifiers. Such approaches were used along with a dataset containing (i) books published from 1895 to 1924 and consecrated as best sellers by the Publishers Weekly Bestseller Lists and (ii) literary works published in the same period but not being mentioned in that list. Our comparison of methods revealed that the best-achieved result - combining a bag-of-words representation with a logistic regression classifier - led to an average accuracy of 0.75 both for the leave-one-out and 10-fold cross-validations. Such an outcome suggests that it is unfeasible to predict the success of books with high accuracy using only the full content of the texts. Nevertheless, our findings provide insights into the factors leading to the relative success of a literary work.


title: Informed sampling-based trajectory planner for automated driving in dynamic urban environments

abstract: The urban environment is amongst the most difficult domains for autonomous vehicles. The vehicle must be able to plan a safe route on challenging road layouts, in the presence of various dynamic traffic participants such as vehicles, cyclists and pedestrians and in various environmental conditions. The challenge remains to have motion planners that are computationally fast and that account for future movements of other road users proactively. This paper describes an computationally efficient sampling-based trajectory planner for safe and comfortable driving in urban environments. The planner improves the Stable-Sparse-RRT algorithm by adding initial exploration branches to the search tree based on road layout information and reiterating the previous solution. Furthermore, the trajectory planner accounts for the predicted motion of other traffic participants to allow for safe driving in urban traffic. Simulation studies show that the planner is capable of planning collision-free, comfortable trajectories in several urban traffic scenarios. Adding the domain-knowledge-based exploration branches increases the efficiency of exploration of highly interesting areas, thereby increasing the overall planning performance.


title: An Integrated Web Platform for the Mizar Mathematical Library

abstract: This paper reports on the development of a Web platform to host the Mizar Mathematical Library (MML). In recent years, the size of formalized mathematical libraries has been drastically increasing, and this has led to a growing demand for tools that support efficient and comprehensive browsing, searching, and annotation of these libraries. This platform implements a Wiki function to add comments to the HTMLized MML, three types of search function (article, symbol, and theorem), and a function to show the dependency graph of the MML. This platform is designed with consistency, scalability, and interoperability as top priorities for long-term use.


title: When Physical Layer Key Generation Meets RIS: Opportunities, Challenges, and Road Ahead

abstract: Physical layer key generation (PLKG) is a promising technology to obtain symmetric keys between a pair of wireless communication users in a plug-and-play manner. The shared entropy source almost entirely comes from the intrinsic randomness of the radio channel, which is highly dependent on the wireless environments. However, in some static/block fading wireless environments, the intrinsic randomness of the wireless channel is hard to be guaranteed. Very recently, thanks to reconfigurable intelligent surfaces (RISs) with their excellent ability on electromagnetic wave control, the wireless channel environment can be customized. In this article, we overview the RISaided PLKG in static indoor environments, including its channel model and hardware architectures. Then, we propose potential application scenarios and analyze the design challenges of RIS aided PLKG, including channel reciprocity, RIS reconfiguration speed and RIS deployment via proof-of-concept experiments on a RIS-aided PLKG prototype system. In particular, our experimental results show that the key generation rate is 15-fold higher than that without RIS in a static indoor environment. Next, we design a RIS jamming attack via a prototype experiment and discuss its possible attack-defense countermeasures. Finally, several conclusions and future directions are identified.