title: Building Random, Fair, and Verifiable Games on Blockchain. Raffle smart contract designs on Sui Network

abstract: Randomness plays a pivotal role in modern online gaming, but disputes have arisen over the accuracy of stated winning chances, resulting in legal issues and financial setbacks for gaming companies. Fortunately, blockchain-based games offer a solution to the transparency and fairness issue regarding randomness. Furthermore, emerging blockchain technology like Sui Network enhances the efficiency of smart contracts by eliminating traditional web3 barriers, such as inefficiencies and expensive transaction fees. This unlocks the potential for extensive decentralized gaming applications. This paper aims to provide insights into designing a fair, verifiable, and efficient smart contract game on blockchain by the example of building raffles on the Sui Network. We explore efficient methods for implementing randomness on smart contracts, including DRAND committee-based decentralized random beacons and single private-key-based verifiable random functions (VRF). Then, progress from basic to comprehensive smart contract design. We addressed limitations in developing blockchain games in general, such as data input and storage space constraints. We propose corresponding solutions, encompassing the utilization of Object Tables, Delegate Object Creation, and Zero-Knowledge Proofs (ZKP) to optimize storage and input efficiency. After testing our designs, we found that the transaction fees for DRAND beacons and private-key-based VRFs are similar. Moreover, Object Tables incur higher overall transaction fees, while the ZKP setup fee is cheap but becomes very expensive during the verification process. Moreover, we identified suitable designs for different application scenarios by comparing the pros and cons of different smart contract implementations. Our findings provide valuable guidance for future researchers and developers in building random, fair, and verifiable games with smart contracts.


title: Towards Understanding and Characterizing the Arbitrage Bot Scam In the Wild

abstract: This paper presents the first comprehensive analysis of an emerging cryptocurrency scam named "arbitrage bot" disseminated on online social networks. The scam revolves around Decentralized Exchanges (DEX) arbitrage and aims to lure victims into executing a so-called "bot contract" to steal funds from them. To collect the scam at a large scale, we developed a fully automated scam detection system named CryptoScamHunter, which continuously collects YouTube videos and automatically detects scams. Meanwhile, CryptoScamHunter can download the source code of the bot contract from the provided links and extract the associated scam cryptocurrency address. Through deploying CryptoScamHunter from Jun. 2022 to Jun. 2023, we have detected 10,442 arbitrage bot scam videos published from thousands of YouTube accounts. Our analysis reveals that different strategies have been utilized in spreading the scam, including crafting popular accounts, registering spam accounts, and using obfuscation tricks to hide the real scam address in the bot contracts. Moreover, from the scam videos we have collected over 800 malicious bot contracts with source code and extracted 354 scam addresses. By further expanding the scam addresses with a similar contract matching technique, we have obtained a total of 1,697 scam addresses. Through tracing the transactions of all scam addresses on the Ethereum mainnet and Binance Smart Chain, we reveal that over 25,000 victims have fallen prey to this scam, resulting in a financial loss of up to 15 million USD. Overall, our work sheds light on the dissemination tactics and censorship evasion strategies adopted in the arbitrage bot scam, as well as on the scale and impact of such a scam on online social networks and blockchain platforms, emphasizing the urgent need for effective detection and prevention mechanisms against such fraudulent activity.


title: Representations of compact simple Lie groups whose orbit space has non-empty boundary

abstract: We provide detailed calculations for the classification of representations of compact simple Lie groups with non-empty boundary in the orbit space, first announced in a previous paper [arXiv:2112.00513] by the same authors.


title: Twisted bilayer graphene revisited: minimal two-band model for low-energy bands

abstract: An accurate description of the low-energy electronic bands in twisted bilayer graphene (tBLG) is of great interest due to their relation to correlated electron phases, such as superconductivity and Mott-insulator behavior at half-filling. The paradigmatic model of Bistritzer and MacDonald [PNAS 108, 12233 (2011)], based on the moir\'e pattern formed by tBLG, predicts the existence of "magic angles" at which the Fermi velocity of the low-energy bands goes to zero, and the bands themselves become dispersionless. Here, we reexamine the low-energy bands of tBLG from the ab initio electronic structure perspective, motivated by features related to the atomic relaxation in the moir\'e pattern, namely circular regions of AA stacking, triangular regions of AB/BA stacking and domain walls separating the latter. We find that the bands are never perfectly flat and the Fermi velocity never vanishes, but rather a "magic range" exists where the lower band becomes extremely flat and the Fermi velocity attains a non-zero minimum value. We propose a simple $(2+2)$-band model, comprised of two different pairs of orbitals, both on a honeycomb lattice: the first pair represents the low-energy bands with high localization at the AA sites, while the second pair represents highly dispersive bands associated with domain-wall states. This model gives an accurate description of the low-energy bands with few (13) parameters which are physically motivated and vary smoothly in the magic range. In addition, we derive an effective two-band hamiltonian which also gives an accurate description of the low-energy bands. This minimal two-band model affords a connection to a Hubbard-like description of the occupancy of sub-bands and can be used a basis for exploring correlated states.


title: A Unifying Framework for Learning Argumentation Semantics

abstract: Argumentation is a very active research field of Artificial Intelligence concerned with the representation and evaluation of arguments used in dialogues between humans and/or artificial agents. Acceptability semantics of formal argumentation systems define the criteria for the acceptance or rejection of arguments. Several software systems, known as argumentation solvers, have been developed to compute the accepted/rejected arguments using such criteria. These include systems that learn to identify the accepted arguments using non-interpretable methods. In this paper we present a novel framework, which uses an Inductive Logic Programming approach to learn the acceptability semantics for several abstract and structured argumentation frameworks in an interpretable way. Through an empirical evaluation we show that our framework outperforms existing argumentation solvers, thus opening up new future research directions in the area of formal argumentation and human-machine dialogues.


title: Overview of the EUSO-SPB2 Target of Opportunity program using the Cherenkov Telescope

abstract: During the Extreme Universe Space Observatory on a Super Pressure Balloon 2 (EUSO-SPB2) mission, we planned Target of Opportunity (ToO) operations to follow up on possible sources of $\gtrsim 10 \, {\rm PeV}$ neutrinos. The original plan before flight was to point the onboard Cherenkov Telescope (CT) to catch the source's path on the sky just below Earth's horizon. By using the Earth as a tau-neutrino to tau-lepton converter, the CT would then be able to look for optical extensive air shower signals induced by tau-lepton decays in the atmosphere. The CT had a field of view of $6.4^\circ$ vertical $\times$ $12.8^\circ$ horizontal. Possible neutrino source candidates include gamma ray bursts, tidal disruption events and other bursting or flaring sources. In addition, follow-ups of binary neutron star mergers would have been possible after the start of the O4 observation run from LIGO-Virgo-KAGRA. The resulting exposure is modeled using the NuSpaceSim framework in ToO mode. With the launch of the EUSO-SPB2 payload on the 13th May 2023, this summarizes the ToO program status and preliminary data, as available.


title: Tight upper bound of genuine four party Svetlichny type nonlocality with and without local filtering

abstract: Identifying the nonlocality of a multiparty quantum state is an important task in quantum mechanics. Seevinck and Svetlichny [Phys. Rev. Lett. 89, 060401 (2002)], and independently, Collins and co-workers [Phys. Rev. Lett. 88, 170405 (2002)] have generalized the tripartite notion of Svetlichny nonlocality to n-parties. Here we have developed a tight upper bound for genuine four party Svetlichny type nonlocality. The constraints on the quantum states for the tightness of the bound are also presented. The method enables us to provide necessary and sufficient conditions for violating the four qubit Svetlichny type inequality for several quantum states. The relations between the genuine multipartite entanglement and the maximal quantum value of the Seevinck and Svetlichny operators for pure four qubit states are also discussed. Consequently, we have exhibited genuine four qubit hidden nonlocality under local filtering. Our result provides an effective and operational method for further study of multipartite quantum nonlocality.


title: Sobolev orthogonal polynomials: Connection formulae

abstract: This contribution aims to obtain several connection formulae for the polynomial sequence, which is orthogonal with respect to the discrete Sobolev inner product \[ \langle f, g\rangle_n=\langle {\bf u}, fg\rangle+ \sum_{j=1}^M \mu_{j} f^{(\nu_j)}(c_j) g^{(\nu_j)}(c_j), \] where ${\bf u}$ is a classical linear functional, $c_j\in \mathbb R$, $\nu_j\in \mathbb N_0$, $j=1, 2,...., M$. The Laguerre case will be considered.


title: Updated reference wavelengths for Si VII and Mg VII lines in the 272-281 Angstrom range

abstract: New reference wavelengths for atomic transitions of Mg VII and Si VII in the 272-281 A wavelength range are derived using measurements from the Extreme ultraviolet Imaging Spectrometer (EIS) on board the Hinode spacecraft. Mg VII and Si VII are important ions for measuring plasma properties in the solar transition region at around 0.6 MK. The six Si VII wavelengths are 13--21 mA and 7--11 mA longer than the values in the NIST Atomic Spectra Database (ASD) and the compilations of B. Edlen, respectively. The four Mg VII wavelengths are shorter than the values in the ASD by 8-12 mA but show reasonable agreement with the Edlen values. The new wavelengths will lead to more accurate Doppler shift measurements from the EIS instrument, and will be valuable for spectral disambiguation modeling for the upcoming Multi-Slit Solar Explorer mission.


title: Upper bound for the grand canonical free energy of the Bose gas in the Gross-Pitaevskii limit for general interaction potentials

abstract: We consider a homogeneous Bose gas in the Gross--Pitaevskii limit at temperatures that are comparable to the critical temperature for Bose--Einstein condensation. Recently, an upper bound for the grand canonical free energy was proved in arXiv:2305.19173 [math-ph] capturing two novel contributions. First, the free energy of the interacting condensate is given in terms of an effective theory describing the probability distribution of the number of condensed particles. Second, the free energy of the thermally excited particles equals that of a temperature-dependent Bogoliubov Hamiltonian. We extend this result to a more general class of interaction potentials, including interactions with a hard core. Our proof follows a different approach than the one in arXiv:2305.19173 [math-ph]: we model microscopic correlations between the particles by a Jastrow factor, and exploit a cancellation in the computation of the energy that emerges due to the different length scales in the system.


title: Gravitational form factors of light nuclei: Impulse approximation

abstract: The gravitational form factors of light nuclei are evaluated up to momenta of the order of the nucleon mass, using the impulse approximation. The nucleon gravitational form factors are reduced non-relativistically, and used to derive the gravitational form factors of light nuclei. The deuteron gravitational form factors are analysed using the Reid soft core potential. The helium-4 gravitational form factors are assessed using the K-harmonics method, and compared to those following from a mean-field approximation with a Woods-Saxon potential. The importance of removing the center of mass motion for the ensuing form factors is emphasized. The mass radii of these light nuclei are extracted and compared to their charge radii counterparts. The details of their pressure and shear distributions are discussed.


title: Carleson's $\varepsilon^2$ conjecture in higher dimensions

abstract: In this paper we prove a higher dimensional analogue of Carleson's $\varepsilon^2$ conjecture. Given two arbitrary disjoint open sets $\Omega^+,\Omega^-\subset \mathbb{R}^{n+1}$, and $x\in\mathbb{R}^{n+1}$, $r>0$, we denote $$\varepsilon_n(x,r) := \frac{1}{r^n}\, \inf_{H^+} \mathcal{H}^n \left( ((\partial B(x,r)\cap H^+) \setminus \Omega^+) \cup ((\partial B(x,r)\cap H^-) \setminus \Omega^-)\right),$$ where the infimum is taken over all open affine half-spaces $H^+$ such that $x \in \partial H^+$ and we define $H^-= \mathbb{R}^{n+1} \setminus \overline {H^{+}}$. Our first main result asserts that any Borel subset of $$\left\{x\in\mathbb{R}^{n+1}\, :\, \int_0^1 \varepsilon_n(x,r)^2 \, \frac{dr}{r}<\infty\right\}$$ is $n$-rectifiable. For our second main result we assume that $\Omega^+, \Omega^-$ are open and that $\Omega^+\cup\Omega^-$ satisfies the capacity density condition. For each $x \in \partial \Omega^+ \cup \partial \Omega^-$ and $r>0$, we denote by $\alpha^\pm(x,r)$ the characteristic constant of the (spherical) open sets $\Omega^\pm \cap \partial B(x,r)$. We show that, up to a set of $\mathcal{H}^n$ measure zero, $x$ is a tangent point for both $\partial \Omega^+$ and $ \partial \Omega^-$ if and only if\begin{equation*} \int_0^{1} \min(1,\alpha^+(x,r) + \alpha^-(x,r) -2) \frac{dr}{r} < \infty. \end{equation*} The first result is new even in the plane and the second one improves and extends to higher dimensions the $\varepsilon^2$ conjecture of Carleson.


title: Going to the Other Side via the Resurgent Bridge

abstract: Using resurgent analysis we offer a novel mathematical perspective on a curious bijection (duality) that has many potential applications ranging from the theory of vertex algebras to the physics of SCFTs in various dimensions, to q-series invariants in low-dimensional topology that arise, e.g. in Vafa-Witten theory and in non-perturbative completion of complex Chern-Simons theory. In particular, we introduce explicit numerical algorithms that efficiently implement this bijection. This bijection is founded on preservation of relations, a fundamental property of resurgent functions. Using resurgent analysis we find new structures and patterns in complex Chern-Simons theory on closed hyperbolic 3-manifolds obtained by surgeries on hyperbolic twist knots. The Borel plane exhibits several intriguing hints of a new form of integrability. An important role in this analysis is played by the twisted Alexander polynomials and the adjoint Reidemeister torsion, which help us determine the Stokes data. The method of singularity elimination enables extraction of geometric data even for very distant Borel singularities, leading to detailed non-perturbative information from perturbative data. We also introduce a new double-scaling limit to probe 0-surgeries from the limiting $r\to\infty$ behavior of 1/r surgeries, and apply it to the family of hyperbolic twist knots.


title: The Sentiment Problem: A Critical Survey towards Deconstructing Sentiment Analysis

abstract: We conduct an inquiry into the sociotechnical aspects of sentiment analysis (SA) by critically examining 189 peer-reviewed papers on their applications, models, and datasets. Our investigation stems from the recognition that SA has become an integral component of diverse sociotechnical systems, exerting influence on both social and technical users. By delving into sociological and technological literature on sentiment, we unveil distinct conceptualizations of this term in domains such as finance, government, and medicine. Our study exposes a lack of explicit definitions and frameworks for characterizing sentiment, resulting in potential challenges and biases. To tackle this issue, we propose an ethics sheet encompassing critical inquiries to guide practitioners in ensuring equitable utilization of SA. Our findings underscore the significance of adopting an interdisciplinary approach to defining sentiment in SA and offer a pragmatic solution for its implementation.


title: Arithmetic Operators over Finite Field GF($2^m$) for Error Correction Codes Application

abstract: Galois field arithmetic circuits find application in a range of domains including error correction codes, communications, signal processing, and security engineering. This paper aims to elucidate the importance of error detection and correction techniques, while also scrutinizing the fundamental principles and wide array of techniques that can be employed. Additionally, a comprehensive understanding of the mathematical intricacies involved in BCH and Reed-Solomon codes requires extensive employment of GF(2m) arithmetic. Consequently, the primary contribution of this research is to critically examine the arithmetic operations performed over a finite field, which are essential for the successful implementation of BCH and Reed-Solomon codes. These operations encompass division, multiplication, exponentiation, multiplication inverses, addition, and subtraction


title: Asynchronous Distributed Smoothing and Mapping via On-Manifold Consensus ADMM

abstract: In this paper we present a fully distributed, asynchronous, and general purpose optimization algorithm for Consensus Simultaneous Localization and Mapping (CSLAM). Multi-robot teams require that agents have timely and accurate solutions to their state as well as the states of the other robots in the team. To optimize this solution we develop a CSLAM back-end based on Consensus ADMM called MESA (Manifold, Edge-based, Separable ADMM). MESA is fully distributed to tolerate failures of individual robots, asynchronous to tolerate communication delays and outages, and general purpose to handle any CSLAM problem formulation. We demonstrate that MESA exhibits superior convergence rates and accuracy compare to existing state-of-the art CSLAM back-end optimizers.


title: A Survey of GPT-3 Family Large Language Models Including ChatGPT and GPT-4

abstract: Large language models (LLMs) are a special class of pretrained language models obtained by scaling model size, pretraining corpus and computation. LLMs, because of their large size and pretraining on large volumes of text data, exhibit special abilities which allow them to achieve remarkable performances without any task-specific training in many of the natural language processing tasks. The era of LLMs started with OpenAI GPT-3 model, and the popularity of LLMs is increasing exponentially after the introduction of models like ChatGPT and GPT4. We refer to GPT-3 and its successor OpenAI models, including ChatGPT and GPT4, as GPT-3 family large language models (GLLMs). With the ever-rising popularity of GLLMs, especially in the research community, there is a strong need for a comprehensive survey which summarizes the recent research progress in multiple dimensions and can guide the research community with insightful future research directions. We start the survey paper with foundation concepts like transformers, transfer learning, self-supervised learning, pretrained language models and large language models. We then present a brief overview of GLLMs and discuss the performances of GLLMs in various downstream tasks, specific domains and multiple languages. We also discuss the data labelling and data augmentation abilities of GLLMs, the robustness of GLLMs, the effectiveness of GLLMs as evaluators, and finally, conclude with multiple insightful future research directions. To summarize, this comprehensive survey paper will serve as a good resource for both academic and industry people to stay updated with the latest research related to GPT-3 family large language models.


title: Relations between integrated correlators in $\mathcal{N}=4$ Supersymmetric Yang--Mills Theory

abstract: Integrated correlation functions in $\mathcal{N}=4$ supersymmetric Yang--Mills theory with gauge group $SU(N)$ can be expressed in terms of the localised $S^4$ partition function, $Z_N$, deformed by a mass $m$. Two such cases are $\mathcal{C}_N=(\text{Im} \tau)^2 \partial_\tau\partial_{\bar\tau} \partial_m^2\log Z_N\vert_{m=0}$ and $\mathcal{H}_N=\partial_m^4\log Z_N\vert_{m=0}$, which are modular invariant functions of the complex coupling $\tau$. While $\mathcal{C}_N$ was recently written in terms of a two-dimensional lattice sum for any $N$ and $\tau$, $\mathcal{H}_N$ has only been evaluated up to order $1/N^3$ in a large-$N$ expansion in terms of modular invariant functions with no known lattice sum realisation. Here we develop methods for evaluating $\mathcal{H}_N$ to any desired order in $1/N$ and finite $\tau$. We use this new data to constrain higher loop corrections to the stress tensor correlator, and give evidence for several intriguing relations between $\mathcal{H}_N$ and $\mathcal{C}_N$ to all orders in $1/N$. We also give evidence that the coefficients of the $1/N$ expansion of $\mathcal{H}_N$ can be written as lattice sums to all orders. Lastly, these large $N$ and finite $\tau$ results are used to accurately estimate the integrated correlators at finite $N$ and finite $\tau$.


title: Micro-seismic Elastic Reflection Full Waveform Inversion with An Equivalent Source

abstract: In micro-seismic event measurements, pinpointing the passive source's exact spatial and temporal location is paramount. This research advocates for the combined use of both P- and S-wave data, captured by geophone monitoring systems, to improve source inversion accuracy. Drawing inspiration from the secondary source concept in Elastic Reflection Full Waveform Inversion (ERFWI), we introduce an equivalent source term. This term combines source functions and source images. Our optimization strategy iteratively refines the spatial locations of the source, its temporal functions, and associated velocities using a full waveform inversion framework. Under the premise of an isotropic medium with consistent density, the source is defined by two spatial and three temporal components. This offers a nuanced source representation in contrast to the conventional seismic moment tensor. To address gradient computation, we employ the adjoint-state method. However, we encountered pronounced non-linearity in waveform inversion of micro-seismic events, primarily due to the unknown source origin time, resulting in cycle skipping challenges. To counteract this, we devised an objective function that is decoupled from the source origin time. This function is formulated by convolving reference traces with both observed and predicted data. Through the concurrent inversion of the source image, source time function, and velocity model, our method offers precise estimations of these parameters, as validated by a synthetic 2D example based on a modified Marmousi model. This nested inversion approach promises enhanced accuracy in determining the source image, time function, and velocity model.


title: Opportunities for Adaptive Experiments to Enable Continuous Improvement in Computer Science Education

abstract: Randomized A/B comparisons of alternative pedagogical strategies or other course improvements could provide useful empirical evidence for instructor decision-making. However, traditional experiments do not provide a straightforward pathway to rapidly utilize data, increasing the chances that students in an experiment experience the best conditions. Drawing inspiration from the use of machine learning and experimentation in product development at leading technology companies, we explore how adaptive experimentation might aid continuous course improvement. In adaptive experiments, data is analyzed and utilized as different conditions are deployed to students. This can be achieved using machine learning algorithms to identify which actions are more beneficial in improving students' learning experiences and outcomes. These algorithms can then dynamically deploy the most effective conditions in subsequent interactions with students, resulting in better support for students' needs. We illustrate this approach with a case study that provides a side-by-side comparison of traditional and adaptive experiments on adding self-explanation prompts in online homework problems in a CS1 course. This work paves the way for exploring the importance of adaptive experiments in bridging research and practice to achieve continuous improvement in educational settings.


title: Rotating Black Hole in Kalb-Ramond Gravity: Constraining Parameters by Comparison with EHT Observations of Sgr A* and M87*

abstract: This article deals with the study of some properties of the static and rotating black holes in Kalb-Ramond gravity in four dimensional spacetime. First, we discuss the action of the corresponding theory and the static black hole metric. Then we investigate the light sphere for the static black hole by using the Hamiltonian formalism and the corresponding linear radius of the shadow, angular velocity and Lyapunov exponent. For the rotating black hole, we discuss the horizon structure. Moreover, we study the effective potential to discuss the structure of null sphere and unstable circular null orbits around the rotating black hole. The properties such as energy emission rate and distortion are calculated and analyzed by using the numerical data for the shadows calculated by appropriately chosen parametric values for two different angular locations of the observer off the equatorial plane. We also obtain the constraints on the black hole parameters by comparing the shadow sizes of the black hole in Kalb-Ramond gravity and the supermassive black holes M87* and Sgr A*. Finally, we investigate the effect of mass, energy, angular momentum and the black hole parameters on the center of mass energy of two colliding particles that are accelerated in the vicinity of the black hole.


title: Black holes in Starobinsky-Bel-Robinson Gravity and the breakdown of quasinormal modes/null geodesics correspondence

abstract: We show that perturbations of a scalar field in the background of the black hole obtained with the Starobinsky-Bel-Robinson Gravity is unstable unless the dimensionless coupling $\beta$ describing the compactification of M-theory is small enough. In the sector of stability quasinormal spectrum show peculiar behavior both in the frequency and time domains: the ringing consists of two stages where two different modes dominate. The WKB method does not reproduce part of the spectrum including the fundamental mode, which is responsible for the first stage of the ringing. As a result, the correspondence between the high frequency quasinormal modes and characteristics of the null geodesics reproduces only one branch of the eikonal spectrum. The frequencies are obtained with the help of three methods (Frobenius, WKB and time-domain integration) with excellent agreement among them.


title: Representation type of cyclotomic quiver Hecke algebras of type $C^{(1)}_{\ell}$

abstract: We first investigate a connected quiver consisting of all dominant maximal weights for an integrable highest weight module in affine type C. This quiver provides an efficient method to obtain all dominant maximal weights. Then, we completely determine the representation type of cyclotomic Khovanov-Lauda-Rouquier algebras of arbitrary level in affine type C, by using the quiver we construct. We also determine the Morita equivalence classes and graded decomposition matrices of certain representation-finite and tame cyclotomic KLR algebras.


title: Soccer on Social Media

abstract: In the era of digitalization, social media has become an integral part of our lives, serving as a significant hub for individuals and businesses to share information, communicate, and engage. This is also the case for professional sports, where leagues, clubs and players are using social media to reach out to their fans. In this respect, a huge amount of time is spent curating multimedia content for various social media platforms and their target users. With the emergence of Artificial Intelligence (AI), AI-based tools for automating content generation and enhancing user experiences on social media have become widely popular. However, to effectively utilize such tools, it is imperative to comprehend the demographics and preferences of users on different platforms, understand how content providers post information in these channels, and how different types of multimedia are consumed by audiences. This report presents an analysis of social media platforms, in terms of demographics, supported multimedia modalities, and distinct features and specifications for different modalities, followed by a comparative case study of select European soccer leagues and teams, in terms of their social media practices. Through this analysis, we demonstrate that social media, while being very important for and widely used by supporters from all ages, also requires a fine-tuned effort on the part of soccer professionals, in order to elevate fan experiences and foster engagement.


title: Improved prediction of molecular response to pulling by combining force tempering with replica exchange methods

abstract: Small mechanical forces play important functional roles in many crucial cellular processes, including in the dynamical behavior of the cytoskeleton and in the regulation of osmotic pressure through membrane-bound proteins. Molecular simulations offer the promise of being able to design the behavior of proteins that sense and respond to these forces. However, it is difficult to predict and identify the effect of the relevant piconewton (pN) scale forces due to their small magnitude. Previously, we introduced the Infinite Switch Simulated Tempering in Force (FISST) method which allows one to estimate the effect of a range of applied forces from a single molecular dynamics simulation, and also demonstrated that FISST additionally accelerates sampling of a molecule's conformational landscape. For some problems, we find that this acceleration is not sufficient to capture all relevant conformational fluctuations, and hence here we demonstrate that FISST can be combined with either temperature replica exchange or solute tempering approaches to produce a hybrid method that enables more robust prediction of the effect of small forces on molecular systems.


title: AGN Selection and Demographics: A New Age with JWST/MIRI

abstract: Understanding the co-evolution of supermassive black holes (SMBHs) and their host systems requires a comprehensive census of active galactic nuclei (AGN) behavior across a wide range of redshift, luminosity, obscuration level and galaxy properties. We report significant progress with JWST towards this goal from the Systematic Mid-infrared Instrument Legacy Extragalactic Survey (SMILES). Based on comprehensive SED analysis of 3273 MIRI-detected sources, we identify 217 AGN candidates over a survey area of $\sim$34 arcmin$^2$, including a primary sample of 111 AGNs in normal massive galaxies ($M_{*}>10^{9.5}~M_\odot$) at $z\sim$0--4, an extended sample of 86 AGN {\it candidates} in low-mass galaxies ($M_{*}<10^{9.5}~M_\odot$) and a high-$z$ sample of 20 AGN {\it candidates} at $z\sim$4--8.4. Notably, about 80\% of our MIRI-selected AGN candidates are new discoveries despite the extensive pre-JWST AGN searches. Even among the massive galaxies where the previous AGN search is believed to be thorough, 34\% of the MIRI AGN identifications are new, highlighting the impact of obscuration on previous selections. By combining our results with the efforts at other wavelengths, we build the most complete AGN sample to date and examine the relative performance of different selection techniques. We find the obscured AGN fraction increases from $L_{\rm AGN, bol}\sim10^{10}~L_\odot$ to $10^{11}~L_\odot$ and then drops towards higher luminosity. Additionally, the obscured AGN fraction gradually increases from $z\sim0$ to $z\sim4$ with most high-$z$ AGNs obscured. We discuss how AGN obscuration, intrinsic SED variations, galaxy contamination, survey depth and selection techniques complicate the construction of a complete AGN sample.


title: Some applications of Gr\"obner-Shirshov bases to Lie algebras

abstract: We show that if a countably generated Lie algebra $H$ does not contain isomorphic copies of certain finite-dimensional nilpotent Lie algebras $A$ and $B$ (satisfying some mild conditions), then $H$ embeds into a quotient of $A \ast B$ that is at the same time hopfian and cohopfian. This is a Lie algebraic version of an embedding theorem proved by C. Miller and P. Schupp for groups. We also prove that any finitely presentable Lie algebra is the quotient of a finitely presented, centerless, residually nilpotent and SQ-universal Lie algebra of cohomological dimension at most $2$ by an ideal that can be generated by two elements as a Lie subalgebra. This is reminiscent of the Rips construction in group theory. In both results we use the theory of Gr\"obner-Shirshov bases.


title: A Novel Approach to Interface High-Q Fabry-P\'erot Resonators with Photonic Circuits

abstract: The unique benefits of Fabry-P\'erot resonators as frequency-stable reference cavities and as an efficient interface between atoms and photons make them an indispensable resource for emerging photonic technologies. To bring these performance benefits to next-generation communications, computation, and timekeeping systems, it will be necessary to develop strategies to integrate compact Fabry-P\'erot resonators with photonic integrated circuits. In this paper, we demonstrate a novel reflection cancellation circuit that utilizes a numerically optimized multi-port polarization-splitting grating coupler to efficiently interface high-finesse Fabry-P\'erot resonators with a silicon photonic circuit. This circuit interface produces spatial separation of the incident and reflected waves, as required for on-chip Pound-Drever-Hall frequency locking, while also suppressing unwanted back reflections from the Fabry-P\'erot resonator. Using inverse design principles, we design and fabricate a polarization-splitting grating coupler that achieves 55% coupling efficiency. This design realizes an insertion loss of 5.8 dB for the circuit interface and more than 9 dB of back reflection suppression, and we demonstrate the versatility of this system by using it to interface several reflective off-chip devices.


title: Black-Litterman Asset Allocation under Hidden Truncation Distribution

abstract: In this paper, we study the Black-Litterman (BL) asset allocation model (Black and Litterman, 1990) under the hidden truncation skew-normal distribution (Arnold and Beaver, 2000). In particular, when returns are assumed to follow this skew normal distribution, we show that the posterior returns, after incorporating views, are also skew normal. By using Simaan three moments risk model (Simaan, 1993), we could then obtain the optimal portfolio. Empirical data show that the optimal portfolio obtained this way has less risk compared to an optimal portfolio of the classical BL model and that they become more negatively skewed as the expected returns of portfolios increase, which suggests that the investors trade a negative skewness for a higher expected return. We also observe a negative relation between portfolio volatility and portfolio skewness. This observation suggests that investors may be making a trade-off, opting for lower volatility in exchange for higher skewness, or vice versa. This trade-off indicates that stocks with significant price declines tend to exhibit increased volatility.


title: Improving Representation Learning for Histopathologic Images with Cluster Constraints

abstract: Recent advances in whole-slide image (WSI) scanners and computational capabilities have significantly propelled the application of artificial intelligence in histopathology slide analysis. While these strides are promising, current supervised learning approaches for WSI analysis come with the challenge of exhaustively labeling high-resolution slides - a process that is both labor-intensive and time-consuming. In contrast, self-supervised learning (SSL) pretraining strategies are emerging as a viable alternative, given that they don't rely on explicit data annotations. These SSL strategies are quickly bridging the performance disparity with their supervised counterparts. In this context, we introduce an SSL framework. This framework aims for transferable representation learning and semantically meaningful clustering by synergizing invariance loss and clustering loss in WSI analysis. Notably, our approach outperforms common SSL methods in downstream classification and clustering tasks, as evidenced by tests on the Camelyon16 and a pancreatic cancer dataset.


title: Parisi's hypercube, Fock-space fluxes, and the microscopics of near-AdS$_2$/near-CFT$_1$ duality

abstract: Parisi's hypercube model describes a charged particle hopping on a $d$-dimensional hypercube with disordered background fluxes in the large $d$ limit. It was noted previously [Jia and Verbaarschot, J. High Energy Phys. 11 (2020) 154] that the hypercube model at leading order in $1/d$ has the same spectral density as the double-scaled Sachdev-Ye-Kitaev (DS-SYK) model. In this work we identify the set of observables that have the same correlation functions as the DS-SYK model, demonstrating that the hypercube model is an equally good microscopic model for near-AdS$_2$/near-CFT$_1$ holography. Unlike the SYK model, the hypercube model is not $p$-local. Rather, we note that the shared feature between the two models is that they both have a large amount of disordered but uniform fluxes on their Fock-space graphs, and we propose this is a broader characterization of near-CFT$_1$ microscopics. Moreover, we suggest that the hypercube model can be viewed as the operator growth model of the DS-SYK model. We explain some universality in subleading corrections and relate them to bulk vertices. Finally, we revise a claim made the aforementioned reference about the existence of a spectral gap.

categories: hep-th cond-mat.dis-nn cond-mat.stat-mech cond-mat.str-el nlin.CD


title: RZ Piscium Hosts a Compact and Highly Perturbed Debris Disk

abstract: RZ Piscium (RZ Psc) is well-known in the variable star field because of its numerous, irregular optical dips in the past five decades, but the nature of the system is heavily debated in the literature. We present multiyear infrared monitoring data from Spitzer and WISE to track the activities of the inner debris production, revealing stochastic infrared variability as short as weekly timescales that is consistent with destroying a 90-km-size asteroid every year. ALMA 1.3 mm data combined with spectral energy distribution modeling show that the disk is compact ($\sim$0.1--13 au radially) and lacks cold gas. The disk is found to be highly inclined and has a significant vertical scale height. These observations confirm that RZ Psc hosts a close to edge-on, highly perturbed debris disk possibly due to migration of recently formed giant planets which might be triggered by the low-mass companion RZ Psc B if the planets formed well beyond the snowlines.


title: Compiler Testing With Relaxed Memory Models

abstract: Finding bugs is key to the correctness of compilers in wide use today. If the behaviour of a compiled program, as allowed by its architecture memory model, is not a behaviour of the source program under its source model, then there is a bug. This holds for all programs, but we focus on concurrency bugs that occur only with two or more threads of execution. We focus on testing techniques that detect such bugs in C/C++ compilers. We seek a testing technique that automatically covers concurrency bugs up to fixed bounds on program sizes and that scales to find bugs in compiled programs with many lines of code. Otherwise, a testing technique can miss bugs. Unfortunately, the state-of-the-art techniques are yet to satisfy all of these properties. We present the T\'el\'echat compiler testing tool for concurrent programs. T\'el\'echat compiles a concurrent C/C++ program and compares source and compiled program behaviours using source and architecture memory models. We make three claims: T\'el\'echat improves the state-of-the-art at finding bugs in code generation for multi-threaded execution, it is the first public description of a compiler testing tool for concurrency that is deployed in industry, and it is the first tool that takes a significant step towards the desired properties. We provide experimental evidence suggesting T\'el\'echat finds bugs missed by other state-of-the-art techniques, case studies indicating that T\'el\'echat satisfies the properties, and reports of our experience deploying T\'el\'echat in industry regression testing.


title: Total mass slopes and enclosed mass constrained by globular cluster system dynamics

abstract: The goal of this work is to probe the total mass distribution of early-type galaxies with globular clusters (GCs) as kinematic tracers, by constraining the parameters of the profile with a flexible modelling approach. To that end, we leverage the extended spatial distribution of GCs from the SLUGGS survey ($\langle R_{\rm GC,\ max} \rangle \sim 8R_{\rm e}$) in combination with discrete dynamical modelling. We use discrete Jeans anisotropic modelling in cylindrical coordinates to determine the velocity moments at the location of the GCs in our sample. We use a Bayesian framework to determine the best-fit parameters of the total mass density profile and orbital properties of the GC systems. We find that the orbital properties (anisotropy and rotation of the dispersion-dominated GC systems) minimally impact the measurements of the inner slope and enclosed mass, while a strong presence of dynamically-distinct subpopulations or low numbers of kinematic tracers can bias the results. Owing to the large spatial extent of the tracers our method is sensitive to the intrinsic inner slope of the total mass profile and we find $\overline{\alpha} = -1.88\pm 0.01$ for 12 galaxies with robust measurements. To compare our results with literature values we fit a single power-law profile to the resulting total mass density. In the radial range 0.1-4~$R_{\rm e}$ our measured slope has a value of $\langle \gamma_{\rm tot}\rangle = -2.22\pm0.14$ and is in good agreement with the literature.


title: Remarks on the Hilbert depth of squarefree monomial ideals

abstract: Let $K$ be a infinite field, $S=K[x_1,\ldots,x_n]$ and $0\subset I\subsetneq J\subset S$ two squarefree monomial ideals. In a previous paper we proved a new formula for the Hilbert depth of $J/I$. In this paper, we illustrate how one can use the Stanley-Reisner correspondence between (relative) simplicial complexes and (quotients of) squarefree monomial ideals, in order to reobtain some basic properties of the Hilbert depth. More precisely, we show that $\operatorname{depth}(J/I)\leq \operatorname{hdepth}(J/I)\leq \dim(J/I)$. Also, we show that $\operatorname{hdepth}(I)\geq \operatorname{hdepth}(S/I)+1$, if $S/I$ is Cohen-Macaulay.


title: The JADES Origins Field: A New JWST Deep Field in the JADES Second NIRCam Data Release

abstract: We summarize the properties and initial data release of the JADES Origins Field (JOF), which will soon be the deepest imaging field yet observed with the James Webb Space Telescope (JWST). This field falls within the GOODS-S region about 8' south-west of the Hubble Ultra Deep Field (HUDF), where it was formed initially in Cycle 1 as a parallel field of HUDF spectroscopic observations within the JWST Advanced Deep Extragalactic Survey (JADES). This imaging will be greatly extended in Cycle 2 program 3215, which will observe the JOF for 5 days in six medium-band filters, seeking robust candidates for z>15 galaxies. This program will also include ultra-deep parallel NIRSpec spectroscopy (up to 104 hours on-source, summing over the dispersion modes) on the HUDF. Cycle 3 observations from program 4540 will add 20 hours of NIRCam slitless spectroscopy to the JOF. With these three campaigns, the JOF will be observed for 380 open-shutter hours with NIRCam using 15 imaging filters and 2 grism bandpasses. Further, parts of the JOF have deep 43 hr MIRI observations in F770W. Taken together, the JOF will soon be one of the most compelling deep fields available with JWST and a powerful window into the early Universe. This paper presents the second data release from JADES, featuring the imaging and catalogs from the year 1 JOF observations.


title: Price dispersion across online platforms: Evidence from hotel room prices in London (UK)

abstract: This paper studies the widespread price dispersion of homogeneous products across different online platforms, even when consumers can easily access price information from comparison websites. We collect data for the 200 most popular hotels in London (UK) and document that prices vary widely across booking sites while making reservations for a hotel room. Additionally, we find that prices listed across different platforms tend to converge as the booking date gets closer to the date of stay. However, the price dispersion persists until the date of stay, implying that the "law of one price" does not hold. We present a simple theoretical model to explain this and show that in the presence of aggregate demand uncertainty and capacity constraints, price dispersion could exist even when products are homogeneous, consumers are homogeneous, all agents have perfect information about the market structure, and consumers face no search costs to acquire information about the products. Our theoretical intuition and robust empirical evidence provide additional insights into price dispersion across online platforms in different institutional settings. Our study complements the existing literature that relies on consumer search costs to explain the price dispersion phenomenon.


title: Eliminating Reasoning via Inferring with Planning: A New Framework to Guide LLMs' Non-linear Thinking

abstract: Chain-of-Thought(CoT) prompting and its variants explore equipping large language models (LLMs) with high-level reasoning abilities by emulating human-like linear cognition and logic. However, the human mind is complicated and mixed with both linear and nonlinear thinking. In this work, we propose \textbf{I}nferential \textbf{E}xclusion \textbf{P}rompting (IEP), a novel prompting that combines the principles of elimination and inference in order to guide LLMs to think non-linearly. IEP guides LLMs to plan and then utilize Natural Language Inference (NLI) to deduce each possible solution's entailment relation with context, commonsense, or facts, therefore yielding a broader perspective by thinking back for inferring. This forward planning and backward eliminating process allows IEP to better simulate the complex human thinking processes compared to other CoT-based methods, which only reflect linear cognitive processes. We conducted a series of empirical studies and have corroborated that IEP consistently outperforms CoT across various tasks. Additionally, we observe that integrating IEP and CoT further improves the LLMs' performance on certain tasks, highlighting the necessity of equipping LLMs with mixed logic processes. Moreover, to better evaluate comprehensive features inherent in human logic, we introduce \textbf{M}ental-\textbf{A}bility \textbf{R}easoning \textbf{B}enchmark (MARB). The benchmark comprises six novel subtasks with a total of 9,115 questions, among which 1,685 are developed with hand-crafted rationale references. We believe both \textsc{IEP} and \textsc{MARB} can serve as a promising direction for unveiling LLMs' logic and verbal reasoning abilities and drive further advancements. \textsc{MARB} will be available at ~\texttt{anonymity link} soon.


title: New Environment Adaptation with Few Shots for OFDM Receiver and mmWave Beamforming

abstract: Few-shot learning (FSL) enables adaptation to new tasks with only limited training data. In wireless communications, channel environments can vary drastically; therefore, FSL techniques can quickly adjust transceiver accordingly. In this paper, we develop two FSL frameworks that fit in wireless transceiver design. Both frameworks are base on optimization programs that can be solved by well-known algorithms like the inexact alternating direction method of multipliers (iADMM) and the inexact alternating direction method (iADM). As examples, we demonstrate how the proposed two FSL frameworks are used for the OFDM receiver and beamforming (BF) for the millimeter wave (mmWave) system. The numerical experiments confirm their desirable performance in both applications compared to other popular approaches, such as transfer learning (TL) and model-agnostic meta-learning.


title: LACMA: Language-Aligning Contrastive Learning with Meta-Actions for Embodied Instruction Following

abstract: End-to-end Transformers have demonstrated an impressive success rate for Embodied Instruction Following when the environment has been seen in training. However, they tend to struggle when deployed in an unseen environment. This lack of generalizability is due to the agent's insensitivity to subtle changes in natural language instructions. To mitigate this issue, we propose explicitly aligning the agent's hidden states with the instructions via contrastive learning. Nevertheless, the semantic gap between high-level language instructions and the agent's low-level action space remains an obstacle. Therefore, we further introduce a novel concept of meta-actions to bridge the gap. Meta-actions are ubiquitous action patterns that can be parsed from the original action sequence. These patterns represent higher-level semantics that are intuitively aligned closer to the instructions. When meta-actions are applied as additional training signals, the agent generalizes better to unseen environments. Compared to a strong multi-modal Transformer baseline, we achieve a significant 4.5% absolute gain in success rate in unseen environments of ALFRED Embodied Instruction Following. Additional analysis shows that the contrastive objective and meta-actions are complementary in achieving the best results, and the resulting agent better aligns its states with corresponding instructions, making it more suitable for real-world embodied agents. The code is available at: https://github.com/joeyy5588/LACMA.


title: ClusT3: Information Invariant Test-Time Training

abstract: Deep Learning models have shown remarkable performance in a broad range of vision tasks. However, they are often vulnerable against domain shifts at test-time. Test-time training (TTT) methods have been developed in an attempt to mitigate these vulnerabilities, where a secondary task is solved at training time simultaneously with the main task, to be later used as an self-supervised proxy task at test-time. In this work, we propose a novel unsupervised TTT technique based on the maximization of Mutual Information between multi-scale feature maps and a discrete latent representation, which can be integrated to the standard training as an auxiliary clustering task. Experimental results demonstrate competitive classification performance on different popular test-time adaptation benchmarks.


title: Tracking electricity losses and their perceived causes using nighttime light and social media

abstract: Urban environments are intricate systems where the breakdown of critical infrastructure can impact both the economic and social well-being of communities. Electricity systems hold particular significance, as they are essential for other infrastructure, and disruptions can trigger widespread consequences. Typically, assessing electricity availability requires ground-level data, a challenge in conflict zones and regions with limited access. This study shows how satellite imagery, social media, and information extraction can monitor blackouts and their perceived causes. Night-time light data (in March 2019 for Caracas, Venezuela) is used to indicate blackout regions. Twitter data is used to determine sentiment and topic trends, while statistical analysis and topic modeling delved into public perceptions regarding blackout causes. The findings show an inverse relationship between nighttime light intensity. Tweets mentioning the Venezuelan President displayed heightened negativity and a greater prevalence of blame-related terms, suggesting a perception of government accountability for the outages.


title: VisGrader: Automatic Grading of D3 Visualizations

abstract: Manually grading D3 data visualizations is a challenging endeavor, and is especially difficult for large classes with hundreds of students. Grading an interactive visualization requires a combination of interactive, quantitative, and qualitative evaluation that are conventionally done manually and are difficult to scale up as the visualization complexity, data size, and number of students increase. We present VisGrader, a first-of-its kind automatic grading method for D3 visualizations that scalably and precisely evaluates the data bindings, visual encodings, interactions, and design specifications used in a visualization. Our method enhances students learning experience, enabling them to submit their code frequently and receive rapid feedback to better inform iteration and improvement to their code and visualization design. We have successfully deployed our method and auto-graded D3 submissions from more than 4000 students in a visualization course at Georgia Tech, and received positive feedback for expanding its adoption.


title: Goodness--of--Fit Tests Based on the Min--Characteristic Function

abstract: We propose tests of fit for classes of distributions that include the Weibull, the Pareto and the Fr\'echet, distributions. The new tests employ the novel tool of the min--characteristic function and are based on an L2--type weighted distance between this function and its empirical counterpart applied on suitably standardized data. If data--standardization is performed using the MLE of the distributional parameters then the method reduces to testing for the standard member of the family, with parameter values known and set equal to one. We investigate asymptotic properties of the tests, while a Monte Carlo study is presented that includes the new procedure as well as competitors for the purpose of specification testing with three extreme value distributions. The new tests are also applied on a few real--data sets.


title: Developing 3D Virtual Safety Risk Terrain for UAS Operations in Complex Urban Environments

abstract: Unmanned Aerial Systems (UAS), an integral part of the Advanced Air Mobility (AAM) vision, are capable of performing a wide spectrum of tasks in urban environments. The societal integration of UAS is a pivotal challenge, as these systems must operate harmoniously within the constraints imposed by regulations and societal concerns. In complex urban environments, UAS safety has been a perennial obstacle to their large-scale deployment. To mitigate UAS safety risk and facilitate risk-aware UAS operations planning, we propose a novel concept called \textit{3D virtual risk terrain}. This concept converts public risk constraints in an urban environment into 3D exclusion zones that UAS operations should avoid to adequately reduce risk to Entities of Value (EoV). To implement the 3D virtual risk terrain, we develop a conditional probability framework that comprehensively integrates most existing basic models for UAS ground risk. To demonstrate the concept, we build risk terrains on a Chicago downtown model and observe their characteristics under different conditions. We believe that the 3D virtual risk terrain has the potential to become a new routine tool for risk-aware UAS operations planning, urban airspace management, and policy development. The same idea can also be extended to other forms of societal impacts, such as noise, privacy, and perceived risk.


title: Equipping Federated Graph Neural Networks with Structure-aware Group Fairness

abstract: Graph Neural Networks (GNNs) have been widely used for various types of graph data processing and analytical tasks in different domains. Training GNNs over centralized graph data can be infeasible due to privacy concerns and regulatory restrictions. Thus, federated learning (FL) becomes a trending solution to address this challenge in a distributed learning paradigm. However, as GNNs may inherit historical bias from training data and lead to discriminatory predictions, the bias of local models can be easily propagated to the global model in distributed settings. This poses a new challenge in mitigating bias in federated GNNs. To address this challenge, we propose $\text{F}^2$GNN, a Fair Federated Graph Neural Network, that enhances group fairness of federated GNNs. As bias can be sourced from both data and learning algorithms, $\text{F}^2$GNN aims to mitigate both types of bias under federated settings. First, we provide theoretical insights on the connection between data bias in a training graph and statistical fairness metrics of the trained GNN models. Based on the theoretical analysis, we design $\text{F}^2$GNN which contains two key components: a fairness-aware local model update scheme that enhances group fairness of the local models on the client side, and a fairness-weighted global model update scheme that takes both data bias and fairness metrics of local models into consideration in the aggregation process. We evaluate $\text{F}^2$GNN empirically versus a number of baseline methods, and demonstrate that $\text{F}^2$GNN outperforms these baselines in terms of both fairness and model accuracy.


title: NuQKD: A Modular Quantum Key Distribution Simulation Framework for Engineering Applications

abstract: An experimental Quantum Key Distribution (QKD) implementation requires advanced costly hardware, unavailable in most research environments, making protocol testing and performance evaluation complicated. Historically, this has been a major motivation for the development of QKD simulation frameworks, to allow researchers to obtain insight before proceeding into practical implementations. Several simulators have been introduced over the recent years. However, only four are publicly available, only one of which models equipment imperfections. Currently, no open-source simulator includes all following capabilities: channel attenuation modelling, equipment imperfections and effect on key rates, estimation of elapsed time during quantum channel processes, use of truly random binary sequences for qubits and measurement bases, shared-bit fraction customization. In this paper, we present NuQKD, an open-source modular, intuitive simulator, featuring all the above capabilities. NuQKD establishes communication between two computer terminals, accepts custom inputs (iterations, raw key size, interception rate etc.) and evaluates the sifted key length, Quantum Bit Error Rate (QBER), elapsed communication time and more). NuQKD capabilities include optical fiber and free-space simulation, modeling of equipment/channel imperfections, bitstrings from True Random Number Generator, modular design and automated evaluation of performance metrics. We expect NuQKD to enable convenient and accurate representation of actual experimental conditions.


title: knn-seq: Efficient, Extensible kNN-MT Framework

abstract: k-nearest-neighbor machine translation (kNN-MT) boosts the translation quality of a pre-trained neural machine translation (NMT) model by utilizing translation examples during decoding. Translation examples are stored in a vector database, called a datastore, which contains one entry for each target token from the parallel data it is made from. Due to its size, it is computationally expensive both to construct and to retrieve examples from the datastore. In this paper, we present an efficient and extensible kNN-MT framework, knn-seq, for researchers and developers that is carefully designed to run efficiently, even with a billion-scale large datastore. knn-seq is developed as a plug-in on fairseq and easy to switch models and kNN indexes. Experimental results show that our implemented kNN-MT achieves a comparable gain to the original kNN-MT, and the billion-scale datastore construction took 2.21 hours in the WMT'19 German-to-English translation task. We publish our knn-seq as an MIT-licensed open-source project and the code is available on https://github.com/naist-nlp/knn-seq . The demo video is available on https://youtu.be/zTDzEOq80m0 .


title: Networkwide Traffic State Forecasting Using Exogenous Information: A Multi-Dimensional Graph Attention-Based Approach

abstract: Traffic state forecasting is crucial for traffic management and control strategies, as well as user- and system-level decision making in the transportation network. While traffic forecasting has been approached with a variety of techniques over the last couple of decades, most approaches simply rely on endogenous traffic variables for state prediction, despite the evidence that exogenous factors can significantly impact traffic conditions. This paper proposes a multi-dimensional spatio-temporal graph attention-based traffic prediction approach (M-STGAT), which predicts traffic based on past observations of speed, along with lane closure events, temperature, and visibility across the transportation network. The approach is based on a graph attention network architecture, which also learns based on the structure of the transportation network on which these variables are observed. Numerical experiments are performed using traffic speed and lane closure data from the California Department of Transportation (Caltrans) Performance Measurement System (PeMS). The corresponding weather data were downloaded from the National Oceanic and Atmospheric Administration (NOOA) Automated Surface Observing Systems (ASOS). For comparison, the numerical experiments implement three alternative models which do not allow for the multi-dimensional input. The M-STGAT is shown to outperform the three alternative models, when performing tests using our primary data set for prediction with a 30-, 45-, and 60-minute prediction horizon, in terms of three error measures: Mean Absolute Error (MAE), Root Mean Square Error (RMSE) and Mean Absolute Percentage Error (MAPE). However, the model's transferability can vary for different transfer data sets and this aspect may require further investigation.


title: Rational Catalan Numbers for Complex Reflection Groups

abstract: Assuming standard conjectures, we show that the canonical symmetrizing trace evaluated at powers of a Coxeter element produces rational Catalan numbers for irreducible spetsial complex reflection groups. This extends a technique used by Galashin, Lam, Trinh, and Williams to uniformly prove the enumeration of their noncrossing Catalan objects for finite Coxeter groups.


title: Self-switching random walks on Erd\"os-R\'enyi random graphs feel the phase transition

abstract: We study random walks on Erd\"os-R\'enyi random graphs in which, every time the random walk returns to the starting point, first an edge probability is independently sampled according to a priori measure $\mu$, and then an Erd\"os-R\'enyi random graph is sampled according to that edge probability. When the edge probability $p$ does not depend on the size of the graph $n$ (dense case), we show that the proportion of time the random walk spends on different values of $p$ -- {\it occupation measure} -- converges to the a priori measure $\mu$ as $n$ goes to infinity. More interestingly, when $p=\lambda/n$ (sparse case), we show that the occupation measure converges to a limiting measure with a density that is a function of the survival probability of a Poisson branching process. This limiting measure is supported on the supercritial values for the Erd\"os-R\'enyi random graphs, showing that self-witching random walks can detect the phase transition.


title: Van der Waals chain: a simple model for Casimir forces in dielectrics

abstract: The Casimir force between dielectric bodies is well-understood, but not the Casimir force inside a dielectric, in particular its renormalization. We develop and analyse a simple model for the Casimir forces inside a medium that is completely free of renormalization and show then how renormalization emerges. We consider a one-dimensional chain of point particles interacting with each other by scattering the zero-point fluctuations of the electromagnetic field confined to one dimension. We develop a fast, efficient algorithm for calculating the forces on each particle and apply it to study the macroscopic limit of infinitely many, infinitely weak scatterers. The force density converges for piece-wise homogeneous media, but diverges in inhomogeneous media, which would cause instant collapse in theory. We argue that short-range counter forces in the medium prevent this collapse in reality. Their effect appears as the renormalization of the Casimir stress in dielectrics. Our simple model also allows us to derive an elementary analogue of the trace anomaly of quantum fields in curved space.


title: Large Language Models for Code Analysis: Do LLMs Really Do Their Job?

abstract: Large language models (LLMs) have demonstrated significant potential in the realm of natural language understanding and programming code processing tasks. Their capacity to comprehend and generate human-like code has spurred research into harnessing LLMs for code analysis purposes. However, the existing body of literature falls short in delivering a systematic evaluation and assessment of LLMs' effectiveness in code analysis, particularly in the context of obfuscated code. This paper seeks to bridge this gap by offering a comprehensive evaluation of LLMs' capabilities in performing code analysis tasks. Additionally, it presents real-world case studies that employ LLMs for code analysis. Our findings indicate that LLMs can indeed serve as valuable tools for automating code analysis, albeit with certain limitations. Through meticulous exploration, this research contributes to a deeper understanding of the potential and constraints associated with utilizing LLMs in code analysis, paving the way for enhanced applications in this critical domain.


title: causalBETA: An R Package for Bayesian Semiparametric Causal Inference with Event-Time Outcomes

abstract: Observational studies are often conducted to estimate causal effects of treatments or exposures on event-time outcomes. Since treatments are not randomized in observational studies, techniques from causal inference are required to adjust for confounding. Bayesian approaches to causal estimates are desirable because they provide 1) prior smoothing provides useful regularization of causal effect estimates, 2) flexible models that are robust to misspecification, 3) full inference (i.e. both point and uncertainty estimates) for causal estimands. However, Bayesian causal inference is difficult to implement manually and there is a lack of user-friendly software, presenting a significant barrier to wide-spread use. We address this gap by developing causalBETA (Bayesian Event Time Analysis) - an open-source R package for estimating causal effects on event-time outcomes using Bayesian semiparametric models. The package provides a familiar front-end to users, with syntax identical to existing survival analysis R packages such as survival. At the same time, it back-ends to Stan - a popular platform for Bayesian modeling and high performance statistical computing - for efficient posterior computation. To improve user experience, the package is built using customized S3 class objects and methods to facilitate visualizations and summaries of results using familiar generic functions like plot() and summary(). In this paper, we provide the methodological details of the package, a demonstration using publicly-available data, and computational guidance.


title: MARVEL: Multi-Agent Reinforcement-Learning for Large-Scale Variable Speed Limits

abstract: Variable Speed Limit (VSL) control acts as a promising highway traffic management strategy with worldwide deployment, which can enhance traffic safety by dynamically adjusting speed limits according to real-time traffic conditions. Most of the deployed VSL control algorithms so far are rule-based, lacking generalizability under varying and complex traffic scenarios. In this work, we propose MARVEL (Multi-Agent Reinforcement-learning for large-scale Variable spEed Limits), a novel framework for large-scale VSL control on highway corridors with real-world deployment settings. MARVEL utilizes only sensing information observable in the real world as state input and learns through a reward structure that incorporates adaptability to traffic conditions, safety, and mobility, thereby enabling multi-agent coordination. With parameter sharing among all VSL agents, the proposed framework scales to cover corridors with many agents. The policies are trained in a microscopic traffic simulation environment, focusing on a short freeway stretch with 8 VSL agents spanning 7 miles. For testing, these policies are applied to a more extensive network with 34 VSL agents spanning 17 miles of I-24 near Nashville, TN, USA. MARVEL-based method improves traffic safety by 63.4% compared to the no control scenario and enhances traffic mobility by 58.6% compared to a state-of-the-practice algorithm that has been deployed on I-24. Besides, we conduct an explainability analysis to examine the decision-making process of the agents and explore the learned policy under different traffic conditions. Finally, we test the response of the policy learned from the simulation-based experiments with real-world data collected from I-24 and illustrate its deployment capability.


title: GRI: Graph-based Relative Isomorphism of Word Embedding Spaces

abstract: Automated construction of bilingual dictionaries using monolingual embedding spaces is a core challenge in machine translation. The end performance of these dictionaries relies upon the geometric similarity of individual spaces, i.e., their degree of isomorphism. Existing attempts aimed at controlling the relative isomorphism of different spaces fail to incorporate the impact of semantically related words in the training objective. To address this, we propose GRI that combines the distributional training objectives with attentive graph convolutions to unanimously consider the impact of semantically similar words required to define/compute the relative isomorphism of multiple spaces. Experimental evaluation shows that GRI outperforms the existing research by improving the average P@1 by a relative score of up to 63.6%. We release the codes for GRI at https://github.com/asif6827/GRI.


title: Retrieve-Cluster-Summarize: An Alternative to End-to-End Training for Query-specific Article Generation

abstract: Query-specific article generation is the task of, given a search query, generate a single article that gives an overview of the topic. We envision such articles as an alternative to presenting a ranking of search results. While generative Large Language Models (LLMs) like chatGPT also address this task, they are known to hallucinate new information, their models are secret, hard to analyze and control. Some generative LLMs provide supporting references, yet these are often unrelated to the generated content. As an alternative, we propose to study article generation systems that integrate document retrieval, query-specific clustering, and summarization. By design, such models can provide actual citations as provenance for their generated text. In particular, we contribute an evaluation framework that allows to separately trains and evaluate each of these three components before combining them into one system. We experimentally demonstrate that a system comprised of the best-performing individual components also obtains the best F-1 overall system quality.


title: REMARK-LLM: A Robust and Efficient Watermarking Framework for Generative Large Language Models

abstract: We present REMARK-LLM, a novel efficient, and robust watermarking framework designed for texts generated by large language models (LLMs). Synthesizing human-like content using LLMs necessitates vast computational resources and extensive datasets, encapsulating critical intellectual property (IP). However, the generated content is prone to malicious exploitation, including spamming and plagiarism. To address the challenges, REMARK-LLM proposes three new components: (i) a learning-based message encoding module to infuse binary signatures into LLM-generated texts; (ii) a reparameterization module to transform the dense distributions from the message encoding to the sparse distribution of the watermarked textual tokens; (iii) a decoding module dedicated for signature extraction; Furthermore, we introduce an optimized beam search algorithm to guarantee the coherence and consistency of the generated content. REMARK-LLM is rigorously trained to encourage the preservation of semantic integrity in watermarked content, while ensuring effective watermark retrieval. Extensive evaluations on multiple unseen datasets highlight REMARK-LLM proficiency and transferability in inserting 2 times more signature bits into the same texts when compared to prior art, all while maintaining semantic integrity. Furthermore, REMARK-LLM exhibits better resilience against a spectrum of watermark detection and removal attacks.


title: AI-Based Decadal Predictive Analysis of Twenty Infectious Diseases in China with an Improved BSTS-MCMC Model

abstract: This study embarks on a comprehensive exploration of the decadal trends and future trajectories of twenty distinct infectious diseases in China from 1998 to 2021. A refined Hybrid Bayesian Structural Time Series (BSTS)-Markov Chain Monte Carlo (MCMC) model is employed, intertwining with Long Short-Term Memory (LSTM) networks to dissect intricate relationships amidst population demographics, economic indices, and the evolution of infectious diseases. The findings reveal the persistent prevalence of high incidence diseases in future 10 years, like AIDS, Gonorrhea, and Syphilis, and stable occurrences of middle incidence rate diseases such as Brucellosis and Scarlet Fever, while also foretelling the potential disappearance of lower incidence rate diseases like Cholera, Encephalitis B, and Measles. The study particularly underscores the transformative impact of the COVID-19 pandemic, showcasing its extensive implications on the incidences and management of a plethora of diseases, urging a deeper probe into the nuanced alterations in disease transmission, testing, and reporting modalities amidst global health crises. This research accentuates the critical role of advanced predictive analytics in fostering global preparedness and response mechanisms, and in fortifying the resilience and adaptability of China public health framework against burgeoning infectious disease threats.


title: Faster randomized partial trace estimation

abstract: We develop randomized matrix-free algorithms for estimating partial traces. Our algorithm improves on the typicality-based approach used in [T. Chen and Y-C. Cheng, Numerical computation of the equilibrium-reduced density matrix for strongly coupled open quantum systems, J. Chem. Phys. 157, 064106 (2022)] by deflating important subspaces (e.g. corresponding to the low-energy eigenstates) explicitly. This results in a significant variance reduction for matrices with quickly decaying singular values. We then apply our algorithm to study the thermodynamics of several Heisenberg spin systems, particularly the entanglement spectrum and ergotropy.


title: Weak Diffusive Stability of Roll Solutions at the Zigzag Boundary

abstract: Roll solutions at the zigzag boundary, typically selected by patterns and defects in numerical simulations, are shown to be nonlinearly stable. This result also serves as an example that linear decay weaker than the classical diffusive decay, together with quadratic nonlinearity, still gives nonlinear stability of spatially periodic patterns. Linear analysis reveals that, instead of the classical $t^{-1}$ diffusive decay rate, small perturbations of roll solutions at the zigzag boundary decay with a $t^{-3/4}$ rate along with time, due to the degeneracy of the quadratic term of the continuation of the translational mode of the linearized operator in the Bloch-Fourier spaces. The nonlinear stability proof is based on a decomposition of the neutral translational mode and the faster decaying modes in the Bloch-Fourier space, and a fixed-point argument, demonstrating the irrelevancy of the nonlinear terms.


title: Analytic Evolution for Complex Coupled Tight-Binding Models: Applications to Quantum Light Manipulation

abstract: We present analytic solutions to the evolution in generalized tight-binding models, which consider complex first-neighbor couplings with equal amplitude and arbitrary phases. Our findings provide a powerful tool for efficiently calculating expectation values and correlations within the system, which are otherwise difficult to compute numerically. We apply our results to relevant examples in quantum light manipulation using N-port linear couplers, describing the evolution of single(multi)-mode squeezing, single photon added (subtracted) Gaussian states, and second-order site-to-site photon correlations. Significantly, our analytic results outperform standard numerical calculations. Our study paves the way for a comprehensive mathematical framework describing the spatial evolution of quantum states across a wide range of physical systems governed by the tight-binding model.


title: Density of Toeplitz operators in rotation-invariant Toeplitz algebras

abstract: We use results and techniques from Werner's ``quantum harmonic analysis'' to show that $G$-invariant Toeplitz operators are norm dense in $G$-invariant Toeplitz algebras for all subgroups $G$ of the affine unitary group $U_n\ltimes \mathbb{C}^n$. Additionally, we prove that the quasi-radial Toeplitz operators are dense in the quasi-radial Toeplitz algebra over the Bergman space $\mathcal{A}^2(\mathbb{B}^n)$ and provide a constructive proof of SOT density of Toeplitz operators in the space of all bounded operators.


title: Isomorphism Classes of Idempotent Evolution Algebras

abstract: We showed that isomorphism classes of idempotent evolution algebras are in bijection with the orbits of the semidirect product group of the symmetric group and the torus, considered the combinatoric problem of enumeration of isomorphism classes for these algebras over arbitrary finite fields, derived a general counting formula, and obtained explicit formulas for the numbers of isomorphism classes in dimensions 2, 3, and 4 over any finite field.


title: On Identifying Points of Semantic Shift Across Domains

abstract: The semantics used for particular terms in an academic field organically evolve over time. Tracking this evolution through inspection of published literature has either been from the perspective of Linguistic scholars or has concentrated the focus of term evolution within a single domain of study. In this paper, we performed a case study to identify semantic evolution across different domains and identify examples of inter-domain semantic shifts. We initially used keywords as the basis of our search and executed an iterative process of following citations to find the initial mention of the concepts in the field. We found that a select set of keywords like ``semaphore'', ``polymorphism'', and ``ontology'' were mentioned within Computer Science literature and tracked the seminal study that borrowed those terms from original fields by citations. We marked these events as semantic evolution points. Through this manual investigation method, we can identify term evolution across different academic fields. This study reports our initial findings that will seed future automated and computational methods of incorporating concepts from additional academic fields.


title: No-Regret Learning in Bilateral Trade via Global Budget Balance

abstract: Bilateral trade models the problem of intermediating between two rational agents -- a seller and a buyer -- both characterized by a private valuation for an item they want to trade. We study the online learning version of the problem, in which at each time step a new seller and buyer arrive and the learner has to set prices for them without any knowledge about their (adversarially generated) valuations. In this setting, known impossibility results rule out the existence of no-regret algorithms when budget balanced has to be enforced at each time step. In this paper, we introduce the notion of \emph{global budget balance}, which only requires the learner to fulfill budget balance over the entire time horizon. Under this natural relaxation, we provide the first no-regret algorithms for adversarial bilateral trade under various feedback models. First, we show that in the full-feedback model, the learner can guarantee $\tilde O(\sqrt{T})$ regret against the best fixed prices in hindsight, and that this bound is optimal up to poly-logarithmic terms. Second, we provide a learning algorithm guaranteeing a $\tilde O(T^{3/4})$ regret upper bound with one-bit feedback, which we complement with a $\Omega(T^{5/7})$ lower bound that holds even in the two-bit feedback model. Finally, we introduce and analyze an alternative benchmark that is provably stronger than the best fixed prices in hindsight and is inspired by the literature on bandits with knapsacks.


title: Property-Aware Multi-Speaker Data Simulation: A Probabilistic Modelling Technique for Synthetic Data Generation

abstract: We introduce a sophisticated multi-speaker speech data simulator, specifically engineered to generate multi-speaker speech recordings. A notable feature of this simulator is its capacity to modulate the distribution of silence and overlap via the adjustment of statistical parameters. This capability offers a tailored training environment for developing neural models suited for speaker diarization and voice activity detection. The acquisition of substantial datasets for speaker diarization often presents a significant challenge, particularly in multi-speaker scenarios. Furthermore, the precise time stamp annotation of speech data is a critical factor for training both speaker diarization and voice activity detection. Our proposed multi-speaker simulator tackles these problems by generating large-scale audio mixtures that maintain statistical properties closely aligned with the input parameters. We demonstrate that the proposed multi-speaker simulator generates audio mixtures with statistical properties that closely align with the input parameters derived from real-world statistics. Additionally, we present the effectiveness of speaker diarization and voice activity detection models, which have been trained exclusively on the generated simulated datasets.


title: On groups occurring as absolute centers of finite groups

abstract: Given a construction $f$ on groups, we say that a group $G$ is \textit{$f$-realisable} if there is a group $H$ such that $G\cong f(H)$, and \textit{completely $f$-realisable} if there is a group $H$ such that $G\cong f(H)$ and every subgroup of $G$ is isomorphic to $f(H_1)$ for some subgroup $H_1$ of $H$ and vice versa. Denote by $L(G)$ the absolute center of a group $G$, that is the set of elements of $G$ fixed by all automorphisms of $G$. By using the structure of the automorphism group of a ZM-group, in this paper we prove that cyclic groups $C_N$, $N\in\mathbb{N}^*$, are completely $L$-realisable.


title: Adaptive Fine-tuning based Transfer Learning for the Identification of MGMT Promoter Methylation Status

abstract: Glioblastoma Multiforme (GBM) is an aggressive form of malignant brain tumor with a generally poor prognosis. Treatment usually includes a mix of surgical resection, radiation therapy, and akylating chemotherapy but, even with these intensive treatments, the 2-year survival rate is still very low. O6-methylguanine-DNA methyltransferase (MGMT) promoter methylation has been shown to be a predictive bio-marker for resistance to chemotherapy, but it is invasive and time-consuming to determine the methylation status. Due to this, there has been effort to predict the MGMT methylation status through analyzing MRI scans using machine learning, which only requires pre-operative scans that are already part of standard-of-care for GBM patients. We developed a 3D SpotTune network with adaptive fine-tuning capability to improve the performance of conventional transfer learning in the identification of MGMT promoter methylation status. Using the pretrained weights of MedicalNet coupled with the SpotTune network, we compared its performance with two equivalent networks: one that is initialized with MedicalNet weights, but with no adaptive fine-tuning and one initialized with random weights. These three networks are trained and evaluated using the UPENN-GBM dataset, a public GBM dataset provided by the University of Pennsylvania. The SpotTune network enables transfer learning to be adaptive to individual patients, resulting in improved performance in predicting MGMT promoter methylation status in GBM using MRIs as compared to using a network with randomly initialized weights.


title: Free weakly Novikov metabelian algebra of infinite rank

abstract: An explicit base with multiplication table is obtained for the free weakly Novikov metabelian algebra of infinite rank over an arbitrary field of characteristic $\neq 2$.


title: Nearly Optimal Bounds for Sample-Based Testing and Learning of $k$-Monotone Functions

abstract: We study monotonicity testing of functions $f \colon \{0,1\}^d \to \{0,1\}$ using sample-based algorithms, which are only allowed to observe the value of $f$ on points drawn independently from the uniform distribution. A classic result by Bshouty-Tamon (J. ACM 1996) proved that monotone functions can be learned with $\exp(O(\min\{\frac{1}{\varepsilon}\sqrt{d},d\}))$ samples and it is not hard to show that this bound extends to testing. Prior to our work the only lower bound for this problem was $\Omega(\sqrt{\exp(d)/\varepsilon})$ in the small $\varepsilon$ parameter regime, when $\varepsilon = O(d^{-3/2})$, due to Goldreich-Goldwasser-Lehman-Ron-Samorodnitsky (Combinatorica 2000). Thus, the sample complexity of monotonicity testing was wide open for $\varepsilon \gg d^{-3/2}$. We resolve this question, obtaining a tight lower bound of $\exp(\Omega(\min\{\frac{1}{\varepsilon}\sqrt{d},d\}))$ for all $\varepsilon$ at most a sufficiently small constant. In fact, we prove a much more general result, showing that the sample complexity of $k$-monotonicity testing and learning for functions $f \colon \{0,1\}^d \to [r]$ is $\exp(\Theta(\min\{\frac{rk}{\varepsilon}\sqrt{d},d\}))$. For testing with one-sided error we show that the sample complexity is $\exp(\Theta(d))$. Beyond the hypercube, we prove nearly tight bounds (up to polylog factors of $d,k,r,1/\varepsilon$ in the exponent) of $\exp(\widetilde{\Theta}(\min\{\frac{rk}{\varepsilon}\sqrt{d},d\}))$ on the sample complexity of testing and learning measurable $k$-monotone functions $f \colon \mathbb{R}^d \to [r]$ under product distributions. Our upper bound improves upon the previous bound of $\exp(\widetilde{O}(\min\{\frac{k}{\varepsilon^2}\sqrt{d},d\}))$ by Harms-Yoshida (ICALP 2022) for Boolean functions ($r=2$).


title: Approaches to developing tolerance and error budget for active three mirror anastigmat space telescopes

abstract: The size of the optics used in observatories is often limited by fabrication, metrology, and handling technology, but having a large primary mirror provides significant benefits for scientific research. The evolution of rocket launch options enables heavy payload carrying on orbit and outstretching the telescope's form-factor choices. Moreover, cost per launch is lower than the traditional flight method, which is obviously advantageous for various novel space observatory concepts. The University of Arizona has successfully fabricated many large-scale primary optics for ground-based observatories including the Large Binocular Telescope (LBT, 8.4 meter diameter two primary mirrors), Large Synoptic Survey Telescope (now renamed to Vera C. Rubin Observatory, 8.4 meter diameter monolithic primary and tertiary mirror), and the Giant Magellan Telescope (GMT, 8.4 meter diameter primary mirror seven segments). Launching a monolithic primary mirror into space could bypass many of the difficulties encountered during the assembly and deployment of the segmented primary mirrors. However, it might bring up unprecedented challenges and hurdles, also. We explore and foresee the expected challenges and evaluate them. To estimate the tolerance and optical error budget of a large optical system in space such as three mirror anastigmat telescope, we have developed a methodology that considers various errors from design, fabrication, assembly, and environmental factors.


title: Giant Spin Transport Anisotropy in Magnetic Topological Insulators

abstract: We report on exceptionally long spin transport and giant spin lifetime anisotropy in the gapped surface states of three-dimensional (3D) magnetic topological insulators (MTIs). We examine the properties of these states using the Fu-Kane-Mele Hamiltonian in presence of a magnetic exchange field. The corresponding spin textures of surface states, which are well reproduced by an effective two-band model, hint at a considerable enhancement of the lifetime of out-of-plane spins compared to in-plane spins. This is confirmed by large-scale spin transport simulations for 3D MTIs with disorder. The energy dependence of the spin lifetime anisotropy arises directly from the nontrivial spin texture of the surface states, and is correlated with the onset of the quantum anomalous Hall phase. Our findings suggest novel spin filtering capabilities of the gapped surface MTI states, which could be explored by Hanle spin precession measurements.


title: The CHiME-7 Challenge: System Description and Performance of NeMo Team's DASR System

abstract: We present the NVIDIA NeMo team's multi-channel speech recognition system for the 7th CHiME Challenge Distant Automatic Speech Recognition (DASR) Task, focusing on the development of a multi-channel, multi-speaker speech recognition system tailored to transcribe speech from distributed microphones and microphone arrays. The system predominantly comprises of the following integral modules: the Speaker Diarization Module, Multi-channel Audio Front-End Processing Module, and the ASR Module. These components collectively establish a cascading system, meticulously processing multi-channel and multi-speaker audio input. Moreover, this paper highlights the comprehensive optimization process that significantly enhanced our system's performance. Our team's submission is largely based on NeMo toolkits and will be publicly available.


title: Solving Hard Analogy Questions with Relation Embedding Chains

abstract: Modelling how concepts are related is a central topic in Lexical Semantics. A common strategy is to rely on knowledge graphs (KGs) such as ConceptNet, and to model the relation between two concepts as a set of paths. However, KGs are limited to a fixed set of relation types, and they are incomplete and often noisy. Another strategy is to distill relation embeddings from a fine-tuned language model. However, this is less suitable for words that are only indirectly related and it does not readily allow us to incorporate structured domain knowledge. In this paper, we aim to combine the best of both worlds. We model relations as paths but associate their edges with relation embeddings. The paths are obtained by first identifying suitable intermediate words and then selecting those words for which informative relation embeddings can be obtained. We empirically show that our proposed representations are useful for solving hard analogy questions.


title: Refutation of K2-256b and Rejection of 130 Unconfirmed Transiting Planet Candidates with Gaia DR3 NSS

abstract: Much of the exoplanet discovery efforts over the next several years are largely tasked with finding candidates for the upcoming Ariel mission. This is a role that TESS is well-suited for. Radial velocity follow-up is needed to confirm the planetary nature of these systems, as many of its planet candidates turn out to be eclipsing binary systems with small stellar secondaries. Focused Doppler follow-up to obtain these radial velocities is expensive. The Gaia mission's radial velocity measurements on its target stars are not adequately precise for a general search for orbiting planetary companions. While the RV data has yielded thousands of spectroscopic binary systems, only an extreme minority of these reach into the planetary-mass regime. Nonetheless, they do detect eclipsing binary systems that can masquerade as transiting hot Jupiters. In this work, we compare the Gaia DR3 Non-Single Stars catalogue to the current planet candidate list from TESS and determine several of these candidate planetary systems are actually eclipsing binaries. We find $\sim130$ eclipsing binaries among the TOI and EPIC lists that do not appear to be in the literature, including the previously statistically validated planet K2-256 b. This work illustrates the usefulness of \textit{Gaia} to exoplanet validation efforts and will help guide follow-up efforts for discovering new transiting planets for the Ariel mission by avoiding misdirecting valuable telescope time.


title: VDKMS: Vehicular Decentralized Key Management System for Cellular Vehicular-to-Everything Networks, A Blockchain-Based Approach

abstract: The rapid development of intelligent transportation systems and connected vehicles has highlighted the need for secure and efficient key management systems (KMS). In this paper, we introduce VDKMS (Vehicular Decentralized Key Management System), a novel Decentralized Key Management System designed specifically as an infrastructure for Cellular Vehicular-to-Everything (V2X) networks, utilizing a blockchain-based approach. The proposed VDKMS addresses the challenges of secure communication, privacy preservation, and efficient key management in V2X scenarios. It integrates blockchain technology, Self-Sovereign Identity (SSI) principles, and Decentralized Identifiers (DIDs) to enable secure and trustworthy V2X applications among vehicles, infrastructures, and networks. We first provide a comprehensive overview of the system architecture, components, protocols, and workflows, covering aspects such as provisioning, registration, verification, and authorization. We then present a detailed performance evaluation, discussing the security properties and compatibility of the proposed solution, as well as a security analysis. Finally, we present potential applications in the vehicular ecosystem that can leverage the advantages of our approach.


title: Io's polar volcanic thermal emission indicative of magma ocean and shallow tidal heating models

abstract: The distribution of Io's volcanic activity likely reflects the position and magnitude of internal tidal heating. We use new observations of Io's polar regions by the Juno spacecraft Jovian Infrared Auroral Mapper (JIRAM) to complete near-infrared global coverage, revealing the global distribution and magnitude of thermal emission from Io's currently erupting volcanoes. We show that the distribution of volcanic heat flow from 266 active hot spots is consistent with the presence of a global magma ocean, and/or shallow asthenospheric heating. We find that Io's polar volcanoes are less energetic but about the same in number per unit area than at lower latitudes. We also find that volcanic heat flow in the north polar cap is greater than that in the south. The low volcanic advection seen at Io's poles is therefore at odds with measurements of background temperature showing Io's poles are anomalously warm. We suggest that the differences in volcanic thermal emission from Io's poles compared to that at lower latitudes is indicative of lithospheric dichotomies that inhibit volcanic advection towards Io's poles, particularly in the south polar region.


title: Field theory for mechanical criticality in disordered fiber networks

abstract: Strain-controlled criticality governs the elasticity of jamming and fiber networks. While the upper critical dimension of jamming is believed to be $d_u$=2, non mean-field exponents are observed in numerical studies of 2D and 3D fiber networks. The origins of this remains unclear. In this study we propose a minimal mean-field model for strain-controlled criticality of fiber networks. We then extend this to a phenomenological field theory, in which non mean-field behavior emerges as a result of the disorder in the network structure. We predict that the upper critical dimension for such systems is $d_u$=4 using a Gaussian approximation. Moreover, we identify an order parameter for the phase transition, which has been lacking for fiber networks to date.


title: Extended Interaction Length Laser-Driven Acceleration in a Tunable Dielectric Structure

abstract: The development of long, tunable structures is critical to increasing energy gain in laser-driven dielectric accelerators (DLAs). Here we combine pulse-front-tilt illumination with slab-geometry structures assembled by precisely aligning off-the-shelf 4~mm long transmission gratings to achieve up to 200 keV energy modulation for 6 MeV injected electrons. The effective interaction length is longer than 1~mm, limited by dephasing of the accelerated particles in the structure. The piezo-based independent mounting system for the gratings allows tuning of the gap and field distribution inside the structure.