Tootfinder

Opt-in global Mastodon full text search. Join the index!

@teledyn@mstdn.ca
2025-10-14 19:04:57

A proud achievement of my half-century IT career happened in 1996 consulting to the #UNDP toward the first published edition of the Humanity Development Library.
It seemed easy enough: "It can be fairly estimated that 1/3, or about 20 million pages of UN, and as much University and NGO material are very useful. Those 20 million pages useful UN publications probably contain about 50% of solutions for major World problems. This information must be released in digital format for non-profit redistribution in all countries."
also portable and accessible to all platforms, everywhere.
Happily, not only did the project live on, but thanks to @… our once-intractable problem of global delivery is now globally solved!
So, whether or not this is timely, I don't know, but should you need to suddenly rebuild some semblance of civilization from scratch…
Humanity Development Library 2.0 CD-ROM 1998 : #HumanityLibrariesProject : #InternetArchive
archive.org/details/humanity-d

@arXiv_mathNT_bot@mastoxiv.page
2025-10-14 11:41:18

On some conjectural supercongruences involving the sequence $t_n(x)$
Hui-Li Han, Chen Wang
arxiv.org/abs/2510.11338 arxiv.org/pdf/2510.1133…

@arXiv_mathOC_bot@mastoxiv.page
2025-11-14 09:28:40

Convergence analysis of inexact MBA method for constrained upper-$\mathcal{C}^2$ optimization problems
Ruyu Liu, Shaohua Pan
arxiv.org/abs/2511.09940 arxiv.org/pdf/2511.09940 arxiv.org/html/2511.09940
arXiv:2511.09940v1 Announce Type: new
Abstract: This paper concerns a class of constrained optimization problems in which, the objective and constraint functions are both upper-$\mathcal{C}^2$. For such nonconvex and nonsmooth optimization problems, we develop an inexact moving balls approximation (MBA) method by a workable inexactness criterion for the solving of subproblems. By leveraging a global error bound for the strongly convex program associated with parametric optimization problems, we establish the full convergence of the iterate sequence under the partial bounded multiplier property (BMP) and the Kurdyka-{\L}ojasiewicz (KL) property of the constructed potential function, and achieve the local convergence rate of the iterate and objective value sequences if the potential function satisfies the KL property of exponent $q\in[1/2,1)$. A verifiable condition is also provided to check whether the potential function satisfies the KL property of exponent $q\in[1/2,1)$ at the given critical point. To the best of our knowledge, this is the first implementable inexact MBA method with a full convergence certificate for the constrained nonconvex and nonsmooth optimization problem.
toXiv_bot_toot

@arXiv_csDM_bot@mastoxiv.page
2025-10-13 07:33:50

A CSP approach to Graph Sandwich Problems
Manuel Bodirsky, Santiago Guzm\'an-Pro
arxiv.org/abs/2510.09128 arxiv.org/pdf/2510.09128

@arXiv_mathAP_bot@mastoxiv.page
2025-10-14 11:04:58

Gaussian beam interactions and inverse source problems for nonlinear wave equations
Matti Lassas, Tony Liimatainen, Valter Pohjola, Teemu Tyni
arxiv.org/abs/2510.11494

@arXiv_mathNA_bot@mastoxiv.page
2025-10-14 10:52:48

Randomized flexible Krylov methods for $\ell_p$ regularization
Malena Sabat\'e Landman, Yuji Nakatsukasa
arxiv.org/abs/2510.11237 arxiv…

@arXiv_statML_bot@mastoxiv.page
2025-10-13 09:11:10

Interpretable Generative and Discriminative Learning for Multimodal and Incomplete Clinical Data
Albert Belenguer-Llorens, Carlos Sevilla-Salcedo, Janaina Mourao-Miranda, Vanessa G\'omez-Verdejo
arxiv.org/abs/2510.09513

@arXiv_mathOC_bot@mastoxiv.page
2025-11-14 09:37:10

S-D-RSM: Stochastic Distributed Regularized Splitting Method for Large-Scale Convex Optimization Problems
Maoran Wang, Xingju Cai, Yongxin Chen
arxiv.org/abs/2511.10133 arxiv.org/pdf/2511.10133 arxiv.org/html/2511.10133
arXiv:2511.10133v1 Announce Type: new
Abstract: This paper investigates the problems large-scale distributed composite convex optimization, with motivations from a broad range of applications, including multi-agent systems, federated learning, smart grids, wireless sensor networks, compressed sensing, and so on. Stochastic gradient descent (SGD) and its variants are commonly employed to solve such problems. However, existing algorithms often rely on vanishing step sizes, strong convexity assumptions, or entail substantial computational overhead to ensure convergence or obtain favorable complexity. To bridge the gap between theory and practice, we integrate consensus optimization and operator splitting techniques (see Problem Reformulation) to develop a novel stochastic splitting algorithm, termed the \emph{stochastic distributed regularized splitting method} (S-D-RSM). In practice, S-D-RSM performs parallel updates of proximal mappings and gradient information for only a randomly selected subset of agents at each iteration. By introducing regularization terms, it effectively mitigates consensus discrepancies among distributed nodes. In contrast to conventional stochastic methods, our theoretical analysis establishes that S-D-RSM achieves global convergence without requiring diminishing step sizes or strong convexity assumptions. Furthermore, it achieves an iteration complexity of $\mathcal{O}(1/\epsilon)$ with respect to both the objective function value and the consensus error. Numerical experiments show that S-D-RSM achieves up to 2--3$\times$ speedup compared to state-of-the-art baselines, while maintaining comparable or better accuracy. These results not only validate the algorithm's theoretical guarantees but also demonstrate its effectiveness in practical tasks such as compressed sensing and empirical risk minimization.
toXiv_bot_toot

@arXiv_mathOC_bot@mastoxiv.page
2025-11-14 09:39:30

Halpern Acceleration of the Inexact Proximal Point Method of Rockafellar
Liwei Zhang, Fanli Zhuang, Ning Zhang
arxiv.org/abs/2511.10372 arxiv.org/pdf/2511.10372 arxiv.org/html/2511.10372
arXiv:2511.10372v1 Announce Type: new
Abstract: This paper investigates a Halpern acceleration of the inexact proximal point method for solving maximal monotone inclusion problems in Hilbert spaces. The proposed Halpern inexact proximal point method (HiPPM) is shown to be globally convergent, and a unified framework is developed to analyze its worst-case convergence rate. Under mild summability conditions on the inexactness tolerances, HiPPM achieves an $\mathcal{O}(1/k^{2})$ rate in terms of the squared fixed-point residual. Furthermore, under additional mild condition, the method retains a fast linear convergence rate. Building upon this framework, we further extend the acceleration technique to constrained convex optimization through the augmented Lagrangian formulation. In analogy to Rockafellar's classical results, the resulting accelerated inexact augmented Lagrangian method inherits the convergence rate and complexity guarantees of HiPPM. The analysis thus provides a unified theoretical foundation for accelerated inexact proximal algorithms and their augmented Lagrangian extensions.
toXiv_bot_toot

@arXiv_mathCO_bot@mastoxiv.page
2025-10-07 11:06:52

The functional Loomis-Whitney type inequality in the Heisenberg groups and Projection theorems over finite fields
Daewoong Cheong, Thang Pham, Dung The Tran
arxiv.org/abs/2510.05022

@arXiv_mathOC_bot@mastoxiv.page
2025-10-13 08:15:40

Re$^3$MCN: Cubic Newton Variance Reduction Momentum Quadratic Regularization for Finite-sum Non-convex Problems
Dmitry Pasechnyuk-Vilensky, Dmitry Kamzolov, Martin Tak\'a\v{c}
arxiv.org/abs/2510.08714

@grahamperrin@bsd.cafe
2025-11-08 22:22:01

@… FYI some teething problems for people, including me, with the outdated version of pkg. Repeated segfaults, a known issue with that version.
Segfault-free with 2.4.2_1:
<

@arXiv_mathDS_bot@mastoxiv.page
2025-10-06 08:45:59

On entry-exit formulas for degenerate turning point problems in planar slow-fast systems
Renato Huzak, Kristian Uldall Kristiansen
arxiv.org/abs/2510.02770

@arXiv_csAI_bot@mastoxiv.page
2025-10-06 09:00:29

Geolog-IA: Conversational System for Academic Theses
Micaela Fuel Pozo, Andrea Guatumillo Saltos, Yese\~na Tipan Llumiquinga, Kelly Lascano Aguirre, Marilyn Castillo Jara, Christian Mejia-Escobar
arxiv.org/abs/2510.02653

@arXiv_mathNA_bot@mastoxiv.page
2025-10-09 08:53:11

Algorithm for constructing optimal explicit finite-difference formulas in the Hilbert space
R. S. Karimov, D. D. Atoev
arxiv.org/abs/2510.06643

@beeb@hachyderm.io
2025-12-10 17:37:59
Content warning: Advent of Code 2025 Day 10

Yes! Today's puzzle in #AdventOfCode was quite hard (especially part 2) but so rewarding and I learned a lot!
For part 1, I implemented A* from scratch, my favorite little pathfinding algo that I use pretty much every year for #AoC (sometimes I use a lib instead of implementing it but it's been a while so a refresher was in order).
For part 2, after trying A* again and noticing it was running for way too long, I went back to the drawing board and solved the first machine by hand. I noticed the constraints were a system of linear equations.
I then researched algorithms to solve such integer programming problems and didn't feel like learning AND implementing the algorithms in one day (ain't nobody got time fo that). But this lead me to discover the `good_lp` #rust crate which is really good and that I will keep in my back pocket from now on!
So I used the library to define a system of variables and constraints which could be solved magically for me.
#AoC2025 #AdventOfCode2025 #RustLang

@arXiv_csDM_bot@mastoxiv.page
2025-10-07 08:38:12

Maximum Biclique for Star 1,2,3 -free and Bounded Bimodularwidth Twin-free Bipartite Graphs $\star$
Fabien de Montgolfier (IRIF), Renaud Torfs (IRIF)
arxiv.org/abs/2510.04621

@arXiv_mathCA_bot@mastoxiv.page
2025-10-01 07:49:37

A High-Frequency Uncertainty Principle for the Fourier-Bessel Transform
Benjamin Jaye, Rahul Sethi
arxiv.org/abs/2509.25500 arxiv.org/pdf/2…

@arXiv_mathAP_bot@mastoxiv.page
2025-10-07 08:59:22

Forward and backward problems for abstract time-fractional Schr\"odinger equations
S. E. Chorfi, F. Et-tahri, L. Maniar, M. Yamamoto
arxiv.org/abs/2510.03600

@arXiv_csDS_bot@mastoxiv.page
2025-09-25 08:07:12

A Note on Fine-Grained Quantum Reductions for Linear Algebraic Problems
Kyle Doney, Cameron Musco
arxiv.org/abs/2509.19528 arxiv.org/pdf/25…

@arXiv_mathCO_bot@mastoxiv.page
2025-09-26 09:36:41

Tight bounds for judicious 3-partitions of graphs
Peiru Kuang, Yan Wang
arxiv.org/abs/2509.20994 arxiv.org/pdf/2509.20994

@arXiv_astrophHE_bot@mastoxiv.page
2025-09-23 10:43:30

Radiation Mediated Shock and Planar Shock Breakout in the Presence of Atomic Transition Lines
Jonathan Morag
arxiv.org/abs/2509.16996 arxiv…

@arXiv_csLG_bot@mastoxiv.page
2025-10-15 10:52:31

Improving Decision Trees through the Lens of Parameterized Local Search
Juha Harviainen, Frank Sommer, Manuel Sorge
arxiv.org/abs/2510.12726

@arXiv_mathRT_bot@mastoxiv.page
2025-09-23 10:03:50

Lattice Models for Double Whittaker Polynomials and Motivic Chern Classes
Ben Brubaker, Daniel Bump, Andrew Hardt, Hunter Spink
arxiv.org/abs/2509.17312

@arXiv_condmatsoft_bot@mastoxiv.page
2025-09-18 08:23:01

The influence of dimensional crossover on phase transitions and critical phenomena in condensed systems
O. V. Chalyi, E. V. Zaitseva
arxiv.org/abs/2509.13799

@arXiv_mathNA_bot@mastoxiv.page
2025-09-30 11:35:21

Mixed-Derivative Total Variation
Vincent Guillemet, Michael Unser
arxiv.org/abs/2509.23995 arxiv.org/pdf/2509.23995

@arXiv_mathOC_bot@mastoxiv.page
2025-10-01 09:00:17

Error bounds for perspective cones of a class of nonnegative Legendre functions
Xiaozhou Wang, Bruno F. Louren\c{c}o, Ting Kei Pong
arxiv.org/abs/2509.26289

@arXiv_csDM_bot@mastoxiv.page
2025-10-02 07:54:01

Exploring one-dimensional, binary, radius-2 cellular automata, over cyclic configurations, in terms of their ability to solve decision problems by distributed consensus
Eurico Ruivo, Pedro Paulo Balbi, K\'evin Perrot, Marco Montalva-Medel, Eric Goles
arxiv.org/abs/2510.01040

@arXiv_mathCO_bot@mastoxiv.page
2025-09-23 10:50:20

On saturation problems for matchings with regularity constraints
Gang Yang, Zixuan Yang, Shenggui Zhang
arxiv.org/abs/2509.17039 arxiv.org/…

@arXiv_mathAP_bot@mastoxiv.page
2025-09-29 09:46:18

An Inverse Problem for the Prescribed Mean Curvature
Tony Liimatainen, Janne Nurminen
arxiv.org/abs/2509.22078 arxiv.org/pdf/2509.22078

@arXiv_statML_bot@mastoxiv.page
2025-10-15 09:29:31

High-Probability Bounds For Heterogeneous Local Differential Privacy
Maryam Aliakbarpour, Alireza Fallah, Swaha Roy, Ria Stevens
arxiv.org/abs/2510.11895

@arXiv_csAI_bot@mastoxiv.page
2025-10-15 09:38:21

MatSciBench: Benchmarking the Reasoning Ability of Large Language Models in Materials Science
Junkai Zhang, Jingru Gan, Xiaoxuan Wang, Zian Jia, Changquan Gu, Jianpeng Chen, Yanqiao Zhu, Mingyu Derek Ma, Dawei Zhou, Ling Li, Wei Wang
arxiv.org/abs/2510.12171

@arXiv_mathNA_bot@mastoxiv.page
2025-09-19 09:25:01

On the extension of a class of Hermite bivariate interpolation problems
Hakop Hakopian, Anush Khachatryan
arxiv.org/abs/2509.14359 arxiv.or…

@arXiv_mathCO_bot@mastoxiv.page
2025-09-16 11:07:16

Balancing Extensions in Posets of Large Width
Max Aires, Jeff Kahn
arxiv.org/abs/2509.11549 arxiv.org/pdf/2509.11549

@arXiv_mathOC_bot@mastoxiv.page
2025-09-29 09:23:57

An Efficient ADMM Method for Ratio-Type Nonconvex and Nonsmooth Minimization in Sparse Recovery
Lang Yu, Nanjing Huang
arxiv.org/abs/2509.21969

@arXiv_mathNA_bot@mastoxiv.page
2025-09-25 07:49:12

Stability of high-order Scott-Vogelius elements for 2D non-Newtonian incompressible flow
Charles Parker, Endre S\"uli
arxiv.org/abs/2509.19488

@arXiv_mathNA_bot@mastoxiv.page
2025-09-23 17:36:26

Replaced article(s) found for math.NA. arxiv.org/list/math.NA/new
[1/2]:
- Convergence analysis of equilibrium methods for inverse problems
Daniel Obmann, Gyeongha Hwang, Markus Haltmeier