title: Unifying Static and Dynamic Intermediate Languages for Accelerator Generators

abstract: Compilers for accelerator design languages (ADLs) translate high-level languages into application-specific hardware. ADL compilers rely on a hardware control interface to compose hardware units. There are two choices: static control, which relies on cycle-level timing; or dynamic control, which uses explicit signalling to avoid depending on timing details. Static control is efficient but brittle; dynamic control incurs hardware costs to support compositional reasoning. Piezo is an ADL compiler that unifies static and dynamic control in a single intermediate language (IL). Its key insight is that the IL's static fragment is a refinement of its dynamic fragment: static code admits a subset of the run-time behaviors of the dynamic equivalent. Piezo can optimize code by combining facts from static and dynamic submodules, and it opportunistically converts code from dynamic to static control styles. We implement Piezo as an extension to an existing dynamic ADL compiler, Calyx. We use Piezo to implement an MLIR frontend, a systolic array generator, and a packet-scheduling hardware generator to demonstrate its optimizations and the static-dynamic interactions it enables.


title: Field Theory via Higher Geometry I: Smooth Sets of Fields

abstract: The physical world is fundamentally: (1) field-theoretic, (2) smooth, (3) local, (4) gauged, (5) containing fermions, and last but not least: (6) non-perturbative. Tautologous as this may sound, it is remarkable that the mathematical notion of geometry which reflects all of these aspects -- namely, as we will explain: "supergeometric homotopy theory" -- has received little attention even by mathematicians and remains unknown to most physicists. Elaborate algebraic machinery is known for perturbative field theories, but in order to tackle the deep open questions of the subject, these will need to be lifted to a global geometry of physics. Our aim in this series is, first, to introduce inclined physicists to this theory, second to fill mathematical gaps in the existing literature, and finally to rigorously develop the full power of supergeometric homotopy theory and apply it to the analysis of fermionic (not necessarily super-symmetric) field theories. To warm up, in this first part we explain how classical bosonic Lagrangian field theory (variational Euler-Lagrange theory) finds a natural home in the "topos of smooth sets", thereby neatly setting the scene for the higher supergeometry discussed in later parts of the series. This introductory material will be largely known to a few experts but has never been comprehensively laid out before. A key technical point we make is to regard jet bundle geometry systematically in smooth sets instead of just its subcategories of diffeological spaces or even Fr\'echet manifolds -- or worse simply as a formal object. Besides being more transparent and powerful, it is only on this backdrop that a reasonable supergeometric jet geometry exists, needed for satisfactory discussion of any field theory with fermions.


title: On the non-parabolicity of $Sol_3$

abstract: We prove that $Sol_3$, the isometry group of the Minkowski plane, is non parabolic with respect to any left invariant metric.


title: Resummed heat kernel and effective action for Yukawa and QED

abstract: In this letter, we prove the existence of resummed expressions for the diagonal of the heat kernel and the effective action of a quantum field which interacts with a scalar or an electromagnetic background. Working in an arbitrary number of spacetime dimensions, we propose an Ansatz beyond the Schwinger--DeWitt proposal, effectively resumming an infinite number of invariants which can be constructed from powers of the background, as well as its first and second derivatives in the Yukawa case. This provides a proof of the recent conjecture that all terms containing the invariants $F_{\mu\nu}F^{\mu\nu}$ and $\widetilde F_{\mu\nu}F^{\mu\nu}$ in the proper-time series expansion of the SQED effective action can be resummed. Possible generalizations and several applications are also discussed -- in particular, the existence of an analogue of the Schwinger effect for Yukawa couplings.


title: Hubble Tension and Cosmological Imprints of $U(1)_X$ Gauge Symmetry: $U(1)_{B_3-3 L_i}$ as a case study

abstract: The current upper limit on $N_{\rm eff}$ at the time of CMB by Planck 2018 can place stringent constraints in the parameter space of BSM paradigms where their additional interactions may affect neutrino decoupling. Motivated by this fact in this paper we explore the consequences of light gauge boson ($Z'$) emerging from local $U(1)_X$ symmetry in $N_{\rm eff}$ at the time of CMB. First, we analyze the generic $U(1)_X$ models with arbitrary charge assignments for the SM fermions and show that, in the context of $N_{\rm eff}$ the generic $U(1)_X$ gauged models can be broadly classified into two categories, depending on the charge assignments of first generation leptons. We then perform a detailed analysis with two specific $U(1)_X$ models: $U(1)_{B_3-3L_e}$ and $U(1)_{B_3-3L_\mu}$ and explore the contribution in $N_{\rm eff}$ due to the presence of $Z'$ realized in those models. For comparison, we also showcase the constraints from low energy experiments like: Borexino, Xenon 1T, neutrino trident, etc. We show that in a specific parameter space, particularly in the low mass region of $Z'$, the bound from $N_{\rm eff}$ (Planck 2018) is more stringent than the experimental constraints. Additionally, a part of the regions of the same parameter space may also relax the $H_0$ tension.


title: Bayesian framework to infer the Hubble constant from cross-correlation of individual gravitational wave events with galaxies

abstract: Gravitational waves (GW) from the inspiral of binary compact objects offers a one-step measurement of the luminosity distance to the event, which is essential for the measurement of the Hubble constant, $H_0$, that characterizes the expansion rate of the Universe. However, unlike binary neutron stars, the inspiral of binary black holes is not expected to be accompanied by electromagnetic radiation and a subsequent determination of its redshift. Consequently, independent redshift measurements of such GW events are necessary to measure $H_0$. In this study, we present a novel Bayesian approach to infer $H_0$ from the cross-correlation between galaxies with known redshifts and individual binary black hole merger events. We demonstrate the efficacy of our method with $250$ simulated GW events distributed within $1$ Gpc in colored Gaussian noise of Advanced LIGO and Advanced Virgo detectors operating at O4 sensitivity. We show that such measurements can constrain the Hubble constant with a precision of $\lesssim 15 \%$ ($90\%$ highest density interval). We highlight the potential improvements that need to be accounted for in further studies before the method can be applied to real data.


title: Dynamic solar Primakoff process

abstract: The Primakoff mechanism is one of the primary channels for the production of solar axion. In canonical estimation of the Primakoff photon-axion conversion rate, the recoil effect is neglected and a static structure factor is adopted. By use of the linear response theory, we provide a dynamic description of the solar Primakoff process. It is found that the collective electrons overtake ions as the dominant factor, in contrast to the static screening picture where ions contribute more to the photon-axion conversion. Nonetheless, the resulting axion flux is only 1-2% lower than the standard estimate based on the static structure factor.


title: Incentive-Aware Synthetic Control: Accurate Counterfactual Estimation via Incentivized Exploration

abstract: We consider the setting of synthetic control methods (SCMs), a canonical approach used to estimate the treatment effect on the treated in a panel data setting. We shed light on a frequently overlooked but ubiquitous assumption made in SCMs of "overlap": a treated unit can be written as some combination -- typically, convex or linear combination -- of the units that remain under control. We show that if units select their own interventions, and there is sufficiently large heterogeneity between units that prefer different interventions, overlap will not hold. We address this issue by proposing a framework which incentivizes units with different preferences to take interventions they would not normally consider. Specifically, leveraging tools from information design and online learning, we propose a SCM that incentivizes exploration in panel data settings by providing incentive-compatible intervention recommendations to units. We establish this estimator obtains valid counterfactual estimates without the need for an a priori overlap assumption. We extend our results to the setting of synthetic interventions, where the goal is to produce counterfactual outcomes under all interventions, not just control. Finally, we provide two hypothesis tests for determining whether unit overlap holds for a given panel dataset.


title: Symplectic realizations and Lie groupoids in Poisson Electrodynamics

abstract: We define the gauge potentials of Poisson electrodynamics as sections of a symplectic realization of the spacetime manifold and infinitesimal gauge transformations as a representation of the associated Lie algebroid acting on the symplectic realization. Finite gauge transformations are obtained by integrating the sections of the Lie algebroid to bisections of a symplectic groupoid, which form a one-parameter group of transformations, whose action on the fields of the theory is realized in terms of an action groupoid. A covariant electromagnetic two-form is obtained, together with a dual two-form, invariant under gauge transformations. The duality appearing in the picture originates from the existence of a pair of orthogonal foliations of the symplectic realization, which produce dual quotient manifolds, one related with space-time, the other with momenta.


title: Contribuci\'on de la sem\'antica combinatoria al desarrollo de herramientas digitales multiling\"ues

abstract: This paper describes how the field of Combinatorial Semantics has contributed to the design of three prototypes for the automatic generation of argument patterns in nominal phrases in Spanish, French and German (Xera, Combinatoria and CombiContext). It also shows the importance of knowing about the argument syntactic-semantic interface in a production situation in the context of foreign languages. After a descriptive section on the design, typologie and information levels of the resources, there follows an explanation of the central role of the combinatorial meaning (roles and ontological features). The study deals with different semantic f ilters applied in the selection, organization and expansion of the lexicon, being these key pieces for the generation of grammatically correct and semantically acceptable mono- and biargumental nominal phrases.


title: Birationally rigid hypersurfaces with quadratic singularities of low rank

abstract: It is shown that hypersurfaces of degree $M$ in ${\mathbb P}^M$, $M\geqslant 5$, with at most quadratic singularities of rank at least 3, satisfying certain conditions of general position, are birationally superrigid Fano varieties and the complement to the set of such hypersurfaces is for $M\geqslant 8$ of codimension at least ${M-1 \choose 2} + 1$ with respect to the natural parameter space.


title: Zur Darstellung eines mehrstufigen Prototypbegriffs in der multilingualen automatischen Sprachgenerierung: vom Korpus \"uber word embeddings bis hin zum automatischen W\"orterbuch

abstract: The multilingual dictionary of noun valency Portlex is considered to be the trigger for the creation of the automatic language generators Xera and Combinatoria, whose development and use is presented in this paper. Both prototypes are used for the automatic generation of nominal phrases with their mono- and bi-argumental valence slots, which could be used, among others, as dictionary examples or as integrated components of future autonomous E-Learning-Tools. As samples for new types of automatic valency dictionaries including user interaction, we consider the language generators as we know them today. In the specific methodological procedure for the development of the language generators, the syntactic-semantic description of the noun slots turns out to be the main focus from a syntagmatic and paradigmatic point of view. Along with factors such as representativeness, grammatical correctness, semantic coherence, frequency and the variety of lexical candidates, as well as semantic classes and argument structures, which are fixed components of both resources, a concept of a multi-sided prototype stands out. The combined application of this prototype concept as well as of word embeddings together with techniques from the field of automatic natural language processing and generation (NLP and NLG) opens up a new way for the future development of automatically generated plurilingual valency dictionaries. All things considered, the paper depicts the language generators both from the point of view of their development as well as from that of the users. The focus lies on the role of the prototype concept within the development of the resources.


title: A Quantum Approach to solve N-Queens Problem

abstract: In this work, we have introduced two innovative quantum algorithms: the Direct Column Algorithm and the Quantum Backtracking Algorithm to solve N-Queens problem, which involves the arrangement of $N$ queens on an $N \times N$ chessboard such that they are not under attack from each other on the same row, column and diagonal. These algorithms utilizes Controlled W-states and dynamic circuits, to efficiently address this NP-Complete computational problem. The Direct Column Algorithm strategically reduces the search space, simplifying the solution process, even with exponential circuit complexity as the problem size grows, while Quantum Backtracking Algorithm emulates classical backtracking techniques within a quantum framework which allows the possibility of solving complex problems like satellite communication, routing and VLSI testing.


title: Unraveling the Key Components of OOD Generalization via Diversification

abstract: Supervised learning datasets may contain multiple cues that explain the training set equally well, i.e., learning any of them would lead to the correct predictions on the training data. However, many of them can be spurious, i.e., lose their predictive power under a distribution shift and consequently fail to generalize to out-of-distribution (OOD) data. Recently developed "diversification" methods (Lee et al., 2023; Pagliardini et al., 2023) approach this problem by finding multiple diverse hypotheses that rely on different features. This paper aims to study this class of methods and identify the key components contributing to their OOD generalization abilities. We show that (1) diversification methods are highly sensitive to the distribution of the unlabeled data used for diversification and can underperform significantly when away from a method-specific sweet spot. (2) Diversification alone is insufficient for OOD generalization. The choice of the used learning algorithm, e.g., the model's architecture and pretraining, is crucial. In standard experiments (classification on Waterbirds and Office-Home datasets), using the second-best choice leads to an up to 20\% absolute drop in accuracy. (3) The optimal choice of learning algorithm depends on the unlabeled data and vice versa i.e. they are co-dependent. (4) Finally, we show that, in practice, the above pitfalls cannot be alleviated by increasing the number of diverse hypotheses, the major feature of diversification methods. These findings provide a clearer understanding of the critical design factors influencing the OOD generalization abilities of diversification methods. They can guide practitioners in how to use the existing methods best and guide researchers in developing new, better ones.


title: Mathematical LoRE: Local Recovery of Erasures using Polynomials, Curves, Surfaces, and Liftings

abstract: Employing underlying geometric and algebraic structures allows for constructing bespoke codes for local recovery of erasures. We survey techniques for enriching classical codes with additional machinery, such as using lines or curves in projective space for local recovery sets or products of curves to enhance the availability of data.


title: Recursos lexicogr\'aficos electr\'onicos multiling\"ues y pluriling\"ues: definici\'on y clasificaci\'on tipol\'ogico-descriptiva

abstract: The aim of this paper is to provide a classification of multilingual and plurilingual electronic lexicographic resources which would enable, one the one hand, the implementation of quantitative and qualitative criteria to produce a typological taxonomy of lexicographical tools, such as dictionaries, as opposed to platforms and websites and, on the other, the distinction of multilingual and plurilingual resources in terms of their larger or lesser prototyping degree. In addition to offering a thorough description of the different resources, this paper also puts forward some parameters and typological proposals to define and demarcate a number of electronic resources, particularly multilingual dictionaries and portals, while also outlining, and even questioning, the object of study of multilingual and plurilingual lexicography.


title: Imprints of primordial magnetic fields on intrinsic alignments of galaxies

abstract: Primordial magnetic fields (PMFs) are one of the plausible candidates for the origin of the observed large-scale magnetic fields. While many proposals have been made for the generation mechanism of PMFs by earlier studies, it remains a subject of debate. In this paper, to obtain new insights into PMFs, we focus on the intrinsic alignments (IAs) of galaxies induced by the vector and tensor modes of the anisotropic stress of PMFs. The long-wavelength vector and tensor modes locally induce the tidal gravitational fields, leading to the characteristic distortions of the intrinsic ellipticity of galaxies. We investigate the shear E- and B-mode power spectra induced by the magnetic vector and tensor modes in the three-dimensional space, assuming the combination of galaxy imaging and galaxy redshift surveys. We find that the magnetic tensor mode dominates both the E- and B-mode spectra. In particular, the B-mode spectrum induced by the magnetic tensor mode plays a crucial role in constraining the amplitude of PMFs, even in the presence of the non-magnetic scalar contribution to the B-mode spectrum arising from the one-loop effect. In future galaxy redshift surveys, such as Euclid and Square Kilometre Array, the minimum detectable value reaches $\sim 30 \, \rm nG$, which can potentially get even smaller in proportion to the number of observed galaxies and reach $\sim \mathcal{O}(1 \, {\rm nG})$. Measuring the IAs of galaxies would be a potential probe for PMFs in future galaxy surveys.


title: Non-Invertible Anyon Condensation and Level-Rank Dualities

abstract: We derive new dualities of topological quantum field theories in three spacetime dimensions that generalize the familiar level-rank dualities of Chern-Simons gauge theories. The key ingredient in these dualities is non-abelian anyon condensation, which is a gauging operation for topological lines with non-group-like i.e. non-invertible fusion rules. We find that, generically, dualities involve such non-invertible anyon condensation and that this unifies a variety of exceptional phenomena in topological field theories and their associated boundary rational conformal field theories, including conformal embeddings, and Maverick cosets (those where standard algorithms for constructing a coset model fail.) We illustrate our discussion in a variety of isolated examples as well as new infinite series of dualities involving non-abelian anyon condensation including: i) a new description of the parafermion theory as $(SU(N)_{2} \times Spin(N)_{-4})/\mathcal{A}_{N},$ ii) a new presentation of a series of points on the orbifold branch of $c=1$ conformal field theories as $(Spin(2N)_{2} \times Spin(N)_{-2} \times Spin(N)_{-2})/\mathcal{B}_{N}$, and iii) a new dual form of $SU(2)_{N}$ as $(USp(2N)_{1} \times SO(N)_{-4})/\mathcal{C}_{N}$ arising from conformal embeddings, where $\mathcal{A}_{N}, \mathcal{B}_{N},$ and $\mathcal{C}_{N}$ are appropriate collections of gauged non-invertible bosons.


title: Quantum Secure Protocols for Multiparty Computations

abstract: Secure multiparty computation (MPC) schemes allow two or more parties to conjointly compute a function on their private input sets while revealing nothing but the output. Existing state-of-the-art number-theoretic-based designs face the threat of attacks through quantum algorithms. In this context, we present secure MPC protocols that can withstand quantum attacks. We first present the design and analysis of an information-theoretic secure oblivious linear evaluation (OLE), namely ${\sf qOLE}$ in the quantum domain, and show that our ${\sf qOLE}$ is safe from external attacks. In addition, our scheme satisfies all the security requirements of a secure OLE. We further utilize ${\sf qOLE}$ as a building block to construct a quantum-safe multiparty private set intersection (MPSI) protocol.


title: Invariable generation of finite simple groups and rational homology of coset posets

abstract: We show that every finite simple group is generated invariably by a Sylow subgroup and a cyclic group. It follows that that the order complex of the coset poset of an arbitrary finite group has nontrivial reduced rational homology.


title: Neutrino Lorentz Invariance Violation from Cosmic Fields

abstract: From a cosmological perspective, scalar fields are well-motivated dark matter and dark energy candidates. Several possibilities of neutrino couplings with a time-varying cosmic field have been investigated in the literature. In this work, we present a framework in which violations of Lorentz invariance (LIV) and $CPT$ symmetry in the neutrino sector could arise from an interaction among neutrinos with a time-varying scalar field. Furthermore, some cosmological and phenomenological aspects and constraints concerning this type of interaction are discussed. Potential violations of Lorentz and $CPT$ symmetries at present and future neutrino oscillation experiments such as IceCube and KM3NeT can probe this scenario.


title: Polarization evolution equation for the exchange-strictionally formed II-type multiferroic materials

abstract: The multiferroics are the materials, where single cell of a magnetically order crystal forms an electric dipole moment. We derive equation for the evolution of the macroscopic density of the electric dipole moment (polarization of the system). The derivation is made within the "quantum hydrodynamic" method, which allows to derive equations for the evolution of the macroscopic functions of the quantum systems starting with the microscopic description. In this work we do not consider the microscopic level of individual electrons and ions, but we start our analysis from the combination of ions in cells of the crystal. We present an effective Hamiltonian for the evolution of such intermediate scale objects. We also apply the equation for the electric dipole moment of the single cell, which is recontracted in the corresponding operator. Using this operator and the wave function of combination of ions in the cell, we define the macroscopic density of the electric dipole moment. Finally, we apply the nonstationary Schrodinger equation with the chosen Hamiltonian in order to derive equation evolution of the polarization. The derivation is made for the dipole formed by the exchange-striction mechanism in the II-type multiferroic materials. The interaction caused term in the polarization evolution equation is found to be proportional to the fourth space derivative of mixed product (triple scalar product) of three spin density vectors. Conditions are discussed for the regime, where interaction appears in a smaller order on the space derivatives.


title: Blockchain-Envisioned Post-Quantum Secure Sanitizable Signature for Audit Logs Management

abstract: Audit logs are one of the most important tools for transparently tracking system events and maintaining continuous oversight in corporate organizations and enterprise business systems. There are many cases where the audit logs contain sensitive data, or the audit logs are enormous. In these situations, dealing with a subset of the data is more practical than the entire data set. To provide a secure solution to handle these issues, a sanitizable signature scheme (SSS) is a viable cryptographic primitive. Herein, we first present the first post-quantum secure multivariate-based SSS, namely Mul-SAN. Our proposed design provides unforgeability, privacy, immutability, signer accountability, and sanitizer accountability under the assumption that the MQ problem is NP-hard. Mul-SAN is very efficient and only requires computing field multiplications and additions over a finite field for its implementation. Mul-SAN presents itself as a practical method to partially delegate control of the authenticated data in avenues like the healthcare industry and government organizations. We also explore using Blockchain to provide a tamper-proof and robust audit log mechanism.


title: A new local and explicit kinetic method for linear and non-linear convection-diffusion problems with finite kinetic speeds: II. Multi-dimensional case

abstract: We extend to multi-dimensions the work of [1], where new fully explicit kinetic methods were built for the approximation of linear and non-linear convection-diffusion problems. The fundamental principles from the earlier work are retained: (1) rather than aiming for the desired equations in the strict limit of a vanishing relaxation parameter, as is commonly done in the diffusion limit of kinetic methods, diffusion terms are sought as a first-order correction of this limit in a Chapman-Enskog expansion, (2) introducing a coupling between the conserved variables within the relaxation process by a specifically designed collision matrix makes it possible to systematically match a desired diffusion. Extending this strategy to multi-dimensions cannot, however, be achieved through simple directional splitting, as diffusion is likely to couple space directions with each other, such as with shear viscosity in the Navier-Stokes equations. In this work, we show how rewriting the collision matrix in terms of moments can address this issue, regardless of the number of kinetic waves, while ensuring conservation systematically. This rewriting allows for introducing a new class of kinetic models called \emph{regularized} models, simplifying the numerical methods and establishing connections with Jin-Xin models. Subsequently, new explicit arbitrary high-order kinetic schemes are formulated and validated on standard two-dimensional cases from the literature. Excellent results are obtained in the simulation of a shock-boundary layer interaction, validating their ability to approximate the Navier-Stokes equations with kinetic speeds obeying nothing but a subcharacteristic condition along with a hyperbolic constraint on the time step.


title: Primordial Cosmology of an Emergent-like Universe from Modified Gravity: Reconstruction and Phenomenology Optimization with a Genetic Algorithm

abstract: In this work we consider the realization of a variant emergent Universe scenario in the context of $f(R)$ gravity. We use well-known reconstruction techniques existing in the literature, and we find the approximate form of the vacuum $f(R)$ that reproduces the specific variant emergent Universe scale factor in the large curvature approximation. As we show, in the variant emergent Universe scenario, the Hubble horizon shrinks primordially and the Universe undergoes in an accelerated expansion era. In a perturbation theory approach, the scalar and tensor curvature perturbations can be expressed in terms of the phenomenological indices $\epsilon_i , i=1,3,4$, usually used for inflationary phenomenology, and we extract the spectral indices for the scalar and tensor perturbations, along with the tensor-to-scalar ratio expressed in terms of the perturbation indices. Using a powerful genetic algorithm we investigate in depth the parameter space of the model, quantified by several free parameters, in order to study the viability of the model when this is compared with the Planck 2018 data. We also investigate the implications of the vacuum $f(R)$ gravity we found on the Big Bang nucleosynthesis.


title: The Curtain Model is Not a Quasi-Isometry Invariant of CAT(0) Spaces

abstract: Petyt-Spriano-Zalloum recently developed the notion of a \textit{curtain model}, which is a hyperbolic space associated to any CAT(0) space. It plays a similar role for CAT(0) spaces that curve graphs do for mapping class groups of finite-type surfaces. Those authors asked whether this curtain model is a quasi-isometry invariant, namely if quasi-isometric CAT(0) spaces have quasi-isometric curtain models. In this short note, we provide an explicit example answering this question in the negative.


title: Transparent framework to assess the revision of climate pledges after the first Global Stocktake

abstract: To assess the impact of potential future climate pledges after the first Global Stocktake, we propose a simple, transparent framework for developing emission and temperature scenarios by country. We show that current pledges with unconditional targets lead to global warming of 1.96 (1.39-2.6) degree C by 2100. Further warming could be limited through i) commitment to mid-century net-zero targets for all countries and earlier net-zero targets for developed countries, ii) enhancement of the Global Methane Pledge, and iii) ambitious implementation of the Glasgow Leaders Declaration on Forests and Land Use. Our analysis further shows that overshooting 1.5 degree C is unavoidable, even with supplementary climate engineering strategies, suggesting the need for strategies to limit further overshoot and ultimately reduce the warming towards 1.5 degree C.


title: Effective action of the Horava theory: Cancellation of divergences

abstract: We compute the one-loop effective action of the Horava theory, in its nonprojectable formulation. We take the quantization of the (2+1)-dimensional theory in the Batalin-Fradkin-Vilkovisky formalism, and comment on the extension to the (3+1) case. The second-class constraints and the appropriate gauge-fixing condition are included in the quantization. The ghost fields associated with the second-class constraints can be used to get the integrated form of the effective action, which has the form of a Berezinian. We show that all irregular loops cancel between them in the effective action. The key for the cancellation is the role of the ghosts associated with the second-class constraints. These ghosts form irregular loops that enter in the denominator of the Berezinian, eliminating the irregular loops of the bosonic nonghost sector. Irregular loops produce dangerous divergences; hence their cancellation is an essential step for the consistency of the theory. The cancellation of this kind of divergences is in agreement with the previous analysis done on the (2+1) quantum canonical Lagrangian and its Feynman diagrams.


title: High Fidelity Human Trajectory Tracking Based on Surveillance Camera Data

abstract: Human crowds exhibit a wide range of interesting patterns, and measuring them is of great interest in areas ranging from psychology and social science to civil engineering. While \textit{in situ} measurements of human crowd patterns require large amounts of time and labor to obtain, human crowd experiments may result in statistics different from those that would emerge with a naturally emerging crowd. Here we present a simple, broadly applicable, highly accurate human crowd tracking technique to extract high-fidelity kinematic information from widely available surveillance camera videos. With the proposed technique, researchers can access scientific crowd data on a scale that is orders of magnitude larger than before. In addition to being able to measure an individual's time-resolved position and velocity, our technique also offers high validity time-resolved acceleration and step frequency, and step length. We demonstrate the applicability of our technique by applying it to surveillance camera videos in Tokyo Shinjuku streamed on YouTube and exploiting its high fidelity to expose the hidden contribution of walking speed variance at the crossroad. The high fidelity and simplicity of this powerful technique open up the way to utilize the large volume of existing surveillance camera data around the world for scientific studies.


title: On "Nanoscale thermodynamics needs the concept of a disjoining chemical potential", by W. Dong, Nat. Comm. 10, 1038 (2023)

abstract: In a 2023 Nature Communication, Dong claims that a disjoining chemical potential should be used instead of "Hill's nanothermodynamics" because Hill's subdivision potential "remains elusive to relate...to any experimental observables." Here, I remind readers of the 2000 Letter to Nature where Hill's ideas were adapted to provide improved agreement with the non-classical critical scaling measured in ferromagnetic materials, and where the term "nanothermodynamics" first appeared. I also suggest how adding nanothermodynamics can improve Dong's results for measurements on real systems. Because Dong's claim comes from his failure to recognize the relevance of Hill's work in the original Letter, and in dozens of other publications, I propose how the term nanothermodynamics might be clarified to avoid future confusion.


title: Achieving 100% amplitude modulation depth in a graphene-based tuneable capacitance metamaterial

abstract: Effective control of terahertz radiation requires the development of efficient and fast modulators with a large modulation depth. This challenge is often tackled by using metamaterials, artificial sub-wavelength optical structures engineered to resonate at the desired terahertz frequency. Metamaterial-based devices exploiting graphene as the active tuneable element have been proven to be a highly effective solution for THz modulation. However, whilst the graphene conductivity can be tuned over a wide range, it cannot be reduced to zero due to the gapless nature of graphene, which directly limits the maximum achievable modulation depth for single-layer metamaterial modulators. Here, we demonstrate two novel solutions to circumvent this restriction: Firstly, we excite the modulator from the back of the substrate, and secondly, we incorporate air gaps into the graphene patches. This results in a ground-breaking graphene-metal metamaterial terahertz modulator, operating at 2.0-2.5 THz, which demonstrates a 99.01 % amplitude and a 99.99 % intensity modulation depth at 2.15 THz, with a reconfiguration speed in excess of 3 MHz. Our results open up new frontiers in the area of terahertz technology.


title: Early and Accurate Detection of Tomato Leaf Diseases Using TomFormer

abstract: Tomato leaf diseases pose a significant challenge for tomato farmers, resulting in substantial reductions in crop productivity. The timely and precise identification of tomato leaf diseases is crucial for successfully implementing disease management strategies. This paper introduces a transformer-based model called TomFormer for the purpose of tomato leaf disease detection. The paper's primary contributions include the following: Firstly, we present a novel approach for detecting tomato leaf diseases by employing a fusion model that combines a visual transformer and a convolutional neural network. Secondly, we aim to apply our proposed methodology to the Hello Stretch robot to achieve real-time diagnosis of tomato leaf diseases. Thirdly, we assessed our method by comparing it to models like YOLOS, DETR, ViT, and Swin, demonstrating its ability to achieve state-of-the-art outcomes. For the purpose of the experiment, we used three datasets of tomato leaf diseases, namely KUTomaDATA, PlantDoc, and PlanVillage, where KUTomaDATA is being collected from a greenhouse in Abu Dhabi, UAE. Finally, we present a comprehensive analysis of the performance of our model and thoroughly discuss the limitations inherent in our approach. TomFormer performed well on the KUTomaDATA, PlantDoc, and PlantVillage datasets, with mean average accuracy (mAP) scores of 87%, 81%, and 83%, respectively. The comparative results in terms of mAP demonstrate that our method exhibits robustness, accuracy, efficiency, and scalability. Furthermore, it can be readily adapted to new datasets. We are confident that our work holds the potential to significantly influence the tomato industry by effectively mitigating crop losses and enhancing crop yields.


title: 2RV+HRV and Testing for Strong VS Full Dependence

abstract: Preferential attachment models of network growth are bivariate heavy tailed models for in- and out-degree with limit measures which either concentrate on a ray of positive slope from the origin or on all of the positive quadrant depending on whether the model includes reciprocity or not. Concentration on the ray is called full dependence. If there were a reliable way to distinguish full dependence from not-full, we would have guidance about which model to choose. This motivates investigating tests that distinguish between (i) full dependence; (ii) strong dependence (support of the limit measure is a proper subcone of the positive quadrant); (iii) weak dependence (limit measure concentrates on positive quadrant). We give two test statistics, analyze their asymptotically normal behavior under full and not-full dependence, and discuss applicability using bootstrap methods applied to simulated and real data.


title: Prospects for Detecting Fast Transients with the Radio Telescopes of the Argentine Institute of Radio Astronomy

abstract: Currently, 6 out of 30 known magnetars had pulsed radio emission detected. In this work, we evaluated the possibility of detecting radio transient events from magnetars with the telescopes of the Instituto Argentino de Radioastronom\'ia (IAR). To this aim, we made daily observations of the magnetar XTE~J1810$-$197 from 02-Sep-22 to 30-Nov-22. We analysed the observations by applying ephemeris folding and single pulse searches. We fitted a timing model to our observations and were able to detect the magnetar on 6 of the 36 observing sessions with signal-to-noise ratios at the limit of detectability, $3.3\leq \mathrm{S/N} \leq4.1$. We searched for individual pulses in one of these 6 days and found 7 individual pulses with $8.5\leq \mathrm{S/N} \leq18.8$. The dispersion measure changed slightly between pulses within a range of $178 \leq \textrm{DM} \,[\mathrm{pc\, cm^{-3}}] \leq 182$. The pulse with $\mathrm{S/N}=18.8$ has an associated $\textrm{DM}$ of $180\,\mathrm{pc\, cm^{-3}}$. We confirmed that we can detect pulsed radio emission in the band of $1400-1456\, \mathrm{MHz}$ from magnetars with a time resolution of $146\,\mu s$, being able to detect both integrated pulse profiles and individual pulses.


title: Uniform first order interpretation of the second order theory of countable groups of homeomorphisms

abstract: We show that the first order theory of the homeomorphism group of a compact manifold interprets the full second order theory of countable groups of homeomorphisms of the manifold. The interpretation is uniform across manifolds of bounded dimension. As a consequence, many classical problems in group theory and geometry (e.g.~the linearity of mapping classes of compact $2$--manifolds) are encoded as elementary properties homeomorphism groups of manifolds. Furthermore, the homeomorphism group interprets the Borel and projective hierarchies of the homeomorphism group. Finally, we show that the collection of sentences that isolate the homeomorphism group of a particular manifold, or that isolate the homeomorphism groups of manifolds in general, is not definable in arithmetic, and that membership of particular sentences in these collections cannot be proved in ZFC.


title: LeanVec: Searching vectors faster by making them fit

abstract: Modern deep learning models have the ability to generate high-dimensional vectors whose similarity reflects semantic resemblance. Thus, similarity search, i.e., the operation of retrieving those vectors in a large collection that are similar to a given query, has become a critical component of a wide range of applications that demand highly accurate and timely answers. In this setting, the high vector dimensionality puts similarity search systems under compute and memory pressure, leading to subpar performance. Additionally, cross-modal retrieval tasks have become increasingly common, e.g., where a user inputs a text query to find the most relevant images for that query. However, these queries often have different distributions than the database embeddings, making it challenging to achieve high accuracy. In this work, we present LeanVec, a framework that combines linear dimensionality reduction with vector quantization to accelerate similarity search on high-dimensional vectors while maintaining accuracy. We present LeanVec variants for in-distribution (ID) and out-of-distribution (OOD) queries. LeanVec-ID yields accuracies on par with those from recently introduced deep learning alternatives whose computational overhead precludes their usage in practice. LeanVec-OOD uses two novel techniques for dimensionality reduction that consider the query and database distributions to simultaneously boost the accuracy and the performance of the framework even further (even presenting competitive results when the query and database distributions match). All in all, our extensive and varied experimental results show that LeanVec produces state-of-the-art results, with up to 3.7x improvement in search throughput and up to 4.9x faster index build time over the state of the art.


title: Learning temporal formulas from examples is hard

abstract: We study the problem of learning linear temporal logic (LTL) formulas from examples, as a first step towards expressing a property separating positive and negative instances in a way that is comprehensible for humans. In this paper we initiate the study of the computational complexity of the problem. Our main results are hardness results: we show that the LTL learning problem is NP-complete, both for the full logic and for almost all of its fragments. This motivates the search for efficient heuristics, and highlights the complexity of expressing separating properties in concise natural language.


title: Task Contamination: Language Models May Not Be Few-Shot Anymore

abstract: Large language models (LLMs) offer impressive performance in various zero-shot and few-shot tasks. However, their success in zero-shot and few-shot settings may be affected by task contamination, a potential limitation that has not been thoroughly examined. This paper investigates how zero-shot and few-shot performance of LLMs has changed chronologically over time. Utilizing GPT-3 series models and several other recent open-sourced LLMs, and controlling for dataset difficulty, we find that on datasets released before the LLM training data creation date, LLMs perform surprisingly better than on datasets released after. This strongly indicates that, for many LLMs, there exists task contamination on zero-shot and few-shot evaluation for datasets released prior to the LLMs' training data creation date. Additionally, we utilize training data inspection, task example extraction, and a membership inference attack, which reveal further evidence of task contamination. Importantly, we find that for classification tasks with no possibility of task contamination, LLMs rarely demonstrate statistically significant improvements over simple majority baselines, in both zero and few-shot settings.


title: State-of-the-Art in Nudity Classification: A Comparative Analysis

abstract: This paper presents a comparative analysis of existing nudity classification techniques for classifying images based on the presence of nudity, with a focus on their application in content moderation. The evaluation focuses on CNN-based models, vision transformer, and popular open-source safety checkers from Stable Diffusion and Large-scale Artificial Intelligence Open Network (LAION). The study identifies the limitations of current evaluation datasets and highlights the need for more diverse and challenging datasets. The paper discusses the potential implications of these findings for developing more accurate and effective image classification systems on online platforms. Overall, the study emphasizes the importance of continually improving image classification models to ensure the safety and well-being of platform users. The project page, including the demonstrations and results is publicly available at https://github.com/fcakyon/content-moderation-deep-learning.


title: Universal Pyramid Adversarial Training for Improved ViT Performance

abstract: Recently, Pyramid Adversarial training (Herrmann et al., 2022) has been shown to be very effective for improving clean accuracy and distribution-shift robustness of vision transformers. However, due to the iterative nature of adversarial training, the technique is up to 7 times more expensive than standard training. To make the method more efficient, we propose Universal Pyramid Adversarial training, where we learn a single pyramid adversarial pattern shared across the whole dataset instead of the sample-wise patterns. With our proposed technique, we decrease the computational cost of Pyramid Adversarial training by up to 70% while retaining the majority of its benefit on clean performance and distribution-shift robustness. In addition, to the best of our knowledge, we are also the first to find that universal adversarial training can be leveraged to improve clean model performance.


title: Alternate Training of Shared and Task-Specific Parameters for Multi-Task Neural Networks

abstract: This paper introduces novel alternate training procedures for hard-parameter sharing Multi-Task Neural Networks (MTNNs). Traditional MTNN training faces challenges in managing conflicting loss gradients, often yielding sub-optimal performance. The proposed alternate training method updates shared and task-specific weights alternately, exploiting the multi-head architecture of the model. This approach reduces computational costs, enhances training regularization, and improves generalization. Convergence properties similar to those of the classical stochastic gradient method are established. Empirical experiments demonstrate delayed overfitting, improved prediction, and reduced computational demands. In summary, our alternate training procedures offer a promising advancement for the training of hard-parameter sharing MTNNs.


title: Harnessing the Power of Federated Learning in Federated Contextual Bandits

abstract: Federated learning (FL) has demonstrated great potential in revolutionizing distributed machine learning, and tremendous efforts have been made to extend it beyond the original focus on supervised learning. Among many directions, federated contextual bandits (FCB), a pivotal integration of FL and sequential decision-making, has garnered significant attention in recent years. Despite substantial progress, existing FCB approaches have largely employed their tailored FL components, often deviating from the canonical FL framework. Consequently, even renowned algorithms like FedAvg remain under-utilized in FCB, let alone other FL advancements. Motivated by this disconnection, this work takes one step towards building a tighter relationship between the canonical FL study and the investigations on FCB. In particular, a novel FCB design, termed FedIGW, is proposed to leverage a regression-based CB algorithm, i.e., inverse gap weighting. Compared with existing FCB approaches, the proposed FedIGW design can better harness the entire spectrum of FL innovations, which is concretely reflected as (1) flexible incorporation of (both existing and forthcoming) FL protocols; (2) modularized plug-in of FL analyses in performance guarantees; (3) seamless integration of FL appendages (such as personalization, robustness, and privacy). We substantiate these claims through rigorous theoretical analyses and empirical evaluations.


title: A dynamic theory of entanglement for uniformly accelerated atoms

abstract: We study the entanglement dynamics of accelerated atoms using the theory of open quantum systems. We consider two atoms travelling along different hyperbolic trajectories with different proper times. We use the generalized master equation to discuss the dynamics of a pair of dipoles interacting with the electromagnetic field. The fundamental role played by proper acceleration in the entanglement harvesting and sudden death phenomenon is discussed. Finally, we discuss how the polarization of the atoms affects our results. For some choices of the polarization's configuration, we no longer observe the entanglement harvesting phenomenon.


title: Measurement of the primary Lund jet plane density in proton-proton collisions at $\sqrt{s}$ = 13 TeV

abstract: A measurement is presented of the primary Lund jet plane (LJP) density in inclusive jet production in proton-proton collisions. The analysis uses 138 fb$^{-1}$ of data collected by the CMS experiment at $\sqrt{s}$ = 13 TeV. The LJP, a representation of the phase space of emissions inside jets, is constructed using iterative jet declustering. The transverse momentum $k_\mathrm{T}$ and the splitting angle $\Delta R$ of an emission relative to its emitter are measured at each step of the jet declustering process. The average density of emissions as function of $\ln(k_\mathrm{T}/$GeV) and $\ln(R/\Delta R)$ is measured for jets with distance parameters $R$ = 0.4 or 0.8, transverse momentum $p_\mathrm{T}$ $\gt$ 700 GeV, and rapidity $\vert y\vert$ $\lt$ 1.7. The jet substructure is measured using the charged-particle tracks of the jet. The measured distributions, unfolded to the level of stable particles, are compared with theoretical predictions from simulations and with perturbative quantum chromodynamics calculations. Due to the ability of the LJP to factorize physical effects, these measurements can be used to improve different aspects of the physics modeling in event generators.


title: Convergence and stability results for the particle system in the Stein gradient descent method

abstract: There has been recently a lot of interest in the analysis of the Stein gradient descent method, a deterministic sampling algorithm. It is based on a particle system moving along the gradient flow of the Kullback-Leibler divergence towards the asymptotic state corresponding to the desired distribution. Mathematically, the method can be formulated as a joint limit of time $t$ and number of particles $N$ going to infinity. We first observe that the recent work of Lu, Lu and Nolen (2019) implies that if $t \approx \log \log N$, then the joint limit can be rigorously justified in the Wasserstein distance. Not satisfied with this time scale, we explore what happens for larger times by investigating the stability of the method: if the particles are initially close to the asymptotic state (with distance $\approx 1/N$), how long will they remain close? We prove that this happens in algebraic time scales $t \approx \sqrt{N}$ which is significantly better. The exploited method, developed by Caglioti and Rousset for the Vlasov equation, is based on finding a functional invariant for the linearized equation. This allows to eliminate linear terms and arrive at an improved Gronwall-type estimate.


title: The effect of mechanical degradation on vortex formation and decay in viscoelastic fluids

abstract: Transient dynamics in viscoelastic fluids exhibits notable difference with their Newtonian counterpart. In this work we study the changes in the formation and decay of vortex of viscoelastic fluids due to degradation caused by shear stress. With this aim we performed long duration experiments with solutions of polyacrylamide confined between coaxial cylinders. The azimuthal velocity, acquired through digital particle velocimetry, shows oscillations before reaching a steady state. The vortex development is identified by the overshoot, which represents the difference between the maximum velocity and the stationary velocity. Similarly, during the vortex decay, the azimuthal velocity changes direction, and the relevant parameter is the undershoot, representing the maximum velocity of the transient reverse flow. The experimental results show that overshoot and undershoot are closely related to the changes in the viscoelastic properties caused by the mechanical degradation. This effect opens new perspectives in the characterization of the viscoelastic fluids.


title: An efficient approach to characterize spatio-temporal dependence in cortical surface fMRI data

abstract: Functional magnetic resonance imaging (fMRI) is a neuroimaging technique known for its ability to capture brain activity non-invasively and at fine spatial resolution (2-3mm). Cortical surface fMRI (cs-fMRI) is a recent development of fMRI that focuses on signals from tissues that have neuronal activities, as opposed to the whole brain. cs-fMRI data is plagued with non-stationary spatial correlations and long temporal dependence which, if inadequately accounted for, can hinder downstream statistical analyses. We propose a fully integrated approach that captures both spatial non-stationarity and varying ranges of temporal dependence across regions of interest. More specifically, we impose non-stationary spatial priors on the latent activation fields and model temporal dependence via fractional Gaussian errors of varying Hurst parameters, which can be studied through a wavelet transformation and its coefficients' variances at different scales. We demonstrate the performance of our proposed approach through simulations and an application to a visual working memory task cs-fMRI dataset.


title: Four dimensional topological supergravities from transgression field theory

abstract: In this work, we propose a four-dimensional gauged Wess-Zumino-Witten model, obtained as a dimensional reduction from a transgression field theory invariant under the $\mathcal{N}=1$ Poincar\'{e} supergroup. For this purpose, we consider that the two gauge connections on which the transgression action principle depends are given by linear and non-linear realizations of the gauge group respectively. The field content of the resulting four-dimensional theory is given by the gauge fields of the linear connection, in addition to a set of scalar and spinor multiplets in the same representation of the gauge supergroup, which in turn, correspond to the coordinates of the coset space between the gauge group and the five-dimensional Lorentz group. We then decompose the action in terms of four-dimensional quantities and derive the corresponding equations of motion. We extend our analysis to the non- and ultra- relativistic regime.


title: Demonstration of Real-Time Precision Optical Time Synchronization in a True Three-Node Architecture

abstract: Multi-node optical clock networks will enable future studies of fundamental physics and enable applications in quantum and classical communications as well as navigation and geodesy. We implement the first ever multi-node optical clock network with real-time, relative synchronization over free-space communication channels and precision on the order of 10 fs, realized as a three-node system in a hub-and-spoke topology. In this paper we describe the system and its performance, including a new, independent, out-of-loop verification of two-way optical time synchronization.


title: de Finetti's theorem and the existence of regular conditional distributions and strong laws on exchangeable algebras

abstract: We show the following generalizations of the de Finetti--Hewitt--Savage theorem: Given an exchangeable sequence of random elements, the sequence is conditionally i.i.d. if and only if each random element admits a regular conditional distribution given the exchangeable $\sigma$-algebra (equivalently, the shift invariant or the tail algebra). We use this result, which holds without any regularity or technical conditions, to demonstrate that any exchangeable sequence of random elements whose common distribution is Radon is conditional iid.


title: A simplified approach to the holomorphic discrete series

abstract: A simple new proof of the Harish-Chandra condition, preceded by an expository part on Hermitian symmetric spaces, holomorphic induction, and on some analytic tools.


title: LLMs with User-defined Prompts as Generic Data Operators for Reliable Data Processing

abstract: Data processing is one of the fundamental steps in machine learning pipelines to ensure data quality. Majority of the applications consider the user-defined function (UDF) design pattern for data processing in databases. Although the UDF design pattern introduces flexibility, reusability and scalability, the increasing demand on machine learning pipelines brings three new challenges to this design pattern -- not low-code, not dependency-free and not knowledge-aware. To address these challenges, we propose a new design pattern that large language models (LLMs) could work as a generic data operator (LLM-GDO) for reliable data cleansing, transformation and modeling with their human-compatible performance. In the LLM-GDO design pattern, user-defined prompts (UDPs) are used to represent the data processing logic rather than implementations with a specific programming language. LLMs can be centrally maintained so users don't have to manage the dependencies at the run-time. Fine-tuning LLMs with domain-specific data could enhance the performance on the domain-specific tasks which makes data processing knowledge-aware. We illustrate these advantages with examples in different data processing tasks. Furthermore, we summarize the challenges and opportunities introduced by LLMs to provide a complete view of this design pattern for more discussions.


title: Smuche: Scalar-Multiplicative Caching in Homomorphic Encryption

abstract: Addressing the challenge of balancing security and efficiency when deploying machine learning systems in untrusted environments, such as federated learning, remains a critical concern. A promising strategy to tackle this issue involves optimizing the performance of fully homomorphic encryption (HE). Recent research highlights the efficacy of advanced caching techniques, such as Rache, in significantly enhancing the performance of HE schemes without compromising security. However, Rache is constrained by an inherent limitation: its performance overhead is heavily influenced by the characteristics of plaintext models, specifically exhibiting a caching time complexity of $\mathcal{O}(N)$, where $N$ represents the number of cached pivots based on specific radixes. This caching overhead becomes impractical for handling large-scale data. In this study, we introduce a novel \textit{constant-time} caching technique that is independent of any parameters. The core concept involves applying scalar multiplication to a single cached ciphertext, followed by the introduction of a completely new and constant-time randomness. Leveraging the inherent characteristics of constant-time construction, we coin the term ``Smuche'' for this innovative caching technique, which stands for Scalar-multiplicative Caching of Homomorphic Encryption. We implemented Smuche from scratch and conducted comparative evaluations against two baseline schemes, Rache and CKKS. Our experimental results underscore the effectiveness of Smuche in addressing the identified limitations and optimizing the performance of homomorphic encryption in practical scenarios.


title: Triangular partitions: enumeration, structure, and generation

abstract: A triangular partition is a partition whose Ferrers diagram can be separated from its complement (as a subset of $\mathbb{N}^2$) by a straight line. Having their origins in combinatorial number theory and computer vision, triangular partitions have been studied from a combinatorial perspective by Onn and Sturmfels, and by Corteel et al. under the name plane corner cuts, and more recently by Bergeron and Mazin. In this paper we derive new enumerative, geometric and algorithmic properties of such partitions. We give a new characterization of triangular partitions and the cells that can be added or removed while preserving the triangular condition, and use it to describe the M\"obius function of the restriction of Young's lattice to triangular partitions. We obtain a formula for the number of triangular partitions whose Young diagram fits inside a square, deriving, as a byproduct, a new proof of Lipatov's enumeration theorem for balanced words. Finally, we present an algorithm that generates all the triangular partitions of a given size, which is significantly more efficient than previous ones and allows us to compute the number of triangular partitions of size up to $10^5$.


title: Detection of Asymmetry in the Narrow Fe K$\alpha$ Emission Line in MCG-5-23-16 with Chandra

abstract: Iron K$\alpha$ (Fe K$\alpha$) emission is observed ubiquitously in AGN, and it is a powerful probe of their circumnuclear environment. Examinations of the emission line play a pivotal role in understanding the disk geometry surrounding the black hole. It has been suggested that the torus and the broad line region (BLR) are the origins of emission. However, there is no universal location for the emitting region relative to the BLR. Here, we present an analysis of the narrow component of the Fe K$\alpha$ line in the Seyfert AGN MCG-5-23-16, one of the brightest AGN in X-rays and in Fe K$\alpha$ emission, to localize the emitting region. Spectra derived from Chandra/HETGS observations show asymmetry in the narrow Fe K$\alpha$ line, which has only been confirmed before in the AGN NGC 4151. Models including relativistic Doppler broadening and gravitational redshifts are preferred over simple Gaussians and measure radii consistent with $R \simeq$ 200-650 r$_g$. These results are consistent with those of NGC 4151 and indicate that the narrow Fe K$\alpha$ line in MCG-5-23-16 is primarily excited in the innermost part of the optical broad line region (BLR), or X-ray BLR. Characterizing the properties of the narrow Fe K$\alpha$ line is essential for studying the disk geometries of the AGN population and mapping their innermost regions.


title: Efficient Cost Modeling of Space-filling Curves

abstract: A space-filling curve (SFC) maps points in a multi-dimensional space to one-dimensional points by discretizing the multi-dimensional space into cells and imposing a linear order on the cells. This way, an SFC enables the indexing of multi-dimensional data using a one-dimensional index such as a B+-tree. Choosing an appropriate SFC is crucial, as different SFCs have different effects on query performance. Currently, there are two primary strategies: 1) deterministic schemes, which are computationally efficient but often yield suboptimal query performance, and 2) dynamic schemes, which consider a broad range of candidate SFCs based on cost functions but incur significant computational overhead. Despite these strategies, existing methods cannot efficiently measure the effectiveness of SFCs under heavy query workloads and numerous SFC options. To address this problem, we propose means of constant-time cost estimations that can enhance existing SFC selection algorithms, enabling them to learn more effective SFCs. Additionally, we propose an SFC learning method that leverages reinforcement learning and our cost estimation to choose an SFC pattern efficiently. Experimental studies offer evidence of the effectiveness and efficiency of the proposed means of cost estimation and SFC learning.


title: Effect of detachment on Magnum-PSI ELM-like pulses: II. Spectroscopic analysis and role of molecular assisted reactions

abstract: The linear plasma machine Magnum-PSI can replicate similar conditions to those found in a tokamak at the end of the divertor leg. A dedicated capacitor bank, in parallel to the plasma source, can release a sudden burst of energy, leading to a rapid increase in plasma temperature and density, resulting in a transient heat flux increase of half of an order of magnitude, a so called ELM-like pulse. Throughout both the steady state and the pulse, the neutral pressure in the target chamber is then increased, causing the target to transition from an attached to a detached state. In the first paper related to this study\cite{Federici} direct measurements of the plasma properties are used to qualitatively determine the effect of detachment on the ELM-like pulse. This is used to show the importance of molecular assisted reactions. Molecular processes, and especially molecular activated dissociation, are found to be important in the exchange of potential energy with the plasma, while less so in radiating the energy from the ELM-like pulse. At low target chamber pressure, the plasma generated via ionisation during the part of the ELM-like pulse with the higher temperature is more than that produced by the plasma source, a unique case in linear machines. At high target chamber pressure molecular activated recombination contributes up to a third of the total recombination rate, contributing to the reduction of the target particle flux. Some metrics that estimate the energy lost by the plasma per interactions with neutrals, potentially relevant for the portion of the tokamak divertor leg below $\sim10eV$, are then tentatively obtained.


title: Statistical monitoring of European cross-border physical electricity flows using novel temporal edge network processes

abstract: Conventional modelling of networks evolving in time focuses on capturing variations in the network structure. However, the network might be static from the origin or experience only deterministic, regulated changes in its structure, providing either a physical infrastructure or a specified connection arrangement for some other processes. Thus, to detect change in its exploitation, we need to focus on the processes happening on the network. In this work, we present the concept of monitoring random Temporal Edge Network (TEN) processes that take place on the edges of a graph having a fixed structure. Our framework is based on the Generalized Network Autoregressive statistical models with time-dependent exogenous variables (GNARX models) and Cumulative Sum (CUSUM) control charts. To demonstrate its effective detection of various types of change, we conduct a simulation study and monitor the real-world data of cross-border physical electricity flows in Europe.


title: Designing Fast Quantum Gates with Tunable Couplers: A Reinforcement Learning Approach

abstract: Fast quantum gates are crucial not only for the contemporary era of noisy intermediate-scale quantum devices but also for the prospective development of practical fault-tolerant quantum computing systems. Leakage errors, which arise from data qubits jumping beyond the confines of the computational subspace, are the main challenges in realizing non-adiabatically driven, fast gates. In this letter, we propose and illustrate the usefulness of reinforcement learning (RL) to generate fast two-qubit gates in practical multi-level superconducting qubits. In particular, we show that the RL controller offers great effectiveness in finding piecewise constant gate pulse sequences autonomously that act on two transmon data qubits coupled by a tunable coupler to generate a controlled-Z (CZ) gate with 11 ns gate time and an error rate of $\sim 4\times 10^{-3}$, making it about five times faster than state-of-the-art implementations. Such gate pulse sequences exploit the leakage space judiciously by controlling the leakage dynamics into and out of the computational subspace at appropriate times during the gate application, making it extremely fast.


title: The Noise of the Charge Density Waves in NbSe$_3$ Nanowires -- Contributions of Electrons and Quantum Condensate

abstract: Low-frequency electronic noise in charge-density-wave van der Waals materials has been an important characteristic, providing information about the material quality, phase transitions, and collective current transport. However, the noise sources and mechanisms have not been completely understood, particularly for the materials with a non-fully gapped Fermi surface where the electrical current includes components from individual electrons and the sliding charge-density wave. We investigated noise in nanowires of quasi-one-dimensional NbSe$_3$, focusing on a temperature range near the Pearls transition ~ 145 K. The data analysis allowed us to separate the noise produced by the individual conduction electrons and the quantum condensate of the charge density waves before and after the onset of sliding. The noise as a function of temperature and electric bias reveals several intriguing peaks. We explained the observed features by the depinning threshold field, the creep and sliding of the charge density waves, and the possible existence of the hidden phases. It was found that the charge density wave condensate is particularly noisy at the moment of depinning. The noise of the collective current reduces with the increasing bias voltage in contrast to the noise of the individual electrons. Our results shed light on the behavior of the charge density wave quantum condensate and demonstrate the potential of noise spectroscopy for investigating the properties of low-dimensional quantum materials.


title: Mean-field underdamped Langevin dynamics and its spacetime discretization

abstract: We propose a new method called the N-particle underdamped Langevin algorithm for optimizing a special class of non-linear functionals defined over the space of probability measures. Examples of problems with this formulation include training mean-field neural networks, maximum mean discrepancy minimization and kernel Stein discrepancy minimization. Our algorithm is based on a novel spacetime discretization of the mean-field underdamped Langevin dynamics, for which we provide a new, fast mixing guarantee. In addition, we demonstrate that our algorithm converges globally in total variation distance, bridging the theoretical gap between the dynamics and its practical implementation.


title: DLOT: An Open-Source Application to Assist Human Observers

abstract: Adaptive intelligent educational systems are gaining popularity, offering personalized learning experiences to students based on their individual needs and styles. One crucial feature of such systems is real-time personalized feedback. However, identifying real-time learning processes impacting student performance remains challenging due to data volume constraints. Current research often relies on labor-intensive human observation, which is time-consuming and not scalable. To efficiently collect real-time data, an observation tool is essential. Qualitative/Mixed Method research explores participant experiences in education, social science, and healthcare, utilizing methods like focus groups and observations. However, these methods can be labor-intensive, particularly in maintaining observation time intervals. Existing tools lack comprehensive support for education-focused focus groups and observations. To address these issues, this paper introduces the Data Logging and Organizational Tool (DLOT), a flexible tool designed for qualitative studies with human observers. DLOT offers customizable time intervals, cross-platform compatibility, and data saving and sharing options. The tool empowers observers to log timestamped data and is available on GitHub. The DLOT was validated through two studies. The first study predicted students' affective states using real-time annotations collected via DLOT, observing 30 students in each class. The second study created multimodal datasets in a computer-enabled learning environment, observing 38 students individually. A successful usability test was conducted, offering a potential solution to challenges in real-time learning process identification and labor-intensive qualitative research observation.


title: Keeping Teams in the Game: Predicting Dropouts in Online Problem-Based Learning Competition

abstract: Online learning and MOOCs have become increasingly popular in recent years, and the trend will continue, given the technology boom. There is a dire need to observe learners' behavior in these online courses, similar to what instructors do in a face-to-face classroom. Learners' strategies and activities become crucial to understanding their behavior. One major challenge in online courses is predicting and preventing dropout behavior. While several studies have tried to perform such analysis, there is still a shortage of studies that employ different data streams to understand and predict the drop rates. Moreover, studies rarely use a fully online team-based collaborative environment as their context. Thus, the current study employs an online longitudinal problem-based learning (PBL) collaborative robotics competition as the testbed. Through methodological triangulation, the study aims to predict dropout behavior via the contributions of Discourse discussion forum 'activities' of participating teams, along with a self-reported Online Learning Strategies Questionnaire (OSLQ). The study also uses Qualitative interviews to enhance the ground truth and results. The OSLQ data is collected from more than 4000 participants. Furthermore, the study seeks to establish the reliability of OSLQ to advance research within online environments. Various Machine Learning algorithms are applied to analyze the data. The findings demonstrate the reliability of OSLQ with our substantial sample size and reveal promising results for predicting the dropout rate in online competition.


title: Polygon Detection from a Set of Lines

abstract: Detecting polygons defined by a set of line segments in a plane is an important step in analyzing vector drawings. This paper presents an approach combining several algorithms to detect basic polygons from arbitrary line segments. The resulting algorithm runs in polynomial time and space, with complexities of $O\bigl((N + M)^4\bigr)$ and $O\bigl((N + M)^2\bigr)$, where $N$ is the number of line segments and $M$ is the number of intersections between line segments. Our choice of algorithms was made to strike a good compromise between efficiency and ease of implementation. The result is a simple and efficient solution to detect polygons from lines.


title: Robustness Verification for Knowledge-Based Logic of Risky Driving Scenes

abstract: Many decision-making scenarios in modern life benefit from the decision support of artificial intelligence algorithms, which focus on a data-driven philosophy and automated programs or systems. However, crucial decision issues related to security, fairness, and privacy should consider more human knowledge and principles to supervise such AI algorithms to reach more proper solutions and to benefit society more effectively. In this work, we extract knowledge-based logic that defines risky driving formats learned from public transportation accident datasets, which haven't been analyzed in detail to the best of our knowledge. More importantly, this knowledge is critical for recognizing traffic hazards and could supervise and improve AI models in safety-critical systems. Then we use automated verification methods to verify the robustness of such logic. More specifically, we gather 72 accident datasets from Data.gov and organize them by state. Further, we train Decision Tree and XGBoost models on each state's dataset, deriving accident judgment logic. Finally, we deploy robustness verification on these tree-based models under multiple parameter combinations.


title: Active Third-Person Imitation Learning

abstract: We consider the problem of third-person imitation learning with the additional challenge that the learner must select the perspective from which they observe the expert. In our setting, each perspective provides only limited information about the expert's behavior, and the learning agent must carefully select and combine information from different perspectives to achieve competitive performance. This setting is inspired by real-world imitation learning applications, e.g., in robotics, a robot might observe a human demonstrator via camera and receive information from different perspectives depending on the camera's position. We formalize the aforementioned active third-person imitation learning problem, theoretically analyze its characteristics, and propose a generative adversarial network-based active learning approach. Empirically, we demstrate that our proposed approach can effectively learn from expert demonstrations and explore the importance of different architectural choices for the learner's performance.


title: Dealing with the data imbalance problem on pulsar candidates sifting based on feature selection

abstract: Pulsar detection has become an active research topic in radio astronomy recently. One of the essential procedures for pulsar detection is pulsar candidate sifting (PCS), a procedure of finding out the potential pulsar signals in a survey. However, pulsar candidates are always class-imbalanced, as most candidates are non-pulsars such as RFI and only a tiny part of them are from real pulsars. Class imbalance has greatly damaged the performance of machine learning (ML) models, resulting in a heavy cost as some real pulsars are misjudged. To deal with the problem, techniques of choosing relevant features to discriminate pulsars from non-pulsars are focused on, which is known as {\itshape feature selection}. Feature selection is a process of selecting a subset of the most relevant features from a feature pool. The distinguishing features between pulsars and non-pulsars can significantly improve the performance of the classifier even if the data are highly imbalanced.In this work, an algorithm of feature selection called {\itshape K-fold Relief-Greedy} algorithm (KFRG) is designed. KFRG is a two-stage algorithm. In the first stage, it filters out some irrelevant features according to their K-fold Relief scores, while in the second stage, it removes the redundant features and selects the most relevant features by a forward greedy search strategy. Experiments on the dataset of the High Time Resolution Universe survey verified that ML models based on KFRG are capable for PCS, correctly separating pulsars from non-pulsars even if the candidates are highly class-imbalanced.


title: An Episode of Occultation Events in Gaia21bcv

abstract: A previously unremarkable star near the Canis Major OB1/R1 association underwent an episode of multiple deep brightness minima. Light curves based on archival Gaia, ZTF, NEOWISE data and additional observations from LCO and UKIRT show that the star was not variable prior to 2019 Aug 18 (MJD 58700), and on that date started showing brightness dips of up to 3 magnitudes in the Gaia G and ZTF r bandpasses. After MJD 59500, ~800 days after the onset of these dipping events, the star returned to its previous brightness, and no significant dipping events have been recorded since. Compared to the stable phase, NEOWISE infrared photometry in the W1 and W2 bands indicates a generally redder color, and both decreases and increases in brightness at different times during the dipping episode. The spectrum of Gaia21bcv taken after the end of the dipping episode shows several neutral and ionized metal absorption lines, including Li, indicating a spectral type of ~ K5. Variable emission from [OI] was observed. The H alpha absorption in Gaia21bcv is too faint and irregular for this spectral type, indicating that the line is partly filled in by variable emission, a signature of weak episodic accretion. Gaia21bcv lies above the zero-age main sequence, but is much fainter than typical R CrB stars. We interpret the light curve of Gaia21bcv as being similar to the occultation events in Epsilon Aurigae, i.e., occultation by a disk around a companion object orbiting the primary star.


title: On existence, uniqueness and radiality of normalized solutions to Schr\"{o}dinger-Poisson equations with non-autonomous nonlinearity

abstract: We investigate the existence, uniqueness, and radial symmetry of normalized solutions to the Schr\"{o}dinger Poisson equation with non-autonomous nonlinearity $f(x,u)$: \begin{equation} -\triangle u+(|x|^{-1}*|u|^2)u=f(x,u)+\lambda u, \nonumber \end{equation} subject to the constraint $\mathcal{S}_c=\{u\in H^1(\mathbb{R}^3)|\int_{\mathbb{R}^3}u^2=c>0 \}$. We consider three cases based on the behavior of $f(x,u)$: the $L^2$ supercritical case, the $L^2$ subcritical case with growth speed less than three power times, and the $L^2$ subcritical case with growth speed more than three power times. We establish the existence of solutions using three different methods depending on $f(x,u)$. Furthermore, we demonstrate the uniqueness and radial symmetry of normalized solutions using an implicit function framework when $c$ is small.


title: Allison-Benkart-Gao functor and the free non-unital alternative algebras

abstract: Let $k$ be a field of characteristic $0$. We introduce a pair of adjoint functors, Allison-Benkart-Gao functor $\mathcal{ABG}$ and Berman-Moody functor $\mathcal{BM}$, between the category of non-unital alternative algebras over $k$ and the category ${\text{\bf Lie}_{\text{R}}}$ of Lie algebras with appropriate $sl_3(k)$-module structures. Surprisingly, when $A$ is a non-unital alternative algebra, the Allison-Gao Lie algebra $\mathcal{ABG}(A)$ is different from the more well-known Steinberg Lie algebra $st_3(A)$. Next, let $A(D)$ be the free (non-unit) alternative algebra generated by $D$ elements and $\text{Inner} A(D)$ the inner derivation algebra of $A(D)$. A conjecture on the homology of $H_r(\mathcal{ABG}(A(D)))$ is proposed. Let $A(D)_n$(resp. $\text{Inner} A(D)_n$) be the degree $n$ component of $A(D)_n$(resp. $\text{Inner} A(D)_n$). The previous conjecture implies another conjecture on the dimensions on $A(D)_n$ and $\text{Inner} A(D)_n$. We also give some evidences to support the these conjectures.


title: Nearly Tight Bounds For Differentially Private Min $s$-$t$ and Multiway Cut

abstract: Finding min $s$-$t$ cuts in graphs is a basic algorithmic tool with applications in image segmentation, community detection, reinforcement learning, and data clustering. In this problem, we are given two nodes as terminals, and the goal is to remove the smallest number of edges from the graph so that these two terminals are disconnected. We study the complexity of differential privacy for the min $s$-$t$ cut problem and show nearly tight lower and upper bounds where we achieve privacy at no cost for running time efficiency. We also develop a differentially private algorithm for the multiway $k$-cut problem, in which we are given $k$ nodes as terminals that we would like to disconnect. As a function of $k$, we obtain privacy guarantees that are exponentially more efficient than applying the advanced composition theorem to known algorithms for multiway $k$-cut. Finally, we empirically evaluate the approximation of our differentially private min $s$-$t$ cut algorithm and show that it almost matches the quality of the output of non-private ones.


title: The polynomial cluster value problem for Banach spaces

abstract: We reduce the polynomial cluster value problem on separable Banach spaces to those spaces which are $\ell_1$ sums of a sequence of finite dimensional spaces.


title: Convergence of Ginzburg-Landau expansions: superconductivity in the Bardeen-Cooper-Schrieffer theory and chiral symmetry breaking in the Nambu-Jona-Lasinio model

abstract: We study the convergence of the Ginzburg-Landau (GL) expansion in the context of the Bardeen-Cooper-Schrieffer (BCS) theory for superconductivity and the Nambu-Jona-Lasinio (NJL) model for chiral symmetry breaking at finite temperature $T$ and chemical potential $\mu$. We present derivations of the all-order formulas for the coefficients of the GL expansions in both systems under the mean-field approximation. We show that the convergence radii for the BCS gap $\Delta$ and dynamical quark mass $M$ are given by $\Delta_\text{conv} = \pi T$ and $M_\text{conv} = \sqrt{\mu^2 + (\pi T)^2}$, respectively. We also discuss the implications of these results and the quantitative reliability of the GL expansion near the first-order chiral phase transition.


title: Limiting behavior of bilinear forms for the resolvent of sample covariance matrices under elliptical distribution with applications

abstract: In this paper, we introduce a joint central limit theorem (CLT) for specific bilinear forms, encompassing the resolvent of the sample covariance matrix under an elliptical distribution. Through an exhaustive exploration of our theoretical findings, we unveil a phase transition in the limiting parameters that relies on the moments of the random radius in our derived CLT. Subsequently, we employ the established CLT to address two statistical challenges under elliptical distribution. The first task involves deriving the CLT for eigenvector statistics of the sample covariance matrix. The second task aims to ascertain the limiting properties of the spiked sample eigenvalues under a general spiked model. As a byproduct, we discover that the eigenmatrix of the sample covariance matrix under a light-tailed elliptical distribution satisfies the necessary conditions for asymptotic Haar, thereby extending the Haar conjecture to broader distributions.


title: LLM Factoscope: Uncovering LLMs' Factual Discernment through Inner States Analysis

abstract: Large Language Models (LLMs) have revolutionized various domains with extensive knowledge and creative capabilities. However, a critical issue with LLMs is their tendency to produce outputs that diverge from factual reality. This phenomenon is particularly concerning in sensitive applications such as medical consultation and legal advice, where accuracy is paramount. In this paper, we introduce the LLM factoscope, a novel Siamese network-based model that leverages the inner states of LLMs for factual detection. Our investigation reveals distinguishable patterns in LLMs' inner states when generating factual versus non-factual content. We demonstrate the LLM factoscope's effectiveness across various architectures, achieving over 96% accuracy in factual detection. Our work opens a new avenue for utilizing LLMs' inner states for factual detection and encourages further exploration into LLMs' inner workings for enhanced reliability and transparency.


title: Quantum Phase Estimations of Benzene and Its Derivatives on GPGPU Quantum Simulators

abstract: Quantum computers are expected to perform the full con-figuration interaction calculations with fewer computa-tional resources compared to classical ones, thanks to the use of the quantum phase estimation (QPE) algorithms. However, only limited number of the QPE-based quantum chemical calculations have been reported even on the numerical simulations on a classical computer, focusing on small molecules of up to five atoms. In this paper, we performed quantum chemical calculations of electronic ground and excited states on industrially important mole-cules using the iterative QPE algorithms. With the simula-tor based on a single-GPGPU, we observed the speedup compared to the ones based on multi-CPUs. We also con-firmed the feasibility of this method using a quantum simulator and evaluated the {\pi}-{\pi}* excitation energies of benzene and its mono-substituted derivatives. Our meth-od is easily applicable to other molecules and can be a standard approach for performing the QPE-based quan-tum chemical calculations of practical molecules.


title: Acoustics-based Active Control of Unsteady Flow Dynamics using Reinforcement Learning Driven Synthetic Jets

abstract: Noise generated by vortices is a sensible measure of the strength of wakes generated in a flow field. This paper presents an innovative approach to actively control wakes and noise generated in a flow past a cylinder using deep reinforcement learning (DRL) as a continuously learning active control algorithm with noise levels recorded using acoustic level around the wake region. The two primary objectives of this study is to investigate the feasibility and effectiveness of use of acoustic level as controlling parameter and employing DRL algorithms to optimize the control of flow dynamics. A hydrophone array is utilised to capture the wake pattern along the flow field downstream of a circular cylinder in the form of acoustic signals. The collected data are used to create a real-time feedback loop for a DRL agent to adjust jet actuators strategically placed on the cylinder's surface. This approach enables the agent to learn and adapt its control strategy based on the observed acoustic feedback, resulting in a closed-loop control system. We demonstrate that the DRL-based flow control strategy can effectively reduce wake amplitude and the noise generated. The noise level reduces by an appreciable 6.9\% and 9.5\% in the given setting for two control configurations. Similarly, the drag coefficient reduces by a remarkable 15.9\% and 23.8\% respectively. Specifically, it reduces the oscillation amplitude in drag and noise. The proposed method offers promising results in terms of reducing flow-induced vibration. The paper highlights the potential for using DRL, jets, and hydrophone arrays in active flow control, opening new avenues for optimizing flow control in practical engineering applications.


title: Heavy-Traffic Optimal Size- and State-Aware Dispatching

abstract: Dispatching systems, where arriving jobs are immediately assigned to one of multiple queues, are ubiquitous in computer systems and service systems. A natural and practically relevant model is one in which each queue serves jobs in FCFS (First-Come First-Served) order. We consider the case where the dispatcher is size-aware, meaning it learns the size (i.e. service time) of each job as it arrives; and state-aware, meaning it always knows the amount of work (i.e. total remaining service time) at each queue. While size- and state-aware dispatching to FCFS queues has been extensively studied, little is known about optimal dispatching for the objective of minimizing mean delay. A major obstacle is that no nontrivial lower bound on mean delay is known, even in heavy traffic (i.e. the limit as load approaches capacity). This makes it difficult to prove that any given policy is optimal, or even heavy-traffic optimal. In this work, we propose the first size- and state-aware dispatching policy that provably minimizes mean delay in heavy traffic. Our policy, called CARD (Controlled Asymmetry Reduces Delay), keeps all but one of the queues short, then routes as few jobs as possible to the one long queue. We prove an upper bound on CARD's mean delay, and we prove the first nontrivial lower bound on the mean delay of any size- and state-aware dispatching policy. Both results apply to any number of servers. Our bounds match in heavy traffic, implying CARD's heavy-traffic optimality. In particular, CARD's heavy-traffic performance improves upon that of LWL (Least Work Left), SITA (Size Interval Task Assignment), and other policies from the literature whose heavy-traffic performance is known.


title: Automating Knowledge Acquisition for Content-Centric Cognitive Agents Using LLMs

abstract: The paper describes a system that uses large language model (LLM) technology to support the automatic learning of new entries in an intelligent agent's semantic lexicon. The process is bootstrapped by an existing non-toy lexicon and a natural language generator that converts formal, ontologically-grounded representations of meaning into natural language sentences. The learning method involves a sequence of LLM requests and includes an automatic quality control step. To date, this learning method has been applied to learning multiword expressions whose meanings are equivalent to those of transitive verbs in the agent's lexicon. The experiment demonstrates the benefits of a hybrid learning architecture that integrates knowledge-based methods and resources with both traditional data analytics and LLMs.


title: Photovoltaic power forecasting using quantum machine learning

abstract: Predicting solar panel power output is crucial for advancing the energy transition but is complicated by the variable and non-linear nature of solar energy. This is influenced by numerous meteorological factors, geographical positioning, and photovoltaic cell properties, posing significant challenges to forecasting accuracy and grid stability. Our study introduces a suite of solutions centered around hybrid quantum neural networks designed to tackle these complexities. The first proposed model, the Hybrid Quantum Long Short-Term Memory, surpasses all tested models by over 40% lower mean absolute and mean squared errors. The second proposed model, Hybrid Quantum Sequence-to-Sequence neural network, once trained, predicts photovoltaic power with 16% lower mean absolute error for arbitrary time intervals without the need for prior meteorological data, highlighting its versatility. Moreover, our hybrid models perform better even when trained on limited datasets, underlining their potential utility in data-scarce scenarios. These findings represent a stride towards resolving time series prediction challenges in energy power forecasting through hybrid quantum models, showcasing the transformative potential of quantum machine learning in catalyzing the renewable energy transition.


title: Analytic continuation of the finite-volume three-particle amplitudes

abstract: One has to study multivariable scattering amplitudes to extract properties of the three-body states from the generalizations of the L\"uscher finite-volume formalism. In particular, a three-body amplitude obtained from a Lattice QCD calculation must be analytically continued to unphysical Riemann sheets of the complex energy plane, where resonances of interest appear as poles. In this article, we provide a pedagogical overview of a method for solving and analytically continuing the on-shell integral equations describing a three-body elastic scattering process. We illustrate the procedure by applying it to a relativistic system of three identical bosons characterized by pair-wise interactions. We describe the analytic structure of the reaction amplitude, show how to access its physical and unphysical Riemann sheets, and analyze the behavior of the three-body spectrum under variations of the interaction parameters.


title: Frame Structure and Protocol Design for Sensing-Assisted NR-V2X Communications

abstract: The emergence of the fifth-generation (5G) New Radio (NR) technology has provided unprecedented opportunities for vehicle-to-everything (V2X) networks, enabling enhanced quality of services. However, high-mobility V2X networks require frequent handovers and acquiring accurate channel state information (CSI) necessitates the utilization of pilot signals, leading to increased overhead and reduced communication throughput. To address this challenge, integrated sensing and communications (ISAC) techniques have been employed at the base station (gNB) within vehicle-to-infrastructure (V2I) networks, aiming to minimize overhead and improve spectral efficiency. In this study, we propose novel frame structures that incorporate ISAC signals for three crucial stages in the NR-V2X system: initial access, connected mode, and beam failure and recovery. These new frame structures employ 75% fewer pilots and reduce reference signals by 43.24%, capitalizing on the sensing capability of ISAC signals. Through extensive link-level simulations, we demonstrate that our proposed approach enables faster beam establishment during initial access, higher throughput and more precise beam tracking in connected mode with reduced overhead, and expedited detection and recovery from beam failures. Furthermore, the numerical results obtained from our simulations showcase enhanced spectrum efficiency, improved communication performance and minimal overhead, validating the effectiveness of the proposed ISAC-based techniques in NR V2I networks.


title: What Determines the Physical Size of a H2O Megamaser Disk ?

abstract: High precision mapping of H2O megamaser emissions from active galaxies have revealed more than a dozen of Keplerian H2O aser disks that enable a ~4% Hubble constant measurement and provide accurate black hole masses. The maser disks that allow for these important astrophysical applications usually display clear inner and outer edges at sub-parsec scales. It is still unclear what causes these boundaries and how their radii are determined. To understand whether the physical conditions favorable for population inversion of H2O molecules can determine the inner and outer radii of a maser disk, we examine the distributions of gas density and X-ray heating rate in a warped molecular disk described by power-law surface density profile. With a suitable choice of the disk mass, we find that the outer radius R_out of the maser disk predicted from our model can match the observed value, with R_out mainly determined by the maximum heating rate or the minimum density for efficient maser action, depending on the combination of the Eddington ratio, black hole mass and disk mass. Our analysis also suggests that the inner edge of a maser disk often lie close to the dust sublimation radius, suggesting that the physical conditions of the dusts may play a role in defining inner boundary of the disk. Finally, our model predicts that H2O "gigamaser" disks could possibly exist at the center of high-z quasars, with disk size of >~10-30 pc.