arXiv:2607.15077v1 Announce Type: new
Abstract: Many engineering problems involve phenomena whose governing equations are poorly characterized or only partially known. Surrogate modeling techniques such as neural networks can capture the behavior of these systems, but they typically demand large training datasets that are difficult to obtain in engineering contexts and yield models with limited physical interpretability. The Sparse Identification of Nonlinear Dynamics (SINDy) method addresses both limitations by performing sparse regression over libraries of candidate nonlinear terms, recovering interpretable governing equations from comparatively small datasets. Although SINDy has been demonstrated extensively on canonical benchmark systems, its application to practical engineering problems is less widely documented. This tutorial introduces the SINDy method and progressively builds toward its main extensions, from noise-robust weak-form and ensembling-based variants to constrained and parametrizable formulations. The paper and the accompanying tutorial (available at https://github.com/paullililili/SINDy4Engineers) is organized in three parts: the first introduces the standard SINDy algorithm and progressively extends it, inviting readers without prior knowledge to follow each step and adapt the methods to their own problems; the remaining two parts present detailed case studies on (1) the system identification of an unmanned aerial vehicle and (2) a chaotic thermosyphon heat exchanger. Through these examples, we aim to demonstrate that SINDy is simple to implement yet flexible enough to serve as a valuable identification tool for advanced engineering applications.
Science Journals
arXiv:2606.13467v2 Announce Type: replace
Abstract: We introduce a new product on the ambient space $F_q^n$ as a generalization of Euclidean, Hermitian and $\delta$ products. We give some general properties of the dual codes, relation with Euclidean duals, definition and characterization of self orthogonal, self dual, dual containing and LCD codes along with certain existence conditions. Also, we calculate the dual codes of some classes of codes like repetition, binary and $\lambda$-constacyclic codes with respect to this product. Further, we extend and analyse this notion of the product for codes over semisimple rings.
arXiv:2605.07995v2 Announce Type: replace-cross
Abstract: The [$^{12}$C II] emission at 158 $\mu$m is a key cooling line of the interstellar medium and traces gas kinematics in spectrally resolved observations. Its spectral profile is often modified by optical depth effects. The intrinsic line shape can be reconstructed by comparison with emission from the less abundant $^{13}$C isotope. Due to the additional neutron spin, [$^{13}$C II] emission splits into three hyperfine structure (hfs) transitions. Laboratory measurements have provided the centroid frequency and the strongest component ($F=2-1$); the two weaker components ($F=1-0$ and $F=1-1$) have been inferred only from quantum-mechanical calculations. The magnetic-dipole hfs constants, from which the transition frequencies follow, have not been measured experimentally. The high spectral resolution of observations with the upgraded German Receiver for Astronomy at Terahertz Frequencies (upGREAT) on board SOFIA enabled simultaneous detection of all three hfs transitions. From these astronomical data we determine, for the first time, the magnetic-dipole hfs constants $A_{1/2}^{\rm hf} = 810.71(11)$ MHz and $A_{3/2}^{\rm hf} = 162.18(5)$ MHz of the [$^{13}$C II] $2s^2\,2p\,{}^2P^\circ$ ground term. Combined with the laboratory centroid frequency, this yields the rest frequencies of all three hfs lines. Using [$^{12}$C II] as a reference, we also improve the precision of the [$^{13}$C II] centroid frequency. This work shows that spectrally resolved astronomical observations can constrain fundamental atomic properties, with hfs precision rivaling laboratory measurements. The approach extends to other atomic and molecular transitions where laboratory data are difficult to obtain.
arXiv:2605.16574v2 Announce Type: replace-cross
Abstract: We present a methodology to analyze metastable properties of a simple prototypical stochastic bistable system by identifying slow inter-well and fast saddle escape processes using the formalism of the Koopman operator. Instead of studying noise-induced transitions by following the trajectories of the system, we track them by studying the time evolution and the decay rate of the subdominant mode of the Koopman operator, thus in a geometry-agnostic framework. The obtained escape time statistics together with the decay rate are in good agreement with the predictions - both the exponential and subexponential ones - of large deviation theory in the weak-noise limit, both in equilibrium and nonequilibrium conditions. The subdominant Koopman mode also allows for an accurate reconstruction of the competing basins of attraction. Furthermore, going deeper in the Koopman spectrum, we are able to recognise modes that are associated with intra-well variability as well as with the escape of trajectories from the saddle towards the attractor, both in the equilibrium and nonequilibrium case. Our methodology, being grounded in purely data-driven techniques, could provide a comprehensive, multi-scale framework for studying high-dimensional metastable systems.
arXiv:2605.30224v2 Announce Type: replace-cross
Abstract: We show that bright squeezed vacuum light, combined with a single-shot quadrature measurement of the post-interaction light, enables the ultrafast generation of macroscopic quantum states in matter. Although in the weak-coupling regime multiphoton quantum light leaves the unconditional matter state as a classical mixture due to light--matter entanglement, quadrature-based heralding prepares the matter in a Gaussian-weighted quantum superposition of laser-driven matter states. For an ensemble of resonantly electric-dipole-coupled two-level systems, this heralding dynamics acts as a Gaussian filter with respect to the electric polarization, with brighter squeezed-vacuum light accelerating the preparation of the zero-eigenvalue Dicke state. Counter-rotating terms further drive a stroboscopic transition from this Dicke state to a cat-like state. Our results open a route to ultrafast engineering of macroscopic quantum matter with strong-field quantum light.
arXiv:2512.16864v2 Announce Type: replace
Abstract: Instruction-based image editing enables natural-language control over visual modifications, yet existing models falter under Instruction-Visual Complexity (IV-Complexity), where intricate instructions meet cluttered or ambiguous scenes. We introduce RePlan (Region-aligned Planning), a plan-then-execute framework that couples a vision-language planner with a diffusion editor. The planner decomposes instructions via step-by-step reasoning and explicitly grounds them to target regions; the editor then applies changes using a training-free attention-region injection mechanism, enabling precise, parallel multi-region edits without iterative inpainting. To strengthen planning, we apply GRPO-based reinforcement learning using 1K instruction-only examples, yielding substantial gains in reasoning fidelity and format reliability. We further present IV-Edit, a benchmark focused on fine-grained grounding and knowledge-intensive edits. Across IV-Complex settings, RePlan consistently outperforms strong baselines trained on far larger datasets, improving regional precision and overall consistency. Our project page: https://replan-iv-edit.github.io
arXiv:2512.18390v2 Announce Type: replace
Abstract: Organizations often have an incumbent predictive model in production when new data sources become available. Because historical training data lack the new features, a challenger model must be trained on a small but growing full-feature dataset. We study whether, and when, the organization should switch to the challenger. The decision is statistical and economic: the challenger's predictive performance improves as full-feature data accumulate, but repeated retraining is costly and delays benefits from deployment. We develop a framework linking learning-curve dynamics to model-switching economics. Under a standard power-law learning curve and finite data-collection horizon $T$, the optimal time to train and evaluate the challenger scales as $T^{1/(1+\alpha)}$: learning-curve shape (through its learning speed $\alpha$) is the primary theoretical determinant of when to stop experimenting; costs determine switching profitability. Even without knowing the learning curve, the operational problem is tractable: we show that any algorithm stopping on the $T^{2/3}$ scale and making reliable switch/discard decisions achieves $O(T^{2/3}\sqrt{\log T})$ regret relative to a full-foresight oracle. We propose a sequential evaluation algorithm that uses local learning-curve trends to anticipate improvement, and test it in a real-world credit-scoring study. Even with this local approximation, the algorithm theoretically and empirically achieves near-oracle performance. It is also more stable than greedy sequential evaluation algorithms, where noisy early estimates trigger premature discarding, or simple one-shot evaluation algorithms, which work only when their fixed evaluation time matches the (unknown in practice) theoretical timing scale. Our framework offers a step toward principled model governance when new data sources require costly collection, validation, and deployment.
arXiv:2602.09730v3 Announce Type: replace
Abstract: Recent advances in imaging technologies, deep learning and numerical performance have enabled non-invasive detailed analysis of artworks, supporting their documentation and conservation. In particular, automated detection of craquelure in digitized paintings is crucial for assessing degradation and guiding restoration, yet remains challenging due to the possibly complex scenery and the visual similarity between cracks and crack-like artistic features such as brush strokes or hair. We propose a hybrid approach that models crack detection as an inverse problem, decomposing an observed image into a crack-free painting and a crack component. A deep generative model is employed as powerful prior for the underlying artwork, while crack structures are captured using a Mumford--Shah-type variational functional together with a crack prior. Joint optimization yields a pixel-level map of crack localizations in the painting.
arXiv:2602.10066v2 Announce Type: replace
Abstract: Matrix-vector multiplications are fundamental operations in artificial intelligence and high-throughput computations, and are executed repeatedly during training and inference. Their high energy cost in electronic processors motivate scalable photonic computing approaches that reduce the energy required per operation. Thin film lithium niobate is a dominant photonic platform due to its large electro-optic effect. However, it lacks nonvolatile index tuning mechanisms, which promise to pave the way for energy-efficient photonic computing. Here, we explore electrochemical lithiation as a route to nonvolatile matrix-vector multiplications in thin film lithium niobate. The lithium niobate phase is stable at room temperature over a 2% Li composition window with an associated composition-dependent refractive index. We computationally demonstrate this as a programmable, low-loss approach to perform matrix-vector multiplications by using composition to control matrix weights. We design Mach-Zehnder interferometers to perform image processing tasks under realistic material loss constraints. We also design microring resonators for iterative weight updates, using gradient descent training to program target matrix operations with matrix-vector multiplication accuracy validated at 1.6% average relative error. These demonstrations show a facile route towards nonvolatile photonic computing in thin film lithium niobate, addressing a critical requirement for energy-efficient photonic matrix operations at scale.
arXiv:2601.09118v2 Announce Type: replace
Abstract: This paper addresses the limitations of current vision-based rail defect detection methods, including high computational complexity, excessive parameter counts, and suboptimal accuracy. We propose a Lightweight Pyramid Cross-Attention Network (LPCANet) that leverages RGB-D data for efficient and accurate defect identification. The architecture integrates MobileNetv2 as a backbone for RGB feature extraction with a lightweight pyramid module (LPM) for depth processing, coupled with a cross-attention mechanism (CAM) for multimodal fusion and a spatial feature extractor (SFE) for enhanced structural analysis. Comprehensive evaluations on three unsupervised RGB-D rail datasets (NEU-RSDDS-AUG, RSDD-TYPE1, RSDD-TYPE2) demonstrate that LPCANet achieves state-of-the-art performance with only 9.90 million parameters, 2.50 G FLOPs, and 162.60 fps inference speed. Compared to 18 existing methods, LPCANet shows significant improvements, including +1.48\% in $S_{\alpha}$, +0.86\% in IOU, and +1.77\% in MAE over the best-performing baseline. Ablation studies confirm the critical roles of CAM and SFE, while experiments on non-rail datasets (DAGM2007, MT, Kolektor-SDD2) validate its generalization capability. The proposed framework effectively bridges traditional and deep learning approaches, offering substantial practical value for industrial defect inspection. Future work will focus on further model compression for real-time deployment.
arXiv:2603.12408v2 Announce Type: replace
Abstract: Motion imitation learning (IL) is increasingly used in robotics and human gait modeling, yet its ability to recover biomechanically consistent joint moments without explicit kinetic information remains unclear. In this study, we examined whether motion imitation alone can estimate reasonable biological joint moments. We compare motion-only IL (MOIL) against a kinetics-aware IL (KAIL) framework that incorporates ground reaction forces (GRF) and center of pressure (CoP) in imitation rewards, with an ablation study to examine the contribution of each kinetic term. Experiments were conducted using walking data from a non-disabled participant at three speeds (0.9, 1.2, and 1.5 m/s). While both MOIL and KAIL achieved comparable kinematic tracking accuracy, MOIL exhibited substantially larger errors in GRF, CoP, and joint moment estimates relative to inverse dynamics references. In contrast, KAIL produced kinetics more consistent with biomechanical values. These findings highlight a fundamental limitation of MOIL approaches, which may lead to erroneous interpretations of gait biomechanics and downstream applications by failing to estimate consistent human-like gait kinetics.
arXiv:2607.14800v1 Announce Type: new
Abstract: We present CrimeNER Demo, an AI-powered platform that enables us to extract general crime-related information from documents and classify them into entity types with two levels of granularity. We provide pretrained NER models on the CrimeNER database, and we give the possibility to users to provide their own annotated data to train models for their own specific cases. This demonstrator aims to promote crime-related NER research and provides a practical tool to automatically extract crime information for researchers and law enforcement agencies. The demonstrator includes: i) Pretrained NER models on the crime domain; ii) Possibility to finetune the models on specific data annotated by the user; and iii) An automatic pipeline to extract and annotate crime entities from documents. The demo platform, a tutorial to run the demo, and a video demonstration are publicly available on GitHub.
arXiv:2607.14839v1 Announce Type: new
Abstract: This paper addresses stabilization of MIMO systems with uncertain time-varying diagonal input direction. We propose a modular switching sign-compensation layer acting as an outer wrapper around a nominal controller. Unlike Nussbaum-type gains, monitoring functions, or binary adaptive mechanisms, the method uses only bounded sign changes that preserve the nominal control magnitude and its properties. The compensation layer uses adaptive variables built from nominal Lyapunov quantities to search for the unknown input-sign configuration based on schedulers. Two schedulers are developed: a vector scheduler, where each input channel explores its own sign compensation and admits an online trapping certificate, and a scalar pattern scheduler, where one variable visits all diagonal sign matrices and gives a design-time recovery guarantee on sufficiently long constant-sign intervals. Once the correct sign configuration is set, the actual closed loop coincides with the nominal closed loop and the original nominal stability property is recovered. The approach is illustrated on a flight roll-reversal problem, a visual-servoing benchmark, and an underground-reservoir control example motivated by human induced-seismicity mitigation.
arXiv:2607.14482v1 Announce Type: new
Abstract: Multipath transport has long been studied to improve robustness over heterogeneous networks, and Multipath QUIC (MPQUIC) is particularly attractive for low-latency applications because QUIC Datagram enables transmission without retransmissions. However, this advantage comes with a key drawback: QUIC Datagram is vulnerable to packet loss, especially in vehicular cellular environments with handovers and rapidly varying radio conditions. While prior studies have explored adaptive-FEC and coded multipath designs, practical deployment remains challenging when such mechanisms require substantial modifications to the transport stack or scheduler. In this paper, we present an adaptive Forward Error Correction (FEC) scheme for MPQUIC Datagram that reuses QUIC loss detection signals and an off-the-shelf Reed-Solomon (RS) coding library. The sender estimates smoothed per-path loss rates from QUIC loss signals and adaptively determines the number of parity packets for each FEC block according to the expected packet loss. We implement the proposed scheme on an existing MPQUIC stack and evaluate it through vehicular field experiments over three commercial LTE/5G paths. Under the main 4.0 Mbps setting, the proposed scheme improves both reliability and latency compared with No-FEC: the average one-way delay is reduced from 103.0 ms to 70.8 ms, the 95th-percentile delay from 281.2 ms to 142.3 ms, and the packet loss rate from 1.7 % to 0.8 %, with an average coding rate of 0.94. These results indicate that scheduler-agnostic adaptive-FEC can provide practical latency and reliability gains for MPQUIC Datagram under the measured vehicular mobile conditions.
arXiv:2607.14962v1 Announce Type: new
Abstract: Text-to-image (T2I) models can synthesize realistic, prompt-aligned images, yet samples generated for the same prompt often cover only a small subset of visually distinct modes. This limits the diversity of images, and for person-centric prompts, can reflect or amplify demographic skew. We formalize this problem as coverage of a predefined set of semantically specified modes, which we call target-mode coverage. We then propose multi-axis max@K, a group-based reinforcement learning objective for improving such coverage in diffusion-based T2I models. Given a group of samples and one score per target category, multi-axis max@K first takes the maximum score across samples for each category and then sums these category-wise maxima. The resulting credit assignment gives a sample positive weight on a category only when it increases that category's group-wise maximum, allowing different samples to contribute to different categories. We first validate the credit-assignment mechanism on a synthetic mixture and on SD3.5-M using deterministic pixel-based color rewards. We then evaluate the same objective on perceived-appearance fairness. Across three automatic evaluators on held-out prompts, multi-axis max@K improves the Fairness Score by 0.23-0.36 relative to the base model, while maintaining image quality and text alignment.
arXiv:2607.15147v1 Announce Type: new
Abstract: We report on the ground and numerous excited electronic states. In the ground state the C4n rings are closed-shell systems possessing polyynic structures and can be classified as double anti-aromatic molecules. In their energetically lowest lying triplet state the rings exhibit aromatic cumulenic structures. The overall change in the electronic structures is rather dramatic upon the found moderate geometric changes from polyynic to cumulenic structure. Among others, Hund's rule is violated in both C8 and C12 in their cumulenic structures. We mention that until now, graphene is the only carbon allotrope reported to violate Hund's rule. The reasons for the violation are analyzed. Much effort has been invested to understand the relaxation pathways of the low-lying states leading the C8 from polyynic to cumulenic geometry and vice versa. On its minimum energy path, the first singlet excited state changes from open-shell character in the polyynic structure to a closed-shell state in the cumulenic structure. The cumulenic state lowest in energy is an open-shell singlet which relaxes to the closed-shell polyynic ground state.
arXiv:2602.22809v3 Announce Type: replace
Abstract: With the recent fast development of generative models, instruction-based image editing has shown great potential in generating high-quality images. However, the quality of editing highly depends on carefully designed instructions, placing the burden of task decomposition and sequencing entirely on the user. To achieve autonomous image editing, we present PhotoAgent, a system that advances image editing through explicit aesthetic planning. Specifically, PhotoAgent formulates autonomous image editing as a long-horizon decision-making problem. It reasons over user aesthetic intent, plans multi-step editing actions via tree search, and iteratively refines results through closed-loop execution with memory and visual feedback, without requiring step-by-step user prompts. To support reliable evaluation in real-world scenarios, we introduce UGC-Edit, an aesthetic evaluation benchmark consisting of 7,000 photos and a learned aesthetic reward model. We also construct a test set containing 1,017 photos to systematically assess autonomous photo editing performance. Extensive experiments demonstrate that PhotoAgent consistently improves both instruction adherence and visual quality compared with baseline methods. The project page is https://mdyao.github.io/PhotoAgent/.
arXiv:2602.23053v2 Announce Type: replace
Abstract: Field robotics research in maritime and space domains is constrained by a persistent gap between low-cost, low-fidelity simulation and costly offshore experimentation. Instrumented water tanks partially bridge this gap but often provide limited sensing, restricted experimental capabilities, and weak integration with simulation tools. To address these limitations, we present Marinarium, a modular, standalone experimental facility that provides a cost-effective intermediate testbed between simulation and field deployment. Marinarium combines a fully instrumented underwater and aerial operational volume with motion capture (MoCap), a retractable roof enabling both sheltered and open-air operation, a digital twin implemented in SMaRCSim, and direct integration with a planar space robotics laboratory, enabling both maritime and underwater space-analog experimentation. We present the design rationale of the facility and validate its capabilities through four representative studies in field robotics: (i) data-driven system identification of underwater vehicle dynamics; (ii) heterogeneous multi-domain robotic rendezvous; (iii) sim-to-real transfer for underwater robotics using learned dynamics residuals; and (iv) cross-domain validation of spacecraft autonomy using underwater surrogates. Together, these studies demonstrate that Marinarium enables reproducible, instrumented experimentation across multiple field robotics challenges that would otherwise require costly offshore deployments or be impractical to investigate using simulation alone.
arXiv:2607.14489v1 Announce Type: new
Abstract: Edge computing brings unique challenges as the resources on the edge are highly diverse in capabilities and capacities, and highly distributed across many users and the physical world. Existing distributed computing frameworks cannot adequately handle this level of heterogeneity and distribution. This paper proposes EdgeFaaS, a novel function-based edge computing framework to enable edge applications to effectively utilize heterogeneous resources distributed across the Internet of Things (IoT), edge, and cloud for computing. It proposes function virtualization and storage virtualization to abstract distributed and heterogeneous physical resources and provides consistent virtual interfaces for deploying and executing functions and storing and accessing data. EdgeFaaS provides comprehensive support to diverse edge computing workflows, and at the same time allows users to flexibly adjust the configurations and explore various important tradeoffs. To demonstrate its usability, the paper also presents the implementation and evaluation of three representative workflows on EdgeFaaS for video analytics, federated learning, and audio classification, on a real testbed of 100+ geographically distributed IoT devices, edge servers, and cloud services. EdgeFaaS allows users to flexibly explore the deployment configurations of these workflows over distributed and heterogeneous resources. For example, users can easily vary the function placement of the video processing pipeline across IoT, edge, and cloud resources and study the tradeoff between computation and communication costs; users can also flexibly adjust the cluster count and size in the hierarchical federated learning system and explore the tradeoff between training accuracy and speed.
arXiv:2607.15163v1 Announce Type: new
Abstract: Humanoid control requires natural whole-body coordination, precise real-time responses to control signals, and robust generalization across diverse environmental contexts, making it a cornerstone for generalist embodied agents. Behavior Foundation Models (BFMs) have recently emerged as a promising solution to address these challenges by leveraging large-scale behavioral data to achieve superior expressiveness, versatility and generalization. However, despite growing interest in scaling BFMs to further improve their capabilities, it remains unclear how key factors, including the learning paradigm, behavioral data and model architecture should be coordinated to enable effective scaling. In this work, we revisit the scaling recipe for BFMs and demonstrate that substantial performance gains can be achieved through the coordination of three core components: 1) the learning paradigm of motion tracking that reformulates diverse humanoid control problems as the reproduction of integrated whole-body behaviors in the global frame; 2) the strategic synergy between on-policy rollout quantity and reference motion diversity; and 3) the expressive and scalable model architecture termed Humanoid Transformer that facilitates the natural emergence of structured behavioral representations. Through extensive experiments in both simulation and real-world deployment, we demonstrate that our approach yields significant improvements in control fidelity and task generalization, reducing Mean Per-Keypoint Position Error (MPKPE) on the test set by over 10% in local mode and 82% in global mode compared with existing humanoid controllers. These results establish BFM as a principled and effective foundation for scalable and general-purpose humanoid control.
arXiv:2607.14655v1 Announce Type: new
Abstract: Online brain-computer interface research requires software that can acquire multimodal physiological data, train and update decoders, run live inference, and preserve the full experimental provenance in a reproducible workflow. We present Dendrite, a real-time brain-computer interface application in Python that brings signal acquisition, decoder training, and live inference together in a single, ready-to-run application that stays modifiable. Dendrite records several signal streams at once, each at its native rate, and executes multiple processing modes concurrently against them. A decoder can start from a previously trained model or be fit mid-session while the pipeline keeps running, and the same recordings feed offline training in the same application. Each recording, decoder, and training run is tracked in a database, and every decoder records the configuration and the source recordings it was trained from, so a deployed decoder traces back to what produced it. The experimental paradigm stays external, an independent program in any language that reaches Dendrite over the network, rather than a module built inside the runtime. We validate the full system end-to-end on in-house and public BCI datasets, training and updating decoders online while the pipeline runs in real time. Dendrite is open-source under the GPL-3.0 license at https://github.com/dendrite-bci/dendrite. The result is a reproducible, open-source biomedical-computing system for developing and evaluating online BCI paradigms.
arXiv:2607.14995v1 Announce Type: new
Abstract: Multimodal Contrastive Learning (CL) has shown significant performance in aligning representations across various data modalities and improving downstream tasks, especially in healthcare. It works by minimizing the distance between matched (positive) data modalities, while maximizing the distance between mismatched (negative) samples. Traditional CL frameworks typically assume instance-based correspondence within data batches, treating all non-paired samples as negatives. However, this assumption often fails in medical settings, where samples may share high-level semantic attributes, leading to false negatives that degrade representation quality. In this paper, we propose Multimodal Semantic-Aware Contrastive Learning (MseaCL), a CL framework trained on a pediatric cohort of 3D brain magnetic resonance imaging (MRI) scans and radiology reports. The goal of this framework is to mitigate the impact of semantically similar false negative samples by incorporating semantic similarity between radiology reports, as a guiding signal during the learning process. Our results indicate that applying this framework as a pretraining stage can achieve notable improvements in downstream tasks, e.g., at least a 22.6\% increase in the area under the receiver operating characteristic curve (AUC) of pediatric brain tumor molecular classification, demonstrating its potential for more robust and semantically aligned multimodal representations in clinical applications.
arXiv:2603.25368v3 Announce Type: replace
Abstract: We study the Minimum Weight Cycle (MWC) problem in the $\mathsf{CONGEST}$ model of distributed computing.
For undirected weighted graphs, we give a randomized $(k+1)$-approximation algorithm for every \underline{real number} $k \geq (1+\sqrt{5})/2 \approx 1.618$. The algorithm runs in \[ \tilde{O}\left(n^{\frac{k+1}{2k+1}} + D\right) \] rounds, where $n$ is the number of nodes and $D$ is the unweighted diameter of the graph. Varying $k$ therefore yields a smooth trade-off between approximation ratio and round complexity.
On the lower-bound side, assuming the Erd\H{o}s girth conjecture, we prove that for every \underline{integer} $k \geq 1$ and every $\epsilon > 0$, any randomized $(k+1-\epsilon)$-approximation algorithm for MWC requires \[ \tilde{\Omega}\left(n^{\frac{k+1}{2k+1}}+D\right) \] rounds. The lower bound holds for both directed unweighted graphs and undirected weighted graphs, even on graphs of diameter $\Theta(\log n)$.
Consequently, for every integer $k \geq 2$, our upper and lower bounds for undirected weighted graphs match up to polylogarithmic factors. This gives a nearly tight characterization of the round complexity of approximate MWC across an infinite family of approximation ratios.
These results improve the previous state of the art of Manoharan and Ramachandran (PODC 2024), who gave a $(2+\epsilon)$-approximation algorithm for undirected weighted graphs in $\tilde{O}(n^{2/3}+D)$ rounds, and proved an $\tilde{\Omega}(\sqrt{n})$ lower bound for arbitrary approximation ratios in directed unweighted and undirected weighted graphs.
arXiv:2603.26261v2 Announce Type: replace
Abstract: Contrastive learning produces coherent semantic feature embeddings by encouraging positive samples to cluster closely while separating negative samples. However, existing contrastive learning methods lack a principled construction of geometric sets in the semantic feature space with distribution-free guarantees at any user-specified coverage level. We extend conformal prediction to this setting by introducing covering sets equipped with learnable generalized hyper-ball constraints. We propose a method that constructs conformal sets guaranteeing user-specified coverage of positive samples while maximizing negative sample exclusion. We theoretically motivate volume minimization as a proxy for negative exclusion, enabling our approach to operate effectively even when negative pairs are unavailable. The positive inclusion guarantee inherits the distribution-free coverage property of conformal prediction, while negative exclusion is maximized through learned set geometry optimized on a held-out training split. Experiments on simulated and real-world image datasets demonstrate improved inclusion-exclusion trade-offs compared to standard distance-based conformal baselines.
arXiv:2602.04043v2 Announce Type: replace
Abstract: The growing demand for rapid and scalable 3D asset creation has driven interest in feed-forward 3D reconstruction methods, with 3D Gaussian Splatting (3DGS) emerging as an effective scene representation. While recent approaches have demonstrated pose-free reconstruction from unposed image collections, integrating stylization or appearance control into such pipelines remains underexplored. Existing attempts largely rely on image-based conditioning, which limits both controllability and flexibility. In this work, we introduce AnyStyle, a feed-forward 3D reconstruction and stylization framework that enables pose-free, zero-shot stylization through multimodal conditioning. Our method supports both textual and visual style inputs, allowing users to control the scene appearance using natural language descriptions or reference images. We propose a modular stylization architecture that requires only minimal architectural modifications and can be integrated into existing feed-forward 3D reconstruction backbones. Experiments demonstrate that AnyStyle improves style controllability over prior feed-forward stylization methods while preserving high-quality geometric reconstruction. A user study further confirms that AnyStyle achieves superior stylization quality compared to an existing state-of-the-art approach. Repository: https://github.com/joaxkal/AnyStyle.