title: Optimal Management of DC Pension Plan with Inflation Risk and Tail VaR Constraint

abstract: This paper investigates an optimal investment problem under the tail Value at Risk (tail VaR, also known as expected shortfall, conditional VaR, average VaR) and portfolio insurance constraints confronted by a defined-contribution pension member. The member's aim is to maximize the expected utility from the terminal wealth exceeding the minimum guarantee by investing his wealth in a cash bond, an inflation-linked bond and a stock. Due to the presence of the tail VaR constraint, the problem cannot be tackled by standard control tools. We apply the Lagrange method along with quantile optimization techniques to solve the problem. Through delicate analysis, the optimal investment output in closed-form and optimal investment strategy are derived. A numerical analysis is also provided to show how the constraints impact the optimal investment output and strategy.

categories: q-fin.PM math.OC math.PR q-fin.MF q-fin.RM


title: Top-Quark Decay at Next-to-Next-to-Next-to-Leading Order in QCD

abstract: We present the first complete high-precision QCD corrections to the inclusive decay width $\mathrm{\Gamma}_t$, the $W$-helicity fractions $f_{\mathrm{L,R,0}}$ and semi-inclusive distributions for the top-quark decay process $t \rightarrow b + W^+ + X_{\mathrm{\tiny QCD}}$ at NNNLO in the strong coupling constant $\alpha_s$. In particular, the pure NNNLO QCD correction decreases the $\mathrm{\Gamma}_t$ by about $0.8\%$ of the previous NNLO result at the top-quark pole mass scale, exceeding the error estimated by the usual scale-variation prescription. After taking into account all sources of errors, we get $\mathrm{\Gamma}_t = 1.3148^{+0.003}_{-0.005} + 0.027\,(m_t - 172.69)\,\text{GeV} $, the error of which meets the request by future colliders. On the other hand, the NNNLO QCD effects on $f_{\mathrm{L,R,0}}$ are found to be much smaller, at the level of one per-mille for the dominating $f_{0}$, predestining them to act as precision observables for the top-quark decay process.


title: Thermal Protection System Requirements for Future Planetary Entry and Aerocapture Missions

abstract: Thermal protection systems are a critical component of planetary exploration, enabling probes to enter the atmosphere and perform in-situ measurements. The aero-thermal conditions encountered during entry are destination and vehicle dependent, ranging from relatively benign conditions at Mars and Titan, to extreme conditions at Venus and Jupiter. The thermal protection system is a single-point-of-failure for both entry probe and aerocapture missions, and hence must be qualified using ground tests to ensure mission success. The high density Carbon-Phenolic which was used in the Galileo and the Pioneer Venus missions is no longer available due to the lack of the manufacturing base for its raw materials. To address the need for Venus and outer planet missions, NASA has developed the Heatshield for Extreme Environment Entry Technology (HEEET). The present study uses the Aerocapture Mission Analysis Tool (AMAT) to perform a comparative study of the thermal protection system requirements for various planetary destinations and the applicability of HEEET for future entry and aerocapture missions. The heat rate and stagnation pressure for aerocapture is significantly less compared to probe entry. The large heat loads during aerocapture present a challenge, but HEEET is capable of sustaining large heat loads within a reasonable TPS mass fraction.


title: Unconditional flocking for weak solutions to self-organized systems of Euler-type with all-to-all interaction kernel

abstract: We consider a hydrodynamic model of flocking-type with all-to-all interaction kernel in one-space dimension and establish that the global entropy weak solutions, constructed in [2] to the Cauchy problem for any $BV$ initial data that has finite total mass confined in a bounded interval and initial density uniformly positive therein, admit unconditional time-asymptotic flocking without any further assumptions on the initial data. In addition, we show that the convergence to a flocking profile occurs exponentially fast.


title: CodeApex: A Bilingual Programming Evaluation Benchmark for Large Language Models

abstract: With the emergence of Large Language Models (LLMs), there has been a significant improvement in the programming capabilities of models, attracting growing attention from researchers. Evaluating the programming capabilities of LLMs is crucial as it reflects the multifaceted abilities of LLMs, and it has numerous downstream applications. In this paper, we propose CodeApex, a bilingual benchmark dataset focusing on the programming comprehension, code generation, and code correction abilities of LLMs. Programming comprehension task tests LLMs on multiple-choice exam questions covering conceptual understanding, commonsense reasoning, and multi-hop reasoning. The code generation task evaluates LLMs through completing C++ functions based on provided descriptions and prototypes. The code correction task asks LLMs to fix real-world erroneous code segments with different error messages. We evaluate 12 widely used LLMs, including both general-purpose and specialized models. GPT-4 exhibits the best programming capabilities, achieving approximate accuracy of 69%, 54%, and 66% on the three tasks, respectively. Compared to human performance, there is still significant room for improvement in LLM programming. We hope that CodeApex can serve as a reference for evaluating the coding capabilities of LLMs, further promoting their development and growth.


title: Dynamic Brain Transformer with Multi-level Attention for Functional Brain Network Analysis

abstract: Recent neuroimaging studies have highlighted the importance of network-centric brain analysis, particularly with functional magnetic resonance imaging. The emergence of Deep Neural Networks has fostered a substantial interest in predicting clinical outcomes and categorizing individuals based on brain networks. However, the conventional approach involving static brain network analysis offers limited potential in capturing the dynamism of brain function. Although recent studies have attempted to harness dynamic brain networks, their high dimensionality and complexity present substantial challenges. This paper proposes a novel methodology, Dynamic bRAin Transformer (DART), which combines static and dynamic brain networks for more effective and nuanced brain function analysis. Our model uses the static brain network as a baseline, integrating dynamic brain networks to enhance performance against traditional methods. We innovatively employ attention mechanisms, enhancing model explainability and exploiting the dynamic brain network's temporal variations. The proposed approach offers a robust solution to the low signal-to-noise ratio of blood-oxygen-level-dependent signals, a recurring issue in direct DNN modeling. It also provides valuable insights into which brain circuits or dynamic networks contribute more to final predictions. As such, DRAT shows a promising direction in neuroimaging studies, contributing to the comprehensive understanding of brain organization and the role of neural circuits.


title: Na-catalyzed rapid synthesis and characterization of intercalated graphite CaC6

abstract: In this study, we conducted experiments on CaC6 for elucidating the Na-catalyzed formation mechanism and achieving rapid mass synthesis of graphite intercalation compounds (GICs). Rapidly synthesized CaC6 was characterized by analysis of its crystal structure and physical properties. We found that the formation of the reaction intermediate Na-GIC (NaCx, x = 64) requires a larger amount of Na than is intercalated between the graphite interlayers. The requirement for excess Na may provide insights into the mechanism of Na-catalyzed GIC formation. A Na-to-C molar mixing ratio of 1.5-2.0:6 was suitable for the efficient formation of CaC6 under heat treatment at 250{\deg}C for 2 h, and the catalytic Na remaining in the sample was demonstrably reduced to a Na:Ca ratio of approximately 3:97. The upper critical field Hc2 was enhanced approximately three times compared to those of previous reports. Based on X-ray diffraction and experimental parameter analysis, we concluded that the enhancement of Hc2 was attributed to the disordered stacking sequence in CaC6, possibly because of the rapid and low-temperature formation. Physical properties derived from specific heat measurements were comparable to those of high-quality CaC6, which is slowly synthesized using the molten Li-Ca alloy method. This study provides new avenues for future research and exploration in the rapid mass synthesis of GICs as practical materials, for applications such as battery electrodes and superconducting wires.


title: Extract-and-Adaptation Network for 3D Interacting Hand Mesh Recovery

abstract: Understanding how two hands interact with each other is a key component of accurate 3D interacting hand mesh recovery. However, recent Transformer-based methods struggle to learn the interaction between two hands as they directly utilize two hand features as input tokens, which results in distant token problem. The distant token problem represents that input tokens are in heterogeneous spaces, leading Transformer to fail in capturing correlation between input tokens. Previous Transformer-based methods suffer from the problem especially when poses of two hands are very different as they project features from a backbone to separate left and right hand-dedicated features. We present EANet, extract-and-adaptation network, with EABlock, the main component of our network. Rather than directly utilizing two hand features as input tokens, our EABlock utilizes two complementary types of novel tokens, SimToken and JoinToken, as input tokens. Our two novel tokens are from a combination of separated two hand features; hence, it is much more robust to the distant token problem. Using the two type of tokens, our EABlock effectively extracts interaction feature and adapts it to each hand. The proposed EANet achieves the state-of-the-art performance on 3D interacting hands benchmarks. The codes are available at https://github.com/jkpark0825/EANet.


title: Duration-adaptive Video Highlight Pre-caching for Vehicular Communication Network

abstract: Video traffic in vehicular communication networks (VCNs) faces exponential growth. However, different segments of most videos reveal various attractiveness for viewers, and the pre-caching decision is greatly affected by the dynamic service duration that edge nodes can provide services for mobile vehicles driving along a road. In this paper, we propose an efficient video highlight pre-caching scheme in the vehicular communication network, adapting to the service duration. Specifically, a highlight entropy model is devised with the consideration of the segments' popularity and continuity between segments within a period of time, based on which, an optimization problem of video highlight pre-caching is formulated. As this problem is non-convex and lacks a closed-form expression of the objective function, we decouple multiple variables by deriving candidate highlight segmentations of videos through wavelet transform, which can significantly reduce the complexity of highlight pre-caching. Then the problem is solved iteratively by a highlight-direction trimming algorithm, which is proven to be locally optimal. Simulation results based on real-world video datasets demonstrate significant improvement in highlight entropy and jitter compared to benchmark schemes.


title: On-Chip Hardware-Aware Quantization for Mixed Precision Neural Networks

abstract: Low-bit quantization emerges as one of the most promising compression approaches for deploying deep neural networks on edge devices. Mixed-precision quantization leverages a mixture of bit-widths to unleash the accuracy and efficiency potential of quantized models. However, existing mixed-precision quantization methods rely on simulations in high-performance devices to achieve accuracy and efficiency trade-offs in immense search spaces. This leads to a non-negligible gap between the estimated efficiency metrics and the actual hardware that makes quantized models far away from the optimal accuracy and efficiency, and also causes the quantization process to rely on additional high-performance devices. In this paper, we propose an On-Chip Hardware-Aware Quantization (OHQ) framework, performing hardware-aware mixed-precision quantization on deployed edge devices to achieve accurate and efficient computing. Specifically, for efficiency metrics, we built an On-Chip Quantization Aware pipeline, which allows the quantization process to perceive the actual hardware efficiency of the quantization operator and avoid optimization errors caused by inaccurate simulation. For accuracy metrics, we propose Mask-Guided Quantization Estimation technology to effectively estimate the accuracy impact of operators in the on-chip scenario, getting rid of the dependence of the quantization process on high computing power. By synthesizing insights from quantized models and hardware through linear optimization, we can obtain optimized bit-width configurations to achieve outstanding performance on accuracy and efficiency. We evaluate inference accuracy and acceleration with quantization for various architectures and compression ratios on hardware. OHQ achieves 70% and 73% accuracy for ResNet-18 and MobileNetV3, respectively, and can reduce latency by 15~30% compared to INT8 on real deployment.


title: Untersuchungen zur Verbesserung der Energieaufl\"osung f\"ur Neutronenr\"uckstreuspektrometer unter Verwendung von Idealkristallen mit geringer dynamischer Breite der Reflexionskurve

abstract: The thesis 'Investigations to Improve Energy Resolution for Neutron Backscattering Spectrometers Using Ideal Crystals with Low Dynamic Width of the Reflection Curve' first introduces the concept of the neutron backscattering spectrometer and their scanning methods by Doppler variation of the neutron energy on a moving Bragg-reflecting crystal. It further reveals the foundations of the dynamical theory of diffraction, with concepts on dispersion surfaces describing total reflection, refraction, and Laue-Bragg diffraction. The natural line width of a reflecting crystal is given by the structure factor, which limits the energy resolution of a Si-111 monochromator to a minimal 300 neV. The present project is to investigate the energy resolution of the GaAs-200 reflection, theoretically limited to 13 neV. An experimental setup is presented encompassing optics, mechanics, and detector electronics, and an experimental line width of 43 neV has been obtained. The value is discussed with error sources such as temperature stability, vibrations, misalignment, and crystal defects.


title: TODM: Train Once Deploy Many Efficient Supernet-Based RNN-T Compression For On-device ASR Models

abstract: Automatic Speech Recognition (ASR) models need to be optimized for specific hardware before they can be deployed on devices. This can be done by tuning the model's hyperparameters or exploring variations in its architecture. Re-training and re-validating models after making these changes can be a resource-intensive task. This paper presents TODM (Train Once Deploy Many), a new approach to efficiently train many sizes of hardware-friendly on-device ASR models with comparable GPU-hours to that of a single training job. TODM leverages insights from prior work on Supernet, where Recurrent Neural Network Transducer (RNN-T) models share weights within a Supernet. It reduces layer sizes and widths of the Supernet to obtain subnetworks, making them smaller models suitable for all hardware types. We introduce a novel combination of three techniques to improve the outcomes of the TODM Supernet: adaptive dropouts, an in-place Alpha-divergence knowledge distillation, and the use of ScaledAdam optimizer. We validate our approach by comparing Supernet-trained versus individually tuned Multi-Head State Space Model (MH-SSM) RNN-T using LibriSpeech. Results demonstrate that our TODM Supernet either matches or surpasses the performance of manually tuned models by up to a relative of 3% better in word error rate (WER), while efficiently keeping the cost of training many models at a small constant.


title: Automatic Diary Generation System including Information on Joint Experiences between Humans and Robots

abstract: In this study, we propose an automatic diary generation system that uses information from past joint experiences with the aim of increasing the favorability for robots through shared experiences between humans and robots. For the verbalization of the robot's memory, the system applies a large-scale language model, which is a rapidly developing field. Since this model does not have memories of experiences, it generates a diary by receiving information from joint experiences. As an experiment, a robot and a human went for a walk and generated a diary with interaction and dialogue history. The proposed diary achieved high scores in comfort and performance in the evaluation of the robot's impression. In the survey of diaries giving more favorable impressions, diaries with information on joint experiences were selected higher than diaries without such information, because diaries with information on joint experiences showed more cooperation between the robot and the human and more intimacy from the robot.


title: Efficient Bayesian Computational Imaging with a Surrogate Score-Based Prior

abstract: We propose a surrogate function for efficient use of score-based priors for Bayesian inverse imaging. Recent work turned score-based diffusion models into probabilistic priors for solving ill-posed imaging problems by appealing to an ODE-based log-probability function. However, evaluating this function is computationally inefficient and inhibits posterior estimation of high-dimensional images. Our proposed surrogate prior is based on the evidence lower-bound of a score-based diffusion model. We demonstrate the surrogate prior on variational inference for efficient approximate posterior sampling of large images. Compared to the exact prior in previous work, our surrogate prior accelerates optimization of the variational image distribution by at least two orders of magnitude. We also find that our principled approach achieves higher-fidelity images than non-Bayesian baselines that involve hyperparameter-tuning at inference. Our work establishes a practical path forward for using score-based diffusion models as general-purpose priors for imaging.


title: RADIO: Reference-Agnostic Dubbing Video Synthesis

abstract: One of the most challenging problems in audio-driven talking head generation is achieving high-fidelity detail while ensuring precise synchronization. Given only a single reference image, extracting meaningful identity attributes becomes even more challenging, often causing the network to mirror the facial and lip structures too closely. To address these issues, we introduce RADIO, a framework engineered to yield high-quality dubbed videos regardless of the pose or expression in reference images. The key is to modulate the decoder layers using latent space composed of audio and reference features. Additionally, we incorporate ViT blocks into the decoder to emphasize high-fidelity details, especially in the lip region. Our experimental results demonstrate that RADIO displays high synchronization without the loss of fidelity. Especially in harsh scenarios where the reference frame deviates significantly from the ground truth, our method outperforms state-of-the-art methods, highlighting its robustness.


title: A method for Selecting Scenes and Emotion-based Descriptions for a Robot's Diary

abstract: In this study, we examined scene selection methods and emotion-based descriptions for a robot's daily diary. We proposed a scene selection method and an emotion description method that take into account semantic and affective information, and created several types of diaries. Experiments were conducted to examine the change in sentiment values and preference of each diary, and it was found that the robot's feelings and impressions changed more from date to date when scenes were selected using the affective captions. Furthermore, we found that the robot's emotion generally improves the preference of the robot's diary regardless of the scene it describes. However, presenting negative or mixed emotions at once may decrease the preference of the diary or reduce the robot's robot-likeness, and thus the method of presenting emotions still needs further investigation.


title: Deep Imitation Learning for Humanoid Loco-manipulation through Human Teleoperation

abstract: We tackle the problem of developing humanoid loco-manipulation skills with deep imitation learning. The difficulty of collecting task demonstrations and training policies for humanoids with a high degree of freedom presents substantial challenges. We introduce TRILL, a data-efficient framework for training humanoid loco-manipulation policies from human demonstrations. In this framework, we collect human demonstration data through an intuitive Virtual Reality (VR) interface. We employ the whole-body control formulation to transform task-space commands by human operators into the robot's joint-torque actuation while stabilizing its dynamics. By employing high-level action abstractions tailored for humanoid loco-manipulation, our method can efficiently learn complex sensorimotor skills. We demonstrate the effectiveness of TRILL in simulation and on a real-world robot for performing various loco-manipulation tasks. Videos and additional materials can be found on the project page: https://ut-austin-rpl.github.io/TRILL.


title: Bilevel Scheduled Sampling for Dialogue Generation

abstract: Exposure bias poses a common challenge in numerous natural language processing tasks, particularly in the dialog generation. In response to this issue, researchers have devised various techniques, among which scheduled sampling has proven to be an effective method for mitigating exposure bias. However, the existing state-of-the-art scheduled sampling methods solely consider the current sampling words' quality for threshold truncation sampling, which overlooks the importance of sentence-level information and the method of threshold truncation warrants further discussion. In this paper, we propose a bilevel scheduled sampling model that takes the sentence-level information into account and incorporates it with word-level quality. To enhance sampling diversity and improve the model's adaptability, we propose a smooth function that maps the combined result of sentence-level and word-level information to an appropriate range, and employ probabilistic sampling based on the mapped values instead of threshold truncation. Experiments conducted on the DailyDialog and PersonaChat datasets demonstrate the effectiveness of our proposed methods, which significantly alleviate the exposure bias problem and outperform state-of-the-art scheduled sampling methods.


title: Electro-Chemo-Mechanical Modeling of Multiscale Active Materials for Next-Generation Energy Storage: Opportunities and Challenges

abstract: The recent geopolitical crisis resulted in a gas price surge. Although lithium-ion batteries represent the best available rechargeable battery technology, a significant energy and power density gap exists between LIBs and petrol/gasoline. The battery electrodes comprise a mixture of active materials particles, conductive carbon, and binder additives deposited onto a current collector. Although this basic design has persisted for decades, the active material particle's desired size scale is debated. Traditionally, microparticles have been used in batteries. Advances in nanotechnology have spurred interest in deploying nanoparticles as active materials. However, despite many efforts in nano, industries still primarily use 'old' microparticles. Most importantly, the battery industry is unlikely to replace microstructures with nanometer-sized analogs. This poses an important question: Is there a place for nanostructure in battery design due to irreplaceable microstructure? The way forward lies in multiscale active materials, microscale structures with built-in nanoscale features, such as microparticles assembled from nanoscale building blocks or patterned with engineered or natural nanopores. Although experimental strides have been made in developing such materials, computational progress in this domain remains limited and, in some cases, negligible. However, the fields hold immense computational potential, presenting a multitude of opportunities. This perspective highlights the existing gaps in modeling multiscale active materials and delineates various open challenges in the realm of electro-chemo-mechanical modeling. By doing so, it aims to inspire computational research within this field and promote synergistic collaborative efforts between computational and experimental researchers.


title: A Survey on Interpretable Cross-modal Reasoning

abstract: In recent years, cross-modal reasoning (CMR), the process of understanding and reasoning across different modalities, has emerged as a pivotal area with applications spanning from multimedia analysis to healthcare diagnostics. As the deployment of AI systems becomes more ubiquitous, the demand for transparency and comprehensibility in these systems' decision-making processes has intensified. This survey delves into the realm of interpretable cross-modal reasoning (I-CMR), where the objective is not only to achieve high predictive performance but also to provide human-understandable explanations for the results. This survey presents a comprehensive overview of the typical methods with a three-level taxonomy for I-CMR. Furthermore, this survey reviews the existing CMR datasets with annotations for explanations. Finally, this survey summarizes the challenges for I-CMR and discusses potential future directions. In conclusion, this survey aims to catalyze the progress of this emerging research area by providing researchers with a panoramic and comprehensive perspective, illuminating the state of the art and discerning the opportunities. The summarized methods, datasets, and other resources are available at https://github.com/ZuyiZhou/Awesome-Interpretable-Cross-modal-Reasoning.


title: Liouville equations on complete surfaces with nonnegative Gauss curvature

abstract: We study finite total curvature solutions of the Liouville equation $\Delta u+e^{2u}=0$ on a complete surface $(M,g)$ with nonnegative Gauss curvature. It turns out that the asymptotic behavior of the solution separates two extremal cases: on the one end, if the solution decays not too fast, then $(M,g)$ must be isometric to the standard Euclidean plane; on the other end, if $(M,g)$ is isometric to the flat cylinder $\mathbb{S}^1\times \mathbb{R}$, then solutions must decay linearly and are completely classified.


title: Automatic Data Transformation Using Large Language Model: An Experimental Study on Building Energy Data

abstract: Existing approaches to automatic data transformation are insufficient to meet the requirements in many real-world scenarios, such as the building sector. First, there is no convenient interface for domain experts to provide domain knowledge easily. Second, they require significant training data collection overheads. Third, the accuracy suffers from complicated schema changes. To bridge this gap, we present a novel approach that leverages the unique capabilities of large language models (LLMs) in coding, complex reasoning, and zero-shot learning to generate SQL code that transforms the source datasets into the target datasets. We demonstrate the viability of this approach by designing an LLM-based framework, termed SQLMorpher, which comprises a prompt generator that integrates the initial prompt with optional domain knowledge and historical patterns in external databases. It also implements an iterative prompt optimization mechanism that automatically improves the prompt based on flaw detection. The key contributions of this work include (1) pioneering an end-to-end LLM-based solution for data transformation, (2) developing a benchmark dataset of 105 real-world building energy data transformation problems, and (3) conducting an extensive empirical evaluation where our approach achieved 96% accuracy in all 105 problems. SQLMorpher demonstrates the effectiveness of utilizing LLMs in complex, domain-specific challenges, highlighting the potential of their potential to drive sustainable solutions.


title: Empowering Low-Light Image Enhancer through Customized Learnable Priors

abstract: Deep neural networks have achieved remarkable progress in enhancing low-light images by improving their brightness and eliminating noise. However, most existing methods construct end-to-end mapping networks heuristically, neglecting the intrinsic prior of image enhancement task and lacking transparency and interpretability. Although some unfolding solutions have been proposed to relieve these issues, they rely on proximal operator networks that deliver ambiguous and implicit priors. In this work, we propose a paradigm for low-light image enhancement that explores the potential of customized learnable priors to improve the transparency of the deep unfolding paradigm. Motivated by the powerful feature representation capability of Masked Autoencoder (MAE), we customize MAE-based illumination and noise priors and redevelop them from two perspectives: 1) \textbf{structure flow}: we train the MAE from a normal-light image to its illumination properties and then embed it into the proximal operator design of the unfolding architecture; and m2) \textbf{optimization flow}: we train MAE from a normal-light image to its gradient representation and then employ it as a regularization term to constrain noise in the model output. These designs improve the interpretability and representation capability of the model.Extensive experiments on multiple low-light image enhancement datasets demonstrate the superiority of our proposed paradigm over state-of-the-art methods. Code is available at https://github.com/zheng980629/CUE.


title: On (2,2)-decomposable genus 4 Jacobians

abstract: We consider the question of when a Jacobian of a curve of genus $2g$ admits a $(2,2)$-isogeny to two polarized dimension $g$ abelian varieties. We find that one of them must be a Jacobian itself and, if the associated curve is hyperelliptic, so is the other. For $g=2$ this allows us to describe $(2,2)$-decomposable genus $4$ Jacobians in terms of Prym varieties. We describe the locus of such genus $4$ curves in terms of the geometry of the Igusa quartic threefold. We also explain how our characterization relates to Prym varieties of unramified double covers of plane quartic curves, and we describe this Prym map in terms of $6$ and $7$ points in $\mathbb{P}^3$. We also investigate which genus $4$ Jacobians admit a $2$-isogeny to the square of a genus $2$ Jacobian and give a full description of the hyperelliptic ones. While most of the families we find are of the expected dimension $1$, we also find a family of unexpectedly high dimension~$2$.


title: Topological quantum synchronization of fractionalized spins

abstract: The gapped symmetric phase of the Affleck-Kennedy-Lieb-Tasaki (AKLT) model exhibits fractionalized spins at the ends of an open chain. We show that breaking SU(2) symmetry and applying a global spin-lowering dissipator achieves synchronization of these fractionalized spins. Additional local dissipators ensure convergence to the ground state manifold. In order to understand which aspects of this synchronization are robust within the entire Haldane-gap phase, we reduce the biquadratic term which eliminates the need for an external field but destabilizes synchronization. Within the ground state subspace, stability is regained using only the global lowering dissipator. These results demonstrate that fractionalized degrees of freedom can be synchronized in extended systems with a significant degree of robustness arising from topological protection. \rev{A direct consequence is that permutation symmetries are not required for the dynamics to be synchronized, representing a clear advantage of topological synchronization compared to synchronization induced by permutation symmetries.


title: NICE: CVPR 2023 Challenge on Zero-shot Image Captioning

abstract: In this report, we introduce NICE (New frontiers for zero-shot Image Captioning Evaluation) project and share the results and outcomes of 2023 challenge. This project is designed to challenge the computer vision community to develop robust image captioning models that advance the state-of-the-art both in terms of accuracy and fairness. Through the challenge, the image captioning models were tested using a new evaluation dataset that includes a large variety of visual concepts from many domains. There was no specific training data provided for the challenge, and therefore the challenge entries were required to adapt to new types of image descriptions that had not been seen during training. This report includes information on the newly proposed NICE dataset, evaluation methods, challenge results, and technical details of top-ranking entries. We expect that the outcomes of the challenge will contribute to the improvement of AI models on various vision-language tasks.


title: Intrinsic Local Distances: A Mixed Solution to Weyl's Tile Argument

abstract: Weyl's tile argument purports to show that there are no natural distance functions in atomistic space that approximate Euclidean geometry. I advance a response to this argument that relies on a new account of distance in atomistic space, called \textit{the mixed account}, according to which \textit{local distances} are primitive and other distances are derived from them. Under this account, atomistic space can approximate Euclidean space (and continuous space in general) very well. To motivate this account as a genuine solution to Weyl's tile argument, I argue that this account is no less natural than the standard account of distance in continuous space. I also argue that the mixed account has distinctive advantages over Forrest's (1995) account in response to Weyl's tile argument, which can be considered as a restricted version of the mixed account.


title: Generalized Simple Regenerating Codes: Trading Sub-packetization and Fault Tolerance

abstract: Maximum distance separable (MDS) codes have the optimal trade-off between storage efficiency and fault tolerance, which are widely used in distributed storage systems. As typical non-MDS codes, simple regenerating codes (SRCs) can achieve both smaller repair bandwidth and smaller repair locality than traditional MDS codes in repairing single-node erasure. In this paper, we propose {\em generalized simple regenerating codes} (GSRCs) that can support much more parameters than that of SRCs. We show that there is a trade-off between sub-packetization and fault tolerance in our GSRCs, and SRCs achieve a special point of the trade-off of GSRCs. We show that the fault tolerance of our GSRCs increases when the sub-packetization increases linearly. We also show that our GSRCs can locally repair any singe-symbol erasure and any single-node erasure, and the repair bandwidth of our GSRCs is smaller than that of the existing related codes.


title: Gender Inequalities: Women Researchers Require More Knowledge in Specific and Experimental Topics

abstract: Gender inequalities in science have long been observed globally. Studies have demonstrated it through survey data or published literature, focusing on the interests of subjects or authors; few, however, examined the manifestation of gender inequalities on researchers' knowledge status. This study analyzes the relationship between regional and gender identities, topics, and knowledge status while revealing the female labor division in science and scientific research using online Q&A from researchers. We find that gender inequalities are merged with both regional-specific characteristics and global common patterns. Women's field and topic distribution within fields are influenced by regions, yet the prevalent topics are consistent in all regions. Women are more involved in specific topics, particularly topics about experiments with weaker levels of knowledge and they are of less assistance. To promote inequality in science, the scientific community should pay more attention to reducing the knowledge gap and encourage women to work on unexplored topics and areas.


title: Strong and nearly 100$\%$ spin-polarized second-harmonic generation from ferrimagnet Mn$_{2}$RuGa

abstract: Second-harmonic generation (SHG) has emerged as a promising tool for detecting electronic and magnetic structures in noncentrosymmetric materials, but 100$\%$ spin-polarized SHG has not been reported. In this work, we demonstrate nearly 100$\%$ spin-polarized SHG from half-metallic ferrimagnet Mn$_{2}$RuGa. A band gap in the spin-down channel suppresses SHG, so the spin-up channel contributes nearly all the signal, as large as 3614 pm/V about 10 times larger than that of GaAs. In the spin-up channel, $\chi_{xyz}^{(2)}$ is dominated by the large intraband current in three highly dispersed bands near the Fermi level. With the spin-orbit coupling (SOC), the reduced magnetic point group allows additional SHG components, where the interband contribution is enhanced. Our finding is important as it predicts a large and complete spin-polarized SHG in a all-optical spin switching ferrimagnet. This opens the door for future applications.


title: AdaPlus: Integrating Nesterov Momentum and Precise Stepsize Adjustment on AdamW Basis

abstract: This paper proposes an efficient optimizer called AdaPlus which integrates Nesterov momentum and precise stepsize adjustment on AdamW basis. AdaPlus combines the advantages of AdamW, Nadam, and AdaBelief and, in particular, does not introduce any extra hyper-parameters. We perform extensive experimental evaluations on three machine learning tasks to validate the effectiveness of AdaPlus. The experiment results validate that AdaPlus (i) among all the evaluated adaptive methods, performs most comparable with (even slightly better than) SGD with momentum on image classification tasks and (ii) outperforms other state-of-the-art optimizers on language modeling tasks and illustrates pretty high stability when training GANs. The experiment code of AdaPlus will be accessible at: https://github.com/guanleics/AdaPlus.


title: Non-volatile optical phase shift in ferroelectric hafnium zirconium oxide

abstract: A non-volatile optical phase shifter is a critical component for enabling large-scale, energy-efficient programmable photonic integrated circuits (PICs) on a silicon (Si) photonics platform. While ferroelectric materials like BaTiO3 offer non-volatile optical phase shift capabilities, their compatibility with complementary metal-oxide-semiconductor (CMOS) fabs is limited. Hence, the search for a novel CMOS-compatible ferroelectric material for non-volatile optical phase shifting in Si photonics is of utmost importance. Hafnium zirconium oxide (HZO) is an emerging ferroelectric material discovered in 2011, which exhibits CMOS compatibility due to the utilization of high-k dielectric HfO2 in CMOS transistors. Although extensively studied for ferroelectric transistors and memories, its application in photonics remains relatively unexplored. Here, we show the optical phase shift induced by ferroelectric HZO deposited on a SiN optical waveguide. We observed a negative change in refractive index at a 1.55 um wavelength in the pristine device regardless of the direction of an applied electric filed. We achieved approximately pi phase shift in a 4.5-mm-long device with negligible optical loss. The non-volatile multi-level optical phase shift was confirmed with a persistence of > 10000 s. This phase shift can be attributed to the spontaneous polarization within the HZO film along the external electric field. We anticipate that our results will stimulate further research on optical nonlinear effects, such as the Pockels effect, in ferroelectric HZO. This advancement will enable the development of various devices, including high-speed optical modulators. Consequently, HZO-based programmable PICs are poised to become indispensable in diverse applications, ranging from optical fiber communication and artificial intelligence to quantum computing and sensing.


title: Why the Weyl Tile Argument is Wrong

abstract: Weyl famously argued that if space were discrete, then Euclidean geometry could not hold even approximately. Since then, many philosophers have responded to this argument by advancing alternative accounts of discrete geometry that recover approximately Euclidean space. However, they have missed an importantly flawed assumption in Weyl's argument: physical geometry is determined by fundamental spacetime structures independently from dynamical laws. In this paper, I aim to show its falsity through two rigorous examples: random walks in statistical physics and quantum mechanics.


title: Multi-mode quantum correlation generated from an unbalanced SU(1,1) interferometer using ultra-short laser pulses as pump

abstract: Multi-mode entanglement is one of the critical resource in quantum information technology. Generating large scale multi-mode entanglement state by coherently combining time-delayed continuous variables Einstein-Podolsky-Rosen pairs with linear beam-splitters has been widely studied recently. Here we theoretically investigate the multi-mode quantum correlation property of the optical fields generated from an unbalanced SU(1,1) interferometer pumped ultra-short pulses, which generates multi-mode entangled state by using a non-degenerate parametric processes to coherently combine delayed Einstein-Podolsky-Rosen pairs in different frequency band. The covariance matrix of the generated multi-mode state is derived analytically for arbitrary mode number $M$ within adjacent timing slot, which shows a given mode is maximally correlated to 5 other modes. Based on the derived covariance matrix, both photon number correlation and quadrature amplitude correlation of the generated state is analyzed. We also extend our analyzing method to the scheme of generating entangled state by using linear beam splitter as a coherent combiner of delayed EPR pairs, and compare the states generated by the two coherently combining schemes. Our result provides a comprehensive theoretical description on the quantum correlations generated from an unbalanced SU(1,1) interferometer within Gaussian system range, and will offer more perspectives to quantum information technology.


title: Priority Queue Formulation of Agent-Based Bathtub Model for Network Trip Flows in the Relative Space

abstract: Agent-based models have been extensively used to simulate the behavior of travelers in transportation systems because they allow for realistic and versatile modeling of interactions. However, traditional agent-based models suffer from high computational costs and rely on tracking physical locations, raising privacy concerns. This paper proposes an efficient formulation for the agent-based bathtub model (AB2M) in the relative space, where each agent's trajectory is represented by a time series of the remaining distance to its destination. The AB2M can be understood as a microscopic model that tracks individual trips' initiation, progression, and completion and is an exact numerical solution of the bathtub model for generic (time-dependent) trip distance distributions. The model can be solved for a deterministic set of trips with a given demand pattern (defined by the start time of each trip and its distance), or it can be used to run Monte Carlo simulations to capture the average behavior and variation stochastic demand patterns, described by probabilistic distributions of trip distances and departure times. To enhance the computational efficiency, we introduce a priority queue formulation, eliminating the need to update trip positions at each time step and allowing us to run large-scale scenarios with millions of individual trips in seconds. We systematically explore the scaling properties and discuss the introduction of biases and numerical errors. The systematic exploration of scaling properties of the modeling of individual agents in the relative space with the AB2M further enhances its applicability to large-scale transportation systems and opens up opportunities for studying travel time reliability, scheduling, and mode choices.


title: VFFINDER: A Graph-based Approach for Automated Silent Vulnerability-Fix Identification

abstract: The increasing reliance of software projects on third-party libraries has raised concerns about the security of these libraries due to hidden vulnerabilities. Managing these vulnerabilities is challenging due to the time gap between fixes and public disclosures. Moreover, a significant portion of open-source projects silently fix vulnerabilities without disclosure, impacting vulnerability management. Existing tools like OWASP heavily rely on public disclosures, hindering their effectiveness in detecting unknown vulnerabilities. To tackle this problem, automated identification of vulnerability-fixing commits has emerged. However, identifying silent vulnerability fixes remains challenging. This paper presents VFFINDER, a novel graph-based approach for automated silent vulnerability fix identification. VFFINDER captures structural changes using Abstract Syntax Trees (ASTs) and represents them in annotated ASTs. VFFINDER distinguishes vulnerability-fixing commits from non-fixing ones using attention-based graph neural network models to extract structural features. We conducted experiments to evaluate VFFINDER on a dataset of 36K+ fixing and non-fixing commits in 507 real-world C/C++ projects. Our results show that VFFINDER significantly improves the state-of-the-art methods by 39-83% in Precision, 19-148% in Recall, and 30-109% in F1. Especially, VFFINDER speeds up the silent fix identification process by up to 47% with the same review effort of 5% compared to the existing approaches.


title: Smooth Infinitesimals in the Metaphysical Foundation of Spacetime Theories

abstract: I propose a theory of space with infinitesimal regions called \textit{smooth infinitesimal geometry} (SIG) based on certain algebraic objects (i.e., rings), which regiments a mode of reasoning heuristically used by geometricists and physicists (e.g., circle is composed of infinitely many straight lines). I argue that SIG has the following utilities. (1) It provides a simple metaphysics of vector fields and tangent space that are otherwise perplexing. A tangent space can be considered an infinitesimal region of space. (2) It generalizes a standard implementation of spacetime algebraicism (according to which physical fields exist fundamentally without an underlying manifold) called \textit{Einstein algebras}. (3) It solves the long-standing problem of interpreting \textit{smooth infinitesimal analysis} (SIA) realistically, an alternative foundation of spacetime theories to real analysis (Lawvere 1980). SIA is formulated in intuitionistic logic and is thought to have no classical reformulations (Hellman 2006). Against this, I argue that SIG is (part of) such a reformulation. But SIG has an unorthodox mereology, in which the principle of supplementation fails.


title: Linear Regression using Heterogeneous Data Batches

abstract: In many learning applications, data are collected from multiple sources, each providing a \emph{batch} of samples that by itself is insufficient to learn its input-output relationship. A common approach assumes that the sources fall in one of several unknown subgroups, each with an unknown input distribution and input-output relationship. We consider one of this setup's most fundamental and important manifestations where the output is a noisy linear combination of the inputs, and there are $k$ subgroups, each with its own regression vector. Prior work~\cite{kong2020meta} showed that with abundant small-batches, the regression vectors can be learned with only few, $\tilde\Omega( k^{3/2})$, batches of medium-size with $\tilde\Omega(\sqrt k)$ samples each. However, the paper requires that the input distribution for all $k$ subgroups be isotropic Gaussian, and states that removing this assumption is an ``interesting and challenging problem". We propose a novel gradient-based algorithm that improves on the existing results in several ways. It extends the applicability of the algorithm by: (1) allowing the subgroups' underlying input distributions to be different, unknown, and heavy-tailed; (2) recovering all subgroups followed by a significant proportion of batches even for infinite $k$; (3) removing the separation requirement between the regression vectors; (4) reducing the number of batches and allowing smaller batch sizes.


title: Anomalous Thermodynamic Cost of Clock Synchronization

abstract: Clock synchronization is critically important in positioning, navigation and timing systems. While its performance has been intensively studied in a wide range of disciplines, much less is known for the fundamental thermodynamics of clock synchronization, what limits the precision and how to optimize the energy cost for clock synchronization. Here, we report the first experimental investigation of two stochastic clocks synchronization, unveiling the thermodynamic relation between the entropy cost and clock synchronization in an open cavity optomechanical system. Two autonomous clocks are synchronized spontaneously by engineering the controllable photon-mediated dissipative optomechanical coupling and the disparate decay rates of hybrid modes. The measured dependence of the degree of synchronization on entropy cost exhibits an unexpected non-monotonic characteristic, indicating that the perfect clock synchronization does not cost the maximum entropy and there exists an optimum. The investigation of transient dynamics of clock synchronization exposes a trade-off between energy and time consumption. Our results reveal the fundamental relation between clock synchronization and thermodynamics, and have a great potential for precision measurements, distributed quantum networks, and biological science.


title: The role of tidal interactions in the formation of slowly rotating early-type stars in young star clusters

abstract: The split main sequences found in the colour-magnitude diagrams of star clusters younger than ~600 Myr are suggested to be caused by the dichotomy of stellar rotation rates of upper main-sequence stars. Tidal interactions have been suggested as a possible explanation of the dichotomy of the stellar rotation rates. This hypothesis proposes that the slow rotation rates of stars along the split main sequences are caused by tidal interactions in binaries. To test this scenario, we measured the variations in the radial velocities of slowly rotating stars along the split main sequence of the young Galactic cluster NGC 2422 (~90 Myr) using spectra obtained at multiple epochs with the Canada-France-Hawai'i Telescope. Our results show that most slowly rotating stars are not radial-velocity variables. Using the theory of dynamical tides, we find that the binary separations necessary to fully or partially synchronise our spectroscopic targets, on time-scales shorter than the cluster age, predict much larger radial velocity variations across multiple-epoch observations, or a much larger radial velocity dispersion at a single epoch, than the observed values. This indicates that tidal interactions are not the dominant mechanism to form slowly rotating stars along the split main sequences. As the observations of the rotation velocity distribution among B- and A-type stars in binaries of larger separations hint at a much stronger effect of braking with age, we discuss the consequences of relaxing the constraints of the dynamical tides theory.


title: Traversable wormholes in Rastall-Rainbow Gravity

abstract: In this paper, we investigate the existence of asymptotically flat wormhole geometries within the framework of Rastall-Rainbow modified gravity, a synthesis of two distinct theoretical models: Rastall theory and the Rainbow description. Our study uncovers that, when considering specific combinations of free parameters and equations of state, the emergence of static and spherically symmetric wormholes is not feasible within a zero-tidal-force context. By considering the subset of viable solutions, we conduct a rigorous assessment of their stability through adiabatic sound velocity analysis and scrutinize their compliance with the Weak Energy Condition (WEC). In summary, our inquiry provides insights into how the interplay between Rastall parameters and Rainbow functions may alleviate violations of energy conditions in these modified gravity scenarios.


title: PyTomography: A Python Library for Quantitative Medical Image Reconstruction

abstract: Background: There is an absence of open-source libraries in emission tomography that (i) use modern and popular backend code to encourage community contributions and (ii) offer support for the multitude of reconstruction algorithms available in recent literature, such as those that employ artificial intelligence. Purpose: To create and evaluate a GPU-accelerated, open-source, and user-friendly image reconstruction library, designed to serve as a central platform for the development, validation, and deployment of various tomographic reconstruction algorithms. Methods: PyTomography was developed using Python and inherits the GPU-accelerated functionality of PyTorch and parallelproj for fast computations. Its flexible and modular design decouples the system matrix from reconstruction algorithms, simplifying the process of integrating new imaging modalities using various python tools. Results: Example use cases demonstrate the software capabilities in parallel hole SPECT and listmode PET imaging. Use of the OSEM, BSREM, KEM, and DIPRecon reconstruction algorithms are explored. System matrices incorporating breathing-motion correction are explored in SPECT imaging. PyTomography is validated against alternative vendor/open source software for OSEM based reconstruction. Conclusions: We have developed and publicly shared PyTomography, a highly optimized and user-friendly software for medical image reconstruction, with a class hierarchy that fosters the development of novel imaging applications.


title: An LSTM-Based Predictive Monitoring Method for Data with Time-varying Variability

abstract: The recurrent neural network and its variants have shown great success in processing sequences in recent years. However, this deep neural network has not aroused much attention in anomaly detection through predictively process monitoring. Furthermore, the traditional statistic models work on assumptions and hypothesis tests, while neural network (NN) models do not need that many assumptions. This flexibility enables NN models to work efficiently on data with time-varying variability, a common inherent aspect of data in practice. This paper explores the ability of the recurrent neural network structure to monitor processes and proposes a control chart based on long short-term memory (LSTM) prediction intervals for data with time-varying variability. The simulation studies provide empirical evidence that the proposed model outperforms other NN-based predictive monitoring methods for mean shift detection. The proposed method is also applied to time series sensor data, which confirms that the proposed method is an effective technique for detecting abnormalities.


title: Dark Matter Velocity Distributions: Comparing Numerical Simulations to Analytic Results

abstract: We test the consistency of dark matter velocity distributions obtained from dark matter-only numerical simulations with analytic predictions, using the publicly available Via Lactea 2 dataset as an example. We find that, well inside the scale radius, the velocity distribution obtained from numerical simulation is consistent with a function of a single integral of motion -- the energy -- and moreover is consistent with the result obtained from Eddington inversion. This indicates that the assumptions underlying the analytic result, namely, spherical symmetry, isotropy, and a static potential, are sufficiently accurate to govern the coarse properties of the velocity distribution in the inner regions of the halo. We discuss implications for the behavior of the high-velocity tail of the distribution, which can dominate dark matter annihilation from a $p$- or $d$-wave state.


title: Local properties and augmented Lagrangians in fully nonconvex composite optimization

abstract: A broad class of optimization problems can be cast in composite form, that is, considering the minimization of the composition of a lower semicontinuous function with a differentiable mapping. This paper investigates the versatile template of composite optimization without any convexity assumptions. First- and second-order optimality conditions are discussed. We highlight the difficulties that stem from the lack of convexity when dealing with necessary conditions in a Lagrangian framework and when considering error bounds. Building upon these characterizations, a local convergence analysis is delineated for a recently developed augmented Lagrangian method, deriving rates of convergence in the fully nonconvex setting.


title: Graph-Based Interaction-Aware Multimodal 2D Vehicle Trajectory Prediction using Diffusion Graph Convolutional Networks

abstract: Predicting vehicle trajectories is crucial for ensuring automated vehicle operation efficiency and safety, particularly on congested multi-lane highways. In such dynamic environments, a vehicle's motion is determined by its historical behaviors as well as interactions with surrounding vehicles. These intricate interactions arise from unpredictable motion patterns, leading to a wide range of driving behaviors that warrant in-depth investigation. This study presents the Graph-based Interaction-aware Multi-modal Trajectory Prediction (GIMTP) framework, designed to probabilistically predict future vehicle trajectories by effectively capturing these interactions. Within this framework, vehicles' motions are conceptualized as nodes in a time-varying graph, and the traffic interactions are represented by a dynamic adjacency matrix. To holistically capture both spatial and temporal dependencies embedded in this dynamic adjacency matrix, the methodology incorporates the Diffusion Graph Convolutional Network (DGCN), thereby providing a graph embedding of both historical states and future states. Furthermore, we employ a driving intention-specific feature fusion, enabling the adaptive integration of historical and future embeddings for enhanced intention recognition and trajectory prediction. This model gives two-dimensional predictions for each mode of longitudinal and lateral driving behaviors and offers probabilistic future paths with corresponding probabilities, addressing the challenges of complex vehicle interactions and multi-modality of driving behaviors. Validation using real-world trajectory datasets demonstrates the efficiency and potential.


title: Control of spatiotemporal localization of infrared pulses in gas-filled capillaries using weak ultraviolet pulses

abstract: Manipulation of intense pulse propagation in gas-filled capillaries is desirable for various high-field applications. Tuning the parameters of the driving laser pulse and the working gas is the conventional approach, and it provides limited capability of control. Here we demonstrate through numerical simulations a practical scheme to control the propagation of intense pulses. A weak ultraviolet pulse is launched into a capillary with a negative delay with respect to a main infrared pulse. The pulses begin to temporally overlap due to dispersion. As the main pulse self-compresses, the control pulse is strongly red-shifted due to cross-phase modulation. The frequency shifts of the two pulses mitigate pulse walk-off and allow an efficient coupling, substantially extending the effective interaction length. This interesting phenomenon may benefit applications such as high-order harmonic generation.


title: Quaternary Conjucyclic Codes with an Application to EAQEC Codes

abstract: Conjucyclic codes are part of a family of codes that includes cyclic, constacyclic, and quasi-cyclic codes, among others. Despite their importance in quantum error correction, they have not received much attention in the literature. This paper focuses on additive conjucyclic (ACC) codes over $\mathbb{F}_4$ and investigates their properties. Specifically, we derive the duals of ACC codes using a trace inner product and obtain the trace hull and its dimension. Also, establish a necessary and sufficient condition for an additive code to have a complementary dual (ACD). Additionally, we identify a necessary condition for an additive conjucyclic complementary pair of codes over $\mathbb{F}_4$. Furthermore, we show that the trace code of an ACC code is cyclic and provide a condition for the trace code of an ACC code to be LCD. To demonstrate the practical application of our findings, we construct some good entanglement-assisted quantum error-correcting (EAQEC) codes using the trace code of ACC codes.


title: Focal Surface Projection: Extending Projector Depth-of-Field Using a Phase-Only Spatial Light Modulator

abstract: We present a focal surface projection to solve the narrow depth-of-field problem in projection mapping applications. We apply a phase-only spatial light modulator to realize nonuniform focusing distances, whereby the projected contents appear focused on a surface with considerable depth variations. The feasibility of the proposed technique was validated through a physical experiment.


title: The $\ell$-intersection Pairs of Constacyclic and Conjucyclic Codes

abstract: A pair of linear codes whose intersection is of dimension $\ell$, where $\ell$ is a non-negetive integer, is called an $\ell$-intersection pair of codes. This paper focuses on studying $\ell$-intersection pairs of $\lambda_i$-constacyclic, $i=1,2,$ and conjucyclic codes. We first characterize an $\ell$-intersection pair of $\lambda_i$-constacyclic codes. A formula for $\ell$ has been established in terms of the degrees of the generator polynomials of $\lambda_i$-constacyclic codes. This allows obtaining a condition for $\ell$-linear complementary pairs (LPC) of constacyclic codes. Later, we introduce and characterize the $\ell$-intersection pair of conjucyclic codes over $\mathbb{F}_{q^2}$. The first observation in the process is that there are no non-trivial linear conjucyclic codes over finite fields. So focus on the characterization of additive conjucyclic (ACC) codes. We show that the largest $\mathbb{F}_q$-subcode of an ACC code over $\mathbb{F}_{q^2}$ is cyclic and obtain its generating polynomial. This enables us to find the size of an ACC code. Furthermore, we discuss the trace code of an ACC code and show that it is cyclic. Finally, we determine $\ell$-intersection pairs of trace codes of ACC codes over $\mathbb{F}_4$.


title: Disjoint Stationary Sequences on an Interval of Cardinals

abstract: We introduce strong distributivity, a strengthening of distributivity, which implies preservation of ccness and stationarity, afterwards showing a stronger version of the Easton Lemma. We also introduce a new framework for working with arbitrary orders on products of sets. Both concepts are applied together to answer two questions of Krueger using a new version of Mitchell's Forcing.


title: Load Shifting Versus Manual Frequency Reserve: Which One is More Appealing to Flexible Loads?

abstract: This paper investigates how a thermostatically controlled load can deliver flexibility either in form of manual frequency restoration reserves (mFRR) or load shifting, and which one is financially more appealing to such a load. A supermarket freezer is considered as a representative flexible load, and a grey-box model describing its temperature dynamics is developed using real data from a supermarket in Denmark. Taking into account price and activation uncertainties, a two-stage stochastic mixed-integer linear program is formulated to maximize the flexibility value from the freezer. For practical reasons, we propose a linear policy to determine regulating power bids, and then linearize the mFRR activation conditions through the McCormick relaxation approach. For computational ease, we develop a decomposition technique, splitting the problem to a set of smaller subproblems, one per scenario. Examined on an out-of-sample simulation based on real Danish spot and balancing market prices in 2022, load shifting shows to be more profitable than mFRR provision, but is also more consequential for temperature deviations in the freezer.


title: sasdim: self-adaptive noise scaling diffusion model for spatial time series imputation

abstract: Spatial time series imputation is critically important to many real applications such as intelligent transportation and air quality monitoring. Although recent transformer and diffusion model based approaches have achieved significant performance gains compared with conventional statistic based methods, spatial time series imputation still remains as a challenging issue due to the complex spatio-temporal dependencies and the noise uncertainty of the spatial time series data. Especially, recent diffusion process based models may introduce random noise to the imputations, and thus cause negative impact on the model performance. To this end, we propose a self-adaptive noise scaling diffusion model named SaSDim to more effectively perform spatial time series imputation. Specially, we propose a new loss function that can scale the noise to the similar intensity, and propose the across spatial-temporal global convolution module to more effectively capture the dynamic spatial-temporal dependencies. Extensive experiments conducted on three real world datasets verify the effectiveness of SaSDim by comparison with current state-of-the-art baselines.


title: Exploring van der Waals materials with high anisotropy: geometrical and optical approaches

abstract: The emergence of van der Waals (vdW) materials resulted in the discovery of their giant optical, mechanical, and electronic anisotropic properties, immediately enabling countless novel phenomena and applications. Such success inspired an intensive search for the highest possible anisotropic properties among vdW materials. Furthermore, the identification of the most promising among the huge family of vdW materials is a challenging quest requiring innovative approaches. Here, we suggest an easy-to-use method for such a survey based on the crystallographic geometrical perspective of vdW materials followed by their optical characterization. Using our approach, we found As2S3 as a highly anisotropic vdW material. It demonstrates rare giant in-plane optical anisotropy, high refractive index and transparency in the visible range, overcoming the century-long record set by rutile. Given these benefits, As2S3 opens a pathway towards next-generation nanophotonics as demonstrated by an ultrathin true zero-order quarter-waveplate that combines classical and the Fabry-Perot optical phase accumulations. Hence, our approach provides an effective and easy-to-use method to find vdW materials with the utmost anisotropic properties.


title: Dynamic distance-based pricing scheme for high-occupancy-toll lanes along a freeway corridor

abstract: Single-occupancy vehicles (SOVs) are charged to use the highoccupancy-toll (HOT) lanes, while high-occupancy-vehicles (HOVs) can drive in them at no cost. The pricing scheme for HOT lanes has been extensively studied at local bottlenecks or at the network level through computationally expensive simulations. However, the HOT lane pricing study on a freeway corridor with multiple origins and destinations as well as multiple interacting bottlenecks is a challenging problem for which no analytical results are available. In this paper, we attempt to fill the gap by proposing to study the traffic dynamics in the corridor based on the relative space paradigm. In this new paradigm, the interaction of multiple bottlenecks and trips can be captured with Vickrey's bathtub model by a simple ordinary differential equation. We consider three types of lane choice behavior and analyze their properties. Then, we propose a distance-based dynamic pricing scheme based on a linear combination of I-controllers. This closed-loop controller is independent of the model and feeds back the travel time difference between HOT lanes and general-purpose lanes. Given the mathematical tractability of the system model, we analytically study the performance of the proposed closed-loop control under constant demand and show the existence and stability of the optimal equilibrium. Finally, we verify the results with numerical simulations considering a typical peak period demand pattern. In the future, we are interested in extending this work and testing the performance of the proposed linear combination of I-controllers for other traffic flow models.


title: The topology of critical processes, I (Processes and Models)

abstract: This article belongs to a subject, Directed Algebraic Topology, whose general aim is including non-reversible processes in the range of topology and algebraic topology. Here, as a further step, we also want to cover "critical processes", indivisible and unstoppable. This introductory article is devoted to fixing the new framework and representing processes of diverse domains, with minimal mathematical prerequisites. The fundamental category and singular homology in the present setting will be dealt with in a sequel.


title: $L^p$-improving bounds of maximal functions along planar curves

abstract: In this paper, we study the $L^p(\mathbb{R}^2)$-improving bounds, i.e., $L^p(\mathbb{R}^2)\rightarrow L^q(\mathbb{R}^2)$ estimates, of the maximal function $M_{\gamma}$ along a plane curve $(t,\gamma(t))$, where $$M_{\gamma}f(x_1,x_2):=\sup_{u\in [1,2]}\left|\int_{0}^{1}f(x_1-ut,x_2-u \gamma(t))\,\textrm{d}t\right|,$$ and $\gamma$ is a general plane curve satisfying some suitable smoothness and curvature conditions. We obtain $M_{\gamma} : L^p(\mathbb{R}^2)\rightarrow L^q(\mathbb{R}^2)$ if $(\frac{1}{p},\frac{1}{q})\in \Delta\cup \{(0,0)\}$ and $(\frac{1}{p},\frac{1}{q})$ satisfying $1+(1 +\omega)(\frac{1}{q}-\frac{1}{p})>0$, where $\Delta:=\{(\frac{1}{p},\frac{1}{q}):\ \frac{1}{2p}<\frac{1}{q}\leq \frac{1}{p}, \frac{1}{q}>\frac{3}{p}-1 \}$ and $\omega:=\limsup_{t\rightarrow 0^{+}}\frac{\ln|\gamma(t)|}{\ln t}$. This result is sharp except for some borderline cases. As Hickman stated in [J. Funct. Anal. 270 (2016), pp. 560--608], this is a very different situation.


title: An optimal control approach for the treatment of hepatitis C patients

abstract: In this article, the feasibility of using optimal control theory will be studied to develop control theoretic methods for personalized treatment of HCV patients. The mathematical model for HCV progression includes compartments for healthy hepatocytes, infected hepatocytes, infectious virions and noninfectious virions. Methodologies have been used from optimal control theory to design and synthesize an open-loop control based treatment regimen for HCV dynamics.


title: Cloud Control of Connected Vehicle under Bi-directional Time-varying delay: An Application of Predictor-observer Structured Controller

abstract: This article is devoted to addressing the cloud control of connected vehicles, specifically focusing on analyzing the effect of bi-directional communication-induced delays. To mitigate the adverse effects of such delays, a novel predictor-observer structured controller is proposed which compensate for both measurable output delays and unmeasurable, yet bounded, input delays simultaneously. The study begins by novelly constructing an equivalent delay-free inter-connected system model that incorporates the Predictor-Observer controller, considering certain delay boundaries and model uncertainties. Subsequently, a stability analysis is conducted to assess the system's robustness under these conditions. Next, the connected vehicle lateral control scenario is built which contain high-fidelity vehicle dynamic model. The results demonstrate the controller's ability to accurately predict the system states, even under time-varying bi-directional delays. Finally, the proposed method is deployed in a real connected vehicle lateral control system. Comparative tests with a conventional linear feedback controller showcase significantly improved control performance under dominant bi-directional delay conditions, affirming the superiority of the proposed method against the delay.


title: Photonic Structures Optimization Using Highly Data-Efficient Deep Learning: Application To Nanofin And Annular Groove Phase Masks

abstract: Metasurfaces offer a flexible framework for the manipulation of light properties in the realm of thin film optics. Specifically, the polarization of light can be effectively controlled through the use of thin phase plates. This study aims to introduce a surrogate optimization framework for these devices. The framework is applied to develop two kinds of vortex phase masks (VPMs) tailored for application in astronomical high-contrast imaging. Computational intelligence techniques are exploited to optimize the geometric features of these devices. The large design space and computational limitations necessitate the use of surrogate models like partial least squares Kriging, radial basis functions, or neural networks. However, we demonstrate the inadequacy of these methods in modeling the performance of VPMs. To address the shortcomings of these methods, a data-efficient evolutionary optimization setup using a deep neural network as a highly accurate and efficient surrogate model is proposed. The optimization process in this study employs a robust particle swarm evolutionary optimization scheme, which operates on explicit geometric parameters of the photonic device. Through this approach, optimal designs are developed for two design candidates. In the most complex case, evolutionary optimization enables optimization of the design that would otherwise be impractical (requiring too much simulations). In both cases, the surrogate model improves the reliability and efficiency of the procedure, effectively reducing the required number of simulations by up to 75% compared to conventional optimization techniques.

categories: physics.optics cond-mat.mes-hall cs.AI physics.space-ph


title: The theorems of M. Riesz and Zygmund in several complex variables

abstract: In this note, we extend the well-known theorems of M. Riesz and Zygmund on conjugate functions as follows. Let $\Omega$ be a domain in $\mathbb C^n$. Suppose that $f=u+iv\in \mathcal O(\Omega)$ satisfies $v(z_0)=0$ for some $z_0\in \Omega$. Then $ \|f\|_{p,z_0} \le C_p\, \|u\|_{p,z_0}$ for $1<p<\infty$, where $C_p$ is a constant depending only on $p$ and $\|u\|_{p,z_0}^p$ is defined to be the value at $z_0$ of the least harmonic majorant of $|u|^p$. Moreover, if $|u|\le 1$, then for any $\alpha>1$, there exists $C_\alpha>0$ such that $ \int_{\partial \Omega_t} \frac{\exp\left(\frac{\pi}2 |f| \right)}{(1+|f|)^\alpha}\, d\omega_{z_0,t} \le C_\alpha$ for any exhaustion $\{\Omega_t\}$ of $\Omega$ with $\Omega_t\ni z_0$, where $d \omega_{z_0,t}$ is the harmonic measure of $\Omega_t$ relative to $z_0$. Analogous results for Poletsky-Stessin-Hardy spaces on hyperconvex domains are given.


title: Topologies for Error-Detecting Variable-Length Codes

abstract: Given a finite alphabet $A$, a quasi-metric $d$ over $A^*$, and a non-negative integer $k$, we introduce the relation $\tau_{d,k}\subseteq A^*\times A^*$ such that $(x,y)\in\tau_{d,k}$ holds whenever $d(x,y)\le k$. The error detection capability of variable-length codes is expressed in term of conditions over $\tau_{d,k}$. With respect to the prefix metric, the factor one, and any quasi-metric associated with some free monoid (anti-)automorphism, we prove that one can decide whether a given regular variable-length code satisfies any of those error detection constraints.


title: Circumstellar Material Ejected Violently by A Massive Star Immediately before its Death

abstract: Type II supernovae represent the most common stellar explosions in the Universe, for which the final stage evolution of their hydrogen-rich massive progenitors towards core-collapse explosion are elusive. The recent explosion of SN 2023ixf in a very nearby galaxy, Messier 101, provides a rare opportunity to explore this longstanding issue. With the timely high-cadence flash spectra taken within 1-5 days after the explosion, we can put stringent constraints on the properties of the surrounding circumstellar material around this supernova. Based on the rapid fading of the narrow emission lines and luminosity/profile of $\rm H\alpha$ emission at very early times, we estimate that the progenitor of SN 2023ixf lost material at a mass-loss rate $\dot{\rm M} \approx 6 \times 10^{-4}\, \rm M_{\odot}\,a^{-1}$ over the last 2-3 years before explosion. This close-by material, moving at a velocity $v_{\rm w} \approx 55\rm \, km\,s^{-1}$, accumulates a compact CSM shell at the radius smaller than $7 \times 10^{14}$ cm from the progenitor. Given the high mass-loss rate and relatively large wind velocity presented here, together with the pre-explosion observations made about two decades ago, the progenitor of SN 2023ixf could be a short-lived yellow hypergiant that evolved from a red supergiant shortly before the explosion.


title: Optimization of metasurfaces for lasing with symmetry constraints on the modes

abstract: The development of active metasurface systems, such as lasing metasurfaces, requires the optimization of multiple modes at the absorption and lasing wavelength bands, including their quality factor, mode profile and angular dispersion. Often, these requirements are contradictory and impossible to obtain with conventional design techniques. Importantly, the properties of the eigenmodes of a metasurface are directly linked to their symmetry, which offers an opportunity to explore mode symmetry as an objective in optimization routines for active metasurface design. Here, we propose and numerically demonstrate a novel multi-objective optimization technique based on symmetry projection operators to quantify the symmetry of the metasurface eigenmodes. We present, as an example, the optimization of a lasing metasurface based on up-converting nano-particles. Our technique allows us to optimize the absorption mode dispersion, as well as the directionality of the lasing emission and therefore offers advantages for novel lasing systems with high directionality and low lasing threshold.


title: On the peer review reports: It's not the size that matters ... really?

abstract: Scientometers and sociologists of science have spilled much ink on the topic of peer review over the past twenty years, given its primordial role in a context marked by the exponential growth of scientific production and the proliferation of predatory journals. Although the topic is addressed under different prisms, few studies have empirically analyzed to what extent it can affect the quality of publications. Here we study the link between the length of reviewers' reports and the citations received by publications. To do this, we used data from the Publons database (58,093 peer review reports). We have adjusted this sample to match the WoS database structure. Our regression results show that peer review positively affects the quality of publications. In other words, the more indepth (longer) the referees' reports are, the greater the publication improvements will be, resulting in an increase in citations received. This result is important from both the point of view of reviewers and that of journal's chiefseditors. Even if it is not a remunerated activity, it is important that it be more valued at least within the framework of research evaluation exercises, given its positive impact on science.


title: Analyzing domain shift when using additional data for the MICCAI KiTS23 Challenge

abstract: Using additional training data is known to improve the results, especially for medical image 3D segmentation where there is a lack of training material and the model needs to generalize well from few available data. However, the new data could have been acquired using other instruments and preprocessed such its distribution is significantly different from the original training data. Therefore, we study techniques which ameliorate domain shift during training so that the additional data becomes better usable for preprocessing and training together with the original data. Our results show that transforming the additional data using histogram matching has better results than using simple normalization.


title: On the encounter between the GASP galaxy JO36 and the radio plume of GIN 049

abstract: We report on the serendipitous discovery of an unprecedented interaction between the radio lobe of a radio galaxy and a spiral galaxy. The discovery was made thanks to LOFAR observations at 144 MHz of the galaxy cluster Abell 160 ($z=0.04317$) provided by the LOFAR Two-metre Sky Survey. The new low-frequency observations revealed that one of the radio plumes of the central galaxy GIN 049 overlaps with the spiral galaxy JO36. Previous studies carried out with MUSE revealed that the warm ionized gas in the disk of JO36, traced by the H$\alpha$ emission, is severely truncated with respect to the stellar disk. We further explore this unique system by including new uGMRT observations at 675 MHz to map the spectral index. The emerging scenario is that JO36 has interacted with the radio plume in the past 200-500 Myr. The encounter resulted in a positive feedback event for JO36 in the form of a star formation rate burst of $\sim14$ $M_\odot$ yr$^{-1}$. In turn, the galaxy passage left a trace in the radio-old plasma by re-shaping the old relativistic plasma via magnetic draping.


title: Bayesian Phase Search for Probabilistic Amplitude Shaping

abstract: We introduce a Bayesian carrier phase recovery (CPR) algorithm which is robust against low signal-to-noise ratio scenarios. It is therefore effective for phase recovery for probabilistic amplitude shaping (PAS). Results validate that the new algorithm overcomes the degradation experienced by blind phase-search CPR for PAS.


title: Efficient Reduced Magnetic Vector Potential Formulation for the Magnetic Field Simulation of Accelerator Magnets

abstract: The major advantage of reduced magnetic vector potential formulations (RMVPs) is that complicated coil structures do not need to be resolved by a computational mesh. Instead, they are modeled by thin wires, whose source field is included into the simulation model along Biot-Savart's law. Such an approach has already been successfully employed in ROXIE for the simulation of superconducting Large Hadron Collider magnets at CERN. This work presents an updated RMVP approach, which significantly outperforms the original method. The updated formulation is postulated, implemented, verified, compared to the original formulation, and applied for the simulation of a quadrupole magnet. The promising results of this work encourage further investigation towards an updated simulation framework for next-generation accelerator magnets.


title: Aggregating Correlated Estimations with (Almost) no Training

abstract: Many decision problems cannot be solved exactly and use several estimation algorithms that assign scores to the different available options. The estimation errors can have various correlations, from low (e.g. between two very different approaches) to high (e.g. when using a given algorithm with different hyperparameters). Most aggregation rules would suffer from this diversity of correlations. In this article, we propose different aggregation rules that take correlations into account, and we compare them to naive rules in various experiments based on synthetic data. Our results show that when sufficient information is known about the correlations between errors, a maximum likelihood aggregation should be preferred. Otherwise, typically with limited training data, we recommend a method that we call Embedded Voting (EV).


title: Heteroclinic Dynamics in Network Dynamical Systems with Higher-Order Interactions

abstract: Heteroclinic structures organize global features of dynamical systems. We analyze whether heteroclinic structures can arise in network dynamics with higher-order interactions which describe the nonlinear interactions between three or more units. We find that while commonly analyzed model equations such as network dynamics on undirected hypergraphs may be useful to describe local dynamics such as cluster synchronization, they give rise to obstructions that allow to design heteroclinic structures in phase space. By contrast, directed hypergraphs break the homogeneity and lead to vector fields that support heteroclinic structures.


title: Logarithmic Mathematical Morphology: theory and applications

abstract: Classically, in Mathematical Morphology, an image (i.e., a grey-level function) is analysed by another image which is named the structuring element or the structuring function. This structuring function is moved over the image domain and summed to the image. However, in an image presenting lighting variations, the analysis by a structuring function should require that its amplitude varies according to the image intensity. Such a property is not verified in Mathematical Morphology for grey level functions, when the structuring function is summed to the image with the usual additive law. In order to address this issue, a new framework is defined with an additive law for which the amplitude of the structuring function varies according to the image amplitude. This additive law is chosen within the Logarithmic Image Processing framework and models the lighting variations with a physical cause such as a change of light intensity or a change of camera exposure-time. The new framework is named Logarithmic Mathematical Morphology (LMM) and allows the definition of operators which are robust to such lighting variations. In images with uniform lighting variations, those new LMM operators perform better than usual morphological operators. In eye-fundus images with non-uniform lighting variations, a LMM method for vessel segmentation is compared to three state-of-the-art approaches. Results show that the LMM approach has a better robustness to such variations than the three others.


title: Bethe Ansatz

abstract: The term Bethe Ansatz stands for a multitude of methods in the theory of integrable models in statistical mechanics and quantum field theory that were designed to study the spectra, the thermodynamic properties and the correlation functions of these models non-perturbatively. This essay attempts to a give a brief overview of some of these methods and their development, mostly based on the example of the Heisenberg model and the corresponding six-vertex model.


title: Belief revision and incongruity: is it a joke?

abstract: Incongruity often makes people laugh. You have to be smart to say stupid things. It requires to be even smarter for understanding them. This paper is a shameless attempt to formalize this intelligent behavior in the case of an agent listening to a joke. All this is a matter of revision of beliefs, surprise and violation of norms.


title: Establishing a real-time traffic alarm in the city of Valencia with Deep Learning

abstract: Urban traffic emissions represent a significant concern due to their detrimental impacts on both public health and the environment. Consequently, decision-makers have flagged their reduction as a crucial goal. In this study, we first analyze the correlation between traffic flux and pollution in the city of Valencia, Spain. Our results demonstrate that traffic has a significant impact on the levels of certain pollutants (especially $\text{NO}_\text{x}$). Secondly, we develop an alarm system to predict if a street is likely to experience unusually high traffic in the next 30 minutes, using an independent three-tier level for each street. To make the predictions, we use traffic data updated every 10 minutes and Long Short-Term Memory (LSTM) neural networks. We trained the LSTM using traffic data from 2018, and tested it using traffic data from 2019.


title: Representation Learning Dynamics of Self-Supervised Models

abstract: Self-Supervised Learning (SSL) is an important paradigm for learning representations from unlabelled data, and SSL with neural networks has been highly successful in practice. However current theoretical analysis of SSL is mostly restricted to generalisation error bounds. In contrast, learning dynamics often provide a precise characterisation of the behaviour of neural networks based models but, so far, are mainly known in supervised settings. In this paper, we study the learning dynamics of SSL models, specifically representations obtained by minimising contrastive and non-contrastive losses. We show that a naive extension of the dymanics of multivariate regression to SSL leads to learning trivial scalar representations that demonstrates dimension collapse in SSL. Consequently, we formulate SSL objectives with orthogonality constraints on the weights, and derive the exact (network width independent) learning dynamics of the SSL models trained using gradient descent on the Grassmannian manifold. We also argue that the infinite width approximation of SSL models significantly deviate from the neural tangent kernel approximations of supervised models. We numerically illustrate the validity of our theoretical findings, and discuss how the presented results provide a framework for further theoretical analysis of contrastive and non-contrastive SSL.


title: iLoRE: Dynamic Graph Representation with Instant Long-term Modeling and Re-occurrence Preservation

abstract: Continuous-time dynamic graph modeling is a crucial task for many real-world applications, such as financial risk management and fraud detection. Though existing dynamic graph modeling methods have achieved satisfactory results, they still suffer from three key limitations, hindering their scalability and further applicability. i) Indiscriminate updating. For incoming edges, existing methods would indiscriminately deal with them, which may lead to more time consumption and unexpected noisy information. ii) Ineffective node-wise long-term modeling. They heavily rely on recurrent neural networks (RNNs) as a backbone, which has been demonstrated to be incapable of fully capturing node-wise long-term dependencies in event sequences. iii) Neglect of re-occurrence patterns. Dynamic graphs involve the repeated occurrence of neighbors that indicates their importance, which is disappointedly neglected by existing methods. In this paper, we present iLoRE, a novel dynamic graph modeling method with instant node-wise Long-term modeling and Re-occurrence preservation. To overcome the indiscriminate updating issue, we introduce the Adaptive Short-term Updater module that will automatically discard the useless or noisy edges, ensuring iLoRE's effectiveness and instant ability. We further propose the Long-term Updater to realize more effective node-wise long-term modeling, where we innovatively propose the Identity Attention mechanism to empower a Transformer-based updater, bypassing the limited effectiveness of typical RNN-dominated designs. Finally, the crucial re-occurrence patterns are also encoded into a graph module for informative representation learning, which will further improve the expressiveness of our method. Our experimental results on real-world datasets demonstrate the effectiveness of our iLoRE for dynamic graph modeling.


title: Empirical approximation of the gaussian distribution in $\mathbb{R}^d$

abstract: Let $G_1,\dots,G_m$ be independent copies of the standard gaussian random vector in $\mathbb{R}^d$. We show that there is an absolute constant $c$ such that for any $A \subset S^{d-1}$, with probability at least $1-2\exp(-c\Delta m)$, for every $t\in\mathbb{R}$, \[ \sup_{x \in A} \left| \frac{1}{m}\sum_{i=1}^m 1_{ \{\langle G_i,x\rangle \leq t \}} - \mathbb{P}(\langle G,x\rangle \leq t) \right| \leq \Delta + \sigma(t) \sqrt\Delta. \] Here $\sigma(t) $ is the variance of $1_{\{\langle G,x\rangle\leq t\}}$ and $\Delta\geq \Delta_0$, where $\Delta_0$ is determined by an unexpected complexity parameter of $A$ that captures the set's geometry (Talagrand's $\gamma_1$ functional). The bound, the probability estimate, and the value of $\Delta_0$ are all (almost) optimal. We use this fact to show that if $\Gamma=\sum_{i=1}^m \langle G_i,x\rangle e_i$ is the random matrix that has $G_1,\dots,G_m$ as its rows, then the structure of $\Gamma(A)=\{\Gamma x: x\in A\}$ is far more rigid and well-prescribed than was previously expected.


title: PROMISE: Preconditioned Stochastic Optimization Methods by Incorporating Scalable Curvature Estimates

abstract: This paper introduces PROMISE ($\textbf{Pr}$econditioned Stochastic $\textbf{O}$ptimization $\textbf{M}$ethods by $\textbf{I}$ncorporating $\textbf{S}$calable Curvature $\textbf{E}$stimates), a suite of sketching-based preconditioned stochastic gradient algorithms for solving large-scale convex optimization problems arising in machine learning. PROMISE includes preconditioned versions of SVRG, SAGA, and Katyusha; each algorithm comes with a strong theoretical analysis and effective default hyperparameter values. In contrast, traditional stochastic gradient methods require careful hyperparameter tuning to succeed, and degrade in the presence of ill-conditioning, a ubiquitous phenomenon in machine learning. Empirically, we verify the superiority of the proposed algorithms by showing that, using default hyperparameter values, they outperform or match popular tuned stochastic gradient optimizers on a test bed of $51$ ridge and logistic regression problems assembled from benchmark machine learning repositories. On the theoretical side, this paper introduces the notion of quadratic regularity in order to establish linear convergence of all proposed methods even when the preconditioner is updated infrequently. The speed of linear convergence is determined by the quadratic regularity ratio, which often provides a tighter bound on the convergence rate compared to the condition number, both in theory and in practice, and explains the fast global linear convergence of the proposed methods.


title: Beyond the Hodge Theorem: curl and asymmetric pseudodifferential projections

abstract: We develop a new approach to the study of spectral asymmetry. Working with the operator $\operatorname{curl}:=*\mathrm{d}$ on a connected oriented closed Riemannian 3-manifold, we construct, by means of microlocal analysis, the asymmetry operator -- a scalar pseudodifferential operator of order $-3$. The latter is completely determined by the Riemannian manifold and its orientation, and encodes information about spectral asymmetry. The asymmetry operator generalises and contains the classical eta invariant traditionally associated with the asymmetry of the spectrum, which can be recovered by computing its regularised operator trace. Remarkably, the whole construction is direct and explicit, and does not involve analytic continuation or algebraic topology.


title: On the signed Selmer groups for motives at non-ordinary primes in $\mathbb{Z}_p^2$-extensions

abstract: Generalizing the work of Kobayashi and the second author for elliptic curves with supersingular reduction at the prime $p$, B\"uy\"ukboduk and Lei constructed multi-signed Selmer groups over the cyclotomic $\mathbb{Z}_p$-extension of a number field $F$ for more general non-ordinary motives. In particular, their construction applies to abelian varieties over $F$ with good supersingular reduction at all the primes of $F$ above $p$. In this article, we scrutinize the case in which $F$ is imaginary quadratic, and prove a control theorem (that generalizes Kim's control theorem for elliptic curves) of multi-signed Selmer groups of non-ordinary motives over the maximal abelian pro-$p$ extension of $F$ that is unramified outside $p$, which is the $\mathbb{Z}_p^2$-extension of $F$. We apply it to derive a sufficient condition when these multi-signed Selmer groups are cotorsion over the corresponding two-variable Iwasawa algebra. Furthermore, we compare the Iwasawa $\mu$-invariants of multi-signed Selmer groups over the $\mathbb{Z}_p^2$-extension for two such representations which are congruent modulo $p$.


title: The Index and Core of a Relation. With Applications to the Axiomatics of Relation Algebra

abstract: We introduce the general notions of an index and a core of a relation. We postulate a limited form of the axiom of choice -- specifically that all partial equivalence relations have an index -- and explore the consequences of adding the axiom to standard axiom systems for point-free reasoning. Examples of the theorems we prove are that a core/index of a difunction is a bijection, and that the so-called ``all or nothing'' axiom used to facilitate pointwise reasoning is derivable from our axiom of choice.


title: Winning of inhomogeneous bad for curves

abstract: We prove the absolute winning property of weighted simultaneous inhomogeneous badly approximable vectors on non-degenerate analytic curves. This answers a question by Beresnevich, Nesharim, and Yang. In particular, our result is an inhomogeneous version of the main result in \cite{BNY22} by Beresnevich, Nesharim, and Yang. Also, the generality of the inhomogeneous part that we considered extends the previous result in \cite{ABV}. Moreover, our results even contribute to classical results, namely establishing the inhomogeneous Schmidt's conjecture in arbitrary dimensions.