title: Better Sparsifiers for Directed Eulerian Graphs

abstract: Spectral sparsification for directed Eulerian graphs is a key component in the design of fast algorithms for solving directed Laplacian linear systems. Directed Laplacian linear system solvers are crucial algorithmic primitives to fast computation of fundamental problems on random walks, such as computing stationary distribution, hitting and commute time, and personalized PageRank vectors. While spectral sparsification is well understood for undirected graphs and it is known that for every graph $G,$ $(1+\varepsilon)$-sparsifiers with $O(n\varepsilon^{-2})$ edges exist [Batson-Spielman-Srivastava, STOC '09] (which is optimal), the best known constructions of Eulerian sparsifiers require $\Omega(n\varepsilon^{-2}\log^4 n)$ edges and are based on short-cycle decompositions [Chu et al., FOCS '18]. In this paper, we give improved constructions of Eulerian sparsifiers, specifically: 1. We show that for every directed Eulerian graph $\vec{G},$ there exist an Eulerian sparsifier with $O(n\varepsilon^{-2} \log^2 n \log^2\log n + n\varepsilon^{-4/3}\log^{8/3} n)$ edges. This result is based on combining short-cycle decompositions [Chu-Gao-Peng-Sachdeva-Sawlani-Wang, FOCS '18, SICOMP] and [Parter-Yogev, ICALP '19], with recent progress on the matrix Spencer conjecture [Bansal-Meka-Jiang, STOC '23]. 2. We give an improved analysis of the constructions based on short-cycle decompositions, giving an $m^{1+\delta}$-time algorithm for any constant $\delta > 0$ for constructing Eulerian sparsifiers with $O(n\varepsilon^{-2}\log^3 n)$ edges.


title: Data Contamination Quiz: A Tool to Detect and Estimate Contamination in Large Language Models

abstract: We propose the Data Contamination Quiz (DCQ), a simple and effective approach to detect data contamination in large language models (LLMs) and estimate the amount of it. Specifically, we frame data contamination detection as a series of multiple-choice questions and devise a quiz format wherein three perturbed versions of each subsampled instance from a specific dataset partition (e.g., GSM8k test set) are created. These changes only include word-level perturbations. The generated perturbations, along with the original dataset instance, form the options in the DCQ, with an extra option accommodating the possibility of selecting none of the provided options. Given that the only distinguishing signal among the options is the exact wording with respect to the original dataset instance, an LLM, when tasked with identifying the original dataset instance, gravitates towards selecting the original one if it has been exposed to it in its pre-training phase -- a trait intrinsic to LLMs. While accounting for positional biases in LLMs, the quiz performance reveals the contamination level for the model being examined with the dataset partition to which the quiz pertains. Applied to various datasets with GPT-4 and GPT-3.5, our findings -- while fully lacking access to pre-training data and model parameters -- suggest that DCQ achieves state-of-the-art results and uncovers greater contamination/memorization levels compared to existing methods and proficiently bypasses more safety filters, especially those set to avoid generating copyrighted contents.


title: EVORA: Deep Evidential Traversability Learning for Risk-Aware Off-Road Autonomy

abstract: Traversing terrain with good traction is crucial for achieving fast off-road navigation. Instead of manually designing costs based on terrain features, existing methods learn terrain properties directly from data via self-supervision to automatically penalize trajectories moving through undesirable terrain, but challenges remain to properly quantify and mitigate the risk due to uncertainty in learned models. To this end, this work proposes a unified framework to learn uncertainty-aware traction model and plan risk-aware trajectories. For uncertainty quantification, we efficiently model both aleatoric and epistemic uncertainty by learning discrete traction distributions and probability densities of the traction predictor's latent features. Leveraging evidential deep learning, we parameterize Dirichlet distributions with the network outputs and propose a novel uncertainty-aware squared Earth Mover's distance loss with a closed-form expression that improves learning accuracy and navigation performance. For risk-aware navigation, the proposed planner simulates state trajectories with the worst-case expected traction to handle aleatoric uncertainty, and penalizes trajectories moving through terrain with high epistemic uncertainty. Our approach is extensively validated in simulation and on wheeled and quadruped robots, showing improved navigation performance compared to methods that assume no slip, assume the expected traction, or optimize for the worst-case expected cost.


title: Triviality of critical Fortuin-Kasteleyn decorated planar maps for $q>4$

abstract: We consider infinite random planar maps decorated by the critical Fortuin-Kasteleyn model with parameter $q>4$. The paper demonstrates that when appropriately rescaled, these maps converge in law to the infinite continuum random tree as pointed metric-measure spaces, that is, with respect to the local Gromov-Hausdorff-Prokhorov topology. Furthermore, we also show that these maps do not admit any Fortuin-Kasteleyn loops with a macroscopic graph distance diameter. Our proof is based on Scott Sheffield's hamburger-cheeseburger bijection.


title: Deep Learning meets Blockchain for Automated and Secure Access Control

abstract: Access control is a critical component of computer security, governing access to system resources. However, designing policies and roles in traditional access control can be challenging and difficult to maintain in dynamic and complex systems, which is particularly problematic for organizations with numerous resources. Furthermore, traditional methods suffer from issues such as third-party involvement, inefficiency, and privacy gaps, making transparent and dynamic access control an ongoing research problem. Moreover detecting malicious activities and identifying users who are not behaving appropriately can present notable difficulties. To address these challenges, we propose DLACB, a Deep Learning Based Access Control Using Blockchain, as a solution to decentralized access control. DLACB uses blockchain to provide transparency, traceability, and reliability in various domains such as medicine, finance, and government while taking advantage of deep learning to not rely on predefined policies and eventually automate access control. With the integration of blockchain and deep learning for access control, DLACB can provide a general framework applicable to various domains, enabling transparent and reliable logging of all transactions. As all data is recorded on the blockchain, we have the capability to identify malicious activities. We store a list of malicious activities in the storage system and employ a verification algorithm to cross-reference it with the blockchain. We conduct measurements and comparisons of the smart contract processing time for the deployed access control system in contrast to traditional access control methods, determining the time overhead involved. The processing time of DLBAC demonstrates remarkable stability when exposed to increased request volumes.


title: Summon a Demon and Bind it: A Grounded Theory of LLM Red Teaming in the Wild

abstract: Engaging in the deliberate generation of abnormal outputs from large language models (LLMs) by attacking them is a novel human activity. This paper presents a thorough exposition of how and why people perform such attacks. Using a formal qualitative methodology, we interviewed dozens of practitioners from a broad range of backgrounds, all contributors to this novel work of attempting to cause LLMs to fail. We relate and connect this activity between its practitioners' motivations and goals; the strategies and techniques they deploy; and the crucial role the community plays. As a result, this paper presents a grounded theory of how and why people attack large language models: LLM red teaming in the wild.


title: Role of the edge electric field in the resonant mode-particle interactions and the formation of transport barriers in toroidal plasmas

abstract: The impact of an edge radial electric field on the particle orbits and the orbital spectrum in an axisymmetric toroidal magnetic equilibrium is investigated using a guiding center canonical formalism. Poloidal and bounce/transit-averaged toroidal precession frequencies are calculated, highlighting the role of the radial electric field. The radial electric field is shown to drastically modify the resonance conditions between particles with certain kinetic characteristics and specific perturbative non-axisymmetric modes and to enable the formation of transport barriers. The locations of the resonances and the transport barriers, that determine the particle, energy and momentum transport are shown to be accurately pinpointed in the phase space, by employing the calculated orbital frequencies.


title: Argumentation Element Annotation Modeling using XLNet

abstract: This study demonstrates the effectiveness of XLNet, a transformer-based language model, for annotating argumentative elements in persuasive essays. XLNet's architecture incorporates a recurrent mechanism that allows it to model long-term dependencies in lengthy texts. Fine-tuned XLNet models were applied to three datasets annotated with different schemes - a proprietary dataset using the Annotations for Revisions and Reflections on Writing (ARROW) scheme, the PERSUADE corpus, and the Argument Annotated Essays (AAE) dataset. The XLNet models achieved strong performance across all datasets, even surpassing human agreement levels in some cases. This shows XLNet capably handles diverse annotation schemes and lengthy essays. Comparisons between the model outputs on different datasets also revealed insights into the relationships between the annotation tags. Overall, XLNet's strong performance on modeling argumentative structures across diverse datasets highlights its suitability for providing automated feedback on essay organization.


title: Beris-Edwards Models on Evolving Surfaces: A Lagrange-D'Alembert Approach

abstract: Using the Lagrange-D'Alembert principle we develop thermodynamically consistent surface Beris-Edwards models. These models couple viscous inextensible surface flow with a Landau-de Gennes-Helfrich energy and consider the simultaneous relaxation of the surface Q-tensor field and the surface, by taking hydrodynamics of the surface into account. We consider different formulations, a general model with three-dimensional surface Q-tensor dynamics and possible constraints incorporated by Lagrange multipliers and a surface conforming model with tangential anchoring of the surface Q-tensor field and possible additional constraints. In addition to different treatments of the surface Q-tensor, which introduces different coupling mechanisms with the geometric properties of the surface, we also consider different time derivatives to account for different physical interpretations of surface nematics. We relate the derived models to established models in simplified situations, compare the different formulations with respect to numerical realizations and mention potential applications in biology.


title: Nonnegativity Problems for Matrix Semigroups

abstract: The matrix semigroup membership problem asks, given square matrices $M,M_1,\ldots,M_k$ of the same dimension, whether $M$ lies in the semigroup generated by $M_1,\ldots,M_k$. It is classical that this problem is undecidable in general but decidable in case $M_1,\ldots,M_k$ commute. In this paper we consider the problem of whether, given $M_1,\ldots,M_k$, the semigroup generated by $M_1,\ldots,M_k$ contains a non-negative matrix. We show that in case $M_1,\ldots,M_k$ commute, this problem is decidable subject to Schanuel's Conjecture. We show also that the problem is undecidable if the commutativity assumption is dropped. A key lemma in our decidability result is a procedure to determine, given a matrix $M$, whether the sequence of matrices $(M^n)_{n\geq 0}$ is ultimately nonnegative. This answers a problem posed by S. Akshay (arXiv:2205.09190). The latter result is in stark contrast to the notorious fact that it is not known how to determine effectively whether for any specific matrix index $(i,j)$ the sequence $(M^n)_{i,j}$ is ultimately nonnegative (which is a formulation of the Ultimate Positivity Problem for linear recurrence sequences).


title: Florence-2: Advancing a Unified Representation for a Variety of Vision Tasks

abstract: We introduce Florence-2, a novel vision foundation model with a unified, prompt-based representation for a variety of computer vision and vision-language tasks. While existing large vision models excel in transfer learning, they struggle to perform a diversity of tasks with simple instructions, a capability that implies handling the complexity of various spatial hierarchy and semantic granularity. Florence-2 was designed to take text-prompt as task instructions and generate desirable results in text forms, whether it be captioning, object detection, grounding or segmentation. This multi-task learning setup demands large-scale, high-quality annotated data. To this end, we co-developed FLD-5B that consists of 5.4 billion comprehensive visual annotations on 126 million images, using an iterative strategy of automated image annotation and model refinement. We adopted a sequence-to-sequence structure to train Florence-2 to perform versatile and comprehensive vision tasks. Extensive evaluations on numerous tasks demonstrated Florence-2 to be a strong vision foundation model contender with unprecedented zero-shot and fine-tuning capabilities.


title: Parameter-Efficient Orthogonal Finetuning via Butterfly Factorization

abstract: Large foundation models are becoming ubiquitous, but training them from scratch is prohibitively expensive. Thus, efficiently adapting these powerful models to downstream tasks is increasingly important. In this paper, we study a principled finetuning paradigm -- Orthogonal Finetuning (OFT) -- for downstream task adaptation. Despite demonstrating good generalizability, OFT still uses a fairly large number of trainable parameters due to the high dimensionality of orthogonal matrices. To address this, we start by examining OFT from an information transmission perspective, and then identify a few key desiderata that enable better parameter-efficiency. Inspired by how the Cooley-Tukey fast Fourier transform algorithm enables efficient information transmission, we propose an efficient orthogonal parameterization using butterfly structures. We apply this parameterization to OFT, creating a novel parameter-efficient finetuning method, called Orthogonal Butterfly (BOFT). By subsuming OFT as a special case, BOFT introduces a generalized orthogonal finetuning framework. Finally, we conduct an extensive empirical study of adapting large vision transformers, large language models, and text-to-image diffusion models to various downstream tasks in vision and language.


title: Left-handed string and CHY amplitude at one loop

abstract: We propose a generalized left-handed (chiral) gauge choice for the genus one Riemann surface, realized through a singular gauge transformation of worldsheet coordinates. The transformation predominantly affects the logarithmic non-zero modes of the Green's function, leaving non-holomorphic and non-logarithmic modes unchanged. This procedure yields $\delta$-functions for chiral coordinates and box-diagram-like integrals in terms of modular parameters. The resulting $\delta$-functions formulate one-loop level Scattering Equations that simplify to satisfy the tree-level solutions, constraining the locations of the marked points. Subsequent integrals agree with the field-theoretic box diagram for the four-point amplitude, in accordance with the divergent $\epsilon$ expansions derived from dimensional regularization in the infrared limit. We conclude by highlighting potential avenues for future research, including the exploration of methodologies that preclude the need for worldsheet coordinates reparametrization and their implications for accurately capturing infrared behavior from modular parameter integrals.


title: Topological and magnetic phase transitions in the bilayer Kitaev-Ising model

abstract: We investigate the phase diagram of a bilayer Kitaev honeycomb model with Ising interlayer interactions, deriving effective models via perturbation theory and performing Majorana mean-field theory calculations. We show that a diverse array of magnetic and topological phase transitions occur, depending on the direction of the interlayer Ising interaction and the relative sign of Kitaev interactions. When two layers have the same sign of the Kitaev interaction, a first-order transition from a Kitaev spin liquid to a magnetically ordered state takes place. The magnetic order points along the Ising axis and it is (anti)ferromagnetic for (anti)ferromagnetic Kitaev interactions. However, when two layers have opposite sign of the Kitaev interaction, we observe a notable weakening of magnetic ordering tendencies and the Kitaev spin liquid survives up to a remarkably larger interlayer exchange. Our mean-field analysis suggests the emergence of an intermediate gapped $\mathbb{Z}_2$ spin liquid state, which eventually becomes unstable upon vison condensation. The confined phase is described by a highly frustrated $120^\circ$ compass model. We furthermore use perturbation theory to study the model with the Ising axis pointing along $\hat{z}$-axis or lying in the $xy$-plane. In both cases, our analysis reveals the formation of 1D Ising chains, which remain decoupled in perturbation theory, resulting in a subextensive ground-state degeneracy. Our results highlight the interplay between topological order and magnetic ordering tendencies in bilayer quantum spin liquids.


title: A Theoretical Framework for Simulating Organizations

abstract: This work proposes a theoretical framework using a systemic modeling paradigm to implement computational agents in the simulation of organizations. The potential of its use is demonstrated in the modeling of supply chains. Finally, research tending to develop an organizational modeling system in real-time is proposed.


title: An investigation of the Variation in Seasonal Rainfall Patterns Over the Years

abstract: In this work, long-term spatiotemporal changes in rainfall are analysed and evaluated using whole-year data from Rajasthan, India, at the meteorological divisional level. In order to determine how the rainfall pattern has changed over the past 10 years, I examined the data from each of the thirteen tehsils in the Jaipur district. For the years 2012 through 2021, daily rainfall information is available from the Indian Meteorological Department (IMD) in Jaipur. We primarily compare data broken down by tehsil in the Jaipur district of Rajasthan, India.


title: Qbits, la funcion de onda del universo, diagramas de Penrose: Una nueva perspectiva para una fisica simbolica (I)

abstract: The present research is about the analysis of the wave function of the universe applied to cosmological and quantum states. Also the wave function includes the history of the universe itself in several states, starting from the big bang and going to the actual time. Regarding the entropic consideration of Hawking for a black hole, the wave function contains all the information of the matter that can collapse into a black hole, and the information is transmitted as radiation. As a consequence, the information is analyzed as a quantum information from qubits idea.


title: The Scale of Homogeneity in the $R_h=ct$ Universe

abstract: Studies of the Universe's transition to smoothness in the context of LCDM have all pointed to a transition radius no larger than ~300 Mpc. These are based on a broad array of tracers for the matter power spectrum, including galaxies, clusters, quasars, the Ly-alpha forest and anisotropies in the cosmic microwave background. It is therefore surprising, if not anomalous, to find many structures extending out over scales as large as ~2 Gpc, roughly an order of magnitude greater than expected. Such a disparity suggests that new physics may be contributing to the formation of large-scale structure, warranting a consideration of the alternative FLRW cosmology known as the $R_h=ct$ universe. This model has successfully eliminated many other problems in LCDM. In this paper, we calculate the fractal (or Hausdorff) dimension in this cosmology as a function of distance, showing a transition to smoothness at ~2.2 Gpc, fully accommodating all of the giant structures seen thus far. This outcome adds further observational support for R_h=ct over the standard model.


title: What Do You Care About: Inferring Values from Emotions

abstract: Observers can glean information from others' emotional expressions through the act of drawing inferences from another individual's emotional expressions. It is important for socially aware artificial systems to be capable of doing that as it can facilitate social interaction among agents, and is particularly important in human-robot interaction for supporting a more personalized treatment of users. In this short paper, we propose a methodology for developing a formal model that allows agents to infer another agent's values from her emotion expressions.


title: AI for Investment: A Platform Disruption

abstract: With the investment landscape becoming more competitive, efficiently scaling deal sourcing and improving deal insights have become a dominant strategy for funds. While funds are already spending significant efforts on these two tasks, they cannot be scaled with traditional approaches; hence, there is a surge in automating them. Many third party software providers have emerged recently to address this need with productivity solutions, but they fail due to a lack of personalization for the fund, privacy constraints, and natural limits of software use cases. Therefore, most major funds and many smaller funds have started developing their in-house AI platforms: a game changer for the industry. These platforms grow smarter by direct interactions with the fund and can be used to provide personalized use cases. Recent developments in large language models, e.g. ChatGPT, have provided an opportunity for other funds to also develop their own AI platforms. While not having an AI platform now is not a competitive disadvantage, it will be in two years. Funds require a practical plan and corresponding risk assessments for such AI platforms.


title: A quaternion-based mathematical model for geometrically exact dynamic analysis of cantilevered pipe conveying fluid

abstract: For the first time, the development of the nonlinear geometrically exact governing equations and corresponding boundary conditions of hanging cantilevered flexible pipes conveying fluid in the framework of the quaternion system is undertaken. Additionally, the linear model is derived from the nonlinear one for the stability analysis. The linear and nonlinear mathematical formulations based on the geometrically exact rotation-based model are also extracted from the current model. The obtained integro-partial differential-algebraic equations are converted to a set of ordinary differential algebraic equations via the Galerkin discretization technique, and the resulting equations are numerically solved to determine the self-excited oscillation behavior of the system in the post-flutter region. The critical flow velocities, time traces, bifurcation diagrams, phase planes, and deformed configurations are compared with those reported based on the geometrically exact rotation-based model. The comparative studies divulge that the present model can successfully capture the stability and dynamic characteristics of the system. An interesting feature of the current ordinary differential-algebraic equations is that their coefficients are time-independent, unlike those of geometrically exact rotation-based equations in the Galerkin form. The results show this feature leads to a remarkable decrease in the computational cost, although the number of equations increases and the nonlinearity becomes stronger. The challenging issues with the numerical solution utilized in this study are also discussed.


title: Advancing Parsimonious Deep Learning Weather Prediction using the HEALPix Mesh

abstract: We present a parsimonious deep learning weather prediction model to forecast seven atmospheric variables with 3-h time resolution for up to one-year lead times on a 110-km global mesh using the Hierarchical Equal Area isoLatitude Pixelization (HEALPix). In comparison to state-of-the-art (SOTA) machine learning (ML) weather forecast models, such as Pangu-Weather and GraphCast, our DLWP-HPX model uses coarser resolution and far fewer prognostic variables. Yet, at one-week lead times, its skill is only about one day behind both SOTA ML forecast models and the SOTA numerical weather prediction model from the European Centre for Medium-Range Weather Forecasts. We report several improvements in model design, including switching from the cubed sphere to the HEALPix mesh, inverting the channel depth of the U-Net, and introducing gated recurrent units (GRU) on each level of the U-Net hierarchy. The consistent east-west orientation of all cells on the HEALPix mesh facilitates the development of location-invariant convolution kernels that successfully propagate weather patterns across the globe without requiring separate kernels for the polar and equatorial faces of the cube sphere. Without any loss of spectral power after the first two days, the model can be unrolled autoregressively for hundreds of steps into the future to generate realistic states of the atmosphere that respect seasonal trends, as showcased in one-year simulations.


title: A soft Lasso model for the motion of a ball falling in the non-Newtonian fluid

abstract: From the mesoscopic point of view, a new concept of soft matching for mass points is proposed. Then a soft Lasso's approach to learn the soft dynamical equation for the physical mechanical relationship is proposed, too. Furthermore, a discrete iterative algorithm combining the Newton-Stokes term and the soft Lasso's term is developed to simulate the motion of a ball falling in non-Newtonian fluids. The theory is validated by numerical examples and shows satisfactory results, which exhibit the chaotic phenomena, sudden accelerations and the continual random oscillations. The pattern of the motion is independent of initial values and is preserved for long time.


title: Privacy-Engineered Value Decomposition Networks for Cooperative Multi-Agent Reinforcement Learning

abstract: In cooperative multi-agent reinforcement learning (Co-MARL), a team of agents must jointly optimize the team's long-term rewards to learn a designated task. Optimizing rewards as a team often requires inter-agent communication and data sharing, leading to potential privacy implications. We assume privacy considerations prohibit the agents from sharing their environment interaction data. Accordingly, we propose Privacy-Engineered Value Decomposition Networks (PE-VDN), a Co-MARL algorithm that models multi-agent coordination while provably safeguarding the confidentiality of the agents' environment interaction data. We integrate three privacy-engineering techniques to redesign the data flows of the VDN algorithm, an existing Co-MARL algorithm that consolidates the agents' environment interaction data to train a central controller that models multi-agent coordination, and develop PE-VDN. In the first technique, we design a distributed computation scheme that eliminates Vanilla VDN's dependency on sharing environment interaction data. Then, we utilize a privacy-preserving multi-party computation protocol to guarantee that the data flows of the distributed computation scheme do not pose new privacy risks. Finally, we enforce differential privacy to preempt inference threats against the agents' training data, past environment interactions, when they take actions based on their neural network predictions. We implement PE-VDN in StarCraft Multi-Agent Competition (SMAC) and show that it achieves 80% of Vanilla VDN's win rate while maintaining differential privacy levels that provide meaningful privacy guarantees. The results demonstrate that PE-VDN can safeguard the confidentiality of agents' environment interaction data without sacrificing multi-agent coordination.


title: From Deep Filtering to Deep Econometrics

abstract: Calculating true volatility is an essential task for option pricing and risk management. However, it is made difficult by market microstructure noise. Particle filtering has been proposed to solve this problem as it favorable statistical properties, but relies on assumptions about underlying market dynamics. Machine learning methods have also been proposed but lack interpretability, and often lag in performance. In this paper we implement the SV-PF-RNN: a hybrid neural network and particle filter architecture. Our SV-PF-RNN is designed specifically with stochastic volatility estimation in mind. We then show that it can improve on the performance of a basic particle filter.


title: Optimality Conditions For Multi-Objective Interval-Valued Optimization Problem On Hadamard Manifolds

abstract: The KKT optimality conditions for multi-objective interval-valued optimization problem on Hadamard manifold are studied in this paper. Several concepts of Pareto optimal solutions, considered under LU and CW ordering on the class of all closed intervals in $\mathbb{R}$, are given. The KKT conditions are presented under the notions of convexity, pseudo-convexity and generalized Hukuhara difference. We show, with the help of an example, that the results done in this paper for solving multi-objective interval-valued optimization problems on Hadamard spaces are more general than the existing ones on Euclidean spaces. The main results are supported by examples.


title: Post-COVID Highlights: Challenges and Solutions of AI Techniques for Swift Identification of COVID-19

abstract: Since the onset of the COVID-19 pandemic in 2019, there has been a concerted effort to develop cost-effective, non-invasive, and rapid AI-based tools. These tools were intended to alleviate the burden on healthcare systems, control the rapid spread of the virus, and enhance intervention outcomes, all in response to this unprecedented global crisis. As we transition into a post-COVID era, we retrospectively evaluate these proposed studies and offer a review of the techniques employed in AI diagnostic models, with a focus on the solutions proposed for different challenges. This review endeavors to provide insights into the diverse solutions designed to address the multifaceted challenges that arose during the pandemic. By doing so, we aim to prepare the AI community for the development of AI tools tailored to address public health emergencies effectively.


title: Assessing the Dissipative Capacity of Particle Impact Dampers Based on their Nonlinear Bandwidth Characteristics

abstract: The dissipative capacity as quantified by the nonlinear bandwidth measure of impulsively loaded primary structures (PSs) coupled to particle impact dampers (PIDs) is assessed. The considered PIDs are designed by initially placing different numbers of spherical, linearly viscoelastic granules at different 2D initial topologies and clearances. The strongly nonlinear and highly discontinuous dynamics of the PIDs are simulated via the discrete element method taking Hertzian interactions, slipping friction and granular rotations into account. The general definition of nonlinear bandwidth is used to evaluate the energy dissipation capacity of the integrated PS-PID systems. Moreover, the effect of the dynamics of the PIDs on the time-bandwidth product of these systems is studied, as a measure of their capacity to store or dissipate vibration energy. It is found that the initial topologies of the granules in the PID drastically affect the time-bandwidth product, which, depending on shock intensity, may break the classical limit of unity which holds for linear time-invariant dissipative resonators. The optimal PS-PID systems composed of multiple granules produce large nonlinear bandwidths, indicating strong dissipative capacity of broadband input energy by the PIDs. Additionally, in the optimal configurations, the time-bandwidth product, i.e., the measure of the frequency bandwidth of the input shock that is stored in the PS-PID system, in tandem with the amount of time it takes for the system to dissipate (1/e) of the initial energy, can be tuned either above or below unity by varying the applied shock intensity. The implications of these findings on the dissipative capacity of the system considered are discussed, showing that it can be predictively assessed so that PIDs can act as highly effective nonlinear energy sinks capable of rapid and efficient suppression of vibration induced by shocks.


title: College Dropout Factors: An Analysis with LightGBM and Shapley's Cooperative Game Theory

abstract: This study was based on data analysis of academic histories of civil engineering students at FACET-UNT. Our main objective was to determine the academic performance variables that have a significant impact on the dropout of the career. To do this, we implemented a correlation model using LightGBM (Barbier et al., 2016; Ke et al., 2017; Shi et al., 2022). We use this model to identify the key variables that influence the probability of student dropout. In addition, we use game theory to interpret the results obtained. Specifically, we use the SHAP library (Lundberg et al., 2018, 2020; Lundberg & Lee, 2017) in Python to calculate the Shapley numbers. The results of our study revealed the most important variables that influence the dropout from the civil engineering career. Significant differences were identified in terms of age, time spent in studies, and academic performance, which includes the number of courses passed and the number of exams taken. These results may be useful to develop more effective student retention strategies and improve academic success in this discipline.


title: With ChatGPT, do we have to rewrite our learning objectives -- CASE study in Cybersecurity

abstract: With the emergence of Artificial Intelligent chatbot tools such as ChatGPT and code writing AI tools such as GitHub Copilot, educators need to question what and how we should teach our courses and curricula in the future. In reality, automated tools may result in certain academic fields being deeply reduced in the number of employable people. In this work, we make a case study of cybersecurity undergrad education by using the lens of ``Understanding by Design'' (UbD). First, we provide a broad understanding of learning objectives (LOs) in cybersecurity from a computer science perspective. Next, we dig a little deeper into a curriculum with an undergraduate emphasis on cybersecurity and examine the major courses and their LOs for our cybersecurity program at Miami University. With these details, we perform a thought experiment on how attainable the LOs are with the above-described tools, asking the key question ``what needs to be enduring concepts?'' learned in this process. If an LO becomes something that the existence of automation tools might be able to do, we then ask ``what level is attainable for the LO that is not a simple query to the tools?''. With this exercise, we hope to establish an example of how to prompt ChatGPT to accelerate students in their achievements of LOs given the existence of these new AI tools, and our goal is to push all of us to leverage and teach these tools as powerful allies in our quest to improve human existence and knowledge.


title: Exploring the Causal Relationship between Walkability and Affective Walking Experience: Evidence from 7 Major Tertiary Education Campuses in China

abstract: This study investigates the causal relationship between campus walkability and the emotional walking experiences of students, with a focus on their mental well-being. Using data from 697 participants across seven Chinese tertiary education campuses, the study employs a counterfactual analysis to estimate the impact of campus walkability on students' walking experiences. The analysis reveals that students living in campuses with improved walkability are 9.75% more likely to have positive walking experiences compared to those without walkability renovations. While walking attitude is strongly correlated with walking experiences, the study emphasizes the significance of objective factors such as campus surroundings and the availability of walking spaces in influencing the walking experience. Geographical features, including campus walkability improvements, have the most substantial impact, and this effect varies across different subsets of respondents. These findings underscore the importance of considering specific subsets and geographical features when assessing the impact of walkability improvements on the walking experience. In conclusion, the study provides compelling evidence of a causal link between improved campus walkability and enhanced emotional walking experiences among students, suggesting the need for further research on mediating factors and cultural variations affecting student mental health on various Chinese campuses.


title: No Trust without regulation!

abstract: The explosion in the performance of Machine Learning (ML) and the potential of its applications are strongly encouraging us to consider its use in industrial systems, including for critical functions such as decision-making in autonomous systems. While the AI community is well aware of the need to ensure the trustworthiness of AI-based applications, it is still leaving too much to one side the issue of safety and its corollary, regulation and standards, without which it is not possible to certify any level of safety, whether the systems are slightly or very critical.The process of developing and qualifying safety-critical software and systems in regulated industries such as aerospace, nuclear power stations, railways or automotive industry has long been well rationalized and mastered. They use well-defined standards, regulatory frameworks and processes, as well as formal techniques to assess and demonstrate the quality and safety of the systems and software they develop. However, the low level of formalization of specifications and the uncertainties and opacity of machine learning-based components make it difficult to validate and verify them using most traditional critical systems engineering methods. This raises the question of qualification standards, and therefore of regulations adapted to AI. With the AI Act, the European Commission has laid the foundations for moving forward and building solid approaches to the integration of AI-based applications that are safe, trustworthy and respect European ethical values. The question then becomes "How can we rise to the challenge of certification and propose methods and tools for trusted artificial intelligence?"


title: "ChatGPT, a Friend or Foe for Education?" Analyzing the User's Perspectives on the Latest AI Chatbot Via Reddit

abstract: Latest developments in Artificial Intelligence (AI) and big data gave rise to Artificial Intelligent agents like Open AI's ChatGPT, which has recently become the fastest growing application since Facebook and WhatsApp. ChatGPT has demonstrated its ability to impact students' classroom learning experience and exam outcomes. However, there is evidence that ChatGPT provides biased and erroneous information, yet students use ChatGPT in academic tasks. Therefore, an accurate understanding of ChatGPT user perception is crucial. This study has analyzed 247 Reddit top posts related to the educational use of ChatGPT from a prominent subreddit called "ChatGPT" for user perception analysis. Descriptive statistics, sentiment analysis using NLP techniques, and LDA topic modeling were used for analysis to gather a contextual understanding of the data. Results show that the majority of the users took a neutral viewpoint. However, there was more positive perception than negative regarding the usefulness of ChatGPT in education.


title: Partially Informed Elections -- Analyzing the Impact of Forced Ballot Truncation on Bucklin, Coombs, Plurality with Runoff, and Schulze

abstract: Elections employ various voting systems to determine winners based on voters' preferences. However, many recent ranked-choice elections have forced voters to truncate their ballots by only ranking a subset of the candidates. This study analyzes how forced ballot truncation affects the Bucklin, Coombs, plurality with runoff, and Schulze voting systems' abilities to output their true winning sets. Using computer simulations, thousands of preference profiles were generated with the Mallows model using different numbers of candidates, voters, and dispersion values. The true winning set was determined for each system using complete preferences, then compared to winning sets derived from repeatedly truncated preferences within the same preference profile. Results show that plurality with runoff was the most resistant to forced truncation, followed by Schulze, Bucklin, and Coombs. Additionally, elections with fewer voters and higher dispersion values were found to decrease the probability of selecting the true winning set across all systems. The findings provide insights into how forced truncation impacts voting systems, aiding election designers in their work.


title: Air ions induced aerosol sensing by eye-safe LIDAR

abstract: Low concentrations aerosols quantification is rather challenging for LIDAR instruments due to eye-safety restrictions so high energy pulses cannot be utilized to improve the sensitivity. Highly sensitive but eye-save LIDAR has been developed for the quantification of the water droplet aerosol which was induced by air ions. Few days sensing of aerosols in closed tunnel revealed a strong correlation between air optical transparency (LIDAR measurements) and concentrations of positive/negative ions (ion counter Sapphir 3-M). The correlation coefficient was observed to be almost unity for the air transparency signal and air ions unipolarity coefficient. High sensitivity of the water droplet aerosol quantification makes the developed eye-safe LIDAR a perspective instrument for space resolved measurements of the air ions distribution. Space and time resolved measurements of air ions exhalation can be a new instrument for tectonic activity study including new earthquake forecasting indicators search.


title: A Co-Simulation Study to Assess the Impacts of Connected and Autonomous Vehicles on Traffic Flow Stability during Hurricane Evacuation

abstract: Hurricane evacuation has become a major problem for the coastal residents of the United States. Devastating hurricanes have threatened the lives and infrastructure of coastal communities and caused billions of dollars in damage. There is a need for better traffic management strategies to improve the safety and mobility of evacuation traffic. In this study hurricane evacuation traffic was simulated using SUMO a microscopic traffic simulation model. The effects of Connected and Autonomous Vehicles (CAVs) and Autonomous Vehicles (AVs) were evaluated using two approaches. (i) Using the state-of-the-art car-following models available in SUMO and (ii) a co-simulation study by integrating the microscopic traffic simulation model with a separate communication simulator to find the realistic effect of CAVs on evacuation traffic. A road network of I-75 in Florida was created to represent real-world evacuation traffic observed in Hurricane Irma s evacuation periods. Simulation experiments were performed by creating mixed traffic scenarios with 25, 50, 75 and 100 percentages of different vehicle technologies including CAVs or AVs and human-driven vehicles. HDV Simulation results suggest that the CACC car-following model, implemented in SUMO and commonly used in the literature to represent CAVs, produces highly unstable results On the other hand the ACC car following model, used to represent AVs, produces better and more stable results. However, in a co-simulation study, to evaluate the effect of CAVs in the same evacuation traffic scenario, results indicate that with 25 percentage of CAVs the number of potential collisions decrease up to 42.5 percentage.


title: The Paradox of Talent: how Chance affects Success in Tennis Tournaments

abstract: Individual sports competitions provide a natural setting for examining the relative importance of talent and luck/chance in achieving success. The belief that success is primarily due to individual abilities and hard work rather than external factors is particularly strong in this context. In this study, we test this belief using tennis as a case study, due to its popularity and competition structure in direct-elimination tournaments. Our dataset covers the decade 2010-2019 of main events in the ATP circuit and consists of tourney results and annual rankings for professional male players. After a preliminary data analysis, we introduce an agent-based model able to accurately simulate the tennis players' dynamics along several seasons. We show that, once calibrated on the dataset, the model is able to reproduce the main stylized facts observed in real data, including the results of single tournaments and the development of players' careers in the ATP community. The strength of our approach lies in its simplicity: it requires only one free parameter a to determine the importance of talent in scoring every single point: a = 1, if only talent matters; a = 0, if the outcome of each point is entirely due to chance. We find the best agreement between real data and simulation results when talent weights substantially less than luck, i.e. when a is between 0.20 and 0.30. A further comparison between data and simulations, based on the analysis of the direct networks of all the matches, confirms the previous finding. A posteriori, we notice that this surprisingly important role of chance in tennis tournaments is not an exception. On the contrary, it can be explained by a more general paradoxical effect that characterizes highly competitive environments, particularly in individual sports. In other words, when the difference in talent between top players is minimal, chance becomes determinant.


title: Mapping mobile service usage diversity in cities

abstract: The ubiquitous use of mobile devices and associated Internet services generates vast volumes of geolocated data, offering valuable insights into human behaviors and their interactions with urban environments. Over the past decade, mobile phone data have proven indispensable in various fields such as demography, geography, transport planning, and epidemiology. They enable researchers to examine human mobility patterns on unprecedented scales and analyze the spatial structure and function of cities. The relationship between mobile phone data and land use has also been extensively explored, particularly in inferring land use patterns from spatiotemporal activity. However, many studies rely on Call Detail Records (CDR) or eXtended Detail Records (XDR), which may not capture specific mobile application usage. This study aims to address this gap by mapping mobile service usage diversity in 20 French cities and investigating its correlation with land use distribution. Utilizing a Shannon diversity index, the study evaluates mobile service usage diversity based on hourly traffic volume data from 17 mobile services. Furthermore, the study compares temporal diversity with land distribution both within and among cities.


title: Implicative Filters In Quasi Ordered RL-Wajsberg Algebras

abstract: This article introduces the idea of implicative filters in quasi ordered RL-Wajsberg algebras and uses examples to explore some of its features.


title: Reply to "Comment on 'Advanced Testing of Low, Medium, and High ECS CMIP6 GCM Simulations Versus ERA5-T2m' by N. Scafetta (2022)" by Schmidt, Jones, and Kennedy (2023)

abstract: Schmidt, Jones, and Kennedy's (SJK) (2023, https://doi.org/10.1029/2022GL102530) critique of Scafetta (2022, https://doi.org/10.1029/2022GL097716) is flawed. Their assessment of the error of the ERA-T2m 2011-2021 mean (about 0.10 {\deg}C) is 5-10 times overestimated and contradicts published literature. SJK confused natural variability with random noise and mistook the error of the mean of a temperature chronology for the stochastic error of the regression parameter M of a nonphysical isothermal climate model (T(t) = M). SJK's allegations regarding the internal variability of the models, the role of the global climate model ensemble members, and other issues were partially addressed in Scafetta (2022, https://doi.org/10.1029/2022GL097716) and, later, more extensively in Scafetta (2023a, https://doi.org/10.1007/s00382-022-06493-w) where Scafetta's (2022, https://doi.org/10.1029/2022GL097716) conclusions were confirmed.


title: A Cognitive Agent Computing-Based Model For The Primary School Student Migration Problem Using A Descriptive Agent-Based Approach

abstract: Students' migration from public to private schools, due to lack of school performance of public schools, is one of the major issues faced by the Government of Punjab to provide compulsory and quality education at low cost. Due to complex adaptive nature of educational system, interdependencies with society, constant feedback loops conventional linear regression methods, for evaluation of effective performance, are ineffective or costly to solve the issue. Linear regression techniques present the static view of the system, which are not enough to understand the complex dynamic nature of educational paradigm. We have presented a Cognitive Agent Computing-Based Model for the School Student Migration Problem Using a Descriptive Agent-Based Modeling approach to understand the causes-effects relationship of student migration. We have presented the primary school students' migration model using descriptive modeling approach along with exploratory modeling. Our research, in the context of Software Engineering of Simulation & Modeling, and exploring the Complex Adaptive nature of school system, is two folds. Firstly, the cause-effect relationship of students' migration is being investigated using Cognitive Descriptive Agent-Based Modeling. Secondly, the formalization extent of Cognitive Agent-Based Computing framework is analyzed by performing its comparative analysis with exploratory modeling protocol 'Overview, Design, and Detail'.


title: Potential of ChatGPT in predicting stock market trends based on Twitter Sentiment Analysis

abstract: The rise of ChatGPT has brought a notable shift to the AI sector, with its exceptional conversational skills and deep grasp of language. Recognizing its value across different areas, our study investigates ChatGPT's capacity to predict stock market movements using only social media tweets and sentiment analysis. We aim to see if ChatGPT can tap into the vast sentiment data on platforms like Twitter to offer insightful predictions about stock trends. We focus on determining if a tweet has a positive, negative, or neutral effect on two big tech giants Microsoft and Google's stock value. Our findings highlight a positive link between ChatGPT's evaluations and the following days stock results for both tech companies. This research enriches our view on ChatGPT's adaptability and emphasizes the growing importance of AI in shaping financial market forecasts.


title: Why the Atlantic meridional overturning circulation may not collapse

abstract: The extent of anthropogenic influence on the Earths climate warrants studies of the ocean as a major player. The ocean circulation is important for transporting properties like heat, carbon and nutrients. A supposed major conduit is the Atlantic Meridional Overturning Circulation (AMOC). Schematically, it transports heat from the equator to the poles near the surface and carbon in the abyssal return. As the AMOC is a complex nonlinear dynamical system, it is challenging to predict its potential to collapse from a statistical viewpoint using a particular estimator of sea-surface temperature. Whilst this might be robust mathematically, it lacks physical insight of the drivers of the AMOC. As is argued below, physical processes will alter the estimators, and thereby statistical analyses.


title: Algorithmic Robustness

abstract: Algorithmic robustness refers to the sustained performance of a computational system in the face of change in the nature of the environment in which that system operates or in the task that the system is meant to perform. Below, we motivate the importance of algorithmic robustness, present a conceptual framework, and highlight the relevant areas of research for which algorithmic robustness is relevant. Why robustness? Robustness is an important enabler of other goals that are frequently cited in the context of public policy decisions about computational systems, including trustworthiness, accountability, fairness, and safety. Despite this dependence, it tends to be under-recognized compared to these other concepts. This is unfortunate, because robustness is often more immediately achievable than these other ultimate goals, which can be more subjective and exacting. Thus, we highlight robustness as an important goal for researchers, engineers, regulators, and policymakers when considering the design, implementation, and deployment of computational systems. We urge researchers and practitioners to elevate the attention paid to robustness when designing and evaluating computational systems. For many key systems, the immediate question after any demonstration of high performance should be: "How robust is that performance to realistic changes in the task or environment?" Greater robustness will set the stage for systems that are more trustworthy, accountable, fair, and safe. Toward that end, this document provides a brief roadmap to some of the concepts and existing research around the idea of algorithmic robustness.


title: Enhancing the machine vision performance with multi-spectral light sources

abstract: This study mainly focuses on the performance of different multi-spectral light sources on different object colors in machine vision and tries to enhance machine vision with multi-spectral light sources. Using different color pencils as samples, by recognizing the collected images with two classical neural networks, AlexNet and VGG19, the performance was investigated under 35 different multi-spectral light sources. The results show that for both models there are always some non-pure white light sources, whose accuracy is better than pure white light, which suggests the potential of multi-spectral light sources to further enhance the effectiveness of machine vision. The comparison of both models is also performed, and surprised to find that the overall performance of VGG19 is lower than that of AlexNet, which shows that the importance of the choice of multi-spectral light sources and models.


title: On a special class of Schwartz functions

abstract: In this paper we study functions $ \omega(z) = c_1z+c_2z^2+c_3z^3+\cdots$ analytic in the open unit disk ${\mathbb D}$ and such that $|\omega'(z)|\le1$ for all $z\in{\mathbb D}$. For these functions we give estimates (sometimes sharp) for the following moduli: $|c_3-c_1c_2|$, $|c_1c_3-c_2^2|$, and $|c_4-c_2^2|$.


title: Boosting Stock Price Prediction with Anticipated Macro Policy Changes

abstract: Prediction of stock prices plays a significant role in aiding the decision-making of investors. Considering its importance, a growing literature has emerged trying to forecast stock prices with improved accuracy. In this study, we introduce an innovative approach for forecasting stock prices with greater accuracy. We incorporate external economic environment-related information along with stock prices. In our novel approach, we improve the performance of stock price prediction by taking into account variations due to future expected macroeconomic policy changes as investors adjust their current behavior ahead of time based on expected future macroeconomic policy changes. Furthermore, we incorporate macroeconomic variables along with historical stock prices to make predictions. Results from this strongly support the inclusion of future economic policy changes along with current macroeconomic information. We confirm the supremacy of our method over the conventional approach using several tree-based machine-learning algorithms. Results are strongly conclusive across various machine learning models. Our preferred model outperforms the conventional approach with an RMSE value of 1.61 compared to an RMSE value of 1.75 from the conventional approach.


title: A novel method of restoration path optimization for the AC-DC bulk power grid after a major blackout

abstract: The restoration control of the modern alternating current-direct current (AC-DC) hybrid power grid after a major blackout is difficult and complex. Taking into account the interaction between the line-commutated converter high-voltage direct current (LCC-HVDC) and the AC power grid, this paper proposes a novel optimization method of restoration path to reconfigure the skeleton network for the blackout power grid. Based on the system strength, the supporting capability of the AC power grid for the LCC-HVDC is first analysed from the aspects of start-up and operation of LCC-HVDCs. Subsequently, the quantitative relationship between the restoration path and the restoration characteristic of LCC-HVDC is derived in detail based on the system strength indices of the short-circuit capacity and the frequency regulation capability. Then, an optimization model of restoration path considering non-tree paths is formulated and a feasible optimization algorithm is proposed to achieve the optimal path restoration scheme. A modified IEEE 39-bus system and a partial power grid of Southwest China are simulated to show that the proposed method is suitable for the restoration of AC-DC power grids and can improve restoration efficiency. This research can be an important guidance for operators to rapidly restore the AC-DC power grid.


title: A Data-driven Deep Learning Approach for Bitcoin Price Forecasting

abstract: Bitcoin as a cryptocurrency has been one of the most important digital coins and the first decentralized digital currency. Deep neural networks, on the other hand, has shown promising results recently; however, we require huge amount of high-quality data to leverage their power. There are some techniques such as augmentation that can help us with increasing the dataset size, but we cannot exploit them on historical bitcoin data. As a result, we propose a shallow Bidirectional-LSTM (Bi-LSTM) model, fed with feature engineered data using our proposed method to forecast bitcoin closing prices in a daily time frame. We compare the performance with that of other forecasting methods, and show that with the help of the proposed feature engineering method, a shallow deep neural network outperforms other popular price forecasting models.


title: Efficient Parallelization of a Ubiquitous Sequential Computation

abstract: We find a succinct expression for computing the sequence $x_t = a_t x_{t-1} + b_t$ in parallel with two prefix sums, given $t = (1, 2, \dots, n)$, $a_t \in \mathbb{R}^n$, $b_t \in \mathbb{R}^n$, and initial value $x_0 \in \mathbb{R}$. On $n$ parallel processors, the computation of $n$ elements incurs $\mathcal{O}(\log n)$ time and $\mathcal{O}(n)$ space. Sequences of this form are ubiquitous in science and engineering, making efficient parallelization useful for a vast number of applications. We implement our expression in software, test it on parallel hardware, and verify that it executes faster than sequential computation by a factor of $\frac{n}{\log n}$.


title: A Modeling Approach of Return and Volatility of Structured Investment Products with Caps and Floors

abstract: Popular investment structured products in Puerto Rico are stock market tied Individual Retirement Accounts (IRA), which offer some stock market growth while protecting the principal. The performance of these retirement strategies has not been studied. This work examines the expected return and risk of Puerto Rico stock market IRA (PRIRAs) and compares their statistical properties with other investment instruments before and after tax. We propose a parametric modeling approach for structured products and apply it to PRIRAs. Our method first estimates the conditional expected return (and variance) of PRIRA assets from which we extract marginal moments through the Law of Iterated Expectation. Our results indicate that PRIRAs underperform against investing directly in the stock market while still carrying substantial risk. The expected return of the stock market IRA from Popular Bank (PRIRA1) after tax is slightly greater than that of investing in U.S. bonds, while PRIRA1 has almost two times the risk. The stock market IRA from Universal (PRIRA2) performs similarly to PRIRA1, while PRIRA2 has a lower risk than PRIRA1. PRIRAs may be reasonable for some risk-averse investors due to their principal protection and tax deferral.


title: CFD Optimization of an Orifice for Cavitation Activity

abstract: A total of 3 orifice plates was investigated, namely, 10, 9 and 5 holes. With each orifice, four pressure profiles were compared, 10, 7, 4 and 1 bar for each Pressure and Velocity Profiles were compared. Schnerr-Sauer Model was used in the ANSYS Fluent for CFD. An extensive comparison has been made between every model with respect to Pressure and Velocity Profiles, Bubble Radius and Cavitation Number. This has been an acute study over cavitation in a multi-hole orifice plate for which the preceding data has been observe and validated.


title: Efficient Generation of Multimodal Fluid Simulation Data

abstract: In this work, we introduce an efficient generation procedure to produce synthetic multi-modal datasets of fluid simulations. The procedure can reproduce the dynamics of fluid flows and allows for exploring and learning various properties of their complex behavior, from distinct perspectives and modalities. We employ our framework to generate a set of thoughtfully designed training datasets, which attempt to span specific fluid simulation scenarios in a meaningful way. The properties of our contributions are demonstrated by evaluating recently published algorithms for the neural fluid simulation and fluid inverse rendering tasks using our benchmark datasets. Our contribution aims to fulfill the community's need for standardized training data, fostering more reproducibile and robust research.


title: Sounding Bodies: Modeling 3D Spatial Sound of Humans Using Body Pose and Audio

abstract: While 3D human body modeling has received much attention in computer vision, modeling the acoustic equivalent, i.e. modeling 3D spatial audio produced by body motion and speech, has fallen short in the community. To close this gap, we present a model that can generate accurate 3D spatial audio for full human bodies. The system consumes, as input, audio signals from headset microphones and body pose, and produces, as output, a 3D sound field surrounding the transmitter's body, from which spatial audio can be rendered at any arbitrary position in the 3D space. We collect a first-of-its-kind multimodal dataset of human bodies, recorded with multiple cameras and a spherical array of 345 microphones. In an empirical evaluation, we demonstrate that our model can produce accurate body-induced sound fields when trained with a suitable loss. Dataset and code are available online.


title: Solving non-separable polynomials over the field of Puiseux series via golden lifting

abstract: We develop an iterative method to calculate the roots of arbitrary polynomials over the field of Puiseux series including non-separable ones. The method works by transforming the polynomial and its roots into a special form and then extracting a new, univariate polynomial that contains information about our roots. We also provide a working implementation of the algorithm in Python.


title: Fibonacci Identities via Fibonacci Functions

abstract: We present a differential-calculus-based method which allows one to derive more identities from {\it any} given Fibonacci-Lucas identity containing a finite number of terms and having at least one free index. The method has two {\it independent} components. The first component allows new identities to be obtained directly from an existing identity while the second yields a generalization of the existing identity. The strength of the first component is that no additional information is required about the given original identity. We illustrate the method by providing new generalizations of some well-known identities such as d'Ocagne identity, Candido's identity, Gelin-Ces\`aro identity and Catalan's identity. The method readily extends to a generalized Fibonacci sequence.


title: Optical imaging of MHD bubble flow in Hele-Shaw liquid metal cells

abstract: As a simple and affordable alternative to often prohibitively expensive or unavailable X-ray and neutron imaging, an improved optical imaging method for bubble flow in Hele-Shaw liquid metal cells is presented, enabling measurements with a significantly greater liquid metal layer thickness than previously reported. This enables studying bubble dynamics with varying degrees of geometric confinement, without or with applied magnetic field. The main principles and the experiment setup, as well as the necessary image/data processing pipeline are described, and preliminary results show that the proposed methods can be used to quantify the effects of varying gas flow rate and magnetic field configuration on bubble chain flow in a Hele-Shaw cell.


title: On some properties of Perron numbers

abstract: Let $\theta$ be a real number, $n\in\mathbb N$, and $D_n(\theta)=\left\{\sum_{k=1}^n a_k\theta^{k}\mid a_k\in\{0,\dots,\lfloor \theta\rfloor\}\right\}. $ Let $\theta$ be a Perron number, that is, an algebraic integer $>1$ whose other Galois conjugates are less than $\theta$ in absolute value. I shall prove two results: (1) $\theta^n\ll\#D_n(\theta)\ll\sqrt n \theta^n.$ (2) $\theta$ is of height $\le \lfloor\theta\rfloor$.


title: Circles with four rational points in geometric progression

abstract: A set of rational points on a curve is said to be in geometric progression if either the abscissae or the ordinates of the points are in geometric progression. Examples of three points in geometric progression on a circle are already known. In this paper we obtain infinitely many examples of four points in geometric progression on a circle with rational radius.


title: Data-driven Spatio-Temporal Scaling of Travel Times for AMoD Simulations

abstract: With the widespread adoption of mobility-on-demand (MoD) services and the advancements in autonomous vehicle (AV) technology, the research interest into the AVs based MoD (AMoD) services has grown immensely. Often agent-based simulation frameworks are used to study the AMoD services using the trip data of current Taxi or MoD services. For reliable results of AMoD simulations, a realistic city network and travel times play a crucial part. However, many times the researchers do not have access to the actual network state corresponding to the trip data used for AMoD simulations reducing the reliability of results. Therefore, this paper introduces a spatio-temporal optimization strategy for scaling the link-level network travel times using the simulated trip data without additional data sources on the network state. The method is tested on the widely used New York City (NYC) Taxi data and shows that the travel times produced using the scaled network are very close to the recorded travel times in the original data. Additionally, the paper studies the performance differences of AMoD simulation when the scaled network is used. The results indicate that realistic travel times can significantly impact AMoD simulation outcomes.


title: Towards a data-driven debt collection strategy based on an advanced machine learning framework

abstract: The European debt purchase market as measured by the total book value of purchased debt approached 25bn euros in 2020 and it was growing at double-digit rates. This is an example of how big the debt collection and debt purchase industry has grown and the important impact it has in the financial sector. However, in order to ensure an adequate return during the debt collection process, a good estimation of the propensity to pay and/or the expected cashflow is crucial. These estimations can be employed, for instance, to create different strategies during the amicable collection to maximize quality standards and revenues. And not only that, but also to prioritize the cases in which a legal process is necessary when debtors are unreachable for an amicable negotiation. This work offers a solution for these estimations. Specifically, a new machine learning modelling pipeline is presented showing how outperforms current strategies employed in the sector. The solution contains a pre-processing pipeline and a model selector based on the best model calibration. Performance is validated with real historical data of the debt industry.


title: Quantum Neural Networks for Power Flow Analysis

abstract: This paper explores the potential application of quantum and hybrid quantum-classical neural networks in power flow analysis. Experiments are conducted using two datasets based on 4-bus and 33-bus test systems. A systematic performance comparison is also conducted among quantum, hybrid quantum-classical, and classical neural networks. The comparison is based on (i) generalization ability, (ii) robustness, (iii) training dataset size needed, (iv) training error, and (v) training process stability. The results show that the developed hybrid quantum-classical neural network outperforms both quantum and classical neural networks, and hence can improve deep learning-based power flow analysis in the noisy-intermediate-scale quantum (NISQ) and fault-tolerant quantum (FTQ) era.


title: Numerical Investigations of the Keiper-Li Criterion for the Riemann Hypothesis

abstract: The Keiper-Li criterion gives a necessary and sufficient condition for the Riemann hypothesis. It requires that a set of quantities $\lambda_n$ be positive, and involves auxiliary constants $a_n$, known to be positive. A recently derived expression for the $a_n$ is used to provide accurate numerical values for the first four thousand $a_n$'s, and asymptotic expressions together with bounds for them are investigated.


title: Gradual Optimization Learning for Conformational Energy Minimization

abstract: Molecular conformation optimization is crucial to computer-aided drug discovery and materials design. Traditional energy minimization techniques rely on iterative optimization methods that use molecular forces calculated by a physical simulator (oracle) as anti-gradients. However, this is a computationally expensive approach that requires many interactions with a physical simulator. One way to accelerate this procedure is to replace the physical simulator with a neural network. Despite recent progress in neural networks for molecular conformation energy prediction, such models are prone to distribution shift, leading to inaccurate energy minimization. We find that the quality of energy minimization with neural networks can be improved by providing optimization trajectories as additional training data. Still, it takes around $5 \times 10^5$ additional conformations to match the physical simulator's optimization quality. In this work, we present the Gradual Optimization Learning Framework (GOLF) for energy minimization with neural networks that significantly reduces the required additional data. The framework consists of an efficient data-collecting scheme and an external optimizer. The external optimizer utilizes gradients from the energy prediction model to generate optimization trajectories, and the data-collecting scheme selects additional training data to be processed by the physical simulator. Our results demonstrate that the neural network trained with GOLF performs on par with the oracle on a benchmark of diverse drug-like molecules using $50$x less additional data.


title: Einstein locality: An ignored core element of quantum mechanics

abstract: Quantum mechanics is commonly accepted as a complete theory thanks to experimental tests of non-locality based on Bell's theorem. However, we discover that the completeness of the quantum theory practically suffered from detrimental ignorance of a core element -- Einstein locality. Without this element, important experimental results of relevance could hardly receive full understanding or were even completely misinterpreted. Here we present the discovery with a theory of Einstein locality developed to recover the completeness of quantum mechanics. The developed theory provides a unified framework to account for the results of, e.g., Bell experiments (on Bell non-locality) and double-slit experiments with entangled photons (on wave-particle duality). The theory reveals the dynamics of Bell non-locality and the principle of biased sampling in measurement in the double-slit experiments, which otherwise will be impossible tasks without introducing Einstein locality. Worse still, ignorance of this element has caused misinterpretation of observations in the double-slit experiments, leading to perplexing statements of duality violation. Einstein locality also manifests indispensability in theory by its connection to the foundations of other fundamental concepts and topics (e.g., entanglement, decoherence, and quantum measurement) and may advance quantum technology by offering a promising approach to optimizing quantum computing hardware.


title: STRIDE: Structure-guided Generation for Inverse Design of Molecules

abstract: Machine learning and especially deep learning has had an increasing impact on molecule and materials design. In particular, given the growing access to an abundance of high-quality small molecule data for generative modeling for drug design, results for drug discovery have been promising. However, for many important classes of materials such as catalysts, antioxidants, and metal-organic frameworks, such large datasets are not available. Such families of molecules with limited samples and structural similarities are especially prevalent for industrial applications. As is well-known, retraining and even fine-tuning are challenging on such small datasets. Novel, practically applicable molecules are most often derivatives of well-known molecules, suggesting approaches to addressing data scarcity. To address this problem, we introduce $\textbf{STRIDE}$, a generative molecule workflow that generates novel molecules with an unconditional generative model guided by known molecules without any retraining. We generate molecules outside of the training data from a highly specialized set of antioxidant molecules. Our generated molecules have on average 21.7% lower synthetic accessibility scores and also reduce ionization potential by 5.9% of generated molecules via guiding.


title: Some identities of Ramanujan's q-Continued Fraction of Order Eighteen, Twenty-Six and Thirty, and Vanishing Coefficients

abstract: In the present work, we established continued fractions of level eighteen, twenty six and thirty. Further, we obtained vanishing coefficients and many algebraic relations. To validate our result colored partitions are also obtained.


title: Time & its analytical definition: overcoming inconsistencies of previous results

abstract: Recently, a thermodynamic definition of time has been introduced. This definition is useful to find approach some open problems in physics. But, it was obtained by a phenomenological approach and a logical inconsistency appears in the definition. In particular, the definition was based on the ratio of two quantities, the entropy production and its rate, linked one another just by the definition of time. In this paper, this inconsistency is overcome, by using the second law of thermodynamics and Barbour's mathematical methods, obtaining an analytical result that brings to the same equation of the phenomenological method, but without any logical inconsistency.


title: AI Chatbot for Generating Episodic Future Thinking (EFT) Cue Texts for Health

abstract: We describe an AI-powered chatbot to aid with health improvement by generating Episodic Future Thinking (EFT) cue texts that should reduce delay discounting. In prior studies, EFT has been shown to address maladaptive health behaviors. Those studies involved participants, working with researchers, vividly imagining future events, and writing a description that they subsequently will frequently review, to ensure a shift from an inclination towards immediate rewards. That should promote behavior change, aiding in health tasks such as treatment adherence and lifestyle modifications. The AI chatbot is designed to guide users in generating personalized EFTs, automating the current labor-intensive interview-based process. This can enhance the efficiency of EFT interventions and make them more accessible, targeting specifically those with limited educational backgrounds or communication challenges. By leveraging AI for EFT intervention, we anticipate broadened access and improved health outcomes across diverse populations


title: Scaling of average trapping time and average weighted shortest path on a residual multi-weighted crystal network

abstract: This article constructs the residual network after some regions were damaged and detached from the original crystal network. This residual crystal network simulates the situation where parts of a computer system or power system failed after been attacked in real life. Furthermore, we assign multiple weight factors to the edges in the network, exhibiting mixed weight growth. By using the symmetry and self-similarity of the network structure, the analytical expression for the average trapping time and the average weighted shortest path on this network are solved, and the numerical results are given by taking the residual hexagonal crystal network as an example. By analyzing the network and studying the topological properties, we show the robustness of the network structure and find the residual network is more efficient for communication between nodes.


title: Knowledge-Based Support for Adhesive Selection: Will it Stick?

abstract: As the popularity of adhesive joints in industry increases, so does the need for tools to support the process of selecting a suitable adhesive. While some such tools already exist, they are either too limited in scope, or offer too little flexibility in use. This work presents a more advanced tool, that was developed together with a team of adhesive experts. We first extract the experts' knowledge about this domain and formalize it in a Knowledge Base (KB). The IDP-Z3 reasoning system can then be used to derive the necessary functionality from this KB. Together with a user-friendly interactive interface, this creates an easy-to-use tool capable of assisting the adhesive experts. To validate our approach, we performed user testing in the form of qualitative interviews. The experts are very positive about the tool, stating that, among others, it will help save time and find more suitable adhesives. Under consideration in Theory and Practice of Logic Programming (TPLP).


title: MatNexus: A Comprehensive Text Mining and Analysis Suite for Materials Discover

abstract: MatNexus is a specialized software for the automated collection, processing, and analysis of text from scientific articles. Through an integrated suite of modules, the MatNexus facilitates the retrieval of scientific articles, processes textual data for insights, generates vector representations suitable for machine learning, and offers visualization capabilities for word embeddings. With the vast volume of scientific publications, MatNexus stands out as an end-to-end tool for researchers aiming to gain insights from scientific literature in material science, making the exploration of materials, such as the electrocatalyst examples we show here, efficient and insightful.


title: Retro-BLEU: Quantifying Chemical Plausibility of Retrosynthesis Routes through Reaction Template Sequence Analysis

abstract: Computer-assisted methods have emerged as valuable tools for retrosynthesis analysis. However, quantifying the plausibility of generated retrosynthesis routes remains a challenging task. We introduce Retro-BLEU, a statistical metric adapted from the well-established BLEU score in machine translation, to evaluate the plausibility of retrosynthesis routes based on reaction template sequences analysis. We demonstrate the effectiveness of Retro-BLEU by applying it to a diverse set of retrosynthesis routes generated by state-of-the-art algorithms and compare the performance with other evaluation metrics. The results show that Retro-BLEU is capable of differentiating between plausible and implausible routes. Furthermore, we provide insights into the strengths and weaknesses of Retro-BLEU, paving the way for future developments and improvements in this field.


title: A Systematic Review on Fostering Appropriate Trust in Human-AI Interaction

abstract: Appropriate Trust in Artificial Intelligence (AI) systems has rapidly become an important area of focus for both researchers and practitioners. Various approaches have been used to achieve it, such as confidence scores, explanations, trustworthiness cues, or uncertainty communication. However, a comprehensive understanding of the field is lacking due to the diversity of perspectives arising from various backgrounds that influence it and the lack of a single definition for appropriate trust. To investigate this topic, this paper presents a systematic review to identify current practices in building appropriate trust, different ways to measure it, types of tasks used, and potential challenges associated with it. We also propose a Belief, Intentions, and Actions (BIA) mapping to study commonalities and differences in the concepts related to appropriate trust by (a) describing the existing disagreements on defining appropriate trust, and (b) providing an overview of the concepts and definitions related to appropriate trust in AI from the existing literature. Finally, the challenges identified in studying appropriate trust are discussed, and observations are summarized as current trends, potential gaps, and research opportunities for future work. Overall, the paper provides insights into the complex concept of appropriate trust in human-AI interaction and presents research opportunities to advance our understanding on this topic.


title: Crossover from dynamical percolation class to directed percolation class on a two dimensional lattice

abstract: We study the crossover phenomena from the dynamical percolation class (DyP) to the directed percolation class (DP) in the model of diseases spreading, Susceptible-Infected-Refractory-Susceptible (SIRS) on a two-dimensional lattice. In this model, agents of three species S, I, and R on a lattice react as follows: $S+I\rightarrow I+I$ with probability $\lambda$, $I\rightarrow R$ after infection time $\tau_I$ and $R\rightarrow I$ after recovery time $\tau_R$. Depending on the value of the parameter $\tau_R$, the SIRS model can be reduced to the following two well-known special cases. On the one hand, when $\tau_R \rightarrow 0$, the SIRS model reduces to the SIS model. On the other hand, when $\tau_R \rightarrow \infty$ the model reduces to SIR model. It is known that, whereas the SIS model belongs to the DP universality class, the SIR model belongs to the DyP universality class. We can deduce from the model dynamics that, SIRS will behave as an SIS model for any finite values of $\tau_R$. SIRS will behave as SIR only when $\tau_R=\infty$. Using Monte Carlo simulations we show that as far as the $\tau_R$ is finite the SIRS belongs to the DP university class. We also study the phase diagram and analyze the scaling behavior of this model along the critical line. By numerical simulation and analytical argument, we find that the crossover from DyP to DP is described by the crossover exponent $1/\phi=0.67(2)$.


title: Synthetic Speaking Children -- Why We Need Them and How to Make Them

abstract: Contemporary Human Computer Interaction (HCI) research relies primarily on neural network models for machine vision and speech understanding of a system user. Such models require extensively annotated training datasets for optimal performance and when building interfaces for users from a vulnerable population such as young children, GDPR introduces significant complexities in data collection, management, and processing. Motivated by the training needs of an Edge AI smart toy platform this research explores the latest advances in generative neural technologies and provides a working proof of concept of a controllable data generation pipeline for speech driven facial training data at scale. In this context, we demonstrate how StyleGAN2 can be finetuned to create a gender balanced dataset of children's faces. This dataset includes a variety of controllable factors such as facial expressions, age variations, facial poses, and even speech-driven animations with realistic lip synchronization. By combining generative text to speech models for child voice synthesis and a 3D landmark based talking heads pipeline, we can generate highly realistic, entirely synthetic, talking child video clips. These video clips can provide valuable, and controllable, synthetic training data for neural network models, bridging the gap when real data is scarce or restricted due to privacy regulations.


title: Scale dependence of distributions of hotspots

abstract: We consider a random field $\phi(\mathbf{r})$ in $d$ dimensions which is largely concentrated around small `hotspots', with `weights', $w_i$. These weights may have a very broad distribution, such that their mean does not exist, or else is not a useful estimate. In such cases, the median $\overline W$ of the total weight $W$ in a region of size $R$ is an informative characterisation of the weights. We define the function $F$ by $\ln \overline W=F(\ln R)$. If $F'(x)>d$, the distribution of hotspots is dominated by the largest weights. In the case where $F'(x)-d$ approaches a constant positive value when $R\to \infty$, the hotspots distribution has a type of scale-invariance which is different from that of fractal sets, and which we term \emph{ultradimensional}. The form of the function $F(x)$ is determined for a model of diffusion in a random potential.


title: Sharp Global well-posedness and scattering for the radial nonlinear intercritical wave equation

abstract: In this paper we prove global well-posedness and scattering for the defocusing, intercritical nonlinear wave equation in dimensions $d \geq 4$ with radial initial data. We prove this for sharp initial data.


title: Labor Space: A Unifying Representation of the Labor Market via Large Language Models

abstract: The labor market is a complex ecosystem comprising diverse, interconnected entities, such as industries, occupations, skills, and firms. Due to the lack of a systematic method to map these heterogeneous entities together, each entity has been analyzed in isolation or only through pairwise relationships, inhibiting comprehensive understanding of the whole ecosystem. Here, we introduce $\textit{Labor Space}$, a vector-space embedding of heterogeneous labor market entities, derived through applying a large language model with fine-tuning. Labor Space exposes the complex relational fabric of various labor market constituents, facilitating coherent integrative analysis of industries, occupations, skills, and firms, while retaining type-specific clustering. We demonstrate its unprecedented analytical capacities, including positioning heterogeneous entities on an economic axes, such as `Manufacturing--Healthcare'. Furthermore, by allowing vector arithmetic of these entities, Labor Space enables the exploration of complex inter-unit relations, and subsequently the estimation of the ramifications of economic shocks on individual units and their ripple effect across the labor market. We posit that Labor Space provides policymakers and business leaders with a comprehensive unifying framework for labor market analysis and simulation, fostering more nuanced and effective strategic decision-making.


title: Game Theory Solutions in Sensor-Based Human Activity Recognition: A Review

abstract: The Human Activity Recognition (HAR) tasks automatically identify human activities using the sensor data, which has numerous applications in healthcare, sports, security, and human-computer interaction. Despite significant advances in HAR, critical challenges still exist. Game theory has emerged as a promising solution to address these challenges in machine learning problems including HAR. However, there is a lack of research work on applying game theory solutions to the HAR problems. This review paper explores the potential of game theory as a solution for HAR tasks, and bridges the gap between game theory and HAR research work by suggesting novel game-theoretic approaches for HAR problems. The contributions of this work include exploring how game theory can improve the accuracy and robustness of HAR models, investigating how game-theoretic concepts can optimize recognition algorithms, and discussing the game-theoretic approaches against the existing HAR methods. The objective is to provide insights into the potential of game theory as a solution for sensor-based HAR, and contribute to develop a more accurate and efficient recognition system in the future research directions.


title: Some basic features of canonical ensemble in noncommutative spaces

abstract: We calculate the corrections due to noncommutativity of space on the Hamiltonian and then partition function of the canonical ensemble. We study some basic features of statistical mechanics and thermodynamics including equipartition and virial theorem and energy fluctuations: correspondence with microcanonical ensemble, in the framework of non-commutative canonical ensemble. The corrections imposed by noncommutativity of space are derived and the results are discussed.

categories: cond-mat.stat-mech hep-ph hep-th quant-ph


title: Magnetostatic waves in metallic rectangular waveguides filled with uniaxial negative permeability media

abstract: The propagation characteristics of magneto-quasistatic waves, more commonly, known as magnetostatic waves in a long, metallic rectangular waveguide filled with a metamaterial slab are comprehensively investigated. The metamaterial slab consists of split-ring resonators as an anisotropic uniaxial medium with transversal negative effective permeability. Some analytical relations and numerical validations on the characteristics of these waves are presented. The results include the dispersion relations, mode patterns (field distributions) that can be supported by such media and their corresponding cutoff frequencies, group velocities, power flows, and storage energies of magnetostatic waves. The findings from the present research study can be advantageous to advance the synthesis and development of negative permeability materials with peculiar features in guiding structures.


title: Constraint programming methods in three-dimensional container packing

abstract: Cutting and packing problems are present in many, at first glance unconnected, areas, therefore it's beneficial to have a good understanding of their underlying structure, to select proper techniques for finding solutions. Cutting and packing problems are a class of combinatorial problems in which there are specified two classes of objects: big and small items and the task is to place the small items within big items. Even in the 1-dimensional case, bin-packing is strongly NP-hard (Garey 1978), which suggests, that exact solutions may not be found in a reasonable time for bigger instances. In the literature, there are presented many various approaches to packing problems, e.g. mixed-integer programming, approximation algorithms, heuristic solutions, and local search algorithms, including metaheuristic approaches like Tabu Search or Simulated Annealing. The main goal of this work is to review existing solutions, survey the variants arising from the industry applications, present a solution based on constraint programming and compare its performance with the results in the literature. Optimization with constraint programming is a method searching for the global optima, hence it may require a higher workload compared to the heuristic and local search approaches, which may finish in a local optimum. The performance of the presented model will be measured on test data used in the literature, which were used in many articles presenting a variety of approaches to three-dimensional container packing, which will allow us to compare the efficiency of the constraint programming model with other methods used in the operational research.


title: ShipGen: A Diffusion Model for Parametric Ship Hull Generation with Multiple Objectives and Constraints

abstract: Ship design is a years-long process that requires balancing complex design trade-offs to create a ship that is efficient and effective. Finding new ways to improve the ship design process can lead to significant cost savings for ship building and operation. One promising technology is generative artificial intelligence, which has been shown to reduce design cycle time and create novel, high-performing designs. In literature review, generative artificial intelligence has been shown to generate ship hulls; however, ship design is particularly difficult as the hull of a ship requires the consideration of many objectives. This paper presents a study on the generation of parametric ship hull designs using a parametric diffusion model that considers multiple objectives and constraints for the hulls. This denoising diffusion probabilistic model (DDPM) generates the tabular parametric design vectors of a ship hull for evaluation. In addition to a tabular DDPM, this paper details adding guidance to improve the quality of generated ship hull designs. By leveraging classifier guidance, the DDPM produced feasible parametric ship hulls that maintain the coverage of the initial training dataset of ship hulls with a 99.5% rate, a 149x improvement over random sampling of the design vector parameters across the design space. Parametric ship hulls produced with performance guidance saw an average of 91.4% reduction in wave drag coefficients and an average of a 47.9x relative increase in the total displaced volume of the hulls compared to the mean performance of the hulls in the training dataset. The use of a DDPM to generate parametric ship hulls can reduce design time by generating high-performing hull designs for future analysis. These generated hulls have low drag and high volume, which can reduce the cost of operating a ship and increase its potential to generate revenue.


title: Hurwitz numbers with completed cycles and Gromov--Witten theory relative to at most three points

abstract: Hurwitz numbers with completed cycles are standard Hurwitz numbers with simple branch points replaced by completed cycles. In fact, simple branch points correspond to completed $2$-cycles. Okounkov and Pandharipande have established the remarkable GW/H correspondence, saying that the stationary sectors of the Gromov--Witten theory relative to $r$ points equal Hurwitz numbers with $r$ branch points besides the completed cycles. However, from the viewpoint of computation, known results for Hurwitz numbers (standard or with completed cycles) are mainly for $r\leq 2$. It is hard to obtain explicit formulas and then discuss the structural properties for the cases $r>2$. In this paper, we obtain explicit formulas for the case $r=3$ and uncover a number of structural properties of these Hurwitz numbers. For instance, we discover a piecewise polynomiality with respect to the orders of the completed cycles in addition to the parts of the profiles of branch points as usual, we show that certain hook-shape Hurwitz numbers are building blocks of all our Hurwitz numbers, and we prove an analogue of the celebrated $\lambda_g$-conjecture.


title: Appearance of similar triangles by certain operations on triangles

abstract: In this paper, a theorem about similar triangles is proved. It shows that two small and four large triangles similar to the original triangle can appear if we choose well among several intersections of the perpendicular bisectors of the sides with perpendicular lines of sides passing through the vertices of the triangle.


title: Knowledge-Augmented Large Language Models for Personalized Contextual Query Suggestion

abstract: Large Language Models (LLMs) excel at tackling various natural language tasks. However, due to the significant costs involved in re-training or fine-tuning them, they remain largely static and difficult to personalize. Nevertheless, a variety of applications could benefit from generations that are tailored to users' preferences, goals, and knowledge. Among them is web search, where knowing what a user is trying to accomplish, what they care about, and what they know can lead to improved search experiences. In this work, we propose a novel and general approach that augments an LLM with relevant context from users' interaction histories with a search engine in order to personalize its outputs. Specifically, we construct an entity-centric knowledge store for each user based on their search and browsing activities on the web, which is then leveraged to provide contextually relevant LLM prompt augmentations. This knowledge store is light-weight, since it only produces user-specific aggregate projections of interests and knowledge onto public knowledge graphs, and leverages existing search log infrastructure, thereby mitigating the privacy, compliance, and scalability concerns associated with building deep user profiles for personalization. We validate our approach on the task of contextual query suggestion, which requires understanding not only the user's current search context but also what they historically know and care about. Through a number of experiments based on human evaluation, we show that our approach is significantly better than several other LLM-powered baselines, generating query suggestions that are contextually more relevant, personalized, and useful.