title: V1507 Cygni (HD187399): A Highly Evolved, Enigmatic Interacting Binary System with an Eccentric Orbit

abstract: The properties of the interacting, eccentric orbit binary V1507 Cyg (HD187399) are examined with spectra that cover wavelengths from 0.63 to 0.68um. The spectrum of the brightest star is very similar to that of the B8 I star Beta Ori, although with absorption lines that show sub-structure consistent with a varying tidal field. The bulk of the Halpha emission in the spectrum appears to be associated with the brighter star. Evidence is presented that the period of the system has been stable over timescales of many decades, arguing against large-scale mass transfer at the current epoch. Absorption and emission lines are identified that originate in an expanding asymmetric envelope around the companion, and component masses of 6.4 +/- 0.9 and 14.0 +/- 0.9 solar are found, where the former applies to the brighter star and an inclination of 46 degrees has been assumed. The evolutionary state of V1507 Cyg is then that of a system in which mass transfer has progressed to the point where the mass ratio has been reversed, with the brighter star stripped of much of its initial mass. It is argued that the brighter star is an Alpha Cyg variable, and that it is those light variations that dominate the system light curve. V1507 Cyg is observed at or near the center of a diffuse HI bubble that is detected at 408 and 1420MHz. It is suggested that the eccentric orbit is the result of evolution in a hierarchical system.


title: Advancing Transformer's Capabilities in Commonsense Reasoning

abstract: Recent advances in general purpose pre-trained language models have shown great potential in commonsense reasoning. However, current works still perform poorly on standard commonsense reasoning benchmarks including the Com2Sense Dataset. We argue that this is due to a disconnect with current cutting-edge machine learning methods. In this work, we aim to bridge the gap by introducing current ML-based methods to improve general purpose pre-trained language models in the task of commonsense reasoning. Specifically, we experiment with and systematically evaluate methods including knowledge transfer, model ensemble, and introducing an additional pairwise contrastive objective. Our best model outperforms the strongest previous works by ~15\% absolute gains in Pairwise Accuracy and ~8.7\% absolute gains in Standard Accuracy.


title: Prediction of Ambient Pressure Conventional Superconductivity above 80K in Thermodynamically Stable Hydride Compounds

abstract: The primary challenge in the field of high-temperature superconductivity in hydrides is to achieve a superconducting state at ambient pressure rather than the extreme pressures that have been required in experiments so far. Here, we propose a family of compounds, of composition Mg$_2$XH$_6$ with X$=$Rh, Ir, Pd, or Pt, that achieves this goal. These materials were identified by scrutinizing more than a million compounds using a machine-learning accelerated high-throughput workflow. They are thermodynamically stable, indicating that they are serious candidates for experimental synthesis. We predict that their superconducting transition temperatures are in the range of 45-80K, or even above 100K with appropriate electron doping of the Pt compound. These results indicate that, although very rare, high-temperature superconductivity in thermodynamically stable hydrides is achievable at room pressure.


title: Topological terms with qubit regularization and relativistic quantum circuits

abstract: Qubit regularization provides a rich framework to explore quantum field theories. The freedom to choose how the important symmetries of the theory are embedded in the qubit regularization scheme allows us to construct new lattice models with rich phase diagrams. Some of the phases can contain topological terms which lead to critical phases. In this work we introduce and study the SU(3)-F qubit regularization scheme to embed the SO(3) spin-symmetry. We argue that qubit models in this regularization scheme contain several phases including a critical phase which describes the k = 1 Wess-Zumino-Witten (WZW) conformal field theory (CFT) at long distances, and two massive phases one of which is trvially gapped and the other which breaks the lattice translation symmetry. We construct a simple space-time Euclidean lattice model with a single coupling U and study it using the Monte Carlo method. We show the model has a critical phase at small U and a trivially massive phase at large U with a first order transition separating the two. Another feature of our model is that it is symmetric under space-time rotations, which means the temporal and spatial lattice spacing are connected to each other. The unitary time evolution operator obtained by a Wick rotation of the transfer matrix of our model can help us compute the physics of the k = 1 WZW CFT in real time without the need for tuning the temporal lattice spacing to zero. We use this idea to introduce the concept of a relativistic quantum circuit on a discrete space-time lattice.


title: Toolbox of Para-differential Calculus on Compact Lie Groups

abstract: This paper provides a toolbox of para-differential calculus on compact Lie groups. The toolbox is based on representation theory of compact Lie groups and contains exact formulas of symbolic calculus. Para-differential operators are constructed in a global, coordinate-free manner, giving lower order terms in symbolic calculus a clear form. The toolbox helps to understand non-local, nonlinear differential operators defined on certain manifolds with high symmetry.


title: Longitudinal gOSNR Monitoring by Receiver-side Digital Signal Processing in Multi-Span Optical Transmission System

abstract: We propose the world first longitudinal gOSNR estimation by using correlation template method at Rx, without any monitoring devices located in the middle of the link. The proposed method is experimentally demonstrated in a 12-span link with commercial transceiver.


title: Odds are the sign is right

abstract: This article introduces a new condition based on odds ratios for sensitivity analysis. The analysis involves the average effect of a treatment or exposure on a response or outcome with estimates adjusted for and conditional on a single, unmeasured, dichotomous covariate. Results of statistical simulations are displayed to show that the odds ratio condition is as reliable as other commonly used conditions for sensitivity analysis. Other conditions utilize quantities reflective of a mediating covariate. The odds ratio condition can be applied when the covariate is a confounding variable. As an example application we use the odds ratio condition to analyze and interpret a positive association observed between Zika virus infection and birth defects.


title: Regular primes, non-Wieferich primes, and finite multiple zeta values of level $N$

abstract: We introduce finite multiple zeta values of general level and discuss the relationship between the non-zeroness of these values and regular or non-Wieferich primes. Because it's challenging to prove the infinitude of these types of primes, we suggest tackling several related problems more promptly.


title: A lack of 9-s periodicity in the follow-up NuSTAR observation of LS 5039

abstract: The Nuclear Spectroscopic Array (NuSTAR) observed the gamma-ray binary LS 5039 for a second time in order to check for the presence of a periodic signal candidate found in the data from the previous NuSTAR observation. We do not detect the candidate signal in the vicinity of its previously reported frequency, assuming the same orbital ephemeris as in our previous paper. This implies that the previously reported periodic signal candidate was a noise fluctuation. We also perform a comparison of the lightcurves from the two NuSTAR observations and the joint spectral fitting. Our spectral analysis confirms the phase-dependence found from a single NuSTAR observation at a higher significance level.


title: Many-body quantum chaos in mixtures of multiple species

abstract: We study spectral correlations in many-body quantum mixtures of fermions, bosons, and qubits with periodically kicked spreading and mixing of species. We take two types of mixing, namely, Jaynes-Cummings and Rabi, respectively, satisfying and breaking the conservation of a total number of species. We analytically derive the generating Hamiltonians whose spectral properties determine the spectral form factor in the leading order. We further analyze the system-size $(L)$ scaling of Thouless time $t^*$, beyond which the spectral form factor follows the prediction of random matrix theory. The $L$-dependence of $t^*$ crosses over from $\log L$ to $L^2$ with an increasing Jaynes-Cummings mixing between qubits and fermions or bosons in a finite-sized chain, and it finally settles to $t^* \propto \mathcal{O}(L^2)$ in the thermodynamic limit for any mixing strength. The Rabi mixing between qubits and fermions leads to $t^*\propto \mathcal{O}(\log L)$, previously predicted for single species of qubits or fermions without total number conservation.

categories: quant-ph cond-mat.mes-hall cond-mat.stat-mech math-ph math.MP


title: Non-stationary elastic wave scattering and energy transport in a one-dimensional harmonic chain with an isotopic defect

abstract: The fundamental solution describing non-stationary elastic wave scattering on an isotopic defect in a one-dimensional harmonic chain is obtained in an asymptotic form. The chain is subjected to unit impulse point loading applied to a particle far enough from the defect. The solution is a large time asymptotics at a moving point of observation, and it is in excellent agreement with the corresponding numerical calculations. At the next step, we assume that the applied point impulse excitation has random amplitude. This allows one to model the heat transport in the chain and across the defect as the transport of the mathematical expectation for the kinetic energy and to use the conception of the kinetic temperature. To provide a simplified continuum description for this process, we separate the slow in time component of the kinetic temperature. This quantity can be calculated using the asymptotics of the fundamental solution for the deterministic problem. We demonstrate that there is a thermal shadow behind the defect: the order of vanishing for the slow temperature is larger for the particles behind the defect than for the particles between the loading and the defect. The presence of the thermal shadow is related to a non-stationary wave phenomenon, which we call the anti-localization of non-stationary waves. Due to the presence of the shadow, the continuum slow kinetic temperature has a jump discontinuity at the defect. Thus, the system under consideration can be a simple model for the non-stationary phenomenon, analogous to one characterized by the Kapitza thermal resistance. Finally, we analytically calculate the non-stationary transmission function, which describes the distortion (caused by the defect) of the slow kinetic temperature profile at a far zone behind the defect.


title: Anticyclotomic Iwasawa theory of abelian varieties of $\mathrm{GL}_2$-type at non-ordinary primes II

abstract: Let $p\ge 5$ be a prime number, $E/\mathbb{Q}$ an elliptic curve with good supersingular reduction at $p$, and $K$ an imaginary quadratic field such that the root number of $E$ over $K$ is $-1$. When $p$ is split in $K$, Castella and Wan formulated the plus and minus Heegner point main conjecture for $E$ along the anticyclotomic $\mathbb{Z}_p$-extension of $K$, and proved it for semistable curves. We generalize their results to two settings: 1. Under the assumption that $p$ is split in $K$ but without assuming $a_p(E)=0$, we study Sprung-type main conjectures for $\mathrm{GL}_2$-type abelian varieties at non-ordinary primes and prove it under some conditions. 2. We formulate, relying on the recent work of the first-named author with Kobayashi and Ota, plus and minus Heegner point main conjectures for elliptic curves when $p$ is inert in $K$, and prove the minus main conjecture for semistable elliptic curves. These results yield a $p$-converse to the Gross--Zagier and Kolyvagin theorem for $E$. Our method relies on Howard's framework of bipartite Euler system, Zhang's resolution of Kolyvagin's conjecture and the recent proof of Kobayashi's main conjecture.


title: SN 2020zbf: A fast-rising hydrogen-poor superluminous supernova with strong carbon lines

abstract: SN\,2020zbf is a hydrogen-poor superluminous supernova (SLSN) at $z = 0.1947$ that shows conspicuous \ion{C}{II} features at early times, in contrast to the majority of H-poor SLSNe. Its peak magnitude is $M_{\rm g}$ = $-21.2$~mag and its rise time ($\lesssim 26.4$ days from first light) places SN\,2020zbf among the fastest rising type I SLSNe. We used spectra taken from ultraviolet (UV) to near-infrared wavelengths to identify spectral features. We paid particular attention to the \ion{C}{II} lines as they present distinctive characteristics when compared to other events. We also analyzed UV and optical photometric data and modeled the light curves considering three different powering mechanisms: radioactive decay of $^{56}$Ni, magnetar spin-down, and circumstellar medium (CSM) interaction. The spectra of SN\,2020zbf match the model spectra of a C-rich low-mass magnetar-powered supernova model well. This is consistent with our light curve modeling, which supports a magnetar-powered event with an ejecta mass $M_{\rm ej}$ = 1.5~$\rm M_\odot$. However, we cannot discard the CSM-interaction model as it may also reproduce the observed features. The interaction with H-poor, carbon-oxygen CSM near peak light could explain the presence of \ion{C}{II} emission lines. A short plateau in the light curve around 35 -- 45 days after peak, in combination with the presence of an emission line at 6580~\AA,\ can also be interpreted as being due to a late interaction with an extended H-rich CSM. Both the magnetar and CSM-interaction models of SN\,2020zbf indicate that the progenitor mass at the time of explosion is between 2 and 5~$\rm M_\odot$. Modeling the spectral energy distribution of the host galaxy reveals a host mass of 10$^{8.7}$~$\rm M_\odot$, a star formation rate of 0.24$^{+0.41}_{-0.12}$~$\rm M_\odot$~yr$^{-1}$, and a metallicity of $\sim$ 0.4~$\rm Z_\odot$.


title: Convivial Solipsism as a maximally perspectival interpretation

abstract: A classification of different interpretations of the quantum formalism is examined and the concept of perspectival interpretation is presented. A perspectival interpretation implies that the truth is relative to the observer. The degree to which QBism and Convivial Solipsism are perspectival is examined and Convivial Solipsim is shown to be perspectival at a higher degree than QBism or at least than the QBism founders version.


title: Text Embeddings Reveal (Almost) As Much As Text

abstract: How much private information do text embeddings reveal about the original text? We investigate the problem of embedding \textit{inversion}, reconstructing the full text represented in dense text embeddings. We frame the problem as controlled generation: generating text that, when reembedded, is close to a fixed point in latent space. We find that although a na\"ive model conditioned on the embedding performs poorly, a multi-step method that iteratively corrects and re-embeds text is able to recover $92\%$ of $32\text{-token}$ text inputs exactly. We train our model to decode text embeddings from two state-of-the-art embedding models, and also show that our model can recover important personal information (full names) from a dataset of clinical notes. Our code is available on Github: \href{https://github.com/jxmorris12/vec2text}{github.com/jxmorris12/vec2text}.


title: Characterizing Gibbs states for area-tilted Brownian lines

abstract: Gibbsian line ensembles are families of Brownian lines arising in many natural contexts such as the level curves of three dimensional Ising interfaces, the solid-on-solid model, multi-layered polynuclear growth etc. An important example is a class of non-intersecting Brownian lines above a hard wall, which are subject to geometrically growing area tilt potentials, which we call the $\lambda$-tilted line ensemble, where $\lambda>1$. The model was introduced by Caputo, Ioffe and Wachtel [CIW] in 2018, as a putative scaling limit of the level lines of entropically repulsed solid-on-solid interfaces. In this article we address the problem of classifying all Gibbs measures for $\lambda$-tilted line ensembles. A stationary infinite volume Gibbs measure was already constructed by [CIW], and the uniqueness of this translation invariant Gibbs measure was recently established by Caputo and Ganguly. Our main result here is a strong characterization for Gibbs measures of $\lambda$-tilted line ensembles in terms of a two parameter family. Namely, we show that the extremal Gibbs measures are completely characterized by the behavior of the top line $X^1$ at positive and negative infinity, which must satisfy the parabolic growth $$X^{1}(t)=t^2+L\,|t|\,\mathbf{1}_{t<0}+R\,|t|\,\mathbf{1}_{t>0}+o(|t|)\,,\quad \text{ as } \;|t| \to \infty,$$ where $L,R$ are real parameters, including $-\infty,$ with $L+R<0$. The case $L=R=-\infty$ corresponds to the unique translation invariant Gibbs measure. The result bears some analogy to the Airy wanderers, an integrable model introduced and studied in the context of the Airy line ensemble. A crucial step in our proof, of independent significance, is a complete characterization of the extremal Gibbs states associated to a single area-tilted Brownian excursion, which can be interpreted as non-translation invariant versions of the Ferrari-Spohn diffusion.


title: 3D simulations of the Archean Earth including photochemical haze profiles

abstract: We present results from 3D simulations of the Archean Earth including a prescribed (non-interactive) spherical haze generated through a 1D photochemical model. Our simulations suggest that a thin haze layer, formed when CH4/CO2 = 0.1, leads to global warming of ~10.6 K due to the change of water vapour and cloud feedback, compared to the simulation without any haze. However, a thicker haze layer, formed when CH4/CO2 > 0.1, leads to global cooling of up to ~65 K as the scattering and absorption of shortwave radiation from the haze reduces the radiation from reaching the planetary surface. A thermal inversion is formed with a lower tropopause as the CH4/CO2 ratio increases. The haze reaches an optical threshold thickness when CH4/CO2 ~ 0.175 beyond which the atmospheric structure and the global surface temperature do not vary much.


title: Understanding the Broadband Emission Process of 3C 279 through Longterm Spectral Analysis

abstract: The long term broadband spectral study of Flat Spectrum Radio Quasars during different flux states has the potential to infer the emission mechanisms and the cause of spectral variations. To scrutinize this, we performed a detailed broadband spectral analysis of 3C 279 using simultaneous Swift-XRT/UVOT and Fermi-LAT observations spanning from August 2008 to June 2022. We also supplement this with the simultaneous NuSTAR observations of the source. The optical/UV, X-ray, and gamma-ray spectra were individually fitted by a power-law to study the long-term variation in the flux and the spectral indices. A combined spectral fit of simultaneous optical/UV and X-ray spectra was also performed to obtain the transition energy at which the spectral energy distribution is minimum. The correlation analysis suggests that the long-term spectral variations of the source are mainly associated with the variations in the low energy index and the break energy of the broken power-law electron distribution which is responsible for the broadband emission. The flux distribution of the source represents a log-normal variability while the gamma-ray flux distribution showed a clear double log-normal behavior. The spectral index distributions were again normal except for gamma-ray which showed a double-Gaussian behavior. This indicates that the log-normal variability of the source may be associated with the normal variations in the spectral index. The broadband spectral fit of the source using synchrotron and inverse Compton processes indicates different emission processes are active at optical/UV, X-ray, and gamma-ray energies.


title: Counting Calabi-Yau Threefolds

abstract: We enumerate topologically-inequivalent compact Calabi-Yau threefold hypersurfaces. By computing arithmetic and algebraic invariants and the Gopakumar-Vafa invariants of curves, we prove that the number of distinct simply connected Calabi-Yau threefold hypersurfaces resulting from triangulations of four-dimensional reflexive polytopes is 4, 27, 183, 1,184 and 8,036 at $h^{1,1}$ = 1, 2, 3, 4, and 5, respectively. We also establish that there are ten equivalence classes of Wall data of non-simply connected Calabi-Yau threefolds from the Kreuzer-Skarke list. Finally, we give a provisional count of threefolds obtained by enumerating non-toric flops at $h^{1,1} =2$.


title: Spherical sets avoiding orthogonal bases

abstract: We show that there exists an absolute constant $c_0<1$ such that for all $n \ge 2$, any set $A \subset S^{n-1}$ of density at least $c_0$ contains $n$ pairwise orthogonal vectors. The result is sharp up to the value of the constant $c_0$. The proof relies on the harmonic analysis on the sphere and hypercontractivity in the Gaussian space.


title: Neural Bounding

abstract: Bounding volumes are an established concept in computer graphics and vision tasks but have seen little change since their early inception. In this work, we study the use of neural networks as bounding volumes. Our key observation is that bounding, which so far has primarily been considered a problem of computational geometry, can be redefined as a problem of learning to classify space into free or occupied. This learning-based approach is particularly advantageous in high-dimensional spaces, such as animated scenes with complex queries, where neural networks are known to excel. However, unlocking neural bounding requires a twist: allowing -- but also limiting -- false positives, while ensuring that the number of false negatives is strictly zero. We enable such tight and conservative results using a dynamically-weighted asymmetric loss function. Our results show that our neural bounding produces up to an order of magnitude fewer false positives than traditional methods. In addition, we propose an extension of our bounding method using early exits that accelerates query speeds by 25%. We also demonstrate that our approach is applicable to non-deep learning models that train within seconds. Our project page is at: https://wenxin-liu.github.io/neural_bounding/.


title: NECO: NEural Collapse Based Out-of-distribution detection

abstract: Detecting out-of-distribution (OOD) data is a critical challenge in machine learning due to model overconfidence, often without awareness of their epistemological limits. We hypothesize that ``neural collapse'', a phenomenon affecting in-distribution data for models trained beyond loss convergence, also influences OOD data. To benefit from this interplay, we introduce NECO, a novel post-hoc method for OOD detection, which leverages the geometric properties of ``neural collapse'' and of principal component spaces to identify OOD data. Our extensive experiments demonstrate that NECO achieves state-of-the-art results on both small and large-scale OOD detection tasks while exhibiting strong generalization capabilities across different network architectures. Furthermore, we provide a theoretical explanation for the effectiveness of our method in OOD detection. Code is available at https://gitlab.com/drti/neco


title: The Geometry of Truth: Emergent Linear Structure in Large Language Model Representations of True/False Datasets

abstract: Large Language Models (LLMs) have impressive capabilities, but are also prone to outputting falsehoods. Recent work has developed techniques for inferring whether a LLM is telling the truth by training probes on the LLM's internal activations. However, this line of work is controversial, with some authors pointing out failures of these probes to generalize in basic ways, among other conceptual issues. In this work, we curate high-quality datasets of true/false statements and use them to study in detail the structure of LLM representations of truth, drawing on three lines of evidence: 1. Visualizations of LLM true/false statement representations, which reveal clear linear structure. 2. Transfer experiments in which probes trained on one dataset generalize to different datasets. 3. Causal evidence obtained by surgically intervening in a LLM's forward pass, causing it to treat false statements as true and vice versa. Overall, we present evidence that language models linearly represent the truth or falsehood of factual statements. We also introduce a novel technique, mass-mean probing, which generalizes better and is more causally implicated in model outputs than other probing techniques.


title: Mistral 7B

abstract: We introduce Mistral 7B v0.1, a 7-billion-parameter language model engineered for superior performance and efficiency. Mistral 7B outperforms Llama 2 13B across all evaluated benchmarks, and Llama 1 34B in reasoning, mathematics, and code generation. Our model leverages grouped-query attention (GQA) for faster inference, coupled with sliding window attention (SWA) to effectively handle sequences of arbitrary length with a reduced inference cost. We also provide a model fine-tuned to follow instructions, Mistral 7B -- Instruct, that surpasses the Llama 2 13B -- Chat model both on human and automated benchmarks. Our models are released under the Apache 2.0 license.


title: Finding cliques and dense subgraphs using edge queries

abstract: We consider the problem of finding a large clique in an Erd\H{o}s--R\'enyi random graph where we are allowed unbounded computational time but can only query a limited number of edges. Recall that the largest clique in $G \sim G(n,1/2)$ has size roughly $2\log_{2} n$. Let $\alpha_{\star}(\delta,\ell)$ be the supremum over $\alpha$ such that there exists an algorithm that makes $n^{\delta}$ queries in total to the adjacency matrix of $G$, in a constant $\ell$ number of rounds, and outputs a clique of size $\alpha \log_{2} n$ with high probability. We give improved upper bounds on $\alpha_{\star}(\delta,\ell)$ for every $\delta \in [1,2)$ and $\ell \geq 3$. We also study analogous questions for finding subgraphs with density at least $\eta$ for a given $\eta$, and prove corresponding impossibility results.


title: Teaching Language Models to Hallucinate Less with Synthetic Tasks

abstract: Large language models (LLMs) frequently hallucinate on abstractive summarization tasks such as document-based question-answering, meeting summarization, and clinical report generation, even though all necessary information is included in context. However, optimizing LLMs to hallucinate less on these tasks is challenging, as hallucination is hard to efficiently evaluate at each optimization step. In this work, we show that reducing hallucination on a synthetic task can also reduce hallucination on real-world downstream tasks. Our method, SynTra, first designs a synthetic task where hallucinations are easy to elicit and measure. It next optimizes the LLM's system message via prefix-tuning on the synthetic task, and finally transfers the system message to realistic, hard-to-optimize tasks. Across three realistic abstractive summarization tasks, SynTra reduces hallucination for two 13B-parameter LLMs using only a synthetic retrieval task for supervision. We also find that optimizing the system message rather than the model weights can be critical; fine-tuning the entire model on the synthetic task can counterintuitively increase hallucination. Overall, SynTra demonstrates that the extra flexibility of working with synthetic data can help mitigate undesired behaviors in practice.


title: RoboHive: A Unified Framework for Robot Learning

abstract: We present RoboHive, a comprehensive software platform and ecosystem for research in the field of Robot Learning and Embodied Artificial Intelligence. Our platform encompasses a diverse range of pre-existing and novel environments, including dexterous manipulation with the Shadow Hand, whole-arm manipulation tasks with Franka and Fetch robots, quadruped locomotion, among others. Included environments are organized within and cover multiple domains such as hand manipulation, locomotion, multi-task, multi-agent, muscles, etc. In comparison to prior works, RoboHive offers a streamlined and unified task interface taking dependency on only a minimal set of well-maintained packages, features tasks with high physics fidelity and rich visual diversity, and supports common hardware drivers for real-world deployment. The unified interface of RoboHive offers a convenient and accessible abstraction for algorithmic research in imitation, reinforcement, multi-task, and hierarchical learning. Furthermore, RoboHive includes expert demonstrations and baseline results for most environments, providing a standard for benchmarking and comparisons. Details: https://sites.google.com/view/robohive


title: The shear viscosity of interacting graphene

abstract: One of the hallmark properties of fluids is their shear viscosity which is, among other things, responsible for parabolic flow profiles through narrow channels. In recent years, there has been a growing number of observations of said flow profiles in electronic transport measurements in a variety of material systems, most notably in graphene. In this paper, we investigate the shear viscosity of interacting graphene from a theoretical point of view. We study both a phenomenological as well as a microscopic model and find excellent agreement between the two. Our main finding is collective modes make a sizeable contribution to the viscosity that can equal or even outweigh the electronic contribution that is usually assumed dominant. We comment on how this finding carries over to systems beyond graphene and related Dirac materials.


title: Lemur: Harmonizing Natural Language and Code for Language Agents

abstract: We introduce Lemur and Lemur-Chat, openly accessible language models optimized for both natural language and coding capabilities to serve as the backbone of versatile language agents. The evolution from language chat models to functional language agents demands that models not only master human interaction, reasoning, and planning but also ensure grounding in the relevant environments. This calls for a harmonious blend of language and coding capabilities in the models. Lemur and Lemur-Chat are proposed to address this necessity, demonstrating balanced proficiencies in both domains, unlike existing open-source models that tend to specialize in either. Through meticulous pre-training using a code-intensive corpus and instruction fine-tuning on text and code data, our models achieve state-of-the-art averaged performance across diverse text and coding benchmarks among open-source models. Comprehensive experiments demonstrate Lemur's superiority over existing open-source models and its proficiency across various agent tasks involving human communication, tool usage, and interaction under fully- and partially- observable environments. The harmonization between natural and programming languages enables Lemur-Chat to significantly narrow the gap with proprietary models on agent abilities, providing key insights into developing advanced open-source agents adept at reasoning, planning, and operating seamlessly across environments. https://github.com/OpenLemur/Lemur


title: Impacts of the Local arm on the local circular velocity inferred from the Gaia DR3 young stars in the Milky Way

abstract: A simple one-dimensional axisymmetric disc model is applied to the kinematics of OB stars near the Sun obtained from Gaia DR3 catalogue. The model determines the 'local centrifugal speed' $V_\mathrm{c}(R_{0})$ - defined as the circular velocity in the Galactocentric rest frame, where the star would move in a near-circular orbit if the potential is axisymmetric with the local potential of the Galaxy. We find that the $V_\mathrm{c}(R_{0})$ values and their gradient vary across the selected region of stars within the solar neighbourhood. By comparing with an N-body/hydrodynamic simulation of a Milky Way-like galaxy, we find that the kinematics of the young stars in the solar neighbourhood is affected by the Local arm, which makes it difficult to measure $V_\mathrm{c}(R_{0})$. However, from the resemblance between the observational data and the simulation, we suggest that the known rotational velocity gap between the Coma Bernices and Hyades-Pleiades moving groups could be driven by the co-rotation resonance of the Local arm, which can be used to infer the azimuthally averaged circular velocity. We find that $V_\mathrm{c}(R)$ obtained from the $\mathrm{D}<2$ kpc sample is well matched with this gap at the position of the Local arm. Hence, we argue that our results from the $\mathrm{D}<2$ kpc sample, $V_\mathrm{c}(R_{0})= 233.95\pm2.24$ km $\mathrm{s}^{-1}$, is close to the azimuthally averaged circular velocity rather than the local centrifugal speed, which is influenced by the presence of the Local arm.


title: Flexible entangled state generation in linear optics

abstract: Fault-tolerant quantum computation can be achieved by creating constant-sized, entangled resource states and performing entangling measurements on subsets of their qubits. Linear optical quantum computers can be designed based on this approach, even though entangling operations at the qubit level are non-deterministic in this platform. Probabilistic generation and measurement of entangled states must be pushed beyond the required threshold by some combination of scheme optimisation, introduction of redundancy and auxiliary state assistance. We report progress in each of these areas. We explore multi-qubit fusion measurements on dual-rail photonic qubits and their role in measurement-based resource state generation, showing that it is possible to boost the success probability of photonic GHZ state analysers with single photon auxiliary states. By incorporating generators of basic entangled "seed" states, we provide a method that simplifies the process of designing and optimising generators of complex, encoded resource states by establishing links to ZX diagrams.


title: Milestoning estimators of dissipation in systems observed at a coarse resolution: When ignorance is truly bliss

abstract: Many non-equilibrium, active processes are observed at a coarse-grained level, where different microscopic configurations are projected onto the same observable state. Such "lumped" observables display memory, and in many cases the irreversible character of the underlying microscopic dynamics becomes blurred, e.g., when the projection hides dissipative cycles. As a result, the observations appear less irreversible, and it is very challenging to infer the degree of broken time-reversal symmetry. Here we show, contrary to intuition, that by ignoring parts of the already coarse-grained state space we may -- via a process called milestoning -- improve entropy-production estimates. Milestoning systematically renders observations "closer to underlying microscopic dynamics" and thereby improves thermodynamic inference from lumped data assuming a given range of memory. Moreover, whereas the correct general physical definition of time-reversal in the presence of memory remains unknown, we here show by means of systematic, physically relevant examples that at least for semi-Markov processes of first and second order, waiting-time contributions arising from adopting a naive Markovian definition of time-reversal generally must be discarded.


title: Silent White Light

abstract: We investigate the intra-waveguide statistics manipulation of broadband light by combining semiconductor quantum dot physics with quantum optics. By cooling a quantum dot superluminescent diode to liquid nitrogen temperature of $77K$, Blazek et al. [Phys. Rev. A 84, 63840 (2011)] have demonstrated a temperature-dependent reduction of the second-order intensity correlation coefficient from two for thermal amplified spontaneous emission light to $g^{(2)}(T=190 K)\approx 1.33$. Here, we model the broadband photon statistics assuming amplified spontaneous emission radiation in a pumped, saturable quantum dot gain medium. We demonstrate that, by an intensity increase due to the quantum dot occupation dynamics via the temperature-tuned quasi Fermi levels, together with the saturation nonlinearity, a statistics manipulation from thermal Bose-Einstein statistics towards Poissonian statistics can be realized, thus producing "silent white light". Such intensity-noise reduced broadband radiation is relevant for many applications like optical coherence tomography, optical communication or optical tweezers.


title: Scalable Semantic Non-Markovian Simulation Proxy for Reinforcement Learning

abstract: Recent advances in reinforcement learning (RL) have shown much promise across a variety of applications. However, issues such as scalability, explainability, and Markovian assumptions limit its applicability in certain domains. We observe that many of these shortcomings emanate from the simulator as opposed to the RL training algorithms themselves. As such, we propose a semantic proxy for simulation based on a temporal extension to annotated logic. In comparison with two high-fidelity simulators, we show up to three orders of magnitude speed-up while preserving the quality of policy learned. In addition, we show the ability to model and leverage non-Markovian dynamics and instantaneous actions while providing an explainable trace describing the outcomes of the agent actions.


title: A General Protocol to Probe Large Vision Models for 3D Physical Understanding

abstract: Our objective in this paper is to probe large vision models to determine to what extent they 'understand' different physical properties of the 3D scene depicted in an image. To this end, we make the following contributions: (i) We introduce a general and lightweight protocol to evaluate whether features of an off-the-shelf large vision model encode a number of physical 'properties' of the 3D scene, by training discriminative classifiers on the features for these properties. The probes are applied on datasets of real images with annotations for the property. (ii) We apply this protocol to properties covering scene geometry, scene material, support relations, lighting, and view-dependent measures, and large vision models including CLIP, DINOv1, DINOv2, VQGAN, Stable Diffusion. (iii) We find that features from Stable Diffusion and DINOv2 are good for discriminative learning of a number of properties, including scene geometry, support relations, shadows and depth, but less performant for occlusion and material, while outperforming DINOv1, CLIP and VQGAN for all properties. (iv) It is observed that different time steps of Stable Diffusion features, as well as different transformer layers of DINO/CLIP/VQGAN, are good at different properties, unlocking potential applications of 3D physical understanding.


title: Generating and Evaluating Tests for K-12 Students with Language Model Simulations: A Case Study on Sentence Reading Efficiency

abstract: Developing an educational test can be expensive and time-consuming, as each item must be written by experts and then evaluated by collecting hundreds of student responses. Moreover, many tests require multiple distinct sets of questions administered throughout the school year to closely monitor students' progress, known as parallel tests. In this study, we focus on tests of silent sentence reading efficiency, used to assess students' reading ability over time. To generate high-quality parallel tests, we propose to fine-tune large language models (LLMs) to simulate how previous students would have responded to unseen items. With these simulated responses, we can estimate each item's difficulty and ambiguity. We first use GPT-4 to generate new test items following a list of expert-developed rules and then apply a fine-tuned LLM to filter the items based on criteria from psychological measurements. We also propose an optimal-transport-inspired technique for generating parallel tests and show the generated tests closely correspond to the original test's difficulty and reliability based on crowdworker responses. Our evaluation of a generated test with 234 students from grades 2 to 8 produces test scores highly correlated (r=0.93) to those of a standard test form written by human experts and evaluated across thousands of K-12 students.


title: AutoAD II: The Sequel -- Who, When, and What in Movie Audio Description

abstract: Audio Description (AD) is the task of generating descriptions of visual content, at suitable time intervals, for the benefit of visually impaired audiences. For movies, this presents notable challenges -- AD must occur only during existing pauses in dialogue, should refer to characters by name, and ought to aid understanding of the storyline as a whole. To this end, we develop a new model for automatically generating movie AD, given CLIP visual features of the frames, the cast list, and the temporal locations of the speech; addressing all three of the 'who', 'when', and 'what' questions: (i) who -- we introduce a character bank consisting of the character's name, the actor that played the part, and a CLIP feature of their face, for the principal cast of each movie, and demonstrate how this can be used to improve naming in the generated AD; (ii) when -- we investigate several models for determining whether an AD should be generated for a time interval or not, based on the visual content of the interval and its neighbours; and (iii) what -- we implement a new vision-language model for this task, that can ingest the proposals from the character bank, whilst conditioning on the visual features using cross-attention, and demonstrate how this improves over previous architectures for AD text generation in an apples-to-apples comparison.


title: LongLLMLingua: Accelerating and Enhancing LLMs in Long Context Scenarios via Prompt Compression

abstract: In long context scenarios, large language models (LLMs) face three main challenges: higher computational/financial cost, longer latency, and inferior performance. Some studies reveal that the performance of LLMs depends on both the density and the position of the key information (question relevant) in the input prompt. Inspired by these findings, we propose LongLLMLingua for prompt compression towards improving LLMs' perception of the key information to simultaneously address the three challenges. We conduct evaluation on a wide range of long context scenarios including single-/multi-document QA, few-shot learning, summarization, synthetic tasks, and code completion. The experimental results show that LongLLMLingua compressed prompt can derive higher performance with much less cost. The latency of the end-to-end system is also reduced. For example, on NaturalQuestions benchmark, LongLLMLingua gains a performance boost of up to 17.1% over the original prompt with ~4x fewer tokens as input to GPT-3.5-Turbo. It can derive cost savings of \$28.5 and \$27.4 per 1,000 samples from the LongBench and ZeroScrolls benchmark, respectively. Additionally, when compressing prompts of ~10k tokens at a compression rate of 2x-10x, LongLLMLingua can speed up the end-to-end latency by 1.4x-3.8x. Our code is available at https://aka.ms/LLMLingua.


title: Hyperdimensional Computing as a Rescue for Efficient Privacy-Preserving Machine Learning-as-a-Service

abstract: Machine learning models are often provisioned as a cloud-based service where the clients send their data to the service provider to obtain the result. This setting is commonplace due to the high value of the models, but it requires the clients to forfeit the privacy that the query data may contain. Homomorphic encryption (HE) is a promising technique to address this adversity. With HE, the service provider can take encrypted data as a query and run the model without decrypting it. The result remains encrypted, and only the client can decrypt it. All these benefits come at the cost of computational cost because HE turns simple floating-point arithmetic into the computation between long (degree over 1024) polynomials. Previous work has proposed to tailor deep neural networks for efficient computation over encrypted data, but already high computational cost is again amplified by HE, hindering performance improvement. In this paper we show hyperdimensional computing can be a rescue for privacy-preserving machine learning over encrypted data. We find that the advantage of hyperdimensional computing in performance is amplified when working with HE. This observation led us to design HE-HDC, a machine-learning inference system that uses hyperdimensional computing with HE. We carefully structure the machine learning service so that the server will perform only the HE-friendly computation. Moreover, we adapt the computation and HE parameters to expedite computation while preserving accuracy and security. Our experimental result based on real measurements shows that HE-HDC outperforms existing systems by 26~3000 times with comparable classification accuracy.


title: Malware Classification using Deep Neural Networks: Performance Evaluation and Applications in Edge Devices

abstract: With the increasing extent of malware attacks in the present day along with the difficulty in detecting modern malware, it is necessary to evaluate the effectiveness and performance of Deep Neural Networks (DNNs) for malware classification. Multiple DNN architectures can be designed and trained to detect and classify malware binaries. Results demonstrate the potential of DNNs in accurately classifying malware with high accuracy rates observed across different malware types. Additionally, the feasibility of deploying these DNN models on edge devices to enable real-time classification, particularly in resource-constrained scenarios proves to be integral to large IoT systems. By optimizing model architectures and leveraging edge computing capabilities, the proposed methodologies achieve efficient performance even with limited resources. This study contributes to advancing malware detection techniques and emphasizes the significance of integrating cybersecurity measures for the early detection of malware and further preventing the adverse effects caused by such attacks. Optimal considerations regarding the distribution of security tasks to edge devices are addressed to ensure that the integrity and availability of large scale IoT systems are not compromised due to malware attacks, advocating for a more resilient and secure digital ecosystem.


title: Computational models of object motion detectors accelerated using FPGA technology

abstract: This PhD research introduces three key contributions in the domain of object motion detection: Multi-Hierarchical Spiking Neural Network (MHSNN): A specialized four-layer Spiking Neural Network (SNN) architecture inspired by vertebrate retinas. Trained on custom lab-generated images, it exhibited 6.75% detection error for horizontal and vertical movements. While non-scalable, MHSNN laid the foundation for further advancements. Hybrid Sensitive Motion Detector (HSMD): Enhancing Dynamic Background Subtraction (DBS) using a tailored three-layer SNN, stabilizing foreground data to enhance object motion detection. Evaluated on standard datasets, HSMD outperformed OpenCV-based methods, excelling in four categories across eight metrics. It maintained real-time processing (13.82-13.92 fps) on a high-performance computer but showed room for hardware optimisation. Neuromorphic Hybrid Sensitive Motion Detector (NeuroHSMD): Building upon HSMD, this adaptation implemented the SNN component on dedicated hardware (FPGA). OpenCL simplified FPGA design and enabled portability. NeuroHSMD demonstrated an 82% speedup over HSMD, achieving 28.06-28.71 fps on CDnet2012 and CDnet2014 datasets. These contributions collectively represent significant advancements in object motion detection, from a biologically inspired neural network design to an optimized hardware implementation that outperforms existing methods in accuracy and processing speed.


title: Investigation of variation in fluorescence intensity from rhodamine 6G Dye

abstract: Variation in fluorescence intensity from rhodamine 6G dye was investigated. A small volume of dye solution was optically excited with a 0.4 mW, 532nm wavelength cw-laser light. The dye was dissolved in methanol and glycerol for a concentration of 10mg/ml. With the optical excitation, initially the fluorescence intensity was observed to rise, and then it decayed, along with a steady shift of fluorescence peak from 562 nm to 543 nm. The observation of initial enhancement in fluorescence from start to 7 minutes of excitation, can partly be due to the low excitation power, therefore slower rate of change of fluorescence intensity with time. Simulation studies indicate that the photo bleaching was taking place from all the energy states of the dye molecules, which is an extension of the concept that the photo bleaching takes place at the excited triplet state whereas the fluorescence takes place due to transition between ground and excited singlet states. A steady shift in fluorescence peak position, from 562 nm to 543 nm, was observed during the fluorescence life of the dye, at a rate of 0.0113 nm/s during fluorescence enhancement and 0.026 nm/s during photo bleaching.


title: Exploiting Unfair Advantages: Investigating Opportunistic Trading in the NFT Market

abstract: As cryptocurrency evolved, new financial instruments, such as lending and borrowing protocols, currency exchanges, fungible and non-fungible tokens (NFT), staking and mining protocols have emerged. A financial ecosystem built on top of a blockchain is supposed to be fair and transparent for each participating actor. Yet, there are sophisticated actors who turn their domain knowledge and market inefficiencies to their strategic advantage; thus extracting value from trades not accessible to others. This situation is further exacerbated by the fact that blockchain-based markets and decentralized finance (DeFi) instruments are mostly unregulated. Though a large body of work has already studied the unfairness of different aspects of DeFi and cryptocurrency trading, the economic intricacies of non-fungible token (NFT) trades necessitate further analysis and academic scrutiny. The trading volume of NFTs has skyrocketed in recent years. A single NFT trade worth over a million US dollars, or marketplaces making billions in revenue is not uncommon nowadays. While previous research indicated the presence of wrongdoings in the NFT market, to our knowledge, we are the first to study predatory trading practices, what we call opportunistic trading, in depth. Opportunistic traders are sophisticated actors who employ automated, high-frequency NFT trading strategies, which, oftentimes, are malicious, deceptive, or, at the very least, unfair. Such attackers weaponize their advanced technical knowledge and superior understanding of DeFi protocols to disrupt trades of unsuspecting users, and collect profits from economic situations that are inaccessible to ordinary users, in a "supposedly" fair market. In this paper, we explore three such broad classes of opportunistic strategies aiming to realize three distinct trading objectives, viz., acquire, instant profit generation, and loss minimization.


title: RobustEdge: Low Power Adversarial Detection for Cloud-Edge Systems

abstract: In practical cloud-edge scenarios, where a resource constrained edge performs data acquisition and a cloud system (having sufficient resources) performs inference tasks with a deep neural network (DNN), adversarial robustness is critical for reliability and ubiquitous deployment. Adversarial detection is a prime adversarial defence technique used in prior literature. However, in prior detection works, the detector is attached to the classifier model and both detector and classifier work in tandem to perform adversarial detection that requires a high computational overhead which is not available at the low-power edge. Therefore, prior works can only perform adversarial detection at the cloud and not at the edge. This means that in case of adversarial attacks, the unfavourable adversarial samples must be communicated to the cloud which leads to energy wastage at the edge device. Therefore, a low-power edge-friendly adversarial detection method is required to improve the energy efficiency of the edge and robustness of the cloud-based classifier. To this end, RobustEdge proposes Quantization-enabled Energy Separation (QES) training with "early detection and exit" to perform edge-based low cost adversarial detection. The QES-trained detector implemented at the edge blocks adversarial data transmission to the classifier model, thereby improving adversarial robustness and energy-efficiency of the Cloud-Edge system.


title: Exploiting Language Models as a Source of Knowledge for Cognitive Agents

abstract: Large language models (LLMs) provide capabilities far beyond sentence completion, including question answering, summarization, and natural-language inference. While many of these capabilities have potential application to cognitive systems, our research is exploiting language models as a source of task knowledge for cognitive agents, that is, agents realized via a cognitive architecture. We identify challenges and opportunities for using language models as an external knowledge source for cognitive systems and possible ways to improve the effectiveness of knowledge extraction by integrating extraction with cognitive architecture capabilities, highlighting with examples from our recent work in this area.


title: Performance Analysis of Various EfficientNet Based U-Net++ Architecture for Automatic Building Extraction from High Resolution Satellite Images

abstract: Building extraction is an essential component of study in the science of remote sensing, and applications for building extraction heavily rely on semantic segmentation of high-resolution remote sensing imagery. Semantic information extraction gap constraints in the present deep learning based approaches, however can result in inadequate segmentation outcomes. To address this issue and extract buildings with high accuracy, various efficientNet backbone based U-Net++ has been proposed in this study. The designed network, based on U-Net, can improve the sensitivity of the model by deep supervision, voluminous redesigned skip-connections and hence reducing the influence of irrelevant feature areas in the background. Various effecientNet backbone based encoders have been employed when training the network to enhance the capacity of the model to extract more relevant feature. According on the experimental findings, the suggested model significantly outperforms previous cutting-edge approaches. Among the 5 efficientNet variation Unet++ based on efficientb4 achieved the best result by scoring mean accuracy of 92.23%, mean iou of 88.32%, and mean precision of 93.2% on publicly available Massachusetts building dataset and thus showing the promises of the model for automatic building extraction from high resolution satellite images.


title: DeepTriNet: A Tri-Level Attention Based DeepLabv3+ Architecture for Semantic Segmentation of Satellite Images

abstract: The segmentation of satellite images is crucial in remote sensing applications. Existing methods face challenges in recognizing small-scale objects in satellite images for semantic segmentation primarily due to ignoring the low-level characteristics of the underlying network and due to containing distinct amounts of information by different feature maps. Thus, in this research, a tri-level attention-based DeepLabv3+ architecture (DeepTriNet) is proposed for the semantic segmentation of satellite images. The proposed hybrid method combines squeeze-and-excitation networks (SENets) and tri-level attention units (TAUs) with the vanilla DeepLabv3+ architecture, where the TAUs are used to bridge the semantic feature gap among encoders output and the SENets used to put more weight on relevant features. The proposed DeepTriNet finds which features are the more relevant and more generalized way by its self-supervision rather we annotate them. The study showed that the proposed DeepTriNet performs better than many conventional techniques with an accuracy of 98% and 77%, IoU 80% and 58%, precision 88% and 68%, and recall of 79% and 55% on the 4-class Land-Cover.ai dataset and the 15-class GID-2 dataset respectively. The proposed method will greatly contribute to natural resource management and change detection in rural and urban regions through efficient and semantic satellite image segmentation


title: On modelling and stabilizability of current-controlled piezoelectric material

abstract: This paper presents a new modelling approach to fully dynamic electromagnetic current-controlled piezoelectric composite models that require a combined Lagrangian. To model the mechanical domains, we consider two different beam theories, i.e. the Euler-Bernoulli and Timoshenko beam theories. We show that both derived piezoelectric composite models are well-posed. Furthermore, we show through analysis and simulations that both current-controlled piezoelectric composites are asymptotically stabilizable through simple electric feedback, which renders the system passive in a classical way for certain system parameters. In this work, we also review several related piezoelectric beams, actuators, and composite models.


title: Study of variations of citation-based parameters for selected Indian science journals

abstract: The ratio of the total number of citations to the total number of cited papers was predicted as a constant by Garfield. But, later he observed the changing nature of this constant over time. Scientometricians thus preferred to call it Garfield Ratio rather than Garfield Constant. The Garfield Ratio is a very well-known citation-based parameter, which actually indicates the average citation per cited article. However, Garfield still pointed out that behind this ratio some deeper regularity may be found. In this paper, an analysis of this indicator, the Garfield Ratio is attempted for twelve distinguished Indian science journals over twelve years time span ranging from 2009 to 2020.


title: BodyFormer: Semantics-guided 3D Body Gesture Synthesis with Transformer

abstract: Automatic gesture synthesis from speech is a topic that has attracted researchers for applications in remote communication, video games and Metaverse. Learning the mapping between speech and 3D full-body gestures is difficult due to the stochastic nature of the problem and the lack of a rich cross-modal dataset that is needed for training. In this paper, we propose a novel transformer-based framework for automatic 3D body gesture synthesis from speech. To learn the stochastic nature of the body gesture during speech, we propose a variational transformer to effectively model a probabilistic distribution over gestures, which can produce diverse gestures during inference. Furthermore, we introduce a mode positional embedding layer to capture the different motion speeds in different speaking modes. To cope with the scarcity of data, we design an intra-modal pre-training scheme that can learn the complex mapping between the speech and the 3D gesture from a limited amount of data. Our system is trained with either the Trinity speech-gesture dataset or the Talking With Hands 16.2M dataset. The results show that our system can produce more realistic, appropriate, and diverse body gestures compared to existing state-of-the-art approaches.


title: DeepCrysTet: A Deep Learning Approach Using Tetrahedral Mesh for Predicting Properties of Crystalline Materials

abstract: Machine learning (ML) is becoming increasingly popular for predicting material properties to accelerate materials discovery. Because material properties are strongly affected by its crystal structure, a key issue is converting the crystal structure into the features for input to the ML model. Currently, the most common method is to convert the crystal structure into a graph and predicting its properties using a graph neural network (GNN). Some GNN models, such as crystal graph convolutional neural network (CGCNN) and atomistic line graph neural network (ALIGNN), have achieved highly accurate predictions of material properties. Despite these successes, using a graph to represent a crystal structure has the notable limitation of losing the crystal structure's three-dimensional (3D) information. In this work, we propose DeepCrysTet, a novel deep learning approach for predicting material properties, which uses crystal structures represented as a 3D tetrahedral mesh generated by Delaunay tetrahedralization. DeepCrysTet provides a useful framework that includes a 3D mesh generation method, mesh-based feature design, and neural network design. The experimental results using the Materials Project dataset show that DeepCrysTet significantly outperforms existing GNN models in classifying crystal structures and achieves state-of-the-art performance in predicting elastic properties.


title: Detecting Causality with Symplectic Quandles

abstract: We investigate the capability of Symplectic quandles to detect causality for (2+1)-dimensional globally hyperbolic spacetimes (X). Allen and Swenberg showed that Alexander-Conway polynomial is insufficient to distinguish connected sum of two Hopf links from the links in the family of Allen-Swenberg 2-sky like links, suggesting that it can not always detect causality in X. We find that symplectic quandles, combined with Alexander-Conway polynomial, can distinguish these two type of links, thereby suggesting their ability to detect causality in X. The fact that symplectic quandles can capture causality in the Allen-Swenberg example is intriguing since the theorem of Chernov and Nemirovski, which states that Legendrian linking equals causality, is proved using Contact Geometry methods.


title: Learning with Noisy Labels for Human Fall Events Classification: Joint Cooperative Training with Trinity Networks

abstract: With the increasing ageing population, fall events classification has drawn much research attention. In the development of deep learning, the quality of data labels is crucial. Most of the datasets are labelled automatically or semi-automatically, and the samples may be mislabeled, which constrains the performance of Deep Neural Networks (DNNs). Recent research on noisy label learning confirms that neural networks first focus on the clean and simple instances and then follow the noisy and hard instances in the training stage. To address the learning with noisy label problem and protect the human subjects' privacy, we propose a simple but effective approach named Joint Cooperative training with Trinity Networks (JoCoT). To mitigate the privacy issue, human skeleton data are used. The robustness and performance of the noisy label learning framework is improved by using the two teacher modules and one student module in the proposed JoCoT. To mitigate the incorrect selections, the predictions from the teacher modules are applied with the consensus-based method to guide the student module training. The performance evaluation on the widely used UP-Fall dataset and comparison with the state-of-the-art, confirms the effectiveness of the proposed JoCoT in high noise rates. Precisely, JoCoT outperforms the state-of-the-art by 5.17% and 3.35% with the averaged pairflip and symmetric noises, respectively.


title: Genetic Algorithm-Based Dynamic Backdoor Attack on Federated Learning-Based Network Traffic Classification

abstract: Federated learning enables multiple clients to collaboratively contribute to the learning of a global model orchestrated by a central server. This learning scheme promotes clients' data privacy and requires reduced communication overheads. In an application like network traffic classification, this helps hide the network vulnerabilities and weakness points. However, federated learning is susceptible to backdoor attacks, in which adversaries inject manipulated model updates into the global model. These updates inject a salient functionality in the global model that can be launched with specific input patterns. Nonetheless, the vulnerability of network traffic classification models based on federated learning to these attacks remains unexplored. In this paper, we propose GABAttack, a novel genetic algorithm-based backdoor attack against federated learning for network traffic classification. GABAttack utilizes a genetic algorithm to optimize the values and locations of backdoor trigger patterns, ensuring a better fit with the input and the model. This input-tailored dynamic attack is promising for improved attack evasiveness while being effective. Extensive experiments conducted over real-world network datasets validate the success of the proposed GABAttack in various situations while maintaining almost invisible activity. This research serves as an alarming call for network security experts and practitioners to develop robust defense measures against such attacks.


title: Brave new world: Artificial Intelligence in teaching and learning

abstract: We exemplify how Large Language Models are used in both teaching and learning. We also discuss the AI incidents that have already occurred in the education domain, and we argue for the urgent need to introduce AI policies in universities and for the ongoing strategies to regulate AI. Regarding policy for AI, our view is that each institution should have a policy for AI in teaching and learning. This is important from at least twofolds: (i) to raise awareness on the numerous educational tools that can both positively and negatively affect education; (ii) to minimise the risk of AI incidents in education.


title: Deep Learning-Based Real-Time Rate Control for Live Streaming on Wireless Networks

abstract: Providing wireless users with high-quality video content has become increasingly important. However, ensuring consistent video quality poses challenges due to variable encoded bitrate caused by dynamic video content and fluctuating channel bitrate caused by wireless fading effects. Suboptimal selection of encoder parameters can lead to video quality loss due to underutilized bandwidth or the introduction of video artifacts due to packet loss. To address this, a real-time deep learning based H.264 controller is proposed. This controller leverages instantaneous channel quality data driven from the physical layer, along with the video chunk, to dynamically estimate the optimal encoder parameters with a negligible delay in real-time. The objective is to maintain an encoded video bitrate slightly below the available channel bitrate. Experimental results, conducted on both QCIF dataset and a diverse selection of random videos from public datasets, validate the effectiveness of the approach. Remarkably, improvements of 10-20 dB in PSNR with repect to the state-of-the-art adaptive bitrate video streaming is achieved, with an average packet drop rate as low as 0.002.

categories: cs.NI cs.IT cs.LG cs.SY eess.SP eess.SY math.IT


title: Design of JiuTian Intelligent Network Simulation Platform

abstract: This paper introduced the JiuTian Intelligent Network Simulation Platform, which can provide wireless communication simulation data services for the Open Innovation Platform. The platform contains a series of scalable simulator functionalities, offering open services that enable users to use reinforcement learning algorithms for model training and inference based on simulation environments and data. Additionally, it allows users to address optimization tasks in different scenarios by uploading and updating parameter configurations. The platform and its open services were primarily introduced from the perspectives of background, overall architecture, simulator, business scenarios, and future directions.


title: Proposition of FSR Photon Suppression Employing a Two-Positron Decay Dark Matter Model to Explain Positron Anomaly in Cosmic Rays

abstract: The origin of an anomalous excess of high-energy (about 100 GeV and higher) positrons in cosmic rays is one of the rare problems in this field, which is proposed to be solved with dark matter (DM). Attempts to solve this problem are faced with the issue of having to satisfy the data on cosmic positrons and cosmic gamma radiation, which inevitably accompanies positron production, such as FSR (final state radiation), simultaneously. We have been trying to come up with a solution by means of two approaches: making assumptions (*) about the spatial distribution of the dark matter and (**) about the physics of its interactions. This work is some small final step of a big investigation regarding the search for gamma suppression by employing the second approach, and a model with a doubly charged particle decaying into two positrons (X++ $\rightarrow$ e+ e+) is suggested as the most prospective one from those considered before.


title: Asymptote-based scientific animation

abstract: This article discusses a universal way to create animation using Asymptote the language for vector graphics. The Asymptote language itself has a built-in library for creating animations, but its practical use is complicated by an extremely brief description in the official documentation and unstable execution of existing examples. The purpose of this article is to eliminate this gap. The method we describe is based on creating a PDF file with frames using Asymptote, with further converting it into a set of PNG images and merging them into a video using FFmpeg. All stages are described in detail, which allows the reader to use the described method without being familiar with the used utilities.


title: Galaxy rotation curves in superfluid vacuum theory

abstract: Logarithmic superfluid theory of physical vacuum suggests that gravity has a multiple-scale structure; where one can recognize sub-Newtonian, Newtonian, logarithmic, linear and quadratic (de Sitter) terms in the induced spacetime metric and effective potential. To test the theory's predictions on a galactic scale, we apply best-fitting procedures to the rotation curve data obtained from fifteen galaxies by the HI Nearby Galaxy Survey; assuming their stellar disk's parameters to be fixed to the mean values measured using photometric methods. Although the fitting results seem to be sensitive to a stellar disk model chosen, they correspond closely with observational data, even for those galaxies which rotation velocity profiles do not have flat regions.


title: Imaginary Cities of the Diophantine equation $X^3+Y^3+Z^3=K$

abstract: The purpose of this article is to make a graph representation of the Diophantine equation $X^3+Y^3+X^3=K$ using the theory of "imaginary cities" for its construction and to determine the modular combinations on its edges with the De Bruijn cycles.


title: Darboux problem for Caputo-Katugampola fuzzy fractional order differential equations

abstract: In this paper, we investigate existence and uniqueness of solutions for Darboux type problem for fuzzy fractional order differential equation. We used Caputo-Katogampola fuzzy fractional derivative for proving our results. Schauder's fixed point theorem is used in proving our results. some applications are also provided to give the usefulness of our results.


title: Hermite, Higher order Hermite, Laguerre type polynomials and Burgers like equations

abstract: The multivariable version of ordinary and generalized Hermite polynomials are the natural solutions of the classical heat equation and of its higher order versions. We derive the associated Burgers equations and show that analogous non-linear partial differential equations can be derived for Laguerre polynomials and for the relevant generalizations.


title: Neural Network Analysis of S-Star Dynamics: Implications for Modified Gravity

abstract: We studied the dynamics of S-stars in the Galactic center using the physics-informed neural networks. The neural networks are considered for both, Keplerian and the General Relativity dynamics, the orbital parameters for stars S1, S2, S9, S13, S31, and S54 are obtained and the regression problem is solved. It is shown that the neural network is able to detect the Schwarzschild precession for S2 star, while the regressed part revealed an additional precession. Attributing the latter to a possible contribution of a modified gravity, we obtain a constraint for the weak-field modified General Relativity involving the cosmological constant which also deals with the Hubble tension. Our analysis shows the efficiency of neural networks in revealing the S-star dynamics and the prospects upon the increase of the amount and the accuracy of the observational data.


title: Manipulating Vortices with Domain Walls in Superconductor-Ferromagnet Heterostructures

abstract: Vortices are point-like topological defects in superconductors whose motion dictates superconducting properties and controls device performance. In superconductor-ferromagnet heterostructures, vortices interact with topological defects in the ferromagnet such as line-like domain walls. While in previous heterostructure generations, vortex-domain wall interactions were mediated by stray fields; in new heterostructure families, more important become exchange fields and spin-orbit coupling. However, spin-orbit coupling's role in vortex-domain wall interactions remains unexplored. Here we uncover, via numerical simulations and Ginzburg-Landau theory, that Rashba spin-orbit coupling induces magnetoelectric interactions between vortices and domain walls that crucially depend on the wall's winding direction$-$its helicity. The wall's helicity controls whether vortices are pushed or dragged by N\'eel walls, and their gliding direction along Bloch walls. Our work capitalizes on interactions between topological defects from different order parameters and of different dimensionality to engineer enhanced functionality.


title: Application of the Most Frequent Value Method for $^{39}$Ar Half-Life Determination

abstract: An evaluation method supported by robust statistical analysis was used to analyze historical measurements of $^{39}$Ar half-life. The method, which combines the most frequent value (MFV) approach with bootstrap analysis, provides a more reliable way to estimate the half-life of $^{39}$Ar. The results show that the half-life is T1/2(MFV) = 268.2 + (3.1) - (2.9) years, with an uncertainty corresponding to the 68% confidence level. This uncertainty is three times smaller than the most precise re-calculated measurements by Stoenner et al. (1965) and 2.7 times smaller than the adopted half-life value in nuclear data sheets. Recently, the specific activity of the beta decay of $^{39}$Ar in atmospheric argon was measured in various underground facilities. Applying the MFV method to these measurements gives a specific activity of SA($^{39}$Ar/Ar)(MFV) = 0.966 + (0.010) - (0.018) Bq/kg(atmAr), with an uncertainty corresponding to the 68% confidence level. This paper also discusses the method used to determine the half-life of $^{39}$Ar using the specific activity of $^{39}$Ar in atmospheric argon.

categories: physics.geo-ph astro-ph.IM nucl-ex physics.ao-ph


title: A Quantitative Hasse Principle for Weighted Quartic Forms

abstract: We derive, via the Hardy-Littlewood method, an asymptotic formula for the number of integral zeros of a particular class of weighted quartic forms under the assumption of non-singular local solubility. Our polynomials $F({\mathbf x},{\mathbf y}) \in \mathbb{Z}[x_1,\ldots,x_{s_1},y_1,\ldots,y_{s_2}]$ satisfy the condition that $F(\lambda^2 {\mathbf x}, \lambda {\mathbf y}) = \lambda^4 F({\mathbf x},{\mathbf y})$. Our conclusions improve on those that would follow from a direct application of the methods of Birch. For example, we show that in many circumstances the expected asymptotic formula holds when $s_1 \ge 2$ and $2s_1 + s_2 > 8$.


title: Flux trapping in hydrides not yet confirmed

abstract: In Ref. [1], Minkov et al reported the time dependence of magnetic moment of hydride materials under high pressure in a diamond anvil cell. Here we point out that the straight lines interpolated with the measurement results give the misleading impression that thermal flux creep in superconductors decays linearly with time. To dispel this misconception, we correctly interpolated logarithmic decay curves. Then, it has become apparent that there is no reason to assume that the measured magnetic moment originates from flux trapping, i.e., there is no reason to believe that persistent currents are circulating in hydride materials under high pressure and that they are superconductors.


title: Does the Mott problem extend to Geiger counters?

abstract: The Mott problem is a simpler version of the quantum measurement problem that asks: Is there a microscopic physical mechanism - based (explicitly or implicitly) only on Schroedinger's equation - that explains why a single alpha particle emitted in a spherically symmetric s-wave nuclear decay produces a manifestly non-spherically-symmetric single track in a cloud chamber? I attempt here to generalize earlier work that formulated such a mechanism. The key ingredient there was identification of sites at which the cross section for ionization by a passing charged particle is near singular at ionization threshold. This near singularity arose from a Penning-like process involving molecular polarization in sub-critical vapor clusters. Here, I argue that the same Mott problem question should be asked about Geiger counters. I then define a simple experiment to determine if ionization physics similar to the cloud chamber case takes place in the mica window of a Geiger counter and explains the collimation of wavefunctions that are spherically symmetric outside the counter into linear tracks inside. The experiment measures the count rate from a radioactive point source as a function of source-window separation. I have performed a proof of concept of this experiment; results are reported here and support the near-singular-ionization picture. These results are significant in their own right, but also because they may shed light on physical mechanisms underlying the full quantum measurement problem. I illustrate this for the Stern-Gerlach experiment and a particular realization of superconducting qubits. I conclude by detailing further work required to flesh out these results more rigorously.


title: Some ideas about graphic representations of discrete fuzzy measures

abstract: Graphs serve as efficient tools for visualizing mathematical concepts and their interrelationships. In this paper, focusing on the discrete case with universal set with finite elements, we first introduce the rules and characteristics of graph representation of fuzzy measure and discuss graphic properties of fuzzy measure's duality, symmetry, nonadditivity and nonmodularity. Then we show the graphic presentations of some special families of fuzzy measures, such as the k-additive measure, the k-maxitive and minitive measure, k-order representative measure, k-order interactive measure and the p-symmetric fuzzy measure, as well as of three nonlinear integrals, i.e., the Choquet integral, the Sugeno integral and the pan integral. Finally, we provide visualizations for the fuzzy measure fitting procedure and tools for comparing fuzzy measures.


title: On sparse regression, Lp-regularization, and automated model discovery

abstract: Sparse regression and feature extraction are the cornerstones of knowledge discovery from massive data. Their goal is to discover interpretable and predictive models that provide simple relationships among scientific variables. While the statistical tools for model discovery are well established in the context of linear regression, their generalization to nonlinear regression in material modeling is highly problem-specific and insufficiently understood. Here we explore the potential of neural networks for automatic model discovery and induce sparsity by a hybrid approach that combines two strategies: regularization and physical constraints. We integrate the concept of Lp regularization for subset selection with constitutive neural networks that leverage our domain knowledge in kinematics and thermodynamics. We train our networks with both, synthetic and real data, and perform several thousand discovery runs to infer common guidelines and trends: L2 regularization or ridge regression is unsuitable for model discovery; L1 regularization or lasso promotes sparsity, but induces strong bias; only L0 regularization allows us to transparently fine-tune the trade-off between interpretability and predictability, simplicity and accuracy, and bias and variance. With these insights, we demonstrate that Lp regularized constitutive neural networks can simultaneously discover both, interpretable models and physically meaningful parameters. We anticipate that our findings will generalize to alternative discovery techniques such as sparse and symbolic regression, and to other domains such as biology, chemistry, or medicine. Our ability to automatically discover material models from data could have tremendous applications in generative material design and open new opportunities to manipulate matter, alter properties of existing materials, and discover new materials with user-defined properties.


title: A review of uncertainty quantification in medical image analysis: probabilistic and non-probabilistic methods

abstract: The comprehensive integration of machine learning healthcare models within clinical practice remains suboptimal, notwithstanding the proliferation of high-performing solutions reported in the literature. A predominant factor hindering widespread adoption pertains to an insufficiency of evidence affirming the reliability of the aforementioned models. Recently, uncertainty quantification methods have been proposed as a potential solution to quantify the reliability of machine learning models and thus increase the interpretability and acceptability of the result. In this review, we offer a comprehensive overview of prevailing methods proposed to quantify uncertainty inherent in machine learning models developed for various medical image tasks. Contrary to earlier reviews that exclusively focused on probabilistic methods, this review also explores non-probabilistic approaches, thereby furnishing a more holistic survey of research pertaining to uncertainty quantification for machine learning models. Analysis of medical images with the summary and discussion on medical applications and the corresponding uncertainty evaluation protocols are presented, which focus on the specific challenges of uncertainty in medical image analysis. We also highlight some potential future research work at the end. Generally, this review aims to allow researchers from both clinical and technical backgrounds to gain a quick and yet in-depth understanding of the research in uncertainty quantification for medical image analysis machine learning models.


title: Extended Reality via Cooperative NOMA in Hybrid Cloud/Mobile-Edge Computing Networks

abstract: Extended reality (XR) applications often perform resource-intensive tasks, which are computed remotely, a process that prioritizes the latency criticality aspect. To this end, this paper shows that through leveraging the power of the central cloud (CC), the close proximity of edge computers (ECs), and the flexibility of uncrewed aerial vehicles (UAVs), a UAV-aided hybrid cloud/mobile-edge computing architecture promises to handle the intricate requirements of future XR applications. In this context, this paper distinguishes between two types of XR devices, namely, strong and weak devices. The paper then introduces a cooperative non-orthogonal multiple access (Co-NOMA) scheme, pairing strong and weak devices, so as to aid the XR devices quality-of-user experience by intelligently selecting either the direct or the relay links toward the weak XR devices. A sum logarithmic-rate maximization problem is, thus, formulated so as to jointly determine the computation and communication resources, and link-selection strategy as a means to strike a trade-off between the system throughput and fairness. Subject to realistic network constraints, e.g., power consumption and delay, the optimization problem is then solved iteratively via discrete relaxations, successive-convex approximation, and fractional programming, an approach which can be implemented in a distributed fashion across the network. Simulation results validate the proposed algorithms performance in terms of log-rate maximization, delay-sensitivity, scalability, and runtime performance. The practical distributed Co-NOMA implementation is particularly shown to offer appreciable benefits over traditional multiple access and NOMA methods, highlighting its applicability in decentralized XR systems.


title: Compatibility of Maxwell's fluid equations with interactions between oscillating bubbles

abstract: The outcome of this paper was a shape of the interaction of two oscillating bubbles. This was done to express the secondary Bjerknes force using the Maxwell equations for a liquid. These subsequent equations were written for the quantities velocity, pressure, and density as deviations from steady state. Also, as it will show in the following rows, we found the expressions of the acoustic charge and of the acoustic intensity. Our results may facilitate the adoption of an approach for the interaction of two vortices and for the entrapment of a bubble by a vortex. This approach leads to a model for an acoustic charged particle which has internal angular momentum.


title: P-v criticality of charged Reissner-Nordstr{\"o}m-de Sitter black hole under the influence of Lorentz violation theory

abstract: In this paper, the modified Hawking radiation and the P-v criticality of Reissner-Nordstr{\"o}m-de Sitter (RNdS) black hole are investigated by using Dirac equation with Lorentz violation theory in curved space time. Taking cosmological constant as the thermodynamic pressure and its conjugate quantity as thermodynamic volume, the analogy between the RNdS black hole in the ensemble with fixed charge and van der Waals liquid-gas system is derived. We also study the equation of state, critical exponents, critical point, heat capacity, entropy correction, Gibbs free energy. It is worth mentioning that the critical temperature, entropy, Gibbs free energy and Helmholtz free energy are modified but the critical exponents are found to be unchanged due to the influence of Lorentz violation theory. We observe that the number of Hawking-Page critical point increases due to Lorentz violation theory.


title: Impact of $f(\Re,\mathcal{T}^{2})$ Theory on Stable Finch-Skea Gravastar Model

abstract: This paper examines the structure of a gravitationally vacuum star (also known as gravastar) in the background of ${f}(\Re,\mathcal{T}^{2})$ theory. This hypothetical object can be treated as a substitute of a black hole, with three regions: (i) the internal region, (ii) the intrinsic shell and (iii) the outer region. We examine these geometries using Finch-Skea metric for radial metric component along with particular $f(\Re,\mathcal{T}^{2})$ model. We determine singularity-free solution for both the inner as well as thin-shell domains. The smooth matching of the interior region with external Schwarzschild spacetime is obtained through Israel matching constraints. Finally, we study various characteristics of gravastar domains including equation of state parameter, proper length, entropy, energy as well as surface redshift. It is found that the compact gravastar structure is a viable alternate to the black hole in the perspective of this gravity.


title: Realization of the all-optical phase modulator, filter, splitter, and self-consistent logic gates based on assembled magneto-optical heterostructures

abstract: All-optical computing has recently emerged as a vibrant research field in response to the energy crisis and the growing demand for information processing. However, the efficiency of subwavelength-scale all-optical devices remains relatively low due to challenges such as back-scattering reflections and strict surface roughness. Furthermore, achieving multifunctionality through the reassembly of all-optical structures has thus far been rarely accomplished. One promising approach to address these issues is the utilization of one-way edge modes. In this study, we propose four types of deep-subwavelength ($\sim 10^{-2} \lambda_0$, where $\lambda_0$ is the wavelength in vacuum) all-optical functional devices: a phase modulator, a filter, a splitter, and logic gates. These devices are based on robust one-way modes but do not require an external magnetic field, which can allow for flexible assembly. In particular, we investigate a phase modulation range spanning from $-\pi$ to $\pi$, a perfect filter that divides the input port's one-way region into two output one-way regions with equal bandwidth, a multi-frequency splitter with an equal splitting ratio (e.g., 50/50), and self-consistent logic gates. We validate these theoretical findings through comprehensive full-wave numerical simulations. Our findings may find applications in minimal optical calculations and integrated optical circuits.


title: The Solution for the CVPR2023 NICE Image Captioning Challenge

abstract: In this paper, we present our solution to the New frontiers for Zero-shot Image Captioning Challenge. Different from the traditional image captioning datasets, this challenge includes a larger new variety of visual concepts from many domains (such as COVID-19) as well as various image types (photographs, illustrations, graphics). For the data level, we collect external training data from Laion-5B, a large-scale CLIP-filtered image-text dataset. For the model level, we use OFA, a large-scale visual-language pre-training model based on handcrafted templates, to perform the image captioning task. In addition, we introduce contrastive learning to align image-text pairs to learn new visual concepts in the pre-training stage. Then, we propose a similarity-bucket strategy and incorporate this strategy into the template to force the model to generate higher quality and more matching captions. Finally, by retrieval-augmented strategy, we construct a content-rich template, containing the most relevant top-k captions from other image-text pairs, to guide the model in generating semantic-rich captions. Our method ranks first on the leaderboard, achieving 105.17 and 325.72 Cider-Score in the validation and test phase, respectively.


title: Fate of nitrogen in French human excreta: current waste and agronomic opportunities for the future

abstract: Nitrogen (N) is essential for plant growth and protein synthesis but global reactive N losses, mainly from food systems, induce strong environmental impacts.N losses after human excretion are often overlooked because, in Western societies, they partly occur as inert N2, following denitrification in wastewater treatment plants (WWTP), and losses in waters are often small compared to diffuse agricultural emissions.Yet N from human excretions could be used for crop fertilization, potentially with very high recycling rates via source separation.In this study we use unique operational data from the ~20,000 French WWTPs to produce a N mass-balance of excretions in the French sanitation system.Even though 75% of WWTPs' sludge is spread on crops, only 10% of the excreted N is recycled and 50% of N is lost to the atmosphere, mainly through WWTP nitrification-denitrification.The remaining 40% ends up in water or in diffuse losses in the ground, of which about half is lost outside of the WWTPs' discharge system, through sewers storm water and individual autonomous systems.While WWTPs removal efficiency increased in the 2000s, it has been followed by a decade of stagnation, reaching 70% at the national level.This national average hides regional discrepancies, from 60 to 85% in the 6 French water agencies basins.These differences closely correlate with the classification as ''N sensitive areas'' and is mainly due to large WWTPs which handle most of the N load.Recycling all N in excretions could supply 10% of domestic protein consumption in the current French food system, and up to 30% if it is prioritized towards crop production for human consumption.Redesigning the food system (decrease of nutrient losses, more plant-based diets) could further increase this contribution


title: CAFA-evaluator: A Python Tool for Benchmarking Ontological Classification Methods

abstract: We present CAFA-evaluator, a powerful Python program designed to evaluate the performance of prediction methods on targets with hierarchical concept dependencies. It generalizes multi-label evaluation to modern ontologies where the prediction targets are drawn from a directed acyclic graph and achieves high efficiency by leveraging matrix computation and topological sorting. The program requirements include a small number of standard Python libraries, making CAFA-evaluator easy to maintain. The code replicates the Critical Assessment of protein Function Annotation (CAFA) benchmarking, which evaluates predictions of the consistent subgraphs in Gene Ontology. Owing to its reliability and accuracy, the organizers have selected CAFA-evaluator as the official CAFA evaluation software.


title: Understanding the Formation of Galaxies with Warm Dark Matter

abstract: The formation of galaxies with warm dark matter is approximately adiabatic. The cold dark matter limit is singular and requires relaxation. In these lecture notes we develop, step-by-step, the physics of galaxies with warm dark matter, and their formation. The theory is validated with observed spiral galaxy rotation curves. These observations constrain the properties of the dark matter particles.


title: Many-Body Dissipative Particle Dynamics with the MARTINI "Lego" approach

abstract: MARTINI is a popular coarse-grained force-field that is mainly used in molecular dynamics (MD) simulations. It is based on the ``Lego'' approach where intermolecular interactions between coarse-grained beads representing chemical units of different polarity are obtained through water--octanol partition coefficients. This enables the simulation of a wide range of molecules by only using a finite number of parametrized coarse-grained beads, similar to the Lego game, where a finite number of bricks are used to create larger structures. Moreover, the MARTINI force-field is based on the Lennard-Jones potential with the shortest possible cutoff including attractions, thus rendering it very efficient for MD simulations. However, MD simulation is in general a computationally expensive method. Here, we demonstrate that using the MARTINI ``Lego'' approach is suitable for many-body dissipative particle (MDPD) dynamics, a method that can simulate multi-component and multi-phase soft matter systems in a much faster time (about 4--7 times) than MD. In this study, a DPPC lipid bilayer is chosen to provide evidence for the validity of this approach and various properties are compared to highlight the potential of the method. Thus, we anticipate that our study opens new possibilities for faster simulations of a wide range of soft matter systems by using the MDPD method.


title: Plasma line detected by Voyager 1 in the interstellar medium: Tips and traps for quasi-thermal noise spectroscopy

abstract: The quasi-thermal motion of plasma particles produces electrostatic fluctuations, whose voltage power spectrum induced on electric antennas reveals plasma properties. In weakly magnetised plasmas, the main feature of the spectrum is a line at the plasma frequency -- proportional to the square root of the electron density -- whose global shape can reveal the electron temperature, while the fine structure reveals the suprathermal electrons. Since it is based on electrostatic waves, quasi-thermal noise spectroscopy (QTN) provides in situ measurements. This method has been successfully used for more than four decades in a large variety of heliosphere environments. Very recently, it has been tentatively applied in the very local interstellar medium (VLISM) to interpret the weak line discovered on board Voyager 1 and in the context of the proposed interstellar probe mission. The present paper shows that the line is still observed in the Voyager Plasma Wave Science data, and concentrates on the main features that distinguish the plasma QTN in the VLISM from that in the heliosphere. We give several tools to interpret it in this medium and highlight the errors arising when it is interpreted without caution, as has recently been done in several publications. We show recent solar wind data, which confirm that the electric field of the QTN line in a weakly magnetised stable plasma is not aligned with the local magnetic field. We explain why the amplitude of the line does not depend on the concentration of suprathermal electrons, and why its observation with a short antenna does not require a kappa electron velocity distribution. Finally, we suggest an origin for the suprathermal electrons producing the QTN and we summarise the properties of the VLISM that could be deduced from an appropriate implementation of QTN spectroscopy on a suitably designed instrument.