Related papers: Dynamic IFC Theorems for Free!
We extend the usual vacuum Metric-Affine $f(R)$ Gravity by supplementing it with all parity even quadratic invariants in torsion and non-metricity. As we show explicitly this supplementation drastically changes the status of the Theory…
Motivated by applications in the theory of numeration systems and recognizable sets of integers, this paper deals with morphic words when erasing morphisms are taken into account. Cobham showed that if an infinite word $w =g(f^\omega(a))$…
Diffusion Transformers (DiTs) achieve state-of-the-art generation quality but require long sequential denoising trajectories, leading to high inference latency. Recent speculative inference methods enable lossless parallel sampling in…
Lossless compression methods shorten the expected representation size of data without loss of information, using a statistical model. Flow-based models are attractive in this setting because they admit exact likelihood optimization, which…
We consider a differential algebra F of formal power series in infinitely many variables. We define the important notions of a normalized set of generators for an ideal of F and a regular quotient algebra. The concept of the passive…
We extend L\"uck's determinant conjecture from groups to invariant random subgroups (IRS) of free groups, a framework generalizing groups where a non-sofic object is known to exist. For every free group, we prove the existence of an IRS…
We study selflessness in the general setting of reduced free products of $C^*$-algebras. Towards this end, we develop a suitable theory of rapid decay for filtrations in arbitrary $C^*$-probability spaces. We provide several natural…
A fully invarient congruence relations on the free algebra on a given type induces a variety of the given type. In contrast, a congruence relation of the free algebra provides algebra of that type. This algebra is given by a so-called…
We analyze a class of modal logics rendered insensitive to reflexivity by way of a modification to the semantic definition of the modal operator. We explore the extent to which these logics can be characterized, and prove a general…
We describe a method for unmixing mixtures of freely independent random variables in a manner analogous to the independent component analysis (ICA) based method for unmixing independent random variables from their additive mixtures. Random…
This article shows a very elementary and straightforward proof of the Implicit Function Theorem for differentiable maps $F(x,y)$ defined on a finite-dimensional Euclidean space. There are no hypothesis on the continuity of the partial…
We introduce the notion of a regular quadratic equation and a regular NTQ system over a free group. We prove the results that can be described as Implicit function theorems for algebraic varieties corresponding to regular quadratic and NTQ…
We generalize several recognizability theorems for free single-sorted algebras to the field of many-sorted algebras and provide, in a uniform way and without using neither regular tree grammars nor tree automata, purely algebraic proofs of…
This paper establishes theoretical bonafides for implicit concurrent multivariate effect evaluation--implicit concurrency for short---a broad and versatile computational learning efficiency thought to underlie general-purpose, non-local,…
This paper builds on the recent ASPIC+ formalism, to develop a general framework for argumentation with preferences. We motivate a revised definition of conflict free sets of arguments, adapt ASPIC+ to accommodate a broader range of…
Audio-to-score alignment is an important pre-processing step for in-depth analysis of classical music. In this paper, we apply novel transposition-invariant audio features to this task. These low-dimensional features represent local pitch…
We extend the study of the square-free flow, recently introduced by Sarnak, to the more general context of B-free integers, that is to say integers with no factor in a given family B of pairwise relatively prime integers, the sum of whose…
The derivation of the state of the art tensorial versions of Fundamental Measure Theory (a form of classical Density Functional Theory for hard spheres) are re-examined in the light of the recently introduced concept of global stability of…
We initiate a systematic study of \emph{generic stability independence} and introduce the class of \emph{treeless theories} in which this notion of independence is particularly well-behaved. We show that the class of treeless theories…
Our main result is the complete set of explicit conditions necessary and sufficient for isochronicity of a Hamiltonian system with one degree of freedom. The conditions are presented in terms of Taylor coefficients of the Hamiltonian…