title: A Conditional Independence Test in the Presence of Discretization

abstract: Testing conditional independence has many applications, such as in Bayesian network learning and causal discovery. Different test methods have been proposed. However, existing methods generally can not work when only discretized observations are available. Specifically, consider $X_1$, $\tilde{X}_2$ and $X_3$ are observed variables, where $\tilde{X}_2$ is a discretization of latent variables $X_2$. Applying existing test methods to the observations of $X_1$, $\tilde{X}_2$ and $X_3$ can lead to a false conclusion about the underlying conditional independence of variables $X_1$, $X_2$ and $X_3$. Motivated by this, we propose a conditional independence test specifically designed to accommodate the presence of such discretization. To achieve this, we design the bridge equations to recover the parameter reflecting the statistical information of the underlying latent continuous variables. An appropriate test statistic and its asymptotic distribution under the null hypothesis of conditional independence have also been derived. Both theoretical results and empirical validation have been provided, demonstrating the effectiveness of our test methods.


title: T\'ecnicas Quantum-Inspired en Tensor Networks para Contextos Industriales

abstract: In this paper we present a study of the applicability and feasibility of quantum-inspired algorithms and techniques in tensor networks for industrial environments and contexts, with a compilation of the available literature and an analysis of the use cases that may be affected by such methods. In addition, we explore the limitations of such techniques in order to determine their potential scalability.


title: Spin-aware movement of electrons and time-of-flight momentum spectroscopy

abstract: In the framework of the de Broglie-Bohm pilot-wave theory, or Bohmian mechanics, we examine two pedagogical problems that illustrate the bound and unbound motion of spin-1/2 particles: First, a single spin-1/2 particle trapped in the ground state of a spherical box is studied in both the relativistic and nonrelativistic versions of the theory; second, the free time evolution of this particle once the confinement is released is examined, demonstrating how the Fourier transform of the prepared wave function yields the statistics of the particle's far-field (asymptotic) velocity, thereby providing a deeper understanding of time-of-flight momentum spectroscopy techniques.


title: A three-parameter characterization of neutron stars' mass-radius relation and equation of state

abstract: Numerous models of neutron star (NS) equation of state (EoS) exist based on different superdense-matter physics approaches. Nevertheless, some NS properties show universal (EoS-independent) relations. Here, we propose a novel class of such universalities. Despite different physics inputs, a wide class of realistic nucleonic, hyperonic, and hybrid EoS models can be accurately described using only three parameters. For a given EoS, these are the mass and radius of the maximum-mass NS (or pressure and density in its center) and the radius of a half-maximum-mass star. With such a parametrization, we build universal analytic expressions for mass-radius and pressure-density relations. They form a semi-analytic mapping from the mass-radius relation to the EoS in NS cores (the so-called inverse Oppenheimer-Volkoff mapping). This mapping simplifies the process of inferring the EoS from observations of NS masses and radii. Applying it to current NS observations we set new limits on the high end of the EoS.


title: Consolidating LAMA with Best-First Width Search

abstract: One key decision for heuristic search algorithms is how to balance exploration and exploitation. In classical planning, novelty search has come out as the most successful approach in this respect. The idea is to favor states that contain previously unseen facts when searching for a plan. This is done by maintaining a record of the tuples of facts observed in previous states. Then the novelty of a state is the size of the smallest previously unseen tuple. The most successful version of novelty search is best-first width search (BFWS), which combines novelty measures with heuristic estimates. An orthogonal approach to balance exploration-exploitation is to use several open-lists. These open-lists are ordered using different heuristic estimates, which diversify the information used in the search. The search algorithm then alternates between these open-lists, trying to exploit these different estimates. This is the approach used by LAMA, a classical planner that, a decade after its release, is still considered state-of-the-art in agile planning. In this paper, we study how to combine LAMA and BFWS. We show that simply adding the strongest open-list used in BFWS to LAMA harms performance. However, we show that combining only parts of each planner leads to a new state-of-the-art agile planner.


title: Exact Analytical Solution of the Flory-Huggins Model and Extensions to Multicomponent Systems

abstract: The Flory-Huggins theory describes the phase separation of solutions containing polymers. Although it finds widespread application from polymer physics to materials science to biology, the concentrations that coexist in separate phases at equilibrium have not been determined analytically, and numerical techniques are required that restrict the theory's ease of application. In this work, we derive an implicit analytical solution to the Flory-Huggins theory of one polymer in a solvent by applying a procedure that we call the implicit substitution method. While the solutions are implicit and in the form of composite variables, they can be mapped explicitly to a phase diagram in composition space. We apply the same formalism to multicomponent polymeric systems, where we find analytical solutions for polydisperse mixtures of polymers of one type. Finally, while complete analytical solutions are not possible for arbitrary mixtures, we propose computationally efficient strategies to map out coexistence curves for systems with many components of different polymer types.


title: Thermodynamic Origin of Water's Thermal Conductivity Maximum

abstract: The thermal conductivity of water features a maximum (TCM) as a function of temperature at constant pressure. By examining why molecular force fields succeed or fail to reproduce the maximum and interpreting our results using the Bridgman equation, we show that water's TCM is connected with its compressibility minimum. Using Stillinger-Weber potentials for tetrahedral liquids, we interpolate between the behaviour of simple liquids and highly tetrahedral materials such as carbon. Together with two vanishing limits at low/high tetrahedrality, we identify three regimes for the TCM: when it originates from either the compressibility minimum or density maximum, or both. Thus, the TCM exists in a "Goldilocks Zone" of tetrahedral order. We provide a thermodynamic explanation for the TCM of not only water, but tetrahedral liquids in general.


title: Hard ASH: Sparsity and the right optimizer make a continual learner

abstract: In class incremental learning, neural networks typically suffer from catastrophic forgetting. We show that an MLP featuring a sparse activation function and an adaptive learning rate optimizer can compete with established regularization techniques in the Split-MNIST task. We highlight the effectiveness of the Adaptive SwisH (ASH) activation function in this context and introduce a novel variant, Hard Adaptive SwisH (Hard ASH) to further enhance the learning retention.


title: Validating Deep-Learning Weather Forecast Models on Recent High-Impact Extreme Events

abstract: The forecast accuracy of deep-learning-based weather prediction models is improving rapidly, leading many to speak of a "second revolution in weather forecasting". With numerous methods being developed, and limited physical guarantees offered by deep-learning models, there is a critical need for comprehensive evaluation of these emerging techniques. While this need has been partly fulfilled by benchmark datasets, they provide little information on rare and impactful extreme events, or on compound impact metrics, for which model accuracy might degrade due to misrepresented dependencies between variables. To address these issues, we compare deep-learning weather prediction models (GraphCast, PanguWeather, FourCastNet) and ECMWF's high-resolution forecast (HRES) system in three case studies: the 2021 Pacific Northwest heatwave, the 2023 South Asian humid heatwave, and the North American winter storm in 2021. We find evidence that machine learning (ML) weather prediction models can locally achieve similar accuracy to HRES on record-shattering events such as the 2021 Pacific Northwest heatwave and even forecast the compound 2021 North American winter storm substantially better. However, extrapolating to extreme conditions may impact machine learning models more severely than HRES, as evidenced by the comparable or superior spatially- and temporally-aggregated forecast accuracy of HRES for the two heatwaves studied. The ML forecasts also lack variables required to assess the health risks of events such as the 2023 South Asian humid heatwave. Generally, case-study-driven, impact-centric evaluation can complement existing research, increase public trust, and aid in developing reliable ML weather prediction models.


title: Spectroscopic Investigation of Nebular Gas (SING): Instrument Design, Assembly and Calibration

abstract: The Spectroscopic Investigation of Nebular Gas (SING) is a near-ultraviolet (NUV) low-resolution spectrograph payload designed to operate in the NUV range, 1400 $\unicode{x212B}$ -- 2700 $\unicode{x212B}$, from a stable space platform. SING telescope has a primary aperture of 298 mm, feeding the light to the long-slit UV spectrograph. SING has a field of view (FOV) of 1$^{\circ}$, achieving a spatial resolution of 1.33 arc minute and spectral resolution of 3.7 $\unicode{x212B}$ ($R\sim600$) at the central wavelength. SING employs a micro-channel plate (MCP) with a CMOS readout-based photon-counting detector. The instrument is designed to observe diffuse sources such as nebulae, supernova remnants, and the interstellar medium (ISM) to understand their chemistry. SING was selected by the United Nations Office for Outer Space Affairs to be hosted on the Chinese Space Station. The instrument will undergo qualification tests as per the launch requirements. In this paper, we describe the hardware design, optomechanical assembly, and calibration of the instrument.


title: Ricci Reheating on the Lattice

abstract: We study the dynamics of a non-minimally coupled (NMC) scalar spectator field in non-oscillatory inflationary scenarios, where there is a transition from inflation to kination domination (KD). Engineering a realistic finite-duration transition through a CMB-compatible inflaton potential, we calculate the initial tachyonic growth of the NMC field during KD and perform lattice simulations of the subsequent non-linear dynamics. We characterize the regularization effect on the tachyonic growth, either due to self-interactions, or via gravitational backreaction when the NMC field grows to dominate the energy of the universe. Our study provides the first realistic treatment of the dynamics, with significant improvements compared to previous work, where one or more of the following aspects were assumed: ($i$) the background expansion can be neglected during the tachyonic growth, ($ii$) coherence of the NMC field, ($iii$) coherence of the inflaton, ($iv$) instantaneous transition, and ($v$) a KD equation of state of exactly $w = 1$. Using our methodology, which requires none of the above assumptions, we determine the conditions to achieve proper reheating, i.e. energetic dominance of the NMC field over the inflaton. We characterize the time and energy scales of the problem, either for backreaction due to self-interactions, or (as a novelty of this work) due to gravitational effects. Finally, we calculate $\mathcal{O}(1)$ lattice correction factors to analytic scaling relations derived by some of us in previous work. This enables simple future studies without the need to run lattice simulations.


title: On the importance of slow ions in the kinetic Bohm criterion

abstract: Between a plasma and a solid target lies a positively charged sheath of several Debye lengths $\lambda_{\rm D}$ in width, typically much smaller than the characteristic length scale $L$ of the main plasma. This scale separation implies that the asymptotic limit $\epsilon = \lambda_{\rm D} / L \rightarrow 0$ is useful to solve for the plasma-sheath system. In this limit, the Bohm criterion must be satisfied at the sheath entrance. A new derivation of the kinetic criterion, admitting a general ion velocity distribution, is presented. It is proven that for $\epsilon \rightarrow 0$ the distribution of the velocity component normal to the target, $v_x$, and its first derivative must vanish for $|v_x| \rightarrow 0$ at the sheath entrance. These two conditions can be subsumed into a third integral one after it is integrated by parts twice. A subsequent interchange of the limits $\epsilon \rightarrow 0$ and $|v_x| \rightarrow 0$ is invalid, leading to a divergence which underlies the misconception that the criterion gives undue importance to slow ions.


title: Matrix invertible extensions over commutative rings. Part II: determinant liftability

abstract: A unimodular $2\times 2$ matrix $A$ with entries in a commutative ring $R$ is called weakly determinant liftable if there exists a matrix $B$ congruent to $A$ modulo $R\det(A)$ and $\det(B)=0$; if we can choose $B$ to be unimodular, then $A$ is called determinant liftable. If $A$ is extendable to an invertible $3\times 3$ matrix $A^+$, then $A$ is weakly determinant liftable. If $A$ is simple extendable (i.e., we can choose $A^+$ such that its $(3,3)$ entry is $0$), then $A$ is determinant liftable. We present necessary and/or sufficient criteria for $A$ to be (weakly) determinant liftable and we use them to show that if $R$ is a $\Pi_2$ ring in the sense of Part I (resp.\ is a pre-Schreier domain), then $A$ is simply extendable (resp.\ extendable) iff it is determinant liftable (resp.\ weakly determinant liftable). As an application we show that each $J_{2,1}$ domain (as defined by Lorenzini) is an elementary divisor domain.


title: Programmable Photonic Quantum Circuits with Ultrafast Time-bin Encoding

abstract: We propose a quantum information processing platform that utilizes the ultrafast time-bin encoding of photons. This approach offers a pathway to scalability by leveraging the inherent phase stability of collinear temporal interferometric networks at the femtosecond-to-picosecond timescale. The proposed architecture encodes information in ultrafast temporal bins processed using optically induced nonlinearities and birefringent materials while keeping photons in a single spatial mode. We demonstrate the potential for scalable photonic quantum information processing through two independent experiments that showcase the platform's programmability and scalability, respectively. The scheme's programmability is demonstrated in the first experiment, where we successfully program 362 different unitary transformations in up to 8 dimensions in a temporal circuit. In the second experiment, we show the scalability of ultrafast time-bin encoding by building a passive optical network, with increasing circuit depth, of up to 36 optical modes. In each experiment, fidelities exceed 97\%, while the interferometric phase remains passively stable for several days.


title: The atmosphere of HD 149026b: Low metal-enrichment and weak energy transport

abstract: Recent JWST eclipse spectra of the high-density hot Saturn HD 149026b between 2.35 and 5.08 $\mu$m has allowed for in-depth study of its atmosphere. To understand its atmospheric properties, we have created a grid of 1D radiative-convective-thermochemical equilibrium atmosphere models and spectra with PICASO 3.0. In agreement with previous work, we find that the presence of gaseous TiO creates a thermal inversion, which is inconsistent with the data. The presence of gaseous VO, however, which condenses at temperatures 200 K cooler, does not cause such inversions but alters the temperature-pressure profile of the atmosphere. We estimate an atmospheric metallicity of $14^{+12}_{-8}\times$ solar without VO and $20^{+11}_{-8}\times$ solar with VO, a factor of $\sim 10$ times smaller than previous work from Bean et al. (2023), who relied on atmosphere retrievals. We attribute this significant difference in metallicity to a larger temperature gradient at low pressures in radiative equilibrium models. Such models with lower metallicities readily fit the strong CO$_2$ feature at 4.3 $\mu$m. Our lower estimated metallicity makes HD 149026b more consistent with the mass-metallicity relationship for other giant planets. We find a C/O ratio of $0.67^{+0.06}_{-0.27}$ with and without VO. The best-fit heat redistribution factor without VO is $1.17$, a very high value suggesting very little dayside energy transport and no energy transport to the night side. The heat redistribution factor shrinks to a more plausible value of $0.91^{+0.05}_{-0.05}$, with VO, which we regard as circumstantial evidence for the molecule in the atmosphere of HD 149026b.


title: Effects of an Explicit Time-Dependent Radiation Pressure Force on Trajectories of Primary Neutral Hydrogen in the Heliosphere

abstract: Radiation pressure exerted by solar photon output is salient to the motion of primary neutral hydrogen atoms streaming into the inner heliosphere directly from the Local Interstellar Medium (LISM). The action of a time-dependent radiation pressure force, when coupled with the usual gravitational force, changes the characteristic velocities, and therefore energies, of the atoms when they reach regions in which explorer probes are present. A study is presented that uses a 2D code to backtrace neutral hydrogen trajectories from representative target points located 1 au from the Sun. It makes use of both a radiation pressure function and a function for the photoionization rate at 1 au that oscillate with time based on measurements over a typical solar cycle, as well as a time-independent charge exchange ionization rate at 1 au. Assuming a Maxwellian distribution in the distant upwind direction, phase space data is calculated at the target points, at different moments in time. The dependence of the force on the radial particle velocity has been omitted in the analysis, such that the emphasis is on the effects of the global solar UV intensity variations through the solar cycle. This process allows for analysis of direct and indirect Maxwellian components through time and space in the time-dependent force environment. Additionally, pseudo-bound orbits caused by energy losses associated with this force environment are observed and their properties evaluated with the aim of determining their effects on potential measurements by explorer probes.


title: Contribution to differential $\pi^0$ and $\gamma_\mathrm{dir}$ modification in small systems from color fluctuation effects

abstract: A major complication in the search for jet quenching in proton- or deuteron-nucleus collision systems is the presence of physical effects which influence the experimental determination of collision centrality in the presence of a hard process. For example, in the proton color fluctuation picture, protons with a large Bjorken-$x$ ($x \gtrsim 0.1$) parton interact more weakly with the nucleons in the nucleus, leading to a smaller (larger) than expected yield in large (small) activity events. A recent measurement by PHENIX compared the yield of neutral pion and direct photon production in $d$+Au collisions, under the argument that the photon yields correct for such biases, and the difference between the two species is thus attributable to final-state effects (i.e., jet quenching). The main finding suggests a significant degree of jet quenching for hard processes in small systems. In this paper, I argue that the particular photon and pion events selected by PHENIX arise from proton configurations with significantly different Bjorken-$x$ distributions, and thus are subject to different magnitudes of modification in the color fluctuation model. Using the results of a previous global analysis of RHIC and LHC data, I show that potentially all of the pion-to-photon difference in PHENIX data can be described by a proton color fluctuation picture at a quantitative level before any additional physics from final-state effects is required. This finding reconciles the interpretation of the PHENIX measurement with others at RHIC and LHC, which have found no observable evidence for jet quenching in small systems.


title: A High-order Arbitrary Lagrangian-Eulerian Virtual Element Method for Convection-Diffusion Problems

abstract: A virtual element discretisation of an Arbitrary Lagrangian-Eulerian method for two-dimensional convection-diffusion equations is proposed employing an isoparametric Virtual Element Method to achieve higher-order convergence rates on curved edged polygonal meshes. The proposed method is validated with numerical experiments in which optimal $H^1$ and $L^2$ convergence are observed. This method is then successfully applied to an existing moving mesh algorithm for implicit moving boundary problems in which higher-order convergence is achieved.


title: PLAYER*: Enhancing LLM-based Multi-Agent Communication and Interaction in Murder Mystery Games

abstract: We propose PLAYER*, a novel framework that addresses the limitations of existing agent-based approaches built on Large Language Models (LLMs) in handling complex questions and understanding interpersonal relationships in dynamic environments. PLAYER* enhances path planning in Murder Mystery Games (MMGs) using an anytime sampling-based planner and a questioning-driven search framework. By equipping agents with a set of sensors, PLAYER* eliminates the need for pre-defined questions and enables agents to navigate complex social interactions. We additionally make a contribution by introducing a quantifiable evaluation method using multiple-choice questions and present WellPlay, a dataset containing 1,482 question-answer pairs. Experimental results demonstrate PLAYER*'s superiority over existing multi-agent methods, enhancing the generalisability and adaptability of agents in MMGs and paving the way for more effective multi-agent interactions.


title: An analysis of the suitability of OpenAlex for bibliometric analyses

abstract: Scopus and the Web of Science have been the foundation for research in the science of science even though these traditional databases systematically underrepresent certain disciplines and world regions. In response, new inclusive databases, notably OpenAlex, have emerged. While many studies have begun using OpenAlex as a data source, few critically assess its limitations. This study, conducted in collaboration with the OpenAlex team, addresses this gap by comparing OpenAlex to Scopus across a number of dimensions. The analysis concludes that OpenAlex is a superset of Scopus and can be a reliable alternative for some analyses, particularly at the country level. Despite this, issues of metadata accuracy and completeness show that additional research is needed to fully comprehend and address OpenAlex's limitations. Doing so will be necessary to confidently use OpenAlex across a wider set of analyses, including those that are not at all possible with more constrained databases.


title: The properties of $\phi(2170)$ and its three-body nature

abstract: We summarize the results we obtained for the partial decay widths of $\phi(2170)$ into two-body final states formed by a $\bar K$ and a Kaonic resonance, like $K(1460)$, $K_1(1270)$, as well as to final states constituted by a $\phi$ and an $\eta/\eta^\prime$ mesons. The results obtained are compared with the values extracted from experimental data on the corresponding branching ratios, which were determined by the BESIII collaboration. A reasonable agreement is found, which together with the previous reproduction of the mass, width, and cross section for the process $e^+ e^-\to \phi f_0$ strongly indicates the molecular nature of $\phi(2170)$ as a $\phi K\bar K$ system.


title: Temperature and excitation energy dependence of Raman scattering in nodal line Dirac semimetal ZrAs_{2}

abstract: We present a Raman study of ZrAs_{2} single crystals, a nodal line semimetal with symmetry-enforced Dirac-like band crossings. We identified the symmetry of phonon modes by polarized light measurements and comparison with calculated phonon frequencies. Significant dependence of peak intensities on the excitation wavelength was observed, indicating quantum interference effects. Phonon peaks in the spectra are superimposed on the electronic background, with quasi-elastic scattering observed for the 785 nm excitation. We identified the Fano shape of the 171 cm^{-1} Ag mode due to interference of the phonon state with the electronic continuum. The temperature dependence of phonon peaks linewidth indicates that the electron-phonon coupling plays an essential role in phonon decay.


title: Constraints On Covariant WIMP-Nucleon Effective Field Theory Interactions from the First Science Run of the LUX-ZEPLIN Experiment

abstract: The first science run of the LUX-ZEPLIN (LZ) experiment, a dual-phase xenon time project chamber operating in the Sanford Underground Research Facility in South Dakota, USA, has reported leading limits on spin-independent WIMP-nucleon interactions and interactions described from a non-relativistic effective field theory (NREFT). Using the same 5.5~t fiducial mass and 60 live days of exposure we report on the results of a relativistic extension to the NREFT. We present constraints on couplings from covariant interactions arising from the coupling of vector, axial currents, and electric dipole moments of the nucleon to the magnetic and electric dipole moments of the WIMP which cannot be described by recasting previous results described by an NREFT. Using a profile-likelihood ratio analysis, in an energy region between 0~keV$_\text{nr}$ to 270~keV$_\text{nr}$, we report 90% confidence level exclusion limits on the coupling strength of five interactions in both the isoscalar and isovector bases.


title: SiamQuality: A ConvNet-Based Foundation Model for Imperfect Physiological Signals

abstract: Foundation models, especially those using transformers as backbones, have gained significant popularity, particularly in language and language-vision tasks. However, large foundation models are typically trained on high-quality data, which poses a significant challenge, given the prevalence of poor-quality real-world data. This challenge is more pronounced for developing foundation models for physiological data; such data are often noisy, incomplete, or inconsistent. The present work aims to provide a toolset for developing foundation models on physiological data. We leverage a large dataset of photoplethysmography (PPG) signals from hospitalized intensive care patients. For this data, we propose SimQuality, a novel self-supervised learning task based on convolutional neural networks (CNNs) as the backbone to enforce representations to be similar for good and poor quality signals that are from similar physiological states. We pre-trained the SimQuality on over 36 million 30-second PPG pairs and then fine-tuned and tested on six downstream tasks using external datasets. The results demonstrate the superiority of the proposed approach on all the downstream tasks, which are extremely important for heart monitoring on wearable devices. Our method indicates that CNNs can be an effective backbone for foundation models that are robust to training data quality.


title: Precise Object Placement Using Force-Torque Feedback

abstract: Precise object manipulation and placement is a common problem for household robots, surgery robots, and robots working on in-situ construction. Prior work using computer vision, depth sensors, and reinforcement learning lacks the ability to reactively recover from planning errors, execution errors, or sensor noise. This work introduces a method that uses force-torque sensing to robustly place objects in stable poses, even in adversarial environments. On 46 trials, our method finds success rates of 100% for basic stacking, and 17% for cases requiring adjustment.


title: Approximation Algorithms for $\ell_p$-Shortest Path and $\ell_p$-Group Steiner Tree

abstract: We present polylogarithmic approximation algorithms for variants of the Shortest Path, Group Steiner Tree, and Group ATSP problems with vector costs. In these problems, each edge e has a non-negative vector cost $c_e \in \mathbb{R}^{\ell}_{\ge 0}$. For a feasible solution - a path, subtree, or tour (respectively) - we find the total vector cost of all the edges in the solution and then compute the $\ell_p$-norm of the obtained cost vector (we assume that $p \ge 1$ is an integer). Our algorithms for series-parallel graphs run in polynomial time and those for arbitrary graphs run in quasi-polynomial time. To obtain our results, we introduce and use new flow-based Sum-of-Squares relaxations. We also obtain a number of hardness results.


title: Federated Learning for Blind Image Super-Resolution

abstract: Traditional blind image SR methods need to model real-world degradations precisely. Consequently, current research struggles with this dilemma by assuming idealized degradations, which leads to limited applicability to actual user data. Moreover, the ideal scenario - training models on data from the targeted user base - presents significant privacy concerns. To address both challenges, we propose to fuse image SR with federated learning, allowing real-world degradations to be directly learned from users without invading their privacy. Furthermore, it enables optimization across many devices without data centralization. As this fusion is underexplored, we introduce new benchmarks specifically designed to evaluate new SR methods in this federated setting. By doing so, we employ known degradation modeling techniques from SR research. However, rather than aiming to mirror real degradations, our benchmarks use these degradation models to simulate the variety of degradations found across clients within a distributed user base. This distinction is crucial as it circumvents the need to precisely model real-world degradations, which limits contemporary blind image SR research. Our proposed benchmarks investigate blind image SR under new aspects, namely differently distributed degradation types among users and varying user numbers. We believe new methods tested within these benchmarks will perform more similarly in an application, as the simulated scenario addresses the variety while federated learning enables the training on actual degradations.


title: A Membrane Computing Approach to the Generalized Nash Equilibrium

abstract: In Evolutionary Game Theory (EGT), a population reaches a Nash equilibrium when none of the agents can improve its objective by solely changing its strategy on its own. Roughly speaking, this equilibrium is a protection against betrayal. Generalized Nash Equilibrium (GNE) is a more complex version of this idea with important implications in real-life problems in economics, wireless communication, the electricity market, or engineering among other areas. In this paper, we propose a first approach to GNE with Membrane Computing techniques and show how GNE problems can be modeled with P systems, bridging both areas and opening a door for a flow of problems and solutions in both directions.


title: BlenderAlchemy: Editing 3D Graphics with Vision-Language Models

abstract: Graphics design is important for various applications, including movie production and game design. To create a high-quality scene, designers usually need to spend hours in software like Blender, in which they might need to interleave and repeat operations, such as connecting material nodes, hundreds of times. Moreover, slightly different design goals may require completely different sequences, making automation difficult. In this paper, we propose a system that leverages Vision-Language Models (VLMs), like GPT-4V, to intelligently search the design action space to arrive at an answer that can satisfy a user's intent. Specifically, we design a vision-based edit generator and state evaluator to work together to find the correct sequence of actions to achieve the goal. Inspired by the role of visual imagination in the human design process, we supplement the visual reasoning capabilities of VLMs with "imagined" reference images from image-generation models, providing visual grounding of abstract language descriptions. In this paper, we provide empirical evidence suggesting our system can produce simple but tedious Blender editing sequences for tasks such as editing procedural materials from text and/or reference images, as well as adjusting lighting configurations for product renderings in complex scenes.


title: Learning Manipulation Tasks in Dynamic and Shared 3D Spaces

abstract: Automating the segregation process is a need for every sector experiencing a high volume of materials handling, repetitive and exhaustive operations, in addition to risky exposures. Learning automated pick-and-place operations can be efficiently done by introducing collaborative autonomous systems (e.g. manipulators) in the workplace and among human operators. In this paper, we propose a deep reinforcement learning strategy to learn the place task of multi-categorical items from a shared workspace between dual-manipulators and to multi-goal destinations, assuming the pick has been already completed. The learning strategy leverages first a stochastic actor-critic framework to train an agent's policy network, and second, a dynamic 3D Gym environment where both static and dynamic obstacles (e.g. human factors and robot mate) constitute the state space of a Markov decision process. Learning is conducted in a Gazebo simulator and experiments show an increase in cumulative reward function for the agent further away from human factors. Future investigations will be conducted to enhance the task performance for both agents simultaneously.


title: Center-Based Relaxed Learning Against Membership Inference Attacks

abstract: Membership inference attacks (MIAs) are currently considered one of the main privacy attack strategies, and their defense mechanisms have also been extensively explored. However, there is still a gap between the existing defense approaches and ideal models in performance and deployment costs. In particular, we observed that the privacy vulnerability of the model is closely correlated with the gap between the model's data-memorizing ability and generalization ability. To address this, we propose a new architecture-agnostic training paradigm called center-based relaxed learning (CRL), which is adaptive to any classification model and provides privacy preservation by sacrificing a minimal or no loss of model generalizability. We emphasize that CRL can better maintain the model's consistency between member and non-member data. Through extensive experiments on standard classification datasets, we empirically show that this approach exhibits comparable performance without requiring additional model capacity or data costs.


title: Ideal noncrystals: A possible new class of ordered matter without apparent broken symmetry

abstract: Order and disorder constitute two fundamental and opposite themes in condensed matter physics and materials science. Crystals are considered the epitome of order characterized by long-range translational order. The discovery of quasicrystals, with no periodicity but rotational symmetries forbidden for crystals, leads to a paradigm shift in solid-state physics. Moving one step forward, it is intriguing to ask whether ordered matter exists without apparent symmetry breaking. The same question may arise in the pursuit of how ordered amorphous (noncrystalline) solids can be. Here we report the finding of ideal noncrystals in two dimensions, which are disordered in the conventional sense without Bragg peaks but highly ordered according to the steric order. We find that such ideal noncrystals have vibrational modes the same as phonons following the Debye law. The elastic responses are fully affine, which is again characteristic of crystals, and the spatial fluctuations of local volume fractions approach hyperuniformity. Therefore, ideal noncrystals represent an anomalous form of matter with a mixed nature of noncrystalline structure but crystal-like properties. Since such states are found to be thermodynamically favorable, we identify them as a possible new class of ordered matter without apparent broken symmetry. Our results thus extend the scope of the ordered state of matter and may impact the understanding of entropy-driving ordering also in generic amorphous materials.


title: Toward a 2D Local Implementation of Quantum LDPC Codes

abstract: Geometric locality is an important theoretical and practical factor for quantum low-density parity-check (qLDPC) codes which affects code performance and ease of physical realization. For device architectures restricted to 2D local gates, naively implementing the high-rate codes suitable for low-overhead fault-tolerant quantum computing incurs prohibitive overhead. In this work, we present an error correction protocol built on a bilayer architecture that aims to reduce operational overheads when restricted to 2D local gates by measuring some generators less frequently than others. We investigate the family of bivariate bicycle qLDPC codes and show that they are well suited for a parallel syndrome measurement scheme using fast routing with local operations and classical communication (LOCC). Through circuit-level simulations, we find that in some parameter regimes bivariate bicycle codes implemented with this protocol have logical error rates comparable to the surface code while using fewer physical qubits.


title: Stabilizer operators and Barnes-Wall lattices

abstract: We give a simple description of rectangular matrices that can be implemented by a post-selected stabilizer circuit. Given a matrix with entries in dyadic cyclotomic number fields $\mathbb{Q}(\exp(i\frac{2\pi}{2^m}))$, we show that it can be implemented by a post-selected stabilizer circuit if it has entries in $\mathbb{Z}[\exp(i\frac{2\pi}{2^m})]$ when expressed in a certain non-orthogonal basis. This basis is related to Barnes-Wall lattices. Our result is a generalization to a well-known connection between Clifford groups and Barnes-Wall lattices. We also show that minimal vectors of Barnes-Wall lattices are stabilizer states, which may be of independent interest. Finally, we provide a few examples of generalizations beyond standard Clifford groups.


title: Splitting Hypergeometric Functions over Roots of Unity

abstract: We examine hypergeometric functions in the finite field, p-adic and classical settings. In each setting, we prove a formula which splits the hypergeometric function into a sum of lower order functions whose arguments differ by roots of unity. We provide multiple applications of these results, including new reduction and summation formulas for finite field hypergeometric functions, along with classical analogues; evaluations of special values of these functions which apply in both the finite field and p-adic settings; and new relations to Fourier coefficients of modular forms.


title: Recent Increments in Incremental View Maintenance

abstract: We overview recent progress on the longstanding problem of incremental view maintenance (IVM), with a focus on the fine-grained complexity and optimality of IVM for classes of conjunctive queries. This theoretical progress guided the development of IVM engines that reported practical benefits in academic papers and industrial settings. When taken in isolation, each of the reported advancements is but a small increment. Yet when taken together, they may well pave the way to a deeper understanding of the IVM problem. This paper accompanies the invited Gems of PODS 2024 talk with the same title. Some of the works highlighted in this paper are based on prior or on-going collaborations with: Ahmet Kara, Milos Nikolic, and Haozhe Zhang in the F-IVM project; and Mahmoud Abo Khamis, Niko G\"obel, Hung Ngo, and Dan Suciu at RelationalAI.


title: Characteristic modules over a local ring

abstract: Let $R$ be a commutative noetherian local ring, and let $M$ be a finitely generated $R$-module. Inspired by works of Vasconcelos and Briggs on characterization of complete intersection local rings through the homological properties of the conormal module, in this paper, we define the characteristic module $\mathrm{T}_M$ and the cocharacteristic module $\mathrm{E}_M$ of $M$, and investigate their properties. Our main results include characterizations of Cohen--Macaulay and Gorenstein local rings.


title: Extrapolating on Taylor Series Solutions of Homotopies with Nearby Poles

abstract: A polynomial homotopy is a family of polynomial systems in one parameter, which defines solution paths starting from known solutions and ending at solutions of a system that has to be solved. We consider paths leading to isolated singular solutions, to which the Taylor series converges logarithmically. Whether or not extrapolation algorithms manage to accelerate the slowly converging series depends on the proximity of poles close to the disk of convergence of the Taylor series.


title: Testing for similarity of dose response in multi-regional clinical trials

abstract: This paper addresses the problem of deciding whether the dose response relationships between subgroups and the full population in a multi-regional trial are similar to each other. Similarity is measured in terms of the maximal deviation between the dose response curves. We consider a parametric framework and develop two powerful bootstrap tests for the similarity between the dose response curves of one subgroup and the full population, and for the similarity between the dose response curves of several subgroups and the full population. We prove the validity of the tests, investigate the finite sample properties by means of a simulation study and finally illustrate the methodology in a case study.


title: Energy Storage Arbitrage in Two-settlement Markets: A Transformer-Based Approach

abstract: This paper presents an integrated model for bidding energy storage in day-ahead and real-time markets to maximize profits. We show that in integrated two-stage bidding, the real-time bids are independent of day-ahead settlements, while the day-ahead bids should be based on predicted real-time prices. We utilize a transformer-based model for real-time price prediction, which captures complex dynamical patterns of real-time prices, and use the result for day-ahead bidding design. For real-time bidding, we utilize a long short-term memory-dynamic programming hybrid real-time bidding model. We train and test our model with historical data from New York State, and our results showed that the integrated system achieved promising results of almost a 20\% increase in profit compared to only bidding in real-time markets, and at the same time reducing the risk in terms of the number of days with negative profits.


title: Generalize by Touching: Tactile Ensemble Skill Transfer for Robotic Furniture Assembly

abstract: Furniture assembly remains an unsolved problem in robotic manipulation due to its long task horizon and nongeneralizable operations plan. This paper presents the Tactile Ensemble Skill Transfer (TEST) framework, a pioneering offline reinforcement learning (RL) approach that incorporates tactile feedback in the control loop. TEST's core design is to learn a skill transition model for high-level planning, along with a set of adaptive intra-skill goal-reaching policies. Such design aims to solve the robotic furniture assembly problem in a more generalizable way, facilitating seamless chaining of skills for this long-horizon task. We first sample demonstration from a set of heuristic policies and trajectories consisting of a set of randomized sub-skill segments, enabling the acquisition of rich robot trajectories that capture skill stages, robot states, visual indicators, and crucially, tactile signals. Leveraging these trajectories, our offline RL method discerns skill termination conditions and coordinates skill transitions. Our evaluations highlight the proficiency of TEST on the in-distribution furniture assemblies, its adaptability to unseen furniture configurations, and its robustness against visual disturbances. Ablation studies further accentuate the pivotal role of two algorithmic components: the skill transition model and tactile ensemble policies. Results indicate that TEST can achieve a success rate of 90\% and is over 4 times more efficient than the heuristic policy in both in-distribution and generalization settings, suggesting a scalable skill transfer approach for contact-rich manipulation.


title: Localization Through Particle Filter Powered Neural Network Estimated Monocular Camera Poses

abstract: The reduced cost and computational and calibration requirements of monocular cameras make them ideal positioning sensors for mobile robots, albeit at the expense of any meaningful depth measurement. Solutions proposed by some scholars to this localization problem involve fusing pose estimates from convolutional neural networks (CNNs) with pose estimates from geometric constraints on motion to generate accurate predictions of robot trajectories. However, the distribution of attitude estimation based on CNN is not uniform, resulting in certain translation problems in the prediction of robot trajectories. This paper proposes improving these CNN-based pose estimates by propagating a SE(3) uniform distribution driven by a particle filter. The particles utilize the same motion model used by the CNN, while updating their weights using CNN-based estimates. The results show that while the rotational component of pose estimation does not consistently improve relative to CNN-based estimation, the translational component is significantly more accurate. This factor combined with the superior smoothness of the filtered trajectories shows that the use of particle filters significantly improves the performance of CNN-based localization algorithms.


title: On the Benefits of Coding for Network Slicing

abstract: Network slicing has emerged as an integral concept in 5G, aiming to partition the physical network infrastructure into isolated slices, customized for specific applications. We theoretically formulate the key performance metrics of an application, in terms of goodput and delivery delay, at a cost of network resources in terms of bandwidth. We explore an un-coded communication protocol that uses feedback-based repetitions, and a coded protocol, implementing random linear network coding and using coding-aware acknowledgments. We find that coding reduces the resource demands of a slice to meet the requirements for an application, thereby serving more applications efficiently. Coded slices thus free up resources for other slices, be they coded or not. Based on these results, we propose a hybrid approach, wherein coding is introduced selectively in certain network slices. This approach not only facilitates a smoother transition from un-coded systems to coded systems but also reduces costs across all slices. Theoretical findings in this paper are validated and expanded upon through real-time simulations of the network.


title: Knowledge Transfer for Cross-Domain Reinforcement Learning: A Systematic Review

abstract: Reinforcement Learning (RL) provides a framework in which agents can be trained, via trial and error, to solve complex decision-making problems. Learning with little supervision causes RL methods to require large amounts of data, which renders them too expensive for many applications (e.g. robotics). By reusing knowledge from a different task, knowledge transfer methods present an alternative to reduce the training time in RL. Given how severe data scarcity can be, there has been a growing interest for methods capable of transferring knowledge across different domains (i.e. problems with different representation) due to the flexibility they offer. This review presents a unifying analysis of methods focused on transferring knowledge across different domains. Through a taxonomy based on a transfer-approach categorization, and a characterization of works based on their data-assumption requirements, the objectives of this article are to 1) provide a comprehensive and systematic revision of knowledge transfer methods for the cross-domain RL setting, 2) categorize and characterize these methods to provide an analysis based on relevant features such as their transfer approach and data requirements, and 3) discuss the main challenges regarding cross-domain knowledge transfer, as well as ideas of future directions worth exploring to address these problems.


title: Seizing the Means of Production: Exploring the Landscape of Crafting, Adapting and Navigating Generative AI Models in the Visual Arts

abstract: In this paper, we map out the landscape of options available to visual artists for creating personal artworks, including crafting, adapting and navigating deep generative models. Following that, we argue for revisiting model crafting, defined as the design and manipulation of generative models for creative goals, and motivate studying and designing for model crafting as a creative activity in its own right.


title: Inexact FPPA for the $\ell_0$ Sparse Regularization Problem

abstract: We study inexact fixed-point proximity algorithms for solving a class of sparse regularization problems involving the $\ell_0$ norm. Specifically, the $\ell_0$ model has an objective function that is the sum of a convex fidelity term and a Moreau envelope of the $\ell_0$ norm regularization term. Such an $\ell_0$ model is non-convex. Existing exact algorithms for solving the problems require the availability of closed-form formulas for the proximity operator of convex functions involved in the objective function. When such formulas are not available, numerical computation of the proximity operator becomes inevitable. This leads to inexact iteration algorithms. We investigate in this paper how the numerical error for every step of the iteration should be controlled to ensure global convergence of the resulting inexact algorithms. We establish a theoretical result that guarantees the sequence generated by the proposed inexact algorithm converges to a local minimizer of the optimization problem. We implement the proposed algorithms for three applications of practical importance in machine learning and image science, which include regression, classification, and image deblurring. The numerical results demonstrate the convergence of the proposed algorithm and confirm that local minimizers of the $\ell_0$ models found by the proposed inexact algorithm outperform global minimizers of the corresponding $\ell_1$ models, in terms of approximation accuracy and sparsity of the solutions.


title: A Biased Estimator for MinMax Sampling and Distributed Aggregation

abstract: MinMax sampling is a technique for downsampling a real-valued vector which minimizes the maximum variance over all vector components. This approach is useful for reducing the amount of data that must be sent over a constrained network link (e.g. in the wide-area). MinMax can provide unbiased estimates of the vector elements, along with unbiased estimates of aggregates when vectors are combined from multiple locations. In this work, we propose a biased MinMax estimation scheme, B-MinMax, which trades an increase in estimator bias for a reduction in variance. We prove that when no aggregation is performed, B-MinMax obtains a strictly lower MSE compared to the unbiased MinMax estimator. When aggregation is required, B-MinMax is preferable when sample sizes are small or the number of aggregated vectors is limited. Our experiments show that this approach can substantially reduce the MSE for MinMax sampling in many practical settings.


title: Weighted Stacking of Radio Images Affected by Noise and Interfering Signals

abstract: We implement an algorithm based on the weighted stacking of astronomical images that can combine different observations of the same region of the sky removing the interfering signals. We develop a C++ code that takes as input a set of spectral cubes and computes the local weights of the intensity for each pixel of every channel. The weights are calculated as the inverse variance of the nearby pixels and are used to compute the weighted merge of the input files. Astronomical sources, present in all cubes, are preserved by the weighted average. However, interfering signals, present in specific cubes and a certain frequency range, are down-weighted in the average and removed from the output spectral cube. We present the results obtained by analyzing simulated spectral cubes containing astronomical sources, noise, and a random set of interferences of different intensities and spectral occupations. The performance of the algorithm is evaluated by comparing the output result with the input sky model image. Finally, we present the results obtained by applying the method to a set of real data consisting of observations of the Andromeda galaxy, Messier 31 (M31), at 6.6 GHz obtained with the Sardinia Radio Telescope.


title: Walking on Spheres and Talking to Neighbors: Variance Reduction for Laplace's Equation

abstract: Walk on Spheres algorithms leverage properties of Brownian Motion to create Monte Carlo estimates of solutions to a class of elliptic partial differential equations. Until recently, estimates were constructed pointwise and did not utilize the relationship between solutions at nearby points within a domain. We propose a new caching strategy which leverages the continuity of paths of Brownian Motion. In the case of Laplace's equation with Dirichlet boundary conditions, our novel algorithm has improved asymptotic runtime compared to previous approaches. This is achieved by passing information from a cache of constant size. We also provide bounds on the performance of our algorithm and demonstrate its performance on an example problem.


title: A Survey Selection Correction using Nonrandom Followup with an Application to the Gender Entrepreneurship Gap

abstract: Selection into samples undermines efforts to describe populations and to estimate relationships between variables. We develop a simple method for correcting for sample selection that explains differences in survey responses between early and late respondents with correlation between potential responses and preference for survey response. Our method relies on researchers observing the number of data collection attempts prior to each individual's survey response rather than covariates that affect response rates without affecting potential responses. Applying our method to a survey of entrepreneurial aspirations among undergraduates at University of Wisconsin-Madison, we find suggestive evidence that the entrepreneurial aspiration rate is larger among survey respondents than the population, as well as the male-female gender gap in the entrepreneurial aspiration rate, which we estimate as 21 percentage points in the sample and 19 percentage points in the population. Our results suggest that the male-female gap in entrepreneurial aspirations arises prior to direct exposure to the labor market.


title: Areas Between Cosines

abstract: We find the area between $\cos^p x$ and $\cos^p nx$ as $n$ heads to infinity, and we establish a connection between these limiting values and the exponential generating function for $\arcsin x/(1-x)$ at sequence number A296726 on the OEIS.


title: SIM2VR: Towards Automated Biomechanical Testing in VR

abstract: Automated biomechanical testing has great potential for the development of VR applications, as initial insights into user behaviour can be gained in silico early in the design process. In particular, it allows prediction of user movements and ergonomic variables, such as fatigue, prior to conducting user studies. However, there is a fundamental disconnect between simulators hosting state-of-the-art biomechanical user models and simulators used to develop and run VR applications. Existing user simulators often struggle to capture the intricacies and nuances of real-world VR applications, reducing ecological validity of user predictions. In this paper, we introduce SIM2VR, a system that aligns user simulation with a given VR application by establishing a continuous closed loop between the two processes. This, for the first time, enables training simulated users directly in the same VR application that real users interact with. We demonstrate that SIM2VR can predict differences in user performance, ergonomics and strategies in a fast-paced, dynamic arcade game. In order to expand the scope of automated biomechanical testing beyond simple visuomotor tasks, advances in cognitive models and reward function design will be needed.


title: New second-order optimality conditions for directional optimality of a general set-constrained optimization problem

abstract: In this paper we derive new second-order optimality conditions for a very general set-constrained optimization problem where the underlying set may be nononvex. We consider local optimality in specific directions (i.e., optimal in a directional neighborhood) in pursuit of developing these new optimality conditions. First-order necessary conditions for local optimality in given directions are provided by virtue of the corresponding directional normal cones. Utilizing the classical and/or the lower generalized support function, we obtain new second-order necessary and sufficient conditions for local optimality of general nonconvex constrained optimization problem in given directions via both the corresponding asymptotic second-order tangent cone and outer second-order tangent set. Our results do not require convexity and/or nonemptyness of the outer second-order tangent set. This is an important improvement to other results in the literature since the outer second-order tangent set can be nonconvex and empty even when the set is convex.


title: Enhancing Track Management Systems with Vehicle-To-Vehicle Enabled Sensor Fusion

abstract: In the rapidly advancing landscape of connected and automated vehicles (CAV), the integration of Vehicle-to-Everything (V2X) communication in traditional fusion systems presents a promising avenue for enhancing vehicle perception. Addressing current limitations with vehicle sensing, this paper proposes a novel Vehicle-to-Vehicle (V2V) enabled track management system that leverages the synergy between V2V signals and detections from radar and camera sensors. The core innovation lies in the creation of independent priority track lists, consisting of fused detections validated through V2V communication. This approach enables more flexible and resilient thresholds for track management, particularly in scenarios with numerous occlusions where the tracked objects move outside the field of view of the perception sensors. The proposed system considers the implications of falsification of V2X signals which is combated through an initial vehicle identification process using detection from perception sensors. Presented are the fusion algorithm, simulated environments, and validation mechanisms. Experimental results demonstrate the improved accuracy and robustness of the proposed system in common driving scenarios, highlighting its potential to advance the reliability and efficiency of autonomous vehicles.


title: "Actually I Can Count My Blessings": User-Centered Design of an Application to Promote Gratitude Among Young Adults

abstract: Regular practice of gratitude has the potential to enhance psychological wellbeing and foster stronger social connections among young adults. However, there is a lack of research investigating user needs and expectations regarding gratitude-promoting applications. To address this gap, we employed a user-centered design approach to develop a mobile application that facilitates gratitude practice. Our formative study involved 20 participants who utilized an existing application, providing insights into their preferences for organizing expressions of gratitude and the significance of prompts for reflection and mood labeling after working hours. Building on these findings, we conducted a deployment study with 26 participants using our custom-designed application, which confirmed the positive impact of structured options to guide gratitude practice and highlighted the advantages of passive engagement with the application during busy periods. Our study contributes to the field by identifying key design considerations for promoting gratitude among young adults.


title: Deep Learning for Melt Pool Depth Contour Prediction From Surface Thermal Images via Vision Transformers

abstract: Insufficient overlap between the melt pools produced during Laser Powder Bed Fusion (L-PBF) can lead to lack-of-fusion defects and deteriorated mechanical and fatigue performance. In-situ monitoring of the melt pool subsurface morphology requires specialized equipment that may not be readily accessible or scalable. Therefore, we introduce a machine learning framework to correlate in-situ two-color thermal images observed via high-speed color imaging to the two-dimensional profile of the melt pool cross-section. Specifically, we employ a hybrid CNN-Transformer architecture to establish a correlation between single bead off-axis thermal image sequences and melt pool cross-section contours measured via optical microscopy. In this architecture, a ResNet model embeds the spatial information contained within the thermal images to a latent vector, while a Transformer model correlates the sequence of embedded vectors to extract temporal information. Our framework is able to model the curvature of the subsurface melt pool structure, with improved performance in high energy density regimes compared to analytical melt pool models. The performance of this model is evaluated through dimensional and geometric comparisons to the corresponding experimental melt pool observations.


title: Decentralized Finance and Local Public Goods: A Bayesian Maximum Entropy Model of School District Spending in the U.S

abstract: This paper investigates the distribution of public school expenditures across U.S. school districts using a bayesian maximum entropy model. Covering the period 2000-2016, I explore how inter-jurisdictional competition and household choice influence spending patterns within the public education sector, providing a novel empirical treatment of the Tiebout hypothesis within a statistical equilibrium framework. The analysis reveals that these expenditures are characterized by sharply peaked and positively skewed distributions, suggesting significant socioeconomic stratification. Employing Bayesian inference and Markov Chain Monte Carlo (MCMC) sampling, I fit these patterns into a statistical equilibrium model to elucidate the roles of competition, as well as household mobility and arbitrage in shaping the distribution of educational spending. The analysis reveals how the scale parameters associated with competition and household choice critically shape the equilibrium outcomes. The model and analysis offer a statistical basis for shaping policy measures intended to affect distributional outcomes in scenarios characterized by the decentralized provision of local public goods.


title: Embedded FPGA Developments in 130nm and 28nm CMOS for Machine Learning in Particle Detector Readout

abstract: Embedded field programmable gate array (eFPGA) technology allows the implementation of reconfigurable logic within the design of an application-specific integrated circuit (ASIC). This approach offers the low power and efficiency of an ASIC along with the ease of FPGA configuration, particularly beneficial for the use case of machine learning in the data pipeline of next-generation collider experiments. An open-source framework called "FABulous" was used to design eFPGAs using 130 nm and 28 nm CMOS technology nodes, which were subsequently fabricated and verified through testing. The capability of an eFPGA to act as a front-end readout chip was tested using simulation of high energy particles passing through a silicon pixel sensor. A machine learning-based classifier, designed for reduction of sensor data at the source, was synthesized and configured onto the eFPGA. A successful proof-of-concept was demonstrated through reproduction of the expected algorithm result on the eFPGA with perfect accuracy. Further development of the eFPGA technology and its application to collider detector readout is discussed.


title: Stocking and Harvesting Effects in Advection-Reaction-Diffusion Model: Exploring Decoupled Algorithms and Analysis

abstract: We propose a time-dependent Advection Reaction Diffusion (ARD) $N$-species competition model to investigate the Stocking and Harvesting (SH) effect on population dynamics. For ongoing analysis, we explore the outcomes of a competition between two competing species in a heterogeneous environment under no-flux boundary conditions, meaning no individual can cross the boundaries. We establish results concerning the existence, uniqueness, and positivity of the solution. As a continuation, we propose, analyze, and test two novel fully discrete decoupled linearized algorithms for a nonlinearly coupled ARD $N$-species competition model with SH effort. The time-stepping algorithms are first and second order accurate in time and optimally accurate in space. Stability and optimal convergence theorems of the decoupled schemes are proved rigorously. We verify the predicted convergence rates of our analysis and the efficacy of the algorithms using numerical experiments and synthetic data for analytical test problems. We also study the effect of harvesting or stocking and diffusion parameters on the evolution of species population density numerically and observe the coexistence scenario subject to optimal stocking or harvesting.


title: A quantum annealing approach to the minimum distance problem of quantum codes

abstract: Quantum error-correcting codes (QECCs) is at the heart of fault-tolerant quantum computing. As the size of quantum platforms is expected to grow, one of the open questions is to design new optimal codes of ever-increasing size. A related challenge is to ``certify'' the quality of a given code by evaluating its minimum distance, a quantity characterizing code's capacity to preserve quantum information. This problem is known to be NP-hard. Here we propose to harness the power of contemporary quantum platforms to address this question, and in this way help design quantum platforms of the future. Namely, we introduce an approach to compute the minimum distance of quantum stabilizer codes by reformulating the problem as a Quadratic Unconstrained Binary Optimization (QUBO) problem and leveraging established QUBO algorithms and heuristics as well as quantum annealing (QA) to address the latter. The reformulation as a QUBO introduces only a logarithmic multiplicative overhead in the required number of variables. We demonstrate practical viability of our method by comparing the performance of purely classical algorithms with the D-Wave Advantage 4.1 quantum annealer as well as hybrid quantum-classical algorithm Qbsolv. We found that the hybrid approach demonstrates competitive performance, on par with the best available classical algorithms to solve QUBO. In a practical sense, the QUBO-based approach is currently lagging behind the best deterministic minimal distance algorithms, however this advantage may disappear as the size of the platforms grows.


title: SPLICE -- Streamlining Digital Pathology Image Processing

abstract: Digital pathology and the integration of artificial intelligence (AI) models have revolutionized histopathology, opening new opportunities. With the increasing availability of Whole Slide Images (WSIs), there's a growing demand for efficient retrieval, processing, and analysis of relevant images from vast biomedical archives. However, processing WSIs presents challenges due to their large size and content complexity. Full computer digestion of WSIs is impractical, and processing all patches individually is prohibitively expensive. In this paper, we propose an unsupervised patching algorithm, Sequential Patching Lattice for Image Classification and Enquiry (SPLICE). This novel approach condenses a histopathology WSI into a compact set of representative patches, forming a "collage" of WSI while minimizing redundancy. SPLICE prioritizes patch quality and uniqueness by sequentially analyzing a WSI and selecting non-redundant representative features. We evaluated SPLICE for search and match applications, demonstrating improved accuracy, reduced computation time, and storage requirements compared to existing state-of-the-art methods. As an unsupervised method, SPLICE effectively reduces storage requirements for representing tissue images by 50%. This reduction enables numerous algorithms in computational pathology to operate much more efficiently, paving the way for accelerated adoption of digital pathology.


title: Estimating odds and log odds with guaranteed accuracy

abstract: Two sequential estimators are proposed for the odds p/(1-p) and log odds log(p/(1-p)) respectively, using independent Bernoulli random variables with parameter p as inputs. The estimators are unbiased, and guarantee that the variance of the estimation error divided by the true value of the odds, or the variance of the estimation error of the log odds, are less than a target value for any p in (0,1). The estimators are close to optimal in the sense of Wolfowitz's bound.


title: Energy decay for semilinear evolution equations with memory and time-dependent time delay feedback

abstract: In this paper, we study well-posedness and exponential stability for semilinear second order evolution equations with memory and time-varying delay feedback. The time delay function is assumed to be continuous and bounded. Under a suitable assumption on the delay feedback, we are able to prove that solutions corresponding to small initial data are globally defined and satisfy an exponential decay estimate.


title: Deneb is a Large Amplitude Polarimetric Variable

abstract: We write to report the discovery that Deneb is a large amplitude polarization variable. Over a ~400 d time span from August 2022 Deneb's polarization was typically around 3900 parts-per-million (ppm) in the SDSS g'-band. Yet, it varied by several hundred ppm in an irregular way on a timescale of weeks. The largest polarization change, amounting to 2500 ppm, occurred shortly after the last pulsation ``resumption'' event identified by Abt et al. (2023) in TESS photometry. The relationship between the observed polarization -- particularly corresponding to the resumption event -- and its brightness and H-alpha spectra suggests a mechanism involving density changes in its wind and/or extended atmosphere. Smaller effects due to pulsations are not ruled out and further study is recommended.


title: Nijenhuis-Lie bialgebras

abstract: In this paper, we study Lie bialgebra analogs of Poisson-Nijenhuis structures and introduce the notion of (weak)Nijenhuis-Lie bialgebra, a Lie bialgebra with a Nijenhuis structure on a Lie algebra satisfying compatibility conditions. We show that a Nijenhuis-Lie bialgebra gives rise to a hierarchy of compatible Lie bialgebras on the initial Lie algebra and deformed Lie algebras by means of the Nijenhuis structure of any order. We show that the underlying algebraic structure of Euler-top system is a weak Nijenhuis-Lie bialgebra.


title: Low-rank Matrix Bandits with Heavy-tailed Rewards

abstract: In stochastic low-rank matrix bandit, the expected reward of an arm is equal to the inner product between its feature matrix and some unknown $d_1$ by $d_2$ low-rank parameter matrix $\Theta^*$ with rank $r \ll d_1\wedge d_2$. While all prior studies assume the payoffs are mixed with sub-Gaussian noises, in this work we loosen this strict assumption and consider the new problem of \underline{low}-rank matrix bandit with \underline{h}eavy-\underline{t}ailed \underline{r}ewards (LowHTR), where the rewards only have finite $(1+\delta)$ moment for some $\delta \in (0,1]$. By utilizing the truncation on observed payoffs and the dynamic exploration, we propose a novel algorithm called LOTUS attaining the regret bound of order $\tilde O(d^\frac{3}{2}r^\frac{1}{2}T^\frac{1}{1+\delta}/\tilde{D}_{rr})$ without knowing $T$, which matches the state-of-the-art regret bound under sub-Gaussian noises~\citep{lu2021low,kang2022efficient} with $\delta = 1$. Moreover, we establish a lower bound of the order $\Omega(d^\frac{\delta}{1+\delta} r^\frac{\delta}{1+\delta} T^\frac{1}{1+\delta}) = \Omega(T^\frac{1}{1+\delta})$ for LowHTR, which indicates our LOTUS is nearly optimal in the order of $T$. In addition, we improve LOTUS so that it does not require knowledge of the rank $r$ with $\tilde O(dr^\frac{3}{2}T^\frac{1+\delta}{1+2\delta})$ regret bound, and it is efficient under the high-dimensional scenario. We also conduct simulations to demonstrate the practical superiority of our algorithm.


title: Shaping the nebula around the symbiotic system R Aquarii

abstract: We present an analysis of high-dispersion spectroscopic observations of the symbiotic system R Aquarii (R Aqr) obtained with the Manchester Echelle Spectrograph (MES) at the 2.1 m telescope of the San Pedro M\'artir Observatory (Mexico). An interpretation of these data is presented by means of the shape software to disclose the morpho-kinematics of the nebulosities associated with R Aqr. The best model that reproduces narrow-band images and position-velocity diagrams is composed by three structures: an outer (large) hourglass structure surrounding an inner bipolar with a spiral-like filament entwined around the later. Different expansion velocity patterns are predefined for each structure, which predict kinematic ages of $\tau_{1}$=450$\pm$25 yr (outer hourglass), $\tau_{2}$=240$\pm$20 yr (inner bipolar) and $\tau_{3}$=215$\pm$20 yr (spiral-like filament). We suggest that the spiral-like filament is tracing the regions of interaction of the precessing jet with the circumstellar material, which simultaneously carves the inner bipolar structure. If a similar process created the large hourglass structure, it means that the action of the jet ceased for about 230 yr. We discuss the implication for other unresolved symbiotic systems detected in X-rays.


title: Optimal Delivery with a Faulty Drone

abstract: We introduce and study a new cooperative delivery problem inspired by drone-assisted package delivery. We consider a scenario where a drone, en route to deliver a package to a destination (a point on the plane), unexpectedly loses communication with its central command station. The command station cannot know whether the drone's system has wholly malfunctioned or merely experienced a communications failure. Consequently, a second, helper drone must be deployed to retrieve the package to ensure successful delivery. The central question of this study is to find the optimal trajectory for this second drone. We demonstrate that the optimal solution relies heavily on the relative spatial positioning of the command station, the destination point, and the last known location of the disconnected drone.


title: Limits of length functions of multi $p$-families of ideals

abstract: We show the asymptotic relationship between the limit of the normalized length function of a multi-$p-$family of ideals and that of its shifted family under linear growth conditions in a local domain of characteristic $p$. Examples of multi-$p-$families of ideals including products of Frobenius powers of different ideals. We apply our results to obtain a generalized version of a formula due to Wantanabe-Yoshida for certain $p-$families using results from Verma, and to provide an instance of the existence of a mixed multiplicity version of multi-$p$-families of ideals.


title: Revisiting the Resource Curse in the Age of Energy Transition: Cobalt Reserves and Conflict in Africa

abstract: This study reevaluates the traditional understanding of the "political resource curse" by examining the unique impact of energy transition metals, specifically cobalt, on local-level conflicts in Africa. Contrary to previous studies that primarily focus on high-value minerals and their political outcomes resulted from substantial economic revenues, this study investigates cobalt's influence on local conflict. Despite its strategic importance, cobalt's limited commercial value presents a unique yet critical case for analysis. Different with the prevailing view that links mineral reserves with increased conflict, this research finds that regions rich in cobalt experience a reduction in conflict. This decrease is attributed to enhanced government security measures, which are implemented independently of the economic benefits derived from cobalt as a commodity. The study utilizes a combination of georeferenced data and a difference-in-difference design to analyze the causal relationship between cobalt deposits and regional conflict. The findings suggest that the presence of cobalt deposits leads to enhanced security interventions by governments, effectively reducing the likelihood of non-governmental actors taking control of these territories. This pattern offers a new perspective on the role of energy transition metals in shaping conflict and governance, highlighting the need to reassess theoretical frameworks related to the political implications of natural resources with the ongoing energy revolution.


title: Lower Bounds for Private Estimation of Gaussian Covariance Matrices under All Reasonable Parameter Regimes

abstract: We prove lower bounds on the number of samples needed to privately estimate the covariance matrix of a Gaussian distribution. Our bounds match existing upper bounds in the widest known setting of parameters. Our analysis relies on the Stein-Haff identity, an extension of the classical Stein's identity used in previous fingerprinting lemma arguments.


title: Blue Large-Amplitude Pulsators and Other Short-Period Variable Stars in OGLE-IV Fields of the Outer Galactic Bulge

abstract: In this work, we search the OGLE-IV outer Galactic bulge fields for short-period variable objects. The investigation focuses on unexplored timescales roughly below one hour in an area containing about 700 million stellar sources down to approximately I=20 mag. We concentrate mainly on Blue Large-Amplitude Pulsators (BLAPs), which represent a recently discovered enigmatic class of short-period hot subluminous stars. We find 33 BLAPs in the period range from 7.5 to 66.5 min. Thirty-one of them are new discoveries, which increases the number of known stars of this class to over one hundred. Additional eighteen objects with pulsation-like light curve shapes and periods ranging from 17.3 to 53.7 min are presented. Very likely, these are $\delta$ Sct/SX Phe-type stars, but some of them could be pulsating hot subdwarfs or BLAPs. We also report on the detection of five eclipsing binary systems with orbital periods between 61.2 and 121.9 min and three mysterious variable objects with I-band amplitudes larger than 0.9 mag. A spectroscopic follow-up would help in the final classification of the variables.


title: Airlift Challenge: A Competition for Optimizing Cargo Delivery

abstract: Airlift operations require the timely distribution of various cargo, much of which is time sensitive and valuable. However, these operations have to contend with sudden disruptions from weather and malfunctions, requiring immediate rescheduling. The Airlift Challenge competition seeks possible solutions via a simulator that provides a simplified abstraction of the airlift problem. The simulator uses an OpenAI gym interface that allows participants to create an algorithm for planning agent actions. The algorithm is scored using a remote evaluator against scenarios of ever-increasing difficulty. The second iteration of the competition was underway from November 2023 to April 2024. In this paper, we describe the competition and simulation environment. As a step towards applying generalized planning techniques to the problem, we present a temporal PDDL domain for the Pickup and Delivery Problem, a model which lies at the core of the Airlift Challenge.


title: Polynomial Optimization Over Unions of Sets

abstract: This paper studies the polynomial optimization problem whose feasible set is a union of several basic closed semialgebraic sets. We propose a unified hierarchy of Moment-SOS relaxations to solve it globally. Under some assumptions, we prove the asymptotic or finite convergence of the unified hierarchy. Special properties for the univariate case are discussed.The application for computing $(p,q)$-norms of matrices is also presented.


title: Lessons from Deploying CropFollow++: Under-Canopy Agricultural Navigation with Keypoints

abstract: We present a vision-based navigation system for under-canopy agricultural robots using semantic keypoints. Autonomous under-canopy navigation is challenging due to the tight spacing between the crop rows ($\sim 0.75$ m), degradation in RTK-GPS accuracy due to multipath error, and noise in LiDAR measurements from the excessive clutter. Our system, CropFollow++, introduces modular and interpretable perception architecture with a learned semantic keypoint representation. We deployed CropFollow++ in multiple under-canopy cover crop planting robots on a large scale (25 km in total) in various field conditions and we discuss the key lessons learned from this.


title: Stochastic Spiking Neural Networks with First-to-Spike Coding

abstract: Spiking Neural Networks (SNNs), recognized as the third generation of neural networks, are known for their bio-plausibility and energy efficiency, especially when implemented on neuromorphic hardware. However, the majority of existing studies on SNNs have concentrated on deterministic neurons with rate coding, a method that incurs substantial computational overhead due to lengthy information integration times and fails to fully harness the brain's probabilistic inference capabilities and temporal dynamics. In this work, we explore the merger of novel computing and information encoding schemes in SNN architectures where we integrate stochastic spiking neuron models with temporal coding techniques. Through extensive benchmarking with other deterministic SNNs and rate-based coding, we investigate the tradeoffs of our proposal in terms of accuracy, inference latency, spiking sparsity, energy consumption, and robustness. Our work is the first to extend the scalability of direct training approaches of stochastic SNNs with temporal encoding to VGG architectures and beyond-MNIST datasets.


title: Multimodal photometry and spectroscopy: a new approach to data analysis in Astrophysics

abstract: In the last decade, the multi-sensory approach to data analysis has gained relevance. The possibility of including people with vision difficulties in the field of education and the dissemination of science is part of it. However, in the field of scientific research, the topic is not yet accepted, mainly due to the lack of conclusive evidence related to its robustness and performance, except for a few exceptions. On the other hand, very few of the tools that allow data to be sonifyed are focused on the user or have an interface that allows controlling the sound production process and, at the same time the visualization of data. Of those that meet this requirement and present application in the field of astronomy and astrophysics, only four have included people with visual disabilities in the design and only two of them have carried out tests with users in Focus Groups during its development. This work details the characteristics of sonoUno, with its end-user-focused design, its capabilities in specific use cases in astrophysical data analysis related to spectroscopy and photometry, following the basic software functionalities while also introducing some innovation.


title: An RFP dataset for Real, Fake, and Partially fake audio detection

abstract: Recent advances in deep learning have enabled the creation of natural-sounding synthesised speech. However, attackers have also utilised these tech-nologies to conduct attacks such as phishing. Numerous public datasets have been created to facilitate the development of effective detection models. How-ever, available datasets contain only entirely fake audio; therefore, detection models may miss attacks that replace a short section of the real audio with fake audio. In recognition of this problem, the current paper presents the RFP da-taset, which comprises five distinct audio types: partial fake (PF), audio with noise, voice conversion (VC), text-to-speech (TTS), and real. The data are then used to evaluate several detection models, revealing that the available detec-tion models incur a markedly higher equal error rate (EER) when detecting PF audio instead of entirely fake audio. The lowest EER recorded was 25.42%. Therefore, we believe that creators of detection models must seriously consid-er using datasets like RFP that include PF and other types of fake audio.


title: Simulating Crystallization in a Colloidal System Using State Predictive Information Bottleneck based Enhanced Sampling

abstract: We investigate crystal nucleation in supersaturated colloid suspensions using enhanced molecular dynamics simulations augmented with machine learning techniques. The simulations reveal that crystallization in the model colloidal system studied here, with particles interacting through a repulsive screened Coulomb Yukawa potential, proceeds from vapor to dense liquid droplet to crystalline phases across multiple high barriers. Employing a one-dimensional reaction coordinate derived from the State Predictive Information Bottleneck framework, our simulations capture backand-forth phase transitions across multiple barriers effectively in biased metadynamics simulations. We obtain relative free energy differences between different phases and also quantify the roles of different molecular level features in driving the phase changes.


title: Retrieval-Augmented Generation with Knowledge Graphs for Customer Service Question Answering

abstract: In customer service technical support, swiftly and accurately retrieving relevant past issues is critical for efficiently resolving customer inquiries. The conventional retrieval methods in retrieval-augmented generation (RAG) for large language models (LLMs) treat a large corpus of past issue tracking tickets as plain text, ignoring the crucial intra-issue structure and inter-issue relations, which limits performance. We introduce a novel customer service question-answering method that amalgamates RAG with a knowledge graph (KG). Our method constructs a KG from historical issues for use in retrieval, retaining the intra-issue structure and inter-issue relations. During the question-answering phase, our method parses consumer queries and retrieves related sub-graphs from the KG to generate answers. This integration of a KG not only improves retrieval accuracy by preserving customer service structure information but also enhances answering quality by mitigating the effects of text segmentation. Empirical assessments on our benchmark datasets, utilizing key retrieval (MRR, Recall@K, NDCG@K) and text generation (BLEU, ROUGE, METEOR) metrics, reveal that our method outperforms the baseline by 77.6% in MRR and by 0.32 in BLEU. Our method has been deployed within LinkedIn's customer service team for approximately six months and has reduced the median per-issue resolution time by 28.6%.


title: Mikhail Lomonosov: Oration on the Birth of Metals by Earth's Tremor

abstract: This English translation of seminal work of Russian polymath Mikhail Lomonosov. It is derived from its Russian and Latin originals (1757) and continues the series of English translations of Lomonosov nine most important scientific works, which were included by Lomonosov himself in the convolute Lomonosow Opera Academica sent for distribution among Academies in Europe.


title: Boltzmann State-Dependent Rationality

abstract: This paper expands on existing learned models of human behavior via a measured step in structured irrationality. Specifically, by replacing the suboptimality constant $\beta$ in a Boltzmann rationality model with a function over states $\beta(s)$, we gain natural expressivity in a computationally tractable manner. This paper discusses relevant mathematical theory, sets up several experimental designs, presents limited preliminary results, and proposes future investigations.


title: Magnetic flatness and E. Hopf's theorem for magnetic systems

abstract: Using the notion of magnetic curvature recently introduced by the first author, we extend E. Hopf's theorem to the setting of magnetic systems. Namely, we prove that if the magnetic flow on the s-sphere bundle is without conjugate points, then the total magnetic curvature is non-positive, and vanishes if and only if the magnetic system is magnetically flat. We then prove that magnetic flatness is a rigid condition, in the sense that it only occurs when either the magnetic form is trivial and the metric is flat, or when the magnetic system is K\"ahler, the metric has constant negative sectional holomorphic curvature, and s equals the Ma\~n\'e critical value.


title: Efficient Mediated Semi-Quantum Key Distribution Protocol Using Single Qubits

abstract: In this paper, we propose a new efficient mediated semi-quantum key distribution (MSQKD) protocol, facilitating the establishment of a shared secret key between two classical participants with the assistance of an untrusted third party (TP). Unlike existing MSQKD protocols, our approach significantly reduces the quantum requirements for TP, who only needs to prepare and measure qubits in the $X$ basis. Meanwhile, the classical participants are limited to preparing and measuring qubits in the $Z$ basis, along with performing Hadamard operations. This reduction in quantum overhead enhances the practicality of our MSQKD protocol without compromising qubit efficiency. Additionally, we demonstrate the security of our protocol against various well-known attacks.


title: Fission Fragment Yields Of $^{235}$U$(n_{th},f)$ Evaluated By The CCONE Code System

abstract: Fission fragment yield evaluations are one of the important nuclear data studies. Fission accompanies various physical observables such as prompt fission neutron, prompt fission gamma, and delayed-neutrons. When evaluating fission fragment yields, a study including correlations among those observables is essentially required. However, fission fragment yield data in the past JENDL libraries have been made by focusing only on experimental fragment yields, decay heats, and delayed neutron yields, and they have not been expanded into a wider range of fission observables. This is because the evaluation method adopted in the JENDL libraries could not study fission fragment yields and particle emissions from fragments simultaneously. To solve this problem, a calculation system with CCONE code is newly developed to estimate not only independent and cumulative fission fragment yields but also prompt fission neutron, prompt fission gamma, decay heats, and delayed-neutrons simultaneously. This system enables us to study a correlation between various fission observables. To determine lots of parameters in this system efficiently, a Gaussian process and a least square fitting are adopted. We tested the calculation system through a thermal neutron-induced fission on $^{235}$U. In this paper, we demonstrate the performance of the parameter search method and show that experimental fission fragment yield data and other observables resulting from fission are reproduced well by the new calculation system.


title: CoMM: Collaborative Multi-Agent, Multi-Reasoning-Path Prompting for Complex Problem Solving

abstract: Large Language Models (LLMs) have shown great ability in solving traditional natural language tasks and elementary reasoning tasks with appropriate prompting techniques. However, their ability is still limited in solving complicated science problems. In this work, we aim to push the upper bound of the reasoning capability of LLMs by proposing a collaborative multi-agent, multi-reasoning-path (CoMM) prompting framework. Specifically, we prompt LLMs to play different roles in a problem-solving team, and encourage different role-play agents to collaboratively solve the target task. In particular, we discover that applying different reasoning paths for different roles is an effective strategy to implement few-shot prompting approaches in the multi-agent scenarios. Empirical results demonstrate the effectiveness of the proposed methods on two college-level science problems over competitive baselines. Our further analysis shows the necessity of prompting LLMs to play different roles or experts independently. We release the code at: https://github.com/amazon-science/comm-prompt


title: Bridging the Social & Technical Divide in Augmentative and Alternative Communication (AAC) Applications for Autistic Adults

abstract: Natural Language Processing (NLP) techniques are being used more frequently to improve high-tech Augmentative and Alternative Communication (AAC), but many of these techniques are integrated without the inclusion of the users' perspectives. As many of these tools are created with children in mind, autistic adults are often neglected in the design of AAC tools to begin with. We conducted in-depth interviews with 12 autistic adults to find the pain points of current AAC and determine what general technological advances they would find helpful. We found that in addition to technological issues, there are many societal issues as well. We found 9 different categories of themes from our interviews: input options, output options, selecting or adapting AAC for a good fit, when to start or swap AAC, benefits (of use), access (to AAC), stumbling blocks for continued use, social concerns, and lack of control. In this paper, we go through these nine categories in depth and then suggest possible guidelines for the NLP community, AAC application makers, and policy makers to improve AAC use for autistic adults.


title: MedBike: A Cardiac Patient Monitoring System Enhanced through Gamification

abstract: The "MedBike" is an innovative project in the field of pediatric cardiac rehabilitation. It is a 2D interactive game created specifically for children under the age of 18 who have cardiac conditions. This game is part of the MedBike system, a novel rehabilitation tool combining physical exercise with the spirit of gaming. The MedBike game provides children with a safe, controlled, and engaging environment in which to exercise and recover. It has three distinct levels of increasing intensity, each with its own set of environments and challenges that are tailored to different stages of rehabilitation. This report dives into the details of the MedBike game, highlighting its unique features and gameplay.


title: Generative Dataset Distillation: Balancing Global Structure and Local Details

abstract: In this paper, we propose a new dataset distillation method that considers balancing global structure and local details when distilling the information from a large dataset into a generative model. Dataset distillation has been proposed to reduce the size of the required dataset when training models. The conventional dataset distillation methods face the problem of long redeployment time and poor cross-architecture performance. Moreover, previous methods focused too much on the high-level semantic attributes between the synthetic dataset and the original dataset while ignoring the local features such as texture and shape. Based on the above understanding, we propose a new method for distilling the original image dataset into a generative model. Our method involves using a conditional generative adversarial network to generate the distilled dataset. Subsequently, we ensure balancing global structure and local details in the distillation process, continuously optimizing the generator for more information-dense dataset generation.


title: Building a Large Japanese Web Corpus for Large Language Models

abstract: Open Japanese large language models (LLMs) have been trained on the Japanese portions of corpora such as CC-100, mC4, and OSCAR. However, these corpora were not created for the quality of Japanese texts. This study builds a large Japanese web corpus by extracting and refining text from the Common Crawl archive (21 snapshots of approximately 63.4 billion pages crawled between 2020 and 2023). This corpus consists of approximately 312.1 billion characters (approximately 173 million pages), which is the largest of all available training corpora for Japanese LLMs, surpassing CC-100 (approximately 25.8 billion characters), mC4 (approximately 239.7 billion characters) and OSCAR 23.10 (approximately 74 billion characters). To confirm the quality of the corpus, we performed continual pre-training on Llama 2 7B, 13B, 70B, Mistral 7B v0.1, and Mixtral 8x7B Instruct as base LLMs and gained consistent (6.6-8.1 points) improvements on Japanese benchmark datasets. We also demonstrate that the improvement on Llama 2 13B brought from the presented corpus was the largest among those from other existing corpora.