title: Task Indicating Transformer for Task-conditional Dense Predictions

abstract: The task-conditional model is a distinctive stream for efficient multi-task learning. Existing works encounter a critical limitation in learning task-agnostic and task-specific representations, primarily due to shortcomings in global context modeling arising from CNN-based architectures, as well as a deficiency in multi-scale feature interaction within the decoder. In this paper, we introduce a novel task-conditional framework called Task Indicating Transformer (TIT) to tackle this challenge. Our approach designs a Mix Task Adapter module within the transformer block, which incorporates a Task Indicating Matrix through matrix decomposition, thereby enhancing long-range dependency modeling and parameter-efficient feature adaptation by capturing intra- and inter-task features. Moreover, we propose a Task Gate Decoder module that harnesses a Task Indicating Vector and gating mechanism to facilitate adaptive multi-scale feature refinement guided by task embeddings. Experiments on two public multi-task dense prediction benchmarks, NYUD-v2 and PASCAL-Context, demonstrate that our approach surpasses state-of-the-art task-conditional methods.


title: Inverse optically-induced ring currents in ring-shaped molecules

abstract: Permanent electronic ring currents can be supported within a manifold of $\Gamma_E$ degenerate excited electronic states as $E_{\pm} = E_x \pm i E_y$ excitations. This requires at least a 3-fold-symmetry rotational axis or higher, and includes the subclass of ring-shaped molecules. In [Phys. Rev. Res. {\bf 3}, L042003 (2021)] we showed the existence of inverse-current manifolds, where the direction of the electronic ring-current in each degenerate state $E_\pm$ is opposite to the circular polarization of the generating light-fields. This phenomenon can be traced back to vibronic effects, namely the exchange of orbital angular momentum between the circulating electrons and vibrational modes with the required symmetry. Here we consider the case of fixed nuclei and find that ring-shaped molecular systems can posses inverse-current manifolds on a purely electronic-structure basis, i.e. without intervention of vibronic coupling. The effect is illustrated and explained first on a simple tight-binding model with cyclic symmetry, and then considering the {\it{ab initio}} electronic structure of benzene and sym-triazine. A framework for discriminating regular- and inverse-current $\Gamma_E$ manifolds in molecules using quantum chemistry calculations is provided.


title: Learning with Logical Constraints but without Shortcut Satisfaction

abstract: Recent studies in neuro-symbolic learning have explored the integration of logical knowledge into deep learning via encoding logical constraints as an additional loss function. However, existing approaches tend to vacuously satisfy logical constraints through shortcuts, failing to fully exploit the knowledge. In this paper, we present a new framework for learning with logical constraints. Specifically, we address the shortcut satisfaction issue by introducing dual variables for logical connectives, encoding how the constraint is satisfied. We further propose a variational framework where the encoded logical constraint is expressed as a distributional loss that is compatible with the model's original training loss. The theoretical analysis shows that the proposed approach bears salient properties, and the experimental evaluations demonstrate its superior performance in both model generalizability and constraint satisfaction.


title: Questioning whether seasonal advance of intense tropical cyclones since the 1980s truly exists

abstract: Shan et al. (2023) recently reported significant seasonal advances of intense tropical cyclones (TCs) in both the Northern Hemisphere (NH) and Southern Hemisphere (SH) since the 1980s and emphasized the data insensitivity of this conclusion, based on the advanced Dvorak Technique-Hurricane Satellite (ADT-HURSAT) and the International Best Track Archive for Climate Stewardship (IBTrACS) datasets. However, upon rigorously repeating the analysis procedure in Shan et al. (2023), we are unable to replicate their conclusion. Our analyses reveal that insignificant trends in median of intense TC occurrence dates (hereafter referred to as $\tilde{date}_{intenseTC}$) are observed in the SH based on the ADT-HURSAT, and in both hemispheres based on the IBTrACS. In addition, we discover inconsistencies in $\tilde{date}_{intenseTC}$ trends between the two datasets, which primarily arise from the differences in identification of intense TC cases. The above discrepancies raise doubts about the reproducibility and validity of Shan et al.'s conclusions regarding the seasonal advance of intense TCs. Based on these findings, as well as the limitations of both datasets, we argue that the reported seasonal advance of intense TCs since the 1980s is inconclusive and further investigations with alternative datasets and approaches are needed.


title: WindGP: Efficient Graph Partitioning on Heterogenous Machines

abstract: Graph Partitioning is widely used in many real-world applications such as fraud detection and social network analysis, in order to enable the distributed graph computing on large graphs. However, existing works fail to balance the computation cost and communication cost on machines with different power (including computing capability, network bandwidth and memory size), as they only consider replication factor and neglect the difference of machines in realistic data centers. In this paper, we propose a general graph partitioning algorithm WindGP, which can support fast and high-quality edge partitioning on heterogeneous machines. WindGP designs novel preprocessing techniques to simplify the metric and balance the computation cost according to the characteristics of graphs and machines. Also, best-first search is proposed instead of BFS and DFS, in order to generate clusters with high cohesion. Furthermore, WindGP adaptively tunes the partition results by sophisticated local search methods. Extensive experiments show that WindGP outperforms all state-of-the-art partition methods by 1.35 - 27 times on both dense and sparse distributed graph algorithms, and has good scalability with graph size and machine number.


title: On coincidences of singular loci of types $\Sigma^{1_r}$ and $\Sigma^r$

abstract: It is well-known that the Thom polynomial in Stiefel--Whitney classes expressing the cohomology class dual to the locus of the cusp singularity for codimension-$k$ maps $\Sigma^{1_2}(k)$ and that of the corank-$2$ singularity for codimension-$(k-1)$ maps $\Sigma^2(k-1)$ coincide: both are $w_{k+1}^2 + w_k w_{k+2}$. The aim of the present paper is to find out whether there is any geometric explanation to this seemingly mysterious coincidence. We thank L\'aszl\'o Feh\'er for posing us this interesting question that we answer here to the positive, and motivated by it we search for further similar coincidences of the loci of $\Sigma^{1_r}$-type and $\Sigma^r$-type singular points for a general $r$, but found such ones only for special classes of maps. Finally we compute the cohomology classes dual to the singularity strata for any Morin map. (This result--for holomorphic maps--was presented by Kazarian but the proof was left unpublished.)


title: Tropical twisted Hurwitz numbers for elliptic curves

abstract: Hurwitz numbers enumerate branched morphisms between Riemann surfaces. For a fixed elliptic target, Hurwitz numbers are intimately related to mirror symmetry following work of Dijkgraaf. In recent work of Chapuy and Dolega a new variant of Hurwitz numbers with fixed genus $0$ target was introduced that includes maps between between non-orientiable surfaces. These numbers are called $b$-Hurwitz numbers and are polynomials in a parameter $b$ which measures the non-orientability of the involved maps. An interpretation in terms of factorisations of $b$-Hurwitz numbers for $b=1$, so-called twisted Hurwitz numbers, was found in work of Burman and Fesler. In previous work, the authors derived a tropical geometry interpretation of these numbers. In this paper, we introduce a natural generalisation of twisted Hurwitz numbers with elliptic targets within the framework of symmetric groups. We derive a tropical interpretation of these invariants, relate them to Feynman integrals and derive an expression as a matrix element of an operator in the bosonic Fock space.


title: NOVA: A visual interface for assessing polarizing media coverage

abstract: Within the United States, the majority of the populace receives their news online. U.S mainstream media outlets both generate and influence the news consumed by U.S citizens. Many of these citizens have their personal beliefs about these outlets and question the fairness of their reporting. We offer an interactive visualization system for the public to assess their perception of the mainstream media's coverage of a topic against the data. Our system combines belief elicitation techniques and narrative structure designs, emphasizing transparency and user-friendliness to facilitate users' self-assessment on personal beliefs. We gathered $\sim${25k} articles from the span of 2020-2022 from six mainstream media outlets as a testbed. To evaluate our system, we present usage scenarios alongside a user study with a qualitative analysis of user exploration strategies for personal belief assessment. We report our observations from this study and discuss future work and challenges of developing tools for the public to assess media outlet coverage and belief updating on provocative topics.


title: Probing macroscopic temperature changes with non-radiative processes in hyperbolic meta-antennas

abstract: Multilayered metal-dielectric nanostructures display both strong plasmonic behavior and hyperbolic optical dispersion. The latter is responsible for the appearance of two separated radiative and non-radiative channels in the extinction spectrum of these structures. This unique property can open a wealth of opportunities towards the development of multifunctional systems that simultaneously can behave as optimal scatterers and absorbers at different wavelengths, an important feature to achieve multiscale control light-matter interactions in different spectral regions for different types of applications, such as optical computing or detection of thermal radiation. Nevertheless, the temperature dependence of the optical properties of these multilayered systems has never been investigated. In this work we study how radiative and non-radiative processes in hyperbolic meta-antennas can probe temperature changes of the surrounding medium. We show that, while radiative processes are essentially not affected by a change in the external temperature, the non-radiative ones are strongly affected by a temperature variation. By combining experiments and temperature dependent effective medium theory, we find that this behavior is connected to enhanced damping effects due to electron-phonon scattering. Contrary to standard plasmonic systems, a red-shift of the non-radiative mode occurs for small variations of the environment temperature. Our study shows that to probe temperature changes it is essential to exploit non-radiative processes in systems supporting plasmonic excitations, which can be used as very sensitive thermometers via linear absorption spectroscopy.


title: Never-Ending Behavior-Cloning Agent for Robotic Manipulation

abstract: Relying on multi-modal observations, embodied robots could perform multiple robotic manipulation tasks in unstructured real-world environments. However, most language-conditioned behavior-cloning agents still face existing long-standing challenges, i.e., 3D scene representation and human-level task learning, when adapting into new sequential tasks in practical scenarios. We here investigate these above challenges with NBAgent in embodied robots, a pioneering language-conditioned Never-ending Behavior-cloning Agent. It can continually learn observation knowledge of novel 3D scene semantics and robot manipulation skills from skill-shared and skill-specific attributes, respectively. Specifically, we propose a skill-sharedsemantic rendering module and a skill-shared representation distillation module to effectively learn 3D scene semantics from skill-shared attribute, further tackling 3D scene representation overlooking. Meanwhile, we establish a skill-specific evolving planner to perform manipulation knowledge decoupling, which can continually embed novel skill-specific knowledge like human from latent and low-rank space. Finally, we design a never-ending embodied robot manipulation benchmark, and expensive experiments demonstrate the significant performance of our method. Visual results, code, and dataset are provided at: https://neragent.github.io.


title: Nonlinear Sheaf Diffusion in Graph Neural Networks

abstract: This work focuses on exploring the potential benefits of introducing a nonlinear Laplacian in Sheaf Neural Networks for graph-related tasks. The primary aim is to understand the impact of such nonlinearity on diffusion dynamics, signal propagation, and performance of neural network architectures in discrete-time settings. The study primarily emphasizes experimental analysis, using real-world and synthetic datasets to validate the practical effectiveness of different versions of the model. This approach shifts the focus from an initial theoretical exploration to demonstrating the practical utility of the proposed model.


title: Semi-Instruct: Bridging Natural-Instruct and Self-Instruct for Code Large Language Models

abstract: Instruction tuning plays a pivotal role in Code Large Language Models (Code LLMs) for the task of program synthesis. Presently, two dominant paradigms for collecting tuning data are natural-instruct (human-written) and self-instruct (automatically generated). Natural-instruct includes diverse and correct codes but lacks instruction-code pairs, and exists improper code formats like nested single-line codes. In contrast, self-instruct automatically generates proper paired data. However, it suffers from low diversity due to generating duplicates and cannot ensure the correctness of codes. To bridge the both paradigms, we propose \textbf{Semi-Instruct}. It first converts diverse but improper codes from natural-instruct into proper instruction-code pairs through a method similar to self-instruct. To verify the correctness of generated codes, we design a novel way to construct test cases by generating cases' inputs and executing correct codes from natural-instruct to get outputs. Finally, diverse and correct instruction-code pairs are retained for instruction tuning. Experiments show that semi-instruct is significantly better than natural-instruct and self-instruct. Furthermore, the performance steadily improves as data scale increases.


title: Energy-Efficient Clustered Cell-Free Networking with Access Point Selection

abstract: Ultra-densely deploying access points (APs) to support the increasing data traffic would significantly escalate the cell-edge problem resulting from traditional cellular networks. By removing the cell boundaries and coordinating all APs for joint transmission, the cell-edge problem can be alleviated, which in turn leads to unaffordable system complexity and channel measurement overhead. A new scalable clustered cell-free network architecture has been proposed recently, under which the large-scale network is flexibly partitioned into a set of independent subnetworks operating parallelly. In this paper, we study the energy-efficient clustered cell-free networking problem with AP selection. Specifically, we propose a user-centric ratio-fixed AP-selection based clustering (UCR-ApSel) algorithm to form subnetworks dynamically. Following this, we analyze the average energy efficiency achieved with the proposed UCR-ApSel scheme theoretically and derive an effective closed-form upper-bound. Based on the analytical upper-bound expression, the optimal AP-selection ratio that maximizes the average energy efficiency is further derived as a simple explicit function of the total number of APs and the number of subnetworks. Simulation results demonstrate the effectiveness of the derived optimal AP-selection ratio and show that the proposed UCR-ApSel algorithm with the optimal AP-selection ratio achieves around 40% higher energy efficiency than the baselines. The analysis provides important insights to the design and optimization of future ultra-dense wireless communication systems.


title: Understanding the role of B-cells in CAR T-cell therapy in leukemia through a mathematical model

abstract: Chimeric Antigen Receptor T (CAR-T) cell therapy has been proven to be successful against different leukaemias and lymphomas. This paper makes an analytical and numerical study of a mathematical model describing the competition of CAR-T, leukaemias tumor and B cells. Considering its significance in sustaining anti-CD19 CAR T-cell stimulation, we integrate a B-cell source term into the model. Through stability and bifurcation analyses, we reveal the potential for tumor eradication contingent on the continuous influx of B-cells, uncovering a transcritical bifurcation at a critical B-cell input. Additionally, we identify an almost heteroclinic cycle between equilibrium points, providing a theoretical basis for understanding disease relapse. Analyzing the oscillatory behavior of the system, we approximate the time-dependent dynamics of CAR T-cells and leukemic cells, shedding light on the impact of initial tumor burden on therapeutic outcomes. In conclusion, our study provides insights into CAR T-cell therapy dynamics for acute lymphoblastic leukemias, offering a theoretical foundation for clinical observations and suggesting avenues for future immunotherapy modeling research.


title: Theory on linear L-fractional differential equations and a new Mittag-Leffler-type function

abstract: We develop a theory on linear L-fractional differential equations. The L-fractional derivative ${}^L\! D^\alpha$ is defined as a certain normalization of the well-known Caputo derivative ${}^C\! D^\alpha$, so that alternative properties hold: smoothness and finite slope at the origin for the solution, velocity units for the vector field, and differential form associated to the system. For L-fractional order $0<\alpha\leq 1$, we prove a fundamental theorem of calculus. We deal with linear systems of autonomous homogeneous part, ${}^L\! D^\alpha x(t)=\mathcal{A}x(t)+\vartheta(t)$, which correspond to Caputo linear equations of non-autonomous homogeneous part, of the form ${}^C\! D^\alpha x(t)=t^{1-\alpha} Ax(t)+b(t)$. The associated L-fractional integral operator, which is closely related to the beta function and the beta probability distribution, and the estimates for its norm in the Banach space of continuous functions play a key role in the development. The explicit solution $x$ is built by means of Picard's iterations, from a new Mittag-Leffler-type function that mimics the standard exponential function. Closed-form solutions $x$ are given for some concrete cases, namely when $\vartheta$ is given by fractional powers or ordinary power series. In a second part of the paper, we address autonomous linear equations of sequential type, $({}^L\! D^\alpha-\lambda_1)^{n_1}\circ \cdots \circ ({}^L\! D^\alpha-\lambda_r)^{n_r}x(t)=0$. We start with sequential order two and then move to arbitrary order, by dealing with power series. The classical theory on linear ordinary differential equations with constant coefficients is generalized, and we establish an analogue of the method of undetermined coefficients. The last part of the paper is concerned with sequential linear equations of analytic coefficients and order two, ${}^L\! D^{2\circ \alpha}x(t)+p(t)\cdot {}^L\! D^\alpha x(t)+q(t)x(t)=c(t)$.


title: A proof of Bott periodicity via Quot schemes and bulk-edge correspondence

abstract: In this paper, we give alternative proofs of Bott periodicity of $ K $-theory and the bulk-edge correspondence of integer quantum Hall effect. Regarding Bott periodicity, we connect its proof with configuration spaces and use Quot schemes in algebraic geometry in our proof. Regarding the bulk-edge correspondence, we formulate edge indices based on the consideration of Graf--Porta and give a more elementary and self-contained proof.


title: Novel Pauli blocking method in quantum molecular dynamics type models

abstract: In this work, we propose a novel method for calculating the occupation probability in the Pauli blocking of the quantum molecular dynamics type models. This method refines the description of the Pauli blocking ratio in the nuclear matter and that in the finite nucleus. The influence of the new Pauli blocking method on the heavy ion collisions observables, such as the charge distribution, the free neutron to proton yield ratios, and the extracted physical quantities, such as the in-medium nucleon-nucleon cross sections, are investigated. For the extracted in-medium nucleon-nucleon cross sections, our results show that it will be enhanced 1.1$-$2.5 times than that with the conventional Pauli blocking method at the beam energy less than 150 MeV/u, which highlights the importance of a refined Pauli blocking method for developing an advanced transport model to describe complex heavy ion collisions.


title: Robustifying a Policy in Multi-Agent RL with Diverse Cooperative Behaviors and Adversarial Style Sampling for Assistive Tasks

abstract: Autonomous assistance of people with motor impairments is one of the most promising applications of autonomous robotic systems. Recent studies have reported encouraging results using deep reinforcement learning (RL) in the healthcare domain. Previous studies showed that assistive tasks can be formulated as multi-agent RL, wherein there are two agents: a caregiver and a care-receiver. However, policies trained in multi-agent RL are often sensitive to the policies of other agents. In such a case, a trained caregiver's policy may not work for different care-receivers. To alleviate this issue, we propose a framework that learns a robust caregiver's policy by training it for diverse care-receiver responses. In our framework, diverse care-receiver responses are autonomously learned through trials and errors. In addition, to robustify the care-giver's policy, we propose a strategy for sampling a care-receiver's response in an adversarial manner during the training. We evaluated the proposed method using tasks in an Assistive Gym. We demonstrate that policies trained with a popular deep RL method are vulnerable to changes in policies of other agents and that the proposed framework improves the robustness against such changes.


title: Microwave-to-optics conversion using magnetostatic modes and a tunable optical cavity

abstract: Quantum computing, quantum communication and quantum networks rely on hybrid quantum systems operating in different frequency ranges. For instance, the superconducting qubits work in the gigahertz range, while the optical photons used in communication are in the range of hundreds of terahertz. Due to the large frequency mismatch, achieving the direct coupling and information exchange between different information carriers is generally difficult. Accordingly, a quantum interface is demanded, which serves as a bridge to establish information linkage between different quantum systems operating at distinct frequencies. Recently, the magnon mode in ferromagnetic spin systems has received significant attention. While the inherent weak optomagnonic coupling strength restricts the microwave-to-optical photon conversion efficiency using magnons, the versatility of the magnon modes, together with their readily achievable strong coupling with other quantum systems, endow them with many distinct advantages. Here, we realize the magnon-based microwave-light interface by adopting an optical cavity with adjustable free spectrum range and different kinds of magnetostatic modes in two microwave cavity configurations. By optimizing the parameters, an internal conversion efficiency of $1.28 \times 10^{-7}$ is achieved. We analyze the impact of various parameters on the microwave-to-optics conversion. The study provides useful guidance and insights to further enhancing the microwave-to-optics conversion efficiency using magnons.


title: Dynamic control of polarization conversion based on borophene nanostructures in optical communication bands

abstract: Polarized light has various potential applications in the communication bands, including optical communication, polarization imaging, quantum emission, and quantum communication. However, optimizing polarization control requires continuous improvements in areas such as dynamic tunability, materials, and efficiency. In this work, we propose a borophene-based structure capable of converting linearly polarized light into arbitrarily polarized light through the coherent excitation of localized surface plasmons (LSPs) in optical communication band. Furthermore, a double-layer borophene structure can be achieved by placing a second borophene array at the top of the first one with a 90{\deg} relative rotation of their crystalline plane. The rotation direction of the polarization state of the reflected light can be switched by independently controlling the carrier concentration of the two-layer borophene. Finally, a dipole source is used to realize the emission of polarized light, which is two orders of magnitude higher than the emission rate in free space, and the polarization state can be dynamically controlled by manipulating the carrier concentration. Our study is simple and compact, with potential applications in the fields of polarizers, polarization detectors, and quantum emitters.


title: Set-Valued Control Functions

abstract: The control function approach allows the researcher to identify various causal effects of interest. While powerful, it requires a strong invertibility assumption, which limits its applicability. This paper expands the scope of the nonparametric control function approach by allowing the control function to be set-valued and derive sharp bounds on structural parameters. The proposed generalization accommodates a wide range of selection processes involving discrete endogenous variables, random coefficients, treatment selections with interference, and dynamic treatment selections.


title: Regularity of the free boundaries for the two-phase axisymmetric inviscid fluid

abstract: In the seminal paper (Alt, Caffarelli and Friedman, Trans. Amer. Math. Soc., 282, (1984).), the regularity of the free boundary of two-phase fluid in two dimensions via the so-called ACF energy functional was investigated. It was shown the $C^1$ regularity of the free boundaries and asserted that the two free boundaries coincide under some additional assumptions. Later on the standard technique of Harnack inequality could be applied to improve the regularity to $C^{1,\eta}$. A recent significant breakthrough in the regularity of two-phase fluid is due to De Philippis, Spolaor and Velichkov, who investigated the free boundary of the two-phase fluid with the two-phase functional (De Philippis, Spolaor and Velichkov, Invent. Math., 225, (2021).), and the $C^{1,\eta}$ regularity of the whole free boundaries was given in dimension two. Moreover, the free boundaries of the two-phase fluids do not coincide and the zero level set may process positive Lebesgue measure. In this paper, we consider the free boundaries for the two-phase axisymmetric fluid and show the free boundary is $C^{1,\eta}$ smooth. The Lebesgue measure of the zero level set of may also be positive, and the main difference lies in the degenerate elliptic operator and the free boundary conditions. More precisely, we use partial boundary Harnack inequalities and establish a linearized problem, whose regularity of the solutions implies the flatness decay of the two-phase free boundaries. Then the iteration argument gives the smoothness of the free boundaries.


title: Impact of Inter-Operator Interference via Reconfigurable Intelligent Surfaces

abstract: A wireless communication system is studied that operates in the presence of multiple reconfigurable intelligent surfaces (RISs). In particular, a multi-operator environment is considered where each operator utilizes an RIS to enhance its communication quality. Although out-of-band interference does not exist (since each operator uses isolated spectrum resources), RISs controlled by different operators do affect the system performance of one another due to the inherently rapid phase shift adjustments that occur on an independent basis. The system performance of such a communication scenario is analytically studied for the practical case where discrete-only phase shifts occur at RIS. The proposed framework is quite general since it is valid under arbitrary channel fading conditions as well as the presence (or not) of the transceiver's direct link. Finally, the derived analytical results are verified via numerical and simulation trial as well as some novel and useful engineering outcomes are manifested.


title: Eckart streaming with nonlinear high-order harmonics: an example at gigahertz

abstract: Acoustic streaming shows great potential in applications such as bubble dynamics, cell aggregation, and nano-sized particle isolation in the biomedical and drug industries. As the acoustic shock distance decreases with the increase of incident frequency, the nonlinear propagation effect will play a role in acoustic streaming, e.g., Eckart (bulk) streaming at a few gigahertz (GHz). However, the theory of source terms of bulk streaming is still missing at this stage when high-order acoustic harmonics play a role. In this paper, we derive the source term including the contribution of higher-order harmonics. The streaming-induced hydrodynamic flow is assumed to be incompressible and no shock wave occurs during the nonlinear acoustic propagation as restricted by the traditional Goldberg number \Gamma < 1 or \Gamma \approx 1 which indicates the importance of nonlinearity relative to dissipation. The derived force terms allow evaluating bulk streaming with high-order harmonics at GHz and provide an exact expression compared to the existing empirical formulas. Numerical results show that the contribution of higher-order harmonics increases the streaming flow velocity by more than 20%. We show that the expression introduced by Nyborg should be avoided in numerical computations as it includes part of the acoustic radiation force that does not lead to acoustic streaming.


title: Phase retrieval algorithm applied to high-energy ultrafast lasers

abstract: A standardized phase retrieval algorithm is presented and applied to an industry-grade high-energy ultrashort pulsed laser to uncover its spatial phase distribution. We describe in detail how to modify the well-known algorithm in order to characterize particularly strong light sources from intensity measurements only. With complete information about the optical field of the unknown light source at hand, virtual back propagation can reveal weak points in the light path such as apertures or damaged components.


title: Revisiting Disentanglement in Downstream Tasks: A Study on Its Necessity for Abstract Visual Reasoning

abstract: In representation learning, a disentangled representation is highly desirable as it encodes generative factors of data in a separable and compact pattern. Researchers have advocated leveraging disentangled representations to complete downstream tasks with encouraging empirical evidence. This paper further investigates the necessity of disentangled representation in downstream applications. Specifically, we show that dimension-wise disentangled representations are unnecessary on a fundamental downstream task, abstract visual reasoning. We provide extensive empirical evidence against the necessity of disentanglement, covering multiple datasets, representation learning methods, and downstream network architectures. Furthermore, our findings suggest that the informativeness of representations is a better indicator of downstream performance than disentanglement. Finally, the positive correlation between informativeness and disentanglement explains the claimed usefulness of disentangled representations in previous works. The source code is available at https://github.com/Richard-coder-Nai/disentanglement-lib-necessity.git.


title: MS-Net: A Multi-Path Sparse Model for Motion Prediction in Multi-Scenes

abstract: The multi-modality and stochastic characteristics of human behavior make motion prediction a highly challenging task, which is critical for autonomous driving. While deep learning approaches have demonstrated their great potential in this area, it still remains unsolved to establish a connection between multiple driving scenes (e.g., merging, roundabout, intersection) and the design of deep learning models. Current learning-based methods typically use one unified model to predict trajectories in different scenarios, which may result in sub-optimal results for one individual scene. To address this issue, we propose Multi-Scenes Network (aka. MS-Net), which is a multi-path sparse model trained by an evolutionary process. MS-Net selectively activates a subset of its parameters during the inference stage to produce prediction results for each scene. In the training stage, the motion prediction task under differentiated scenes is abstracted as a multi-task learning problem, an evolutionary algorithm is designed to encourage the network search of the optimal parameters for each scene while sharing common knowledge between different scenes. Our experiment results show that with substantially reduced parameters, MS-Net outperforms existing state-of-the-art methods on well-established pedestrian motion prediction datasets, e.g., ETH and UCY, and ranks the 2nd place on the INTERACTION challenge.


title: Self-Consistent Reasoning-based Aspect-Sentiment Quad Prediction with Extract-Then-Assign Strategy

abstract: In the task of aspect sentiment quad prediction (ASQP), generative methods for predicting sentiment quads have shown promising results. However, they still suffer from imprecise predictions and limited interpretability, caused by data scarcity and inadequate modeling of the quadruplet composition process. In this paper, we propose Self-Consistent Reasoning-based Aspect-sentiment quadruple Prediction (SCRAP), optimizing its model to generate reasonings and the corresponding sentiment quadruplets in sequence. SCRAP adopts the Extract-Then-Assign reasoning strategy, which closely mimics human cognition. In the end, SCRAP significantly improves the model's ability to handle complex reasoning tasks and correctly predict quadruplets through consistency voting, resulting in enhanced interpretability and accuracy in ASQP.


title: Weak non-linearities of amorphous polymer under creep

abstract: The creep behavior of an amorphous poly(etherimide) (PEI) polymer is investigated in the vicinity of its glass transition in a weakly non linear regime where the acceleration of the creep response is driven by local configurational rearrangements. From the time shifts of the creep compliance curves under increasing applied stresses in the range 1-15~\si{\mega\pascal}, we determine a macroscopic acceleration factor. At the start of creep, the stress is homogeneous and the macroscopic acceleration can be assimilated to that of the local rearrangements which is shown to vary as $f=e^{-(\sigma/Y)^n} $ with $n=2 \pm 0.2$, where $\sigma$ is the local stress and $Y$ is a decreasing function of compliance. This experimental result is in agreement with the recent theory of Long \textit{et al.} (\textit{Phys. Rev. Mat.} (2018) \textbf{2}, 105601 ) which predicts $n=2$. From a mean field approximation, we interpret the variation of $Y$ with compliance as the result of the development of stress heterogneities during creep.


title: Critical Nature of the Size Exponent of Polymers

abstract: On the basis of the thermodynamic theory of the excluded volume effects, we show that the size exponent varies abruptly, depending on the change of the segment concentration. For linear polymers, the exponent changes discontinuously from $\nu=3/5$ for the isolated system ($\bar{\phi}=0$) in good solvents to $\nu=1/2$ in the finite concentration ($0<\bar{\phi}\le1$), while for branched polymers having $\nu_{0}=1/4$, the corresponding exponent varies from $\nu=1/2$ ($\bar{\phi}=0$) to $\nu\cong 1/3$ ($0<\bar{\phi}\le1$).


title: On the sharp constants in the regional fractional Sobolev inequalities

abstract: In this paper, we study the sharp constants in fractional Sobolev inequalities associated with the regional fractional Laplacian in domains.


title: A game-theoretic approach to the asymptotic behavior of solutions to an obstacle problem for the mean curvature flow equation

abstract: We consider the asymptotic behavior of solutions to an obstacle problem for the mean curvature flow equation by using a game-theoretic approximation, to which we extend that of Kohn and Serfaty (2006). Kohn and Serfaty (2006) give a deterministic two-person zero-sum game whose value functions approximate the solution to the level set mean curvature flow equation without obstacle functions. We prove that moving curves governed by the mean curvature flow converge in time to the boundary of the convex hull of obstacles under some assumptions on the initial curves and obstacles. Convexity of the initial set, as well as smoothness of the initial curves and obstacles, are not needed. In these proofs, we utilize properties of the game trajectories given by very elementary game strategies and consider reachability of each player. Also, when the equation has a driving force term, we present several examples of the asymptotic behavior, including a problem dealt in Giga, Mitake and Tran (2016).


title: Superconductivity and metallic behavior in heavily doped bulk single crystal diamond and graphene/diamond heterostructure

abstract: Owing to extremely large band gap of 5.5 eV and high thermal conductivity, diamond is recognized as the most important semiconductor. The superconductivity of polycrystalline diamond has always been reported, but there are also many controversies over the existence of superconductivity in bulk single crystal diamond and it remains a question whether a metallic state exists for such a large band gap semiconductor. Herein, we realize a single crystal superconducting diamond with a Hall carrier concentration larger than 3*1020 cm-3 by co-doped of boron and nitrogen. Furthermore, we show that diamond can transform from superconducting to metallic state under similar carrier concentration with tuned carrier mobility degrading from 9.10 cm2 V-1 s-1 or 5.30 cm2 V-1 s-1 to 2.66 cm2 V-1 s-1 or 1.34 cm2 V-1 s-1. Through integrating graphene on a nitrogen and boron heavily co-doped diamond, the monolayer graphene can be superconducting through combining Andreev reflection and exciton mediated superconductivity, which may intrigue more interesting superconducting behavior of diamond heterostructure.


title: Causal Fermion Systems and Octonions

abstract: We compare the structures and methods in the theory of causal fermion systems with approaches to fundamental physics based on division algebras, in particular the octonions. We find that octonions and, more generally, tensor products of division algebras come up naturally to describe the symmetries of the vacuum configuration of a causal fermion system. This is achieved by associating the real and imaginary octonion basis elements with the neutrino and charged sectors of the vacuum fermionic projector, respectively. Conversely, causal fermion systems provide octonionic theories with spacetime structures and dynamical equations via the causal action principle. In this way, octonionic theories and causal fermion systems complement each other.


title: Cooperatively Modulating Magnetic Anisotropy and Colossal Magnetoresistance via Atomic-Scale Buffer Layers in Highly Strained La0.7Sr0.3MnO3 Films

abstract: Simultaneous control of magnetic anisotropy and magnetoresistance, especially with atomic scale precision, remains a pivotal challenge for realizing advanced spintronic functionalities. Here we demonstrate cooperative continuous control over both magnetoresistance and magnetic anisotropy in highly strained La0.7Sr0.3MnO3 (LSMO) thin films. By inserting varying perovskite buffer layers, compressively strained LSMO films transition from a ferromagnetic insulator with out-of-plane magnetic anisotropy to a metallic state with in-plane anisotropy. Atomic-scale buffer layer insertion enables remarkably acute, precise control to sharply modulate this magnetic phase transformation. A gigantic 10,000% modulation of the colossal magnetoresistance (CMR) and an exceptionally sharp transition from out-of-plane to in-plane magnetic anisotropy are attained in just a few contiguous layers. These atomic-scale correlations among electronic, magnetic, and structural order parameters yield flexible multifunctional control promising for next-generation oxide spintronics.


title: Equivariant cohomology for cyclic groups

abstract: In this paper, we compute the $RO(C_n)$-graded coefficient ring of equivariant cohomology for cyclic groups $C_n$, in the case of Burnside ring coefficients, and in the case of constant coefficients. We use the invertible Mackey functors under the box product to reduce the gradings in the computation from $RO(C_n)$ to those expressable as combinations of $\lambda^d$ for divisors $d$ of $n$, where $\lambda$ is the inclusion of $C_n$ in $S^1$ as the roots of unity. We make explicit computations for the geometric fixed points for Burnside ring coefficients, and in the positive cone for constant coefficients. The positive cone is also computed for the Burnside ring in the case of prime power order, and in the case of square free order. Finally, we also make computations at non-negative gradings for the constant coefficients.


title: SFQ counter-based precomputation for large-scale cryogenic VQE machines

abstract: The variational quantum eigensolver (VQE) is a promising candidate that brings practical benefits from quantum computing. However, the required bandwidth in/out of a cryostat is a limiting factor to scale cryogenic quantum computers. We propose a tailored counter-based module with single flux quantum circuits in 4-K stage which precomputes a part of VQE calculation and reduces the amount of inter-temperature communication. The evaluation shows that our system reduces the required bandwidth by 97%, and with this drastic reduction, total power consumption is reduced by 93% in the case where 277 VQE programs are executed in parallel on a 10000-qubit machine.


title: Optimal Control of a Diffusive Epidemiological Model Involving the Caputo-Fabrizio Fractional Time-Derivative

abstract: In this work we study a fractional SEIR biological model of a reaction-diffusion, using the non-singular kernel Caputo-Fabrizio fractional derivative in the Caputo sense and employing the Laplacian operator. In our PDE model, the government seeks immunity through the vaccination program, which is considered a control variable. Our study aims to identify the ideal control pair that reduces the number of infected/infectious people and the associated vaccine and treatment costs over a limited time and space. Moreover, by using the forward-backward algorithm, the approximate results are explained by dynamic graphs to monitor the effectiveness of vaccination.


title: Can a Funny Chatbot Make a Difference? Infusing Humor into Conversational Agent for Behavioral Intervention

abstract: Regular physical activity is crucial for reducing the risk of non-communicable disease (NCD). With NCDs on the rise globally, there is an urgent need for effective health interventions, with chatbots emerging as a viable and cost-effective option because of limited healthcare accessibility. Although health professionals often utilize behavior change techniques (BCTs) to boost physical activity levels and enhance client engagement and motivation by affiliative humor, the efficacy of humor in chatbot-delivered interventions is not well-understood. This study conducted a randomized controlled trial to examine the impact of the generative humorous communication style in a 10-day chatbot-delivered intervention for physical activity. It further investigated if user engagement and motivation act as mediators between the communication style and changes in physical activity levels. 66 participants engaged with the chatbots across three groups (humorous, non-humorous, and no-intervention) and responded to daily ecological momentary assessment questionnaires assessing engagement, motivation, and physical activity levels. Multilevel time series analyses revealed that an affiliative humorous communication style positively impacted physical activity levels over time, with user engagement acting as a mediator in this relationship, whereas motivation did not. These findings clarify the role of humorous communication style in chatbot-delivered physical activity interventions, offering valuable insights for future development of intelligent conversational agents incorporating humor.


title: Exploring the dynamic interplay of cognitive load and emotional arousal by using multimodal measurements: Correlation of pupil diameter and emotional arousal in emotionally engaging tasks

abstract: Multimodal data analysis and validation based on streams from state-of-the-art sensor technology such as eye-tracking or emotion recognition using the Facial Action Coding System (FACTs) with deep learning allows educational researchers to study multifaceted learning and problem-solving processes and to improve educational experiences. This study aims to investigate the correlation between two continuous sensor streams, pupil diameter as an indicator of cognitive workload and FACTs with deep learning as an indicator of emotional arousal (RQ 1a), specifically for epochs of high, medium, and low arousal (RQ 1b). Furthermore, the time lag between emotional arousal and pupil diameter data will be analyzed (RQ 2). 28 participants worked on three cognitively demanding and emotionally engaging everyday moral dilemmas while eye-tracking and emotion recognition data were collected. The data were pre-processed in Phyton (synchronization, blink control, downsampling) and analyzed using correlation analysis and Granger causality tests. The results show negative and statistically significant correlations between the data streams for emotional arousal and pupil diameter. However, the correlation is negative and significant only for epochs of high arousal, while positive but non-significant relationships were found for epochs of medium or low arousal. The average time lag for the relationship between arousal and pupil diameter was 2.8 ms. In contrast to previous findings without a multimodal approach suggesting a positive correlation between the constructs, the results contribute to the state of research by highlighting the importance of multimodal data validation and research on convergent vagility. Future research should consider emotional regulation strategies and emotional valence.


title: A Novel Quantum Algorithm for Ant Colony Optimization

abstract: Quantum ant colony optimization (QACO) has drew much attention since it combines the advantages of quantum computing and ant colony optimization (ACO) algorithms and overcomes some limitations of the traditional ACO algorithm. However, due to the hardware resource limitations of currently available quantum computers, such as the limited number of qubits, lack of high-fidelity gating operation, and low noisy tolerance, the practical application of the QACO is quite challenging. In this paper, we introduce a hybrid quantum-classical algorithm by combining the clustering algorithm with QACO algorithm, so that this extended QACO can handle large-scale optimization problems, which makes the practical application of QACO based on available quantum computation resource possible. To verify the effectiveness and performance of the algorithm, we tested the developed QACO algorithm with the Travelling Salesman Problem (TSP) as benchmarks. The developed QACO algorithm shows better performance under multiple data set. In addition, the developed QACO algorithm also manifests the robustness to noise of calculation process, which is typically a major barrier for practical application of quantum computers. Our work shows that the combination of the clustering algorithm with QACO has effectively extended the application scenario of QACO in current NISQ era of quantum computing.


title: Recommending Target Actions Outside Sessions in the Data-poor Insurance Domain

abstract: Providing personalized recommendations for insurance products is particularly challenging due to the intrinsic and distinctive features of the insurance domain. First, unlike more traditional domains like retail, movie etc., a large amount of user feedback is not available and the item catalog is smaller. Second, due to the higher complexity of products, the majority of users still prefer to complete their purchases over the phone instead of online. We present different recommender models to address such data scarcity in the insurance domain. We use recurrent neural networks with 3 different types of loss functions and architectures (cross-entropy, censored Weibull, attention). Our models cope with data scarcity by learning from multiple sessions and different types of user actions. Moreover, differently from previous session-based models, our models learn to predict a target action that does not happen within the session. Our models outperform state-of-the-art baselines on a real-world insurance dataset, with ca. 44K users, 16 items, 54K purchases and 117K sessions. Moreover, combining our models with demographic data boosts the performance. Analysis shows that considering multiple sessions and several types of actions are both beneficial for the models, and that our models are not unfair with respect to age, gender and income.


title: Hybrid ultrathin metasurface for broadband sound absorption

abstract: To this day, achieving broadband low-frequency sound absorption remains a challenge even with the possibilities promised by the advent of metamaterials and metasurfaces, especially when size and structural restrictions exist. Solving this engineering challenge relies on stringent impedance matching and coupling of the multiple independent local resonators in metasurface absorbers. In this letter, we present an innovative design approach to broaden the sound absorption bandwidth at low-frequency regime. A hybrid metasurface design is proposed where four coupled planar coiled resonators are also coupled to a well designed thin planar cavity. This hybrid metasurface creates a broad sound absorption band (130-200 Hz) that is twice as wide as that of the traditional single layer metasurface utilizing four coiled cavities at a deep sub-wavelength thickness (< {\lambda}/51). This design strategy open routes towards engineering a class of high performance thin metasurfaces for ultra-broadband sound absorption while keeping the planar size unchanged.


title: Post-decoder Biasing for End-to-End Speech Recognition of Multi-turn Medical Interview

abstract: End-to-end (E2E) approach is gradually replacing hybrid models for automatic speech recognition (ASR) tasks. However, the optimization of E2E models lacks an intuitive method for handling decoding shifts, especially in scenarios with a large number of domain-specific rare words that hold specific important meanings. Furthermore, the absence of knowledge-intensive speech datasets in academia has been a significant limiting factor, and the commonly used speech corpora exhibit significant disparities with realistic conversation. To address these challenges, we present Medical Interview (MED-IT), a multi-turn consultation speech dataset that contains a substantial number of knowledge-intensive named entities. We also explore methods to enhance the recognition performance of rare words for E2E models. We propose a novel approach, post-decoder biasing, which constructs a transform probability matrix based on the distribution of training transcriptions. This guides the model to prioritize recognizing words in the biasing list. In our experiments, for subsets of rare words appearing in the training speech between 10 and 20 times, and between 1 and 5 times, the proposed method achieves a relative improvement of 9.3% and 5.1%, respectively.


title: Quasi-one-dimensional spin transport in altermagnetic $Z^3$ nodal net metals

abstract: In three dimensions, quasi-one-dimensional (Q1D) transport has traditionally been associated with systems featuring a Q1D chain structure. Here, based on first-principle calculations, we go beyond the common belief to show that the Q1D transport can also be realized in many three-dimensional (3D) altermagnetic (AM) metals with a topological nodal net in momentum space but lacking Q1D chain structure in real space, including the existing compounds $\beta$-Fe$_2$(PO$_4$)O, Co$_2$(PO$_4$)O, and LiTi$_2$O$_4$. These materials exhibit an AM ground state and feature an ideal crossed $Z^3$ Weyl nodal line in each spin channel, formed by three straight and flat nodal lines traversing the entire Brillouin zone. These nodal lines eventually lead to an AM $Z^3$ nodal net. Surprisingly, longitudinal conductivity $\sigma_{xx}$ in these topological nodal net metals is dozens of times larger than $\sigma_{yy}$ and $\sigma_{zz}$ in the up-spin channel, while $\sigma_{yy}$ dominates transport in the down-spin channel. This suggests a distinctive Q1D transport signature in each spin channel, with orthogonal principal moving directions for the two spin channels, resulting in Q1D direction-dependent spin transport. This novel phenomenon cannot be found in both conventional 3D bulk materials and Q1D chain materials. In particular, it gradually disappears as the Fermi level moves away from the nodal net, further confirming its topological origin. Our work not only enhances the comprehension of topological physics in altermagnets but also opens a new direction for the exploration of topological spintronics.


title: HyperSDFusion: Bridging Hierarchical Structures in Language and Geometry for Enhanced 3D Text2Shape Generation

abstract: 3D shape generation from text is a fundamental task in 3D representation learning. The text-shape pairs exhibit a hierarchical structure, where a general text like ``chair" covers all 3D shapes of the chair, while more detailed prompts refer to more specific shapes. Furthermore, both text and 3D shapes are inherently hierarchical structures. However, existing Text2Shape methods, such as SDFusion, do not exploit that. In this work, we propose HyperSDFusion, a dual-branch diffusion model that generates 3D shapes from a given text. Since hyperbolic space is suitable for handling hierarchical data, we propose to learn the hierarchical representations of text and 3D shapes in hyperbolic space. First, we introduce a hyperbolic text-image encoder to learn the sequential and multi-modal hierarchical features of text in hyperbolic space. In addition, we design a hyperbolic text-graph convolution module to learn the hierarchical features of text in hyperbolic space. In order to fully utilize these text features, we introduce a dual-branch structure to embed text features in 3D feature space. At last, to endow the generated 3D shapes with a hierarchical structure, we devise a hyperbolic hierarchical loss. Our method is the first to explore the hyperbolic hierarchical representation for text-to-shape generation. Experimental results on the existing text-to-shape paired dataset, Text2Shape, achieved state-of-the-art results. We release our implementation under HyperSDFusion.github.io.


title: Frobenius rigidity in $\mathbb A^1$-homotopy theory

abstract: We study the homotopy fixed points under the Frobenius endomorphism on the stable $\mathbb A^1$-homotopy category of schemes in characteristic $p>0$ and prove a rigidity result for cellular objects in these categories after inverting $p$. As a consequence we determine the analogous fixed points on the $K$-theory of algebraically closed fields in positive characteristic. We also prove a rigidity result for the homotopy fixed points of the partial Frobenius pullback on motivic cohomology groups in weights at most $1$.


title: Amoeba Measures of Random Plane Curves

abstract: We prove that the expected area of the amoeba of a complex plane curve of degree $d$ is less than $\displaystyle{3\ln(d)^2/2+9\ln(d)+9}$ and once rescaled by $\ln(d)^2$, is asymptotically bounded from below by $3/4$. In order to get this lower bound, given disjoint isometric embeddings of a bidisc of size $1/\sqrt{d}$ in the complex projective plane, we lower estimate the probability that one of them is a submanifold chart of a complex plane curve. It exponentially converges to one as the number of bidiscs grow to $+\infty$.


title: Polarization-dependent effects in vibrational absorption spectra of 2D finite-size adsorbate islands on dielectric substrates

abstract: In the last years, Infrared Reflection-Absorption Spectroscopy (IRRAS) became a standard technique to study vibrational excitations of molecules. These investigations are strongly motivated by perspective applications in monitoring chemical processes. For a better understanding of the adsorption mechanism of molecules on dielectrics, the polarization-dependence of an interaction of infrared light with adsorbates at dielectric surfaces is commonly used. Thus, the peak positions in absorption spectra could be different for s- and p-polarized light. This shift between the peak positions depends on both the molecule itself and the dielectric substrate. While the origin of this shift is well understood for infinite two-dimensional adsorbate layers, finite-size samples, which consist of 2D islands of a small number of molecules, have never been considered. Here, we present a study on polarization-dependent finite-size effects in the optical response of such islands on dielectric substrates. The study uses a multi-scale modeling approach that connects quantum chemistry calculations to Maxwell scattering simulations. We distinguish the optical response of a single molecule, a finite number of molecules, and a two-dimensional adsorbate layer. We analyze CO and CO$_2$ molecules deposited on CeO$_2$ and Al$_2$O$_3$ substrates. The evolution of the shift between the polarization-dependent absorbance peaks is firstly studied for a single molecule, which it does not exhibit for at all, and for finite molecular islands, which it increases with increasing island size for, as well as for an infinite two-dimensional adsorbate layer. In the latter case, the agreement between the obtained results and the experimental IRRAS data and more traditional three/four-layer-model theoretical studies supports the predictive power of the multi-scale approach.


title: Spurious Feature Eraser: Stabilizing Test-Time Adaptation for Vision-Language Foundation Model

abstract: Vision-language foundation models have exhibited remarkable success across a multitude of downstream tasks due to their scalability on extensive image-text paired data. However, these models also display significant limitations when applied to downstream tasks, such as fine-grained image classification, as a result of ``decision shortcuts'' that hinder their generalization capabilities. In this work, we find that the CLIP model possesses a rich set of features, encompassing both \textit{desired invariant causal features} and \textit{undesired decision shortcuts}. Moreover, the underperformance of CLIP on downstream tasks originates from its inability to effectively utilize pre-trained features in accordance with specific task requirements. To address this challenge, we propose a simple yet effective method, Spurious Feature Eraser (SEraser), to alleviate the decision shortcuts by erasing the spurious features. Specifically, we introduce a test-time prompt tuning paradigm that optimizes a learnable prompt, thereby compelling the model to exploit invariant features while disregarding decision shortcuts during the inference phase. The proposed method effectively alleviates excessive dependence on potentially misleading spurious information. We conduct comparative analysis of the proposed method against various approaches which validates the significant superiority.


title: Emergence of Accurate Atomic Energies from Machine Learned Noble Gas Potentials

abstract: The quantum theory of atoms in molecules (QTAIM) gives access to well-defined local atomic energies. Due to their locality, these energies are potentially interesting in fitting atomistic machine learning models as they inform about physically relevant properties. However, computationally, quantum-mechanically accurate local energies are notoriously difficult to obtain for large systems. Here, we show that by employing semi-empirical correlations between different components of the total energy, we can obtain well-defined local energies at a moderate cost. We employ this methodology to investigate energetics in noble liquids or argon, krypton, and their mixture. Instead of using these local energies to fit atomistic models, we show how well these local energies are reproduced by machine-learned models trained on the total energies. The results of our investigation suggest that smaller neural networks, trained only on the total energy of an atomistic system, are more likely to reproduce the underlying local energy partitioning faithfully than larger networks. Furthermore, we demonstrate that networks more capable of this energy decomposition are, in turn, capable of transferring to previously unseen systems. Our results are a step towards understanding how much physics can be learned by neural networks and where this can be applied, particularly how a better understanding of physics aids in the transferability of these neural networks.


title: A group action on cyclic compositions and $\gamma$-positivity

abstract: Let $w_{n,k,m}$ be the number of Dyck paths of semilength $n$ with $k$ occurrences of $UD$ and $m$ occurrences of $UUD$. We establish in two ways a new interpretation of the numbers $w_{n,k,m}$ in terms of plane trees and internal nodes. The first way builds on a new characterization of plane trees that involves cyclic compositions. The second proof utilizes a known interpretation of $w_{n,k,m}$ in terms of plane trees and leaves, and a recent involution on plane trees constructed by Li, Lin, and Zhao. Moreover, a group action on the set of cyclic compositions (or equivalently, $2$-dominant compositions) is introduced, which amounts to give a combinatorial proof of the $\gamma$-positivity of the Narayana polynomial, as well as the $\gamma$-positivity of the polynomial $W_{2k+1,k}(t):=\sum_{1\le m\le k}w_{2k+1,k,m}t^m$ previously obtained by B\'{o}na et al, with apparently new combinatorial interpretations of their $\gamma$-coefficients.


title: The Impact of Frequency Bands on Acoustic Anomaly Detection of Machines using Deep Learning Based Model

abstract: In this paper, we propose a deep learning based model for Acoustic Anomaly Detection of Machines, the task for detecting abnormal machines by analysing the machine sound. By conducting extensive experiments, we indicate that multiple techniques of pseudo audios, audio segment, data augmentation, Mahalanobis distance, and narrow frequency bands, which mainly focus on feature engineering, are effective to enhance the system performance. Among the evaluating techniques, the narrow frequency bands presents a significant impact. Indeed, our proposed model, which focuses on the narrow frequency bands, outperforms the DCASE baseline on the benchmark dataset of DCASE 2022 Task 2 Development set. The important role of the narrow frequency bands indicated in this paper inspires the research community on the task of Acoustic Anomaly Detection of Machines to further investigate and propose novel network architectures focusing on the frequency bands.


title: A sharp Sobolev trace inequality of order four on three-balls

abstract: We establish a fourth order sharp Sobolev trace inequality on three-balls, and its equivalence to a third order sharp Sobolev inequality on two-spheres.


title: Structured Deep Neural Networks-Based Backstepping Trajectory Tracking Control for Lagrangian Systems

abstract: Deep neural networks (DNN) are increasingly being used to learn controllers due to their excellent approximation capabilities. However, their black-box nature poses significant challenges to closed-loop stability guarantees and performance analysis. In this paper, we introduce a structured DNN-based controller for the trajectory tracking control of Lagrangian systems using backing techniques. By properly designing neural network structures, the proposed controller can ensure closed-loop stability for any compatible neural network parameters. In addition, improved control performance can be achieved by further optimizing neural network parameters. Besides, we provide explicit upper bounds on tracking errors in terms of controller parameters, which allows us to achieve the desired tracking performance by properly selecting the controller parameters. Furthermore, when system models are unknown, we propose an improved Lagrangian neural network (LNN) structure to learn the system dynamics and design the controller. We show that in the presence of model approximation errors and external disturbances, the closed-loop stability and tracking control performance can still be guaranteed. The effectiveness of the proposed approach is demonstrated through simulations.


title: Optimization of 3-D flight trajectory of variable trim kites for airborne wind energy production

abstract: Skysails Power GmbH is the leading manufacturer of light and efficient power kites that harness the wind's untapped supplies at high altitudes, aiming at profoundly altering wind energy's impact in achieving the global energy transition. Novel, variable trim kites have been developed that allow to modulate the aerodynamic coefficients of the airborne system, significantly improving the overall system efficiency. The flight control of variable trim kites is much more complex than that of previous kite generations and its mastering is a challenge and one of the keys to a successful operation. Numerical optimization is applied to find a set of flight trajectories in order to maximize the energy production while satisfying several constraints on the system operating in a wide range of conditions. This industry abstract provides a general introduction of the trajectory optimization problem with variable trim kites. We also briefly introduce the state-of-the-art optimization setup. This is followed by demonstration of high-quality example results of the optimization. Finally, we discuss the results and their applications.


title: The Mollified (Discrete) Uniform Distribution and its Applications

abstract: The mollified uniform distribution is rediscovered, which constitutes a ``soft'' version of the continuous uniform distribution. Important stochastic properties are derived and used to demonstrate potential fields of applications. For example, it constitutes a model covering platykurtic, mesokurtic and leptokurtic shapes. Its cumulative distribution function may also serve as the soft-clipping response function for defining generalized linear models with approximately linear dependence. Furthermore, it might be considered for teaching, as an appealing example for the convolution of random variables. Finally, a discrete type of mollified uniform distribution is briefly discussed as well.


title: Penalization of Galton Watson trees with marked vertices

abstract: We consider a Galton-Watson tree where each node is marked independently of each others with a probability depending on itsout-degree. Using a penalization method, we exhibit new martingales where the number of marks up to level n -- 1 appears. Then, we use these martingales to define new probability measures via a Girsanov transformation and describe the distribution of the random trees under these new probabilities.


title: Classical and Bayesian statistical methods for low-level metrology

abstract: This document presents the statistical methods used to process low-level measurements in the presence of noise. These methods can be classical or Bayesian. The question is placed in the general framework of the problem of nuisance parameters, one of the canonical problems of statistical inference. By using a simple criterion proposed by Bolstad (2007), it is possible to define statistically significant results during a measurement process (act of measuring in the vocabulary of metrology). This result is similar for a classic paradigm (called ``frequentist'') or Bayesian: the presence of zero in the interval considered (confidence or credibility). It is shown that in the case of homoskedastic Gaussians, the commonly used results are found. The case of Poisson distributions is then considered. In the case of heteroscedastic Gaussians, which is that of radioactivity measurement, we can consider them as Poisson laws in the limit of large counts. The results are different from those commonly used, and in particular those from standards (ISO 11929). Their statistical performances, characterized by simulation, are better and are well verified experimentally. This is confirmed theoretically by the use of the Neyman-Pearson lemma which makes it possible to formally determine the statistical tests with the best performances. These results also make it possible to understand the paradox of the possible divergence of the detection limit. It is also formally shown that the confidence intervals thus calculated by getting rid of the nuisance parameter according to established methods result in the commonly used confidence interval. To our knowledge, this constitutes the first formal derivation of these confidence intervals.This method is based on keeping the measurement results whether they are significant or not (not censoring them). This is recommended in several standards or documents, is compatible with the ISO 11929 standard and is in line with recent proposals in the field of statistics. On the other hand, all the information necessary to determine whether a measurement result is significant or not remains available. The conservation and restitution of all results is currently applied in the USA. The textbook case of the WIPP incident makes it possible to ensure favorable public perception.The implications and applications of this method in different fields are finally discussed.


title: Quantitative estimates of $L^p$ maximal regularity for nonautonomous operators and global existence for quasilinear equations

abstract: In this work, we obtain quantitative estimates of the continuity constant for the $L^p$ maximal regularity of relatively continuous nonautonomous operators $\mathbb{A} : I \longrightarrow \mathcal{L}(D,X)$, where $D \subset X$ densely and compactly. They allow in particular to establish a new general growth condition for the global existence of strong solutions of Cauchy problems for nonlocal quasilinear equations for a certain class of nonlinearities $u \longrightarrow \mathbb{A}(u)$. The estimates obtained rely on the precise asymptotic analysis of the continuity constant with respect to perturbations of the operator of the form $\mathbb{A}(\cdot) + \lambda I$ as $\lambda \longrightarrow \pm \infty$. A complementary work in preparation supplements this abstract inquiry with an application of these results to nonlocal parabolic equations in noncylindrical domains depending on the time variable.


title: For time-invariant delay systems, global asymptotic stability does not imply uniform global attractivity

abstract: Adapting a counterexample recently proposed by J.L. Mancilla-Aguilar and H. Haimovich, we show here that, for time-delay systems, global asymptotic stability does not ensure that solutions converge uniformly to zero over bounded sets of initial states. Hence, the convergence might be arbitrarily slow even if initial states are confined to a bounded set.


title: New Rigidity Results for Critical Metrics of Some Quadratic Curvature Functionals

abstract: We prove a new rigidity result for metrics defined on closed smooth $ n $-manifolds that are critical for the quadratic functional $ \mathfrak{F}_{t} $, which depends on the Ricci curvature $ Ric $ and the scalar curvature $ R $, and that satisfy a pinching condition of the form $ Sec > \epsilon R $, where $ \epsilon $ is a function of $ t $ and $ n $, while $ Sec $ denotes the sectional curvature. In particular, we show that Bach-flat metrics with constant scalar curvature satisfying $ Sec > \frac{1}{48} R $ are Einstein and, by a known result, are isometric to $ \mathbb{S}^{4} $, $ \mathbb{RP}^{4} $ or $ \mathbb{CP}^{2} $.


title: Dynamics of helical vortex filaments in non viscous incompressible flows

abstract: In this paper we study concentrated solutions of the three-dimensional Euler equations in helical symmetry without swirl. We prove that any helical vorticity solution initially concentrated around helices of pairwise distinct radii remains concentrated close to filaments. As suggested by the vortex filament conjecture, we prove that those filaments are translating and rotating helices. Similarly to what is obtained in other frameworks, the localization is weak in the direction of the movement but strong in its normal direction, and holds on an arbitrary long time interval in the naturally rescaled time scale. In order to prove this result, we derive a new explicit formula for the singular part of the Biot-Savart kernel in a two-dimensional reformulation of the problem. This allows us to obtain an appropriate decomposition of the velocity field to reproduce recent methods used to describe the dynamics of vortex rings or point-vortices for the lake equation.


title: Deterministic Weighted Automata under Partial Observability

abstract: Weighted automata is a basic tool for specification in quantitative verification, which allows to express quantitative features of analysed systems such as resource consumption. Quantitative specification can be assisted by automata learning as there are classic results on Angluin-style learning of weighted automata. The existing work assumes perfect information about the values returned by the target weighted automaton. In assisted synthesis of a quantitative specification, knowledge of the exact values is a strong assumption and may be infeasible. In our work, we address this issue by introducing a new framework of partially-observable deterministic weighted automata, in which weighted automata return intervals containing the computed values of words instead of the exact values. We study the basic properties of this framework with the particular focus on the challenges of


title: Perturbative global solutions of a large class of cross diffusion systems in any dimension

abstract: This article focuses on a large family of cross-diffusion systems of the form $\partial$ t U-$\Delta$A(U) = 0, in dimension d $\in$ N * , and where U $\in$ R 2. We show that under natural conditions on the nonlinearity A, those systems have a unique smooth (nonnegative for all components) solution when the initial data are small enough in a suitable norm.


title: Irreducible components of sets of points in the plane that satisfy distance conditions

abstract: For a given graph whose edges are labeled with general real numbers, we consider the set of functions from the vertex set into the Euclidean plane such that the distance between the images of neighbouring vertices is equal to the corresponding edge label. This set of functions can be expressed as the zero set of quadratic polynomials and our main result characterizes the number of complex irreducible components of this zero set in terms of combinatorial properties of the graph. In case the complex components are three-dimensional, then the graph is minimally rigid and the component number is a well-known invariant from rigidity theory. If the components are four-dimensional, then they correspond to one-dimensional coupler curves of flexible planar mechanisms. As an application, we characterize the degree of irreducible components of such coupler curves combinatorially.


title: TRUCE: Private Benchmarking to Prevent Contamination and Improve Comparative Evaluation of LLMs

abstract: Benchmarking is the de-facto standard for evaluating LLMs, due to its speed, replicability and low cost. However, recent work has pointed out that the majority of the open source benchmarks available today have been contaminated or leaked into LLMs, meaning that LLMs have access to test data during pretraining and/or fine-tuning. This raises serious concerns about the validity of benchmarking studies conducted so far and the future of evaluation using benchmarks. To solve this problem, we propose Private Benchmarking, a solution where test datasets are kept private and models are evaluated without revealing the test data to the model. We describe various scenarios (depending on the trust placed on model owners or dataset owners), and present solutions to avoid data contamination using private benchmarking. For scenarios where the model weights need to be kept private, we describe solutions from confidential computing and cryptography that can aid in private benchmarking. We build an end-to-end system, TRUCE, that enables such private benchmarking showing that the overheads introduced to protect models and benchmark are negligible (in the case of confidential computing) and tractable (when cryptographic security is required). Finally, we also discuss solutions to the problem of benchmark dataset auditing, to ensure that private benchmarks are of sufficiently high quality.


title: List-Mode PET Image Reconstruction Using Dykstra-Like Splitting

abstract: Convergence of the block iterative method in image reconstruction for positron emission tomography (PET) requires careful control of relaxation parameters, which is a challenging task. The automatic determination of relaxation parameters for list-mode reconstructions also remains challenging. Therefore, a different approach would be desirable. In this study, we propose a list-mode maximum likelihood Dykstra-like splitting PET reconstruction (LM-MLDS). LM-MLDS converges the list-mode block iterative method by adding the distance from an initial image as a penalty term into an objective function. LM-MLDS takes a two-step approach because its performance depends on the quality of the initial image. The first step uses a uniform image as the initial image, and then the second step uses a reconstructed image after one main iteration as the initial image. In a simulation study, LM-MLDS provided a better tradeoff curve between noise and contrast than the other methods. In a clinical study, LM-MLDS removed the false hotspots at the edge of the axial field of view and improved the image quality of slices covering the top of the head to the cerebellum. List-mode proximal splitting reconstruction is useful not only for optimizing nondifferential functions but also for converging block iterative methods without controlling relaxation parameters.


title: Generalized Carleson Embeddings of M{\"u}ntz Spaces

abstract: This paper establishes Carleson embeddings of M{\"u}ntz spaces $M^q_{\Lambda}$ into weighted Lebesgue spaces $L^p(\mathrm{d}\mu)$, where $\mu$ is a Borel regular measure on $[0,1]$ satisfying $\mu([1-\varepsilon])\lesssim \varepsilon^{\beta}$. In the case $\beta \geqslant 1$ we show that such measures are exactly the ones for which Carleson embeddings $L^{\frac{p}{\beta}} \hookrightarrow L^p(\mathrm{d}\mu)$ hold. The case $\beta \in (0,1)$ is more intricate but we characterize such measures $\mu$ in terms of a summability condition on their moments. Our proof relies on a generalization of $L^p$ estimates {\`a} la Gurariy-Macaev in the weighted $L^p$ spaces setting, which we think can be of interest in other contexts.


title: GLFNET: Global-Local (frequency) Filter Networks for efficient medical image segmentation

abstract: We propose a novel transformer-style architecture called Global-Local Filter Network (GLFNet) for medical image segmentation and demonstrate its state-of-the-art performance. We replace the self-attention mechanism with a combination of global-local filter blocks to optimize model efficiency. The global filters extract features from the whole feature map whereas the local filters are being adaptively created as 4x4 patches of the same feature map and add restricted scale information. In particular, the feature extraction takes place in the frequency domain rather than the commonly used spatial (image) domain to facilitate faster computations. The fusion of information from both spatial and frequency spaces creates an efficient model with regards to complexity, required data and performance. We test GLFNet on three benchmark datasets achieving state-of-the-art performance on all of them while being almost twice as efficient in terms of GFLOP operations.


title: The Price of Fairness in Bipartite Matching

abstract: We investigate notions of group fairness in bipartite matching markets involving agents and jobs, where agents are grouped based on sensitive attributes. Employing a geometric approach, we characterize how many agents can be matched in each group, showing that the set of feasible matchings forms a (discrete) polymatroid. We show how we can define weakly-fair matchings geometrically, for which poly-matroid properties imply that they are maximal. Next, we focus on strong fairness notions (inspired by group-fairness metrics in machine learning), where each group gets their exact same fraction of their entitlement, and we explore the Price of Fairness (PoF), i.e., the loss in optimality when imposing such fairness constraints. Importantly, we advocate for the notion of opportunity fairness, where a group entitlement is the maximum number of agents that can be matched without the presence of other competing groups. We show that the opportunity PoF is bounded independently of the number of agents and jobs, but may be linear in the number of groups. Finally, we provide improved bounds with additional structural properties, or with stochastic graphs.


title: Learning Quadrupedal Locomotion with Impaired Joints Using Random Joint Masking

abstract: Quadrupedal robots have played a crucial role in various environments, from structured environments to complex harsh terrains, thanks to their agile locomotion ability. However, these robots can easily lose their locomotion functionality if damaged by external accidents or internal malfunctions. In this paper, we propose a novel deep reinforcement learning framework to enable a quadrupedal robot to walk with impaired joints. The proposed framework consists of three components: 1) a random joint masking strategy for simulating impaired joint scenarios, 2) a joint state estimator to predict an implicit status of current joint condition based on past observation history, and 3) progressive curriculum learning to allow a single network to conduct both normal gait and various joint-impaired gaits. We verify that our framework enables the Unitree's Go1 robot to walk under various impaired joint conditions in real-world indoor and outdoor environments.


title: As Soon as Possible but Rationally

abstract: This paper addresses complexity problems in rational verification and synthesis for multi-player games played on weighted graphs, where the objective of each player is to minimize the cost of reaching a specific set of target vertices. In these games, one player, referred to as the system, declares his strategy upfront. The other players, composing the environment, then rationally make their moves according to their objectives. The rational behavior of these responding players is captured through two models: they opt for strategies that either represent a Nash equilibrium or lead to a play with a Pareto-optimal cost tuple.


title: Kron reduction of nonlinear networks

abstract: Kron reduction is concerned with the elimination of interior nodes of physical network systems such as linear resistor electrical circuits. In this paper it is shown how this can be extended to networks with nonlinear static relations between the variables associated to the edges of the underlying directed graph.


title: Enhancing Biomechanical Simulations Based on A Posteriori Error Estimates: The Potential of Dual Weighted Residual-Driven Adaptive Mesh Refinement

abstract: The Finite Element Method (FEM) is a well-established procedure for computing approximate solutions to deterministic engineering problems described by partial differential equations. FEM produces discrete approximations of the solution with a discretisation error that can be an be quantified with \emph{a posteriori} error estimates. The practical relevance of error estimates for biomechanics problems, especially for soft tissue where the response is governed by large strains, is rarely addressed. In this contribution, we propose an implementation of \emph{a posteriori} error estimates targeting a user-defined quantity of interest, using the Dual Weighted Residual (DWR) technique tailored to biomechanics. The proposed method considers a general setting that encompasses three-dimensional geometries and model non-linearities, which appear in hyperelastic soft tissues. We take advantage of the automatic differentiation capabilities embedded in modern finite element software, which allows the error estimates to be computed generically for a large class of models and constitutive laws. First we validate our methodology using experimental measurements from silicone samples, and then illustrate its applicability for patient-specific computations of pressure ulcers on a human heel.


title: Spatio-temporal reconstruction of substance dynamics using compressed sensing in multi-spectral magnetic resonance spectroscopic imaging

abstract: The objective of our study is to observe dynamics of multiple substances in vivo with high temporal resolution from multi-spectral magnetic resonance spectroscopic imaging (MRSI) data. The multi-spectral MRSI can effectively separate spectral peaks of multiple substances and is useful to measure spatial distributions of substances. However it is difficult to measure time-varying substance distributions directly by ordinary full sampling because the measurement requires a significantly long time. In this study, we propose a novel method to reconstruct the spatio-temporal distributions of substances from randomly undersampled multi-spectral MRSI data on the basis of compressed sensing (CS) and the partially separable function model with base spectra of substances. In our method, we have employed spatio-temporal sparsity and temporal smoothness of the substance distributions as prior knowledge to perform CS. The effectiveness of our method has been evaluated using phantom data sets of glass tubes filled with glucose or lactate solution in increasing amounts over time and animal data sets of a tumor-bearing mouse to observe the metabolic dynamics involved in the Warburg effect in vivo. The reconstructed results are consistent with the expected behaviors, showing that our method can reconstruct the spatio-temporal distribution of substances with a temporal resolution of four seconds which is extremely short time scale compared with that of full sampling. Since this method utilizes only prior knowledge naturally assumed for the spatio-temporal distributions of substances and is independent of the number of the spectral and spatial dimensions or the acquisition sequence of MRSI, it is expected to contribute to revealing the underlying substance dynamics in MRSI data already acquired or to be acquired in the future.


title: Fractal interpolation in the context of prediction accuracy optimization

abstract: This paper focuses on the hypothesis of optimizing time series predictions using fractal interpolation techniques. In general, the accuracy of machine learning model predictions is closely related to the quality and quantitative aspects of the data used, following the principle of \textit{garbage-in, garbage-out}. In order to quantitatively and qualitatively augment datasets, one of the most prevalent concerns of data scientists is to generate synthetic data, which should follow as closely as possible the actual pattern of the original data. This study proposes three different data augmentation strategies based on fractal interpolation, namely the \textit{Closest Hurst Strategy}, \textit{Closest Values Strategy} and \textit{Formula Strategy}. To validate the strategies, we used four public datasets from the literature, as well as a private dataset obtained from meteorological records in the city of Brasov, Romania. The prediction results obtained with the LSTM model using the presented interpolation strategies showed a significant accuracy improvement compared to the raw datasets, thus providing a possible answer to practical problems in the field of remote sensing and sensor sensitivity. Moreover, our methodologies answer some optimization-related open questions for the fractal interpolation step using \textit{Optuna} framework.


title: Secure Routing for Mobile Ad hoc Networks

abstract: The emergence of the Mobile Ad Hoc Networking (MANET) technology advocates self-organized wireless interconnection of communication devices that would either extend or operate in concert with the wired networking infrastructure or, possibly, evolve to autonomous networks. In either case, the proliferation of MANET-based applications depends on a multitude of factors, with trustworthiness being one of the primary challenges to be met. Despite the existence of well-known security mechanisms, additional vulnerabilities and features pertinent to this new networking paradigm might render such traditional solutions inapplicable. In particular, the absence of a central authorization facility in an open and distributed communication environment is a major challenge, especially due to the need for cooperative network operation. In particular, in MANET, any node may compromise the routing protocol functionality by disrupting the route discovery process. In this paper, we present a route discovery protocol that mitigates the detrimental effects of such malicious behavior, as to provide correct connectivity information. Our protocol guarantees that fabricated, compromised, or replayed route replies would either be rejected or never reach back the querying node. Furthermore, the protocol responsiveness is safeguarded under different types of attacks that exploit the routing protocol itself. The sole requirement of the proposed scheme is the existence of a security association between the node initiating the query and the sought destination. Specifically, no assumption is made regarding the intermediate nodes, which may exhibit arbitrary and malicious behavior. The scheme is robust in the presence of a number of non-colluding nodes, and provides accurate routing information in a timely manner.


title: SoK: Cross-Chain Bridging Architectural Design Flaws and Mitigations

abstract: Cross-chain bridges are solutions that enable interoperability between heterogeneous blockchains. In contrast to the underlying blockchains, the bridges often provide inferior security guarantees and have been targets of hacks causing damage in the range of 1.5 to 2 billion USD in 2022. The current state of bridge architectures is that they are ambiguous, and there is next to no notion of how different architectures and their components are related to different vulnerabilities. Throughout this study, we have analysed 60 different bridges and 34 bridge exploits in the last three years (2021-2023). Our analyses identified 13 architectural components of the bridges. We linked the components to eight types of vulnerabilities, also called design flaws. We identified prevention measures and proposed 11 impact reduction measures based on the existing and possible countermeasures to address the imminent exploits of the design flaws. The results are meant to be used as guidelines for designing and implementing secure cross-chain bridge architectures, preventing design flaws, and mitigating the negative impacts of exploits.


title: Adaptive Restructuring of Merkle and Verkle Trees for Enhanced Blockchain Scalability

abstract: The scalability of blockchain technology remains a pivotal challenge, impeding its widespread adoption across various sectors. This study introduces an innovative approach to address this challenge by proposing the adaptive restructuring of Merkle and Verkle trees, fundamental components of blockchain architecture responsible for ensuring data integrity and facilitating efficient verification processes. Unlike traditional static tree structures, our adaptive model dynamically adjusts the configuration of these trees based on usage patterns, significantly reducing the average path length required for verification and, consequently, the computational overhead associated with these processes. Through a comprehensive conceptual framework, we delineate the methodology for adaptive restructuring, encompassing both binary and non-binary tree configurations. This framework is validated through a series of detailed examples, demonstrating the practical feasibility and the efficiency gains achievable with our approach. Moreover, we present a comparative analysis with existing scalability solutions, highlighting the unique advantages of adaptive restructuring in terms of simplicity, security, and efficiency enhancement without introducing additional complexities or dependencies. This study's implications extend beyond theoretical advancements, offering a scalable, secure, and efficient method for blockchain data verification that could facilitate broader adoption of blockchain technology in finance, supply chain management, and beyond. As the blockchain ecosystem continues to evolve, the principles and methodologies outlined herein are poised to contribute significantly to its growth and maturity.


title: Configurations in the Euclidean space related to the 3D genome reconstruction problem from partially phased data

abstract: A motivation for studying the following problems comes from applications to Biology; see \cite{cifuentes20233d}. In the $3$-dimensional Euclidean space ${\bf{E}}^3$, fix six pairwise distinct points \begin{equation*} \label{eqA} \begin{array}{ccc} A=(a_1,a_2,a_3), & B=(b_1,b_2,b_3), & C=(c_1,c_2,c_3), \\ D=(d_1,d_2,d_3), & E=(e_1,e_2,e_3), & F=(f_1,f_2,f_3) \end{array} \end{equation*} together with two further points $X^*=(x_1^*,x_2^*,x_3^*)$ and $Y^*=(y_1^*,y_2^*,y_3^*)$ in $\mathbf{E}^3$. We aim to show that System $(*)$ consisting of the following six equations in the unknowns $X=(x_1,x_2,x_3)$ and $Y=(y_1,y_2,y_3)$ \begin{equation} \label{egy} \frac{1}{\|X-T\|^2} +\frac{1}{\|Y-T\|^2}=\frac{1}{\|X^*-T\|^2} +\frac{1}{\|Y^*-T\|^2}, \quad T\in\{A,B,\ldots,F\}. \end{equation} has only finitely many solutions provided that both of the following two conditions are satisfied: (i) no four of the fixed points $A,B,C,D,E,F$ are coplanar; (ii) no four of the six spheres of center $T$ and radius $1/\sqrt{k_T}$ with \begin{equation} \label{kxy} k_T=\frac{1}{\|X^*-T\|^2} +\frac{1}{\|Y^*-T\|^2} \end{equation} share a common point in ${\bf{E}}^3$. Furthermore, we exhibit configurations $ABCDEFX^*Y^*$, showing that (i) is also necessary. This result is an improvement on \cite[Theorem 1]{cifuentes20233d} where the finiteness of solutions of System $(*)$ is only ensured for sufficiently generic choices of the points $A,B,\ldots,F,X^*,Y^*.$ We also show if System $(*)$ has finitely many solutions and System $(*)$ extended with $T\in\{A,B,\ldots,F,G\}$ has some solutions other than $(X^*,Y^*)$ and $(Y^*,X^*)$ then $G$ lies on an explicitly given affine variety $W\subsetneqq \mathbb{R}^3$ only depending on $\{A,B,\ldots,F\}$. This result proves the \cite[Conjecture 1]{cifuentes20233d}.


title: Semi-Local Exotic Lagrangian Tori in Dimension Four

abstract: We study exotic Lagrangian tori in dimension four. In certain Stein domains $B_{dpq}$ (which naturally appear in almost toric fibrations) we find $d+1$ families of monotone Lagrangian tori which are mutually distinct, up to symplectomorphisms. We prove that these remain distinct under embeddings of $B_{dpq}$ into geometrically bounded symplectic four-manifolds. We show that there are infinitely many different such embeddings when $X$ is compact and (almost) toric and hence conclude that $X$ contains arbitrarily many Lagrangian tori which are distinct up to symplectomorphisms of $X$. In dimension four arbitrarily many different Lagrangian tori were previously known only in del Pezzo surfaces. Neither the embedded tori, nor the ambient space $X$ needs to be monotone for our methods to work.


title: Provably Robust DPO: Aligning Language Models with Noisy Feedback

abstract: Learning from preference-based feedback has recently gained traction as a promising approach to align language models with human interests. While these aligned generative models have demonstrated impressive capabilities across various tasks, their dependence on high-quality human preference data poses a bottleneck in practical applications. Specifically, noisy (incorrect and ambiguous) preference pairs in the dataset might restrict the language models from capturing human intent accurately. While practitioners have recently proposed heuristics to mitigate the effect of noisy preferences, a complete theoretical understanding of their workings remain elusive. In this work, we aim to bridge this gap by by introducing a general framework for policy optimization in the presence of random preference flips. We focus on the direct preference optimization (DPO) algorithm in particular since it assumes that preferences adhere to the Bradley-Terry-Luce (BTL) model, raising concerns about the impact of noisy data on the learned policy. We design a novel loss function, which de-bias the effect of noise on average, making a policy trained by minimizing that loss robust to the noise. Under log-linear parameterization of the policy class and assuming good feature coverage of the SFT policy, we prove that the sub-optimality gap of the proposed robust DPO (rDPO) policy compared to the optimal policy is of the order $O(\frac{1}{1-2\epsilon}\sqrt{\frac{d}{n}})$, where $\epsilon < 1/2$ is flip rate of labels, $d$ is policy parameter dimension and $n$ is size of dataset. Our experiments on IMDb sentiment generation and Anthropic's helpful-harmless dataset show that rDPO is robust to noise in preference labels compared to vanilla DPO and other heuristics proposed by practitioners.