title: Superbunched radiation of a tunnel junction due to charge quantization

abstract: A chaotic light source is characterized by the fact that many independent emitters radiate photons with a random optical phase. This is similar compared to a tunnel junction where many independent channels are able to emit photons due to a coupling to an electromagnetic environment. However, in a recent experiment it has been observed that a tunnel junction can deviate from the expectation of chaotic light and is able to emit strongly correlated, superbunched photons. Motivated by this, we study the correlation of the radiation and show that the superbunching originates from the emission of multiple photons which is possible due to the quantization of charge.


title: OTTER: Improving Zero-Shot Classification via Optimal Transport

abstract: Popular zero-shot models suffer due to artifacts inherited from pretraining. A particularly detrimental artifact, caused by unbalanced web-scale pretraining data, is mismatched label distribution. Existing approaches that seek to repair the label distribution are not suitable in zero-shot settings, as they have incompatible requirements such as access to labeled downstream task data or knowledge of the true label balance in the pretraining distribution. We sidestep these challenges and introduce a simple and lightweight approach to adjust pretrained model predictions via optimal transport. Our technique requires only an estimate of the label distribution of a downstream task. Theoretically, we characterize the improvement produced by our procedure under certain mild conditions and provide bounds on the error caused by misspecification. Empirically, we validate our method in a wide array of zero-shot image and text classification tasks, improving accuracy by 4.8% and 15.9% on average, and beating baselines like Prior Matching -- often by significant margins -- in 17 out of 21 datasets.


title: Search for Higgs boson pair production with one associated vector boson in proton-proton collisions at $\sqrt{s}$ = 13 TeV

abstract: A search for Higgs boson pair (HH) production in association with a vector boson V (W or Z boson) is presented. The search is based on proton-proton collision data at a center-of-mass energy of 13 TeV, collected with the CMS detector at the LHC, corresponding to an integrated luminosity of 138 fb$^{-1}$. All hadronic and leptonic decays of V bosons are used. The leptons considered are electrons, muons, and neutrinos. The HH production is searched for in the $\mathrm{b\bar{b}b\bar{b}}$ decay channel. An observed (expected) upper limit at 95% confidence level of VHH production cross section is set at 294 (124) times the standard model prediction. Constraints are also set on the modifiers of the Higgs boson trilinear self-coupling, $\kappa_{\lambda}$, assuming $\kappa_{2\mathrm{V}}$ = 1 and vice versa on the coupling of two Higgs bosons with two vector bosons, $\kappa_{2\mathrm{V}}$. The observed (expected) 95% confidence intervals of these coupling modifiers are -37.7 $\lt$ $\kappa_{\lambda}$ $\lt$ 37.2 (-30.1 $\lt$ $\kappa_{\lambda}$ $\lt$ 8.9) and -12.2 $\lt$ $\kappa_{2\mathrm{V}}$ $\lt$ 13.5 (-7.2 $\lt$ $\kappa_{2\mathrm{V}}$ $\lt$ 8.9), respectively.


title: Riemannian optimization on the symplectic Stiefel manifold using second-order information

abstract: Riemannian optimization is concerned with problems, where the independent variable lies on a smooth manifold. There is a number of problems from numerical linear algebra that fall into this category, where the manifold is usually specified by special matrix structures, such as orthogonality or definiteness. Following this line of research, we investigate tools for Riemannian optimization on the symplectic Stiefel manifold. We complement the existing set of numerical optimization algorithms with a Riemannian trust region method tailored to the symplectic Stiefel manifold. To this end, we derive a matrix formula for the Riemannian Hessian under a right-invariant metric. Moreover, we propose a novel retraction for approximating the Riemannian geodesics. Finally, we conduct a comparative study in which we juxtapose the performance of the Riemannian variants of the steepest descent, conjugate gradients, and trust region methods on selected matrix optimization problems that feature symplectic constraints.


title: A stable decoupled perfectly matched layer for the 3D wave equation using the nodal discontinuous Galerkin method

abstract: In outdoor acoustics, the calculations of sound propagating in air can be computationally heavy if the domain is chosen large enough to fulfil the Sommerfeld radiation condition. By strategically truncating the computational domain with a efficient boundary treatment, the computational cost is lowered. One commonly used boundary treatment is the perfectly matched layer (PML) that dampens outgoing waves without polluting the computed solution in the inner domain. The purpose of this study is to propose and assess a new perfectly matched layer formulation for the 3D acoustic wave equation, using the nodal discontinuous Galerkin finite element method. The formulation is based on an efficient PML formulation that can be decoupled to further increase the computational efficiency and guarantee stability without sacrificing accuracy. This decoupled PML formulation is demonstrated to be long-time stable and an optimization procedure of the damping functions is proposed to enhance the performance of the formulation.


title: Inverted band gap trend through octahedral ordering in Cs$_2$Au$_2$X$_6$ (X=Cl, Br, I)

abstract: Double perovskites Cs$_2$Au$_2$X$_6$ (X=Cl, Br, I) are prototypical materials that exhibit charge disproportionation of gold into 1+ and 3+ states. It is known that the disproportionation is resolved under high pressures, and this has stimulated many studies into the pressurization of these materials. At present, the phase changes in these materials are still strongly contested. Here, we use density functional theory to study the pressure-dependent behavior of Cs$_2$Au$_2$X$_6$. We find that a tetragonal--cubic transition occurs directly from the ground state $I4/mmm$ structure. Even so, we also found an intermediate tetragonal $P4/mmm$ structure to be very close in energy, suggesting it to be observable. We also find several other competing metastable phases, which explains some of the controversies in the literature. Focusing on one of the metastable phases, we suggest that Cs$_2$Au$_2$X$_6$ can be prepared in a $P4_2/mnm$ structure, analogous to that of KCuF$_3$. The band gap in the $P4_2/mnm$ structure widened as atomic number of the halide was increased, which is the inverse trend compared to the ground state structure. We explain this by the different octahedral distortion ordering in the two structural phases. Furthermore, we show that the conduction band in $P4_2/mnm$ is three dimensionally connected, which is favorable for opto-electronic applications. We submit that this work demonstrates that octahedral distortion ordering is a promising avenue for developing new double perovskites and suggests it to be particular effective in tuning the electronic structure properties.


title: A different perspective on the Landau-Zener dynamics

abstract: We present two different approaches towards the Landau-Zener problem: (i) The Markov approximation in the integro-differential equation for one of the two probability amplitudes, and (ii) an amplitude-and-phase analysis of the linear second order differential equation for same probability amplitude. Our treatment shows that the Markov approximation neglects the non-linearity of the equation but still provides us with the exact asymptotic result.


title: Electron-phonon coupling induced topological phase transition in an $\alpha$-$T_{3}$ Haldane-Holstein model

abstract: We present impelling evidence of topological phase transitions induced by electron-phonon (e-ph) coupling in an $\alpha$-$T_3$ Haldane-Holstein model that presents smooth tunability between graphene ($\alpha=0$) and a dice lattice $(\alpha=1)$. The e-ph coupling has been incorporated via the Lang-Firsov transformation which adequately captures the polaron physics in the high frequency (anti-adiabatic) regime, and yields an effective Hamiltonian of the system through zero phonon averaging at $T=0$. While exploring the signature of the phase transition driven by polaron and its interplay with the parameter $\alpha$, we identify two regions based on the values of $\alpha$, namely, the low to intermediate range $(0 < \alpha \le 0.6)$ and larger values of $\alpha~(0.6 < \alpha < 1)$ where the topological transitions show distinct behaviour. There exists a single critical e-ph coupling strength for the former, below which the system behaves as a topological insulator characterized by edge modes, finite Chern number, and Hall conductivity, with all of them vanishing above this value, and the system undergoes a spectral gap closing transition. Further, the critical coupling strength depends upon $\alpha$. For the latter case $(0.6 < \alpha < 1)$, the scenario is more interesting where there are two critical values of the e-ph coupling at which trivial-topological-trivial and topological-topological-trivial phase transitions occur for $\alpha$ in the range $[0.6:1]$. Our studies on e-ph coupling induced phase transitions show a significant difference with regard to the well-known unique transition occurring at $\alpha = 0.5$ (or at $0.7$) in the absence of the e-ph coupling, and thus underscore the importance of interaction effects on the topological phase transitions.


title: Tight Bounds for Sorting Under Partial Information

abstract: Sorting has a natural generalization where the input consists of: (1) a ground set $X$ of size $n$, (2) a partial oracle $O_P$ specifying some fixed partial order $P$ on $X$ and (3) a linear oracle $O_L$ specifying a linear order $L$ that extends $P$. The goal is to recover the linear order $L$ on $X$ using the fewest number of linear oracle queries. In this problem, we measure algorithmic complexity through three metrics: oracle queries to $O_L$, oracle queries to $O_P$, and the time spent. Any algorithm requires worst-case $\log_2 e(P)$ linear oracle queries to recover the linear order on $X$. Kahn and Saks presented the first algorithm that uses $\Theta(\log e(P))$ linear oracle queries (using $O(n^2)$ partial oracle queries and exponential time). The state-of-the-art for the general problem is by Cardinal, Fiorini, Joret, Jungers and Munro who at STOC'10 manage to separate the linear and partial oracle queries into a preprocessing and query phase. They can preprocess $P$ using $O(n^2)$ partial oracle queries and $O(n^{2.5})$ time. Then, given $O_L$, they uncover the linear order on $X$ in $\Theta(\log e(P))$ linear oracle queries and $O(n + \log e(P))$ time -- which is worst-case optimal in the number of linear oracle queries but not in the time spent. For $c \geq 1$, our algorithm can preprocess $O_P$ using $O(n^{1 + \frac{1}{c}})$ queries and time. Given $O_L$, we uncover $L$ using $\Theta(c \log e(P))$ queries and time. We show a matching lower bound, as there exist positive constants $(\alpha, \beta)$ where for any constant $c \geq 1$, any algorithm that uses at most $\alpha \cdot n^{1 + \frac{1}{c}}$ preprocessing must use worst-case at least $\beta \cdot c \log e(P)$ linear oracle queries. Thus, we solve the problem of sorting under partial information through an algorithm that is asymptotically tight across all three metrics.


title: Supervisory Control Theory with Event Forcing

abstract: In the Ramadge-Wonham supervisory control theory the only interaction mechanism between supervisor and plant is that the supervisor may enable/disable events from the plant and the plant makes a final decision about which of the enabled events is actually taking place. In this paper, the interaction between supervisor and plant is enriched by allowing the supervisor to force specific events (called forcible events) that are allowed to preempt uncontrollable events. A notion of forcible-controllability is defined that captures the interplay between controllability of a supervisor w.r.t. the uncontrollable events provided by a plant in the setting with event forcing. Existence of a maximally permissive, forcibly-controllable, nonblocking supervisor is shown and an algorithm is provided that computes such a supervisor. The approach is illustrated by two small case studies.


title: Gamma positivity of variations of $(\alpha,t)$-Eulerian polynomials

abstract: In 1977 Carlitz and Scoville introduced the cycle $(\alpha,t)$-Eulerian polynomials $A^{\mathrm{cyc}}_n(x,y, t\,|\,\alpha)$ by enumerating permutations with respect to the number of excedances, drops, fixed points and cycles. In this paper, we introduce a nine-variable generalization of the Eulerian polynomials $A_n(u_1,u_2,u_3,u_4, f, g, t\,|\,\alpha, \beta)$ in terms of descent based statistics of permutations and prove a connection formula between these two kinds of generalized Eulerian polynomials. By exploring the connection formula, we derive plainly the exponential generating function of the latter polynomials and various $\gamma$-positive formulas for variants of Eulerian polynomials. In particular, our results unify and strengthen the recent results by Ji and Ji-Lin. In related work to the transition matrix between the Specht and web bases, Hwang, Jang and Oh recently introduced the web permutations, which can be characterised by cycle Andr\'e permutations. We show that enumerating the latter permutations with respect to the number of drops, fixed points and cycles gives rise to the normalised $\gamma$-vectors of the $(\alpha,t)$-Eulerian polynomials. Our result generalizes and unifies several known results in the literature.


title: Revisiting Feature Prediction for Learning Visual Representations from Video

abstract: This paper explores feature prediction as a stand-alone objective for unsupervised learning from video and introduces V-JEPA, a collection of vision models trained solely using a feature prediction objective, without the use of pretrained image encoders, text, negative examples, reconstruction, or other sources of supervision. The models are trained on 2 million videos collected from public datasets and are evaluated on downstream image and video tasks. Our results show that learning by predicting video features leads to versatile visual representations that perform well on both motion and appearance-based tasks, without adaption of the model's parameters; e.g., using a frozen backbone. Our largest model, a ViT-H/16 trained only on videos, obtains 81.9% on Kinetics-400, 72.2% on Something-Something-v2, and 77.9% on ImageNet1K.


title: TSLANet: Rethinking Transformers for Time Series Representation Learning

abstract: Time series data, characterized by its intrinsic long and short-range dependencies, poses a unique challenge across analytical applications. While Transformer-based models excel at capturing long-range dependencies, they face limitations in noise sensitivity, computational efficiency, and overfitting with smaller datasets. In response, we introduce a novel Time Series Lightweight Adaptive Network (TSLANet), as a universal convolutional model for diverse time series tasks. Specifically, we propose an Adaptive Spectral Block, harnessing Fourier analysis to enhance feature representation and to capture both long-term and short-term interactions while mitigating noise via adaptive thresholding. Additionally, we introduce an Interactive Convolution Block and leverage self-supervised learning to refine the capacity of TSLANet for decoding complex temporal patterns and improve its robustness on different datasets. Our comprehensive experiments demonstrate that TSLANet outperforms state-of-the-art models in various tasks spanning classification, forecasting, and anomaly detection, showcasing its resilience and adaptability across a spectrum of noise levels and data sizes. The code is available at https://github.com/emadeldeen24/TSLANet.


title: Convergence of power sequences of operators via their stability

abstract: This paper is concerned with the convergence of power sequences and stability of Hilbert space operators, where "convergence" and "stability" refer to weak, strong and norm topologies. It is proved that an operator has a convergent power sequence if and only if it is a (not necessarily orthogonal) direct sum of an identity operator and a stable operator. This reduces the issue of convergence of the power sequence of an operator $T$ to the study of stability of $T$. The question of when the limit of the power sequence is an orthogonal projection is investigated. Among operators sharing this property are hyponormal and contractive ones. In particular, a hyponormal or a contractive operator with no identity part is stable if and only if its power sequence is convergent. In turn, a unitary operator has a weakly convergent power sequence if and only if its singular-continuous part is weakly stable and its singular-discrete part is the identity. Characterizations of the convergence of power sequences and stability of subnormal operators are given in terms of semispectral measures.


title: The Squared Kemeny Rule for Averaging Rankings

abstract: For the problem of aggregating several rankings into one ranking, Kemeny (1959) proposed two methods: the median rule which selects the ranking with the smallest total swap distance to the input rankings, and the mean rule which minimizes the squared swap distances to the input rankings. The median rule has been extensively studied since and is now known simply as Kemeny's rule. It exhibits majoritarian properties, so for example if more than half of the input rankings are the same, then the output of the rule is the same ranking. We observe that this behavior is undesirable in many rank aggregation settings. For example, when we rank objects by different criteria (quality, price, etc.) and want to aggregate them with specified weights for the criteria, then a criterion with weight 51% should have 51% influence on the output instead of 100%. We show that the Squared Kemeny rule (i.e., the mean rule) behaves this way, by establishing a bound on the distance of the output ranking to any input rankings, as a function of their weights. Furthermore, we give an axiomatic characterization of the Squared Kemeny rule, which mirrors the existing characterization of the Kemeny rule but replaces the majoritarian Condorcet axiom by a proportionality axiom. Finally, we discuss the computation of the rule and show its behavior in a simulation study.


title: Factor risk measures

abstract: This paper introduces and studies factor risk measures. While risk measures only rely on the distribution of a loss random variable, in many cases risk needs to be measured relative to some major factors. In this paper, we introduce a double-argument mapping as a risk measure to assess the risk relative to a vector of factors, called factor risk measure. The factor risk measure only depends on the joint distribution of the risk and the factors. A set of natural axioms are discussed, and particularly distortion, quantile, linear and coherent factor risk measures are introduced and characterized. Moreover, we introduce a large set of concrete factor risk measures and many of them are new to the literature, which are interpreted in the context of regulatory capital requirement. Finally, the distortion factor risk measures are applied in the risk-sharing problem and some numerical examples are presented to show the difference between the Value-at-Risk and the quantile factor risk measures.


title: Combining Statistical Depth and Fermat Distance for Uncertainty Quantification

abstract: We measure the Out-of-domain uncertainty in the prediction of Neural Networks using a statistical notion called ``Lens Depth'' (LD) combined with Fermat Distance, which is able to capture precisely the ``depth'' of a point with respect to a distribution in feature space, without any assumption about the form of distribution. Our method has no trainable parameter. The method is applicable to any classification model as it is applied directly in feature space at test time and does not intervene in training process. As such, it does not impact the performance of the original model. The proposed method gives excellent qualitative result on toy datasets and can give competitive or better uncertainty estimation on standard deep learning datasets compared to strong baseline methods.


title: New Efficient Visual OILU Markers

abstract: Basic patterns are the source of a wide range of more or less complex geometric structures. We will exploit such patterns to develop new efficient visual markers. Besides being projective invariants, the proposed markers allow producing rich panel of unique identifiers, highly required for resource-intensive navigation and augmented reality applications. The spiral topology of our markers permits the validation of an accurate identification scheme, which is based on level set methods. The robustness of the markers against acquisition and geometric distortions is validated by extensive experimental tests.


title: Swing-Up of a Weakly Actuated Double Pendulum via Nonlinear Normal Modes

abstract: We identify the nonlinear normal modes spawning from the stable equilibrium of a double pendulum under gravity, and we establish their connection to homoclinic orbits through the unstable upright position as energy increases. This result is exploited to devise an efficient swing-up strategy for a double pendulum with weak, saturating actuators. Our approach involves stabilizing the system onto periodic orbits associated with the nonlinear modes while gradually injecting energy. Since these modes are autonomous system evolutions, the required control effort for stabilization is minimal. Even with actuator limitations of less than 1% of the maximum gravitational torque, the proposed method accomplishes the swing-up of the double pendulum by allowing sufficient time.


title: 21cm signal from Dark Ages collapsing halos with detailed molecular cooling treatment

abstract: Context. In order to understand the formation of the first stars, which set the transition between the Dark Ages and Cosmic Dawn epochs, it is necessary to provide a detailed description of the physics at work within the first clouds of gas which, during their gravitational collapse, will set the conditions for stars to be form through the mechanism of thermal instability. Aims. Our objective is to study in detail the molecular cooling of gas in the halos preceding the formation of the first stars. We are furthermore assessing the sensitivity of the 21cm hydrogen line to this cooling channel. Results. We present the CHEMFAST code, that we developed to compute the cosmological 21cm neutral hydrogen line inside collapsing matter overdensity. We precisely track evolution in the abundances of ions, atoms and molecules through a network of chemical reactions. Computing the molecular thermal function due to the excitation of the rotational levels of the H2 molecule, we find it strongly affects the gas temperature inside collapsing clouds of $10^8$ M$_\odot$. The gas temperature falls at the end of the collapse, when the molecular cooling takes over the heating due to gravitation. Conclusions. We find that the 21cm brightness temperature inside the collapsing cloud presents an emission feature, different from the one predicted in expansion scenario. It moreover follows the same behavior as the gas temperature, as it is also strongly affected by the molecular cooling. This makes it a promising probe in order to map the collapsing halos and thermal processes at work inside them.


title: Decoding AI: The inside story of data analysis in ChatGPT

abstract: As a result of recent advancements in generative AI, the field of Data Science is prone to various changes. This review critically examines the Data Analysis (DA) capabilities of ChatGPT assessing its performance across a wide range of tasks. While DA provides researchers and practitioners with unprecedented analytical capabilities, it is far from being perfect, and it is important to recognize and address its limitations.


title: Transitions near the onset of stationary rotating magnetoconvection: role of magnetic Prandtl number

abstract: We investigate the instabilities and associated bifurcation structure near the onset of rotating magnetoconvection of low Prandtl number fluids by performing three dimensional direct numerical simulations. Previous studies considered zero magnetic Prandtl number ($\mathrm{Pm}$) limit for the investigation of bifurcation structure near the onset of convection. Here we numerically investigate the effect of $\mathrm{Pm}$ on the bifurcation structure. The classical Rayleigh-B\'{e}nard convection setup in the presence of horizontal magnetic field and rotation about the vertical axis are considered for the study. The control parameters, including the Taylor number ($\mathrm{Ta}$), Chandrasekhar number ($\mathrm{Q}$), reduced Rayleigh number ($\mathrm{r}$), and magnetic Prandtl number ($\mathrm{Pm}$) are varied in the ranges $0 < \mathrm{Ta}\leq 500$, $0 < \mathrm{Q}\leq 1000$, $0.8\leq \mathrm{r} \leq 2$ and $0 < \mathrm{Pm} < 1$ by considering Prandtl numbers $\mathrm{Pr}= 0.025$ and $0.1$. The investigation reveals the presence of supercritical, subcritical and hybrid transitions to convection. These transitions leads to infinitesimal and finite amplitude fluid patterns at the onset of convection. The finite amplitude solutions can be both stationary and time dependent. The bifurcation structures associated with these flow patterns at the onset are studied in detail. For very small $\mathrm{Pm}$, the bifurcation structure is found to be qualitatively similar to the ones observed in the $\mathrm{Pm}\rightarrow 0$ limit. However, as $\mathrm{Pm}$ is increased, several new solutions appear at the onset and the resulting bifurcation structures are greatly modified.


title: Floquet-driven crossover from density-assisted tunneling to enhanced pair tunneling

abstract: We investigate the experimental control of pair tunneling in a double-well potential using Floquet engineering. We demonstrate a crossover from a regime with density-assisted tunneling to dominant pair tunneling by tuning the effective interactions. Furthermore, we show that the pair tunneling rate can be enhanced not only compared to the Floquet-reduced single-particle tunneling but even beyond the static superexchange rate, while keeping the effective interaction in a relevant range. This opens possibilities to realize models with explicit pair tunneling in ultracold atomic systems.


title: Semantic Communication for Cooperative Multi-Task Processing over Wireless Networks

abstract: In this paper, we have expanded the current status of semantic communication limited to processing one task to a more general system that can handle multiple tasks concurrently. In pursuit of this, we first introduced our definition of the "semantic source", enabling the interpretation of multiple semantics based on a single observation. A semantic encoder design is then introduced, featuring the division of the encoder into a common unit and multiple specific units enabling cooperative multi-task processing. Simulation results demonstrate the effectiveness of the proposed semantic source and the system design. Our approach employs information maximization (infomax) and end-to-end design principles.


title: Symplectic mapping class relations from pencil pairs

abstract: We describe symplectic mapping class relations between products of positive Dehn twists along Lagrangian spheres in Weinstein $4$-manifolds, all of which are affine $\mathbb{C}$ varieties. The relations are obtained by applying classification results for Fano $3$-folds and polarized $K_{3}$ surfaces of small genus to a general methodology -- finding pencil pairs.


title: An Interior Penalty coupling strategy for Isogeometric non-conformal Kirchhoff-Love shell patches

abstract: This work focuses on the coupling of trimmed shell patches using Isogeometric Analysis, based on higher continuity splines that seamlessly meet the $C^1$ requirement of Kirchhoff-Love-based discretizations. Weak enforcement of coupling conditions is achieved through the symmetric interior penalty method, where the fluxes are computed using their correct variationally consistent expression that was only recently proposed and is unprecedentedly adopted herein in the context of coupling conditions. The constitutive relationships account for generically laminated materials, although the proposed tests are conducted under the assumption of uniform thickness and lamination sequence. Numerical experiments assess the method for an isotropic and a laminated plate, as well as an isotropic hyperbolic paraboloid shell from the new shell obstacle course. The boundary conditions and domain force are chosen to reproduce manufactured analytical solutions, which are taken as reference to compute rigorous convergence curves in the $L^2$, $H^1$, and $H^2$ norms, that closely approach optimal ones predicted by theory. Additionally, we conduct a final test on a complex structure comprising five intersecting laminated cylindrical shells, whose geometry is directly imported from a STEP file. The results exhibit excellent agreement with those obtained through commercial software, showcasing the method's potential for real-world industrial applications.


title: Compactly supported $\mathbb{A}^1$-Euler characteristics of symmetric powers of cellular varieties

abstract: The compactly supported $\mathbb{A}^1$-Euler characteristic, introduced by Hoyois and later refined by Levine and others, is an anologue in motivic homotopy theory of the classical Euler characteristic of complex topological manifolds. It is an invariant on the Grothendieck ring of varieties $\mathrm{K}_0(\mathrm{Var}_k)$ taking values in the Grothendieck-Witt ring $\mathrm{GW}(k)$ of the base field $k$. The former ring has a natural power structure induced by symmetric powers of varieties. In a recent preprint, Pajwani and P\'al construct a power structure on $\mathrm{GW}(k)$ and show that the compactly supported $\mathbb{A}^1$-Euler characteristic respects these two power structures for $0$-dimensional varieties, or equivalently \'etale $k$-algebras. In this paper, we define the class $\mathrm{Sym}_k$ of symmetrisable varieties to be those varieties for which the compactly supported $\mathbb{A}^1$-Euler characteristic respects the power structures and study the algebraic properties of $\mathrm{K}_0(\mathrm{Sym}_k)$. We show that it includes all cellular varieties, and even linear varieties as introduced by Totaro. Moreover, we show that it includes non-linear varieties such as elliptic curves. As an application of our main result, we compute the compactly supported $\mathbb{A}^1$-Euler characteristics of symmetric powers of Grassmannians and certain del Pezzo surfaces.


title: Data-driven stabilization of an oscillating flow with LTI controllers

abstract: This paper presents advances towards the data-based control of periodic oscillator flows, from their fully-developed regime to their equilibrium stabilized in closed-loop, with linear time-invariant (LTI) controllers. The proposed approach directly builds upon Leclercq et al. (2019) and provides several improvements for an efficient online implementation, aimed at being applicable in experiments. First, we use input-output data to construct an LTI mean transfer functions of the flow. The model is subsequently used for the design of an LTI controller with Linear Quadratic Gaussian (LQG) synthesis, that is practical to automate online. Then, using the controller in a feedback loop, the flow shifts in phase space and oscillations are damped. The procedure is repeated until equilibrium is reached, by stacking controllers and performing balanced truncation to deal with the increasing order of the compound controller. In this article, we illustrate the method on the classic flow past a cylinder at Reynolds number Re=100. Care has been taken such that the method may be fully automated and hopefully used as a valuable tool in a forthcoming experiment.


title: Thematic Analysis with Large Language Models: does it work with languages other than English? A targeted test in Italian

abstract: This paper proposes a test to perform Thematic Analysis (TA) with Large Language Model (LLM) on data which is in a different language than English. While there has been initial promising work on using pre-trained LLMs for TA on data in English, we lack any tests on whether these models can reasonably perform the same analysis with good quality in other language. In this paper a test will be proposed using an open access dataset of semi-structured interviews in Italian. The test shows that a pre-trained model can perform such a TA on the data, also using prompts in Italian. A comparative test shows the model capacity to produce themes which have a good resemblance with those produced independently by human researchers. The main implication of this study is that pre-trained LLMs may thus be suitable to support analysis in multilingual situations, so long as the language is supported by the model used.


title: SpectralMamba: Efficient Mamba for Hyperspectral Image Classification

abstract: Recurrent neural networks and Transformers have recently dominated most applications in hyperspectral (HS) imaging, owing to their capability to capture long-range dependencies from spectrum sequences. However, despite the success of these sequential architectures, the non-ignorable inefficiency caused by either difficulty in parallelization or computationally prohibitive attention still hinders their practicality, especially for large-scale observation in remote sensing scenarios. To address this issue, we herein propose SpectralMamba -- a novel state space model incorporated efficient deep learning framework for HS image classification. SpectralMamba features the simplified but adequate modeling of HS data dynamics at two levels. First, in spatial-spectral space, a dynamical mask is learned by efficient convolutions to simultaneously encode spatial regularity and spectral peculiarity, thus attenuating the spectral variability and confusion in discriminative representation learning. Second, the merged spectrum can then be efficiently operated in the hidden state space with all parameters learned input-dependent, yielding selectively focused responses without reliance on redundant attention or imparallelizable recurrence. To explore the room for further computational downsizing, a piece-wise scanning mechanism is employed in-between, transferring approximately continuous spectrum into sequences with squeezed length while maintaining short- and long-term contextual profiles among hundreds of bands. Through extensive experiments on four benchmark HS datasets acquired by satellite-, aircraft-, and UAV-borne imagers, SpectralMamba surprisingly creates promising win-wins from both performance and efficiency perspectives.


title: SemHARQ: Semantic-Aware HARQ for Multi-task Semantic Communications

abstract: Intelligent task-oriented semantic communications (SemComs) have witnessed great progress with the development of deep learning (DL). In this paper, we propose a semantic-aware hybrid automatic repeat request (SemHARQ) framework for the robust and efficient transmissions of semantic features. First, to improve the robustness and effectiveness of semantic coding, a multi-task semantic encoder is proposed. Meanwhile, a feature importance ranking (FIR) method is investigated to ensure the important features delivery under limited channel resources. Then, to accurately detect the possible transmission errors, a novel feature distortion evaluation (FDE) network is designed to identify the distortion level of each feature, based on which an efficient HARQ method is proposed. Specifically, the corrupted features are retransmitted, where the remaining channel resources are used for incremental transmissions. The system performance is evaluated under different channel conditions in multi-task scenarios in Internet of Vehicles. Extensive experiments show that the proposed framework outperforms state-of-the-art works by more than 20% in rank-1 accuracy for vehicle re-identification, and 10% in vehicle color classification accuracy in the low signal-to-noise ratio regime.


title: Mitigating Language-Level Performance Disparity in mPLMs via Teacher Language Selection and Cross-lingual Self-Distillation

abstract: Large-scale multilingual Pretrained Language Models (mPLMs) yield impressive performance on cross-language tasks, yet significant performance disparities exist across different languages within the same mPLM. Previous studies endeavored to narrow these disparities by supervise fine-tuning the mPLMs with multilingual data. However, obtaining labeled multilingual data is time-consuming, and fine-tuning mPLM with limited labeled multilingual data merely encapsulates the knowledge specific to the labeled data. Therefore, we introduce ALSACE to leverage the learned knowledge from the well-performing languages to guide under-performing ones within the same mPLM, eliminating the need for additional labeled multilingual data. Experiments show that ALSACE effectively mitigates language-level performance disparity across various mPLMs while showing the competitive performance on different multilingual NLU tasks, ranging from full resource to limited resource settings. The code for our approach is available at https://github.com/pkunlp-icler/ALSACE.


title: Strategic Interactions between Large Language Models-based Agents in Beauty Contests

abstract: The growing adoption of large language models (LLMs) presents substantial potential for deeper understanding of human behaviours within game theory frameworks through simulations. Leveraging on the diverse pool of LLM types and addressing the gap in research on competitive games, this paper examines the strategic interactions among multiple types of LLM-based agents in a classical game of beauty contest. Drawing parallels to experiments involving human subjects, LLM-based agents are assessed similarly in terms of strategic levels. They demonstrate varying depth of reasoning that falls within a range of level-0 and 1, and show convergence in actions in repeated settings. Furthermore, I also explore how variations in group composition of agent types influence strategic behaviours, where I found higher proportion of fixed-strategy opponents enhances convergence for LLM-based agents, and having a mixed environment with agents of differing relative strategic levels accelerates convergence for all agents. There could also be higher average payoffs for the more intelligent agents, albeit at the expense of the less intelligent agents. These results not only provide insights into outcomes for simulated agents under specified scenarios, it also offer valuable implications for understanding strategic interactions between algorithms.


title: Projected Augmented Waves (PAW) inspired mixed basis sets for small molecules

abstract: The success behind many pseudopotential methods such as Projected Augmented Waves (PAW) and Phillips-Kleinman pseudopotential methods is that these methods are all electron methods in disguise. For the Phillips Kleinman and PAW methods we show that there is an all electron formulation. In the all electron formulation there are regular low wavevector wavefunctions and several, specially chosen, high wavevector wavefunctions that are specialized to the atomic environment. Using this as inspiration here we propose a new, PAW pseudopotential inspired, basis set method for small molecules, where we use the recently introduced LO or lo (Localized orbitals) basis set is paired with a Gaussian basis for a hybrid basis for small molecules.


title: Almost-Sure Termination by Guarded Refinement

abstract: Almost-sure termination is an important correctness property for probabilistic programs, and a number of program logics have been developed for establishing it. However, these logics have mostly been developed for first-order programs written in languages with specific syntactic patterns for looping. In this paper, we consider almost-sure termination for higher-order probabilistic programs with general references. This combination of features allows for recursion and looping to be encoded through a variety of patterns. Therefore, rather than developing proof rules for reasoning about particular recursion patterns, we instead propose an approach based on proving refinement between a higher-order program and a simpler probabilistic model, in such a way that the refinement preserves termination behavior. By proving a refinement, almost-sure termination behavior of the program can then be established by analyzing the simpler model. We present this approach in the form of Caliper, a higher-order separation logic for proving termination-preserving refinements. Caliper uses probabilistic couplings to carry out relational reasoning between a program and a model. To handle the range of recursion patterns found in higher-order programs, Caliper uses guarded recursion, in particular the principle of L\"ob induction. A technical novelty is that Caliper does not require the use of transfinite step indexing or other technical restrictions found in prior work on guarded recursion for termination-preservation refinement. We demonstrate the flexibility of this approach by proving almost-sure termination of several examples, including first-order loop constructs, a random list generator, treaps, and a sampler for Galton-Watson trees that uses higher-order store. All the results have been mechanized in the Coq proof assistant.


title: Dataset Reset Policy Optimization for RLHF

abstract: Reinforcement Learning (RL) from Human Preference-based feedback is a popular paradigm for fine-tuning generative models, which has produced impressive models such as GPT-4 and Claude3 Opus. This framework often consists of two steps: learning a reward model from an offline preference dataset followed by running online RL to optimize the learned reward model. In this work, leveraging the idea of reset, we propose a new RLHF algorithm with provable guarantees. Motivated by the fact that offline preference dataset provides informative states (i.e., data that is preferred by the labelers), our new algorithm, Dataset Reset Policy Optimization (DR-PO), integrates the existing offline preference dataset into the online policy training procedure via dataset reset: it directly resets the policy optimizer to the states in the offline dataset, instead of always starting from the initial state distribution. In theory, we show that DR-PO learns to perform at least as good as any policy that is covered by the offline dataset under general function approximation with finite sample complexity. In experiments, we demonstrate that on both the TL;DR summarization and the Anthropic Helpful Harmful (HH) dataset, the generation from DR-PO is better than that from Proximal Policy Optimization (PPO) and Direction Preference Optimization (DPO), under the metric of GPT4 win-rate. Code for this work can be found at https://github.com/Cornell-RL/drpo.


title: Abelian varieties that split modulo all but finitely many primes

abstract: Let $A$ be a simple abelian variety over a number field $k$ such that $\operatorname{End}(A)$ is noncommutative. We show that $A$ splits modulo all but finitely many primes of $k$. We prove this by considering the subalgebras of $\operatorname{End}(A_{\mathfrak p})\otimes\mathbb{Q}$ which have prime Schur index. Our main tools are Tate's characterization of endomorphism algebras of abelian varieties over finite fields, and a Theorem of Chia-Fu Yu on embeddings of simple algebras.


title: Prescribing Optimal Health-Aware Operation for Urban Air Mobility with Deep Reinforcement Learning

abstract: Urban Air Mobility (UAM) aims to expand existing transportation networks in metropolitan areas by offering short flights either to transport passengers or cargo. Electric vertical takeoff and landing aircraft powered by lithium-ion battery packs are considered promising for such applications. Efficient mission planning is cru-cial, maximizing the number of flights per battery charge while ensuring completion even under unforeseen events. As batteries degrade, precise mission planning becomes challenging due to uncertainties in the end-of-discharge prediction. This often leads to adding safety margins, reducing the number or duration of po-tential flights on one battery charge. While predicting the end of discharge can support decision-making, it remains insufficient in case of unforeseen events, such as adverse weather conditions. This necessitates health-aware real-time control to address any unexpected events and extend the time until the end of charge while taking the current degradation state into account. This paper addresses the joint problem of mission planning and health-aware real-time control of opera-tional parameters to prescriptively control the duration of one discharge cycle of the battery pack. We pro-pose an algorithm that proactively prescribes operational parameters to extend the discharge cycle based on the battery's current health status while optimizing the mission. The proposed deep reinforcement learn-ing algorithm facilitates operational parameter optimization and path planning while accounting for the degradation state, even in the presence of uncertainties. Evaluation of simulated flights of a NASA concep-tual multirotor aircraft model, collected from Hardware-in-the-loop experiments, demonstrates the algo-rithm's near-optimal performance across various operational scenarios, allowing adaptation to changed en-vironmental conditions.


title: Two-dimensional XY Ferromagnet Induced by Long-range Interaction

abstract: The crossover between short-range and long-range (LR) universal behaviors remains a central theme in the physics of long-range interacting systems. The competition between LR coupling and the Berezinskii-Kosterlitz-Thouless mechanism makes the problem more subtle and less understood in the two-dimensional (2D) XY model, a cornerstone for investigating low-dimensional phenomena and their implications in quantum computation. We study the 2D XY model with algebraically decaying interaction $\sim1/r^{2+\sigma}$. Utilizing an advanced update strategy, we conduct large-scale Monte Carlo simulations of the model up to a linear size of $L=8192$. Our results demonstrate continuous phase transitions into a ferromagnetic phase for $\sigma \leq 2$, which exhibits the simultaneous emergence of a long-ranged order and a power-law decaying correlation function due to the Goldstone mode. Furthermore, we find logarithmic scaling behaviors in the low-temperature phase at $\sigma = 2$. The observed scaling behaviors in the low-temperature phase for $\sigma \le 2$ agree with our theoretical analysis. Our findings request further theoretical understandings and can be of practical application in cutting-edge experiments like Rydberg atom arrays.


title: Generalized Hydrodynamics for the Volterra lattice: Ballistic and nonballistic behavior of correlation functions

abstract: In recent years, a lot of effort has been put in describing the hydrodynamic behavior of integrable systems. In this paper, we describe such picture for the Volterra lattice. Specifically, we are able to explicitly compute the susceptibility matrix and the current-field correlation matrix in terms of the density of states of the Volterra lattice endowed with a Generalized Gibbs ensemble. Furthermore, we apply the theory of linear Generalized Hydrodynamics to describe the Euler scale behavior of the correlation functions. We anticipate that the solution to the Generalized Hydrodynamics equations develops shocks at $\xi_0=\frac{x}{t}$; so this linear approximation does not fully describe the behavior of correlation functions. Intrigued but this fact, we performed several numerical investigations which show that, exactly when the solution to the hydrodynamic equations develops shock, the correlation functions show an highly oscillatory behavior. In view of this empirical observation, we believe that at this point $\xi_0$ the diffusive contribution are not sub-leading corrections to the ballistic transport, but they are of the same order.

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


title: Algebraic rates of stability for front-type modulated waves in Ginzburg Landau equations

abstract: We consider the stability of front-type modulated waves in the complex Ginzburg-Landau equation (CGL). The waves occur in the bistable regime (e.g. of the quintic CGL) and connect the zero state to a spatially homogenous state oscillating in time. For initial perturbations that decay at a certain algebraic rate, we prove convergence to the wave with asymptotic phase. The convergence holds in algebraically weighted Sobolev norms and with an algebraic rate in time, where the asymptotic phase is approached by one order less than the profile. On the technical side we use the theory of exponential trichotomies to separate the spatial modes into growing, weakly decaying, and strongly decaying ones. This allows us to derive resolvent and semigroup estimates in weighted Sobolev norms and to close the argument with a Gronwall lemma involving algebraic weights.


title: Analyzing and Overcoming Local Optima in Complex Multi-Objective Optimization by Decomposition-Based Evolutionary Algorithms

abstract: When addressing the challenge of complex multi-objective optimization problems, particularly those with non-convex and non-uniform Pareto fronts, Decomposition-based Multi-Objective Evolutionary Algorithms (MOEADs) often converge to local optima, thereby limiting solution diversity. Despite its significance, this issue has received limited theoretical exploration. Through a comprehensive geometric analysis, we identify that the traditional method of Reference Point (RP) selection fundamentally contributes to this challenge. In response, we introduce an innovative RP selection strategy, the Weight Vector-Guided and Gaussian-Hybrid method, designed to overcome the local optima issue. This approach employs a novel RP type that aligns with weight vector directions and integrates a Gaussian distribution to combine three distinct RP categories. Our research comprises two main experimental components: an ablation study involving 14 algorithms within the MOEADs framework, spanning from 2014 to 2022, to validate our theoretical framework, and a series of empirical tests to evaluate the effectiveness of our proposed method against both traditional and cutting-edge alternatives. Results demonstrate that our method achieves remarkable improvements in both population diversity and convergence.


title: Twisted correlations of the divisor function via discrete averages of $\operatorname{SL}_2(\mathbb{R})$ Poincar\'e series

abstract: We prove a theorem that allows one to count solutions to determinant equations twisted by a periodic weight with high uniformity in the modulus. It is obtained by using spectral methods of $\operatorname{SL}_2(\mathbb{R})$ automorphic forms to study Poincar\'e series over congruence subgroups. By keeping track of interactions between multiple orbits we get advantages over the widely used sums of Kloosterman sums techniques. We showcase this with applications to correlations of the divisor functions twisted by periodic functions and the fourth moment of Dirichlet $L$-functions on the critical line.


title: A modified Polak-Ribiere-Polyak type conjugate gradient method with two stepsize strategies for vector optimization

abstract: In this paper, in order to find critical points of vector-valued functions with respect to the partial order induced by a closed, convex, and pointed cone with nonempty interior, we propose a nonlinear modified Polak-Ribiere-Polyak type conjugate gradient method with a nonnegative conjugate parameter. We show that the search direction in our method satisfies the sufficient descent condition independent of any line search. Furthermore, under mild assumptions, we obtain the results of global convergence with the standard Wolfe line search conditions as well as the standard Armijo line search strategy without convexity assumption of the objective functions. Computational experiments are given to show the effectiveness of the proposed method.


title: 3D Human Scan With A Moving Event Camera

abstract: Capturing a 3D human body is one of the important tasks in computer vision with a wide range of applications such as virtual reality and sports analysis. However, conventional frame cameras are limited by their temporal resolution and dynamic range, which imposes constraints in real-world application setups. Event cameras have the advantages of high temporal resolution and high dynamic range (HDR), but the development of event-based methods is necessary to handle data with different characteristics. This paper proposes a novel event-based method for 3D pose estimation and human mesh recovery. Prior work on event-based human mesh recovery require frames (images) as well as event data. The proposed method solely relies on events; it carves 3D voxels by moving the event camera around a stationary body, reconstructs the human pose and mesh by attenuated rays, and fit statistical body models, preserving high-frequency details. The experimental results show that the proposed method outperforms conventional frame-based methods in the estimation accuracy of both pose and body mesh. We also demonstrate results in challenging situations where a conventional camera has motion blur. This is the first to demonstrate event-only human mesh recovery, and we hope that it is the first step toward achieving robust and accurate 3D human body scanning from vision sensors. https://florpeng.github.io/event-based-human-scan/


title: Hamiltonian Carleman Approximation of the Calogero-Moser Space

abstract: We derive the Hamiltonian tangential Carleman approximation for the complex Calogero-Moser space $\mathcal{C}_n$ with a non-compact real form $\mathcal{C}_n^{\mathbb{R}}$, using the symplectic density property of $\mathcal{C}_n$. The Hamiltonian tangential Carleman approximation means to approximate symplectic diffeomorphisms of $\mathcal{C}_n^{\mathbb{R}}$ which are smoothly isotopic to the identity by symplectic holomorphic automorphisms of $\mathcal{C}_n$ which in addition preserve the real form $\mathcal{C}_n^{\mathbb{R}}$. This appproximation is in the strongest topology, in the fine Whitney topology.


title: LaSagnA: Language-based Segmentation Assistant for Complex Queries

abstract: Recent advancements have empowered Large Language Models for Vision (vLLMs) to generate detailed perceptual outcomes, including bounding boxes and masks. Nonetheless, there are two constraints that restrict the further application of these vLLMs: the incapability of handling multiple targets per query and the failure to identify the absence of query objects in the image. In this study, we acknowledge that the main cause of these problems is the insufficient complexity of training queries. Consequently, we define the general sequence format for complex queries. Then we incorporate a semantic segmentation task in the current pipeline to fulfill the requirements of training data. Furthermore, we present three novel strategies to effectively handle the challenges arising from the direct integration of the proposed format. The effectiveness of our model in processing complex queries is validated by the comparable results with conventional methods on both close-set and open-set semantic segmentation datasets. Additionally, we outperform a series of vLLMs in reasoning and referring segmentation, showcasing our model's remarkable capabilities. We release the code at https://github.com/congvvc/LaSagnA.


title: A generalizable method for estimating meteor shower false positives

abstract: Context. The determination of meteor shower or parent body associations is inherently a statistical problem. Traditional methods, primarily the similarity discriminants, have limitations, particularly in handling the increasing volume and complexity of meteoroid orbit data. Aims. We aim to introduce a new, more statistically robust and generalizable method for estimating false positive detections in meteor shower identification, leveraging Kernel Density Estimation (KDE). Methods. Utilizing a dataset of 824 fireballs observed by the European Fireball Network, we apply a multivariate Gaussian kernel within KDE and z-score data normalization. Our method analyzes the parameter space of meteoroid orbits and geocentric impact characteristics, focusing on four different similarity discriminants: DSH, D', DH, and DN. Results. The KDE methodology consistently converges towards a true established shower-associated fireball rate within the EFN dataset of 18-25% for all criteria. This indicates that the approach provides a more statistically robust estimate of the shower-associated component. Conclusions. Our findings highlight the potential of KDE, combined with appropriate data normalization, in enhancing the accuracy and reliability of meteor shower analysis. This method addresses the existing challenges posed by traditional similarity discriminants and offers a versatile solution adaptable to varying datasets and parameters.


title: Parton Distribution Functions and Their Impact on Precision of the Current Theory Calculations

abstract: The unprecedented precision of experimental measurements at the Large Hadron Collider (LHC) and the increased statistics that will be reached in the High-Luminosity phase of the LHC (HL-LHC) are pushing the phenomenology community to a new precision frontier, in which new challenges present themselves and new questions arise. A key ingredients of theoretical predictions at hadron colliders are the Parton Distribution Functions (PDFs) of the proton. This contribution highlights some of the new developments in the determination of PDFs from a global set of experimental data, from approximate N3LO PDFs and the inclusion of theory uncertainties in PDF fits, to the realisation of the non trivial interplay between parton densities at large-x and possible signals of New Physics in high energy tails of the distributions, which highlights the synergy between high energy and low energy experimental programs.


title: Efficient Interactive LLM Serving with Proxy Model-based Sequence Length Prediction

abstract: Large language models (LLMs) have been driving a new wave of interactive AI applications across numerous domains. However, efficiently serving LLM inference requests is challenging due to their unpredictable execution times originating from the autoregressive nature of generative models. Existing LLM serving systems exploit first-come-first-serve (FCFS) scheduling, suffering from head-of-line blocking issues. To address the non-deterministic nature of LLMs and enable efficient interactive LLM serving, we present a speculative shortest-job-first (SSJF) scheduler that uses a light proxy model to predict LLM output sequence lengths. Our open-source SSJF implementation does not require changes to memory management or batching strategies. Evaluations on real-world datasets and production workload traces show that SSJF reduces average job completion times by 30.5-39.6% and increases throughput by 2.2-3.6x compared to FCFS schedulers, across no batching, dynamic batching, and continuous batching settings.


title: First combined tuning on transverse kinematic imbalance data with and without pion production constraints

abstract: We present the first global tuning, using GENIE, of four transverse kinematic imbalance measurements of neutrino-hydrocarbon scattering, both with and without pion final states, from the T2K and MINERvA experiments. As a proof of concept, we have simultaneously tuned the initial state and final-state interaction models (SF-LFG and hA, respectively), producing a new effective theory that more accurately describes the data.


title: Leveraging Multi-AI Agents for Cross-Domain Knowledge Discovery

abstract: In the rapidly evolving field of artificial intelligence, the ability to harness and integrate knowledge across various domains stands as a paramount challenge and opportunity. This study introduces a novel approach to cross-domain knowledge discovery through the deployment of multi-AI agents, each specialized in distinct knowledge domains. These AI agents, designed to function as domain-specific experts, collaborate in a unified framework to synthesize and provide comprehensive insights that transcend the limitations of single-domain expertise. By facilitating seamless interaction among these agents, our platform aims to leverage the unique strengths and perspectives of each, thereby enhancing the process of knowledge discovery and decision-making. We present a comparative analysis of the different multi-agent workflow scenarios evaluating their performance in terms of efficiency, accuracy, and the breadth of knowledge integration. Through a series of experiments involving complex, interdisciplinary queries, our findings demonstrate the superior capability of domain specific multi-AI agent system in identifying and bridging knowledge gaps. This research not only underscores the significance of collaborative AI in driving innovation but also sets the stage for future advancements in AI-driven, cross-disciplinary research and application. Our methods were evaluated on a small pilot data and it showed a trend we expected, if we increase the amount of data we custom train the agents, the trend is expected to be more smooth.


title: Convergence properties of dynamic mode decomposition for analytic interval maps

abstract: Extended dynamic mode decomposition (EDMD) is a data-driven algorithm for approximating spectral data of the Koopman operator associated to a dynamical system, combining a Galerkin method of order N and collocation method of order M. Spectral convergence of this method subtly depends on appropriate choice of the space of observables. For chaotic analytic full branch maps of the interval, we derive a constraint between M and N guaranteeing spectral convergence of EDMD.


title: Adversarial Imitation Learning via Boosting

abstract: Adversarial imitation learning (AIL) has stood out as a dominant framework across various imitation learning (IL) applications, with Discriminator Actor Critic (DAC) (Kostrikov et al.,, 2019) demonstrating the effectiveness of off-policy learning algorithms in improving sample efficiency and scalability to higher-dimensional observations. Despite DAC's empirical success, the original AIL objective is on-policy and DAC's ad-hoc application of off-policy training does not guarantee successful imitation (Kostrikov et al., 2019; 2020). Follow-up work such as ValueDICE (Kostrikov et al., 2020) tackles this issue by deriving a fully off-policy AIL objective. Instead in this work, we develop a novel and principled AIL algorithm via the framework of boosting. Like boosting, our new algorithm, AILBoost, maintains an ensemble of properly weighted weak learners (i.e., policies) and trains a discriminator that witnesses the maximum discrepancy between the distributions of the ensemble and the expert policy. We maintain a weighted replay buffer to represent the state-action distribution induced by the ensemble, allowing us to train discriminators using the entire data collected so far. In the weighted replay buffer, the contribution of the data from older policies are properly discounted with the weight computed based on the boosting framework. Empirically, we evaluate our algorithm on both controller state-based and pixel-based environments from the DeepMind Control Suite. AILBoost outperforms DAC on both types of environments, demonstrating the benefit of properly weighting replay buffer data for off-policy training. On state-based environments, DAC outperforms ValueDICE and IQ-Learn (Gary et al., 2021), achieving competitive performance with as little as one expert trajectory.


title: NIR-Assisted Image Denoising: A Selective Fusion Approach and A Real-World Benchmark Dataset

abstract: Despite the significant progress in image denoising, it is still challenging to restore fine-scale details while removing noise, especially in extremely low-light environments. Leveraging near-infrared (NIR) images to assist visible RGB image denoising shows the potential to address this issue, becoming a promising technology. Nonetheless, existing works still struggle with taking advantage of NIR information effectively for real-world image denoising, due to the content inconsistency between NIR-RGB images and the scarcity of real-world paired datasets. To alleviate the problem, we propose an efficient Selective Fusion Module (SFM), which can be plug-and-played into the advanced denoising networks to merge the deep NIR-RGB features. Specifically, we sequentially perform the global and local modulation for NIR and RGB features, and then integrate the two modulated features. Furthermore, we present a Real-world NIR-Assisted Image Denoising (Real-NAID) dataset, which covers diverse scenarios as well as various noise levels. Extensive experiments on both synthetic and our real-world datasets demonstrate that the proposed method achieves better results than state-of-the-art ones. The dataset, codes, and pre-trained models will be publicly available at https://github.com/ronjonxu/NAID.


title: ChatGPT and general-purpose AI count fruits in pictures surprisingly well

abstract: Object counting is a popular task in deep learning applications in various domains, including agriculture. A conventional deep learning approach requires a large amount of training data, often a logistic problem in a real-world application. To address this issue, we examined how well ChatGPT (GPT4V) and a general-purpose AI (foundation model for object counting, T-Rex) can count the number of fruit bodies (coffee cherries) in 100 images. The foundation model with few-shot learning outperformed the trained YOLOv8 model (R2 = 0.923 and 0.900, respectively). ChatGPT also showed some interesting potential, especially when few-shot learning with human feedback was applied (R2 = 0.360 and 0.460, respectively). Moreover, we examined the time required for implementation as a practical question. Obtaining the results with the foundation model and ChatGPT were much shorter than the YOLOv8 model (0.83 hrs, 1.75 hrs, and 161 hrs). We interpret these results as two surprises for deep learning users in applied domains: a foundation model with few-shot domain-specific learning can drastically save time and effort compared to the conventional approach, and ChatGPT can reveal a relatively good performance. Both approaches do not need coding skills, which can foster AI education and dissemination.


title: Rate-Splitting Multiple Access for Non-Orthogonal Unicast Multicast: An Experimental Study

abstract: Non-orthogonal unicast multicast (NOUM) is a variant of multi-antenna multi-user communications where the users desire a shared message (multicast) in addition to their respective unique messages (unicast). The multicast rate is capped in many emerging NOUM applications, such as live-event broadcasting, location-based services and vehicular communications. Given this constraint, we experimentally show that when the user channels are highly correlated, Rate-Splitting Multiple Access (RSMA)-based NOUM can meet the multicast rate while supporting a larger unicast sum rate than conventional multi-user linear precoding (MULP)-based NOUM.


title: Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forward

abstract: While Large Language Models (LLMs) have seen widespread applications across numerous fields, their limited interpretability poses concerns regarding their safe operations from multiple aspects, e.g., truthfulness, robustness, and fairness. Recent research has started developing quality assurance methods for LLMs, introducing techniques such as offline detector-based or uncertainty estimation methods. However, these approaches predominantly concentrate on post-generation analysis, leaving the online safety analysis for LLMs during the generation phase an unexplored area. To bridge this gap, we conduct in this work a comprehensive evaluation of the effectiveness of existing online safety analysis methods on LLMs. We begin with a pilot study that validates the feasibility of detecting unsafe outputs in the early generation process. Following this, we establish the first publicly available benchmark of online safety analysis for LLMs, including a broad spectrum of methods, models, tasks, datasets, and evaluation metrics. Utilizing this benchmark, we extensively analyze the performance of state-of-the-art online safety analysis methods on both open-source and closed-source LLMs. This analysis reveals the strengths and weaknesses of individual methods and offers valuable insights into selecting the most appropriate method based on specific application scenarios and task requirements. Furthermore, we also explore the potential of using hybridization methods, i.e., combining multiple methods to derive a collective safety conclusion, to enhance the efficacy of online safety analysis for LLMs. Our findings indicate a promising direction for the development of innovative and trustworthy quality assurance methodologies for LLMs, facilitating their reliable deployments across diverse domains.


title: A systematic approach to Diophantine equations: open problems

abstract: This paper collects polynomial Diophantine equations that are amazingly simple to write down but are apparently difficult to solve.


title: Non-discrimination law in Europe: a primer for non-lawyers

abstract: This brief paper provides an introduction to non-discrimination law in Europe. It answers the questions: What are the key characteristics of non-discrimination law in Europe, and how do the different statutes relate to one another? Our main target group is computer scientists and users of artificial intelligence (AI) interested in an introduction to non-discrimination law in Europe. Notably, non-discrimination law in Europe differs significantly from non-discrimination law in other countries, such as the US. We aim to describe the law in such a way that non-lawyers and non-European lawyers can easily grasp its contents and challenges. The paper shows that the human right to non-discrimination, to some extent, protects individuals against private actors, such as companies. We introduce the EU-wide non-discrimination rules which are included in a number of EU directives, and also explain the difference between direct and indirect discrimination. Significantly, an organization can be fined for indirect discrimination even if the company, or its AI system, discriminated by accident. The last section broadens the horizon to include bias-relevant law and cases from the GDPR, the EU AI Act, and related statutes. Finally, we give reading tips for those inclined to learn more about non-discrimination law in Europe.


title: An improved spectral lower bound of treewidth

abstract: We show that for every $n$-vertex graph with at least one edge, its treewidth is greater than or equal to $n \lambda_{2} / (\Delta + \lambda_{2}) - 1$, where $\Delta$ and $\lambda_{2}$ are the maximum degree and the second smallest Laplacian eigenvalue of the graph, respectively. This lower bound improves the one by Chandran and Subramanian [Inf. Process. Lett., 2003] and the subsequent one by the authors of the present paper [IEICE Trans. Inf. Syst., 2024]. The new lower bound is almost tight in the sense that there is an infinite family of graphs such that the lower bound is only $1$ less than the treewidth for each graph in the family. Additionally, using similar techniques, we also present a lower bound of treewidth in terms of the largest and the second smallest Laplacian eigenvalues.


title: The magnetism measurements of the two-dimensional van der Waals antiferromagnet CrPS4 using dynamic cantilever magnetometry

abstract: The exploration of van der Waals (vdWs) magnetic materials has sparked great interest in spintronics. However, conventional methods often face challenges in characterizing the magnetic properties of small-sized vdWs materials, especially for antiferromagnets with extremely small magnetic moments. Here, we demonstrate the efficacy of dynamic cantilever magnetometry (DCM) in characterizing the magnetic properties of vdWs magnets, using an antiferromagnetic semiconductor CrPS4. We observe continuous spin axis rotation under a magnetic field, accurately modelled by considering the existance of marked magnetic anisotropies. Furthermore, the dominance of out-of-plane magnetic anisotropy in spin reorientation behavior at low temperatures transitions to the prevalence of in-plane anisotropy with increasing temperature, leading to a sign reversal of the frequency shift in measurements. The peculiar magnetic phase transitions make CrPS4 an intriguing platform for studying two-dimensional magnetism. Our findings underscore the effectiveness of DCM in characterizing magnetic anisotropies and phase transitions in vdWs magnets.


title: Fuxi-DA: A Generalized Deep Learning Data Assimilation Framework for Assimilating Satellite Observations

abstract: Data assimilation (DA), as an indispensable component within contemporary Numerical Weather Prediction (NWP) systems, plays a crucial role in generating the analysis that significantly impacts forecast performance. Nevertheless, the development of an efficient DA system poses significant challenges, particularly in establishing intricate relationships between the background data and the vast amount of multi-source observation data within limited time windows in operational settings. To address these challenges, researchers design complex pre-processing methods for each observation type, leveraging approximate modeling and the power of super-computing clusters to expedite solutions. The emergence of deep learning (DL) models has been a game-changer, offering unified multi-modal modeling, enhanced nonlinear representation capabilities, and superior parallelization. These advantages have spurred efforts to integrate DL models into various domains of weather modeling. Remarkably, DL models have shown promise in matching, even surpassing, the forecast accuracy of leading operational NWP models worldwide. This success motivates the exploration of DL-based DA frameworks tailored for weather forecasting models. In this study, we introduces FuxiDA, a generalized DL-based DA framework for assimilating satellite observations. By assimilating data from Advanced Geosynchronous Radiation Imager (AGRI) aboard Fengyun-4B, FuXi-DA consistently mitigates analysis errors and significantly improves forecast performance. Furthermore, through a series of single-observation experiments, Fuxi-DA has been validated against established atmospheric physics, demonstrating its consistency and reliability.


title: Advancing Forest Fire Prevention: Deep Reinforcement Learning for Effective Firebreak Placement

abstract: Over the past decades, the increase in both frequency and intensity of large-scale wildfires due to climate change has emerged as a significant natural threat. The pressing need to design resilient landscapes capable of withstanding such disasters has become paramount, requiring the development of advanced decision-support tools. Existing methodologies, including Mixed Integer Programming, Stochastic Optimization, and Network Theory, have proven effective but are hindered by computational demands, limiting their applicability. In response to this challenge, we propose using artificial intelligence techniques, specifically Deep Reinforcement Learning, to address the complex problem of firebreak placement in the landscape. We employ value-function based approaches like Deep Q-Learning, Double Deep Q-Learning, and Dueling Double Deep Q-Learning. Utilizing the Cell2Fire fire spread simulator combined with Convolutional Neural Networks, we have successfully implemented a computational agent capable of learning firebreak locations within a forest environment, achieving good results. Furthermore, we incorporate a pre-training loop, initially teaching our agent to mimic a heuristic-based algorithm and observe that it consistently exceeds the performance of these solutions. Our findings underscore the immense potential of Deep Reinforcement Learning for operational research challenges, especially in fire prevention. Our approach demonstrates convergence with highly favorable results in problem instances as large as 40 x 40 cells, marking a significant milestone in applying Reinforcement Learning to this critical issue. To the best of our knowledge, this study represents a pioneering effort in using Reinforcement Learning to address the aforementioned problem, offering promising perspectives in fire prevention and landscape management


title: Active nematic liquid crystals under a quenched random field

abstract: Coupling between flow and orientation is a central issue in understanding the collective dynamics of active biofilaments and cells. Active stressess generated by motor activity destroy (quasi-)long-range orientational order and induce chaotic vortex flows. In cellular and subcellular environment, alignment is also hindered by heterogeneous filamentous structures in extracellular matrix and various organelles in a cell. Here we address the effects of a quenched random field on the flow patterns and orientational order in two-dimensional active nematic liquid crystals. We found that the director dynamics is frozen above a critical disorder strength. For sufficiently strong randomness, the orientational correlation function decays exponentially with the distance, reproducing the behavior of passive random-field nematics. In contrast, the flow velocity decreases only gradually as the randomness is increased, and develops a logarithmic spatial correlation for strong disorder. The threshold between the activity- and disorder-dominated regimes is specified and its dependence on the activity parameter is discussed.


title: Automatic Recommendations for Evolving Relational Databases Schema

abstract: Relational databases play a central role in many information systems. Their schema contains structural (e.g. tables and columns) and behavioral (e.g. stored procedures or views) entity descriptions. Then, just like for ``normal'' software, changes in legislation, offered functionalities, or functional contexts, impose to evolve databases and their schemas. But in some scenarios, it is not so easy to deconstruct a wished evolution of the schema into a precise sequence of operations. Changing a database schema may impose manually dropping and recreating dependent entities, or manually searching for dependencies in stored procedures. This is important because getting even the order of application of the operators can be difficult and have profound consequences. This meta-model allows us to compute the impact of planned changes and recommend additional changes that will ensure that the RDBMS constraints are always verified. The recommendations can then be compiled into a valid SQL patch actually updating the database schema in an orderly way. We replicated a past evolution showing that, without detailed knowledge of the database, we could perform the same change in 75\% less time than the expert database architect. We also exemplify the use of our approach on other planned changes.


title: Masked Image Modeling as a Framework for Self-Supervised Learning across Eye Movements

abstract: To make sense of their surroundings, intelligent systems must transform complex sensory inputs to structured codes that are reduced to task-relevant information such as object category. Biological agents achieve this in a largely autonomous manner, presumably via self-\allowbreak super-\allowbreak vised learning. Whereas previous attempts to model the underlying mechanisms were largely discriminative in nature, there is ample evidence that the brain employs a generative model of the world. Here, we propose that eye movements, in combination with the focused nature of primate vision, constitute a generative, self-supervised task of predicting and revealing visual information. We construct a proof-of-principle model starting from the framework of masked image modeling (MIM), a common approach in deep representation learning. To do so, we analyze how core components of MIM such as masking technique and data augmentation influence the formation of category-specific representations. This allows us not only to better understand the principles behind MIM, but to then reassemble a MIM more in line with the focused nature of biological perception. From a theoretical angle, we find that MIM disentangles neurons in latent space, a property that has been suggested to structure visual representations in primates, without explicit regulation. Together with previous findings of invariance learning, this highlights an interesting connection of MIM to latent regularization approaches for self-supervised learning. The source code is available under https://github.com/RobinWeiler/FocusMIM


title: Spin-resolved nonlocal transport in proximitized Rashba nanowires

abstract: Non-equilibrium transport in hybrid semiconductor-superconductor nanowires is crucial for many quantum phenomena such as generating entangled states via cross Andreev reflection (CAR) processes, detecting topological superconductivity, reading out Andreev spin qubits, coupling spin qubits over long distances and so on. Here, we investigate numerically transport properties of a proximitized Rashba nanowire that hosts spin-polarized low-energy quasiparticle states. We show that the spin polarization in such one-dimensional Andreev bands, extended over the entire nanowire length, can be detected in nonlocal transport measurements with tunnel-coupled side leads that are spin polarized. Remarkably, we find an exact correspondence between the sign of the nonlocal conductance and the spin density of the superconducting quasiparticles at the side lead position. We demonstrate that this feature is robust to moderate static disorder. As an example, we show that such a method can be used to detect spin inversion of the bands, accompanying the topological phase transition (TPT) for realistic system parameters. Furthermore, we show that such effects can be used to switch between CAR and elastic cotunneling (ECT) processes by tuning the strength of either the electric or the magnetic field. These findings hold significant practical implications for state-of-the-art transport experiments in such hybrid systems.


title: Echoes of darkness: Supernova-neutrino-boosted dark matter from all galaxies

abstract: It has been recently proposed that the boosted dark matter (BDM) by supernova neutrinos (SN$\nu$) from SN1987a or from the next galactic SN can serve as a novel component to probe nonvanishing interaction between DM and the Standard Model leptons. In this work, we extend this concept and evaluate the present-day diffuse flux of SN$\nu$ BDM originated from all galaxies at higher redshifts. We show that by considering this diffuse BDM (DBDM) component, the best model-independent sensitivity on the product of the DM-$\nu$ and DM-electron cross sections, $\sqrt{\sigma_{\chi\nu}\sigma_{\chi e}}\simeq \mathcal{O}(10^{-37})$~cm$^2$ for sub-MeV DM, can be obtained with large-size neutrino experiments such as Super-Kamiokande or Hyper-Kamiokande, surpassing the estimated SN$\nu$ BDM bound from SN1987a. We also examine the impact due to the presence of DM spikes around the supermassive black holes in galaxies on SN$\nu$ BDM and DBDM. Our results suggest that both the DBDM and the SN$\nu$ BDM probes are insensitive to the uncertain properties of DM spikes, unless the next galactic SN happens to occur at a location extremely close to or right behind the galactic center along the SN line of sight.


title: The 2D Gray-Scott system of equations: constructive proofs of existence of localized stationary patterns

abstract: In this article, we develop a method to perform constructive proofs of existence of smooth planar localized patterns in the Gray-Scott model. Specifically, we construct a natural Hilbert space $H^l$ for the study of systems of autonomous semi-linear PDEs, on which products and differential operators are well-defined. Then, given an approximate solution $\mathbf{u}_0$, we derive a Newton-Kantorovich approach based on the construction of an approximate inverse of the linearization around $\mathbf{u}_0$. In particular, we derive a condition under which we prove the existence of a unique solution in a neighborhood of $\mathbf{u}_0$. Such a condition can be verified thanks to the explicit computation of different upper bounds, for which analytical details are presented. Furthermore, we provide an extra condition under which localized patterns are proven to be the limit of an unbounded branch of (spatially) periodic solutions as the period tends to infinity. We then demonstrate our approach by proving (constructively) the existence of four different localized patterns in the 2D Gray-Scott model. In addition, these solutions are proven to satisfy the $D_4$-symmetry. That is, the symmetry of the square. The algorithmic details to perform the computer-assisted proofs are available on GitHub.


title: Scaling regimes of the one-dimensional phase turbulence in the deterministic complex Ginzburg-Landau equation

abstract: We study the phase turbulence of the one-dimensional complex Ginzburg-Landau equation, in which the defect-free chaotic dynamics of the order parameter maps to a phase equation well approximated by the Kuramoto-Sivashinsky model. In this regime, the behaviour of the large wavelength modes is captured by the Kardar-Parisi-Zhang equation, determining universal scaling and statistical properties. We present numerical evidence of the existence of an additional scale-invariant regime, with dynamical scaling exponent $z=1$, emerging at scales which are intermediate between the microscopic, intrinsic to the modulational instability, and the macroscopic ones. We argue that this new regime is a signature of the universality class corresponding to the inviscid limit of the Kardar-Parisi-Zhang equation.


title: Text Prompt with Normality Guidance for Weakly Supervised Video Anomaly Detection

abstract: Weakly supervised video anomaly detection (WSVAD) is a challenging task. Generating fine-grained pseudo-labels based on weak-label and then self-training a classifier is currently a promising solution. However, since the existing methods use only RGB visual modality and the utilization of category text information is neglected, thus limiting the generation of more accurate pseudo-labels and affecting the performance of self-training. Inspired by the manual labeling process based on the event description, in this paper, we propose a novel pseudo-label generation and self-training framework based on Text Prompt with Normality Guidance (TPWNG) for WSVAD. Our idea is to transfer the rich language-visual knowledge of the contrastive language-image pre-training (CLIP) model for aligning the video event description text and corresponding video frames to generate pseudo-labels. Specifically, We first fine-tune the CLIP for domain adaptation by designing two ranking losses and a distributional inconsistency loss. Further, we propose a learnable text prompt mechanism with the assist of a normality visual prompt to further improve the matching accuracy of video event description text and video frames. Then, we design a pseudo-label generation module based on the normality guidance to infer reliable frame-level pseudo-labels. Finally, we introduce a temporal context self-adaptive learning module to learn the temporal dependencies of different video events more flexibly and accurately. Extensive experiments show that our method achieves state-of-the-art performance on two benchmark datasets, UCF-Crime and XD-Viole


title: Tensor factorization in ab initio many-body calculations: Triaxially-deformed (B) MBPT calculations in large bases

abstract: Whether for fundamental studies or nuclear data evaluations, first-principle calculations of atomic nuclei constitute the path forward. Today, performing \textit{ab initio} calculations (a) of heavy nuclei, (b) of doubly open-shell nuclei or (c) with a sub-percent accuracy is at the forefront of nuclear structure theory. While combining any two of these features constitutes a major challenge, addressing the three at the same time is currently impossible. From a numerical standpoint, these challenges relate to the necessity to handle (i) very large single bases and (ii) mode-6, \textit{i.e.} three-body, tensors (iii) that must be stored repeatedly. Performing second-order many-body perturbation theory(ies) calculations based on triaxially deformed and superfluid reference states of doubly open-shell nuclei up to mass $A=72$, the present work achieves a significant step forward by addressing challenge (i). To do so, the memory and computational cost associated with the handling of large tensors is scaled down via the use of tensor factorization techniques. The presently used factorization format is based on a randomized singular value decomposition that does not require the computation and storage of the very large initial tensor. The procedure delivers an inexpensive and controllable approximation to the original problem, as presently illustrated for calculations that could not be performed without tensor factorization. With the presently developed technology at hand, one can envision to perform calculations of yet heavier doubly open-shell nuclei at sub-percent accuracy in a foreseeable future.


title: A Data Fusion Model for Meteorological Data using the INLA-SPDE method

abstract: This work aims to combine two primary meteorological data sources in the Philippines: data from a sparse network of weather stations and outcomes of a numerical weather prediction model. To this end, we propose a data fusion model which is primarily motivated by the problem of sparsity in the observational data and the use of a numerical prediction model as an additional data source in order to obtain better predictions for the variables of interest. The proposed data fusion model assumes that the different data sources are error-prone realizations of a common latent process. The outcomes from the weather stations follow the classical error model while the outcomes of the numerical weather prediction model involves a constant multiplicative bias parameter and an additive bias which is spatially-structured and time-varying. We use a Bayesian model averaging approach with the integrated nested Laplace approximation (INLA) for doing inference. The proposed data fusion model outperforms the stations-only model and the regression calibration approach, when assessed using leave-group-out cross-validation (LGOCV). We assess the benefits of data fusion and evaluate the accuracy of predictions and parameter estimation through a simulation study. The results show that the proposed data fusion model generally gives better predictions compared to the stations-only approach especially with sparse observational data.


title: A relative homology criteria of smoothness

abstract: We investigate the relationship between smoothness and the relative global dimension. We prove that a smooth ring map $B\to A$ between commutative rings implies the finiteness of the relative global dimension $\operatorname{gldim}(A,B)$. Conversely, we identify a sufficient condition on $B$ such that the finiteness of $\operatorname{gldim}(A,B)$ implies the smoothness of the map $B\to A$.


abstract: Contrastive learning has gained widespread adoption for retrieval tasks due to its minimal requirement for manual annotations. However, popular contrastive frameworks typically learn from binary relevance, making them ineffective at incorporating direct fine-grained rankings. In this paper, we curate a large-scale dataset featuring detailed relevance scores for each query-document pair to facilitate future research and evaluation. Subsequently, we propose Generalized Contrastive Learning for Multi-Modal Retrieval and Ranking (GCL), which is designed to learn from fine-grained rankings beyond binary relevance scores. Our results show that GCL achieves a 94.5% increase in NDCG@10 for in-domain and 26.3 to 48.8% increases for cold-start evaluations, all relative to the CLIP baseline and involving ground truth rankings.


title: On a coarse invertibility spectrum for coarse groups

abstract: We introduce a coarse algebraic invariant for coarse groups and use it to differentiate various coarsifications of the group of integers. This lets us answer two questions posed by Leitner and the second author. The invariant is obtained by considering the set of exponents n such that taking n-th powers defines a coarse equivalence of the coarse group.


title: Complete K\"ahler manifolds with nonnegative Ricci curvature

abstract: We consider complete K\"ahler manifolds with nonnegative Ricci curvature. The main results are: 1. When the manifold has nonnegative bisectional curvature, we show that $\lim\limits_{r\to\infty}\frac{r^{2}}{vol(B(p, r))}\int_{B(p, r)}S$ exists. In other words, it depends only on the manifold. This solves a question of Ni. Also, we establish estimates among volume growth ratio, integral of scalar curvature, and the degree of polynomial growth holomorphic functions. The new point is that the estimates are sharp for any prescribed volume growth rate. 2. We discover a strong rigidity for complete Ricci flat K\"ahler metrics. Let $M^n (n\geq 2)$ be a complete K\"ahler manifold with nonnegative Ricci curvature and Euclidean volume growth. Assume either the curvature has quadratic decay, or the K\"ahler metric is $dd^c$-exact with quadratic decay of scalar curvature. If one tangent cone at infinity is Ricci flat, then $M$ is Ricci flat. In particular, the tangent cone is unique. In other words, we can test Ricci flatness of the manifold by checking one single tangent cone. This seems unexpected, since apriori, there is no equation on $M$ and the Bishop-Gromov volume comparison is not sharp on Ricci flat (nonflat) manifolds. Such result is in sharp contrast to the Riemannian setting: Colding and Naber showed that tangent cones are quite flexible when $Ric\geq 0$ and $|Rm|r^2<C$. This reveals subtle differences between Riemannian case and K\"ahler case. The result contains lots of examples, such as all noncompact Ricci flat K\"ahler surfaces of Euclidean volume growth (hyper-K\"ahler ALE 4-manifolds classified by Kronheimer), higher dimensional examples of Tian-Yau type, as well as an example with irregular cross section. It also covers Ricci flat K\"ahler metrics of Euclidean volume growth on Stein manifolds with $b_2 = 0$(e.g., $\mathbb{C}^n$).


title: VertAttack: Taking advantage of Text Classifiers' horizontal vision

abstract: Text classification systems have continuously improved in performance over the years. However, nearly all current SOTA classifiers have a similar shortcoming, they process text in a horizontal manner. Vertically written words will not be recognized by a classifier. In contrast, humans are easily able to recognize and read words written both horizontally and vertically. Hence, a human adversary could write problematic words vertically and the meaning would still be preserved to other humans. We simulate such an attack, VertAttack. VertAttack identifies which words a classifier is reliant on and then rewrites those words vertically. We find that VertAttack is able to greatly drop the accuracy of 4 different transformer models on 5 datasets. For example, on the SST2 dataset, VertAttack is able to drop RoBERTa's accuracy from 94 to 13%. Furthermore, since VertAttack does not replace the word, meaning is easily preserved. We verify this via a human study and find that crowdworkers are able to correctly label 77% perturbed texts perturbed, compared to 81% of the original texts. We believe VertAttack offers a look into how humans might circumvent classifiers in the future and thus inspire a look into more robust algorithms.


title: Relativistic SZ temperatures and hydrostatic mass bias for massive clusters in the FLAMINGO simulations

abstract: The relativistic Sunyaev-Zel'dovich (SZ) effect can be used to measure intracluster gas temperatures independently of X-ray spectroscopy. Here, we use the large-volume FLAMINGO simulation suite to determine whether SZ $y$-weighted temperatures lead to more accurate hydrostatic mass estimates in massive ($M_{\rm 500c} > 7.5\times 10^{14}\,{\rm M}_{\odot}$) clusters than when using X-ray spectroscopic-like temperatures. We find this to be the case, on average. The median bias in the SZ mass at redshift zero is $\left< b \right> \equiv 1-\left< M_{\rm 500c,hse}/M_{\rm 500c,true} \right> = -0.05 \pm 0.01$, over 4 times smaller in magnitude than the X-ray spectroscopic-like case, $\left< b \right> = 0.22 \pm 0.01$. However, the scatter in the SZ bias, $\sigma_{b} \approx 0.2$, is around 40 per cent larger than for the X-ray case. We show that this difference is strongly affected by clusters with large pressure fluctuations, as expected from shocks in ongoing mergers. Selecting the clusters with the best-fitting generalized NFW pressure profiles, the median SZ bias almost vanishes, $\left< b \right> = -0.009 \pm 0.005$, and the scatter is halved to $\sigma_{b} \approx 0.1$. We study the origin of the SZ/X-ray difference and find that, at $R_{\rm 500c}$ and in the outskirts, SZ weighted gas better reflects the hot, hydrostatic atmosphere than the X-ray weighted gas. The SZ/X-ray temperature ratio increases with radius, a result we find to be insensitive to variations in baryonic physics, cosmology and numerical resolution.