Related papers: The Herbrand Functional Interpretation of the Doub…

In this paper we extend the Smarandache function from the set $N*$ of positive integers to the set $Q$ pf rational numbers. Using the inverse formula, this function is also regarded as a generating function. We put in evidence a procedure…

We extend Barwick's and Haugseng's construction of the double $\infty$-category of spans in a pullback-complete $\infty$-category $\mathfrak{C}$ to more general shapes: for a large class of algebraic patterns $\mathfrak{P}$, we define a…

Let X be an L1-predual and E,F be Banach spaces. We use the fact that an unconditionally converging operator T from the injective tensor product of X and E to F is strongly bounded and extend T to an operator S on continuous F-valued…

We obtain infinite product expansions in the sense of Borcherds for theta functions associated with certain positive-definite binary quadratic and binary hermitian forms. Among other things, we show that every weight 1 binary theta function…

For a space X acted by a finite group $\G$, the product space $X^n$ affords a natural action of the wreath product $\Gn$. In this paper we study the K-groups $K_{\tG_n}(X^n)$ of $\Gn$-equivariant Clifford supermodules on $X^n$. We show that…

We revisit the power counting of the Higgs Effective Field Theory (HEFT) from first principles, by requiring that predictions for physical observables follow a series expansion in small, dimensionless quantities. Depending on whether HEFT…

Visibly pushdown transducers form a subclass of pushdown transducers that (strictly) extends finite state transducers with a stack. Like visibly pushdown automata, the input symbols determine the stack operations. In this paper, we prove…

We introduce basic notions and results about relation liftings on categories enriched in a commutative quantale. We derive two necessary and sufficient conditions for a 2-functor T to admit a functorial relation lifting: one is the…

Computational effects are commonly modelled by monads, but often a monad can be presented by an algebraic theory of operations and equations. This talk is about monads and algebraic theories for languages for inference, and their…

A comparison of microscopic theories of superconductivity in the limit of strong electron correlations is presented. We consider results for the two-dimensional t-J model obtained within the projection technique for the Green functions in…

We construct a new operation among representations of the symmetric group that interpolates between the classical internal and external products, which are defined in terms of tensor product and induction of representations. Following…

We use the Bellman function method to give an elementary proof of a sharp weighted estimate for the Haar shifts, which is linear in the $A_2$ norm of the weight and in the complexity of the shift. Together with the representation of a…

The role of double space is essential in new interpretation of T-duality and consequently in an attempt to construct M-theory. The case of open string is missing in such approach because until now there have been no appropriate formulation…

We study very smooth functions on the real line, namely Schwartz functions, that satisfy a finite identity relating their translates and a single modulation. Concretely, we assume there is a nontrivial linear combination of translates of…

We define notions of direction $L$ ergodicity, weak mixing, and mixing for a measure preserving $\mathbb Z^d$ action $T$ on a Lebesgue probability space $(X,\mu)$, where $L\subseteq\mathbb R^d$ is a linear subspace. For $\mathbb R^d$…

We advance the foundational study of be Nardin-Shah's $\infty$-category of $G$-operads and their associated $\infty$-categories of algebras. In particular, we construct the underlying $G$-symmetric sequence of a (one color) $G$-operad,…

Derived equivalences and t-structures are closely related. We use realisation functors associated to t-structures in triangulated categories to establish a derived Morita theory for abelian categories with a projective generator or an…

We study a composition operation on monads, equivalently presented as large equational theories. Specifically, we discuss the existence of tensors, which are combinations of theories that impose mutual commutation of the operations from the…

Let $X$ be a Banach space, let $(\Omega,\mu)$ be a $\sigma$-finite measure space and let $A,B\colon\Omega\to B(X)$ be strongly measurable $\gamma$-bounded functions. We show that for all $x\in X$ and all $x^*\in X^*$, there exist a Hilbert…

We first formulate a definition of tensor product for two modules for a vertex operator algebra in terms of a certain universal property and then we give a construction of tensor products. We prove the unital property of the adjoint module…