Related papers: Confluency property of the call-by-value $\lambda\…
We prove a congruence criterion for the algebraic theory of power operations in Morava E-theory, analogous to Wilkerson's congruence criterion for torsion free lambda-rings. In addition, we provide a geometric description of this congruence…
The main theorem of this paper states that the c-convexity and the alternative c-convexity are equivalent if and only if the cost function c satisfies MTW condition. The alternative c-convex function is an analogy of the definition of the…
Filinski constructed a symmetric lambda-calculus consisting of expressions and continuations which are symmetric, and functions which have duality. In his calculus, functions can be encoded to expressions and continuations using primitive…
First, we extend Leifer-Milner RPO theory, by giving general conditions to obtain IPO labelled transition systems (and bisimilarities) with a reduced set of transitions, and possibly finitely branching. Moreover, we study the weak variant…
We introduce a new compactness principle which we call the gluing property. For a measurable cardinal $\kappa$ and a cardinal $\lambda$, we say that $\kappa$ has the $\lambda$-gluing property if every sequence of $\lambda$-many…
There is increasing interest within the research community in the design and use of recursive probability models. Although there still remains concern about computational complexity costs and the fact that computing exact solutions can be…
The framework of Light Logics has been extensively studied to control the complexity of higher-order functional programs. We propose an extension of this framework to multithreaded programs with side effects, focusing on the case of…
This work gives some insights and results on standardisation for call-by-name pattern calculi. More precisely, we define standard reductions for a pattern calculus with constructor-based data terms and patterns. This notion is based on…
We extend the {\lambda}-calculus with constructs suitable for relational and functional-logic programming: non-deterministic choice, fresh variable introduction, and unification of expressions. In order to be able to unify…
We show that assuming lower bounds on the Ricci curvature and the injectivity radius the absolute value of certain characteristic numbers of a Riemannian manifold, including all Pontryagin and Chern numbers, is bounded proportionally to the…
Let $\FF$ be a finite field and $(Q,\bfd)$ an acyclic valued quiver with associated exchange matrix $\tilde{B}$. We follow Hubery's approach \cite{hub1} to prove our main conjecture of \cite{rupel}: the quantum cluster character gives a…
We show that the natural "convolution" on the space of smooth, even, translation-invariant convex valuations on a euclidean space $V$, obtained by intertwining the product and the duality transform of S. Alesker, may be expressed in terms…
We prove the strong normalization of full classical natural deduction (i.e. with conjunction, disjunction and permutative conversions) by using a translation into the simply typed lambda-mu-calculus. We also extend Mendler's result on…
There is a natural descending filtration on the singular cohomology of a complex smooth projective variety called the coniveau filtration. The generalized Hodge conjecture would imply, rather trivially, that the coniveau filtration is…
A clover is a framed trivalent graph with some additional structure, embedded in a 3-manifold. We define surgery on clovers, generalizing surgery on Y-graphs used earlier by the second author to define a new theory of finite-type invariants…
This paper focuses on the class of routing games that have uncertain costs. Assuming that agents are risk-averse and select paths with minimum conditional value-at-risk (CVaR) associated to them, we define the notion of CVaR-based Wardrop…
An elementary recursive relation for M$\ddot{\mathrm{o}}$bius function $\mu (n)$ is introduced by two simple ways. With this recursive relation, $\mu (n)$ can be calculated without directly knowing the factorization of the $n$. $\mu (1)…
In this paper, we investigate the converse of the Tan-Xu theorem, which states that the naturally reductive property of a Riemannian metric is inherited by a naturally reductive $(\alpha_1,\alpha_2)$-metric, and we show that, under certain…
Let $\mu$ and $\nu$ be two probability measures on $\R^d$, where $\mu(\d x)= \e^{-V(x)}\d x$ for some $V\in C^1(\R^d)$. Explicit sufficient conditions on $V$ and $\nu$ are presented such that $\mu*\nu$ satisfies the log-Sobolev, Poincar\'e…
In Evan and Hendel's recent proof of an outstanding conjecture on the resistance distances of a family of linear 3-trees, a key technique in the proof was calculating the recursion satisfied by a family of determinants. The underlying…