arXiv subjects

Edisy Kin Wai Chan

Publications and source records attributed to Edisy Kin Wai Chan.

4 recordsLinked to original sources

arXiv2026

World Editing: Intervening on Executable Worlds at Increasing Depth

Interactive world models are increasingly capable of generating environments and acting within them, yet deliberately editing an existing executable world remains underexplored. We formulate world editing as intervening on an existing world while preserving properties that should remain unchanged, and introduce intervention depth as an axis describing how strongly an edit couples world entities, dynamics, and systems. We instantiate this capability through industry-grade game modding and introduce IGMWorld, together with IGMBench, a benchmark of 110 tasks and over 1.1K executable state and behavioral criteria across Minecraft and Terraria. The tasks span property, entity, dynamics, and system interventions and are evaluated through deterministic executability, behavioral, preservation, and visual checks. Frontier coding agents already exhibit substantial world-editing capability: the strongest configuration solves 78.2% of tasks under a strict task-level criterion, while criterion-level performance reaches 94.8%. Reliability generally decreases with intervention depth, and this pattern persists even among tasks with similar numbers of evaluation criteria. Most failed edits still build and load successfully, suggesting that the main difficulty is making the edited world behave as requested. Visual consistency remains a separate weakness, with all evaluated configurations below 50% joint visual pass rate. These results show that world editing is a distinct capability from world generation and interaction, and that executable games provide a practical testbed for studying it.

cs.AI↗

arXiv2026

ImagenWorld: Stress-Testing Image Generation Models with Explainable Human Evaluation on Open-ended Real-World Tasks

Advances in diffusion, autoregressive, and hybrid models have enabled high-quality image synthesis for tasks such as text-to-image, editing, and reference-guided composition. Yet, existing benchmarks remain limited, either focus on isolated tasks, cover only narrow domains, or provide opaque scores without explaining failure modes. We introduce \textbf{ImagenWorld}, a benchmark of 3.6K condition sets spanning six core tasks (generation and editing, with single or multiple references) and six topical domains (artworks, photorealistic images, information graphics, textual graphics, computer graphics, and screenshots). The benchmark is supported by 20K fine-grained human annotations and an explainable evaluation schema that tags localized object-level and segment-level errors, complementing automated VLM-based metrics. Our large-scale evaluation of 14 models yields several insights: (1) models typically struggle more in editing tasks than in generation tasks, especially in local edits. (2) models excel in artistic and photorealistic settings but struggle with symbolic and text-heavy domains such as screenshots and information graphics. (3) closed-source systems lead overall, while targeted data curation (e.g., Qwen-Image) narrows the gap in text-heavy cases. (4) modern VLM-based metrics achieve Kendall accuracies up to 0.79, approximating human ranking, but fall short of fine-grained, explainable error attribution. ImagenWorld provides both a rigorous benchmark and a diagnostic tool to advance robust image generation.

cs.GR↗

arXiv2024

Zeta-functions of Curves over Finite Fields

Curves over finite fields are of great importance in cryptography and coding theory. Through studying their zeta-functions, we would be able to find out vital arithmetic and geometric information about them and their Jacobians, including the number of rational points on this kind of curves. In this paper, I investigate if it is possible to construct a curve over finite fields of a given genus $g$ whose zeta-function is given as a product of zeta-functions of $g$ elliptic curves, and find out alternative methods if it is not possible. Basically, I look for conditions which those $g$ elliptic curves should satisfy such that their product (of their Jacobians) is isogenous to the Jacobian of a curve of a given genus $g$. Then from this isogenous relationship I can determine the characteristic polynomial of the Frobenius endomorphism of the Jacobian of the new curve and by this characteristic polynomial I can thus determine the zeta-function of this new curve. By using the zeta-functions of curves in the form as generating functions, the number of rational points on curves can even be found out, which may lead to further researches relating to some applications in cryptography, coding theory and even information theory.

math.NT↗

arXiv2024

Survey on the Canonical Metrics on the Teichmüller Spaces and the Moduli Spaces of Riemann Surfaces

This thesis results from an intensive study on the canonical metrics on the Teichmüller spaces and the moduli spaces of Riemann surfaces. There are several renowned classical metrics on $T_g$ and $\mathcal{M}_g$, including the Weil-Petersson metric, the Teichmüller metric, the Kobayashi metric, the Bergman metric, the Carathéodory metric and the Kähler-Einstein metric. The Teichmüller metric, the Kobayashi metric and the Carathéodory metric are only (complete) Finsler metrics, but they are effective tools in the study of hyperbolic property of $\mathcal{M}_g$. The Weil-Petersson metric is an incomplete Kähler metric, while the Bergman metric and the Kähler-Einstein metric are complete Kähler metrics. However, McMullen introduced a new complete Kähler metric, called the McMullen metric, by perturbing the Weil-Petersson metric. This metric is indeed equivalent to the Teichmüller metric. Recently, Liu-Sun-Yau proved that the equivalence of the Kähler-Einstein metric to the Teichmüller metric, and hence gave a positive answer to a conjecture proposed by Yau. Their approach in the proof is to introduce two new complete Kähler metrics, namely, the Ricci metric and the perturbed Ricci metric, and then establish the equivalence of the Ricci metric to the Kähler-Einstein metric and the equivalence of the Ricci metric to the McMullen metric. The main purpose of this thesis is to survey the properties of these various metrics and the geometry of $T_g$ and $\mathcal{M}_g$ induced by these metrics.

math.DG↗