Searcharxiv⌕ Search

arXiv subjects

Julian Kranz

Publications and source records attributed to Julian Kranz.

16 recordsLinked to original sources
arXiv2026

Dynamical comparison for local homeomorphisms

We prove dynamical comparison for Deaconu--Renault groupoids associated to minimal surjective non-injective local homeomorphisms of compact metrizable spaces with finite Lebesgue covering dimension. As a corollary, the associated $C^*$-algebras are UCT Kirchberg algebras, recovering results by Carlsen--Thomsen via dynamical methods. In the zero-dimensional case, our result also verifies Matui's AH-conjecture for these groupoids using a recent breakthrough of Xin Li. Our proof combines techniques from both the purely infinite and stably finite regimes: We construct partial actions of non-abelian free groups as suitable ``large subgroupoids'' and establish comparison properties for these using the paradoxical towers technique developed by Gardella--Geffen--Kranz--Naryshkin. The boundary of the subgroupoid is controlled by a groupoid version of the topological small boundary property which we deduce from finite covering dimension of the unit space. As a byproduct, we prove the classical small boundary property for minimal actions of countable discrete groups on finite-dimensional compact metrizable spaces without any freeness assumption.

math.OA↗
arXiv2026

On groupoids beyond partial actions, inner amenability, and models for Kirchberg algebras

We construct the first explicit examples of locally compact Hausdorff \'etale groupoids that are not inner amenable and that do not arise as transformation groupoids associated to partial actions of discrete groups. This answers questions of Anantharaman--Delaroche and Exel. Our examples include all Higson--Lafforgue--Skandalis groupoids associated to non-amenable residually finite groups, as well as their principal variants constructed by Alekseev--Finn--Sell. These can be chosen to be second countable, ample, and in the latter case even principal. We also show that large classes of Deaconu--Renault groupoids with connected unit space do not arise from partial actions of discrete groups, including cases whose $C^*$-algebras are Kirchberg algebras in the UCT class. We contrast this with the totally disconnected case by giving ample transformation groupoid models for all unital Kirchberg algebras in the UCT class as well as many higher rank graph algebras. Finally, we characterize precisely when coarse groupoids arise from partial actions of discrete groups in terms of coarse embeddings into groups.

math.OA↗
arXiv2026

Exactness and Fell bundles with the approximation property over inverse semigroups

We prove that the reduced cross-sectional algebra of a Fell bundle with the approximation property over an inverse semigroup is exact if and only if the unit fiber of the Fell bundle is exact. This generalizes a recent result of the first-named author for actions of second countable locally compact Hausdorff groupoids on separable $C^*$-algebras. Along the way, we reprove some results of Kwa\'sniewski--Meyer on Fell bundle ideals.

math.OA↗
arXiv2025

PADAM: Parallel averaged Adam reduces the error for stochastic optimization in scientific machine learning

Averaging techniques such as Ruppert--Polyak averaging and exponential movering averaging (EMA) are powerful approaches to accelerate optimization procedures of stochastic gradient descent (SGD) optimization methods such as the popular ADAM optimizer. However, depending on the specific optimization problem under consideration, the type and the parameters for the averaging need to be adjusted to achieve the smallest optimization error. In this work we propose an averaging approach, which we refer to as parallel averaged ADAM (PADAM), in which we compute parallely different averaged variants of ADAM and during the training process dynamically select the variant with the smallest optimization error. A central feature of this approach is that this procedure requires no more gradient evaluations than the usual ADAM optimizer as each of the averaged trajectories relies on the same underlying ADAM trajectory and thus on the same underlying gradients. We test the proposed PADAM optimizer in 13 stochastic optimization and deep neural network (DNN) learning problems and compare its performance with known optimizers from the literature such as standard SGD, momentum SGD, Adam with and without EMA, and ADAMW. In particular, we apply the compared optimizers to physics-informed neural network, deep Galerkin, deep backward stochastic differential equation and deep Kolmogorov approximations for boundary value partial differential equation problems from scientific machine learning, as well as to DNN approximations for optimal control and optimal stopping problems. In nearly all of the considered examples PADAM achieves, sometimes among others and sometimes exclusively, essentially the smallest optimization error. This work thus strongly suggest to consider PADAM for scientific machine learning problems and also motivates further research for adaptive averaging procedures within the training of DNNs.

math.OC↗
arXiv2025

SAD Neural Networks: Divergent Gradient Flows and Asymptotic Optimality via o-minimal Structures

We study gradient flows for loss landscapes of fully connected feedforward neural networks with commonly used continuously differentiable activation functions such as the logistic, hyperbolic tangent, softplus or GELU function. We prove that the gradient flow either converges to a critical point or diverges to infinity while the loss converges to an asymptotic critical value. Moreover, we prove the existence of a threshold $\varepsilon>0$ such that the loss value of any gradient flow initialized at most $\varepsilon$ above the optimal level converges to it. For polynomial target functions and sufficiently big architecture and data set, we prove that the optimal loss value is zero and can only be realized asymptotically. From this setting, we deduce our main result that any gradient flow with sufficiently good initialization diverges to infinity. Our proof heavily relies on the geometry of o-minimal structures. We confirm these theoretical findings with numerical experiments and extend our investigation to more realistic scenarios, where we observe an analogous behavior.

cs.LG↗
arXiv2024

Actions on classifiable C*-algebras without equivariant property (SI)

We exhibit examples of actions of countable discrete groups on both simple and non-simple nuclear stably finite C*-algebras that are tracially amenable but not amenable. We furthermore obtain that, under the additional assumption of strict comparison, amenability is equivalent to tracial amenability plus the equivariant analogue of Matui--Sato's property (SI). By virtue of this equivalence, our construction yields the first known examples of actions on classifiable C*-algebras that do not have equivariant property (SI). We moreover show that such actions can be chosen to absorb the trivial action on the universal UHF algebra, thus showing that equivariant $\mathcal{Z}$-stability does not in general imply equivariant property (SI).

math.OA↗
arXiv2024

Note on C*-algebras associated to boundary actions of hyperbolic 3-manifold groups

Using Kirchberg-Phillips' classification of purely infinite C*-algebras by K-theory, we prove that the isomorphism types of crossed product C*-algebras associated to certain hyperbolic 3-manifold groups acting on their Gromov boundary only depend on the manifold's homology. As a result, we obtain infinitely many pairwise non-isomorphic hyperbolic groups all of whose associated crossed products are isomorphic. These isomomorphisms are not of dynamical nature in the sense that they are not induced by isomorphisms of the underlying groupoids.

math.OA↗
arXiv2024

Tracially amenable actions and purely infinite crossed products

We introduce the notion of tracial amenability for actions of discrete groups on unital, tracial C$^*$-algebras, as a weakening of amenability where all the relevant approximations are done in the uniform trace norm. We characterize tracial amenability with various equivalent conditions, including topological amenability of the induced action on the trace space. Our main result concerns the structure of crossed products: for groups containing the free group $F_2$, we show that outer, tracially amenable actions on simple, unital, $\mathcal{Z}$-stable C$^*$-algebras always have purely infinite crossed products. Finally, we give concrete examples of tracially amenable actions of free groups on simple, unital AF-algebras.

math.OA↗
arXiv2023

Classifiability of crossed products by nonamenable groups

We show that all amenable, minimal actions of a large class of nonamenable countable groups on compact metric spaces have dynamical comparison. This class includes all nonamenable hyperbolic groups, many HNN-extensions, nonamenable Baumslag-Solitar groups, a large class of amalgamated free products, lattices in many Lie groups, $\widetilde{A}_2$-groups, as well as direct products of the above with arbitrary countable groups. As a consequence, crossed products by amenable, minimal and topologically free actions of such groups on compact metric spaces are Kirchberg algebras in the UCT class, and are therefore classified by $K$-theory.

math.OA↗
arXiv2023

Amenability for actions of étale groupoids on $C^*$-algebras and Fell bundles

We generalize Renault's notion of measurewise amenability to actions of second countable, Hausdorff, étale groupoids on separable $C^*$-algebras and show that measurewise amenability characterizes nuclearity of the crossed product whenever the $C^*$-algebra acted on is nuclear. In the more general context of Fell bundles over second countable, Hausdorff, étale groupoids, we introduce a version of Exel's approximation property. We prove that the approximation property implies nuclearity of the cross-sectional algebra whenever the unit bundle is nuclear. For Fell bundles associated to groupoid actions, we show that the approximation property implies measurewise amenability of the underlying action.

math.OA↗
arXiv2022

$K$-theory of non-commutative Bernoulli Shifts

For a large class of C*-algebras $A$, we calculate the $K$-theory of reduced crossed products $A^{\otimes G}\rtimes_rG$ of Bernoulli shifts by groups satisfying the Baum--Connes conjecture. In particular, we give explicit formulas for finite-dimensional C*-algebras, UHF-algebras, rotation algebras, and several other examples. As an application, we obtain a formula for the $K$-theory of reduced C*-algebras of wreath products $H\wr G$ for large classes of groups $H$ and $G$. Our methods use a generalization of techniques developed by the second named author together with Joachim Cuntz and Xin Li, and a trivialization theorem for finite group actions on UHF algebras developed in a companion paper by the third and fourth named authors.

math.OA↗
arXiv2022

Equivariant $KK$-theory of Bernoulli shifts on $C^*$-algebras with approximately inner flip

Building on Enders--Schemeitat--Tikuisis' classification, we show that a separable $C^*$-algebra $A$ with approximately inner flip in the UCT class is $K$-theoretically self-absorbing if and only if for every finite group $G$, the Bernoulli shift on $A^{\otimes G}$ is $KK^G$-equivalent to the trivial action. This in particular applies to UHF-algebras of infinite type and computes the $K$-theory of the associated crossed product. Along the way, we obtain an alternative proof of Hirshberg--Winter's result that the Bernoulli shift of $G$ on a UHF-algebra of infinite type absorbs the trivial action up to conjugacy. For more general amenable groups $G$, we develop $K$-theory formulas for Bernoulli shifts on UHF-absorbing $C^*$-algebras, and establish $KK^G$-triviality for Bernoulli shifts on strongly self-absorbing $C^*$-algebras satisfying the UCT.

math.OA↗
arXiv2022

Partial tensor-product functors and crossed-product functors

For a given discrete group $G$, we apply results of Kirchberg on exact and injective tensor products of $C^*$-algebras to give an explicit description of the minimal exact correspondence crossed-product functor and the maximal injective crossed-product functor for $G$ in the sense of Buss, Echterhoff and Willett. In particular, we show that the former functor dominates the latter.

math.OA↗
arXiv2022

An identification of the Baum-Connes and Davis-Lück assembly maps

The Baum-Connes conjecture predicts that a certain assembly map is an isomorphism. We identify the homotopy theoretical construction of the assembly map by Davis and Lück with the category theoretical construction by Meyer and Nest. This extends the result of Hambleton and Pedersen to arbitrary coefficients. Our approach uses abstract properties rather than explicit constructions and is formally similar to Meyer's and Nest's identification of their assembly map with the original construction of the assembly map by Baum, Connes and Higson.

math.KT↗