title: Quasar Island -- Three new $z\sim6$ quasars, including a lensed candidate, identified with contrastive learning

abstract: Of the hundreds of $z\gtrsim6$ quasars discovered to date, only one is known to be gravitationally lensed, despite the high lensing optical depth expected at $z\gtrsim6$. High-redshift quasars are typically identified in large-scale surveys by applying strict photometric selection criteria, in particular by imposing non-detections in bands blueward of the Lyman-$\alpha$ line. Such procedures by design prohibit the discovery of lensed quasars, as the lensing foreground galaxy would contaminate the photometry of the quasar. We present a novel quasar selection methodology, applying contrastive learning (an unsupervised machine learning technique) to Dark Energy Survey imaging data. We describe the use of this technique to train a neural network which isolates an 'island' of 11 sources, of which 7 are known $z\sim6$ quasars. Of the remaining four, three are newly discovered quasars (J0109-5424, $z=6.07$; J0122-4609, $z=5.99$; J0603-3923, $z=5.94$), as confirmed by follow-up Gemini-South/GMOS and archival NTT/EFOSC2 spectroscopy, implying a 91 per cent efficiency for our novel selection method; the final object on the island is a brown dwarf. In one case (J0109-5424), emission below the Lyman limit unambiguously indicates the presence of a foreground source, though high-resolution optical/near-infrared imaging is still needed to confirm the quasar's lensed (multiply-imaged) nature. Detection in the g band has led this quasar to escape selection by traditional colour cuts. Our findings demonstrate that machine learning techniques can thus play a key role in unveiling populations of quasars missed by traditional methods.


title: Quasi-rigid operators and hyper-recurrence

abstract: We study recurrent operators from a new perspective by introducing the notion of hyper-recurrent operators and establish robust connections with quasi-rigid operators. For example, we prove that a recurrent operator on a separable Banach space is quasi-rigid if and only if it is a linear factor of a hyper-recurrent operator, and show that the quasi-rigid operators found in Costakis, Manoussos and Parissis's work, along with many others, are, in fact, hyper-recurrent operators. Furthermore, we provide a negative answer, using a class of operators introduced by Tapia, to the question by Costakis et al. whether $T \oplus T$ is recurrent whenever $T$ is.


title: Scalable Non-Cartesian Magnetic Resonance Imaging with R2D2

abstract: We propose a new approach for non-Cartesian magnetic resonance image reconstruction. While unrolled architectures provide robustness via data-consistency layers, embedding measurement operators in Deep Neural Network (DNN) can become impractical at large scale. Alternative Plug-and-Play (PnP) approaches, where the denoising DNNs are blind to the measurement setting, are not affected by this limitation and have also proven effective, but their highly iterative nature also affects scalability. To address this scalability challenge, we leverage the "Residual-to-Residual DNN series for high-Dynamic range imaging (R2D2)" approach recently introduced in astronomical imaging. R2D2's reconstruction is formed as a series of residual images, iteratively estimated as outputs of DNNs taking the previous iteration's image estimate and associated data residual as inputs. The method can be interpreted as a learned version of the Matching Pursuit algorithm. We demonstrate R2D2 in simulation, considering radial k-space sampling acquisition sequences. Our preliminary results suggest that R2D2 achieves: (i) suboptimal performance compared to its unrolled incarnation R2D2-Net, which is however non-scalable due to the necessary embedding of NUFFT-based data-consistency layers; (ii) superior reconstruction quality to a scalable version of R2D2-Net embedding an FFT-based approximation for data consistency; (iii) superior reconstruction quality to PnP, while only requiring few iterations.


title: WKB asymptotics of Stokes matrices, spectral curves and rhombus inequalities

abstract: We consider an $n\times n$ system of ODEs on $\mathbb{P}^1$ with a simple pole $A$ at $z=0$ and a double pole $u={\rm diag}(u_1, \dots, u_n)$ at $z=\infty$. This is the simplest situation in which the monodromy data of the system are described by upper and lower triangular Stokes matrices $S_\pm$, and we impose reality conditions which imply $S_-=S_+^\dagger$. We study leading WKB exponents of Stokes matrices in parametrizations given by generalized minors and by spectral coordinates, and we show that for $u$ on the caterpillar line (which corresponds to the limit $(u_{j+1}-u_j)/(u_j - u_{j-1}) \to \infty$ for $j=2, \cdots, n-1$), the real parts of these exponents are given by periods of certain cycles on the degenerate spectral curve $\Gamma(u_{\rm cat}(t), A)$. These cycles admit unique deformations for $u$ near the caterpillar line. Using the spectral network theory, we give for $n=2$, and $n=3$ exact WKB predictions for asymptotics of generalized minors in terms of periods of these cycles. Boalch's theorem from Poisson geometry implies that real parts of leading WKB exponents satisfy the rhombus (or interlacing) inequalities. We show that these inequalities are in correspondence with finite webs of the canonical foliation on the root curve $\Gamma^r(u, A)$, and that they follow from the positivity of the corresponding periods. We conjecture that a similar mechanism applies for $n>3$. We also outline the relation of the spectral coordinates with the cluster structures considered by Goncharov-Shen, and with ${\mathcal N}=2$ supersymmetric quantum field theories in dimension four associated with some simple quivers.


title: Multi-Agent Resilient Consensus under Intermittent Faulty and Malicious Transmissions (Extended Version)

abstract: In this work, we consider the consensus problem in which legitimate agents share their values over an undirected communication network in the presence of malicious or faulty agents. Different from the previous works, we characterize the conditions that generalize to several scenarios such as intermittent faulty or malicious transmissions, based on trust observations. As the standard trust aggregation approach based on a constant threshold fails to distinguish intermittent malicious/faulty activity, we propose a new detection algorithm utilizing time-varying thresholds and the random trust values available to legitimate agents. Under these conditions, legitimate agents almost surely determine their trusted neighborhood correctly with geometrically decaying misclassification probabilities. We further prove that the consensus process converges almost surely even in the presence of malicious agents. We also derive the probabilistic bounds on the deviation from the nominal consensus value that would have been achieved with no malicious agents in the system. Numerical results verify the convergence among agents and exemplify the deviation under different scenarios.


title: Reciprocity Calibration of Dual-Antenna Repeaters

abstract: We present a reciprocity calibration method for dual-antenna repeaters in wireless networks. The method uses bi-directional measurements between two network nodes, A and B, where for each bi-directional measurement, the repeaters are configured in different states. The nodes A and B could be two access points in a distributed MIMO system, or they could be a base station and a mobile user terminal, for example. From the calibration measurements, the differences between the repeaters' forward and reverse gains are estimated. The repeaters are then (re-)configured to compensate for these differences such that the repeaters appear, transparently to the network, as reciprocal components of the propagation environment, enabling reciprocity-based beamforming in the network.


title: ELGC-Net: Efficient Local-Global Context Aggregation for Remote Sensing Change Detection

abstract: Deep learning has shown remarkable success in remote sensing change detection (CD), aiming to identify semantic change regions between co-registered satellite image pairs acquired at distinct time stamps. However, existing convolutional neural network and transformer-based frameworks often struggle to accurately segment semantic change regions. Moreover, transformers-based methods with standard self-attention suffer from quadratic computational complexity with respect to the image resolution, making them less practical for CD tasks with limited training data. To address these issues, we propose an efficient change detection framework, ELGC-Net, which leverages rich contextual information to precisely estimate change regions while reducing the model size. Our ELGC-Net comprises a Siamese encoder, fusion modules, and a decoder. The focus of our design is the introduction of an Efficient Local-Global Context Aggregator module within the encoder, capturing enhanced global context and local spatial information through a novel pooled-transpose (PT) attention and depthwise convolution, respectively. The PT attention employs pooling operations for robust feature extraction and minimizes computational cost with transposed attention. Extensive experiments on three challenging CD datasets demonstrate that ELGC-Net outperforms existing methods. Compared to the recent transformer-based CD approach (ChangeFormer), ELGC-Net achieves a 1.4% gain in intersection over union metric on the LEVIR-CD dataset, while significantly reducing trainable parameters. Our proposed ELGC-Net sets a new state-of-the-art performance in remote sensing change detection benchmarks. Finally, we also introduce ELGC-Net-LW, a lighter variant with significantly reduced computational complexity, suitable for resource-constrained settings, while achieving comparable performance. Project url https://github.com/techmn/elgcnet.


title: Beyond chromatic threshold via the $(p,q)$-theorem, and a sharp blow-up phenomenon

abstract: We establish a novel connection between the well-known chromatic threshold problem in extremal combinatorics and the celebrated $(p,q)$-theorem in discrete geometry. In particular, for a graph $G$ with bounded clique number and a natural density condition, we prove a $(p,q)$-theorem for an abstract convexity space associated with $G$. Our result strengthens those of Thomassen and Nikiforov on the chromatic threshold of cliques. Our $(p,q)$-theorem can also be viewed as a $\chi$-boundedness result for (what we call) ultra maximal $K_r$-free graphs. We further show that the graphs under study are blow-ups of constant size graphs, improving a result of Oberkampf and Schacht on homomorphism threshold of cliques. Our result unravels the cause underpinning such a blow-up phenomenon, differentiating the chromatic and homomorphism threshold problems for cliques. It implies that for the homomorphism threshold problem, rather than the minimum degree condition usually considered in the literature, the decisive factor is a clique density condition on co-neighborhoods of vertices. More precisely, we show that if an $n$-vertex $K_{r}$-free graph $G$ satisfies that the common neighborhood of every pair of non-adjacent vertices induces a subgraph with $K_{r-2}$-density at least $\varepsilon>0$, then $G$ must be a blow-up of some $K_r$-free graph $F$ on at most $2^{O(\frac{r}{\varepsilon}\log\frac{1}{\varepsilon})}$ vertices. Furthermore, this single exponential bound is optimal. We construct examples with no $K_r$-free homomorphic image of size smaller than $2^{\Omega_r(\frac{1}{\varepsilon})}$.


title: Domain-Specific Evaluation Strategies for AI in Journalism

abstract: News organizations today rely on AI tools to increase efficiency and productivity across various tasks in news production and distribution. These tools are oriented towards stakeholders such as reporters, editors, and readers. However, practitioners also express reservations around adopting AI technologies into the newsroom, due to the technical and ethical challenges involved in evaluating AI technology and its return on investments. This is to some extent a result of the lack of domain-specific strategies to evaluate AI models and applications. In this paper, we consider different aspects of AI evaluation (model outputs, interaction, and ethics) that can benefit from domain-specific tailoring, and suggest examples of how journalistic considerations can lead to specialized metrics or strategies. In doing so, we lay out a potential framework to guide AI evaluation in journalism, such as seen in other disciplines (e.g. law, healthcare). We also consider directions for future work, as well as how our approach might generalize to other domains.


title: Emergent Anomalous Hydrodynamics at Infinite Temperature in a Long-Range XXZ Model

abstract: The conventional wisdom suggests that transports of conserved quantities in non-integrable quantum many-body systems at high temperatures are diffusive. However, we discover a counterexample of this paradigm by uncovering anomalous hydrodynamics in a spin-1/2 XXZ chain with power-law couplings. This model, classified as non-integrable due to its Wigner-Dyson level-spacing statistics in the random matrix theory, exhibits a surprising superdiffusive-ballistic-superdiffusive transport transition by varying the power-law exponent of couplings for a fixed anisotropy. Our findings are verified by multiple observables, including the spin-spin autocorrelator, mean-square displacement, and spin conductivity. Interestingly, we further quantify the degree of quantum chaos using the Kullback-Leibler divergence between the entanglement entropy distributions of the model's eigenstates and a random state. Remarkably, an observed local maximum in the divergence near the transition boundary suggests a link between anomalous hydrodynamics and a suppression of quantum chaos. This work offers another deep understanding of emergent anomalous transport phenomena in a wider range of non-integrable quantum many-body systems


title: Enhancing Indoor and Outdoor THz Communications with Beyond Diagonal-IRS: Optimization and Performance Analysis

abstract: This work investigates the application of Beyond Diagonal Intelligent Reflective Surface (BD-IRS) to enhance THz downlink communication systems, operating in a hybrid: reflective and transmissive mode, to simultaneously provide services to indoor and outdoor users. We propose an optimization framework that jointly optimizes the beamforming vectors and phase shifts in the hybrid reflective/transmissive mode, aiming to maximize the system sum rate. To tackle the challenges in solving the joint design problem, we employ the conjugate gradient method and propose an iterative algorithm that successively optimizes the hybrid beamforming vectors and the phase shifts. Through comprehensive numerical simulations, our findings demonstrate a significant improvement in rate when compared to existing benchmark schemes, including time- and frequency-divided approaches, by approximately $30.5\%$ and $69.9\%$ respectively and even outperforms the STAR-IRS system by $76.99\%$. This underscores the significant influence of IRS elements on system performance relative to that of base station antennas, highlighting their pivotal role in advancing the communication system efficacy.


title: Hierarchical Multi-label Classification for Fine-level Event Extraction from Aviation Accident Reports

abstract: A large volume of accident reports is recorded in the aviation domain, which greatly values improving aviation safety. To better use those reports, we need to understand the most important events or impact factors according to the accident reports. However, the increasing number of accident reports requires large efforts from domain experts to label those reports. In order to make the labeling process more efficient, many researchers have started developing algorithms to identify the underlying events from accident reports automatically. This article argues that we can identify the events more accurately by leveraging the event taxonomy. More specifically, we consider the problem a hierarchical classification task where we first identify the coarse-level information and then predict the fine-level information. We achieve this hierarchical classification process by incorporating a novel hierarchical attention module into BERT. To further utilize the information from event taxonomy, we regularize the proposed model according to the relationship and distribution among labels. The effectiveness of our framework is evaluated with the data collected by National Transportation Safety Board (NTSB). It has been shown that fine-level prediction accuracy is highly improved, and the regularization term can be beneficial to the rare event identification problem.


title: Leveraging Near-Field Lighting for Monocular Depth Estimation from Endoscopy Videos

abstract: Monocular depth estimation in endoscopy videos can enable assistive and robotic surgery to obtain better coverage of the organ and detection of various health issues. Despite promising progress on mainstream, natural image depth estimation, techniques perform poorly on endoscopy images due to a lack of strong geometric features and challenging illumination effects. In this paper, we utilize the photometric cues, i.e., the light emitted from an endoscope and reflected by the surface, to improve monocular depth estimation. We first create two novel loss functions with supervised and self-supervised variants that utilize a per-pixel shading representation. We then propose a novel depth refinement network (PPSNet) that leverages the same per-pixel shading representation. Finally, we introduce teacher-student transfer learning to produce better depth maps from both synthetic data with supervision and clinical data with self-supervision. We achieve state-of-the-art results on the C3VD dataset while estimating high-quality depth maps from clinical data. Our code, pre-trained models, and supplementary materials can be found on our project page: https://ppsnet.github.io/


title: CMP: Cooperative Motion Prediction with Multi-Agent Communication

abstract: The confluence of the advancement of Autonomous Vehicles (AVs) and the maturity of Vehicle-to-Everything (V2X) communication has enabled the capability of cooperative connected and automated vehicles (CAVs). Building on top of cooperative perception, this paper explores the feasibility and effectiveness of cooperative motion prediction. Our method, CMP, takes LiDAR signals as input to enhance tracking and prediction capabilities. Unlike previous work that focuses separately on either cooperative perception or motion prediction, our framework, to the best of our knowledge, is the first to address the unified problem where CAVs share information in both perception and prediction modules. Incorporated into our design is the unique capability to tolerate realistic V2X bandwidth limitations and transmission delays, while dealing with bulky perception representations. We also propose a prediction aggregation module, which unifies the predictions obtained by different CAVs and generates the final prediction. Through extensive experiments and ablation studies, we demonstrate the effectiveness of our method in cooperative perception, tracking, and motion prediction tasks. In particular, CMP reduces the average prediction error by 17.2\% with fewer missing detections compared with the no cooperation setting. Our work marks a significant step forward in the cooperative capabilities of CAVs, showcasing enhanced performance in complex scenarios.


title: Multi-Agent Clarity-Aware Dynamic Coverage with Gaussian Processes

abstract: This paper presents two algorithms for multi-agent dynamic coverage in spatiotemporal environments, where the coverage algorithms are informed by the method of data assimilation. In particular, we show that by considering the information assimilation algorithm, here a Numerical Gaussian Process Kalman Filter, the influence of measurements taken at one position on the uncertainty of the estimate at another location can be computed. We use this relationship to propose new coverage algorithms. Furthermore, we show that the controllers naturally extend to the multi-agent context, allowing for a distributed-control central-information paradigm for multi-agent coverage. Finally, we demonstrate the algorithms through a realistic simulation of a team of UAVs collecting wind data over a region in Austria.


title: AgentStudio: A Toolkit for Building General Virtual Agents

abstract: Creating autonomous virtual agents capable of using arbitrary software on any digital device remains a major challenge for artificial intelligence. Two key obstacles hinder progress: insufficient infrastructure for building virtual agents in real-world environments, and the need for in-the-wild evaluation of fundamental agent abilities. To address this, we introduce AgentStudio, an online, realistic, and multimodal toolkit that covers the entire lifecycle of agent development. This includes environment setups, data collection, agent evaluation, and visualization. The observation and action spaces are highly generic, supporting both function calling and human-computer interfaces. This versatility is further enhanced by AgentStudio's graphical user interfaces, which allow efficient development of datasets and benchmarks in real-world settings. To illustrate, we introduce a visual grounding dataset and a real-world benchmark suite, both created with our graphical interfaces. Furthermore, we present several actionable insights derived from AgentStudio, e.g., general visual grounding, open-ended tool creation, learning from videos, etc. We have open-sourced the environments, datasets, benchmarks, and interfaces to promote research towards developing general virtual agents for the future.


title: LISA: Layerwise Importance Sampling for Memory-Efficient Large Language Model Fine-Tuning

abstract: The machine learning community has witnessed impressive advancements since large language models (LLMs) first appeared. Yet, their massive memory consumption has become a significant roadblock to large-scale training. For instance, a 7B model typically requires at least 60 GB of GPU memory with full parameter training, which presents challenges for researchers without access to high-resource environments. Parameter Efficient Fine-Tuning techniques such as Low-Rank Adaptation (LoRA) have been proposed to alleviate this problem. However, in most large-scale fine-tuning settings, their performance does not reach the level of full parameter training because they confine the parameter search to a low-rank subspace. Attempting to complement this deficiency, we investigate the layerwise properties of LoRA on fine-tuning tasks and observe an unexpected but consistent skewness of weight norms across different layers. Utilizing this key observation, a surprisingly simple training strategy is discovered, which outperforms both LoRA and full parameter training in a wide range of settings with memory costs as low as LoRA. We name it Layerwise Importance Sampled AdamW (LISA), a promising alternative for LoRA, which applies the idea of importance sampling to different layers in LLMs and randomly freezes most middle layers during optimization. Experimental results show that with similar or less GPU memory consumption, LISA surpasses LoRA or even full parameter tuning in downstream fine-tuning tasks, where LISA consistently outperforms LoRA by over 10%-35% in terms of MT-Bench score while achieving on-par or better performance in MMLU, AGIEval and WinoGrande. On large models, specifically LLaMA-2-70B, LISA surpasses LoRA on MT-Bench, GSM8K, and PubMedQA, demonstrating its effectiveness across different domains.


title: TC4D: Trajectory-Conditioned Text-to-4D Generation

abstract: Recent techniques for text-to-4D generation synthesize dynamic 3D scenes using supervision from pre-trained text-to-video models. However, existing representations for motion, such as deformation models or time-dependent neural representations, are limited in the amount of motion they can generate-they cannot synthesize motion extending far beyond the bounding box used for volume rendering. The lack of a more flexible motion model contributes to the gap in realism between 4D generation methods and recent, near-photorealistic video generation models. Here, we propose TC4D: trajectory-conditioned text-to-4D generation, which factors motion into global and local components. We represent the global motion of a scene's bounding box using rigid transformation along a trajectory parameterized by a spline. We learn local deformations that conform to the global trajectory using supervision from a text-to-video model. Our approach enables the synthesis of scenes animated along arbitrary trajectories, compositional scene generation, and significant improvements to the realism and amount of generated motion, which we evaluate qualitatively and through a user study. Video results can be viewed on our website: https://sherwinbahmani.github.io/tc4d.


title: The Need for Speed: Pruning Transformers with One Recipe

abstract: We introduce the $\textbf{O}$ne-shot $\textbf{P}$runing $\textbf{T}$echnique for $\textbf{I}$nterchangeable $\textbf{N}$etworks ($\textbf{OPTIN}$) framework as a tool to increase the efficiency of pre-trained transformer architectures $\textit{without requiring re-training}$. Recent works have explored improving transformer efficiency, however often incur computationally expensive re-training procedures or depend on architecture-specific characteristics, thus impeding practical wide-scale adoption. To address these shortcomings, the OPTIN framework leverages intermediate feature distillation, capturing the long-range dependencies of model parameters (coined $\textit{trajectory}$), to produce state-of-the-art results on natural language, image classification, transfer learning, and semantic segmentation tasks $\textit{without re-training}$. Given a FLOP constraint, the OPTIN framework will compress the network while maintaining competitive accuracy performance and improved throughput. Particularly, we show a $\leq 2$% accuracy degradation from NLP baselines and a $0.5$% improvement from state-of-the-art methods on image classification at competitive FLOPs reductions. We further demonstrate the generalization of tasks and architecture with comparative performance using Mask2Former for semantic segmentation and cnn-style networks. OPTIN presents one of the first one-shot efficient frameworks for compressing transformer architectures that generalizes well across different class domains, in particular: natural language and image-related tasks, without $\textit{re-training}$.


title: Proofs that Modify Proofs

abstract: In this paper we give an ordinal analysis of the theory of second order arithmetic. We do this by working with proof trees -- that is, "deductions" which may not be well-founded. Working in a suitable theory, we are able to represent functions on proof trees as yet further proof trees satisfying a suitable analog of well-foundedness. Iterating this process allows us to represent higher order functions as well: since functions on proof trees are just proof trees themselves, these functions can easily be extended to act on proof trees which are themselves understood as functions. The corresponding system of ordinals parallels this, using higher order collapsing function.


title: Optimizing Vaccine Site Locations While Considering Travel Inconvenience and Public Health Outcomes

abstract: During the COVID-19 pandemic, there were over three million infections in Los Angeles County (LAC). To facilitate distribution when vaccines first became available, LAC set up six mega-sites for dispensing a large number of vaccines to the public. To understand if another choice of mega-site location would have improved accessibility and health outcomes, and to provide insight into future vaccine allocation problems, we propose a multi-objective mixed integer linear programming model that balances travel convenience, infection reduction, and equitable distribution. We provide a tractable objective formulation that effectively proxies real-world public health goals of reducing infections while considering travel inconvenience and equitable distribution of resources. Compared with the solution empirically used in LAC in 2020, we recommend more dispersed mega-site locations that result in a 28% reduction in travel inconvenience and avert an additional 1,000 infections.


title: AID: Attention Interpolation of Text-to-Image Diffusion

abstract: Conditional diffusion models can create unseen images in various settings, aiding image interpolation. Interpolation in latent spaces is well-studied, but interpolation with specific conditions like text or poses is less understood. Simple approaches, such as linear interpolation in the space of conditions, often result in images that lack consistency, smoothness, and fidelity. To that end, we introduce a novel training-free technique named Attention Interpolation via Diffusion (AID). Our key contributions include 1) proposing an inner/outer interpolated attention layer; 2) fusing the interpolated attention with self-attention to boost fidelity; and 3) applying beta distribution to selection to increase smoothness. We also present a variant, Prompt-guided Attention Interpolation via Diffusion (PAID), that considers interpolation as a condition-dependent generative process. This method enables the creation of new images with greater consistency, smoothness, and efficiency, and offers control over the exact path of interpolation. Our approach demonstrates effectiveness for conceptual and spatial interpolation. Code and demo are available at https://github.com/QY-H00/attention-interpolation-diffusion.


title: Testing the $\mathbf{\Lambda}$CDM Cosmological Model with Forthcoming Measurements of the Cosmic Microwave Background with SPT-3G

abstract: We forecast constraints on cosmological parameters enabled by three surveys conducted with SPT-3G, the third-generation camera on the South Pole Telescope. The surveys cover separate regions of 1500, 2650, and 6000 ${\rm deg}^{2}$ to different depths, in total observing 25% of the sky. These regions will be measured to white noise levels of roughly 2.5, 9, and 12 $\mu{\rm K-arcmin}$, respectively, in CMB temperature units at 150 GHz by the end of 2024. The survey also includes measurements at 95 and 220 GHz, which have noise levels a factor of ~1.2 and 3.5 times higher than 150 GHz, respectively, with each band having a polarization noise level ~$\sqrt{\text{2}}$ times higher than the temperature noise. We use a novel approach to obtain the covariance matrices for jointly and optimally estimated gravitational lensing potential bandpowers and unlensed CMB temperature and polarization bandpowers. We demonstrate the ability to test the $\Lambda{\rm CDM}$ model via the consistency of cosmological parameters constrained independently from SPT-3G and Planck data, and consider the improvement in constraints on $\Lambda{\rm CDM}$ extension parameters from a joint analysis of SPT-3G and Planck data. The $\Lambda{\rm CDM}$ cosmological parameters are typically constrained with uncertainties up to ~2 times smaller with SPT-3G data, compared to Planck, with the two data sets measuring significantly different angular scales and polarization levels, providing additional tests of the standard cosmological model.


title: FastCAR: Fast Classification And Regression Multi-Task Learning via Task Consolidation for Modelling a Continuous Property Variable of Object Classes

abstract: FastCAR is a novel task consolidation approach in Multi-Task Learning (MTL) for a classification and a regression task, despite task heterogeneity with only subtle correlation. It addresses object classification and continuous property variable regression, a crucial use case in science and engineering. FastCAR involves a labeling transformation approach that can be used with a single-task regression network architecture. FastCAR outperforms traditional MTL model families, parametrized in the landscape of architecture and loss weighting schemes, when learning of both tasks are collectively considered (classification accuracy of 99.54%, regression mean absolute percentage error of 2.3%). The experiments performed used an Advanced Steel Property dataset contributed by us. The dataset comprises 4536 images of 224x224 pixels, annotated with object classes and hardness properties that take continuous values. With the labeling transformation and single-task regression network architecture, FastCAR achieves reduced latency and time efficiency.


title: MAGIS: LLM-Based Multi-Agent Framework for GitHub Issue Resolution

abstract: In software development, resolving the emergent issues within GitHub repositories is a complex challenge that involves not only the incorporation of new code but also the maintenance of existing code. Large Language Models (LLMs) have shown promise in code generation but face difficulties in resolving Github issues, particularly at the repository level. To overcome this challenge, we empirically study the reason why LLMs fail to resolve GitHub issues and analyze the major factors. Motivated by the empirical findings, we propose a novel LLM-based Multi-Agent framework for GitHub Issue reSolution, MAGIS, consisting of four agents customized for software evolution: Manager, Repository Custodian, Developer, and Quality Assurance Engineer agents. This framework leverages the collaboration of various agents in the planning and coding process to unlock the potential of LLMs to resolve GitHub issues. In experiments, we employ the SWE-bench benchmark to compare MAGIS with popular LLMs, including GPT-3.5, GPT-4, and Claude-2. MAGIS can resolve 13.94% GitHub issues, significantly outperforming the baselines. Specifically, MAGIS achieves an eight-fold increase in resolved ratio over the direct application of GPT-4, the advanced LLM.


title: The instability mechanism of compact multiplanet systems

abstract: To improve our understanding of orbital instabilities in compact planetary systems, we compare suites of $N$-body simulations against numerical integrations of simplified dynamical models. We show that, surprisingly, dynamical models that account for small sets of resonant interactions between the planets can accurately recover $N$-body instability times. This points towards a simple physical picture in which a handful of three-body resonances (3BRs), generated by interactions between nearby two-body mean motion resonances (MMRs), overlap and drive chaotic diffusion, leading to instability. Motivated by this, we show that instability times are well-described by a power law relating instability time to planet separations, measured in units of fractional semi-major axis difference divided by the planet-to-star mass ratio to the $1/4$ power, rather than the frequently-adopted $1/3$ power implied by measuring separations in units of mutual Hill radii. For idealized systems, the parameters of this power-law relationship depend only on the ratio of the planets' orbital eccentricities to the orbit-crossing value, and we report an empirical fit to enable quick instability time predictions. This relationship predicts that observed systems comprised of three or more sub-Neptune mass planets must be spaced with period ratios $\mathcal{P} \gtrsim 1.35$ and that tightly-spaced systems ($\mathcal{P} \lesssim 1.5$) must possess very low eccentricities ($e \lesssim 0.05$) to be stable for more than $10^9$ orbits.


title: Towards Explaining Hypercomplex Neural Networks

abstract: Hypercomplex neural networks are gaining increasing interest in the deep learning community. The attention directed towards hypercomplex models originates from several aspects, spanning from purely theoretical and mathematical characteristics to the practical advantage of lightweight models over conventional networks, and their unique properties to capture both global and local relations. In particular, a branch of these architectures, parameterized hypercomplex neural networks (PHNNs), has also gained popularity due to their versatility across a multitude of application domains. Nonetheless, only few attempts have been made to explain or interpret their intricacies. In this paper, we propose inherently interpretable PHNNs and quaternion-like networks, thus without the need for any post-hoc method. To achieve this, we define a type of cosine-similarity transform within the parameterized hypercomplex domain. This PHB-cos transform induces weight alignment with relevant input features and allows to reduce the model into a single linear transform, rendering it directly interpretable. In this work, we start to draw insights into how this unique branch of neural models operates. We observe that hypercomplex networks exhibit a tendency to concentrate on the shape around the main object of interest, in addition to the shape of the object itself. We provide a thorough analysis, studying single neurons of different layers and comparing them against how real-valued networks learn. The code of the paper is available at https://github.com/ispamm/HxAI.


title: Reduced Products of Collapsing Algebras

abstract: $\mathop{\rm rp}\nolimits ({\mathbb B})$ denotes the reduced power ${\mathbb B}^\omega /\Phi$ of a Boolean algebra ${\mathbb B}$, where $\Phi$ is the Fr\'{e}chet filter $\Phi$ on $\omega$. We investigate iterated reduced powers ($\mathop{\rm rp}\nolimits ^0 ({\mathbb B})={\mathbb B}$ and $\mathop{\rm rp}\nolimits ^{n+1} ({\mathbb B} )=\mathop{\rm rp}\nolimits (\mathop{\rm rp}\nolimits ^n ({\mathbb B}))$) of collapsing algebras and our main intention is to classify the algebras $\mathop{\rm rp}\nolimits ^n (\mathop{\rm Col}\nolimits (\lambda ,\kappa))$, $n\in {\mathbb N}$, up to isomorphism of their Boolean completions. In particular, assuming that SCH and ${\mathfrak h} =\omega _1$ hold, we show that for any cardinals $\lambda\geq \omega$ and $\kappa \geq 2$ such that $\kappa\lambda >\omega$ and $\mathop{\rm cf}\nolimits (\lambda )\leq {\mathfrak c}$ we have $\mathop{\rm ro} (\mathop{\rm rp}\nolimits ^n(\mathop{\rm Col}\nolimits (\lambda ,\kappa)))\cong \mathop{\rm Col}\nolimits (\omega _1, (\kappa ^{<\lambda })^\omega )$, for each $n\in {\mathbb N}$. If ${\mathfrak b} ={\mathfrak d}$ and $0^\sharp$ does not exist, then the same holds whenever $\mathop{\rm cf}\nolimits (\lambda )= \omega$.


title: Track Everything Everywhere Fast and Robustly

abstract: We propose a novel test-time optimization approach for efficiently and robustly tracking any pixel at any time in a video. The latest state-of-the-art optimization-based tracking technique, OmniMotion, requires a prohibitively long optimization time, rendering it impractical for downstream applications. OmniMotion is sensitive to the choice of random seeds, leading to unstable convergence. To improve efficiency and robustness, we introduce a novel invertible deformation network, CaDeX++, which factorizes the function representation into a local spatial-temporal feature grid and enhances the expressivity of the coupling blocks with non-linear functions. While CaDeX++ incorporates a stronger geometric bias within its architectural design, it also takes advantage of the inductive bias provided by the vision foundation models. Our system utilizes monocular depth estimation to represent scene geometry and enhances the objective by incorporating DINOv2 long-term semantics to regulate the optimization process. Our experiments demonstrate a substantial improvement in training speed (more than \textbf{10 times} faster), robustness, and accuracy in tracking over the SoTA optimization-based method OmniMotion.


title: Controlling the chaotic wake of a flapping foil by tuning its chordwise flexibility

abstract: Effects of chord-wise flexibility as an instrument to control chaotic transitions in the wake of a flexible flapping foil have been studied here using an immersed boundary method-based in-house fluid-structure-interaction solver. The ability of the flapping foil at an optimum level of flexibility to inhibit chaotic transition, otherwise encountered in a similar but rigid configuration, has been highlighted. The rigid foil manifests chaotic transition through a quasi-periodic-intermittency route at high dynamic plunge velocities; whereas, increasing the level of flexibility gradually regularises the aperiodic behaviour through a variety of interesting wake patterns. If flexibility is increased beyond an optimum level, aperiodicity sets in again and robust chaos is restored at very high flexibility levels. The mechanisms of triggering the order-to-chaos transition are different between the rigid and the high flexibility cases. Along the route to order and back to chaos, the flexible foil exhibits different flow-field behaviours, including far-wake switching, primary \& secondary vortex streets, bifurcated wakes and interactive vortices between the bifurcated wakes. The underlying interaction mechanisms of the flow-field vortices responsible for the associated dynamical signatures of the wake have been closely tracked. This study further examines the optimum propulsive performance range of the flexible flapper and investigates its connection with the periodicity/regularity of the system.


title: SLEDGE: Synthesizing Simulation Environments for Driving Agents with Generative Models

abstract: SLEDGE is the first generative simulator for vehicle motion planning trained on real-world driving logs. Its core component is a learned model that is able to generate agent bounding boxes and lane graphs. The model's outputs serve as an initial state for traffic simulation. The unique properties of the entities to be generated for SLEDGE, such as their connectivity and variable count per scene, render the naive application of most modern generative models to this task non-trivial. Therefore, together with a systematic study of existing lane graph representations, we introduce a novel raster-to-vector autoencoder (RVAE). It encodes agents and the lane graph into distinct channels in a rasterized latent map. This facilitates both lane-conditioned agent generation and combined generation of lanes and agents with a Diffusion Transformer. Using generated entities in SLEDGE enables greater control over the simulation, e.g. upsampling turns or increasing traffic density. Further, SLEDGE can support 500m long routes, a capability not found in existing data-driven simulators like nuPlan. It presents new challenges for planning algorithms, evidenced by failure rates of over 40% for PDM, the winner of the 2023 nuPlan challenge, when tested on hard routes and dense traffic generated by our model. Compared to nuPlan, SLEDGE requires 500$\times$ less storage to set up (<4GB), making it a more accessible option and helping with democratizing future research in this field.


title: AiOS: All-in-One-Stage Expressive Human Pose and Shape Estimation

abstract: Expressive human pose and shape estimation (a.k.a. 3D whole-body mesh recovery) involves the human body, hand, and expression estimation. Most existing methods have tackled this task in a two-stage manner, first detecting the human body part with an off-the-shelf detection model and inferring the different human body parts individually. Despite the impressive results achieved, these methods suffer from 1) loss of valuable contextual information via cropping, 2) introducing distractions, and 3) lacking inter-association among different persons and body parts, inevitably causing performance degradation, especially for crowded scenes. To address these issues, we introduce a novel all-in-one-stage framework, AiOS, for multiple expressive human pose and shape recovery without an additional human detection step. Specifically, our method is built upon DETR, which treats multi-person whole-body mesh recovery task as a progressive set prediction problem with various sequential detection. We devise the decoder tokens and extend them to our task. Specifically, we first employ a human token to probe a human location in the image and encode global features for each instance, which provides a coarse location for the later transformer block. Then, we introduce a joint-related token to probe the human joint in the image and encoder a fine-grained local feature, which collaborates with the global feature to regress the whole-body mesh. This straightforward but effective model outperforms previous state-of-the-art methods by a 9% reduction in NMVE on AGORA, a 30% reduction in PVE on EHF, a 10% reduction in PVE on ARCTIC, and a 3% reduction in PVE on EgoBody.


title: OmniVid: A Generative Framework for Universal Video Understanding

abstract: The core of video understanding tasks, such as recognition, captioning, and tracking, is to automatically detect objects or actions in a video and analyze their temporal evolution. Despite sharing a common goal, different tasks often rely on distinct model architectures and annotation formats. In contrast, natural language processing benefits from a unified output space, i.e., text sequences, which simplifies the training of powerful foundational language models, such as GPT-3, with extensive training corpora. Inspired by this, we seek to unify the output space of video understanding tasks by using languages as labels and additionally introducing time and box tokens. In this way, a variety of video tasks could be formulated as video-grounded token generation. This enables us to address various types of video tasks, including classification (such as action recognition), captioning (covering clip captioning, video question answering, and dense video captioning), and localization tasks (such as visual object tracking) within a fully shared encoder-decoder architecture, following a generative framework. Through comprehensive experiments, we demonstrate such a simple and straightforward idea is quite effective and can achieve state-of-the-art or competitive results on seven video benchmarks, providing a novel perspective for more universal video understanding. Code is available at https://github.com/wangjk666/OmniVid.


title: ConvoFusion: Multi-Modal Conversational Diffusion for Co-Speech Gesture Synthesis

abstract: Gestures play a key role in human communication. Recent methods for co-speech gesture generation, while managing to generate beat-aligned motions, struggle generating gestures that are semantically aligned with the utterance. Compared to beat gestures that align naturally to the audio signal, semantically coherent gestures require modeling the complex interactions between the language and human motion, and can be controlled by focusing on certain words. Therefore, we present ConvoFusion, a diffusion-based approach for multi-modal gesture synthesis, which can not only generate gestures based on multi-modal speech inputs, but can also facilitate controllability in gesture synthesis. Our method proposes two guidance objectives that allow the users to modulate the impact of different conditioning modalities (e.g. audio vs text) as well as to choose certain words to be emphasized during gesturing. Our method is versatile in that it can be trained either for generating monologue gestures or even the conversational gestures. To further advance the research on multi-party interactive gestures, the DnD Group Gesture dataset is released, which contains 6 hours of gesture data showing 5 people interacting with one another. We compare our method with several recent works and demonstrate effectiveness of our method on a variety of tasks. We urge the reader to watch our supplementary video at our website.


title: Efficient Video Object Segmentation via Modulated Cross-Attention Memory

abstract: Recently, transformer-based approaches have shown promising results for semi-supervised video object segmentation. However, these approaches typically struggle on long videos due to increased GPU memory demands, as they frequently expand the memory bank every few frames. We propose a transformer-based approach, named MAVOS, that introduces an optimized and dynamic long-term modulated cross-attention (MCA) memory to model temporal smoothness without requiring frequent memory expansion. The proposed MCA effectively encodes both local and global features at various levels of granularity while efficiently maintaining consistent speed regardless of the video length. Extensive experiments on multiple benchmarks, LVOS, Long-Time Video, and DAVIS 2017, demonstrate the effectiveness of our proposed contributions leading to real-time inference and markedly reduced memory demands without any degradation in segmentation accuracy on long videos. Compared to the best existing transformer-based approach, our MAVOS increases the speed by 7.6x, while significantly reducing the GPU memory by 87% with comparable segmentation performance on short and long video datasets. Notably on the LVOS dataset, our MAVOS achieves a J&F score of 63.3% while operating at 37 frames per second (FPS) on a single V100 GPU. Our code and models will be publicly available at: https://github.com/Amshaker/MAVOS.


title: Circuit-centric Genetic Algorithm (CGA) for Analog and Radio-Frequency Circuit Optimization

abstract: This paper presents an automated method for optimizing parameters in analog/high-frequency circuits, aiming to maximize performance parameters of a radio-frequency (RF) receiver. The design target includes a reduction of power consumption and noise figure and an increase in conversion gain. This study investigates the use of an artificial algorithm for the optimization of a receiver, illustrating how to fulfill the performance parameters with diverse circuit parameters. To overcome issues observed in the traditional Genetic Algorithm (GA), the concept of the Circuit-centric Genetic Algorithm (CGA) is proposed as a viable approach. The new method adopts an inference process that is simpler and computationally more efficient than the existing deep learning models. In addition, CGA offers significant advantages over manual design of finding optimal points and the conventional GA, mitigating the designer's workload while searching for superior optimum points.


title: Matrix Domination: Convergence of a Genetic Algorithm Metaheuristic with the Wisdom of Crowds to Solve the NP-Complete Problem

abstract: This research explores the application of a genetic algorithm metaheuristic enriched by the wisdom of crowds in order to address the NP-Complete matrix domination problem (henceforth: TMDP) which is itself a constraint on related problems applied in graphs. Matrix domination involves accurately placing a subset of cells, referred to as dominators, within a matrix with the goal of their dominating the remainder of the cells. This research integrates the exploratory nature of a genetic algorithm with the wisdom of crowds to find more optimal solutions with user-defined parameters to work within computational complexity considerations and gauge performance mainly with a fitness evaluation function and a constraining function to combat the stochastic nature of genetic algorithms. With this, I propose a novel approach to MDP with a genetic algorithm that incorporates the wisdom of crowds, emphasizing collective decision-making in the selection process, and by exploring concepts of matrix permutations and their relevance in finding optimal solutions. Results demonstrate the potential of this convergence to generate efficient solutions, optimizing the trade-off between the number of dominators and their strategic placements within the matrices while efficiently ensuring consistent and complete matrix domination.


title: Navigating the Docker Ecosystem: A Comprehensive Taxonomy and Survey

abstract: The cloud computing landscape is rapidly expanding and growing in complexity. It has witnessed the emergence of Cloud Computing as a widely adopted model for efficiently processing large volumes of data by harnessing clusters of commodity computers. This evolution enables the handling of massive data through on-demand services, relying on numerous microservices with diverse dependencies. The technology of containers ensures secure storage, allowing for largescale data processing with high scalability and portability. Container technology, particularly exemplified by Docker in the last decade, plays a pivotal role in this scenario. It empowers microservices to process data swiftly, enabling developers to dynamically scale these services in real-time. This paper initiates by establishing a comprehensive taxonomy for delineating container architecture. Focusing specifically on Docker containers, we scrutinize various existing container related literature. Through this taxonomy and survey, we not only discern similarities and disparities in the architectural approaches of Docker container technology but also pinpoint areas necessitating further research.


title: Entanglement of temporal sections as quantum histories and their quantum correlation bounds

abstract: In this paper we focus on the underlying quantum structure of temporal correlations and show their peculiar nature which differentiate them from spatial quantum correlations. With a growing interest in representation of quantum states as topological objects, we consider quantum history bundles based on the temporal manifold and show the source of violation of monogamous temporal Bell-like inequalities. We introduce definitions for the mixture of quantum histories and consider their entanglement as sections over the Hilbert vector bundles. As a generalization of temporal Bell-like inequalities, we derive the quantum bound for multi-time Bell-like inequalities.


title: A Note On Lookahead In Real Life And Computing

abstract: Past, Present and Future are considered to be three temporal and logical concepts which are well defined by human beings for their existence and growth. We, as human beings, have the privilege of using our intelligence to mentally execute an activity before physical occurrence of the same in the real world. Knowledge of the past, aplomb of present and visualisation for the future correspond to three concepts such as look-back, look-at and look-ahead respectively in real life as well as in diversified domains of computing. Look-Ahead(LA) deals with the future prediction of information and processing of input to produce the output in advance. In this article, our main objective is to learn, understand and explore the concept of LA and design novel models as solution for real world problems. We present three well known algorithmic frameworks used in practice based on availability of input information such as offline, online and semi-online. We introduce interesting real life applications and well known computing problems where LA plays a significant role for making a process, system or algorithm efficient. We define new types of LA and propose a taxonomy for LA based on literature review for designing novel LA models in future. Using the concept of LA, We identify and present many interesting and non-trivial research challenges as future potential research directions. Intuitively, we observe that LA can be used as a powerful tool and framework for future researchers in design of efficient computational models and algorithms for solving non-trivial and challenging optimization problems.


title: A $(\phi_n, \phi)$-Poincar\'e inequality on John domain

abstract: Given a bounded domain $\Omega \subset {\mathbb R}^{n}$ with $n\ge2$, let $\phi $ is a Young function satisfying the doubling condition with the constant $K_\phi<2^{n}$. If $\Omega$ is a John domain, we show that $\Omega $ supports a $(\phi_{n}, \phi)$-Poincar\'e inequality. Conversely, assume additionally that $\Omega$ is simply connected domain when $n=2$ or a bounded domain which is quasiconformally equivalent to some uniform domain when $n\ge3$. If $\Omega$ supports a $(\phi_n, \phi)$-Poincar\'e inequality, we show that it is a John domain.


title: The sup-completion of a Dedekind complete vector lattice II

abstract: We persist in our investigation of the sup-completion of a Dedekind complete Riesz space, extending to the broader context of Riesz spaces. some results initially obtained by Feng, Li, Shen, and also by Erd\"os, and R\'enyi.


title: A proof of Sylvester's theorem

abstract: We give a new elementary proof of existence and uniqueness of a solution to the Sylvester equation $AX-XB=Y$


title: Nonlinear Heisenberg-Robertson-Schrodinger Uncertainty Principle

abstract: We derive an uncertainty principle for Lipschitz maps acting on subsets of Banach spaces. We show that this nonlinear uncertainty principle reduces to the Heisenberg-Robertson-Schrodinger uncertainty principle for linear operators acting on Hilbert spaces.


title: RLC resonator with diode nonlinearity: Bifurcation comparison of numerical predictions and circuit measurements

abstract: A nonlinear RLC resonator is investigated experimentally and numerically using bifurcation analysis. The nonlinearity is due to the parallel combination of a semiconductor rectifier diode and a fixed capacitor. The diode's junction capacitance, diffusion capacitance, and DC current-voltage relation each contribute to the nonlinearity. The closely related RL-diode resonator has been of interest for many years since its demonstration of period-doubling cascades to chaos. In this study a direct comparison is made of dynamical regime maps produced from simulations and circuit measurements. The maps show the variety of limit cycles, their bifurcations, and regions of chaos over the 2-d parameter space of the source voltage's frequency and amplitude. The similar structures of the simulated and experimental maps suggests that the diode models commonly used in circuit simulators (e.g., SPICE) work well in bifurcation analyses, successfully predicting complex and chaotic dynamics detected in the circuit. These results may be useful for applications of varactor-loaded split ring resonators.


title: The Rule of link functions on Binomial Regression Model: A Cross Sectional Study on Child Malnutrition, Bangladesh

abstract: Link function is a key tool in the binomial regression model defined as non-linear model under GLM approach. It transforms the nonlinear regression to linear model with converting the interval (-\infty,\infty) to the probability [0,1]. The binomial model with link functions (logit, probit, cloglog and cauchy) are applied on the proportional of child malnutrition age 0-5 years in each household level. Multiple Indicator Cluster survey (MICS)-2019, Bangladesh was conducted by a joint cooperation of UNICEF and BBS . The survey covered 64000 households using two stage stratified sampling technique, where around 21000 household have children age 0-5 years. We use bi-variate analysis to find the statistical association between response and sociodemographic features. In the binary regression model, probit model provides the best result based on the lowest standard error of covariates and goodness of fit test (deviance, AIC).


title: A prime number "Game of Life": can floor($y \cdot p\#$) be prime for all $p$>=2?

abstract: A new sequence in the spirit of the Mills primes is presented and its properties are investigated.


title: Networks and their degree distribution, leading to a new concept of small worlds

abstract: The degree distribution, referred to as the delta-sequence of a network is studied. Using the non-normalized Lorenz curve, we apply a generalized form of the classical majorization partial order. Next, we introduce a new class of small worlds, namely those based on degree centralities of networks. Similar to a previous study, small worlds are defined as sequences of networks with certain limiting properties. We distinguish between three types of small worlds: those based on the highest degree, those based on the average degree, and those based on the median degree. We show that these new classes of small worlds are different from those introduced previously based on the diameter of the network or the average and median distance between nodes. However, there exist sequences of networks that qualify as small worlds in both senses of the word, with stars being an example. Our approach enables the comparison of two networks with an equal number of nodes in terms of their small-worldliness. Finally, we introduced neighboring arrays based on the degrees of the zeroth and first-order neighbors and proved that for trees, equal neighboring arrays lead to equal delta-arrays.


title: Regular extreme semisimple Lie algebras

abstract: A subalgebra of a semisimple Lie algebra is wide if every simple module of the semisimple Lie algebra remains indecomposable when restricted to the subalgebra. A subalgebra is narrow if the restrictions of all non-trivial simple modules to the subalgebra have proper decompositions. A semisimple Lie algebra is regular extreme if any regular subalgebra of the semisimple Lie algebra is either narrow or wide. Douglas and Repka previously showed that the simple Lie algebras of type $A_n$ are regular extreme. In this article, we show that, in fact, all simple Lie algebras are regular extreme. Finally, we show that no non-simple, semisimple Lie algebra is regular extreme.


title: Mneimneh-type Binomial Sums of Multiple Harmonic-type Sums

abstract: In this paper, we establish some expressions of Mneimneh-type binomial sums involving multiple harmonic-type sums in terms of finite sums of Stirling numbers, Bell numbers and some related variables. In particular, we present some new formulas of Mneimneh-type binomial sums involving generalized (alternating) harmonic numbers. Further, we establish a new identity relating the multiple zeta star values $\zeta^\star(m+2,\{1\}_{r-1})$ and specific multiple polylogarithms by applying the Toeplitz principle. Furthermore, we present some interesting consequences and illustrative examples.


title: Solutions to a Pillai-type equation involving Tribonacci numbers and S-units

abstract: Let $ \{T_n\}_{n\geq 0} $ be the sequence of Tribonacci numbers. In this paper, we study the exponential Diophantine equation $T_n-2^x3^y=c$, for $n,x,y\in \mathbb{Z}_{\ge0}$. In particular, we show that there is no integer $c$ with at least six representations of the form $T_n-2^x3^y$.


title: Sort & Slice: A Simple and Superior Alternative to Hash-Based Folding for Extended-Connectivity Fingerprints

abstract: Extended-connectivity fingerprints (ECFPs) are a ubiquitous tool in current cheminformatics and molecular machine learning, and one of the most prevalent molecular feature extraction techniques used for chemical prediction. Atom features learned by graph neural networks can be aggregated to compound-level representations using a large spectrum of graph pooling methods; in contrast, sets of detected ECFP substructures are by default transformed into bit vectors using only a simple hash-based folding procedure. We introduce a general mathematical framework for the vectorisation of structural fingerprints via a formal operation called substructure pooling that encompasses hash-based folding, algorithmic substructure-selection, and a wide variety of other potential techniques. We go on to describe Sort & Slice, an easy-to-implement and bit-collision-free alternative to hash-based folding for the pooling of ECFP substructures. Sort & Slice first sorts ECFP substructures according to their relative prevalence in a given set of training compounds and then slices away all but the $L$ most frequent substructures which are subsequently used to generate a binary fingerprint of desired length, $L$. We computationally compare the performance of hash-based folding, Sort & Slice, and two advanced supervised substructure-selection schemes (filtering and mutual-information maximisation) for ECFP-based molecular property prediction. Our results indicate that, despite its technical simplicity, Sort & Slice robustly (and at times substantially) outperforms traditional hash-based folding as well as the other investigated methods across prediction tasks, data splitting techniques, machine-learning models and ECFP hyperparameters. We thus recommend that Sort & Slice canonically replace hash-based folding as the default substructure-pooling technique to vectorise ECFPs for supervised molecular machine learning.


title: An effective estimate for the sum of two cubes problem

abstract: Let $f(x, y) \in \mathbb{Z}[x, y]$ be a cubic form with non-zero discriminant, and for each integer $m \in \mathbb{Z}$, let, $N_{f}(m)=\#\left\{(x, y) \in \mathbb{Z}^{2}: f(x, y)=m\right\} $. In 1983, Silverman proved that $N_{f}(m)>\Omega\left((\log |m|)^{3 / 5}\right)$ when $f(x, y)=x^{3}+y^{3}$. In this paper, we obtain an explicit bound for $N_f(m)$, namely, showing that $N_{f}(m)>4.2\times 10^{-6}(\log |m|)^{11/13}$ (holds for infinitely many integers m), when $f(x, y)=x^{3}+y^{3}$.


title: Automatic continuity of operator semigroups in the Calkin algebra

abstract: We study operator semigroups in the Calkin algebra $\mathcal{Q}(\mathcal{H})$, represented as a subalgebra of the algebra of bounded linear operators on a Hilbert space via one of `canonical' Calkin's representations. Using the BDF theory, we associate with any normal $C_0$-semigroup $(q(t))_{t\geq 0}$ in $\mathcal{Q}(\mathcal{H})$ an extension $\Gamma\in\mathrm{Ext}(\Delta)$, where $\Delta$ is the inverse limit of certain compact metric spaces defined purely in terms of the spectrum $\sigma(A)$ of the generator of $(q(t))_{t\geq 0}$. Then we show that, in natural circumstances, if $(q(t))_{t\geq 0}$ is continuous in the strong operator topology, then it is actually uniformly continuous, although there are $C_0$-semigroups in $\mathcal{Q}(\mathcal{H})$ that are not uniformly continuous.


title: The Density of Borromean Primes

abstract: In this paper, we study an asymptotic distribution of sets of primes satisfying certain "linking conditions" in arithmetic topology, namely, conditions given by the Legendre and R\'edei symbols among sets of primes. As our Main Theorem, we prove an asymptotic density formula for Borromean primes among all primes. For the proof, we use the effective Chebotarev density formula under the Generalized Riemann Hypothesis and explicit computations of discriminants of the number fields involved in R\'edei's extension.


title: Deep Generative Domain Adaptation with Temporal Attention for Cross-User Activity Recognition

abstract: In Human Activity Recognition (HAR), a predominant assumption is that the data utilized for training and evaluation purposes are drawn from the same distribution. It is also assumed that all data samples are independent and identically distributed ($\displaystyle i.i.d.$). Contrarily, practical implementations often challenge this notion, manifesting data distribution discrepancies, especially in scenarios such as cross-user HAR. Domain adaptation is the promising approach to address these challenges inherent in cross-user HAR tasks. However, a clear gap in domain adaptation techniques is the neglect of the temporal relation embedded within time series data during the phase of aligning data distributions. Addressing this oversight, our research presents the Deep Generative Domain Adaptation with Temporal Attention (DGDATA) method. This novel method uniquely recognises and integrates temporal relations during the domain adaptation process. By synergizing the capabilities of generative models with the Temporal Relation Attention mechanism, our method improves the classification performance in cross-user HAR. A comprehensive evaluation has been conducted on three public sensor-based HAR datasets targeting different scenarios and applications to demonstrate the efficacy of the proposed DGDATA method.


title: Rational Diophantine sextuples with strong pair

abstract: A set of $m$ distinct nonzero rationals $\{a_1, a_2,\ldots, a_m\}$ such that $a_i a_j+1$ is a perfect square for all $1\le i <j \le m$, is called a rational Diophantine $m$-tuple. If in addition, $a_i^2+1$ is a perfect square for $1\le i\le m$, then we say the $m$-tuple is strong. In this paper, we construct infinite families of rational Diophantine sextuples containing a strong Diophantine pair.


title: On generalizations of Iwasawa's theorem

abstract: Iwasawa's theorem indicates that a finite group $G$ is supersolvable if and only if all maximal chains of the identity in $G$ have the same length. As generalizations of Iwasawa's theorem, we provide some characterizations of the structure of a finite group $G$ in which all maximal chains of every minimal subgroup have the same length. Moreover, let $\delta(G)$ be the number of subgroups of $G$ all of whose maximal chains in $G$ do not have the same length, we prove that $G$ is a non-solvable group with $\delta(G)\leq 16$ if and only if $G\cong A_5$.


title: A categorical formulation of Kraus' paradox

abstract: We give a categorical formulation of Kraus' "magic trick" for recovering information from truncated types. Rather than type theory, we work in Van den Berg-Moerdijk path categories with a univalent universe, and rather than propositional truncation we work with arbitrary cofibrations, which includes truncation as a special case. We show, using Kraus' argument that any cofibration with homogeneous domain is a monomorphism. We give some simple concrete examples in groupoids to illustrate the interaction between homogeneous types, cofibrations and univalent fibrations.


title: X-matrices

abstract: We evidence a family $\mathcal{X}$ of square matrices over a field $\mathbb{K}$, whose elements will be called X-matrices. We show that this family is shape invariant under multiplication as well as transposition. We show that $\mathcal{X}$ is a (in general non-commutative) subring of $GL(n,\mathbb{K})$. Moreover, we analyse the condition for a matrix $A \in \mathcal{X}$ to be invertible in $\mathcal{X}$. We also show that, if one adds a symmetry condition called here bi-symmetry, then the set $\mathcal{X}^b$ of bi-symmetric X-matrices is a commutative subring of $\mathcal{X}$. We propose results for eigenvalue inclusion, showing that for X-matrices eigenvalues lie exactly on the boundary of Cassini ovals. It is shown that any monic polynomial on $ \mathbb{R} $ can be associated with a companion matrix in $ \mathcal{X} $.


title: A better compression driver? CutFEM 3D shape optimization taking viscothermal losses into account

abstract: The compression driver, the standard sound source for midrange acoustic horns, contains a cylindrical compression chamber connected to the horn throat through a system of channels known as a phase plug. The main challenge in the design of the phase plug is to avoid resonance and interference phenomena. The complexity of these phenomena makes it difficult to carry out this design task manually, particularly when the phase-plug channels are radially oriented. Therefore, we employ an algorithmic technique that combines numerical solutions of the governing equations with a gradient-based optimization algorithm that can deform the walls of the phase plug. A particular modeling challenge here is that viscothermal losses cannot be ignored, due to narrow chambers and slits in the device. Fortunately, a recently developed, accurate, but computationally inexpensive boundary-layer model is applicable. We use this model, a level-set geometry description, and the Cut Finite Element technique to avoid mesh changes when the geometry is modified by the optimization algorithm. Moreover, the shape calculus needed to compute derivatives for the optimization algorithm is carried out in the fully discrete case. Applying these techniques, the algorithm was able to successfully design the shape of a set of radially-directed phase plugs so that the final frequency response surprisingly closely matches the ideal response, derived by a lumped circuit model where wave interference effects are not accounted for. This result may serve to resuscitate the radial phase plug design, rarely used in today's commercial compression drivers.


title: Quantifying separability in RAAGs via representations

abstract: We answer the question asked by Louder, McReynolds and Patel, and prove the following statement. Let L be a RAAG, H a word quasiconvex subgroup of L, then there is a finite dimensional representation of L that separates the subgroup H in the induced Zariski topology. As a corollary, we establish a polynomial upper bound on the size of the quotients used to separate H in L. This implies the same statement for a virtually special group L and, in particular, a fundamental groups of a hyperbolic 3-manifold.


title: Linear Equation over Non-Commutative Algebra

abstract: I considered solving of the system of linear equations $$a^1_{1s0}x^1a^1_{1s1}+...+a^1_{ns0}x^na^1_{ns1}=b^1$$ $$...$$ $$a^n_{1s0}x^1a^n_{1s1}+...+a^n_{ns0}x^na^n_{ns1}=b^n$$ over non-commutative associative algebra. I considered examples in quaternion algebra. I considered also Newton's method to solve the equation $$f(x)=a$$ over non-commutative associative algebra.


title: A review of Pythagorean triples from both classical and modern viewpoints

abstract: In this note we present a survey on some classical and modern approaches on Pythagorean triples. Some questions are also posed in direction of some materials under review. In particular some non commutative and operator theoretical approaches of Pythagorean triples are discussed


title: Algumas luminesc\^encias sobre o jogo Lights Out

abstract: The theory behind the Lights Out game has been developed by several authors. The aim of this work is to present some results related to this game using Linear Algebra. We establish a criterion for the solubility of this game in the case of an $m$ by $n$ grid, which depends on the invertibility of a matrix, and we present the conditions for this to occur, easily verifiable from $m$ and $n$. Furthermore, we explicitly determine the value of the determinant for a particular case.


title: Is the Cetaev condition inferable?

abstract: In the context of holonomic constrained systems the identification of virtual displacements is clear and consolidated: this gives the possibility, once the class of displacements have been combined with Newton's equations, to write the correct equations of motion for the constrained system. The method combines d'Alembert principle with the Lagrange formalism. As far as nonholonomic constraints are concerned, the conjecture that dates back to Ceteav actually defines a class of virtual displacements through which the method d'Alebert-Lagrange can be applied again. Much literature is dedicated to the Cetaev rule from both the theoretical and experimental points of view. The absence of a rigorous (mathematical) validation of the rule inferable from the constraint equations has been declared expired in a recent publication: our main objective is a critical investigation of the stated result.


title: Antimagic Labeling of Graphs Using Prime Numbers

abstract: Graph labeling is a technique that assigns unique labels or weights to the vertices or edges of a graph, often used to analyze and solve various graph-related problems. There are few methods with certain limitations conducted by researchers previously on this topic. This research paper focuses on antimagic labeling of different types of graphs and trees. It entails the assignment of distinct prime values to edges in a manner that ensures the cumulative sum of edge labels at each vertex remains unique. This research proposes a conjecture on antimagic labeling of any graphs and proves two theories. Firstly, we tried to give weights to the edges randomly, as some exceptions are faced in particular phases in this way, we followed a whole new way to mitigate this problem. This research paper demonstrates computational and mathematical verification to prove that antimagic labeling of any perfect binary tree and complete graph is possible.


title: Exploring Functional Identities: From Division Rings to Matrix Algebras

abstract: In this paper, we tackle unresolved inquiries by Ferreira et al. \cite{bruno} in their recent publication, ``Functional Identity on Division Algebras". We delve into the intricate behavior of additive functions on matrix algebras over division rings through rigorous analysis and theorem-proving. Our findings offer valuable insights into the nature of these functions and their implications for algebraic structures.


title: Unraveling Functional Equations in Composition Algebra: Resolving Conjectures and Examining Implications

abstract: We address the conjectures left by the recent article by Ferreira et al. titled ``Commuting maps and identities with inverses on alternative division rings.'' We also present an example showing the necessity of the conditions of the results that answer the conjectures.


title: On the unit group and the $2$-class number of $\mathbb{Q}(\sqrt{2},\sqrt{p},\sqrt{q})$

abstract: Let $p\equiv 1\pmod{8}$ and $q\equiv7\pmod 8$ be two prime numbers. The purpose of this paper is to compute the unit group of the fields $\KK=\QQ(\sqrt 2, \sqrt{p}, \sqrt{q} )$ and give their $2$-class numbers.


title: Critical Slowing Down in a Real Physical System

abstract: The behavior of a dynamical system can exhibit abrupt changes when it crosses a tipping point. To prevent catastrophic events, it is useful to analyze indicators of the incoming bifurcation, as the divergence of the relaxation time of the system when approaching the critical point. However, this phenomenon, called critical slowing down (CSD), is hardly measurable in real physical systems. In this paper we provide experimental evidence of CSD in a laser system crossing the emission threshold and we analyze how it is affected by a time changing parameter and by noise.


title: Coherent Modulation of Two-Dimensional Moir\'e States with On-Chip THz Waves

abstract: Van der Waals (vdW) structures of two-dimensional materials host a broad range of physical phenomena. New opportunities arise if different functional layers may be remotely modulated or coupled in a device structure. Here we demonstrate the in-situ coherent modulation of moir\'e excitons and correlated Mott insulators in transition metal dichalcogenide (TMD) homo- or hetero-bilayers with on-chip terahertz (THz) waves. Using common dual-gated device structures, each consisting of a TMD moir\'e bilayer sandwiched between two few-layer graphene (fl-Gr) gates with hexagonal boron nitride (h-BN) spacers, we launch coherent phonon wavepackets at ~0.4-1 THz from the fl-Gr gates by femtosecond laser excitation. The waves travel through the h-BN spacer, arrive at the TMD bilayer with precise timing, and coherently modulate the moir\'e excitons or the Mott states. These results demonstrate that the fl-Gr gates, often used for electrical control of the material properties, can serve as effective on-chip opto-elastic transducers to generate THz waves for the coherent control and vibrational entanglement of functional layers in commonly used moir\'e devices.


title: Critical behavior of the stochastic SIR model on random bond-diluted lattices

abstract: In this paper, we investigate the impact of bond-dilution disorder on the critical behavior of the stochastic SIR model. Monte Carlo simulations were conducted using square lattices with first- and second-nearest neighbor interactions. Quenched bond-diluted lattice disorder was introduced into the systems, allowing them to evolve over time. By employing percolation theory and finite-size scaling analysis, we estimate both the critical threshold and leading critical exponent ratios of the model for different bond-dilution rates ($p$). An examination of the average size of the percolating cluster and the size distribution of non-percolating clusters of recovered individuals was performed to ascertain the universality class of the model. The simulation results strongly indicate that the present model belongs to a new universality class distinct from that of 2D dynamical percolation, depending on the specific $p$ value under consideration.


title: Efecto Hall de espin inverso en peliculas de Nb Mo y Bi por bombeo de espin

abstract: The inverse spin Hall effect used for detection of spin currents was observed by voltage measurements in bilayers of normal metal (NM)/ferromagnetic metal (FM), using Nb, Mo and Bi as normal metal and Permalloy (Py, Ni$_{81}$Fe$_{19}$) as ferromagnetic metal. The spin current was generated by the spin pumping effect with ferromagnetic resonance. The samples were deposited by dc magnetron sputtering at room temperature on Si (001) substrates. The three bilayers of Nb/Py, Mo/Py and Bi/Py had a spin-orbit coupling large enough to observe the voltage generation by spin Hall effect


title: Abelian Chern-Simons term as a Kaluza-Klein dimensional reduction of the Gibbons-Hawking surface term

abstract: It is suggested that the original, minimal Kaluza-Klein theory should be extended by adding a 5-dimensional version of the Gibbons-Hawking gravitational surface term. It is then demonstrated that the usual dimensional reduction of the newly added surface (boundary) term leads to the emergence of the famous Abelian Chern-Simons term. It is stressed that the advent of this Chern-Simons term is not merely a parametrization artefact but a real thing. Finally, the issue of finite-ranged electromagnetic interaction due to massive photons on a plane has been interpreted in terms of the violation of the local gauge invariance of this extended version of Kaluza-Klein theory.


title: Holographic Global Convolutional Networks for Long-Range Prediction Tasks in Malware Detection

abstract: Malware detection is an interesting and valuable domain to work in because it has significant real-world impact and unique machine-learning challenges. We investigate existing long-range techniques and benchmarks and find that they're not very suitable in this problem area. In this paper, we introduce Holographic Global Convolutional Networks (HGConv) that utilize the properties of Holographic Reduced Representations (HRR) to encode and decode features from sequence elements. Unlike other global convolutional methods, our method does not require any intricate kernel computation or crafted kernel design. HGConv kernels are defined as simple parameters learned through backpropagation. The proposed method has achieved new SOTA results on Microsoft Malware Classification Challenge, Drebin, and EMBER malware benchmarks. With log-linear complexity in sequence length, the empirical results demonstrate substantially faster run-time by HGConv compared to other methods achieving far more efficient scaling even with sequence length $\geq 100,000$.


title: Modified Multiple Sequence Alignment Algorithm on Quantum Annealers (MAQ)

abstract: We propose a modified MSA algorithm on quantum annealers with applications in areas of bioinformatics and genetic sequencing. To understand the human genome, researchers compare extensive sets of these genetic sequences -- or their protein counterparts -- to identify patterns. This comparison begins with the alignment of the set of (multiple) sequences. However, this alignment problem is considered nondeterministically-polynomial time complete and, thus, current classical algorithms at best rely on brute force or heuristic methods to find solutions. Quantum annealing algorithms are able to bypass this need for sheer brute force due to their use of quantum mechanical properties. However, due to the novelty of these algorithms, many are rudimentary in nature and limited by hardware restrictions. We apply progressive alignment techniques to modify annealing algorithms, achieving a linear reduction in spin usage whilst introducing more complex heuristics to the algorithm. This opens the door for further exploration into quantum computing-based bioinformatics, potentially allowing for a deeper understanding of disease detection and monitoring.


title: EG-ConMix: An Intrusion Detection Method based on Graph Contrastive Learning

abstract: As the number of IoT devices increases, security concerns become more prominent. The impact of threats can be minimized by deploying Network Intrusion Detection System (NIDS) by monitoring network traffic, detecting and discovering intrusions, and issuing security alerts promptly. Most intrusion detection research in recent years has been directed towards the pair of traffic itself without considering the interrelationships among them, thus limiting the monitoring of complex IoT network attack events. Besides, anomalous traffic in real networks accounts for only a small fraction, which leads to a severe imbalance problem in the dataset that makes algorithmic learning and prediction extremely difficult. In this paper, we propose an EG-ConMix method based on E-GraphSAGE, incorporating a data augmentation module to fix the problem of data imbalance. In addition, we incorporate contrastive learning to discern the difference between normal and malicious traffic samples, facilitating the extraction of key features. Extensive experiments on two publicly available datasets demonstrate the superior intrusion detection performance of EG-ConMix compared to state-of-the-art methods. Remarkably, it exhibits significant advantages in terms of training speed and accuracy for large-scale graphs.


title: On some classes of Saphar type operators II

abstract: The purpose of this paper is to explore additional properties of left Drazin invertible, essentially left Drazin invertible, right Drazin invertible, and essentially right Drazin invertible operators on Banach spaces, building upon the groundwork laid in [8] and [19]. Specifically, we propose alternative definitions for these operators and investigate their behavior in powers. Furthermore, we employ a specific operator decomposition to characterize these operators, providing a deeper understanding of their structure and properties. The operators we study are distinguished from other operators bearing the same name in existing literature, see [1], [9]. By employing more refined definitions, we uncover a broader range of properties for these operators, setting them apart from their counterparts in the literature.


title: Markov chain models for inspecting response dynamics in psychological testing

abstract: The importance of considering contextual probabilities in shaping response patterns within psychological testing is underscored, despite the ubiquitous nature of order effects discussed extensively in methodological literature. Drawing from concepts such as path-dependency, first-order autocorrelation, state-dependency, and hysteresis, the present study is an attempt to address how earlier responses serve as an anchor for subsequent answers in tests, surveys, and questionnaires. Introducing the notion of non-commuting observables derived from quantum physics, I highlight their role in characterizing psychological processes and the impact of measurement instruments on participants' responses. We advocate for the utilization of first-order Markov chain modeling to capture and forecast sequential dependencies in survey and test responses. The employment of the first-order Markov chain model lies in individuals' propensity to exhibit partial focus to preceding responses, with recent items most likely exerting a substantial influence on subsequent response selection. This study contributes to advancing our understanding of the dynamics inherent in sequential data within psychological research and provides a methodological framework for conducting longitudinal analyses of response patterns of test and questionnaire.


title: Is Watermarking LLM-Generated Code Robust?

abstract: We present the first study of the robustness of existing watermarking techniques on Python code generated by large language models. Although existing works showed that watermarking can be robust for natural language, we show that it is easy to remove these watermarks on code by semantic-preserving transformations.


title: Effect of seaweed, moringa leaf extract and biofertilizer on growth, yield and fruit quality of cucumber (Cucumis sativus L.) under greenhouse condition

abstract: This factorial experiment was conducted in a greenhouse during the period of May 3, 2021 to August 5, 2021 at the research farm belongs to the Horticulture Department, College of Agricultural Engineering Sciences, University of Sulaimani, Sulaimani, Iraq. The experiment was designed to study the effect of some biostimulants, individually and their combinations, on cucumber plants performance under greenhouse conditions; in addition to compare the results with of chemical fertilizers application. The treatments consisted of control (without adding any kinds of biostimulants) recommended dose of 100% chemical fertilizers (RDCF), seaweed extracts (SE), moringa leaf extract (MLE), bacterial-based biostimulant of Fulzym-plus (FP), that contains Bacillus subtilis and Pseudomonas putida, (SE+MLE), (SE+FP), (MLE+FP), and (SE+MLE+FP). The experiment was laid out in simple RCBD with 3 replications. The results showed that the application of different biostimulants, individually and their combinations, significantly improved the root growth characteristics. However, the highest values of lateral roots number per plant, lateral root length, lateral root diameter and root system dry weight were recorded by the application of recommended dose of chemical fertilizer (RDCF). While, this treatment was not different substantially with the triple combination of the tested biostimulants (SE+FP+MLE) in all studied root characteristics. In addition, untreated plants registered the minimum value of all the mentioned characters.


title: How memories are stored in the brain: the declarative memory model

abstract: The ability to form memories is a basic feature of learning and accumulating knowledge. But where is memory information stored in the brain? Within the scientific research community, it is generally believed that memory information is stored in the synapse. However, this widely accepted dogma has been challenged by more and more evidence in recent years. In this paper, I will present a memory model, the neural circuit construction theory, created from a perspective that may completely subvert traditional thinking. Instead of looking for whether memories are stored inside neurons or in the synapses, the theory proposes that the human brain does not have any container like memory storage, rather human memory is hardwired through live wiring. The model consists of two parts, the semantic memory model and the episodic memory model.


title: Comment on "Safe Testing" by Gr\"unwald, de Heide, and Koolen

abstract: This comment briefly reflects on "Safe Testing" by Gr\"{u}wald et al. (2024). The safety of fractional Bayes factors (O'Hagan, 1995) is illustrated and compared to (safe) Bayes factors based on the right Haar prior.


title: Electro-optic properties from ab initio calculations in two-dimensional materials

abstract: Electro-optic (EO) effects relate the change of optical constants by low-frequency electric fields. Thanks to the advent of Density Functional Perturbation Theory (DFPT), the EO properties of bulk three-dimensional (3D) materials can now be calculated in an ab initio way. However, the use of periodic boundary conditions in most Density Functional Theory codes imposes to simulate two-dimensional (2D) materials using slabs surrounded by a large layer of vacuum. The EO coefficients predicted from such calculations, if not rescaled properly, can severely deviate from the real EO properties of 2D materials. The present work discusses the issue and introduces the rescaling relationships allowing to recover the true EO properties.


title: Achieving Quantum Limits of Exoplanet Detection and Localization

abstract: Discovering exoplanets in orbit around distant stars via direct imaging is fundamentally impeded by the high dynamic range between the star and the planet. Coronagraphs strive to increase the signal-to-noise ratio of exoplanet signatures by optically rejecting light from the host star while leaving light from the exoplanet mostly unaltered. However it is unclear whether coronagraphs constitute an optimal strategy for attaining fundamental limits relevant exoplanet discovery. In this work, we report the quantum information limits of exoplanet detection and localization specified by the Quantum Chernoff Exponent (QCE) and the Quantum Fisher Information Matrix (QFIM) respectively. In view of these quantum limits, we assess and compare several high-performance coronagraph designs that theoretically achieve total rejection of an on-axis point source. We find that systems which exclusively eliminate the fundamental mode of the telescope without attenuating higher-order orthogonal modes are quantum-optimal in the regime of high star-planet contrasts. Importantly, the QFIM is shown to persist well below the diffraction-limit of the telescope, suggesting that quantum-optimal coronagraphs may further expand the domain of accessible exoplanets.


title: Study guide for "On restriction projections to planes in $\mathbb R^3$"

abstract: This article is a study guide for ``On restricted projections to planes in $\mathbb R^3$" [arXiv:2207.13844] by Gan, Guo, Guth, Harris, Maldague and Wang. We first present the main problems and preliminaries related to restricted projections in $\mathbb R^3$. Then we introduce the high-low method and decoupling, which are the two central and novel ideas in their proofs. We hope to provide as many details as possible so that this study guide is self-contained, with the only exception of the Bourgain-Demeter decoupling inequality for curves in the appendix.


title: On noncommutative H\"older inequality of Sukochev and Zanin for weak Schatten class

abstract: Sukochev and Zanin resolved an open problem due to B. Simon concerning optimal constants in H\"older inequality for the weak Schatten classes of compact operators. In this note we observe that these constants, by introducing the modified weak Schatten quasi-norms, can be renormalised so that the original Simon's conjecture (with optimal constant 1) does hold. We also provide an unexpectedly simple proof for the modified H\"older inequality and its sharpness.


title: Random interfaces generated by the addition of structures of variable size

abstract: We consider the random deposition of objects of variable width and height over a line. The successive additions of these structures create a random interface. We focus on the regime of heavy tailed distributions of the structure width. When the structure center is chosen at random, the problem is exactly solvable and we prove that the interfaces generically tend towards self-affine random curves. The asymptotic behavior reached after a large number of iterations is universal in the sense that it depends on only three parameters: the shape of the added structure at its maximum, the power-law exponent of the width distribution and the exponent that relates height and width. The parameter space displays several transitions that separate different asymptotic behaviors. In particular for a set of parameters, the interface tends towards a fractional Brownian motion. Our results reveal the existence of a new class of random interfaces which properties appear to be robust. The mechanism that generates correlations at large distance is identified and it explains the appearance of such correlations in several situations of interest such as the physics of earthquakes or the propagation of energy through a diffusive medium.


title: Interpretable cancer cell detection with phonon microscopy using multi-task conditional neural networks for inter-batch calibration

abstract: Advances in artificial intelligence (AI) show great potential in revealing underlying information from phonon microscopy (high-frequency ultrasound) data to identify cancerous cells. However, this technology suffers from the 'batch effect' that comes from unavoidable technical variations between each experiment, creating confounding variables that the AI model may inadvertently learn. We therefore present a multi-task conditional neural network framework to simultaneously achieve inter-batch calibration, by removing confounding variables, and accurate cell classification of time-resolved phonon-derived signals. We validate our approach by training and validating on different experimental batches, achieving a balanced precision of 89.22% and an average cross-validated precision of 89.07% for classifying background, healthy and cancerous regions. Classification can be performed in 0.5 seconds with only simple prior batch information required for multiple batch corrections. Further, we extend our model to reconstruct denoised signals, enabling physical interpretation of salient features indicating disease state including sound velocity, sound attenuation and cell-adhesion to substrate.


title: Mixing Artificial and Natural Intelligence: From Statistical Mechanics to AI and Back to Turbulence

abstract: The paper reflects on the future role of AI in scientific research, with a special focus on turbulence studies, and examines the evolution of AI, particularly through Diffusion Models rooted in non-equilibrium statistical mechanics. It underscores the significant impact of AI on advancing reduced, Lagrangian models of turbulence through innovative use of deep neural networks. Additionally, the paper reviews various other AI applications in turbulence research and outlines potential challenges and opportunities in the concurrent advancement of AI and statistical hydrodynamics. This discussion sets the stage for a future where AI and turbulence research are intricately intertwined, leading to more profound insights and advancements in both fields.

categories: cs.LG cond-mat.stat-mech cs.AI physics.flu-dyn


title: Solution for Point Tracking Task of ICCV 1st Perception Test Challenge 2023

abstract: This report proposes an improved method for the Tracking Any Point (TAP) task, which tracks any physical surface through a video. Several existing approaches have explored the TAP by considering the temporal relationships to obtain smooth point motion trajectories, however, they still suffer from the cumulative error caused by temporal prediction. To address this issue, we propose a simple yet effective approach called TAP with confident static points (TAPIR+), which focuses on rectifying the tracking of the static point in the videos shot by a static camera. To clarify, our approach contains two key components: (1) Multi-granularity Camera Motion Detection, which could identify the video sequence by the static camera shot. (2) CMR-based point trajectory prediction with one moving object segmentation approach to isolate the static point from the moving object. Our approach ranked first in the final test with a score of 0.46.