arXiv:2607.06464v1 Announce Type: new
Abstract: Automated progress monitoring on construction sites is an active area of research and development. Robot and human-carried mapping systems have been developed to build 3D maps of building and infrastructure projects. While LiDAR-based mapping systems achieve high accuracy, the cost of LiDAR can be prohibitive. Consumer-grade cameras with wide field of view ("360 cameras") combined with embedded inertial measurement units (IMUs) provide a cost-effective alternative. To support change detection and progress monitoring, highly accurate visual Simultaneous Localization and Mapping (SLAM) and floor plan-referenced localization systems are required. In this paper we present a high-quality dataset collected at an active construction site, which captures realistic challenges such as variable lighting conditions, moving workers, fast motions, and repetitive structures. The dataset offers thirty visual-inertial sequences recorded across seven floors over an eight-month period of the construction project. Ground truth trajectories were collected using a high quality LiDAR-inertial SLAM system rigidly attached to the 360 camera. Additionally, we report the results of an open research challenge evaluating the best visual SLAM and localization systems from around the world. The Challenge attracted substantially higher participation in SLAM, with 62 teams compared to 22 in floor-plan-referenced localization, reflecting the broader maturity of SLAM methods. The higher errors in localization further highlight the difficulty of this task in construction and point to the need for continued research, which this dataset is intended to support. The dataset and the benchmark are publicly available at: https://hilti-trimble-challenge.com/dataset-2026.
Science Journals
arXiv:2607.05753v1 Announce Type: new
Abstract: Compact representations of rarefied flows must preserve kinetic observables, not only smooth macroscopic fields. We introduce Gaussian kinetic representations for discrete velocity method (DVM)-Shakhov solutions of normal shocks and a lid-driven cavity. A positive log-density phase-space model reconstructs shock velocity distribution functions (VDFs) and their moments, while a moment-field model compresses wall-bounded cavity structure. Log-density training recovers heat flux, stress, and third- and fourth-order shock moments without explicit moment supervision; the cavity representation gives a compact continuous wall-transport map.
arXiv:2607.05769v1 Announce Type: new
Abstract: We propose a novel pipeline, Legato 2, for extracting symbolic notation and semantic knowledge from images of sheet music. Legato 2 features the first large-scale neural model for optical music recognition (OMR) to operate sequentially on a system-by-system basis, following the horizontal lines of notation as they are read on the page, rather than treating the page as an undifferentiated image, enabling better scaling to arbitrarily long inputs. It is also the first OMR model capable of generating symbolic transcriptions that include embedded textual content, such as titles and annotations. The pipeline combines system-level segmentation with an autoregressive vision-LM to capture both local notation details and score structure. Across multiple datasets, Legato 2 consistently outperforms prior state of the art. We also show that symbolic transcriptions complement visual inputs for frontier language models, improving their interpretation of dense musical documents. Legato 2 establishes new state-of-the-art performance in both OMR and downstream sheet music understanding.
arXiv:2607.06115v1 Announce Type: new
Abstract: In next-generation networks, communication systems will no longer be limited to data transmission and will be expected to acquire awareness of the surrounding environment. This leads to the concept of integrated sensing and communication (ISAC), where the same wireless infrastructure is used for both communication and environmental sensing. Thus, ISAC enables the system to transmit information efficiently and observe and interpret channel variations and user behavior. Motivated by this capability, this work focuses on detecting an active attacker in an urban environment scenario, where the attacker intentionally manipulates beamforming directions to increase interference and mislead the transmitter into allocating the main lobe of beam toward itself instead of legitimate users. We apply game-theoretic approaches to model the interaction between legitimate users and the attacker, and integrate the resulting utility-based formulation into a reinforcement learning (RL) framework. Simulation results demonstrate that the proposed method effectively addresses security challenges in dynamic 6G ISAC systems.
arXiv:2604.05543v2 Announce Type: replace
Abstract: Multivariate time series forecasting often struggles to capture long-range dependencies due to fixed lookback windows. Retrieval-augmented forecasting addresses this by retrieving historical segments from memory, but existing approaches rely on a channel-agnostic strategy that applies the same references to all variables. This neglects inter-variable heterogeneity, where different channels exhibit distinct periodicities and spectral profiles. We propose CRAFT (Channel-wise retrieval-augmented forecasting), a novel framework that performs retrieval independently for each channel. To ensure efficiency, CRAFT adopts a two-stage pipeline: a sparse relation graph constructed in the time domain prunes irrelevant candidates, and spectral similarity in the frequency domain ranks references, emphasizing dominant periodic components while suppressing noise. Experiments on seven public benchmarks demonstrate that CRAFT outperforms state-of-the-art forecasting baselines, achieving superior accuracy with practical inference efficiency.
arXiv:2604.25301v2 Announce Type: replace
Abstract: Job-scheduling games have traditionally assumed fixed processing times. However, in many realistic environments, ranging from cyber-security response to high-frequency trading, a task's duration depends on its starting time. We study job-scheduling games with time-dependent processing times, where job lengths are linear functions of their start times, exhibiting either positive deterioration (increasing length) or negative deterioration (decreasing length). We analyze these games under various coordination mechanisms and priority policies. By introducing the concept of delay-averse agents, we provide a unifying framework to characterize equilibrium existence. For delay-averse jobs, we show that stability is maintained and pure Nash equilibria (NE) can be computed efficiently. In contrast, for non-delay-averse jobs, we demonstrate that a NE may not exist, and prove that deciding its existence is NP-complete, even on identical machines - a fundamental departure from classical coordination mechanisms.
Regarding equilibrium inefficiency, we show that the Price of Anarchy (PoA) can be significantly higher than in environments with fixed processing times. To mitigate this, we propose and analyze three coordination mechanisms: SBPT (Shortest Basic Processing Time), which reduces the PoA in games with positive deterioration to a constant, and SDR (Smallest Deterioration Rate) and LBDR (Largest Basic-Deterioration Ratio) for negative deterioration, which achieve tight constant PoA bounds of $2$ and $\max\{\frac{e}{e-1}, 2-\frac{1}{m}\}$, respectively. Our results bridge the gap between centralized time-dependent scheduling and decentralized game-theoretic analysis.
arXiv:2607.06531v1 Announce Type: new
Abstract: - Objective: Multimodal deep learning models in oncology are currently limited by monolithic designs that rigidly couple data ingestion, clinical routing, and artificial intelligence (AI) inference. To address this inflexibility, we propose the Large Cancer Assistant (LCA), a model-agnostic, post-hoc orchestration framework designed for scalable clinical decision support. - Methods: The LCA is mathematically formalized as a 7-tuple architecture grounded in the principle of Algorithmic Impermeability, ensuring the orchestration logic remains strictly independent of underlying black-box AI models. We introduce the Entry Theory, leveraging Geometric Deep Learning (GDL) to standardize multimodal patient data along distinct structural and medical axes. The system dynamically orchestrates data via a Cancer Switching Module and intentionally isolates the core AI execution from volatile hospital IT infrastructures by outputting a Standardized Intermediate Payload (SIP). - Results: A Proof of Concept (PoC) validated the orchestration logic across four technical scenarios. The framework executed a nominal flow with negligible orchestration overhead. It empirically demonstrated algorithmic impermeability by maintaining an invariant routing projection during AI model swaps, and it validated strict failure-safety by achieving a 100\% recall rate in generating targeted Supplementary Data Requests (SDR) under injected data anomalies. Multi-protocol execution capability was also successfully verified. - Conclusion: By structurally decoupling multimodal ingestion from feature inference, the LCA provides a highly adaptable and modular orchestration foundation. The SIP establishes a clear architectural boundary, natively setting the stage for downstream Electronic Medical Record (EMR) interoperability as an independent future paradigm.
arXiv:2604.11290v2 Announce Type: replace
Abstract: Synthesizing supervised finetuning (SFT) data from language models (LMs) to teach smaller models multilingual tasks has become increasingly common. However, teacher model selection is often ad hoc, typically defaulting to the largest available option, even though such models may have significant capability gaps in non-English languages. This practice can result in poor-quality synthetic data and suboptimal student downstream performance. In this work, we systematically characterize what makes an effective multilingual teacher. We measure intrinsic measures of data quality with extrinsic student model performance in a metric we call Polyglot Score; evaluating 10 LMs across 6 typologically diverse languages, generating over 1.4M SFT examples and training 240 student models. Among the models tested, Gemma 3 27B and Aya Expanse 32B emerge as consistently effective teachers across different student base model families. Further analyses reveal that model scale alone does not significantly predict teacher effectiveness; instead, data qualities such as prompt diversity, length, and response fluency capture over 93.3% of variance in intrinsic data quality and predict student performance. Finally, we provide practical recommendations, including matching the model families of teacher-student pairs and translating from or responding to existing prompts, which can yield improvements for less-resourced languages. We hope that our work advances data-centric research in multilingual synthetic data and LM development.
arXiv:2605.13362v3 Announce Type: replace
Abstract: Computational social choice and algorithmic decision theory offer rich aggregation theory but no end-to-end process for egalitarian self-governance: aggregation, deliberation, amendment, and consensus are each considered in isolation, with key metric-space aggregators being NP-hard.
Here, we propose \emph{constitutional governance in metric spaces}, integrating these stages into a protocol for constitutional governance. A community's \emph{legal corpus} comprises its \emph{laws} together with a \emph{constitution}, each being a point in a metric space, with the constitution specifying the supermajority threshold required to amend it. Members vote to amend the legal corpus by proposing their ideal points, followed by rounds of submitting \emph{public proposals} carrying \emph{supermajority public support}; a polynomial-time \emph{aggregation rule} scores each proposal, and a supported proposal whose score is positive and maximal for two rounds is adopted; if none is found the status quo is retained. Public proposals can be sourced from deliberation, vote aggregation, or AI mediation. With Constitutional Consensus, a community can run the constitutional governance protocol on members' personal computing devices (e.g., smartphones), achieving digital sovereignty.
By drawing on metric-space aggregation, reality-aware social choice, supermajority amendment, constitutional consensus, deliberative coalition formation, and AI mediation, we provide a comprehensive framework for the constitutional governance of digital communities and organisations.
arXiv:2607.06118v1 Announce Type: new
Abstract: As web agents increasingly demonstrate capabilities in automated task execution, the development of robust evaluation frameworks for assessing their navigation and task completion performance has emerged as a critical research priority. However, existing benchmarks exhibit fundamental limitations. First, they suffer from insufficient scale and limited domain diversity, constraining comprehensive evaluation of cross-domain generalization. Second, prevailing LLM-as-Judge evaluation methodologies inadequately capture fine-grained interaction semantics, particularly regarding precise query formulation and filtering operations. Third, current benchmarks predominantly emphasize navigation success metrics while neglecting critical requirements for real-world deployment scenarios. To address these limitations, we introduce WebRetriever, a large-scale benchmark encompassing 800 websites and 1,550 tasks across diverse domains, including consumer, professional, and enterprise sectors, with comprehensive coverage of user intent patterns. We propose NavEval (Navigation Evaluation), a novel LLM-as-Judge framework that leverages rich interaction context beyond visual screenshots, achieving state-of-the-art alignment with human judgment across multiple evaluation datasets. Furthermore, we establish three complementary evaluation protocols that collectively provide holistic assessment of web agent capabilities: navigation proficiency, knowledge-assisted interaction, and end-to-end task completion with information extraction. Extensive experimental analysis reveals substantial performance disparities across evaluation protocols, demonstrating that navigation success alone is an insufficient predictor of real-world application effectiveness. WebRetriever delivers fine-grained diagnostic insights into agent capabilities and establishes a rigorous foundation for advancing web agent research and development.
arXiv:2607.06153v1 Announce Type: new
Abstract: A proportional wealth tax acts as a uniform gravitational field on the wealth distribution: it shifts the drift of the Fokker-Planck equation without altering the diffusion, preserving the Gini coefficient at all finite times. The same drift-shift symmetry that makes the tax non-distortionary also makes it non-redistributive through the market channel. Redistribution requires breaking this symmetry. A progressive tax (confining potential) replaces the Pareto steady state with a thinner-tailed distribution whose Gini is a closed-form function of the progressivity parameter; source-sink terms (tax-funded transfers) reshape the density directly.
We formulate optimal redistribution as a control problem for the Fokker-Planck equation, penalising intervention costs including migration, evasion, and portfolio distortion. In general equilibrium the tax design feeds back through aggregate capital and the production function, yielding a self-consistent McKean-Vlasov equation with diminishing returns to progressivity. The spectral gap of the Fokker-Planck operator determines convergence speed: progressive taxes redistribute within policy-relevant timescales, whereas proportional taxes rely on slow demographic turnover.
arXiv:2607.06516v1 Announce Type: new
Abstract: Evaluating end-to-end autonomous driving (E2E-AD) remains challenging, as existing driving simulation methods often trade off closed-loop interactivity (e.g., CARLA) and real-world visual fidelity (e.g., nuScenes). We present \textbf{\emph{Point as Skeleton}}, a generative sensor simulation framework for state-updated autoregressive driving video generation, in which an autoregressive generator synthesizes visual observations from step-wise updated ego states, actor states, scene maps, and point-cloud skeleton conditions. To support closed-loop rollout, we introduce Reset-and-Roll, which adapts rolling diffusion inference to simulation by preventing future-conditioned latent states from being committed across simulation steps. To stabilize error accumulation during step-wise autoregressive rollout, we introduce point-cloud skeletons that decouple foreground and background assets and project them into camera-view painted-point and template-depth conditions, providing appearance and geometric cues. We further implement a nuPlan-based renderer-level closed-loop generative interface for evaluating generation under ego deviations from the original log. Experiments on nuScenes and nuPlan show that \textit{Point as Skeleton} improves autoregressive generation quality during closed-loop rollout, demonstrating its potential for visually faithful closed-loop driving simulation. The code is available at https://github.com/krauwu/point-as-skeleton.
arXiv:2607.06519v1 Announce Type: new
Abstract: Long-context LLM inference is increasingly limited by the memory and bandwidth cost of KV caches, yet aggressive compression can remove the layer-specific evidence needed for retrieval and multi-step reasoning. We introduce FreqDepthKV, an inference-time cache compression method that factorizes adjacent-layer KV states into shared low-frequency depth components and sparse high-frequency residuals. A lightweight online probe assigns attention heads to shared-depth, residual-depth, or exact cache modes according to their contribution to reconstruction-sensitive attention logits, allowing the compression policy to adapt to prompt structure without retraining. Across long-context question answering, needle retrieval, summarization, and code generation benchmarks, FreqDepthKV preserves task accuracy under substantially smaller cache budgets. With a 32k-token prefill window, FreqDepthKV reaches 58.3 Exact Match, 63.0 F1, 32.5 ROUGE-L, and 48.1 pass@1, closely matching full KV while outperforming prior compressed-cache methods. It also improves decoding throughput to 70.4 tokens/s, reduces TTFT to 2.06 seconds, and lowers peak KV memory to 6.2 GB, achieving a 3.9x effective compression ratio.
arXiv:2604.08919v2 Announce Type: replace-cross
Abstract: The Lucas sequences are integers defined by a homogeneous recurrence relation. They include the well-known Fibonacci numbers, which appear abundantly in nature. The complementary Lucas numbers, defined by the same recurrence relation, are less well-known. In this work, we show that such complementary Lucas sequences can be observed simultaneously on the same physical platform, using zero modes in one-dimensional system(s) coupled to a non-Hermitian reservoir. When the latter consists solely of gain and loss modulated non-Hermiticity, the two Lucas sequences can manifest as a linearly localized edge state and a constant-intensity mode, respectively. When the reservoir features asymmetric couplings as well, more general Lucas sequences can be realized either directly on one sublattice in the reservoir or by reconstructing the wave function on both sublattices. Finally, if we allow, in addition, an alternate frequency detuning in the reservoir, all Lucas sequences can be observed in principle, including the Fibonacci and Lucas numbers.
arXiv:2607.06276v1 Announce Type: new
Abstract: This paper considers kernel-based approximation methods for nonlinear partial differential equations. To this end, the problem is formulated as an optimal-recovery generalized interpolation problem, that is, as an optimization problem in an RKHS with nonlinear functional constraints. This formulation provides the basis for a convergence analysis carried out directly in the RKHS and extends existing results by relaxing the uniqueness assumption on the PDE solution. In the nonunique case, the limiting object is characterized as a minimum-norm solution. Furthermore, a residual-greedy strategy for adaptive collocation point selection is proposed, and convergence of the resulting sequence of generalized interpolants is established. Numerical experiments for a stationary nonlinear heat equation illustrate the method and indicate that residual-greedy point selection can lead to markedly smaller PDE residuals than point sets selected according to fill-distance criteria.
arXiv:2607.06550v1 Announce Type: new
Abstract: A combinatorial game is a deterministic game with no hidden information played between two opponents such as tic-tac-toe, checkers or chess. In this paper we extend combinatorial games to the quantum setting, by first revisiting and reformulating existing theory of classical combinatorial games. We investigate in which case a quantum opponent has an advantage over a classical one. Surprisingly, our instantiation of Zermelo's classical theorem in the quantum setting shows that the effects of quantum mechanics do not convey an advantage against a classical player that plays a perfect classical strategy. In a more realistic scenario, when the classical player makes mistakes, we show how the quantum opponent can amplify the mistake to increase their chance of winning. Our theory has application beyond the mere playing of board games and can be used as a tool in finite deterministic adversarial models with perfect information.
arXiv:2607.06509v1 Announce Type: new
Abstract: Smart glasses maintain near-continuous skin contact at multiple arterial and muscular sites, making them a promising platform for physiological sensing. In practice, though, two factors make sustained daily wear and longitudinal deployment impractical for the quantified self: the discomfort of prolonged sensor-skin contact (e.g., gels and adhesives) and the sensor power demands that increase battery size, weight, and maintenance burden. We present GlassTENG, an ultra-low-power sensor that embeds three custom-fabricated triboelectric nanogenerators (TENGs) into a glasses frame at the angular artery on the nasal bridge, the superficial temporal artery on an extended arm, and the temporalis muscle at the temple. Each GlassTENG sensor is self-powered in transducing mechanical energy to electrical energy and consumes 1.36 $\mu$W per sensor at the analog front-end. GlassTENG enables simultaneous capture of arterial pulse waveforms, jaw kinematics (e.g., clenching, tapping, eating), and upper facial activity (e.g., blinking, eyebrow movement). In a 20-participant user study, we achieve 93.8% accuracy across six jaw and upper facial activities and estimate heart rate with a mean absolute error of 1.82 beats per minute (BPM) relative to a ground-truth chest-strap sensor in 30s windows. Together, these results establish a future pathway toward a longitudinally worn, ultra-low-power, glasses-based physiological monitoring platform.
arXiv:2607.06383v1 Announce Type: new
Abstract: Wheelchair users call for assistive mobility systems that provide active support, adapt to dynamic environments, and are intuitive and user-friendly. However, powered wheelchairs typically still provide limited autonomy and lack effective integration with advanced perception and navigation capabilities, particularly in complex real-world environments. This paper presents a preliminary study toward autonomous powered wheelchairs for real-world assistive mobility. We introduce a proof-of-concept prototype that integrates autonomous perception, gesture-based interaction, and navigation on a commercially available self-balancing powered wheelchair. The proposed system builds upon Genny Zero, a commercial self-balancing wheelchair that enables hands-free and intuitive operation through body-weight shifting. To extend its capabilities toward autonomous operation, we integrate an RGB-D camera for human-aware perception and interaction, together with a LiDAR sensor for localization and navigation. We demonstrate the integrated system in two assistive applications: (i) hailing, allowing users to call the wheelchair from a distance; and (ii) people-following, where the wheelchair follows a person using leader-follower strategies, including a constrained indoor navigation example. The results highlight the potential of combining autonomous robotics with assistive mobility platforms, while also showing the feasibility of the proposed integration and identifying the main technical challenges that must be addressed before moving toward user-ready, accessible, and intelligent mobility solutions. A video demonstrating the experimental setup and results is available at: https://youtu.be/LVAix_Qx7bM.
arXiv:2604.19487v3 Announce Type: replace
Abstract: As IPv6 deployment accelerates, understanding the evolving security posture of network peripheries becomes increasingly important. A DSN 2021 study first explored IPv6 network peripheries, but its scope was limited to three regions and is now outdated. In this paper, we revisit and expand that work through a global-scale measurement and security analysis of IPv6 network peripheries. To support efficient large-scale scanning, we propose a novel Response-Guided Prefix Selection (RGPS) strategy to identify high-value IPv6 prefixes for probing. Our measurement covers 73 countries/regions and identifies over 281.9M active IPv6 network peripheries, including a 364.8% increase over the 2021 baseline in India, China, and America. We further analyze exposed services and find that 2.5% of devices expose at least one measured service, with recurring software vulnerabilities indicated by version-to-CVE mappings. As a case study of emerging exposed services, we design a Hierarchical LLM Exposure Verification (HLEV) framework to identify unauthorized-access risks in LLM deployment tools. Finally, we revisit routing loop vulnerabilities and identify 4.5M loop-prone devices, showing that flawed routing behaviors remain widespread. These findings indicate that although IPv6 adoption has surged, key security challenges persist across network peripheries.
arXiv:2605.14152v2 Announce Type: replace
Abstract: Safety evaluations for large language models (LLMs) increasingly target high-stakes National Security and Public Safety (NSPS) risks, yet multilingual safety is mostly assessed through translation-only benchmarks that preserve the underlying scenario, leaving how language and geopolitical context interact largely unexamined beyond a few language pairs. We introduce ROK-FORTRESS, a bilingual, culturally adversarial NSPS benchmark that uses the English-Korean language pair and U.S.-ROK geopolitical axis as a case study, separating the effects of language and geopolitical grounding via a transcreation matrix: adversarial intents are evaluated under controlled combinations of (i) English versus Korean language and (ii) U.S. versus Korean entities, institutions, and operational details. Each adversarial prompt is paired with a dual-use benign counterpart to quantify over-refusal, and responses are scored by calibrated LLM-as-a-judge panels using expert-crafted, prompt-specific binary rubrics. Across a dual-track set of frontier and Korean-optimized models, we find a consistent suppression effect in Korean variants and substantial model-to-model variation in how geopolitical grounding interacts with language; in a subset of models, Korean grounding further mitigates the language-driven suppression. This indicates that, at least in the English-Korean case, safety behavior is shaped by language-as-risk signals and context interactions that translation-only evaluations miss. A direct-request ablation that strips jailbreak wrappers separates a small but persistent reduction for closed-source models from a larger, wrapper-dependent effect that reverses for open-source models, suggesting part of the Korean suppression reflects prompt specialization rather than intrinsic language-based safety alignment. The transcreation matrix methodology is designed to generalize to other language-culture pairs.
arXiv:2607.05352v2 Announce Type: replace
Abstract: We introduce the first multiplayer world model for highly dynamic environments governed by complex physical interactions. Whereas single-player world models treat the other agents as part of the environment, ours conditions on the action streams of multiple agents, learning to attribute changes in the scene to the correct player and to stay coherent under arbitrary combinations of their actions. We study this problem in the game of Rocket League, where players compete and cooperate under fast, tightly coupled dynamics. Trained on 10,000 hours of gameplay collected with publicly available bots, our 5-billion-parameter latent diffusion model generates four-player matches in real time, producing 20 frames per second on a single Nvidia B200 GPU. Although trained only on short clips, its rollouts stay stable far beyond the training horizon: distributional quality holds steady out to five minutes, the longest horizon we measure, and in practice we observe rollouts continuing for hours with no sign of collapse. We systematically investigate the central design choices: the video codec, the generative objective, and the multiplayer conditioning scheme. In addition, we characterize how behavior changes with model and data scale, including the capabilities that emerge and the failure modes that persist. We further develop targeted evaluations that probe the model's physical understanding rather than visual appearance alone. To support continued research on multiplayer world models, we release our dataset, our full training and inference codebase, and a live demo.
arXiv:2603.18454v3 Announce Type: replace-cross
Abstract: Fundamental limits on the performance of feedback controllers are essential for benchmarking algorithms, guiding sensor selection, and certifying task feasibility -- yet few general-purpose tools exist for computing them. Existing information-theoretic approaches overestimate the information a sensor must provide by evaluating it against the uncontrolled system, producing bounds that degrade precisely when feedback is most valuable. We derive a lower bound on the minimum expected cost of any causal feedback controller under partial observations by applying the Gibbs variational principle to the joint path measure over states and observations. The bound applies to nonlinear, nonholonomic, and hybrid dynamics with unbounded costs and admits a self-consistent refinement: any good controller concentrates the state, which limits the information the sensor can extract, which tightens the bound. The resulting fixed-point equation has a unique solution computable by bisection, and we provide conditions under which the free energy minimization is provably convex, yielding a certifiably correct numerical bound. On a scalar LQG problem the self-consistent bound captures over 80% of the known optimal cost at moderate sensor noise, and on a nonlinear Dubins car tracking problem it remains informative across all noise levels where a bound using the uncontrolled state distribution is vacuous.
arXiv:2603.29738v2 Announce Type: replace-cross
Abstract: We investigate the rotational phase diagram of a quasi-two-dimensional, weakly-interacting Bose-Einstein condensate confined in power-law and in hard-wall trapping potentials. For weak interactions, the system undergoes discontinuous transitions between multiply-quantized vortex states as the rotation frequency of the trap increases. In contrast, stronger interactions induce continuous phase transitions toward mixed states involving both singly and multiply-quantized vortex states. A central result is the qualitative (and experimentally observable) difference between power-law and hard-wall confinement: In hard-wall traps, the leading instability always involves states with nonzero density at the trap center, whereas in power-law traps the density vanishes as the rotation frequency increases. The two different types of confinement give rise to scaling properties in the derived phase diagrams.
arXiv:2607.06378v1 Announce Type: cross
Abstract: Membrane-deforming protein lattices play a key role in essential and pathogenic biological processes, including endocytosis and viral budding. Attaining the necessary length- and time-scales in simulation can be difficult for such large-scale membrane remodeling events. We present a model of a flexible protein lattice coupled to a Helfrich membrane propagated in Fourier space in the over-damped regime. We focus primarily on membrane-bound clathrin lattices, an essential part of the endocytic machinery. We quantify the material properties of our clathrin model lattices using buckling methods to measure the flexural rigidity as it varies with force constants of the coarse-grained potential energy function. By comparing this flexural rigidity to the effective rigidity observed when modeling the bending energy of a spherical clathrin coat using a Helfrich-like bending energy term, we show how the interpretation of the bending rigidity changes with the structure of the protein coat, resulting in an effective stiffening as the coat grows. This relatively common approximation thus must be applied with care, as it can over-estimate the stiffness of assembled lattices depending on the interpretation assumed. We validate our model by verifying that the tension of our simulated membrane results in changes to the geometry of the clathrin coat consistent with theoretical expectations. We conclude by demonstrating our newly available code for transferring structures assembled via rigid-body reaction-diffusion (using the NERDSS simulation package) into our flexible membrane-coupled dynamical framework, applying it to the membrane-bound HIV-1 immature Gag lattice.
arXiv:2607.06396v1 Announce Type: cross
Abstract: If $G$ and $H$ are two cubic multi-graphs, then an $H$-coloring of $G$ is a mapping $f: E(G)\rightarrow E(H)$, such that for every $v\in V(G)$ there is a vertex $x\in V(H)$, such that $f(\partial_G(v))=\partial_H(x)$. If $G$ admits an $H$-coloring then it is common to write $H\prec G$. The Petersen coloring conjecture predicts that for any bridgeless cubic graph $G$ one has $P_{10}\prec G$. Here $P_{10}$ is the Petersen graph. Let $f: E(G)\rightarrow E(H)$ be any mapping. Define: $V(f)=\{v\in V(G):\exists x\in V(H), f(\partial_G(v))=\partial_H(x)\}$. Let $S_{10}$ be the smallest cubic multi-graph that has no perfect matching. It has ten vertices. Define $S_{12}$ as the cubic graph that is obtained from $S_{10}$, by replacing its unique vertex $z$ adjacent to three bridges with a triangle. In this paper we show that (1) for every cubic multi-graph $G$ with a perfect matching, there is a mapping $f:E(G)\rightarrow E(S_{12})$, such that $|V(f)|\geq \frac{4}{5}\cdot |V(G)|$, and (2) for every cubic multi-graph $G$, there is a mapping $f:E(G)\rightarrow E(S_{10})$, such that $|V(f)|\geq \frac{5}{6}\cdot |V(G)|$. Our second result improves the $\frac{4}{5}$-bound by Hakobyan and the second author from 2018.