title: Higher weight spectra of ternary codes associated to the quadratic Veronese $3$-fold

abstract: The problem studied in this work is to determine the higher weight spectra of the Projective Reed-Muller codes associated to the Veronese $3$-fold $\mathcal V$ in $PG(9,q)$, which is the image of the quadratic Veronese embedding of $PG(3,q)$ in $PG(9,q)$. We reduce the problem to the following combinatorial problem in finite geometry: For each subset $S$ of $\mathcal V$, determine the dimension of the linear subspace of $PG(9,q)$ generated by $S$. We develop a systematic method to solve the latter problem. We implement the method for $q=3$, and use it to obtain the higher weight spectra of the associated code. The case of a general finite field $\mathbb F_q$ will be treated in a future work.


title: Linear Singer-Hopf conjecture

abstract: If $X$ is a closed $2n$-dimensional aspherical manifold, i.e., the universal cover of $X$ is contractible, then the Singer-Hopf conjecture predicts that $(-1)^n\chi(X)\geq 0$. We prove this conjecture when $X$ is a complex projective manifold whose fundamental group admits an almost faithful linear representation over any field. In fact, we prove a much stronger statement that if $X$ is a complex projective manifold with large fundamental group and $\pi_1(X)$ admits an almost faithful linear representation, then $\chi(X, {P})\geq 0$ for any perverse sheaf ${P}$ on $X$. To prove the main result, we introduce a vanishing cycle functor of multivalued one-forms. Then using techniques from non-abelian Hodge theories in both archimedean and non-archimedean settings, we deduce the desired positivity from the geometry of pure and mixed period maps.


title: Fully graphic degree sequences and P-stable degree sequences

abstract: The notion of P-stability played an influential role in approximating the permanents, sampling rapidly the realizations of graphic degree sequences, or even studying and improving network privacy. However, we did not have a good insight of the structure of P-stable degree sequence families. In this paper we develop a remedy to overstep this deficiency. We will show, that if an infinite set of graphic degree sequences, characterized by some simple inequalities of their fundamental parameters, is $P$-stable, then it is ``fully graphic'' -- meaning that every degree sequence with an even sum, meeting the specified inequalities, is graphic. The reverse statement also holds: an infinite, fully graphic set of degree sequences characterized by some simple inequalities of their fundamental parameters is P-stable. Along the way, we will significantly strengthen some well-known, older results, and we construct new P-stable families of degree sequences.


title: Measurement of the absolute efficiency of the X-ARAPUCA photon detector for the DUNE Far Detector 1

abstract: The Photon Detection System (PDS) of the first DUNE far detector (FD1) is composed of 6000 photon detection units, named X-ARAPUCA. The detection of the prompt light pulse generated by the particle energy release in liquid argon (LAr) will complement and boost the DUNE Liquid Argon Time Projection Chamber (LArTPC). It will improve the non-beam events tagging and enable at low energies the trigger and the calorimetry of the supernova neutrinos. The X-ARAPUCA unit is an assembly of several components. Its Photon Detection Efficiency (PDE) depends both on the design of the assembly, on the grade of the individual components and finally on their coupling. The X-ARAPUCA PDE is one of the leading parameters for the Photon Detection System sensitivity, that in turn determines the sensitivity of the DUNE for the detection of core-collapse supernova within the galaxy and for nucleon decay searches. In this work we present the final assessment of the absolute PDE of the FD1 X-ARAPUCA baseline design, measured in two laboratories with independent methods and setups. One hundred sixty units of these X-ARAPUCA devices have been deployed in the NP04 facility at the CERN Neutrino Platform, the 1:20 scale FD1 prototype, and will be operated during the year 2024. The assessed value of the PDE is a key parameter both in the NP04 and in the DUNE analysis and reconstruction studies.


title: Global Polarization of (Anti-)Hypertriton in Heavy-Ion Collisions

abstract: Particles of non-zero spin produced in non-central heavy-ion collisions are expected to be polarized along the direction perpendicular to the reaction plane because of their spin-orbit interactions in the produced matter, and this has indeed been observed for many hyperons and vector mesons. Here, we show that the hypertriton ($^3_\Lambda\text{H}$), which is the lightest hypernucleus, is also polarized in these collisions. Using the coalescence model based on the kinetic freezeout baryons for light (hyper-)nuclei production, we find that the angular distribution of the decay product of polarized $^3_\Lambda\text{H}$ is highly sensitive to the spin configuration of its wavefunction, providing a novel way to determine its spin structure. We also predict the beam energy dependence of $^3_\Lambda\text{H}$ and ${^3_{\bar{\Lambda}}}\overline{\rm H}$ polarizations in heavy-ion collisions from a few GeV to several TeV based on the measured $\Lambda$ and $\bar{\Lambda}$ polarizations. We further discuss the possibility of studying the spin correlations among nucleons and $\Lambda$ hyperons in the produced hadronic matter from the measured $^3_\Lambda\text{H}$ polarization in non-central heavy-ion collisions.


title: Strategy-Proof Auctions through Conformal Prediction

abstract: Auctions are key for maximizing sellers' revenue and ensuring truthful bidding among buyers. Recently, an approach known as differentiable economics based on deep learning shows promise in learning optimal auction mechanisms for multiple items and participants. However, this approach has no guarantee of strategy-proofness at test time. Strategy-proofness is crucial as it ensures that buyers are incentivized to bid their true valuations, leading to optimal and fair auction outcomes without the risk of manipulation. Building on conformal prediction, we introduce a novel approach to achieve strategy-proofness with rigorous statistical guarantees. The key novelties of our method are: (i) the formulation of a regret prediction model, used to quantify at test time violations of strategy-proofness; and (ii) an auction acceptance rule that leverages the predicted regret to ensure that for a new auction, the data-driven mechanism meets the strategy-proofness requirement with high probability (e.g., 99\%). Numerical experiments demonstrate the necessity for rigorous guarantees, the validity of our theoretical results, and the applicability of our proposed method.


title: Spectrally resolved free electron-light coupling strength in a transition metal dichalcogenide

abstract: Recent advancements in electron microscopy have introduced innovative techniques enabling the inelastic interaction of fast electrons with tightly confined and intense light fields. These techniques, commonly summarized under the term photon-induced nearfield electron microscopy now offer unprecedented capabilities for a precise mapping of the characteristics of optical near-fields with remarkable spatial resolution but their spectral resolution were only scarcely investigated. In this study, we employ a strongly chirped and temporally broadband light pulse to investigate the interaction between free electrons and light at the edge of a MoS2 thin film. Our approach unveils the details of electron-light coupling, revealing a pronounced dependence of the coupling strength on both the position and photon energy. Employing numerical simulations of a simplified model system we identify these modulations to be caused by optical interferences between the incident and reflected field as well as an optical mode guided within the transition metal dichalcogenide film.


title: Continuous Sign Language Recognition with Adapted Conformer via Unsupervised Pretraining

abstract: Conventional Deep Learning frameworks for continuous sign language recognition (CSLR) are comprised of a single or multi-modal feature extractor, a sequence-learning module, and a decoder for outputting the glosses. The sequence learning module is a crucial part wherein transformers have demonstrated their efficacy in the sequence-to-sequence tasks. Analyzing the research progress in the field of Natural Language Processing and Speech Recognition, a rapid introduction of various transformer variants is observed. However, in the realm of sign language, experimentation in the sequence learning component is limited. In this work, the state-of-the-art Conformer model for Speech Recognition is adapted for CSLR and the proposed model is termed ConSignformer. This marks the first instance of employing Conformer for a vision-based task. ConSignformer has bimodal pipeline of CNN as feature extractor and Conformer for sequence learning. For improved context learning we also introduce Cross-Modal Relative Attention (CMRA). By incorporating CMRA into the model, it becomes more adept at learning and utilizing complex relationships within the data. To further enhance the Conformer model, unsupervised pretraining called Regressional Feature Extraction is conducted on a curated sign language dataset. The pretrained Conformer is then fine-tuned for the downstream recognition task. The experimental results confirm the effectiveness of the adopted pretraining strategy and demonstrate how CMRA contributes to the recognition process. Remarkably, leveraging a Conformer-based backbone, our model achieves state-of-the-art performance on the benchmark datasets: PHOENIX-2014 and PHOENIX-2014T.


title: On model emulation and closure tests for 3+1D relativistic heavy-ion collisions

abstract: In nuclear and particle physics, reconciling sophisticated simulations with experimental data is vital for understanding complex systems like the Quark Gluon Plasma (QGP) generated in heavy-ion collisions. However, computational demands pose challenges, motivating using Gaussian Process emulators for efficient parameter extraction via Bayesian calibration. We conduct a comparative analysis of Gaussian Process emulators in heavy-ion physics to identify the most adept emulator for parameter extraction with minimal uncertainty. Our study contributes to advancing computational techniques in heavy-ion physics, enhancing our ability to interpret experimental data and understand QGP properties.


title: Equivariantly normal varieties for diagonalizable group actions

abstract: Given a finite group scheme $G$ over a field and a $G$-variety $X$, we obtain a criterion for $X$ to be $G$-normal in the sense of \cite{Br24}. When $G$ is diagonalizable, we describe the local structure of $G$-normal varieties in codimension $1$ and their dualizing sheaf. As an application, we obtain a version of the Hurwitz formula for $G$-normal varieties, where $G$ is linearly reductive.


title: Can AI Relate: Testing Large Language Model Response for Mental Health Support

abstract: Large language models (LLMs) are already being piloted for clinical use in hospital systems like NYU Langone, Dana-Farber and the NHS. A proposed deployment use case is psychotherapy, where a LLM-powered chatbot can treat a patient undergoing a mental health crisis. Deployment of LLMs for mental health response could hypothetically broaden access to psychotherapy and provide new possibilities for personalizing care. However, recent high-profile failures, like damaging dieting advice offered by the Tessa chatbot to patients with eating disorders, have led to doubt about their reliability in high-stakes and safety-critical settings. In this work, we develop an evaluation framework for determining whether LLM response is a viable and ethical path forward for the automation of mental health treatment. Using human evaluation with trained clinicians and automatic quality-of-care metrics grounded in psychology research, we compare the responses provided by peer-to-peer responders to those provided by a state-of-the-art LLM. We show that LLMs like GPT-4 use implicit and explicit cues to infer patient demographics like race. We then show that there are statistically significant discrepancies between patient subgroups: Responses to Black posters consistently have lower empathy than for any other demographic group (2%-13% lower than the control group). Promisingly, we do find that the manner in which responses are generated significantly impacts the quality of the response. We conclude by proposing safety guidelines for the potential deployment of LLMs for mental health response.


title: Lattice physics approaches for neural networks

abstract: Modern neuroscience has evolved into a frontier field that draws on numerous disciplines, resulting in the flourishing of novel conceptual frames primarily inspired by physics and complex systems science. Contributing in this direction, we recently introduced a mathematical framework to describe the spatiotemporal interactions of systems of neurons using lattice field theory, the reference paradigm for theoretical particle physics. In this note, we provide a concise summary of the basics of the theory, aiming to be intuitive to the interdisciplinary neuroscience community. We contextualize our methods, illustrating how to readily connect the parameters of our formulation to experimental variables using well-known renormalization procedures. This synopsis yields the key concepts needed to describe neural networks using lattice physics. Such classes of methods are attention-worthy in an era of blistering improvements in numerical computations, as they can facilitate relating the observation of neural activity to generative models underpinned by physical principles.


title: Estimating transmission noise on networks from stationary local order

abstract: In this paper we study networks of nodes characterised by binary traits that change both endogenously and through nearest-neighbour interaction. Our analytical results show that those traits can be ranked according to the noisiness of their transmission using only measures of order in the stationary state. Crucially, this ranking is independent of network topology. As an example, we explain why, in line with a long-standing hypothesis, the relative stability of the structural traits of languages can be estimated from their geospatial distribution. We conjecture that similar inferences may be possible in a more general class of Markovian systems. Consequently, in many empirical domains where longitudinal information is not easily available the propensities of traits to change could be estimated from spatial data alone.


title: Polynomials and algebraic curves related to certain binary and $b$-ary overpartitions

abstract: We begin by considering a sequence of polynomials in three variables whose coefficients count restricted binary overpartitions with certain properties. We then concentrate on two specific subsequences that are closely related to the Chebyshev polynomials of both kinds, deriving combinatorial and algebraic properties of some special cases. We show that the zeros of these polynomial sequences lie on certain algebraic curves, some of which we study in greater detail. Finally, we extend part of this work to restricted $b$-ary overpartitions for arbitrary integers $b\geq 2$.


title: Extremal oriented graphs avoiding 1-subdivision of an in-star

abstract: An oriented graph is a digraph obtained from an undirected graph by choosing an orientation for each edge. Given a positive integer $n$ and an oriented graph $F$, the oriented Tur$\acute{\rm a}$n number $ex_{ori}(n,F)$ is the maximum number of arcs in an $F$-free oriented graph of order $n$. In this paper, we investigate the oriented Tur$\acute{\rm a}$n number $ex_{ori}(n, \overrightarrow{S_{k,1}} )$, where $\overrightarrow{S_{k,1}}$ is the $1$-subdivision of the in-star of order $k+1$. We determine $ex_{ori}(n,\overrightarrow{S_{k,1}}) $ for $k=2,3$ as well as the extremal oriented graphs. For $k\ge 4$, we establish a lower bound and an upper bound on $ex_{ori}(n,\overrightarrow{S_{k,1}})$.


title: Enzymatic cycle-based receivers with high input impedance for approximate maximum a posteriori demodulation of concentration modulated signals

abstract: Molecular communication is a bio-inspired communication paradigm where molecules are used as the information carrier. This paper considers a molecular communication network where the transmitter uses concentration modulated signals for communication. Our focus is to design receivers that can demodulate these signals. We impose three features on our receivers. We want the receivers to use enzymatic cycles as their building blocks, have high input impedance and can work approximately as a maximum a posteriori (MAP) demodulator. No receivers with all these three features exist in the current molecular communication literature. We consider enzymatic cycles because they are a very common class of chemical reactions that are found in living cells. Since a receiver is to be placed in the communication environment, it should ideally have a high input impedance so that it has minimal impact on the environment and on other receivers. Lastly, a MAP receiver has good statistical performance. In this paper, we show how we can use time-scale separation to make an enzymatic cycle to have high input impedance and how the parameters of the enzymatic cycles can be chosen so that the receiver can approximately implement a MAP demodulator. We use simulation to study the performance of this receiver. In particular, we consider an environment with multiple receivers and show that a receiver has little impact on the bit error ratio of a nearby receiver because they have high input impedance.


title: Linearized gravity and soft graviton theorem in de Sitter spacetime

abstract: We study the linearized gravity theory in the Newman-Unti gauge in the near horizon region of the de Sitter spacetime. The linearized Einstein equation involves the cosmological constant. The near horizon symmetry consists of near horizon supertranslation and near horizon superrotation. We compute the near horizon supertranslation charge and find the proper near horizon fall-off conditions which uncover a soft graviton theorem from the Ward identity of the near horizon supertranslation.


title: The Case for DeepSOH: Addressing Path Dependency for Remaining Useful Life

abstract: The battery state of health (SOH) based on capacity fade and resistance increase is not sufficient for predicting Remaining Useful life (RUL). The electrochemical community blames the path-dependency of the battery degradation mechanisms for our inability to forecast the degradation. The control community knows that the path-dependency is addressed by full state estimation. We show that even the electrode-specific SOH (eSOH) estimation is not enough to fully define the degradation states by simulating infinite possible degradation trajectories and remaining useful lives (RUL) from a unique eSOH. We finally define the deepSOH states that capture the individual contributions of all the common degradation mechanisms, namely, SEI, plating, and mechanical fracture to the loss of lithium inventory. We show that the addition of cell expansion measurement may allow us to estimate the deepSOH and predict the remaining useful life.


title: The TRAPUM Small Magellanic Cloud pulsar survey with MeerKAT: I. Discovery of seven new pulsars and two Pulsar Wind Nebula associations

abstract: The sensitivity of the MeerKAT radio interferometer is an opportunity to probe deeper into the population of rare and faint extragalactic pulsars. The TRAPUM (TRAnsients and PUlsars with MeerKAT) collaboration has conducted a radio-domain search for accelerated pulsars and transients in the Small Magellanic Cloud (SMC). This partially targeted survey, performed at L-band (856-1712 MHz) with the core array of the MeerKAT telescope in 2-h integrations, is twice as sensitive as the latest SMC radio pulsar survey. We report the discovery of seven new SMC pulsars, doubling this galaxy's radio pulsar population and increasing the total extragalactic population by nearly a quarter. We also carried out a search for accelerated millisecond pulsars in the SMC Globular Cluster NGC 121 using the full array of MeerKAT. This improved the previous upper limit on pulsed radio emission from this cluster by a factor of six. Our discoveries reveal the first radio pulsar-PWN systems in the SMC, with only one such system previously known outside our galaxy (the "Crab pulsar twin" in the Large Magellanic Cloud, PSR J0540$-$6919). We associate the 59 ms pulsar discovery PSR J0040$-$7337, now the fastest spinning radio pulsar in the SMC, with the bow-shock Pulsar Wind Nebula (PWN) of Supernova Remnant DEM S5. We also present a new young pulsar with a 79 ms period, PSR J0048$-$7317, in a PWN recently discovered in a MeerKAT radio continuum image. Using the multi-beam capability of MeerKAT, we localised our pulsar discoveries, and two previous Murriyang discoveries, to a positional uncertainty of a few arcseconds.


title: Collisional thermometry for Gaussian systems

abstract: We investigate a quantum thermometry scheme based collision model with Gaussian systems. A key open question of these schemes concerns the scaling of the Quantum Fisher Information (QFI) with the number of ancillae. In qubit-based implementations this question is difficult to assess, due to the exponentially growing size of the Hilbert space. Here we focus on Gaussian collision models, which allow for the scaling of the QFI to be evaluated for arbitrarily large sizes. This numerical flexibility enables us to explore the thermometric properties of the model for a wide range of configurations. Despite the infinite Markov order of the stochastic process of the model, we provide a simple phenomenological analysis for the behavior of the QFI, estimating the asymptotic Fisher information density and how the transient effects of correlations for an increasing number of ancillae depend on the physical parameters of the model.


title: Neighborhood Attention Transformer with Progressive Channel Fusion for Speaker Verification

abstract: Transformer-based architectures for speaker verification typically require more training data than ECAPA-TDNN. Therefore, recent work has generally been trained on VoxCeleb1&2. We propose a backbone network based on self-attention, which can achieve competitive results when trained on VoxCeleb2 alone. The network alternates between neighborhood attention and global attention to capture local and global features, then aggregates features of different hierarchical levels, and finally performs attentive statistics pooling. Additionally, we employ a progressive channel fusion strategy to expand the receptive field in the channel dimension as the network deepens. We trained the proposed PCF-NAT model on VoxCeleb2 and evaluated it on VoxCeleb1 and the validation sets of VoxSRC. The EER and minDCF of the shallow PCF-NAT are on average more than 20% lower than those of similarly sized ECAPA-TDNN. Deep PCF-NAT achieves an EER lower than 0.5% on VoxCeleb1-O. The code and models are publicly available at https://github.com/ChenNan1996/PCF-NAT.


title: Another look at the Matkowski and Weso{\l}owski problem yielding a new class of solutions

abstract: The following MW--problem was posed independently by Janusz Matkowski and Jacek Weso{\l}owski in different forms in 1985 and 2009, respectively: Are there increasing and continuous functions $\varphi\colon [0,1]\to [0,1]$, distinct from the identity on $[0,1]$, such that $\varphi(0)=0$, $\varphi(1)=1$ and $\varphi(x)=\varphi(\frac{x}{2})+\varphi(\frac{x+1}{2})-\varphi(\frac{1}{2})$ for every $x\in[0,1]$? By now, it is known that each of the de Rham functions $R_p$, where $p\in(0,1)$, is a solution of the MW--problem, and for any Borel probability measure $\mu$ concentrated on $(0,1)$ the formula $\phi_\mu(x)=\int_{(0,1)}R_p(x) d\mu(p)$ defines a solution $\phi_\mu\colon[0,1]\to[0,1]$ of this problem as well. In this paper, we give a new family of solutions of the MW--problem consisting of Cantor-type functions. We also prove that there are strictly increasing solutions of the MW--problem that are not of the above integral form with any Borel probability measure $\mu$.


title: Propagation of equilibrium states in stable families of endomorphisms of $\mathbb P^k(\mathbb C)$

abstract: We prove that, within any holomorphic family of endomorphisms of $\mathbb P^k(\mathbb C)$ in any dimension $k \geq 1$ and algebraic degree $d \geq 2$, the measurable holomorphic motion associated to dynamical stability in the sense of Berteloot-Bianchi-Dupont preserves the class of equilibrium states associated with weight functions $\psi$ satisfying $\sup\psi - \inf \psi < \log d$.


title: Count-Min Sketch with Conservative Updates: Worst-Case Analysis

abstract: Count-Min Sketch with Conservative Updates (CMS-CU) is a memory-efficient hash-based data structure used to estimate the occurrences of items within a data stream. CMS-CU stores $m$ counters and employs $d$ hash functions to map items to these counters. We first argue that the estimation error in CMS-CU is maximal when each item appears at most once in the stream. Next, we study CMS-CU in this setting. In the case where $d=m-1$, we prove that the average estimation error and the average counter rate converge almost surely to $\frac{1}{2}$, contrasting with the vanilla Count-Min Sketch, where the average counter rate is equal to $\frac{m-1}{m}$. For any given $m$ and $d$, we prove novel lower and upper bounds on the average estimation error, incorporating a positive integer parameter $g$. Larger values of this parameter improve the accuracy of the bounds. Moreover, the computation of each bound involves examining an ergodic Markov process with a state space of size $\binom{m+g-d}{g}$ and a sparse transition probabilities matrix containing $\mathcal{O}(m\binom{m+g-d}{g})$ non-zero entries. For $d=m-1$, $g=1$, and as $m\to \infty$, we show that the lower and upper bounds coincide. In general, our bounds exhibit high accuracy for small values of $g$, as shown by numerical computation. For example, for $m=50$, $d=4$, and $g=5$, the difference between the lower and upper bounds is smaller than $10^{-4}$.


title: KG-RAG: Bridging the Gap Between Knowledge and Creativity

abstract: Ensuring factual accuracy while maintaining the creative capabilities of Large Language Model Agents (LMAs) poses significant challenges in the development of intelligent agent systems. LMAs face prevalent issues such as information hallucinations, catastrophic forgetting, and limitations in processing long contexts when dealing with knowledge-intensive tasks. This paper introduces a KG-RAG (Knowledge Graph-Retrieval Augmented Generation) pipeline, a novel framework designed to enhance the knowledge capabilities of LMAs by integrating structured Knowledge Graphs (KGs) with the functionalities of LLMs, thereby significantly reducing the reliance on the latent knowledge of LLMs. The KG-RAG pipeline constructs a KG from unstructured text and then performs information retrieval over the newly created graph to perform KGQA (Knowledge Graph Question Answering). The retrieval methodology leverages a novel algorithm called Chain of Explorations (CoE) which benefits from LLMs reasoning to explore nodes and relationships within the KG sequentially. Preliminary experiments on the ComplexWebQuestions dataset demonstrate notable improvements in the reduction of hallucinated content and suggest a promising path toward developing intelligent systems adept at handling knowledge-intensive tasks.


title: Wall-resolved large eddy simulations of a pitching NACA0012 incurring in deep dynamic stall

abstract: This study investigates the flow evolution past a pitching NACA0012 airfoil undergoing deep dynamic stall using a wall-resolved large eddy simulation approach. Numerical results are validated against experimental data from Lee and Gerontakos at Reynolds number Re = 135 000 and a reduced frequency k = 0.1. A comprehensive analysis of the computational grid span size is presented, highlighting the critical requirement for a span-to-chord ratio of at least one. Furthermore, a comparative assessment with state-of-the-art RANS and hybrid RANS/LES turbulence models is conducted to identify the sources of potential discrepancies between the numerical simulations and the experimental data. All the numerical models demonstrate the same behavior and exhibit similar differences with the experiments.


title: Constraints and Time Evolution in Generic $f$(Riemann) Gravity

abstract: We give a detailed canonical analysis of the $n$-dimensional $f$(Riemann) gravity, correcting the earlier results in the literature. We also write the field equations in the Fischer-Marsden form which is amenable to identifying the non-stationary energy on a spacelike hypersurface. We give pure $R^{2}$ theory as an example.

categories: gr-qc astro-ph.CO hep-th math-ph math.MP


title: Adaptive Convolutional Forecasting Network Based on Time Series Feature-Driven

abstract: Time series data in real-world scenarios contain a substantial amount of nonlinear information, which significantly interferes with the training process of models, leading to decreased prediction performance. Therefore, during the time series forecasting process, extracting the local and global time series patterns and understanding the potential nonlinear features among different time observations are highly significant. To address this challenge, we introduce multi-resolution convolution and deformable convolution operations. By enlarging the receptive field using convolution kernels with different dilation factors to capture temporal correlation information at different resolutions, and adaptively adjusting the sampling positions through additional offset vectors, we enhance the network's ability to capture potential nonlinear features among time observations. Building upon this, we propose ACNet, an adaptive convolutional network designed to effectively model the local and global temporal dependencies and the nonlinear features between observations in multivariate time series. Specifically, by extracting and fusing time series features at different resolutions, we capture both local contextual information and global patterns in the time series. The designed nonlinear feature adaptive extraction module captures the nonlinear features among different time observations in the time series. We evaluated the performance of ACNet across twelve real-world datasets. The results indicate that ACNet consistently achieves state-of-the-art performance in both short-term and long-term forecasting tasks with favorable runtime efficiency.


title: Randomized Gradient Descents on Riemannian Manifolds: Almost Sure Convergence to Global Minima in and beyond Quantum Optimization

abstract: We analyze the convergence properties of gradient descent algorithms on Riemannian manifolds. We study randomization of the tangent space directions of Riemannian gradient flows for minimizing smooth cost functions (of Morse--Bott type) to obtain convergence to local optima. We prove that through randomly projecting Riemannian gradients according to the Haar measure, convergence to local optima can be obtained almost surely despite the existence of saddle points. As an application we consider ground state preparation through quantum optimization over the unitary group. In this setting one can efficiently approximate the Haar-random projections by implementing unitary 2-designs on quantum computers. We prove that the respective algorithm almost surely converges to the global minimum that corresponds to the ground state of a desired Hamiltonian. Finally, we discuss the time required by the algorithm to pass a saddle point in a simple two-dimensional setting.


title: Reputation Transfer in the Twitter Diaspora

abstract: Social media platforms have witnessed a dynamic landscape of user migration in recent years, fueled by changes in ownership, policy, and user preferences. This paper explores the phenomenon of user migration from established platforms like X/Twitter to emerging alternatives such as Threads, Mastodon, and Truth Social. Leveraging a large dataset from X/Twitter, we investigate the extent of user departure from X/Twitter and the destinations they migrate to. Additionally, we examine whether a user's reputation on one platform correlates with their reputation on another, shedding light on the transferability of digital reputation across social media ecosystems. Overall, we find that users with a large following on X/Twitter are more likely to migrate to another platform; and that their reputation on X/Twitter is highly correlated with reputations on Threads, but not Mastodon or Truth Social.


title: Earthquakes and the wealth of nations: The cases of Chile and New Zealand

abstract: The consequences of natural disasters, such as earthquakes, are evident: death, coordination problems, destruction of infrastructure, and displacement of population. However, according to empirical research, the impact of a natural disaster on economic activity is mixed. Natural disasters could have significant economic effects, especially in developing economies. This is particularly important for highly seismic countries such as Chile and New Zealand. This paper contributes to the literature on natural disasters and economic development by analyzing the cases of two affected regions within these countries in the wake of major earthquakes experienced during 2010-2011: Maule (Chile) and Canterbury (New Zealand). We examine the impact of natural disasters on GDP per capita by applying the synthetic control method. Using the synthetic approach, we assess the effects of these two earthquakes by building counterfactuals to compare their recovery trajectories. We find that Chile and New Zealand experienced opposite economic effects. The Canterbury region grew 10% more in three years than its synthetic counterfactual without the earthquake, while the Maule region declined by 5%. We build synthetic controls at a regional and economic-sector level, looking at aggregated and sectoral effects. The difference in institutions, such as property rights and the large amount of government spending given for reconstruction after the New Zealand earthquake relative to Chile's, help to explain the difference in outcomes.


title: Attribute-Based Authentication in Secure Group Messaging for Distributed Environments

abstract: Messaging Layer security (MLS) and its underlying Continuous Group Key Agreement (CGKA) protocol allows a group of users to share a cryptographic secret in a dynamic manner, such that the secret is modified in member insertions and deletions. Although this flexibility makes MLS ideal for implementations in distributed environments, a number of issues need to be overcome. Particularly, the use of digital certificates for authentication in a group goes against the group members' privacy. In this work we provide an alternative method of authentication in which the solicitors, instead of revealing their identity, only need to prove possession of certain attributes, dynamically defined by the group, to become a member. Instead of digital certificates, we employ Attribute-Based Credentials accompanied with Selective Disclosure in order to reveal the minimum required amount of information and to prevent attackers from linking the activity of a user through multiple groups. We formally define a CGKA variant named Attribute-Authenticated Continuous Group Key Agreement (AA-CGKA) and provide security proofs for its properties of Requirement Integrity, Unforgeability and Unlinkability. We also provide guidelines for an integration of our construction in MLS.


title: The Incoherency Risk in the EU's New Cyber Security Policies

abstract: The European Union (EU) has been pursuing new cyber security policies in recent years. This paper presents a short evaluation of four such policies. The focus is on potential incoherency, meaning a lack of integration, divergence between the member states, institutional dysfunction, and other related problems that should be at least partially avoidable by sound policy-making. According to the evaluation, the four policies have substantially increased the complexity of the EU's cyber security framework. In addition, there are potential problems with trust, divergence between industry sectors and different technologies, bureaucratic conflicts, and technical issues, among other things. With these insights, the paper not only contributes to the study of EU policies but also advances the understanding of cyber security policies in general.


title: Tensor-network-based variational Monte Carlo approach to the non-equilibrium steady state of open quantum systems

abstract: We introduce a novel method of efficiently simulating the non-equilibrium steady state of large many-body open quantum systems with highly non-local interactions, based on a variational Monte Carlo optimization of a matrix product operator ansatz. Our approach outperforms and offers several advantages over comparable algorithms, such as an improved scaling of the computational cost with respect to the bond dimension for periodic systems. We showcase the versatility of our approach by studying the phase diagrams and correlation functions of the dissipative quantum Ising model with collective dephasing and long-ranged power law interactions for spin chains of up to $N=100$ spins.


title: Theory of weights for log convergent cohomologies II: the case of a proper SNCL scheme in characteristic $p>0$

abstract: For a flat $p$-adic formal family $S$ of log points over a complete discrete valuation ring with perfect residue field of mixed characteristics $(0,p)$ and for a simple normal crossing log scheme $X$ over an exact closed log subscheme of $S$ defined by an element of the maximal ideal of the dvr, we construct two fundamental filtered complexes in the convergent topos the underlying scheme of $X$ over the underlying scheme of $S$. We prove that they are canonically isomorphisc. Because one of the complex is shown to calculate the log convergent cohomology sheaf of $X/S$, the filtered complex produces the weight filtration on the log convergent cohomology sheaf if the underlying scheme of $X$ is proper over the underlying scheme of $S$. We give a comparison theorem between the projection of the filtered complex in the Zariski topos of the underlying scheme of $X$ and the isozariskian weight-filtered complex constructed in the author's previous work.


title: Energy-Efficient Federated Edge Learning with Streaming Data: A Lyapunov Optimization Approach

abstract: Federated learning (FL) has received significant attention in recent years for its advantages in efficient training of machine learning models across distributed clients without disclosing user-sensitive data. Specifically, in federated edge learning (FEEL) systems, the time-varying nature of wireless channels introduces inevitable system dynamics in the communication process, thereby affecting training latency and energy consumption. In this work, we further consider a streaming data scenario where new training data samples are randomly generated over time at edge devices. Our goal is to develop a dynamic scheduling and resource allocation algorithm to address the inherent randomness in data arrivals and resource availability under long-term energy constraints. To achieve this, we formulate a stochastic network optimization problem and use the Lyapunov drift-plus-penalty framework to obtain a dynamic resource management design. Our proposed algorithm makes adaptive decisions on device scheduling, computational capacity adjustment, and allocation of bandwidth and transmit power in every round. We provide convergence analysis for the considered setting with heterogeneous data and time-varying objective functions, which supports the rationale behind our proposed scheduling design. The effectiveness of our scheme is verified through simulation results, demonstrating improved learning performance and energy efficiency as compared to baseline schemes.


title: Non-Formality of $S^2$ via the free loop space

abstract: We show that the $E_1$-equivalence $C^\bullet(S^2) \simeq H^\bullet(S^2)$ does not intertwine the inclusion of constant loops into the free loop space $S^2 \to LS^2$. That is, the isomorphism $HH_\bullet(H^\bullet(S^2)) \cong H^\bullet(LS^2)$ does not preserve the obvious maps to $H^\bullet(S^2)$ that exist on both sides. We give an explicit computation of the defect in terms of the $E_\infty$-structure on $C^\bullet(S^2)$. Finally, we relate our calculation to recent work of Poirier-Tradler on the string topology of $S^2$.


title: Pointwise well-posedness results for degenerate It\^{o}-SDEs with locally bounded drifts

abstract: Building on results developed in https://doi.org/10.48550/arXiv.2404.14902, where It\^{o}-SDEs with possibly degenerate and discontinuous dispersion coefficient and measurable drift were analyzed with respect to a given (sub-)invariant measure, we develop here additional elliptic regularity results for PDEs and consider the same equations with some further regularity assumptions on the coefficients to provide a pointwise analysis for every starting point in Euclidean space, $d\ge 2$. Our main result is (weak) well-posedness, i.e. weak existence and uniqueness in law, which we obtain under our main assumption for any locally bounded drift and arbitrary starting point among all solutions that spend zero time at the points of degeneracy of the dispersion coefficient. The points of degeneracy form a $d$-dimensional Lebesgue measure zero set, but may be hit by the weak solutions. Weak existence for arbitrary starting point is obtained under broader assumptions. In particular, in that case the drift does not need to be locally bounded.


title: Micro-cosmos model of a nucleon

abstract: This study explores the age-old quest to construct a geometric model of a quantum particle. While static classical particle models have largely been dismissed, the focus has now shifted to intricate dynamic models that hold the promise of reconciling general relativity with quantum mechanics. We propose that matter particles can be described as radiation confined within dynamically curved spacetime regions, without the need for quantization of space and time, and using standard field equations and natural Planck units. Specifically, we investigate a cyclic or oscillating radiation-dominated micro cosmos undergoing repeated bouncing. Our methodology employs integration, with carefully defined initial conditions. The results include several observable properties characteristic of quantum particles. We calculate the total mass, revealing a compelling inverse proportionality between mass and radius identical with the de Broglie relationship. Applying this model to protons, we discover a profound and surprisingly simple relationship between the proton's radius and mass expressed in Planck units. This enables a definition of the proton radius that aligns remarkably well with the 2018 CODATA value. Furthermore, our analysis demonstrates that the radial density profile of the proton (or nucleon), averaged over a cycle time, increases toward the center. The problem of embedding the micro cosmos within a background spacetime is also described. These results underscore the relevance of general relativity in the domain of nuclear physics. Moreover, the model offers a fresh perspective that can stimulate new ideas in the ongoing quest to unify general relativity with quantum physics.


title: Cosmological inhomogeneities, primordial black holes, and a hypothesis on the death of the universe

abstract: We study the impact of the expansion of the universe on a broad class of objects, including black holes, neutron stars, white dwarfs, and others. Using metrics that incorporate primordial inhomogeneities, the effects of a hypothetical "center of the universe" on inflation are calculated. Dynamic coordinates for black holes that account for expansions or contractions with arbitrary rates are provided. We consider the possibility that the universe may be bound to evolve into an ultimate state of "total dilution", wherein stable particles are so widely separated that physical communication among them will be impossible for eternity. This is also a scenario of "cosmic virtuality", as no wave-function collapse would occur again. We provide classical models evolving this way, based on the Majumdar-Papapetrou geometries. More realistic configurations, instead, indicate that gravitational forces locally counteract expansion, except in the universe's early stages. We comment on whether quantum phenomena may dictate that total dilution is indeed the cosmos' ultimate destiny.

categories: gr-qc astro-ph.CO astro-ph.HE hep-ph hep-th


title: The amount of nonhyperbolicity for partially hyperbolic diffeomorphisms

abstract: We study the amount of nonhyperbolicity within a broad class of (nonhyperbolic) partially hyperbolic diffeomorphisms with a one-dimensional center. For that, we focus on the center Lyapunov exponent and the entropy of its level sets. We show that these entropies vary continuously and can be expressed in terms of restricted variational principles. In this study, no dynamical coherence is required. Of particular interest is the case where the exponent is zero. To study this level set, we construct a compact set foliated by curves tangent to the central direction. Within this set, the entropy attains the maximal possible (and positive) value. Moreover, finite-time Lyapunov exponents converge uniformly to zero. In this construction, we introduce a mechanism to concatenate center curves. The class studied consists of those robustly transitive diffeomorphisms that have a pair of blender-horseshoes with different types of hyperbolicity and possess minimal strong stable and unstable foliations. This classes includes flow-type and circle-fibered diffeomorphisms as well as some derived from Anosov diffeomorphisms. It also includes the so-called anomalous examples which are dynamically incoherent.


title: Parallelization of the K-Means Algorithm with Applications to Big Data Clustering

abstract: The K-Means clustering using LLoyd's algorithm is an iterative approach to partition the given dataset into K different clusters. The algorithm assigns each point to the cluster based on the following objective function \[\ \min \Sigma_{i=1}^{n}||x_i-\mu_{x_i}||^2\] The serial algorithm involves iterative steps where we compute the distance of each datapoint from the centroids and assign the datapoint to the nearest centroid. This approach is essentially known as the expectation-maximization step. Clustering involves extensive computations to calculate distances at each iteration, which increases as the number of data points increases. This provides scope for parallelism. However, we must ensure that in a parallel process, each thread has access to the updated centroid value and no racing condition exists on any centroid values. We will compare two different approaches in this project. The first approach is an OpenMP flat synchronous method where all processes are run in parallel, and we use synchronization to ensure safe updates of clusters. The second approach we adopt is a GPU based parallelization approach using OpenACC wherein we will try to make use of GPU architecture to parallelize chunks of the algorithm to observe decreased computation time. We will analyze metrics such as speed up, efficiency,time taken with varying data points, and number of processes to compare the two approaches and understand the relative performance improvement we can get.


title: Complex Principle Kurtosis Analysis

abstract: Independent component analysis (ICA) is a fundamental problem in the field of signal processing, and numerous algorithms have been developed to address this issue. The core principle of these algorithms is to find a transformation matrix that maximizes the non-Gaussianity of the separated signals. Most algorithms typically assume that the source signals are mutually independent (orthogonal to each other), thereby imposing an orthogonal constraint on the transformation matrix. However, this assumption is not always valid in practical scenarios, where the orthogonal constraint can lead to inaccurate results. Recently, tensor-based algorithms have attracted much attention due to their ability to reduce computational complexity and enhance separation performance. In these algorithms, ICA is reformulated as an eigenpair problem of a statistical tensor. Importantly, the eigenpairs of a tensor are not inherently orthogonal, making tensor-based algorithms more suitable for nonorthogonal cases. Despite this advantage, finding exact solutions to the tensor's eigenpair problem remains a challenging task. In this paper, we introduce a non-zero volume constraint and a Riemannian gradient-based algorithm to solve the tensor's eigenpair problem. The proposed algorithm can find exact solutions under nonorthogonal conditions, making it more effective for separating nonorthogonal sources. Additionally, existing tensor-based algorithms typically rely on third-order statistics and are limited to real-valued data. To overcome this limitation, we extend tensor-based algorithms to the complex domain by constructing a fourth-order statistical tensor. Experiments conducted on both synthetic and real-world datasets demonstrate the effectiveness of the proposed algorithm.


title: Solvent Selectivity controls Micro- versus Macro-phase Separation in Multiblock Chains

abstract: Monte Carlo simulations in the grand canonical ensemble were used to obtain critical parameters and conditions leading to microphase separation for block copolymers with solvophilic and solvophobic segments. Solvent selectivity was systematically varied to distinguish between systems that undergo macrophase separation to ones that microphase separate in the dilute phase, prior to macrophase separating. Finite-size scaling was used to obtain the critical parameters. Interestingly, corrections to scaling increase significantly for systems that form finite aggregates. The threshold value of solvent selectivity for aggregation was determined for symmetric diblock chains of varying length. The results indicate that long diblock copolymers form micelles in the dilute phase prior to macrophase separation, even in marginally selective solvents. The dependence of critical temperature on solvent selectivity was obtained for triblock, multiblock, and alternating chains. For highly selective solvents, strong structuring of both dilute and dense phases makes it harder to reach equilibrium.


title: Unveiling factors influencing judgment variation in Sentiment Analysis with Natural Language Processing and Statistics

abstract: TripAdvisor reviews and comparable data sources play an important role in many tasks in Natural Language Processing (NLP), providing a data basis for the identification and classification of subjective judgments, such as hotel or restaurant reviews, into positive or negative polarities. This study explores three important factors influencing variation in crowdsourced polarity judgments, focusing on TripAdvisor reviews in Spanish. Three hypotheses are tested: the role of Part Of Speech (POS), the impact of sentiment words such as "tasty", and the influence of neutral words like "ok" on judgment variation. The study's methodology employs one-word titles, demonstrating their efficacy in studying polarity variation of words. Statistical tests on mean equality are performed on word groups of our interest. The results of this study reveal that adjectives in one-word titles tend to result in lower judgment variation compared to other word types or POS. Sentiment words contribute to lower judgment variation as well, emphasizing the significance of sentiment words in research on polarity judgments, and neutral words are associated with higher judgment variation as expected. However, these effects cannot be always reproduced in longer titles, which suggests that longer titles do not represent the best data source for testing the ambiguity of single words due to the influence on word polarity by other words like negation in longer titles. This empirical investigation contributes valuable insights into the factors influencing polarity variation of words, providing a foundation for NLP practitioners that aim to capture and predict polarity judgments in Spanish and for researchers that aim to understand factors influencing judgment variation.


title: Rare Beauty and Charm Decays

abstract: There are two main ways of looking for new physics, direct searches and precision measurements. The latter are sensitive to a broader spectrum of models; they also can be sensitive to higher energy scales than what can be reached through direct searches. We will provide an update of several precision measurements carried out by the LHCb collaboration. In particular, we will show the measurement of $R_{\phi\pi}^{(s)}$, the search for $B_c^+ \to \pi^+\mu^+\mu^-$ and $B_s\to\mu^+\mu^-\gamma$ and an amplitude analysis of the $\Lambda_b^0\to pK^-\gamma$ decay.


title: NPLMV-PS: Neural Point-Light Multi-View Photometric Stereo

abstract: In this work we present a novel multi-view photometric stereo (PS) method. Like many works in 3D reconstruction we are leveraging neural shape representations and learnt renderers. However, our work differs from the state-of-the-art multi-view PS methods such as PS-NeRF or SuperNormal we explicity leverage per-pixel intensity renderings rather than relying mainly on estimated normals. We model point light attenuation and explicitly raytrace cast shadows in order to best approximate each points incoming radiance. This is used as input to a fully neural material renderer that uses minimal prior assumptions and it is jointly optimised with the surface. Finally, estimated normal and segmentation maps can also incorporated in order to maximise the surface accuracy. Our method is among the first to outperform the classical approach of DiLiGenT-MV and achieves average 0.2mm Chamfer distance for objects imaged at approx 1.5m distance away with approximate 400x400 resolution. Moreover, we show robustness to poor normals in low light count scenario, achieving 0.27mm Chamfer distance when pixel rendering is used instead of estimated normals.


title: Electron root optimisation for stellarator reactor designs

abstract: In this work, we propose a method of optimising stellarator devices to favour the presence of an electron root solution of the radial electric field. Such a solution can help avoid heavy impurity accumulation, improve neoclassical thermal ion confinement and helium ash exhaust and possibly reduce turbulence. This study shows that an optimisation for such a root is possible in quasi-isodynamic stellarators. Examples are shown for both vacuum and finite plasma pressure configurations.


title: STYLE: Improving Domain Transferability of Asking Clarification Questions in Large Language Model Powered Conversational Agents

abstract: Equipping a conversational search engine with strategies regarding when to ask clarification questions is becoming increasingly important across various domains. Attributing to the context understanding capability of LLMs and their access to domain-specific sources of knowledge, LLM-based clarification strategies feature rapid transfer to various domains in a post-hoc manner. However, they still struggle to deliver promising performance on unseen domains, struggling to achieve effective domain transferability. We take the first step to investigate this issue and existing methods tend to produce one-size-fits-all strategies across diverse domains, limiting their search effectiveness. In response, we introduce a novel method, called Style, to achieve effective domain transferability. Our experimental results indicate that Style bears strong domain transferability, resulting in an average search performance improvement of ~10% on four unseen domains.


title: Alkaline earth metal mediated inter-molecular magnetism in perfluorocubane dimers and chains

abstract: Perfluorocubane ($C_8F_8$) was successfully synthesized and found to accept and store electrons in its internal cubic cavity to form magnetic moments. However their inter-molecule spin-exchange coupling mechanism is yet to be revealed. In this study, we found the inter-molecule magnetic groundstates of $C_8F_8$ dimer and one-dimensional (1D) chain are tunable from antiferromagnetic (AFM) to ferromagnetic (FM) by stacking orders and alkaline earth metals intercalation using first-principle calculations. The inter-molecule couplings are dominated by noncovalent halogen $C-F...C_4$ interactions. Stacking orders of dimers can regulate the relative position of the lone pairs and $\sigma-holes$ at the molecular interface and thus the magnetic groundstates. Alkaline earth metals M (M = Na, Mg) intercalations could form $C_4-M-C_4$ bonds and lead to FM direct exchange at the inter-molecule region. An unpaired electron donated by the intercalated atoms or electron doping can result in a local magnetic moment in dimers, exhibiting an on-off switching by the odd-even number of electron filling. Novel electronic properties such as spin gapless semiconductor and charge density wave (CDW) states emerge when $C_8F_8$ molecules self-assemble with intercalated atoms to form 1D chains. These findings manifest the roles of stacking and intercalation in modifying intermolecular magnetism and the revealed halogen bond-dominated exchange mechanisms are paramount additions to those previously established non-covalent couplings.


title: Constraining the formation of WASP-39b using JWST transit spectroscopy

abstract: Understanding the formation history of planets is one of the goals of studying exoplanet atmospheres. The atmospheric composition of planets can provide insights into the formation pathways of planets. Even though the mapping of the atmospheric composition onto a formation pathway is not unambiguous, with the increasing sensitivity of modern instruments, we can derive promising constraints. In this work, we aim to understand the formation pathway of WASP-39b. We discuss whether the detection of SO2 in its atmosphere would impact our understanding of the formation of the planet and whether it enables us to determine the formation pathway of the planet with greater accuracy. We used the JWST transit observation of the planet together with the available HST and Spitzer observations. We used a formation model coupled with a radiative transfer retrieval model to derive the planet's atmospheric characteristics and formation history. Furthermore, we used a photochemical model to derive the impact of photochemistry on the atmosphere of the planet. In this work, we show that the planet is most likely to have initiated beyond the CO2 ice line of its natal disk. Furthermore, the planet is likely to have have accreted some planetesimals during its formation. We show that the sulfur abundance in the atmosphere of the planet is probably lower than $2.27 \times 10^{-4}$. This abundance indicates that the planet is likely to exhibit a lower metallicity than suggested by the retrievals. Furthermore, such an abundance for sulfur is more likely if WASP-39b had been formed beyond the CO ice line of its natal disk.


title: The Dynamics of Particle-Particle Correlations and the Ridge Effect in Proton-Proton Collisions

abstract: In high-energy particle physics, the study of particle-particle correlations in proton-proton and heavy-ion collisions constitutes a pivotal frontier in the effort to understand the fundamental dynamics of the strong force. To the best of our knowledge, we employ for the first time the BFKL dynamics implemented in a Monte Carlo code in momentum space to compute final state correlations in proton-proton collisions. Our present work aims to investigate whether the particular dynamics of the high-energy limit of QCD can contribute to the long-range rapidity correlations and the enigmatic ridge effect in proton-proton collisions.


title: CLAMBER: A Benchmark of Identifying and Clarifying Ambiguous Information Needs in Large Language Models

abstract: Large language models (LLMs) are increasingly used to meet user information needs, but their effectiveness in dealing with user queries that contain various types of ambiguity remains unknown, ultimately risking user trust and satisfaction. To this end, we introduce CLAMBER, a benchmark for evaluating LLMs using a well-organized taxonomy. Building upon the taxonomy, we construct ~12K high-quality data to assess the strengths, weaknesses, and potential risks of various off-the-shelf LLMs. Our findings indicate the limited practical utility of current LLMs in identifying and clarifying ambiguous user queries, even enhanced by chain-of-thought (CoT) and few-shot prompting. These techniques may result in overconfidence in LLMs and yield only marginal enhancements in identifying ambiguity. Furthermore, current LLMs fall short in generating high-quality clarifying questions due to a lack of conflict resolution and inaccurate utilization of inherent knowledge. In this paper, CLAMBER presents a guidance and promotes further research on proactive and trustworthy LLMs. Our dataset is available at https://github.com/zt991211/CLAMBER


title: Approximating Multi-Dimensional and Multiband Signals

abstract: We study the problem of representing a discrete tensor that comes from finite uniform samplings of a multi-dimensional and multiband analog signal. Particularly, we consider two typical cases in which the shape of the subbands is cubic or parallelepipedic. For the cubic case, by examining the spectrum of its corresponding time- and band-limited operators, we obtain a low-dimensional optimal dictionary to represent the original tensor. We further prove that the optimal dictionary can be approximated by the famous \ac{dpss} with certain modulation, leading to an efficient constructing method. For the parallelepipedic case, we show that there also exists a low-dimensional dictionary to represent the original tensor. We present rigorous proof that the numbers of atoms in both dictionaries are approximately equal to the dot of the total number of samplings and the total volume of the subbands. Our derivations are mainly focused on the \ac{2d} scenarios but can be naturally extended to high dimensions.


title: Investigating stellar activity through eight years of Sun-as-a-star observations

abstract: Stellar magnetic activity induces both distortions and Doppler-shifts in the absorption line profiles of Sun-like stars. Those effects produce apparent radial velocity (RV) signals which greatly hamper the search for potentially habitable, Earth-like planets. In this work, we investigate these distortions in the Sun using cross-correlation functions (CCFs), derived from intensive monitoring with the high-precision spectrograph HARPS-N. We show that the RV signal arising from line-shape variations on time-scales associated with the solar rotation and activity cycle can be robustly extracted from the data, reducing the RV dispersion by half. Once these have been corrected, activity-induced Doppler-shifts remain, that are modulated at the solar rotation period, and that are most effectively modelled in the time domain, using Gaussian Processes (GPs). Planet signatures are still best retrieved with multi-dimensonal GPs, when activity is jointly modelled from the raw RVs and indicators of the line width or of the Ca II H and K emission. After GP modelling, the residual RVs exhibit a dispersion of 0.6-0.8 m/s, likely to be dominated by signals induced by super-granulation. Finally, we find that the statistical properties of the RVs evolve significantly over time, and that this evolution is primarily driven by sunspots, which control the smoothness of the signal. Such evolution, which reduces the sensitivity to long-period planet signatures, is no longer seen in the activity-induced Doppler-shifts, which is promising for long term RV monitoring surveys such as the Terra Hunting Experiment or the PLATO follow-up campaign.


title: QuanEstimation.jl: An open-source Julia framework for quantum parameter estimation

abstract: As the main theoretical support of quantum metrology, quantum parameter estimation must follow the steps of quantum metrology towards the applied science and industry. Hence, optimal scheme design will soon be a crucial and core task for quantum parameter estimation. To efficiently accomplish this task, software packages aimed at computer-aided design are in high demand. In response to this need, we hereby introduce QuanEstimation.jl, an open-source Julia framework for scheme evaluation and design in quantum parameter estimation. It can be used either as an independent package or as the computational core of the recently developed hybrid-language (Python-Julia) package QuanEstimation [Phys. Rev. Res. 4, 043057 (2022)]. Utilizing this framework, the scheme evaluation and design in quantum parameter estimation can be readily performed, especially when quantum noises exist.


title: Atoroidal surface bundles

abstract: We show that there is a type-preserving homomorphism from the fundamental group of the figure-eight knot complement to the mapping class group of the thrice-punctured torus. As a corollary, we obtain infinitely many commensurability classes of purely pseudo-Anosov surface subgroups of mapping class groups of closed surfaces. This gives the first examples of compact atoroidal surface bundles over surfaces.


title: Cycles in spherical Deligne complexes and application to $K(\pi,1)$-conjecture for Artin groups

abstract: We show the $K(\pi,1)$-conjecture holds for Artin groups whose Dynkin diagrams are complete bipartite (edge labels are allowed to be arbitrary), answering a question of J. McCammond. Along the way, we treat several related families of hyperbolic type Artin groups, namely the $K(\pi,1)$-conjecture holds for all 3-dimensional hyperbolic type Artin groups, except one single example with Dynkin diagram $[3,5,3]$; and the conjecture holds for all quasi-Lann\'er hyperbolic type Artin groups up to dimension 4. We also treat several higher dimensional families. Most of the article is about developing new methods of understanding combinatorial minimal fillings of certain types of cycles in spherical Deligne complexes or relative Artin complexes, via non-positive curvature geometry. Then we combine this with an approached to the $K(\pi,1)$-conjecture introduced by a previous article of the author to settle new cases of $K(\pi,1)$-conjecture. In the appendix we list some related open questions and conjectures.


title: Gaussian Head & Shoulders: High Fidelity Neural Upper Body Avatars with Anchor Gaussian Guided Texture Warping

abstract: By equipping the most recent 3D Gaussian Splatting representation with head 3D morphable models (3DMM), existing methods manage to create head avatars with high fidelity. However, most existing methods only reconstruct a head without the body, substantially limiting their application scenarios. We found that naively applying Gaussians to model the clothed chest and shoulders tends to result in blurry reconstruction and noisy floaters under novel poses. This is because of the fundamental limitation of Gaussians and point clouds -- each Gaussian or point can only have a single directional radiance without spatial variance, therefore an unnecessarily large number of them is required to represent complicated spatially varying texture, even for simple geometry. In contrast, we propose to model the body part with a neural texture that consists of coarse and pose-dependent fine colors. To properly render the body texture for each view and pose without accurate geometry nor UV mapping, we optimize another sparse set of Gaussians as anchors that constrain the neural warping field that maps image plane coordinates to the texture space. We demonstrate that Gaussian Head & Shoulders can fit the high-frequency details on the clothed upper body with high fidelity and potentially improve the accuracy and fidelity of the head region. We evaluate our method with casual phone-captured and internet videos and show our method archives superior reconstruction quality and robustness in both self and cross reenactment tasks. To fully utilize the efficient rendering speed of Gaussian splatting, we additionally propose an accelerated inference method of our trained model without Multi-Layer Perceptron (MLP) queries and reach a stable rendering speed of around 130 FPS for any subjects.


title: AutoSoccerPose: Automated 3D posture Analysis of Soccer Shot Movements

abstract: Image understanding is a foundational task in computer vision, with recent applications emerging in soccer posture analysis. However, existing publicly available datasets lack comprehensive information, notably in the form of posture sequences and 2D pose annotations. Moreover, current analysis models often rely on interpretable linear models (e.g., PCA and regression), limiting their capacity to capture non-linear spatiotemporal relationships in complex and diverse scenarios. To address these gaps, we introduce the 3D Shot Posture (3DSP) dataset in soccer broadcast videos, which represents the most extensive sports image dataset with 2D pose annotations to our knowledge. Additionally, we present the 3DSP-GRAE (Graph Recurrent AutoEncoder) model, a non-linear approach for embedding pose sequences. Furthermore, we propose AutoSoccerPose, a pipeline aimed at semi-automating 2D and 3D pose estimation and posture analysis. While achieving full automation proved challenging, we provide a foundational baseline, extending its utility beyond the scope of annotated data. We validate AutoSoccerPose on SoccerNet and 3DSP datasets, and present posture analysis results based on 3DSP. The dataset, code, and models are available at: https://github.com/calvinyeungck/3D-Shot-Posture-Dataset.


title: The Projective Wave Theory of Consciousness

abstract: Neural theories of consciousness face three difficulties: (1) The selection problem: how are those neurons which cause consciousness selected, from all the other neurons which do not? (2) the precision problem: how do neurons hold a detailed internal model of 3D space, as the origin of our spatial conscious experience? and (3) the decoding problem: how are the many distorted neural representations of space in the brain decoded, to give our largely undistorted conscious experience of space? These problems can all be addressed if the brains internal model of local 3D space is held not in neurons, but in a wave excitation (holding a projective transform of Euclidean space), and if the wave is the source of spatial consciousness. Such a wave has not yet been detected in the brain, but there are good reasons why it has not been detected; and there is indirect evidence for a wave, in the mammalian thalamus, and in the central body of the insect brain. The resulting projective wave theory of consciousness gives good agreement with the spatial form of our consciousness. It has a positive Bayesian balance between the complexity of its assumptions and the data it accounts for; this gives a basis to believe it.


title: Real topological phonons in 3D carbon allotropes

abstract: There has been a significant focus on real topological systems that enjoy space-time inversion symmetry (PT ) and lack spin-orbit coupling. While the theoretical classification of the real topology has been established, more progress has yet to be made in the materials realization of such real topological systems in three dimensions (3D). To address this crucial issue, by selecting the carbon-based material candidates as targets, we perform high-throughput computing to inspect the real topology in the phonon spectrums of the 3D carbon allotropes in the Samara Carbon Allotrope Database (SACADA). Among 1192 kinds of 3D carbon allotropes, we find 65 real topological systems with a phononic real Chern insulating (PRCI) state, 2 real topological systems with a phononic real nodal line (PRNL) state, 10 real topological systems with a phononic real Dirac point (PRDP) state, and 8 real topological systems with a phononic real triple-point pair (PRTPP) state. This extremely expands the material candidates with real topology, especially for the gapless topological phonons. We exhibit the PRCI, PRNL, PRTPP, and PRDP states of 27-SG. 166-pcu-h, 1081-SG. 194- 4 2T13-CA, 52-SG. 141-gis, and 132-SG. 191-3,4T157 as illustrative examples, and explore the second-order boundary mode, i.e., phononic hinge mode. Among the four examples, the materials 1081-SG. 194-42T13-CA and 52-SG. 141-gis are so ideal that the PRNL and PRTPP in them are well separated from other bands, and the phononic hinge mode can be clearly observed. This study aims to broaden the understanding of 3D topological phonons, and emphasizes the potential of 3D carbon allotropes as a valuable framework for exploring the fascinating physics related to phononic hinge modes and phononic real topology.


title: Goal-Oriented Communication for Networked Control Assisted by Reconfigurable Meta-Surfaces

abstract: In this paper, we develop a theoretical framework for goal-oriented communication assisted by reconfigurable meta-surfaces in the context of networked control systems. The relation to goal-oriented communication stems from the fact that optimization of the phase shifts of the meta-surfaces is guided by the performance of networked control systems tasks. To that end, we consider a networked control system in which a set of sensors observe the states of a set of physical processes, and communicate this information over an unreliable wireless channel assisted by a reconfigurable intelligent surface with multiple reflecting elements to a set of controllers that correct the behaviors of the physical processes based on the received information. Our objective is to find the optimal control policy for the controllers and the optimal phase policy for the reconfigurable intelligent surface that jointly minimize a regulation cost function associated with the networked control system. We characterize these policies, and also propose an approximate solution based on a semi-definite relaxation technique.


title: Quazinormal modes and greybody factor of black hole surrounded by a quintessence in the S-V-T modified gravity as well as shadow

abstract: The purpose of this study is to investigate the quasinormal modes (QNMs), greybody factors (GFs) and shadows in a plasma of a black hole (BH) surrounded by an exotic fluid of quintessence type in a scalar-vector-tensor modified gravity. The effects of a quintessence scalar field and the modified gravity (MOG) field on the QNM, GF, and shadow are examined. Using the sixth-order WKB approach, we investigate the QNMs of massless scalar and electromagnetic perturbations. Our findings show that as the quintessence and the MOG parameter ($\epsilon$ and $\alpha$) increase, the oscillation frequencies decrease significantly. Gravitational wave damping, on the other hand, decreases with increasing $\epsilon$ and $\alpha$. In addition, we obtain an analytical solution for the transmission coefficients (GF) and demonstrate that more thermal radiation reaches the observer at spatial infinity as both the $\epsilon$ and $\alpha$ parameters increase. We also investigate the effect of the plasma background on the BH shadow and show that as the plasma background parameter increases, the shadow radius slightly shrinks. Nevertheless, the shadow radius increases as $\alpha$ and $\epsilon$ increase. Particularly intriguing is the fact that increasing $\epsilon$ has a greater impact on the shadow radius than increasing $\alpha$, indicating that the quintessence parameter has a greater impact than the MOG parameter.


title: Constraining the helium-to-metal enrichment ratio $\Delta Y/\Delta Z$ from main sequence binary stars. Theoretical analysis of the accuracy and precision of the age and helium abundance estimates

abstract: We investigated the theoretical possibility of accurately determining the helium-to-metal enrichment ratio $\Delta Y/\Delta Z$ from precise observations of double lined eclipsing binary systems. Using Monte Carlo simulations, we drew synthetic binary systems with masses between 0.85 and 1.00 $M_{\odot}$ from a grid of stellar models with $\Delta Y/\Delta Z = 2.0$ [...]. Subsequently, a broader grid with $\Delta Y/\Delta Z$ from 1.0 to 3.0 was used in the fitting process. To account for observational uncertainties, two scenarios were explored: S1 with realistic uncertainties of 100 K in temperature and 0.1 dex in [Fe/H], and S2 with halved uncertainties. We repeated the simulation at two baseline metallicities: [Fe/H] = 0.0 and -0.3. The posterior distributions of $\Delta Y/\Delta Z$ were severely biased towards the edge of the allowable range in the S1 errors scenario. The situation only marginally improved when considering the S2 scenario. The effect is due to the impact of changing $\Delta Y/\Delta Z$ in the stellar effective temperature and its interplay with [Fe/H] observational error, and it is therefore not restricted to the specific fitting method. Despite the presence of these systematic discrepancies, the age of the systems were recovered unbiased with 10% precision. Our findings indicate that the observational uncertainty in effective temperature and metallicity significantly hinders the accurate determination of the $\Delta Y/\Delta Z$ parameter from main sequence binary systems.


title: GAN-GRID: A Novel Generative Attack on Smart Grid Stability Prediction

abstract: The smart grid represents a pivotal innovation in modernizing the electricity sector, offering an intelligent, digitalized energy network capable of optimizing energy delivery from source to consumer. It hence represents the backbone of the energy sector of a nation. Due to its central role, the availability of the smart grid is paramount and is hence necessary to have in-depth control of its operations and safety. To this aim, researchers developed multiple solutions to assess the smart grid's stability and guarantee that it operates in a safe state. Artificial intelligence and Machine learning algorithms have proven to be effective measures to accurately predict the smart grid's stability. Despite the presence of known adversarial attacks and potential solutions, currently, there exists no standardized measure to protect smart grids against this threat, leaving them open to new adversarial attacks. In this paper, we propose GAN-GRID a novel adversarial attack targeting the stability prediction system of a smart grid tailored to real-world constraints. Our findings reveal that an adversary armed solely with the stability model's output, devoid of data or model knowledge, can craft data classified as stable with an Attack Success Rate (ASR) of 0.99. Also by manipulating authentic data and sensor values, the attacker can amplify grid issues, potentially undetected due to a compromised stability prediction system. These results underscore the imperative of fortifying smart grid security mechanisms against adversarial manipulation to uphold system stability and reliability.


title: Inequalities between Dirichlet and Neumann eigenvalues of the magnetic Laplacian

abstract: We consider the magnetic Laplacian with the homogeneous magnetic field in two and three dimensions. We prove that the $(k+1)$-th magnetic Neumann eigenvalue of a bounded convex planar domain is not larger than its $k$-th magnetic Dirichlet eigenvalue. In three dimensions, we restrict our attention to convex domains, which are invariant under rotation by an angle of $\pi$ around an axis parallel to the magnetic field. For such domains, we prove that the $(k+2)$-th magnetic Neumann eigenvalue is not larger than the $k$-th magnetic Dirichlet eigenvalue provided that this Dirichlet eigenvalue is simple. The proofs rely on a modification of the strategy due to Levine and Weinberger.


title: A deep-water closure model for surface waves on axisymmetric swirling flows

abstract: We consider the propagation of linear gravity waves on the free surface of steady, axisymmetric flows with purely azimuthal velocity. We propose a two-dimensional set of governing equations for surface waves valid in the deep-water limit. These equations come from a closure condition at the free surface that reduces the three-dimensional Euler equations in the bulk of the fluid to a set of two-dimensional equations applied only at the free surface. Since the closure condition is not obtained rigorously, it is validated numerically through comparisons with full three-dimensional calculations for vortex flows, including for a Lamb--Oseen vortex. The model presented here overcomes three limitations of existing models, namely: it is not restricted to potential base flows; it does not assume the base flow to have a flat free surface; and it does not require the use of infinite-order differential operators (such as $\tanh(\nabla)$) in the governing equations. The model can be applied in the case of rapid swirl (large Froude number) where the base free surface is substantially deformed. Since the model contains only derivatives of finite order, it is readily amenable to standard numerical study.


title: PARALLELGPUOS: A Concurrent OS-level GPU Checkpoint and Restore System using Validated Speculation

abstract: Checkpointing (C) and restoring (R) are key components for GPU tasks. POS is an OS-level GPU C/R system: It can transparently checkpoint or restore processes that use the GPU, without requiring any cooperation from the application, a key feature required by modern systems like the cloud. Moreover, POS is the first OS-level C/R system that can concurrently execute C/R with the application execution: a critical feature that can be trivially achieved when the processes only running on the CPU, but becomes challenging when the processes use GPU. The problem is how to ensure consistency during concurrent execution with the lack of application semantics due to transparency. CPU processes can leverage OS and hardware paging to fix inconsistency without application semantics. Unfortunately, GPU bypasses OS and paging for high performance. POS fills the semantic gap by speculatively extracting buffer access information of GPU kernels during runtime. Thanks to the simple and well-structured nature of GPU kernels, our speculative extraction (with runtime validation) achieves 100% accuracy on applications from training to inference whose domains span from vision, large language models, and reinforcement learning. Based on the extracted semantics, we systematically overlap C/R with application execution, and achieves orders of magnitude higher performance under various tasks compared with the state-of-the-art OS-level GPU C/R, including training fault tolerance, live GPU process migration, and cold starts acceleration in GPU-based serverless computing.


title: Universal quantum Fisher information and simultaneous occurrence of Landau-class and topological-class transitions in non-Hermitian Jaynes-Cummings models

abstract: Light-matter interactions provide an ideal testground for interplay of critical phenomena, topological transitions, quantum metrology and non-Hermitian physics. We consider two fundamental non-Hermitian Jaynes-Cummings models which possess real energy spectra in parity-time (PT) symmetry and anti-PT symmetry. We show that the quantum Fisher information is critical around the transitions at the exceptional points and exhibits a super universality with respect to different parameters, all energy levels, both models, symmetric phases and symmetry-broken phases. The transitions are found to be both symmetry-breaking Landau-class transitions (LCTs) and symmetry-protected topological-class of transitions (TCTs), thus realizing a simultaneous occurrence of critical LCTs and TCTs which are conventionally incompatible due to contrary symmetry requirements.


title: Selective Annotation via Data Allocation: These Data Should Be Triaged to Experts for Annotation Rather Than the Model

abstract: To obtain high-quality annotations under limited budget, semi-automatic annotation methods are commonly used, where a portion of the data is annotated by experts and a model is then trained to complete the annotations for the remaining data. However, these methods mainly focus on selecting informative data for expert annotations to improve the model predictive ability (i.e., triage-to-human data), while the rest of the data is indiscriminately assigned to model annotation (i.e., triage-to-model data). This may lead to inefficiencies in budget allocation for annotations, as easy data that the model could accurately annotate may be unnecessarily assigned to the expert, and hard data may be misclassified by the model. As a result, the overall annotation quality may be compromised. To address this issue, we propose a selective annotation framework called SANT. It effectively takes advantage of both the triage-to-human and triage-to-model data through the proposed error-aware triage and bi-weighting mechanisms. As such, informative or hard data is assigned to the expert for annotation, while easy data is handled by the model. Experimental results show that SANT consistently outperforms other baselines, leading to higher-quality annotation through its proper allocation of data to both expert and model workers. We provide pioneering work on data annotation within budget constraints, establishing a landmark for future triage-based annotation studies.


title: Persistence of large scale coherent structures in a turbulent pipe flow through an improved lattice Boltzmann approach

abstract: We simulated a turbulent pipe flow within the Lattice Boltzmann Method using a multiple-relaxation-time collision operator with Maxwell-Boltzmann equilibrium distribution expanded, for the sake of a more accurate description, up to the sixth order in Hermite polynomials. The moderately turbulent flow ($Re_{\tau} \approx 181.3$) is able to reproduce up to the fourth statistical moment with great accuracy, compared with other numerical schemes and with experimental data. A coherent structure identification was performed based on the most energetic streamwise turbulent mode, which revealed a surprising memory effect related to the large scale forcing scheme used to trigger the turbulent state in the pipe. We observe that the existence of large scale motions which are out of the pipe's stationary regime do not affect the detailed single-point statistical features of the flow. Furthermore, the transitions between the coherent structures of different topological modes were analyzed as a stochastic process. We find that for finely resolved data the transitions are effectively Markovian, but for larger decimation time lags, due to topological mode degeneracy, non-Markovian behavior emerges, in agreement with previous experimental studies.


title: Instrumented Difference-in-Differences with heterogeneous treatment effects

abstract: Many studies exploit variation in the timing of policy adoption across units as an instrument for treatment, and use instrumental variable techniques. This paper formalizes the underlying identification strategy as an instrumented difference-in-differences (DID-IV). In a simple setting with two periods and two groups, our DID-IV design mainly consists of a monotonicity assumption, and parallel trends assumptions in the treatment and the outcome. In this design, a Wald-DID estimand, which scales the DID estimand of the outcome by the DID estimand of the treatment, captures the local average treatment effect on the treated (LATET). In contrast to Fuzzy DID design considered in \cite{De_Chaisemartin2018-xe}, our DID-IV design does not {\it ex-ante} require strong restrictions on the treatment adoption behavior across units, and our target parameter, the LATET, is policy-relevant if the instrument is based on the policy change of interest to the researcher. We extend the canonical DID-IV design to multiple period settings with the staggered adoption of the instrument across units, which we call staggered DID-IV designs. We propose an estimation method in staggered DID-IV designs that is robust to treatment effect heterogeneity. We illustrate our findings in the setting of \cite{Oreopoulos2006-bn}, estimating returns to schooling in the United Kingdom. In this application, the two-way fixed effects instrumental variable regression, which is the conventional approach to implement staggered DID-IV designs, yields a negative estimate, whereas our estimation method indicates the substantial gain from schooling.


title: Distributional Semantics, Holism, and the Instability of Meaning

abstract: Current language models are built on the so-called distributional semantic approach to linguistic meaning that has the distributional hypothesis at its core. The distributional hypothesis involves a holistic conception of word meaning: the meaning of a word depends upon its relations to other words in the model. A standard objection to meaning holism is the charge of instability: any change in the meaning properties of a linguistic system (a human speaker, for example) would lead to many changes or possibly a complete change in the entire system. When the systems in question are trying to communicate with each other, it has been argued that instability of this kind makes communication impossible (Fodor and Lepore 1992, 1996, 1999). In this article, we examine whether the instability objection poses a problem for distributional models of meaning. First, we distinguish between distinct forms of instability that these models could exhibit, and we argue that only one such form is relevant for understanding the relation between instability and communication: what we call differential instability. Differential instability is variation in the relative distances between points in a space, rather than variation in the absolute position of those points. We distinguish differential and absolute instability by constructing two of our own models, a toy model constructed from the text of two novels, and a more sophisticated model constructed using the Word2vec algorithm from a combination of Wikipedia and SEP articles. We demonstrate the two forms of instability by showing how these models change as the corpora they are constructed from increase in size.


title: Noise-tolerant learnability of shallow quantum circuits from statistics and the cost of quantum pseudorandomness

abstract: This work studies the learnability of unknown quantum circuits in the near term. We prove the natural robustness of quantum statistical queries for learning quantum processes and provide an efficient way to benchmark various classes of noise from statistics, which gives us a powerful framework for developing noise-tolerant algorithms. We adapt a learning algorithm for constant-depth quantum circuits to the quantum statistical query setting with a small overhead in the query complexity. We prove average-case lower bounds for learning random quantum circuits of logarithmic and higher depths within diamond distance with statistical queries. Additionally, we show the hardness of the quantum threshold search problem from quantum statistical queries and discuss its implications for the learnability of shallow quantum circuits. Finally, we prove that pseudorandom unitaries (PRUs) cannot be constructed using circuits of constant depth by constructing an efficient distinguisher and proving a new variation of the quantum no-free lunch theorem.


title: Pressure-induced nearly perfect rectangular lattice and superconductivity in an organic molecular crystal (DMET-TTF)$_2$AuBr$_2$

abstract: External pressure and associated changes in lattice structures are key to realizing exotic quantum phases such as high-$T_{\rm c}$ superconductivity. While applying external pressure is a standard method to induce novel lattice structures, its impact on organic molecular crystals has been less explored. Here we report a unique structural phase transition in (DMET-TTF)$_2$AuBr$_2$ under pressure. By combining advanced high-pressure techniques and $ab$ $initio$ calculations, we elucidate that (DMET-TTF)$_2$AuBr$_2$ undergoes a transition from a quasi-one-dimensional lattice to a nearly perfect rectangular lattice at 0.9 GPa. This transition leads to the realization of an antiferromagnetic Mott insulator with $T_{\rm N}=66$ K, the highest $T_{\rm N}$ in low-dimensional molecular crystal solids to date. Upon increasing the pressure, the antiferromagnetic ordering is suppressed, and a superconducting phase with $T_{\rm c}=4.8$ K emerges around 6 GPa. Our study reveals the significant impact of external pressure on lattice structures of organic molecular crystals and highlights the intricate relationship between geometrical frustration and superconductivity. Our findings also pave the way for realizing functional organic molecular crystals through changes in lattice structures by pressure.


title: Channel Balance Interpolation in the Lightning Network via Machine Learning

abstract: The Bitcoin Lightning Network is a Layer 2 payment protocol that addresses Bitcoin's scalability by facilitating quick and cost effective transactions through payment channels. This research explores the feasibility of using machine learning models to interpolate channel balances within the network, which can be used for optimizing the network's pathfinding algorithms. While there has been much exploration in balance probing and multipath payment protocols, predicting channel balances using solely node and channel features remains an uncharted area. This paper evaluates the performance of several machine learning models against two heuristic baselines and investigates the predictive capabilities of various features. Our model performs favorably in experimental evaluation, outperforming by 10% against an equal split baseline where both edges are assigned half of the channel capacity.


title: Product representation of perfect cubes

abstract: Let $F_{k,d}(n)$ be the maximal size of a set ${A}\subseteq [n]$ such that the equation \[a_1a_2\dots a_k=x^d, \; a_1<a_2<\ldots<a_k\] has no solution with $a_1,a_2,\ldots,a_k\in {A}$ and integer $x$. Erd\H{o}s, S\'ark\"ozy and T. S\'os studied $F_{k,2}$, and gave bounds when $k=2,3,4,6$ and also in the general case. We study the problem for $d=3$, and provide bounds for $k=2,3,4,6$ and $9$, furthermore, in the general case, as well. In particular, we refute an 18 years old conjecture of Verstra\"ete. We also introduce another function $f_{k,d}$ closely related to $F_{k,d}$: While the original problem requires $a_1, \ldots , a_k$ to all be distinct, we can relax this and only require that the multiset of the $a_i$'s cannot be partitioned into $d$-tuples where each $d$-tuple consists of $d$ copies of the same number.


title: Using Formal Verification to Evaluate Single Event Upsets in a RISC-V Core

abstract: Reliability has been a major concern in embedded systems. Higher transistor density and lower voltage supply increase the vulnerability of embedded systems to soft errors. A Single Event Upset (SEU), which is also called a soft error, can reverse a bit in a sequential element, resulting in a system failure. Simulation-based fault injection has been widely used to evaluate reliability, as suggested by ISO26262. However, it is practically impossible to test all faults for a complex design. Random fault injection is a compromise that reduces accuracy and fault coverage. Formal verification is an alternative approach. In this paper, we use formal verification, in the form of model checking, to evaluate the hardware reliability of a RISC-V Ibex Core in the presence of soft errors. Backward tracing is performed to identify and categorize faults according to their effects (no effect, Silent Data Corruption, crashes, and hangs). By using formal verification, the entire state space and fault list can be exhaustively explored. It is found that misaligned instructions can amplify fault effects. It is also found that some bits are more vulnerable to SEUs than others. In general, most of the bits in the Ibex Core are vulnerable to Silent Data Corruption, and the second pipeline stage is more vulnerable to Silent Data Corruption than the first.


title: Two-dimensional Synchrotron Beam Characterisation from a Single Interferogram

abstract: Double-aperture Young interferometry is widely used in accelerators to provide a one-dimensional beam measurement. We improve this technique by combining and further developing techniques of non-redundant aperture masking and self-calibration from astronomy. Using visible synchrotron radiation, tests at the ALBA synchrotron show that this method provides an accurate two-dimensional beam transverse characterisation, even from a single 1ms interferogram. The technique is resistant to phase fluctuations that might be introduced by vibration of optical components, or in the laboratory atmosphere.


title: Weak lensing of strong lensing: beyond the tidal regime

abstract: The analysis of strong lensing images usually involves an external convergence and shear, which are meant to model the effect of perturbations along the line of sight, on top of the main lens. Such a description of line-of-sight perturbations supposes that the corresponding gravitational fields can be treated in the tidal regime. Going one step further introduces additional effects, known as flexion, which have been hitherto neglected in strong lensing. In this work, we build a minimal model for the line-of-sight flexion, which adds four new complex parameters to the lens model. Contrary to convergence and shear, the line-of-sight flexion cannot be projected onto the main lens plane. For a $\Lambda$CDM cosmology, we predict the typical line-of-sight flexion to be on the order of $10^{-3} \mathrm{arcsec}^{-1}$ on galactic scales. Neglecting its effect in lens modelling is found to bias the recovery of other parameters; in particular, the line-of-sight shear can be biased up to $2\sigma$. Accounting for the line-of-sight flexion in our minimal framework restores accuracy, at the the cost of degrading precision. With current imaging capabilities, the line-of-sight flexion is unlikely to be measurable on individual strong lensing images; it must therefore be considered a nuisance parameter rather than an observable in its own right.