title: LFOC+: A Fair OS-level Cache-Clustering Policy for Commodity Multicore Systems

abstract: Commodity multicore systems are increasingly adopting hardware support that enables the system software to partition the last-level cache (LLC). This support makes it possible for the operating system (OS) or the Virtual Machine Monitor (VMM) to mitigate shared-resource contention effects on multicores by assigning different co-running applications to various cache partitions. Recently cache-clustering (or partition-sharing) strategies have emerged as a way to improve system throughput and fairness on new platforms with cache-partitioning support. As opposed to strict cache-partitioning, which allocates separate cache partitions to each application, cache-clustering allows partitions to be shared by a group of applications. In this article we propose LFOC+, a fairness-aware OS-level cache-clustering policy for commodity multicore systems. LFOC+ tries to mimic the behavior of the optimal cache-clustering solution for fairness, which we could obtain for different workload scenarios by using a simulation tool. Our dynamic cache-clustering strategy continuously gathers data from performance monitoring counters to classify applications at runtime based on the degree of cache sensitivity and contentiousness, and effectively separates cache-sensitive applications from aggressor programs to improve fairness, while providing acceptable system throughput. We implemented LFOC+ in the Linux kernel and evaluated it on a real system featuring an Intel Skylake processor, where we compare its effectiveness to that of four previously proposed cache-clustering policies. Our experimental analysis reveals that LFOC+ constitutes a lightweight OS-level policy and improves fairness relative to two other state-of-the-art fairness-aware strategies --Dunn and LFOC--, by up to 22\% and up to 20.6\%, respectively, and by 9\% and 4.9\% on average.


title: Cosmology at the Field Level with Probabilistic Machine Learning

abstract: The large-scale structure in cosmology is highly non-Gaussian at late times and small length scales, making it difficult to describe analytically. Parameter inference, data reconstruction, and data generation tasks in cosmology are greatly aided by various machine learning models. In order to retain as much information as possible while solving these problems, this work operates at the field level, rather than at the level of summary statistics. The probability density function of the large-scale structure is learned with normalizing flows, a class of probabilistic generative models. Normalizing flows learn the transformation from a simple base distribution to a more complicated distribution, much like the matter content evolved to its present day complexities from a Gaussian field at early times. While the normalizing flows have accurately modelled 2-dimensional projections of the matter content, we find that denoising diffusion models are well-suited for volumetric data. A super-resolution emulator is developed for cosmological simulation volumes, generating high-resolution baryonic simulation volumes conditional on low-resolution dark matter simulations. The super-resolution emulator is trained to perform outpainting, and can thus upgrade very large cosmological volumes from low-resolution to high-resolution using an iterative outpainting procedure.


title: Metastability and time scales for parabolic equations with drift 2: the general time scale

abstract: Consider the elliptic operator given by \[ \mathscr{L}_\epsilon f=b\cdot\nabla f+\epsilon\Delta f \] for some smooth vector field $b:\mathbb{R}^d\to\mathbb{R}^d$ and $\epsilon>0$, and the initial-valued problem on $\mathbb{R}^d$ \[ \left\{\begin{aligned}&\partial_t u_\epsilon=\mathscr{L}_\epsilon u_\epsilon,\\ &u_\epsilon(0,\,\cdot)=u_0(\cdot), \end{aligned} \right. \] for some bounded continuous function $u_0$. Under the hypothesis that the diffusion on $\mathbb{R}^d$ induced by $\mathscr{L}_\epsilon$ has a Gibbs invariant measure of the form $\exp \{-U(x)/\epsilon\}dx$ for some smooth Morse potential function $U$, we provide the complete characterization of the multi-scale behavior of the solution $u_\epsilon$ in the regime $\epsilon\to0$. More precisely, we find the critical time scales $1\ll \theta_\epsilon^{(1)}\ll\cdots\ll \theta_\epsilon^{(q)}$ as $\epsilon\to0$, and the kernels $R_t^{(p)}:M_0\times M_0\to\mathbb{R}_+$, where $M_0$ denotes the set of local minima of $U$, such that \[ \lim_{\epsilon\to0}u_\epsilon(t\theta_\epsilon^{(p)},\,x)=\sum_{m'\in M_0}R_t^{(p)}(m,\,m')u_0(m'), \] for all $t>0$ and $x$ in the domain of attraction of $m$ for the dynamical system $\dot{x}(t)=b(x(t))$. We then complete the characterization of the solution $u_\epsilon$ by computing the exact asymptotic limit of the solution between time scales $\theta_\epsilon^{(p)}$ and $\theta_\epsilon^{(p+1)}$ for each $p$, where $\theta_\epsilon^{(0)}=1$ and $\theta_\epsilon^{(q+1)}=\infty$. Our proof relies on the full tree-structure characterization of the metastable behavior in different time-scales of the diffusion induced by $\mathscr{L}_\epsilon$. This result can be regarded as the precise refinement of Freidlin-Wentzell theory which was not known for more than a half century.


title: Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic

abstract: We show a projective Beth definability theorem for logic programs under the stable model semantics: For given programs $P$ and $Q$ and vocabulary $V$ (set of predicates) the existence of a program $R$ in $V$ such that $P \cup R$ and $P \cup Q$ are strongly equivalent can be expressed as a first-order entailment. Moreover, our result is effective: A program $R$ can be constructed from a Craig interpolant for this entailment, using a known first-order encoding for testing strong equivalence, which we apply in reverse to extract programs from formulas. As a further perspective, this allows transforming logic programs via transforming their first-order encodings. In a prototypical implementation, the Craig interpolation is performed by first-order provers based on clausal tableaux or resolution calculi. Our work shows how definability and interpolation, which underlie modern logic-based approaches to advanced tasks in knowledge representation, transfer to answer set programming.


title: A Spatial-Temporal Analysis of Travel Time Gap and Inequality Between Public Transportation and Personal Vehicles

abstract: The increased use of personal vehicles presents environmental challenges, prompting the exploration of public transportation as an affordable, eco-friendly alternative. However, obstacles like fixed schedules, limited routes, and extended travel times impede widespread adoption. This study investigates the temporal evolution of spatial inequality in the travel time gap between public transportation and personal vehicles, reflecting disparities across states and time periods. Analyzing Census Transportation Planning Program data for six northeastern states in 2010 and 2016 reveals no significant increase in the travel time gap, but notable growth in inequality in a few urban and disadvantaged communities. Comprehending these trends is vital for fostering equitable advancements in transportation infrastructure and enhancing public transportation competitiveness.


title: Optimal consumption and investment under relative performance criteria with Epstein-Zin utility

abstract: We consider the strategic interaction of traders in a continuous-time financial market with Epstein-Zin-type recursive intertemporal preferences and performance concerns. We derive explicitly an equilibrium for the finite player and the mean-field version of the game, based on a study of geometric backward stochastic differential equations of Bernoulli type that describe the best replies of traders. Our results show that Epstein-Zin preferences can lead to substantially different equilibrium behavior.


title: On scalable $K$-frames and a version of Lax-Milgram theorem

abstract: In this paper, we first prove a theorem by a little modification on the Lax-Milgram theorem. Then, using $K$-frames, we obtain lower and upper bounds for the results obtained from this theorem. Also, we present some methods for the characterization of scalable $K$-frames. Finally, we introduce piecewise scalable $K$-frames and give necessary and sufficient conditions for a $K$-frame to be piecewise scalable.


title: The noisy Landau-Streater(Werner-Holevo) channel in arbitrary dimensions

abstract: Two important classes of quantum channels, namly the Werner-Holevo and the Landau-Streater channels are known to be related only in three dimensions, i.e. when acting on qutrits. In this work, the definition of the Landau-Streater channel is extended in such a way which retains its equivalence to the Werner-Holevo channel in all dimensions. This channel is then modified to be representable as a model of noise acting on qudits. We then investigate propeties of the resulting noisy channel and determine the conditions under which it cannot be the result of a Markovian evolution. Furthermore, we investigate its different capacities for transmitting classical and quantum information with or without entanglement. In particular, while the pure (or high noise) Landau-Streater or the Werner-Holevo channel is entanglement breaking and hence has zero capacity, by finding a lower bound for the quantum capacity, we show that when the level of noise is lower than a critical value the quantum capacity will be non-zero. Surprizingly this value turns out to be approximately equal to $0.4$ in all dimensions. Finally we show that, in even dimensions, this channel has a decomposition in terms of unitary operations. This is in contrast with the three dimensional case where it has been proved that such a decomposition is possible is impossible, even in terms of other quantum maps.


title: Combination Therapy for Chronic Hepatitis B Using Capsid Recycling Inhibitor

abstract: In this paper, we investigate the dynamics of hepatitis B virus infection taking into account the implementation of combination therapy through mathematical modeling. This model is established considering the interplay between uninfected cells, infected cells, capsids, and viruses. Three drugs are considered for specific roles (i) pegylated interferon (PEG IFN) for immune modulation, (ii) lamivudine (LMV) as a reverse-transcriptase inhibitor, and (iii) entecavir (ETV) to block capsid recycling. Using these drugs, three combination therapies are introduced, specifically CT PEG IFN plus LMV, CT PEG IFN plus ETV, and CT PEG IFN plus LMV plus ETV. As a result, when LMV is used in combination therapy with PEG IFN and ETV, the impacts of ETV become insignificant. In conclusion, if the appropriate drug effectively inhibits reverse transcription, there is no need for an additional inhibitor to block capsid recycling.


title: Stabilization of Mn4+ in synthetic slags and identification of important slag forming phases

abstract: The expected shortage of Li due to the strong increase in electromobility is an important issue for the recovery of Li from spent Li-ion batteries. One approach is pyrometallurgical processing, during which ignoble elements such as Li, Al and Mn enter the slag system. The Engineered Artificial Minerals (EnAM) strategy aims to efficiently recover critical elements. This study focuses on stabilizing Li-manganates in a synthetic slag and investigates the relationship between Mn4+ and Mg and Al in relation to phase formation. Therefore, three synthetic slags (Li, Mg, Al, Si, Ca, Mn, O) were synthesized. In addition to LiMn3+O2, Li2Mn4+O3 was also stabilized. Both phases crystallized in a Ca-silicate-rich matrix. In the structure of Li2MnO3 and LiMnO2, Li and Mn can substitute each other in certain proportions. As long as a mix of Mn2+ and Mn3+ is present in the slag, spinels form through the addition of Mg and/or Al.


title: Online Sequential Decision-Making with Unknown Delays

abstract: In the field of online sequential decision-making, we address the problem with delays utilizing the framework of online convex optimization (OCO), where the feedback of a decision can arrive with an unknown delay. Unlike previous research that is limited to Euclidean norm and gradient information, we propose three families of delayed algorithms based on approximate solutions to handle different types of received feedback. Our proposed algorithms are versatile and applicable to universal norms. Specifically, we introduce a family of Follow the Delayed Regularized Leader algorithms for feedback with full information on the loss function, a family of Delayed Mirror Descent algorithms for feedback with gradient information on the loss function and a family of Simplified Delayed Mirror Descent algorithms for feedback with the value information of the loss function's gradients at corresponding decision points. For each type of algorithm, we provide corresponding regret bounds under cases of general convexity and relative strong convexity, respectively. We also demonstrate the efficiency of each algorithm under different norms through concrete examples. Furthermore, our theoretical results are consistent with the current best bounds when degenerated to standard settings.


title: Graded relations on crossed products

abstract: We classify crossed product gradings for arbitrary groups and fields up to several equivalence relations in terms of group actions and their orbits.


title: Genuine and faux single G centers in carbon-implanted silicon

abstract: Among the wide variety of single fluorescent defects investigated in silicon, numerous studies have focused on color centers with a zero-phonon line around $1.28 \mu$m and identified to a common carbon-complex in silicon, namely the G center. However, inconsistent estimates regarding their quantum efficiency cast doubt on the correct identification of these individual emitters. Through a comparative analysis of their single-photon emission properties, we demonstrate that these single color centers are split in two distinct families of point defects. A first family consists of the genuine single G centers with a well-identified microscopic structure and whose photoluminescence has been investigated on ensemble measurements since the 60's. The remaining defects belong to a new color center, which we will refer to as G$^{\star}$ center, whose atomic configuration has yet to be determined. These results provide a safeguard against future defect misidentifications, which is crucial for further development of quantum technologies relying on G or G$^{\star}$ center quantum properties.


title: Wiener-Hopf factorizations and matrix-valued orthogonal polynomials

abstract: We compare two methods for analysing periodic dimer models. These are the matrix-valued orthogonal polynomials approach due to Duits and one of the authors, and the Wiener-Hopf approach due to Berggren and Duits. We establish their equivalence in the special case of the Aztec diamond. Additionally, we provide explicit formulas for the matrix-valued orthogonal polynomials/Wiener-Hopf factors in the case of the $2 \times 2$-periodic Aztec diamond in terms of Jacobi theta functions related to the spectral curve of the model.


title: Topological Edge States in Reconfigurable Multi-stable Mechanical Metamaterials

abstract: Multi-stable mechanical structures find cutting-edge applications across various domains due to their reconfigurability, which offers innovative possibilities for engineering and technology advancements. This study explores the emergence of topological states in a one-dimensional chain-like multi-stable mechanical metamaterial composed of bistable units through a combination of mechanical and optical experiments. Drawing inspiration from the SSH (Su-Schrieffer-Heeger) model in condensed matter physics, we leverage the unique mechanical properties of the reconfigurable ligament-oscillator metamaterial to engineer a system with coexisting topological phases. Based on the one-dimensional periodic bistable chain, there is an exponential decay diffusion of elastic energy from both end boundaries towards the interior of the body. Experimental characterizations demonstrate the existence of stable topological phases within the reconfigurable multi-stable mechanical metamaterial. The findings underscore the potential of reconfigurable mechanical metamaterials as versatile platforms for flexibly exploring and manipulating topological phenomena, with applications ranging from impact resistance to energy harvesting and information processing.


title: Signed Distance Field based Segmentation and Statistical Shape Modelling of the Left Atrial Appendage

abstract: Patients with atrial fibrillation have a 5-7 fold increased risk of having an ischemic stroke. In these cases, the most common site of thrombus localization is inside the left atrial appendage (LAA) and studies have shown a correlation between the LAA shape and the risk of ischemic stroke. These studies make use of manual measurement and qualitative assessment of shape and are therefore prone to large inter-observer discrepancies, which may explain the contradictions between the conclusions in different studies. We argue that quantitative shape descriptors are necessary to robustly characterize LAA morphology and relate to other functional parameters and stroke risk. Deep Learning methods are becoming standardly available for segmenting cardiovascular structures from high resolution images such as computed tomography (CT), but only few have been tested for LAA segmentation. Furthermore, the majority of segmentation algorithms produces non-smooth 3D models that are not ideal for further processing, such as statistical shape analysis or computational fluid modelling. In this paper we present a fully automatic pipeline for image segmentation, mesh model creation and statistical shape modelling of the LAA. The LAA anatomy is implicitly represented as a signed distance field (SDF), which is directly regressed from the CT image using Deep Learning. The SDF is further used for registering the LAA shapes to a common template and build a statistical shape model (SSM). Based on 106 automatically segmented LAAs, the built SSM reveals that the LAA shape can be quantified using approximately 5 PCA modes and allows the identification of two distinct shape clusters corresponding to the so-called chicken-wing and non-chicken-wing morphologies.


title: A note on the capacities of Lagrangian $p$-sum

abstract: In this short note, we construct an explicit embedding of the rescaling of the $p$-sum $K\oplus_p K^{\circ}$ of the centrally symmetric convex domain $K$ and its polar $K^{\circ}$ to the product $K \times K^{\circ}$. The rescaling constant is sharp in some cases. Additionally, we comment on the strong Viterbo conjecture for $K\oplus_p K^{\circ}$.


title: Optimizing Sparse Convolution on GPUs with CUDA for 3D Point Cloud Processing in Embedded Systems

abstract: In recent years, there has been a significant increase in the utilization of deep learning methods, particularly convolutional neural networks (CNNs), which have emerged as the dominant approach in various domains that involve structured grid data, such as picture analysis and processing. Nevertheless, the exponential growth in the utilization of LiDAR and 3D sensors across many domains has resulted in an increased need for the analysis of 3D point clouds. The utilization of 3D point clouds is crucial in various applications, including object recognition and segmentation, as they offer a spatial depiction of things within a three-dimensional environment. In contrast to photos, point clouds exhibit sparsity and lack a regular grid, hence posing distinct processing and computational issues.


title: Near optimal constructions of frameproof codes

abstract: Frameproof codes are a class of secure codes that were originally introduced in the pioneering work of Boneh and Shaw in the context of digital fingerprinting. They can be used to enhance the security and credibility of digital content. Let $M_{c,l}(q)$ denote the largest cardinality of a $q$-ary $c$-frameproof code with length $l$. Based on an intriguing observation that relates $M_{c,l}(q)$ to the renowned Erd\H{o}s Matching Conjecture in extremal set theory, in 2003, Blackburn posed an open problem on the precise value of the limit $R_{c,l}=\lim_{q\rightarrow\infty}\frac{M_{c,l}(q)}{q^{\lceil l/c \rceil}}$. By combining several ideas from the probabilistic method, we present a lower bound for $M_{c,l}(q)$, which, together with an upper bound of Blackburn, completely determines $R_{c,l}$ for {\it all} fixed $c,l$, and resolves the above open problem in the full generality. We also present an improved upper bound for $M_{c,l}(q)$.


title: Model Collapse Demystified: The Case of Regression

abstract: In the era of proliferation of large language and image generation models, the phenomenon of "model collapse" refers to the situation whereby as a model is trained recursively on data generated from previous generations of itself over time, its performance degrades until the model eventually becomes completely useless, i.e the model collapses. In this work, we study this phenomenon in the setting of high-dimensional regression and obtain analytic formulae which quantitatively outline this phenomenon in a broad range of regimes. In the special case of polynomial decaying spectral and source conditions, we obtain modified scaling laws which exhibit new crossover phenomena from fast to slow rates. We also propose a simple strategy based on adaptive regularization to mitigate model collapse. Our theoretical results are validated with experiments.


title: Closed-form expressions for multiscatter Dark Matter capture rates

abstract: Any astrophysical object can, in principle, serve as a probe of the interaction between Dark Matter and regular, baryonic matter. This method is based on the potential observable consequences annihilations of captured Dark Matter has on the surface temperature of the object itself. In a series of previous papers we developed and validated simple analytic approximations for the total capture rates of Dark Matter (DM) valid in four distinct regions of the DM-nucleon scattering cross section ($\sigma$) vs. DM particle mass ($m_X$) parameter space. In this work we summarize those previous results and extend them significantly, by deriving a completely general, closed form solution for the total capture rate of Dark Matter in the multiscatter regime. Moreover, we demonstrate the existence of a region in the $\sigma$ vs. $m_X$ parameter space where the constraining power of any astrophysical object heated by annihilations of captured DM is lost. This corresponds to a maximal temperature ($T_{crit}$) any astrophysical object can have, such that it can still serve as a DM probe. Any object with observed temperature $T_{obs}>T_{crit}$ loses its DM constraining power. We provide analytic formulae that can be used to estimate $T_{crit}$ for any object.


title: Adaptive Artificial Immune Networks for Mitigating DoS flooding Attacks

abstract: Denial of service attacks pose a threat in constant growth. This is mainly due to their tendency to gain in sophistication, ease of implementation, obfuscation and the recent improvements in occultation of fingerprints. On the other hand, progress towards self-organizing networks, and the different techniques involved in their development, such as software-defined networking, network-function virtualization, artificial intelligence or cloud computing, facilitates the design of new defensive strategies, more complete, consistent and able to adapt the defensive deployment to the current status of the network. In order to contribute to their development, in this paper, the use of artificial immune systems to mitigate denial of service attacks is proposed. The approach is based on building networks of distributed sensors suited to the requirements of the monitored environment. These components are capable of identifying threats and reacting according to the behavior of the biological defense mechanisms in human beings. It is accomplished by emulating the different immune reactions, the establishment of quarantine areas and the construction of immune memory. For their assessment, experiments with public domain datasets (KDD'99, CAIDA'07 and CAIDA'08) and simulations on various network configurations based on traffic samples gathered by the University Complutense of Madrid and flooding attacks generated by the tool DDoSIM were performed.


title: Assembly bias in eBOSS

abstract: Analytical models of galaxy-halo connection such as the Halo Occupation Distribution (HOD) model have been widely used over the past decades as a means to intensively test perturbative models on quasi-linear scales. However, these models fail to reproduce the galaxy-galaxy lensing signal on non-linear scales, over-predicting the observed signal up to 40%. With ongoing Stage-IV galaxy surveys such as DESI and EUCLID, it is now crucial to accurately model the galaxy-halo connection up to intra-halo scales to accurately estimate theoretical uncertainties of perturbative models. This paper compares the standard HOD model to an extended HOD framework that incorporates as additional features galaxy assembly bias and local environmental dependencies on halo occupation. These models have been calibrated against the observed clustering and galaxy-galaxy lensing signal of eBOSS Luminous Red Galaxies (LRG) and Emission Lines Galaxies (ELG) in the range 0.6 < z < 1.1. A combined clustering-lensing cosmological analysis is then performed on the simulated galaxy samples of both standard and extended HOD frameworks to quantify the systematic budget of perturbative models. The extended HOD model offers a more comprehensive understanding of the connection between galaxies and their surroundings. In particular, we found that the LRGs preferentially occupy denser and more anisotropic environments. Our results highlight the importance of considering environmental factors in galaxy formation models, with an extended HOD framework that reproduces the observed signal within 20% on scales below 10 Mpc/h. Our cosmological analysis reveals that our perturbative model yields similar constraints regardless of the galaxy population, with a better goodness of fit for the extended HOD. These results suggest that the extended HOD framework should be used to quantify modeling systematics.


title: $\Lambda_{\rm s}$CDM cosmology from a type-II minimally modified gravity

abstract: We have successfully integrated $\Lambda_{\rm s}$CDM, a promising model for alleviating cosmological tensions, into a theoretical framework by endowing it with a specific Lagrangian from the VCDM model, a type-II minimally modified gravity. In this theory, we demonstrate that an auxiliary scalar field with a linear potential induces an effective cosmological constant, enabling the realization of an abrupt mirror AdS-dS transition in the late universe through a piecewise linear potential. To eliminate the sudden singularity in this setup and ensure stable transitions, we smooth out this potential. Realized within the VCDM theory, the $\Lambda_{\rm s}$CDM model facilitates two types of rapid smooth mirror AdS-dS transitions: (i) the agitated transition, associated with a smooth jump in the potential, where $\Lambda_{\rm s}$, and consequently $H$, exhibits a bump around the transition's midpoint; and (ii) the quiescent transition, associated with a smooth change in the slope of the potential, where $\Lambda_{\rm s}$ transitions gracefully. These transitions are likely to leave distinct imprints on the background and perturbation dynamics, potentially allowing the observational data to distinguish between them. This novel theoretical framework propels $\Lambda_{\rm s}$CDM into a fully predictive model capable of exploring the evolution of the Universe including the late-time AdS-dS transition epoch, and extends the applicability of the model. We believe further research is crucial in establishing $\Lambda_{\rm s}$CDM as a leading candidate or guide for a new concordance cosmological model.


title: Efficient reductions between some statistical models

abstract: We study the problem of approximately transforming a sample from a source statistical model to a sample from a target statistical model without knowing the parameters of the source model, and construct several computationally efficient such reductions between statistical experiments. In particular, we provide computationally efficient procedures that approximately reduce uniform, Erlang, and Laplace location models to general target families. We illustrate our methodology by establishing nonasymptotic reductions between some canonical high-dimensional problems, spanning mixtures of experts, phase retrieval, and signal denoising. Notably, the reductions are structure preserving and can accommodate missing data. We also point to a possible application in transforming one differentially private mechanism to another.

categories: math.ST cs.IT math.IT math.PR stat.ME stat.ML stat.TH


title: Local Centrality Minimization with Quality Guarantees

abstract: Centrality measures, quantifying the importance of vertices or edges, play a fundamental role in network analysis. To date, triggered by some positive approximability results, a large body of work has been devoted to studying centrality maximization, where the goal is to maximize the centrality score of a target vertex by manipulating the structure of a given network. On the other hand, due to the lack of such results, only very little attention has been paid to centrality minimization, despite its practical usefulness. In this study, we introduce a novel optimization model for local centrality minimization, where the manipulation is allowed only around the target vertex. We prove the NP-hardness of our model and that the most intuitive greedy algorithm has a quite limited performance in terms of approximation ratio. Then we design two effective approximation algorithms: The first algorithm is a highly-scalable algorithm that has an approximation ratio unachievable by the greedy algorithm, while the second algorithm is a bicriteria approximation algorithm that solves a continuous relaxation based on the Lov\'asz extension, using a projected subgradient method. To the best of our knowledge, ours are the first polynomial-time algorithms with provable approximation guarantees for centrality minimization. Experiments using a variety of real-world networks demonstrate the effectiveness of our proposed algorithms: Our first algorithm is applicable to million-scale graphs and obtains much better solutions than those of scalable baselines, while our second algorithm is rather strong against adversarial instances.


title: Owens Valley Radio Observatory monitoring of LS I +61{\deg}303 completes three cycles of the super-orbital modulation

abstract: The high-mass X-ray binary LS I +61{\deg}303 is composed of a Be-type star and a compact object. The emission is variable and periodic across the electromagnetic spectrum, from radio to very high-energy gamma rays. The orbital period is ~26.5 d, and the source also features a super-orbital period with a value of ~4.6 years. Long-term monitoring of the binary by the Owens Valley Radio Observatory (OVRO) at 15 GHz has now completed 13.8 years, which corresponds to three full cycles of the super-orbital period. We performed a timing analysis of the OVRO radio light curve, and we also combined the OVRO data with the full archive of previous radio observations and computed the discrete autocorrelation function. The most powerful features in the periodogram of the OVRO data are two peaks at P1 = 26.49 +/- 0.05 d and P2 = 26.93 +/- 0.05 d. Our measurement of the long-term period is P_long = 1698 +/- 196 d. Dividing the OVRO data into three segments of equal length showed that the two periods, P1 and P2, are present in the periodogram of each of the consecutive long-term cycles. Our analysis of the full radio archive resulted in the detection of the same three periods, and the autocorrelation function showed a regular pattern, proving the stability of the super-orbital modulation. We report a possible systematic modulation of the radio flux density with a timescale of approximately 40 years that has so far remained unnoticed. The physical model of a relativistic jet whose mass loading is modulated with the orbital period P1 and is precessing with the slightly larger period P2, giving rise to a beating with period P_long, had previously been able to reproduce the radio and gigaelectron volt emission. The ongoing presence and the stability of the periodic signals imply that this model is still the most plausible explanation for the physical processes at work in this source. (abridged)


title: VistaScenario: Interaction Scenario Engineering for Vehicles with Intelligent Systems for Transport Automation

abstract: Intelligent vehicles and autonomous driving systems rely on scenario engineering for intelligence and index (I&I), calibration and certification (C&C), and verification and validation (V&V). To extract and index scenarios, various vehicle interactions are worthy of much attention, and deserve refined descriptions and labels. However, existing methods cannot cope well with the problem of scenario classification and labeling with vehicle interactions as the core. In this paper, we propose VistaScenario framework to conduct interaction scenario engineering for vehicles with intelligent systems for transport automation. Based on the summarized basic types of vehicle interactions, we slice scenario data stream into a series of segments via spatiotemporal scenario evolution tree. We also propose the scenario metric Graph-DTW based on Graph Computation Tree and Dynamic Time Warping to conduct refined scenario comparison and labeling. The extreme interaction scenarios and corner cases can be efficiently filtered and extracted. Moreover, with naturalistic scenario datasets, testing examples on trajectory prediction model demonstrate the effectiveness and advantages of our framework. VistaScenario can provide solid support for the usage and indexing of scenario data, further promote the development of intelligent vehicles and transport automation.


title: LoRA-drop: Efficient LoRA Parameter Pruning based on Output Evaluation

abstract: Low-Rank Adaptation (LoRA) is currently the most commonly used Parameter-efficient fine-tuning (PEFT) method, it introduces auxiliary parameters for each layer to fine-tune the pre-trained model under limited computing resources. However, it still faces resource consumption challenges during training when scaling up to larger models. Most previous studies have tackled this issue by using pruning techniques, which involve removing LoRA parameters deemed unimportant. Nonetheless, these efforts only analyze LoRA parameter features to evaluate their importance, such as parameter count, size, and gradient. In fact, the output of LoRA (product of LoRA parameter and hidden state), directly impacts the final results. Preliminary experiments indicate that a fraction of LoRA elements possesses significantly high output values, substantially influencing the layer output. Motivated by the observation, we propose LoRA-drop. Concretely, LoRA-drop evaluates the importance of LoRA based on the LoRA output. Then we retain LoRA for important layers and the other layers share the same LoRA. We conduct abundant experiments with models of different scales on NLU and NLG tasks. Results demonstrate that LoRA-drop can achieve performance comparable to full fine-tuning and LoRA, while retaining 50\% of the LoRA parameters on average.


title: Path Integral Monte Carlo Study of a Doubly-Dipolar Bose Gas

abstract: By combining first-principles path integral Monte Carlo methods and mean-field techniques, we explore the properties of cylindrically trapped doubly-dipolar Bose gases. We first verify the emergence of a pancake quantum droplet at low temperatures, validating previously mean-field calculations. In a regime of small doubly-dipolar interactions, first-principles calculations agree with the generalized Gross-Pitaevskii equation. Such an accordance disappears in a large interaction limit. Here the path integral Monte Carlo estimates the strong doubly-dipolar regime with accuracy. On the contrary, the Gross-Pitaevskii equation does not seize quantum fluctuations in full. We also provide a complete description of the system's quantum behavior in a wide range of parameters. When the system forms a droplet, the superfluid fraction exhibits an anisotropic behavior if compared to the usual Bose gas regime. Interestingly, we observe that the transition temperature from thermal gas to droplet results higher than that of the thermal gas to a Bose-Einstein condensate, indicating the robustness of the droplet against thermal fluctuations. Further, we investigate the anisotropic behavior of the superfluid fraction during the structural transition from a pancake to a cigar-shaped droplet by varying the ratio between electric and magnetic dipole interaction strengths. Our findings furnish evidence that the stability of doubly-dipolar Bose-Einstein condensates can be detected in experiments by means of dysprosium atoms.


title: Generalization Bounds for Heavy-Tailed SDEs through the Fractional Fokker-Planck Equation

abstract: Understanding the generalization properties of heavy-tailed stochastic optimization algorithms has attracted increasing attention over the past years. While illuminating interesting aspects of stochastic optimizers by using heavy-tailed stochastic differential equations as proxies, prior works either provided expected generalization bounds, or introduced non-computable information theoretic terms. Addressing these drawbacks, in this work, we prove high-probability generalization bounds for heavy-tailed SDEs which do not contain any nontrivial information theoretic terms. To achieve this goal, we develop new proof techniques based on estimating the entropy flows associated with the so-called fractional Fokker-Planck equation (a partial differential equation that governs the evolution of the distribution of the corresponding heavy-tailed SDE). In addition to obtaining high-probability bounds, we show that our bounds have a better dependence on the dimension of parameters as compared to prior art. Our results further identify a phase transition phenomenon, which suggests that heavy tails can be either beneficial or harmful depending on the problem structure. We support our theory with experiments conducted in a variety of settings.


title: A mathematical model for fibrous dysplasia: The role of the flow of mutant cells

abstract: Fibrous dysplasia (FD) is a mosaic non-inheritable genetic disorder of the skeleton in which normal bone is replaced by structurally unsound fibro-osseous tissue. There is no curative treatment for FD, partly because its pathophysiology is not yet fully known. We present a simple mathematical model of the disease incorporating its basic known biology, to gain insight on the dynamics of the involved bone-cell populations, and shed light on its pathophysiology. Our mathematical models account for the dynamic evolution over time of several interacting populations of bone cells averaged over a volume of bone of sufficient size in order to obtain consistent results. We develop an analytical study of the model and study its basic properties. The existence and stability of steady states are studied, an analysis of sensitivity on the model parameters is done, and different numerical simulations provide findings in agreement with the analytical results. We discuss the model dynamics match with known facts on the disease, and how some open questions could be addressed using the model.


title: $\sigma(500)$ resonance pole positions as function of $m_\pi$: analysis with a unitary coupled-channel model

abstract: Resonance pole positions of the $f_0(500)$ alias $\sigma(500)$ meson are computed and plotted as a continuous function of pion mass in the framework of a unitary and analytic coupled-channel model for scalar mesons as dynamical $q\bar{q}$ states. The $\sigma$ is described with a light and a strange $q\bar{q}$ seed, mixing with each other mainly through the common $\pi\pi$, $K\bar{K}$, and $\eta\eta$ meson-meson channels. The few model parameters are fitted to experimental $S$-wave $\pi\pi$ phase shifts up to 1 GeV, yielding, in the case of the physical pion mass, resonance poles at $(460-i222)$ MeV for the $\sigma(500)$ and $(978-i37)$ MeV for the $f_0(980)$. Resonance, bound-state, and virtual-state pole trajectories are shown as a function of $m_\pi$ running from 139.57 MeV to 1 GeV. These are compared to recent lattice QCD computations that use interpolating fields corresponding to the model's channels, i.e., for a few discrete $m_\pi $values.


title: Unsupervised Sign Language Translation and Generation

abstract: Motivated by the success of unsupervised neural machine translation (UNMT), we introduce an unsupervised sign language translation and generation network (USLNet), which learns from abundant single-modality (text and video) data without parallel sign language data. USLNet comprises two main components: single-modality reconstruction modules (text and video) that rebuild the input from its noisy version in the same modality and cross-modality back-translation modules (text-video-text and video-text-video) that reconstruct the input from its noisy version in the different modality using back-translation procedure.Unlike the single-modality back-translation procedure in text-based UNMT, USLNet faces the cross-modality discrepancy in feature representation, in which the length and the feature dimension mismatch between text and video sequences. We propose a sliding window method to address the issues of aligning variable-length text with video sequences. To our knowledge, USLNet is the first unsupervised sign language translation and generation model capable of generating both natural language text and sign language video in a unified manner. Experimental results on the BBC-Oxford Sign Language dataset (BOBSL) and Open-Domain American Sign Language dataset (OpenASL) reveal that USLNet achieves competitive results compared to supervised baseline models, indicating its effectiveness in sign language translation and generation.


title: Distributed Observer Design over Directed Switching Topologies

abstract: The distributed observer design problem holds significant importance in cases in which the output information of a system is decentralized across different subsystems. Each subsystem has a local observer and access to one part of the measurement outputs and information exchanged through communication networks. This paper focuses on the design of distributed observer with jointly connected directed switching networks. The problem presents challenges due to passive switching modes and the open-loop unboundedness that results from local observability. To overcome these challenges, we develop a network transformation mapping method whereby each local observer can classify itself into an independent subgraph based on independent judgment. Next, an observable decomposition and reorganization method is developed for the digraph case to ensure that each subgraph possesses independent dynamic properties. Asymptotic omniscience is then proven using a developed recursive proof method. This paper includes many previous results as special cases, because most are only suitable for undirected switching topologies or fast-switching cases. An adaptive coupling gain design is proposed to simplify the calculation and verification of conditions that guarantee asymptotic omniscience. Finally, simulation results with the power system show the validity of the developed theory.


title: Echocardiogram-based ventricular isogeometric cardiac analysis using multi-patch fitted NURBS

abstract: Monitoring the cardiac function often relies on non-invasive vital measurements, electrocardiograms, and low-resolution echocardiograms. The monitoring data can be augmented with numerical modeling results to support treatment-risk assessment. Often, medical images are not suitable for high-fidelity modeling due to their spatial sparsity and low resolution. In this work, we present a workflow that converts a limited number of two-dimensional (2D) echocardiogram images into analysis-suitable left-ventricle geometries using isogeometric analysis (IGA). The image data is fitted by reshaping a multi-patch NURBS template. This fitting procedure results in a smooth interpolation with a limited number of degrees of freedom. In addition, a coupled 3D-0D cardiac model is extended with a pre-stressing method to perform ventricular-cardiac-mechanic analyses based on in vivo images. The workflow is benchmarked using population-averaged imaging data, which demonstrates that both the shape of the left ventricle and its mechanical response are well predicted in sparse-data scenarios. The case of a clinical patient is considered to demonstrate the suitability of the workflow in a real-data setting.


title: AIR-Bench: Benchmarking Large Audio-Language Models via Generative Comprehension

abstract: Recently, instruction-following audio-language models have received broad attention for human-audio interaction. However, the absence of benchmarks capable of evaluating audio-centric interaction capabilities has impeded advancements in this field. Previous models primarily focus on assessing different fundamental tasks, such as Automatic Speech Recognition (ASR), and lack an assessment of the open-ended generative capabilities centered around audio. Thus, it is challenging to track the progression in the Large Audio-Language Models (LALMs) domain and to provide guidance for future improvement. In this paper, we introduce AIR-Bench (\textbf{A}udio \textbf{I}nst\textbf{R}uction \textbf{Bench}mark), the first benchmark designed to evaluate the ability of LALMs to understand various types of audio signals (including human speech, natural sounds, and music), and furthermore, to interact with humans in the textual format. AIR-Bench encompasses two dimensions: \textit{foundation} and \textit{chat} benchmarks. The former consists of 19 tasks with approximately 19k single-choice questions, intending to inspect the basic single-task ability of LALMs. The latter one contains 2k instances of open-ended question-and-answer data, directly assessing the comprehension of the model on complex audio and its capacity to follow instructions. Both benchmarks require the model to generate hypotheses directly. We design a unified framework that leverages advanced language models, such as GPT-4, to evaluate the scores of generated hypotheses given the meta-information of the audio. Experimental results demonstrate a high level of consistency between GPT-4-based evaluation and human evaluation. By revealing the limitations of existing LALMs through evaluation results, AIR-Bench can provide insights into the direction of future research.


title: Continuum of spin excitations in an ordered magnet

abstract: Continuum of spin excitations observed in inelastic neutron scattering experiments are often considered as a strong evidence of quantum spin liquid formation. When quantum spin liquid is indeed the ground state of a disorder-free magnetic compound, the elementary excitation is no longer the conventional spin waves (magnons). Instead, the magnons fractionalize into spinons, leaving only a two-spinon continuum detectable in inelastic neutron scattering experiments. For a clean ordered antiferromagnet, it was unclear if we can observe a continuous spectrum similar to the ones in a quantum spin liquid state. Here we show that the magnetically ordered state in Na$_2$BaCo(PO$_4$)$_2$ is able to host a spin excitation continuum induced by strong quantum fluctuations. Thus, a second thought is necessary when concluding such continuum as signature of quantum spin liquid in new material explorations.


title: Photoinduced Topological Phase Transitions in a Kitaev kagome magnet

abstract: The photoinduced topological phase transitions and thermal Hall conductivity of a kagome magnet with Heisenberg, Kitaev, and DM interactions under an external magnetic field aligned along the [111] directions is investigated in this study. In the presence of a strong magnetic field perpendicular to the lattice plane in the [111] direction, the system exhibits a fully polarized paramagnetic phase and the magnon band carries an asymmetric Chern number across the phase diagram region. Utilizing magnetic Floquet-Bloch theory, we demonstrate that periodically driven intrinsic topological magnetic materials can be manipulated into different topological phases with varying Berry curvature, Chern numbers and thermal Hall conductivities signatures by adjusting light intensity throughout the phase diagram region.


title: Pattern Matching with Mismatches and Wildcards

abstract: In this work, we address the problem of approximate pattern matching with wildcards. Given a pattern $P$ of length $m$ containing $D$ wildcards, a text $T$ of length $n$, and an integer $k$, our objective is to identify all fragments of $T$ within Hamming distance $k$ from $P$. Our primary contribution is an algorithm with runtime $O(n+(D+k)(G+k)\cdot n/m)$ for this problem. Here, $G \le D$ represents the number of maximal wildcard fragments in $P$. We derive this algorithm by elaborating in a non-trivial way on the ideas presented by [Charalampopoulos et al., FOCS'20] for pattern matching with mismatches (without wildcards). Our algorithm improves over the state of the art when $D$, $G$, and $k$ are small relative to $n$. For instance, if $m = n/2$, $k=G=n^{2/5}$, and $D=n^{3/5}$, our algorithm operates in $O(n)$ time, surpassing the $\Omega(n^{6/5})$ time requirement of all previously known algorithms. In the case of exact pattern matching with wildcards ($k=0$), we present a much simpler algorithm with runtime $O(n+DG\cdot n/m)$ that clearly illustrates our main technical innovation: the utilisation of positions of $P$ that do not belong to any fragment of $P$ with a density of wildcards much larger than $D/m$ as anchors for the sought (approximate) occurrences. Notably, our algorithm outperforms the best-known $O(n\log m)$-time FFT-based algorithms of [Cole and Hariharan, STOC'02] and [Clifford and Clifford, IPL'04] if $DG = o(m\log m)$. We complement our algorithmic results with a structural characterization of the $k$-mismatch occurrences of $P$. We demonstrate that in a text of length $O(m)$, these occurrences can be partitioned into $O((D+k)(G+k))$ arithmetic progressions. Additionally, we construct an infinite family of examples with $\Omega((D+k)k)$ arithmetic progressions of occurrences, leveraging a combinatorial result on progression-free sets [Elkin, SODA'10].


title: Tuning Structural and Electronic Properties of Metal-Organic Framework 5 by Metal Substitution and Linker Functionalization

abstract: The chemical flexibility of metal-organic frameworks (MOFs) offers an ideal platform to tune structure and composition for specific applications, from gas sensing to catalysis and from photoelectric conversion to energy storage. This variability gives rise to a large configurational space that can be efficiently explored using high-throughput computational methods. In this work, we investigate from first principles the structural and electronic properties of MOF-5 variants obtained by replacing Zn with Be, Mg, Cd, Ca, Sr, and Ba, and by functionalizing the originally H-passivated linkers with CH$_3$, NO$_2$, Cl, Br, NH$_2$, OH, and COOH groups. To build and analyze the resulting 56 structures, we employ density-functional theory calculations embedded in an in-house developed library for automatized calculations. Our findings reveal that structural properties are mainly defined by metal atoms and large functional groups which distort the lattice and modify coordination. Stability is largely influenced by functionalization and enhanced by COOH and OH groups which promote the formation of hydrogen bonds. The charge distribution within the linker is especially influenced by functional groups with electron-withdrawing character while the metal nodes play a minor role. Likewise, the band-gap size is crucially determined by ligand functionalization. The smallest gaps are found with NH$_2$ and OH groups which introduce localized orbitals at the top of the valence band. This characteristic makes these functionalizations particularly promising for the design of MOF-5 variants with enhanced gas uptake and sensing properties.


title: Approximate Analytical Solutions for the Circular Restricted Three-Body Problem Including Non-Hamiltonian Solar Radiation Pressure

abstract: The circular restricted three-body problem (CR3BP) with solar radiation pressure (SRP) has often been analyzed with assumptions made on a spacecraft's attitude, such that the problem remains Hamiltonian. These assumptions are unsatisfactorily limiting for a starshade mission since the starshade's attitude will inherently vary from the configuration that corresponds to Hamiltonian dynamics. This paper presents the derivation of the equations of motion for CR3BP with SRP that permit the application of the Lindstedt-Poincare method, such that approximate solutions are produced, which may serve as invaluable trajectory design tools. Examples of periodic orbits and manifolds corresponding to three sets of attitude angles are shown and the accuracy of their seventh-order approximations is considered.


title: Graph Structure Inference with BAM: Introducing the Bilinear Attention Mechanism

abstract: In statistics and machine learning, detecting dependencies in datasets is a central challenge. We propose a novel neural network model for supervised graph structure learning, i.e., the process of learning a mapping between observational data and their underlying dependence structure. The model is trained with variably shaped and coupled simulated input data and requires only a single forward pass through the trained network for inference. By leveraging structural equation models and employing randomly generated multivariate Chebyshev polynomials for the simulation of training data, our method demonstrates robust generalizability across both linear and various types of non-linear dependencies. We introduce a novel bilinear attention mechanism (BAM) for explicit processing of dependency information, which operates on the level of covariance matrices of transformed data and respects the geometry of the manifold of symmetric positive definite matrices. Empirical evaluation demonstrates the robustness of our method in detecting a wide range of dependencies, excelling in undirected graph estimation and proving competitive in completed partially directed acyclic graph estimation through a novel two-step approach.


title: Multimodal Learned Sparse Retrieval for Image Suggestion

abstract: Learned Sparse Retrieval (LSR) is a group of neural methods designed to encode queries and documents into sparse lexical vectors. These vectors can be efficiently indexed and retrieved using an inverted index. While LSR has shown promise in text retrieval, its potential in multi-modal retrieval remains largely unexplored. Motivated by this, in this work, we explore the application of LSR in the multi-modal domain, i.e., we focus on Multi-Modal Learned Sparse Retrieval (MLSR). We conduct experiments using several MLSR model configurations and evaluate the performance on the image suggestion task. We find that solving the task solely based on the image content is challenging. Enriching the image content with its caption improves the model performance significantly, implying the importance of image captions to provide fine-grained concepts and context information of images. Our approach presents a practical and effective solution for training LSR retrieval models in multi-modal settings.


title: Liftable Point-Line Configurations: Defining Equations and Irreducibility of Associated Matroid and Circuit Varieties

abstract: We study point-line configurations through the lens of projective geometry and matroid theory. Our focus is on their realisation spaces, where we introduce the concepts of liftable and quasi-liftable configurations, exploring cases in which an $n$-tuple of collinear points can be lifted to a non-degenerate realisation of a point-line configuration. We show that forest configurations are liftable and characterise the realisation space of liftable configurations as the solution set of certain linear systems of equations. Moreover, we study the Zariski closure of the realisation spaces of liftable and quasi-liftable configurations, known as matroid varieties, and establish their irreducibility. Additionally, we compute an irreducible decomposition for their corresponding circuit varieties. Applying these liftability properties, we present a procedure generate some of the defining equations of the associated matroid varieties. As corollaries, we provide a geometric representation for the defining equations of two specific examples: the quadrilateral set and the $3\times4$ grid. While the polynomials for the latter were previously computed using specialised algorithms tailored for this configuration, the geometric interpretation of these generators was missing. We compute a minimal generating set for the corresponding ideals.


title: Universal Link Predictor By In-Context Learning on Graphs

abstract: Link prediction is a crucial task in graph machine learning, where the goal is to infer missing or future links within a graph. Traditional approaches leverage heuristic methods based on widely observed connectivity patterns, offering broad applicability and generalizability without the need for model training. Despite their utility, these methods are limited by their reliance on human-derived heuristics and lack the adaptability of data-driven approaches. Conversely, parametric link predictors excel in automatically learning the connectivity patterns from data and achieving state-of-the-art but fail short to directly transfer across different graphs. Instead, it requires the cost of extensive training and hyperparameter optimization to adapt to the target graph. In this work, we introduce the Universal Link Predictor (UniLP), a novel model that combines the generalizability of heuristic approaches with the pattern learning capabilities of parametric models. UniLP is designed to autonomously identify connectivity patterns across diverse graphs, ready for immediate application to any unseen graph dataset without targeted training. We address the challenge of conflicting connectivity patterns-arising from the unique distributions of different graphs-through the implementation of In-context Learning (ICL). This approach allows UniLP to dynamically adjust to various target graphs based on contextual demonstrations, thereby avoiding negative transfer. Through rigorous experimentation, we demonstrate UniLP's effectiveness in adapting to new, unseen graphs at test time, showcasing its ability to perform comparably or even outperform parametric models that have been finetuned for specific datasets. Our findings highlight UniLP's potential to set a new standard in link prediction, combining the strengths of heuristic and parametric methods in a single, versatile framework.


title: Task-conditioned adaptation of visual features in multi-task policy learning

abstract: Successfully addressing a wide variety of tasks is a core ability of autonomous agents, requiring flexibly adapting the underlying decision-making strategies and, as we argue in this work, also adapting the perception modules. An analogical argument would be the human visual system, which uses top-down signals to focus attention determined by the current task. Similarly, we adapt pre-trained large vision models conditioned on specific downstream tasks in the context of multi-task policy learning. We introduce task-conditioned adapters that do not require finetuning any pre-trained weights, combined with a single policy trained with behavior cloning and capable of addressing multiple tasks. We condition the visual adapters on task embeddings, which can be selected at inference if the task is known, or alternatively inferred from a set of example demonstrations. To this end, we propose a new optimization-based estimator. We evaluate the method on a wide variety of tasks from the CortexBench benchmark and show that, compared to existing work, it can be addressed with a single policy. In particular, we demonstrate that adapting visual features is a key design choice and that the method generalizes to unseen tasks given a few demonstrations.


title: The double gamma function and Vladimir Alekseevsky

abstract: Considering the Weierstrass product for the entire function $\sin \pi x$ and taking half of the factors corresponding to non-positive roots, we obtain the function $1/\Gamma(x)$. Considering the Weierstrass product for the Jacobi theta function $\vartheta_1$ and taking quarter of the factors (corresponding to the positive quadrant in the lattice $n_1\omega+n_2\omega_2$ of periods), we come to the double gamma function. It satisfies big collection of identities parallel to properties of $\Gamma(x)$. We discuss the seminal work (1888-89) by V.P.Alekseevsky, where the double gamma function was introduced and investigated. His standpoint was the paper by P.\'E.Appell (1881) on extensions of Heine's $q$-version of the Euler gamma function. For the case of equal periods $\omega_1=\omega_2$, a function equivalent to the double gamma function was introduced earlier by H.Kinkelin (1860). After Alekseevsky, the double gamma function was a topic of investigations by E.W.Barnes, J.Beaupin, G.H.Hardy, V.A.Steklov in 1899-1907. It was quite unusual compared to special functions known at that time. Despite obviously bright publications, the function was forgotten until 1976-1979, when it appeared again in works by T.Shintani and M.V.Vign\'eras. In the same time, Shintani introduced the double sine as a product of two double gammas. We also discuss the biography of Alekseevsky (1858-1916).


title: Monodromy of elliptic logarithms: some topological methods and effective results

abstract: We present some effective approaches in studying the relative monodromy group of elliptic logarithms with respect to periods of elliptic schemes. We provide explicit ways of constructing explicit loops which leave periods unchanged but along which logarithms have non-trivial variations. We also get some topological methods and effective results which allow to manage the ramification locus of sections. The paper was inspired by a theorem of Corvaja and Zannier which abstractly determine the relative monodromy group of non-torsion sections.


title: Asking Multimodal Clarifying Questions in Mixed-Initiative Conversational Search

abstract: In mixed-initiative conversational search systems, clarifying questions are used to help users who struggle to express their intentions in a single query. These questions aim to uncover user's information needs and resolve query ambiguities. We hypothesize that in scenarios where multimodal information is pertinent, the clarification process can be improved by using non-textual information. Therefore, we propose to add images to clarifying questions and formulate the novel task of asking multimodal clarifying questions in open-domain, mixed-initiative conversational search systems. To facilitate research into this task, we collect a dataset named Melon that contains over 4k multimodal clarifying questions, enriched with over 14k images. We also propose a multimodal query clarification model named Marto and adopt a prompt-based, generative fine-tuning strategy to perform the training of different stages with different prompts. Several analyses are conducted to understand the importance of multimodal contents during the query clarification phase. Experimental results indicate that the addition of images leads to significant improvements of up to 90% in retrieval performance when selecting the relevant images. Extensive analyses are also performed to show the superiority of Marto compared with discriminative baselines in terms of effectiveness and efficiency.


title: Beyond Sparsity: Local Projections Inference with High-Dimensional Covariates

abstract: Impulse response analysis studies how the economy responds to shocks, such as changes in interest rates, and helps policymakers manage these effects. While Vector Autoregression Models (VARs) with structural assumptions have traditionally dominated the estimation of impulse responses, local projections, the projection of future responses on current shock, have recently gained attention for their robustness and interpretability. Including many lags as controls is proposed as a means of robustness, and including a richer set of controls helps in its interpretation as a causal parameter. In both cases, an extensive number of controls leads to the consideration of high-dimensional techniques. While methods like LASSO exist, they mostly rely on sparsity assumptions - most of the parameters are exactly zero, which has limitations in dense data generation processes. This paper proposes a novel approach that incorporates high-dimensional covariates in local projections without relying on sparsity constraints. Adopting the Orthogonal Greedy Algorithm with a high-dimensional AIC (OGA+HDAIC) model selection method, this approach offers advantages including robustness in both sparse and dense scenarios, improved interpretability by prioritizing cross-sectional explanatory power, and more reliable causal inference in local projections.


title: Towards Unified Alignment Between Agents, Humans, and Environment

abstract: The rapid progress of foundation models has led to the prosperity of autonomous agents, which leverage the universal capabilities of foundation models to conduct reasoning, decision-making, and environmental interaction. However, the efficacy of agents remains limited when operating in intricate, realistic environments. In this work, we introduce the principles of $\mathbf{U}$nified $\mathbf{A}$lignment for $\mathbf{A}$gents ($\mathbf{UA}^2$), which advocate for the simultaneous alignment of agents with human intentions, environmental dynamics, and self-constraints such as the limitation of monetary budgets. From the perspective of $\mathbf{UA}^2$, we review the current agent research and highlight the neglected factors in existing agent benchmarks and method candidates. We also conduct proof-of-concept studies by introducing realistic features to WebShop, including user profiles to demonstrate intentions, personalized reranking for complex environmental dynamics, and runtime cost statistics to reflect self-constraints. We then follow the principles of $\mathbf{UA}^2$ to propose an initial design of our agent, and benchmark its performance with several candidate baselines in the retrofitted WebShop. The extensive experimental results further prove the importance of the principles of $\mathbf{UA}^2$. Our research sheds light on the next steps of autonomous agent research with improved general problem-solving abilities.


title: Predictive Churn with the Set of Good Models

abstract: Machine learning models in modern mass-market applications are often updated over time. One of the foremost challenges faced is that, despite increasing overall performance, these updates may flip specific model predictions in unpredictable ways. In practice, researchers quantify the number of unstable predictions between models pre and post update -- i.e., predictive churn. In this paper, we study this effect through the lens of predictive multiplicity -- i.e., the prevalence of conflicting predictions over the set of near-optimal models (the Rashomon set). We show how traditional measures of predictive multiplicity can be used to examine expected churn over this set of prospective models -- i.e., the set of models that may be used to replace a baseline model in deployment. We present theoretical results on the expected churn between models within the Rashomon set from different perspectives. And we characterize expected churn over model updates via the Rashomon set, pairing our analysis with empirical results on real-world datasets -- showing how our approach can be used to better anticipate, reduce, and avoid churn in consumer-facing applications. Further, we show that our approach is useful even for models enhanced with uncertainty awareness.


title: Minimally Interactive Segmentation of Soft-Tissue Tumors on CT and MRI using Deep Learning

abstract: Segmentations are crucial in medical imaging to obtain morphological, volumetric, and radiomics biomarkers. Manual segmentation is accurate but not feasible in the radiologist's clinical workflow, while automatic segmentation generally obtains sub-par performance. We therefore developed a minimally interactive deep learning-based segmentation method for soft-tissue tumors (STTs) on CT and MRI. The method requires the user to click six points near the tumor's extreme boundaries. These six points are transformed into a distance map and serve, with the image, as input for a Convolutional Neural Network. For training and validation, a multicenter dataset containing 514 patients and nine STT types in seven anatomical locations was used, resulting in a Dice Similarity Coefficient (DSC) of 0.85$\pm$0.11 (mean $\pm$ standard deviation (SD)) for CT and 0.84$\pm$0.12 for T1-weighted MRI, when compared to manual segmentations made by expert radiologists. Next, the method was externally validated on a dataset including five unseen STT phenotypes in extremities, achieving 0.81$\pm$0.08 for CT, 0.84$\pm$0.09 for T1-weighted MRI, and 0.88\pm0.08 for previously unseen T2-weighted fat-saturated (FS) MRI. In conclusion, our minimally interactive segmentation method effectively segments different types of STTs on CT and MRI, with robust generalization to previously unseen phenotypes and imaging modalities.


title: Optimal score estimation via empirical Bayes smoothing

abstract: We study the problem of estimating the score function of an unknown probability distribution $\rho^*$ from $n$ independent and identically distributed observations in $d$ dimensions. Assuming that $\rho^*$ is subgaussian and has a Lipschitz-continuous score function $s^*$, we establish the optimal rate of $\tilde \Theta(n^{-\frac{2}{d+4}})$ for this estimation problem under the loss function $\|\hat s - s^*\|^2_{L^2(\rho^*)}$ that is commonly used in the score matching literature, highlighting the curse of dimensionality where sample complexity for accurate score estimation grows exponentially with the dimension $d$. Leveraging key insights in empirical Bayes theory as well as a new convergence rate of smoothed empirical distribution in Hellinger distance, we show that a regularized score estimator based on a Gaussian kernel attains this rate, shown optimal by a matching minimax lower bound. We also discuss extensions to estimating $\beta$-H\"older continuous scores with $\beta \leq 1$, as well as the implication of our theory on the sample complexity of score-based generative models.


title: The GALAH survey: Elemental abundances in open clusters using joint effective temperature and surface gravity photometric priors

abstract: The ability to measure precise and accurate stellar effective temperatures ($T_{\rm{eff}}$) and surface gravities ($\log(g)$) is essential in determining accurate and precise abundances of chemical elements in stars. Measuring $\log(g)$ from isochrones fitted to colour-magnitude diagrams of open clusters is significantly more accurate and precise compared to spectroscopic $\log(g)$. By determining the ranges of ages, metallicity, and extinction of isochrones that fit the colour-magnitude diagram, we constructed a joint probability distribution of $T_{\rm{eff}}$ and $\log(g)$. The joint photometric probability shows the complex correlations between $T_{\rm{eff}}$ and $\log(g)$, which depend on the evolutionary stage of the star. We show that by using this photometric prior while fitting spectra, we can acquire more precise spectroscopic stellar parameters and abundances of chemical elements. This reveals higher-order abundance trends in open clusters like traces of atomic diffusion. We used photometry and astrometry provided by the \textit{Gaia} DR3 catalogue, Padova isochrones, and Galactic Archaeology with HERMES (GALAH) DR4 spectra. We analysed the spectra of 1979 stars in nine open clusters, using MCMC to fit the spectroscopic abundances of 26 elements, $T_{\rm{eff}}$, $\log(g)$, $v_{\rm{mic}}$, and $v_{\rm{broad}}$. We found that using photometric priors improves the accuracy of abundances and $\log(g)$, which enables us to view higher-order trends of abundances caused by atomic diffusion in M67 and Ruprecht 147.


title: Asymptotically compatible schemes for nonlinear variational models via Gamma-convergence and applications to nonlocal problems

abstract: We present a study on asymptotically compatible Galerkin discretizations for a class of parametrized nonlinear variational problems. The abstract analytical framework is based on variational convergence, or Gamma-convergence. We demonstrate the broad applicability of the theoretical framework by developing asymptotically compatible finite element discretizations of some representative nonlinear nonlocal variational problems on a bounded domain. These include nonlocal nonlinear problems with classically-defined, local boundary constraints through heterogeneous localization at the boundary, as well as nonlocal problems posed on parameter-dependent domains.


title: A Statistical and Multiwavelength Photometric Analysis of a Young Embedded Open Star Cluster: IC 1590

abstract: We present a statistical and multiwavelength photometric studies of young open cluster IC 1590. We identified 91 cluster members using $Gaia$ DR3 astrometry data using ensemble-based unsupervised machine learning techniques. From $Gaia$ EDR3 data, we estimate the best-fitted parameters for IC 1590 using the Automated Stellar Cluster Analysis package (ASteCA) yielding the distance $d$ $\sim$ 2.87 $\pm$ 0.02 Kpc, age $\sim$ 3.54 $\pm$ 0.05 Myr, metallicity $z$ $\sim$ 0.0212 $\pm$ 0.003, binarity value of $\sim$ 0.558, and extinction $A_v$ $\sim$ 1.252 $\pm$ 0.4 mag for an $R_v$ value of $\sim$ 3.322 $\pm$ 0.23. We estimate the initial mass function slope of the cluster to be $\alpha$ = 1.081 $\pm$ 0.112 for single stars and $\alpha$ = 1.490 $\pm$ 0.051 for a binary fraction of $\sim$ 0.558 in the mass range 1 M$_{\odot}$ $\leq$ m(M$_{\odot}$) $\leq$ 100 M$_{\odot}$. The $G$-band luminosity function slope is estimated to be $\sim$ 0.33 $\pm$ 0.09. We use $(J-H)$ versus $(H-K_s)$ color-color diagram to identify young stellar objects (YSOs). We found that all the identified YSOs have ages $\leq$ 2 Myr and masses $\sim$ 0.35 - 5.5 M$_{\odot}$. We also fit the radial surface density profile. Using the galpy we performed orbit analysis of the cluster. The extinction map for the cluster region has been generated using the PNICER technique and it is almost similar to the dust structure obtained from the 500 $\mu$$m$ dust continuum emissions map of $Herschel$ SPIRE. We finally at the end discussed the star formation scenario in the cluster region.


title: SC-FDMA as a Delay-Doppler Domain Modulation Technique

abstract: This paper compares orthogonal time frequency space (OTFS) modulation and single-carrier frequency division multiple access (SC-FDMA). It shows that these are equivalent except for a set of linear phase shifts, applied to the transmit/receive data symbols, which can be absorbed into the channel. Through mathematical and numerical analysis, it is confirmed that SC-FDMA is in fact a delay-Doppler domain multiplexing technique that can achieve the same performance gains as those of OTFS in time-varying wireless environments. This is a promising result as SC-FDMA is already a part of the current wireless standards. The derivations in this paper also shed light on the time-frequency resources used by the delay-Doppler domain data symbols with the fine granularity of delay and Doppler spacings. While comparing the detection performance of the two waveforms, a timing offset (TO) estimation technique with orders of magnitude higher accuracy than the existing solutions in the literature is proposed. From multiple access viewpoint, the underlying tile structures in the time-frequency domain for OTFS and SC-FDMA are discussed. Finally, multiuser input-output relationships for both waveforms in the uplink are derived.


title: Mixed Q-Functionals: Advancing Value-Based Methods in Cooperative MARL with Continuous Action Domains

abstract: Tackling multi-agent learning problems efficiently is a challenging task in continuous action domains. While value-based algorithms excel in sample efficiency when applied to discrete action domains, they are usually inefficient when dealing with continuous actions. Policy-based algorithms, on the other hand, attempt to address this challenge by leveraging critic networks for guiding the learning process and stabilizing the gradient estimation. The limitations in the estimation of true return and falling into local optima in these methods result in inefficient and often sub-optimal policies. In this paper, we diverge from the trend of further enhancing critic networks, and focus on improving the effectiveness of value-based methods in multi-agent continuous domains by concurrently evaluating numerous actions. We propose a novel multi-agent value-based algorithm, Mixed Q-Functionals (MQF), inspired from the idea of Q-Functionals, that enables agents to transform their states into basis functions. Our algorithm fosters collaboration among agents by mixing their action-values. We evaluate the efficacy of our algorithm in six cooperative multi-agent scenarios. Our empirical findings reveal that MQF outperforms four variants of Deep Deterministic Policy Gradient through rapid action evaluation and increased sample efficiency.


title: Engineering Weighted Connectivity Augmentation Algorithms

abstract: Increasing the connectivity of a graph is a pivotal challenge in robust network design. The weighted connectivity augmentation problem is a common version of the problem that takes link costs into consideration. The problem is then to find a minimum cost subset of a given set of weighted links that increases the connectivity of a graph by one when the links are added to the edge set of the input instance. In this work, we give a first implementation of recently discovered better-than-2 approximations. Furthermore, we propose three new heuristic and one exact approach. These include a greedy algorithm considering link costs and the number of unique cuts covered, an approach based on minimum spanning trees and a local search algorithm that may improve a given solution by swapping links of paths. Our exact approach uses an ILP formulation with efficient cut enumeration as well as a fast initialization routine. We then perform an extensive experimental evaluation which shows that our algorithms are faster and yield the best solutions compared to the current state-of-the-art as well as the recently discovered better-than-2 approximation algorithms. Our novel local search algorithm can improve solution quality even further.


title: Diffusion of Thoughts: Chain-of-Thought Reasoning in Diffusion Language Models

abstract: Diffusion models have gained attention in text processing, offering many potential advantages over traditional autoregressive models. This work explores the integration of diffusion models and Chain-of-Thought (CoT), a well-established technique to improve the reasoning ability in autoregressive language models. We propose Diffusion-of-Thought (DoT), allowing reasoning steps to diffuse over time through the diffusion process. In contrast to traditional autoregressive language models that make decisions in a left-to-right, token-by-token manner, DoT offers more flexibility in the trade-off between computation and reasoning performance. Our experimental results demonstrate the effectiveness of DoT in multi-digit multiplication and grade school math problems. Additionally, DoT showcases promising self-correction abilities and benefits from existing reasoning-enhancing techniques like self-consistency decoding. Our findings contribute to the understanding and development of reasoning capabilities in diffusion language models.


title: Global existence for the Willmore flow with boundary via Simon's Li-Yau inequality

abstract: It is well-known that the Willmore flow of closed spherical immersions exists globally in time and converges if the initial datum has Willmore energy below $8\pi$ - exactly the Li-Yau energy threshold below which all closed immersions are embedded. Extending the Li-Yau inequality for closed surfaces via Simon's monotonicity formula also for surfaces with boundary, given Dirichlet boundary conditions, one obtains an energy threshold $C_{\mathrm{LY}}$ below which surfaces with this boundary are embedded. By a slight modification, one obtains a threshold $C_{\mathrm{LY}}^{\mathrm{rot}}$ below which surfaces of revolution satisfying the boundary data have no self-intersections on the rotation axis. With a new argument, using this modified Li-Yau inequality and tools from geometric measure theory, we show that the Willmore flow with Dirichlet boundary data starting in cylindrical surfaces of revolution exists globally in time if the energy of the initial datum is below $C_{\mathrm{LY}}^{\mathrm{rot}}$. Moreover, given Dirichlet boundary data, we also obtain the existence of a Willmore minimizer in the class of cylindrical surfaces of revolution if the corresponding infimum lies below $C_{\mathrm{LY}}^{\mathrm{rot}}$ which improves previous results for the stationary problem.


title: Extrinsic Contribution to Nonlinear Current Induced Spin Polarization

abstract: Nonlinear spin polarization occurring in the second order of driving electric current is the dominant source of nonequilibrium magnetization in centrosymmetric or weakly noncentrosymmetric nonmagnetic materials, and induces nonlinear spin-orbit torque in magnets. Up to now, only the intrinsic mechanism based on anomalous spin polarizability dipole, which is the spin counterpart of Berry curvature dipole, has been studied, while disorder induced mechanisms are still missing. Here, we derive these contributions, which include not only the anomalous distribution function due to skew scattering and coordinate shift, but also interband coherence effects given by disorder induced spin shift and electric field induced anomalous scattering amplitude. We demonstrate these terms and show their importance in a minimal model. A scaling law for nonlinear current-induced spin polarization is constructed, which may help analyze experimental data in the future.


title: Towards an Understanding of Stepwise Inference in Transformers: A Synthetic Graph Navigation Model

abstract: Stepwise inference protocols, such as scratchpads and chain-of-thought, help language models solve complex problems by decomposing them into a sequence of simpler subproblems. Despite the significant gain in performance achieved via these protocols, the underlying mechanisms of stepwise inference have remained elusive. To address this, we propose to study autoregressive Transformer models on a synthetic task that embodies the multi-step nature of problems where stepwise inference is generally most useful. Specifically, we define a graph navigation problem wherein a model is tasked with traversing a path from a start to a goal node on the graph. Despite is simplicity, we find we can empirically reproduce and analyze several phenomena observed at scale: (i) the stepwise inference reasoning gap, the cause of which we find in the structure of the training data; (ii) a diversity-accuracy tradeoff in model generations as sampling temperature varies; (iii) a simplicity bias in the model's output; and (iv) compositional generalization and a primacy bias with in-context exemplars. Overall, our work introduces a grounded, synthetic framework for studying stepwise inference and offers mechanistic hypotheses that can lay the foundation for a deeper understanding of this phenomenon.


title: Semistability conditions defined by ample classes

abstract: We study a class of semistability conditions defined by a system of ample classes for coherent sheaves over a smooth projective variety. Under some necessary boundedness assumptions, we show the existence of a well-behaved chamber structure for the variation of moduli spaces of sheaves with respect to the change of semistability.


title: Robust and accurate simulations of flows over orography using non-conforming meshes

abstract: We systematically validate the static local mesh refinement capabilities of a recently proposed IMEX-DG scheme implemented in the framework of the deal.II library. Non-conforming meshes are employed in atmospheric flow simulations to increase the resolution around complex orography. A number of numerical experiments based on classical benchmarks with idealized as well as real orography profiles demonstrate that simulations with the refined mesh are stable for long lead times and no spurious effects arise at the interfaces of mesh regions with different resolutions. Moreover, correct values of the momentum flux are retrieved and the correct large-scale orographic response is established. Hence, large-scale orography-driven flow features can be simulated without loss of accuracy using a much lower total amount of degrees of freedom. In a context of spatial resolutions approaching the hectometric scale in numerical weather prediction models, these results support the use of locally refined, non-conforming meshes as a reliable and effective tool to greatly reduce the dependence of atmospheric models on orographic wave drag parametrizations.

categories: physics.ao-ph cs.NA math.NA physics.flu-dyn


title: The Strength and Shapes of Contact Binary Objectcts

abstract: While contact binary objects are common in the solar system, their formation mechanism is unclear. In this work we examine several contact binaries and calculate the necessary strength parameters that allow the two lobes to merge without the smaller of the two being gravitationally destroyed by the larger. We find a small but non-zero amount of cohesion or a large friction angle is required for the smaller lobe to survive the merging process, consistent with observations. This means it is possible for two previously separated rubble piles to experience a collapse of their mutual orbit and form a contact binary. The necessary strength required to survive this merger depends on the relative size, shape, and density of the body, with prolate shapes requiring more cohesion than oblate shapes.


title: Decay rate measurements $^{137}$Cs at J\'anossy Underground Research Laboratory

abstract: The question whether an annual modulation is observable during nuclear decay rate measurements has long been the subject of research. One of the possible explanations for the annual variations would be the effect of solar neutrinos, the flux of which changes in correlation with the Earth-Sun distance. A decay rate measurement with a $^{137}$Cs source and a HPGe detector is currently being conducted 30 meters below the ground at J\'anossy Underground Research Laboratory (Csilleb\'erc, Hungary). The laboratory is part of the Vesztergombi High Energy Laboratory (VLAB), one of the TOP 50 research infrastructures in Hungary. From October 2022 to March 2023, data of six months' worth has been collected, and hence this is a new opportunity to check whether the annual variation in decay rate can be observed. The laboratory, the experiment, the data processing method, and the first results are presented in this study.


title: Scalable Structure Learning for Sparse Context-Specific Causal Systems

abstract: Several approaches to graphically representing context-specific relations among jointly distributed categorical variables have been proposed, along with structure learning algorithms. While existing optimization-based methods have limited scalability due to the large number of context-specific models, the constraint-based methods are more prone to error than even constraint-based DAG learning algorithms since more relations must be tested. We present a hybrid algorithm for learning context-specific models that scales to hundreds of variables while testing no more constraints than standard DAG learning algorithms. Scalable learning is achieved through a combination of an order-based MCMC algorithm and sparsity assumptions analogous to those typically invoked for DAG models. To implement the method, we solve a special case of an open problem recently posed by Alon and Balogh. The method is shown to perform well on synthetic data and real world examples, in terms of both accuracy and scalability.


title: Multi-level Optimal Control with Neural Surrogate Models

abstract: Optimal actuator and control design is studied as a multi-level optimisation problem, where the actuator design is evaluated based on the performance of the associated optimal closed loop. The evaluation of the optimal closed loop for a given actuator realisation is a computationally demanding task, for which the use of a neural network surrogate is proposed. The use of neural network surrogates to replace the lower level of the optimisation hierarchy enables the use of fast gradient-based and gradient-free consensus-based optimisation methods to determine the optimal actuator design. The effectiveness of the proposed surrogate models and optimisation methods is assessed in a test related to optimal actuator location for heat control.


title: Designing for effective heat transfer in a solid thermal energy storage system

abstract: Thermal energy storage using sensible heating of a solid storage medium is a potential low-cost technology for long-duration energy storage. To effectively get heat in and out of the solid material, channels of heat transfer fluid can be embedded within the storage material. Here we present design principles to improve performance of channel-embedded thermal energy storage systems, and we apply these principles to a high-temperature system using graphite as the storage material and liquid tin as the heat transfer fluid. We first analyze the impact of geometry and material properties on the performance of the system, determining the ideal channel spacing and length to achieve high (dis)charge temperature uniformity. We then analyze how controlling the fluid flowrate, heating infrastructure, and heat engine can increase discharge power uniformity and accelerate charging. Finally, we model 100 high-temperature graphite storage blocks using a porous media approximation and implement the developed design principles to demonstrate significant improvement in performance for both discharging (constant discharge power for >90% of rated duration) and charging (>90% charged within 4 hours). Overall, the hierarchical design procedure presented here enables the design of cheap yet high-performing solid thermal energy storage systems.


title: Multi-Facility Location Models Incorporating Multipurpose Shopping Trips

abstract: This paper continues to develop and explore the impact of multipurpose trips on retail location. We develop the model of locating multiple competing facilities of a chain where several competing facilities exist in the area. There may be some existing facilities of the same chain as well. The addition of multiple new outlets can cause cannibalization of existing sales, but this effect is mitigated by selecting good locations, and the total market share captured by the chain increases. The introduction of multipurpose trips enhances the total market share of the location decision maker. Since in reality many customers combine a visit to more than one facility in one shopping trip, the model predicts the expected market share captured more accurately. Therefore, the selected locations for new facilities are more accurate as well.


title: On the effect of the luni-solar gravitational attraction on trees

abstract: In this paper, we revisit old electrical measurements conducted on a poplar tree in 2003 (Gibert et al. 2006), which showed the presence of a diurnal electrical signal, attributed to an electrokinetic phenomenon correlated with sap flow, even in winter. We reanalyze these data using the singular spectrum analysis method and demonstrate that the electrical signal measured at various locations (roots, trunk, and branches) on the poplar tree can be decomposed to over 80\% into a sum of 7 pseudo-periods, all linked to luni-solar tides. The precision of the extracted periods exceeds that of models. To validate these old measurements, we have reproduced the 2003 protocol since 2018 at the Jardin des Plantes in Paris, on 3 oak trees and 3 hornbeams. The electrical signals today exhibit the same characteristics as those of 2003. Tidal forces could be a driving force of sap flow in trees.


title: Text Detoxification as Style Transfer in English and Hindi

abstract: This paper focuses on text detoxification, i.e., automatically converting toxic text into non-toxic text. This task contributes to safer and more respectful online communication and can be considered a Text Style Transfer (TST) task, where the text style changes while its content is preserved. We present three approaches: knowledge transfer from a similar task, multi-task learning approach, combining sequence-to-sequence modeling with various toxicity classification tasks, and delete and reconstruct approach. To support our research, we utilize a dataset provided by Dementieva et al.(2021), which contains multiple versions of detoxified texts corresponding to toxic texts. In our experiments, we selected the best variants through expert human annotators, creating a dataset where each toxic sentence is paired with a single, appropriate detoxified version. Additionally, we introduced a small Hindi parallel dataset, aligning with a part of the English dataset, suitable for evaluation purposes. Our results demonstrate that our approach effectively balances text detoxication while preserving the actual content and maintaining fluency.


title: Measuring friction from simulations of folded graphene sheets

abstract: We run molecular dynamics simulations of folded graphene sheets and present a procedure to measure the sliding friction in these systems based on the rate of decay of a damped-harmonic oscillator. This procedure allowed us to study the affect the size, geometry and the temperature of the graphene sheet had on the ability to propagate the initial fold and the rate at which it settles to a final 'fully-folded' equilibrium state. We offer simple rationalisations for the relationships between the initial geometries of our simulations and the friction values that emerge.


title: Observations of the new meteor shower from comet 46P/Wirtanen

abstract: A new meteor shower $\lambda$-Sculptorids produced by the comet 46P/Wirtanen was forecast for December 12, 2023. The predicted activity was highly uncertain, but generally considered to be low. Observations in Australia, New Zealand, and Oceania were solicited to help constrain the size distribution of meteoroids in the shower. This work aims to characterize the new meteor shower, by comparing the observed and predicted radiants and orbits, and to provide a calibration for future predictions. Global Meteor Network video cameras were used to observe the meteor shower. Multi-station observations were used to compute trajectories and orbits, while single-station observations were used to measure the flux profile. A total of 23 $\lambda$-Sculptorid orbits have been measured. The shower peaked at a zenithal hourly rate (ZHR) of $0.65^{+0.24}_{-0.20}$ meteors per hour at $\lambda_{\odot} = 259.988^{\circ} \pm 0.042^{\circ}$. Due to the low in-atmosphere speed of 15~km s$^{-1}$, the mean mass of observed meteoroids was 0.5~g ($\sim10$~mm diameter), an order of magnitude higher than predicted. The dynamical simulations of the meteoroid stream can only produce such large meteoroids arriving at Earth in 2023 with correct radiants when a very low meteoroid density of $\sim 100$~kg~m$^{-3}$ is assumed. However, this assumption cannot reproduce the activity profile. It may be reproduced by considering higher density meteoroids in a larger ecliptic plane-crossing time window ($\Delta T$ = 20 days) and trails ejected prior to 1908, but then the observed radiant structure is not reproduced.


title: Quantitative knowledge retrieval from large language models

abstract: Large language models (LLMs) have been extensively studied for their abilities to generate convincing natural language sequences, however their utility for quantitative information retrieval is less well understood. In this paper we explore the feasibility of LLMs as a mechanism for quantitative knowledge retrieval to aid data analysis tasks such as elicitation of prior distributions for Bayesian models and imputation of missing data. We present a prompt engineering framework, treating an LLM as an interface to a latent space of scientific literature, comparing responses in different contexts and domains against more established approaches. Implications and challenges of using LLMs as 'experts' are discussed.


title: Insights into $(k,\rho)$-shortcutting algorithms

abstract: A graph is called a $(k,\rho)$-graph iff every node can reach $\rho$ of its nearest neighbors in at most k hops. This property proved useful in the analysis and design of parallel shortest-path algorithms. Any graph can be transformed into a $(k,\rho)$-graph by adding shortcuts. Formally, the $(k,\rho)$-Minimum-Shortcut problem asks to find an appropriate shortcut set of minimal cardinality. We show that the $(k,\rho)$-Minimum-Shortcut problem is NP-complete in the practical regime of $k \ge 3$ and $\rho = \Theta(n^\epsilon)$ for $\epsilon > 0$. With a related construction, we bound the approximation factor of known $(k,\rho)$-Minimum-Shortcut problem heuristics from below and propose algorithmic countermeasures improving the approximation quality. Further, we describe an integer linear problem (ILP) solving the $(k,\rho)$-Minimum-Shortcut problem optimally. Finally, we compare the practical performance and quality of all algorithms in an empirical campaign.