arXiv:2607.11269v1 Announce Type: new
Abstract: Decision support systems (DSS) increasingly run retention what-if analysis on synthetic customer populations, because privacy constraints preclude unrestricted use of real data. Such a system is trustworthy only if the synthetic data lead managers to the same decisions as the real data would; yet prevailing criteria certify distributional similarity, not decision alignment, so a synthetic population can match every marginal distribution while still steering a marketing team toward the wrong campaigns. We close this decision-alignment gap with three contributions: strategy simulation fidelity (SSF), a criterion measuring how often the synthetic population yields the same go/no-go campaign decision as the real population; PolicySynth, a DSS framework whose generator is conditioned on the production churn scorer to align decision-relevant structure; and a three-axis reporting standard of decision alignment, membership-inference resistance, and novel-record rate as the minimum deployment quality gate. On a telecommunications churn corpus and a banking acquisition corpus, PolicySynth attains a mean SSF of 0.923 and 0.960, with seed-to-seed variance roughly ten times tighter than CTGAN on telecommunications and 2.5 times on banking. This stability is the deployable property: go/no-go recommendations shift by at most 1.2 percentage points between monthly retraining cycles, against 11.5 for CTGAN, a reversed recommendation on one campaign in nine. A bootstrap baseline matches PolicySynth on SSF yet copies real records verbatim and fails membership inference, evidence that no single axis suffices. PolicySynth reliably supports directional go/no-go screening; its ROI estimates diverge from real outcomes by 70 to 78% and require the volume correction we document.
Science Journals
arXiv:2607.10736v1 Announce Type: new
Abstract: Artificial intelligence agents increasingly perform journalism tasks autonomously, searching for sources, evaluating credibility, and producing news content with minimal human oversight. Yet research has largely treated AI as a monolithic category, leaving the effects of architectural design unexamined. Drawing on gatekeeping theory, this study presents the first systematic comparison of four agent architectures, monolithic (Claude), chain-based (LangChain), multi-agent collaborative (CrewAI), and autonomous iterative (AutoGPT), across 200 controlled experiments spanning 50 journalism tasks of graduated difficulty. All architectures used the same underlying language model and identical tools, isolating architectural effects. Results revealed significant effects on task duration (F(3, 196) = 24.54, p < .001, eta-squared = .27) and computational strategy (F(3, 196) = 305.63, p < .001, eta-squared = .82), with architecture explaining 82% of the variance in processing behavior. Multi-agent collaboration achieved the highest accuracy (84.7%) at roughly twice the time cost of other designs. Multistage analysis of the monolithic architecture documented a 71.7% source rejection rate, a quantitative parallel to classic human gatekeeping, while framework-based systems obscured their filtering inside abstraction layers. Transparency emerged as an architectural choice: framework designs excelled at structured attribution, whereas monolithic and iterative designs produced superior methodological documentation. Findings position architecture as a new structural level of gatekeeping and offer evidence-based guidance for newsrooms: chain-based designs for speed, multi-agent for accuracy, monolithic for versatility, and iterative for auditability.
arXiv:2607.11379v1 Announce Type: new
Abstract: Network theoreticians hypothesize that the structure of real-world networks has a geometric origin. Especially, hyperbolic geometry was proven insightful in representing and modeling of scale-free networks. Embedders are algorithms used to find a geometric representation of a network. In this study, we introduce a fast lossless graph compression algorithm based on modern hyperbolic embedders. Experimental validation on real-world and generated networks shows that our algorithm beats state-of-the-art by up to 42% on real-world graphs.
arXiv:2607.09948v1 Announce Type: new
Abstract: Cardiac amyloidosis (CA) is increasingly recognized but remains substantially underdiagnosed, because its clinical and imaging phenotype overlaps with more common cardiomyopathies. Definitive subtype assignment and management further require integration of multimodal evidence to distinguish transthyretin from light chain disease. Machine learning and deep learning have been applied across the diagnostic and management pathway. These applications span ECG, echocardiography, and health record-based case finding, as well as CMR and nuclear interpretation, including SPECT/CT biomarker quantification, prognostic modeling, and treatment response assessment. This narrative review synthesizes these studies by clinical tasks, namely screening, detection, quantification, prognosis, and treatment response monitoring, rather than by input modality. This task-based organization clarifies why apparently similar AI models require different cohorts, reference standards, evaluation metrics, and implementation thresholds. The evidence reveals a maturity gradient. Binary detection and AI assisted quantification on bone scintigraphy and SPECT/CT are closest to clinical translation. Detection is supported by large externally validated cohorts, and quantification by interpretable, outcome linked measurement of myocardial tracer burden. By contrast, subtype aware classification, prognostic risk stratification, and treatment response monitoring remain at an early stage. These tasks are limited by small cohorts, enriched retrospective designs, heterogeneous labels, incomplete external validation, and uncertain calibration in realistic prevalence settings. Across tasks, high discrimination alone is insufficient.
arXiv:2607.09962v1 Announce Type: new
Abstract: Automation in industries such as retail, warehousing and logistics presents opportunities for greater throughput, cost reduction and mitigation of disruptions from labour shortages. Previously, such efforts have focused on back-room operations involving packing and sorting in relatively structured environments. With advances in robotic mobile manipulation hardware and foundation models, automation can now be applied to more variable and human-centric environments such as retail store shelves. In this work, we present a task-planning approach using Large Language Models (LLMs) and Vision-Language Models (VLMs) to address the restocking problem in retail scenarios such as supermarkets. We demonstrate this system on a custom omnidirectional mobile manipulation platform, with user-driven prompts and a feedback-based iterative re-planning approach for error correction. The end-to-end system is validated in a PyBullet simulation environment for pick-and-place tasks.
arXiv:2607.09971v1 Announce Type: new
Abstract: Archive-based exploration methods such as Go-Explore select which visited state to return to using visitation rarity, and frontier methods return to the boundary of the unknown; neither asks whether the unexplored region behind a boundary is enterable at all. Exploration is not just about finding reward - it is about collecting a structurally complete experience for downstream learning and planning. We introduce TopoExplore, which augments Go-Explore cell selection with a periodic topological pass: enclosed unexplored regions (voids) of the visited-set occupancy grid are detected by flood fill (the H1 classes of its cubical complex), and a decaying selection bonus is placed only on their strict entrances (gap or door cells), so sealed regions are never targeted and entered regions retire. On a controlled 18-environment MiniGrid suite (15 seeds, frozen hyperparameters) TopoExplore attains a 1.52x geometric-mean speedup in median steps-to-first-entry over its exact Go-Explore ablation, versus 1.37x for a frontier baseline; frontier exploration degrades when sealed decoy structure appears (0.83-1.48x on decoy environments vs. 1.65-2.11x for TopoExplore), while TopoExplore holds its largest win on hard multi-interaction doors (10.9x). We report an honest negative on Montezuma's Revenge - without wall knowledge, unreachable occupancy artifacts capture the bonus and performance degrades as it grows, isolating the wall-aware entrance test as the load-bearing component - and a preliminary positive on HM3D scanned buildings, where the speedup over Go-Explore tracks scene difficulty (r=0.69) even as frontier selection dominates blanket coverage. The evidence supports a deliberately scoped claim: topology-aware selection pays off where enclosed structure must be discriminated, and remains competitive at open coverage, where frontier methods are strongest, despite not being tuned for that regime.
arXiv:2607.11281v1 Announce Type: new
Abstract: Hairstyle transfer aims to synthesize a photorealistic portrait by transplanting the hairstyle from a reference image onto a source subject while preserving the source identity. Recent foundation models show strong generative capability, but they struggle with the zero-shot disentanglement required for precise local editing, often entangling the reference hairstyle with its original identity and pose. Existing diffusion-based pipelines typically decompose the task by first generating a "bald" image from the source and then injecting hairstyle features from the reference. However, we show that this paradigm suffers from a fundamental leakage problem. Identity Leakage in Hairstyle occurs when hairstyle features retain reference identity or pose information, while Flaw Leakage in Bald arises when residual artifacts in the bald image are propagated into the final synthesis. To address both issues, we propose the Dual-Purification Framework (DPF), which introduces two complementary training-time regularizers. Adversarial Hairstyle Purification (AHP) purifies hairstyle features by suppressing identity predictability under a mutual-information-inspired adversarial objective. Contrastive Geometric Purification (CGP) regularizes the ControlNet pathway with a contrastive objective, reducing the model's reliance on geometric artifacts in the bald condition. By jointly purifying the hairstyle representation and geometric pathway, DPF achieves high-fidelity, identity-preserving hairstyle transfer and state-of-the-art performance on diverse benchmarks.
arXiv:2607.10761v1 Announce Type: new
Abstract: Roaming reactions, in which a dissociating fragment moves through a flat region of the potential surface rather than down the minimum-energy path, lie outside the assumptions of conventional transition state theory. The phase-space theory of roaming -- unstable periodic orbits and their invariant manifolds organizing transport -- has been developed for the Chesnavich model of $\mathrm{CH_4^+}\to\mathrm{CH_3^+}+\mathrm{H}$, which is cylindrically symmetric and reduces to two degrees of freedom (2-DoF). We construct and analyze a three-degree-of-freedom (3-DoF) extension. From the rigid-body formulation of Ezra and Wiggins, we break the symmetry with an azimuthal coupling respecting the three-fold ($C_3$) symmetry of the methyl fragment, obtaining a family $H_b$ whose planar reduction at $b=0$ is the 2-DoF model exactly and which is genuinely 3-DoF for $b>0$. This activates the out-of-plane degree of freedom at once: with the physical planar-top inertia ratio $I_z=2I_x$, arbitrarily weak coupling makes the periodic orbit on the roaming shelf transversely unstable, opening an escape route out of the reaction plane. Apart from a narrow elliptic window $0.58\lesssim b\lesssim0.63$, the instability persists across the range studied, changing type through a period-doubling at $b_c\approx0.63$. Because a periodic orbit cannot anchor a dividing surface in three degrees of freedom, we construct the objects that do -- three three-dimensional normally hyperbolic invariant manifolds, one per transition state -- at $b=0$, and prove that every compact interior piece of each persists for sufficiently small $b>0$. At $E=0.5\ \mathrm{kcal\,mol^{-1}}$ the coupling lowers the direct non-reactive fraction of a microcanonical ensemble of incoming trajectories by $0.032$ and raises the two roaming fractions by $0.040$; the effect decreases as the energy increases.
arXiv:2607.11391v1 Announce Type: new
Abstract: High performance in multi-component multiple-precision arithmetic constructed from existing floating-point operations using error-free transformations (EFTs), can be achieved by employing branch-free algorithms that eliminate if-branches. Zhang and Aiken proposed branch-free algorithms for addition and multiplication in double-word(DW), triple-word(TW), and quadruple-word(QW) arithmetic. Among these, we implemented the TW and QW variants, for which substantial performance improvements over existing algorithms can be expected, and demonstrated that they indeed contribute to acceleration. In this paper, we propose new branch-free fused multiply-add operations for DW, TW, and QW arithmetic to achieve further performance improvements, and show through benchmark tests that the proposed operations can enhance performance.
arXiv:2607.09984v1 Announce Type: new
Abstract: We describe details of a formal framework to study the interaction between traffic policers, implemented using phantom queues or token buckets, and any arbitrary congestion control algorithm (CCA). This framework allows network providers to figure out configurations for their traffic policers (phantom queue size, safe rate thresholds, etc.). We also use this framework to describe why CCAs interact differently with a traffic policer compared to traffic shapers.
arXiv:2607.11815v1 Announce Type: cross
Abstract: Characterizing emission and decay time spectra in multi-component fluorescent media is essential for identifying intrinsic material properties and optimizing detectors. However, wavelength evolution from the secondary inner filter effect (IFE) distorts these observable spectra. While Monte Carlo (MC) ray-tracing can simulate this distortion, accumulating adequate tracking statistics requires long computation times, which hinders parameter optimization within high-dimensional spaces. This paper presents an analytical Markovian transport model based on spatiotemporal decoupling. A Laplace transform converts the multi-nested convolution integrals over continuous domains into a discrete Markov transition matrix, reducing the computational complexity from an exponential scale with respect to wavelength bins $N_{\lambda}$ and cascade order $n$, $\mathcal{O}(N_{\lambda}^n)$, to a linear scale, $\mathcal{O}(N_{\lambda} + n)$. The resulting algebraic solutions evaluate transient decay time spectra as a continuum superposition of Gamma wave packets and predict steady-state wavelength spectrum distortions driven by the IFE within a sub-second timescale. Validations across orthogonal and front-face spectrometer configurations show that the calculated spectra match MC simulations in lineshape. This model can serve as a fast forward engine to accelerate parameter space screening, provide early-stage detector design references, and act as a physics-constrained input for event vertex reconstruction algorithms.
arXiv:2607.10450v1 Announce Type: new
Abstract: Earthquake phase association, which groups seismic phase arrivals into common origins, is a key step towards more complete and reliable seismicity catalogs. It has become a challenging task because of the massive phase datasets produced from dense seismic networks and advanced phase picking methods. Here we present VORA (Voronoi tessellation- and Origin-time-based Rapid Associator), an efficient and scalable earthquake phase associator that treats association as an unsupervised spatio-temporal clustering problem. Specifically, VORA depends on two primary constraints: the estimated earthquake origin time (temporal) and seismic station adjacency (spatial). Recent advances in deep learning models have enabled detection of S- and P-phases with similar effectiveness, making it straightforward to estimate corresponding earthquake origin times from candidate phase pairs given a prescribed range of velocity ratios or directly from raw waveforms. We then leverage the Voronoi diagram to define each station's neighbors, cluster the origin times across neighboring stations, and apply an optional sub-clustering step to separate overlapping events. Benchmarks on synthetic and real datasets show that VORA achieves the fastest runtime and maintains robust performance (high recall and precision) even under intense seismicity. Applying it to a two-week global-scale pick dataset covering the 2019 Ridgecrest earthquake sequence further demonstrates that the same framework scales from local networks to a global station set. VORA requires no training and generalizes across local-to-global regions, varying velocity models, and evolving network geometries, helping to meet the growing demands of expanding seismic networks and the increasing volume of automated phase picks.
arXiv:2607.10680v1 Announce Type: new
Abstract: We obtain a Wei-type duality between the footprint bound and the dual footprint bound for the generalized Hamming weights of an evaluation code. This duality applies between the Andersen-Geil and Feng-Rao bounds as well. We also prove that the footprint and dual footprint bounds cannot be used to guarantee the asymptotic goodness of a family of evaluation codes.
The Dielectric Bowtie Effect: Classical Electromagnetic Edge Singularities in Subwavelength Cavities
arXiv:2607.11613v1 Announce Type: new
Abstract: Dielectric bowtie nanocavities can concentrate light into subwavelength regions without the ohmic losses of plasmonic metals. We show that this enhancement is the finite-geometry realization of a classical electromagnetic edge singularity. Unlike an isolated dielectric wedge, the scaling in a bowtie is governed by an exponent determined by a collective four-sector singularity. In a finite structure, this scale-free singular field is regularized by the gap size, while the bowtie length sets the outer scale. The tip radius, gap, and bowtie length therefore play distinct physical roles: curvature cuts off the local wedge singularity, the gap cuts off the collective bowtie singularity, and the outer length sets the range over which the field can build up. Electrostatic simulations confirm the predicted scaling laws, while three-dimensional quasinormal-mode simulations show how the same near-field mechanism is accessed and limited by realistic dielectric nanocavities.
arXiv:2607.11565v1 Announce Type: new
Abstract: Active flow control involves nonlinear dynamics, partial observations, and computationally expensive simulations, making controller design particularly challenging. Deep reinforcement learning (DRL) has emerged as a powerful framework for such problems, but its success typically relies on large numbers of simulator interactions and produces neural-network policies whose decision process often remains difficult to interpret. In this work, we investigate a different paradigm: instead of optimizing neural-network parameters, we use modern coding agents to search directly for explicit executable feedback laws. We introduce a constrained heuristic-learning protocol in which an agent iteratively proposes, evaluates, and revises controller implementations while interacting exclusively through the public benchmark interface. The proposed framework is evaluated on 13 active flow-control benchmarks spanning one, two, and three-dimensional problems and compared against the strongest available DRL baselines under identical simulation budgets. The discovered heuristic controllers match or outperform the best DRL policy in 10 of the 13 environments while remaining compact, interpretable, and directly inspectable. Beyond aggregate performance, the resulting controllers reveal physically meaningful feedback mechanisms, transfer successfully across more challenging configurations, and remain competitive under varying Reynolds and Rayleigh numbers, actuator counts, and observation sparsity. These results suggest that heuristic learning through coding agents constitutes a credible and complementary alternative to conventional reinforcement learning, combining competitive performance with physically interpretable controller representations. Prompts and source code are available at https://github.com/DonsetPG/fluid-heuristic-learning.
arXiv:2606.21131v1 Announce Type: cross
Abstract: Salt fingering drives diapycnal scalar exchange across thermohaline interfaces that are statically stable but double-diffusively unstable. Oceanic interfaces are finite-depth structures and may carry roughness inherited from waves, shear, intrusions, or prior mixing. We test how the horizontal spectrum of that roughness controls the route from a two-layer interface to a finite-depth salt-finger plume forest. Direct simulations of the modeled Boussinesq equations are performed at $\mathrm{Pr}=7$, $\tau=0.01$, and $\mathrm{R}_\rho=1.2$, with matched domain, grid, amplitude, boundary treatment, and analysis measures. The imposed spectra are high-annulus, low-mode, and mixed; a second mixed realization tests robustness.
The imposed spectrum selects distinct routes to vertical exchange. High-annulus roughness remains compact and branch-locked through $t=60$, without a tracked broad-branch transition. Low-mode roughness begins on the broad branch, produces the strongest salinity transport at $t=45$, and reaches the finite-depth boundary region first. Mixed roughness follows a velocity-led pathway: vertical velocity selects the broad branch before salinity, while salinity develops the richest planform spectral population. At $t=45$, the mixed salinity effective mode count is $86.66$, compared with $3.26$ for high-annulus forcing and $5.46$ for low-mode forcing. Angular and signed-branch measures show branch-dependent diagonal organization, and probe/volume measures show that local plume-passage asymmetry does not imply large global upper/lower imbalance. The replicate preserves the mixed route with shifted transition times. Thus a finite-depth thermohaline interface can retain spectral memory, controlling whether salt-finger mixing remains localized, penetrates rapidly, or forms a scalar-rich plume forest through delayed modal handoff.
arXiv:2407.06150v4 Announce Type: replace
Abstract: Most novel view synthesis methods -- including Neural Radiance Fields (NeRF) -- struggle to capture the high dynamic range (HDR) radiance required for realistic image-based lighting (IBL). This limitation stems from a reliance on low dynamic range (LDR) imagery, which fails to capture the intensity of light sources found in indoor environments. While exposure bracketing can recover this range, it is often too slow for practical, large-scale acquisition. In this work, we introduce PanDORA: PANoramic Dual-Observer Radiance Acquisition, a system specifically designed for the fast and affordable capture of high-quality HDR radiance maps for IBL. Our approach utilizes two 360{\deg} cameras mounted on a portable monopod to simultaneously record videos at different exposures. These videos are processed by our proposed two-stage NeRF-based algorithm featuring a novel self-calibrating pipeline to estimate camera parameters. This pipeline produces non-saturated HDR radiance fields that accurately capture the radiance of a scene. When evaluated on a new dataset of real indoor environments featuring HDR ground truth lighting, PanDORA demonstrates superior fidelity in reconstructing the peak intensities necessary for downstream rendering tasks, providing a scalable and efficient solution for capturing real-world IBLs.
arXiv:2602.22867v2 Announce Type: replace
Abstract: Panoramic dense-prediction models, spanning semantic segmentation and depth estimation, are typically trained under a strict gravity-aligned assumption. Real-world captures, however, routinely violate it: handheld devices jitter and aerial platforms change attitude, so the camera is rarely upright. Under such 3D reorientation, standard spherical Transformers overfit global latitude cues and collapse. We introduce SO3UFormer, an architecture that learns intrinsic spherical features largely decoupled from the underlying coordinate frame, through three geometric components: (1) removing absolute latitude encoding, which breaks the dependence on the gravity axis; (2) quadrature-consistent spherical attention, which corrects for non-uniform sampling density; and (3) a gauge-aware relative positional bias built from local tangent-plane angles rather than global axes. A logit-space \emph{SO(3)}-consistency regularizer, used only during training, further suppresses residual discretization effects. To benchmark robustness, we introduce Pose35, a variant of Stanford2D3D perturbed by random rotations within $\pm 35^\circ$, and evaluate under a full, arbitrary \emph{SO(3)} stress test. There, the baseline SphereUFormer collapses from 67.53 \emph{mIoU} on Pose35 to 25.26 under the full \emph{SO(3)} test, whereas SO3UFormer reaches 72.03 on Pose35 and retains 70.67 under the same test. Similarly, on a second real-world dataset (Matterport3D) for segmentation and on panoramic depth estimation, SO3UFormer remains essentially rotation-invariant while the gravity-anchored baseline again loses most of its accuracy. Code and models are available at https://github.com/zhuqinfeng1999/SO3UFormer.
arXiv:2409.19716v2 Announce Type: replace
Abstract: Constrained Reinforcement Learning (RL) has emerged as a significant research area within RL, where integrating constraints with rewards is crucial for enhancing safety and performance across diverse control tasks. In the context of heating systems in the buildings, optimizing the energy efficiency while maintaining the residents' thermal comfort can be intuitively formulated as a constrained optimization problem. However, to solve it with RL may require large amount of data. Therefore, an accurate and versatile simulator is favored. In this paper, we propose a novel building simulator I4B which provides interfaces for different usages and apply a model-free constrained RL algorithm named constrained Soft Actor-Critic with Linear Smoothed Log Barrier function (CSAC-LB) to the heating optimization problem. Benchmarking against baseline algorithms demonstrates CSAC-LB's efficiency in data exploration, constraint satisfaction and performance.
arXiv:2607.11166v1 Announce Type: new
Abstract: A thematic corpus is a collection of semantically coherent documents that collectively describe different aspects of a shared thematic event. Such a corpus typically contains hundreds or even thousands of documents. While users' interests in a thematic event often span multiple dimensions, Query-Focused Summarization (QFS) aims to generate summaries tailored to users' queries. However, existing QFS datasets lack event-oriented summarization, and most QFS methods struggle with large-scale corpora. To address these challenges, we propose the Query-Focused Event Summarization (QFES) task and construct the QFESum dataset, which contains 8 thematic events, 16,684 documents, and 104 queries. Furthermore, we introduce a two-stage QFES framework consisting of Query-Focused Retrieval with Adaptive Thresholding (RAT) and Query-Focused Summarization based on Hierarchical Clustering (SHC). Experimental results on QFESum show that RAT and SHC consistently outperform the baselines, demonstrating their effectiveness for QFES. The dataset and code are publicly available at https://github.com/sarcasm-hcy02/QFES-QFESum.
arXiv:2509.19129v2 Announce Type: replace
Abstract: We introduce KAMERA: a comprehensive system for multi-camera, multi-spectral synchronization and real-time detection of seals and polar bears. Utilized in aerial surveys for ice-associated seals in the Bering, Chukchi, and Beaufort seas around Alaska, KAMERA provides up to an 80% reduction in dataset processing time over previous methods. Our rigorous calibration and hardware synchronization enable using multiple spectra for object detection. All collected data are annotated with metadata so they can be easily referenced later. All imagery and animal detections from a survey are mapped onto a world plane for accurate surveyed area estimates and quick assessment of survey results. We hope KAMERA will inspire other mapping and detection efforts in the scientific community, with all software, models, and schematics fully open-sourced.
arXiv:2607.10075v1 Announce Type: new
Abstract: We study the well-known load balancing problem in the distributed CONGEST model of computation. We consider the unrelated machines setting, where each job $j$ specifies a size $s_{ij}$ for every machine $i$. We want to find an assignment $\varphi: J \to M$ minimizing the maximum machine load, where the load of a machine $i$ is the total size of the jobs assigned to it.
In the CONGEST model, the state-of-the-art is an algorithm that runs in polylog rounds and returns a $(1+\varepsilon)$-approximate fractional solution from Ahmadian, Liu, Peng, and Zadimoghaddam (2021). However, this algorithm, as well as all previous CONGEST algorithms only solve a special case of load balancing, where each job has the same size on each machine.
Our main contribution is an algorithm for general sizes $s_{ij}$. The algorithm computes a $(1+\varepsilon)$-approximate fractional solution or a $(2+\varepsilon)$-approximate integral solution in polylog rounds. The problem structure changes significantly once we allow arbitrary edge-sizes, so our techniques are very different from those used in previous algorithms for distributed load balancing.
One ingredient of our result is a black-box tool of independent interest: a $(1+\varepsilon)$-approximation algorithm to arbitrary mixed packing-covering linear programs in the CONGEST model in polylog rounds. such algorithms were known in the more powerful parallel model, but previous polylog-round algorithms in the distributed CONGEST model only solved pure packing or pure covering problems. We improve upon a recent $O(D\,\mathrm{polylog})$-round CONGEST algorithm for mixed packing-covering, where $D$ is the diameter of the communication graph.
arXiv:2607.11644v1 Announce Type: new
Abstract: This work explores the motion transfer from one video to another, which is crucial in animation for diverse characters. Previously, video motion transfer has been largely explored between human and human-like characters, enabling a lot of applications in digital creation. However, these approaches encounter a main limitation. Specifically, related technical pipelines heavily rely on a predefined human skeleton structure and accordingly require skeleton-conditional model training. On the one hand, these methods are difficult to generalize to diverse characters, such as animals from different species, while preserving their unique motion styles. On the other hand, labeled data in diverse skeletons is limited, which additionally restricts the large-scale training for the task. In this paper, we jump out of the skeleton-based motion transfer framework and propose a training-free motion transfer framework, named Motion4Motion. Motion4Motionmodels the motion flow of the character in a video instead of skeletons, which makes motion transfer across species easier. Extensive experimental results and novel applications show our methods outperform baselines impressively. Project page is available at https://lhchen.top/Motion4Motion.
arXiv:2607.11649v1 Announce Type: new
Abstract: Network-based anomaly detection for IoT devices has matured to the point of reporting strong detection accuracy, yet most published systems stop at raising an alert and leave the question of automated enforcement to future work or to a programmable data plane that few real networks operate. This paper presents an access-control architecture that closes that loop using only standard, already-deployed protocols. Devices authenticate via IEEE 802.1X with EAP-TLS, and a RADIUS server acts as a continuous policy decision point capable of evicting an active session via a Change-of-Authorization Disconnect-Request and permanently excluding a device through certificate revocation. A central, contextual access policy engine continuously consumes the anomaly detector's output and actuates this response over a narrowly restricted channel to the RADIUS server; the same engine is designed to be extensible to other access types, though this paper evaluates only the network access-control mechanism. This mechanism is driven by an anomaly signal from a one-class detector adapted from a prior MUD/SDN-based design, replacing its per-flow multi-model pipeline with passive traffic capture and a single fused model that combines a cluster-based, a volumetric, and a protocol-signature score. On a single testbed device, the detector reaches an AUC of 0.9964 and detects all 24 evaluated attack scenarios (eight attack types at three intensities) using roughly 43$\times$ less training data than the reference design, and the resulting alerts reliably trigger the automated disconnect-then-revoke response, which we measure to evict a device from the network in 335.8\,ms on average and complete certificate revocation in a further 111.5\,ms. We report this evaluation as a demonstration of the closed-loop architecture rather than of the detector itself, and discuss multi-device generalization as a concrete next step.
Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
arXiv:2410.17463v5 Announce Type: replace
Abstract: A system $\boldsymbol\lambda_{\theta}$ is developed that combines modal logic and simply-typed lambda calculus, and that generalizes the system studied by Montague and Gallin. Whereas Montague and Gallin worked with Church's simple theory of types, the system $\boldsymbol\lambda_{\theta}$ is developed in the typed base theory most commonly used today, namely the simply-typed lambda calculus. Further, the system $\boldsymbol\lambda_{\theta}$ is controlled by a parameter $\theta$ which allows more options for state types and state variables than is present in Montague and Gallin. A main goal of the paper is to establish some basic metatheory of $\boldsymbol\lambda_{\theta}$: (i) an Andrews-like characterization of its models in terms of combinatory logic is given, and this combinatory logic involves a $\mathsf{BCKW}$-like basis rather than an $\mathsf{SKI}$-like basis and (ii) semantic conservation and expressibility results relating $\boldsymbol\lambda_{\theta}$ to the maximal system $\boldsymbol\lambda_{\omega}$ are proven. Similar results are proven for the relation between $\boldsymbol\lambda_{\omega}$ and $\boldsymbol\lambda$, the corresponding ordinary simply-typed lambda calculus. This answers a question of Zimmermann in the semantics of the simply typed setting. In a companion paper this is extended to Church's simple theory of types. We further develop a partial correspondence between a pure combinatory logic centered on the $\mathsf{BCKW}$-like basis and the weak deductive system for $\boldsymbol\lambda_{\omega}$ wherein $\beta$-reduction is not allowed under a lambda abstract, and we use this to show partial deductive conservation between the maximal system $\boldsymbol\lambda_{\omega}$ and the intermediary systems $\boldsymbol\lambda_{\theta}$.