2132 papers
This paper establishes that for an inaccessible cardinal , the isomorphism relation of any theory with fewer than non-isomorphic models of size is continuously reducible to the isomorphism relation of any unstable or superstable non-classifiable theory within the space of regressive functions on .
This paper establishes precise formulas for various topological indices and graph polynomials, including diameters, perfect matchings, Tutte polynomials, and Wiener and Szeged indices, for the infinite family of Schreier graphs generated by tree automaton groups.
This paper establishes quantitative Calderón-Zygmund estimates for 2D viscous Hamilton-Jacobi equations with natural gradient growth and applies them to prove the existence of classical solutions for stationary second-order Mean Field Games systems with defocusing power-law couplings, while also surveying existing regularity results and outlining open problems.
This paper develops a theory of flats and hyperplane arrangements for matroids over tracts (T-matroids), establishing cryptomorphic descriptions via lattices of T-flats, hyperplane and point-line arrangements, and quiver representations, with applications to tropical linear spaces.
The paper proves that every graph with a minimum degree of at least $10^810^8K_{k+1}$, thereby resolving a long-standing problem posed by Kühn and Osthus.
This paper introduces a Unifying Primal-Dual Proximal (UPP) framework that linearizes the augmented Lagrangian to unify various distributed nonconvex optimization methods, proving sublinear convergence to stationary points and linear convergence under the Polyak-Łojasiewicz condition, while demonstrating superior performance through specialized algorithms like UPP-MC and Chebyshev-accelerated UPP-SC-OPT.
This paper presents an optimization-driven, adjoint-based framework that utilizes both monolithic and partitioned strategies to simultaneously identify structural damage and reconstruct temperature fields in one-way thermo-mechanically coupled systems, demonstrating superior accuracy over traditional assumptions even with sparse and suboptimally placed sensor networks.
This paper provides explicit formulas for the coproducts of modified Drinfeld-Cartan generating series for the Yangian in type and the quantum affine algebra in type , while also presenting an explicit construction of positive prefundamental representations for the latter.
This paper introduces rank-3 generalized Clifford manifolds, demonstrating that they canonically induce generalized hypercomplex structures and possess an integrable twistor space characterized by a natural Spin(3)-action and a generalized Nijenhuis tensor-based integrability condition.
This paper proposes an ADMM-based Bilevel Descent Aggregation (ADMM-BDA) algorithm for sparse hyperparameter selection that overcomes the limitations of existing methods by achieving global convergence without relying on the restrictive lower-level singleton assumption.
This paper establishes that (odd hole, hammer, )-free graphs are perfectly divisible and provides specific polynomial and linear bounds on the chromatic number for various classes of short-holed graphs.
This paper proposes a topic-sensitive hyperintensional semantics to model ignorance as a content-dependent attitude, offering sound and complete logical systems for three distinct forms of ignorance while resolving the problem of logical omniscience by accounting for an agent's capacity to grasp proposition content.
This paper presents the first construction of a complex Hadamard matrix of order 94 by modifying a fundamental block method to utilize specific circulant -matrices of order 47, which were identified through computer-aided search.
This paper investigates the structural and combinatorial properties of Bi-Cayley graphs over cyclic groups of order , establishing that they are connected, biregular, have girth three and diameter five, while also extending these findings to arbitrary finite groups under specific conditions.
This paper introduces and analyzes a canonical cover of the future cover for sofic shifts, which either coincides with the original future cover or constitutes a genuine extension depending on the specific case.
This paper establishes the global existence of weak solutions for arbitrarily large initial data in a multi-dimensional quasilinear thermoviscoelastic system with temperature-dependent viscosity, extending previous one-dimensional results to higher dimensions without requiring smallness conditions on the data.
This paper defines analogs of -volume, Epstein surfaces, and Liouville action within the correspondence between anti-de Sitter 3-space and -conformal metrics, applying these constructions to derive finite invariants for positive curves in flag manifolds.
This paper establishes the global well-posedness and proves that solutions to the nonlinear three-dimensional thermoelasticity system with positive temperature globally converge to an equilibrium state with a uniform temperature distribution determined by energy conservation.
This paper computes the magic labeling enumeration function and its generating function for pseudo-line and pseudo-cycle graphs, thereby extending previous work by Bóna et al. and providing explicit solutions where Stanley's theorem only guarantees a polynomial structure.
This paper constructs a fractured structure on the -topos of condensed anima to identify a jointly conservative collection of points and resolves a question by Clausen by demonstrating that the category of extremally disconnected spaces lacks all fibers.