title: A Categorical Approach to DIBI Models

abstract: The logic of Dependence and Independence Bunched Implications (DIBI) is a logic to reason about conditional independence (CI); for instance, DIBI formulas can characterise CI in probability distributions and relational databases, using the probabilistic and relational DIBI models, respectively. Despite the similarity of the probabilistic and relational models, a uniform, more abstract account remains unsolved. The laborious case-by-case verification of the frame conditions required for constructing new models also calls for such a treatment. In this paper, we develop an abstract framework for systematically constructing DIBI models, using category theory as the unifying mathematical language. In particular, we use string diagrams -- a graphical presentation of monoidal categories -- to give a uniform definition of the parallel composition and subkernel relation in DIBI models. Our approach not only generalises known models, but also yields new models of interest and reduces properties of DIBI models to structures in the underlying categories. Furthermore, our categorical framework enables a logical notion of CI, in terms of the satisfaction of specific DIBI formulas. We compare it with string diagrammatic approaches to CI and show that it is an extension of string diagrammatic CI under reasonable conditions.


title: A Non-Trivial Minoration for the Set of Salem Numbers

abstract: The set of Salem numbers is proved to be bounded from below by $\theta_{31}^{-1}= 1.08544\ldots$ where $\theta_{n}$, $ n \geq 2$, is the unique root in $(0,1)$ of the trinomial $-1+x+x^n$. Lehmer's number $1.176280\ldots$ belongs to the interval $(\theta_{12}^{-1}, \theta_{11}^{-1})$. We conjecture that there is no Salem number in $(\theta_{31}^{-1}, \theta_{12}^{-1}) = (1.08544\ldots, 1.17295\ldots)$. For proving the Main Theorem, the algebraic and analytic properties of the dynamical zeta function of the R\'enyi-Parry numeration system are used, with real bases running over the set of real reciprocal algebraic integers, and variable tending to 1.


title: Self-navigated 3D diffusion MRI using an optimized CAIPI sampling and structured low-rank reconstruction

abstract: 3D multi-slab acquisitions are an appealing approach for diffusion MRI because they are compatible with the imaging regime delivering optimal SNR efficiency. In conventional 3D multi-slab imaging, shot-to-shot phase variations caused by motion pose challenges due to the use of multi-shot k-space acquisition. Navigator acquisition after each imaging echo is typically employed to correct phase variations, which prolongs scan time and increases the specific absorption rate (SAR). The aim of this study is to develop a highly efficient, self-navigated method to correct for phase variations in 3D multi-slab diffusion MRI without explicitly acquiring navigators. The sampling of each shot is carefully designed to intersect with the central kz plane of each slab, and the multi-shot sampling is optimized for self-navigation performance while retaining decent reconstruction quality. The central kz intersections from all shots are jointly used to reconstruct a 2D phase map for each shot using a structured low-rank constrained reconstruction that leverages the redundancy in shot and coil dimensions. The phase maps are used to eliminate the shot-to-shot phase inconsistency in the final 3D multi-shot reconstruction. We demonstrate the method's efficacy using retrospective simulations and prospectively acquired in-vivo experiments at 1.22 mm and 1.09 mm isotropic resolutions. Compared to conventional navigated 3D multi-slab imaging, the proposed self-navigated method achieves comparable image quality while shortening the scan time by 31.7% and improving the SNR efficiency by 15.5%. The proposed method produces comparable quality of DTI and white matter tractography to conventional navigated 3D multi-slab acquisition with a much shorter scan time.


title: Graph Reconstruction via MIS Queries

abstract: We consider the Graph Reconstruction problem given only query access to the input graph via a Maximal Independent Set oracle. In this setting, in each round, the player submits a query consisting of a subset of vertices to the oracle, and the oracle returns any maximal independent set in the subgraph induced by the queried vertices. The goal for the player is to learn all the edges of the input graph. In this paper, we give tight (up to poly-logarithmic factors) upper and lower bounds for this problem: 1. We give a randomized query algorithm that uses $O(\Delta^2 \log n)$ non-adaptive queries and succeeds with high probability to reconstruct an $n$-vertex graph with maximum degree $\Delta$. We also show that there is a non-adaptive deterministic algorithm that executes $O(\Delta^3 \log n)$ queries. 2. We show that every non-adaptive deterministic algorithm requires $\Omega(\Delta^3 / \log^2 \Delta)$ rounds, which renders our deterministic algorithm optimal, up to poly-logarithmic factors. 3. We also give two lower bounds that apply to arbitrary adaptive randomized algorithms that succeed with probability strictly greater than $\frac{1}{2}$. We show that, for such algorithms, $\Omega(\Delta^2)$ rounds are necessary in graphs of maximum degree $\Delta$, and that $\Omega(\log n)$ rounds are necessary even when the input graph is an $n$-vertex cycle.


title: Elliptic $p$-Laplacian systems with nonlinear boundary condition

abstract: In this paper we study quasilinear elliptic systems given by \begin{equation*} \begin{aligned} -\Delta_{p_1}u_1 & =-|u_1|^{p_1-2}u_1 \quad && \text{in } \Omega,\newline -\Delta_{p_2}u_2 & =-|u_2|^{p_2-2}u_2 \quad && \text{in } \Omega,\newline |\nabla u_1|^{p_1-2}\nabla u_1 \cdot \nu &=g_1(x,u_1,u_2) && \text{on } \partial\Omega,\newline |\nabla u_2|^{p_2-2}\nabla u_2 \cdot \nu &=g_2(x,u_1,u_2) && \text{on } \partial\Omega, \end{aligned} \end{equation*} where $\nu(x)$ is the outer unit normal of $\Omega$ at $x \in \partial\Omega$, $\Delta_{p_i}$ denotes the $p_i$-Laplacian and $g_i\colon \partial\Omega \times\mathbb{R}\times\mathbb{R}\to\mathbb{R}$ are Carath\'{e}odory functions that satisfy general growth and structure conditions for $i=1,2$. In the first part we prove the existence of a positive minimal and a negative maximal solution based on an appropriate construction of sub- and supersolution along with a certain behavior of $g_i$ near zero related to the first eigenvalue of the $p_i$-Laplacian with Steklov boundary condition. The second part is related to the existence of a third nontrivial solution by imposing a variational structure, that is, $(g_1,g_2)=\nabla g$ with a smooth function $(s_1,s_2)\mapsto g(x,s_1,s_2)$. By using the variational characterization of the second eigenvalue of the Steklov eigenvalue problem for the $p_i$-Laplacian together with the properties of the related truncated energy functionals, which are in general nonsmooth, we show the existence of a nontrivial solution whose components lie between the components of the positive minimal and the negative maximal solution.


title: Ferroelectric topological superconductor

abstract: Two-dimensional topological superconductor (TSC) represents an exotic quantum material with quasiparticle excitation manifesting in dispersive Majorana mode (DMM) at the boundaries. A domain-wall DMM can arise at the boundary between two TSC domains with opposite Chern numbers or with a $\pi$-phase shift in their pairing gap, which can only be tuned by magnetic field. Here we propose the concept of ferroelectric (FE) TSC, which not only enriches the domain-wall DMMs but also significantly makes them electrically tunable. The $\pi$-phase shift of the pairing gap is shown to be attained between two TSC domains of opposite FE polarization, and switchable by reversing FE polarizations. In combination with ferromagnetic (FM) polarization, the domain wall can host helical, doubled chiral, and fused DMMs, which can be transferred into each other by changing the direction of electrical and/or magnetic field. Furthermore, based on first-principles calculations, we demonstrate $\alpha$-In$_2$Se$_3$ to be a promising FE TSC candidate in proximity with a FM layer and a superconductor substrate. We envision that FE TSC will significantly ease the manipulation of DMM by electrical field to realize fault-tolerant quantum computation.


title: Pushing the Pareto front of band gap and permittivity: ML-guided search for dielectric materials

abstract: Materials with high-dielectric constant easily polarize under external electric fields, allowing them to perform essential functions in many modern electronic devices. Their practical utility is determined by two conflicting properties: high dielectric constants tend to occur in materials with narrow band gaps, limiting the operating voltage before dielectric breakdown. We present a high-throughput workflow that combines element substitution, ML pre-screening, ab initio simulation and human expert intuition to efficiently explore the vast space of unknown materials for potential dielectrics, leading to the synthesis and characterization of two novel dielectric materials, CsTaTeO6 and Bi2Zr2O7. Our key idea is to deploy ML in a multi-objective optimization setting with concave Pareto front. While usually considered more challenging than single-objective optimization, we argue and show preliminary evidence that the $1/x$-correlation between band gap and permittivity in fact makes the task more amenable to ML methods by allowing separate models for band gap and permittivity to each operate in regions of good training support while still predicting materials of exceptional merit. To our knowledge, this is the first instance of successful ML-guided multi-objective materials optimization achieving experimental synthesis and characterization. CsTaTeO6 is a structure generated via element substitution not present in our reference data sources, thus exemplifying successful de-novo materials design. Meanwhile, we report the first high-purity synthesis and dielectric characterization of Bi2Zr2O7 with a band gap of 2.27 eV and a permittivity of 20.5, meeting all target metrics of our multi-objective search.

categories: cond-mat.mtrl-sci cs.AI cs.LG physics.chem-ph


title: Inferring Intentions to Speak Using Accelerometer Data In-the-Wild

abstract: Humans have good natural intuition to recognize when another person has something to say. It would be interesting if an AI can also recognize intentions to speak. Especially in scenarios when an AI is guiding a group discussion, this can be a useful skill. This work studies the inference of successful and unsuccessful intentions to speak from accelerometer data. This is chosen because it is privacy-preserving and feasible for in-the-wild settings since it can be placed in a smart badge. Data from a real-life social networking event is used to train a machine-learning model that aims to infer intentions to speak. A subset of unsuccessful intention-to-speak cases in the data is annotated. The model is trained on the successful intentions to speak and evaluated on both the successful and unsuccessful cases. In conclusion, there is useful information in accelerometer data, but not enough to reliably capture intentions to speak. For example, posture shifts are correlated with intentions to speak, but people also often shift posture without having an intention to speak, or have an intention to speak without shifting their posture. More modalities are likely needed to reliably infer intentions to speak.


title: Contrastive Loss Based Frame-wise Feature disentanglement for Polyphonic Sound Event Detection

abstract: Overlapping sound events are ubiquitous in real-world environments, but existing end-to-end sound event detection (SED) methods still struggle to detect them effectively. A critical reason is that these methods represent overlapping events using shared and entangled frame-wise features, which degrades the feature discrimination. To solve the problem, we propose a disentangled feature learning framework to learn a category-specific representation. Specifically, we employ different projectors to learn the frame-wise features for each category. To ensure that these feature does not contain information of other categories, we maximize the common information between frame-wise features within the same category and propose a frame-wise contrastive loss. In addition, considering that the labeled data used by the proposed method is limited, we propose a semi-supervised frame-wise contrastive loss that can leverage large amounts of unlabeled data to achieve feature disentanglement. The experimental results demonstrate the effectiveness of our method.


title: Should you hire new searchers? Optimal number of agents in a collective search, and when to launch them

abstract: Search processes often involve multiple agents that collectively look for a randomly located target. While increasing the number of agents usually decreases the time at which the first agent finds the target, it also requires resources to create and sustain more agents. In this letter, we consider a collective search cost that not only accounts for the search time but also for the cost associated to the creation and the maintenance of an agent. We first present a general formalism for independent agents in terms of the survival probability of the target for a single-agent search s(t), where we allow agents to be introduced in the system one after the other. From this, we first derive analytically the optimal number of searchers to launch initially in the system. Then, we identify the optimal strategies for exponential and algebraic single-agent survival probabilities by pointing out the ideal times at which new searchers should be launched in the system. Our results show that all searchers should be launched simultaneously in the exponential case, while some should be launched at later times in the algebraic case. Finally, we compare these results with numerical simulations of a strongly interacting collective search, the true self-avoiding walk, and show how the optimal strategy differ from the non-interacting case.


title: Edge-on galaxies in the HST COSMOS field: the evolution of stellar discs up to z$\sim$0.5

abstract: We present a sample of 950 edge-on spiral galaxies found with the use of an artificial neural network in the Hubble Space Telescope COSMOS field. This is currently the largest sample of distant edge-on galaxies. For all galaxies we analyzed the 2D brightness distributions in the F814W filter and measured the radial and vertical exponential scales ($h$ and $h_z$ correspondingly) of the brightness distribution. By comparing the characteristics of distant galaxies with those of nearby objects, we conclude that thin stellar discs with $h/h_z \geq 10$ at $z \approx 0.5$ should be rarer than today. Both exponential scales of the stellar disc show evidence of luminosity-dependent evolution: in faint galaxies the $h$ and $h_z$ values do not change with $z$, in bright (and massive) spiral galaxies both scales, on average, grow towards our epoch.


title: On $p$-th cyclotomic field and Zhi-Wei Sun's Legendre determinants over $\mathbb{F}_p$

abstract: In 2019, Zhi-Wei Sun posed an interesting conjecture on certain determinants with Legendre symbol entries. In this paper, by using the arithmetic properties of $p$-th cyclotomic field and the finite field $\mathbb{F}_p$, we confirm this conjecture.


title: Impact of molecular properties on diffraction at nanomasks with low charge density

abstract: The quantum wave nature of matter is a cornerstone of modern physics, which has been demonstrated for a wide range of fundamental and composite particles. While diffraction at nanomechanical masks is usually regarded to be independent of atomic or molecular internal states, the particles' polarisabilities and dipole moments lead to dispersive interactions with the grating surface. In prior experiments, such forces largely prevented matter-wave experiments with polar molecules, as they led to dephasing of the matter wave in the presence of randomly distributed charges incorporated into the grating. Here we show that ion-beam milling using neon facilitates the fabrication of lowly-charged nanomasks in gold-capped silicon nitride membranes. This allows us to observe the diffraction of polar molecules with a four times larger electric dipole moment than in previous experiments. This new capability opens a path to the assessment of the structure of polar molecules in matter-wave diffraction experiments.


title: Finding the Differences: Classical Nucleation Perspective on Homogeneous Melting and Freezing of Hard Spheres

abstract: By employing brute-force molecular dynamics, umbrella sampling, and seeding simulations, we investigate homogeneous nucleation during melting and freezing of hard spheres. We provide insights into these opposing phase transitions from the standpoint of classical nucleation theory. We observe that melting has both a lower driving force and a lower interfacial tension than freezing. The lower driving force arises from the vicinity of a spinodal instability in the solid and from a strain energy. The lower interfacial tension implies that the Tolman lengths associated with melting and freezing have opposite signs, a phenomenon that we interpret with Turnbull's rule. Despite these asymmetries, the nucleation rates for freezing and melting are found to be comparable.


title: Seven Failure Points When Engineering a Retrieval Augmented Generation System

abstract: Software engineers are increasingly adding semantic search capabilities to applications using a strategy known as Retrieval Augmented Generation (RAG). A RAG system involves finding documents that semantically match a query and then passing the documents to a large language model (LLM) such as ChatGPT to extract the right answer using an LLM. RAG systems aim to: a) reduce the problem of hallucinated responses from LLMs, b) link sources/references to generated responses, and c) remove the need for annotating documents with meta-data. However, RAG systems suffer from limitations inherent to information retrieval systems and from reliance on LLMs. In this paper, we present an experience report on the failure points of RAG systems from three case studies from separate domains: research, education, and biomedical. We share the lessons learned and present 7 failure points to consider when designing a RAG system. The two key takeaways arising from our work are: 1) validation of a RAG system is only feasible during operation, and 2) the robustness of a RAG system evolves rather than designed in at the start. We conclude with a list of potential research directions on RAG systems for the software engineering community.


title: Secure Dynamic Event-triggered Consensus Under Asynchronous Denial of Service

abstract: This article proposes a secure implementation for consensus using a dynamic event-triggered (DET) communication scheme in high-order nonlinear multi-agent systems (MAS) under asynchronous (distributed) denial of service (DoS) attacks. By introducing a linear auxiliary trajectory of the system, the DET data transmission scheme among the neighboring agents is employed to reduce the communication for each agent. The asynchronous DoS attacks can block each communication channel among the cooperative agents independently in an unknown pattern. To guarantee state consensus of auxiliary MAS under DoS, a linear matrix inequality (LMI) based optimization approach is proposed which simultaneously designs all the unknown DET communication parameters as well as the state feedback control gain. In addition to asynchronous DoS attacks over the graph topology, the destructive effects of independent DoS attacks over the communication links between actual and auxiliary states are compensated as an additional layer of resiliency for the system. The output of each agent ultimately tracks the auxiliary state of the system and this results in the output consensus.


title: Surface-directed Dynamics in Living Liquid Crystals

abstract: We study living liquid crystals (LLCs), which are an amalgam of nematic liquid crystals (LCs) and active matter (AM). These LLCs are placed in contact with surfaces which impose planar/homeotropic boundary conditions on the director field of the LC and the polarization field of the AM. The interplay of LC-AM interactions and the surface-directed conditions yield controlled pattern dynamics in the LLC, which has important technological implications. We discuss two representative examples of this pattern dynamics.


title: New Construction of $q$-ary Codes Correcting a Burst of at most $t$ Deletions

abstract: In this paper, for any fixed positive integers $t$ and $q>2$, we construct $q$-ary codes correcting a burst of at most $t$ deletions with redundancy $\log n+8\log\log n+o(\log\log n)+\gamma_{q,t}$ bits and near-linear encoding/decoding complexity, where $n$ is the message length and $\gamma_{q,t}$ is a constant that only depends on $q$ and $t$. In previous works there are constructions of such codes with redundancy $\log n+O(\log q\log\log n)$ bits or $\log n+O(t^2\log\log n)+O(t\log q)$. The redundancy of our new construction is independent of $q$ and $t$ in the second term.


title: Confidence-Based Curriculum Learning for Multi-Agent Path Finding

abstract: A wide range of real-world applications can be formulated as Multi-Agent Path Finding (MAPF) problem, where the goal is to find collision-free paths for multiple agents with individual start and goal locations. State-of-the-art MAPF solvers are mainly centralized and depend on global information, which limits their scalability and flexibility regarding changes or new maps that would require expensive replanning. Multi-agent reinforcement learning (MARL) offers an alternative way by learning decentralized policies that can generalize over a variety of maps. While there exist some prior works that attempt to connect both areas, the proposed techniques are heavily engineered and very complex due to the integration of many mechanisms that limit generality and are expensive to use. We argue that much simpler and general approaches are needed to bring the areas of MARL and MAPF closer together with significantly lower costs. In this paper, we propose Confidence-based Auto-Curriculum for Team Update Stability (CACTUS) as a lightweight MARL approach to MAPF. CACTUS defines a simple reverse curriculum scheme, where the goal of each agent is randomly placed within an allocation radius around the agent's start location. The allocation radius increases gradually as all agents improve, which is assessed by a confidence-based measure. We evaluate CACTUS in various maps of different sizes, obstacle densities, and numbers of agents. Our experiments demonstrate better performance and generalization capabilities than state-of-the-art MARL approaches with less than 600,000 trainable parameters, which is less than 5% of the neural network size of current MARL approaches to MAPF.


title: Towards Boosting Many-to-Many Multilingual Machine Translation with Large Language Models

abstract: The training paradigm for machine translation has gradually shifted, from learning neural machine translation (NMT) models with extensive parallel corpora to instruction finetuning on multilingual large language models (LLMs) with high-quality translation pairs. In this paper, we focus on boosting many-to-many multilingual translation of LLMs with an emphasis on zero-shot translation directions. We demonstrate that prompt strategies adopted during finetuning are crucial to zero-shot translation and introduce a cross-lingual consistency regularization, XConST, to bridge the representation gap among different languages and improve zero-shot translation performance. XConST is not a new method, but a version of CrossConST (Gao et al., 2023a) adapted for translation instruction finetuning with LLMs. Experimental results on ALMA (Xu et al., 2023), Tower (Team, 2024), and LLaMA-2 (Touvron et al., 2023) show that our approach consistently improves translation performance. Our implementations are available at https://github.com/gpengzhi/CrossConST-LLM.


title: Exotic Spin-dependent Energy-level Shift Noise Induced by Thermal Motion

abstract: Searching for exotic spin-dependent interactions that beyond the standard model has been of interest for past decades and is crucial for unraveling the mysteries of the universe. Previous laboratory searches primarily focus on searching for either static or modulated energy-level shifts caused by exotic spin-dependent interactions. Here, we introduce a theoretical model based on thermal motion of particles, providing another efficient way to search for exotic spin-dependent interactions. The theoretical model indicates that as the exotic spin-dependent interactions are related with the relative displacements and velocities of atoms, atoms undergoing thermal motion would experience a fluctuating energy-level shift induced by the exotic interactions. Moreover, the resulting exotic energy-level shift noise could be sensed by high-sensitivity instruments. By using the model and taking the high-sensitivity atomic magnetometer as an example, we set the most stringent laboratory experiment constraints on eight different kinds of exotic spin- and velocity-dependent interactions, with five of which at the force range below 1 cm have not been covered previously. Furthermore, this theoretical model can be easily applied in other fields of quantum sensing, such as atomic clocks, atom interferometers and NV-diamond sensors, to further improve the laboratory constraints on exotic spin-dependent interactions.


title: Gamma-rays and Neutrinos from Giant Molecular Cloud Populations in the Galactic Plane

abstract: The recent IceCube detection of significant neutrino flux from the inner Galactic plane has provided us valuable insights on the spectrum of cosmic rays in our Galaxy. This flux can be produced either by a population of Galactic point sources or by diffused emission from cosmic ray interactions with the interstellar medium or by a mixture of both. In this work, we compute diffused gamma-ray and neutrino fluxes produced by a population of giant molecular clouds (GMCs) in our Galaxy, assuming different parametrizations of the Galactic diffused cosmic ray distribution. In particular, we take into account two main cases: (I) constant cosmic ray luminosity in our Galaxy, and (II) space-dependent cosmic ray luminosity, based on the supernovae distribution in our Galaxy. For Case-I, we found that the neutrino flux from GMCs is a factor of $\sim 10$ below compared to $\pi^0$ and KRA$_\gamma$ best-fitted models of IceCube observations at $10^5$ GeV. Instead, for Case-II the model can explain up to $\sim 90 \%$ of the neutrino flux at that energy. Moreover, for this last scenario IceCube detector could be able to detect neutrino events from the Galactic centre regions. We then calculated gamma-ray and neutrino fluxes from individual GMCs and noticed that several current and future Cherenkov telescopes and neutrino observatories have the right sensitivities to study these objects. In particular, very neutrino-bright region such as Aquila Rift is favourable for detection by the IceCube-Gen2 observatory.


title: Distinguishing oceans of water from magma on mini-Neptune K2-18b

abstract: Mildly irradiated mini-Neptunes have densities potentially consistent with them hosting substantial liquid water oceans (`Hycean' planets). The presence of CO2 and simultaneous absence of ammonia (NH3) in their atmospheres has been proposed as a fingerprint of such worlds. JWST observations of K2-18b, the archetypal Hycean, have found the presence of CO2 and the depletion of NH3 to <100 ppm; hence, it has been inferred that this planet may host liquid water oceans. In contrast, climate modelling suggests that many of these mini-Neptunes, including K2-18b, may likely be too hot to host liquid water. We propose a solution to this discrepancy between observation and climate modelling by investigating the effect of a magma ocean on the atmospheric chemistry of mini-Neptunes. We demonstrate that atmospheric NH3 depletion is a natural consequence of the high solubility of nitrogen species in magma at reducing conditions; precisely the conditions prevailing where a thick hydrogen envelope is in communication with a molten planetary surface. The magma ocean model reproduces the present JWST spectrum of K2-18b to < 3 sigma, suggesting this is as credible an explanation for current observations as the planet hosting a liquid water ocean. Spectral areas that could be used to rule out the magma ocean model include the >4um region, where CO2 and CO features dominate: Magma ocean models suggest a systematically lower CO2/CO ratio than estimated from free chemistry retrieval, indicating that deeper observations of this spectral region may be able to distinguish between oceans of liquid water and magma on mini-Neptunes.


title: Constraining the clustering and 21-cm signature of radio galaxies at cosmic dawn

abstract: The efficiency of radio emission is an important unknown parameter of early galaxies at cosmic dawn, as models with high efficiency have been shown to modify the cosmological 21-cm signal substantially, deepening the absorption trough and boosting the 21-cm power spectrum. Such models have been previously directly constrained by the overall extragalactic radio background as observed by ARCADE-2 and LWA-1. In this work, we constrain the clustering of high redshift radio sources by utilizing the observed upper limits on arcminute-scale anisotropy from the VLA at 4.9~GHz and ATCA at 8.7~GHz. Using a semi-numerical simulation of a plausible astrophysical model for illustration, we show that the clustering constraints on the radio efficiency are much stronger than those from the overall background intensity, by a factor that varies from 12 at redshift 7 to 30 at redshift 22. As a result, the predicted maximum depth of the global 21-cm signal is lowered by a factor of 5 (to 1700~mK), and the maximum 21-cm power spectrum peak at cosmic dawn is lowered by a factor of 24 (to $2\times 10^5$~mK$^2$). We conclude that the observed clustering is the strongest current direct constraint on such models, but strong early radio emission from galaxies remains viable for producing a strongly enhanced 21-cm signal from cosmic dawn.


title: Using Quantum Switches to Mitigate Noise in Grover's Search Algorithm

abstract: Grover's quantum search algorithm promises a quadratic speedup for unstructured search over its classical counterpart. But this advantage is gradually reduced with noise acting on the search space. In this article, we demonstrate that a quantum switch can act as a resource operation in mitigating the effect of the noise in the search space. In this scenario, fault-tolerant model quantum computing is costly. In addition to the noise modeled by a depolarizing channel, which coherently acts on the entire quantum register, such an error correction method can not be trivially implemented. We show that a quantum switch can significantly add value by reducing this error. In particular, we propose two frameworks for the application of switches. In the first framework, we apply the superposition of channels' orders in the form of a switch and do a post-selection at every iteration of the applications of the Grover operator. In the second framework, we delay the post-selection until the very end. In other words, if we want to look at the switch's action at the kth step, we already have k-1 post-selection measurements in place for the first framework. In the second case, we only have a single measurement. The number of post selections is minimal in the second scenario, so its effect is more credited to the switch. It also gives a significant advantage regarding the success probability of Grover's algorithm. We take the success probability as the sole quantifier of the switch's action in diminishing the effect of noise in search space.


title: Effects on neutrino propagation in space-time foam of D-branes revisited

abstract: Neutrinos from the cosmos have proven to be ideal for probing the nature of space-time. Previous studies on high-energy events of IceCube suggested that some of these events might be gamma-ray burst neutrinos, with their speeds varying linearly with their energy, implying also the coexistence of subluminal and superluminal propagation. However, a recent reanalysis of the data, incorporating revised directional information, reveals stronger signals that neutrinos are actually being slowed down compared to previous suggestion of neutrino speed variation. Thus, it is worth discussing its implications for the brane/string inspired framework of space-time foam, which has been used to explain previous observations. We revisit effects on neutrino propagation from specific foam models within the framework, indicating that the implied violation of Lorentz invariance could necessarily cause the neutrino to decelerate. We therefore argue that this sort of model is in agreement with the updated phenomenological indication just mentioned. An extended analysis of the revised IceCube data will further test these observations and stringy quantum gravity.


title: Efficient N-to-M Checkpointing Algorithm for Finite Element Simulations

abstract: In this work, we introduce a new algorithm for N-to-M checkpointing in finite element simulations. This new algorithm allows efficient saving/loading of functions representing physical quantities associated with the mesh representing the physical domain. Specifically, the algorithm allows for using different numbers of parallel processes for saving and loading, allowing for restarting and post-processing on the process count appropriate to the given phase of the simulation and other conditions. For demonstration, we implemented this algorithm in PETSc, the Portable, Extensible Toolkit for Scientific Computation, and added a convenient high-level interface into Firedrake, a system for solving partial differential equations using finite element methods. We evaluated our new implementation by saving and loading data involving 8.2 billion finite element degrees of freedom using 8,192 parallel processes on ARCHER2, the UK National Supercomputing Service.


title: Coherent turbulent structures in a rapid contraction

abstract: The coherent vortical structures in turbulent flow through a strong 16:1 3-D contraction, are studied using time-resolved volumetric measurements. Visualization using vorticity magnitude criterion shows the emergence of long, stretched cylindrical vortices aligned with the mean flow. This alignment is quantified by PDFs of the direction cosines. We propose two measures to quantify the alignment, the peak height in the probability and a coefficient from the moment of the PDF, both of which reaffirm the strong streamwise alignment. The r.m.s. streamwise vorticty grows within the contraction to becoming 4.5 times larger than the transverse component, at the downstream location where the contraction ratio C=11. The characteristic vortices become as long as the measurement volume, or more than 4 times the integral scale at the entrance to the contraction. We also characterize the vorticity enhancement along individual vortices, measuring 65% strengthening over the distance where C goes from 4 to 11. The prevalence of these coherent structures is estimated from 700,000 measured volumes, showing that near the outlet it is more likely to have 1 or 2 of these structures present than none.


title: HiCAST: Highly Customized Arbitrary Style Transfer with Adapter Enhanced Diffusion Models

abstract: The goal of Arbitrary Style Transfer (AST) is injecting the artistic features of a style reference into a given image/video. Existing methods usually focus on pursuing the balance between style and content, whereas ignoring the significant demand for flexible and customized stylization results and thereby limiting their practical application. To address this critical issue, a novel AST approach namely HiCAST is proposed, which is capable of explicitly customizing the stylization results according to various source of semantic clues. In the specific, our model is constructed based on Latent Diffusion Model (LDM) and elaborately designed to absorb content and style instance as conditions of LDM. It is characterized by introducing of \textit{Style Adapter}, which allows user to flexibly manipulate the output results by aligning multi-level style information and intrinsic knowledge in LDM. Lastly, we further extend our model to perform video AST. A novel learning objective is leveraged for video diffusion model training, which significantly improve cross-frame temporal consistency in the premise of maintaining stylization strength. Qualitative and quantitative comparisons as well as comprehensive user studies demonstrate that our HiCAST outperforms the existing SoTA methods in generating visually plausible stylization results.


title: Enhancing Personality Recognition in Dialogue by Data Augmentation and Heterogeneous Conversational Graph Networks

abstract: Personality recognition is useful for enhancing robots' ability to tailor user-adaptive responses, thus fostering rich human-robot interactions. One of the challenges in this task is a limited number of speakers in existing dialogue corpora, which hampers the development of robust, speaker-independent personality recognition models. Additionally, accurately modeling both the interdependencies among interlocutors and the intra-dependencies within the speaker in dialogues remains a significant issue. To address the first challenge, we introduce personality trait interpolation for speaker data augmentation. For the second, we propose heterogeneous conversational graph networks to independently capture both contextual influences and inherent personality traits. Evaluations on the RealPersonaChat corpus demonstrate our method's significant improvements over existing baselines.


title: Logical Predicates in Higher-Order Mathematical Operational Semantics

abstract: We present a systematic approach to logical predicates based on universal coalgebra and higher-order abstract GSOS, thus making a first step towards a unifying theory of logical relations. We first observe that logical predicates are special cases of coalgebraic invariants on mixed-variance functors. We then introduce the notion of a locally maximal logical refinement of a given predicate, with a view to enabling inductive reasoning, and identify sufficient conditions on the overall setup in which locally maximal logical refinements canonically exist. Finally, we develop induction-up-to techniques that simplify inductive proofs via logical predicates on systems encoded as (certain classes of) higher-order GSOS laws by identifying and abstracting away from their boiler-plate part.


title: Synthesis of Polyglobalide by Enzymatic Ring Opening Polymerization Using Pressurized Fluids

abstract: Here, the synthesis of polyglobalide (PGl) by enzymatic ring-opening polymerization (e-ROP) is investigated, using pressurized carbon dioxide (CO2), pressurized CO2 + dichloromethane (DCM), and pressurized propane as solvents. Particularly, the effects of phase equilibrium on the course of e-ROP and PGl final properties are discussed. The partition coefficients of CO2, DCM, propane, globalide and PGl were calculated with help of thermodynamic models, providing proper understanding of monomer partitioning in the reaction system. Reactions performed in pure CO2 resulted in monomer conversions of 100%. Besides, when only one liquid phase was present inside the reactor, PGl samples presented low polydispersities and high average molecular weights. When carried out in CO2 + DCM, e-ROP resulted in lower monomer conversions and PGl samples with higher polydispersities and lower average molecular weights. Finally, reactions carried out in pressurized propane (200 bar) produced PGl samples with the highest average molecular weights among the analyzed products.


title: Asymptotics of commuting $\ell$-tuples in symmetric groups and log-concavity

abstract: Denote by $N_{\ell}(n)$ the number of $\ell$-tuples of elements in the symmetric group $S_n$ with commuting components, normalized by the order of $S_n$. In this paper, we prove asymptotic formulas for $N_\ell(n)$. In addition, general criteria for log-concavity are shown, which can be applied to $N_\ell(n)$ among other examples. Moreover, we obtain a Bessenrodt-Ono type theorem which gives an inequality of the form $c(a)c(b) > c(a+b)$ for certain families of sequences $c(n)$.


title: GPTArticleExtractor: An Automated Workflow for Magnetic Material Database Construction

abstract: A comprehensive database of magnetic materials is valuable for researching the properties of magnetic materials and discovering new ones. This article introduces a novel workflow that leverages large language models for extracting key information from scientific literature. From 22,120 articles in the Journal of Magnetism and Magnetic Materials, a database containing 2,035 magnetic materials was automatically generated, with ferromagnetic materials constituting 76% of the total. Each entry in the database includes the material's chemical compounds, as well as related structures (space group, crystal structure) and magnetic temperatures (Curie, N'eel, and other transitional temperatures). To ensure data accuracy, we meticulously compared each entry in the database against the original literature, verifying the precision and reliability of each entry.


title: Safe reinforcement learning in uncertain contexts

abstract: When deploying machine learning algorithms in the real world, guaranteeing safety is an essential asset. Existing safe learning approaches typically consider continuous variables, i.e., regression tasks. However, in practice, robotic systems are also subject to discrete, external environmental changes, e.g., having to carry objects of certain weights or operating on frozen, wet, or dry surfaces. Such influences can be modeled as discrete context variables. In the existing literature, such contexts are, if considered, mostly assumed to be known. In this work, we drop this assumption and show how we can perform safe learning when we cannot directly measure the context variables. To achieve this, we derive frequentist guarantees for multi-class classification, allowing us to estimate the current context from measurements. Further, we propose an approach for identifying contexts through experiments. We discuss under which conditions we can retain theoretical guarantees and demonstrate the applicability of our algorithm on a Furuta pendulum with camera measurements of different weights that serve as contexts.


title: On boundedness of periods of self maps of algebraic varieties

abstract: Let $X$ be an algebraic variety over a field $K \subset \overline{{\mathbb{Q}}_p}$ and $f$ be a self map. When $K$ is a local field, the boundedness of $f$-periods in $X(K)$ is a well studied question. We will study the same question for certain infinite extensions over ${\mathbb{Q}}_p$ under some conditions.


title: Protective Effect of Trehalose Sugar on Amyloid-Membrane Interactions using BLM Electrophysiology

abstract: Alzheimer's disease (AD) is a neurodegenerative disease characterized by dementia and memory loss in the elderly population. The amyloid-$\beta$ peptide (A$\beta$ 1-42) is one of the main pathogenic factors in AD and is known to cause damage to neuronal cellular membranes. There is no cure currently available for AD and new approaches, including preventive strategies, are highly desirable. In this work, we explore the possibility of protecting neuronal membranes from amyloid-induced damage with naturally existing sugar trehalose. Trehalose has been shown to protect plant cellular membranes in extreme conditions and modify A$\beta$ misfolding. We hypothesize that trehalose can protect the neuronal membrane from amyloid toxicity. In this work, we studied the protective effect of trehalose against A$\beta$-induced damage in model lipid membranes (DPPC/POPC/Cholesterol) to mimic neuronal membranes using atomic force microscopy (AFM) and black lipid membrane (BLM) electrophysiology. Our results demonstrated that A$\beta$1-42 damaged membranes and led to ionic current leakage across these membranes due to the formation of various defects and pores. The presence of trehalose reduced the ion current across membranes caused by A$\beta$1-42 peptide damage, thus efficiently protecting the membranes. These findings suggest the trehalose sugar can be useful in protecting neuronal cellular membranes against amyloid toxicity in AD prevention.


title: YOIO: You Only Iterate Once by mining and fusing multiple necessary global information in the optical flow estimation

abstract: Occlusions pose a significant challenge to optical flow algorithms that even rely on global evidences. We consider an occluded point to be one that is imaged in the reference frame but not in the next. Estimating the motion of these points is extremely difficult, particularly in the two-frame setting. Previous work only used the current frame as the only input, which could not guarantee providing correct global reference information for occluded points, and had problems such as long calculation time and poor accuracy in predicting optical flow at occluded points. To enable both high accuracy and efficiency, We fully mine and utilize the spatiotemporal information provided by the frame pair, design a loopback judgment algorithm to ensure that correct global reference information is obtained, mine multiple necessary global information, and design an efficient refinement module that fuses these global information. Specifically, we propose a YOIO framework, which consists of three main components: an initial flow estimator, a multiple global information extraction module, and a unified refinement module. We demonstrate that optical flow estimates in the occluded regions can be significantly improved in only one iteration without damaging the performance in non-occluded regions. Compared with GMA, the optical flow prediction accuracy of this method in the occluded area is improved by more than 10%, and the occ_out area exceeds 15%, while the calculation time is 27% shorter. This approach, running up to 18.9fps with 436*1024 image resolution, obtains new state-of-the-art results on the challenging Sintel dataset among all published and unpublished approaches that can run in real-time, suggesting a new paradigm for accurate and efficient optical flow estimation.


title: Optical and acoustic plasmons in the layered material Sr$_2$RuO$_4$

abstract: We use momentum-dependent electron energy-loss spectroscopy in transmission to study collective charge excitations in the "strange" layer metal Sr$_2$RuO$_4$. We cover a complete range between in-plane and out-of-plane oscillations. Outside of the classical range of electron-hole excitations, leading to a Landau damping, we observe well defined plasmons. The optical (acoustic) plasmon due to an in-phase (out-of-phase) charge oscillation of neighbouring layers exhibits a quadratic (linear) dispersion. Using a model for the Coulomb interaction of the charges in a layered system, it is possible to describe the complete range of plasmon excitations in a mean-field random phase approximation without taking correlation effects into account. There are no signs of over-damped plasmons predicted by holographic theories. This indicates that long wavelength charge excitations are not influenced by local correlation effects such as on-site Coulomb interaction and Hund's exchange interaction.


title: Volume Transfer: A New Design Concept for Fabric-Based Pneumatic Exosuits

abstract: The fabric-based pneumatic exosuit is now a hot research topic because it is lighter and softer than traditional exoskeletons. Existing research focused more on the mechanical properties of the exosuit (e.g., torque and speed), but less on its wearability (e.g., appearance and comfort). This work presents a new design concept for fabric-based pneumatic exosuits Volume Transfer, which means transferring the volume of pneumatic actuators beyond the garments profile to the inside. This allows for a concealed appearance and a larger stress area while maintaining adequate torques. In order to verify this concept, we develop a fabric-based pneumatic exosuit for knee extension assistance. Its profile is only 26mm and its stress area wraps around almost half of the leg. We use a mathematical model and simulation to determine the parameters of the exosuit, avoiding multiple iterations of the prototype. Experiment results show that the exosuit can generate a torque of 7.6Nm at a pressure of 90kPa and produce a significant reduction in the electromyography activity of the knee extensor muscles. We believe that Volume Transfer could be utilized prevalently in future fabric-based pneumatic exosuit designs to achieve a significant improvement in wearability.


title: Extreme Value Theory Based Rate Selection for Ultra-Reliable Communications

abstract: Ultra-reliable low latency communication (URLLC) requires the packet error rate to be on the order of $10^{-9}$-$10^{-5}$. Determining the appropriate transmission rate to satisfy this ultra-reliability constraint requires deriving the statistics of the channel in the ultra-reliable region and then incorporating these statistics into the rate selection. In this paper, we propose a framework for determining the rate selection for ultra-reliable communications based on the extreme value theory (EVT). We first model the wireless channel at URLLC by estimating the parameters of the generalized Pareto distribution (GPD) best fitting to the tail distribution of the received powers, i.e., the power values below a certain threshold. Then, we determine the maximum transmission rate by incorporating the Pareto distribution into the rate selection function. Finally, we validate the selected rate by computing the resulting error probability. Based on the data collected within the engine compartment of Fiat Linea, we demonstrate the superior performance of the proposed methodology in determining the maximum transmission rate compared to the traditional extrapolation-based approaches.


title: Generative Deduplication For Socia Media Data Selection

abstract: Social media data is plagued by the redundancy problem caused by its noisy nature, leading to increased training time and model bias. To address this issue, we propose a novel approach called generative deduplication. It aims to remove duplicate text from noisy social media data and mitigate model bias. By doing so, it can improve social media language understanding performance and save training time. Extensive experiments demonstrate that the proposed generative deduplication can effectively reduce training samples while improving performance. This evidence suggests the effectiveness of generative deduplication and its importance in social media language understanding.


title: Intercalation-induced states at the Fermi level and the coupling of intercalated magnetic ions to conducting layers in Ni$_{1/3}$NbS$_2$

abstract: The magnetic sublayers introduced by intercalation into the host transition-metal dichalcogenide (TMD) are known to produce various magnetic states. The magnetic sublayers and their magnetic ordering strongly modify the electronic coupling between layers of the host compound. Understanding the roots of this variability is a significant challenge. Here we employ the angle-resolved photoelectron spectroscopy at various photon energies, the {\it ab initio} electronic structure calculations, and modeling to address the particular case of Ni-intercalate, Ni$_{1/3}$NbS$_2$. We find that the bands around the Fermi level bear the signature of a strong yet unusual hybridization between NbS$_2$ conduction band states and the Ni 3$d$ orbitals. The hybridization between metallic NbS$_2$ layers is almost entirely suppressed in the central part of the Brillouin zone, including the part of the Fermi surface around the $\mathrm{\Gamma}$ point. Simultaneously, it gets very pronounced towards the zone edges. It is shown that this behavior is the consequence of the rather exceptional, {\it symmetry imposed}, spatially strongly varying, {\it zero total} hybridization between relevant Ni magnetic orbitals and the neighboring Nb orbitals that constitute the metallic bands. We also report the presence of the so-called $\beta$-feature, discovered only recently in two other magnetic intercalates with very different magnetic orderings. In Ni$_{1/3}$NbS$_2$, the feature shows only at particular photon energies, indicating its bulk origin. Common to prior observations, it appears as a series of very shallow electron pockets at the Fermi level, positioned along the edge of the Brillouin zone. Unforeseen by {\it ab initio} electronic calculations, and its origin still unresolved, the feature appears to be a robust consequence of the intercalation of 2H-NbS$_2$ with magnetic ions.


title: Towards charm physics with stabilised Wilson fermions

abstract: We report on a first study towards the use of stabilised Wilson fermions in heavy flavour physics. In particular, we are interested in fixing the charm quark mass via various physical observables and to inspect cut-off effects arising from different choices. This is done on large-volume OpenLat ensembles with periodic boundary conditions. Two different ways of fixing the charm quark mass are explored, namely using the mass of the $D$- and $\eta_{\rm c}$-meson as physical inputs. We furthermore give an update on our determination of the non-singlet axial current improvement coefficient $c_{\rm A}$.


title: Finding the optimal probe state for multiparameter quantum metrology using conic programming

abstract: The aim of the channel estimation is to estimate the parameters encoded in a quantum channel. For this aim, it is allowed to choose the input state as well as the measurement to get the outcome. Various precision bounds are known for the state estimation. For the channel estimation, the respective bounds are determined depending on the choice of the input state. However, determining the optimal input probe state and the corresponding precision bounds in estimation is a non-trivial problem, particularly in the multi-parameter setting, where parameters are often incompatible. In this paper, we present a conic programming framework that allows us to determine the optimal probe state for the corresponding multi-parameter precision bounds. The precision bounds we consider include the Holevo-Nagaoka bound and the tight precision bound that give the optimal performances of correlated and uncorrelated measurement strategies, respectively. Using our conic programming framework, we discuss the optimality of a maximally entangled probe state in various settings. We also apply our theory to analyze the canonical field sensing problem using entangled quantum probe states.


title: Search for {\Theta^+} in KLp \to K+n reaction in KLF at JLab

abstract: The possibility of the existence of multiquark hadrons made of 4-quark for mesons and 5-quark for baryons was predicted by Gell-Mann in Ref. [1]. The renewed interest for the search of exotic pentaquark states was initiated by the paper by Diakonov, Petrov, and Polyakov in Ref. [2]. The 2003 experimental reports on the observation of {\Theta^+} pentaquark with a uudd{\bar s} quark content created a big excitement and many following experiments have reported its observation [3]. After high-statistics experiments at JLab, which did not confirm previous claims by the CLAS collaboration, the community concluded that the {\Theta^+} pentaquark either does not exist at all or has an extremely small cross section, making it currently unobserved. There were different review papers on this subject, either questioning the existence of the {\Theta^+} or attempting to explain the reasons why reaching a conclusion based on production experiments is challenging [4]. To address the challenge of minimal 3-body final states, a formation experiment with a projectile kaon beam is proposed. Below, we discuss how the {\Theta^+} could be observed in the KLp \to {\Theta^+} \to {K^+}n reaction in the KLF experiment at JLab [5].


title: Incorporation of Confidence Interval into Rate Selection Based on the Extreme Value Theory for Ultra-Reliable Communications

abstract: Proper determination of the transmission rate in ultra-reliable low latency communication (URLLC) needs to incorporate a confidence interval (CI) for the estimated parameters due to the large amount of data required for their accurate estimation. In this paper, we propose a framework based on the extreme value theory (EVT) for determining the transmission rate along with its corresponding CI for an ultra-reliable communication system. This framework consists of characterizing the statistics of extreme events by fitting the generalized Pareto distribution (GPD) to the channel tail, deriving the GPD parameters and their associated CIs, and obtaining the transmission rate within a confidence interval. Based on the data collected within the engine compartment of Fiat Linea, we demonstrate the accuracy of the estimated rate obtained through the EVT-based framework considering the confidence interval for the GPD parameters. Additionally, we show that proper estimation of the transmission rate based on the proposed framework requires a lower number of samples compared to the traditional extrapolation-based approaches.


title: A spectral data release for 104 Type II Supernovae from the Tsinghua Supernova Group

abstract: We present 206 unpublished optical spectra of 104 type II supernovae obtained by the Xinglong 2.16m telescope and Lijiang 2.4m telescope during the period from 2011 to 2018, spanning the phases from about 1 to 200 days after the SN explosion. The spectral line identifications, evolution of line velocities and pseudo equivalent widths, as well as correlations between some important spectral parameters are presented. Our sample displays a large range in expansion velocities. For instance, the Fe~{\sc ii} $5169$ velocities measured from spectra at $t\sim 50$ days after the explosion vary from ${\rm 2000\ km\ s^{-1}}$ to ${\rm 5500\ km\ s^{-1}}$, with an average value of ${\rm 3872 \pm 949\ km\ s^{-1}}$. Power-law functions can be used to fit the velocity evolution, with the power-law exponent quantifying the velocity decline rate. We found an anticorrelation existing between H$\beta$ velocity at mid-plateau phase and its velocity decay exponent, SNe II with higher velocities tending to have smaller velocity decay rate. Moreover, we noticed that the velocity decay rate inferred from the Balmer lines (i.e., H$\alpha$ and H$\beta$) have moderate correlations with the ratio of absorption to emission for H$\alpha$ (a/e). In our sample, two objects show possibly flash-ionized features at early phases. Besides, we noticed that multiple high-velocity components may exist on the blue side of hydrogen lines of SN 2013ab, possibly suggesting that these features arise from complex line forming region. All our spectra can be found in WISeREP and Zenodo.


title: Supersolidity of dipolar Bose-Einstein condensates induced by coupling to fermions

abstract: We study a mixture of a dipolar condensate and a degenerate Fermi gas in a quasi-one-dimensional geometry. We demonstrate that the presence of fermions may drastically change the behavior of a dipolar condensate. For strong enough boson-fermion attraction a dipolar Bose-Fermi droplet appears in the mixture and a roton excitation develops in the Bogoliubov excitations spectrum. As shown analytically and by solving numerically the coupled set of extended Gross-Pitaevski and Hartree-Fock equations for bosonic and fermionic components, respectively, roton instability mechanism leads to the formation of supersolid phase in a Bose-Einstein condensate. Scaling arguments show that although the dysprosium atoms are considered to demonstrate the appearance of the supersolid phase, such a phase can be observed with less magnetic atoms like chromium and even rubidium.


title: LiDAR data acquisition and processing for ecology applications

abstract: The collection of ecological data in the field is essential to diagnose, monitor and manage ecosystems in a sustainable way. Since acquisition of this information through traditional methods are generally time-consuming, due to the capability of recording large volumes of data in short time periods, automation of data acquisition sees a growing trend. Terrestrial laser scanners (TLS), particularly LiDAR sensors, have been used in ecology, allowing to reconstruct the 3D structure of vegetation, and thus, infer ecosystem characteristics based on the spatial variation of the density of points. However, the low amount of information obtained per beam, lack of data analysis tools and the high cost of the equipment limit their use. This way, a low-cost TLS (<10k$) was developed along with data acquisition and processing mechanisms applicable in two case studies: an urban garden and a target area for ecological restoration. The orientation of LiDAR was modified to make observations in the vertical plane and a motor was integrated for its rotation, enabling the acquisition of 360 degree data with high resolution. Motion and location sensors were also integrated for automatic error correction and georeferencing. From the data generated, histograms of point density variation along the vegetation height were created, where shrub stratum was easily distinguishable from tree stratum, and maximum tree height and shrub cover were calculated. These results agreed with the field data, whereby the developed TLS has proved to be effective in calculating metrics of structural complexity of vegetation.


title: Recognition Complexity of Subgraphs of 2- and 3-Connected Planar Cubic Graphs

abstract: We study the recognition complexity of subgraphs of 2- and 3-connected planar cubic graphs. Recently, we presented [ESA 2022] a quadratic-time algorithm to recognize subgraphs of planar cubic bridgeless (but not necessarily connected) graphs, both in the variable and fixed embedding setting (the latter only for 2-connected inputs). Here, we extend our results in two directions: First, we present a quartic-time algorithm to recognize subgraphs of 2-connected planar cubic graphs in the fixed embedding setting, even for disconnected inputs. Second, we prove NP-hardness of recognizing subgraphs of 3-connected planar cubic graphs in the variable embedding setting.


title: $R^2$ corrections to holographic heavy meson dissociation

abstract: In this paper, we study the $R^2$ corrections to the spectral functions of heavy mesons in Gauss-Bonnet gravity. We discuss the effect of Gauss-Bonnet parameter $\lambda_{GB}$ on the 1S states and 2S states of charmonium and bottomonium. It is found that $\lambda_{GB}$ reduces the height and increases the width of the 1S states peak. The 2S states of charmonium and bottomonium dissociate gradually as increasing $\lambda_{GB}$. It is obvious that $\lambda_{GB}$ enhances the dissociation of charmonium and bottomonium.


title: A Lightweight Energy Management Method for Hybrid PV/Battery/Load Systems

abstract: In this paper, a computationally lightweight algorithm is introduced for hybrid PV/Battery/Load systems that is price responsive, responds fast, does not require powerful hardware, and considers the operational limitations of the system. The method is applied to two buildings equipped with PV and battery. Simulation results show that the method can give results that are up to 3.9% more expensive than the Model predictive control (MPC) approach while the runtime of the program is up to 1000 times less than the MPC. Also, while the runtime of the proposed method is in the range of the self-consumption maximization (SCM) approach as the fastest method, its electricity cost is about 3.2% cheaper than the SCM method. Simulation results also show that in case of providing grid services by the battery the difference between electricity cost of the proposed approach and MPC can reduce which makes the method good for such applications.


title: Binary Linear Tree Commitment-based Ownership Protection for Distributed Machine Learning

abstract: Distributed machine learning enables parallel training of extensive datasets by delegating computing tasks across multiple workers. Despite the cost reduction benefits of distributed machine learning, the dissemination of final model weights often leads to potential conflicts over model ownership as workers struggle to substantiate their involvement in the training computation. To address the above ownership issues and prevent accidental failures and malicious attacks, verifying the computational integrity and effectiveness of workers becomes particularly crucial in distributed machine learning. In this paper, we proposed a novel binary linear tree commitment-based ownership protection model to ensure computational integrity with limited overhead and concise proof. Due to the frequent updates of parameters during training, our commitment scheme introduces a maintainable tree structure to reduce the costs of updating proofs. Distinguished from SNARK-based verifiable computation, our model achieves efficient proof aggregation by leveraging inner product arguments. Furthermore, proofs of model weights are watermarked by worker identity keys to prevent commitments from being forged or duplicated. The performance analysis and comparison with SNARK-based hash commitments validate the efficacy of our model in preserving computational integrity within distributed machine learning.


title: The Role of Deep Learning in Advancing Proactive Cybersecurity Measures for Smart Grid Networks: A Survey

abstract: As smart grids (SG) increasingly rely on advanced technologies like sensors and communication systems for efficient energy generation, distribution, and consumption, they become enticing targets for sophisticated cyberattacks. These evolving threats demand robust security measures to maintain the stability and resilience of modern energy systems. While extensive research has been conducted, a comprehensive exploration of proactive cyber defense strategies utilizing Deep Learning (DL) in {SG} remains scarce in the literature. This survey bridges this gap, studying the latest DL techniques for proactive cyber defense. The survey begins with an overview of related works and our distinct contributions, followed by an examination of SG infrastructure. Next, we classify various cyber defense techniques into reactive and proactive categories. A significant focus is placed on DL-enabled proactive defenses, where we provide a comprehensive taxonomy of DL approaches, highlighting their roles and relevance in the proactive security of SG. Subsequently, we analyze the most significant DL-based methods currently in use. Further, we explore Moving Target Defense, a proactive defense strategy, and its interactions with DL methodologies. We then provide an overview of benchmark datasets used in this domain to substantiate the discourse.{ This is followed by a critical discussion on their practical implications and broader impact on cybersecurity in Smart Grids.} The survey finally lists the challenges associated with deploying DL-based security systems within SG, followed by an outlook on future developments in this key field.


title: Necessary and Sufficient Conditions for Avoiding Babuska's Paradox on Simplicial Meshes

abstract: It is shown that discretizations based on variational or weak formulations of the plate bending problem with simple support boundary conditions do not lead to failure of convergence when polygonal domain approximations are used and the imposed boundary conditions are compatible with the nodal interpolation of the restriction of certain regular functions to approximating domains. It is further shown that this is optimal in the sense that a full realization of the boundary conditions leads to failure of convergence for conforming methods. The abstract conditions imply that standard nonconforming and discontinuous Galerkin methods converge correctly while conforming methods require a suitable relaxation of the boundary condition. The results are confirmed by numerical experiments.


title: A Partial Compress-and-Forward Strategy for Relay-assisted Wireless Networks Based on Rateless Coding

abstract: In this work, we propose a novel partial compress-and-forward (PCF) scheme for improving the maximum achievable transmission rate of a diamond relay network with two noisy relays. PCF combines conventional compress-and-forward (CF) and amplify-and-forward (AF) protocols, enabling one relay to operate alternately in the CF or the AF mode, while the other relay works purely in the CF mode. As the direct link from the source to the destination is unavailable, and there is no noiseless relay in the diamond network, messages received from both relays must act as side information for each other and must be decoded jointly. We propose a joint decoder to decode two Luby transform (LT) codes received from both relays corresponding to the same original message. Numerical results show that PCF can achieve significant performance improvements compared to decode-and-forward (DF) and pure CF protocols when at least the channels connected to one of the relays are of high quality.


title: Optimistic Model Rollouts for Pessimistic Offline Policy Optimization

abstract: Model-based offline reinforcement learning (RL) has made remarkable progress, offering a promising avenue for improving generalization with synthetic model rollouts. Existing works primarily focus on incorporating pessimism for policy optimization, usually via constructing a Pessimistic Markov Decision Process (P-MDP). However, the P-MDP discourages the policies from learning in out-of-distribution (OOD) regions beyond the support of offline datasets, which can under-utilize the generalization ability of dynamics models. In contrast, we propose constructing an Optimistic MDP (O-MDP). We initially observed the potential benefits of optimism brought by encouraging more OOD rollouts. Motivated by this observation, we present ORPO, a simple yet effective model-based offline RL framework. ORPO generates Optimistic model Rollouts for Pessimistic offline policy Optimization. Specifically, we train an optimistic rollout policy in the O-MDP to sample more OOD model rollouts. Then we relabel the sampled state-action pairs with penalized rewards and optimize the output policy in the P-MDP. Theoretically, we demonstrate that the performance of policies trained with ORPO can be lower-bounded in linear MDPs. Experimental results show that our framework significantly outperforms P-MDP baselines by a margin of 30%, achieving state-of-the-art performance on the widely-used benchmark. Moreover, ORPO exhibits notable advantages in problems that require generalization.


title: Near-Field Communications: A Comprehensive Survey

abstract: Multiple-antenna technologies are evolving towards large-scale aperture sizes, extremely high frequencies, and innovative antenna types. This evolution is giving rise to the emergence of near-field communications (NFC) in future wireless systems. Considerable attention has been directed towards this cutting-edge technology due to its potential to enhance the capacity of wireless networks by introducing increased spatial degrees of freedom (DoFs) in the range domain. Within this context, a comprehensive review of the state of the art on NFC is presented, with a specific focus on its 1) fundamental operating principles, 2) channel modeling, 3) performance analysis, 4) signal processing, and 5) integration with other emerging technologies. Specifically, 1) the basic principles of NFC are characterized from both physics and communications perspectives, unveiling its unique properties in contrast to far-field communications. 2) Based on these principles, deterministic and stochastic near-field channel models are investigated for spatially-discrete (SPD) and continuous-aperture (CAP) antenna arrays. 3) Rooted in these models, existing contributions on near-field performance analysis are reviewed in terms of DoFs/effective DoFs (EDoFs), power scaling law, and transmission rate. 4) Existing signal processing techniques for NFC are systematically surveyed, encompassing channel estimation, beamforming design, and low-complexity beam training. 5) Major issues and research opportunities associated with the integration of NFC and other emerging technologies are identified to facilitate NFC applications in next-generation networks. Promising directions are highlighted throughout the paper to inspire future research endeavors in the realm of NFC.


title: ConKeD: Multiview contrastive descriptor learning for keypoint-based retinal image registration

abstract: Retinal image registration is of utmost importance due to its wide applications in medical practice. In this context, we propose ConKeD, a novel deep learning approach to learn descriptors for retinal image registration. In contrast to current registration methods, our approach employs a novel multi-positive multi-negative contrastive learning strategy that enables the utilization of additional information from the available training samples. This makes it possible to learn high quality descriptors from limited training data. To train and evaluate ConKeD, we combine these descriptors with domain-specific keypoints, particularly blood vessel bifurcations and crossovers, that are detected using a deep neural network. Our experimental results demonstrate the benefits of the novel multi-positive multi-negative strategy, as it outperforms the widely used triplet loss technique (single-positive and single-negative) as well as the single-positive multi-negative alternative. Additionally, the combination of ConKeD with the domain-specific keypoints produces comparable results to the state-of-the-art methods for retinal image registration, while offering important advantages such as avoiding pre-processing, utilizing fewer training samples, and requiring fewer detected keypoints, among others. Therefore, ConKeD shows a promising potential towards facilitating the development and application of deep learning-based methods for retinal image registration.


title: Optimized Asymmetric Feedback Detection for Rate-adaptive HARQ with Unreliable Feedback

abstract: This work considers downlink incremental redundancy Hybrid Automatic Repeat Request (IR-HARQ) over unreliable feedback channels. Since the impact of positive feedback (i.e., ACK) error is smaller than that of negative feedback (i.e., NACK) error, an asymmetric feedback detection scheme is proposed to protect NACK and further reduce the outage probability. We formulate the HARQ process as a Markov Decision Process (MDP) model to adapt to the transmission rate of each transmission attempt without enriched feedback and additional feedback cost. We aim to optimize the performance of HARQ process under certain outage probability requirements by finding optimal asymmetric detection thresholds. Numerical results obtained on the downlink Rayleigh fading channel and 5G new radio (NR) PUCCH feedback channel show that by applying asymmetric feedback detection and adaptive rate allocation, higher throughput can be achieved under outage probability limitations.


title: Cu$_2$ZnSiTe$_4$: A potential thermoelectric material with promising electronic transport

abstract: Transition metal-based quaternary chalcogenides have gathered immense attention for various renewable energy applications including thermoelectrics (TE). While low-symmetry and complex structure help to achieve low thermal conductivity, the TE power factor and hence the figure of merit (ZT) remains low which hinders to promote these class of materials for future TE applications. Here, we investigated the TE properties of a new system, Cu$_2$ZnSiTe$_4$, with improved electronic transport using first-principles calculation. The presence of heavy chalcogen like Te, helps to achieve a relatively low bandgap (0.58 eV). This, together with unique electronic band topology, leads to a promising value of power-factor of 3.95(n-type) and 3.06(p-type) mWm$^{-1}$K$^{-2}$ at 900 K. Te atoms also play a crucial role in mixing the optical and acoustic phonon branches which, in turn, are responsible for reduced lattice thermal conductivity ($\sim$0.7 Wm$^{-1}$K$^{-1}$ at high temperature). Though the thermal conductivity is not appreciably low, the electronic transport properties (power factor) are quite favorable to yield promising TE figure of merit (ZT $\sim$2.67 (n-type) and $\sim$2.11 (p-type) at 900 K). We propose Cu$_2$ZnSiTe$_4$ to be a potential candidate for TE applications, and believe to attract future experimental/theoretical studies.


title: Full leading-order nuclear polarization in highly charged ions

abstract: The nuclear-polarization corrections to the energy levels of highly charged ions are systematically investigated to leading order in the fine-structure constant. To this end, the notion of effective photon propagators with nuclear-polarization insertions is employed, where the nuclear excitation spectrum is calculated by means of the Hartree-Fock-based random-phase approximation. The effective Skyrme force is used to describe the interaction between nucleons, and the model dependence is analyzed. To leading order, the formalism predicts two contributions given by the effective vacuum-polarization and self-energy diagrams. The existing ambiguity around the vacuum-polarization term is resolved by demonstrating that it is effectively absorbed in the standard finite-nuclear-size correction. The self-energy part is evaluated with the full electromagnetic electron-nucleus interaction taken into account, where the importance of the effects of the nuclear three-currents is emphasized.


title: Feasible pairwise pseudo-likelihood inference on spatial regressions in irregular lattice grids: the KD-T PL algorithm

abstract: Spatial regression models are central to the field of spatial statistics. Nevertheless, their estimation in case of large and irregular gridded spatial datasets presents considerable computational challenges. To tackle these computational problems, Arbia \citep{arbia_2014_pairwise} introduced a pseudo-likelihood approach (called pairwise likelihood, say PL) which required the identification of pairs of observations that are internally correlated, but mutually conditionally uncorrelated. However, while the PL estimators enjoy optimal theoretical properties, their practical implementation when dealing with data observed on irregular grids suffers from dramatic computational issues (connected with the identification of the pairs of observations) that, in most empirical cases, negatively counter-balance its advantages. In this paper we introduce an algorithm specifically designed to streamline the computation of the PL in large and irregularly gridded spatial datasets, dramatically simplifying the estimation phase. In particular, we focus on the estimation of Spatial Error models (SEM). Our proposed approach, efficiently pairs spatial couples exploiting the KD tree data structure and exploits it to derive the closed-form expressions for fast parameter approximation. To showcase the efficiency of our method, we provide an illustrative example using simulated data, demonstrating the computational advantages if compared to a full likelihood inference are not at the expenses of accuracy.


title: PartSTAD: 2D-to-3D Part Segmentation Task Adaptation

abstract: We introduce PartSTAD, a method designed for the task adaptation of 2D-to-3D segmentation lifting. Recent studies have highlighted the advantages of utilizing 2D segmentation models to achieve high-quality 3D segmentation through few-shot adaptation. However, previous approaches have focused on adapting 2D segmentation models for domain shift to rendered images and synthetic text descriptions, rather than optimizing the model specifically for 3D segmentation. Our proposed task adaptation method finetunes a 2D bounding box prediction model with an objective function for 3D segmentation. We introduce weights for 2D bounding boxes for adaptive merging and learn the weights using a small additional neural network. Additionally, we incorporate SAM, a foreground segmentation model on a bounding box, to improve the boundaries of 2D segments and consequently those of 3D segmentation. Our experiments on the PartNet-Mobility dataset show significant improvements with our task adaptation approach, achieving a 7.0%p increase in mIoU and a 5.2%p improvement in mAP_50 for semantic and instance segmentation compared to the SotA few-shot 3D segmentation model.


title: Efficient Image Deblurring Networks based on Diffusion Models

abstract: This article presents a sliding window model for defocus deblurring, named Swintormer, which achieves the best performance to date with remarkably low memory usage. This method utilizes a diffusion model to generate latent prior features, aiding in the restoration of more detailed images. Additionally, by adapting the sliding window strategy, it incorporates specialized Transformer blocks to enhance inference efficiency. The adoption of this new approach has led to a substantial reduction in Multiply-Accumulate Operations (MACs) per iteration, drastically cutting down memory requirements. In comparison to the currently leading GRL method, our Swintormer model significantly reduces the computational load that must depend on memory capacity, from 140.35 GMACs to 8.02 GMACs, while improving the Peak Signal-to-Noise Ratio (PSNR) for defocus deblurring from 27.04 dB to 27.07 dB. This innovative technique enables the processing of higher resolution images on memory-limited devices, vastly broadening potential application scenarios. The article wraps up with an ablation study, offering a comprehensive examination of how each network module contributes to the final performance.The source code and model will be available at the following website: https://github.com/bnm6900030/swintormer.


title: EpilepsyLLM: Domain-Specific Large Language Model Fine-tuned with Epilepsy Medical Knowledge

abstract: With large training datasets and massive amounts of computing sources, large language models (LLMs) achieve remarkable performance in comprehensive and generative ability. Based on those powerful LLMs, the model fine-tuned with domain-specific datasets posseses more specialized knowledge and thus is more practical like medical LLMs. However, the existing fine-tuned medical LLMs are limited to general medical knowledge with English language. For disease-specific problems, the model's response is inaccurate and sometimes even completely irrelevant, especially when using a language other than English. In this work, we focus on the particular disease of Epilepsy with Japanese language and introduce a customized LLM termed as EpilepsyLLM. Our model is trained from the pre-trained LLM by fine-tuning technique using datasets from the epilepsy domain. The datasets contain knowledge of basic information about disease, common treatment methods and drugs, and important notes in life and work. The experimental results demonstrate that EpilepsyLLM can provide more reliable and specialized medical knowledge responses.


title: RoboCup 2023 Humanoid AdultSize Winner NimbRo: NimbRoNet3 Visual Perception and Responsive Gait with Waveform In-walk Kicks

abstract: The RoboCup Humanoid League holds annual soccer robot world championships towards the long-term objective of winning against the FIFA world champions by 2050. The participating teams continuously improve their systems. This paper presents the upgrades to our humanoid soccer system, leading our team NimbRo to win the Soccer Tournament in the Humanoid AdultSize League at RoboCup 2023 in Bordeaux, France. The mentioned upgrades consist of: an updated model architecture for visual perception, extended fused angles feedback mechanisms and an additional COM-ZMP controller for walking robustness, and parametric in-walk kicks through waveforms.


title: Probing diversity of type II supernovae with the Chinese Space Station Telescope

abstract: Type II supernovae (SNe II), which show abundant hydrogen in their spectra, belong to a class of SNe with diverse observed properties. It is commonly accepted that SNe II are produced by core collapse and explosion of massive stars. However, the large photometric and spectroscopic diversity of SNe II, and the mechanisms responsible for these diversities, have not been thoroughly understood. In this review, we first briefly introduce the optical characteristics and possible progenitors of each subtype of SNe II. We then highlight the role of the Chinese Space Station Telescope in future SN studies. With a deep limiting magnitude, the main survey project could detect SN IIP-like objects as distant as $z\sim 1.2$, and obtain UV-optical follow-up for peculiar transients, especially those long-lived events. With a high resolution and a large field of view, the main survey camera is powerful in linking a nearby SN with its progenitor, while the integral field spectrograph is powerful in revealing the SN environment. All this information has the potential to help enrich our understanding of supernova physics.


title: Criterion for ultra-fast bubble walls: the impact of hydrodynamic obstruction

abstract: The B\"{o}deker-Moore thermal friction is usually used to determine whether or not a bubble wall can run away. However, the friction on the wall is not necessarily a monotonous function of the wall velocity and could have a maximum before it reaches the B\"{o}deker-Moore limit. In this paper, we compare the maximal hydrodynamic obstruction, a frictional force that exists in local thermal equilibrium, and the B\"{o}deker-Moore thermal friction. We study the former in a fully analytical way, clarifying its physical origin and providing a simple expression for its corresponding critical phase transition strength above which the driving force cannot be balanced out by the maximal hydrodynamic obstruction. We find that for large parameter space, the maximal hydrodynamic obstruction is larger than the B\"{o}deker-Moore thermal friction, indicating that the conventional criterion for the runaway behavior of the bubble wall may have to be modified. We also explain how to apply efficiently the modified criterion to particle physics models and discuss possible limitations of the analysis carried out in this paper.


title: Prompt-based mental health screening from social media text

abstract: This article presents a method for prompt-based mental health screening from a large and noisy dataset of social media text. Our method uses GPT 3.5. prompting to distinguish publications that may be more relevant to the task, and then uses a straightforward bag-of-words text classifier to predict actual user labels. Results are found to be on pair with a BERT mixture of experts classifier, and incurring only a fraction of its training costs.


title: The homogeneous decomposition of dually translation invariant valuations on Lipschitz functions on the sphere

abstract: We show that every continuous and dually translation invariant valuation on the space of Lipschitz functions on the unit sphere of $\mathbb{R}^n$, $n\ge2$, can be decomposed uniquely into a sum of homogeneous valuations of degree $0$, $1$ and $2$. In particular, there does not exist any non-trivial, continuous and dually translation invariant valuation which is homogeneous of degree $3$ or higher. For the space of those of degree $0$, $1$ and $2$ we provide a description of a dense subspace.


title: How Teachers Can Use Large Language Models and Bloom's Taxonomy to Create Educational Quizzes

abstract: Question generation (QG) is a natural language processing task with an abundance of potential benefits and use cases in the educational domain. In order for this potential to be realized, QG systems must be designed and validated with pedagogical needs in mind. However, little research has assessed or designed QG approaches with the input from real teachers or students. This paper applies a large language model-based QG approach where questions are generated with learning goals derived from Bloom's taxonomy. The automatically generated questions are used in multiple experiments designed to assess how teachers use them in practice. The results demonstrate that teachers prefer to write quizzes with automatically generated questions, and that such quizzes have no loss in quality compared to handwritten versions. Further, several metrics indicate that automatically generated questions can even improve the quality of the quizzes created, showing the promise for large scale use of QG in the classroom setting.


title: Neural Implicit Surface Reconstruction of Freehand 3D Ultrasound Volume with Geometric Constraints

abstract: Three-dimensional (3D) freehand ultrasound (US) is a widely used imaging modality that allows non-invasive imaging of medical anatomy without radiation exposure. The surface reconstruction of US volume is vital to acquire the accurate anatomical structures needed for modeling, registration, and visualization. However, traditional methods cannot produce a high-quality surface due to image noise. Despite improvements in smoothness, continuity, and resolution from deep learning approaches, research on surface reconstruction in freehand 3D US is still limited. This study introduces FUNSR, a self-supervised neural implicit surface reconstruction method to learn signed distance functions (SDFs) from US volumes. In particular, FUNSR iteratively learns the SDFs by moving the 3D queries sampled around the volumetric point clouds to approximate the surface, guided by two novel geometric constraints: sign consistency constraint and on-surface constraint with adversarial learning. Our approach has been thoroughly evaluated across four datasets to demonstrate its adaptability to various anatomical structures, including a hip phantom dataset, two vascular datasets and one publicly available prostate dataset. We also show that smooth and continuous representations greatly enhance the visual appearance of US data. Furthermore, we highlight the robustness of our method to noise distribution and its potential to improve segmentation performance.


title: Neural Ambisonics encoding for compact irregular microphone arrays

abstract: Ambisonics encoding of microphone array signals can enable various spatial audio applications, such as virtual reality or telepresence, but it is typically designed for uniformly-spaced spherical microphone arrays. This paper proposes a method for Ambisonics encoding that uses a deep neural network (DNN) to estimate a signal transform from microphone inputs to Ambisonics signals. The approach uses a DNN consisting of a U-Net structure with a learnable preprocessing as well as a loss function consisting of mean average error, spatial correlation, and energy preservation components. The method is validated on two microphone arrays with regular and irregular shapes having four microphones, on simulated reverberant scenes with multiple sources. The results of the validation show that the proposed method can meet or exceed the performance of a conventional signal-independent Ambisonics encoder on a number of error metrics.


title: The inverse problem for primitive ideal spaces

abstract: A pure topological characterization of primitive ideal spaces of separable nuclear C*-algebras is given. We show that a $T_0$-space $X$ is a primitive ideal space of a separable nuclear C*-algebra $A$ if and only if $X$ is point-complete second countable, and there is a continuous pseudo-open and pseudo-epimorphic map from a locally compact Polish space $P$ into $X$. We use this pseudo-open map to construct a Hilbert bi-module $\mathcal{H}$ over $C_0(X)$ such that $X$ is isomorphic to the primitive ideal space of the Cuntz--Pimsner algebra $\mathcal{O}_\mathcal{H}$ generated by $\mathcal{H}$. Moreover, our $\mathcal{O}_\mathcal{H}$ is $KK(X;.,.)$-equivalent to $C_0(P)$ (with the action of $X$ on $C_0(P)$ given be the natural map from $\mathbb{O}(X)$ into $\mathbb{O}(P)$, which is isomorphic to the ideal lattice of $C_0(P)$. Our construction becomes almost functorial in $X$ if we tensor $\mathcal{O}_\mathcal{H}$ with the Cuntz algebra $\mathcal{O}_2$.


title: A Geometric Embedding Approach to Multiple Games and Multiple Populations

abstract: This paper studies a meta-simplex concept and geometric embedding framework for multi-population replicator dynamics. Central results are two embedding theorems which constitute a formal reduction of multi-population replicator dynamics to single-population ones. In conjunction with a robust mathematical formalism, this provides a toolset for analyzing complex multi-population models. Our framework provides a unifying perspective on different population dynamics in the literature which in particular enables to establish a formal link between multi-population and multi-game dynamics.


title: Dispersionless limit of the B-Toda hierarchy

abstract: We study the dispersionless limit of the recently introduced Toda lattice hierarchy with constraint of type B (the B-Toda hierarchy) and compare it with that of the DKP and C-Toda hierarchies. The dispersionless limits of the B-Toda and C-Toda hierarchies turn out to be the same.


title: The Magellan M2FS spectroscopic survey of high-redshift galaxies: the brightest Lyman-break galaxies at $z \sim 6$

abstract: We present a study of a sample of 45 spectroscopically confirmed, UV luminous galaxies at $z\sim 6$. They were selected as bright Lyman-break galaxies (LBGs) using deep multi-band optical images in more than 2 deg$^2$ of the sky, and subsequently identified via their strong Ly$\alpha$ emission. The majority of these LBGs span an absolute UV magnitude range from $-22.0$ to $-20.5$ mag with Ly$\alpha$ equivalent width (EW) between $\sim$10 and $\sim$200 \AA, representing the most luminous galaxies at $z\sim 6$ in terms of both UV continuum emission and Ly$\alpha$ line emission. We model the SEDs of 10 LBGs that have deep infrared observations from HST, JWST, and/or Spitzer, and find that they have a wide range of stellar masses and ages. They also have high star-formation rates ranging from a few tens to a few hundreds of Solar mass per year. Five of the LBGs have JWST or HST images and four of them show compact morphology in these images, including one that is roughly consistent with a point source, suggesting that UV luminous galaxies at this redshift are generally compact. The fraction of our photometrically selected LBGs with strong Ly$\alpha$ emission ($\mathrm{EW}>25$ \AA) is about $0.2$, which is consistent with previous results and supports a moderate evolution of the IGM opacity at the end of cosmic reionization. Using deep X-ray images, we do not find evidence of strong AGN activity in these galaxies, but our constraint is loose and we are not able to rule out the possibility of any weak AGN activity.


title: Work statistics in ferromagnetic spinor Bose-Einstein condensates across the quantum phase transition

abstract: Driving a quantum many-body system across the quantum phase transition (QPT) in finite time has been concerned in different branches of physics to explore various fundamental questions. Here, we analyze how the underlying QPT affects the work distribution, when the controlling parameter of a ferromagnetic spinor Bose-Einstein condensates is tuned through the critical point in finite time.We show that the work distribution undergoes a dramatic change with increasing the driving time $\tau$, which is further captured by employing the entropy of the work distribution.We observe three distinct regions in the evolution of entropy as a function of $\tau$.Specifically, the entropy is insensitive to the driving time in the region of very short $\tau$. However, in the region with intermediate value of $\tau$, it exhibits a universal power-law decay consistent with the well-known Kibble-Zurek mechanism. For the region with large $\tau$, the validity of the adiabatic perturbation theory leads to the entropy decay as $\tau^{-2}\ln\tau$. Our results verify the usefulness of the entropy of the work distribution for understanding the critical dynamics and provide an alternative way to experimentally study nonequilibrium properties in quantum many-body systems.


title: Two-body $P$-state energies at $\alpha^6$ order

abstract: We present an analytical calculation of the complete $\alpha^6$ correction to energies of $nP$-levels of two-body systems consisting of the spin-$0$ or $1/2$ extended-size particles with arbitrary masses and magnetic moments. The obtained results apply to a wide class of two-body systems such as hydrogen, positronium, muonium, and pionic or aniprotonic helium ion. We found an additional $\alpha^6$ correction for $nP$-levels of positronium, which was previously overlooked. Our results are also relevant for light muonic atoms, whose accurate theoretical predictions are required for extracting the nuclear charge radii.


title: Migration and Evolution of giant ExoPlanets (MEEP) I: Nine Newly Confirmed Hot Jupiters from the TESS Mission

abstract: Hot Jupiters were many of the first exoplanets discovered in the 1990s, but in the decades since their discovery, the mysteries surrounding their origins remain. Here, we present nine new hot Jupiters (TOI-1855 b, TOI-2107 b, TOI-2368 b, TOI-3321 b, TOI-3894 b, TOI-3919 b, TOI-4153 b, TOI-5232 b, and TOI-5301 b) discovered by NASA's TESS mission and confirmed using ground-based imaging and spectroscopy. These discoveries are the first in a series of papers named the Migration and Evolution of giant ExoPlanets (MEEP) survey and are part of an ongoing effort to build a complete sample of hot Jupiters orbiting FGK stars, with a limiting Gaia $G$-band magnitude of 12.5. This effort aims to use homogeneous detection and analysis techniques to generate a set of precisely measured stellar and planetary properties that is ripe for statistical analysis. The nine planets presented in this work occupy a range of masses (0.55 Jupiter masses (M$_{\rm{J}}$) $<$ M$_{\rm{P}}$ $<$ 3.88 M$_{\rm{J}}$) and sizes (0.967 Jupiter radii (R$_{\rm{J}}$) $<$ R$_{\rm{P}}$ $<$ 1.438 R$_{\rm{J}}$) and orbit stars that range in temperature from 5360 K $<$ Teff $<$ 6860 K with Gaia $G$-band magnitudes ranging from 11.1 to 12.7. Two of the planets in our sample have detectable orbital eccentricity: TOI-3919 b ($e = 0.259^{+0.033}_{-0.036}$) and TOI-5301 b ($e = 0.33^{+0.11}_{-0.10}$). These eccentric planets join a growing sample of eccentric hot Jupiters that are consistent with high-eccentricity tidal migration, one of the three most prominent theories explaining hot Jupiter formation and evolution.