Tootfinder

First-order methods for stochastic and finite-sum convex optimization with deterministic constraints
Zhaosong Lu, Yifeng Xiao
https://arxiv.org/abs/2506.20630

First-order methods for stochastic and finite-sum convex optimization with deterministic constraints
In this paper, we study a class of stochastic and finite-sum convex optimization problems with deterministic constraints. Existing methods typically aim to find an $ε$-$expectedly\ feasible\ stochastic\ optimal$ solution, in which the expected constraint violation and expected optimality gap are both within a prescribed tolerance $ε$. However, in many practical applications, constraints must be nearly satisfied with certainty, rendering such solutions potentially unsuitable due to the risk of…

Wenn ich mir einen potentiellen Dienstleister genauer angucke, schaue ich auf jeden Fall auf die "über uns"-Seite. Denn ich möchte wissen, wie sich die Firma selbst sieht, wie sie so ticken.
Für Flownative habe ich mal etwas ausprobiert. Mit einigen unserer Kunden habe ich Interviews geführt. Auf dieser Basis habe ich dann Artikel geschrieben. Was haltet ihr von dem Format? Kann man sich so lange Texte heute noch leisten?

Bayesian community detection in assortative stochastic block model with unknown number of communities
Martina Amongero, Pierpaolo De Blasi
https://arxiv.org/abs/2506.19576

Bayesian community detection in assortative stochastic block model with unknown number of communities
Structured data in the form of networks is increasingly common in a number of fields, including social sciences, biology, physics, computer science, and many others. A key task in network analysis is community detection, which typically consists of dividing the nodes into groups such that nodes within a group are strongly connected, while connections between groups are relatively scarcer. A generative model well-suited for the formation of such communities is the assortative stochastic block mo…

Online Algorithms for Recovery of Low-Rank Parameter Matrix in Non-stationary Stochastic Systems
Yanxin Fu, Junbao Zhou, Yu Hu, Wenxiao Zhao
https://arxiv.org/abs/2506.19299

Online Algorithms for Recovery of Low-Rank Parameter Matrix in Non-stationary Stochastic Systems
This paper presents a two-stage online algorithm for recovery of low-rank parameter matrix in non-stationary stochastic systems. The first stage applies the recursive least squares (RLS) estimator combined with its singular value decomposition to estimate the unknown parameter matrix within the system, leveraging RLS for adaptability and SVD to reveal low-rank structure. The second stage introduces a weighted nuclear norm regularization criterion function, where adaptive weights derived from th…

A Taylor-Hood finite element method for the surface Stokes problem without penalization
Alan Demlow, Michael Neilan
https://arxiv.org/abs/2506.20419 https:…

A Taylor-Hood finite element method for the surface Stokes problem without penalization
Finite element approximation of the velocity-pressure formulation of the surfaces Stokes equations is challenging because it is typically not possible to enforce both tangentiality and $H^1$ conformity of the velocity field. Most previous works concerning finite element methods (FEMs) for these equations thus have weakly enforced one of these two constraints by penalization or a Lagrange multiplier formulation. Recently in [A tangential and penalty-free finite element method for the surface Sto…

Regularity of random attractor and fractal dimension of fractional stochastic Navier-Stokes equations on three-dimensional torus
Hui Liu, Chengfeng Sun, Jie Xin
https://arxiv.org/abs/2506.18480

Regularity of random attractor and fractal dimension of fractional stochastic Navier-Stokes equations on three-dimensional torus
In this paper we will study the asymptotic dynamics of fractional Navier-Stokes (NS) equations with additive white noise on three-dimensional torus $\mathbb T^3$. Under the conditions that the external forces $f(x)$ belong to the phase space $ H$ and the noise intensity function $h(x)$ satisfies $\|\nabla h\|_{L^\infty} < \sqrt πνλ_1^\frac{5}{4}$, where $ ν$ is the kinematic viscosity of the fluid and $λ_1$ is the first eigenvalue of the Stokes operator, we shown that the random …

How brands are helping finance Hollywood projects in the planning stages and collaborating more closely with talent, distributors, and production companies (Katie Deighton/Wall Street Journal)
https://www.wsj.com/articles/madison-avenue-lands-…

A Hyperlogic for Strategies in Stochastic Games (Extended Version)
Lina Gerlach (RWTH Aachen University), Christof L\"oding (RWTH Aachen University), Erika \'Abrah\'am (RWTH Aachen University)
https://arxiv.org/abs/2506.16775

A Hyperlogic for Strategies in Stochastic Games (Extended Version)
We propose a probabilistic hyperlogic called HyperSt$^2$ that can express hyperproperties of strategies in turn-based stochastic games. To the best of our knowledge, HyperSt$^2$ is the first hyperlogic for stochastic games. HyperSt$^2$ can relate probabilities of several independent executions of strategies in a stochastic game. For example, in HyperSt$^2$ it is natural to formalize optimality, i.e., to express that some strategy is better than all other strategies, or to express the existence …

@… In my mind, there are librarians, accountants/bookkeepers, civil servants, small shop owners, conveyancers and other low-stakes solicitors, farmers, town planners… most of the people I have met who fit these job descriptions tend to work slowly, methodically, and well.
I actually think most programmers and other software professionals work slowly…

ARCH-COMP25 Category Report: Stochastic Models
Alessandro Abate, Omid Akbarzadeh, Henk A. P. Blom, Sofie Haesaert, Sina Hassani, Abolfazl Lavaei, Frederik Baymler Mathiesen, Rahul Misra, Amy Nejati, Mathis Niehage, Fie {\O}rum, Anne Remke, Behrad Samari, Ruohan Wang, Rafal Wisniewski, Ben Wooding, Mahdieh Zaker
https://arxiv.org…

ARCH-COMP25 Category Report: Stochastic Models
This report is concerned with a friendly competition for formal verification and policy synthesis of stochastic models. The main goal of the report is to introduce new benchmarks and their properties within this category and recommend next steps toward next year's edition of the competition. In particular, this report introduces three recently developed software tools, a new water distribution network benchmark, and a collection of simplified benchmarks intended to facilitate further comparison…