title: Partially Observable Task and Motion Planning with Uncertainty and Risk Awareness

abstract: Integrated task and motion planning (TAMP) has proven to be a valuable approach to generalizable long-horizon robotic manipulation and navigation problems. However, the typical TAMP problem formulation assumes full observability and deterministic action effects. These assumptions limit the ability of the planner to gather information and make decisions that are risk-aware. We propose a strategy for TAMP with Uncertainty and Risk Awareness (TAMPURA) that is capable of efficiently solving long-horizon planning problems with initial-state and action outcome uncertainty, including problems that require information gathering and avoiding undesirable and irreversible outcomes. Our planner reasons under uncertainty at both the abstract task level and continuous controller level. Given a set of closed-loop goal-conditioned controllers operating in the primitive action space and a description of their preconditions and potential capabilities, we learn a high-level abstraction that can be solved efficiently and then refined to continuous actions for execution. We demonstrate our approach on several robotics problems where uncertainty is a crucial factor and show that reasoning under uncertainty in these problems outperforms previously proposed determinized planning, direct search, and reinforcement learning strategies. Lastly, we demonstrate our planner on two real-world robotics problems using recent advancements in probabilistic perception.


title: Evaluation of Quantum and Hybrid Solvers for Combinatorial Optimization

abstract: Academic and industrial sectors have been engaged in a fierce competition to develop quantum technologies, fueled by the explosive advancements in quantum hardware. While universal quantum computers have been shown to support up to hundreds of qubits, the scale of quantum annealers has reached three orders of magnitude (i.e., thousands of qubits). Therefore, quantum algorithms are becoming increasingly popular in a variety of fields, with optimization being one of the most prominent. This work aims to explore the topic of quantum optimization by comprehensively evaluating the technologies provided by D-Wave Systems. To do so, a model for the energy optimization of data centers is proposed as a benchmark. D-Wave quantum and hybrid solvers are compared, in order to identify the most suitable one for the considered application. To highlight its advantageous performance capabilities and associated solving potential, the selected D-Wave hybrid solver is then contrasted with CPLEX, a highly efficient classical solver.


title: Thermodynamic properties of a superconductor interfaced with an altermagnet

abstract: Recently introduced magnetic materials called altermagnets (AM) feature zero net magnetization but a momentum dependent magnetic exchange field, which can have intriguing implications when combined with superconductivity. In our work, we use the quasiclassical framework to study the effects of such a material on a conventional superconductor (S) in an AM/S bilayer. We discuss the superconducting phase diagram and heat capacity of AM/S while making a comparison with a ferromagnet-superconductor bilayer. Furthermore, we examine the density of states and analyze the system's response to an external magnetic field. We illustrate the anisotropy of spin-susceptibility and magnetization of AM/S by considering an external field in the in-plane and out-of-plane direction, thereby facilitating the scope of experimental detection and characterization of an AM in an AM/S hybrid system.


title: Exact second-order spatio-temporal structure-function relationships in non-stationary incompressible turbulent flows with Reynolds decomposition and phase averaging

abstract: The Karman-Howarth-Monin-Hill (KHMH) equation has been widely applied to scale-by-scale turbulent energy cascade studies in recent years, however, the forms and interpretations are not consistent. The present work generalizes to considering two different spatio-temporal points to reformulate the KHMH equation based on Reynolds decomposition and phase averaging. The unaveraged form and phase averaged form are detailed and interpreted. Then the assumptions of homogeneity and isotropy are included in the KHMH equation to obtain the special form for homogeneous flows and isotropic flows.


title: New functional inequalities with applications to the arctan-fast diffusion equation

abstract: In this paper, we prove a couple of new nonlinear functional inequalities of Sobolev type akin to the logarithmic Sobolev inequality. In particular, one of the inequalities reads $$ \int_{\mathbb{S}^1}\arctan\left(\frac{\partial_x u}{u}\right)\partial_xu \,dx\geq \arctan\left(\|u(t)\|_{\dot{W}^{1,1}(\mathbb{S}^1)}\right)\|u(t)\|_{\dot{W}^{1,1}(\mathbb{S}^1)}. $$ Then, these inequalities are used in the study of the nonlinear \emph{arctan}-fast diffusion equation $$ \partial_t u-\partial_x\arctan\left(\frac{\partial_x u}{u}\right)=0. $$ For this highly nonlinear PDE we establish a number of well-posedness results and qualitative properties.


title: Understanding the Double Descent Phenomenon in Deep Learning

abstract: Combining empirical risk minimization with capacity control is a classical strategy in machine learning when trying to control the generalization gap and avoid overfitting, as the model class capacity gets larger. Yet, in modern deep learning practice, very large over-parameterized models (e.g. neural networks) are optimized to fit perfectly the training data and still obtain great generalization performance. Past the interpolation point, increasing model complexity seems to actually lower the test error. In this tutorial, we explain the concept of double descent and its mechanisms. The first section sets the classical statistical learning framework and introduces the double descent phenomenon. By looking at a number of examples, section 2 introduces inductive biases that appear to have a key role in double descent by selecting, among the multiple interpolating solutions, a smooth empirical risk minimizer. Finally, section 3 explores the double descent with two linear models, and gives other points of view from recent related works.


title: Online Concurrent Multi-Robot Coverage Path Planning

abstract: Recently, centralized receding horizon online multi-robot coverage path planning algorithms have shown remarkable scalability in thoroughly exploring large, complex, unknown workspaces with many robots. In a horizon, the path planning and the path execution interleave, meaning when the path planning occurs for robots with no paths, the robots with outstanding paths do not execute, and subsequently, when the robots with new or outstanding paths execute to reach respective goals, path planning does not occur for those robots yet to get new paths, leading to wastage of both the robotic and the computation resources. As a remedy, we propose a centralized algorithm that is not horizon-based. It plans paths at any time for a subset of robots with no paths, i.e., who have reached their previously assigned goals, while the rest execute their outstanding paths, thereby enabling concurrent planning and execution. We formally prove that the proposed algorithm ensures complete coverage of an unknown workspace and analyze its time complexity. To demonstrate scalability, we evaluate our algorithm to cover eight large $2$D grid benchmark workspaces with up to 512 aerial and ground robots, respectively. A comparison with a state-of-the-art horizon-based algorithm shows its superiority in completing the coverage with up to 1.6x speedup. For validation, we perform ROS + Gazebo simulations in six 2D grid benchmark workspaces with 10 quadcopters and TurtleBots, respectively. We also successfully conducted one outdoor experiment with three quadcopters and one indoor with two TurtleBots.


title: Introducing Adaptive Continuous Adversarial Training (ACAT) to Enhance ML Robustness

abstract: Adversarial training enhances the robustness of Machine Learning (ML) models against adversarial attacks. However, obtaining labeled training and adversarial training data in network/cybersecurity domains is challenging and costly. Therefore, this letter introduces Adaptive Continuous Adversarial Training (ACAT), a method that integrates adversarial training samples into the model during continuous learning sessions using real-world detected adversarial data. Experimental results with a SPAM detection dataset demonstrate that ACAT reduces the time required for adversarial sample detection compared to traditional processes. Moreover, the accuracy of the under-attack ML-based SPAM filter increased from 69% to over 88% after just three retraining sessions.


title: Safety Cases: How to Justify the Safety of Advanced AI Systems

abstract: As AI systems become more advanced, companies and regulators will make difficult decisions about whether it is safe to train and deploy them. To prepare for these decisions, we investigate how developers could make a 'safety case,' which is a structured rationale that AI systems are unlikely to cause a catastrophe. We propose a framework for organizing a safety case and discuss four categories of arguments to justify safety: total inability to cause a catastrophe, sufficiently strong control measures, trustworthiness despite capability to cause harm, and -- if AI systems become much more powerful -- deference to credible AI advisors. We evaluate concrete examples of arguments in each category and outline how arguments could be combined to justify that AI systems are safe to deploy.


title: Vacuum zero point energy of self-interacting quantum fields in dS background

abstract: We consider self-interacting scalar fields with a conformal coupling in the dS background and study the quantum corrections from bubble loop diagrams. Incorporating the perturbative in-in formalism, we calculate the quantum corrections in the vacuum zero point energy and pressure of self-interacting fields with the potential $V \propto \Phi^n $ for even values of $n$. We calculate the equation of state corresponding to these quantum corrections and examine the scaling of the divergent terms in the vacuum zero point energy and pressure associated to the dimensional regularization scheme. In particular, we show that for quartic self-interacting scalar field the conformal invariance is respected at two-loop order at the conformal point.


title: Verification of Quantum Computations without Trusted Preparations or Measurements

abstract: With the advent of delegated quantum computing as a service, verifying quantum computations is becoming a question of great importance. Existing information theoretically Secure Delegated Quantum Computing (SDQC) protocols require the client to possess the ability to perform either trusted state preparations or measurements. Whether it is possible to verify universal quantum computations with information-theoretic security without trusted preparations or measurements was an open question so far. In this paper, we settle this question in the affirmative by presenting a modular, composable, and efficient way to turn known verification schemes into protocols that rely only on trusted gates. Our first contribution is an extremely lightweight reduction of the problem of quantum verification for BQP to the trusted application of single-qubit rotations around the Z axis and bit flips. The second construction presented in this work shows that it is generally possible to information-theoretically verify arbitrary quantum computations with quantum output without trusted preparations or measurements. However, this second protocol requires the verifier to perform multi-qubit gates on a register whose size is independent of the size of the delegated computation.


title: Microscopic understanding of NMR signals by dynamic mean-field theory for spins

abstract: A recently developed dynamic mean-field theory for disordered spins (spinDMFT) is shown to capture the spin dynamics of nuclear spins very well. The key quantities are the spin autocorrelations. In order to compute the free induction decay (FID), pair correlations are needed in addition. They can be computed on spin clusters of moderate size which are coupled to the dynamic mean fields determined in a first step by spinDMFT. We dub this versatile approach non-local spinDMFT (nl-spinDMFT). It is a particular asset of nl-spinDMFT that one knows from where the contributions to the FID stem. We illustrate the strengths of nl-spinDMFT in comparison to experimental data for CaF$_2$. Furthermore, spinDMFT provides the dynamic mean fields explaining the FID of the nuclear spins of $^{13}$C in adamantane up to some static noise. The spin Hahn echo in adamantane is free from effects of static noise and agrees excellently with the spinDMFT results without further fitting.


title: Chiral-stress-energy-momentum tensor for covariant description of spin and torque densities of light

abstract: The measurement of the spin angular momentum of circularly polarized light by Beth [Phys. Rev. 50, 115 (1936)] can be explained by using a microscopic torque density. However, the experiment does not resolve the space- and time-dependent evolution of the spin density of light and the wave plate and the covariant form of the microscopic torque density. Here we focus on the covariant description of the helicity, spin, and torque densities of light in materials using the chiral-stress-energy-momentum tensor. We also perform simulations of Gaussian light pulses in quarter-wave-plate geometries made of birefringent and dielectric materials.


title: Defect design in ferroelectrics -- new insights on agglomeration

abstract: Functional properties of ferroelectrics and their change with time depend crucially on the defect structure. In particular, point defects and bias fields induced by defect dipoles modify the field hysteresis and play an important role in fatigue and aging. However, a full understanding on how order, agglomeration and strength of defect dipoles affect phase stability and functional properties is still lacking. To close these gaps in knowledge, we screen these parameters by \textit{ab\ initio} based molecular dynamics simulations with the effective Hamiltonian method for the prototypical ferroelectric material (Ba,Sr)TiO$_3$. Our findings suggest that the {\it{active surface area}} of the defects, rather than the defect concentration is the decisive factor. For a fixed defect concentration, clustering reduces the {\it{active surface area}} and thus the defect-induced changes of phase stability and field hysteresis. Particularly planar agglomerates of defects appear as promising route for the material design as their impact on the field hysteresis can be controlled by the field direction and their impact on the phase stability shows a cross-over with the strength of the defect dipoles. For this agglomeration, we furthermore find that pinched field hysteresis, which is beneficial, e.g. for energy storage, can be achieved for a wide range of defect dipole strengths and thus is not too sensitive to the choice of dopants.


title: An Empirical Study on Developers Shared Conversations with ChatGPT in GitHub Pull Requests and Issues

abstract: ChatGPT has significantly impacted software development practices, providing substantial assistance to developers in a variety of tasks, including coding, testing, and debugging. Despite its widespread adoption, the impact of ChatGPT as an assistant in collaborative coding remains largely unexplored. In this paper, we analyze a dataset of 210 and 370 developers shared conversations with ChatGPT in GitHub pull requests (PRs) and issues. We manually examined the content of the conversations and characterized the dynamics of the sharing behavior, i.e., understanding the rationale behind the sharing, identifying the locations where the conversations were shared, and determining the roles of the developers who shared them. Our main observations are: (1) Developers seek ChatGPT assistance across 16 types of software engineering inquiries. In both conversations shared in PRs and issues, the most frequently encountered inquiry categories include code generation, conceptual questions, how-to guides, issue resolution, and code review. (2) Developers frequently engage with ChatGPT via multi-turn conversations where each prompt can fulfill various roles, such as unveiling initial or new tasks, iterative follow-up, and prompt refinement. Multi-turn conversations account for 33.2% of the conversations shared in PRs and 36.9% in issues. (3) In collaborative coding, developers leverage shared conversations with ChatGPT to facilitate their role-specific contributions, whether as authors of PRs or issues, code reviewers, or collaborators on issues. Our work serves as the first step towards understanding the dynamics between developers and ChatGPT in collaborative software development and opens up new directions for future research on the topic.


title: The Goldilocks Principle of Learning Unitaries by Interlacing Fixed Operators with Programmable Phase Shifters on a Photonic Chip

abstract: Programmable photonic integrated circuits represent an emerging technology that amalgamates photonics and electronics, paving the way for light-based information processing at high speeds and low power consumption. Programmable photonics provides a flexible platform that can be reconfigured to perform multiple tasks, thereby holding great promise for revolutionizing future optical networks and quantum computing systems. Over the past decade, there has been constant progress in developing several different architectures for realizing programmable photonic circuits that allow for realizing arbitrary discrete unitary operations with light. Here, we systematically investigate a general family of photonic circuits for realizing arbitrary unitaries based on a simple architecture that interlaces a fixed intervening layer with programmable phase shifter layers. We introduce a criterion for the intervening operator that guarantees the universality of this architecture for representing arbitrary $N \times N$ unitary operators with $N+1$ phase layers. We explore this criterion for different photonic components, including photonic waveguide lattices and meshes of directional couplers, which allows the identification of several families of photonic components that can serve as the intervening layers in the interlacing architecture. Our findings pave the way for efficiently designing and realizing novel families of programmable photonic integrated circuits for multipurpose analog information processing.


title: MADAS -- A Python framework for assessing similarity in materials-science data

abstract: Computational materials science produces large quantities of data, both in terms of high-throughput calculations and individual studies. Extracting knowledge from this large and heterogeneous pool of data is challenging due to the wide variety of computational methods and approximations, resulting in significant veracity in the sheer amount of available data. Here, we present MADAS, a Python framework for computing similarity relations between material properties. It can be used to automate the download of data from various sources, compute descriptors and similarities between materials, analyze the relationship between materials through their properties, and can incorporate a variety of existing machine learning methods. We explain the design of the package and demonstrate its power with representative examples.


title: Adding stubs to quantum string field theories

abstract: Generalizing recent work by Schnabl-Stettinger and Erbin-Firat, we outline a universal algebraic procedure for `adding stubs' to string field theories obeying the BV quantum master equation. We apply our results to classical and quantum closed string field theory as well as to open-closed string field theory. We also clarify several aspects of the integration-out process in the co-algebraic formulation of string field theory at the quantum level.


title: Self-gravitating Higgs field of scalar charge. II. Asymmetric scalar doublet

abstract: The self-gravitating Higgs field of a scalar charge is studied for the case of an asymmetric scalar doublet containing, along with a canonical and a phantom component. It is shown that in the zero and first approximation of the smallness of the canonical and phantom scalar charges, the gravitational field of the scalar charge is described by the Schwarzschild-de Sitter metric with a cosmological constant determined by the stable equilibrium point - the vacuum potential of the canonical Higgs field and the zero value of the scalar potential. An equation for the perturbation of the stable value of the potential is obtained and studied, and the asymptotic behavior in the near and far zones is found. The averaging of microscopic oscillations of the scalar field is carried out and it is shown that the sign of the contribution of microscopic oscillations to the macroscopic energy of the scalar field is completely determined by the values of the fundamental constants of the Higgs potential of the asymmetric scalar doublet. Particular attention is paid to the case when the contribution of oscillations to the macroscopic energy and pressure densities is strictly equal to zero. Possible applications of the obtained solutions are discussed. Keywords: scalarly charged black hole, asymmetric scalar doublet, scalar Higgs field, asymptotic behavior, macroscopic characteristics, doublet orientation.


title: Exploring Valence Electron Dynamics of Xenon through Laser-Induced Electron Diffraction

abstract: Strong-field ionization can induce electron motion in both the continuum and the valence shell of the parent ion. Here, we explore their interplay by studying laser-induced electron diffraction (LIED) patterns arising from interaction with the potentials of two-hole states of the xenon cation. The quantitative rescattering theory is used to calculate the corresponding photoelectron momentum distributions, providing evidence that the spin-orbit dynamics could be detected by LIED. We identify the contribution of these time-evolving hole states to the angular distribution of the rescattered electrons, particularly noting a distinct change along the backward scattering angles. We benchmark numerical results with experiments using ultrabroad and femtosecond laser pulses centered at \SI{3100}{nm}.


title: Quantum Synchronization in Nonconservative Electrical Circuits with Kirchhoff-Heisenberg Equations

abstract: We investigate quantum synchronization phenomena in electrical circuits that incorporate specifically designed nonconservative elements. A dissipative theory of classical and quantized electrical circuits is developed based on the Rayleigh dissipation function. The introduction of this framework enables the formulation of a generalized version of classical Poisson brackets, which are termed Poisson-Rayleigh brackets. By using these brackets, we are able to derive the equations of motion for a given circuit. Remarkably, these equations are found to correspond to Kirchhoff's current laws when Kirchhoff's voltage laws are employed to impose topological constraints, and vice versa. In the quantum setting, the equations of motion are referred to as the Kirchhoff-Heisenberg equations, as they represent Kirchhoff's laws within the Heisenberg picture. These Kirchhoff-Heisenberg equations, serving as the native equations for an electrical circuit, can be used in place of the more abstract master equations in Lindblad form. To validate our theoretical framework, we examine three distinct circuits. The first circuit consists of two resonators coupled via a nonconservative element. The second circuit extends the first to incorporate weakly nonlinear resonators, such as transmons. Lastly, we investigate a circuit involving two resonators connected through an inductor in series with a resistor. This last circuit, which incidentally represents a realistic implementation, allows for the study of a singular system, where the absence of a coordinate leads to an ill-defined system of Hamilton's equations. To analyze such a pathological circuit, we introduce the concept of auxiliary circuit element. After resolving the singularity, we demonstrate that this element can be effectively eliminated at the conclusion of the analysis, recuperating the original circuit.


title: The role of heating on the formation and the dynamics of YSO jets : I. A parametric study

abstract: Theoretical arguments as well as observations of young stellar objects (YSO) support the presence of a diversified circumstellar environment. A stellar jet is thought to account for most of the stellar spin down and disk wind outflow for the observed high mass loss rate, thus playing a major role in the launching of powerful jets. RY Tau, for instance, is an extensively studied intermediate mass pre-main sequence star. Observational data reveal a small scale jet called microjet. Nevertheless, it is not clear how the microjet shapes the jet observed at a large scale. The goal is to investigate the spatial stability and structure of the central jet at a large scale by mixing the stellar and disk components. We mix two existing analytical self-similar models for the disk and the stellar winds to build the initial set-ups. Instead of using a polytropic equation of state, we map from the analytical solutions, the heating and cooling sources. The heating exchange rate is controlled by two parameters, its spatial extent and its intensity. The central jet and the surrounding disk are strongly affected by these two parameters. We separate the results in three categories, which show different emissivity, temperature, and velocity maps. We reached this categorization by looking at the opening angle of the stellar solution. For cylindrically, well collimated jets, we have opening angles as low as 10 degrees between 8 and 10 au, and for the wider jets, we can reach 30 degrees with a morphology closer to radial solar winds. Our parametric study shows that the less heated the outflow is, the more collimated it appears. We also show that recollimation shocks appear consistently with UV observations in terms of temperature but not density.


title: Approximate Nullspace Augmented Finetuning for Robust Vision Transformers

abstract: Enhancing the robustness of deep learning models, particularly in the realm of vision transformers (ViTs), is crucial for their real-world deployment. In this work, we provide a finetuning approach to enhance the robustness of vision transformers inspired by the concept of nullspace from linear algebra. Our investigation centers on whether a vision transformer can exhibit resilience to input variations akin to the nullspace property in linear mappings, implying that perturbations sampled from this nullspace do not influence the model's output when added to the input. Firstly, we show that for many pretrained ViTs, a non-trivial nullspace exists due to the presence of the patch embedding layer. Secondly, as nullspace is a concept associated with linear algebra, we demonstrate that it is possible to synthesize approximate nullspace elements for the non-linear blocks of ViTs employing an optimisation strategy. Finally, we propose a fine-tuning strategy for ViTs wherein we augment the training data with synthesized approximate nullspace noise. After finetuning, we find that the model demonstrates robustness to adversarial and natural image perbutations alike.


title: Temporal Twistronics

abstract: The concept of twistronics and moir\'e physics, which is present in twisted two-dimensional bilayer materials, has recently attracted growing attention in various fields of science and engineering such as condensed matter physics, nanophotonics, polaritonics and excitonics. The twist angle between the two layers has offered an additional degree of control over electron and photon interaction with such structures. Inspired by the photonic version of twistronics, here we introduce and investigate theoretically the temporal analogue of twistronics in anisotropic optical media. We study how a monochromatic electromagnetic plane wave propagating in a spatially unbounded, anisotropic medium undergoes major changes when the relative permittivity tensor of the medium is rapidly changed in time to create a new anisotropic medium that is the rotated version of the original medium. We consider both the elliptic and hyperbolic anisotropic scenarios. The propagation-angle-dependent forward (FW) and backward (BW) waves with their converted frequencies and relative amplitudes are obtained. To concentrate on the main features of this concept without getting into details of dispersion, in our work here we assume dispersionless and lossless material parameters. Our results reveal how frequency conversion is highly dependent on the direction of propagation of the original wave, rotation angle, and initial values of the material parameters, proposing another class of "magic angles" for such temporal twistronics.


title: An Improved Metric and Benchmark for Assessing the Performance of Virtual Screening Models

abstract: Structure-based virtual screening (SBVS) is a key workflow in computational drug discovery. SBVS models are assessed by measuring the enrichment of known active molecules over decoys in retrospective screens. However, the standard formula for enrichment cannot estimate model performance on very large libraries. Additionally, current screening benchmarks cannot easily be used with machine learning (ML) models due to data leakage. We propose an improved formula for calculating VS enrichment and introduce the BayesBind benchmarking set composed of protein targets that are structurally dissimilar to those in the BigBind training set. We assess current models on this benchmark and find that none perform appreciably better than a KNN baseline.


title: Complete equational theories for classical and quantum Gaussian relations

abstract: We give generators and relations for the hypergraph props of Gaussian relations and positive affine Lagrangian relations. The former extends Gaussian probabilistic processes by completely-uninformative priors, and the latter extends Gaussian quantum mechanics with infinitely-squeezed states. These presentations are given by adding a generator to the presentation of real affine relations and of real affine Lagrangian relations which freely codiscards effects, as well as certain rotations. The presentation of positive affine Lagrangian relations provides a rigorous justification for many common yet informal calculations in the quantum physics literature involving infinite-squeezing. Our presentation naturally extends Menicucci et al.'s graph-theoretic representation of Gaussian quantum states with a representation for Gaussian transformations. Using this graphical calculus, we also give a graphical proof of Braunstein and Kimble's continuous-variable quantum teleportation protocol. We also interpret the LOv-calculus, a diagrammatic calculus for reasoning about passive linear-optical quantum circuits in our graphical calculus. Moreover, we show how our presentation allows for additional optical operations such as active squeezing.


title: Lower Bounds for Kernel Density Estimation on Symmetric Spaces

abstract: We prove that kernel density estimation on symmetric spaces of non-compact type, whose L2-risk was bounded above in previous work (Asta,2021), in fact achieves a minimax rate of convergence. With this result, the story for kernel density estimation on all symmetric spaces is completed. The idea in adapting the proof for Euclidean space is to suitably abstract vector space operations on Euclidean space to both actions of symmetric groups and reparametrizations of Helgason-Fourier transforms and to use the fact that the exponential map for symmetric spaces of non-compact type defines a diffeomorphism.


title: Tensor Star Decomposition

abstract: A novel tensor decomposition framework, termed Tensor Star (TS) decomposition, is proposed which represents a new type of tensor network decomposition based on tensor contractions. This is achieved by connecting the core tensors in a ring shape, whereby the core tensors act as skip connections between the factor tensors and allow for direct correlation characterisation between any two arbitrary dimensions. Uniquely, this makes it possible to decompose an order-$N$ tensor into $N$ order-$3$ factor tensors $\{\mathcal{G}_{k}\}_{k=1}^{N}$ and $N$ order-$4$ core tensors $\{\mathcal{C}_{k}\}_{k=1}^{N}$, which are arranged in a star shape. Unlike the class of Tensor Train (TT) decompositions, these factor tensors are not directly connected to one another. The so obtained core tensors also enable consecutive factor tensors to have different latent ranks. In this way, the TS decomposition alleviates the "curse of dimensionality" and controls the "curse of ranks", exhibiting a storage complexity which scales linearly with the number of dimensions and as the fourth power of the ranks.


title: Can a GPT4-Powered AI Agent Be a Good Enough Performance Attribution Analyst?

abstract: Performance attribution analysis, defined as the process of explaining the drivers of the excess performance of an investment portfolio against a benchmark, stands as a significant feature of portfolio management and plays a crucial role in the investment decision-making process, particularly within the fund management industry. Rooted in a solid financial and mathematical framework, the importance and methodologies of this analytical technique are extensively documented across numerous academic research papers and books. The integration of large language models (LLMs) and AI agents marks a groundbreaking development in this field. These agents are designed to automate and enhance the performance attribution analysis by accurately calculating and analyzing portfolio performances against benchmarks. In this study, we introduce the application of an AI Agent for a variety of essential performance attribution tasks, including the analysis of performance drivers and utilizing LLMs as calculation engine for multi-level attribution analysis and question-answering (QA) tasks. Leveraging advanced prompt engineering techniques such as Chain-of-Thought (CoT) and Plan and Solve (PS), and employing a standard agent framework from LangChain, the research achieves promising results: it achieves accuracy rates exceeding 93% in analyzing performance drivers, attains 100% in multi-level attribution calculations, and surpasses 84% accuracy in QA exercises that simulate official examination standards. These findings affirm the impactful role of AI agents, prompt engineering and evaluation in advancing portfolio management processes, highlighting a significant development in the practical application and evaluation of Generative AI technologies within the domain.


title: Central limit theorems for the derivatives of self-intersection local time for $d$-dimensional Brownian motion

abstract: Let $\{B_t,t\geq0\}$ be a d-dimensional Brownian motion. We prove that the approximation of the higher derivative of renormalized self-intersection local time $$ \int_{0}^{1}\int_{0}^{s}\left(p^{(|k|)}_{d,\epsilon}(B_{s}-B_{r})-E[p^{(|k|)}_{d,\epsilon}(B_{s}-B_{r})]\right)drds, $$ where the multiindex $k=(k_{1},\cdots,k_{d})$, $ p_{d,\epsilon}^{(|k|)}(x_1,x_2,\cdots,x_d):=\partial^{k_1}_{x_1}\partial^{k_2}_{x_2}$ $\cdots\partial^{k_d}_{x_d}p_{d,\epsilon}(x_1,x_2,\cdots,x_d)$ and $p_{d,\epsilon}(x)=\frac{1}{(2\pi\epsilon)^{d/2}}e^{-\frac{|x|^{2}}{2\epsilon}}, x\in\mathbb{R}^d$, satisfies the central limit theorems when renormalized by $(\log\frac{1}{\epsilon})^{-1}$ in the case $d=2$, $|k|=1$ and by $\epsilon^{\frac{d+|k|-3}{2}}$ in the case $d\geq 3$, $|k|\geq 1$, which gives a complete answer to the conjecture of Markowsky [In S\'{e}minaire de Probabiliti\'{e}s \uppercase\expandafter{\romannumeral10\romannumeral50\romannumeral4} (2012) 141-148 Springer]. We as well prove that its m-th Wiener chaotic component satisfies the central limit theorems when renormalized by a multiplicative factor in different cases.


title: Moodle Usability Assessment Methodology using the Universal Design for Learning perspective

abstract: The application of the Universal Design for Learning framework favors the creation of virtual educational environments for all. It requires developing accessible content, having a usable platform, and the use of flexible didactics and evaluations that promote constant student motivation. The present study aims to design a methodology to evaluate the usability of the Moodle platform based on the principles of Universal Design for Learning, recognizing the importance of accessibility, usability and the availability of Assistive Technologies. We developed and applied a methodology to assess the usability level of Moodle platforms, taking into consideration that they integrate Assistive Technologies or are used for MOOC contexts. We provide the results of a use case that assesses two instances for the respective Moodle v.2.x and v.3.x family versions. We employed the framework of mixed design research in order to assess a MOOC-type educational program devised under the principles of Universal Design for Learning. As a result of the assessment of Moodle v.2.x and v.3.x, we conclude that the platforms must improve some key elements (e.g. contrasting colors, incorporation of alternative text and links) in order to comply with international accessibility standards. With respect to usability, we can confirm that the principles and guidelines of Universal Design for Learning are applicable to MOOC-type Virtual Learning Environments, are positively valued by students, and have a positive impact on certification rates.


title: The inhomogeneous $t$-PushTASEP and Macdonald polynomials

abstract: We study a multispecies $t$-PushTASEP system on a finite ring of $n$ sites with site-dependent rates $x_1,\dots,x_n$. Let $\lambda=(\lambda_1,\dots,\lambda_n)$ be a partition whose parts represent the species of the $n$ particles on the ring. We show that for each composition $\eta$ obtained by permuting the parts of $\lambda$, the stationary probability of being in state $\eta$ is proportional to the ASEP polynomial $F_{\eta}(x_1,\dots,x_n; q,t)$ at $q=1$; the normalizing constant (or partition function) is the Macdonald polynomial $P_{\lambda}(x_1,\dots,x_n;q,t)$ at $q=1$. Our approach involves new relations between the families of ASEP polynomials and of non-symmetric Macdonald polynomials at $q=1$. We also use multiline diagrams, showing that a single jump of the PushTASEP system is closely related to the operation of moving from one line to the next in a multiline diagram. We derive symmetry properties for the system under permutation of its jump rates, as well as a formula for the current of a single-species system.

categories: math.CO cond-mat.stat-mech math-ph math.MP math.PR


title: Unifying frequency metrology across microwave, optical, and free-electron domains

abstract: Frequency metrology lies at the heart of precision measurement. Optical frequency combs provide a coherent link uniting the microwave and optical domains in the electromagnetic spectrum, with profound implications in timekeeping, sensing and spectroscopy, fundamental physics tests, exoplanet search, and light detection and ranging. Here, we extend this frequency link to free electrons by coherent modulation of the electron phase by a continuous-wave laser locked to a fully stabilized optical frequency comb. Microwave frequency standards are transferred to the optical domain via the frequency comb, and are further imprinted in the electron spectrum by optically modulating the electron phase with a photonic chip-based microresonator. As a proof-of-concept demonstration, we apply this frequency link in the calibration of an electron spectrometer, and use the electron spectrum to measure the optical frequency. Our work bridges frequency domains differed by a factor of $\sim10^{13}$ and carried by different physical objects, establishes a spectroscopic connection between electromagnetic waves and free-electron matter waves, and has direct ramifications in ultrahigh-precision electron spectroscopy.


title: Stimulate the Potential of Robots via Competition

abstract: It is common for us to feel pressure in a competition environment, which arises from the desire to obtain success comparing with other individuals or opponents. Although we might get anxious under the pressure, it could also be a drive for us to stimulate our potentials to the best in order to keep up with others. Inspired by this, we propose a competitive learning framework which is able to help individual robot to acquire knowledge from the competition, fully stimulating its dynamics potential in the race. Specifically, the competition information among competitors is introduced as the additional auxiliary signal to learn advantaged actions. We further build a Multiagent-Race environment, and extensive experiments are conducted, demonstrating that robots trained in competitive environments outperform ones that are trained with SoTA algorithms in single robot environment.


title: Joint Multimodal Transformer for Emotion Recognition in the Wild

abstract: Multimodal emotion recognition (MMER) systems typically outperform unimodal systems by leveraging the inter- and intra-modal relationships between, e.g., visual, textual, physiological, and auditory modalities. This paper proposes an MMER method that relies on a joint multimodal transformer (JMT) for fusion with key-based cross-attention. This framework can exploit the complementary nature of diverse modalities to improve predictive accuracy. Separate backbones capture intra-modal spatiotemporal dependencies within each modality over video sequences. Subsequently, our JMT fusion architecture integrates the individual modality embeddings, allowing the model to effectively capture inter- and intra-modal relationships. Extensive experiments on two challenging expression recognition tasks -- (1) dimensional emotion recognition on the Affwild2 dataset (with face and voice) and (2) pain estimation on the Biovid dataset (with face and biosensors) -- indicate that our JMT fusion can provide a cost-effective solution for MMER. Empirical results show that MMER systems with our proposed fusion allow us to outperform relevant baseline and state-of-the-art methods.


title: Comparative study of the kinetic properties of proton and alpha beams in the Alfv\'enic wind observed by SWA-PAS onboard Solar Orbiter

abstract: The problems of heating and acceleration of solar wind particles are of significant and enduring interest in astrophysics. The interactions between waves and particles are crucial in determining the distributions of proton and alpha particles, resulting in non-Maxwellian characteristics including temperature anisotropies and particle beams. These processes can be better understood as long as the beam can be separated from the core for the two major components of the solar wind. We utilized an alternative numerical approach that leverages the clustering technique employed in Machine Learning to differentiate the primary populations within the velocity distribution, rather than employing the conventional bi-Maxwellian fitting method. Separation of the core and beam revealed new features for protons and alphas. We estimated that the total temperature of the two beams was slightly higher than that of their respective cores, and the temperature anisotropy for the cores and beams was larger than 1. We concluded that the temperature ratio between alphas and protons largely over 4 is due to the presence of a massive alpha beam, which is approximately 50\% of the alpha core. We provided evidence that the alpha core and beam populations are sensitive to Alfv\'enic fluctuations and the surfing effect found in the literature can be recovered only when considering the core and beam as a single population. Several similarities between proton and alpha beams would suggest a common and local generation mechanism not shared with the alpha core, which may not have necessarily been accelerated and heated locally.


title: Does the Correlation between 2MRS Galaxies and the CMB Indicate an Unmodeled CMB Foreground?

abstract: We revisit the claimed detection of a new cosmic microwave background (CMB) foreground based on the correlation between low-redshift 2MASS Redshift Survey (2MRS) galaxies and CMB temperature maps from the Planck and WMAP missions. We reproduce the reported measurements but argue that the original analysis significantly underestimated the uncertainties. We cross-correlate the 2MRS galaxy positions with simulated CMB maps and show that the correlation measured with the real data for late-type spiral galaxies at angular scales $\theta\geq0.1^{\circ}$ and redshift $cz<4500$ km s$^{-1}$ is consistent with zero at the $1.7\sigma$ level or less, depending on the exact CMB map and simulation construction. This was the sample that formed the basis for the original detection claim. For smaller angular separations the results are not robust to galaxy type or CMB cleaning method, and we are unable to draw firm conclusions. The original analysis did not propose a specific, falsifiable physical correlation mechanism, and it is impossible to rule out any contribution from an underlying physical effect. However, given our calculations, the lack of signal from expanding the redshift range, and the lack of corroboration from other galaxy surveys, we do not find the evidence for a new CMB foreground signal compelling.


title: Detection of ionized hydrogen and oxygen from a very luminous and young galaxy 13.4 billion years ago

abstract: The James Webb Space Telescope (JWST) has discovered a surprising population of bright galaxies in the very early universe (< 500 Myrs after the Big Bang) that is hard to explain with conventional galaxy formation models and whose physical properties remain to be fully understood. Insight into the internal physics of galaxies is captured best via observations of excited-state atomic transitions of ionized gas, but beyond z~7-9, the brightest spectral signatures are redshifted into the mid-infrared regime, where observations are increasingly more difficult. Here, we present the first detection of a hydrogen recombination line (H{\alpha}) and doubly-ionized oxygen ([OIII]4959,5007{\AA}) at z>10 using the JWST Mid-Infrared Instrument, MIRI. These detections place the bright galaxy GHZ2/GLASS-z12 at z=12.33+/-0.02, making it the most distant astronomical object with direct spectroscopic detection of these lines and the brightest confirmed object at this epoch. These observations provide key insights into the conditions of this primeval galaxy, which shows hard ionizing conditions rarely seen in the local Universe and likely driven by compact, young (<30 Myr) star formation. Its oxygen-to-hydrogen abundance is close to a tenth of the solar value, indicating a rapid metal enrichment during the earliest phases of galaxy formation. This study confirms the unique conditions of the brightest and most distant galaxies recently discovered by JWST and the huge potential of mid-IR observations to characterize these systems, opening a range of new possibilities in the study of the very early Universe.


title: Mitigating Dialogue Hallucination for Large Vision Language Models via Adversarial Instruction Tuning

abstract: Mitigating hallucinations of Large Vision Language Models,(LVLMs) is crucial to enhance their reliability for general-purpose assistants. This paper shows that such hallucinations of LVLMs can be significantly exacerbated by preceding user-system dialogues. To precisely measure this, we first present an evaluation benchmark by extending popular multi-modal benchmark datasets with prepended hallucinatory dialogues powered by our novel Adversarial Question Generator (AQG), which can automatically generate image-related yet adversarial dialogues by adopting adversarial attacks on LVLMs. On our benchmark, the zero-shot performance of state-of-the-art LVLMs drops significantly for both the VQA and Captioning tasks. Next, we further reveal this hallucination is mainly due to the prediction bias toward preceding dialogues rather than visual content. To reduce this bias, we propose Adversarial Instruction Tuning (AIT) that robustly fine-tunes LVLMs against hallucinatory dialogues. Extensive experiments show our proposed approach successfully reduces dialogue hallucination while maintaining performance.


title: MusicHiFi: Fast High-Fidelity Stereo Vocoding

abstract: Diffusion-based audio and music generation models commonly generate music by constructing an image representation of audio (e.g., a mel-spectrogram) and then converting it to audio using a phase reconstruction model or vocoder. Typical vocoders, however, produce monophonic audio at lower resolutions (e.g., 16-24 kHz), which limits their effectiveness. We propose MusicHiFi -- an efficient high-fidelity stereophonic vocoder. Our method employs a cascade of three generative adversarial networks (GANs) that convert low-resolution mel-spectrograms to audio, upsamples to high-resolution audio via bandwidth expansion, and upmixes to stereophonic audio. Compared to previous work, we propose 1) a unified GAN-based generator and discriminator architecture and training procedure for each stage of our cascade, 2) a new fast, near downsampling-compatible bandwidth extension module, and 3) a new fast downmix-compatible mono-to-stereo upmixer that ensures the preservation of monophonic content in the output. We evaluate our approach using both objective and subjective listening tests and find our approach yields comparable or better audio quality, better spatialization control, and significantly faster inference speed compared to past work. Sound examples are at https://MusicHiFi.github.io/web/.


title: Lifelong LERF: Local 3D Semantic Inventory Monitoring Using FogROS2

abstract: Inventory monitoring in homes, factories, and retail stores relies on maintaining data despite objects being swapped, added, removed, or moved. We introduce Lifelong LERF, a method that allows a mobile robot with minimal compute to jointly optimize a dense language and geometric representation of its surroundings. Lifelong LERF maintains this representation over time by detecting semantic changes and selectively updating these regions of the environment, avoiding the need to exhaustively remap. Human users can query inventory by providing natural language queries and receiving a 3D heatmap of potential object locations. To manage the computational load, we use Fog-ROS2, a cloud robotics platform, to offload resource-intensive tasks. Lifelong LERF obtains poses from a monocular RGBD SLAM backend, and uses these poses to progressively optimize a Language Embedded Radiance Field (LERF) for semantic monitoring. Experiments with 3-5 objects arranged on a tabletop and a Turtlebot with a RealSense camera suggest that Lifelong LERF can persistently adapt to changes in objects with up to 91% accuracy.


title: PnP Restoration with Domain Adaptation for SANS

abstract: Small Angle Neutron Scattering (SANS) is a non-destructive technique utilized to probe the nano- to mesoscale structure of materials by analyzing the scattering pattern of neutrons. Accelerating SANS acquisition for in-situ analysis is essential, but it often reduces the signal-to-noise ratio (SNR), highlighting the need for methods to enhance SNR even with short acquisition times. While deep learning (DL) can be used for enhancing SNR of low quality SANS, the amount of experimental data available for training is usually severely limited. We address this issue by proposing a Plug-and-play Restoration for SANS (PR-SANS) that uses domain-adapted priors. The prior in PR-SANS is initially trained on a set of generic images and subsequently fine-tuned using a limited amount of experimental SANS data. We present a theoretical convergence analysis of PR-SANS by focusing on the error resulting from using inexact domain-adapted priors instead of the ideal ones. We demonstrate with experimentally collected SANS data that PR-SANS can recover high-SNR 2D SANS detector images from low-SNR detector images, effectively increasing the SNR. This advancement enables a reduction in acquisition times by a factor of 12 while maintaining the original signal quality.


title: Reconfigurable Robot Identification from Motion Data

abstract: Integrating Large Language Models (VLMs) and Vision-Language Models (VLMs) with robotic systems enables robots to process and understand complex natural language instructions and visual information. However, a fundamental challenge remains: for robots to fully capitalize on these advancements, they must have a deep understanding of their physical embodiment. The gap between AI models cognitive capabilities and the understanding of physical embodiment leads to the following question: Can a robot autonomously understand and adapt to its physical form and functionalities through interaction with its environment? This question underscores the transition towards developing self-modeling robots without reliance on external sensory or pre-programmed knowledge about their structure. Here, we propose a meta self modeling that can deduce robot morphology through proprioception (the internal sense of position and movement). Our study introduces a 12 DoF reconfigurable legged robot, accompanied by a diverse dataset of 200k unique configurations, to systematically investigate the relationship between robotic motion and robot morphology. Utilizing a deep neural network model comprising a robot signature encoder and a configuration decoder, we demonstrate the capability of our system to accurately predict robot configurations from proprioceptive signals. This research contributes to the field of robotic self-modeling, aiming to enhance understanding of their physical embodiment and adaptability in real world scenarios.


title: Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings

abstract: Algorithmic verification of realistic systems to satisfy safety and other temporal requirements has suffered from poor scalability of the employed formal approaches. To design systems with rigorous guarantees, many approaches still rely on exact models of the underlying systems. Since this assumption can rarely be met in practice, models have to be inferred from measurement data or are bypassed completely. Whilst former usually requires the model structure to be known a-priori and immense amounts of data to be available, latter gives rise to a plethora of restrictive mathematical assumptions about the unknown dynamics. In a pursuit of developing scalable formal verification algorithms without shifting the problem to unrealistic assumptions, we employ the concept of barrier certificates, which can guarantee safety of the system, and learn the certificate directly from a compact set of system trajectories. We use conditional mean embeddings to embed data from the system into a reproducing kernel Hilbert space (RKHS) and construct an RKHS ambiguity set that can be inflated to robustify the result w.r.t. a set of plausible transition kernels. We show how to solve the resulting program efficiently using sum-of-squares optimization and a Gaussian process envelope. Our approach lifts the need for restrictive assumptions on the system dynamics and uncertainty, and suggests an improvement in the sample complexity of verifying the safety of a system on a tested case study compared to a state-of-the-art approach.


title: $DK/D\pi$ scattering and an exotic virtual bound state at the $SU(3)$ flavour symmetric point from lattice QCD

abstract: Elastic $S-$wave scattering of a charm meson with a light pseudoscalar meson in $J^P =0^+$ is investigated in the flavour $\bar{\mathbf{3}}$, $\mathbf{6}$ and $\overline{\mathbf{15}}$ sectors at the $SU(3)_f$ flavour point using lattice QCD, working on three volumes with $m_{\pi} \approx 700$ MeV. Large bases of interpolating operators are employed to extract finite-volume spectra, which are subsequently used with the L\"uscher method to provide constraints on infinite-volume scattering amplitudes. Examining the singularities of the amplitudes, the $S-$wave amplitude in the flavour $\bar{\mathbf{3}}$ sector is found to contain a deeply bound state, strongly coupled to elastic threshold, corresponding to the $J^P = 0^+$ $D_{s0}^*(2317)$. In the exotic flavour $\mathbf{6}$ sector a virtual bound state is found at $\sqrt{s_{\rm{pole}}} = 2510 - 2610$ MeV, roughly $40-140$ MeV below threshold, whereas the $\overline{\mathbf{15}}$ channel shows weak repulsion.


title: Benchmarking Zero-Shot Robustness of Multimodal Foundation Models: A Pilot Study

abstract: Pre-training image representations from the raw text about images enables zero-shot vision transfer to downstream tasks. Through pre-training on millions of samples collected from the internet, multimodal foundation models, such as CLIP, produce state-of-the-art zero-shot results that often reach competitiveness with fully supervised methods without the need for task-specific training. Besides the encouraging performance on classification accuracy, it is reported that these models close the robustness gap by matching the performance of supervised models trained on ImageNet under natural distribution shift. Because robustness is critical to real-world applications, especially safety-critical ones, in this paper, we present a comprehensive evaluation based on a large-scale robustness benchmark covering 7 natural, 3 synthetic distribution shifts, and 11 adversarial attacks. We use CLIP as a pilot study. We show that CLIP leads to a significant robustness drop compared to supervised ImageNet models on our benchmark, especially under synthetic distribution shift and adversarial attacks. Furthermore, data overlap analysis suggests that the observed robustness under natural distribution shifts could be attributed, at least in part, to data overlap. In summary, our evaluation shows a comprehensive evaluation of robustness is necessary; and there is a significant need to improve the robustness of zero-shot multimodal models.


title: A lozenge triangulation of the plane with integers

abstract: We introduce and study a three-folded linear operator depending on three parameters that has associated a triangular number tilling of the plane. As a result the set of all triples of integers is decomposed in classes of equivalence organized in four towers of two-dimensional triangulations. We provide the full characterization of the represented integers belonging to each network as families of certain quadratic forms. We note that one of the towers is generated by a germ that produces a covering of the plane with {L\"oschian} numbers.


title: Quantum States Seen by a Probe: Partial Trace Over a Region of Space

abstract: The partial trace operation is usually considered in composite quantum systems, to reduce the state on a single subsystem. This operation has a key role in the decoherence effect and quantum measurements. However, partial trace operations can be defined in more generic situations. In particular, it can be used to restrict a quantum state (for a single or several quantum entities) on a specific region of space, the rest of the universe being treated as an environment. The reduced state is then interpreted as the state that can be detected by an ideal probe with a limited spatial extent. In this paper, such an operation is investigated for systems defined on a Fock Hilbert space. A generic expression of the reduced density matrix is computed, and it is applied to several case studies: eigenstates of the number operator, coherent states, and thermal states. These states admit very different behaviors. In particular, (i) a decoherence effect happens on eigenstates of the number operator (ii) coherent or thermal states remain coherent or thermal, but with an amplitude/temperature reduced non-trivially by the overlap between the field and the region of interest.


title: Belief Change based on Knowledge Measures

abstract: Knowledge Measures (KMs) aim at quantifying the amount of knowledge/information that a knowledge base carries. On the other hand, Belief Change (BC) is the process of changing beliefs (in our case, in terms of contraction, expansion and revision) taking into account a new piece of knowledge, which possibly may be in contradiction with the current belief. We propose a new quantitative BC framework that is based on KMs by defining belief change operators that try to minimise, from an information-theoretic point of view, the surprise that the changed belief carries. To this end, we introduce the principle of minimal surprise. In particular, our contributions are (i) a general information-theoretic approach to KMs for which [1] is a special case; (ii) KM-based BC operators that satisfy the so-called AGM postulates; and (iii) a characterisation of any BC operator that satisfies the AGM postulates as a KM-based BC operator, i.e., any BC operator satisfying the AGM postulates can be encoded within our quantitative BC framework. We also introduce quantitative measures that account for the information loss of contraction, information gain of expansion and information change of revision. We also give a succinct look into the problem of iterated revision, which deals with the application of a sequence of revision operations in our framework, and also illustrate how one may build from our KM-based contraction operator also one not satisfying the (in)famous recovery postulate, by focusing on the so-called severe withdrawal model as an illustrative example.


title: On the frame property of Hermite functions and analytic extensions of their frame sets

abstract: We study Gabor frames with Hermite window functions. Gr\"ochenig and Lyubarskii provided a sufficient density condition for their frame sets, which leads to what we call the ``safety region". For rectangular lattices and Hermite windows of order 4 and higher, we enlarge this safety region by providing new points on the boundary of this region. For this purpose, we employ the Janssen representation of the frame operator to compare its distance to the identity in the operator norm. The calculations lead to estimates on series involving Laguerre polynomials with Gaussian weight functions.


title: ATOM: Asynchronous Training of Massive Models for Deep Learning in a Decentralized Environment

abstract: The advent of the Transformer architecture has propelled the growth of natural language processing (NLP) models, leading to remarkable achievements in numerous NLP tasks. Yet, the absence of specialized hardware like expansive GPU memory and high-speed interconnects poses challenges for training large-scale models. This makes it daunting for many users to experiment with pre-training and fine-tuning large language models (LLMs). In this study, we introduce \atom, a resilient distributed training framework designed for asynchronous training of vast models in a decentralized setting using cost-effective hardware, including consumer-grade GPUs and Ethernet. Unlike conventional model partitioning methods that distribute sub-models across GPUs, \atom aims to accommodate a complete LLM on one host (peer) through seamlessly model swapping and concurrently trains multiple copies across various peers to optimize training throughput. Through static analysis, \atom identifies the best model partitioning strategy and flawlessly merges model execution with swapping. Key benefits of \atom include: Avoiding the central point of failure found in pipeline parallelism methods. Demonstrating superior performance and scalability compared to closely-integrated pipeline parallelism in slower networks. Our experiments using different GPT-3 model configurations reveal that, in scenarios with suboptimal network connections, \atom can enhance training efficiency up to $20 \times$ when juxtaposed with the state-of-the-art decentralized pipeline parallelism approaches.


title: Critical Fluctuations at Finite-Time Dynamical Phase Transition

abstract: We explore the critical properties of the recently discovered finite-time dynamical phase transition in the non-equilibrium relaxation of Ising magnets. The transition is characterized by a sudden switch in the relaxation dynamics and it occurs at a sharp critical time. While previous works have focused either on mean-field interactions or on investigating the properties of the critical time, we analyze the critical fluctuations at the phase transition in the nearest-neighbor Ising model on a square lattice using Monte Carlo simulations. By means of a finite-size scaling analysis, we extract the critical exponents for the transition. In two spatial dimensions, the exponents are consistent with those of the two-dimensional Ising universality class.


title: HumanoidBench: Simulated Humanoid Benchmark for Whole-Body Locomotion and Manipulation

abstract: Humanoid robots hold great promise in assisting humans in diverse environments and tasks, due to their flexibility and adaptability leveraging human-like morphology. However, research in humanoid robots is often bottlenecked by the costly and fragile hardware setups. To accelerate algorithmic research in humanoid robots, we present a high-dimensional, simulated robot learning benchmark, HumanoidBench, featuring a humanoid robot equipped with dexterous hands and a variety of challenging whole-body manipulation and locomotion tasks. Our findings reveal that state-of-the-art reinforcement learning algorithms struggle with most tasks, whereas a hierarchical learning approach achieves superior performance when supported by robust low-level policies, such as walking or reaching. With HumanoidBench, we provide the robotics community with a platform to identify the challenges arising when solving diverse tasks with humanoid robots, facilitating prompt verification of algorithms and ideas. The open-source code is available at https://humanoid-bench.github.io.


title: Demystifying Faulty Code with LLM: Step-by-Step Reasoning for Explainable Fault Localization

abstract: Fault localization is a critical process that involves identifying specific program elements responsible for program failures. Manually pinpointing these elements, such as classes, methods, or statements, which are associated with a fault is laborious and time-consuming. To overcome this challenge, various fault localization tools have been developed. These tools typically generate a ranked list of suspicious program elements. However, this information alone is insufficient. A prior study emphasized that automated fault localization should offer a rationale. In this study, we investigate the step-by-step reasoning for explainable fault localization. We explore the potential of Large Language Models (LLM) in assisting developers in reasoning about code. We proposed FuseFL that utilizes several combinations of information to enhance the LLM results which are spectrum-based fault localization results, test case execution outcomes, and code description (i.e., explanation of what the given code is intended to do). We conducted our investigation using faulty code from Refactory dataset. First, we evaluate the performance of the automated fault localization. Our results demonstrate a more than 30% increase in the number of successfully localized faults at Top-1 compared to the baseline. To evaluate the explanations generated by FuseFL, we create a dataset of human explanations that provide step-by-step reasoning as to why specific lines of code are considered faulty. This dataset consists of 324 faulty code files, along with explanations for 600 faulty lines. Furthermore, we also conducted human studies to evaluate the explanations. We found that for 22 out of the 30 randomly sampled cases, FuseFL generated correct explanations.


title: Active transport of a passive colloid in a bath of run-and-tumble particles

abstract: The dispersion of a passive colloid immersed in a bath of non-interacting and non-Brownian run-and-tumble microswimmers in two dimensions is analyzed using stochastic simulations and an asymptotic theory, both based on a minimal model of swimmer-colloid collisions characterized solely by frictionless steric interactions. We estimate the effective long-time diffusivity $\mathcal{D}$ of the suspended colloid resulting from its interaction with the active bath, and elucidate its dependence on the level of activity (persistence length of swimmer trajectories), the mobility ratio of the colloid to a swimmer, and the number density of swimmers in the bath. We also propose a semi-analytical model for the colloid diffusivity in terms of the variance and correlation time of the net fluctuating active force on the colloid resulting from swimmer collisions. Quantitative agreement is found between numerical simulations and analytical results in the experimentally-relevant regime of low swimmer density, low mobility ratios, and high activity.


title: Tuneable band topology and optical conductivity in altermagnets

abstract: We study two-dimensional $d$-wave altermagnetic metals taking into account the presence of substrate-induced Rashba spin-orbit coupling. We consider the altermagnet bandstructure using a 2D band Hamiltonian near the $\Gamma$ point under external magnetic field. It is shown that time-reversal-symmetry breaking due to altermagnetism, together with Rashba coupling and external magnetic field, can result in non-trivial band topology. The topological phases can be tuned by magnetic field strength and directions, and are classified by their Chern numbers. Furthermore, we investigate the charge response by computing the full optical conductivity tensor with and without magnetic field. In particular, we focus on magneto-optical responses, which are the finite-frequency analog of the Berry curvature-induced anomalous Hall conductivity. Finally, using experimentally realistic parameters for RuO$_2$, we estimate the Faraday angle in the absence of magnetic fields.


title: Comments on the no boundary wavefunction and slow roll inflation

abstract: We review aspects of the Hartle-Hawking no boundary geometry in the context of slow roll inflation. We give an analytic approximation to the geometry and we explain the rationale for the proposal. We also explain why it gives a prediction for the curvature of the universe that is in disagreement with observations and give a quick review of proposed ways to resolve that disagreement.


title: A Novel Framework for Multi-Person Temporal Gaze Following and Social Gaze Prediction

abstract: Gaze following and social gaze prediction are fundamental tasks providing insights into human communication behaviors, intent, and social interactions. Most previous approaches addressed these tasks separately, either by designing highly specialized social gaze models that do not generalize to other social gaze tasks or by considering social gaze inference as an ad-hoc post-processing of the gaze following task. Furthermore, the vast majority of gaze following approaches have proposed static models that can handle only one person at a time, therefore failing to take advantage of social interactions and temporal dynamics. In this paper, we address these limitations and introduce a novel framework to jointly predict the gaze target and social gaze label for all people in the scene. The framework comprises of: (i) a temporal, transformer-based architecture that, in addition to image tokens, handles person-specific tokens capturing the gaze information related to each individual; (ii) a new dataset, VSGaze, that unifies annotation types across multiple gaze following and social gaze datasets. We show that our model trained on VSGaze can address all tasks jointly, and achieves state-of-the-art results for multi-person gaze following and social gaze prediction.


title: Surveyor: Facilitating Discovery Within Video Games for Blind and Low Vision Players

abstract: Video games are increasingly accessible to blind and low vision (BLV) players, yet many aspects remain inaccessible. One aspect is the joy players feel when they explore environments and make new discoveries, which is integral to many games. Sighted players experience discovery by surveying environments and identifying unexplored areas. Current accessibility tools, however, guide BLV players directly to items and places, robbing them of that experience. Thus, a crucial challenge is to develop navigation assistance tools that also foster exploration and discovery. To address this challenge, we propose the concept of exploration assistance in games and design Surveyor, an in-game exploration assistance tool that enhances discovery by tracking where BLV players look and highlighting unexplored areas. We designed Surveyor using insights from a formative study and compared Surveyor's effectiveness to approaches found in existing accessible games. Our findings reveal implications for facilitating richer play experiences for BLV users within games.


title: Inflationary non-Gaussianities in alpha vacua and consistency with conformal symmetries

abstract: We study the conformal invariance of inflationary non-Gaussianities associated with scalar fluctuations in a non-Bunch-Davies initial state, known as the $\alpha$-vacuum, in single-field slow-roll inflation. The $\alpha$-vacuum is a one-parameter family of states, including the Bunch-Davies one, that preserves the conformal symmetry of inflationary dynamics in a nearly de-Sitter space-time. Working within the leading slow-roll approximation, we compute the four-point scalar correlator (the trispectrum) in $\alpha$-vacuum using the in-in formalism. We check that the conformal Ward identities are met between the three and four-point scalar $\alpha$-vacua correlators. Surprisingly, this contrasts the previously reported negative result of the Ward identities being violated between the two and the three-point correlators. We have also extended the wave-functional method, previously used for correlators with Bunch-Davies initial condition, to compute the three and four-point scalar correlators in $\alpha$-vacua. The results obtained from the wave-function method match the corresponding in-in results, adding further justification to our check of Ward identities with $\alpha$-vacua correlators.


title: Multilevel functional distributional models with application to continuous glucose monitoring in diabetes clinical trials

abstract: Continuous glucose monitoring (CGM) is a minimally invasive technology that allows continuous monitoring of an individual's blood glucose. We focus on a large clinical trial that collected CGM data every few minutes for 26 weeks and assumes that the basic observation unit is the distribution of CGM observations in a four-week interval. The resulting data structure is multilevel (because each individual has multiple months of data) and distributional (because the data for each four-week interval is represented as a distribution). The scientific goals are to: (1) identify and quantify the effects of factors that affect glycemic control in type 1 diabetes (T1D) patients; and (2) identify and characterize the patients who respond to treatment. To address these goals, we propose a new multilevel functional model that treats the CGM distributions as a response. Methods are motivated by and applied to data collected by The Juvenile Diabetes Research Foundation Continuous Glucose Monitoring Group. Reproducible code for the methods introduced here is available on GitHub.


title: Packing the largest trees in the tree packing conjecture

abstract: The famous tree packing conjecture of Gy\'arf\'as from 1976 says that any sequence of trees $T_1,\ldots,T_n$ such that $|T_i|=i$ for each $i\in [n]$ packs into the complete $n$-vertex graph $K_n$. Packing even just the largest trees in such a sequence has proven difficult, with Bollob\'as drawing attention to this in 1995 by conjecturing that, for each $k$, if $n$ is sufficiently large then the largest $k$ trees in any such sequence can be packed into $K_n$. This has only been shown for $k\leq 5$, by \.{Z}ak, despite many partial results and much related work on the full tree packing conjecture. We prove Bollob\'as's conjecture, by showing that, moreover, a linear number of the largest trees can be packed in the tree packing conjecture.


title: FeatUp: A Model-Agnostic Framework for Features at Any Resolution

abstract: Deep features are a cornerstone of computer vision research, capturing image semantics and enabling the community to solve downstream tasks even in the zero- or few-shot regime. However, these features often lack the spatial resolution to directly perform dense prediction tasks like segmentation and depth prediction because models aggressively pool information over large areas. In this work, we introduce FeatUp, a task- and model-agnostic framework to restore lost spatial information in deep features. We introduce two variants of FeatUp: one that guides features with high-resolution signal in a single forward pass, and one that fits an implicit model to a single image to reconstruct features at any resolution. Both approaches use a multi-view consistency loss with deep analogies to NeRFs. Our features retain their original semantics and can be swapped into existing applications to yield resolution and performance gains even without re-training. We show that FeatUp significantly outperforms other feature upsampling and image super-resolution approaches in class activation map generation, transfer learning for segmentation and depth prediction, and end-to-end training for semantic segmentation.


title: VideoAgent: Long-form Video Understanding with Large Language Model as Agent

abstract: Long-form video understanding represents a significant challenge within computer vision, demanding a model capable of reasoning over long multi-modal sequences. Motivated by the human cognitive process for long-form video understanding, we emphasize interactive reasoning and planning over the ability to process lengthy visual inputs. We introduce a novel agent-based system, VideoAgent, that employs a large language model as a central agent to iteratively identify and compile crucial information to answer a question, with vision-language foundation models serving as tools to translate and retrieve visual information. Evaluated on the challenging EgoSchema and NExT-QA benchmarks, VideoAgent achieves 54.1% and 71.3% zero-shot accuracy with only 8.4 and 8.2 frames used on average. These results demonstrate superior effectiveness and efficiency of our method over the current state-of-the-art methods, highlighting the potential of agent-based approaches in advancing long-form video understanding.


title: Lodge: A Coarse to Fine Diffusion Network for Long Dance Generation Guided by the Characteristic Dance Primitives

abstract: We propose Lodge, a network capable of generating extremely long dance sequences conditioned on given music. We design Lodge as a two-stage coarse to fine diffusion architecture, and propose the characteristic dance primitives that possess significant expressiveness as intermediate representations between two diffusion models. The first stage is global diffusion, which focuses on comprehending the coarse-level music-dance correlation and production characteristic dance primitives. In contrast, the second-stage is the local diffusion, which parallelly generates detailed motion sequences under the guidance of the dance primitives and choreographic rules. In addition, we propose a Foot Refine Block to optimize the contact between the feet and the ground, enhancing the physical realism of the motion. Our approach can parallelly generate dance sequences of extremely long length, striking a balance between global choreographic patterns and local motion quality and expressiveness. Extensive experiments validate the efficacy of our method.


title: Frozen Feature Augmentation for Few-Shot Image Classification

abstract: Training a linear classifier or lightweight model on top of pretrained vision model outputs, so-called 'frozen features', leads to impressive performance on a number of downstream few-shot tasks. Currently, frozen features are not modified during training. On the other hand, when networks are trained directly on images, data augmentation is a standard recipe that improves performance with no substantial overhead. In this paper, we conduct an extensive pilot study on few-shot image classification that explores applying data augmentations in the frozen feature space, dubbed 'frozen feature augmentation (FroFA)', covering twenty augmentations in total. Our study demonstrates that adopting a deceptively simple pointwise FroFA, such as brightness, can improve few-shot performance consistently across three network architectures, three large pretraining datasets, and eight transfer datasets.


title: Strong and Controllable Blind Image Decomposition

abstract: Blind image decomposition aims to decompose all components present in an image, typically used to restore a multi-degraded input image. While fully recovering the clean image is appealing, in some scenarios, users might want to retain certain degradations, such as watermarks, for copyright protection. To address this need, we add controllability to the blind image decomposition process, allowing users to enter which types of degradation to remove or retain. We design an architecture named controllable blind image decomposition network. Inserted in the middle of U-Net structure, our method first decomposes the input feature maps and then recombines them according to user instructions. Advantageously, this functionality is implemented at minimal computational cost: decomposition and recombination are all parameter-free. Experimentally, our system excels in blind image decomposition tasks and can outputs partially or fully restored images that well reflect user intentions. Furthermore, we evaluate and configure different options for the network structure and loss functions. This, combined with the proposed decomposition-and-recombination method, yields an efficient and competitive system for blind image decomposition, compared with current state-of-the-art methods.


title: P-MapNet: Far-seeing Map Generator Enhanced by both SDMap and HDMap Priors

abstract: Autonomous vehicles are gradually entering city roads today, with the help of high-definition maps (HDMaps). However, the reliance on HDMaps prevents autonomous vehicles from stepping into regions without this expensive digital infrastructure. This fact drives many researchers to study online HDMap generation algorithms, but the performance of these algorithms at far regions is still unsatisfying. We present P-MapNet, in which the letter P highlights the fact that we focus on incorporating map priors to improve model performance. Specifically, we exploit priors in both SDMap and HDMap. On one hand, we extract weakly aligned SDMap from OpenStreetMap, and encode it as an additional conditioning branch. Despite the misalignment challenge, our attention-based architecture adaptively attends to relevant SDMap skeletons and significantly improves performance. On the other hand, we exploit a masked autoencoder to capture the prior distribution of HDMap, which can serve as a refinement module to mitigate occlusions and artifacts. We benchmark on the nuScenes and Argoverse2 datasets. Through comprehensive experiments, we show that: (1) our SDMap prior can improve online map generation performance, using both rasterized (by up to $+18.73$ $\rm mIoU$) and vectorized (by up to $+8.50$ $\rm mAP$) output representations. (2) our HDMap prior can improve map perceptual metrics by up to $6.34\%$. (3) P-MapNet can be switched into different inference modes that covers different regions of the accuracy-efficiency trade-off landscape. (4) P-MapNet is a far-seeing solution that brings larger improvements on longer ranges. Codes and models are publicly available at https://jike5.github.io/P-MapNet.


title: Ordinal Classification with Distance Regularization for Robust Brain Age Prediction

abstract: Age is one of the major known risk factors for Alzheimer's Disease (AD). Detecting AD early is crucial for effective treatment and preventing irreversible brain damage. Brain age, a measure derived from brain imaging reflecting structural changes due to aging, may have the potential to identify AD onset, assess disease risk, and plan targeted interventions. Deep learning-based regression techniques to predict brain age from magnetic resonance imaging (MRI) scans have shown great accuracy recently. However, these methods are subject to an inherent regression to the mean effect, which causes a systematic bias resulting in an overestimation of brain age in young subjects and underestimation in old subjects. This weakens the reliability of predicted brain age as a valid biomarker for downstream clinical applications. Here, we reformulate the brain age prediction task from regression to classification to address the issue of systematic bias. Recognizing the importance of preserving ordinal information from ages to understand aging trajectory and monitor aging longitudinally, we propose a novel ORdinal Distance Encoded Regularization (ORDER) loss that incorporates the order of age labels, enhancing the model's ability to capture age-related patterns. Extensive experiments and ablation studies demonstrate that this framework reduces systematic bias, outperforms state-of-art methods by statistically significant margins, and can better capture subtle differences between clinical groups in an independent AD dataset. Our implementation is publicly available at https://github.com/jaygshah/Robust-Brain-Age-Prediction.


title: Location of Zeros of Holomorphic Functions

abstract: In this article, various results will be demonstrated that enable the delimitation of a zero-free region for holomorphic functions on a set $K$, studying the behavior of their imaginary or real part on the boundary of $K$. These findings contribute to a deeper understanding of the distribution of zeros, shedding light on the intricate nature of holomorphic functions within the specified set.


title: Fractal Nambu Mechanics: Extending Dynamics with Fractal Calculus

abstract: In this paper, we extend the principles of Nambu mechanics by incorporating fractal calculus. This extension introduces Hamiltonian and Lagrangian mechanics that incorporate fractal derivatives. By doing so, we broaden the scope of our analysis to encompass the dynamics of fractal systems, enabling us to capture their intricate and self-similar properties. This novel approach opens up new avenues for understanding and modeling complex fractal structures, thereby advancing our comprehension of these intricate phenomena.


title: Corrigendum to "$m$-Periodic Gorenstein objects" [J. Algebra 621 (2023)]

abstract: Let $(\mathcal{A,B})$ be a GP-admissible pair and $(\mathcal{Z,W})$ be a GI-admissible pair of classes of objects in an abelian category $\mathcal{C}$, and consider the class $\pi\mathcal{GP}_{(\omega,\mathcal{B},1)}$ of $1$-periodic $(\omega,\mathcal{B})$-Gorenstein projective objects, where $\omega := \mathcal{A} \cap \mathcal{B}$ and $\nu := \mathcal{Z} \cap \mathcal{W}$. We claimed in \cite[Lem. 8.1]{HMP2023m} that the $(\mathcal{Z,W})$-Gorenstein injective dimension of $\pi\mathcal{GP}_{(\omega,\mathcal{B},1)}$ is bounded by the $(\mathcal{Z,W})$-Gorenstein injective dimension of $\omega$, provided that: (1) $\omega$ is closed under direct summands, (2) $\mathrm{Ext}^1(\pi\mathcal{GP}_{(\omega,\mathcal{B},1)},\nu) = 0$, and (3) every object in $\pi\mathcal{GP}_{(\omega,\mathcal{B},1)}$ admits a $\mathrm{Hom}(-,\nu)$-acyclic $\nu$-coresolution. These conditions are their duals are part of what we called ``Setup 1''. Moreover, if we replace $\pi\mathcal{GP}_{(\omega,\mathcal{B},1)}$ by the class $\mathcal{GP}_{(\mathcal{A,B})}$ of $(\mathcal{A,B})$-Gorenstein projective objects, the resulting inequality is claimed to be true under a set of conditions named ``Setup 2''. The proof we gave for the claims $\mathrm{Gid}_{(\mathcal{Z,W})}(\pi\mathcal{GP}_{(\omega,\mathcal{B},1)}) \leq \mathrm{Gid}_{(\mathcal{Z,W})}(\omega)$ and $\mathrm{Gid}_{(\mathcal{Z,W})}(\mathcal{GP}_{(\mathcal{A,B})}) \leq \mathrm{Gid}_{(\mathcal{Z,W})}(\omega)$ is incorrect, and the purpose of this note is to exhibit a corrected proof of the first inequality, under the additional assumption that every object in $\pi\mathcal{GP}_{(\omega,\mathcal{B},1)}$ has finite injective dimension relative to $\mathcal{Z}$. Setup 2 is no longer required, and as a result the second inequality was removed. We also fix those results in \S \ 8 of \cite{HMP2023m} affected by Lemma 8.1, and comment some applications and examples.


title: Spectral Fredholm Theory in Von Neumann Algebras

abstract: In this paper, we extend Fredholm theory in von Neumann algebras established by Breuer in [5] and [6] to spectral Fredholm theory. We consider 2 by 2 upper triangular operator matrices with coefficients in a von Neumann algebra and give the relationship between the generalized essential spectra in the sense of Breuer of such matrices and of their diagonal entries. Next, we prove that if a generalized Fredholm operator in the sense of Breuer has 0 as an isolated point of its spectrum, then the corresponding spectral projection is finite. Finally, we define the generalized B-Fredholm operator in a von Neumann algebra as a generalization in the sense of Breuer of the classical B-Fredholm operators on Hilbert and Banach spaces. We provide sufficient conditions under which a sum of a generalized B-Fredholm operator and a finite operator in a von Neumann algebra is again a generalized B-Fredholm operator.


title: The Graph Fractional Fourier Transform in Hilbert Space

abstract: Graph signal processing (GSP) leverages the inherent signal structure within graphs to extract high-dimensional data without relying on translation invariance. It has emerged as a crucial tool across multiple fields, including learning and processing of various networks, data analysis, and image processing. In this paper, we introduce the graph fractional Fourier transform in Hilbert space (HGFRFT), which provides additional fractional analysis tools for generalized GSP by extending Hilbert space and vertex domain Fourier analysis to fractional order. First, we establish that the proposed HGFRFT extends traditional GSP, accommodates graphs on continuous domains, and facilitates joint time-vertex domain transform while adhering to critical properties such as additivity, commutativity, and invertibility. Second, to process generalized graph signals in the fractional domain, we explore the theory behind filtering and sampling of signals in the fractional domain. Finally, our simulations and numerical experiments substantiate the advantages and enhancements yielded by the HGFRFT.


title: On the diophantine equation $X^6-Y^6 = W^n-Z^n, n=2,3,4$

abstract: In this paper, we proved that there are infinitely many integer solutions of $X^6 - Y^6 = W^n - Z^n,\ n=2,3,4$.


title: Closed Form for Half-Area Overlap Offset of 2 Unit Disks

abstract: The separation between the centers of two unit circles such that their overlapping area is exactly half of each's area is known to be around $0.8079455\dots$ (OEIS A133741). However, no closed form of this number is known. Here, we determine its closed form representation in terms of the inverse regularized beta function.


title: Calculating the sequences behind a hexagonal lattice based equal circle packing in the Euclidian plane

abstract: The article presents the mathematical sequences describing circle packing densities in four different geometric configurations involving a hexagonal lattice based equal circle packing in the Euclidian plane. The calculated sequences take form of either polynomials or rational functions. If the circle packing area is limited with a circle, the packing densities tend to decrease with increasing number of the packed circles and converge to values lower than {\pi}/(2\sqrt{3}). In cases with packing areas limited by equilateral triangles or equilateral hexagons the packing densities tend to increase with increasing number of the packed circles and converge to {\pi}/(2\sqrt{3}). The equilateral hexagons are shown to be the preferred equal circle packing surface areas with practical applications searching for high equal circle packing densities, since the packing densities with circle packing inside equilateral hexagons converge faster to {\pi}/(2\sqrt{3}) than in the case of equilateral triangle packing surface areas.


title: Non-existence of certain lightlike hypersurfaces of an indefinite Sasakian manifold

abstract: Here, we consider a lightlike hypersurface, tangent to the structure vector field, of an indefinite Sasakian manifold. We prove that no such a hypersurface can either have parallel or recurrent second fundamental forms. In addition to the above, we also prove that no such a hypersurface may have parallel or recurrent induced structural tensors.


title: Micromorphic FE$^2$ Simulation of Plastic Deformations of Foam Structures

abstract: Capturing and predicting the effective mechanical properties of highly porous cellular media still represents a significant challenge for the research community, due to their complex structural interdependencies and known size effects. Micromorphic theories are often applied in this context to model the inelastic deformation behavior of foam-like structures, in particular to incorporate such size effect into the investigation of structure-property correlations. This raises the problems of formulating appropriate constitutive relations for the numerous non-classical stress measures and determining the corresponding material parameters, which are usually difficult to assess experimentally. The present contribution therefore alternatively employs a concurrent micromorphic multi-scale approach within the Direct FE$^2$ framework to simulate the complex irreversible behavior of foam-like porous solids. The predictions of Cosserat (micropolar) and a fully-micromorphic theory are compared with conventional FE$^2$ results and direct numerical simulations (DNS) for complex loading scenarios with elastic, elastic-plastic, and creep deformations.


title: Flow of Electrically Charged Fluids Through Elastic Porous Media

abstract: We study the flow of an electrically charged fluid through an elastic and porous medium. A three continuum model consisting of an elastic solid, a viscous fluid, and a mobile charge continuum is used. The relevant laws of physics are applied systematically to the constituents or the combined continuum, leading to their continuity equations for conservation of mass or charge, linear and angular momentum equations as well as constitutive relations. The analysis assumes quasistatic electric fields and is for nonmagnetizable materials. The resulting theory is nonlinear, valid for large deformations and strong fields and can be specialized or generalized in various ways.


title: VISREAS: Complex Visual Reasoning with Unanswerable Questions

abstract: Verifying a question's validity before answering is crucial in real-world applications, where users may provide imperfect instructions. In this scenario, an ideal model should address the discrepancies in the query and convey them to the users rather than generating the best possible answer. Addressing this requirement, we introduce a new compositional visual question-answering dataset, VISREAS, that consists of answerable and unanswerable visual queries formulated by traversing and perturbing commonalities and differences among objects, attributes, and relations. VISREAS contains 2.07M semantically diverse queries generated automatically using Visual Genome scene graphs. The unique feature of this task, validating question answerability with respect to an image before answering, and the poor performance of state-of-the-art models inspired the design of a new modular baseline, LOGIC2VISION that reasons by producing and executing pseudocode without any external modules to generate the answer. LOGIC2VISION outperforms generative models in VISREAS (+4.82% over LLaVA-1.5; +12.23% over InstructBLIP) and achieves a significant gain in performance against the classification models.


title: Coalescence of sessile aqueous droplets laden with surfactant

abstract: With most of the focus to date having been on the coalescence of freely suspended droplets, much less is known about the coalescence of sessile droplets, especially in the case of droplets laden with surfactant. Here, we employ large-scale molecular dynamics simulations to investigate this phenomenon on substrates with different wettability. In particular, we unravel the mass transport mechanism of surfactant during coalescence, thus explaining the key mechanisms present in the process. Close similarities are found between the coalescence of sessile droplets with equilibrium contact angles above 90{\deg} and that of freely suspended droplets, being practically the same when the contact angle of the sessile droplets is above 140{\deg}. Here, the initial contact point is an area that creates an initial contact film of surfactant that proceeds to break into engulfed aggregates. A major change in the physics appears below the 90{\deg} contact angle, when the initial contact point becomes small and line-like, strongly affecting many aspects of the process and allowing water to take part in the coalescence from the beginning. We find growth exponents consistent with a 2/3 power law on strongly wettable substrates but no evidence of linear growth. Overall bridge growth speed increases with wettability for all surfactant concentrations, but the speeding up effect becomes weaker as surfactant concentration grows, along with a general slowdown of the coalescence compared to pure water. Concurrently, the duration of the initial thermally limited regime increases strongly by almost an order of magnitude for strongly wettable substrates.