title: Impact of bunch intensity asymmetry in colliders featuring strong beamstrahlung

abstract: An analytical investigation of beamstrahlung-induced blow-up in Gaussian beams with arbitrary dimensions is presented, using various approximations for the strength of the hourglass effect and crab waist scheme. The results, applied to the FCC-ee resonances, are compared with simulations and previous calculations, and relative luminosity values are also calculated. The stability of resultant conformations are analysed to rule out the existence of a flip-flop phenomenon in the longitudinal plane analogous to the well-known transverse counterpart. Implications for the top-up injection procedures are discussed, and a phenomenological model is proposed to study the transverse-longitudinal coupling in the blowup dynamics.


title: Equivalence of regular spinor fields

abstract: In the Lounesto classification, there are three types of regular spinors. They are classified by the condition that at least one of the scalar or pseudo scalar norms are non-vanishing. The Dirac spinors are regular spinors because their scalar and pseudo scalar norms are non-zero and zero respectively. We construct local and Lorentz-covariant fermionic fields from all three classes of regular spinors. By computing the invariants and bilinear covariants of the regular spinor fields, we show that they are physically equivalent to the Dirac fields in the sense that whatever interactions one writes down using the regular spinor fields, they can always be expressed in terms of the Dirac fields.


title: Lower bounds on bipartite entanglement in noisy graph states

abstract: Graph states are a key resource for a number of applications in quantum information theory. Due to the inherent noise in noisy intermediate-scale quantum (NISQ) era devices, it is important to understand the effects noise has on the usefulness of graph states. We consider a noise model where the initial qubits undergo depolarizing noise before the application of the CZ operations that generate edges between qubits situated at the nodes of the resulting graph state. For this model we develop a method for calculating the coherent information -- a lower bound on the rate at which entanglement can be distilled, across a bipartition of the graph state. We also identify some patterns on how adding more nodes or edges affects the bipartite distillable entanglement. As an application, we find a family of graph states that maintain a strictly positive coherent information for any amount of (non-maximal) depolarizing noise.


title: On the universal validity of Case B recombination theory

abstract: In an ongoing search for low-mass extreme emission line galaxies, we identified a galaxy with a Ha/Hb Balmer line ratio of 2.620 +- 0.078. Ha/Hb Balmer ratios lower than the dust-free Case~B value appear relatively frequently in extreme emission line galaxies. These low values suggest that the Case~B assumption may not be valid in these objects. After ruling out the possibility that the low Ha/Hb ratio is due to systematic errors introduced by observational effects, we use constraints from the total Hb luminosity, the [OIII]/[OII] line ratio and the Balmer line equivalent widths, to suggest that the gas is optically thick to both Ha and Lya photons, and the geometry and orientation of the scattering gas causes Ha photons to be preferentially removed from the line of sight with respect to higher order Balmer series photons. Finally, we use data from the SDSS survey to show that Balmer self-absorption may be more important than previously assumed in high excitation emission line galaxies, where Lya pumping of the hydrogen excited state can be effective. If not recognized, Balmer self-absorption could lead to inaccurate estimates of galaxy physical properties. As an example, the effect of dust extinction could be over-estimated, for spherically symmetric scattering medium, or under-estimated, for a not spherically-symmetric distribution.


title: Theoretical research on generative diffusion models: an overview

abstract: Generative diffusion models showed high success in many fields with a powerful theoretical background. They convert the data distribution to noise and remove the noise back to obtain a similar distribution. Many existing reviews focused on the specific application areas without concentrating on the research about the algorithm. Unlike them we investigated the theoretical developments of the generative diffusion models. These approaches mainly divide into two: training-based and sampling-based. Awakening to this allowed us a clear and understandable categorization for the researchers who will make new developments in the future.


title: Influence of Auger heating and Shockley-Read-Hall recombination on hot carrier dynamics in InGaAs nanowires

abstract: Understanding the origin of hot carrier relaxation in nanowires (NWs) with one-dimensional (1D) geometry is significant for designing efficient hot carrier solar cells with such nanostructures. Here, we study the influence of Auger heating and Shockley-Read-Hall recombination on hot carrier dynamics of catalyst-free InGaAs-InAlAs core-shell NWs. Using steady-state and time-resolved photoluminescence (PL) spectroscopy the dependencies of hot carrier effects on the degree of confinement of photo-generated carriers induced by the nanowire diameter are determined at different lattice temperatures. Analysis of excitation-power dependent data and temperature-dependent PL linewidth broadening reveal that at low temperatures, strong Auger recombination and phonon-bottleneck are responsible for hot carrier effects. Our analysis gives also insights into electron-phonon and ionized impurity scattering, showing opposing trends with NW diameter, and it allows to estimate the Fr\"ohlich coupling constant for the InGaAs NWs. Conversely, with increasing lattice temperature, hot carrier relaxation rates increase due to enhanced Shockley-Read Hall and surface recombination. Time-resolved spectroscopy reveals a fourfold increase in the rate of Shockley-Read-Hall recombination from 6 ns at 10 K to 1.5 ns at 150 K. The findings suggest that minimizing defect densities in the bulk and surfaces of these NWs will be key to enhance hot carrier effects towards higher temperatures.


title: Arrow-Sen theory simplified

abstract: The traditional Arrow--Sen Social Choice Theory $\bf{TSCT}$ is a mathematical theory built apparently on higher--order formal language. In this paper, we propose a reformulation and reclassification of the $\bf{TSCT}$ axioms in order to obtain a simpler theory based on the first--order language axioms, keeping the spirit of original ideas. This new theory, called Simplified Social Choice Theory, denoted by $\bf{SSCT}$, presents a sub--theory of $\bf{TSCT}$. Roughly speaking, we extract all quatifications over $n$--tuples of binary relations from the axioms of $\bf{TSCT}$ and move them to the meta--level obtaining a sub--theory $\bf{SSCT}$ of $\bf{TSCT}$. More accurately, we assign to each traditional higher--order axiom $\bf{TA}$ its simplified first--order version $\bf{SA}$ such that $\bf{TA}\vdash\bf{SA}$, i.e. $\bf{SA}$ can be logically derived from $\bf{TA}$. In this way we define a simpler and more accessible set of principles that provide a context in which we can prove many propositions analogous to well--known theorems including the Arrow's impossibility of Paretian non--dictatorship and Sen's impossibility of Paretian liberal. These simplifications are the result of decades of lecturing by the author with the aim of bridging the barriers between this beautiful complex theory and his students.


title: Existence of solutions for a class of integro-differential equations with the logarithmic Laplacian and transport

abstract: In this paper, we consider an integro-differential equation in L^2(R), which involves the logarithmic Laplacian in the presence of a drift term. The linear operator associated with the problem has the Fredholm property. By using a fixed point technique, we establish the existence of solutions.


title: Sharp restriction estimates for several degenerate higher co-dimensional quadratic surfaces

abstract: Fourier restriction conjecture is an important problem in harmonic analysis. Guo-Oh [17] studied the restriction estimates for quadratic surfaces of co-dimension 2 in $\mathbb{R}^5$. For one special surface $(\xi_1,\xi_2,\xi_3,\xi_1^2,\xi_2^2+\xi_1\xi_3)$, they applied a nested induction argument to build essentially sharp restriction estimate. In this paper, we simplify their method, and extend it to a variant of the broad-narrow analysis. As applications, we will prove essentially sharp restriction estimates for some kinds of degenerate higher co-dimensional quadratic surfaces.


title: Is Doublet-Triplet Splitting Necessary?

abstract: We demonstrate that it is not necessary to substantially break the mass degeneracy between the Standard Model Higgs boson doublet and the corresponding scalar leptoquark, where these two fields comprise a single five-dimensional $SU(5)$ representation. More precisely, we show that the experimental data on partial proton decay lifetimes cannot place any meaningful bound on the mass of the scalar leptoquark, a.k.a. the color triplet, if one includes effects of higher-dimensional operators within the Georgi-Glashow model. We also point out that the complete suppression of proton decay via the scalar leptoquark mediation is compatible with the partial suppression of the gauge mediated two-body proton decay signatures. Finally, we derive a proper limit on the cutoff scale of the aforementioned higher-dimensional operators and outline how this scenario could be tested.


title: Navigating the Landscape of Large Language Models: A Comprehensive Review and Analysis of Paradigms and Fine-Tuning Strategies

abstract: With the surge of ChatGPT,the use of large models has significantly increased,rapidly rising to prominence across the industry and sweeping across the internet. This article is a comprehensive review of fine-tuning methods for large models. This paper investigates the latest technological advancements and the application of advanced methods in aspects such as task-adaptive fine-tuning,domain-adaptive fine-tuning,few-shot learning,knowledge distillation,multi-task learning,parameter-efficient fine-tuning,and dynamic fine-tuning.


title: Frustrated Magnetism, Symmetries and $\mathbb{Z}_2$-Equivariant Topology

abstract: A novel lemma in $\mathbb{Z}_2$-equivariant homotopy theory is stated, proven and applied to the topological classification of frustrated magnets in the presence of canonical time-reversal symmetry. This lemma generalises a result which had been key to the homotopical derivation of the renowned Bott-Kitaev periodic table for topological insulators and superconductors. We distinguish between three symmetry classes $\mathrm{AIII}$, $\mathrm{AIII/BDI}$, and $\mathrm{AIII/CII}$ depending on the existence and type of canonical time-reversal symmetry. For each of these classes, the relevant objects to classify are $\mathbb{Z}_2$-equivariant maps into a Stiefel manifold. The topological classification is illustrated through examples of frustrated spin models and is compared to the one of Roychowdhury and Lawler (RL).


title: An Agent-Based Model of Elephant Crop Raid Dynamics in the Periyar-Agasthyamalai Complex, India

abstract: Human-wildlife conflict challenges conservation worldwide, which requires innovative management solutions. We developed a prototype Agent-Based Model (ABM) to simulate interactions between humans and solitary bull Asian elephants in the Periyar-Agasthyamalai complex of the Western Ghats in Kerala, India. The main challenges were the complex behavior of elephants and insufficient movement data from the region. Using literature, expert insights, and field surveys, we created a prototype behavior model that incorporates crop habituation, thermoregulation, and aggression. We designed a four-step calibration method to adapt relocation data from radio-tagged elephants in Indonesia to model elephant movements in the model domain. The ABM's structure, including the assumptions, submodels, and data usage are detailed following the Overview, Design concepts, Details protocol. The ABM simulates various food availability scenarios to study elephant behavior and environmental impact on space use and conflict patterns. The results indicate that the wet months increase conflict and thermoregulation significantly influences elephant movements and crop raiding. Starvation and crop habituation intensify these patterns. This prototype ABM is an initial model that offers information on the development of a decision support system in wildlife management and will be further enhanced with layers of complexity and subtlety across various dimensions. Access the ABM at https://github.com/quest-lab-iisc/abm-elephant-project.


title: Maximal tori in infinite-dimensional Hamiltonian systems: a Renormalization Group approach

abstract: We study the existence of infinite-dimensional invariant tori in a mechanical system of infinitely many rotators weakly interacting with each other. We consider explicitly interactions depending only on the angles, with the aim of discussing in a simple case the analyticity properties to be required on the perturbation of the integrable system in order to ensure the persistence of a large measure set of invariant tori with finite energy. The proof we provide of the persistence of the invariant tori implements the Renormalization Group scheme based on the tree formalism -- i.e. the graphical representation of the solutions of the equations of motion in terms of trees -- which has been widely used in finite-dimensional problems. The method is very effectual and flexible: it naturally extends, once the functional setting has been fixed, to the infinite-dimensional case with only minor technical-natured adaptations.


title: SQIAsignHD: SQIsignHD Adaptor Signature

abstract: Adaptor signatures can be viewed as a generalized form of the standard digital signature schemes where a secret randomness is hidden within a signature. Adaptor signatures are a recent cryptographic primitive and are becoming an important tool for blockchain applications such as cryptocurrencies to reduce on-chain costs, improve fungibility, and contribute to off-chain forms of payment in payment-channel networks, payment-channel hubs, and atomic swaps. However, currently used adaptor signature constructions are vulnerable to quantum adversaries due to Shor's algorithm. In this work, we introduce $\mathsf{SQIAsignHD}$, a new quantum-resistant adaptor signature scheme based on isogenies of supersingular elliptic curves, using SQIsignHD - as the underlying signature scheme - and exploiting the idea of the artificial orientation on the supersingular isogeny Diffie-Hellman key exchange protocol, SIDH, as the underlying hard relation. We, furthermore, show that our scheme is secure in the Quantum Random Oracle Model (QROM).


title: MING-MOE: Enhancing Medical Multi-Task Learning in Large Language Models with Sparse Mixture of Low-Rank Adapter Experts

abstract: Large language models like ChatGPT have shown substantial progress in natural language understanding and generation, proving valuable across various disciplines, including the medical field. Despite advancements, challenges persist due to the complexity and diversity inherent in medical tasks which often require multi-task learning capabilities. Previous approaches, although beneficial, fall short in real-world applications because they necessitate task-specific annotations at inference time, limiting broader generalization. This paper introduces MING-MOE, a novel Mixture-of-Expert~(MOE)-based medical large language model designed to manage diverse and complex medical tasks without requiring task-specific annotations, thus enhancing its usability across extensive datasets. MING-MOE employs a Mixture of Low-Rank Adaptation (MoLoRA) technique, allowing for efficient parameter usage by maintaining base model parameters static while adapting through a minimal set of trainable parameters. We demonstrate that MING-MOE achieves state-of-the-art (SOTA) performance on over 20 medical tasks, illustrating a significant improvement over existing models. This approach not only extends the capabilities of medical language models but also improves inference efficiency.


title: Relation between the local width and linear halo mass density of cosmic filaments

abstract: Large-scale cosmic filaments may have played an important role in shaping the properties of galaxies. Meanwhile, cosmic filaments are believed to harbor a substantial portion of the missing baryons at redshift z < 2. To inspect the role of filaments in these issues, many properties of filaments need to be examined, including their lengths, thicknesses, and density profiles. However, measuring some of these properties poses challenges. This study concentrates on estimating filament width/thickness, investigating potential correlations between the local width of filaments and the properties of dark matter halos within filaments. We find that the local width of filaments generally increases with the mass of dark matter halos embedded in filaments per unit length, roughly following a secondorder polynomial, although with notable scatter. We probe and discuss means that may refine our findings. After further verification and improvements, this relation could be applied to filament samples constructed from the observed galaxy distribution, aiding in understanding the roles of cosmic filaments in galaxy evolution and uncovering the missing baryons.


title: A Parametric Rate-Distortion Model for Video Transcoding

abstract: Over the past two decades, the surge in video streaming applications has been fueled by the increasing accessibility of the internet and the growing demand for network video. As users with varying internet speeds and devices seek high-quality video, transcoding becomes essential for service providers. In this paper, we introduce a parametric rate-distortion (R-D) transcoding model. Our model excels at predicting transcoding distortion at various rates without the need for encoding the video. This model serves as a versatile tool that can be used to achieve visual quality improvement (in terms of PSNR) via trans-sizing. Moreover, we use our model to identify visually lossless and near-zero-slope bitrate ranges for an ingest video. Having this information allows us to adjust the transcoding target bitrate while introducing visually negligible quality degradations. By utilizing our model in this manner, quality improvements up to 2 dB and bitrate savings of up to 46% of the original target bitrate are possible. Experimental results demonstrate the efficacy of our model in video transcoding rate distortion prediction.


title: Active Learning for Control-Oriented Identification of Nonlinear Systems

abstract: Model-based reinforcement learning is an effective approach for controlling an unknown system. It is based on a longstanding pipeline familiar to the control community in which one performs experiments on the environment to collect a dataset, uses the resulting dataset to identify a model of the system, and finally performs control synthesis using the identified model. As interacting with the system may be costly and time consuming, targeted exploration is crucial for developing an effective control-oriented model with minimal experimentation. Motivated by this challenge, recent work has begun to study finite sample data requirements and sample efficient algorithms for the problem of optimal exploration in model-based reinforcement learning. However, existing theory and algorithms are limited to model classes which are linear in the parameters. Our work instead focuses on models with nonlinear parameter dependencies, and presents the first finite sample analysis of an active learning algorithm suitable for a general class of nonlinear dynamics. In certain settings, the excess control cost of our algorithm achieves the optimal rate, up to logarithmic factors. We validate our approach in simulation, showcasing the advantage of active, control-oriented exploration for controlling nonlinear systems.


title: The electromagnetic scalar product in spatially-bounded domains

abstract: Many physically interesting quantities of the electromagnetic field can be computed using the electromagnetic scalar product. However, none of the existing expressions for such scalar product are directly applicable when the fields are only known in a spatially-bounded domain, as is the case for many numerical Maxwell solvers. In here, we derive an expression for the electromagnetic scalar product between radiation fields that only involves integrals over closed spatial surfaces. The expression readily leads to formulas for the number of photons, energy, and helicity of generic polychromatic light pulses of incoming or outgoing character. The capabilities of popular Maxwell solvers in spatially-bounded computational domains are thereby augmented, for example, by a straightforward method for normalizing emitted fields so that they contain a single photon.


title: Cauchy convergence in V-normed categories

abstract: Building on the notion of normed category as suggested by Lawvere, we introduce notions of Cauchy convergence and cocompleteness which differ from proposals in previous works. Key to our approach is to treat them consequentially as categories enriched in the monoidal-closed category of normed sets. Our notions largely lead to the anticipated outcomes when considering individual metric spaces as small normed categories, but they can be challenging when considering some large categories, like those of semi-normed or normed vector spaces and all linear maps, or of generalized metric spaces and all mappings. These are the key example categories discussed in detail in this paper. Working with a general commutative quantale V as a value recipient for norms, rather than only with Lawvere's quantale of the extended real half-line, we observe that the categorically atypical structure gap between objects and morphisms in the example categories is already present in the underlying normed category of the enriching category of V-normed sets. To show that this normed category and, in fact, all presheaf categories over it, are Cauchy cocomplete, we assume the quantale V to satisfy a couple of light alternative extra properties. Of utmost importance to the general theory is the fact that our notion of normed colimit is subsumed by the notion of weighted colimit of enriched category theory. With this theory we are able to prove that all V-normed categories have correct-size Cauchy cocompletions. We also prove a Banach Fixed Point Theorem for contractive endofunctors of Cauchy cocomplete normed categories.


title: Logic in Mathematics and Computer Science

abstract: Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert's consistency program. Similar efforts continue, but have been expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages.


title: Using Biot-Savart boundary conditions for unbounded external flow on Eulerian meshes

abstract: We introduce a novel boundary condition formulated using a Biot-Savart vorticity integral inside an Eulerian fluid domain that maintains high-accuracy results even when the domain boundary is within a body-length of immersed solid boundaries. The Biot-Savart condition is incorporated into a general solver with Eulerian velocity-pressure fields by including the pressure-induced body vorticity during the incompressible-flow projection-step. We use a multilevel approach to reduce the computational cost of the evaluation of the Biot-Savart integral from O(N) to O(\log N) and formally show that the error associated with this approach is bounded and scales with the inverse power of the problem's dimension. We use two-dimensional and three-dimensional analytic vortex problems to demonstrate this scaling is correct and select appropriate multilevel coarsening parameters accordingly. We show that the new method exactly captures the analytical added-mass force of accelerating plates and matches experimentally measured wake development even when the entire domain only extends 1/2 diameter from the plate. The new method also predicts essentially identical time-varying drag forces for a two-dimensional circle regardless of domain size, while classical boundary conditions require a domain nearly 48 times larger to converge on the new method's result. Finally, we study the sensitivity of 2D deflected wakes to the new domain boundary conditions and show that only in minimal domains, 25 times smaller than the reference domain, the omission of the far-field wake influences the flow field and the forces on the body. Doubling the domain size recovers the correct results.


title: The Hessian geometry of the ideal gas in rotation

abstract: We study the Hessian geometry associated with an ideal gas in a spherical centrifuge. According to Souriau, a spherically confined ideal gas admit states of thermal and rotational equilibrium. These states, called Gibbs states, form an exponential family with an action of the Euclidean rotation group. We investigate its Hessian (Fisher-Rao) geometry and show that in the high angular velocity limit, the geometry can be compared to the Hessian geometry of a spherical rigid body which we show to be isometric to a hyperbolic space.


title: Review on Axions

abstract: This proceedings' contribution explores the rationale behind the axion as a resolution to the strong CP puzzle. It outlines various benchmark axion models and examines their implications, focusing on two key aspects: (i) the axion's interactions with the Standard Model particles, and (ii) its potential role as dark matter. Additionally, it provides an overview of the discovery prospects associated with ongoing and future axion experiments. These efforts span from laboratory-based endeavors aimed at directly producing and detecting axions to searches for solar axions, and finally, to the direct detection of axion dark matter.


title: Intention-Aware Control Based on Belief-Space Specifications and Stochastic Expansion

abstract: This paper develops a correct-by-design controller for an autonomous vehicle interacting with opponent vehicles with unknown intentions. We define an intention-aware control problem incorporating epistemic uncertainties of the opponent vehicles and model their intentions as discrete-valued random variables. Then, we focus on a control objective specified as belief-space temporal logic specifications. From this stochastic control problem, we derive a sound deterministic control problem using stochastic expansion and solve it using shrinking-horizon model predictive control. The solved intention-aware controller allows a vehicle to adjust its behaviors according to its opponents' intentions. It ensures provable safety by restricting the probabilistic risk under a desired level. We show with experimental studies that the proposed method ensures strict limitation of risk probabilities, validating its efficacy in autonomous driving cases. This work provides a novel solution for the risk-aware control of interactive vehicles with formal safety guarantees.


title: Solution-Processed Inks with Fillers of NbS$_3$ Quasi-One-Dimensional Charge-Density-Wave Material

abstract: We report on the solution processing and testing of electronic ink comprised of quasi-one-dimensional NbS$_3$ charge-density-wave fillers. The ink was prepared by liquid-phase exfoliation of NbS$_3$ crystals into high-aspect ratio quasi-1D fillers dispersed in a mixture of isopropyl alcohol and ethylene glycol solution. The results of the electrical measurements of two-terminal electronic test structures printed on silicon substrates reveal resistance anomalies in the temperature range of ~330 K to 370 K. It was found that the changes in the temperature-dependent resistive characteristics of the test structures originate from the charge-density-wave phase transition of individual NbS$_3$ fillers. The latter confirms that the exfoliated NbS$_3$ fillers preserve their intrinsic charge-density-wave quantum condensate states and can undergo phase transitions above room temperature even after chemical exfoliation processes and printing. These results are important for developing "quantum inks" with charge-density-wave fillers for the increased functionality of future solution-processed electronics.


title: Numerical Aspects of Hyperbolic Geometry

abstract: Hyperbolic geometry has recently found applications in social networks, machine learning and computational biology. With the increasing popularity, questions about the best representations of hyperbolic spaces arise, as each representation comes with some numerical instability. This paper compares various 2D and 3D hyperbolic geometry representations. To this end, we conduct an extensive simulational scheme based on six tests of numerical precision errors. Our comparisons include the most popular models and less-known mixed and reduced representations. According to our results, polar representation wins, although the halfplane invariant is also very successful. We complete the comparison with a brief discussion of the non-numerical advantages of various representations.


title: Combinatorics of Complex Maximal Determinant Matrices

abstract: This doctoral thesis covers several topics related to the construction and study of maximal determinant matrices with complex entries. The first three chapters are devoted to number-theoretic tools to prove the non-solvability of Gram matrix equations over certain fields, with a focus on combinatorial applications. Chapter 4 gives a survey on Butson-type Hadamard matrices, and shows an improved lower bound on primes $p$ for the existence of $BH(12p, p)$ matrices. Chapter 5 contains the main contributions of the thesis, where the maximal determinant problem for matrices over the m-th roots of unity is discussed, and where new upper and lower bounds, as well as constructions at small orders, are given. Chapter 6 studies maximal determinant matrices over association schemes. Chapter 7 gives an application of design theory to privacy in communications, and it is connected to the rest of the thesis by the use of the theory of quadratic forms.


title: Three Disclaimers for Safe Disclosure: A Cardwriter for Reporting the Use of Generative AI in Writing Process

abstract: Generative artificial intelligence (AI) and large language models (LLMs) are increasingly being used in the academic writing process. This is despite the current lack of unified framework for reporting the use of machine assistance. In this work, we propose "Cardwriter", an intuitive interface that produces a short report for authors to declare their use of generative AI in their writing process. The demo is available online, at https://cardwriter.vercel.app


title: Improving Personalisation in Valence and Arousal Prediction using Data Augmentation

abstract: In the field of emotion recognition and Human-Machine Interaction (HMI), personalised approaches have exhibited their efficacy in capturing individual-specific characteristics and enhancing affective prediction accuracy. However, personalisation techniques often face the challenge of limited data for target individuals. This paper presents our work on an enhanced personalisation strategy, that leverages data augmentation to develop tailored models for continuous valence and arousal prediction. Our proposed approach, Distance Weighting Augmentation (DWA), employs a weighting-based augmentation method that expands a target individual's dataset, leveraging distance metrics to identify similar samples at the segment-level. Experimental results on the MuSe-Personalisation 2023 Challenge dataset demonstrate that our method significantly improves the performance of features sets which have low baseline performance, on the test set. This improvement in poor-performing features comes without sacrificing performance on high-performing features. In particular, our method achieves a maximum combined testing CCC of 0.78, compared to the reported baseline score of 0.76 (reproduced at 0.72). It also achieved a peak arousal and valence scores of 0.81 and 0.76, compared to reproduced baseline scores of 0.76 and 0.67 respectively. Through this work, we make significant contributions to the advancement of personalised affective computing models, enhancing the practicality and adaptability of data-level personalisation in real world contexts.


title: Do LLMs Play Dice? Exploring Probability Distribution Sampling in Large Language Models for Behavioral Simulation

abstract: With the rapid advancement of large language models (LLMs) for handling complex language tasks, an increasing number of studies are employing LLMs as agents to emulate the sequential decision-making processes of humans often represented as Markov decision-making processes (MDPs). The actions in MDPs adhere to specific probability distributions and require iterative sampling. This arouses curiosity regarding the capacity of LLM agents to comprehend probability distributions, thereby guiding the agent's behavioral decision-making through probabilistic sampling and generating behavioral sequences. To answer the above question, we divide the problem into two main aspects: sequence simulation with known probability distribution and sequence simulation with unknown probability distribution. Our analysis indicates that LLM agents can understand probabilities, but they struggle with probability sampling. Their ability to perform probabilistic sampling can be improved to some extent by integrating coding tools, but this level of sampling precision still makes it difficult to simulate human behavior as agents.


title: Spin-dependent exciton-exciton interactions in a mixed lead halide perovskite crystal

abstract: We investigate the two-pulse photon echo response of excitons in the mixed lead halide perovskite crystal \sample in dependence on the excitation intensity and polarization of the incident laser pulses. Using spectrally narrow picosecond laser pulses, we address localized excitons with long coherence times $T_2 \approx 100\,$ps. This approach offers high sensitivity for the observation of excitation-induced changes in the homogeneous linewidth $\Gamma_2=2\hbar/T_2$ on the $\mu$eV scale. Through intensity-dependent measurements, we evaluate the increase of $\Gamma_2$ by 10~$\mu$eV at an exciton density of 10$^{17}$~cm$^{-3}$ being comparable with the intrinsic linewidth of 14$\,\mu$eV. We observe that the decay of the photon echo and its power dependence are sensitive to the polarization configuration of the excitation pulses, which indicates that spin-dependent exciton-exciton interactions contribute to excitation-induced dephasing. In cross-linear polarization, the decay is faster and its dependence on exciton density is stronger as compared to the co-polarized configuration. Using a two-exciton model accounting for different spin configurations we are able to reproduce the experimental results.


title: Adapting Mental Health Prediction Tasks for Cross-lingual Learning via Meta-Training and In-context Learning with Large Language Model

abstract: Timely identification is essential for the efficient handling of mental health illnesses such as depression. However, the current research fails to adequately address the prediction of mental health conditions from social media data in low-resource African languages like Swahili. This study introduces two distinct approaches utilising model-agnostic meta-learning and leveraging large language models (LLMs) to address this gap. Experiments are conducted on three datasets translated to low-resource language and applied to four mental health tasks, which include stress, depression, depression severity and suicidal ideation prediction. we first apply a meta-learning model with self-supervision, which results in improved model initialisation for rapid adaptation and cross-lingual transfer. The results show that our meta-trained model performs significantly better than standard fine-tuning methods, outperforming the baseline fine-tuning in macro F1 score with 18\% and 0.8\% over XLM-R and mBERT. In parallel, we use LLMs' in-context learning capabilities to assess their performance accuracy across the Swahili mental health prediction tasks by analysing different cross-lingual prompting approaches. Our analysis showed that Swahili prompts performed better than cross-lingual prompts but less than English prompts. Our findings show that in-context learning can be achieved through cross-lingual transfer through carefully crafted prompt templates with examples and instructions.


title: Phase-Amplitude Description of Stochastic Oscillators: A Parameterization Method Approach

abstract: The parameterization method (PM) provides a broad theoretical and numerical foundation for computing invariant manifolds of dynamical systems. PM implements a change of variables in order to represent trajectories of a system of ordinary differential equations ``as simply as possible." In this paper we pursue a similar goal for stochastic oscillator systems. For planar nonlinear stochastic systems that are ``robustly oscillatory", we find a change of variables through which the dynamics are as simple as possible $\textit{in the mean}$. We prove existence and uniqueness of a deterministic vector field, the trajectories of which capture the local mean behavior of the stochastic oscillator. We illustrate the construction of such an ``effective vector field" for several examples, including a limit cycle oscillator perturbed by noise, an excitable system derived from a spiking neuron model, and a spiral sink with noise forcing (2D Ornstein-Uhlenbeck process). The latter examples comprise contingent oscillators that would not sustain rhythmic activity without noise forcing. Finally, we exploit the simplicity of the dynamics after the change of variables to obtain the effective diffusion constant of the resulting phase variable, and the stationary variance of the resulting amplitude (isostable) variable.


title: Multilingual Evaluation of Semantic Textual Relatedness

abstract: The explosive growth of online content demands robust Natural Language Processing (NLP) techniques that can capture nuanced meanings and cultural context across diverse languages. Semantic Textual Relatedness (STR) goes beyond superficial word overlap, considering linguistic elements and non-linguistic factors like topic, sentiment, and perspective. Despite its pivotal role, prior NLP research has predominantly focused on English, limiting its applicability across languages. Addressing this gap, our paper dives into capturing deeper connections between sentences beyond simple word overlap. Going beyond English-centric NLP research, we explore STR in Marathi, Hindi, Spanish, and English, unlocking the potential for information retrieval, machine translation, and more. Leveraging the SemEval-2024 shared task, we explore various language models across three learning paradigms: supervised, unsupervised, and cross-lingual. Our comprehensive methodology gains promising results, demonstrating the effectiveness of our approach. This work aims to not only showcase our achievements but also inspire further research in multilingual STR, particularly for low-resourced languages.


title: Adaptive User-Centric Entanglement Routing in Quantum Data Networks

abstract: Distributed quantum computing (DQC) holds immense promise in harnessing the potential of quantum computing by interconnecting multiple small quantum computers (QCs) through a quantum data network (QDN). Establishing long-distance quantum entanglement between two QCs for quantum teleportation within the QDN is a critical aspect, and it involves entanglement routing - finding a route between QCs and efficiently allocating qubits along that route. Existing approaches have mainly focused on optimizing entanglement performance for current entanglement connection (EC) requests. However, they often overlook the user's perspective, wherein the user making EC requests operates under a budget constraint over an extended period. Furthermore, both QDN resources (quantum channels and qubits) and the EC requests, reflecting the DQC workload, vary over time. In this paper, we present a novel user-centric entanglement routing problem that spans an extended period to maximize the entanglement success rate while adhering to the user's budget constraint. To address this challenge, we leverage the Lyapunov drift-plus-penalty framework to decompose the long-term optimization problem into per-slot problems, allowing us to find solutions using only the current system information. Subsequently, we develop efficient algorithms based on continuous-relaxation and Gibbs-sampling techniques to solve the per-slot entanglement routing problem. Theoretical performance guarantees are provided for both the per-slot and long-term problems. Extensive simulations demonstrate that our algorithm significantly outperforms baseline approaches in terms of entanglement success rate and budget adherence.


title: Quantum deformed phantom dynamics in light of the generalized uncertainty principle

abstract: Quantum gravity has been baffling the theoretical physicist for decades now: both for its mathematical obscurity and phenomenological testing. Nevertheless, the new era of precision cosmology presents a promising avenue to test the effects of quantum gravity. In this study, we consider a bottom-up approach. Without resorting to any candidate quantum gravity, we invoke a generalized uncertainty principle (GUP) directly into the cosmological Hamiltonian for a universe sourced by a phantom scalar field with potential to study the early epoch of the evolution. This is followed by a systematic analysis of the dynamics, both qualitatively and quantitatively. Our qualitative analysis shows that the introduction of GUP significantly alters the existence of fixed points for the potential considered in this contribution. In addition, we confirm the existence of an inflationary epoch and analyze the behavior of relevant cosmological parameters with respect to the strength of GUP distortion.


title: Efficient discretization of the Laplacian on complex geometries

abstract: Highly accurate simulations of problems including second derivatives on complex geometries are of primary interest in academia and industry. Consider for example the Navier-Stokes equations or wave propagation problems of acoustic or elastic waves. Current finite difference discretization methods are accurate and efficient on modern hardware, but they lack flexibility when it comes to complex geometries. In this work I extend the continuous summation-by-parts (SBP) framework to second derivatives and combine it with spectral-type SBP operators on Gauss-Lobatto quadrature points to obtain a highly efficient discretization (accurate with respect to runtime) of the Laplacian on complex domains. The resulting Laplace operator is defined on a grid without duplicated points on the interfaces, thus removing unnecessary degrees of freedom in the scheme, and is proven to satisfy a discrete equivalent to Green's first identity. Semi-discrete stability using the new Laplace operator is proven for the acoustic wave equation in 2D. Furthermore, the method can easily be coupled together with traditional finite difference operators using glue-grid interpolation operators, resulting in a method with great practical potential. Two numerical experiments are done on the acoustic wave equation in 2D. First on a problem with an analytical solution, demonstrating the accuracy and efficiency properties of the method. Finally, a more realistic problem is solved, where a complex region of the domain is discretized using the new method and coupled to the rest of the domain discretized using a traditional finite difference method.


title: Rethinking Iterative Stereo Matching from Diffusion Bridge Model Perspective

abstract: Recently, iteration-based stereo matching has shown great potential. However, these models optimize the disparity map using RNN variants. The discrete optimization process poses a challenge of information loss, which restricts the level of detail that can be expressed in the generated disparity map. In order to address these issues, we propose a novel training approach that incorporates diffusion models into the iterative optimization process. We designed a Time-based Gated Recurrent Unit (T-GRU) to correlate temporal and disparity outputs. Unlike standard recurrent units, we employ Agent Attention to generate more expressive features. We also designed an attention-based context network to capture a large amount of contextual information. Experiments on several public benchmarks show that we have achieved competitive stereo matching performance. Our model ranks first in the Scene Flow dataset, achieving over a 7% improvement compared to competing methods, and requires only 8 iterations to achieve state-of-the-art results.


title: Enhancing Security Awareness Through Gamified Approaches

abstract: With the advent of smart grid (SG) systems, electricity networks have been able to ensure greater efficiency and utility by interconnecting their grids through cloud-based technology. As SGs become increasingly complex, a wide range of security challenges arise, threatening the grid's reliability, safety, efficiency, and stability. The security challenges include the potential exposure of personal data due to hackers intercepting the communications between the SG infrastructure and the smart meters. Security awareness plays a vital role in addressing some of these challenges. However, the traditional training programs are no longer efficient for instilling information security culture in organisations or from an individual user perspective. Gamification is a new concept in the field of information security awareness training (SAT) campaigns that can be introduced to fill in this gap by providing employees with a means of practising and learning about many security flaws and risks that exist within the organisation. Thus, this paper examines the effectiveness of gamification in promoting security awareness among smart meter components for smart grid users/operators. A gaming application is developed as part of the study with the aim of training and evaluating the results through three difficulty levels of questionnaires. Furthermore, the results are evaluated for the three difficulty levels as well as the overall flag captured. It can be demonstrated that the scores of participants in the three levels have improved by 40%, 35% and 29%, respectively. This reflects the awareness of learning within our system.


title: ALICE: Combining Feature Selection and Inter-Rater Agreeability for Machine Learning Insights

abstract: This paper presents a new Python library called Automated Learning for Insightful Comparison and Evaluation (ALICE), which merges conventional feature selection and the concept of inter-rater agreeability in a simple, user-friendly manner to seek insights into black box Machine Learning models. The framework is proposed following an overview of the key concepts of interpretability in ML. The entire architecture and intuition of the main methods of the framework are also thoroughly discussed and results from initial experiments on a customer churn predictive modeling task are presented, alongside ideas for possible avenues to explore for the future. The full source code for the framework and the experiment notebooks can be found at: https://github.com/anasashb/aliceHU


title: Semilinear Klein-Gordon equation in space-time of black hole, which is gaining mass in the universe with accelerating expansion

abstract: In this paper, we consider the propagation of waves in the space-time of a single black hole with a static Schwarzschild radius in the expanding universe, namely, the solutions of the linear and semilinear Klein-Gordon equations.


title: The Cellular Potts Model on Disordered Lattices

abstract: The Cellular Potts model, also known as Glazier-Graner-Hogeweg model, is a lattice-based approach, by which biological tissues at the level of individual cells can be numerically studied. Traditionally, a square or hexagonal underlying lattice structure is assumed for two-dimensional systems and this is known to introduce artifacts in the structure and dynamics of the model tissues. Here, we developed a new variant of this method that can be applied to a broad class of (ir)regular lattices. We show that on an irregular lattice, deriving from a fluid-like configuration, two types of artifacts can be removed. We further report on the transition between a fluid-like disordered and a solid-like hexagonally ordered phase present for monodisperse confluent cells as a function of their surface tension. This transition shows the hallmarks of a first-order phase transition, and is different from the glass/jamming transitions commonly reported for the vertex and Voronoi models. We emphasize this by analyzing the distribution of shape parameters found in our state space. Our analysis provides a useful reference for the future study of epithelia using the (ir)regular Cellular Potts model.


title: Comment on "Case of thermodynamic failure in the Ginzburg-Landau approach to fluctuation superconductivity"

abstract: Jorge Berger shows theoretically in the paper Phys. Rev. B 109, 024501 (2024) that according to the Ginzburg-Landau theory the persistent current can create the persistent voltage, i.e. a dc voltage at thermodynamic equilibrium, on segments of nonuniform superconducting loop. A similar result was published early and was collaborated experimentally. The persistent power estimated by Berger is compared with the experimentally observed power. The attention of experimenters is drawn to the possibility to observe the persistent voltage thanks to its increase with the number of identical rings connected in series.


title: Off-diagonally symmetric domino tilings of the Aztec diamond of odd order

abstract: We study the enumeration of off-diagonally symmetric domino tilings of odd-order Aztec diamonds in two directions: (1) with one boundary defect, and (2) with maximally-many zeroes on the diagonal. In the first direction, we prove a symmetry property which states that the numbers of off-diagonally symmetric domino tilings of the Aztec diamond of order $2n-1$ are equal when the boundary defect is at the $k$th position and the $(2n-k)$th position on the boundary, respectively. This symmetry property proves a special case of a recent conjecture by Behrend, Fischer, and Koutschan. In the second direction, a Pfaffian formula is obtained for the number of "nearly" off-diagonally symmetric domino tilings of odd-order Aztec diamonds, where the entries of the Pfaffian satisfy a simple recurrence relation. The numbers of domino tilings mentioned in the above two directions do not seem to have a simple product formula, but we show that these numbers satisfy simple matrix equations in which the entries of the matrix are given by Delannoy numbers. The proof of these results involves the method of non-intersecting lattice paths and a modification of Stembridge's Pfaffian formula for families of non-intersecting lattice paths. Finally, we propose conjectures concerning the log-concavity and asymptotic behavior of the number of off-diagonally symmetric domino tilings of odd-order Aztec diamonds.


title: GView: A Versatile Assistant for Security Researchers

abstract: Cyber security attacks have become increasingly complex over time, with various phases of their kill chain, involving binaries, scripts, documents, executed commands, vulnerabilities, or network traffic. We propose a tool, GView, that is designed to investigate possible attacks by providing guided analysis for various file types using automatic artifact identification, extraction, coherent correlation &,inference, and meaningful & intuitive views at different levels of granularity w.r.t. revealed information. The concept behind GView simplifies navigation through all payloads in a complex attack, streamlining the process for security researchers, and Increasing the quality of analysis. GView is generic in the sense it supports a variety of file types and has multiple visualization modes that can be automatically adjusted for each file type alone. Our evaluation shows that GView significantly improves the analysis time of an attack compared to conventional tools used in forensics.


title: Prevalence estimation methods for time-dependent antibody kinetics of infected and vaccinated individuals: a graph-theoretic approach

abstract: Immune events such as infection, vaccination, and a combination of the two result in distinct time-dependent antibody responses in affected individuals. These responses and event prevalences combine non-trivially to govern antibody levels sampled from a population. Time-dependence and disease prevalence pose considerable modeling challenges that need to be addressed to provide a rigorous mathematical underpinning of the underlying biology. We propose a time-inhomogeneous Markov chain model for event-to-event transitions coupled with a probabilistic framework for anti-body kinetics and demonstrate its use in a setting in which individuals can be infected or vaccinated but not both. We prove the equivalency of this approach to the framework developed in our previous work. Synthetic data are used to demonstrate the modeling process and conduct prevalence estimation via transition probability matrices. This approach is ideal to model sequences of infections and vaccinations, or personal trajectories in a population, making it an important first step towards a mathematical characterization of reinfection, vaccination boosting, and cross-events of infection after vaccination or vice versa.

categories: q-bio.PE math.PR physics.bio-ph q-bio.QM stat.ME


title: Wave-Freezing and other Phenomena in Temporal Metasurfaces driven by Nonlocal Interactions

abstract: Space-time metamaterials, or materials with properties changing in space and time, have gained a wide-spread interest due to their exotic properties. In this Letter, we propose a novel temporal metasurface of phononic crystals in one and two-dimensions, that combines the use of nonlocal interactions in phononic crystals to customize dispersion relations, and the use of temporal interfaces to transition from a local material to a nonlocal material and vice-versa, to achieve the interesting phenomenon of \textit{wave-freezing}, where the entire propagating wave is stopped without diffusing or spreading. The phononic crystals are modeled using spring-mass systems and we use finite difference calculations to present our numerical results. We also demonstrate other effects observed in such temporal metasurfaces, such as time-reversed waves, and anomalous temporal refraction.


title: Asynchronous Heterogeneous Linear Quadratic Regulator Design

abstract: We address the problem of designing an LQR controller in a distributed setting, where M similar but not identical systems share their locally computed policy gradient (PG) estimates with a server that aggregates the estimates and computes a controller that, on average, performs well on all systems. Learning in a distributed setting has the potential to offer statistical benefits - multiple datasets can be leveraged simultaneously to produce more accurate policy gradient estimates. However, the interplay of heterogeneous trajectory data and varying levels of local computational power introduce bias to the aggregated PG descent direction, and prevents us from fully exploiting the parallelism in the distributed computation. The latter stems from synchronous aggregation, where straggler systems negatively impact the runtime. To address this, we propose an asynchronous policy gradient algorithm for LQR control design. By carefully controlling the "staleness" in the asynchronous aggregation, we show that the designed controller converges to each system's $\epsilon$-near optimal controller up to a heterogeneity bias. Furthermore, we prove that our asynchronous approach obtains exact local convergence at a sub-linear rate.


title: Towards Efficient Device Identification in Massive Random Access: A Multi-stage Approach

abstract: Efficient and low-latency wireless connectivity between the base station (BS) and a sparse set of sporadically active devices from a massive number of devices is crucial for random access in emerging massive machine-type communications (mMTC). This paper addresses the challenge of identifying active devices while meeting stringent access delay and reliability constraints in mMTC environments. A novel multi-stage active device identification framework is proposed where we aim to refine a partial estimate of the active device set using feedback and hypothesis testing across multiple stages eventually leading to an exact recovery of active devices after the final stage of processing. In our proposed approach, active devices independently transmit binary preambles during each stage, leveraging feedback signals from the BS, whereas the BS employs a non-coherent binary energy detection. The minimum user identification cost associated with our multi-stage non-coherent active device identification framework with feedback, in terms of the required number of channel-uses, is quantified using information-theoretic techniques in the asymptotic regime of total number of devices $\ell$ when the number of active devices $k$ scales as $k = {\Theta}(1)$. Practical implementations of our multi-stage active device identification schemes, leveraging Belief Propagation (BP) techniques, are also presented and evaluated. Simulation results show that our multi-stage BP strategies exhibit superior performance over single-stage strategies, even when considering overhead costs associated with feedback and hypothesis testing.


title: Dymnikova black hole from an infinite tower of higher-curvature corrections

abstract: Recently, in [arXiv:2403.04827], it was demonstrated that various regular black hole metrics can be derived within a theory featuring an infinite number of higher curvature corrections to General Relativity. Moreover, truncating this infinite series at the first few orders already yields a reliable approximation of the observable characteristics of such black holes [arXiv:2403.07848]. Here, we further establish the existence of another regular black hole solution, particularly the $D$-dimensional extension of the Dymnikova black hole, within the equations of motion incorporating an infinite tower of higher-curvature corrections. This solution is essentially nonperturbative in the coupling parameter, rendering the action, if it exists, incapable of being approximated by a finite number of powers of the curvature.


title: On the First Passage Times of Branching Random Walks in $\mathbb R^d$

abstract: We study the first passage times of discrete-time branching random walks in ${\mathbb R}^d$ where $d\geq 1$. Here, the genealogy of the particles follows a supercritical Galton-Watson process. We provide asymptotics of the first passage times to a ball of radius one with a distance $x$ from the origin, conditioned upon survival. We provide explicitly the linear dominating term and the logarithmic correction term as a function of $x$. The asymptotics are precise up to an order of $o_{\mathbb P}(\log x)$ for general jump distributions and up to $O_{\mathbb P}(\log\log x)$ for spherically symmetric jumps. A crucial ingredient of both results is the tightness of first passage times. We also discuss an extension of the first passage time analysis to a modified branching random walk model that has been proven to successfully capture shortest path statistics in polymer networks.


title: VRPD-DT: Vehicle Routing Problem with Drones Under Dynamically Changing Traffic Conditions

abstract: The vehicle routing problem with drones (VRP-D) is to determine the optimal routes of trucks and drones such that the total operational cost is minimized in a scenario where the trucks work in tandem with the drones to deliver parcels to customers. While various heuristic algorithms have been developed to address the problem, existing solutions are built based on simplistic cost models, overlooking the temporal dynamics of the costs, which fluctuate depending on the dynamically changing traffic conditions. In this paper, we present a novel problem called the vehicle routing problem with drones under dynamically changing traffic conditions (VRPD-DT) to address the limitation of existing VRP-D solutions. We design a novel cost model that factors in the actual travel distance and projected travel time, computed using a machine learning-driven travel time prediction algorithm. A variable neighborhood descent (VND) algorithm is developed to find the optimal truck-drone routes under the dynamics of traffic conditions through incorporation of the travel time prediction model. A simulation study was performed to evaluate the performance compared with a state-of-the-art VRP-D heuristic solution. The results demonstrate that the proposed algorithm outperforms the state-of-the-art algorithm in various delivery scenarios.


title: CodeCloak: A Method for Evaluating and Mitigating Code Leakage by LLM Code Assistants

abstract: LLM-based code assistants are becoming increasingly popular among developers. These tools help developers improve their coding efficiency and reduce errors by providing real-time suggestions based on the developer's codebase. While beneficial, these tools might inadvertently expose the developer's proprietary code to the code assistant service provider during the development process. In this work, we propose two complementary methods to mitigate the risk of code leakage when using LLM-based code assistants. The first is a technique for reconstructing a developer's original codebase from code segments sent to the code assistant service (i.e., prompts) during the development process, enabling assessment and evaluation of the extent of code leakage to third parties (or adversaries). The second is CodeCloak, a novel deep reinforcement learning agent that manipulates the prompts before sending them to the code assistant service. CodeCloak aims to achieve the following two contradictory goals: (i) minimizing code leakage, while (ii) preserving relevant and useful suggestions for the developer. Our evaluation, employing GitHub Copilot, StarCoder, and CodeLlama LLM-based code assistants models, demonstrates the effectiveness of our CodeCloak approach on a diverse set of code repositories of varying sizes, as well as its transferability across different models. In addition, we generate a realistic simulated coding environment to thoroughly analyze code leakage risks and evaluate the effectiveness of our proposed mitigation techniques under practical development scenarios.


title: Exploring Explainability in Video Action Recognition

abstract: Image Classification and Video Action Recognition are perhaps the two most foundational tasks in computer vision. Consequently, explaining the inner workings of trained deep neural networks is of prime importance. While numerous efforts focus on explaining the decisions of trained deep neural networks in image classification, exploration in the domain of its temporal version, video action recognition, has been scant. In this work, we take a deeper look at this problem. We begin by revisiting Grad-CAM, one of the popular feature attribution methods for Image Classification, and its extension to Video Action Recognition tasks and examine the method's limitations. To address these, we introduce Video-TCAV, by building on TCAV for Image Classification tasks, which aims to quantify the importance of specific concepts in the decision-making process of Video Action Recognition models. As the scalable generation of concepts is still an open problem, we propose a machine-assisted approach to generate spatial and spatiotemporal concepts relevant to Video Action Recognition for testing Video-TCAV. We then establish the importance of temporally-varying concepts by demonstrating the superiority of dynamic spatiotemporal concepts over trivial spatial concepts. In conclusion, we introduce a framework for investigating hypotheses in action recognition and quantitatively testing them, thus advancing research in the explainability of deep neural networks used in video action recognition.


title: Time-resolved quantum correlations in electronic noise

abstract: The statistics of quantum transport in nanostructures can be tailored by a time-dependent bias voltage $V(t)$. We demonstrate experimentally how correlations of current fluctuations at two different times $t$ and $t+\tau$ depend on the shape of $V(t)$ via the phase accumulated by the electronic wavefunctions between $t$ and $t+\tau$. For this we measure the current-current correlation of the shot noise of an ac+dc biased tunnel junction using a 10 GHz bandwidth, time-resolved detection. Our result allows to explore correlations within a single excitation period. It demonstrates the counterpart of the ac Josephson effect in superconducting junctions, to a normal, non-superconducting mesoscopic device.


title: Tur\'an numbers for non-bipartite graphs and applications to spectral extremal problems

abstract: Given a graph family $\mathcal{H}$ with $\min_{H\in \mathcal{H}}\chi(H)=r+1\geq 3$. Let ${\rm ex}(n,\mathcal{H})$ and ${\rm spex}(n,\mathcal{H})$ be the maximum number of edges and the maximum spectral radius of the adjacency matrix over all $\mathcal{H}$-free graphs of order $n$, respectively. Denote by ${\rm EX}(n,\mathcal{H})$ (resp. ${\rm SPEX}(n,\mathcal{H})$) the set of extremal graphs with respect to ${\rm ex}(n,\mathcal{H})$ (resp. ${\rm spex}(n,\mathcal{H})$). In this paper, we use a decomposition family defined by Simonovits to give a characterization of which graph families $\mathcal{H}$ satisfy ${\rm ex}(n,\mathcal{H})<e(T_{n,r})+\lfloor \frac{n}{2r} \rfloor$. Furthermore, we completely determine ${\rm EX}\big(n,\mathbb{G}(F_1,\ldots,F_k)\big)$ for $n$ sufficiently large, where $\mathbb{G}(F_1,\ldots,F_k)$ denotes a finite graph family which consists of $k$ edge-disjoint $(r+1)$-chromatic color-critical graphs $F_1,\ldots,F_k$. This result strengthens a theorem of Gy\H{o}ri, who settled the case that $F_1=\cdots =F_k = K_{r+1}$. Wang, Kang and Xue %[J. Combin. Theory Ser. B 159 (2023) 20--41] proved that ${\rm SPEX}(n,H)\subseteq {\rm EX}(n,H)$ for $n$ sufficiently large and any graph $H$ with ${\rm ex}(n,H)=e(T_{n,r})+O(1)$. As an application of our first theorem, we show that ${\rm SPEX}(n,\mathcal{H})\subseteq {\rm EX}(n,\mathcal{H})$ for $n$ sufficiently large and any finite family $\mathcal{H}$ with ${\rm ex}(n,\mathcal{H})<e(T_{n,r})+\lfloor \frac{n}{2r}\rfloor$. As an application of our second theorem we completely determine ${\rm SPEX}\big(n,\mathbb{G}(F_1,\ldots,F_k)\big)$ for $n$ sufficiently large. Finally, related problems are proposed for further research.


title: Representations and cohomologies of the alternating group of degree 4

abstract: We describe integral representations of the alternating group $A_4$, in particular, the Auslander-Reiten quiver of its 2-adic representations. Using these results we calculate Tate cohomologies of all $A_4$-lattices.


title: Statistical Analysis of Block Coordinate Descent Algorithms for Linear Continuous-time System Identification

abstract: Block coordinate descent is an optimization technique that is used for estimating multi-input single-output (MISO) continuous-time models, as well as single-input single output (SISO) models in additive form. Despite its widespread use in various optimization contexts, the statistical properties of block coordinate descent in continuous-time system identification have not been covered in the literature. The aim of this paper is to formally analyze the bias properties of the block coordinate descent approach for the identification of MISO and additive SISO systems. We characterize the asymptotic bias at each iteration, and provide sufficient conditions for the consistency of the estimator for each identification setting. The theoretical results are supported by simulation examples.


title: Noncommutative domains, universal operator models, and operator algebras

abstract: Let B(H) be the algebra of all bounded linear operators on a Hilbert space H. The main goal of the paper is to find large classes of noncommutative domains in B(H) with prescribed universal operator models, acting on the full Fock space with n generators, and to study these domains and their universal models in connection with the Hardy algebras and the C^*-algebras they generate. While the class of these domains contains the regular noncommutative domains previously studied in the literature, the main focus of the present paper is on the non-regular domains. The multi-variable operator theory of these domains is developed throughout the paper.


title: Noncommutative domains, universal operator models, and operator algebras, II

abstract: In a recent paper, we introduced and studied the class of admissible noncommutative domains $D_{g^{-1}}(H)$ in $B(H)^n$ associated with admissible free holomorphic functions $g$ in noncommutative indeterminates $Z_1,\ldots, Z_n$. Each such a domain admits a universal model ${\bf W}:=(W_1,\ldots, W_n)$ of weighted left creation operators acting on the full Fock space with $n$ generators. In the present paper, we continue the study of these domains and their universal models in connection with the Hardy algebras and the $C^*$-algebras they generate. We obtain a Beurling type characterization of the invariant subspaces of the universal model ${\bf W}:=(W_1,\ldots, W_n)$ and develop a dilation theory for the elements of the noncommutative domain $D_{g^{-1}}(H)$. We also obtain results concerning the commutant lifting and Toeplitz-corrona in our setting as as well as some results on the boundary property for universal models.


title: Data-driven turbulence modeling

abstract: This chapter provides an introduction to data-driven techniques for the development and calibration of closure models for the Reynolds-Averaged Navier--Stokes (RANS) equations. RANS models are the workhorse for engineering applications of computational fluid dynamics (CFD) and are expected to play an important role for decades to come. However, RANS model inadequacies for complex, non-equilibrium flows and uncertainties in modeling assumptions and calibration data are still a major obstacle to the predictive capability of RANS simulations. In the following, we briefly recall the origin and limitations of RANS models, and then review their shortcomings and uncertainties. Then, we provide an introduction to data-driven approaches to RANS turbulence modeling. The latter can range from simple model parameter inference to sophisticated machine learning techniques. We conclude with some perspectives on current and future research trends.


title: Moving impedance profiles make one--way, spectrum--reshaping mirrors

abstract: We find a new set of exact solutions to Maxwell's equations in space--time varying materials, where the refractive index is constant, while the impedance exhibits effective motion, i.e. it is a function of $x-vt$. We find that waves co--propagating with the modulation are not reflected within the material, while counter--propagating waves are continually reflected by the changing impedance. For a finite section of such a material we find analogues of transmission resonances, where specially shaped `eigenpulses' enter without reflection. We also find that there is a strong asymmetry in reflection from the medium when the impedance modulation is small but rapid, the material reflecting strongly from one side, and negligibly from the other. Unlike stationary media, the spectrum of the reflected wave can be significantly different from the incident one.


title: Polynomial escape rates via maximal large deviations

abstract: In this short note, we propose an approach to polynomial escape rates, which can be applied to various open systems with intermittency. The tool of our approach is the maximal large deviations developed in [4].


title: CuriousLLM: Elevating Multi-Document QA with Reasoning-Infused Knowledge Graph Prompting

abstract: In the field of Question Answering (QA), unifying large language models (LLMs) with external databases has shown great success. However, these methods often fall short in providing the advanced reasoning needed for complex QA tasks. To address these issues, we improve over a novel approach called Knowledge Graph Prompting (KGP), which combines knowledge graphs with a LLM-based agent to improve reasoning and search accuracy. Nevertheless, the original KGP framework necessitates costly fine-tuning with large datasets yet still suffers from LLM hallucination. Therefore, we propose a reasoning-infused LLM agent to enhance this framework. This agent mimics human curiosity to ask follow-up questions to more efficiently navigate the search. This simple modification significantly boosts the LLM performance in QA tasks without the high costs and latency associated with the initial KGP framework. Our ultimate goal is to further develop this approach, leading to more accurate, faster, and cost-effective solutions in the QA domain.


title: A static quantum embedding scheme based on coupled cluster theory

abstract: We develop a static quantum embedding scheme, utilizing projection equations to solve coupled cluster (CC) amplitudes. To reduce the computational cost (for example, of a large basis set calculation), we solve the local fragment problem using a high-level coupled cluster method and address the environment problem with a lower-level M{\o}ller-Plesset (MP) perturbative method. This embedding approach is consistently formulated within the coupled cluster framework and will be called MP-CC. We demonstrate the effectiveness of our method through several prototypical molecular examples by analyzing a global quantity, that is, the total correlation energy of the system in the study of potential energy curves (PEC) and thermochemical reaction energies. We have shown that our method can achieve comparable accuracy both with a small and large basis set when the fragment Hilbert space size remains the same. Additionally, our results indicate that increasing the fragment size can systematically enhance the accuracy of observables, approaching the precision of the full coupled cluster solver.


title: Compactness results for a Dirichlet energy of nonlocal gradient with applications

abstract: We prove two compactness results for function spaces with finite Dirichlet energy of half-space nonlocal gradients. In each of these results, we provide sufficient conditions on a sequence of kernel functions that guarantee the asymptotic compact embedding of the associated nonlocal function spaces into the class of square-integrable functions. Moreover, we will demonstrate that the sequence of nonlocal function spaces converges in an appropriate sense to a limiting function space. As an application, we prove uniform Poincar\'e-type inequalities for sequence of half-space gradient operators. We also apply the compactness result to demonstrate the convergence of appropriately parameterized nonlocal heterogeneous anisotropic diffusion problems. We will construct asymptotically compatible schemes for these type of problems. Another application concerns the convergence and robust discretization of a nonlocal optimal control problem.


title: Safe Reinforcement Learning on the Constraint Manifold: Theory and Applications

abstract: Integrating learning-based techniques, especially reinforcement learning, into robotics is promising for solving complex problems in unstructured environments. However, most existing approaches are trained in well-tuned simulators and subsequently deployed on real robots without online fine-tuning. In this setting, the simulation's realism seriously impacts the deployment's success rate. Instead, learning with real-world interaction data offers a promising alternative: not only eliminates the need for a fine-tuned simulator but also applies to a broader range of tasks where accurate modeling is unfeasible. One major problem for on-robot reinforcement learning is ensuring safety, as uncontrolled exploration can cause catastrophic damage to the robot or the environment. Indeed, safety specifications, often represented as constraints, can be complex and non-linear, making safety challenging to guarantee in learning systems. In this paper, we show how we can impose complex safety constraints on learning-based robotics systems in a principled manner, both from theoretical and practical points of view. Our approach is based on the concept of the Constraint Manifold, representing the set of safe robot configurations. Exploiting differential geometry techniques, i.e., the tangent space, we can construct a safe action space, allowing learning agents to sample arbitrary actions while ensuring safety. We demonstrate the method's effectiveness in a real-world Robot Air Hockey task, showing that our method can handle high-dimensional tasks with complex constraints. Videos of the real robot experiments are available on the project website (https://puzeliu.github.io/TRO-ATACOM).


title: Probabilistic Directed Distance Fields for Ray-Based Shape Representations

abstract: In modern computer vision, the optimal representation of 3D shape continues to be task-dependent. One fundamental operation applied to such representations is differentiable rendering, as it enables inverse graphics approaches in learning frameworks. Standard explicit shape representations (voxels, point clouds, or meshes) are often easily rendered, but can suffer from limited geometric fidelity, among other issues. On the other hand, implicit representations (occupancy, distance, or radiance fields) preserve greater fidelity, but suffer from complex or inefficient rendering processes, limiting scalability. In this work, we devise Directed Distance Fields (DDFs), a novel neural shape representation that builds upon classical distance fields. The fundamental operation in a DDF maps an oriented point (position and direction) to surface visibility and depth. This enables efficient differentiable rendering, obtaining depth with a single forward pass per pixel, as well as differential geometric quantity extraction (e.g., surface normals), with only additional backward passes. Using probabilistic DDFs (PDDFs), we show how to model inherent discontinuities in the underlying field. We then apply DDFs to several applications, including single-shape fitting, generative modelling, and single-image 3D reconstruction, showcasing strong performance with simple architectural components via the versatility of our representation. Finally, since the dimensionality of DDFs permits view-dependent geometric artifacts, we conduct a theoretical investigation of the constraints necessary for view consistency. We find a small set of field properties that are sufficient to guarantee a DDF is consistent, without knowing, for instance, which shape the field is expressing.


title: One-Way Quantum Repeater with Rare-Earth-Ions Doped in Solids

abstract: Quantum repeaters are proposed to overcome exponential photon loss over distance in fibers. One-way quantum repeaters eliminate the need for two-way classical communications, which can potentially outperform quantum memory based quantum repeaters. I propose that rare-earth-ions doped in solids and coupled with nano-cavity can be used to generate photonic cluster state efficiently, which serve as good platforms for one-way quantum repeater nodes. In addition, I propose a multiplexed scheme of photonic tree cluster state generation with multiple quantum emitters. With less than 100 quantum emitters, secret key rates can reach the order of MHz over a few thousand kilometers. This proposal is especially useful for generating large scale photonic cluster state, which is essential for correcting operational errors during processing in quantum repeater nodes.


title: Interplay between electronic dephasing and localization in finite-sized Chern insulator

abstract: Anderson localization is anticipated to play a pivotal role in the manifestation of the quantum anomalous Hall effect, akin to its role in conventional quantum Hall effects. The significance of Anderson localization is particularly pronounced in elucidating the reasons behind the fragility of the observed quantum anomalous Hall state in the intrinsic magnetic topological insulator MnBi2Te4 with a large predicted magnetic gap. Here, employing varying sized MnBi2Te4 micro/nano-structures fabricated from a single molecular-beam-epitaxy-grown thin film, we have carried out a systematic size- and temperature-dependent study on the transport properties of the films regarding the quantum anomalous Hall states. The low-temperature transport properties of the finite-sized MnBi2Te4 samples can be quantitatively understood through Anderson localization, which plays an indispensable role in stabilizing the ground states. At higher temperatures, the failure of electron localization induced by an excessively short electronic dephasing length is identified as the cause of deviation from quantization. The work reveals that electronic dephasing and localization are non-negligible factors in designing high-temperature quantum anomalous Hall systems.


title: Noncommutative weighted shifts, joint similarity, and function theory in several variables

abstract: The goal of this paper is to study the structure of noncommutative weighted shifts, their properties, and to understand their role as models (up to similarity) for $n$-tuples of operators on Hilbert spaces as well as their implications to function theory on noncommutative (resp.commutative) Reinhardt domains. We obtain a Rota type similarity result concerning the joint similarity of $n$-tuples of operators to parts of noncommutative weighted multi-shifts and provide a noncommutative multivariable analogue of Foias-Pearcy model for quasinilpotent operators. The model noncommutative weighted multi-shift which is studied in this paper is the $n$-tuple $W=(W_1,\ldots, W_n)$, where $W_i$ are weighted left creation operators of the full Fock space with $n$ generators associated with a weight sequence $\boldsymbol \mu=\{\mu_\beta\}_{|\beta|\geq 1}$ of nonnegative numbers. We also represent the injective weighted multi-shifts $W_1,\ldots, W_n$ as ordinary multiplications by $Z_1,\ldots, Z_n$ on a Hilbert space of noncommutative formal power series. This leads naturally to analytic function theory in several complex variables. One of the goal for the remainder of the paper is to analyze the extent to which our noncommutative formal power series represent analytic functions in several noncommutative (resp. commutative) variables and to develop a functional calculus for arbitrary $n$-tuples of operators on a Hilbert space.


title: On the Spectral Large Sieve Inequality for $\mathrm{PGL}_2 (\mathbb{Z}[i]) \backslash \mathrm{PGL}_2 (\mathbb{C})$

abstract: In this paper, we introduce concise expressions for the complex Bessel integral that enables us to improve the spectral large sieve inequality of Watt for $\mathrm{PGL}_2 (\mathbb{Z}[i]) \backslash \mathrm{PGL}_2 (\mathbb{C})$. Our result is optimistic in the case when the average of spectral parameters is on a square centered at $(0, 0)$.


title: Photo-induced Multiply Quantized Vortex States in Dirac-like Materials

abstract: Subjecting a massive two-dimensional Dirac material to a vortex light beam provides a mechanism for the photo-induction of multiply quantized vortices. Using Floquet theory, we show that electronic vortices, characterized by their total angular momentum, are exclusive to circularly polarized vortex beams. The equations for the driven system at the one photon-resonance are mapped to the Bogoliubov-de Gennes equations of $s$-wave superconductors with multiply quantized vortices. This mapping provides valuable analytical tools for the analysis of the system's spectral properties.


title: On the Benefits of Traffic "Reprofiling" -- The Multiple Hops Case -- Part I

abstract: This paper considers networks where user traffic is regulated through deterministic traffic profiles, e.g., token buckets, and requires hard delay bounds. The network's goal is to minimize the resources it needs to meet those bounds. The paper explores how reprofiling, i.e., proactively modifying how user traffic enters the network, can be of benefit. Reprofiling produces ``smoother'' flows but introduces an up-front access delay that forces tighter network delays. The paper explores this trade-off and demonstrates that, unlike what holds in the single-hop case, reprofiling can be of benefit} even when ``optimal'' schedulers are available at each hop.


title: Projective Systematic Authentication via Reed-Muller Codes

abstract: In this paper, we study the problem of constructing projective systematic authentication schemes based on binary linear codes. In systematic authentication, a tag for authentication is generated and then appended to the information, also referred to as the source, to be sent from the sender. Existing approaches to leverage projective constructions focus primarily on codes over large alphabets, and the projection is simply into one single symbol of the codeword. In this work, we extend the projective construction and propose a general projection process in which the source, which is mapped to a higher dimensional codeword in a given code, is first projected to a lower dimensional vector. The resulting vector is then masked to generate the tag. To showcase the new method, we focus on leveraging binary linear codes and, in particular, Reed-Muller (RM) codes for the proposed projective construction. More specifically, we propose systematic authentication schemes based on RM codes, referred to as RM-Acodes. We provide analytical results for probabilities of deception, widely considered as the main metrics to evaluate the performance of authentication systems. Through our analysis, we discover and discuss explicit connections between the probabilities of deception and various properties of RM codes.


title: A biological circuit to anticipate trend

abstract: Organisms gain by anticipating future changes in the environment. Those environmental changes often follow stochastic trends. The greater the slope of the trend, the more likely the trend's momentum carries the future trend in the same direction. This article presents a simple biological circuit that measures the momentum, providing a prediction about future trend. The circuit calculates the momentum by the difference between a short-term and a long-term exponential moving average. The time lengths of the two moving averages can be adjusted by changing the decay rates of state variables. Different time lengths for those averages trade off between errors caused by noise and errors caused by lags in predicting a change in the direction of the trend. Prior studies have emphasized circuits that make similar calculations about trends. However, those prior studies embedded their analyses in the details of particular applications, obscuring the simple generality and wide applicability of the approach. The model here contributes to the topic by clarifying the great simplicity and generality of anticipation for stochastic trends. This article also notes that, in financial analysis, the difference between moving averages is widely used to predict future trends in asset prices. The financial measure is called the moving average convergence-divergence (MACD) indicator. Connecting the biological problem to financial analysis opens the way for future studies in biology to exploit the variety of highly developed trend models in finance.


title: DEX Specs: A Mean Field Approach to DeFi Currency Exchanges

abstract: We investigate the behavior of liquidity providers (LPs) by modeling a decentralized cryptocurrency exchange (DEX) based on Uniswap v3. LPs with heterogeneous characteristics choose optimal liquidity positions subject to uncertainty regarding the size of exogenous incoming transactions and the prices of assets in the wider market. They engage in a game among themselves, and the resulting liquidity distribution determines the exchange rate dynamics and potential arbitrage opportunities of the pool. We calibrate the distribution of LP characteristics based on Uniswap data and the equilibrium strategy resulting from this mean-field game produces pool exchange rate dynamics and liquidity evolution consistent with observed pool behavior. We subsequently introduce Maximal Extractable Value (MEV) bots who perform Just-In-Time (JIT) liquidity attacks, and develop a Stackelberg game between LPs and bots. This addition results in more accurate simulated pool exchange rate dynamics and stronger predictive power regarding the evolution of the pool liquidity distribution.


title: Semantic In-Domain Product Identification for Search Queries

abstract: Accurate explicit and implicit product identification in search queries is critical for enhancing user experiences, especially at a company like Adobe which has over 50 products and covers queries across hundreds of tools. In this work, we present a novel approach to training a product classifier from user behavioral data. Our semantic model led to >25% relative improvement in CTR (click through rate) across the deployed surfaces; a >50% decrease in null rate; a 2x increase in the app cards surfaced, which helps drive product visibility.


title: InverseVis: Revealing the Hidden with Curved Sphere Tracing

abstract: Exploratory analysis of scalar fields on surface meshes presents significant challenges in identifying and visualizing important regions, particularly on the surface's backside. Previous visualization methods achieved only a limited visibility of significant features, i.e., regions with high or low scalar values, during interactive exploration. In response to this, we propose a novel technique, InverseVis, which leverages curved sphere tracing and uses the otherwise unused space to enhance visibility. Our approach combines direct and indirect rendering, allowing camera rays to wrap around the surface and reveal information from the backside. To achieve this, we formulate an energy term that guides the image synthesis in previously unused space, highlighting the most important regions of the backside. By quantifying the amount of visible important features, we optimize the camera position to maximize the visibility of the scalar field on both the front and backsides. InverseVis is benchmarked against state-of-the-art methods and a derived technique, showcasing its effectiveness in revealing essential features and outperforming existing approaches.


title: Gophy: Novel Proof-of-Useful-Work blockchain architecture for High Energy Physics

abstract: In this publication, a novel architecture for Proof-of-Useful-Work blockchain consensus which aims to replace hash-based block problems with Monte Carlo simulation-based block problems to donate computational power to real-world HEP experiments is described. Design decisions are detailed and challenges are addressed. The architecture is being implemented using Golang and can be run inside the CbmRoot software environment. The goal is to build a bridge between the disciplines HEP and blockchain to build a novel blockchain network in which the network's computational power is not wasted but instead used to support a scientific experiment while at the same time securing the underlying permissioned blockchain. The blockchain features a token-based cryptocurrency that is rewarded to miners that donate computational power and acts as an additional incentive to participate which traditional volunteer computing can not provide. The implementation named gophy is being implemented in Golang and is expected to be open-sourced before the end of 2024.


title: Learning Surface Terrain Classifications from Ground Penetrating Radar

abstract: Terrain classification is an important problem for mobile robots operating in extreme environments as it can aid downstream tasks such as autonomous navigation and planning. While RGB cameras are widely used for terrain identification, vision-based methods can suffer due to poor lighting conditions and occlusions. In this paper, we propose the novel use of Ground Penetrating Radar (GPR) for terrain characterization for mobile robot platforms. Our approach leverages machine learning for surface terrain classification from GPR data. We collect a new dataset consisting of four different terrain types, and present qualitative and quantitative results. Our results demonstrate that classification networks can learn terrain categories from GPR signals. Additionally, we integrate our GPR-based classification approach into a multimodal semantic mapping framework to demonstrate a practical use case of GPR for surface terrain classification on mobile robots. Overall, this work extends the usability of GPR sensors deployed on robots to enable terrain classification in addition to GPR's existing scientific use cases.


title: Pirates: Anonymous Group Calls Over Fully Untrusted Infrastructure

abstract: Anonymous metadata-private voice call protocols suffer from high delays and so far cannot provide group call functionality. Anonymization inherently yields delay penalties, and scaling signalling and communication to groups of users exacerbates this situation. Our protocol Pirates employs PIR, improves parallelization and signalling, and is the first group voice call protocol that guarantees the strong anonymity notion of communication unobservability. Implementing and measuring a prototype, we show that Pirates with a single server can support group calls with three group members from an 11 concurrent users with mouth-to-ear latency below 365ms, meeting minimum ITU requirements as the first anonymous voice call system. Increasing the number of servers enables bigger group sizes and more participants.


title: MeerKAT and ALMA view of the AGAL045.804-0.356 clump

abstract: This study presents a detailed analysis of the GAL045.804-0.356 massive star-forming clump. A high-angular resolution and sensitivity observations were conducted using MeerKAT at 1.28 GHz and ALMA interferometer at 1.3 mm. Two distinct centimetre radio continuum emissions (source A and source B) were identified within the clump. A comprehensive investigation was carried out on source A, the G45.804-0.355 star-forming region (SFR) due to its association with Extended Green Object (EGO), 6.7 GHz methanol maser and the spatial coincidence with the peak of the dust continuum emission at 870 $\mu$m. The ALMA observations revealed seven dense dust condensations (MM1 to MM7) in source A. The brightest ($S_{\rm \nu} \sim$ 87 mJy) and massive main dense core, MM1, was co-located with the 6.7 GHz methanol maser. Explorations into the kinematics revealed gas motions characterised by a velocity gradient across the MM1 core. Furthermore, molecular line emission showed the presence of an extended arm-like structure, with a physical size of 0.25 pc $\times$ 0.18 pc ($\sim$ 50000 au $\times$ 30000 au) at a distance of 7.3 kpc. Amongst these arms, two arms were prominently identified in both the dust continuum and some of the molecular lines. A blue-shifted absorption P-Cygni profile was seen in the H$_2$CO line spectrum. The findings of this study are both intriguing and new, utilising data from MeerKAT and ALMA to investigate the characteristics of the AGAL45 clump. The evidence of spiral arms, the compact nature of the EGO and $<$ 2 km s$^{-1}$ velocity gradient are all indicative of G45.804-0.355 being oriented face-on.


title: Faster Game Solving via Hyperparameter Schedules

abstract: The counterfactual regret minimization (CFR) family of algorithms consists of iterative algorithms for imperfect-information games. In two-player zero-sum games, the time average of the iterates converges to a Nash equilibrium. The state-of-the-art prior variants, Discounted CFR (DCFR) and Predictive CFR$^+$ (PCFR$^+$) are the fastest known algorithms for solving two-player zero-sum games in practice, both in the extensive-form setting and the normal-form setting. They enhance the convergence rate compared to vanilla CFR by applying discounted weights to early iterations in various ways, leveraging fixed weighting schemes. We introduce Hyperparameter Schedules (HSs), which are remarkably simple yet highly effective in expediting the rate of convergence. HS dynamically adjusts the hyperparameter governing the discounting scheme of CFR variants. HSs on top of DCFR or PCFR$^+$ is now the new state of the art in solving zero-sum games and yields orders-of-magnitude speed improvements. The new algorithms are also easy to implement because 1) they are small modifications to the existing ones in terms of code and 2) they require no game-specific tuning.