Related papers: Sources of log canonical centers
Source coding is the canonical problem of data compression in information theory. In a locally encodable source coding, each compressed bit depends on only few bits of the input. In this paper, we show that a recently popular model of…
We effectively sew two vertices with ghosts in order to obtain a third, composite vertex in the most general case of cycling transformations. In order to do this, we separate the vertices into two parts: a bosonic oscillator part and a…
In this first part, a computable outer bound is proved for the multiterminal source coding problem, for a setup with two encoders, discrete memoryless sources, and bounded distortion measures.
Clifford number representation for linear electrodynamics with dyon sources is considered. Source function for the appropriate system of the first order equations for electromagnetic field is obtained. The field of an arbitrary moving point…
Logical relations and their generalizations are a fundamental tool in proving properties of lambda-calculi, e.g., yielding sound principles for observational equivalence. We propose a natural notion of logical relations able to deal with…
Several formal systems, such as resolution and minimal model semantics, provide a framework for logic programming. In this paper, we will survey the use of structural proof theory as an alternative foundation. Researchers have been using…
In this article we determine several theorems and methods for solving linear congruences and systems of linear congruences, and we find the number of distinct solutions. Many examples of solving congruences are given.
Let $(X,B)$ be a projective log canonical pair such that $B$ is a $\Q$-divisor, and that there is a surjective morphism $f\colon X\to Z$ onto a normal variety $Z$ satisfying: $K_X+B\sim_\Q f^*M$ for some $\Q$-divisor $M$, and the augmented…
In an attempt to create an algebraic framework for dual canonical bases and total positivity in semisimple groups, we initiate the study of a new class of commutative algebras.
A lot of recent activity has been directed towards various constructions of "natural" bases in cluster algebras. We develop a new approach to this problem which is close in spirit to Lusztig's construction of a canonical basis, and the…
Enlarging on Parts I, II, and III we write more equations in the desired format of the extended abstract theory of composites. We focus on a multitude of equations involving higher order derivatives. The motivation is that results and…
The encoder-decoder model is widely used in natural language generation tasks. However, the model sometimes suffers from repeated redundant generation, misses important phrases, and includes irrelevant entities. Toward solving these…
We discuss quantum non-locality and contextuality, emphasising logical and structural aspects. We also show how the same mathematical structures arise in various areas of classical computation.
A plurisubharmonic weight is log canonical if it is at the critical point of turning non-integrable. Given a log canonical plurisubharmonic weight, we show that locally there always exists a log canonical `holomorphic' weight having the…
In 2012 Raghavan, Samuel, and Subrahmanyam showed that the Kazhdan--Lusztig basis for the Iwahori--Hecke algebra in type A provides a ``canonical'' basis for the centraliser algebra of the Schur algebra acting on tensor space. In 2022 the…
In this paper we give an elementary proof of the Zariski-Lipman conjecture for log canonical spaces.
We show that log canonical thresholds satisfy the ACC
Central configurations are solutions of the equations $\lambda m_j\boldsymbol{q}_j = \frac{\partial U}{\partial \boldsymbol{q}_j}$, where $U$ denotes the potential function and each $\boldsymbol{q}_j$ is a point in the $d$-dimensional…
We introduce a two-parameter modification of the cofinality invariant of ideals. This allows us to include the interaction of a pair of ideals in the study of base-like structures. We find the values (cardinal numbers or well-known cardinal…
We show that the log canonical threshold of a generic determinantal variety and its generic link are the same.