Related papers: Induced quasi-actions: a remark
Mechanistic interpretability aims to understand model behaviors in terms of specific, interpretable features, often hypothesized to manifest as low-dimensional subspaces of activations. Specifically, recent studies have explored subspace…
We characterise the groupoid $C^*$-algebras associated to the transformation groupoids of injective actions of discrete countable Ore semi-groups on compact topological spaces in terms of the reduced crossed product from the dual actions,…
Active soft bodies can affect their shape through an internal actuation mechanism that induces a deformation. Similar to recent work, this paper utilizes a differentiable, quasi-static, and physics-based simulation layer to optimize for…
In this paper, we study a special class of quasi-homomorphisms, i.e. quasi-retractions from a group to its subgroups. We first give some algebraic and geometric properties of quasi-retracts and then propose a theory of quasi-split short…
This paper introduces the proper notion of variational quasiconvexity associated to a group of diffeomorphisms. We prove a lower semicontinuity theorem connected to this notion. In the second part of the paper we apply this result to a…
This paper studies ways to represent an ordered topological vector space as a space of continuous functions, extending the classical representation theorems of Kadison and Schaefer. Particular emphasis is put on the class of semisimple…
In this paper, the notion of quasi-pseudo injectivity relative to a class of submodules, namely, quasi-pseudo principally injective has been studied. This notion is closed under direct summands. Several properties and characterizations have…
Quasi-conformal actions were introduced in the physics literature as a generalization of the familiar fractional linear action on the upper half plane, to Hermitian symmetric tube domains based on arbitrary Jordan algebras, and further to…
For discrete Hecke pairs $(G,H)$, we introduce a notion of covariant representation which reduces in the case where $H$ is normal to the usual definition of covariance for the action of $G/H$ on $c_0(G/H)$ by right translation; in many…
This article presents an equivalent formulation of the implicit complementarity problem. We demonstrate that solution of the equivalent formulation is equivalent to the solution of the implicit complementarity problem. Moreover, we provide…
Crisp and lattice-valued ambiguous representations of one continuous semilattice in another one are introduced and operation of taking pseudo-inverse of the above relations is defined. It is shown that continuous semilattices and their…
This paper extends implication-space semantics to include first-order quantification. Implication-space semantics has recently been introduced as an inferentialist formal semantics that can capture nonmonotonic and nontransitive material…
We study quasi-isometric embeddings of symmetric spaces and non-uniform irreducible lattices in semisimple higher rank Lie groups. We show that any quasi-isometric embedding between symmetric spaces of the same rank can be decomposed into a…
In this paper we define a quantum version of the ``fusion'' tensor product of two representations of an affine Kac-Moody algebra.It is replaced by what we call fusion action of the category of finite-dimensional representations of quantum…
We prove the boundedness of a class of tri-linear operators consisting of a quasi piece of bilinear Hilbert transform whose scale equals to or dominates the scale of its linear counter part. Such type of operators is motivated by the…
We construct a family of representations of an arbitrary variant $S_a$ of a semigroup $S$, induced by a given representation of $S$, and investigate properties of such representations and their kernels.
It is shown that the category of \emph{semi-biproducts} of monoids is equivalent to the category of \emph{pseudo-actions}. A semi-biproduct of monoids is a new notion, obtained through generalizing a biproduct of commutative monoids. By…
We introduce an operational rewriting-based semantics for strictly positive nested higher-order (co)inductive types. The semantics takes into account the "limits" of infinite reduction sequences. This may be seen as a refinement and…
We introduce propositional team-based logics expressively complete for (quasi) downward and (quasi) upward closed properties in a syntactically dual way, by using variants of the inclusion atom. In particular, the variants of the primitive…
Motivated by partition regularity problems of homogeneous quadratic equations, we prove multiple recurrence and convergence results for multiplicative measure preserving actions with iterates given by rational sequences involving…