title: Self-Supervised Learning of Color Constancy

abstract: Color constancy (CC) describes the ability of the visual system to perceive an object as having a relatively constant color despite changes in lighting conditions. While CC and its limitations have been carefully characterized in humans, it is still unclear how the visual system acquires this ability during development. Here, we present a first study showing that CC develops in a neural network trained in a self-supervised manner through an invariance learning objective. During learning, objects are presented under changing illuminations, while the network aims to map subsequent views of the same object onto close-by latent representations. This gives rise to representations that are largely invariant to the illumination conditions, offering a plausible example of how CC could emerge during human cognitive development via a form of self-supervised learning.


title: Inference of treatment effect and its regional modifiers using restricted mean survival time in multi-regional clinical trials

abstract: Multi-regional clinical trials (MRCTs) play an increasingly crucial role in global pharmaceutical development by expediting data gathering and regulatory approval across diverse patient populations. However, differences in recruitment practices and regional demographics often lead to variations in study participant characteristics, potentially biasing treatment effect estimates and undermining treatment effect consistency assessment across regions. To address this challenge, we propose novel estimators and inference methods utilizing inverse probability of sampling and calibration weighting. Our approaches aim to eliminate exogenous regional imbalance while preserving intrinsic differences across regions, such as race and genetic variants. Moreover, time-to-event outcomes in MRCT studies receive limited attention, with existing methodologies primarily focusing on hazard ratios. In this paper, we adopt restricted mean survival time to characterize the treatment effect, offering more straightforward interpretations of treatment effects with fewer assumptions than hazard ratios. Theoretical results are established for the proposed estimators, supported by extensive simulation studies. We illustrate the effectiveness of our methods through a real MRCT case study on acute coronary syndromes.


title: One Factor to Bind the Cross-Section of Returns

abstract: We propose a new non-linear single-factor asset pricing model $r_{it}=h(f_{t}\lambda_{i})+\epsilon_{it}$. Despite its parsimony, this model represents exactly any non-linear model with an arbitrary number of factors and loadings -- a consequence of the Kolmogorov-Arnold representation theorem. It features only one pricing component $h(f_{t}\lambda_{I})$, comprising a nonparametric link function of the time-dependent factor and factor loading that we jointly estimate with sieve-based estimators. Using 171 assets across major classes, our model delivers superior cross-sectional performance with a low-dimensional approximation of the link function. Most known finance and macro factors become insignificant controlling for our single-factor.


title: Minimization Principle for Analytical Solution of Turbulent Flow in Channel

abstract: The analytical solution for turbulent flow in channel presented in Fedoseyev (2023), described the mean turbulent flow velocity as a superposition of the laminar (parabolic) and turbulent (superexponential) solutions. In this study, the coefficients of superposition are proposed to obtain through the minimization principle, the principle of minimum viscous dissipation. The obtained analytical solutions agree well with the experimental data for turbulent flow.


title: Frame Quantization of Neural Networks

abstract: We present a post-training quantization algorithm with error estimates relying on ideas originating from frame theory. Specifically, we use first-order Sigma-Delta ($\Sigma\Delta$) quantization for finite unit-norm tight frames to quantize weight matrices and biases in a neural network. In our scenario, we derive an error bound between the original neural network and the quantized neural network in terms of step size and the number of frame elements. We also demonstrate how to leverage the redundancy of frames to achieve a quantized neural network with higher accuracy.


title: Goppa Codes: Key to High Efficiency and Reliability in Communications

abstract: In this paper, we study some codes of algebraic geometry related to certain maximal curves. Quantum stabilizer codes obtained through the self orthogonality of Hermitian codes of this error correcting do not always have good parameters. However, appropriate parameters found that the Hermitian self-orthogonal code quantum stabilizer code has good parameters. Therefore, we investigated the quantum stabilizer code at a certain maximum curve and modified its parameters. Algebraic geometry codes show promise for enabling high data rate transmission over noisy power line communication channels.


title: Search for rare $b \to d\ell^+\ell^-$ transitions at Belle

abstract: We present the results of a search for the $b \to d\ell^+\ell^-$ flavor-changing neutral-current rare decays $B^{+, 0} \to (\eta, \omega, \pi^{+,0}, \rho^{+, 0}) e^+e^-$ and $B^{+, 0} \to (\eta, \omega, \pi^{0}, \rho^{+}) \mu^+\mu^-$ using a $711$ fb$^{-1}$ data sample that contains $772 \times 10^{6}$ $B\overline{B}$ events. The data were collected at the $\Upsilon(4S)$ resonance with the Belle detector at the KEKB asymmetric-energy $e^+e^-$ collider. We find no evidence for signal and set upper limits on branching fractions at the $90\%$ confidence level in the range $(3.8 - 47) \times 10^{-8}$ depending on the decay channel. The obtained limits are the world's best results. This is the first search for the channels $B^{+, 0} \to (\omega, \rho^{+,0}) e^+e^-$ and $B^{+, 0} \to (\omega, \rho^{+})\mu^+\mu^-$.


title: Extending Translate-Train for ColBERT-X to African Language CLIR

abstract: This paper describes the submission runs from the HLTCOE team at the CIRAL CLIR tasks for African languages at FIRE 2023. Our submissions use machine translation models to translate the documents and the training passages, and ColBERT-X as the retrieval model. Additionally, we present a set of unofficial runs that use an alternative training procedure with a similar training setting.


title: SciFlow: Empowering Lightweight Optical Flow Models with Self-Cleaning Iterations

abstract: Optical flow estimation is crucial to a variety of vision tasks. Despite substantial recent advancements, achieving real-time on-device optical flow estimation remains a complex challenge. First, an optical flow model must be sufficiently lightweight to meet computation and memory constraints to ensure real-time performance on devices. Second, the necessity for real-time on-device operation imposes constraints that weaken the model's capacity to adequately handle ambiguities in flow estimation, thereby intensifying the difficulty of preserving flow accuracy. This paper introduces two synergistic techniques, Self-Cleaning Iteration (SCI) and Regression Focal Loss (RFL), designed to enhance the capabilities of optical flow models, with a focus on addressing optical flow regression ambiguities. These techniques prove particularly effective in mitigating error propagation, a prevalent issue in optical flow models that employ iterative refinement. Notably, these techniques add negligible to zero overhead in model parameters and inference latency, thereby preserving real-time on-device efficiency. The effectiveness of our proposed SCI and RFL techniques, collectively referred to as SciFlow for brevity, is demonstrated across two distinct lightweight optical flow model architectures in our experiments. Remarkably, SciFlow enables substantial reduction in error metrics (EPE and Fl-all) over the baseline models by up to 6.3% and 10.5% for in-domain scenarios and by up to 6.2% and 13.5% for cross-domain scenarios on the Sintel and KITTI 2015 datasets, respectively.


title: Exponentially Weighted Moving Models

abstract: An exponentially weighted moving model (EWMM) for a vector time series fits a new data model each time period, based on an exponentially fading loss function on past observed data. The well known and widely used exponentially weighted moving average (EWMA) is a special case that estimates the mean using a square loss function. For quadratic loss functions EWMMs can be fit using a simple recursion that updates the parameters of a quadratic function. For other loss functions, the entire past history must be stored, and the fitting problem grows in size as time increases. We propose a general method for computing an approximation of EWMM, which requires storing only a window of a fixed number of past samples, and uses an additional quadratic term to approximate the loss associated with the data before the window. This approximate EWMM relies on convex optimization, and solves problems that do not grow with time. We compare the estimates produced by our approximation with the estimates from the exact EWMM method.

categories: stat.CO eess.SP math.OC q-fin.CP stat.ML


title: Generative Information Retrieval Evaluation

abstract: This paper is a draft of a chapter intended to appear in a forthcoming book on generative information retrieval, co-edited by Chirag Shah and Ryen White. In this chapter, we consider generative information retrieval evaluation from two distinct but interrelated perspectives. First, large language models (LLMs) themselves are rapidly becoming tools for evaluation, with current research indicating that LLMs may be superior to crowdsource workers and other paid assessors on basic relevance judgement tasks. We review past and ongoing related research, including speculation on the future of shared task initiatives, such as TREC, and a discussion on the continuing need for human assessments. Second, we consider the evaluation of emerging LLM-based generative information retrieval (GenIR) systems, including retrieval augmented generation (RAG) systems. We consider approaches that focus both on the end-to-end evaluation of GenIR systems and on the evaluation of a retrieval component as an element in a RAG system. Going forward, we expect the evaluation of GenIR systems to be at least partially based on LLM-based assessment, creating an apparent circularity, with a system seemingly evaluating its own output. We resolve this apparent circularity in two ways: 1) by viewing LLM-based assessment as a form of "slow search", where a slower IR system is used for evaluation and training of a faster production IR system; and 2) by recognizing a continuing need to ground evaluation in human assessment, even if the characteristics of that human assessment must change.


title: Studying Binary Formation under Dynamical Friction Using Hill's Problem

abstract: Using the equations of motion from Hill's problem, with added accelerations for different forms of dynamical friction, we provide the (to-date) broadest scale-free study of friction-driven binary formation in gaseous disks and stellar clusters. We focus mainly on binary formation between stellar-mass black holes in active galactic nuclei (AGNi), considering both gas dynamical friction from AGN disks and stellar dynamical friction from the nuclear star cluster. We first find simple, dimensionless friction coefficients that approximate the effects of standard models for gas and stellar dynamical friction. We perform extensive simulations of Hill's problem under such friction, and we present a picture of binary formation through encounters between single stars on nearby orbits, as a function of friction parameter, eccentricity, and inclination. Notably, we find that the local binary formation rate is a linear function of the friction coefficient so long as the friction is weak. Due to the dimensionless nature of our model problem, our findings are generalizable to binary formation at all scales (e.g., intermediate-mass black holes in a star cluster, planetesimals in a gaseous disk).


title: Towards a General Theory of Dependent Sums

abstract: We introduce dependent adders. A dependent adder $A$ has for every $x \in A$ a way of adding together $x$ many elements of $A$. We provide examples from many disparate branches of mathematics. Examples include the field with one element $\mathbb{F}_1$, the real numbers with integrals as sums, the category of categories with oplax colimits as sums. We also consider modules over dependent adders and provide examples.


title: Compact composition operators on model spaces

abstract: Let $\varphi: B_d\to\mathbb{D}$, $d\ge 1$, be a holomorphic function, where $B_d$ denotes the open unit ball of $\mathbb{C}^d$ and $\mathbb{D}= B_1$. Let $\Theta: \mathbb{D} \to \mathbb{D}$ be an inner function and let $K^p_\Theta$ denote the corresponding model space. For $p>1$, we characterize the compact composition operators $C_\varphi: K^p_\Theta \to H^p(B_d)$, where $H^p(B_d)$ denotes the Hardy space.


title: Algebraic formulas and Geometric derivation of Source Identities

abstract: Source identities are fundamental identities between multivariable special functions. We give a geometric derivation of rational and trigonometric source identities. We also give a systematic derivation and extension of various determinant representations for source functions which appeared in previous literature as well as introducing the elliptic version of the determinants, and obtain identities between determinants. We also show several symmetrization formulas for the rational version.


title: Large-Parameter Asymptotics of Generalized Hasting-McLeod Functions

abstract: The generalized Hastings-McLeod solutions to the inhomogeneous Painlev\'{e}-II equation arise in multi-critical unitary random matrix ensembles, the chiral two-matrix model for rectangular matrices, non-intersecting squared Bessel paths, and non-intersecting Brownian motions on the circle. We establish the leading-order asymptotic behavior of the generalized Hastings-McLeod functions as the inhomogeneous parameter approaches infinity using the Deift-Zhou nonlinear steepest-descent method for Riemann-Hilbert problems. This analysis is done in both the pole-free region and pole region. The asymptotic formulae show excellent agreement with numerically computed solutions in both regions.


title: A-DisETrac Advanced Analytic Dashboard for Distributed Eye Tracking

abstract: Understanding how individuals focus and perform visual searches during collaborative tasks can help improve user engagement. Eye tracking measures provide informative cues for such understanding. This article presents A-DisETrac, an advanced analytic dashboard for distributed eye tracking. It uses off-the-shelf eye trackers to monitor multiple users in parallel, compute both traditional and advanced gaze measures in real-time, and display them on an interactive dashboard. Using two pilot studies, the system was evaluated in terms of user experience and utility, and compared with existing work. Moreover, the system was used to study how advanced gaze measures such as ambient-focal coefficient K and real-time index of pupillary activity relate to collaborative behavior. It was observed that the time a group takes to complete a puzzle is related to the ambient visual scanning behavior quantified and groups that spent more time had more scanning behavior. User experience questionnaire results suggest that their dashboard provides a comparatively good user experience.


title: LLM Agents can Autonomously Exploit One-day Vulnerabilities

abstract: LLMs have becoming increasingly powerful, both in their benign and malicious uses. With the increase in capabilities, researchers have been increasingly interested in their ability to exploit cybersecurity vulnerabilities. In particular, recent work has conducted preliminary studies on the ability of LLM agents to autonomously hack websites. However, these studies are limited to simple vulnerabilities. In this work, we show that LLM agents can autonomously exploit one-day vulnerabilities in real-world systems. To show this, we collected a dataset of 15 one-day vulnerabilities that include ones categorized as critical severity in the CVE description. When given the CVE description, GPT-4 is capable of exploiting 87% of these vulnerabilities compared to 0% for every other model we test (GPT-3.5, open-source LLMs) and open-source vulnerability scanners (ZAP and Metasploit). Fortunately, our GPT-4 agent requires the CVE description for high performance: without the description, GPT-4 can exploit only 7% of the vulnerabilities. Our findings raise questions around the widespread deployment of highly capable LLM agents.


title: Polar vortex hidden in twisted bilayers of paraelectric SrTiO3

abstract: Polar topologies, such as vortex and skyrmion, have attracted significant interest due to their unique physical properties and promising applications in high-density memory devices. Currently, most polar vortices are observed in heterostructures containing ferroelectric materials and constrained by substrates. In this study, we unravel arrays of polar vortices formed in twisted freestanding bilayers composed of SrTiO3, a quantum-paraelectric material. Depth-resolved structures of the bilayers are measured with deep-sub-angstrom resolution and one picometer accuracy using multislice ptychography, enabling identification of the three-dimensional variations of polarization topology. Our findings reveal the evolution of the polar vortices in the twisted overlapping layers, demonstrating the reverse of rotation manner in the depth direction. Twisted freestanding bilayers provide a unique platform for exploration and modulation of novel polar topologies.


title: Mean dimension explosion of induced homeomorphisms

abstract: Given $X$ a compact metric space and $T: X \to X$ a continuous map, the induced hyperspace map $T_\mathcal{K}$ acts on the hyperspace $\mathcal{K}(X)$ of closed and nonempty subsets of $X$, and on the continuum hyperspace $\mathcal{C}(X) \subset \mathcal{K}(X)$ of connected sets. This work studies the mean dimension explosion phenomenon: when the base system $T$ has zero topological entropy, but the mean dimension of the induced map $T_\mathcal{K}$ is infinite. In particular, this phenomenon is attained for Morse-Smale diffeomorphisms. Furthermore, for a circle homeomorphism $H$, the mean dimension explosion does not occur if, and only if, $H$ is conjugated to a rotation. Finally, if the topological entropy of $T$ is positive, then the metric mean dimension of $T_\mathcal{K}$ is infinite.


title: LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper (Extended)

abstract: As quantum computing evolves, many important questions emerge, such as how best to represent quantum programs, and how to promote interoperability between quantum program analysis tools. These questions arise naturally in the design of quantum transpilers, which translate between quantum programming languages. In this paper, we take a step towards answering these questions by identifying challenges and best practices in quantum transpiler design. We base these recommendations on our experience designing LinguaQuanta, a quantum transpiler between Quipper and OpenQASM. First, we provide categorical specifications for quantum transpilers, which aim to encapsulate the core principles of the UNIX philosophy. We then identify quantum circuit decompositions which we expect to be useful in quantum transpilation. With these foundations in place, we then discuss challenges faced during the implementation of LinguaQuanta, such as ancilla management and stability under round translation. To show that LinguaQuanta works in practice, a short tutorial is given for the example of quantum phase estimation. We conclude with recommendations for the future of LinguaQuanta, and for quantum software development tools more broadly.


title: Distilling Algorithmic Reasoning from LLMs via Explaining Solution Programs

abstract: Distilling explicit chain-of-thought reasoning paths has emerged as an effective method for improving the reasoning abilities of large language models (LLMs) across various tasks. However, when tackling complex tasks that pose significant challenges for state-of-the-art models, this technique often struggles to produce effective chains of thought that lead to correct answers. In this work, we propose a novel approach to distill reasoning abilities from LLMs by leveraging their capacity to explain solutions. We apply our method to solving competitive-level programming challenges. More specifically, we employ an LLM to generate explanations for a set of <problem, solution-program> pairs, then use <problem, explanation> pairs to fine-tune a smaller language model, which we refer to as the Reasoner, to learn algorithmic reasoning that can generate "how-to-solve" hints for unseen problems. Our experiments demonstrate that learning from explanations enables the Reasoner to more effectively guide program implementation by a Coder, resulting in higher solve rates than strong chain-of-thought baselines on competitive-level programming problems. It also outperforms models that learn directly from <problem, solution-program> pairs. We curated an additional test set in the CodeContests format, which includes 246 more recent problems posted after the models' knowledge cutoff.


title: The $a$-number of $y^n=x^m+x$ over finite fields

abstract: This paper presents a formula for $a$-number of certain maximal curves characterized by the equation $y^{\frac{q+1}{2}} = x^m + x$ over the finite field $\mathbb{F}_{q^2}$. $a$-number serves as an invariant for the isomorphism class of the $p$-torsion group scheme. Utilizing the action of the Cartier operator on $H^0(\mathcal{X}, \Omega^1)$, we establish a closed formula for $a$-number of $\mathcal{X}$.


title: On the structure of graph product von Neumann algebras

abstract: We undertake a comprehensive study of structural properties of graph products of von Neumann algebras equipped with faithful, normal states, as well as properties of the graph products relative to subalgebras coming from induced subgraphs. Among the technical contributions in this paper include a complete bimodule calculation for subalgebras arising from subgraphs. As an application, we obtain a complete classification of when two subalgebras coming from induced subgraphs can be amenable relative to each other. We also give complete characterizations of when the graph product can be full, diffuse, or a factor. Our results are obtained in a broad generality, and we emphasize that they are new even in the tracial setting. They also allow us to deduce new results about when graph products of groups can be amenable relative to each other.


title: Decentralized FaaS over Multi-Clouds with Blockchain based Management for Supporting Emerging Applications

abstract: Function-as-a-Service (FaaS) offers a streamlined cloud computing paradigm, but existing centralized systems suffer from vendor lock-in and single points of failure. We propose DeFaaS, a decentralized FaaS system leveraging blockchain technology and decentralized API management. DeFaaS addresses these limitations by establishing a secure, transparent registry of functions on a blockchain and enabling applications to discover and invoke them. This approach fosters scalability, flexibility, enhanced security, and improved reliability. Furthermore, DeFaaS's architecture extends beyond decentralized FaaS, supporting other distributed computing scenarios like dApps, volunteer computing, and multi-cloud service meshes. DeFaaS represents a significant advancement in decentralized computing with the potential to unlock a multitude of novel applications and use cases.


title: Effects of clustering heterogeneity on the spectral density of sparse networks

abstract: We derive exact equations for the spectral density of sparse networks with an arbitrary distribution of the number of single edges and triangles per node. These equations enable a systematic investigation of the effect of clustering on the spectral properties of the network adjacency matrix. In the case of heterogeneous networks, we demonstrate that the spectral density becomes more symmetric as the fluctuations in the triangle-degree sequence increase. This phenomenon is explained by the small clustering coefficient of networks with a large variance of the triangle-degree distribution. In the homogeneous case of regular clustered networks, we find that both perturbative and non-perturbative approximations fail to predict the spectral density in the high-connectivity limit. This suggests that traditional large-degree approximations may be ineffective in studying the spectral properties of networks with more complex motifs. Our theoretical results are fully confirmed by numerical diagonalizations of finite adjacency matrices.


title: Magnonic Thermal Machines

abstract: We propose a magnon-based thermal machine in two-dimensional (2D) magnetic insulators. The thermodynamical cycles are engineered by exposing a magnon spin system to thermal baths at different temperatures and tuning the Dzyaloshinskii-Moriya (DM) interaction. We find for the Otto cycle that a thermal gas of magnons converts a fraction of heat into energy in the form of work, where the efficiency is maximized for specific values of DM, reaching the corresponding Carnot efficiency. We witness a positive to negative net work transition during the cycle that marks the onset of a refrigerator-like behavior. The work produced by the magnonic heat engine enhances the magnon chemical potential. The last enables a spin accumulation that might result in the pumping of spin currents at the interfaces of metal-magnet heterostructures. Our work opens new possibilities for the efficient leverage of conventional two-dimensional magnets.


title: Eliminating Catastrophic Overfitting Via Abnormal Adversarial Examples Regularization

abstract: Single-step adversarial training (SSAT) has demonstrated the potential to achieve both efficiency and robustness. However, SSAT suffers from catastrophic overfitting (CO), a phenomenon that leads to a severely distorted classifier, making it vulnerable to multi-step adversarial attacks. In this work, we observe that some adversarial examples generated on the SSAT-trained network exhibit anomalous behaviour, that is, although these training samples are generated by the inner maximization process, their associated loss decreases instead, which we named abnormal adversarial examples (AAEs). Upon further analysis, we discover a close relationship between AAEs and classifier distortion, as both the number and outputs of AAEs undergo a significant variation with the onset of CO. Given this observation, we re-examine the SSAT process and uncover that before the occurrence of CO, the classifier already displayed a slight distortion, indicated by the presence of few AAEs. Furthermore, the classifier directly optimizing these AAEs will accelerate its distortion, and correspondingly, the variation of AAEs will sharply increase as a result. In such a vicious circle, the classifier rapidly becomes highly distorted and manifests as CO within a few iterations. These observations motivate us to eliminate CO by hindering the generation of AAEs. Specifically, we design a novel method, termed Abnormal Adversarial Examples Regularization (AAER), which explicitly regularizes the variation of AAEs to hinder the classifier from becoming distorted. Extensive experiments demonstrate that our method can effectively eliminate CO and further boost adversarial robustness with negligible additional computational overhead.


title: Graph Integrated Language Transformers for Next Action Prediction in Complex Phone Calls

abstract: Current Conversational AI systems employ different machine learning pipelines, as well as external knowledge sources and business logic to predict the next action. Maintaining various components in dialogue managers' pipeline adds complexity in expansion and updates, increases processing time, and causes additive noise through the pipeline that can lead to incorrect next action prediction. This paper investigates graph integration into language transformers to improve understanding the relationships between humans' utterances, previous, and next actions without the dependency on external sources or components. Experimental analyses on real calls indicate that the proposed Graph Integrated Language Transformer models can achieve higher performance compared to other production level conversational AI systems in driving interactive calls with human users in real-world settings.


title: Multimodal Contextual Dialogue Breakdown Detection for Conversational AI Models

abstract: Detecting dialogue breakdown in real time is critical for conversational AI systems, because it enables taking corrective action to successfully complete a task. In spoken dialog systems, this breakdown can be caused by a variety of unexpected situations including high levels of background noise, causing STT mistranscriptions, or unexpected user flows. In particular, industry settings like healthcare, require high precision and high flexibility to navigate differently based on the conversation history and dialogue states. This makes it both more challenging and more critical to accurately detect dialog breakdown. To accurately detect breakdown, we found it requires processing audio inputs along with downstream NLP model inferences on transcribed text in real time. In this paper, we introduce a Multimodal Contextual Dialogue Breakdown (MultConDB) model. This model significantly outperforms other known best models by achieving an F1 of 69.27.


title: Equitable Routing -- Rethinking the Multiple Traveling Salesman Problem

abstract: The Multiple Traveling Salesman Problem (MTSP) with a single depot is a generalization of the well-known Traveling Salesman Problem (TSP) that involves an additional parameter, namely, the number of salesmen. In the MTSP, several salesmen at the depot need to visit a set of interconnected targets, such that each target is visited precisely once by at most one salesman while minimizing the total length of their tours. An equally important variant of the MTSP, the min-max MTSP, aims to distribute the workload (length of the individual tours) among salesmen by requiring the longest tour of all the salesmen to be as short as possible, i.e., minimizing the maximum tour length among all salesmen. The min-max MTSP appears in real-life applications to ensure a good balance of workloads for the salesmen. It is known in the literature that the min-max MTSP is notoriously difficult to solve to optimality due to the poor lower bounds its linear relaxations provide. In this paper, we formulate two novel parametric variants of the MTSP called the "fair-MTSP". One variant is formulated as a Mixed-Integer Second Order Cone Program (MISOCP), and the other as a Mixed Integer Linear Program (MILP). Both focus on enforcing the workloads for the salesmen to be equitable, i.e., the distribution of tour lengths for the salesmen to be fair while minimizing the total cost of their tours. We present algorithms to solve the two variants of the fair-MTSP to global optimality and computational results on benchmark and real-world test instances that make a case for fair-MTSP as a viable alternative to the min-max MTSP.


title: On the Power of Interactive Proofs for Learning

abstract: We continue the study of doubly-efficient proof systems for verifying agnostic PAC learning, for which we obtain the following results. - We construct an interactive protocol for learning the $t$ largest Fourier characters of a given function $f \colon \{0,1\}^n \to \{0,1\}$ up to an arbitrarily small error, wherein the verifier uses $\mathsf{poly}(t)$ random examples. This improves upon the Interactive Goldreich-Levin protocol of Goldwasser, Rothblum, Shafer, and Yehudayoff (ITCS 2021) whose sample complexity is $\mathsf{poly}(t,n)$. - For agnostically learning the class $\mathsf{AC}^0[2]$ under the uniform distribution, we build on the work of Carmosino, Impagliazzo, Kabanets, and Kolokolova (APPROX/RANDOM 2017) and design an interactive protocol, where given a function $f \colon \{0,1\}^n \to \{0,1\}$, the verifier learns the closest hypothesis up to $\mathsf{polylog}(n)$ multiplicative factor, using quasi-polynomially many random examples. In contrast, this class has been notoriously resistant even for constructing realisable learners (without a prover) using random examples. - For agnostically learning $k$-juntas under the uniform distribution, we obtain an interactive protocol, where the verifier uses $O(2^k)$ random examples to a given function $f \colon \{0,1\}^n \to \{0,1\}$. Crucially, the sample complexity of the verifier is independent of $n$. We also show that if we do not insist on doubly-efficient proof systems, then the model becomes trivial. Specifically, we show a protocol for an arbitrary class $\mathcal{C}$ of Boolean functions in the distribution-free setting, where the verifier uses $O(1)$ labeled examples to learn $f$.


title: Three-flavor, Full Momentum Space Neutrino Spin Oscillations in Neutron Star Mergers

abstract: In the presence of anisotropic neutrino and antineutrino fluxes, the quantum kinetic equations drive coherent oscillations in neutrino helicity, frequently referred to as spin oscillations. These oscillations depend directly on the absolute mass scale and Majorana phase, but are usually too transient to produce important effects. In this paper we present a full momentum-space analysis of Majorana neutrino spin oscillations in a snapshot of a three-dimensional neutron star merger simulation. We find an interesting angular dependence that allows for that resonant and adiabatic oscillations to occur along specific directions in a large volume of the merger remnant. The solid angle spanned by these directions is extremely narrow in general. We then analyze spin transformation in the presence of flavor transformation by characterizing how the effect's resonance and timescale change during a fast flavor instability. For this analysis, we derive a generalized resonance condition that poses a restrictive requirement for resonance to exist in any flavor channel. We determine that spin oscillations at all locations in the merger snapshot have a length scale that is too large for significant oscillations to be expected even where there exist resonant and adiabatic directions.


title: A Survey on Security of Ultra/Hyper Reliable Low Latency Communication: Recent Advancements, Challenges, and Future Directions

abstract: Ultra-reliable low latency communication (URLLC) is an innovative service offered by fifth-generation (5G) wireless systems. URLLC enables various mission-critical applications by facilitating reliable and low-latency signal transmission to support extreme Quality of Service (QoS) requirements. Apart from reliability and latency, ensuring secure data transmission for URLLC has been a prominent issue for researchers in recent years. Using finite blocklength signals to achieve the stringent reliability and latency criteria in URLLC eliminates the possibility of using conventional complex cryptographic security enhancement techniques based on encoding and decoding of secret keys. Thus, the development of lightweight security mechanisms is of paramount importance for URLLC. Recently, Physical-Layer Security (PLS) techniques have emerged as a powerful alternative to the complex cryptography-based security approaches for facilitating secure URLLC by exploiting the randomness of the wireless channel. Therefore, in this survey, we present a comprehensive and in-depth review of the state-of-the-art PLS enhancements utilized to unleash secure URLLC while analyzing the impact of various system design parameters on its performance. Moreover, the survey incorporates a detailed overview of the recent advancements in ensuring secure URLLC using PLS in various mission-critical applications, and 5G URLLC enabling technologies like non-orthogonal multiple access (NOMA), multi-antenna systems, cooperative communication using unmanned aerial vehicles (UAV), and intelligent reflective surfaces (IRS). Apart from this, we briefly discuss the role of advanced Machine Learning (ML) techniques in designing robust and intelligent PLS schemes for URLLC service.


title: R2 Indicator and Deep Reinforcement Learning Enhanced Adaptive Multi-Objective Evolutionary Algorithm

abstract: Choosing an appropriate optimization algorithm is essential to achieving success in optimization challenges. Here we present a new evolutionary algorithm structure that utilizes a reinforcement learning-based agent aimed at addressing these issues. The agent employs a double deep q-network to choose a specific evolutionary operator based on feedback it receives from the environment during optimization. The algorithm's structure contains five single-objective evolutionary algorithm operators. This single-objective structure is transformed into a multi-objective one using the R2 indicator. This indicator serves two purposes within our structure: first, it renders the algorithm multi-objective, and second, provides a means to evaluate each algorithm's performance in each generation to facilitate constructing the reinforcement learning-based reward function. The proposed R2-reinforcement learning multi-objective evolutionary algorithm (R2-RLMOEA) is compared with six other multi-objective algorithms that are based on R2 indicators. These six algorithms include the operators used in R2-RLMOEA as well as an R2 indicator-based algorithm that randomly selects operators during optimization. We benchmark performance using the CEC09 functions, with performance measured by inverted generational distance and spacing. The R2-RLMOEA algorithm outperforms all other algorithms with strong statistical significance (p<0.001) when compared with the average spacing metric across all ten benchmarks.


title: Naively Sorting Evolving Data is Optimal and Robust

abstract: We study comparison sorting in the evolving data model [AKMU11], where the true total order changes while the sorting algorithm is processing the input. More precisely, each comparison operation of the algorithm is followed by a sequence of evolution steps, where an evolution step perturbs the rank of a random item by a "small" random value. The goal is to maintain an ordering that remains close to the true order over time. Previous works have analyzed adaptations of classic sorting algorithms, assuming that an evolution step changes the rank of an item by just one, and that a fixed constant number $b$ of evolution steps take place between two comparisons. In fact, the only previous result achieving optimal $O(n)$ total deviation from the true order, where $n$ is the number of items, applies just for $b=1$ [BDEGJ18]. We analyze a very simple sorting algorithm suggested in [M14], which samples a random pair of adjacent items in each step and swaps them if they are out of order. We show that the algorithm achieves and maintains, w.h.p., optimal total deviation, $O(n)$, and optimal maximum deviation, $O(\log n)$, under very general model settings. Namely, the perturbation introduced by each evolution step follows a distribution of bounded moment generating function, and over a linear number of steps, on average the number of evolution steps between two sorting steps is bounded by an arbitrary constant. Our proof consists of a novel potential function argument that inserts "gaps" in the list of items, and a general framework which separates the analysis of sorting from that of the evolution steps, and is applicable to a variety of settings for which previous approaches do not apply. Our results settle conjectures by [AKMU11] and [M14], and provide theoretical support for the empirical evidence that simple quadratic algorithms are optimal and robust for sorting evolving data [BDEGJ18].


title: ViCAR: Visualizing Categories with Automated Rewriting in Coq

abstract: We present ViCAR, a library for working with monoidal categories in the Coq proof assistant. ViCAR provides definitions for categorical structures that users can instantiate with their own verification projects. Upon verifying relevant coherence conditions, ViCAR gives a set of lemmas and tactics for manipulating categorical structures. We also provide a visualizer that can display any composition and tensor product of morphisms as a string diagram, showing its categorical structure. This enables graphical reasoning and automated rewriting for Coq projects with monoidal structures.


title: Language Model Prompt Selection via Simulation Optimization

abstract: With the advancement in generative language models, the selection of prompts has gained significant attention in recent years. A prompt is an instruction or description provided by the user, serving as a guide for the generative language model in content generation. Despite existing methods for prompt selection that are based on human labor, we consider facilitating this selection through simulation optimization, aiming to maximize a pre-defined score for the selected prompt. Specifically, we propose a two-stage framework. In the first stage, we determine a feasible set of prompts in sufficient numbers, where each prompt is represented by a moderate-dimensional vector. In the subsequent stage for evaluation and selection, we construct a surrogate model of the score regarding the moderate-dimensional vectors that represent the prompts. We propose sequentially selecting the prompt for evaluation based on this constructed surrogate model. We prove the consistency of the sequential evaluation procedure in our framework. We also conduct numerical experiments to demonstrate the efficacy of our proposed framework, providing practical instructions for implementation.


title: Lightweight Cryptanalysis of IoT Encryption Algorithms : Is Quota Sampling the Answer?

abstract: Rapid growth in the number of small sensor devices known as the Internet of Things (IoT) has seen the development of lightweight encryption algorithms. Two well-known lightweight algorithms are SIMON and SIMECK which have been specifically designed for use on resource-constrained IoT devices. These lightweight encryption algorithms are based on the efficient Feistel block structure which is known to exhibit vulnerabilities to differential cryptanalysis. Consequently, it is necessary to test these algorithms for resilience against such attacks. While existing state-of-the-art research has demonstrated novel heuristic methods of differential cryptanalysis that improve time efficiency on previous techniques, the large state sizes of these encryption algorithms inhibit cryptanalysis time efficiency. In this paper, we introduce Versatile Investigative Sampling Technique for Advanced Cryptanalysis (VISTA-CRYPT) - a time-efficient enhancement of differential cryptanalysis of lightweight encryption algorithms. The proposed technique introduces a simple framework of quota sampling that produces state-of-the-art results with time reductions of up to $76\%$ over existing techniques. Further, we present a preliminary graph-based analysis of the output differentials for the identification of relationships within the data and future research opportunities to further enhance the performance of differential cryptanalysis. The code designed for this work and associated datasets will be available at https://github.com/johncook1979/simon-cryptanalysis.


title: Ligand Equilibrium Influences Photoluminescence Blinking in CsPbBr3: A Change Point Analysis of Widefield Imaging Data

abstract: Photoluminescence intermittency remains one of the biggest challenges to realizing perovskite quantum dots (QDs) as scalable single photon emitters. We compare CsPbBr3 QDs capped with different ligands, lecithin, and a combination of oleic acid and oleylamine, to elucidate the role of surface chemistry on photoluminescence intermittency. We employ widefield photoluminescence microscopy, sampling the blinking behavior of hundreds of QDs. Using change point analysis, we achieve the robust classification of blinking trajectories, and we analyze representative distributions from large numbers of QDs (Nlecithin = 1308, Noleic acid/oleylamine =1317). We find that lecithin suppresses blinking in CsPbBr3 QDs compared to oleic acid/oleylamine. Under common experimental conditions, lecithin-capped QDs are 7.5 times more likely to be non-blinking and spend 2.5 times longer in their most emissive state, despite both QDs having nearly identical solution photoluminescence quantum yields. We measure photoluminescence as a function of dilution and show that the differences between lecithin and oleic acid/oleylamine capping emerge at low concentrations during preparation for single particle experiments. From experiment and first principles calculations, we attribute the differences in lecithin and oleic acid/oleylamine performance to differences in their ligand binding equilibria. Consistent with our experimental data, density functional theory calculations suggest a stronger binding affinity of lecithin to the QD surface compared to oleic acid/oleylamine, implying a reduced likelihood of ligand desorption during dilution. These results suggest that using more tightly binding ligands is a necessity for surface passivation and consequently, blinking reduction in perovskite QDs used for single particle and quantum light experiments.


title: Production of $D_{s0}(2590)^+$ in $B$ nonleptonic decays

abstract: In 2021, a new charm-strange meson, $D_{s0}(2590)^+$, has been discovered, it is believed to be the $D_s^+(2^1S_0)$. However, its low mass and wide width are challenged by theoretical results. Given the small branching ratio of the current production channel, resulting in a small number of events and large errors. We suggest to search for the $D_{s0}(2590)^+$ in the $B$ meson nonleptonic decays, $B_q\rightarrow D^{(*)}_qD_{s0}(2590)^+$ ($q=u,d$), followed by $D_{s0}(2590)^+\to D^*K$. We find $Br(B_q\rightarrow D^{(*)}_qD_{s0}(2590)^+)\times Br(D_{s0}(2590)^+\to D^{*}K)=(2.16\sim2.82)\times 10^{-3}$ is very large, and the result is not sensitive to the mass of $D_{s0}(2590)^+$. Due to large branching ratio, large amount of $D_{s0}(2590)^+$ events are expected. This study is based on the framework of instantaneous Bethe-Salpeter equation, and the used relativistic wave functions for mesons contain different partial waves. The contributions of different partial waves are also studied.


title: Conformal Prediction via Regression-as-Classification

abstract: Conformal prediction (CP) for regression can be challenging, especially when the output distribution is heteroscedastic, multimodal, or skewed. Some of the issues can be addressed by estimating a distribution over the output, but in reality, such approaches can be sensitive to estimation error and yield unstable intervals.~Here, we circumvent the challenges by converting regression to a classification problem and then use CP for classification to obtain CP sets for regression.~To preserve the ordering of the continuous-output space, we design a new loss function and make necessary modifications to the CP classification techniques.~Empirical results on many benchmarks shows that this simple approach gives surprisingly good results on many practical problems.


title: AutoGFI: Streamlined Generalized Fiducial Inference for Modern Inference Problems

abstract: The origins of fiducial inference trace back to the 1930s when R. A. Fisher first introduced the concept as a response to what he perceived as a limitation of Bayesian inference - the requirement for a subjective prior distribution on model parameters in cases where no prior information was available. However, Fisher's initial fiducial approach fell out of favor as complications arose, particularly in multi-parameter problems. In the wake of 2000, amidst a renewed interest in contemporary adaptations of fiducial inference, generalized fiducial inference (GFI) emerged to extend Fisher's fiducial argument, providing a promising avenue for addressing numerous crucial and practical inference challenges. Nevertheless, the adoption of GFI has been limited due to its often demanding mathematical derivations and the necessity for implementing complex Markov Chain Monte Carlo algorithms. This complexity has impeded its widespread utilization and practical applicability. This paper presents a significant advancement by introducing an innovative variant of GFI designed to alleviate these challenges. Specifically, this paper proposes AutoGFI, an easily implementable algorithm that streamlines the application of GFI to a broad spectrum of inference problems involving additive noise. AutoGFI can be readily implemented as long as a fitting routine is available, making it accessible to a broader audience of researchers and practitioners. To demonstrate its effectiveness, AutoGFI is applied to three contemporary and challenging problems: tensor regression, matrix completion, and regression with network cohesion. These case studies highlight the immense potential of GFI and illustrate AutoGFI's promising performance when compared to specialized solutions for these problems. Overall, this research paves the way for a more accessible and powerful application of GFI in a range of practical domains.


title: A Truncated Primordial Power Spectrum and Its Impact on B-Mode Polarization

abstract: The absence of large-angle correlations in the temperature of the cosmic microwave background (CMB), confirmed by three independent satellite missions, creates significant tension with the standard model of cosmology. Previous work has shown, however, that a truncation, $k_{min}$, of the primordial power spectrum comprehensively resolves the anomaly and the missing power at $\ell\lesssim 5$ (the low multipoles). Since this cutoff is consistent with the hypothesized delay of inflation well beyond the Planck time, we are strongly motivated to consider its possible impact on other observational signatures. In this Letter, we analyze and predict its influence on the most revealing probe awaiting measurement by upcoming missions -- the B-mode polarization of the CMB, whose accurate determination should greatly impact the inflationary picture. We highlight the quantitative power of this discriminant by specifically considering the LiteBIRD mission, predicting the effect of $k_{min}$ on both the angular power spectrum and the angular correlation function of the B-mode, for a range of tensor-to-scalar ratios, $r$. While its impact on the latter appears to be negligible, $k_{\rm min}$ should have a very pronounced effect on the former. We show that for $r=0.036$, $k_{min}$'s impact on $C_{\ell}^{BB}$ at low $\ell$'s should be easily detectable by LiteBIRD, but will be largely hidden by the total uncertainty of the measurement if $r\lesssim 0.02$.


title: The Rank-1 Completion Problem for Cubic Tensors

abstract: This paper studies the rank-$1$ tensor completion problem for cubic order tensors. First of all, we show that this problem is equivalent to a special rank-$1$ matrix recovery problem. We propose both nuclear norm relaxation and moment relaxation methods for solving the resulting rank-$1$ matrix recovery problem. The nuclear norm relaxation sometimes get a rank-$1$ tensor completion, while sometimes it does not. When it fails, we apply the moment hierarchy of semidefinite programming relaxations to solve the rank-$1$ matrix recovery problem. The moment hierarchy can always get a rank-$1$ tensor completion, or detect its nonexistence. In particular, when the tensor is strongly rank-$1$ completable, we show that the problem is equivalent to a rank-$1$ matrix completion problem and it can be solved by an iterative formula. Therefore, much larger size problems can be solved efficiently for strongly rank-$1$ completable tensors. Numerical experiments are shown to demonstrate the efficiency of these proposed methods.


title: Optimal Universal Quantum Encoding for Statistical Inference

abstract: Optimal encoding of classical data for statistical inference using quantum computing is investigated. A universal encoder is sought that is optimal for a wide array of statistical inference tasks. Accuracy of any statistical inference is shown to be upper bounded by a term that is proportional to maximal quantum leakage from the classical data, i.e., the input to the inference model, through its quantum encoding. This demonstrates that the maximal quantum leakage is a universal measure of the quality of the encoding strategy for statistical inference as it only depends on the quantum encoding of the data and not the inference task itself. The optimal universal encoding strategy, i.e., the encoding strategy that maximizes the maximal quantum leakage, is proved to be attained by pure states. When there are enough qubits, basis encoding is proved to be universally optimal. An iterative method for numerically computing the optimal universal encoding strategy is presented.


title: Anarchy in the APSP: Algorithm and Hardness for Incorrect Implementation of Floyd-Warshall

abstract: The celebrated Floyd-Warshall algorithm efficiently computes the all-pairs shortest path, and its simplicity made it a staple in computer science classes. Frequently, students discover a variant of this Floyd-Warshall algorithm by mixing up the loop order, ending up with the incorrect APSP matrix. This paper considers a computational problem of computing this incorrect APSP matrix. We will propose efficient algorithms for this problem and prove that this incorrect variant is APSP-complete.


title: Loco-Manipulation with Nonimpulsive Contact-Implicit Planning in a Slithering Robot

abstract: Object manipulation has been extensively studied in the context of fixed base and mobile manipulators. However, the overactuated locomotion modality employed by snake robots allows for a unique blend of object manipulation through locomotion, referred to as loco-manipulation. The following work presents an optimization approach to solving the loco-manipulation problem based on non-impulsive implicit contact path planning for our snake robot COBRA. We present the mathematical framework and show high-fidelity simulation results and experiments to demonstrate the effectiveness of our approach.


title: A Novel Vision Transformer based Load Profile Analysis using Load Images as Inputs

abstract: This paper introduces ViT4LPA, an innovative Vision Transformer (ViT) based approach for Load Profile Analysis (LPA). We transform time-series load profiles into load images. This allows us to leverage the ViT architecture, originally designed for image processing, as a pre-trained image encoder to uncover latent patterns within load data. ViT is pre-trained using an extensive load image dataset, comprising 1M load images derived from smart meter data collected over a two-year period from 2,000 residential users. The training methodology is self-supervised, masked image modeling, wherein masked load images are restored to reveal hidden relationships among image patches. The pre-trained ViT encoder is then applied to various downstream tasks, including the identification of electric vehicle (EV) charging loads and behind-the-meter solar photovoltaic (PV) systems and load disaggregation. Simulation results illustrate ViT4LPA's superior performance compared to existing neural network models in downstream tasks. Additionally, we conduct an in-depth analysis of the attention weights within the ViT4LPA model to gain insights into its information flow mechanisms.


title: Introducing Graph Learning over Polytopic Uncertain Graph

abstract: This extended abstract introduces a class of graph learning applicable to cases where the underlying graph has polytopic uncertainty, i.e., the graph is not exactly known, but its parameters or properties vary within a known range. By incorporating this assumption that the graph lies in a polytopic set into two established graph learning frameworks, we find that our approach yields better results with less computation.


title: Magnetic properties of low-angle twisted bilayer graphene at three-quarters filling

abstract: We present a theoretical investigation of the magnetic properties exhibited by twisted bilayer graphene systems with small twist angles, where the appearance of flat minibands strongly enhances electron-electron interaction effects. We consider a tight-binding Hamiltonian combined with a Hubbard mean-field interaction term and employ a real-space recursion technique to self-consistently calculate the system's local density of states. The $O({\cal N})$ efficiency of the recursion method makes it possible to address superlattices of very large size by means of a full real-space analysis. Our procedure is validated by comparison with literature momentum-space calculations that find a magnetic phase in charge-neutral twisted bilayer graphene. We use our method to investigate the properties of small-angle twisted bilayer graphene at three-quarters filling of the conduction miniband. Our calculations indicate the emergence of a ferromagnetic phase that can be understood in terms of the Stoner mechanism, in line with recent experimental observations.


title: A Parametric Approach for Solving Convex Quadratic Optimization with Indicators Over Trees

abstract: This paper investigates convex quadratic optimization problems involving $n$ indicator variables, each associated with a continuous variable, particularly focusing on scenarios where the matrix $Q$ defining the quadratic term is positive definite and its sparsity pattern corresponds to the adjacency matrix of a tree graph. We introduce a graph-based dynamic programming algorithm that solves this problem in time and memory complexity of $\mathcal{O}(n^2)$. Central to our algorithm is a precise parametric characterization of the cost function across various nodes of the graph corresponding to distinct variables. Our computational experiments conducted on both synthetic and real-world datasets demonstrate the superior performance of our proposed algorithm compared to existing algorithms and state-of-the-art mixed-integer optimization solvers. An important application of our algorithm is in the real-time inference of Gaussian hidden Markov models from data affected by outlier noise. Using a real on-body accelerometer dataset, we solve instances of this problem with over 30,000 variables in under a minute, and its online variant within milliseconds on a standard computer. A Python implementation of our algorithm is available at https://github.com/aareshfb/Tree-Parametric-Algorithm.git.


title: The Clarkston AR Gateways Project: Anchoring Refugee Presence and Narratives in a Small Town

abstract: This paper outlines the Clarkston AR Gateways Project, a speculative process and artifact entering its second phase, where Augmented Reality (AR) will be used to amplify the diverse narratives of Clarkston, Georgia's refugee community. Focused on anchoring their stories and presence into the town's physical and digital landscapes, the project employs a participatory co-design approach, engaging directly with community members. This placemaking effort aims to uplift refugees by teaching them AR development skills that help them more autonomously express and elevate their voices through public art. The result is hoped to be AR experiences that not only challenge prevailing narratives but also celebrate the tapestry of cultures in the small town. This work is supported through AR's unique affordance for users to situate their experiences as interactive narratives within public spaces. Such site-specific AR interactive stories can encourage interactions within those spaces that shift how they are conceived, perceived, and experienced. This process of refugee-driven AR creation reflexively alters the space and affirms their presence and agency. The project's second phase aims to establish a model adaptable to diverse, refugee-inclusive communities, demonstrating how AR storytelling can be a powerful tool for cultural orientation and celebration.


title: Sizes of active galactic nuclei inhomogeneous disks -- large in microlensing, small in reverberation mapping

abstract: Magnetohydrodynamics (MHD) turbulence can drive significant temperature fluctuations in the accretion disk of an active galactic nucleus (AGN). As a result, the disk can be highly inhomogeneous and has a half-light radius larger than the static Shakura \& Sunyaev Disk (SSD), in agreement with quasar microlensing observations. Meanwhile, the accretion-disk sizes can also be determined using continuum reverberation mappings which measure interband cross correlations and time lags. The interband time lags are often understood in the X-ray reprocessing scenario. Here we show that the interband continuum time lags of the X-ray reprocessing of an inhomogeneous disk are similar to or even smaller than those of a static SSD. Consequently, the X-ray reprocessing of an inhomogeneous disk cannot account for the recent continuum reverberation mappings of some Seyfert 1 AGNs, whose measured time lags are larger than those of a static SSD. In contrast to the tight correlation between UV/optical variations, the cross correlation between X-ray and disk emission is rather weak in this model; this behavior is consistent with recent continuum reverberation mappings. Moreover, the time lags in this model are anti-correlated with the amplitude of disk temperature fluctuations. Our results suggest that the temperature fluctuations should be properly considered when modeling interband continuum time lags.


title: Pay Attention to Your Neighbours: Training-Free Open-Vocabulary Semantic Segmentation

abstract: Despite the significant progress in deep learning for dense visual recognition problems, such as semantic segmentation, traditional methods are constrained by fixed class sets. Meanwhile, vision-language foundation models, such as CLIP, have showcased remarkable effectiveness in numerous zero-shot image-level tasks, owing to their robust generalizability. Recently, a body of work has investigated utilizing these models in open-vocabulary semantic segmentation (OVSS). However, existing approaches often rely on impractical supervised pre-training or access to additional pre-trained networks. In this work, we propose a strong baseline for training-free OVSS, termed Neighbour-Aware CLIP (NACLIP), representing a straightforward adaptation of CLIP tailored for this scenario. Our method enforces localization of patches in the self-attention of CLIP's vision transformer which, despite being crucial for dense prediction tasks, has been overlooked in the OVSS literature. By incorporating design choices favouring segmentation, our approach significantly improves performance without requiring additional data, auxiliary pre-trained networks, or extensive hyperparameter tuning, making it highly practical for real-world applications. Experiments are performed on 8 popular semantic segmentation benchmarks, yielding state-of-the-art performance on most scenarios. Our code is publicly available at https://github.com/sinahmr/NACLIP .


title: A unique Cartan subalgebra result for Bernoulli actions of weakly amenable groups

abstract: We show that if $\Gamma\curvearrowright (X^\Gamma,\mu^\Gamma)$ is a Bernoulli action of an i.c.c. nonamenable group $\Gamma$ which is weakly amenable with Cowling-Haagerup constant $1$, and $\Lambda\curvearrowright(Y,\nu)$ is a free ergodic p.m.p. algebraic action of a group $\Lambda$, then the isomorphism $L^\infty(X^\Gamma)\rtimes\Gamma\cong L^\infty(Y)\rtimes\Lambda$ implies that $L^\infty(X^\Gamma)$ and $L^\infty(Y)$ are unitarily conjugate. This is obtained by showing a new rigidity result of non properly proximal groups and combining it with a rigidity result of properly proximal groups from \cite{BIP21}.


title: A special class of pure $O$-sequences

abstract: The pure $O$-sequences of the form $(1,a,a,\ldots)$ are classified.


title: Measuring Domain Shifts using Deep Learning Remote Photoplethysmography Model Similarity

abstract: Domain shift differences between training data for deep learning models and the deployment context can result in severe performance issues for models which fail to generalize. We study the domain shift problem under the context of remote photoplethysmography (rPPG), a technique for video-based heart rate inference. We propose metrics based on model similarity which may be used as a measure of domain shift, and we demonstrate high correlation between these metrics and empirical performance. One of the proposed metrics with viable correlations, DS-diff, does not assume access to the ground truth of the target domain, i.e. it may be applied to in-the-wild data. To that end, we investigate a model selection problem in which ground truth results for the evaluation domain is not known, demonstrating a 13.9% performance improvement over the average case baseline.


title: Eccentricity matters: Impact of eccentricity on inferred binary black hole populations

abstract: Gravitational waves (GW), emanating from binary black holes (BBH), encode vital information about their source. GW signals enable us to deduce key properties of the BBH population across the universe, including mass, spin, and eccentricity distribution. While the masses and spins of binary components are already recognized for their insights into formation, eccentricity stands out as a distinct and quantifiable indicator of formation and evolution. Yet, despite its significance, eccentricity is notably absent from most parameter estimation (PE) analyses associated with GW signals. To evaluate the precision with which the eccentricity distribution can be deduced, we generated two synthetic populations of eccentric binary black holes (EBBH) characterized by non-spinning, non-precessing dynamics and mass ranges between $10 M_\odot$ and $50 M_\odot$. This was achieved using an eccentric power law model, encompassing $100$ events with eccentricity distributions set at $\sigma_\epsilon = 0.05$ and $\sigma_\epsilon = 0.15$. This synthetic EBBH ensemble was contrasted against a circular binary black holes (CBBH) collection to discern how parameter inferences would vary without eccentricity. Employing Markov Chain Monte Carlo (MCMC) techniques, we constrained vital model parameters, including the event rate ($\mathcal{R}$), mass distribution, minimum mass ($m_{min}$), maximum mass ($m_{max}$), and the eccentricity distribution ($\sigma_\epsilon$). Our analysis demonstrates that eccentric population inference can identify the signatures of even modest eccentricities, given sufficiently many events. Conversely, our study shows that an analysis neglecting eccentricity may draw biased conclusions about population parameters for populations with the optimistic values of eccentricity distribution used in our research.


title: Clustering Analysis of US COVID-19 Rates, Vaccine Participation, and Socioeconomic Factors

abstract: The COVID-19 pandemic has presented unprecedented challenges worldwide, with its impact varying significantly across different geographic and socioeconomic contexts. This study employs a clustering analysis to examine the diversity of responses to the pandemic within the United States, aiming to provide nuanced insights into the effectiveness of various strategies. We utilize an unsupervised machine learning approach, specifically K-Means clustering, to analyze county-level data that includes variables such as infection rates, death rates, demographic profiles, and socio-economic factors. Our analysis identifies distinct clusters of counties based on their pandemic responses and outcomes, facilitating a detailed examination of "high-performing" and "lower-performing" groups. These classifications are informed by a combination of COVID-specific datasets and broader socio-economic data, allowing for a comprehensive understanding of the factors that contribute to differing levels of pandemic impact. The findings underscore the importance of tailored public health responses that consider local conditions and capabilities. Additionally, this study introduces an innovative visualization tool that aids in hypothesis testing and further research, enhancing the ability of policymakers and public health officials to deploy more effective and targeted interventions in future health crises.


title: Adapting CNNs for Fisheye Cameras without Retraining

abstract: The majority of image processing approaches assume images are in or can be rectified to a perspective projection. However, in many applications it is beneficial to use non conventional cameras, such as fisheye cameras, that have a larger field of view (FOV). The issue arises that these large-FOV images can't be rectified to a perspective projection without significant cropping of the original image. To address this issue we propose Rectified Convolutions (RectConv); a new approach for adapting pre-trained convolutional networks to operate with new non-perspective images, without any retraining. Replacing the convolutional layers of the network with RectConv layers allows the network to see both rectified patches and the entire FOV. We demonstrate RectConv adapting multiple pre-trained networks to perform segmentation and detection on fisheye imagery from two publicly available datasets. Our approach requires no additional data or training, and operates directly on the native image as captured from the camera. We believe this work is a step toward adapting the vast resources available for perspective images to operate across a broad range of camera geometries.


title: Fundamental Limits of Communication-Assisted Sensing in ISAC Systems

abstract: In this paper, we introduce a novel communication-assisted sensing (CAS) framework that explores the potential coordination gains offered by the integrated sensing and communication technique. The CAS system endows users with beyond-line-of-the-sight sensing capabilities, supported by a dual-functional base station that enables simultaneous sensing and communication. To delve into the system's fundamental limits, we characterize the information-theoretic framework of the CAS system in terms of rate-distortion theory. We reveal the achievable overall distortion between the target's state and the reconstructions at the end-user, referred to as the sensing quality of service, within a special case where the distortion metric is separable for sensing and communication processes. As a case study, we employ a typical application to demonstrate distortion minimization under the ISAC signaling strategy, showcasing the potential of CAS in enhancing sensing capabilities.


title: Reducing hallucination in structured outputs via Retrieval-Augmented Generation

abstract: A common and fundamental limitation of Generative AI (GenAI) is its propensity to hallucinate. While large language models (LLM) have taken the world by storm, without eliminating or at least reducing hallucinations, real-world GenAI systems may face challenges in user adoption. In the process of deploying an enterprise application that produces workflows based on natural language requirements, we devised a system leveraging Retrieval Augmented Generation (RAG) to greatly improve the quality of the structured output that represents such workflows. Thanks to our implementation of RAG, our proposed system significantly reduces hallucinations in the output and improves the generalization of our LLM in out-of-domain settings. In addition, we show that using a small, well-trained retriever encoder can reduce the size of the accompanying LLM, thereby making deployments of LLM-based systems less resource-intensive.


title: End behavior of Ramanujan's taxicab numbers

abstract: Generalized taxicab numbers are the smallest positive integers that are the sum of exactly $j$, positive $k$-th powers in exactly $m$ distinct ways. This paper is considers for which values of $m$ does a smallest such integer exist as $j$ gets large. There appear to be only two possible outcomes, leading to curious results like there is no positive integer that can be expressed as the sum of exactly $10$ positive squares in exactly $3$ ways. This paper resolves a number of conjectures found in the OEIS by considering generalized Taxicab numbers in the setting of the theory of partitions.


title: Measuring Cross-lingual Transfer in Bytes

abstract: Multilingual pretraining has been a successful solution to the challenges posed by the lack of resources for languages. These models can transfer knowledge to target languages with minimal or no examples. Recent research suggests that monolingual models also have a similar capability, but the mechanisms behind this transfer remain unclear. Some studies have explored factors like language contamination and syntactic similarity. An emerging line of research suggests that the representations learned by language models contain two components: a language-specific and a language-agnostic component. The latter is responsible for transferring a more universal knowledge. However, there is a lack of comprehensive exploration of these properties across diverse target languages. To investigate this hypothesis, we conducted an experiment inspired by the work on the Scaling Laws for Transfer. We measured the amount of data transferred from a source language to a target language and found that models initialized from diverse languages perform similarly to a target language in a cross-lingual setting. This was surprising because the amount of data transferred to 10 diverse target languages, such as Spanish, Korean, and Finnish, was quite similar. We also found evidence that this transfer is not related to language contamination or language proximity, which strengthens the hypothesis that the model also relies on language-agnostic knowledge. Our experiments have opened up new possibilities for measuring how much data represents the language-agnostic representations learned during pretraining.


title: Wellposedness of the Master Equation for Mean Field Games with Grushin Type Diffusion

abstract: We study the wellposedness of the master equation for a second-order mean field games with the Grushin type diffusion. In order to do this, we obtain the properties of its solution by investigating a degenerate mean field games system for which there exists an equivalent characterization with the master equation. The crucial points of this paper are to explore some regularities of solutions to two types of linear degenerate partial differential equations and a kind of degenerate linear coupled system so as to derive the existence of solutions to the master equation.


title: Integers that are not the sum of positive powers

abstract: Exactly which positive integers cannot be expressed as the sum of $j$ positive $k$-th powers? This paper utilizes theoretical and computational techniques to answer this question for $k\leq9$. Results from Waring's problem are used throughout to catalogue the sets of such integers. These sets are then considered in a general setting, and several curious properties are established.


title: Fixed points of K-Fibonacci sequences

abstract: A $K$-Fibonacci sequence is a binary recurrence sequence where $F_0=0$, $F_1=1$, and $F_n=K\cdot F_{n-1}+F_{n-2}$. These sequences are known to be periodic modulo every positive integer greater than $1$. If the length of one shortest period of a $K$-Fibonacci sequence modulo a positive integer is equal to the modulus, then that positive integer is called a $\textit{fixed point}$. This paper determines the fixed points of $K$-Fibonacci sequences according to the factorization of $K^2+4$ and concludes that if this process is iterated, then every modulus greater than $3$ eventually terminates at a fixed point.


title: Tackling Ambiguity from Perspective of Uncertainty Inference and Affinity Diversification for Weakly Supervised Semantic Segmentation

abstract: Weakly supervised semantic segmentation (WSSS) with image-level labels intends to achieve dense tasks without laborious annotations. However, due to the ambiguous contexts and fuzzy regions, the performance of WSSS, especially the stages of generating Class Activation Maps (CAMs) and refining pseudo masks, widely suffers from ambiguity while being barely noticed by previous literature. In this work, we propose UniA, a unified single-staged WSSS framework, to efficiently tackle this issue from the perspective of uncertainty inference and affinity diversification, respectively. When activating class objects, we argue that the false activation stems from the bias to the ambiguous regions during the feature extraction. Therefore, we design a more robust feature representation with a probabilistic Gaussian distribution and introduce the uncertainty estimation to avoid the bias. A distribution loss is particularly proposed to supervise the process, which effectively captures the ambiguity and models the complex dependencies among features. When refining pseudo labels, we observe that the affinity from the prevailing refinement methods intends to be similar among ambiguities. To this end, an affinity diversification module is proposed to promote diversity among semantics. A mutual complementing refinement is proposed to initially rectify the ambiguous affinity with multiple inferred pseudo labels. More importantly, a contrastive affinity loss is further designed to diversify the relations among unrelated semantics, which reliably propagates the diversity into the whole feature representations and helps generate better pseudo masks. Extensive experiments are conducted on PASCAL VOC, MS COCO, and medical ACDC datasets, which validate the efficiency of UniA tackling ambiguity and the superiority over recent single-staged or even most multi-staged competitors.


title: Properties of fractional p-Laplace equations with sign-changing potential

abstract: In this paper, we consider the nonlinear equation involving the fractional p-Laplacian with sign-changing potential. This model draws inspiration from De Giorgi Conjecture. There are two main results in this paper. Firstly, we obtain that the solution is radially symmetric within the bounded domain, by applying the moving plane method. Secondly, by exploiting the idea of the sliding method, we construct the appropriate auxiliary functions to prove that the solution is monotone increasing in some direction in the unbounded domain. The different properties of the solution in bounded and unbounded domains are mainly attributed to the inherent non-locality of the fractional p-Laplacian.


title: Scaling (Down) CLIP: A Comprehensive Analysis of Data, Architecture, and Training Strategies

abstract: This paper investigates the performance of the Contrastive Language-Image Pre-training (CLIP) when scaled down to limited computation budgets. We explore CLIP along three dimensions: data, architecture, and training strategies. With regards to data, we demonstrate the significance of high-quality training data and show that a smaller dataset of high-quality data can outperform a larger dataset with lower quality. We also examine how model performance varies with different dataset sizes, suggesting that smaller ViT models are better suited for smaller datasets, while larger models perform better on larger datasets with fixed compute. Additionally, we provide guidance on when to choose a CNN-based architecture or a ViT-based architecture for CLIP training. We compare four CLIP training strategies - SLIP, FLIP, CLIP, and CLIP+Data Augmentation - and show that the choice of training strategy depends on the available compute resource. Our analysis reveals that CLIP+Data Augmentation can achieve comparable performance to CLIP using only half of the training data. This work provides practical insights into how to effectively train and deploy CLIP models, making them more accessible and affordable for practical use in various applications.


title: Emerging Spherical-like spectra for the description of the normal states of $^{108-120}$Cd in the SU3-IBM

abstract: Spherical nucleus puzzle implies that the phonon excitation of a spherical shape should be questioned and refuted. For understanding this spherical-like $\gamma$-soft mode newly found experimentally, a possible answer was proposed recently in the SU3-IBM. In this paper, the evolutions of the normal states in $^{108-120}$Cd are investigated and compared with the experimental results. For better explaining the nearly zero B(E2) values between the $0_{2}^{+}$ state and the $2_{1}^{+}$ state, except for the SU(3) second-order and third-order Casimir operators, other SU(3) higher-order interactions are also considered in detail. It can be found that the results of theoretical fitting and experimental data agree well under very simple parameter selection. The spherical-like spectra really exist. The deficiency may come from the lack of configuration mixing. The realistic spectra characteristics are found and it predicts the electric quadrupole moment of the $2_{1}^{+}$ state for $^{118,120}$Cd.


title: Cepstral Analysis Based Artifact Detection, Recognition and Removal for Prefrontal EEG

abstract: This paper proposes to use cepstrum for artifact detection, recognition and removal in prefrontal EEG. This work focuses on the artifact caused by eye movement. A database containing artifact-free EEG and eye movement contaminated EEG from different subjects is established. A cepstral analysis-based feature extraction with support vector machine (SVM) based classifier is designed to identify the artifacts from the target EEG signals. The proposed method achieves an accuracy of 99.62% on the artifact detection task and a 82.79% accuracy on the 6-category eye movement classification task. A statistical value-based artifact removal method is proposed and evaluated on a public EEG database, where an accuracy improvement of 3.46% is obtained on the 3-category emotion classification task. In order to make a confident decision of each 5s EEG segment, the algorithm requires only 0.66M multiplication operations. Compared to the state-of-the-art approaches in artifact detection and removal, the proposed method features higher detection accuracy and lower computational cost, which makes it a more suitable solution to be integrated into a real-time and artifact robust Brain-Machine Interface (BMI).


title: Fully quantum arbitrarily varying channel coding for entanglement-assisted communication

abstract: If a sender and a receiver lack precise knowledge about the communication line that connects them, designing a scheme to reliably transmit information becomes more challenging. This has been studied in classical and quantum information theory in the context of compound channel models and arbitrarily varying channel models. However, a fully quantum version of system uncertainty allows for an even more challenging coding scenario with entangled channel uses. This type of model has previously been investigated for classical and quantum capacity. Here, we address the problem of entanglement-assisted capacity in the presence of such system uncertainty. We find that, under the assumption of a finite environment dimension, it is equal to a corresponding compound capacity. Intriguingly, our results imply that in certain fully quantum arbitrarily varying channel models, the entanglement-assisted capacity can be positive while the classical capacity is equal to zero, a phenomenon that does not occur in regular single-channel coding.


title: A Mutual Inclusion Mechanism for Precise Boundary Segmentation in Medical Images

abstract: In medical imaging, accurate image segmentation is crucial for quantifying diseases, assessing prognosis, and evaluating treatment outcomes. However, existing methods lack an in-depth integration of global and local features, failing to pay special attention to abnormal regions and boundary details in medical images. To this end, we present a novel deep learning-based approach, MIPC-Net, for precise boundary segmentation in medical images. Our approach, inspired by radiologists' working patterns, features two distinct modules: (i) \textbf{Mutual Inclusion of Position and Channel Attention (MIPC) module}: To enhance the precision of boundary segmentation in medical images, we introduce the MIPC module, which enhances the focus on channel information when extracting position features and vice versa; (ii) \textbf{GL-MIPC-Residue}: To improve the restoration of medical images, we propose the GL-MIPC-Residue, a global residual connection that enhances the integration of the encoder and decoder by filtering out invalid information and restoring the most effective information lost during the feature extraction process. We evaluate the performance of the proposed model using metrics such as Dice coefficient (DSC) and Hausdorff Distance (HD) on three publicly accessible datasets: Synapse, ISIC2018-Task, and Segpc. Our ablation study shows that each module contributes to improving the quality of segmentation results. Furthermore, with the assistance of both modules, our approach outperforms state-of-the-art methods across all metrics on the benchmark datasets, notably achieving a 2.23mm reduction in HD on the Synapse dataset, strongly evidencing our model's enhanced capability for precise image boundary segmentation. Codes will be available at https://github.com/SUN-1024/MIPC-Net.


title: Shortcuts to adiabaticity with general two-level non-Hermitian systems

abstract: Shortcuts to adiabaticity are alternative fast processes which reproduce the same final state as the adiabatic process in a finite or even shorter time, which have been extended from Hermitian systems to non-Hermitian systems in recent years, but they are barely explored for general non-Hermitian systems where off-diagonal elements of the Hamiltonian are not Hermitian. In this paper, we propose a shortcuts to adiabaticity technique which is based on a transitionless quantum driving algorithm to realize population transfer for general two-level non-Hermitian systems and give both exact and approximate analytical solutions of the corresponding counteradiabatic driving Hamiltonian, where the latter can be extended to the zeroth-order and first-order terms by applying perturbative theory. We find that the first-order correction term is different from the previous results, which is caused by the non-Hermiticity of the off-diagonal elements. We work out an exact expression for the control function and present examples consisting of a general two-level system with gain and loss to show the theory. The results suggest that the high-fidelity population transfer can be implemented in general non-Hermitian systems by our method, which works even with strong non-Hermiticity and without rotating wave approximation. Furthermore, we show that the general Hamiltonian the off-diagonal elements of which are not conjugate to each other can be implemented in many physical systems with the present experimental technology, such as an atom-light interaction system and whispering-gallery microcavity, which might have potential applications in quantum information processing.


title: Optomechanical second-order sidebands and group delays in a spinning resonator with parametric amplifier and non-Markovian effects

abstract: We investigate the generation of the frequency components at the second-order sidebands based on a spinning resonator containing a degenerate optical parametric amplifier (OPA). We show an OPA driven by different pumping frequencies inside a cavity can enhance and modulate the amplitude of the second-order sideband with different influences. We find that both the second-order sideband amplitude and its associated group delay sensitively depend on the nonlinear gain of the OPA, the phase of the field driving the OPA, the rotation speed of the resonator, and the incident direction of the input fields. Tuning the pumping frequency of the OPA can remain the localization of the maximum value of the sideband efficiency and nonreciprocal behavior due to the optical Sagnac effect, which also can adjust the linewidth of the suppressive window of the second-order sideband. Furthermore, we extend the study of second-order sideband to the non-Markovian bath which consists of a collection of infinite oscillators (bosonic photonic modes). We illustrate the second-order sidebands in a spinning resonator exhibit a transition from the non-Markovian to Markovian regime by controlling environmental spectral width. \textbf{We also study the influences of the decay from the non-Markovian environment coupling to an external reservoir on the efficiency of second-order upper sidebands.} This indicates a promising new way to enhance or steer optomechanically induced transparency devices in nonlinear optical cavities and provides potential applications for precision measurement, optical communications, and quantum sensing.


title: The evolution equation for the energy-momentum moments of the non-equilibrium density function & The regularized relativistic third order hydrodynamics

abstract: In this work, we first derive the evolution equation for the general energy-momentum moment of $\delta f$, where $\delta f$ is the deviation from the local equilibrium phase space density. We then introduce a relativistic extension of regularized hydrodynamics developed in the non-relativistic case by Struchtrup and Torrilhon that combines the method of moments and Chapman-Enskog expansion. Hydrodynamic equations up to the third-order in gradients are then systematially derived within the context of a single species system and the relaxation time approximation. This is followed by a series of linear stability and causality analysis. For the system of massless particles without any charge conservation, the third-order hydrodynamics is shown to be linearly stable and causal.


title: One-loop contributions to $WWZ$ from a seesaw variant with radiatively-induced light-neutrino masses

abstract: The experimental confirmation of neutrino mass and mixing disagrees with the picture of the Standard Model, and thus provides a good motivation to look for unknown physics. A seesaw variant in which neutrino masses are radiatively generated, with neutrinos characterized by Majorana fields and where a set of three hypothetical neutral heavy leptons are present, has been considered in the present work. We have calculated, estimated, and analyzed the contributions from virtual light and heavy neutrinos to the gauge vertex $WWZ$, in the context of a future electron-positron collider. We have found that contributions to both $CP$-even and $CP$-odd anomalous couplings are generated. Our estimations indicate that contributions as large as $~10^{-3}$ can be achieved in both cases. This is particularly interesting for the $CP$-odd effects, which are expected to appear in the framework of the Standard Model since the three-loop order, thus being quite suppressed. By considering the expected sensitivity of the International Linear Collider to this gauge vertex, we conclude that these new-physics effects would be within its reach for $e^+e^-$ collisions taking place at a center-of-mass energy of $800\,{\rm GeV}$.


title: Non-uniform wave momentum bandgap in biaxial anisotropic photonic time crystals

abstract: Photonic time crystals (PTCs) host momentum bandgaps enabling intriguing non-resonant light amplification in propagating waves, but opening substantial bandgaps demands refractive index changes too extreme for conventional nonlinear optics. Here, we introduce momentum bandgaps for non-uniform waves, including evanescent and ghost types, by extending PTCs to biaxial anisotropic photonic time crystals that periodically alternate between uniform biaxial anisotropy and isotropic media over time. We show that ghost waves, unlike evanescent waves, sustain only momentum bandgaps, opening wide bandgaps at even the smallest modulation depths. Moreover, we demonstrate momentum bandgap effects on non-uniform waves that can be amplified, or through decaying modes, selectively attenuated. We find that ghost wave momentum bandgaps uniquely boost refracted over reflected waves under one-way incidence, in stark contrast to balanced amplification seen in both propagating and evanescent waves. Our approach expands time-varying metamaterials by integrating wave characteristics, bridging the gap between conventional nonlinear optics and PTC momentum bandgaps, and shedding new light on extreme manipulation of surface polaritons.


title: Dissecting Quantum Many-body Chaos in the Krylov Space

abstract: The growth of simple operators is essential for the emergence of chaotic dynamics and quantum thermalization. Recent studies have proposed different measures, including the out-of-time-order correlator and Krylov complexity. It is established that the out-of-time-order correlator serves as the signature of quantum many-body chaos, while the Krylov complexity provides its upper bound. However, there exist non-chaotic systems in which Krylov complexity grows exponentially, indicating that the Krylov complexity itself is not a witness of many-body chaos. In this letter, we introduce the missing ingredient, named as the Krylov metric $K_{mn}$, which probes the size of the Krylov basis. We propose that the universal criteria for fast scramblers include (i) the exponential growth of Krylov complexity, (ii) the diagonal elements $K_{nn}\sim n^h$ with $h\in(0,1]$, and (iii) the negligibility of off-diagonal elements $K_{mn}$ with $m\neq n$. We further show that $h=\varkappa / 2\alpha$ is a ratio between the quantum Lyapunov exponent $\varkappa$ and the Krylov exponent $\alpha$. This proposal is supported by both generic arguments and explicit examples, including solvable SYK models, Luttinger Liquids, and many-body localized systems. Our results provide a refined understanding of how chaotic dynamics emerge from the Krylov space perspective.

categories: quant-ph cond-mat.quant-gas cond-mat.str-el hep-th


title: Shifting the Paradigm: Estimating Heterogeneous Treatment Effects in the Development of Walkable Cities Design

abstract: The transformation of urban environments to accommodate growing populations has profoundly impacted public health and well-being. This paper addresses the critical challenge of estimating the impact of urban design interventions on diverse populations. Traditional approaches, reliant on questionnaires and stated preference techniques, are limited by recall bias and capturing the complex dynamics between environmental attributes and individual characteristics. To address these challenges, we integrate Virtual Reality (VR) with observational causal inference methods to estimate heterogeneous treatment effects, specifically employing Targeted Maximum Likelihood Estimation (TMLE) for its robustness against model misspecification. Our innovative approach leverages VR-based experiment to collect data that reflects perceptual and experiential factors. The result shows the heterogeneous impacts of urban design elements on public health and underscore the necessity for personalized urban design interventions. This study not only extends the application of TMLE to built environment research but also informs public health policy by illuminating the nuanced effects of urban design on mental well-being and advocating for tailored strategies that foster equitable, health-promoting urban spaces.


title: On the dependence of the affine Springer fibers on their root valuation datum

abstract: For the group $\mathrm{GL}_{d}$, we confirm a conjecture of Goresky, Kottwitz and MacPherson, which states that the cohomology of the affine Springer fibers depend only on the root valuation datum of their defining elements. The proof relies on a microlocal analysis of the intermediate extensions appearing in Ng\^o's support theorem, and a Whitney regularity property of the union of the strict $\delta$-strata over the equisingular strata for the miniversal deformation of plane curve singularities.


title: The Inverse Carson's Equations Problem: Definition, Implementation and Experiments

abstract: In recent years, with the increase in renewable energy and storage penetration, power flow studies in low-voltage networks have become of interest in both industry and academia. Many studies use impedance represented by sequence components due to the lack of datasets with fully parameterized impedance matrices. This assumes that the network impedance is balanced, which is typically not the case in the low voltage network and therefore risks the accuracy of the study. This paper proposes a methodology for the recovery of more detailed impedance data from sequence components as an inverse problem, i.e. the inverse Carson's equations problem, for both overhead lines and cables. We consider discrete properties like material and configuration of conductors common in the distribution network and investigate what data can be reliably recovered from only sequence components using nonlinear optimisation models. Presented results include uniqueness of recovered variables and the likelihood of mismatch.


title: Fractal spectrum in twisted bilayer optical lattice

abstract: The translation symmetry of a lattice is greatly modified when subjected to a perpendicular magnetic field [Zak, Phys. Rev. \textbf{134}, A1602 (1964)]. This change in symmetry can lead to magnetic unit cells that are substantially larger than the original ones. Similarly, the translation properties of a double-layered lattice alters drastically while two monolayers are relatively twisted by a small angle, resulting in large-scale moir\'{e} unit cells. Intrigued by the resemblance, we calculate the complete band structures of a twisted bilayer optical lattice and show that the geometric moir\'{e} effect can induce fractal band structures. The fractals are controlled by the twist angle between two monolayers and are closely connected to the celebrated butterfly spectrum of two-dimensional Bloch electrons in a magnetic field [Hofstadter, Phys. Rev. B \textbf{14}, 2239 (1976)]. We demonstrate this by proving that the twisted bilayer optical lattice can be mapped to a generalized Hofstadter's model with long-range hopping. Furthermore, we provide numerical evidence on the infinite recursive structures of the spectrum and give an algorithm for computing these structures.