title: Some reflected autoregressive processes with dependencies

abstract: Motivated by queueing applications, we study various reflected autoregressive processes with dependencies. Amongst others, we study cases where the interarrival and service times are proportionally dependent with additive and/or subtracting delay, as well as cases cases where interarrival times depends on whether the service duration of the previous arrival exceeds or not a random threshold. Moreover, we study cases where the autoregressive parameter is constant as well as a discrete or a continuous random variable, as well as cases where . More general dependence structures are also discussed. Our primary aim is to investigate a broad class of recursions of autoregressive type for which several independence assumptions are lifted, and for which a detailed exact analysis is provided. We provide expressions for the Laplace transform of the waiting time of a customer in the system in terms of an infinite product of known Laplace transforms. An integer-valued reflected autoregressive process that can be used to model a novel retrial queueing system with orbital searching time to depend on whether the last busy period starts with an empty or a non empty orbit queue, is also discussed. For such a model the probability generating function of the stationary orbit queue length is given as an infinite product of known generating functions. A first attempt towards multidimensional setting is also analyzed. Some additional generalizations with more general dependence structure are also discussed.


title: Controlling Neural Style Transfer with Deep Reinforcement Learning

abstract: Controlling the degree of stylization in the Neural Style Transfer (NST) is a little tricky since it usually needs hand-engineering on hyper-parameters. In this paper, we propose the first deep Reinforcement Learning (RL) based architecture that splits one-step style transfer into a step-wise process for the NST task. Our RL-based method tends to preserve more details and structures of the content image in early steps, and synthesize more style patterns in later steps. It is a user-easily-controlled style-transfer method. Additionally, as our RL-based model performs the stylization progressively, it is lightweight and has lower computational complexity than existing one-step Deep Learning (DL) based models. Experimental results demonstrate the effectiveness and robustness of our method.


title: mmWave Beam Selection in Analog Beamforming Using Personalized Federated Learning

abstract: Using analog beamforming in mmWave frequency bands we can focus the energy towards a receiver to achieve high throughput. However, this requires the network to quickly find the best downlink beam configuration in the face of non-IID data. We propose a personalized Federated Learning (FL) method to address this challenge, where we learn a mapping between uplink Sub-6GHz channel estimates and the best downlink beam in heterogeneous scenarios with non-IID characteristics. We also devise FedLion, a FL implementation of the Lion optimization algorithm. Our approach reduces the signaling overhead and provides superior performance, up to 33.6% higher accuracy than a single FL model and 6% higher than a local model.


title: On the limit theory of mean field optimal stopping with non-Markov dynamics and common noise

abstract: This paper focuses on a mean-field optimal stopping problem with non-Markov dynamics and common noise, inspired by Talbi, Touzi, and Zhang \cite{TalbiTouziZhang1,TalbiTouziZhang3}. The goal is to establish the limit theory and demonstrate the equivalence of the value functions between weak and strong formulations. The difference between the strong and weak formulations lies in the source of randomness determining the stopping time on a canonical space. In the strong formulation, the randomness of the stopping time originates from Brownian motions. In contrast, this may not necessarily be the case in the weak formulation. Additionally, a $(H)$-Hypothesis-type condition is introduced to guarantee the equivalence of the value functions. The limit theory encompasses the convergence of the value functions and solutions of the large population optimal stopping problem towards those of the mean-field limit, and it shows that every solution of the mean field optimal stopping problem can be approximated by solutions of the large population optimal stopping problem.


title: Asymptotic analysis of conversion-limited phase separation

abstract: Liquid-liquid phase separation plays a major role in the formation and maintenance of various membrane-less subcellular structures in the cytoplasm and nucleus of cells. Biological condensates contain enhanced concentrations of proteins and RNA, many of which can be continually exchanged with the surrounding medium. Coarsening is an important step in the kinetics of phase separation, whereby an emulsion of polydisperse condensates transitions to a single condensate in thermodynamic equilibrium with a surrounding dilute phase. A key feature of biological phase separation is the co-existence of multiple condensates over significant time scales, which is consistent with experimental observations showing a slowing of coarsening rates. It has recently been proposed that one rate limiting step could be the slow interfacial conversion of a molecular constituent between the dilute and dense phases. In this paper we analyze conversion-limited phase separation within the framework of diffusion in singularly perturbed domains, which exploits the fact that biological condensates tend to be much smaller than the size of a cell. Using matched asymptotic analysis, we solve the quasi-static diffusion equation for the concentration in the dilute phase, and then derive kinetic equations for the slow growth/shrinkage of the condensates. This provides a systematic way of obtaining corrections to mean-field theory that take into account the geometry of the cell and the locations of all the condensates.


title: Neutrons from projectile fragmentation at 600 MeV/nucleon

abstract: The neutron emission in projectile fragmentation at relativistic energies was studied with the Large-Area-Neutron-Detector LAND coupled to the ALADIN forward spectrometer at the GSI Schwerionen-Synchrotron (SIS). Stable 124Sn and radioactive 107Sn and 124La beams with an incident energy of 600 MeV/nucleon were used to explore the N/Z dependence of the identified neutron source. A cluster-recognition algorithm is applied for identifying individual particles within the hit distributions registered with LAND. The obtained momentum distributions are extrapolated over the full phase space occupied by the neutrons from the projectile-spectator source. The mean multiplicities of spectator neutrons reach values of up to about 11 and depend strongly on the isotopic composition of the projectile. An effective source temperature of T \approx 2-5 MeV, monotonically increasing with decreasing impact parameter, is deduced from the transverse momentum distributions. For the interpretation of the data, calculations with the statistical multifragmentation model were performed. The variety of excited projectile spectators assumed to decay statistically is represented by an ensemble of excited sources with parameters determined previously from the fragment production observed in the same experiments. The obtained agreement is very satisfactory for more peripheral collisions where, according to the model, neutrons are mainly emitted during the secondary decays of excited fragments. The neutron multiplicity in more central collisions is underestimated, indicating that other sources besides the modeled statistical breakup contribute to the observed neutron yield. The choice made for the symmetry-term coefficient of the liquid-drop description of produced fragments has a weak effect on the predicted neutron multiplicities.


title: Open-Domain Dialogue Quality Evaluation: Deriving Nugget-level Scores from Turn-level Scores

abstract: Existing dialogue quality evaluation systems can return a score for a given system turn from a particular viewpoint, e.g., engagingness. However, to improve dialogue systems by locating exactly where in a system turn potential problems lie, a more fine-grained evaluation may be necessary. We therefore propose an evaluation approach where a turn is decomposed into nuggets (i.e., expressions associated with a dialogue act), and nugget-level evaluation is enabled by leveraging an existing turn-level evaluation system. We demonstrate the potential effectiveness of our evaluation method through a case study.


title: Prospects for Taiji to detect a gravitational-wave background from cosmic strings

abstract: Recently, multiple pulsar timing array collaborations have presented compelling evidence for a stochastic signal at nanohertz frequencies, potentially originating from cosmic strings. Cosmic strings are linear topological defects that can arise during phase transitions in the early Universe or as fundamental strings in superstring theory. This paper focuses on investigating the detection capabilities of Taiji, a planned space-based gravitational wave detector, for the gravitational wave background generated by cosmic strings. By analyzing simulated Taiji data and utilizing comprehensive Bayesian parameter estimation techniques, we demonstrate a significant improvement in precision compared to the NANOGrav 15-year data, surpassing it by an order of magnitude. This highlights the enhanced measurement capabilities of Taiji. Consequently, Taiji can serve as a valuable complementary tool to pulsar timing arrays in validating and exploring the physics of cosmic strings in the early Universe.


title: Determination of the moments of the proton charge density: is there a proton radius puzzle?

abstract: The charge radius of the proton can be determined using two different kinds of experiments: the spectroscopy technique, measuring the hyperfine structure of hydrogen atoms, and the scattering technique, deducing the radius from elastic lepton scattering off a proton target. These two methods lead to quite different results, a discrepancy known as the "proton radius puzzle ". To shed light on this problem, we have proposed a novel method for the determination of spatial moments from densities expressed in the momentum space. This method provides a direct access not only to the second order moment, directly related to the proton radius, but to all moments of any real order larger than -3. The method is applied to the global analysis of proton electric form factor experimental data from Rosenbluth separation and low-$Q^2$ experiments, paying specific attention to the evaluation of the systematic errors. Within this analysis, the integer order moments of the proton charge density are evaluated, the moment of second order leading to a new determination of the proton charge radius.


title: SSIF: Learning Continuous Image Representation for Spatial-Spectral Super-Resolution

abstract: Existing digital sensors capture images at fixed spatial and spectral resolutions (e.g., RGB, multispectral, and hyperspectral images), and each combination requires bespoke machine learning models. Neural Implicit Functions partially overcome the spatial resolution challenge by representing an image in a resolution-independent way. However, they still operate at fixed, pre-defined spectral resolutions. To address this challenge, we propose Spatial-Spectral Implicit Function (SSIF), a neural implicit model that represents an image as a function of both continuous pixel coordinates in the spatial domain and continuous wavelengths in the spectral domain. We empirically demonstrate the effectiveness of SSIF on two challenging spatio-spectral super-resolution benchmarks. We observe that SSIF consistently outperforms state-of-the-art baselines even when the baselines are allowed to train separate models at each spectral resolution. We show that SSIF generalizes well to both unseen spatial resolutions and spectral resolutions. Moreover, SSIF can generate high-resolution images that improve the performance of downstream tasks (e.g., land use classification) by 1.7%-7%.


title: The isomorphism problem for small-rose generalized Baumslag-Solitar groups

abstract: A generalized Baumslag-Solitar group is a finitely generated group that acts on a tree with infinite-cyclic vertex and edge stabilizers. In this paper, we show that the isomorphism problem is solvable for small rose non-ascending generalized Baumslag- Solitar groups.


title: Wieler solenoids: non-Hausdorff expansiveness, Cuntz-Pimsner models, and functorial properties

abstract: Building on work of Williams, Wieler proved that every irreducible Smale space with totally disconnected stable sets can be realized via a stationary inverse limit. Using this result, the first and fourth listed authors of the present paper showed that the stable $C^*$-algebra associated to such a Smale space can be obtained from a stationary inductive limit of a Fell algebra. Its spectrum is typically non-Hausdorff and admits a self-map related to the stationary inverse limit. With the goal of understanding the fine structure of the stable algebra and the stable Ruelle algebra, we study said self-map on the spectrum of the Fell algebra as a dynamical system in its own right. Our results can be summarized into the statement that this dynamical system is an expansive, surjective, local homeomorphism of a compact, locally Hausdorff space and from its $K$-theory we can compute $K$-theoretical invariants of the stable and unstable Ruelle algebra of a Smale space with totally disconnected stable sets.


title: Refutation of Shapley Values for XAI -- Additional Evidence

abstract: Recent work demonstrated the inadequacy of Shapley values for explainable artificial intelligence (XAI). Although to disprove a theory a single counterexample suffices, a possible criticism of earlier work is that the focus was solely on Boolean classifiers. To address such possible criticism, this paper demonstrates the inadequacy of Shapley values for families of classifiers where features are not boolean, but also for families of classifiers for which multiple classes can be picked. Furthermore, the paper shows that the features changed in any minimal $l_0$ distance adversarial examples do not include irrelevant features, thus offering further arguments regarding the inadequacy of Shapley values for XAI.


title: Teaching at the Intersection of Social Justice, Ethics, and the ASA Ethical Guidelines for Statistical Practice

abstract: Case studies are typically used to teach 'ethics', but when the content of a course is focused on formulae and proofs, a case analysis and the knowledge, skills, and abilities they require can be distracting. Moreover, case analyses are typically focused narrowly on research issues: obtaining consent, dealing with research team members, and/or research policy violations. Not all students in quantitative courses plan to become researchers, and ethical practice of mathematics, statistics, data science, and computing is an essential topic regardless of the learner's career plans. While it is incorrect to treat 'social justice' as a proxy for 'ethical practice', the topic of 'social justice' may be more interesting to both students and instructors. This paper offers concrete recommendations for integrating social justice content into quantitative courses in ways that limit the burden of new knowledge, skills, and abilities but also support reproducible and actionable assessments. Five tools can be utilized to integrate social justice into a course in a way that also meets calls to integrate 'ethics'; minimizes the burden on instructors to create and grade new materials and assignments; minimizes the burden on learners to develop the skill set to complete a case analysis; and maximizes the likelihood that the ethics content will be embedded in the learners' cognitive representation of the knowledge being taught in the quantitative course. These tools are: a. Curriculum Development Guidelines b. 7-task Statistics and Data Science Pipeline c. ASA Ethical Guidelines for Statistical Practice d. Stakeholder Analysis e. 6-step Ethical Reasoning paradigm This paper discusses how to use these tools in quantitative courses. The tools and frameworks offer structure, and facilitate ensuring that changes made to any course are evaluable and generate actionable assessments for learners.


title: MVC: A Multi-Task Vision Transformer Network for COVID-19 Diagnosis from Chest X-ray Images

abstract: Medical image analysis using computer-based algorithms has attracted considerable attention from the research community and achieved tremendous progress in the last decade. With recent advances in computing resources and availability of large-scale medical image datasets, many deep learning models have been developed for disease diagnosis from medical images. However, existing techniques focus on sub-tasks, e.g., disease classification and identification, individually, while there is a lack of a unified framework enabling multi-task diagnosis. Inspired by the capability of Vision Transformers in both local and global representation learning, we propose in this paper a new method, namely Multi-task Vision Transformer (MVC) for simultaneously classifying chest X-ray images and identifying affected regions from the input data. Our method is built upon the Vision Transformer but extends its learning capability in a multi-task setting. We evaluated our proposed method and compared it with existing baselines on a benchmark dataset of COVID-19 chest X-ray images. Experimental results verified the superiority of the proposed method over the baselines on both the image classification and affected region identification tasks.


title: Linear Convergence of Pre-Conditioned PI Consensus Algorithm under Restricted Strong Convexity

abstract: This paper considers solving distributed convex optimization problems in peer-to-peer multi-agent networks. The network is assumed to be synchronous and connected. By using the proportional-integral (PI) control strategy, various algorithms with fixed stepsize have been developed. The earliest among them is the PI consensus algorithm. Using Lyapunov theory, we guarantee exponential convergence of the PI consensus algorithm for restricted strongly convex functions with rate-matching discretization, without requiring convexity of individual local cost functions, for the first time. In order to accelerate the PI consensus algorithm, we incorporate local pre-conditioning in the form of constant positive definite matrices and numerically validate its efficiency compared to the prominent distributed convex optimization algorithms. Unlike classical pre-conditioning, where only the gradients are multiplied by a pre-conditioner, the proposed pre-conditioning modifies both the gradients and the consensus terms, thereby controlling the effect of the communication graph between the agents on the PI consensus algorithm.


title: An Efficient Algorithm for Clustered Multi-Task Compressive Sensing

abstract: This paper considers clustered multi-task compressive sensing, a hierarchical model that solves multiple compressive sensing tasks by finding clusters of tasks that leverage shared information to mutually improve signal reconstruction. The existing inference algorithm for this model is computationally expensive and does not scale well in high dimensions. The main bottleneck involves repeated matrix inversion and log-determinant computation for multiple large covariance matrices. We propose a new algorithm that substantially accelerates model inference by avoiding the need to explicitly compute these covariance matrices. Our approach combines Monte Carlo sampling with iterative linear solvers. Our experiments reveal that compared to the existing baseline, our algorithm can be up to thousands of times faster and an order of magnitude more memory-efficient.


title: Stochastic equations with low regularity drifts

abstract: By using the It\^{o}-Tanaka trick, we prove the unique strong solvability as well as the gradient estimates for stochastic differential equations with irregular drifts in low regularity Lebesgue-H\"{o}lder space $L^q(0,T;{\mathcal C}_b^\alpha({\mathbb R}^d))$ with $\alpha\in(0,1)$ and $q\in (2/(1+\alpha),2$). As applications, we show the unique weak and strong solvability for stochastic transport equations driven by the low regularity drift with $q\in (4/(2+\alpha),2$) as well as the local Lipschitz estimate for stochastic strong solutions.


title: Bound State in the Continuum Supported Asymmetric Dome-shaped Dielectric Metasurface: Crossing and Avoided Crossing of Transmission with Applications

abstract: This work examines a symmetry-protected bound state in the continuum (BIC) supported unique all-dielectric dome-shaped metasurface (MS). The simple unit MS is made up of four dome-shaped nanobars of silicon in the top layer and silica glass as the substrate. Two strong transmission dips denoted as an electric dipole (ED) and magnetic dipole (MD) quasi-BIC with a high Q-factor that surpasses the value of 104 are observed after the symmetry between the nanobars is broken by a small angle from their initial position. A crossover between the ED and MD resonances is noticed when the periodicity of the MS is changed in the y direction. In addition, transmission spectra show the avoided-crossing phenomenon of dipole quasi-BIC resonances when the superstrate's refractive index (RI) is reduced from its initial value. Other widely used dielectric materials are additionally employed in dome-shaped nanobars to evaluate their performances in terms of sharpness and near-zero transmission. Moreover, Other forms of symmetry breakdown such as diagonal width and length asymmetry have been investigated for their impact on the Q-factor. Finally, we have demonstrated two significant applications, including refractometric glucose sensing and third harmonic generation (THG). Our dome-shaped MS is roughly 300 times more efficient at generating third harmonics than a flat rectangular silicon film MS. Our proposed BIC and q-BIC-facilitated MS may provide a method for enhancing the functionality of biological sensors, multimodal lasing, optical switches, and nonlinear optics.


title: Ratios of Hidden-Charm Compact Pentaquark Decay Widths in Quark-Diquark Model

abstract: A number of resonances comparable with a hypothesis of hidden-charm pentaquark is observed by the LHCb Collaboration. We interpret these narrow resonances as compact hidden-charm diquark-diquark-antiquark systems. Within this assumption, an interplay between the charmonium and open-charm modes is considered. Ratios of such modes for non-strange pentaquarks are obtained and discussed.


title: Evolution of Gas Flows along the Starburst to Post-Starburst to Quiescent Galaxy Sequence

abstract: We measure velocity offsets in the NaI $\lambda\lambda5890, 5896$ (Na D) interstellar medium absorption lines to track how neutral galactic winds change as their host galaxies evolve. Our sample of $\sim$80,000 SDSS spectra at $0.010 < z < 0.325$ includes starburst, post-starburst, and quiescent galaxies, forming an evolutionary sequence of declining star formation rate (SFR). We detect bulk flows across this sequence, mostly at higher host stellar masses($log(M_{\star}/M_{\odot})>10$). Along this sequence, the fraction of outflows decreases ($76\pm2\%$ to $65\pm4\%$ to a 3$\sigma$ upper limit of $34\%$), and the mean velocity offset changes from outflowing to inflowing ($-84.6\pm5.9$ to $-71.6\pm11.4$ to $76.6\pm2.3\,km\,s^{-1}$). Even within the post-starburst sample, wind speed decreases with time elapsed since the starburst ended. These results reveal that outflows diminish as galaxies age. For post-starbursts, there is evidence for an AGN contribution, especially to the speediest outflows: 1) SFR declines faster in time than outflow velocity, a decoupling arguing against massive stellar feedback; 2) of the few outflows strong enough to escape the interstellar medium (9/105), three of the four hosts with measured emission lines are Seyfert galaxies. For disky starburst galaxies, however, the trends suggest flows out of the stellar disk plane (with outflow 1/2-opening angle $> 45$ degree) instead of from the nucleus: the wind velocity decreases as the disk becomes more edge-on, and the outflow fraction, constant at $\sim$90$\%$ for disk inclinations $i<45$ degree, steadily decreases from $\sim$90$%$ to 20$\%$ for $i>45$ degree.


title: Sharp endpoint $L^p-$estimates for Bilinear spherical maximal functions

abstract: In this article, we address endpoint issues for the bilinear spherical maximal functions. We obtain borderline restricted weak type estimates for the well studied bilinear spherical maximal function $$\mathfrak{M}(f,g)(x):=\sup_{t>0}\left|\int_{\mathbb S^{2d-1}}f(x-ty_1)g(x-ty_2)\;d\sigma(y_1,y_2)\right|,$$ in dimensions $d=1,2$ and as an application, we deduce sharp endpoint estimates for the multilinear spherical maximal function. We also prove $L^p-$estimates for the local spherical maximal function in all dimensions $d\geq 2$, thus improving the boundedness left open in the work of Jeong and Lee (https://doi.org/10.1016/j.jfa.2020.108629). We further study necessary conditions for the bilinear maximal function, \[\mathcal M (f,g)(x)=\sup_{t>0}\left|\int_{\mathbb S^{1}}f(x-ty)g(x+ty)\;d\sigma(y)\right|\] to be bounded from $L^{p_1}(\mathbb R^2)\times L^{p_2}(\mathbb R^2)$ to $L^p(\mathbb R^2)$ and prove sharp results for a linearized version of $\mathcal M$.


title: PixArt-$\alpha$: Fast Training of Diffusion Transformer for Photorealistic Text-to-Image Synthesis

abstract: The most advanced text-to-image (T2I) models require significant training costs (e.g., millions of GPU hours), seriously hindering the fundamental innovation for the AIGC community while increasing CO2 emissions. This paper introduces PIXART-$\alpha$, a Transformer-based T2I diffusion model whose image generation quality is competitive with state-of-the-art image generators (e.g., Imagen, SDXL, and even Midjourney), reaching near-commercial application standards. Additionally, it supports high-resolution image synthesis up to 1024px resolution with low training cost, as shown in Figure 1 and 2. To achieve this goal, three core designs are proposed: (1) Training strategy decomposition: We devise three distinct training steps that separately optimize pixel dependency, text-image alignment, and image aesthetic quality; (2) Efficient T2I Transformer: We incorporate cross-attention modules into Diffusion Transformer (DiT) to inject text conditions and streamline the computation-intensive class-condition branch; (3) High-informative data: We emphasize the significance of concept density in text-image pairs and leverage a large Vision-Language model to auto-label dense pseudo-captions to assist text-image alignment learning. As a result, PIXART-$\alpha$'s training speed markedly surpasses existing large-scale T2I models, e.g., PIXART-$\alpha$ only takes 10.8% of Stable Diffusion v1.5's training time (675 vs. 6,250 A100 GPU days), saving nearly \$300,000 (\$26,000 vs. \$320,000) and reducing 90% CO2 emissions. Moreover, compared with a larger SOTA model, RAPHAEL, our training cost is merely 1%. Extensive experiments demonstrate that PIXART-$\alpha$ excels in image quality, artistry, and semantic control. We hope PIXART-$\alpha$ will provide new insights to the AIGC community and startups to accelerate building their own high-quality yet low-cost generative models from scratch.


title: Technical Report of 2023 ABO Fine-grained Semantic Segmentation Competition

abstract: In this report, we describe the technical details of our submission to the 2023 ABO Fine-grained Semantic Segmentation Competition, by Team "Zeyu\_Dong" (username:ZeyuDong). The task is to predicate the semantic labels for the convex shape of five categories, which consist of high-quality, standardized 3D models of real products available for purchase online. By using DGCNN as the backbone to classify different structures of five classes, We carried out numerous experiments and found learning rate stochastic gradient descent with warm restarts and setting different rate of factors for various categories contribute most to the performance of the model. The appropriate method helps us rank 3rd place in the Dev phase of the 2023 ICCV 3DVeComm Workshop Challenge.


title: First Principles of Big Memory Systems

abstract: In this paper, we comprehensively analyze the vertical and horizontal extensions of existing memory hierarchy. The difference between memory and big memory is well reported. We present the state-of-the-art studies upon the big memory systems, together with design methodology and implementations. Persistence is the first principle of big memory systems. We further show the full-stack and moving persistence.


title: On the Stability of Iterative Retraining of Generative Models on their own Data

abstract: Deep generative models have made tremendous progress in modeling complex data, often exhibiting generation quality that surpasses a typical human's ability to discern the authenticity of samples. Undeniably, a key driver of this success is enabled by the massive amounts of web-scale data consumed by these models. Due to these models' striking performance and ease of availability, the web will inevitably be increasingly populated with synthetic content. Such a fact directly implies that future iterations of generative models will be trained on both clean and artificially generated data from past models. In this paper, we develop a framework to rigorously study the impact of training generative models on mixed datasets -- from classical training on real data to self-consuming generative models trained on purely synthetic data. We first prove the stability of iterative training under the condition that the initial generative models approximate the data distribution well enough and the proportion of clean training data (w.r.t. synthetic data) is large enough. We empirically validate our theory on both synthetic and natural images by iteratively training normalizing flows and state-of-the-art diffusion models on CIFAR10 and FFHQ.


title: Berkeley Open Extended Reality Recordings 2023 (BOXRR-23): 4.7 Million Motion Capture Recordings from 105,852 Extended Reality Device Users

abstract: Extended reality (XR) devices such as the Meta Quest and Apple Vision Pro have seen a recent surge in attention, with motion tracking "telemetry" data lying at the core of nearly all XR and metaverse experiences. Researchers are just beginning to understand the implications of this data for security, privacy, usability, and more, but currently lack large-scale human motion datasets to study. The BOXRR-23 dataset contains 4,717,215 motion capture recordings, voluntarily submitted by 105,852 XR device users from over 50 countries. BOXRR-23 is over 200 times larger than the largest existing motion capture research dataset and uses a new, highly efficient purpose-built XR Open Recording (XROR) file format.


title: ResolvNet: A Graph Convolutional Network with multi-scale Consistency

abstract: It is by now a well known fact in the graph learning community that the presence of bottlenecks severely limits the ability of graph neural networks to propagate information over long distances. What so far has not been appreciated is that, counter-intuitively, also the presence of strongly connected sub-graphs may severely restrict information flow in common architectures. Motivated by this observation, we introduce the concept of multi-scale consistency. At the node level this concept refers to the retention of a connected propagation graph even if connectivity varies over a given graph. At the graph-level, multi-scale consistency refers to the fact that distinct graphs describing the same object at different resolutions should be assigned similar feature vectors. As we show, both properties are not satisfied by poular graph neural network architectures. To remedy these shortcomings, we introduce ResolvNet, a flexible graph neural network based on the mathematical concept of resolvents. We rigorously establish its multi-scale consistency theoretically and verify it in extensive experiments on real world data: Here networks based on this ResolvNet architecture prove expressive; out-performing baselines significantly on many tasks; in- and outside the multi-scale setting.


title: How much time does a photon spend as an atomic excitation before being transmitted?

abstract: When a single photon traverses a cloud of 2-level atoms, the average time it spends as an atomic excitation -- as measured by weakly probing the atoms -- can be shown to be the spontaneous lifetime of the atoms multiplied by the probability of the photon being scattered into a side mode. A tempting inference from this is that an average scattered photon spends one spontaneous lifetime as an atomic excitation, while photons that are transmitted spend zero time as atomic excitations. However, recent experimental work by some of us [PRX Quantum 3, 010314 (2022)] refutes this intuition. We examine this problem using the weak-value formalism and show that the time a transmitted photon spends as an atomic excitation is equal to the group delay, which can take on positive or negative values. We also determine the corresponding time for scattered photons and find that it is equal to the time delay of the scattered photon pulse, which consists of a group delay and a time delay associated with elastic scattering, known as the Wigner time delay. This work provides new insight into the complex and surprising histories of photons travelling through absorptive media.


title: Active-Perceptive Motion Generation for Mobile Manipulation

abstract: Mobile Manipulation (MoMa) systems incorporate the benefits of mobility and dexterity, due to the enlarged space in which they can move and interact with their environment. However, even when equipped with onboard sensors, e.g., an embodied camera, extracting task-relevant visual information in unstructured and cluttered environments, such as households, remains challenging. In this work, we introduce an active perception pipeline for mobile manipulators to generate motions that are informative toward manipulation tasks, such as grasping in unknown, cluttered scenes. Our proposed approach, ActPerMoMa, generates robot paths in a receding horizon fashion by sampling paths and computing path-wise utilities. These utilities trade-off maximizing the visual Information Gain (IG) for scene reconstruction and the task-oriented objective, e.g., grasp success, by maximizing grasp reachability. We show the efficacy of our method in simulated experiments with a dual-arm TIAGo++ MoMa robot performing mobile grasping in cluttered scenes with obstacles. We empirically analyze the contribution of various utilities and parameters, and compare against representative baselines both with and without active perception objectives. Finally, we demonstrate the transfer of our mobile grasping strategy to the real world, indicating a promising direction for active-perceptive MoMa.


title: DiffPoseTalk: Speech-Driven Stylistic 3D Facial Animation and Head Pose Generation via Diffusion Models

abstract: The generation of stylistic 3D facial animations driven by speech presents a significant challenge as it requires learning a many-to-many mapping between speech, style, and the corresponding natural facial motion. However, existing methods either employ a deterministic model for speech-to-motion mapping or encode the style using a one-hot encoding scheme. Notably, the one-hot encoding approach fails to capture the complexity of the style and thus limits generalization ability. In this paper, we propose DiffPoseTalk, a generative framework based on the diffusion model combined with a style encoder that extracts style embeddings from short reference videos. During inference, we employ classifier-free guidance to guide the generation process based on the speech and style. In particular, our style includes the generation of head poses, thereby enhancing user perception. Additionally, we address the shortage of scanned 3D talking face data by training our model on reconstructed 3DMM parameters from a high-quality, in-the-wild audio-visual dataset. Extensive experiments and user study demonstrate that our approach outperforms state-of-the-art methods. The code and dataset are at https://diffposetalk.github.io .


title: Consistent Aggregation of Objectives with Diverse Time Preferences Requires Non-Markovian Rewards

abstract: As the capabilities of artificial agents improve, they are being increasingly deployed to service multiple diverse objectives and stakeholders. However, the composition of these objectives is often performed ad hoc, with no clear justification. This paper takes a normative approach to multi-objective agency: from a set of intuitively appealing axioms, it is shown that Markovian aggregation of Markovian reward functions is not possible when the time preference (discount factor) for each objective may vary. It follows that optimal multi-objective agents must admit rewards that are non-Markovian with respect to the individual objectives. To this end, a practical non-Markovian aggregation scheme is proposed, which overcomes the impossibility with only one additional parameter for each objective. This work offers new insights into sequential, multi-objective agency and intertemporal choice, and has practical implications for the design of AI systems deployed to serve multiple generations of principals with varying time preference.


title: Enhancing Representation Generalization in Authorship Identification

abstract: Authorship identification ascertains the authorship of texts whose origins remain undisclosed. That authorship identification techniques work as reliably as they do has been attributed to the fact that authorial style is properly captured and represented. Although modern authorship identification methods have evolved significantly over the years and have proven effective in distinguishing authorial styles, the generalization of stylistic features across domains has not been systematically reviewed. The presented work addresses the challenge of enhancing the generalization of stylistic representations in authorship identification, particularly when there are discrepancies between training and testing samples. A comprehensive review of empirical studies was conducted, focusing on various stylistic features and their effectiveness in representing an author's style. The influencing factors such as topic, genre, and register on writing style were also explored, along with strategies to mitigate their impact. While some stylistic features, like character n-grams and function words, have proven to be robust and discriminative, others, such as content words, can introduce biases and hinder cross-domain generalization. Representations learned using deep learning models, especially those incorporating character n-grams and syntactic information, show promise in enhancing representation generalization. The findings underscore the importance of selecting appropriate stylistic features for authorship identification, especially in cross-domain scenarios. The recognition of the strengths and weaknesses of various linguistic features paves the way for more accurate authorship identification in diverse contexts.


title: Feasibility of singularity avoidance for a collapsing object due to a scalar field

abstract: We study the problem of the gravitational collapse of an object as seen by an external observer. We assume that the resultant spacetime is a match of an external Vaidya spacetime with an interior Friedmann-Lema\^itre-Robertson-Walker (FRLW) spacetime of any spatial curvature and with a scalar field both minimally and non-minimally coupled to the metric. With the goal of studying a contracting (collapsing) object, for the initial moment of observation we take that its energy density and pressure are positive, that there are no trapping surfaces, and that the null energy condition (NEC) and the strong energy condition (SEC) are fulfilled. We show that there are many cases where singularities could be avoided for both the minimal and non-minimal couplings, although the contexts for so are very different in both cases. For the minimal coupling, the avoidance of singularities could happen either through evaporation or altogether, triggered by a violation of the SEC for a period of time. For the non-minimal coupling, the complete singularity avoidance happens only if evaporation takes place, and a temporary violation of the SEC does not thwart the formation of singularities. The above results show the relevance of the global (the whole spacetime) validity of energy conditions for the singularity theorems to be applicable; otherwise, the fate of a collapsing star is not known a priori. At the same time, the surface behavior of a collapsing body offers partial diagnostics of what happens in the inaccessible regions of spacetime to external observers. Our analyses suggest that a bounce behavior of the surface of the initially collapsing object is a fingerprint of the SEC violation in its interior, and that could be due to the existence of scalar fields there.


title: Human-Producible Adversarial Examples

abstract: Visual adversarial examples have so far been restricted to pixel-level image manipulations in the digital world, or have required sophisticated equipment such as 2D or 3D printers to be produced in the physical real world. We present the first ever method of generating human-producible adversarial examples for the real world that requires nothing more complicated than a marker pen. We call them $\textbf{adversarial tags}$. First, building on top of differential rendering, we demonstrate that it is possible to build potent adversarial examples with just lines. We find that by drawing just $4$ lines we can disrupt a YOLO-based model in $54.8\%$ of cases; increasing this to $9$ lines disrupts $81.8\%$ of the cases tested. Next, we devise an improved method for line placement to be invariant to human drawing error. We evaluate our system thoroughly in both digital and analogue worlds and demonstrate that our tags can be applied by untrained humans. We demonstrate the effectiveness of our method for producing real-world adversarial examples by conducting a user study where participants were asked to draw over printed images using digital equivalents as guides. We further evaluate the effectiveness of both targeted and untargeted attacks, and discuss various trade-offs and method limitations, as well as the practical and ethical implications of our work. The source code will be released publicly.


title: A molecular Ferroelectric thin film of imidazolium perchlorate on Silicon

abstract: Molecular ferroelectric materials have attracted widespread attention due to their abundant chemical diversity, structural tunability, low synthesis temperature, and high flexibility. Meanwhile, the integration of molecular ferroelectric materials and Si is still challenging, while the fundamental understanding of the ferroelectric switching process is still lacking. Herein, we have successfully synthesized the imidazole perchlorate (ImClO4) single crystals and a series of high-quality highly-oriented thin films on a Si substrate. A high inverse piezoelectric coefficient (55.7 pm/V) is demonstrated for the thin films. Two types of domain bands can be observed (in the size of a few microns): type-I band tilts ~60{\deg} with respect to the horizontal axis, while the type-II band is perpendicular to the horizontal axis. Most of the domain walls (DWs) are 180{\deg} DWs for the two bands, while some 109{\deg} DWs can also be observed. Interestingly, the DWs in type-I band are curved, charged domain walls; while the 180{\deg} DWs in type-II band are straight, noncharged domain walls. After applying +20 V for 5 s through a PFM tip, the 180{\deg} DWs in type-I band shrink first, then disconnect from the band boundary, forming a needle-like domain with a size of ~100 nm. The needle-like domain will extend toward the band boundary after an inverse bias is applied (-20 V), and expand along the band boundary after touching the boundary. Whereas for the type-II domain band, the 180{\deg} DWs are more mobile than the 109{\deg} domain walls, which displaces ~500 nm after applying +20 V. While such displacement is much shorter after the application of a negative bias for the same duration, starting from the positively poled sample. We hope to spur further interest in the on-chip design of the molecular ferroelectrics based electronic devices.


title: The Impact of Cooling Rate on the Tensile and Cyclic Stress-Strain Characteristics of Different Solder Alloys at Nanoscale

abstract: In recent years, lead-free solder alloys based on tin, silver, or copper have gained popularity over lead-based solder alloys due to their improved mechanical and electrical properties and their non-toxic nature. In our previous studies, we examined the stress-strain behavior of SAC305 under varying cooling rates. This study extends our investigation to various lead-free solder materials, including Sn, Sn-Ag, and SAC305, to compare their relative mechanical and cyclic properties. We employed molecular dynamics to model the atomistic behavior. Initially, the models were melted at a constant rate and then cooled at various rates, including 2.5 K/ps, 10 K/ps, 50 K/ps, and 100 K/ps. Additionally, exponential cooling was used to replicate real-world cooling scenarios.. We utilized a set of modified embedded atomic model (MEAM) interatomic potentials for the tensile test and cyclic loading. The tensile test has been conducted until fracture occurs at a constant strain rate. Furthermore, we investigated the cyclic loading behavior within a strain range of -10% to 10% for 10 cycles. The results indicated that cooling rates significantly influenced mechanical properties, with slower rates (2.5 K/ps and 10 K/ps) showing substantial differences, while the differences between higher rates (50 K/ps and 100 K/ps) were less pronounced. The ultimate strength, Young's modulus, modulus of resilience, and coefficient of thermal expansion exhibited a negative correlation with increasing cooling rates, while the modulus of toughness increased, indicating improved impact resistance. To assess energy dissipation during cyclic loading, we examined the hysteresis loop area and stress amplitude. After a certain number of cycles, the energy lost during each cycle reached a stable level.


title: Exploiting Human Color Discrimination for Memory- and Energy-Efficient Image Encoding in Virtual Reality

abstract: Virtual Reality (VR) has the potential of becoming the next ubiquitous computing platform. Continued progress in the burgeoning field of VR depends critically on an efficient computing substrate. In particular, DRAM access energy is known to contribute to a significant portion of system energy. Today's framebuffer compression system alleviates the DRAM traffic by using a numerically lossless compression algorithm. Being numerically lossless, however, is unnecessary to preserve perceptual quality for humans. This paper proposes a perceptually lossless, but numerically lossy, system to compress DRAM traffic. Our idea builds on top of long-established psychophysical studies that show that humans cannot discriminate colors that are close to each other. The discrimination ability becomes even weaker (i.e., more colors are perceptually indistinguishable) in our peripheral vision. Leveraging the color discrimination (in)ability, we propose an algorithm that adjusts pixel colors to minimize the bit encoding cost without introducing visible artifacts. The algorithm is coupled with lightweight architectural support that, in real-time, reduces the DRAM traffic by 66.9\% and outperforms existing framebuffer compression mechanisms by up to 20.4\%. Psychophysical studies on human participants show that our system introduce little to no perceptual fidelity degradation.


title: SBC-SNOLAB scintillation system and SiPM implementation for dark matter searches

abstract: The Scintillating Bubble Chamber (SBC) collaboration is constructing a 10~kg liquid argon (LAr) bubble chamber at SNOLAB called SBC-SNOLAB having the main objective of detecting dark matter. One of the most novel aspects of SBC-SNOLAB is the scintillation system, consisting of LAr doped with on the order of 10~ppm Xe, 48 FBK VUV silicon photomultipliers (SiPMs), the SiPM electronics, two quartz jars, and liquid CF$_4$ used as an hydraulic fluid and additional source of scintillation photons. In contrast with traditional single or dual phase scintillation experiments, the collected LAr scitillation light is used to veto signals which involve the detection of at least a single photoelectron. These proceedings will describe in detail the current SBC-SNOLAB scintillation system which includes the unique design considerations for SBC-SNOLAB that limit the light collection efficiency and the electronics.


title: The objective function equality property of infoGAN for two-layer network

abstract: Information Maximizing Generative Adversarial Network (infoGAN) can be understood as a minimax problem involving two networks: discriminators and generators with mutual information functions. The infoGAN incorporates various components, including latent variables, mutual information, and objective function. This research demonstrates that the two objective functions in infoGAN become equivalent as the discriminator and generator sample size approaches infinity. This equivalence is established by considering the disparity between the empirical and population versions of the objective function. The bound on this difference is determined by the Rademacher complexity of the discriminator and generator function class. Furthermore, the utilization of a two-layer network for both the discriminator and generator, featuring Lipschitz and non-decreasing activation functions, validates this equality


title: FragQC: An Efficient Quantum Error Reduction Technique using Quantum Circuit Fragmentation

abstract: Quantum computers must meet extremely stringent qualitative and quantitative requirements on their qubits in order to solve real-life problems. Quantum circuit fragmentation techniques divide a large quantum circuit into a number of sub-circuits that can be executed on the smaller noisy quantum hardware available. However, the process of quantum circuit fragmentation involves finding an ideal cut that has exponential time complexity, and also classical post-processing required to reconstruct the output. In this paper, we represent a quantum circuit using a weighted graph and propose a novel classical graph partitioning algorithm for selecting an efficient fragmentation that reduces the entanglement between the sub-circuits along with balancing the estimated error in each sub-circuit. We also demonstrate a comparative study over different classical and quantum approaches of graph partitioning for finding such a cut. We present {\it FragQC}, a software tool that cuts a quantum circuit into sub-circuits when its error probability exceeds a certain threshold. With this proposed approach, we achieve an increase of fidelity by 14.83\% compared to direct execution without cutting the circuit, and 8.45\% over the state-of-the-art ILP-based method, for the benchmark circuits.


title: A Note on Minimax Robustness of Designs Against Correlated or Heteroscedastic Responses

abstract: We present a result according to which certain functions of covariance matrices are maximized at scalar multiples of the identity matrix. This is used to show that experimental designs that are optimal under an assumption of independent, homoscedastic responses can be minimax robust, in broad classes of alternate covariance structures. In particular it can justify the common practice of disregarding possible dependence, or heteroscedasticity, at the design stage of an experiment.


title: Reconstructing supply networks

abstract: Network reconstruction is a well-developed sub-field of network science, but it has only recently been applied to production networks, where nodes are firms and edges represent customer-supplier relationships. We review the literature that has flourished to infer the topology of these networks by partial, aggregate, or indirect observation of the data. We discuss why this is an important endeavour, what needs to be reconstructed, what makes it different from other network reconstruction problems, and how different researchers have approached the problem. We conclude with a research agenda.


title: Optimizing Parameters of the DC Power Flow

abstract: Many power system operation and planning problems use the DC power flow approximation to address computational challenges from the nonlinearity of the AC power flow equations. The DC power flow simplifies the AC power flow equations to a linear form that relates active power flows to phase angle differences across branches, parameterized by coefficients based on the branches' susceptances. Inspired by techniques for training machine learning models, this paper proposes an algorithm that seeks optimal coefficient and bias parameters to improve the DC power flow approximation's accuracy. Specifically, the proposed algorithm selects the coefficient and bias parameter values that minimize the discrepancy, across a specified set of operational scenarios, between the power flows given by the DC approximation and the power flows from the AC equations. Gradient-based optimization methods like Broyden-Fletcher-Goldfarb-Shanno (BFGS), Limited-Memory BFGS (L-BFGS), and Truncated Newton Conjugate-Gradient (TNC) enable solution of the proposed algorithm for large systems. After an off-line training phase, the optimized parameters are used to improve the accuracy of the DC power flow during on-line computations. Numerical results show several orders of magnitude improvements in accuracy relative to a hot-start DC power flow approximation across a range of test cases.


title: Question-Answering Model for Schizophrenia Symptoms and Their Impact on Daily Life using Mental Health Forums Data

abstract: In recent years, there is strong emphasis on mining medical data using machine learning techniques. A common problem is to obtain a noiseless set of textual documents, with a relevant content for the research question, and developing a Question Answering (QA) model for a specific medical field. The purpose of this paper is to present a new methodology for building a medical dataset and obtain a QA model for analysis of symptoms and impact on daily life for a specific disease domain. The ``Mental Health'' forum was used, a forum dedicated to people suffering from schizophrenia and different mental disorders. Relevant posts of active users, who regularly participate, were extrapolated providing a new method of obtaining low-bias content and without privacy issues. Furthermore, it is shown how to pre-process the dataset to convert it into a QA dataset. The Bidirectional Encoder Representations from Transformers (BERT), DistilBERT, RoBERTa, and BioBERT models were fine-tuned and evaluated via F1-Score, Exact Match, Precision and Recall. Accurate empirical experiments demonstrated the effectiveness of the proposed method for obtaining an accurate dataset for QA model implementation. By fine-tuning the BioBERT QA model, we achieved an F1 score of 0.885, showing a considerable improvement and outperforming the state-of-the-art model for mental disorders domain.


title: An upper bound for the rational topological complexity of a family of elliptic spaces

abstract: In this work, we show that, for any simply-connected elliptic space $S$ admitting a pure minimal Sullivan model with a differential of constant length, we have ${\rm TC}_0(S)\leq 2{\rm cat}_0(S)+\chi_{\pi}(S)$ where $\chi_{\pi}(S)$ is the homotopy characteristic. This is a consequence of a structure theorem for this type of models, which is actually our main result.


title: Optimal design for wavelength conversion with a configuration of walk-off compensation in free space in the nanosecond pulsed regime

abstract: On the basis of standard wavelength conversion by the use of angular phase matching of nonlinear optical crystals arranged in free space, applicable to a wide range of wavelengths and laser intensities, we both numerically and experimentally present an optimal design for achieving near-full energy conversion while maintaining good single-mode properties of fundamental laser radiation in the nanosecond regime.


title: On the Role of Neural Collapse in Meta Learning Models for Few-shot Learning

abstract: Meta-learning frameworks for few-shot learning aims to learn models that can learn new skills or adapt to new environments rapidly with a few training examples. This has led to the generalizability of the developed model towards new classes with just a few labelled samples. However these networks are seen as black-box models and understanding the representations learnt under different learning scenarios is crucial. Neural collapse ($\mathcal{NC}$) is a recently discovered phenomenon which showcases unique properties at the network proceeds towards zero loss. The input features collapse to their respective class means, the class means form a Simplex equiangular tight frame (ETF) where the class means are maximally distant and linearly separable, and the classifier acts as a simple nearest neighbor classifier. While these phenomena have been observed in simple classification networks, this study is the first to explore and understand the properties of neural collapse in meta learning frameworks for few-shot learning. We perform studies on the Omniglot dataset in the few-shot setting and study the neural collapse phenomenon. We observe that the learnt features indeed have the trend of neural collapse, especially as model size grows, but to do not necessarily showcase the complete collapse as measured by the $\mathcal{NC}$ properties.


title: Cosmological singularities in non-canonical models of dark energy

abstract: The pursuit of unraveling the true essence of dark energy has become an immensely captivating endeavor in modern cosmology. Alongside the conventional cosmological constant approach, a diverse range of ideas has been proposed, encompassing scalar field-based models and various modified gravity approaches. A particularly intriguing notion involves exploring scalar field dark energy models within quantum gravitationally motivated cosmologies, with non-canonical theories standing out as a prominent candidate in this context. Hence, in this work, we investigate three widely recognized non-canonical scalar field dark energy models: phantom, quintom, and DBI dark energy models. By employing the Goriely-Hyde procedure, we demonstrate the presence of singularities in both finite and infinite time within these frameworks. and that these singularities can manifest regardless of the system's initial conditions. Moreover, we further establish how cosmological singularities of types I-IV can arise in all of these models. The work goes to show that non-canonical regimes for dark energy can allow for most of the prominent cosmological singularities for a variety of models.


title: MRI turbulence in vertically stratified accretion discs at large magnetic Prandtl numbers

abstract: The discovery of the first binary neutron star merger, GW170817, has spawned a plethora of global numerical relativity simulations. These simulations are often ideal (with dissipation determined by the grid) and/or axisymmetric (invoking ad hoc mean-field dynamos). However, binary neutron star mergers (similar to X-ray binaries and active galactic nuclei inner discs) are characterised by large magnetic Prandtl numbers, $\rm Pm$, (the ratio of viscosity to resistivity). $\rm Pm$ is a key parameter determining dynamo action and dissipation but it is ill-defined (and likely of order unity) in ideal simulations. To bridge this gap, we investigate the magnetorotational instability (MRI) and associated dynamo at large magnetic Prandtl numbers using fully compressible, three-dimensional, vertically stratified, isothermal simulations of a local patch of a disc. We find that, within the bulk of the disc ($z\lesssim2H$, where $H$ is the scale-height), the turbulent intensity (parameterized by the stress-to-thermal-pressure ratio $\alpha$), and the saturated magnetic field energy density, $E_\text{mag}$, produced by the MRI dynamo, both scale as a power with Pm at moderate Pm ($4\lesssim \text{Pm} \lesssim 32$): $E_\text{mag} \sim \text{Pm}^{0.74}$ and $\alpha \sim \text{Pm}^{0.71}$, respectively. At larger Pm ($\gtrsim 32$) we find deviations from power-law scaling and the onset of a plateau. Compared to our recent unstratified study, this scaling with Pm becomes weaker further away from the disc mid-plane, where the Parker instability dominates. We perform a thorough spectral analysis to understand the underlying dynamics of small-scale MRI-driven turbulence in the mid-plane and of large-scale Parker-unstable structures in the atmosphere.


title: SimLVSeg: Simplifying Left Ventricular Segmentation in 2D+Time Echocardiograms with Self- and Weakly-Supervised Learning

abstract: Echocardiography has become an indispensable clinical imaging modality for general heart health assessment. From calculating biomarkers such as ejection fraction to the probability of a patient's heart failure, accurate segmentation of the heart structures allows doctors to assess the heart's condition and devise treatments with greater precision and accuracy. However, achieving accurate and reliable left ventricle segmentation is time-consuming and challenging due to different reasons. Hence, clinicians often rely on segmenting the left ventricular (LV) in two specific echocardiogram frames to make a diagnosis. This limited coverage in manual LV segmentation poses a challenge for developing automatic LV segmentation with high temporal consistency, as the resulting dataset is typically annotated sparsely. In response to this challenge, this work introduces SimLVSeg, a novel paradigm that enables video-based networks for consistent LV segmentation from sparsely annotated echocardiogram videos. SimLVSeg consists of self-supervised pre-training with temporal masking, followed by weakly supervised learning tailored for LV segmentation from sparse annotations. We demonstrate how SimLVSeg outperforms the state-of-the-art solutions by achieving a 93.32% (95%CI 93.21-93.43%) dice score on the largest 2D+time echocardiography dataset (EchoNet-Dynamic) while being more efficient. SimLVSeg is compatible with two types of video segmentation networks: 2D super image and 3D segmentation. To show the effectiveness of our approach, we provide extensive ablation studies, including pre-training settings and various deep learning backbones. We further conduct an out-of-distribution test to showcase SimLVSeg's generalizability on unseen distribution (CAMUS dataset). The code is publicly available at https://github.com/fadamsyah/SimLVSeg.


title: Music- and Lyrics-driven Dance Synthesis

abstract: Lyrics often convey information about the songs that are beyond the auditory dimension, enriching the semantic meaning of movements and musical themes. Such insights are important in the dance choreography domain. However, most existing dance synthesis methods mainly focus on music-to-dance generation, without considering the semantic information. To complement it, we introduce JustLMD, a new multimodal dataset of 3D dance motion with music and lyrics. To the best of our knowledge, this is the first dataset with triplet information including dance motion, music, and lyrics. Additionally, we showcase a cross-modal diffusion-based network designed to generate 3D dance motion conditioned on music and lyrics. The proposed JustLMD dataset encompasses 4.6 hours of 3D dance motion in 1867 sequences, accompanied by musical tracks and their corresponding English lyrics.


title: Quantum Materials Group Annual Report 2022

abstract: The Quantum Materials group at Indian Institute of Technology Patna is working on a range of topics relating to nanoelectronics, spintronics, clean energy and memory design etc. The PI has past experiences of working extensively with superconducting systems like cuprates [1, 2], ruthanate [3], pnictide [4, 5], thin film heterostructures [6, 7] etc and magnetic recording media [8, 9] etc. In this report, we have summarised the ongoing works in our group. We explored a range of functional materials like two-dimensional materials, oxides. topological insulators, organic materials etc. using a combination of experimnetal and computational tools. Some of the useful highlights are as follows: (a) tuning and control of the magnetic and electronic state of 2D magentic materials with rapid enhancement in the Curie temperature, (b) Design and detection of single electron transistor based nanosensors for the detection of biological species with single molecular resolution, (c) Observation of non-volatile memory behaviour in the hybrid structures made of perovskite materials and 2D hybrids. The results offer useful insight in the design of nanoelectronic architecrures for diverse applications.


title: Enhancing Mortality Prediction in Heart Failure Patients: Exploring Preprocessing Methods for Imbalanced Clinical Datasets

abstract: Heart failure (HF) is a critical condition in which the accurate prediction of mortality plays a vital role in guiding patient management decisions. However, clinical datasets used for mortality prediction in HF often suffer from an imbalanced distribution of classes, posing significant challenges. In this paper, we explore preprocessing methods for enhancing one-month mortality prediction in HF patients. We present a comprehensive preprocessing framework including scaling, outliers processing and resampling as key techniques. We also employed an aware encoding approach to effectively handle missing values in clinical datasets. Our study utilizes a comprehensive dataset from the Persian Registry Of cardio Vascular disease (PROVE) with a significant class imbalance. By leveraging appropriate preprocessing techniques and Machine Learning (ML) algorithms, we aim to improve mortality prediction performance for HF patients. The results reveal an average enhancement of approximately 3.6% in F1 score and 2.7% in MCC for tree-based models, specifically Random Forest (RF) and XGBoost (XGB). This demonstrates the efficiency of our preprocessing approach in effectively handling Imbalanced Clinical Datasets (ICD). Our findings hold promise in guiding healthcare professionals to make informed decisions and improve patient outcomes in HF management.


title: Forced oscillation source localization from generator measurements

abstract: Malfunctioning equipment, erroneous operating conditions or periodic load variations can cause periodic disturbances that would persist over time, creating an undesirable transfer of energy across the system -- an effect referred to as forced oscillations. Wide-area oscillations may damage assets, trigger inadvertent tripping or control actions, and be the cause of equipment failure. Unfortunately, for wide-area oscillations, the location, frequency, and amplitude of these forced oscillations may be hard to determine. Recently, a data-driven maximum-likelihood-based method was proposed to perform source localization in transmission grids under wide-area response scenarios. However, this method relies on full PMU coverage and all buses having inertia and damping. Here, we extend this method to realistic scenarios which includes buses without inertia or dumping, such as passive loads and inverter-based generators. Incorporating Kron reduction directly into the maximum likelihood estimator, we are able to identify the location and frequency of forcing applied at both traditional generators and loads.


title: Warps and Breaks in Circumbinary Discs

abstract: Disc warping, and possibly disc breaking, has been observed in protoplanetary discs around both single and multiple stars. Large disc warps can break the disc, producing observational signatures in kinematics and shadowing along the outer disc. In this work, we use comparisons of disc timescales to derive updated formulae for disc breaking, with better predictions as to when and where a disc is expected to break and how many breaks could occur. Disc breaking is more likely for discs with small inner cavities, cooler temperatures, and steeper power-law profiles. Thus, thin, polar-aligned discs are more likely to break. We test our analytic formulae using 3D grid-based simulations of protoplanetary discs warped by the gravitational torque of an inner binary. We reproduce the expected warp behaviors in different viscosity regimes and observe disc breaking at locations in agreement with our derived equations. As disc breaking is observed only for discs with low viscosity, we also consider a viscous criterion for disc breaking, where rapid alignment to the precession vector can prevent a break by reducing the maximum misalignment between neighboring rings. We apply these results to the GW Orionis circumtriple disc, and find that the precession induced from the central stars can break the disc if the disc is relatively thin. We expect repeated or multiple disc breaking to occur for discs with sufficiently steep power law profiles. We simulate a disc with steep power-law profiles, and observe two separate breaking events at locations in rough agreement with our analytical predictions.


title: Analysis of osteoporotic tissue using combination nonlinear optical imaging

abstract: Currently, a large number of stored tissue samples are unavailable for spectroscopic study without the time consuming and destructive process of paraffin removal. Instead, a structurally sensitive technique, sum frequency generation, and a chemically sensitive technique, coherent anti-Stokes Raman scattering enables imaging through the paraffin. This method is demonstrated by imaging collagen in mouse tibia. We introduce a statistical method for separating images by quality and, with the aid of machine learning, distinguish osteoporotic and healthy bone. This method has the potential to verify the results of previous studies and reduce new sample production by allowing retesting results with spectroscopy.


title: Circumpolar ocean stability on Mars 3 Gy ago

abstract: What was the nature of the Late Hesperian climate? Warm and wet or cold and dry? Formulated this way the question leads to an apparent paradox since both options seem implausible. A warm and wet climate would have produced extensive fluvial erosion but few valley networks have been observed at the age of the late Hesperian. A too cold climate would have kept any northern ocean frozen most of the time. A moderate cold climate would have transferred the water from the ocean to the land in the form of snow and ice. But this would prevent tsunami formation, for which there is some evidence. Here, we provide new insights from numerical climate simulations in agreement with surface geological features to demonstrate that the Martian climate could have been both cold and wet. Using an advanced General Circulation Model (GCM), we demonstrate that an ocean can be stable, even if the Martian mean surface temperature is lower than 0$^\circ$C. Rainfall is moderate near the shorelines and in the ocean. The southern plateau is mostly covered by ice with a mean temperature below 0$^\circ$C and a glacier return flow back to the ocean. This climate is achieved with a 1 bar CO$_2$ dominated atmosphere with 10\% H$_2$. Under this scenario 3 Ga, the geologic evidence of a shoreline and tsunami deposits along the ocean/land dichotomy are compatible with ice sheets and glacial valleys in the southern highlands.


title: Critical compactness bound of a class of compact stars

abstract: Tolman VII solution [Phys. Rev. 55 (4), 364 (1939)] is an exact analytic solution to the Einstein field equations describing the space-time of a static spherically symmetric distribution of matter. The solution has been shown to be capable of describing the interior of compact objects like neutron stars. Generalized [Phys. Rev. D 92(12), 124005 (2015)] and modified [Phys. Rev. D 99(12), 124029 (2019)] versions of the solution are also available in the literature, which have been subsequently developed to accommodate a wide range of neutron star EOS. The stability of the modified Tolman VII solution has recently been analyzed by Posada et al [Phys. Rev. D 103(10), 104067 (2021)], which provides a critical value of the adiabatic index above which the stellar configuration becomes unstable against radial oscillations. In this paper, making use of the generalized version of the Tolman VII solution, we prescribe an upper bound on the compactness ($M/R$) beyond which the star becomes unstable against radial oscillations. Our study brings to attention the role of model parameters in the generalized Tolman VII solution. The analysis also provides new insight into the role of inhomogeneity of the matter distribution vis-a-vis equation of state (EOS) on the compactness of a relativistic star.


title: Diff-DOPE: Differentiable Deep Object Pose Estimation

abstract: We introduce Diff-DOPE, a 6-DoF pose refiner that takes as input an image, a 3D textured model of an object, and an initial pose of the object. The method uses differentiable rendering to update the object pose to minimize the visual error between the image and the projection of the model. We show that this simple, yet effective, idea is able to achieve state-of-the-art results on pose estimation datasets. Our approach is a departure from recent methods in which the pose refiner is a deep neural network trained on a large synthetic dataset to map inputs to refinement steps. Rather, our use of differentiable rendering allows us to avoid training altogether. Our approach performs multiple gradient descent optimizations in parallel with different random learning rates to avoid local minima from symmetric objects, similar appearances, or wrong step size. Various modalities can be used, e.g., RGB, depth, intensity edges, and object segmentation masks. We present experiments examining the effect of various choices, showing that the best results are found when the RGB image is accompanied by an object mask and depth image to guide the optimization process.


title: On M. Riesz conjugate function theorem for harmonic functions

abstract: Let $L^p(\mathbf{T})$ be the Lesbegue space of complex-valued functions defined in the unit circle $\mathbf{T}=\{z: |z|=1\}\subseteq \mathbb{C}$. In this paper, we address the problem of finding the best constant in the inequality of the form: $$\|f\|_{L^p(\mathbf{T})}\le A_{p,b} \|(|P_+ f|^2+b| P_{-} f|^2)^{1/2}\|_{L^p(\mathbf{T})}.$$ Here $p\in[1,2]$, $b>0$, and by $P_{-} f$ and $ P_+ f$ are denoted co-analytic and analytic projection of a function $f\in L^p(\mathbf{T})$. The equality is "attained" for a quasiconformal harmonic mapping. The result extends a sharp version of M. Riesz conjugate function theorem of Pichorides and Verbitsky and some well-known estimates for holomorphic functions.


title: Expressing and Inferring Action Carefulness in Human-to-Robot Handovers

abstract: Implicit communication plays such a crucial role during social exchanges that it must be considered for a good experience in human-robot interaction. This work addresses implicit communication associated with the detection of physical properties, transport, and manipulation of objects. We propose an ecological approach to infer object characteristics from subtle modulations of the natural kinematics occurring during human object manipulation. Similarly, we take inspiration from human strategies to shape robot movements to be communicative of the object properties while pursuing the action goals. In a realistic HRI scenario, participants handed over cups - filled with water or empty - to a robotic manipulator that sorted them. We implemented an online classifier to differentiate careful/not careful human movements, associated with the cups' content. We compared our proposed "expressive" controller, which modulates the movements according to the cup filling, against a neutral motion controller. Results show that human kinematics is adjusted during the task, as a function of the cup content, even in reach-to-grasp motion. Moreover, the carefulness during the handover of full cups can be reliably inferred online, well before action completion. Finally, although questionnaires did not reveal explicit preferences from participants, the expressive robot condition improved task efficiency.


title: Hard Lefschetz property for $\mathbb{S}^3$-actions

abstract: The Hard Lefschetz Property (HLP) has recently been formulated in the context of isometric flows without singularities on manifolds. In this category, two versions of the HLP (transverse and not) have been proven to be equivalent, thus generalizing what happens in the important cases of both K-contact and Sasakian manifolds. In this work we define both versions of the HLP for almost-free S3 -actions, and prove that they agree for actions satisfying a cohomological condition, which includes the important category of 3-Sasakian manifolds, where those two versions of the HLP are shown to be held. We also provide a family of examples of free actions of the 3-sphere which are not 3-Sasakian manifolds, but satisfy the HLP.


title: New results on Erasure Combinatorial Batch Codes

abstract: We investigate in this work the problem of Erasure Combinatorial Batch Codes, in which $n$ files are stored on $m$ servers so that every set of $n-r$ servers allows a client to retrieve at most $k$ distinct files by downloading at most $t$ files from each server. Previous studies have solved this problem for the special case of $t=1$ using Combinatorial Batch Codes. We tackle the general case $t \geq 1$ using a generalization of Hall's theorem. Additionally, we address a realistic scenario in which the retrieved files are consecutive according to some order and provide a simple and optimal solution for this case.


title: Encouraging Inferable Behavior for Autonomy: Repeated Bimatrix Stackelberg Games with Observations

abstract: When interacting with other non-competitive decision-making agents, it is critical for an autonomous agent to have inferable behavior: Their actions must convey their intention and strategy. For example, an autonomous car's strategy must be inferable by the pedestrians interacting with the car. We model the inferability problem using a repeated bimatrix Stackelberg game with observations where a leader and a follower repeatedly interact. During the interactions, the leader uses a fixed, potentially mixed strategy. The follower, on the other hand, does not know the leader's strategy and dynamically reacts based on observations that are the leader's previous actions. In the setting with observations, the leader may suffer from an inferability loss, i.e., the performance compared to the setting where the follower has perfect information of the leader's strategy. We show that the inferability loss is upper-bounded by a function of the number of interactions and the stochasticity level of the leader's strategy, encouraging the use of inferable strategies with lower stochasticity levels. As a converse result, we also provide a game where the required number of interactions is lower bounded by a function of the desired inferability loss.


title: State of In Situ Visualization in Simulations: We are fast. But are we inspiring?

abstract: Visualization of dynamic processes in scientific high-performance computing is an immensely data intensive endeavor. Application codes have recently demonstrated scaling to full-size Exascale machines, and generating high-quality data for visualization is consequently on the machine-scale, easily spanning 100s of TBytes of input to generate a single video frame. In situ visualization, the technique to consume the many-node decomposed data in-memory, as exposed by applications, is the dominant workflow. Although in situ visualization has achieved tremendous progress in the last decade, scaling to system-size together with the application codes that produce its data, there is one important question that we cannot skip: is what we produce insightful and inspiring?


title: On the generic behavior of the spectral norm

abstract: The main result of the paper is that for any closed symplectic manifold the spectral norm of the iterates of a Hamiltonian diffeomorphism is locally uniformly bounded away from zero $C^\infty$-generically.


title: Atomistic study on cooling rate induced nanoindentation properties of Additively Manufactured Inconel-718

abstract: Inconel-718's compatibility with additive manufacturing (AM) has made it a center of attention for researchers. This paper focuses on how cooling rates affect the hardness of AM Inconel-718. To study the AM process, monocrystalline and polycrystalline Inconel-718 layers were added to a pristine substrate and equilibrated at 2000 K before being cooled to 300 K using cooling rates ranging from 5 K/ps to 100 K/ps, as well as an exponential cooling rate. The layers were then subjected to atomistic nanoindentation simulation to analyze the nanomechanical response, including hardness, dislocation density, microstructure, and surface imprints, at different cooling rates. Load-displacement (P-h) curves were plotted for each cooling rate. The findings of this study provide crucial insights into the effect of cooling rate on the nanoindentation-based response of additively manufactured Inconel-718. These insights can aid in the design of high-performance components for various applications


title: Factorization of Algebraic $p$-adic $L$-functions Attached to Adjoint Representations of Coleman Families: Non-critical Case

abstract: The main objective of this article is to establish the $p$-adic Artin formalism for the algebraic $p$-adic $L$-functions attached to the adjoint representations of Coleman families of modular forms. In particular, we prove a factorization formula involving the determinants of appropriate Selmer complexes, using tools from rigid geometry, homological algebra, Euler systems, and $p$-adic Hodge theory. This work extends an earlier result of Palvannan to the $p$-non-ordinary setting.


title: Optimal Control of Grid-Interfacing Inverters With Current Magnitude Limits

abstract: Grid-interfacing inverters act as the interface between renewable resources and the electric grid, and have the potential to offer fast and programmable controls compared to synchronous generators. With this flexibility there has been significant research efforts into determining the best way to control these inverters. Inverters are limited in their maximum current output in order to protect semiconductor devices, presenting a nonlinear constraint that needs to be accounted for in their control algorithms. Existing approaches either simply saturate a controller that is designed for unconstrained systems, or assume small perturbations and linearize a saturated system. These approaches can lead to stability issues or limiting the control actions to be too conservative. In this paper, we directly focus on a nonlinear system that explicitly accounts for the saturation of the current magnitude. We use a Lyapunov stability approach to determine a stability condition for the system, guaranteeing that a class of controllers would be stabilizing if they satisfy a simple SDP condition. With this condition we fit a linear-feedback controller by sampling the output (offline) model predictive control problems. This learned controller has improved performances with existing designs.


title: Interference phenomena in the asymmetric dynamical Casimir effect for a single $\delta-\delta^{\prime}$ mirror

abstract: The interaction between the quantum vacuum and time-dependent boundaries can produce particles via the dynamical Casimir effect. It is known that, for asymmetric Casimir systems, there is an imbalance in the particle production on either side of the boundary. Here, we consider a real massless scalar field in 1+1 dimensions interacting with a moving $\delta-\delta^{\prime}$ mirror with time-dependent properties. The spectral distribution and particle creation rate are computed, which now include an additional interference term that can affect different parts of the spectrum in a constructive or destructive manner. The asymmetry of the system is investigated by analyzing the difference in particle spectra produced on the two sides of the mirror. Additionally, we also explore enhancement of the spectrum and its asymmetry within the context of a stationary $\delta-\delta^{\prime}$ mirror subject to multiple fluctuation sources.


title: Generative Design of inorganic compounds using deep diffusion language models

abstract: Due to the vast chemical space, discovering materials with a specific function is challenging. Chemical formulas are obligated to conform to a set of exacting criteria such as charge neutrality, balanced electronegativity, synthesizability, and mechanical stability. In response to this formidable task, we introduce a deep learning-based generative model for material composition and structure design by learning and exploiting explicit and implicit chemical knowledge. Our pipeline first uses deep diffusion language models as the generator of compositions and then applies a template-based crystal structure prediction algorithm to predict their corresponding structures, which is then followed by structure relaxation using a universal graph neural network-based potential. The density functional theory (DFT) calculations of the formation energies and energy-above-the-hull analysis are used to validate new structures generated through our pipeline. Based on the DFT calculation results, six new materials, including Ti2HfO5, TaNbP, YMoN2, TaReO4, HfTiO2, and HfMnO2, with formation energy less than zero have been found. Remarkably, among these, four materials, namely Ti2$HfO5, TaNbP, YMoN2, and TaReO4, exhibit an e-above-hull energy of less than 0.3 eV. These findings have proved the effectiveness of our approach.


title: Pairs of matrices with simple spectrum

abstract: We established two-sided Curto-Herrero conjecture for pairs of matrices, where the first matrix has a simple spectrum. Namely, it is shown that these pairs are separated by ranks of non-commutative polynomials in matrices. Moreover, we provided some upper bound on degrees of non-commutative polynomials which should be considered.


title: On m-tuples of nilpotent 2x2 matrices over an arbitrary field

abstract: The algebra of ${\rm GL}_n$-invariants of $m$-tuples of $n\times n$ matrices with respect to the action by simultaneous conjugation is a classical topic in case of infinite base field. On the other hand, in case of a finite field generators of polynomial invariants even in case of a pair of $2\times 2$ matrices are not known. Working over an arbitrary field we classified all ${\rm GL}_2$-orbits on $m$-tuples of $2\times 2$ nilpotent matrices for all $m>0$. As a consequence, we obtained a minimal separating set for the algebra of ${\rm GL}_2$-invariant polynomial functions of $m$-tuples of $2\times 2$ nilpotent matrices. We also described the least possible number of elements of a separating set for an algebra of invariant polynomial functions over a finite field.


title: Subgroup separability of surface braid groups and virtual braid groups

abstract: In this paper, we study subgroup separability (also known as LERF) and related properties for surface braid groups and virtual (singular) braid groups.


title: Completions of Quasi-excellent Domains

abstract: Let $T$ be a complete local (Noetherian) ring of characteristic zero. We find necessary and sufficient conditions for $T$ to be the completion of a quasi-excellent local domain. In the case that $T$ contains the rationals, we provide necessary and sufficient conditions for $T$ to be the completion of a countable quasi-excellent local domain. We also prove results regarding the possible lengths of maximal saturated chains of prime ideals of these quasi-excellent local domains, and we show that these results lead to interesting examples of noncatenary quasi-excellent local domains.


title: Nuclear Quantum Effects in the Acetylene:Ammonia Plastic Co-crystal

abstract: Organic molecular solids can exhibit rich phase diagrams. In addition to structurally unique phases, translational and rotational degrees of freedom can melt at different state points, giving rise to partially disordered solid phases. The structural and dynamic disorder in these materials can have a significant impact on the physical properties of the organic solid, necessitating a thorough understanding of disorder at the atomic scale. When these disordered phases form at low temperatures, especially in crystals with light nuclei, the prediction of materials properties can be complicated by the importance of nuclear quantum effects. As an example, we investigate nuclear quantum effects on the structure and dynamics of the orientationally-disordered, translationally-ordered plastic phase of the acetylene:ammonia (1:1) co-crystal that is expected to exist on the surface of Saturn's moon Titan. Titan's low surface temperature (~90 K) suggests that the quantum mechanical behavior of nuclei may be important in this and other molecular solids in these environments. By using neural network potentials combined with ring polymer molecular dynamics simulations, we show that nuclear quantum effects increase orientational disorder and rotational dynamics within the acetylene:ammonia (1:1) co-crystal by weakening hydrogen bonds. Our results suggest that nuclear quantum effects are important to accurately model molecular solids and their physical properties in low temperature environments.

categories: physics.chem-ph astro-ph.EP cond-mat.mtrl-sci cond-mat.stat-mech


title: LANCAR: Leveraging Language for Context-Aware Robot Locomotion in Unstructured Environments

abstract: Navigating robots through unstructured terrains is challenging, primarily due to the dynamic environmental changes. While humans adeptly navigate such terrains by using context from their observations, creating a similar context-aware navigation system for robots is difficult. The essence of the issue lies in the acquisition and interpretation of contextual information, a task complicated by the inherent ambiguity of human language. In this work, we introduce LANCAR, which addresses this issue by combining a context translator with reinforcement learning (RL) agents for context-aware locomotion. LANCAR allows robots to comprehend contextual information through Large Language Models (LLMs) sourced from human observers and convert this information into actionable contextual embeddings. These embeddings, combined with the robot's sensor data, provide a complete input for the RL agent's policy network. We provide an extensive evaluation of LANCAR under different levels of contextual ambiguity and compare with alternative methods. The experimental results showcase the superior generalizability and adaptability across different terrains. Notably, LANCAR shows at least a 7.4% increase in episodic reward over the best alternatives, highlighting its potential to enhance robotic navigation in unstructured environments. More details and experiment videos could be found in http://raaslab.org/projects/LLM_Context_Estimation/.


title: Enhanced many-body localization in a kinetically constrained model

abstract: In the study of the thermalization of closed quantum systems, the role of kinetic constraints on the temporal dynamics and the eventual thermalization is attracting significant interest. Kinetic constraints typically lead to long-lived metastable states depending on initial conditions. We consider a model of interacting hardcore bosons with an additional kinetic constraint that was originally devised to capture glassy dynamics at high densities. As a main result, we demonstrate that the system is highly prone to localization in the presence of uncorrelated disorder. Adding disorder quickly triggers long-lived dynamics as evidenced in the time evolution of density autocorrelations. Moreover, the kinetic constraint favors localization also in the eigenstates, where a finite-size transition to a many-body localized phase occurs for much lower disorder strengths than for the same model without a kinetic constraint. Our work sheds light on the intricate interplay of kinetic constraints and localization and may provide additional control over many-body localized phases in the time domain.

categories: cond-mat.dis-nn cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el quant-ph


title: Prompting Code Interpreter to Write Better Unit Tests on Quixbugs Functions

abstract: Unit testing is a commonly-used approach in software engineering to test the correctness and robustness of written code. Unit tests are tests designed to test small components of a codebase in isolation, such as an individual function or method. Although unit tests have historically been written by human programmers, recent advancements in AI, particularly LLMs, have shown corresponding advances in automatic unit test generation. In this study, we explore the effect of different prompts on the quality of unit tests generated by Code Interpreter, a GPT-4-based LLM, on Python functions provided by the Quixbugs dataset, and we focus on prompting due to the ease with which users can make use of our findings and observations. We find that the quality of the generated unit tests is not sensitive to changes in minor details in the prompts provided. However, we observe that Code Interpreter is often able to effectively identify and correct mistakes in code that it writes, suggesting that providing it runnable code to check the correctness of its outputs would be beneficial, even though we find that it is already often able to generate correctly-formatted unit tests. Our findings suggest that, when prompting models similar to Code Interpreter, it is important to include the basic information necessary to generate unit tests, but minor details are not as important.


title: Separating invariants for two-dimensional orthogonal groups over finite fields

abstract: We described a minimal separating set for the algebra of $O(F_q)$-invariant polynomial functions of $m$-tuples of two-dimensional vectors over a finite field $F_q$.


title: Topology and geometry of elliptic Feynman amplitudes

abstract: We report on the analytic computation of the 2-loop amplitude for Bhabha scattering in QED. We study the analytic structure of the amplitude, and reveal its underlying connections to hyperbolic Coxeter groups and arithmetic geometries of elliptic curves.


title: It HAS to be Subjective: Human Annotator Simulation via Zero-shot Density Estimation

abstract: Human annotator simulation (HAS) serves as a cost-effective substitute for human evaluation such as data annotation and system assessment. Human perception and behaviour during human evaluation exhibit inherent variability due to diverse cognitive processes and subjective interpretations, which should be taken into account in modelling to better mimic the way people perceive and interact with the world. This paper introduces a novel meta-learning framework that treats HAS as a zero-shot density estimation problem, which incorporates human variability and allows for the efficient generation of human-like annotations for unlabelled test inputs. Under this framework, we propose two new model classes, conditional integer flows and conditional softmax flows, to account for ordinal and categorical annotations, respectively. The proposed method is evaluated on three real-world human evaluation tasks and shows superior capability and efficiency to predict the aggregated behaviours of human annotators, match the distribution of human annotations, and simulate the inter-annotator disagreements.


title: Thermal Metamaterials for Temperature Maintenance: From Advances in Heat Conduction to Future Convection Prospects

abstract: Maintaining temperature is crucial in both daily life and industrial settings, ensuring human comfort and device functionality. In the quest for energy conservation and emission reduction, several contemporary passive temperature control technologies have emerged, including phase change temperature control, shape memory alloys, solar thermal utilization, sky radiation cooling, and heat pipe systems. However, there is a pressing need for more quantitative methods to further optimize temperature maintenance. With advancements in theoretical thermotics and the emergence of thermal metamaterials, it is clear that temperature fields can be precisely manipulated by fine-tuning thermal and structural parameters. This review introduces three innovative devices: the energy-free thermostat, the negative-energy thermostat, and the multi-temperature maintenance container. All are grounded in the principles of thermal metamaterials and primarily operate under conduction heat transfer conditions. When compared with traditional technologies, the unparalleled efficacy of thermal metamaterials in temperature management is evident. Moreover, brief prospects present strategies to improve temperature maintenance under convection heat transfer, thus expanding the application spectrum of thermal metamaterials. This review concludes by spotlighting the evolution and interplay of the aforementioned three devices, marking the progression of thermal metamaterials from theoretical ideas to tangible engineering solutions. These insights not only bridge the gap between applied physics and engineering but also underscore the practical potential of thermal metamaterials.


title: On Memorization and Privacy Risks of Sharpness Aware Minimization

abstract: In many recent works, there is an increased focus on designing algorithms that seek flatter optima for neural network loss optimization as there is empirical evidence that it leads to better generalization performance in many datasets. In this work, we dissect these performance gains through the lens of data memorization in overparameterized models. We define a new metric that helps us identify which data points specifically do algorithms seeking flatter optima do better when compared to vanilla SGD. We find that the generalization gains achieved by Sharpness Aware Minimization (SAM) are particularly pronounced for atypical data points, which necessitate memorization. This insight helps us unearth higher privacy risks associated with SAM, which we verify through exhaustive empirical evaluations. Finally, we propose mitigation strategies to achieve a more desirable accuracy vs privacy tradeoff.