The normalized orbit of a bounded normal operator can be a frame, providing a counterexample to Conjecture 3.
Canonical reference
Title resolution pending
Canonical reference. 80% of citing Pith papers cite this work as background.
1016
Pith papers citing it
1
external citations · Crossref
Background
80% of classified citations
citation-role summary
background 251
method 24
baseline 6
dataset 4
extension 2
citation-polarity summary
authors
co-cited works
representative citing papers
EDEN releases the largest freely available Italian clinical notes corpus (4M notes, 6k annotated) and proposes CRF-filling as a structured extraction benchmark with zero-shot baselines from Gemma models.
Machine learning methods discover a new noncrossing-partition statistic interpreting q,t-Narayana polynomials and yield a combinatorial proof of their symmetry.
SLayerGen generates crystals invariant to any space or layer group via autoregressive lattice and Wyckoff sampling plus equivariant diffusion, achieving gains over bulk models on diperiodic materials after correcting a prior loss inconsistency for hexagonal groups.
Every proper minor-closed graph class admits an optimal (1+o(1)) log n bit adjacency labeling scheme.
A directed weighted two-graph model separates feasibility from movement in solution discovery and yields a detailed complexity classification for path and shortest-path discovery.
The method reformulates ALE mesh motion as independent multi-patch spline parameterizations per time step, using barrier functions, tangential-slip reparameterization, and constant-preserving quasi-interpolation to enable large-rotation FSI simulations.
Superconductivity in high-pressure MnB4 is induced by altermagnetic spin fluctuations, yielding extended-s pairing symmetry.
A new qubit-efficient HUBO encoding for graph partitioning problems like minimum coloring uses logarithmic bits and a lexicographic penalty to cut resources while providing provable optimality conditions.
A survey of 172 open educational datasets from 204 papers across LAK, EDM, and AIED conferences reveals trends, 143 previously uncatalogued datasets, field gaps, and an 8-item PRACTICE checklist for better data publication.
A microlocal lift of Navier-Stokes dynamics on manifolds yields an if-and-only-if geometric criterion for solution blow-up in terms of deformation integrability, directional entropy, and lifted energy.
A 9U CubeSat detector can identify a thermonuclear weapon on a satellite from 4 km away by observing spallation neutrons induced by GeV protons in roughly one week.
O(n log n) algorithm and matching Omega(n log n) lower bound for partitioning a simple polygon's boundary into the minimum number of contiguous visible segments.
Introduces a method to design structure-specific relational inductive biases for a base transformer architecture, enabling end-to-end transcription of documents with intrinsic structures, demonstrated on sheet music, shape drawings, and mechanical engineering drawings.
Derives leading asymptotics for collision-time tails of integrable inhomogeneous Markov chains via steepest-descent analysis and Karlin-McGregor expansion, confirming a prediction for push-block particle systems.
Canopies generalize vines and vineyards by tracking simplex pairs in filtered chain complexes instead of persistence diagram points, with proofs of homeomorphism and applications to multiplicity and monodromy.
A cP_n P_m scheme for DGSEM-LGL achieves m+1 convergence order via projected high-order components and a compact reconstruction operator that corrects the highest Legendre mode.
Hierarchical granular metamaterials achieve simultaneous increases in impact energy absorption per unit mass and reductions in transmitted peak force at low densities through three-level design combining granular dissipation with architected structures.
RoverDevKit is an open physics-based evaluator for lunar micro-rover conceptual design that runs in 30 ms and uses NSGA-II to identify mission-dependent optimal wheel configurations and binding trades.
Symbolic SOS rules generate symbolic semantics that are proven correct and complete with respect to concrete semantics using only the language's algebraic signature.
A YOLO keypoint model trained on 37k+ public images plus 1k neonatal frames achieves SOTA NME and low failure rates for 68-point neonatal landmark detection in clinical conditions.
Approximating twin-width is FPT parameterized by treedepth via oriented twin-width, and exact twin-width computation is FPT parameterized by vertex integrity.
Hybrid sharp-diffuse interface finite element method for accurate thermo-hydrodynamic modeling of melt pools with rapid evaporation.
Subsequence matching with gap-constraints is solvable in O(|D|(|u| + |C|)) time under left-convexity of the languages, optimal under SETH.
citing papers explorer
-
The normalized orbit of a bounded normal operator can be a frame
The normalized orbit of a bounded normal operator can be a frame, providing a counterexample to Conjecture 3.
-
EDEN: A Large-Scale Corpus of Clinical Notes for Italian
EDEN releases the largest freely available Italian clinical notes corpus (4M notes, 6k annotated) and proposes CRF-filling as a structured extraction benchmark with zero-shot baselines from Gemma models.
-
Mapping Uncharted Symmetries: Machine Discovery in Combinatorics
Machine learning methods discover a new noncrossing-partition statistic interpreting q,t-Narayana polynomials and yield a combinatorial proof of their symmetry.
-
SLayerGen: a Crystal Generative Model for all Space and Layer Groups
SLayerGen generates crystals invariant to any space or layer group via autoregressive lattice and Wyckoff sampling plus equivariant diffusion, achieving gains over bulk models on diperiodic materials after correcting a prior loss inconsistency for hexagonal groups.
-
Adjacency labelling for proper minor-closed graph classes
Every proper minor-closed graph class admits an optimal (1+o(1)) log n bit adjacency labeling scheme.
-
Separating Feasibility and Movement in Solution Discovery: The Case of Path Discovery
A directed weighted two-graph model separates feasibility from movement in solution discovery and yields a detailed complexity classification for path and shortest-path discovery.
-
Parameterization-driven arbitrary Lagrangian-Eulerian method for large-deformation isogeometric fluid-structure interaction
The method reformulates ALE mesh motion as independent multi-patch spline parameterizations per time step, using barrier functions, tangential-slip reparameterization, and constant-preserving quasi-interpolation to enable large-rotation FSI simulations.
-
Superconductivity induced by altermagnetic spin fluctuations in high-pressure MnB$_4$
Superconductivity in high-pressure MnB4 is induced by altermagnetic spin fluctuations, yielding extended-s pairing symmetry.
-
Qubit-efficient and gate-efficient encodings of graph partitioning problems for quantum optimization
A new qubit-efficient HUBO encoding for graph partitioning problems like minimum coloring uses logarithmic bits and a lexicographic penalty to cut resources while providing provable optimality conditions.
-
Open Datasets in Learning Analytics: Trends, Challenges, and Best PRACTICE
A survey of 172 open educational datasets from 204 papers across LAK, EDM, and AIED conferences reveals trends, 143 previously uncatalogued datasets, field gaps, and an 8-item PRACTICE checklist for better data publication.
-
On Geometric Evolution and Microlocal Regularity of the Navier-Stokes Equations
A microlocal lift of Navier-Stokes dynamics on manifolds yields an if-and-only-if geometric criterion for solution blow-up in terms of deformation integrability, directional entropy, and lifted energy.
-
Verification of the Outer Space Treaty with Cosmic Protons
A 9U CubeSat detector can identify a thermonuclear weapon on a satellite from 4 km away by observing spallation neutrons induced by GeV protons in roughly one week.
-
The Contiguous Art Gallery Problem is in {\Theta}(n log n)
O(n log n) algorithm and matching Omega(n log n) lower bound for partitioning a simple polygon's boundary into the minimum number of contiguous visible segments.
-
A document is worth a structured record: Principled inductive bias design for document recognition
Introduces a method to design structure-specific relational inductive biases for a base transformer architecture, enabling end-to-end transcription of documents with intrinsic structures, demonstrated on sheet music, shape drawings, and mechanical engineering drawings.
-
Non-colliding space-time inhomogeneous Markov chains
Derives leading asymptotics for collision-time tails of integrable inhomogeneous Markov chains via steepest-descent analysis and Karlin-McGregor expansion, confirming a prediction for push-block particle systems.
-
Canopies: A Generalization of Vines and Vineyards for Parameterized Persistence
Canopies generalize vines and vineyards by tracking simplex pairs in filtered chain complexes instead of persistence diagram points, with proofs of homeomorphism and applications to multiplicity and monodromy.
-
Projection-Based Reconstruction for Achieving High-Order Accuracy from Low-Order DGSEM Simulations
A cP_n P_m scheme for DGSEM-LGL achieves m+1 convergence order via projected high-order components and a compact reconstruction operator that corrects the highest Legendre mode.
-
Hierarchical Granular Metamaterials
Hierarchical granular metamaterials achieve simultaneous increases in impact energy absorption per unit mass and reductions in transmitted peak force at low densities through three-level design combining granular dissipation with architected structures.
-
RoverDevKit: An open, physics-grounded tradespace toolkit for conceptual design of lunar micro-rovers
RoverDevKit is an open physics-based evaluator for lunar micro-rover conceptual design that runs in 30 ms and uses NSGA-II to identify mission-dependent optimal wheel configurations and binding trades.
-
Correct and Complete Symbolic Execution for Free
Symbolic SOS rules generate symbolic semantics that are proven correct and complete with respect to concrete semantics using only the language's algebraic signature.
-
NeoLoc-68: End-to-end 68-point neonatal facial landmark localisation in neonatal clinical environments
A YOLO keypoint model trained on 37k+ public images plus 1k neonatal frames achieves SOTA NME and low failure rates for 68-point neonatal landmark detection in clinical conditions.
-
Computing Twin-Width via Treedepth and Vertex Integrity
Approximating twin-width is FPT parameterized by treedepth via oriented twin-width, and exact twin-width computation is FPT parameterized by vertex integrity.
-
A hybrid sharp-diffuse interface approach to accurately model melt pool dynamics with rapid evaporation in laser-based processing of metals
Hybrid sharp-diffuse interface finite element method for accurate thermo-hydrodynamic modeling of melt pools with rapid evaporation.
-
Tractable Gap-Constraint Languages for Complex Event Recognition
Subsequence matching with gap-constraints is solvable in O(|D|(|u| + |C|)) time under left-convexity of the languages, optimal under SETH.
-
Contextualizing Biological Language Models across Modalities via Logit-Space Contrastive Alignment
LOGICA adds context to pretrained biological LMs via logit-space contrastive alignment with gated adapters, improving AUC on held-out drug-resistance mutation ranking from ~0.55 to ~0.65 while preserving token likelihoods.
-
FllumaOne: A Code-Native Multimodal CAD Dataset with Executable Programs and Kernel-Validated Feature Histories
FllumaOne releases 100,000 kernel-validated CAD models as executable Python programs with aligned multimodal data including feature histories and geometry exports.
-
A Hybrid GNN-FEM Framework for Phase-Field Fracture Simulation. Physics-Preserving Hybridization for Generalizable Surrogate Modeling
Hybrid GNN-FEM surrogate replaces only the phase-field update step in a staggered incremental scheme for phase-field fracture, using dimensionless mesh features and physics-informed loss to generalize across geometries, loads, materials, and discretizations.
-
Physics-Informed Discovery of Yield Functions in Plasticity via Convex Neural Representations
A convex neural network is trained inside an elastoplastic stress integration loop using force equilibrium losses to identify yield functions from full-field displacement data.
-
Low-variance estimators overcome the phase-gradient bottleneck in complex-valued neural quantum states
Direct differentiation of the local energy at fixed samples yields an unbiased low-variance estimator for the variational Monte Carlo phase force in complex neural quantum states, with an adaptive mixture extending it to coupled networks and improving results on flux ladders, chiral chains, and frac
-
Improved Runtime Bound for the $(\mu + 1)$ EA on BinVal
The (μ+1) EA optimizes BinVal in O(μ log μ · n log n) evaluations for μ = o(n/log n), improving the prior O(μ^5 n log(n/μ^4)) bound.
-
A Rank-Preserving Gaifman Normal Form
Introduces a rank measure for FO logic and proves a rank-preserving Gaifman normal form, yielding a simplified proof for almost-linear time decision of FO properties on nowhere-dense structures.
-
OncoTraj: a public benchmark for longitudinal resistance prediction in EGFR-mutant non-small-cell lung cancer on osimertinib
OncoTraj releases a harmonized 813-patient dataset with audited splits for three tasks on osimertinib resistance, showing single-timepoint NGS features yield no model above chance while recovering a TP53 association.
-
Max-Policy Iteration, Revisited
Max-policy iteration is solved via terminating value iteration for integers/floats and min-policy iteration for rationals, with termination and optimality proofs.
-
Constraint residuals, graph posteriors, and determinant-corrected full-space targets in Bayesian inverse problems
Uncorrected Gaussian residual penalties in full-space sampling converge after marginalization to the graph-lifted reduced posterior multiplied by the inverse absolute determinant of the state Jacobian, requiring explicit determinant corrections for equivalence.
-
Targeting World Models to Compromise Robot Learning Pipelines
World models introduce a stealthy poisoning vector into robot learning pipelines where malicious prompts or dynamics in teleoperated data activate only during synthetic trajectory generation, enabling backdoors in downstream policies.
-
Optical Music Recognition for Real-World Manuscripts with Synthetic Data
Domain adaptation via synthetic manuscript images improves OMR performance on real-world piano manuscripts without requiring in-domain symbols.
-
Successive Convexification for Trajectory Optimization with Continuous-time Satisfaction of Signal Temporal Logic Specifications
Presents a successive convexification framework that enforces continuous-time STL specifications in trajectory optimization via GMSR robustness and prox-convex solving.
-
The Identity Trap in EEG Foundation Models: A Diagnostic Audit
Subject identity variance dominates frozen representations in three EEG foundation models by 13-89x over null, and erasing the linear subject axis improves label decoding where within-subject label variation exists.
-
Peng's Maximum Principle for McKean-Vlasov Stochastic Differential Equations with Common Noise
Derivation of a stochastic maximum principle for McKean-Vlasov SDEs with common noise that requires a third adjoint state to linearize all second-order terms in the cost expansion.
-
Endowing variational phase-field fracture models with custom strength criteria
A state-dependent dissipation potential is used to add arbitrary elastic domains to variational phase-field fracture models while keeping degradation and strength criteria separate.
-
Gaussian mean width strong converse bound on the classical identification capacity of quantum channels
A Gaussian mean width bound in weighted geometry yields a single-letter strong converse for the classical identification capacity of quantum channels, improving known results for depolarizing, Pauli, erasure, and amplitude damping channels.
-
Independence and Domination on Bounded-Treewidth Graphs: Integer, Rational, and Irrational Distances
Provides algorithms and complexity results for the δ-Dispersion and δ-Covering problems on bounded-treewidth graphs for integer, rational, and irrational distances.
-
Worth Remembering: Surprise-Gated Robot Episodic Memory
Surprise-gated episodic memory using V-JEPA-2 improves robot QA by ≥12% over prior memory methods and outperforms supervised baselines on event segmentation.
-
RESCAST-100K: A Comprehensive Dataset for Cross-Domain Residential Load and Indoor Temperature Forecasting
RESCAST-100K is a large-scale benchmark dataset of simulated and real residential energy data for cross-domain load and temperature forecasting.
-
Quality-Guided Semi-Supervised Learning for Medical Image Segmentation
A new quality-guided approach for semi-supervised medical image segmentation that trains a predictor on synthetic errors to enhance pseudolabel handling.
-
Modulation-Reaction Networks
Defines MR-networks and MRL logic to model regulated biochemical reactions, establish validities, express properties like reachability and attractors, and provide model-checking and bisimulation results.
-
The World's Fastest Matching Engine Algorithm
Introduces PIN priority queue and neighbor-aware tree operations claiming 32 million order messages per second on one CPU core for trading matching engines.
-
PolySpeech-100: A Large-Scale Benchmark for Speech Understanding Across 100+ Languages and Dialects
PolySpeech-100 is a new benchmark for native-level speech comprehension across 110 linguistic variants that evaluates 22 models and reports E2E advantages on dialects, robustness gaps on low-resource languages, and degradation from Chain-of-Thought prompting.
-
Cellular Sheaf Neural Operators for Structure-Preserving Surrogate Modeling of Constrained PDEs
Cellular Sheaf Neural Operators use cell complexes, learned restriction maps, and structure-aware message passing to create discretization-aware neural surrogates that preserve constraints in multiphysics PDEs such as MHD.
-
Value Functions as Supermartingale Certificates
Value functions of policies satisfying ω-regular properties encode Streett supermartingale certificates under appropriate rewards.