Slop Factor
Total Slop
1,011,985.5
Included papers
1,083
Analyzed pages
28,654
Theorems + lemmas
13,139

Latest

  1. A Fixed-Penalty Linearized Augmented Lagrangian Method with Classical Multiplier Updates 1,093.6
  2. A Variational Characterization of Positive Scalar Curvature Kähler metrics 1,278.6
  3. Bayesian inference and retrodiction for faithful states on von Neumann algebras 370.5
  4. Borelness of Moduli Spaces of Metrics Implies Separability 214.5
  5. Boundary-Weighted Fourier Inequalities for Convex Domains 581.8
  6. Circles determined by planar point sets 1,314.5
  7. Energy rigidity and weak-strong uniqueness for the 2D anisotropic Navier-Stokes equations 730.8
  8. Evo-GTransNet for Parabolic PDEs: A Fixed-Feature Galerkin Method of Lines with Quadrature-Mass Orthonormalization 100.4

Top slops this week

  1. An equidistribution conjecture for quotient-closed and submodule-closed subcategories 7,301.5
  2. Regularity and the Gelfand Property for Complex Symmetric Pairs 5,783.5
  3. Mean curvature bounds for the obstacle problem 4,146
  4. A strongly compact cardinal yields a left and right coherent ring with $\mathcal{PGF}(R)\subsetneq\mathcal{GP}(R)$ 3,947.5
  5. Hammock localization via Segal animae 3,124
  6. The Unfair 0-1 Polynomial Problem and High-Degree Trinomials 2,938
  7. On the Pseudo-Mixing of Kac's Walk 2,904
  8. Thompson's Conjecture for Finite Simple Groups of Lie Type over Small Fields 2,838

Top slops of all time

  1. Naturality in real Heegaard Floer theory 8,638.2
  2. Lorentzian polynomials and matroids over triangular hyperfields 2: Analytic aspects 7,458
  3. An equidistribution conjecture for quotient-closed and submodule-closed subcategories 7,301.5
  4. $p$-adic Maass--Shimura operators on $μ$-ordinary Igusa varieties 7,026.5
  5. Measurable Matroids: Foundations and Min--Max Theorems 6,272
  6. Mathematical Discovery in the Wild: AI-Guided Proofs in Banach Space Theory 6,235
  7. Regularity and the Gelfand Property for Complex Symmetric Pairs 5,783.5
  8. Modularity of Higher Theta Series III: Proof of the Modularity Conjecture 5,356.5

Total slop per day

Daily sum of Slop Factor scores from 2026-07-02 through 2026-08-24. 74.1K 0 2026-07-02 2026-08-24

1083 papers

Slop Factor range
Paper Submitted Category Pages Theorems Lemmas Slop Factor
Kahn--Lovász-type inequalities for graph factors Hyunwoo Lee Rewriting existing author-written text math.CO 27 8 4 600.2
Necessary conditions for deterministic and stochastic maximal regularity Emiel Lorist, Jan van Neerven, Mark Veraar Rewriting existing author-written text math.FA 31 6 5 730
On the proof of Bray's conjecture Xumin Jiang, Mingxiang Li, Zhehui Wang Mixed or intermediate disclosed use math.DG 9 5 2 433
Largest bulk gap of the complex Ginibre ensemble Philippe Moreillon Proof ideas or individual proof-step assistance math.PR 25 3 14 1,189.6
Flexibility for the Three-Dimensional Navier-Stokes Equations via Moving Hill Vortices Quoc-Hung Nguyen, Zexi Wang Rewriting existing author-written text math.AP 59 2 3 861.2
A Variational Characterization of Positive Scalar Curvature Kähler metrics Zehao Sha Rewriting existing author-written text math.DG 45 7 10 1,278.6
Proof of Lichiardopol's conjecture on disjoint directed cycles of distinct lengths Sandra Albrechtsen, Raphael Steiner Drafting a complete proof for author revision math.CO 27 5 7 1,039.95
Graphs with connectivity $3/4 - \varepsilon$ are globally synchronizing Saba Lepsveridze, Sam Zhang Proof ideas or individual proof-step assistance math.CO 17 2 11 922.8
Bayesian inference and retrodiction for faithful states on von Neumann algebras Pradyut Karmakar, Arthur J. Parzygnat Brainstorming or outlining math.OA 48 2 2 370.5
Mean curvature bounds for the obstacle problem Giacomo Colombo, Federico Franceschini Proof ideas or individual proof-step assistance math.AP 59 4 35 4,146
On facet gaps of order and chain polytopes Ghislain Fourier Computational experiments or data processing math.CO 6 1 0 89.85
Weakly stable solutions of Serrin's problem Michael Eichmair, Thomas Koerber Formatting or typesetting math.AP 16 2 14 131.75
Generalized Hamming weights of codes arising from complete intersection Eduardo Camps Moreno, Flavio Salizzoni, Rodrigo San-José Proof ideas or individual proof-step assistance math.AC 5 2 0 229.6
Energy rigidity and weak-strong uniqueness for the 2D anisotropic Navier-Stokes equations Josef Demmel, Emil Wiedemann Proof ideas or individual proof-step assistance math.AP 16 2 5 730.8
Ramanujan Cayley Graphs with Normal Connection Sets in Ratio-One Frobenius Groups Ming-Hsuan Kang, Chi-Jung Yang Proof ideas or individual proof-step assistance math.CO 8 3 2 454.4
New upper bounds on covering codes K_q(n,R) for alphabets of size six and seven Mark Marosi Substantial mathematical content or result generation math.CO 6 0 1 113
Hammock localization via Segal animae Kensuke Arakawa, Bastiaan Cnossen Proof ideas or individual proof-step assistance math.CT 41 10 15 3,124
A Fixed-Penalty Linearized Augmented Lagrangian Method with Classical Multiplier Updates Benqi Liu, Kangkang Deng, Zichen Wang, Zaiwen Wen Proof ideas or individual proof-step assistance math.OC 26 6 7 1,093.6
Circles determined by planar point sets Liyan Wang Substantial proof generation math.CO 27 2 7 1,314.5
Boundary-Weighted Fourier Inequalities for Convex Domains Konstantinos Bampouras, Karl-Mikael Perfekt Brainstorming or outlining math.CA 34 16 18 581.8
Learning piecewise-smooth dynamical systems Davide Murari, Erik Jansson, Chris Budd OBE, Carola-Bibiane Schönlieb Code generation, completion, or debugging math.DS 31 2 1 187.2
Real polynomials with given multiplicities of real roots: Complete conjectural description of homology Boris Shapiro Substantial mathematical content or result generation math.AT 10 2 3 593.5
Nonexistence of Frame Measures for Separated Uniform Consecutive-Digit Bernoulli Convolutions Xiao-Ye Fu, Wei-Jie Wang Proofreading, grammar, or spelling math.FA 14 2 7 70.1
Uniformly Rotating Vortex Patches with Arbitrarily Many Genuine Holes Zhilong Xue, Weicheng Zhan Proofreading, grammar, or spelling math.AP 39 1 5 165.45
Palette Sparsification for General Uniform Hypergraphs Ruizhe Shi Proof ideas or individual proof-step assistance math.CO 9 1 7 458.8
Borelness of Moduli Spaces of Metrics Implies Separability Yoshito Ishiki, Tomoki Uda Brainstorming or outlining math.GN 10 8 4 214.5
Evo-GTransNet for Parabolic PDEs: A Fixed-Feature Galerkin Method of Lines with Quadrature-Mass Orthonormalization Lili Ju, Jin Zhao Proofreading, grammar, or spelling math.NA 35 3 2 100.4
The integer point enumerator of one irrational translate of P is a complete invariant Sinai Robins Brainstorming or outlining math.CO 12 1 4 126.6
Mesoscopic Rectangular Spikes under Subspace Local Laws: Outlier Values and Singular Subspaces Yitzchak Shmalo Brainstorming or outlining math.PR 35 8 16 603.2
Quantitative bounds for sets lacking polynomial progressions with shifted prime difference Ben Krause, Hamed Mousavi, Terence Tao, Joni Teräväinen Literature search math.NT 60 2 9 506.2
Global Well-Posedness near Rayleigh-Jeans Equilibria for the Cubic NLS Wave Kinetic Equation Miguel Escobedo, Angeliki Menegaki Proof ideas or individual proof-step assistance math.AP 45 5 5 1,652.4
Connected Counterexamples to the Henning--Yeo Conjecture on Identifying Vertex Covers Yufeng Wang Proof ideas or individual proof-step assistance math.CO 12 3 1 528.4
Pearl necklace knots with fewer vertices than an equivalent FCC lattice knot Alexander R. Klotz Substantial mathematical content or result generation math.GT 9 0 0 196.5
A New Impossibility Region for the $5\times5$ Symmetric Nonnegative Inverse Eigenvalue Problem Jiashun Jin, Zheng Tracy Ke, Bingcheng Sui Drafting limited passages math.RA 42 2 5 664
The Non-Cancelling-Intersections Conjecture Fails for Left-Linear Trees Hermann Wilhelm Substantial proof generation math.CO 31 6 11 1,504.5
An optimal Poincaré inequality for the complex Ginibre log-gas Djalil Chafaï Brainstorming or outlining math.PR 12 1 5 155.7
On the Finiteness of Isolated $j$-invariants for $X_1(N)$ Abbey Bourdon Computational experiments or data processing math.NT 15 9 3 367.95
Probabilistic Representation and Convergence of Gromov-Wasserstein Gradient Flows Venkatkrishna Karumanchi, Ziv Goldfeld, Kengo Kato, Zhengxin Zhang Computational experiments or data processing math.PR 32 6 7 564.15
Entry growth in Gaussian elimination Rikhav Shah, John Urschel Substantial proof generation math.NA 23 17 13 2,079
The Unfair 0-1 Polynomial Problem and High-Degree Trinomials Alexander Dvorsky Proof ideas or individual proof-step assistance math.CA 43 5 29 2,938
Second-Level Concavity of the Riemann $Ξ$ Kernel Michel Planat, Patrick Solé Proof ideas or individual proof-step assistance math.CV 18 2 4 754.8
Transparent Subalgebras and Local Module Categories Kenichi Shimizu, Harshit Yadav Proof ideas or individual proof-step assistance math.QA 14 4 7 945.6
The critical probability for percolation on finite graphs Micha Christoph, Patryk Morawski, Yuval Wigderson Proof ideas or individual proof-step assistance math.CO 22 4 5 718
Universal braids for elliptic fibrations: from character varieties to Coxeter's factor groups Faye Jackson Literature search math.GT 30 0 4 152.5
Norm bounds on Fourier series with polynomial spectra and constrained coefficients Ioann Vasilyev Proof ideas or individual proof-step assistance math.CA 11 3 1 452.4
Disproof of the Yau--Tian--Donaldson conjecture Jihao Liu Computational experiments or data processing math.DG 79 26 30 2,130.6
A Near-Optimal Linear Range for the Erdős Matching Conjecture Mengyu Cao, Hong Liu, Haixiang Zhang Brainstorming or outlining math.CO 19 4 7 212.5
On the Hessian Conjecture in Lorentzian Signature: Constant Pivots and Hesse Systems Hanwen Liu Proofreading, grammar, or spelling math.AG 31 4 27 235
Improved bounds on the oriented diameter of planar triangulations Xiaonan Liu Proof ideas or individual proof-step assistance math.CO 16 4 2 477.6
A Mini-Batch Counterexample to Last-Iterate Convergence in Definable Optimization Weiwei Kong Drafting limited passages math.OC 9 1 4 208
Boundedly exchangeable graphs Leon-Roman Rinke, Stefan Weber Code generation, completion, or debugging math.PR 39 3 7 403.6
Activated switching between coexisting limit cycles Gabriel Margiani, Orjan Ameye, Oded Zilberberg, Alexander Eichler Substantial text generation math.DS 18 0 0 189
Online Permutation Embedding: Optimal Stopping and Scaling Laws Dylan J. Altschuler, Quentin Dubroff, Konstantin Tikhomirov Proof ideas or individual proof-step assistance math.PR 36 6 11 2,496
On the odd independence number of the Queen graph Martin Knor, Jelena Sedlar, Riste Škrekovski Substantial mathematical content or result generation math.CO 11 2 5 589.5
The $6\times6$ equality case of matrix spaces with rank-two commutators Zhi-Lin Zhang Substantial proof generation math.RA 13 4 2 981.5
A Sharp Joint Bias-Energy Envelope for Radial Clipping Danila Litvinov Computational experiments or data processing math.PR 25 3 0 279
Positivity preservers over finite fields II Dominique Guillot, Himanshu Gupta, Prateek Kumar Vishwakarma, Chi Hoi Yip Proof ideas or individual proof-step assistance math.RA 4 2 1 208.4
Exact random covers of metric trees: balanced rounding, duality, and sharp thresholds Qi Wu, Yong Lu Proof ideas or individual proof-step assistance math.CO 22 7 21 1,950.8
Hitting Maximum Independent Sets in Dense and Highly Connected Graphs Hanzhi Bai, Yufei Chang, Jin Yan Rewriting existing author-written text math.CO 18 7 6 558.8
Complexity-sensitive additive energy and off-diagonal Young inequalities on bounded-degree algebraic varieties Xiyu Hu Substantial mathematical content or result generation math.CA 26 7 9 1,888
Inversion Diameter of Planar Graphs Yichen Wang, Yuxuan Yang Brainstorming or outlining math.CO 16 13 3 254.6
Regularity and the Gelfand Property for Complex Symmetric Pairs Yufeng Li, Junyan Xiao, Jun Yu Substantial proof generation math.RT 61 11 46 5,783.5
Adaptive resolution frames: A multilevel framework in Hilbert spaces Jahangir Cheshmavar Rewriting existing author-written text math.FA 16 0 0 236
Minimum attaining operators on reducing subspaces: Spectral structure and density Puspendu Nag, Golla Ramesh Proofreading, grammar, or spelling math.FA 30 11 4 229.05
Counterexample to the Bougard-Joret Conjecture Joyentanuj Das, Sayan Gupta Proof ideas or individual proof-step assistance math.CO 12 1 0 417.2
Lonely Runners over Function Fields: Quantized Phase--Riesz product Xiyu Hu Computational experiments or data processing math.CO 25 7 13 586.65
The number of groups of cubefree order Heiko Dietrich, David Jefferies Code generation, completion, or debugging math.GR 32 2 13 373.6
Power-kernel fractional Sturm--Liouville operators: a graph realization and boundary-independent singular-value asymptotics Niyaz Tokmagambetov Rewriting existing author-written text math.SP 23 5 5 578.6
Finite-coefficient K-theory of henselian valued fields and Gersten injectivity Niels Feld Proof ideas or individual proof-step assistance math.KT 42 14 34 2,782.4
An Integer Programming Approach to Compute Lower Bounds for Ramsey Numbers Using Circulant Graphs Stefano Coniglio, Fabio Furini, Ivana Ljubić, Pablo San Segundo, Johannes Thüerauf, Emiliano Traversi Code generation, completion, or debugging math.OC 52 0 0 234.9
Affine Evaluation Maps, Dimension Groups, and Fair measures Eli Glasner Brainstorming or outlining math.DS 31 5 12 467.5
Comparison inequalities for Dirichlet-to-Neumann maps Denis S. Grebenkov, Michael Levitin, Karl-Mikael Perfekt, Iosif Polterovich Proof ideas or individual proof-step assistance math.SP 25 6 3 1,141.6
Long-run risk-sensitive portfolio optimisation with proportional transaction costs and log Lévy asset prices Damian Jelito, Łukasz Stettner Proof ideas or individual proof-step assistance math.OC 36 8 11 1,476
A Uniform Proof for the Small Davenport Constant of the Exponent-$p$ Heisenberg Group Andreas Volkmann Drafting limited passages math.CO 7 4 5 318
The induced-$P_4$-free process Hongyi Lou, Xinzhe Song, Guiying Yan Computational experiments or data processing math.CO 32 4 16 580.2
Superlinear separation between linear and centered colorings Jędrzej Hodor, Piotr Micek Substantial mathematical content or result generation math.CO 4 1 3 257.5
An Improved Degree Condition for Connectivity-Preserving Spanning $(u,v)$-Paths Heng Yang Proof ideas or individual proof-step assistance math.CO 9 6 4 603.6
Polytopes of Effective Boundary Expressions of Divisors on $\overline{M}_{0,n}$ Ian Cavey, Deniz Genlik Computational experiments or data processing math.AG 52 18 19 1,259.55
The radial derivative on the graded Möbius algebra Thomas Sinclair Suggesting mathematical examples or conjectures math.CO 18 2 4 756.3
Finite-Index Lifting of Strong Topological Rokhlin Property and Descriptive Complexity Jintao Luo Drafting a complete proof for author revision math.LO 28 3 5 1,194.75
New Nonexistence Results for Circulant Weighing Matrices Ming Ming Tan Substantial proof generation math.CO 20 9 4 1,237.5
Verblunsky coefficients, CMV matrices and numerical invariants of homogeneous bidisc submodules Yufeng Lu, Chao Zu Substantial mathematical content or result generation math.FA 35 15 8 2,588.5
Boundaries of logarithmic Voronoi cells can be transcendental Yulia Alexandr Brainstorming or outlining math.ST 11 3 1 98.9
Donaldson-Sun Theory in the Conic Case Arka Karmakar Brainstorming or outlining math.DG 44 11 17 459.3
$Γ$-Convergence of Weak-Type Nonlocal Functionals on Bounded Domains Xiaosheng Lin, Dachun Yang, Sibei Yang, Wen Yuan, Yangyang Zhang Brainstorming or outlining math.CA 42 5 20 508.5
Half-open integer parallelepipeds and polytope Dedekind sums Sinai Robins, André Rosenbaum Coelho Proofreading, grammar, or spelling math.CO 25 4 4 122.9
Linear stability of traveling Maxwellians for Landau equation with very soft potentials Sanchit Chaturvedi, Jonathan Luk Proofreading, grammar, or spelling math.AP 58 5 23 508.6
The nonseparable case of Kadison's problem on orthonormal bases of unitaries for type $\mathrm{II}_1$ factors Yixin He, Quanyu Tang, Zongben Xu, Teng Zhang Brainstorming or outlining math.OA 34 1 16 528
Algorithms for adaptive and heteroskedastic linear regression at the computational threshold Spencer Compton, Tselil Schramm Proof ideas or individual proof-step assistance math.ST 93 0 0 819.2
A new unconditional lower bound for shoreline search Alexander Temerev Proof ideas or individual proof-step assistance math.MG 13 1 4 466.4
Existence and qualitative theory for nonlinear accretive evolutions with Carathéodory forcing Dieter Bothe Formatting or typesetting math.FA 60 11 16 335.6
Asymptotics for Beta-Splitting Trees via Homogeneous Fragmentations and Meromorphic Potential Theory Yoana R. Chorbadzhiyska, Martin Minchev, Mladen Savov Proof ideas or individual proof-step assistance math.PR 53 7 10 2,166
Schur polynomials twisted by roots of unity and reciprocal pairs: torsion filters, fusion quotients, and an equal-rank reduction at odd order Carles Marín Code generation, completion, or debugging math.CO 72 1 7 388
Anytime Solver Evaluation with a Normalized Signed Primal Integral and Explicit Reference Policies - Extended Version Florian Rascoussier Drafting a complete proof for author revision math.OC 40 0 0 1,032.75
Self-supervised In-context Operator Learning for Stochastic Mean-Field Control Suyi Gao, Mo Zhou, Rongjie Lai Computational experiments or data processing math.OC 33 0 2 318.6
Banach's Isometric Conjecture over the Complex Field Antonio Acuaviva, Tomasz Kania Suggesting mathematical examples or conjectures math.FA 17 7 4 580.2
Exceptional eigenvalue density for thin groups Christopher Lutsko Brainstorming or outlining math.SP 11 3 3 113.7
On the enumeration of polymatroids Seonghyuk Im, Donggyu Kim Proof ideas or individual proof-step assistance math.CO 11 11 6 1,018.4
An equidistribution conjecture for quotient-closed and submodule-closed subcategories Haruhisa Enomoto Substantial mathematical content or result generation math.RT 61 11 49 7,301.5
Non-orientable representation spheres Sam K. Miller Code generation, completion, or debugging math.GR 25 5 5 307.3
Obstructions to intrinsic perturbation for $A$-hypergeometric series Ryunosuke Nakano Suggesting mathematical examples or conjectures math.AG 42 17 12 1,785
A note on smooth quotients of Prym varieties Anatoli Shatsila Substantial proof generation math.AG 7 4 1 520.5
A note on the partial sum of bounded Dirichlet series Yukun Chen, Xiangdi Fu Drafting a complete proof for author revision math.FA 7 1 3 337.05
A First-Order Entropy Law for Canonical T-Complexity of Finite-Alphabet i.i.d. Sources Thomas Schürmann Substantial proof generation math.ST 10 6 18 1,784
Symmetric Differentials on K3 Surfaces Frank Gounelas, Christian Liedtke Substantial mathematical content or result generation math.AG 37 2 7 2,682
Antiferromagnetic models are clique-minimizing Joonkyung Lee, Jaehyeon Seo Substantial proof generation math.CO 23 3 13 1,580.5
Thompson's Conjecture for Finite Simple Groups of Lie Type over Small Fields Jun Liao, Lizhong Wang, Jiping Zhang Proof ideas or individual proof-step assistance math.GR 69 23 9 2,838
Cohomological Cohen--Macaulayness in Non-Noetherian Rings Ryoya Ando Translation math.AC 10 6 1 92.5
Idealizing Useful Fictions in Omega Grounded Arithmetic Bryan Ford Substantial proof generation math.LO 21 15 5 1,548.5
Witt rings, Pfister forms, and equivariant birational geometry Brendan Hassett, Yuri Tschinkel Computational experiments or data processing math.AG 46 0 0 727.65
Second-pole wall periods for Witten zeta functions in the classical families Jonas Matuzas Substantial text generation math.RT 14 5 1 550.55
Intersecting families and nonvanishing multivariate polynomials over finite fields Shamil Asgarli, Bence Csajbók, Chi Hoi Yip Rewriting existing author-written text math.NT 23 11 14 876.6
A strongly compact cardinal yields a left and right coherent ring with $\mathcal{PGF}(R)\subsetneq\mathcal{GP}(R)$ Chencheng Zhang Substantial mathematical content or result generation math.RA 41 3 19 3,947.5
A $5/8$ Lower Bound on the Banach-Mazur Distance to the Cross-Polytope Omer Friedland Rewriting existing author-written text math.PR 12 1 0 222.8
A Symmetric Counterexample to the Snashall--Solberg Conjecture Kai Wang, Guodong Zhou Brainstorming or outlining math.KT 5 3 0 81.6
On the p-adic Wirsing problem Anup B Dixit Proof ideas or individual proof-step assistance math.NT 18 2 8 1,040
A Characterization of Measures of Concordance of Degree Two Takaaki Koike, Haruki Tsunekawa Proofreading, grammar, or spelling math.ST 29 2 4 157.45
An improved lower bound for Bloch's constant Frank Wikström Proof ideas or individual proof-step assistance math.CV 16 6 4 847.6
Delannoy--Steinhaus triangles over $\mathbb{Z}/2\mathbb{Z}$: weight spectrum, balanced triangles, and extremal values Hacène Belbachir, Randa Ouchene Proofreading, grammar, or spelling math.CO 12 3 1 67.7
Crown-free families and forbidden subposets with $e(P)\in \{1,2\}$ Balázs Patkós, Casey Tompkins Substantial mathematical content or result generation math.CO 13 5 7 979
Shape Theory of $\infty$-Topoi: Inverse Limits, Products, and (Co)homology Georg Lehner Brainstorming or outlining math.AT 46 28 12 993.5
Asymptotics of the Tchoukaillon array and a conjecture of Beluhov Shisheng Li Proof ideas or individual proof-step assistance math.CO 19 1 10 722.8
Finite Time Type I Singularities of the Kähler Ricci Flow Tongxin Xu, Zhenlei Zhang Proof ideas or individual proof-step assistance math.DG 17 2 7 943.2
Non-unique $L^2$ solutions to the stationary Navier--Stokes equations on the whole plane Mikihiro Fujii Brainstorming or outlining math.AP 25 1 15 289
Spectral gap for unlabelled Ginibre Interacting Brownian motion Kohei Suzuki Proof ideas or individual proof-step assistance math.PR 14 2 3 582
On the Pseudo-Mixing of Kac's Walk Natesh S. Pillai, Aaron Smith, Vinod Vaikuntanathan Proof ideas or individual proof-step assistance math.PR 48 13 17 2,904
A Counting Lemma for Somewhat Restricted 3-APs Amey Bhangale, Subhash Khot, Yang P. Liu, Dor Minzer Drafting a complete proof for author revision math.CO 58 5 16 2,581.2
A 15/31 Counterexample Family to the Albertson-Berman Conjecture Heejae Jung Proof ideas or individual proof-step assistance math.CO 12 2 6 548.4
Entropy-type traces and moment expansions for the sine-kernel time-band limiting operator Ahmadreza Azimifard Computational experiments or data processing math.FA 20 8 9 544.05
The Wallace problem and countably compact torsion-free Abelian groups in ZFC Juliane Trianon Fraga, Vinicius de Oliveira Rodrigues Substantial proof generation math.GR 29 2 17 1,886.5
The Distance Spectrum Does Not Determine Bipartiteness Feifan Gong, Kehua Wang, Wei Wang Code generation, completion, or debugging math.CO 9 1 2 82.2
Enumerating forcing and strongly forcing (0,1)-matrices Lei Cao, Jesse Geneson Rewriting existing author-written text math.CO 22 10 13 715.6
An exotic $S^2\times S^2$ and an exotic $\mathbb{CP}^2\#\overline{\mathbb{CP}}^2$ Bernd Johannes Wuebben Literature search math.GT 32 6 8 346.2
Small Cancellation Stability and Isomorphism Rigidity for Generic Finitely Presented Groups Ilya Kapovich Drafting limited passages math.GR 42 9 22 1,661.75
Polyhedral Subspaces of $L_{p}$ and Polars of Zonotopes Vladyslav Yaskin Proof ideas or individual proof-step assistance math.MG 19 3 6 869.6
Completing the Boundary Case of the Mahmoodian-Mirzakhani Conjecture and 117 New Computational 5-Cycle Decompositions of Complete Tripartite Graphs Roozbeh Pournader Proof ideas or individual proof-step assistance math.CO 15 1 2 507.6
Cotangent Models of Nilpotent Orbit Closures Boming Jia Substantial text generation math.RT 19 3 7 850.85
Sharp Neumann eigenvalue estimates and $C^2$ elliptic regularity in non-obtuse polyhedral domains Nick Edelen, Chao Li Proof ideas or individual proof-step assistance math.DG 17 4 8 947.2
Fixed-particle-number optimizers for the Lieb--Oxford inequality Matthew Rosenzweig Proof ideas or individual proof-step assistance math.AP 27 1 8 1,357.6
Eventually Turán good I: Edge-Linear Thresholds and Monotonicity Yuanpei Wang, Liying Kang, Xiamiao Zhao Substantial mathematical content or result generation math.CO 21 7 7 1,278
Caged Retractions of Polymatroids Ari Pomeranz Proof ideas or individual proof-step assistance math.CO 42 13 8 2,480
A Log-Free Lower Bound for the Number of Facets of $0/1$-Polytopes Omer Friedland Proof ideas or individual proof-step assistance math.CO 15 1 3 729.2
Group Theory in School Mathematics? Teaching Permutation Cycles Through the 15-Puzzle Bence Torma, Tamás Waldhauser Rewriting existing author-written text math.HO 26 0 0 165
Mild p-Class Tower Groups of Imaginary Quadratic Fields Denis Vogel Proof ideas or individual proof-step assistance math.NT 63 9 19 3,548.4
Prime-Exponent Transition Geometry and Divisor Barriers Between Consecutive Highly Composite Numbers Marco Mantovanelli Rewriting existing author-written text math.NT 29 10 8 911.6
Hyperbolic models and stability recognition for Coxeter groups Christopher H. Cashen, Michelle Chu, Jing Tao Proof ideas or individual proof-step assistance math.GR 58 17 54 5,071.6
Cubes in the Torus Douglas Barnes, Sean Jaffe Substantial proof generation math.CO 6 3 3 473
Inhomogeneous Einstein metrics on complex projective spaces Gonzalo Cao-Labora, Alberto Rodríguez-Vázquez Code generation, completion, or debugging math.DG 39 3 9 358.6
On the relations between several notions of symmetry for the second order linear differential equation David Blázquez-Sanz, Santiago Alexis Aguirre Agudelo Proof ideas or individual proof-step assistance math.CA 15 11 1 1,160.8
Nonnegative Quadratics over a Quadrant with a Bilinear Constraint Yipeng Zhang, Yuyuan Ouyang, Boshi Yang Proof ideas or individual proof-step assistance math.OC 28 6 7 1,287.6
Doubling the dimension yields a benign landscape for the squared-stress Christopher Criscitiello Drafting a complete proof for author revision math.OC 38 4 14 2,411.1
On the stability of eigenvalues of varying bilinear forms in abstract Hilbertian settings and applications Andrea Bisterzo, Roberto Ognibene, Prasun Roychowdhury, Giovanni Siclari Proof ideas or individual proof-step assistance math.AP 52 7 19 2,720
Absorption Probabilities for Random Convex Hulls: Distribution-Freeness via the Wall-Crossing Method Zakhar Kabluchko, Alexander Tarasov Substantial proof generation math.PR 38 10 9 2,894
The quantum Hikita conjecture via quasimaps Hunter Dinkins, Ivan Karpov, Vasily Krylov Suggesting mathematical examples or conjectures math.AG 107 12 20 4,698.6
Codegree Thresholds for $λ$-Choosability of Graphs Chunqiu Fang, Rongxing Xu Proof ideas or individual proof-step assistance math.CO 28 2 10 1,023.2
Gromov-Witten theory of abelian varieties in families and modular forms Georg Oberdieck Drafting a complete proof for author revision math.AG 57 11 26 4,849.2
Planar lamplighter is not of negative type Gioacchino Antonelli, Emanuele Caputo, Nicola Cavallucci, Luca Nalon, Assaf Naor, Pietro Wald Proof ideas or individual proof-step assistance math.MG 16 3 5 750
The Bethe-Hessian down to the Percolation Threshold Dingding Dong, Theo McKenzie Rewriting existing author-written text math.ST 19 2 9 500
Ramsey number $R(4, 20) \ge 252$ Charlie Yu Drafting limited passages math.CO 4 1 0 63.5
Random Quadratic Form with random forcing: Metastable synchronization by noise Anna Shalova Proof ideas or individual proof-step assistance math.PR 27 6 5 1,241.2
Uniform Lipschitz regularity for two-phase singularly perturbed fully nonlinear elliptic equations Thialita M. Nascimento, Aelson Sobral, Eduardo V. Teixeira Proof ideas or individual proof-step assistance math.AP 32 3 9 1,419.6
Flexibility for the SQG Equation with an $L^{4/3+}$ Active Scalar Elia Bruè, Rui Jin, Quoc-Hung Nguyen Computational experiments or data processing math.AP 48 2 3 694.05
ADMM Fails to Achieve an $O(K^{-1})$ Ergodic KKT Residual Bound Kaihuang Chen, Defeng Sun, Yancheng Yuan, Guojun Zhang, Xinyuan Zhao Substantial mathematical content or result generation math.OC 17 2 0 606
Hyperuniform Delone Realizations and Rigidity Michael Björklund Proof ideas or individual proof-step assistance math.DS 66 4 17 3,313.2
A Family of Simultaneously Cospectral Trees for Degree-Distance Matrices Limeng Lin, Quanyu Tang, Kehua Wang, Wei Wang Code generation, completion, or debugging math.CO 15 1 6 146.6
Lipschitz surjections between self-similar sets Attila Gáspár Rewriting existing author-written text math.MG 18 6 8 641
Measurable Matroids: Foundations and Min--Max Theorems Kristóf Bérczi, András Imolay, Ádám Schweitzer Substantial mathematical content or result generation math.CO 93 26 21 6,272
On The Eaton-Moretó Conjecture for Principal Blocks of Finite Groups Asier Arranz, Javier Gómez-Serrano, Gabriel Navarro, A. A. Schaeffer Fry Substantial proof generation math.RT 19 7 15 1,396
Mathematics in the age of the reproduction of intelligence Ali Enayat Substantial text generation math.HO 11 0 0 102.9
The second pole of Witten zeta functions and exact evaluations in types F4 and D5 Jonas Matuzas Substantial text generation math.RT 25 5 5 1,188.95
Supersaturation for Eventown via Generator Switching Zicheng Han, Xiande Zhang, Yuhao Zhao Proof ideas or individual proof-step assistance math.CO 12 2 4 584
A 32-leaf tree requiring six coordinates for an isometric $\ell_\infty$ embedding Logan R. Chalmers Drafting limited passages math.MG 6 2 1 143.75
Meshfree Snow Modelling using a Modified Cam-Clay Approach Erik Schlesinger, Chaitanya Sanghavi, Jörg Kuhnert, Carsten Schilde, Pratik Suchde Drafting limited passages math.NA 39 0 0 352.75
Singularities of rational maps: foundations and surfaces Caucher Birkar Proof ideas or individual proof-step assistance math.AG 63 9 5 2,613.6
Transpose Symmetry of Injectivity over Commutative Semirings Sixuan Gu, Wei Qi, Yaoyu Cheng Proof ideas or individual proof-step assistance math.RA 8 2 4 432
Absolute Borel Complexity of Moduli Spaces of Ultrametrics Yoshito Ishiki Proof ideas or individual proof-step assistance math.GN 11 4 3 532
Internalized Truth in Reflective Grounded Arithmetic Bryan Ford Substantial proof generation math.LO 22 16 0 1,344
A Sharp Diameter-Dependent Lower Bound for the First Nonzero Neumann Eigenvalue of Geodesic Triangles in Space Forms Shoo Seto, Guofang Wei, Yusen Xia Proof ideas or individual proof-step assistance math.DG 27 5 10 1,526
Fully nonlinear parabolic equations under a fixed reference diffusion:weighted $L^2$ Hessian estimates and well-posedness Jihao Long, Zhenhua Zhao Substantial mathematical content or result generation math.PR 61 21 13 3,881.5
New constructions of optimal arrangements of $2d$ lines in $\mathbb{C}^d$ Alexey Glazyrin Substantial mathematical content or result generation math.CO 11 5 2 836.5
Counterexamples to the Generalized Gaifman Conjecture Yi Zhang Substantial proof generation math.LO 4 3 0 352.5
A Curvature Gap for Minimal Submanifolds in Spheres Fagui Li, Yuhang Zhao Computational experiments or data processing math.DG 21 1 9 331.35
Quot scheme of points on torus knot singularities Yifeng Huang, Ruofan Jiang, Alexei Oblomkov Suggesting mathematical examples or conjectures math.AG 60 17 28 2,660.1
Polynomial interpolation and the Waldschmidt constant of points in projective space Tài Huy Hà, Aniketh Sivakumar Proof ideas or individual proof-step assistance math.AG 12 3 7 741.6
Stability conditions supported on Lefschetz classes Franco Giovenzana, Antonios-Alexandros Robotis, Franco Rota, Vanja Zuliani Literature search math.AG 13 5 5 217.5
On Brezis' open problem 2.2 Hong-Ge Chen, Yong Liu, Juncheng Wei, Wen Yang Drafting limited passages math.AP 33 1 18 1,272
Canonical traces of Artinian truncations of Stanley-Reisner rings Sora Miyashita Brainstorming or outlining math.AC 11 6 1 177.5
Equilateral Completion in Floretion Triangular Coordinates: Locality, Product Points, and Reflection Symmetry Creighton Dement Brainstorming or outlining math.CO 35 6 5 517.4
Absorption cutoff and stationary singularities for rounded Gaussian random dynamical systems Benny Avelin Drafting a complete proof for author revision math.PR 72 7 20 3,550.95
A finite-order characterization of entrywise positivity preservers Ludovick Bouthat, Dominique Guillot Proof ideas or individual proof-step assistance math.CA 20 5 1 870.8
The nonlinear Hausdorff-Young inequality Durvudkhan Suragan Drafting limited passages math.FA 17 2 6 515.5
Two Questions on $G$-harmonic Tuples Murali Menon Substantial proof generation math.GR 8 2 2 411
Bounded independence for the inverse star discrepancy Kosuke Suzuki Drafting limited passages math.NA 11 3 1 330.75
Disconnected graphs and extremal bounds for realizable distance orders Gerardo L. Maldonado, Leonardo Martínez-Sandoval, Miguel Raggi, Edgardo Roldán-Pensado Drafting limited passages math.CO 21 4 6 510.25
Weighted singular vectors in common-base self-similar sets Taehyeong Kim, Jaemin Park Proof ideas or individual proof-step assistance math.NT 15 2 4 655.6
How Many Samples Are Needed to Determine Causal Direction? Sharp Minimax Bounds for Bivariate LiNGAM Jikai Jin Substantial proof generation math.ST 36 2 8 1,835
Quasianalyticity and geometric rigidity in anisotropic Calderón's problem Lu Chen, Yan Jiang, Hongyu Liu, Longyue Tao Drafting limited passages math.AP 41 4 33 1,349.25
Uniform sine-kernel determinant asymptotics, tail-side quantiles, and prolate eigenvalue bounds Ahmadreza Azimifard Computational experiments or data processing math.FA 69 15 46 1,441.2
A finite forbidden family with superlinear surplus and no three-factor product extremizers Chuandong Xu Substantial proof generation math.CO 8 2 3 515.5
On the monotonicity of magnitude functions of negative type finite semimetric spaces Kiyonori Gomi, Hiroshi Tsuji Proof ideas or individual proof-step assistance math.MG 16 3 8 1,066.4
An exact formula for Erdős' problem 1005 Yanmohan Wang, Mingxu Xie, Ziyuan Zhao Proof ideas or individual proof-step assistance math.NT 9 7 5 731.6
The Nikolskii constant in odd dimensions D. V. Gorbachev Drafting limited passages math.CA 31 1 11 787.25
Uniformity without Projective Consistency: An Exact Counterexample for a Nested Binary Term Grammar Ivan Khalamendyk Drafting limited passages math.CO 13 0 0 120
Repetition Avoidance in Curling-Number Transforms Geoffrey Caveney, Haoxuan, Dong, Jeffrey Shallit Computational experiments or data processing math.CO 12 11 0 257.55
Maximum-Area Small Polygons of Even Order Dawid Trela Computational experiments or data processing math.MG 19 3 9 319.2
Lie methods for countably categorical Engel groups: the Wilson conjecture for $4$-Engel $5$-groups Christian d'Elbée Drafting a complete proof for author revision math.GR 15 5 0 938.25
A proof of Bickle's conjecture on collapsible graphs Xingzhi Zhan Proof ideas or individual proof-step assistance math.CO 17 0 0 276
Compact Support Property of Super-Brownian Motion with Irregular Drift Leonid Mytnik, Johanna Weinberger Rewriting existing author-written text math.PR 25 3 11 721.6
The Holonomy of Optimal Mass Transport: The Smooth Case Mahmoud Abdelgalil, Tryphon T. Georgiou Substantial mathematical content or result generation math.DG 6 2 0 363.5
Scaled boundary cubature scheme in higher dimensions: integration over polytopes and curved regions Eric B. Chin, N. Sukumar Substantial text generation math.NA 27 0 0 355.95
Sharp asymptotics for triangle independence and covering numbers Zhen Liu, Qinghou Zeng Proof ideas or individual proof-step assistance math.CO 5 1 1 218.8
A Counterexample to the Tang Zhang Schatten Norm Conjecture and Sharp Positive Results Zijian Zeng, Houde Liu, Kurunathan Ratnavelu Proof ideas or individual proof-step assistance math.CO 9 3 0 394.4
New lower bounds on domination--packing ratios in connected subcubic and cubic graphs JiSun Huh, Juho Kim Substantial mathematical content or result generation math.CO 15 2 10 1,027
Prüfer $2$-group and Milnor's Conjecture on Fundamental Groups Nan Wu, Zetian Yan Computational experiments or data processing math.DG 62 4 19 1,374.15
$F$-injectivity does not deform Karl Schwede, Austyn Simpson Substantial mathematical content or result generation math.AC 19 3 12 1,398.5
Five-Term and Higher Congruences Involving Arbitrary Sets and Short Intervals Modulo a Prime Yao Zhi Proof ideas or individual proof-step assistance math.CO 10 3 3 633.2
Singular-weight Conway-invariant Jacobi forms of index four Daren Dong Computational experiments or data processing math.NT 40 2 7 728.55
Positive quasimodular forms and the sign uncertainty principle Seewoo Lee Drafting a complete proof for author revision math.NT 36 4 3 1,510.2
A Harris recurrent continuous-time Markov process without wide-sense regenerative structure Yanlin Qu, Peter Glynn Substantial mathematical content or result generation math.PR 15 1 3 748
The Physical Cutoff Does Not Restore Homogenization: Phase-Dependent Burning in the Strain G-Equation Michele Caprio Code generation, completion, or debugging math.AP 63 4 7 423.7
A Ten-Vertex Counterexample to a Conjecture on Unstable Graphs Prateek R. Srivastava Drafting limited passages math.CO 2 1 0 51
A Proof of the Chen--Raspaud Conjecture Qi Wu, Yong Lu Proof ideas or individual proof-step assistance math.CO 11 2 7 554
Gain of Entrainment in Nonlinear Cascades Ram Massas, Michael Margaliot Proofreading, grammar, or spelling math.OC 12 2 1 75.55
A $p$-step generalization of the Q-order of convergence Gabriel Jarry-Bolduc Rewriting existing author-written text math.NA 11 0 0 76
The Awareness Logic of Ambiguity (ALA): Triadic Interpretive States and Their Structure-Preserving Operational Core Seyyed Ahmad Edalatpanah Proofreading, grammar, or spelling math.GM 41 8 4 317.9
Möbius Covariance and Coefficient Duality: From Bernoulli Series to Enumerative Applications Max A. Alekseyev Computational experiments or data processing math.CO 36 4 0 621.3
Random blob methods for diffusion Katy Craig, Claire Murphy Substantial proof generation math.NA 26 1 4 1,028.5
Topological perspectives on the vanishing of some Bogomolov multipliers Eric Samperton, Carlos Segovia Formatting or typesetting math.GR 14 7 2 84.15
Rigidity of isometries on vector and normed lattices Noel Murasko, Tomasz Szczepanski Proof ideas or individual proof-step assistance math.FA 28 5 7 1,332
On the Positivity of the Products of Positive Primitive Forms Yuhang Liu Substantial proof generation math.SG 15 5 6 1,225
Leaving the Hall: explicit formulas for Neguţ operators Michele D'Adderio, Giovanni Interdonato, Alessandro Iraci, Roberto Pagaria Code generation, completion, or debugging math.CO 46 17 15 706.5
The König constant is one Xinyuan Xie, Haonan Zhang Substantial mathematical content or result generation math.FA 22 3 7 1,771
Comment on arXiv:2106.08363v3 [math.NA], E. Abreu, A. Espirito Santo, W. Lambert, and J. Perez, Convergence of a Lagrangian--Eulerian scheme by a weak asymptotic analysis for one-dimensional hyperbolic problems Frederico Furtado, Felipe Pereira, Li-Ming Yeh Formatting or typesetting math.NA 18 0 0 29.65
A disproof of a gap-one conjecture for the equitable chromatic number of block graphs Juho Lauri Proofreading, grammar, or spelling math.CO 6 1 5 40.8
Zero-Sum Cycles in Regular Digraphs Varun Sivashankar Proof ideas or individual proof-step assistance math.CO 21 6 6 1,079.2
Nodal discontinuous Galerkin methods for non-ideal equations of state: pressure equilibrium preservation and entropy correction Jesse CHan, Hendrik Ranocha, Raymond Park, Joshua Lampert, Eric Ching, Ayaboe Edoh Computational experiments or data processing math.NA 38 0 1 354.9
Triangle-Free Graphs of Toughness Approaching Two Without a 2-Factor Songling Shan Formatting or typesetting math.CO 8 3 1 40.2
Hybrid Dealiasing and Implicit Packing for Real Convolutions Noel Murasko, John C. Bowman Code generation, completion, or debugging math.NA 19 0 0 90
Flattening and asymptotic orthogonalization of completely positive maps Yoonje Jeong Literature search math.OA 15 2 3 229.1
Finite Gaussian Reconstruction of Polynomial Orbits: From Correlated Moments to Oscillatory Periods Obayda Julien Assaad Proof ideas or individual proof-step assistance math.PR 54 15 3 2,820.4
The Erdős distinct distances problem in $\mathbb{R}^3$ Jonathan Tidor, Hung-Hsun Hans Yu, Dmitrii Zakharov Proofreading, grammar, or spelling math.CO 147 30 40 1,128.25
Positive Scalar Curvature and Volume Growth Bochao Kong, Xingyu Zhu Substantial mathematical content or result generation math.DG 18 5 2 1,707
The Kelly--Trotter product conjecture for posets of dimension three Zhaochen Dong, Kaiyun Wang Code generation, completion, or debugging math.CO 22 3 3 229.9
Nearly balanced spanning subdivisions in dense digraphs Zhilan Wang, Shuo Wei, Jin Yan Proof ideas or individual proof-step assistance math.CO 7 2 3 292.4
A greedy open-orbit criterion for solvable algebraic group actions, with applications to Lusztig's nilpotent varieties Erez Lapid Rewriting existing author-written text math.RT 37 6 12 721
Weight decomposition for toroidal abelian fibrations Younghan Bae, Jeremy Feusi, Aitor Iribar Lopez, Sam Molcho Computational experiments or data processing math.AG 100 20 33 1,984.5
A Shrinkage Path Heuristic for Wasserstein Distributionally Robust Optimization Lingjun Meng, Ryan Cory-Wright, Wolfram Wiesemann Drafting limited passages math.OC 48 5 9 898
Analysis of a Conforming Finite Element Method for Second-Harmonic Generation Scattering Ansh Desai, Peter Monk Proof ideas or individual proof-step assistance math.NA 23 3 2 788.4
A counterexample to a question on the maximality of purely-primes Abolfazl Tarizadeh Substantial mathematical content or result generation math.AC 6 1 2 240.5
Ollivier--Ricci Curvature on Groups of Polynomial Growth Camillo Brena, Elia Bruè Proof ideas or individual proof-step assistance math.DG 36 9 9 1,716.8
The Quartic Hessian Conjecture in Dimension Four Zixiang Ni Proof ideas or individual proof-step assistance math.AG 12 2 8 736.4
The alpha spectrum of K-polystable toric $\mathbb{Q}$-Fano varieties Xian Wu Suggesting mathematical examples or conjectures math.AG 6 2 2 428.7
Kostant--Kumar modules: presentation and multiplicities Manika Gupta, K. N. Raghavan, Sankaran Viswanath Proofreading, grammar, or spelling math.RT 27 4 7 176
Scrollar invariants of singular curves on toric surfaces Karl Christ, Xiang He, Ilya Tyomkin Proof ideas or individual proof-step assistance math.AG 23 3 6 977.6
Local Smith Profiles of Twisted Calabi--Yau Algebras Atabey Kaygun Suggesting mathematical examples or conjectures math.RA 13 5 5 610.5
A counterexample to Kusner's conjecture on equilateral sets Logan R. Chalmers Drafting limited passages math.MG 7 1 1 142.25
Resilient Spectrum Scheduling for Colocated Space Networks Most Esrat Jahan, Md. Kamrujjaman Rewriting existing author-written text math.GM 19 4 0 268.2
Pure braid groups are RFRS Xiaolei Wu, Shengkui Ye Proof ideas or individual proof-step assistance math.GR 13 6 7 1,138.8
On the Lei--Bai conjecture on $5$-regular Lin--Lu--Yau Ricci-flat graphs Guangfu Wang, Wensheng Sun, Yujun Yang Proofreading, grammar, or spelling math.CO 15 7 3 95.55
The Fino-Vezzoni conjecture on balanced Bismut torsion-parallel manifolds Shuwen Chen, Fangyang Zheng Proof ideas or individual proof-step assistance math.DG 15 1 9 772.4
$C_2$-Cofiniteness and Rationality of the Icosahedral Orbifold $V_{L_2}^{A_5}$ Shun Xu Brainstorming or outlining math.QA 41 4 22 507.3
A counterexample to a log-concavity conjecture of Brenti Christian Gaetz Substantial mathematical content or result generation math.CO 3 1 0 127
Sharp Minimax Theory for Randomized Experiments Timothy Sudijono, Edgar Dobriban, Eric Tchetgen Tchetgen Proof ideas or individual proof-step assistance math.ST 38 7 5 1,205.6
Homological Mirror Symmetry for Affine Log Calabi-Yau Surfaces Umut Varolgunes Rewriting existing author-written text math.SG 22 7 3 546.8
Best Response Dynamics for Zero-Sum Dynamic Games with Partial-Asymmetric Information Yuxiang Guan, Iman Shames, Tyler H. Summers Rewriting existing author-written text math.OC 34 0 0 295.8
The small Davenport constant of the Heisenberg group of order 343 Andreas Volkmann Proof ideas or individual proof-step assistance math.CO 15 3 5 707.2
An Almost-Covering Threshold for Golomb-Ruler Difference Packings Chaohang Ma, Xiangjie Yi Rewriting existing author-written text math.CO 9 3 1 232.8
The Exact Completion of the Category of Polish Groups Martino Lupini Drafting limited passages math.CT 34 5 5 4,055.5
HRT counterexamples with exponential tails John Jasper, Dustin G. Mixon Proof ideas or individual proof-step assistance math.FA 12 2 5 541.2
A solution to Banach's isometric conjecture Xinbao Lu, Kaiwen Yang Proof ideas or individual proof-step assistance math.FA 21 5 19 1,314.8
More than two thirds of the zeta zeros are simple and on the critical line Levent Alpöge, Ralph Furman Substantial proof generation math.NT 21 3 7 1,295
The distribution of $k$-free ideals in ray class groups Adrian Barquero-Sanchez, Jack Heimrath, Bernd Sing, Nicolás Sirolli, Caylee Spivey, Michael Wijaya Code generation, completion, or debugging math.NT 24 6 3 264.3
A positive answer to the generalized Chang-Yang conjecture on $\mathbb{S}^N$ Changfeng Gui, Tuoxin Li, Juncheng Wei, Zikai Ye Drafting limited passages math.AP 26 7 12 1,229.75
A Nonmonotone Real-Rootedness Set for Symmetric Imaginary Shifts Vasily Stodolsky Substantial mathematical content or result generation math.CV 7 1 0 185.5
Fundamental Gaps for the Dirichlet \(p\)-Laplacian with Convex Potentials: Sharp One-Dimensional Bounds and a Higher-Dimensional Dichotomy Rui Chen, Daniel Hauer Drafting limited passages math.AP 35 7 9 1,193
Polynomial gaps below linear growth for Kreiss bounded semigroups and operators Loris Arnold Proofreading, grammar, or spelling math.FA 17 3 3 121.65
Weighted Besov Spaces on Homogeneous Lie Groups and Applications to Parabolic Anderson Models Harprit Singh Proofreading, grammar, or spelling math.AP 36 7 10 171.45
Nearly sharp comparison results for sliced and max-sliced Wasserstein distances Jonathan Niles-Weed, Jacob Shkrob Proof ideas or individual proof-step assistance math.PR 23 4 8 859.2
Gross vectors modulo 2 and elliptic curves of prime conductor Matija Kazalicki, Siniša Slijepčević Proof ideas or individual proof-step assistance math.NT 18 2 9 1,094.8
Aging in a spin glass with logarithmic correlations Aser Cortines, Oren Louidor, Heng Ma, Adela Svejda Proof ideas or individual proof-step assistance math.PR 72 9 30 4,628.8
A Note on Compactness and Clique Size David V. Feldman, Alexander Wilce Code generation, completion, or debugging math.GN 14 1 2 126.7
Optimal semigroup estimates and functional calculus for the Laplacian on weighted Sobolev spaces Floris Roodenburg Proof ideas or individual proof-step assistance math.AP 23 4 7 1,152.4
Parabolic BMO Spaces, Muckenhoupt Weights, and Reverse Hölder Classes with Time Lag: Equivalence and Characterizations Weiyi Kong, Dachun Yang, Wen Yuan Brainstorming or outlining math.CA 24 3 7 240.7
Categorification of the genus two DAHA Semeon Arthamonov, Ievgen Makedonskyi, Daniil Sarafannikov Rewriting existing author-written text math.RT 21 6 15 890
The Gromov-Hausdorff Distance Between Consecutive Spheres Donghan Kim, Sunhyuk Lim, Facundo Memoli Proof ideas or individual proof-step assistance math.MG 89 1 28 4,369.6
Covering the ternary cube by binary subcubes Peiru Kuang, Yan Wang Proof ideas or individual proof-step assistance math.CO 6 1 3 227.2
Null polynomials over a finite ring need not form a two-sided ideal Valentin Havlovec Substantial mathematical content or result generation math.RA 4 1 0 158.5
Universality in dimension 1 of kinetically constrained lattice gases Assaf Shapira Code generation, completion, or debugging math.PR 16 3 13 269.8
Homogeneous Weights on Semigroup Algebras of Finite Commutative Semigroups M. H. Shahzamanian Proofreading, grammar, or spelling math.RT 37 5 10 211.45
New Quantitative Bounds for the $(p,q)$-Theorem for Unions of Convex Sets Chaya Keller, Shakhar Smorodinsky Rewriting existing author-written text math.CO 21 13 13 801.8
Computer-assisted Proof Under Audit: Typos, Certificate Errors, and Reproducible Exact Checks for a Symbolic Invertibility Proof Fan Zheng Computational experiments or data processing math.AP 28 0 1 285.45
Spectral and Isoperimetric Bounds on Flat Tori Emanuel Milman Substantial text generation math.SP 11 2 3 401.1
Dynamical comparison for local homeomorphisms Shirly Geffen, Shanshan Hua, Julian Kranz Drafting a complete proof for author revision math.OA 28 7 9 1,638.9
Minimal Nilpotent Orbits of type G2, F4 and E8 Boming Jia Substantial mathematical content or result generation math.RT 11 2 6 881
Constructions of almost controllable graphs determined by their generalized spectra Wei Wang, Manjin Shi, Fenjin Liu Proofreading, grammar, or spelling math.CO 12 9 3 96.5
Non-derivability of Euclidean Division in $\mathrm{PA}_{\mathrm{smu}}^{-}$ Naoya Kato Proof ideas or individual proof-step assistance math.LO 14 1 7 654.4
Schwarz Symmetrization Can Increase a Nonlocal Thereshold Energy Qinyang Li Proofreading, grammar, or spelling math.AP 7 1 1 31.6
The Hayman--Wu constant is $π^2$ Paata Ivanisvili Drafting limited passages math.CV 6 1 1 136.5
Fundamental Mathematics in the Age of AI -- The Residue, the Journey, and the Ecology Benjamin Collas Drafting limited passages math.HO 17 0 0 98.5
Laminations and External Angles for Similarity Pairs Danny Calegari, Alden Walker Code generation, completion, or debugging math.DS 54 9 22 789.5
Extensions of One-Sided Box Geometry and Pyramid Invariants to gd-Sets and qm-Spaces Shigeaki Yokota Drafting limited passages math.MG 26 4 7 1,021
Hyper-V uniform ergodicity of Markov chains Austin Brown, Kshitij Khare Proof ideas or individual proof-step assistance math.ST 25 5 0 841.2
The multiplicity sequence of monomial ideals Sudipta Das, Jonathan Montaño, Aniketh Sivakumar Rewriting existing author-written text math.AC 15 4 7 462.2
Scattering by a medium with self-similar or fractal structure Habib Ammari, Yat Tin Chow, Fuqun Han Code generation, completion, or debugging math.SP 46 4 8 522.9
Algebraic constructions of point sequences with quasi-uniform two-dimensional projections Takashi Goda Drafting limited passages math.NT 24 4 3 567.75
Volume and Projection Inequalities I: Zonoids and Courtade's Conjecture Matthieu Fradelizi, Alfredo Hubard, Auttawich Manui, Cheikh Saliou Ndiaye, Shouda Wang, Artem Zvavitch Proof ideas or individual proof-step assistance math.MG 27 5 3 1,044.8
Universality of e-detectors for ARL control Aaditya Ramdas Suggesting mathematical examples or conjectures math.ST 47 15 3 2,394.3
The Noetherian Case of Bayart's Power-Series Question Viet-Hoang Tran, Dung V. Nguyen, Quang X. Nguyen, Thieu N. Vo, Tan M. Nguyen Suggesting mathematical examples or conjectures math.AC 12 1 4 423.6
Density Estimation on Compact Manifolds under Intrinsic Spectral Block Variation Olga Klopp, Fedor Noskov Formatting or typesetting math.ST 54 6 8 369.75
A Quantum Latin Square of Order Six with Cardinality 29 Aishwarya P. Das, Durgesh Kumar Computational experiments or data processing math.CO 9 1 1 133.65
Density bounds for permutations avoiding monotone arithmetic progressions Jesse Geneson Proof ideas or individual proof-step assistance math.NT 14 2 13 830.4
Lommel polynomials and explicitly solvable prediction problems on the unit circle Steven P. Clark Substantial mathematical content or result generation math.CA 18 3 6 945.5
On the optimal constant in the Montgomery-Vaughan weighted Hilbert inequality Brad Rodgers Substantial proof generation math.CA 6 1 0 194.5
Grothendieck's theorem for Bessel sequences Lukas Liehr, Mitchell A. Taylor, Peiyang Yu Substantial proof generation math.FA 15 6 3 933
Power sums and Siegel-type zero-free regions for L-functions Jesse Thorner Proofreading, grammar, or spelling math.NT 21 5 13 159.75
On the Turán Density of $C_{10}$ in the Hypercube Marko Pejić Proof ideas or individual proof-step assistance math.CO 4 1 0 156.8
Nielsen classes in outer automorphism groups of free groups Ilya Kapovich Drafting limited passages math.GR 20 6 5 911.5
Integrability of Freely Infinitely Divisible Distributions and Lévy Measures Yu Kitagawa Brainstorming or outlining math.PR 18 8 9 307.9
The Average Singular Value of a Real Square Gaussian Random Matrix Strictly Increases with Dimension Ondrej Hutník Rewriting existing author-written text math.PR 28 2 5 732.2
The Average Singular Value of a Complex Gaussian Random Matrix Strictly Decreases with Dimension Ondrej Hutník Rewriting existing author-written text math.PR 29 2 6 752.2
Two Relaxations of the Dominating Hadwiger's Conjecture António Girão, Sergey Norin, Youri Tamitegama, Jane Tan Proof ideas or individual proof-step assistance math.CO 20 1 12 773.6
The 196560 auxiliary-function conjecture for the Leech lattice Yutong Zhang, Yaoran Yang Proof ideas or individual proof-step assistance math.NT 16 1 3 664.4
Complexity rank one implies real rank zero Qingnan An, Zhichao Liu Drafting a complete proof for author revision math.OA 16 3 5 1,052.1
Word-Length Spectral Triples of $(\mathbb{Z}/2\mathbb{Z})\wr\mathbb{F}_{d}$ Are Not Metric Mario Klisse Substantial mathematical content or result generation math.OA 11 2 3 644
$m$-Bell and $m$-Stirling numbers: Iterated binomial transforms, hyper-Bessel functions, and moments of the Conway--Maxwell--Poisson distribution Vencislav Popov Proof ideas or individual proof-step assistance math.CO 41 18 3 2,252.8
Generation of finite groups from subgroups of coprime index Richie Sater Proof ideas or individual proof-step assistance math.GR 7 1 5 484.8
On spanning trees whose degrees are congruent to one modulo $\ell$ Zhidan Yan, Wei Wang Proofreading, grammar, or spelling math.CO 12 8 3 97.7
Variational Principles and Rearrangement Inequalities for asymmetric Operators on Periodic Lattices Xing Liang Proof ideas or individual proof-step assistance math.AP 16 3 4 879.6
Conifold Gap Theorem for Topological Recursion Bohan Fang, Juping Chen, Linji Chen, Zhengyu Zong Proof ideas or individual proof-step assistance math.AG 51 11 3 2,090.4
Invariant Functions on $p$-divisible Groups and the $p$-adic Corona Problem II Behzad Nikzad, Christopher Deninger Substantial proof generation math.AG 4 2 0 195
Equalities among simplest quartic fields: a complete classification Zhi-Lin Zhang Substantial proof generation math.NT 8 6 0 786.5
Sharp bounds for frame counts and setwise stabilizers in classical groups Kaloyan Slavov Substantial proof generation math.AG 32 8 9 1,879.5
Regulators of canonical extensions are torsion:the case of two transversally intersecting smooth divisors Jaya NN Iyer, Carlos Simpson Proof ideas or individual proof-step assistance math.AG 43 2 21 2,433.6
Every 2-Subdivision of a Cubic Graph Is Antimagic Fei-Huang Chang, Teng-Da Chang, Zhishi Pan Suggesting mathematical examples or conjectures math.CO 18 2 2 351.6
Fermat's Last Theorem in star-invariant subspaces: capacity-zero boundary spectrum Stephan Ramon Garcia Literature search math.CV 6 1 3 60.8
Sharp Phase Transition for Ellipsoid Fitting Sofia de la Cerda, Aaron Potechin, Madhur Tulsiani, Jeff Xu Rewriting existing author-written text math.PR 116 4 15 2,771.2
Sobriety of Regular Open Algebras in Second-Countable T3 Spaces Xiaoyong Xi, Chong Shen, Dongsheng Zhao Rewriting existing author-written text math.GN 14 5 10 469.2
Higher Regularity of Homogeneous Gradient Compositions for $p$-Laplace-Type Equations Quoc Hung Nguyen, Le Xuan Truong Drafting limited passages math.AP 24 4 2 616
Minkowski Polytopes of Spherical Designs: High-Order Isotropy and Quantitative Sphericity Congpei An Drafting limited passages math.MG 22 12 0 885
Tripartite Zarankiewicz numbers and norm graphs Yantao Tang, Yi Zhao Drafting limited passages math.CO 8 4 1 292.75
A solution to Butler's positivity conjecture Peter L. Guo, Mingyang Kang, Rui Xiong Drafting limited passages math.CO 6 2 2 170.5
A dense-case theorem for Seymour's second neighborhood conjecture Jake Brukhman Substantial mathematical content or result generation math.CO 6 1 1 290
A Proof of Gluck's Conjecture Baoyu Zhang Code generation, completion, or debugging math.GR 27 11 20 517.6
Submodular and strongly submodular functions and diversities David Bryant, Paul F. Tupper Proof ideas or individual proof-step assistance math.CO 30 7 0 1,035.6
Optimal lower bounds for epsilon-nets for lines in the plane Ilay Hoshen, Wojciech Samotij Proof ideas or individual proof-step assistance math.CO 6 2 5 368.8
Predict-then-Optimize Framework for Public Transport Line Redesign under Fluctuating Traffic Conditions Zihao Guo, Andrea Araldo, Faycal Touzout, Mounim El-Yacoubi Proofreading, grammar, or spelling math.OC 36 0 0 62.7
(Non-)coincidence of critical parameters for Poisson Zoos and Loop Soup Percolation on $\mathbb{Z^d}$, $d > 4$, and $\mathbb{T}_d$,$ d \ge 3$ Volker Betz, Alexander Drewitz, Andreas Klippel, Christian Mönch Code generation, completion, or debugging math.PR 29 3 6 224
Lions' Maximal Regularity Problem for Divergence-Form Differential Operators: Failure at the $\frac{1}{2}$-Hölder Endpoint Lukas Niebel Substantial mathematical content or result generation math.AP 21 1 3 1,141.5
A reformulation of the discrete Convexity Conjecture via $k$-thresholds Ruben Ascoli, Xiaoyu He, Jinyoung Park, Michel Talagrand Proofreading, grammar, or spelling math.CO 22 10 4 149.95
Released packing functions in graphs Pablo Fekete, Erica Hinrichsen, Valeria Leoni, María Inés Lopez Pujato Proofreading, grammar, or spelling math.CO 11 4 2 60.9
The Geometry of Cochains on Sampled Vietoris-Rips Complexes Darrick Lee, Kelly Maggs Substantial proof generation math.DG 45 7 23 4,113
Kohayakawa's conjecture and clique coverings of complements of paths and cycles Bo Ning Proof ideas or individual proof-step assistance math.CO 16 4 5 819.6
The $C^*$--ISR Property for $\text{PSL}_n(\mathbb{Z})$ Tattwamasi Amrutam Rewriting existing author-written text math.OA 22 2 23 671.2
Sharp Beckner's Inequalities for Axially Symmetric Functions on $\mathbb{S}^N$ Changfeng Gui, Tuoxin Li, Juncheng Wei, Zikai Ye Drafting limited passages math.AP 25 5 8 1,014.25
Solutions to Five Challenge Problems in Enumerative and Algorithmic Combinatorics, with an Account of the Human-Machine Methodology Employed Jaideep Sai Padhi Drafting limited passages math.CO 42 10 14 1,144.75
A Fourier-analytic Uniqueness Theorem for Lattice-point Enumerators António Rocha-Neves Brainstorming or outlining math.CO 4 2 1 51.8
Chooser-Picker Degree Games for Regular Graphs Lajos Győrffy Rewriting existing author-written text math.CO 17 8 0 333.4
A Bayesian Proof of the Bernoulli Theorem Jingbo Liu, Ilias Zadik Proof ideas or individual proof-step assistance math.PR 30 5 9 1,788.4
Gromov-Wasserstein Quantization and Clustering: Structure, Rates, and Algorithms Florian Beier, Stephan Eckstein Code generation, completion, or debugging math.OC 50 8 9 563.3
Degree Game for Special Regular Graphs Lajos Győrffy Rewriting existing author-written text math.CO 13 4 5 278.8
Sharpness of the avalanche phase transition in the Bak--Sneppen model Olivier Hénard Proof ideas or individual proof-step assistance math.PR 30 4 9 2,029.6
Invisible singularities in complex algebraic geometry Maurício Corrêa, János Kollár, Stefan Schreieder, Botong Wang Drafting limited passages math.AG 27 9 7 960.5
Prescribed-performance position tracking for infinite-dimensional passive systems Anthony Hastir, Timo Reis Rewriting existing author-written text math.OC 38 0 0 514.6
A higher-connectivity spectral Ore theorem for triangle-free graphs Joyentanuj Das, Sayan Gupta Proof ideas or individual proof-step assistance math.CO 20 2 5 878
Equationless quadratic Chabauty for non-split Cartan modular curves Sachi Hashimoto, Guido Maria Lido, Davide Lombardo, Nicolas Mascot, Pierre Parent Code generation, completion, or debugging math.NT 70 2 10 477.7
Distinguishing elliptic curves modulo $p$ and identifying images of product representations Jessica Bennett, Jeffrey Hatley, Sasha Kononova, Vincent Macri, Zachary Porat, Naina Praveen Substantial mathematical content or result generation math.NT 22 9 8 1,868.5
A nearcircumsphere-Ramsey Theorem for Solvable Transitive Configurations Dömötör Pálvölgyi Substantial proof generation math.CO 27 6 7 1,519.5
An affine local criterion for toric projective space bundles Osamu Fujino, Hiroshi Sato Suggesting mathematical examples or conjectures math.AG 15 2 6 574.5
The Weinstock inequality for convex domains in hyperbolic space Jin Sun, Lili Wang, Tao Wang Rewriting existing author-written text math.SP 9 5 4 347.8
Fixed forests in the minimum spanning tree and cubic volume growth Luca Makowiec Proof ideas or individual proof-step assistance math.PR 29 3 13 1,720.4
Spectral gap of the normalized distance Laplacian Hitesh Kumar, Kamal Lochan Patra Brainstorming or outlining math.CO 8 2 0 66.3
Valued Mosaics Alessandro Linzi Proof ideas or individual proof-step assistance math.CT 20 10 6 1,569.6
Asymptotic stability of the degree-one vortex in the abelian Yang-Mills-Higgs model: Spectral Theory and Numerics Jonas Luhrmann, José M. Palacios, Fabio Pusateri, Wilhelm Schlag, Sohrab Shahshahani Code generation, completion, or debugging math.AP 81 1 19 727.5
Small Lie algebras in the Verlinde category Joseph Newton Code generation, completion, or debugging math.RT 32 5 6 323.9
Nonradial stable solutions near the Joseph--Lundgren threshold Shibing Chen, Yong Liu, Juncheng Wei, Wen Yang Drafting limited passages math.AP 43 6 25 1,598.25
Tensor-normal maximum likelihood estimation at the operator-norm sample threshold Hengzhi He, Guang Cheng Substantial proof generation math.ST 16 1 4 680
Predicting Diagonalizability of a Mean Matrix Jinze Zhao Substantial mathematical content or result generation math.ST 10 2 3 624
Integral inequalities for $α$-convolutions of $α$-concave functions Mokshay Madiman, Auttawich Manui, Bartłomiej Zawalski, Artem Zvavitch Proof ideas or individual proof-step assistance math.FA 37 5 11 1,750.4
An Exact Dominant Degree Condition for Transitive Tournament Factors in Digraphs Yufei Chang, Shuo Wei, Jin Yan Literature search math.CO 7 9 5 182.4
A lower bound for stepsize-based acceleration of gradient descent Jianhao Ma, Yuxin Chen Substantial proof generation math.OC 30 2 9 1,465.5
Quadratic Expansion over Prime Fields via Centered Collisions and Popular-Sum Amplification Zhi Yao Proof ideas or individual proof-step assistance math.CO 10 4 2 597.6
An Optimal Energy Production Problem with Energy Source Switching and Load Following Nuclear Power Plants Fabio Baschetti, Alessandro Gnoatto, Athena Picarelli Proofreading, grammar, or spelling math.OC 29 1 0 69.6
A Necessary and Sufficient Hall Condition for Hypergraphs Xiaoyao Huang Rewriting existing author-written text math.CO 17 3 6 395.6
The sharp SAT/UNSAT phase transition in random ellipsoid fitting Theodor Misiakiewicz, Garrett G. Wen Proof ideas or individual proof-step assistance math.PR 47 4 25 2,245.2
Dynamic $e$-closure for online hypotheses with any-time-valid evidence: closure principles and projective mergers Rianne de Heide Suggesting mathematical examples or conjectures math.ST 41 11 1 1,623.6
A no-go theorem for special Ulrich bundles, with a complement on primary Burniat surfaces Cristian Anghel, Filip Chindea Proof ideas or individual proof-step assistance math.AG 36 5 13 1,583.2
Rooted Gibbs-DLR Measures in Planar Directed Polymers Christopher Janjigian, Firas Rassoul-Agha, Timo Seppäläinen Rewriting existing author-written text math.PR 64 11 36 2,743.6
Maximizing the algebraic connectivity of graphs of given order and size: a proof of a conjecture of Kolokolnikov Sebastian M. Cioabă, Abhay Jayarajan, M. Rajesh Kannan, Rahul Roy Proof ideas or individual proof-step assistance math.CO 27 7 8 1,037.2
A random Lipschitz function detecting jumps Dmitriy Stolyarov Proof ideas or individual proof-step assistance math.MG 5 2 0 171.6
Grothendieck weights and K-theoretic positivity for matroids Yiyu Wang Proof ideas or individual proof-step assistance math.AG 50 6 18 3,492.8
On B-Colorings in Planar Graphs Anthony Vuolo Suggesting mathematical examples or conjectures math.CO 7 3 0 190.2
A pre-triangulated category which is not triangulated Xiao-Wu Chen, Jian Liu, Xue-Song Lu, Chencheng Zhang Substantial mathematical content or result generation math.CT 14 3 5 1,035
Information geometric regularization for computing sensitivities of flows with shocks Florian Schäfer Drafting limited passages math.NA 21 0 0 276.75
Tor and Ext vanishing results for commutative Artinian rings Bernhard Böhmler, Rene Marczinzik Substantial mathematical content or result generation math.AC 14 6 0 742
A pyramid with a Ramsey base is Ramsey Kenneth Moore Brainstorming or outlining math.CO 5 3 1 64.8
A remark on Weyl-type bounds for Steklov eigenvalues Luigi Provenzano Proof ideas or individual proof-step assistance math.SP 16 3 4 966
Factorization and vanishing of Schur polynomials twisted by roots of unity and reciprocal pairs Carles Marín Literature search math.CO 66 10 16 631
Decreasing Runs in Quasi-Stirling Permutations of Multisets Hanqian Fang Proofreading, grammar, or spelling math.CO 21 6 4 113.35
Classification of anomalous actions of finite groups with the Rokhlin property Sergio Girón Pacheco, Gábor Szabó Proofreading, grammar, or spelling math.OA 42 13 11 256.05
Conditional Uniqueness and Optimal Energy-Norm Convergence for the Dynamic Diffusion Finite Element Method Isaac P. Santos Rewriting existing author-written text math.NA 35 7 8 837.4
Remarks on some Homological Problems regarding Infinite Integral Extensions Mohsen Asgharzadeh, Shravan Patankar Drafting a complete proof for author revision math.AC 14 9 1 1,300.95
Balancing fractional Brownian motion Hengrui Luo, Yiming Xu Proof ideas or individual proof-step assistance math.PR 39 5 8 1,394
The hyperkähler period-index conjecture is false Pieter Belmans, James Hotchkiss Substantial mathematical content or result generation math.AG 11 3 10 795
On the Hautus test for exact observability of normal semigroups Jannik Daun, Birgit Jacob Proof ideas or individual proof-step assistance math.OC 19 2 3 1,266
A sharp extension of Halin's removable-edge theorem to matchings Hojin Chu Drafting a complete proof for author revision math.CO 12 5 3 657
A proof of Ross's conjecture for two-site moving-target search Yunpeng Li Proof ideas or individual proof-step assistance math.PR 30 4 11 1,345.6
A Pole-Subtracted Limiting Absorption Principle for Clusters of High-Contrast Elastic Subwavelength Resonators Yixian Gao Rewriting existing author-written text math.AP 39 13 11 1,339.8
A new example of crystalline-type measure with unit masses and an application to tiling of the real line by translates of a function Anton Tselishchev Formatting or typesetting math.CA 11 2 0 37.95
Pseudo--Kähler induction on Lie groups with entire Grauert tubes Gabriele Barbieri, Andrea Galasso Drafting limited passages math.SG 47 9 14 1,230.25
Entropic Partial Optimal Transport and Partial Gromov--Wasserstein Distance between Gaussian Mixtures Toshiaki Yachimura, Xiaocheng Zou Drafting limited passages math.OC 39 7 2 836.25
Diffeological Tangent Spaces and Distributional Linearization for Lifted Euler--Reynolds Limits Alireza Ahmadi, Jean-Pierre Magnot, Bijan Davvaz Drafting limited passages math.AP 36 7 7 1,492
Time-Dependent Potential Recovery from Local Data on Conformally Transversally Anisotropic Manifolds Yujian Zheng, Zhiwen Duan, Shiqi Jing Drafting limited passages math.AP 30 1 4 1,019.75
Critical $p$-Laplace equations with monotone coefficients: Liouville classification and a Schoen-type Harnack inequality Yi Ru-Ya Zhang Computational experiments or data processing math.AP 66 2 18 1,074.15
Exact Periodicity, Surjectivity, and a Haar Limit Law for a Restarting Josephus Process Lizhong Chen Drafting limited passages math.CO 26 4 8 885.25
Two-Step MV-DeepONet: Probabilistic Operator Learning for Uncertainty Propagation Driven by Random Input Fields Yupei Nie, Lei Wang, Jiasen Liu Rewriting existing author-written text math.NA 41 0 0 359.6
Rickard's question on standard derived equivalences Wei Hu, Changchang Xi, Jin Zhang Proof ideas or individual proof-step assistance math.RT 21 3 7 864.8
Provable Parameter-Free Fixed-Point Algorithms with Linear Convergence Rates Quoc Tran-Dinh, Pham Ngoc Anh, Ha Manh Tien Computational experiments or data processing math.OC 28 3 4 275.85
A Tight Lower Bound for Smooth Nonconvex Stochastic Optimization with Bounded Gradient Noise Jikai Jin Substantial proof generation math.OC 22 1 8 1,071
A proof of the cyclotomic conjecture and the non-existence of almost Moore digraphs Jaskaran Kaur, Hitesh Kumar Brainstorming or outlining math.CO 16 4 5 172.4
Jacobi descent charts and logarithmic quotient coordinates for split symmetric spaces Jonathan Sparling Rewriting existing author-written text math.RT 39 11 15 1,150.8
A computer-assisted counterexample to the planar Berenstein conjecture Matthew J. Colbrook, Siavash Sadeghi, George Stepaniants Brainstorming or outlining math.AP 24 3 5 221.8
Countable compactness in powers of topological groups and Ramsey theoretic variations of compactness Vinicius de Oliveira Rodrigues, Paul Jan Szeptycki, Artur Hideyuki Tomita Proofreading, grammar, or spelling math.GN 44 0 0 48
All Polyominoes are $C_4$-face-magic Parikshit Chalise, Richard M. Low, Arman Eisenkolb-Vaithyanathan Drafting a complete proof for author revision math.CO 8 1 2 341.55
The universal cover of the second-type locus of a cubic Frank Gounelas Drafting limited passages math.AG 11 1 5 338.75
Exact Ordered Ruzsa-Szemeredi Numbers for Matchings of Size Two Xidan Song, Ruifeng Cao Proof ideas or individual proof-step assistance math.CO 16 9 6 1,255.6
Sharp $\ell^p$-Improving Estimates for Fixed-Radius Discrete Spherical Averages Rui Han, Fan Yang Computational experiments or data processing math.CA 22 5 7 438.6
A human-checkable proof of the 112-vertex counterexample to the Petersen coloring conjecture Jorik Jooken Rewriting existing author-written text math.CO 9 1 2 124
Simultaneous Group-Envelope Bounds for $Γ$-Robust Multiple-Choice Knapsack Problems Zi Yuan Eric Shao Drafting limited passages math.OC 19 4 1 340
The $Δ$-Conjecture for CIS $d$-Graphs Yinchen Liu, Quanyu Tang Proof ideas or individual proof-step assistance math.CO 5 2 2 238
Response Geometry for Einstein metrics Anna Siffert Proof ideas or individual proof-step assistance math.DG 21 6 0 1,347.2
Overlap distribution of the critical Sherrington-Kirkpatrick model Hang Du, Brice Huang Substantial proof generation math.PR 36 2 16 2,080.5
Twisted Bernoulli Zeros in Quasi-Linear Time: Distribution, Depth, and Explicit Hilbert Class Components Peter Chocian Drafting limited passages math.NT 13 3 1 309.5
Jacobi Endpoint Pencils and Sharp Interlacing for Centered Binomial Samples Seokho Jin Rewriting existing author-written text math.CV 62 9 30 1,618.6
Formal squares over the unit square separate FS-domains from RB-domains Marco Abbadini Substantial proof generation math.GN 24 6 8 1,730.5
Forcing Quasirandomness via Rooted F-Densities Heng Li, Xizhi Liu Proof ideas or individual proof-step assistance math.CO 21 8 4 1,229.2
Exact Finite-Horizon Memory, Conditioning, and Dissipative Decay in Coarse Upwind Finite-Volume Prediction Antonis Polemitis, Nicholas Christakis, Dimitris Drikakis Proof ideas or individual proof-step assistance math.NA 27 3 1 986.4
Finite Gram Scalarization and Further Properties of Multiplier Submodule Sheaves Jingcao Wu Substantial mathematical content or result generation math.CV 21 14 3 1,993
Loeb Equivalence for General Internal Probability Spaces Haosui Duanmu, Xinyu Liu, David Schrittesser Drafting a complete proof for author revision math.LO 18 5 6 938.25
The $q<1$ Random-Cluster Model on Wired Trees: Uniqueness and Negative Dependence Heehyun Park Rewriting existing author-written text math.PR 32 7 11 754.6
The Mathieu group $M_{23}$ is a Galois group over $\mathbb{Q}$ Xiaoyu Huang, Blake Jackson, Kyu-Hwan Lee, Bjorn Poonen, Rachel Pries, Shaowu Zhang Computational experiments or data processing math.NT 10 2 3 150
On Sun's Conjectures for Truncated Jacobi-Symbol Determinants via Supersingular Elliptic Curves Guo Li, Xiaoju Yan Computational experiments or data processing math.NT 15 6 3 379.5
Searching for $J$-holomorphic curves via machine: first steps James Rowan, Yuan Yao Code generation, completion, or debugging math.SG 26 0 0 75.1
Tangent discontinuity in the oper stratification of de Rham moduli spaces Pengfei Huang Suggesting mathematical examples or conjectures math.AG 11 1 3 351.3
A Disproof of Santharoubane's Conjecture on Presentations of Generic Skein Algebras Jin-Cheng Guu Rewriting existing author-written text math.GT 12 1 3 276
$R$-Bunce-Deddens Algebras Allen Zhang Proof ideas or individual proof-step assistance math.RA 13 10 6 1,059.2
A SAT Attack on Tarski's High School Algebra Problem Bernardo Subercaseaux, Benjamin Przybocki Code generation, completion, or debugging math.LO 21 2 5 144.8
Lexicographic functional calculus and its application to functional calculus calculus Evangelos A. Nikitopoulos Proofreading, grammar, or spelling math.FA 58 19 10 382.85
Lasso Universality Under Linearly Dependent Covariates in the Sparse Regime Soroush Mesforush, Rahul Parhi Proof ideas or individual proof-step assistance math.ST 31 1 5 927.2
Machine-Guided Recurrence Boundary Theory for Nahm Sums Ankush Goswami Rewriting existing author-written text math.NT 22 5 6 691
Floridian Solitaire: A New Variant of Bulgarian Solitaire Aaron Meyerowitz, Stephen J. Curran, Stephen C. Locke, Richard M. Low Proofreading, grammar, or spelling math.CO 32 10 1 136.1
Quaternionic Extensions of Hyperbolic Toral Automorphisms Alberto Verjovsky Rewriting existing author-written text math.DS 20 8 1 632.6
On the Godement-Jacquet functional equation for finite matrix monoids Elad Zelingher Drafting a complete proof for author revision math.RT 24 13 0 1,912.05
Hilbertian Kahane--Salem--Zygmund Inequalities: Extremizers and Quantitative Gaps Daniel M. Pellegrino, Anselmo Raposo Rewriting existing author-written text math.FA 45 16 13 1,413
Bang--bang representation of $3\times 3$ embeddable stochastic matrices Leonel Robert Substantial mathematical content or result generation math.PR 23 6 11 2,059.5
The sharp volume gap for Kähler manifolds with positive Ricci curvature Chi Li, Minghao Miao, Kewei Zhang Rewriting existing author-written text math.DG 29 14 4 830.4
The lower-bound problem for regular induced subgraphs of type-based random graphs Ariel Edgardo Levy Computational experiments or data processing math.CO 13 2 9 250.05
Kneserized Anticoncentration and Reverse Absorption for Graham's Rearrangement Conjecture Simone Costa, Stefano Della Fiore, Tao Feng, Hengrui Liu Substantial proof generation math.CO 61 10 20 3,994
Exact Zarankiewicz Values On Two Finite Frontier Slices Koyar Afrasyab Computational experiments or data processing math.CO 12 2 3 199.65
Vanishing of $\ell^2$-Betti numbers for inner amenable groups Robin Tucker-Drob Brainstorming or outlining math.GR 10 1 1 99.4
Local cohomological dimension and depth in mixed characteristic Linquan Ma Proofreading, grammar, or spelling math.AC 6 2 2 34.4
A 112-Vertex Counterexample to the Petersen Coloring Conjecture Bryce Putman Substantial mathematical content or result generation math.CO 13 2 2 445.5
Positive Lower Density for Hofstadter's $ab-1$ Problem Samuel Korsky Computational experiments or data processing math.NT 8 1 2 103.5
Long Lattice Paths with No Three Collinear Vertices Samuel Korsky Proof ideas or individual proof-step assistance math.CO 14 2 3 610
Sharp vertex connectivity of the Markoff graphs modulo $p$ Jie Ma, Mengxi Yang, Zichen Yang Proof ideas or individual proof-step assistance math.NT 7 1 4 380.8
Resolution of a Conjecture on Shifted R'enyi Divergence Anay Aggarwal Drafting limited passages math.PR 6 2 5 303.5
The Sharp Worst-Case Asymptotic Rate of the Barzilai--Borwein Method in $\mathbb R^d$ and Hilbert Spaces Shutai Yang, Ya-Xiang Yuan Proof ideas or individual proof-step assistance math.NA 51 4 17 2,371.2
The Rank-Collapse Principle for Quadratic Optimization Mojtaba Soltanalian, Ahmad Mousavi Proof ideas or individual proof-step assistance math.OC 26 8 2 1,368.8
A counterexample to the Kato conjecture for positive commutators Rupert L. Frank, Paata Ivanisvili Drafting limited passages math.FA 15 1 7 472.25
Solving polynomial inequalities over spaces of convex sets and applications Saugata Basu, Hamidreza Amini Khorasgani, Hemanta K. Maji, Hai H. Nguyen Proof ideas or individual proof-step assistance math.CO 57 3 17 2,767.6
Cobordism groups of dihedral branched covers Valentina Bais, Alexandra Kjuchukova Proof ideas or individual proof-step assistance math.GT 29 3 11 1,594.4
From a Scalar Parabolic Oscillator to Topological Thermostats: Selective Feeback Control of Harmonic Flow Modes Sandro Merino Computational experiments or data processing math.AP 69 5 5 817.35
Disconnected multigraded Hilbert schemes on $\mathbb{P}^2\times\mathbb{P}^1$ Yairon Cid-Ruiz Substantial mathematical content or result generation math.AG 5 1 0 275
Zonoid volumes are not log-submodular Ruben Skorupinski Computational experiments or data processing math.MG 4 1 0 65.1
The Structure of Cycles in Projective Geometry over $\mathbb{F}_q$ Ran J. Tessler, Elad Tzalik Substantial proof generation math.CO 17 4 9 1,353
Relative Property (T), simplices of invariant measures, and existentially closed models Tomás Ibarlucía Literature search math.LO 56 13 49 1,274.2
The noncommutative topological factor theorem for rank-one product lattices Cyril Houdayer, Corentin Le Bars Drafting limited passages math.OA 22 7 5 625
Extreme least singular values of random row submatrices with bounded-density subgaussian entries Xiufan Yang, Shu Wen, Yitzchak Shmalo Drafting limited passages math.PR 17 4 6 602
A Domain-Specific Harness for End-to-End Automation of Optimization Research Heechang Kim, Ernest K. Ryu, Shuvomoy Das Gupta Substantial mathematical content or result generation math.OC 66 0 0 1,796.5
A counterexample to the Anstee-Sali's conjecture Pei Wu Suggesting mathematical examples or conjectures math.CO 5 0 0 132.6
Siegel zeros and small gaps between zeros of the Riemann zeta function Andriy Bondarenko, Winston Heap Computational experiments or data processing math.NT 27 3 5 395.85
Banach lattices and phase retrieval: A case study for the use of AI in mathematics Jaume de Dios Pont, Lukas Liehr, David Muñoz-Lahoz, Mitchell A. Taylor, Pedro Tradacete Substantial mathematical content or result generation math.FA 17 0 0 269.5
The Banach lattice Lean library David Muñoz-Lahoz Code generation, completion, or debugging math.FA 27 0 0 59.2
Maximum spread of $K_{s,t}$-minor-free graphs II: the non-admissible cases William Linz, Linyuan Lu, Zhiyu Wang Rewriting existing author-written text math.CO 15 6 2 362.6
An Explicit Five-Variable Counterexample to the Generalized Vanishing Conjecture Alexander Dvorsky Computational experiments or data processing math.AC 6 0 0 58.65
Metric Non-Collapse in Learned World Models for Control: Approximation Theory, Finite-Sample Geometric Guarantees, and Deterministic Planning Transfer Alain Bensoussan, Minh-Nhat Phung, Minh-Binh Tran Code generation, completion, or debugging math.OC 74 2 12 637.7
Establishing Boundary KKT Convergence of Mirror Descent through Reparameterization Kuangyu Ding, Kim-Chuan Toh Brainstorming or outlining math.OC 23 2 6 300.8
Polytopal Bier spheres and nonrealizable central symmetries Thiago Holleben, Yirong Yang Code generation, completion, or debugging math.CO 13 5 2 176
Quillen equivalences for truncated multicomplexes Jiahao Hu Proof ideas or individual proof-step assistance math.AT 14 4 3 794
Heath-Brown identities for fractional powers of $ζ$ Nicolas Robles Proof ideas or individual proof-step assistance math.NT 48 6 36 3,338.4
Modularity of Higher Theta Series III: Proof of the Modularity Conjecture Tony Feng, Zhiwei Yun, Wei Zhang Substantial proof generation math.NT 79 12 38 5,356.5
Chevalley-Eilenberg cohomology of linearly reductive Lie algebras in the Verlinde category Pavel Etingof, Serina Hu Proof ideas or individual proof-step assistance math.RT 14 1 6 690.4
Algorithmic universal étale $(\varphi,Γ)$-modules Zhongyipan Lin Proofreading, grammar, or spelling math.NT 68 21 35 678.75
Nondegeneracy and regularity of polynomial pushforwards Egor Kosov, Anastasiia Zhukova Drafting limited passages math.PR 38 6 14 1,230.25
Embedded surfaces with trivial extendable mapping class groups in simply connected $4$-manifolds Weizhe Niu Rewriting existing author-written text math.GT 84 9 35 2,380.8
Intertwining Operators for Siegel Parabolics over Finite Fields Nir Elber, Hahn Lheem Proof ideas or individual proof-step assistance math.RT 34 14 16 2,547.6
The Structure of Almost Stationary Measures Ilya Gekhtman, Simon Machado, Omri Solan, Yuval Yifrach Drafting limited passages math.DS 75 10 20 2,138.5
Neutral Returns at High-Order Grazing: Sharp Cyclicity, Physical Codimension, and Weighted Crossover Haibo Lu Rewriting existing author-written text math.DS 61 12 7 1,342
Rigidity of Averages over the Two Largest Prime Factors Dijia Chen Rewriting existing author-written text math.NT 29 3 11 811.2
A 60-Vertex Lower Bound for Cubic Bipartite Counterexamples to the Erdős-Gyárfás Conjecture Julius Tranquilli Drafting limited passages math.CO 10 1 5 304.75
Three Graffiti.pc Conjectures on Largest Induced Trees: Proofs of Conjectures 141, 142, and 143 Alper Ferudun Proof ideas or individual proof-step assistance math.CO 16 3 10 839.2
Universal Triangle Covering Curve and Polygonal Chain: Escaping Forest and Fitting Worm Zhipeng Deng Code generation, completion, or debugging math.OC 48 4 1 205.8
Applications of Almost Stationarity I: Quantitative Growth of Injectivity Radius and Stück-Zimmer Theorem Ilya Gekhtman, Simon Machado, Omri Solan, Yuval Yifrach Drafting limited passages math.DS 64 15 20 2,175.75
U-centering as subset ANOVA: edge regression and higher-order theory Xianyang Zhang Proof ideas or individual proof-step assistance math.ST 36 5 1 1,597.2
The Middle Stair for Complete Bipartite Parallel Chip-Firing Minkyu Jung Proof ideas or individual proof-step assistance math.CO 5 1 3 346
Question-Guided Learning for Mathematics Education: An Autonomous Online Inquiry-Based Approach Borbála Neogrády-Kiss Rewriting existing author-written text math.HO 14 0 0 68.8
Non-finitely Presented Lie Algebras of Type $FP_2$ Mark Shusterman Drafting limited passages math.RA 4 0 4 126.5
Rake-Compress Riccati Recursions for Parallel Scenario-Tree Model Predictive Control João Sousa-Pinto Drafting limited passages math.OC 16 4 5 544.25
Freeness of Arrangements with Regular Underlying Matroids Weikang Liang, Suijie Wang Rewriting existing author-written text math.CO 15 3 5 390.8
Adaptive Confidence Sets for Binary Regression without Design Smoothness P. M. Aronow, Patrick Lopatto Proof ideas or individual proof-step assistance math.ST 27 3 5 1,286
Holomorphic Linear $\C^k$-Actions, Trace Foliations, and Higher-Rank Poincaré Dynamics Aubin Arroyo, Carlos Cabrera, José Seade, Alberto Verjovsky Computational experiments or data processing math.DS 25 5 8 461.55
Stochastic heat equation with nondegenerate Hölder diffusion coefficient: uniqueness below the three-fourth threshold Yi Han Computational experiments or data processing math.PR 27 2 16 477
Discriminant Varieties for Stick Knots and Links Alexander Kolpakov, Igor Rivin Rewriting existing author-written text math.GT 16 5 2 362.6
Global $L^p$ Second Commutation Lemma Marin Mišur Drafting limited passages math.AP 36 7 5 630.25
Wasserstein gradient flows of Maximum Mean Discrepancy with energy kernels Matthew Rosenzweig, Dejan Slepčev, Lihan Wang Proof ideas or individual proof-step assistance math.AP 78 9 24 4,108.4
Pyramidal Compactification of Asymmetric Metric Measure Spaces via Adjoint Transport Shigeaki Yokota Proof ideas or individual proof-step assistance math.MG 34 9 7 2,483.2
Congruent Triangular Faces, Reflections Allowed: Universal Realization and the Minimum Face Count in Problem B22 George M. Georgiou Substantial mathematical content or result generation math.CO 7 2 2 325
Arithmetic of elliptic curves induced by regular Diophantine triples Nikola Adžaga Proof ideas or individual proof-step assistance math.NT 18 9 8 1,179.2
The equality case of Ehrhart's volume conjecture Jihao Liu Proof ideas or individual proof-step assistance math.CO 30 11 21 1,905.2
On Riemannian Geometry in Elastic Diffeology Yusuke Shiobara Rewriting existing author-written text math.DG 30 4 10 1,627.6
Large Sidon Subsets and Pair-Sum Multiplicities of Distinct Multinomial Coefficients Felix Huber Proof ideas or individual proof-step assistance math.CO 24 6 10 1,793.2
GL-algebras in positive characteristic III: the divided power algebra Karthik Ganapathy Rewriting existing author-written text math.AC 34 10 43 1,709.4
Counterexamples to a conjecture of Hoa on maximal non-Hamiltonian graphs Xingzhi Zhan Proof ideas or individual proof-step assistance math.CO 9 0 0 86
Kaplansky classes and stability Sean Cox Proof ideas or individual proof-step assistance math.LO 17 4 6 706
An explicit construction of two completely independent spanning trees in the four-dimensional dual-cube Jitendra Prajapati Drafting limited passages math.CO 5 3 0 142
Asymptotically optimal bracketing covers for anchored boxes Kosuke Suzuki Proof ideas or individual proof-step assistance math.CO 10 5 2 603.6
de Rham theory and locally analytic vectors Hui Gao, Gal Porat, Léo Poyeton Proof ideas or individual proof-step assistance math.NT 30 15 19 2,406
On the role of positivity preservation for high order approximations of the Dean--Kawasaki equation Ana Damnjanović, Ana Djurdjevac, Nicolas Perkowski Proof ideas or individual proof-step assistance math.PR 40 3 10 2,160.4
Counterexamples to the Landis conjecture in dimensions three and higher Rupert L. Frank, Paata Ivanisvili Rewriting existing author-written text math.AP 34 1 27 966.8
Positive Bidiagonal Factorizations for Banded Markov Processes Manuel Mañas Proof ideas or individual proof-step assistance math.CA 81 13 8 5,292.8
Concentration theorems for $2$-homogeneous polynomials and bilinear forms with applications to the Kadec-Klee properties Sheldon Dantas, Jorge Tomás Rodríguez Proof ideas or individual proof-step assistance math.FA 32 10 4 1,695.2
Alternating Groups and Embeddings into Groups Invariably Generated by Two Prime-Order Elements Ting Gong, Yong Yang, Michael Ruofan Zeng Proof ideas or individual proof-step assistance math.GR 14 2 12 864.8
A cusp surface singularity is Frobenius liftable Tatsuro Kawakami, Teppei Takamatsu Proof ideas or individual proof-step assistance math.AG 7 3 3 444.8
Machine learning the arithmetic of Boyd's Mahler measure conjectures Alberto Alfarano, Pablo Bianucci, Matilde N. Lalín, Berend Ringeling Rewriting existing author-written text math.NT 36 0 1 257.8
The finitude of the fibers of the complementary Bell numbers John M. Campbell Proof ideas or individual proof-step assistance math.CO 12 1 4 430.4
On the Log Determinant of Sample Correlation Matrices under Gaussianity Hongru Zhao Drafting limited passages math.ST 34 1 13 963.75
A note on the saturation number for unions of three cliques Hanlai Lin, Zhen He, Yiduo Xu Proof ideas or individual proof-step assistance math.CO 6 1 3 312.8
Balanced Bismut torsion-parallel fourfold with constant holomorphic sectional curvature Qingsong Wang, Fangyang Zheng Computational experiments or data processing math.DG 18 1 6 298.2
Asymptotic independence of class-group 4-ranks in correlated pairs of imaginary quadratic fields Yue Xu, Xiuwu Zhu Rewriting existing author-written text math.NT 52 14 16 1,472.4
Schubitopes are not Ehrhart positive Yupeng Li, Avery St. Dizier Substantial mathematical content or result generation math.CO 8 1 2 384.5
On a conjecture of Han and Xiong for fractional Gaussian binomial coefficients Ken Ono Proof ideas or individual proof-step assistance math.CO 13 3 3 637.2
Naturality in real Heegaard Floer theory Gary Guth, Ciprian Manolescu Drafting a complete proof for author revision math.GT 127 19 33 8,638.2
Counterexamples to the Jacobian conjecture in dimensions greater than two Shuhong Gao Proof ideas or individual proof-step assistance math.AG 32 10 3 1,457.6
Truncated Differentiation Through Primal-Dual Solvers for Inverse Potential Mean-Field Games Siting Liu, Yat Tin Chow, Samy Wu Fung Proofreading, grammar, or spelling math.OC 36 3 2 172.15
A counterexample to Han's conjecture Bochao Kong, Yeqin Liu, Yu Shen Substantial mathematical content or result generation math.RA 23 3 7 1,512.5
Lean-verified lower bounds for the Shannon capacity of odd cycles Pjotr Buys, Sven Polak, Jeroen Zuiddam Substantial mathematical content or result generation math.CO 4 1 0 119
Bipartite Extremal Numbers of Trees Lucas Waite, Nuh Aydin Drafting limited passages math.CO 13 1 3 394.5
The gate of self-address: where decidable adjudication ends Platon Sifnaios Drafting limited passages math.LO 15 7 2 591.25
Slice and Partition Rank Criteria for Polynomial Zero-Avoidance Simone Costa, Stefano Della Fiore, Mattia Fontana Proof ideas or individual proof-step assistance math.CO 23 5 8 1,574.4
Edge-Span Chern Algebras of Graphical Configuration Spaces Jackson Walters Proof ideas or individual proof-step assistance math.CO 24 5 1 1,254.8
Odd behaviour of even geometries: an explanation for superconvergent geometric consistency errors Hanne Hardering, Simon Praetorius, Gentian Zavalani Computational experiments or data processing math.NA 40 6 12 597.3
Schwarzian Field Theory at High Temperatures Ilya Losev Proofreading, grammar, or spelling math.PR 41 8 10 247.3
A recursive butterfly factorization with optimality guarantees David Persson, Paul G. Beckman, Tyler Chen, Diana Halikias, Christopher Musco Drafting limited passages math.NA 38 7 9 1,198
I-MCHM: Interface Multicontinuum Homogenization for Multiscale Elliptic Problems Wing Tat Leung, Zhihang Xu Rewriting existing author-written text math.NA 34 1 1 278
Pólya's conjecture for higher-dimensional Neumann balls Nikolay Filonov, Michael Levitin, Iosif Polterovich, David A. Sher Proof ideas or individual proof-step assistance math.SP 39 3 20 2,640.8
Volume of quasi-homogeneous sublevel sets: Two linear algebra deterministic algorithms with convergence rates Didier Henrion, Jean B Lasserre Drafting limited passages math.OC 47 7 11 1,142.5
On the Integer Domination Root Conjecture Saeid Alikhani, Max Griswold Substantial mathematical content or result generation math.CO 6 1 0 189
Fitting's Theorem and Semirings of Normal Subgroups Damiano Testa Rewriting existing author-written text math.GR 5 1 0 53.2
The N-Prime Graph Question is equivalent to the Prime Graph Question Brecht Verbeken Rewriting existing author-written text math.GR 5 1 2 131.2
A topological proof that compact Hausdorff spaces are not finitely co-concrete Marco Abbadini Substantial mathematical content or result generation math.CT 4 1 1 253.5
Separation properties of scrambled digital nets and related random point sets Kosuke Suzuki Proof ideas or individual proof-step assistance math.NA 33 8 14 1,882.8
Sharp Hausdorff Bounds for the Interior Singular Set of Convex $k$-Hessian Solutions Xiyu Hu Brainstorming or outlining math.AP 34 8 15 511.6
Finding 59:29 in the Monster Heiko Dietrich, Melissa Lee, Anthony Pisani, Aluna Rizzoli Computational experiments or data processing math.GR 10 1 7 174.75
The Multiset Dimension of Graphs: Extremal Values and King Grids Jaan Allikvere Drafting limited passages math.CO 22 6 11 728.5
Spectral Analysis and Redistribution Thresholds for Cut-Cell Finite-Volume Methods Justo E. Karell Drafting limited passages math.NA 51 9 0 819.5
From 12 to 6: Sharpening the Three-Charge Bound in Maxwell's Problem A. Gabrielov, Dm. Novikov, T. Novikov, B. Shapiro Proof ideas or individual proof-step assistance math.CA 10 1 4 581.2
A Quantitative Pólya--Szegő Theorem for Tangential Polygons Changfeng Gui, Yeyao Hu, Qinfeng Li Proof ideas or individual proof-step assistance math.AP 16 2 3 774.4
Spaces of metrics with positive spectral scalar curvature Gioacchino Antonelli, Georg Frenck, Bernhard Hanke Rewriting existing author-written text math.DG 21 3 3 661.2
Graph Neural Multilevel Preconditioners for Iterative Solvers Zechen Zhang, Rui Peng Li, Yousef Saad Rewriting existing author-written text math.NA 12 1 0 108.2
Nearly Sharp Bounds for Lattice Coverings by Convex Bodies Heng Li, Xizhi Liu Proof ideas or individual proof-step assistance math.MG 45 8 22 2,504.4
Windowed thinning and query complexity for the bouncy particle and Zigzag samplers Jianfeng Lu, Yinchen Luo Drafting limited passages math.NA 24 4 4 521.25
Eventually greedy best Egyptian underapproximations of rational numbers via optimal control Vjekoslav Kovač, Quanyu Tang Drafting a complete proof for author revision math.NT 30 2 11 1,288.8
Explicit Green's Functions and Adjoint Problems for Differential Equations with Linear Functional Perturbations Alberto Cabada, Paula Cambeses-Franco, Lucía López-Somoza Drafting limited passages math.GM 45 6 6 1,019.5
Log Canonical Models and Positive Geometries Benjamin Hollering, Dmitrii Pavlov, Elizabeth Pratt Suggesting mathematical examples or conjectures math.AG 23 0 0 168.6
A Tale of Two Idempotents: Casselman-Shalika and Spherical Genericity Yi Luo Proof ideas or individual proof-step assistance math.RT 36 12 16 2,008.8
A MATLAB Tool for the Stable Generation of Matrix Polynomial Evaluation Schemes with Two-Product Savings J. Ibáñez, J. Sastre, J. M. Alonso, E. Defez Rewriting existing author-written text math.NA 27 1 0 423.8
ROSA: Metric Amplification on Noisy Graphs with Theoretical Guarantees for Amplified Spectral Distances Ben Cardoen, Fabian Spill Proof ideas or individual proof-step assistance math.CO 35 3 0 636
On Sirakov's equal-frequency uniqueness conjecture Hong-Ge Chen, Yong Liu, Juncheng Wei, Wen Yang Computational experiments or data processing math.AP 22 1 9 352.05
An improved range for the maximum critically $t$-intersecting hypergraphs Lu Lu, Rongrong Lu, Qifan Wang, Tingzeng Wu Brainstorming or outlining math.CO 10 6 4 183.9
R3MG-C: a high-order algebraic-geometric multilevel preconditioner for continuous finite element discretizations Davide Polverino, Marco Feder, Luca Heltai Rewriting existing author-written text math.NA 45 3 6 474
The Follow-the-Leader scheme with non-monotone velocity Marco Di Francesco Brainstorming or outlining math.AP 16 4 2 164.8
Derangement permutation matrices and orbit harmonics Yupeng Li, Jasper Liu, Brendon Rhoades Substantial text generation math.CO 34 6 19 1,524.95
Osgood meets Ambrosio-DiPerna-Lions Guido De Philippis, Leonardo Franchi Rewriting existing author-written text math.AP 18 3 5 389.6
$L^\infty$ bounds and asymptotic behavior in a doubly degenerate chemotaxis system below six dimensions Minh Le Drafting limited passages math.AP 32 2 24 980
OptGraph: Large Language Models Enhanced Evolutionary Optimization Via Graph Retrieval-Augmented Generation Xianchao Xiu, Jianhao Li, Huangyue Chen, Wanquan Liu Computational experiments or data processing math.OC 11 0 0 67.5
The semi-inducibility of the blue--blue--red path on four vertices Jinghua Deng Proof ideas or individual proof-step assistance math.CO 22 6 20 1,566
The nucleus of a semisymmetric quasigroup Andrew Richard Kozlik Substantial mathematical content or result generation math.CO 11 2 6 859
Selfnormalization for relevant inference with supremum-type statistics Patrick Bastian Drafting limited passages math.ST 40 6 3 765
Perturbed Beta Corners Process Leonid Petrov, Jiaming Xu Proof ideas or individual proof-step assistance math.PR 31 4 5 1,280
A Unified Discrete Gradient-SAV Framework for Structure-Preserving Integration Elena Celledoni, David Martín de Diego, Brynjulf Owren, Miguel Vaquero Computational experiments or data processing math.NA 31 4 3 510
Laplacian Bounds for the Dissociation Number of Regular Graphs of Matrix Rings Joyentanuj Das Proof ideas or individual proof-step assistance math.CO 18 5 3 896.8
Schur Eisenstein series and Schur MacMahon series Henrik Bachmann, Jinbo Yu Computational experiments or data processing math.NT 37 12 4 709.65
Nuclear dimension, pure infiniteness and real rank for higher rank graph $C^*$-algebras David Pask Rewriting existing author-written text math.OA 17 14 2 681
Curved Kakeya problems and the projective geometry of paths Shaoming Guo, Larry Guth, Arian Nadjimzadah, Minxing Shen, Ruixiang Zhang Proof ideas or individual proof-step assistance math.CA 90 9 8 4,212
Radial Hyperbolic Measures: Shell Geometry, Pyramid Limits, and Gaussian Phase Transitions Shigeaki Yokota Proof ideas or individual proof-step assistance math.MG 20 7 2 1,217.2
An Asymptotic Bound for Non-covering Congruence Systems over Fq[x] Rongyin Wang Substantial mathematical content or result generation math.NT 8 2 2 498.5
Character Fourier Spectra of Circular Units and Twisted Bernoulli Class Components Peter Chocian Drafting limited passages math.GM 12 4 2 433.5
A Dimension-Two Counterexample to the Separable Jacobian Conjecture in Characteristic Two Romy Mondello Proof ideas or individual proof-step assistance math.AG 10 1 1 502.8
Residual-Driven Lifting Identification for Nonlinear-Manifold Reduced-Order Models of Parametrized Linear PDEs Francesco A. B. Silva, Jean C. Ragusa, Theron Guo, Rudy Geelen Rewriting existing author-written text math.NA 32 0 0 207
Neutral Entry--Exit Cycles with Quadratic Grazing: Uniform Return Reduction and Local Two-Parameter Bifurcations Haibo Lu Proof ideas or individual proof-step assistance math.DS 43 4 7 1,640
Counterexamples, Spectral Obstructions, and Deletion Stability for WOW-284 Samuil Petkov Proof ideas or individual proof-step assistance math.CO 28 21 1 2,273.6
Exact Total Variation Minimizers as Non-Oscillatory Limiters in High-Order Methods for Conservation Laws Gabriel P. Langlois, Jerome Darbon, Rongjie Lai, Chi-Wang Shu, Xiangxiong Zhang Proof ideas or individual proof-step assistance math.NA 37 0 0 540
Settling the Optimal Exponent Relating Sumsets and Difference Sets Haowei Lin, Shanda Li Substantial mathematical content or result generation math.CO 8 1 7 618
Mixed partition functions are exactly the graph parameters of exponentially bounded edge-connection rank William Whistler Proof ideas or individual proof-step assistance math.CO 30 8 25 1,929.6
Weak geometric lemma for ADR boundary of a uniform domain implies uniform rectifiability Aritro Pathak Code generation, completion, or debugging math.CA 11 1 0 108.6
Second-Order Multi-Set Allocation Occupancy (MAO) Distributions under Pairwise-Intersection Constraints: Exact Laws, MAO Norms, Inequalities, and Limit Theory Xing-gang Mao Rewriting existing author-written text math.PR 57 2 0 804.8
Convergence of entropy-conservative summation-by-parts discretizations to smooth solutions of hyperbolic conservation laws Hendrik Ranocha Rewriting existing author-written text math.NA 44 1 12 601
Poincaré Beta Balls: Radial Laws, Shell Transforms, and Phase Diagram Shigeaki Yokota Rewriting existing author-written text math.MG 41 9 40 1,626
Rigidity and stability for biased cross-intersecting families Yongjiang Wu, Lihua Feng Brainstorming or outlining math.CO 51 2 16 509.9
Convergence rates for pivoted QR and LU Marc Aurèle Gilles Substantial proof generation math.NA 24 6 5 1,399.5
Almost-Hermitian and Hermitian metrics Daniele Angella Computational experiments or data processing math.DG 44 9 0 652.95
A Brenier-Strassen Theorem on CAT(kappa) Spaces Nathael Gozlan, Hugo Malamut, Shin-Ichi Ohta Proof ideas or individual proof-step assistance math.FA 23 7 9 1,320.4
Improved Bounds for Distinct Multiples in Intervals Kaizhe Chen, Samuel Korsky Proof ideas or individual proof-step assistance math.NT 10 4 5 636.8
Essential Simplices Dominate in Harmonic Representatives of One-Dimensional Persistent Classes Saugata Basu, Aldo Guzmán-Sáenz, Laxmi Parida Brainstorming or outlining math.AT 29 5 9 439.3
Entire Logarithmic Signatures of Bounded-Variation Paths in Finite Dimensions Elena Boguslavskaya Proof ideas or individual proof-step assistance math.PR 44 6 19 2,379.6
Inclusions between p-bounded crystalline loci in dimension two Kalyani Kansal, Brandon Levin, David Savitt Drafting limited passages math.NT 31 8 8 1,045.25
The Monster group is a completion of the Goldschmidt G3-amalgam Heiko Dietrich Code generation, completion, or debugging math.GR 2 1 0 17.4
Asymptotic Resurgence of Facet ideals of Graphic Matroids Michael DiPasquale, Louiza Fouli, Arvind Kumar Code generation, completion, or debugging math.AC 16 11 2 269.2
Nonnegative Low-Rank Matrix Correction under an Orthogonality Constraint in Conservative Vlasov Simulations Yue Wu, Stephen Becker, Jingmei Qiu, Xiangxiong Zhang Proof ideas or individual proof-step assistance math.NA 38 1 6 812
Sharp bounds for the fractional chromatic number of high-girth $d$-degenerate graphs Peter Allen, Abhishek Dhawan, Jonathan A. Noel Proof ideas or individual proof-step assistance math.CO 20 4 4 748.8
Isotropic Decompositions via Inverse Eigenvectors Gergely Ambrus Drafting limited passages math.MG 24 5 9 905.5
A Spectral Proof of the Hypergraph Moore Bound Alexander Schmidhuber, Matthew B. Hastings Proofreading, grammar, or spelling math.CO 14 3 11 100.15
On the Definability of Strong Negation in Bilateral Logics Ryan Simonelli Proof ideas or individual proof-step assistance math.LO 18 0 0 273.6
Asymptotically sharp bounds for affine subspace statistics in $\mathbb F_2^n$ Ting-Wei Chao, Zixuan Xu, Dmitrii Zakharov Substantial proof generation math.CO 7 3 2 586
The Winding Number at the Critical Hölder Exponent 1/3: Failure of Universal Fourier Summation Rupert L. Frank, Paata Ivanisvili Brainstorming or outlining math.CA 18 2 7 213
Estimates of the total variation distance between laws of Sobolev mappings on Gaussian spaces Egor Kosov, Anastasiia Zhukova Drafting limited passages math.PR 37 6 6 1,039.25
Stealthy point processes and lattice induction Michael Björklund Proof ideas or individual proof-step assistance math.PR 57 16 7 3,305.6
Projective Ore-Degree Conditions for Intersection Theorems in Vector Spaces Mengyu Cao, Mei Lu, Xuyang Yan, Haixiang Zhang Brainstorming or outlining math.CO 37 7 11 426.2
Computable Quantification in Reflective Grounded Arithmetic Bryan Ford Proof ideas or individual proof-step assistance math.LO 22 15 0 1,070
Exact discrete-adjoint optimization of trap timing and placement in a Stieltjes-time reaction-diffusion model: A Galicia case study Francisco J. Fernández, Iván Area Drafting limited passages math.OC 54 0 1 748.75
On an asymmetric additive energy inequality Akshat Mudgal Proof ideas or individual proof-step assistance math.NT 12 3 2 509.2
Asymptotic Uniformity of Permanents of Random Matrices over Finite Fields of Odd Characteristic Shuang Sun, Yuyao Yang, Jiasheng Zeng Substantial mathematical content or result generation math.CO 13 1 6 635.5
Proper Hat-Guessing on Two-Spine Book Graphs Yulin Zhai Drafting limited passages math.CO 20 12 13 842.75
Analytic Bertini theorem II --- The local case Mingchen Xia Substantial proof generation math.AG 12 4 4 1,270
Asymptotic Behavior and Error Bounds for Fisher-KPP Equations on the Real Half-Line Chu Chu, M. W. Wong Proof ideas or individual proof-step assistance math.AP 29 5 2 2,110
Projection and contraction methods with double inertial steps for variational inclusion problems on Hilbert spaces Moin Uddin, Mohammed Alshahrani, Qamrul Hasan Ansari Drafting limited passages math.OC 41 5 8 809
Turbulent Flame Speed Can Increase under Curvature Smoothing Hung V. Tran, Jack Xin, Yifeng Yu Suggesting mathematical examples or conjectures math.AP 14 1 3 435.3
The Miyaoka-Yau inequality and the delta invariant for Fano varieties Tomoyuki Hisamoto, Masataka Iwai Proof ideas or individual proof-step assistance math.AG 66 19 15 3,208.4
Intercity EV Charging Readiness in Türkiye: A Countrywide Scheduling and Economic Assessment Taner Cokyasar Rewriting existing author-written text math.OC 25 0 0 121.4
No Gelation and Global Existence for a Boltzmann Equation with Regularly Varying Mass-Exchange Rates Siwei Luo, Jian-Guo Liu Rewriting existing author-written text math.AP 40 2 12 910.4
Transfer Learning in High-Dimensional Clustering: Minimax Thresholds and Applications in Single-Cell Data Abhinav Chakraborty, Sagnik Nandy Proof ideas or individual proof-step assistance math.ST 90 10 30 3,810.4
Schrijver Number Quasi-Tensorization and Multicolor Ramsey Bounds via Robust OR Polynomials Ijay Narang, Yukai Tang Proof ideas or individual proof-step assistance math.CO 25 2 11 955.6
The Navier-Stokes equations with dual-scale hereditary viscosity: supercritical norm inflation and global well-posedness in critical spaces Bruno de Andrade Drafting limited passages math.AP 28 3 4 478.25
How Random Is the Möbius Function? Smoothing, Probability, and the Riemann Hypothesis Alberto Verjovsky Literature search math.PR 28 2 1 250.1
Exponentially Many Circuit Double Covers Radek Hušek, Robert Šámal Drafting limited passages math.CO 16 9 0 549.75
Trace radicals and cocenters of free products Nikita Safonkin Proof ideas or individual proof-step assistance math.RT 10 1 2 496.4
On the heat flow conjecture for random matrices Theodoros Assiotis Proof ideas or individual proof-step assistance math.PR 42 2 16 1,946.8
On Alweiss's example for multiple recurrence Ben Green Proof ideas or individual proof-step assistance math.DS 6 1 1 318.4
Aomoto interpolation and Coxeter systems Ángel D. Martínez, Oscar Ortega-Moreno Drafting limited passages math.MG 16 9 9 752.75
Density-Dependent Operators on Density-Projection Condensation Spaces: Ambient Extensions, Zero-Density Defects, and Stability Seonghyun Jeon Rewriting existing author-written text math.FA 22 0 0 225.2
On Feige's conjecture Zipei Nie, Jiaye Wei Substantial proof generation math.PR 8 4 3 617
On Conformal Flexibility of Completeness and Minimizing Geodesics on Hilbert Manifolds Levin Maier Rewriting existing author-written text math.DG 32 7 7 844
The exact solution of Bellman's lost-in-a-forest problem for the golden gnomon Alexander Temerev, Alessio Doria Drafting limited passages math.MG 27 2 15 1,091
Infinitely Many Components in Auslander--Reiten Quivers of Representation-Infinite Algebras over Perfect Fields Wen Chang, Quanyu Tang Proof ideas or individual proof-step assistance math.RT 19 2 11 890.8
On Realisability of Twisted Homology Mark Grant, Michael Jung, Baylee Schutte Proof ideas or individual proof-step assistance math.AT 36 5 11 1,636.4
Simply branched covers of curves and wild conductor exponents Harry Spencer Drafting limited passages math.AG 14 2 7 468.75
From Regions to Hodge Structures: The Topological Study of semialgebraic Curves Configurations Abolfazl Soltanpour Rewriting existing author-written text math.AG 72 22 12 2,712.6
Haar decompression and amenability of Ellis flows Daniel Max Hoffmann, Krzysztof Krupiński Proof ideas or individual proof-step assistance math.DS 35 9 9 2,393.2
Multiplicative irreducibility of shifted multiplicative subgroups in the extremal case Semin Yoo Computational experiments or data processing math.CO 18 2 7 348.3
Nikiforov's spectral consecutive cycle problem and the connected-matching method Bo Ning, Mingqing Zhai Proof ideas or individual proof-step assistance math.CO 21 6 11 1,012
Bilinear forms with Kloosterman sums via quadratic characters Valentin Blomer, Alexandru Pascadi Rewriting existing author-written text math.NT 32 8 6 774.2
The $L_1$-Discrepancy with Nonnegative Weights Suffers from the Curse of Dimensionality Josef Dick Proof ideas or individual proof-step assistance math.NA 7 1 0 200.8
Multiplicative Subgroups of Prime Fields Are Not Sumsets Misha Rudnev, Fred Tyrrell Proofreading, grammar, or spelling math.CO 41 2 28 310.55
Decision trees, Frobenius traces, and Weierstrass coefficients of elliptic curves Barinder S. Banwait, Xiaoyu Huang, Kyu-Hwan Lee, Seewoo Lee, Thomas Oliver, Alexey Pozdnyakov Substantial mathematical content or result generation math.NT 18 4 2 825
On non-monotonicity of logarithmic energy for random matrices Theodoros Assiotis Proof ideas or individual proof-step assistance math.PR 22 2 9 988.4
Strong rate of convergence for the Euler-Maruyama scheme of additive fractional SDEs with Lipschitz drift Tsukasa Moritoki Translation math.PR 12 1 6 58.7
Slowly Divergent Trajectories for Weighted Singular Vectors in R^2 Bohan Yang Proof ideas or individual proof-step assistance math.NT 28 4 13 1,607.6
Restricted Perron envelopes and quasibounded functions Frank Wikström Proof ideas or individual proof-step assistance math.CV 8 2 0 349.2
Randomized Krylov-Projected Iterated Tikhonov Regularization for Large-Scale Ill-posed Problems Under A Posteriori Stopping Rule Ravi Verma, Harshit Bajpai, Ankik Kumar Giri Code generation, completion, or debugging math.NA 35 4 8 295.8
Existence of generalized bent functions in the exceptional $q\equiv2\pmod4$, odd-dimensional case Jianing Li, Shi Ying, Shenxing Zhang Drafting limited passages math.CO 8 3 1 292
Sharp Minimax Rates for Smooth Two-Sample Testing under Central Differential Privacy Ilmun Kim Proof ideas or individual proof-step assistance math.ST 96 5 27 4,795.2
Balance Constants, Majority Cycles, and the Gold Partition Conjecture through Fourteen Elements Anish Gupta Drafting limited passages math.CO 16 4 1 301.75
Algebraic values of transcendental power series with geometric coefficient moduli Diego Marques Drafting limited passages math.NT 14 2 2 462.75
Elementary Symmetric Polynomial Inequalities for Centered Vectors and Matrices Yanjun Han, Jonathan Niles-Weed Proof ideas or individual proof-step assistance math.CO 14 2 1 557.6
Powers of the Vandermonde determinant are eventually non-SNP Thien Le, Melanie Weber Proof ideas or individual proof-step assistance math.CO 34 2 1 564.4
Subquadratic growth and uniform property \(Γ\) Ethan Kessinger, Andrew S. Toms Citation assistance math.OA 28 12 8 459
On the Thickness of Infinite Generalized Sidon Sets, II Kevin O'Bryant Formatting or typesetting math.CO 13 1 8 76.75
Precise cover times for branching random walks on Hamming graphs: (iterated) logarithmic corrections Zhenyuan Zhang Proof ideas or individual proof-step assistance math.PR 50 2 28 2,065.2
Free-by-cyclic groups are not relatively profinitely rigid Carl-Fredrik Nyberg-Brodda Proof ideas or individual proof-step assistance math.GR 10 1 4 403.6
The covering number C(12, 6, 4) is 41 Charlie Krug Drafting limited passages math.CO 15 1 8 381.25
Recovery of latent inner products from an anisotropic Gaussian random geometric graph Cheng Mao, Vidya Muthukumar Proof ideas or individual proof-step assistance math.ST 41 1 13 1,561.2
Sequence distortion for metric spaces Ilya Kapovich Proof ideas or individual proof-step assistance math.GR 28 7 11 1,950
Projected-Gradient Analysis for Open-Domain Convex Optimization under Boundary Blow-Up:Application to Controllability Scoring Kazuhiro Sato Rewriting existing author-written text math.OC 16 5 7 578.4
No Free Lunch in Flow Surrogates under Time-Varying Boundary Conditions: A Two-Regime Study Georg Winkler, Martin Stoll Drafting limited passages math.NA 19 0 0 166
A counterexample to the zero forcing versus independence conjecture for cubic and subcubic graphs Mikko Fischer Substantial mathematical content or result generation math.CO 3 1 0 101.5
Self-Referential Leading Digits of Exponential Sequences: Arithmetic Structure and Certified Search Zihang Fang Proof ideas or individual proof-step assistance math.NT 49 19 4 2,904.8
Hessian degeneracy of the torsion function on smooth simply connected nonconvex planar domains Xiuda Liang, Peng Luo, Wenjie Wang Proof ideas or individual proof-step assistance math.AP 25 2 12 1,418.8
Machine-checkable equivalence certificates at the length-14 Andrews-Curtis frontier Josep Carreras Drafting limited passages math.GR 10 5 0 258
Nonexistence of universal Fourier summation formulas for the degree below the Hölder threshold $α=1/3$ Michał Cieszyński Proof ideas or individual proof-step assistance math.CA 12 1 1 432.4
Actions of $(\mathbb{Z}/4)^4$ on rationally connected threefolds Konstantin Loginov Proof ideas or individual proof-step assistance math.AG 13 7 7 1,363.6
A Proof of the Novak--Woźniakowski Conjecture: Optimal Polynomial Tractability Exponents for the Inverse Star Discrepancy Josef Dick Proof ideas or individual proof-step assistance math.NA 11 2 2 420.4
Topological line arrangements and their topological invariants Sakumi Sugawara Proof ideas or individual proof-step assistance math.GT 19 10 1 1,279.2
Guarded Realization Semantics: Occurrence-Sensitive Certificates and Behavior-Dependent Lower Bounds SeungJu Lee Drafting a complete proof for author revision math.CT 36 24 5 4,909.95
Hilbert matrix norms on weighted Bergman spaces: even exponents and a counterexample to the beta formula Hasi Wulan, Mengmeng Zhou, Jian-Feng Zhu Proof ideas or individual proof-step assistance math.CV 22 6 6 1,305.2
A Grothendieck category with a noetherian generator and exact products that is not a module category Ryo Kanda Drafting limited passages math.CT 4 2 0 95.5
A diamond-free claw-free cubic graph with strong chromatic index 7 Kanishk Raj Tanwar Substantial mathematical content or result generation math.CO 7 1 1 359
Odd-primary torsion in the homology of unordered configurations on the torus Najib Idrissi, Victor Roca i Lucio Rewriting existing author-written text math.AT 25 5 16 706.6
Tiling a triangle into a prime number of congruent triangles Michael Beeson Proof ideas or individual proof-step assistance math.MG 13 13 9 1,151.2
A note on Lata\la's argument in SK model Seiichiro Kusuoka, Shuta Nakajima Computational experiments or data processing math.PR 10 1 0 115.95
The symmetric V-cycle can diverge under the multigrid axioms for cell-centred discretisations Ming Hei Wong Proofreading, grammar, or spelling math.NA 26 6 6 138
Non-Gaussianity of the Stagnation Law in Particle Swarm Optimization Alexandra - Ionela Andriciuc, Ionel Popescu, David - Corneliu Turturean Computational experiments or data processing math.PR 18 2 3 249.9
Magnitude homology and Euler characteristics of directed acyclic graphs Steve Huntsman Substantial mathematical content or result generation math.AT 14 2 1 691
Scalably computing metric magnitude Steve Huntsman, Jewell Thomas, Cynthia Ukawu Literature search math.NA 21 1 0 115.7
Variational principles for the interaction of liquid crystals and electric fields in the Oseen--Frank model Giovanni Di Fratta, Valeriy Slastikov, Arghir Zarnescu Drafting limited passages math.AP 30 5 3 788.75
Digesting the proof of the sharp thin-shell inequality Yuansi Chen, Boaz Klartag Drafting a complete proof for author revision math.MG 23 4 10 1,142.55
Optimality of Wouter van Doorn's Upper Bound for the Mayer-Erdős Farey Problem Ricky Cipollini Substantial mathematical content or result generation math.NT 16 1 4 766.5
Large odd induced subgraphs via odd cuts Qinghou Zeng Rewriting existing author-written text math.CO 5 5 0 172.2
A Fixed-Point Construction of the Elementary Transcendental Functions François Alouges, Giovanni Di Fratta, Alberto Fiorenza, Renato Fiorenza Proofreading, grammar, or spelling math.CA 23 3 3 81.75
Explicit Twisted Hilbert Class Components Beyond Classical Irregularity Peter Chocian Drafting limited passages math.NT 15 5 3 638.75
A Linear Lower Bound for Dominating Sets in $k$-Majority Tournaments Jiangdong Ai, Xiangjie Yi Substantial mathematical content or result generation math.CO 8 1 3 447.5
KAYROS: An Anytime and Exact Open-Source Solver for Duration-Minimization Time-Dependent Vehicle Routing. A Technical Report and a Case Study in Human-AI Engineering Florian Rascoussier Drafting limited passages math.OC 30 0 0 210
The Excluded Vertex-Minors and Pivot-Minors for Rank-Width at Most Two Sang-il Oum Proof ideas or individual proof-step assistance math.CO 27 7 11 1,347.6
Geometry-aware LegONet for PDE Learning on Arbitrary Domains Jiahao Zhang, Yueqi Wang, Guang Lin Drafting limited passages math.NA 33 0 0 231
Level-set entropy and sparse randomized embeddings Konstantin Tikhomirov Proof ideas or individual proof-step assistance math.PR 56 2 15 3,720
An independent proof of the plunge-region conjecture for time-frequency localization operators in dimension one Ahmadreza Azimifard Rewriting existing author-written text math.FA 15 1 7 303
Exact values and exact upper bounds for families of integers with arithmetic progression intersections (Erdős Problem #272) Zhanfu Yang Drafting limited passages math.CO 13 6 7 525.5
An Explicit Counterexample to Stanley's Rankwise Lower-Bound Conjecture for Differential Posets Xinan Dai, Wenhao Deng, Yingdong Shi, Tailin Wu, Yuchen Yang Substantial mathematical content or result generation math.CO 5 1 1 288.5
Extremal Chowla sets and their linear analogues: A human-AI mathematical investigation using Co-Scientist Mohsen Aliabadi, Keith Driscoll, Elliot Krop, Petar Sirkovic, Everett Sullivan, Elahe Vedadi Substantial mathematical content or result generation math.NT 28 9 4 2,030
On the Order-Conditional Optimality of Gaffke's Bound George Bissias, Erik Learned-Miller Rewriting existing author-written text math.ST 13 7 0 656.8
A note on simple actions of small monoids Ramón H. Ruiz-Medina Drafting limited passages math.GR 21 0 3 187
Non-isomorphism of rings of integer-coefficient holomorphic functions on disks of varying radius Jon Bannon, David Feldman Proof ideas or individual proof-step assistance math.RA 6 1 3 294.4
The signature of connected line graphs is unbounded Luke Francis, Trevor Uptain Proof ideas or individual proof-step assistance math.CO 5 1 3 255.6
A Salem-Spencer-Type Construction for Large Subsets of Integer Grids with No Isosceles Right Triangles Gyula Károlyi, Jozsef Solymosi Substantial mathematical content or result generation math.CO 12 2 1 453.5
Matroid flat counts are not unimodal Alexander Divoux, Chayim Lowen, Shouda Wang Substantial mathematical content or result generation math.CO 8 1 2 301
Distinguishability threshold for random geometric graphs Zach Hunter, Aleksa Milojević, Benny Sudakov Rewriting existing author-written text math.PR 40 5 21 992.2
Nowhere-zero 4-flows in graphs excluding a proper minor of the Petersen graph József Pintér Drafting limited passages math.CO 7 4 4 267.75
Explicit Iteration Complexity of Exact Data-Driven Inverse Optimization for Integer Linear Programs Akira Kitaoka Proofreading, grammar, or spelling math.OC 34 11 2 216.45
$L^p$-Integrability of Radon-Nikodym Densities Between Harmonic Energy Measures on the Sierpinski Gasket Konstantinos Tsougkas Proof ideas or individual proof-step assistance math.CA 18 2 6 829.6
Nearest Graph Laplacians with Prescribed Connected Components: A Convex Framework for Network Reconstruction Udit Raj, Sudeepto Bhattacharya, Prince Kanhya Rewriting existing author-written text math.OC 26 2 1 429.6
Geometry of the Atomic Condition Jacek Jakimiuk, Sławomir Kolasiński, Maciej Leśniak Substantial proof generation math.AP 48 8 16 3,960.5
Non-Negative Conjugate Gradients Thomas Schmelzer, Martin Stoll Drafting limited passages math.OC 28 1 1 355.25
Quot-Stack Moduli and Transverse Deformations of Graded Metabelian Lie Algebras Marcel Blattner Drafting limited passages math.RA 25 16 1 1,462.75
Existence of solutions to the voltage-conductance kinetic equation in a general conductivity regime C Fonte Sanchez, S Mischler, D Salort Proof ideas or individual proof-step assistance math.AP 26 7 1 938
On Grünbaum's problem for symmetric configurations Andrii Arman, Andriy Bondarenko, Andriy Prymak, Danylo Radchenko Drafting limited passages math.MG 15 2 2 343.75
Exterior power sums Yanping Luo, Ruiyi Yang, Keheng Zhu Proof ideas or individual proof-step assistance math.CO 7 1 5 415.6
Point-to-set principles in dynamical systems Emma Dinowitz Proof ideas or individual proof-step assistance math.DS 53 16 40 4,693.6
Strategic Inference of Adversarial Navigation Objectives for Unmanned Underwater Vehicles Ruimeng Hu, Xu Yang Rewriting existing author-written text math.OC 14 0 0 223
Lorenz and convex ordering of parasite burden distributions with density-dependent deaths Madison Carlton, Ross McVinish Rewriting existing author-written text math.PR 7 1 0 127.8
A topological Chern character for matrix factorizations Mark Shoemaker Literature search math.AG 32 7 2 374.3
Quantitative analytic stable regularity G. Conant, C. Terry Substantial mathematical content or result generation math.LO 31 16 6 2,585.5
Encoding orders and trees in real-valued functions G Conant, C Terry Substantial mathematical content or result generation math.CO 27 7 4 1,854.5
The Frankl--Tokushige product conjectures for $r$-cross-intersecting families Fan Chang, Hong Liu, Miao Liu Brainstorming or outlining math.CO 21 2 7 197.9
Barzilai-Borwein Fails Superlinear Convergence on an Open Set of Quadratics for Every Dimension $n\geq 4$ Dawei Li, Xiaotian Jiang, Mingyi Hong Proof ideas or individual proof-step assistance math.OC 31 1 7 842
The Stability Landscape in Wave-Packet Scattering: Geometric Rigidity and Sharp Sobolev Thresholds Max Getter, S. Ivan Trapasso Drafting limited passages math.FA 55 4 15 1,626.5
Tight Hamilton Cycles in Linearly Quasirandom 3-Graphs Xichao Shu Rewriting existing author-written text math.CO 44 6 32 1,134
The Faber-Krahn position of convex bodies and Gaussian measure inequalities Dmitry Faifman, Iosif Polterovich Proof ideas or individual proof-step assistance math.SP 42 10 10 2,119.6
Asymptotic Analysis of Empirical Dynamic Programming in Infinite-Horizon Stochastic Optimal Control Xin Chen, Elif Sena Isik, Johannes Milz Rewriting existing author-written text math.OC 35 2 11 678
Compressed primitivity problem in free groups Ilya Kapovich Proof ideas or individual proof-step assistance math.GR 24 6 9 1,648
Adjacency-degree algebras and spectral determination of graphs Zhipeng Lu, Pengxiang Li Rewriting existing author-written text math.CO 16 5 7 487.8
Fatness and Flatness Arnold Filtser, Hung Le, Nikolas Mählmann, Marcin Pilipczuk, Michał Pilipczuk Drafting a complete proof for author revision math.CO 39 2 19 1,638.45
Decomposing a Multi-Scale Optimization Framework for Grid-Integrated Electrolysis using Aggregate-Informed Benders Kiernan X. Jennings, Victor M. Zavala, Styliani Avraamidou Code generation, completion, or debugging math.OC 6 0 0 28
Homotopy types of intervals in corank-three higher Bruhat orders Daria Poliakova Proof ideas or individual proof-step assistance math.CO 9 1 4 654.4
A six-neuron counterexample to the target-free clique conjecture Jesse Geneson Proof ideas or individual proof-step assistance math.CO 12 2 2 455.6
A Weighted Sum Formula for Double Eisenstein Series Henrik Bachmann Proof ideas or individual proof-step assistance math.NT 6 2 1 264
The Ehrhart series of magic squares of orders seven and eight Dun Qiu, Guoce Xin, Zihao Zhang Computational experiments or data processing math.CO 33 7 1 436.2
Further proofs of conjectures from the OEIS Sela Fried Drafting limited passages math.GM 57 31 14 1,954.5
Zeta functions of $\mathrm{PGL}_n$ over non-Archimedean local fields Ming-Hsuan Kang, Jiu-Kang Yu Brainstorming or outlining math.NT 47 11 17 496.5
An Asymptotically Tight $t\log t$ Bound for $k$-Connected Subgraphs in Dense $K_t$-Minor-Free Graphs Xinheng Lin Proof ideas or individual proof-step assistance math.CO 10 7 1 544.4
Some Integrability Properties of $m$-Subharmonic Functions Genglong Lin Rewriting existing author-written text math.CV 16 7 2 450.4
New excluded minors for the class $\mathcal{M}_3$ of regular matroids Booker Smith Drafting limited passages math.CO 8 2 0 170.75
Maximal topological complexity of monotone symplectic 4-manifolds Ryuma Orita Proof ideas or individual proof-step assistance math.AT 14 6 4 860.8
An Image--Kernel--Reconstruction Program for Essential-Surface Complexes of Knot Exteriors Makoto Ozawa Proof ideas or individual proof-step assistance math.GT 38 8 10 1,824.4
Protected corners and a trichotomy for Han's conjecture Marco Armenta Substantial mathematical content or result generation math.RT 31 12 8 2,323
A Geometric Finiteness Theory for Essential Surfaces in Knot Exteriors Makoto Ozawa Proof ideas or individual proof-step assistance math.GT 102 11 19 4,658.4
Prescribed extension spectra of mock automorphisms over finite fields Stefan Barańczuk, Tomasz Ślusarski Drafting limited passages math.AG 24 9 8 1,028.25
Fluctuation impossibility results for stochastic burst networks David F. Anderson Computational experiments or data processing math.PR 24 3 7 513
Cofinite Zeros of High Derivatives Eric Hou Proof ideas or individual proof-step assistance math.CV 12 1 7 526.4
Frames from Functional Calculus Ilya Krishtal, Javad Mashreghi, Brendan Miller Rewriting existing author-written text math.FA 21 2 4 386.6
Multiplier obstructions for Legendre pairs of length 333 Arthur F. Ramos, David B. Hulak, Ruy J. G. B. de Queiroz Proof ideas or individual proof-step assistance math.CO 12 3 5 715.6
Zeros of the Dirichlet series of even zeta values William D. Banks Drafting limited passages math.NT 24 3 3 444.75
Pattern avoidance in permutations and their rotations Ömer Eğecioğlu, Collier Gaiser, Mei Yin Computational experiments or data processing math.CO 20 7 4 384.3
Convergence and mixed-precision preconditioning for the naive Jacobi eigenvalue algorithm Erna Begovic, Marija Miloloza Pandur, Ana Perkovic Proof ideas or individual proof-step assistance math.NA 29 3 2 827.2
Rule-Induced Behavior of Fuzzy Scalar Objective Functions for Reliable Multi-Criteria Decision Making Olaf Frommann Drafting limited passages math.OC 19 0 0 171.25
Application of the Combinatorial Nullstellensatz to magic-type graph labelings Parikshit Chalise, Richard M. Low Proofreading, grammar, or spelling math.CO 15 10 5 166.5
On the Spatially Homogeneous Boltzmann Equation with Mass Exchange Siwei Luo, Jian-Guo Liu Rewriting existing author-written text math.AP 53 6 16 1,304.6
Counting, Symmetries and Equivalence Classes of Sudoku Grids Fernanda Pereira Proof ideas or individual proof-step assistance math.GM 24 3 2 614
Uncountable Abelian Group C*-algebras Fail the Lifting Property Miles Gould Proof ideas or individual proof-step assistance math.OA 7 5 5 516
Log-concavity of elementary coefficients for low-rank abelian Hessenberg graphs, with a counterexample in general Boris Kafidov Drafting limited passages math.CO 29 8 4 885.75
Selfless C*-correspondences, operator valued C*-probability spaces and completely positive maps David Gao, Marius Junge, Srivatsav Kunnawalkam Elayavalli, Gregory Patchell, Leonel Robert Rewriting existing author-written text math.OA 38 23 10 1,382.4
Sphere Packings and Kissing Numbers in Dimensions 39, 43, and 45 from the Antipode Construction Xiaoming Sun, Chengu Wang Literature search math.MG 12 2 0 91.4
Anticoncentration of the Permanent in Ginibre Ensembles Frederic Koehler, Pui Kuen Leung Drafting limited passages math.PR 22 7 5 977.25
A Reduced-Trace-Zero Element That Is Not a Commutator in a Central Division Algebra Hau-Yuan Jang Substantial mathematical content or result generation math.RA 18 1 7 993.5
Matchings and Near-Optimal 2-Factor Packings in Percolated Vertex-Transitive Graphs Mengyu Cao, Mei Lu, Xiamiao Zhao Brainstorming or outlining math.CO 23 10 20 500.2
Forward-Reflected-Backward algorithm with Linesearch Fernando Muñoz García, Fernando Roldán Suggesting mathematical examples or conjectures math.OC 23 2 1 482.1
The Gromov--Ros conjecture for rank-one symmetric spaces of noncompact type David Kalaj Rewriting existing author-written text math.CV 58 17 15 1,852.8
The Duval--Reiner Conjecture: Counterexamples and the Second Partial-Sum Inequality Jing Huang Rewriting existing author-written text math.CO 23 2 20 621.6
Beyond recency and magnitude: Learning-aware uncertainty estimation for safety stock under evolving forecast-error distributions Luis Fernández-Palacios, Manuel Ceballos, Yolanda Muñoz-Ocaña Drafting limited passages math.OC 34 0 0 198
Energy and independence number Hitesh Kumar, Shivaramakrishna Pragada Code generation, completion, or debugging math.CO 8 1 3 74
Simultaneous Recovery of the Initial Source and Sound Speed for the Wave Equation under a Constitutive Constraint Amir Moradifam Rewriting existing author-written text math.AP 18 5 3 390
The missing two-point inequality in Weissler's conjecture Yi C. Huang, Paata Ivanisvili Rewriting existing author-written text math.FA 17 2 5 376.4
Twisted Deligne products of semisimple tensor categories Pavel Etingof, Dmitri Nikshych, Victor Ostrik Proof ideas or individual proof-step assistance math.CT 32 5 6 1,284.4
Trace-norm rigidity for reduced products of unitary groups and matrix algebras Ben De Bondt, Andreas Thom Drafting limited passages math.OA 27 9 13 1,006.25
Constructing a complex Lie algebra isomorphic to its complex conjugate but not definable over reals Mikhail Borovoi, Willem A. de Graaf, Robert M. Guralnick Substantial mathematical content or result generation math.RA 9 2 11 1,154.5
A Conditional Probability Hierarchy for Stochastic Choice Erya Yang, Adam Brandenburger Proof ideas or individual proof-step assistance math.PR 16 5 0 1,159.2
Robust Hierarchical Matrix Compression of Acoustic Volume and Boundary Integral Operators Alberto Almuna-Morales, Danilo Aballay, Ignacio Labarca-Figueroa, Elwin van 't Wout Computational experiments or data processing math.NA 34 0 0 115.5
On the $\mathcal{A}$-transcendence of a Champernowne-type constant Shin-ichiro Seki Substantial mathematical content or result generation math.NT 5 2 1 353.5
Nyström Error Beyond $M$-Matrices: A Minimal Diagonally Dominant Obstruction Matthew J. Colbrook Rewriting existing author-written text math.NA 11 4 3 336.2
A Chain-Level Borsuk--Ulam Obstruction Proof of Norine's Antipodal-Coloring Conjecture Hehui Wu, Ningyuan Yang Proof ideas or individual proof-step assistance math.CO 18 2 12 1,081.2
A complete solution to the Boots-Royle/Cao-Vince conjecture Lele Liu, Bo Ning, Yi Wang Rewriting existing author-written text math.CO 19 2 20 624.6
Basic properties of kappa classes Valery Alexeev Proof ideas or individual proof-step assistance math.AG 27 8 5 1,879.6
Optimal concentration in the Paley-Wiener space Luís Daniel Abreu, Michael Speckbacher Drafting limited passages math.CA 19 4 6 619.75
A counter-example to Batyrev's conjecture on the non-negativity of stringy Hodge numbers Matthew Satriano, Jeremy Usatine Substantial mathematical content or result generation math.AG 4 2 0 182.5
Quantum logistic map considered as discrete-time Heisenberg equation Maciej Janowicz, Arkadiusz Orłowski Rewriting existing author-written text math.DS 22 2 0 221.6
A Two-Fluxes Stochastic Model of Traffic Waves Alberto Bressan, Sumantha Kanale Suresha Computational experiments or data processing math.AP 38 4 3 496.2
From Operations to Elderly Care Outcomes: A Thematic Review of Industrial Engineering and Decision-Support Approaches Shayan Farhang Pazhooh, Fereshteh Parvaresh Rewriting existing author-written text math.OC 12 0 0 61.8
Counting spanning quasi-trees of ribbon graphs: determinants and #P-completeness William Whistler Brainstorming or outlining math.CO 25 8 14 354.3
Graphical stability of set-valued integrals under measure perturbations Tam Le Suggesting mathematical examples or conjectures math.OC 16 2 7 585.9
Topology of higher Albanese maps and aspherical varieties with nilpotent fundamental group Vasily Rogov Brainstorming or outlining math.AG 11 9 4 297.6
Spectral and Geometric Stability for the Reciprocal Sum of Neumann Eigenvalues Yulong Li, Zuoqin Wang Proof ideas or individual proof-step assistance math.SP 21 7 4 1,040
Generic polar divisors and flag residues for root-system zeta functions Jonas Matuzas Proof ideas or individual proof-step assistance math.RT 33 8 10 1,768.8
A frugal primal-dual splitting with minimal lifting over arbitrary rooted trees Feng Xue, Hui Zhang Proofreading, grammar, or spelling math.OC 31 3 8 235.6
Learning sufficient low-dimensional structures through conditional optimal transport Kaiqiang Alan Zeng, Efstathia Bura Proof ideas or individual proof-step assistance math.ST 53 4 8 2,787.6
Divisor moments of polynomials in Fourier coefficients of modular forms Wonwoong Lee Proof ideas or individual proof-step assistance math.NT 26 6 12 1,522
Dittert's conjecture in dimension 16 via a joint-deficit scaling lemma Boris Kafidov Substantial proof generation math.CO 6 1 1 338.5
On free generators in the Grothendieck-Teichmüller Lie Algebra Thomas Willwacher Drafting limited passages math.QA 15 3 9 609
Sharp weighted Carleman and Huber isoperimetric inequalities on the unit ball in higher dimensions Zhijie Chen, Changfeng Gui, Shihong Zhang Computational experiments or data processing math.DG 42 9 21 861.75
Polynomiality of Stretched Schubert Structure Constants and Key Coefficients Per Alexandersson Proof ideas or individual proof-step assistance math.CO 14 6 3 790.8
On the possible values of the Rearrangement Number Vinicius de Oliveira Rodrigues Proof ideas or individual proof-step assistance math.LO 16 0 0 139.2
Semipositivity of the orbifold second Chern class in Fujiki's class Masataka Iwai, Satoshi Jinnouchi, Shiyu Zhang Proof ideas or individual proof-step assistance math.AG 26 7 5 1,354
A Local Classification of Four-Element Multiple Sumsets Minkyu Jung Substantial proof generation math.CO 5 2 4 440
On the Toda hierarchy for the stationary theory of the tube with negative contact orders Hsian-Hua Tseng Substantial text generation math.AG 17 2 3 507.85
A proof of the mod 4 Kawauchi Conjecture Jim Conant Substantial mathematical content or result generation math.GT 23 12 13 2,122
Chernoff's Density Is Strongly Log-Concave Xianyang Zhang, Quan Zhou Substantial proof generation math.PR 9 1 2 467
From Regional Topology to Point-Class Topology in Tarski's Geometry of Solids Patrick Barlatier, Richard Dapoigny Proof ideas or individual proof-step assistance math.LO 26 22 25 2,768.8
Block Diagonal Carleson Frames Ilya Krishtal, Brendan Miller Rewriting existing author-written text math.FA 29 10 9 1,197
A National-Scale EV Charging Scheduling Framework: Optimal Detour Routing Under Infrastructure Capacity Constraints Taner Cokyasar Rewriting existing author-written text math.OC 32 0 0 157.4
Temperature chaos in directed polymers Shirshendu Ganguly, Victor Ginsburg, Zoe Himwich Proofreading, grammar, or spelling math.PR 136 12 58 970.9
Small Counterexamples to the Gaussian Moments Conjecture Christopher D. Long Substantial mathematical content or result generation math.PR 9 1 0 400
Improved Convergence Rate for Stochastic Multi-Gradient Descent: A Proof Discovered with AI Lisha Chen Proof ideas or individual proof-step assistance math.OC 14 1 2 364.8
The realization graph of every degree sequence has a Hamilton path Petr Hladík, Jiří Fink Proofreading, grammar, or spelling math.CO 14 4 5 65.25
Resolution of the Prym map in genus 4 Dmitry Zakharov Code generation, completion, or debugging math.AG 18 3 0 210.6
Feedback Cycles in Exploratory Equilibria Chen-Hung Wu Proof ideas or individual proof-step assistance math.OC 36 9 2 1,350.8
Krasnosel'skii-Mann iterations beyond asymptotics: a combinatorial analysis Mario Bravo, Roberto Cominetti Brainstorming or outlining math.NA 37 6 9 529.3
A positive square-energy strengthening of Turán's theorem Yinchen Liu, Quanyu Tang, Shengtong Zhang Computational experiments or data processing math.CO 11 3 4 192.9
FRSB in the SK spin glass: convergence to full-interval support at zero temperature Hong-Bin Chen Substantial proof generation math.PR 40 3 12 3,382.5
The positive and negative square-energy conjecture Yinchen Liu, Quanyu Tang, Shengtong Zhang Computational experiments or data processing math.CO 12 2 0 186.45
Quantitative Fourier decay for Patterson-Sullivan measures of dimension larger than $1/2$ Félix Lequen, Tuomas Sahlsten Proofreading, grammar, or spelling math.DS 19 1 18 133.7
Frustration index of a signed planar graph and the feedback vertex set Sirui Chen, Jiaao Li, Zhouningxin Wang Proof ideas or individual proof-step assistance math.CO 9 5 3 480.4
Decision-Centric Large Deviations for Data-Driven Capital Buffers in Ruin Models Yf Henkes, Bart P. G. van Parys, Bert Zwart Rewriting existing author-written text math.ST 27 4 3 677.2
Kirszbraun extensions preserving uniform distance in Hilbert spaces Krzysztof J. Ciosmak Proof ideas or individual proof-step assistance math.FA 17 1 1 552.8
$L^2$-cohomology and deformations of the left regular representation Christoph Gamm, Andreas Thom Drafting limited passages math.OA 16 5 9 603.25
Higher-Order Hankel Obstructions to Free Infinite Divisibility for Beta Distributions Diwen Yu Rewriting existing author-written text math.PR 9 3 2 221
On Mixtures of Three Homoscedastic Gaussian Densities: An Unconditional Sharper Bound on the Number of Modes Akifumi Okuno, Yutaro Kabata Proof ideas or individual proof-step assistance math.ST 15 2 4 463.6
Finite Potential Energy for Entire Solutions of the Planar Ginzburg--Landau Equation Hongge Chen, Juncheng Wei, Haicheng Yan, Wen Yang Rewriting existing author-written text math.AP 28 2 9 592.4
Small growth rates of free groups Koji Fujiwara, Sang-hyun Kim, Ryokichi Tanaka Proof ideas or individual proof-step assistance math.GR 19 2 5 1,325.2
Critical thresholds and instantaneous norm inflation for super-diffusive integro-differential equations Bruno de Andrade Drafting limited passages math.AP 34 3 2 611.5
Strong edge-colouring via local flag algebras Eoin Davey, Eoin Hurley, Rémi de Joannis de Verclos, Ross J. Kang, Jan Volec Proof ideas or individual proof-step assistance math.CO 23 7 15 1,169.2
Mathematical Discovery in the Wild: AI-Guided Proofs in Banach Space Theory Antonio Acuaviva, Pablo Acuaviva Substantial mathematical content or result generation math.FA 141 13 36 6,235
Hardy-type norms of matrices Leonid V. Kovalev Drafting limited passages math.FA 10 2 3 282
Venn diagrams as forbidden hypergraph traces Adam Džavoronok, Tymofii Reizin, Jakub Šošovička Proofreading, grammar, or spelling math.CO 10 6 7 76.95
Characterizing the equality case in Brouwer's inequality for Laplacian eigenvalues Yuhang Cui, Xiaodan Chen Proof ideas or individual proof-step assistance math.CO 8 1 4 348.4
Log-Concavity of Conic Intrinsic Volumes Houshan Fu, Suijie Wang Literature search math.CO 6 1 0 49.8
Tight bound for the skew Hamming set-pair problem Guorong Gao, Run Zhao Proof ideas or individual proof-step assistance math.CO 6 1 2 258.8
Iwahori component of the Gelfand--Graev representation for reductive groups Yi Luo Proof ideas or individual proof-step assistance math.RT 15 2 6 698.8
On the wreath transfer in the homology of symmetric groups Dezhou Li Proof ideas or individual proof-step assistance math.AT 28 2 12 1,486.8
Two-time spatial decorrelation for the flat KPZ fixed point Le Chen, Fei Pu Brainstorming or outlining math.PR 24 2 3 195.9
Mirror and knockoff+ thresholds under dependence Xianyang Zhang Proof ideas or individual proof-step assistance math.ST 43 4 2 2,052.4
Entropy Density of Uniquely Ergodic Measures for Full Shifts over Amenable Residually Finite Groups Martha Łącka, Marcel Mroczek Rewriting existing author-written text math.DS 29 10 13 825.6
Real-World, Large Scale, Multi-Period Log Truck Routing and Scheduling : Application to Canadian Forestry Abdelhakim Abdellaoui, Issmail El Hallaoui, Loubna Benabbou, François Aubé, Mouloud Amazouz Drafting limited passages math.OC 33 0 0 659
A proper Euler magic matrix of order $5$ Scott Duke Kominers Computational experiments or data processing math.GM 10 2 1 149.25
Treasure Search Optimization A. Sharma Computational experiments or data processing math.OC 42 2 1 400.8
Linear Turán Numbers of Uniform Hypertrees Rajat Adak, Pragya Verma Proof ideas or individual proof-step assistance math.CO 23 7 11 1,225.6
On Zarankiewicz's bounds for valued vector spaces Hongyi Gou, Mihir Mittal, Chieu-Minh Tran, Zhenyu Yang Drafting limited passages math.LO 24 9 19 1,251.25
The power set of a quasinilpotent backward weighted shift Egor Ignatev Proof ideas or individual proof-step assistance math.FA 7 4 1 436.4
Identifiability of Partial-Mastery Cognitive Diagnostic Models Jun Wu, Patrícia Martinková, Elena Erosheva Rewriting existing author-written text math.ST 30 3 1 421
Tree-derived ideals: Fubini iterations, limit amalgamations, and Katetov obstructions José de Jesús Pelayo Gómez Drafting limited passages math.LO 27 21 18 1,550.25
Largest density of a layered subgraph of a hypercube Maria Axenovich, Arsenii Sagdeev Substantial proof generation math.CO 5 2 0 277
Asymptotic Behavior of Path Functionals for Vector-Valued Gaussian Processes at High Levels Pavel Ievlev, Timofei Shashkov, Svyatoslav Novikov Drafting limited passages math.PR 50 3 21 1,890.5
Linear extremal bounds for a family of forbidden $0$-$1$ matrices Jesse Geneson Proof ideas or individual proof-step assistance math.CO 9 2 2 362.4
Surrogate-to-code verification of a non-intrusive POD-GPR machine-learning emulator of peak thermomechanical fields, with application to a carbon-carbon aircraft brake disc Franklin Kamche Rewriting existing author-written text math.NA 46 0 0 341
A Proof of Bala's Congruence Conjecture for A028342 Ahaan Kallat Proof ideas or individual proof-step assistance math.CO 12 1 2 401.2
Optimal control of symmetry-breaking dynamics near criticality Pearson W. Miller Proof ideas or individual proof-step assistance math.OC 36 0 0 1,063.2
A Globally Asymptotically Stable Planar Homogeneous Polynomial Vector Field With No Polynomial Lyapunov Function Jun Liu, Maxwell Fitzsimmons Substantial mathematical content or result generation math.DS 6 2 4 557
The Zombie Damage Number of a Graph Randy Davila Proof ideas or individual proof-step assistance math.CO 15 7 2 868
An improved upper bound for the planar Turán number of $C_8$ Xuqing Bai, Weichan Liu, Xiangxiang Nie, Xin Zhang Computational experiments or data processing math.CO 24 2 18 516
Lonely runners in real life: Sharp bounds for time-dependent velocities Hyunwoo Lee Substantial mathematical content or result generation math.CO 15 7 2 888.5
The $hp$-FEM does not suffer from the pollution effect for piecewise-smooth Helmholtz problems with Gevrey regularity at boundaries Jeffrey Galkowski, Mostafa Meliani, Euan A. Spence Proof ideas or individual proof-step assistance math.NA 51 7 16 3,213.2
A gap theorem for non-trivial maximal intersecting families and an exact weighted asymptotic El'mira Yu. Kalimulina Drafting limited passages math.CO 29 11 9 1,318.75
The Nullity of a Family of Proper Biharmonic Maps via Elliptic Curves Anna Siffert Rewriting existing author-written text math.DG 8 5 0 263.2
Upper bounds for moments of analytic ranks of elliptic curves over number fields Tristan Phillips, Saahil Sharma Drafting limited passages math.NT 34 3 8 816.5
Generalized Nordhaus--Gaddum Inequalities for Eigenvalues Sahil Agarwal, Carter Antley, Joseph Aulenbacher, George Brooks, Ian Gonzalez, Luke Hawranick, William Linz, Linyuan Lu, Aiden Williams Proof ideas or individual proof-step assistance math.CO 18 11 5 1,159.6
A Projected Drift-Randomized Milstein Method for SDEs with Non-differentiable and Super-linear Drift Coefficients Shuai Wang Drafting limited passages math.NA 39 1 8 865.25
The minimum surface area of $k$ unequal boxes tiling a cube: sharp thresholds, a fault-free law, and a reduction to two dimensions Diego Lago Gómez Code generation, completion, or debugging math.CO 12 5 9 200.3
Counting in logarithmic space Álvaro Gutiérrez, Christian Ikenmeyer, Greta Panova Proofreading, grammar, or spelling math.CO 41 41 12 432.05
Maps of q-deformed fractional order: From circle to cardioid via crescent Sachin Bhalekar, Prashant M. Gade Rewriting existing author-written text math.DS 29 2 0 315.2
Semantics for the minimal well-determined logic Igor Gorbunov, Mikhail Rybakov Proof ideas or individual proof-step assistance math.LO 24 10 13 1,397.2
A 3-semi-perfect 1-factorization of the six-dimensional hypercube Guillaume Lambard Drafting limited passages math.CO 5 2 1 174.75
Nonnegative Bakry--Émery Curvature on Bounded-Degree Graphs Implies Volume Doubling and Poincaré Inequalities Qi Guo, Xueping Huang, Yi C. Huang Proof ideas or individual proof-step assistance math.DG 34 8 12 2,121.2
Lattice slices, Ehrhart polynomials, and magic positivity of generalized parking-function polytopes Charlie Hill, Ambrose Luo, Vu Trinh, Andrés R. Vindas-Meléndez Proof ideas or individual proof-step assistance math.CO 29 10 13 1,954.8
Cycle lengths and chords under chromatic and degree constraints Xiaozheng Chen, Bo Ning Proof ideas or individual proof-step assistance math.CO 18 11 15 1,429.6
Harnessing GPU Acceleration in Large-Scale Process Optimization Boxun Huang, David Y. Shu, Michel Schanen, Mihai Anitescu, Rahul Gandhi, Sungho Shin Rewriting existing author-written text math.OC 6 0 0 63
Sets of unit fractions without two members whose average is a unit fraction Will Sawin Literature search math.NT 9 1 6 107.3
Lorentzian polynomials and matroids over triangular hyperfields 2: Analytic aspects Matthew Baker, June Huh, Mario Kummer, Oliver Lorscheid Substantial proof generation math.CO 88 17 25 7,458
Spectral Characterizations of Schatten-class perturbations of Partial isometries Neeru Bala, Ramesh Golla Drafting limited passages math.FA 12 12 0 660.75
Landscape analysis for shallow neural networks: Complete classification of critical points for cubic activation and affine target functions Shokhrukh Ibragimov, Ilkhom Mukhammadiev, Diyora Salimova Proof ideas or individual proof-step assistance math.OC 37 10 42 3,282
The order of long rainbow arithmetic progressions Jesse Geneson Proof ideas or individual proof-step assistance math.CO 11 2 5 479.2
Two problems on booksize and triangular edges in Nosal graphs Xinghui Zhao, Lihua You, Jing Zeng, Xiaoxue Zhang Citation assistance math.CO 18 9 9 265.9
Shifted S-templates and improved lower bounds for Schur numbers Nils Bengone, Amine Brouk, Max Grinsztajn, Térence Helbert, Bao Lugherini, Arpad Rimmel, Joanna Tomasik Substantial mathematical content or result generation math.CO 4 2 1 276
Statistical Inference for Scenario-Based Dynamic Optimization under Uncertainty Aurya Javeed, Johannes Milz Rewriting existing author-written text math.OC 23 4 1 261.8
Graph alignment in sparse inhomogeneous models via self-overlap Louis Vassaux Drafting limited passages math.PR 31 3 0 801.25
Efficient Hamilton covers and linear arboricity of random graphs Nemanja Draganić, Michael Krivelevich Rewriting existing author-written text math.CO 22 8 12 727.4
How Much Can Gaussian Dependence Inflate the Benjamini-Hochberg Procedure's FDR? Lihua Lei Proof ideas or individual proof-step assistance math.ST 70 5 28 4,186.4
Aperiodicity and subword complexity in the binary expansion of powers of three Ralf Stephan Code generation, completion, or debugging math.CO 22 7 6 295.4
Higher covering spaces in an $\infty$-topos Virgile Constantin Drafting limited passages math.AT 70 23 7 3,220.25
Gradient-enhanced spline dimensional decomposition for uncertainty quantification with limited training samples Eunho Heo, Dongjin Lee Drafting limited passages math.NA 28 0 0 362
Riesz-Kernel Stein Variational Gradient Descent: Renormalized Entropy and Long-Time Particle Limits Trevor Teolis, Maarten V. de Hoop Proof ideas or individual proof-step assistance math.AP 31 3 9 1,373.6
Neural Very Weak Formulations enabling Hardware-Oriented deep PDE solvers Gabriel Acosta, Francisco Bersetche Drafting limited passages math.NA 21 0 0 187.5
The analogue of Belinskaya's theorem for measure-preserving flows Konstantin Slutsky Rewriting existing author-written text math.DS 9 2 1 162
The small Davenport constant of the Heisenberg group of order 125 Patrick White Substantial mathematical content or result generation math.CO 8 2 5 521.5
The role of expanders in the spectral geometry of metric graphs Delio Mugnolo Rewriting existing author-written text math.SP 23 9 7 757
Refinements to the Kuznetsov Formula for Laplace-Beltrami Operators Merrick Chang Drafting limited passages math.AP 12 2 3 380.25
Online Beck--Fiala Down to Logarithmic Sparsity Dylan J. Altschuler, Konstantin Tikhomirov Substantial proof generation math.CO 9 1 7 822.5
Stochastic Domination of Gaussian Maxima: A Resolution of the Weak Simplex Conjecture Abhijeet Mulgund Proof ideas or individual proof-step assistance math.PR 41 3 8 1,463.6
Strongly complete sets and a conjecture of Erdős Steve Fan Proofreading, grammar, or spelling math.NT 16 3 5 104.35
The Hypergraph Moore Bound Afonso S. Bandeira, Dmitriy Kunisky, Petar Nizić-Nikolac, Lucas Pesenti, Robert Wang Substantial mathematical content or result generation math.CO 12 1 6 716.5
Local and global average degree in bipartite graphs Jianfeng Hou, Hongbin Zhao Proof ideas or individual proof-step assistance math.CO 9 1 0 266.4
Supersaturation for Hypergraph-Weighted Independent Sets Sam Spiro Literature search math.CO 22 6 2 221.9
The internal Yoneda lemma for locally Cartesian closed $\infty$-categories Virgile Constantin Drafting limited passages math.CT 15 1 6 557.75
Heat Kernel and Closed Geodesic Asymptotics for Nilpotent Coverings Atsushi Katsuda Rewriting existing author-written text math.SP 84 13 2 1,859
An Order-One Lower Bound on the Error of Scalable Generalized Multiscale Finite Element Space Constructions Changqing Ye Substantial mathematical content or result generation math.NA 23 3 5 1,095
Gaussian solutions to the Yang--Baxter equation and their twists Yasmeen S. Baki, Padmini Veerapen Computational experiments or data processing math.QA 12 4 1 299.55
The exact total degree threshold for the square of a Hamilton cycle in digraphs Zhilan Wang, Shuo Wei, Jin Yan Proof ideas or individual proof-step assistance math.CO 30 3 15 1,114.8
Complete functional calculus bounds for $ρ$-contractions Michael Hartz, Jens de Vries Substantial proof generation math.FA 15 3 8 1,101.5
The variety of nilpotent matrices is $F$-regular Jack Jeffries, Vaibhav Pandey, Anurag K. Singh Substantial mathematical content or result generation math.AC 12 2 3 584
Commensurating actions and self-similar groups Nicolás Matte Bon, Volodymyr Nekrashevych, Tianyi Zheng Drafting limited passages math.GR 34 10 13 1,255.5
Nonstandard likelihood-ratio limits under semidefinite rank constraints Didier Concordet Proof ideas or individual proof-step assistance math.ST 46 5 5 1,700.8
Computing Strong Rank-Revealing Factorizations for Matrices with Orthonormal Rows Anil Damle Computational experiments or data processing math.NA 25 6 0 350.85
Noninvertibility and Bifurcation Phenomena in a Four-Partitions Piecewise Linear Map Wirot Tikjha Proofreading, grammar, or spelling math.DS 24 0 1 137
Golden Finsler Geometry: Local Properties and Global Deformations Ebtsam H. Taha, Bankteshwar Tiwari, A. Soleiman Rewriting existing author-written text math.DG 23 6 4 503.6
A complete curve of genus 10 in the moduli space of curves of genus 3 and related questions Samuel Grushevsky, Christophe Ritzenthaler Proof ideas or individual proof-step assistance math.AG 11 1 0 671.6
Periodicities in the Riordan arrays of polynomials over finite fields Derek E. Bellamy, Eva N. Pflomm, Nikolai A. Krylov Proof ideas or individual proof-step assistance math.CO 27 3 3 745.6
Domination-packing ratio for planar and unit disk graphs Wouter Cames van Batenburg Drafting limited passages math.CO 10 3 5 292.75
Total variation cutoff for Kac's walk on the sphere Vishesh Jain, Clayton Mizgerd Substantial mathematical content or result generation math.PR 39 1 9 2,854.5
On the $K$-theoretic logarithmic double ramification class Kamyar Amini, You-Cheng Chou, Leo Herr, David Holmes, Irit Huq-Kuruvilla, Yuan-Pin Lee Proof ideas or individual proof-step assistance math.AG 54 13 14 3,911.2
Closing the Oracle-Complexity Gap in Derivative-Free Convex Optimization: A Near-Quadratic Lower Bound from Exact Function Values Phillip Kerger Substantial mathematical content or result generation math.OC 36 4 10 1,514
Braid groups and Burnside groups Ethan Dlugie Proof ideas or individual proof-step assistance math.GR 10 1 2 450
Non-vanishing of multiple correlation sequences Or Shalom Rewriting existing author-written text math.DS 48 9 8 1,398.8
Ill-posedness in the critical Sobolev space for the Fokas-Olver-Rosenau-Qiao equation Dan-Andrei Geba Suggesting mathematical examples or conjectures math.AP 10 3 3 316.5
Completely Positive Matrix Products Eric Evert, Michael T. Jury, Scott McCullough Suggesting mathematical examples or conjectures math.FA 29 6 6 1,005
Design of Carbon Capture Processes Under Part-load Operating Conditions David Y. Shu, Boxun Huang, Yurim Kim, Randall Field, Rahul Gandhi, Sungho Shin Proofreading, grammar, or spelling math.OC 6 0 0 10.95
Graph Puzzles III.1: A Proof of Sabidussi's Compatibility Conjecture Nikolay Ulyanov Substantial proof generation math.CO 8 2 2 422
Gaussian FSBP operators: Comparison and application to numerical methods for hyperbolic conservation laws Jan Glaubitz, Henry Haase, Philipp Öffner, Finnja Stafforst Computational experiments or data processing math.NA 23 0 1 197.1
Obstructions to homomorphisms between homogeneous C*-algebras Ilan Hirshberg, N. Christopher Phillips Drafting limited passages math.OA 33 4 18 1,073.75
On almost disjoint families and Johnson-Lindenstrauss spaces Antonio Avilés, Grzegorz Plebanek, Luis Sáenz Substantial mathematical content or result generation math.FA 19 9 9 1,478.5
Quantum determinants in polynomial time Igor Pak, Daniel Soskin Proof ideas or individual proof-step assistance math.QA 27 4 18 1,344.8
Meeting and coalescence times for random walks in the largest component of the Erdős-Rényi random graph Vyacheslav Koval, Yuval Peres, Pieter Trapman Brainstorming or outlining math.PR 46 1 26 473
On Rates Attainable under Random Design: A Negative Answer to a Problem of Robins P. M. Aronow, Patrick Lopatto Proof ideas or individual proof-step assistance math.ST 58 2 12 2,434
Interchange graphs of (0,1)-matrices are maximally Hamiltonian Jeffrey S. Baggett, Huiya Yan Proof ideas or individual proof-step assistance math.CO 46 0 0 441.6
Beyond Mock Modularity: Elliptic Corrections for Higher Dyson Ranks Claudia Alfes, Ken Ono, Ashvin Swaminathan Drafting limited passages math.NT 33 10 3 1,156
The symplectic Hadamard question Dan Cristofaro-Gardiner Substantial proof generation math.SG 6 1 1 305.5
Cardinal invariants on universally null sets Tatsuya Goto Proof ideas or individual proof-step assistance math.LO 11 5 3 747.2
A Separable Banach Space with a Schauder Basis Which Is Not a Lipschitz Retract of Its Bidual Antonio Acuaviva Proof ideas or individual proof-step assistance math.FA 21 3 2 945.6
Large sets of mutually orthogonal quantum Latin squares Simeon Ball, Robin Simoens Proof ideas or individual proof-step assistance math.CO 8 6 5 628.4
Fano 4-fold quiver moduli from subspace quivers Pieter Belmans, Markus Reineke Computational experiments or data processing math.AG 34 8 25 765
From Manifold Identification to Newton Acceleration on Intersections: Sparse Stiefel Optimization Shixiang Chen, Wen Huang Proof ideas or individual proof-step assistance math.OC 74 4 15 4,172.8
A universal leading-residue formula for Witten zeta functions Jonas Matuzas Substantial mathematical content or result generation math.RT 16 2 3 934.5
Shock solutions for the one-dimensional information geometric regularization of compressible flow William Barham, Brian K. Tran, Ben S. Southworth, Florian Schäfer Drafting limited passages math.AP 35 8 8 1,101
Tensor-Based Reduced-Order Modeling for Optimization-Based Inverse Problems Sahidul Islam, Andreas Mang, Maxim Olshanskii Drafting limited passages math.NA 29 0 0 293.75
Deep Learning-based Surrogate Modelling of the LOD Method for Multiscale Problems Marc Haltmayer, Jaemin Seo, Yuseung Lee, Sungyeop Lee, Jaehoon Jeong, Jae Yong Lee Drafting limited passages math.NA 56 7 2 969
Genus and Gonality of Small Curves, Dynamical Uniform Boundedness, and Bifurcation Zhuchao Ji, Junyi Xie Rewriting existing author-written text math.DS 76 14 12 1,523.8
Local flag algebras Eoin Davey, Eoin Hurley, Rémi de Joannis de Verclos, Ross J. Kang, Jan Volec Proof ideas or individual proof-step assistance math.CO 30 9 30 2,225.2
A Fourier-Aware Projection-Based Periodic Parareal Method for Time-Periodic Problems Chenyi Tan, Yuncheng Xu, Yehao Zhang, Yangfeng Su Computational experiments or data processing math.NA 26 1 2 228.6
Odd Parts of Derivative Period Polynomials: Zero Geometry and a Logarithmic Transition Seokho Jin Proof ideas or individual proof-step assistance math.NT 53 7 20 2,389.2
Compact Coefficient Formulae for Logarithmic Tangent and Hyperbolic Integrals Luc Ramsès Talla Waffo Computational experiments or data processing math.GM 33 0 9 537.9
Solomon zeta functions over arithmetic orders Sean B. Lynch Drafting limited passages math.NT 18 6 2 662.75
$p$-adic Sum-Product, Projections, and Furstenberg Sets Jiahe Shen Proof ideas or individual proof-step assistance math.MG 66 0 0 1,608.4
The Benjamini--Hochberg Procedure Can Fail to Control the FDR for Correlated Two-Sided Gaussian Tests Edgar Dobriban Substantial proof generation math.ST 16 1 2 1,317.5
Revisiting Simultaneous Methods for Dynamic Optimization in the GPU Era Joseph W. Choi, Sungho Shin Code generation, completion, or debugging math.OC 6 0 0 22.6
Broken-space Additive Schwarz Mass Inverse Approximations and (Block) Preconditioning Oliver A. Krzysik, Ben S. Southworth, Golo A. Wimmer Proof ideas or individual proof-step assistance math.NA 23 1 3 567.6
Induced-Minor-Closed Classes have Linear, Square-Root, or Sub-Polynomial Tree-Independence Maria Chudnovsky, Julien Codsi, Ajaykrishnan E S, Daniel Lokshtanov Rewriting existing author-written text math.CO 36 5 15 813.8
Tangent-Space Multiscale Manifold Methods for Nonlinear Elliptic Problems Mats G. Larson, Anna Persson Drafting limited passages math.NA 43 0 3 585.25
Noncommutative Floquet-Bloch Theory for Nilpotent Groups: Representation-Theoretic Foundations Atsushi Katsuda Rewriting existing author-written text math.RT 60 19 1 1,414.8
Magnitude homology of tope graphs Junnosuke Koizumi Proof ideas or individual proof-step assistance math.CO 26 5 15 1,765.6
Serrin's Problem under Dirichlet Perturbations: Geometric Compactness and Sharp Planar Stability Qinfeng Li, Weihong Xie, Hang Yang Proof ideas or individual proof-step assistance math.AP 32 6 15 1,850
Duals of higher vector bundles and cotangents of Lie 2-groupoids Stefano Ronchi Proofreading, grammar, or spelling math.DG 200 28 33 951.5
Full replica symmetry breaking in the Sherrington-Kirkpatrick model Patrick Lopatto Drafting limited passages math.PR 54 1 10 1,538.75
Optimal Embeddings of Constant-Dimensional Subspaces of $L^p$ into $\ell_p^N$ Yi Li Substantial mathematical content or result generation math.FA 33 7 12 1,914.5
Superlinear complexity of the $(3/2)^n$ steering word Ralf Stephan Code generation, completion, or debugging math.NT 25 12 4 359.8
Scenario Reduction for Two-Stage Stochastic Mixed-Integer Programs Yannick Werner, Juan Miguel Morales, Salvador Pineda, Line Roald, Sonja Wogrin Code generation, completion, or debugging math.OC 26 1 0 142.9
Fractal uncertainty principle over $\mathbb{Q}_p$ Valentino Badalucco, Leonardo Franchi Literature search math.FA 10 4 3 160
Formal Safety Verification for Nonlinear Systems with Generative Barrier Certificate Mengxin Ren, Hanrui Zhao Substantial mathematical content or result generation math.OC 7 3 0 423.5
Performance evaluation of branch-free fused multiply-add algorithms for multi-component-type multiple-precision floating-point arithmetic Tomonori Kouya Code generation, completion, or debugging math.NA 36 0 0 83.4
Weak essentially undecidable theories of hereditarily finite multisets Platon Sifnaios Proof ideas or individual proof-step assistance math.LO 21 10 11 1,492.4
Intrinsic ergodicity for $\mathfrak{B}$-free integers in number fields Francesco Cellarosi Drafting limited passages math.DS 14 1 4 363.25
Minimal Isometric Embeddings of Graphs into Cayley Graphs of Finite Abelian Groups Fokam Souop Rigobert, Bitjoka Laurent Code generation, completion, or debugging math.CO 43 11 4 327
The Pseudo-Analytic Charge Daniel Alayón-Solarz Brainstorming or outlining math.CV 14 2 2 153.9
On the recolorability of $(2K_2, K_4)$-free graphs Henry Echeverría, Owen Henderschedt Rewriting existing author-written text math.CO 41 10 16 724.2
On Two Combinatorial Inequalities That Explain the Blimpy Shape of Heady-s and Taily-s Bit Strings Bruce Levin Computational experiments or data processing math.CO 24 5 2 391.5
Small Matrices with Large Inverses: Unimodular $4 \times 4$ Cases Steven Finch Substantial mathematical content or result generation math.CO 21 0 0 475
Geometry and topology of the tempered Iwahori-spherical representations of a split semisimple $p$-adic group Dominic Majda, Graham A. Niblo, Roger Plymen, Nick Wright Code generation, completion, or debugging math.RT 69 4 5 539.5
A black-box, multilevel algebraic preconditioning framework for conforming finite elements O. A. Krzysik, B. S. Southworth, G. A. Wimmer Code generation, completion, or debugging math.NA 25 2 1 141.3
There is no degree independent Bombieri type inequality for non-homogeneous polynomials J. M. Aldaz Substantial mathematical content or result generation math.CA 3 1 0 109.5
Analytic Spread via Linear Matroids Stephen Landsittel, Eran Nevo Computational experiments or data processing math.AC 29 6 11 559.35
Higher Semiadditive Character Theory Shaul Ragimov Rewriting existing author-written text math.AT 81 6 38 2,416
$p$-adic Maass--Shimura operators on $μ$-ordinary Igusa varieties Andrew Graham, Pol van Hoften, Sean Howe Substantial mathematical content or result generation math.NT 85 8 26 7,026.5
JAX-FVM: A differentiable, entropy-stable finite volume solver on unstructured meshes for compressible flows Guillaume de Romémont Code generation, completion, or debugging math.NA 11 0 0 35.8
Involution-equivariant topological recursion and mirror symmetry for the affine binary dihedral Calabi--Yau threefold Bohan Fang, Zhuoming Lan, Jingxiang Ma Substantial mathematical content or result generation math.AG 77 0 0 809
Dyadic potential theory and de Rham functions Nicola Arcozzi Proof ideas or individual proof-step assistance math.AP 27 7 6 1,455.2
Norm Bounds for Sparse Random Tensors and Spectral Gap of Random Hypergraphs Kevin Lucca, Lucas Pesenti Literature search math.PR 25 7 14 346.3
Mathematical models for CAR T immunotherapy and CD19 dynamics in leukemia: a comparative analysis Salvador Chulián, Ana Niño-López, Rocío Picón-González, María Rosa Rewriting existing author-written text math.DS 41 0 0 187
Dyck paths on colored lattices Manjil P. Saikia Rewriting existing author-written text math.CO 5 3 2 160.6
Local large deviations for linear-region growth in random piecewise-linear networks Recep Özkan, Christian Hirsch Brainstorming or outlining math.PR 23 10 5 316.8
$p$-adic Hahn series with sparse support Shanwen Wang, Yijun Yuan Code generation, completion, or debugging math.NT 30 7 18 574
Gaussian comparison above the median Colin B. Fogarty Proof ideas or individual proof-step assistance math.ST 18 1 0 693.6
Dynamic Driver Allocation Under Latent Demand Regimes: Indexability of a Partially Observed Markov Decision Process Pedro Cesar Lopes Gerum, Jiong Liu, Ellen Bernal Cavalheiro, Luiz Felipe Martins, Matteo Giaretti Rewriting existing author-written text math.OC 41 0 4 541.8
Mixing of Glauber Dynamics on High Overlap Gibbs Measures Afonso S. Bandeira, Ahmed El Alaoui, Almut Rödder Substantial mathematical content or result generation math.PR 15 1 4 653.5
Linear-Quadratic Mean Field Games with Hybrid Local-Global Interactions on Manifolds Tao Zhang Proofreading, grammar, or spelling math.OC 24 3 9 149.4
Stable Phase Retrieval for Spans of Independent Random Variables Pedro Abdalla, Jaume de Dios Pont, João P. G. Ramos, Mitchell A. Taylor Substantial proof generation math.FA 34 3 14 1,755.5
A Higher-Order Clique Density Theorem Heng Li, Hong Liu, Yixiao Zhang Computational experiments or data processing math.CO 15 6 9 396.3
The crumby coloring conjecture for subcubic outerplanar graphs József Pintér Drafting limited passages math.CO 18 1 5 383.25
Minimum-rank parameters of complements of threshold Kneser graphs Tao Hu, Quanyu Tang Rewriting existing author-written text math.CO 12 1 5 308.6
A refined Malle conjecture for Heisenberg groups Jack B. Miller, Tim Santens Substantial mathematical content or result generation math.NT 23 4 20 2,037
Irregular subgraph in a regular graph Tianyue Cao, Quanyu Tang, Hehui Wu Proof ideas or individual proof-step assistance math.CO 18 1 7 767.2
Generalized spectral closedness of $\mathcal{F}$-free graph classes Wei Wang, Quanyu Tang Suggesting mathematical examples or conjectures math.CO 16 5 4 502.2
Nested Volume-Surface Integral Equations for Acoustics Danilo Aballay, Elwin van 't Wout Rewriting existing author-written text math.NA 35 3 4 352
Topological Dynamics of Pullback Maps on Full Shifts Alonso Castillo-Ramirez, Luguis De Los Santos Baños Rewriting existing author-written text math.DS 13 4 2 406.8
Stability for the Affine Sobolev Inequality and its Critical Points for $p\ge 2$ Rupert L. Frank, Yinqin Li, Dachun Yang Brainstorming or outlining math.AP 76 9 20 1,142.2
Random Multiplicative Functions and Making Squares from Polynomial Values Régis de la Bretèche, Victor Y. Wang, Max Wenqiang Xu Proof ideas or individual proof-step assistance math.NT 24 7 11 1,808.8
Sharp Logarithmic Thresholds for Cut Schedules in an Abstract Branch-and-Cut Model Hongyi Jiang Proof ideas or individual proof-step assistance math.OC 14 3 2 428.8
Making Surfaces Biharmonic by Conformal Reparametrization in Anti-de Sitter Three-Space Dipesh Bhandari Computational experiments or data processing math.DG 33 6 3 504.45
On Symmetric Kernel Collocation for Nonlinear PDEs Milan Bacchetta, Tobias Ehring, Bernard Haasdonk Rewriting existing author-written text math.NA 20 2 0 269.4
Learning Adaptive Coarse Spaces Using Transferable Neural Network Models for Linear and Nonlinear Overlapping Domain Decomposition Methods Axel Klawonn, Martin Lanser, Janine Weber-Hamacher Code generation, completion, or debugging math.NA 38 0 0 144.6
Extreme least singular values of Gaussian row submatrices and a phase retrieval stability problem Yitzchak Shmalo Drafting limited passages math.PR 12 1 5 305.75
Involution $h$ on Catalan structures Anders Claesson, Sergey Kitaev, Einar Steingrímsson, Lintong Wang Substantial mathematical content or result generation math.CO 43 9 9 2,053.5
On exotic Diophantine triples in $\mathbb{R}[X]$ Ana Jurasić Suggesting mathematical examples or conjectures math.NT 6 2 2 237
On the polynomial values represented by quadratic forms Bogdan Grechuk, Jamal Agbanwa Substantial proof generation math.GM 13 0 0 518
An improved upper bound on the Ruzsa number Yuchen Ding, Yu-Chen Sun, Lilu Zhao Brainstorming or outlining math.NT 11 3 8 164.3
Closed-form fractional radial links for elliptical Mahalanobis discriminant analysis Serhii Zabolotnii Code generation, completion, or debugging math.ST 19 3 1 112.3
The Pirahã and the cognitive gap in Frege's theorem: Hume's principle without the # Subrata Pal Proof ideas or individual proof-step assistance math.HO 18 0 0 193.6
Tangent classes of matroids and wonderful compactifications Ronnie Cheng, Shurui Liu, Guoxiong Gao Substantial mathematical content or result generation math.AG 33 8 19 4,190
Long Directed Cycles in Vertex-Transitive Digraphs Bowen Li, Abhishek Methuku Proofreading, grammar, or spelling math.CO 14 4 9 88.15
Design Principle for Mode-Consistent Galerkin Closure under a Physical Energy Metric for Hyperbolic Systems Hirofumi Tomita Rewriting existing author-written text math.NA 22 4 15 774
Universal Cycles for Affine Planes and 3-Subspaces over Finite Fields Yu Hsuan Hsieh, Ming-Hsuan Kang Drafting limited passages math.CO 40 10 13 1,170
Integer values of $\tan(\arctan 1+\arctan 2+\cdots+\arctan n)$ are rare Ken Ono Code generation, completion, or debugging math.NT 9 2 3 123.4
Game Conductors of Finite Groups: Determinantal Torsion from Structured Payoff Probes Matthew Fried Proof ideas or individual proof-step assistance math.GR 17 7 2 974.8
A measurable equivariant Weierstrass theorem Konstantin Slutsky, Mikhail Sodin, Aron Wennman Rewriting existing author-written text math.CV 33 11 10 738.2
Riccati Reductions for Modified Bessel Ratios: Bernstein Positivity, Exact Certificates, and Transfer Obstructions Domingos S. P. Salazar Rewriting existing author-written text math.CA 21 2 4 512.6
Sharp ratios for low-index Neumann eigenvalues on convex domains Quanyu Tang, Haiqi Zhang Brainstorming or outlining math.AP 15 2 7 206.7
Well-invertible column subsets of sparse matrices are rare Han Huang, Mark Rudelson, Konstantin Tikhomirov Proof ideas or individual proof-step assistance math.PR 32 3 10 1,641.2
The Minkowski grid has robustly many repeated distances Sungchul Lee, Cosmin Pohoata, Daniel G. Zhu Substantial mathematical content or result generation math.CO 8 2 2 439
Iwasawa invariants of sharp/flat $2$-adic $L$-functions for quadratic twists of elliptic curves Taiga Adachi Proof ideas or individual proof-step assistance math.NT 30 12 9 1,959.2
Sharp Circular Sampling and Derivative Period Polynomials Seokho Jin Proof ideas or individual proof-step assistance math.NT 34 16 11 2,202
Integer Coefficient Power Series with Prescribed Zero Sets Jon Bannon, David Feldman Drafting limited passages math.CV 10 2 2 296.5
Adaptive direct search algorithms with relaxable and quantifiable constraints Charles Audet, Théo Denorme, Youssef Diouane, Sébastien Le Digabel, Christophe Tribes Formatting or typesetting math.OC 23 3 0 372.7
Edge-disjoint Hamilton cycles under a bipartite-hole condition Yanan Hu, Chengli Li, Feng Liu Proof ideas or individual proof-step assistance math.CO 9 4 5 602.4
A counterexample to the odd-dimensional rank bound for abelian \texorpdfstring{$p$}{p}-group actions Jihao Liu, Yanze Wang Substantial proof generation math.AG 4 1 0 267
On two questions of Qi on saturated filtrations Jihao Liu, Haofeng Zhang Substantial proof generation math.AC 6 2 6 504
A Lewy theorem for harmonic quasiregular mappings in three-space David Kalaj, Jian-Feng Zhu Rewriting existing author-written text math.CV 25 5 7 711.4
Bernstein Functions at Work: Coalescents, Copulas, and Subordination Domingos S. P. Salazar Proof ideas or individual proof-step assistance math.PR 27 7 5 1,074
The nonlocal attraction-repulsion transport equation with power kernels Massimo Fornasier, Hui Huang, Lukang Sun Code generation, completion, or debugging math.AP 62 4 8 644.7
A slope-unstable bundle on a surface with 1-homogeneous projectivization Jihao Liu Substantial proof generation math.AG 5 2 4 461.5
A sharp lower bound for some reciprocal Rado numbers Collier Gaiser, Mojtaba Ramezanpour Computational experiments or data processing math.CO 15 9 1 291.6
Banach spaces with the weak diametral diameter two property Juan Guerrero-Viu, Miguel Martín, Abraham Rueda Zoca Rewriting existing author-written text math.FA 30 9 5 804.2
Certified Minimal-Prime Branch Closures for Odd Perfect Numbers Marco Mantovanelli Code generation, completion, or debugging math.GM 45 11 14 709.3
Two aspects of graph 3-manifold groups Hongbin Sun Proof ideas or individual proof-step assistance math.GT 37 6 15 1,454.4
Four squares from three real polynomials Ana Jurasić Suggesting mathematical examples or conjectures math.NT 6 1 4 282.9
Microlocal defect functionals in VMO: Geometric localisation and applications to highly heterogeneous media Marin Mišur Drafting limited passages math.AP 26 6 1 904.75
On Phase-Space Orthogonality for Higher-Order Distributions: Obstructions and Algebraic Resolutions Marin Mišur Drafting limited passages math.AP 28 27 3 1,185
A Three-Dimensional Operator System without the Smith--Ward Property Marcel Scherer Suggesting mathematical examples or conjectures math.OA 9 2 2 334.8
Unified convergence analysis for gradient descent optimization methods in the training of deep neural networks Shokhrukh Ibragimov, Arnulf Jentzen Literature search math.OC 51 0 0 258.9
The Complexity of Weak Saturation for Complete Graphs and Balanced Complete Bipartite Graphs Yihan Chen, Tianying Xie Proof ideas or individual proof-step assistance math.CO 16 3 10 788.4
A Stretched-Exponential Bound for an Erdos--Graham Unit-Fraction Problem Samuel Korsky Proof ideas or individual proof-step assistance math.NT 27 1 12 1,207.6
Hives from deformed GUE minor processes Hariharan Narayanan Proof ideas or individual proof-step assistance math.PR 67 7 20 4,199.2
Termination of Binary Trust-Gossip Dynamics: A Constructive No-Limit-Cycles Theorem Nicholas Boichuk Drafting limited passages math.CO 18 3 8 556.75
K-polystable toric Fano varieties with small alpha invariants Jihao Liu, Ziwen Zhu Substantial proof generation math.AG 6 2 0 417
Characteristic Polynomials of Graph- and Digraph-Deleted Catalan Arrangements Yanru Chen, Ang Li, Suijie Wang Rewriting existing author-written text math.CO 25 6 2 479
The exact generalized Turán number for \(C_6\) in \(C_8\)-free graphs Zian Chen, Jinghua Deng Proof ideas or individual proof-step assistance math.CO 14 3 13 869.6
Discretisation of Eulerian nonlinear elasticity and diffusion using gradient flows Andrea Zafferi, Dirk Peschka Code generation, completion, or debugging math.NA 26 0 0 165.5
Optimal Harvesting of Size-Structured Populations with Environmental Feedback and Fixed Recruitment Flux Louis Shuo Wang, Jiguang Yu Proofreading, grammar, or spelling math.AP 21 12 3 155.9
ArcheoLab: A hands-on course to engage students in applied mathematics Denise Schmutz, Sonia Foschiatti, Axel Kittenberger Proofreading, grammar, or spelling math.HO 16 0 0 17.2
Hölder maps under Pfaffian constraints Armin Schikorra Brainstorming or outlining math.AP 52 5 11 555.8
A Romanoff-type theorem for $P_2$+{$a^a$: a$\ge$ 1} Yuchen Ding, Huixi Li, Junfeng Li Brainstorming or outlining math.NT 12 1 4 114.6
Convex hypersurfaces and robust heterodimensional dynamics Julian Chaidez, Michael Huang Proofreading, grammar, or spelling math.SG 47 8 32 445.2
An AI-Assisted Solution to the Signed BAR Conjecture: Uniqueness in the Harrison--Reiman Class and a Completely-$\mathcal{S}$ Class Obstruction Yiping Lu, Youheng Zhu Substantial proof generation math.PR 32 8 7 2,483.5
The discrete logarithm problem in cokernels of $\mathcal{O}_K$-matrices Isaac Rajagopal Substantial mathematical content or result generation math.NT 7 2 4 451.5
Heisenberg-Weyl Representations and Morita equivalence for crossed products of Noncommutative solenoids Pratik Kumar Kundu Rewriting existing author-written text math.OA 37 13 14 1,324
On Sárközy-Sós Theorem related to representation functions Jin-Hui Fang, Sándor Z. Kiss, Wei Niu, Csaba Sándor Proof ideas or individual proof-step assistance math.NT 11 1 1 439.6
On the smallest numerical semigroups closed under affine maps Amelia Álvarez, Carlos-Jesús Moreno-Ávila, Ignacio Ojeda Rewriting existing author-written text math.AC 21 6 8 703.2
Fusion rules from the Norton inequality Alonso Castillo-Ramirez Proof ideas or individual proof-step assistance math.RA 8 1 3 446.8
Refined Humbert invariants and subvarieties of $\Ac_2(\C)$: the rank 3 case Elisa Lorenzo García, Christophe Ritzenthaler Proof ideas or individual proof-step assistance math.NT 11 1 5 858.8
Disproof of the tree product conjecture via the Heisenberg group Freddie Illingworth, Sergey Norin, Raphael Steiner Proof ideas or individual proof-step assistance math.CO 16 3 8 678
North-East Lattice Paths with Few Collinear Vertices Samuel Korsky Proof ideas or individual proof-step assistance math.CO 17 2 7 733.6
Strict Total Positivity from Spectral Darboux and Toeplitz Smoothing Mechanisms Domingos S. P. Salazar Proof ideas or individual proof-step assistance math.CA 16 2 5 595.6
Online Modeling and Sequential Convex Programming for Lunar Landing Trajectory Optimization Zhenbo Wang Proofreading, grammar, or spelling math.OC 22 8 3 107.35