Paper Search
Latest Papers (207190 total)
-
Rokhlin property and approximate representability for inclusions of index-finite type
Hyun Ho Lee, Hiroyuki Osaka
August 19, 2026
math.OA arXiv: 1805.01613Let $P\subset A$ be an inclusion of unital $C\sp*$-algebras of index-finite type with a fixed conditional expectation $E:A\to P$. We introduce
c*-algebras operator algebras rokhlin property weak tracial rokhlin property approximate representability weak tracial approximate representability index-finite type inclusions conditional expectations jones-watatani basic construction central sequence algebras ultrapowers order-zero maps completely positive maps cuntz comparison jiang-su algebra uhf algebra af algebra finite group actions duality permanence properties tracial z-absorption z-stability strict comparison tracial nuclear dimension hopf c*-algebrasmath.OA -
On the Termination Problem for Probabilistic Higher-Order Recursive Programs
Naoki Kobayashi, Ugo Dal Lago, Charles Grellois
August 19, 2026
cs.PL arXiv: 1811.02133In the last two decades, there has been much progress on model checking of both probabilistic systems and higher-order programs. In spite of the emergence of higher-order
probabilistic higher-order model checking phors termination probability almost sure termination undecidability fixpoint characterization higher-order recursion schemes recursive markov chains probabilistic pushdown systems hilbert's tenth problem diophantine equations order-2 reachability probability fixpoint equations sound approximation upper bound discretization finite element method kleene iteration piecewise linear interpolation abstract interpretation probabilistic programming higher-order functions call-by-name church encodingcs.PL cs.LO -
Boundedness and volume of generalised pairs
Caucher Birkar
August 19, 2026
math.AG arXiv: 2103.14935In this paper we investigate boundedness and volume of generalised pairs and give applications to usual algebraic varieties and
algebraic geometry birational geometry minimal model program generalised pairs boundedness volume descending chain condition nef divisors descent of nef divisors lc pairs klt pairs toroidal pairs crepant models log discrepancies iitaka volume canonical bundle formula adjunction stable minimal models moduli spaces log smooth bounded families generalised lc thresholds strongly stable minimal models ample divisors projective varietiesmath.AG -
Retinotopic Mechanics derived using classical physics
Ifedayo-EmmanuEL Adeyefa-Olasupo
August 19, 2026
q-bio.NC arXiv: 2109.11632The concept of a cell$'$s receptive field is a bedrock in systems neuroscience, and the classical static description of the receptive field has had enormous success in explaining the fundamental
retinotopic mechanics receptive fields saccadic eye movements spatial constancy predictive neural remapping elastic fields force fields centripetal force convergent force translational force spring dynamics foveated vision afoveated vision visual sensitivity psychophysics computational neuroscience systems neuroscience classical physics neural spring retinotopic mass inverse-distance law gain modulation vector subtraction models artificial network models biologically inspired modelsq-bio.NC physics.bio-ph -
Thermoelectric properties of Topological Weyl Semimetal Cu$_2$ZnGeTe$_4$
Bhawna Sahni, Himanshu Sharma, Riddhimoy Pathak, P C Sreeparvathy, Tanusri Saha-Dasgupta, Kanishka Biswas, Aftab Alam
August 19, 2026
cond-mat.mtrl-sci arXiv: 2306.11656The exploration of topological quantum materials for thermoelectric (TE) applications offers an opportunity to combine nontrivial electronic topology with efficient
topological weyl semimetal thermoelectric cu2zngete4 first-principles calculations density functional theory band inversion weyl nodes lattice thermal conductivity electronic transport seebeck coefficient power factor zt figure of merit phonon scattering anharmonicity berry curvature surface states narrow-gap semiconductor quaternary chalcogenide spin-orbit coupling carrier concentration relaxation time acoustic deformation potential alloy engineering sn substitution experimental synthesiscond-mat.mtrl-sci -
Corrections of Zipf's and Heaps' Laws Derived from Hapax Rate Models
Łukasz Dębowski
August 19, 2026
cs.CL arXiv: 2307.12896The article introduces corrections to Zipf's and Heaps' laws based on systematic models of the proportion of hapaxes, i.e
zipf's law heaps' law hapax rate urn model vocabulary growth frequency spectrum rank function type-token ratio quantitative linguistics natural language processing statistical linguistics power-law distribution memoryless source analytic function logistic model linear model cancelation model constant model mixture model lexical trash hypothesis corpus analysis text length word frequency distribution lotka's law mandelbrot correctioncs.CL stat.AP -
Quantiles on global non-positive curvature spaces
Ha-Young Shin, Hee-Seok Oh
August 19, 2026
math.ST arXiv: 2312.10870This paper develops a notion of geometric quantiles on Hadamard spaces, also known as global non-positive curvature spaces. After providing some
geometric quantile hadamard space non-positive curvature hyperbolic space manifold statistics asymptotic normality strong consistency gradient descent boundary at infinity isometry equivariance quantile regression outlier detection distributional characteristics single-cell rna sequencing poincaré disk spd matrices phylogenetic trees diffusion tensor imaging fréchet regression transformation-retransformation wasserstein distance permutation test geodesic ray exponential map busemann functionmath.ST stat.OT stat.TH -
Theoretical Guarantees for the Subspace-Constrained Tyler's Estimator
Gilad Lerman, Teng Zhang
August 19, 2026
math.ST arXiv: 2403.18658This work analyzes the subspace-constrained Tyler's estimator (STE), a method designed to recover a low-dimensional subspace from a dataset that may be
robust subspace recovery tyler's m-estimator subspace-constrained tyler's estimator outlier robustness low-dimensional subspace inlier-outlier model computational hardness small set expansion sum-of-squares list-decodable subspace recovery generalized haystack model matrix perturbation theory linear convergence initialization condition signal-to-noise ratio dimension-scaled snr fundamental matrix estimation computer vision robust statistics shape matrix estimation fixed-point iteration eigenvalue shrinkage schur complement principal angle certifiable hypercontractivitystat.ML math.ST stat.TH -
More Asymmetry Yields Faster Matrix Multiplication
Josh Alman, Ran Duan, Virginia Vassilevska Williams, Yinzhan Xu, Zixuan Xu, Renfei Zhou
August 19, 2026
cs.DS arXiv: 2404.16349We present a new improvement on the laser method for designing fast matrix multiplication algorithms. The new method further develops the recent advances by [Duan, Wu
matrix multiplication laser method coppersmith-winograd tensor asymptotic rank tensor rank schonhage asymptotic sum inequality salem-spencer sets hashing compatibility zero-out interface tensor complete split distribution numerical optimization snopt rectangular matrix multiplication matrix multiplication exponent asymmetry kronecker power degeneration restriction zero-out combination loss leveled partition constituent tensor global stage constituent stagecs.DS cs.CC -
Approximation Theory and Elementary Submodels
Sean Cox
August 19, 2026
math.LO arXiv: 2405.19634\emph{Approximation Theory} uses nicely-behaved subcategories to understand entire categories, just as projective modules
abelian categories acyclic complexes approximation theory characterization of deconstructibility complexes of modules cotorsion pairs deconstructible classes eklof-trlifaj theorem elementary submodels ext functor filtration-closed classes flat cover conjecture gorenstein flat gorenstein projective homological algebra kaplansky's theorem large cardinals module theory precovering classes pure-injective modules relative homological algebra salce's problem set theory stationary sets vopenka's principlemath.AC math.RA math.CT math.LO -
Measurement Error-Robust Causal Inference via Constructed Instrumental Variables
Caleb H. Miles, Linda Valeri, Brent Coull
August 19, 2026
stat.ME arXiv: 2406.00940Measurement error can often be harmful when estimating causal effects. Two scenarios in which this is the case are in the estimation of (a) the average treatment effect when
causal inference measurement error instrumental variables constructed instrumental variables average treatment effect natural indirect effect mediation analysis linear models generalized method of moments moment restrictions confounder measurement error exposure measurement error measurement error variance environmental health nutritional epidemiology bangladesh study lead exposure protein intake birth length error calibration berkson error classical measurement error sensitivity analysis weak instruments asymptotic theorystat.ME -
Automated Computational Energy Minimization of ML Algorithms using Constrained Bayesian Optimization
Pallavi Mitra, Felix Biessmann
August 19, 2026
cs.LG arXiv: 2407.05788Bayesian optimization (BO) is an efficient framework for optimization of black-box objectives when function evaluations are costly and gradient information is
bayesian optimization constrained bayesian optimization energy minimization hyperparameter optimization machine learning gaussian processes acquisition function expected improvement probability of feasibility regression classification lasso elastic net k nearest neighbours decision tree adaboost ridge regression logistic regression random forest california housing 20 newsgroups wall clock time penalty function surrogate model matern kernelcs.LG cs.AI -
Asymmetric defect distribution generates bulk Dzyaloshinskii-Moriya interaction in Pt/Co/Pt
Ayaka P. Ohki, Tatsuro Karino, Daigo Shimizu, Takeshi Kato, Daiki Oshima, Masahiro Nagao
August 19, 2026
cond-mat.mtrl-sci arXiv: 2407.08540The Dzyaloshinskii-Moriya interaction (DMI) in magnetic multilayers plays a pivotal role in spintronic applications by enabling the
dzyaloshinskii-moriya interaction dmi magnetic multilayers pt/co/pt spintronics chiral spin textures skyrmions domain walls lorentz transmission electron microscopy ltem haadf-stem scanning transmission electron microscopy defect engineering dislocations fert-levy mechanism bulk dmi interfacial dmi argon sputter pressure compositional gradient inversion symmetry breaking spin-orbit coupling electron energy loss spectroscopy eels micromagnetic simulations magnetron sputteringcond-mat.mtrl-sci -
On a new equivalence relation for matrix-valued orthogonal polynomials
Ignacio Bono Parisi, Inés Pacharoni, Ignacio Zurrián
August 19, 2026
math.CA arXiv: 2407.20994In this work, we give some criteria that allow us to decide when two sequences of matrix-valued orthogonal polynomials are related via a Darboux transformation and how to build
matrix-valued orthogonal polynomials darboux transformation equivalence relation orthogonal polynomials matrix weights differential operators algebra of operators modules darboux-irreducibility classical orthogonal polynomials jacobi polynomials hermite polynomials laguerre polynomials bispectral spherical functions monic polynomials three-term recurrence formal adjoint symmetric operator degree-preserving operator weight matrix reducibility direct sum eigenvalue polynomial coefficientsmath.CA -
Neutrino Mass Hierarchy and Axion--Lepton Couplings in a Minimal Flavored $ν$KSVZ Model
Zhen-Yu Lei, Jian-Wei Cui
August 19, 2026
hep-ph arXiv: 2408.05903By treating the PQ symmetry as a flavor symmetry, we construct a minimal flavored axion model by combining the KSVZ axion framework with the type
axion ksvz model seesaw mechanism type-i seesaw neutrino mass hierarchy inverted hierarchy pq symmetry flavor symmetry zero texture inverse majorana neutrino mass matrix gatto-sartori-tonin relation theta13 vacuum expectation values axion-lepton couplings axion-neutrino couplings one-loop radiative corrections charged leptons effective majorana mass neutrinoless double beta decay cosmological constraints pmns matrix majorana phases clockwork mechanism domain wall strong cp problemhep-ph -
Estimation of the pseudoscalar glueball mass based on a modified Transformer
Lin Gao
August 19, 2026
hep-lat arXiv: 2408.13280A modified Transformer model is introduced for estimating the mass of pseudoscalar glueball in lattice QCD. The model takes as input a
pseudoscalar glueball lattice qcd transformer modified transformer mass estimation positional encoding floating-point embedding binary cross-entropy loss deep neural network least squares method correlation function topological charge density glueball quantum chromodynamics machine learning sequence processing attention mechanism encoder-decoder multihead attention adam optimizer sinusoidal positional encoding input embedding sigmoid activation statistical uncertainty varying length sequenceshep-lat -
Positive equilibria in mass action networks: geometry and bounds
Murad Banaji, Elisenda Feliu
August 19, 2026
q-bio.MN arXiv: 2409.06877Any mass action network gives rise to a parameterised family of polynomial equations whose positive solutions are the positive equilibria of the network. Here, we
mass action kinetics chemical reaction networks positive equilibria gale duality partitions stoichiometric matrix toricity multistationarity bifurcations quadratic networks bounds bézout theorem bkk theorem descartes rule of signs semialgebraic sets parameter regions conservation laws source rank flux cone degeneracy nondegeneracy polynomial systems algebraic geometry systems biology reaction network theoryq-bio.MN math.AG -
Finite element analysis of a nematic liquid crystal Landau-de Gennes model with quartic elastic terms
Jacob Elafandi, Franziska Weber
August 19, 2026
math.NA arXiv: 2409.09837In arXiv:1906.09232v2, Golovaty et al. present a $Q$-tensor model for liquid crystal dynamics which reduces to the well-known Oseen-Frank director
liquid crystals nematic liquid crystals landau-de gennes model q-tensor oseen-frank model finite element method gradient flow energy stability gamma-convergence numerical analysis phase transitions isotropic-to-nematic transition tactoids defects quartic elastic terms fixed-point iteration leray-schauder theorem convergence analysis discrete minimizers recovery sequence coercivity weak lower semicontinuity delaunay triangulation newton iteration juliamath.NA cs.NA -
Naive mean dimension
Bingbing Liang, Kesong Yan
August 19, 2026
math.DS arXiv: 2410.12528We investigate the dynamical property of the naive mean dimension for continuous actions of any countable group on compact metrizable spaces. It is shown that naive mean dimension
naive mean dimension sofic mean dimension mean dimension group actions countable groups nonamenable groups sofic groups amenable groups algebraic actions naive mean rank sofic mean rank metric mean dimension naive metric mean dimension small boundary property topological entropy naive entropy pontryagin duality full shifts stable dimension covering dimension dynamical systems compact metrizable spaces integral group rings sofic approximation topological dynamicsmath.AC math.GR math.DS math.GN -
On theoretical guarantees and a blessing of dimensionality for nonconvex sampling
Martin Chak
August 19, 2026
stat.CO arXiv: 2411.07776Guarantees for algorithms sampling from nonlogconcave target measures on $\mathbb{R}^d$ are studied. For the class of measures with
nonconvex sampling markov chain monte carlo importance sampling tail-matching proposal blessing of dimensionality logconcave strongly concave outside a ball dissipativity gaussian mixture bayesian neural network chi-square divergence self-normalized importance sampling polynomial complexity exponential complexity metastability langevin dynamics parallel tempering sequential monte carlo high-dimensional statistics theoretical guarantees lower bounds curse of dimensionality multimodality flattening transformation nonlogconcavemath.PR stat.CO