Related papers: Sources of log canonical centers
A coding problem for correlated information sources is investigated. Messages emitted from two correlated sources are jointly encoded, and delivered to two decoders. Each decoder has access to one of the two messages to enable it to…
We present in this paper an evolution of a tool from a user interface for a concrete Computer Algebra system for Algebraic Topology (the Kenzo system), to a front-end allowing the interoperability among different sources for computation and…
Coinduction refers to both a technique for the definition of infinite streams, so-called codata, and a technique for proving the equality of coinductively specified codata. This article first reviews coinduction in declarative programming.…
We construct bar-invariant $\mathbb{Z}[q^{\pm 1/2}]-$bases of the quantum cluster algebra of the Kronecker quiver which are quantum analogues of the canonical basis, semicanonical basis and dual semicanonical basis of the cluster algebra of…
Methods of constructing trigonometric fundamental splines with constant sign and sign-changing convergence factors are given. An example and graphics illustrating the concepts of convergence and interpolation grids are given. Some methods…
We discuss the ACC conjecture and the LSC conjecture for minimal log discrepancies of generalized pairs. We prove that some known results on these two conjectures for usual pairs are still valid for generalized pairs. We also discuss the…
Matrix congruence can be used to mimic linear maps between homogeneous quadratic polynomials in $n$ variables. We introduce a generalization, called standard-form congruence, which mimics affine maps between non-homogeneous quadratic…
A source sequence is to be guessed with some fidelity based on a rate-limited description of an observed sequence with which it is correlated. The trade-off between the description rate and the exponential growth rate of the least power…
Beyond the crucial role they play in the foundations of the theory of overconvergent modular forms, canonical subgroups have found new applications to analytic continuation of overconvergent modular forms. For such applications, it is…
Quantum light sources are essential building blocks for many quantum technologies, enabling secure communication, powerful computing, precise sensing and imaging. Recent advancements have witnessed a significant shift towards the…
We study pairs of finitely generated modules over a principal ideal domain and their corresponding matrix representations. We introduce equivalence relations for such pairs and determine invariants and canonical forms.
This work is the first one in a series, in which we develop a mathematical theory of enriched (braided) monoidal categories and their representations. In this work, we introduce the notion of the $E_0$-center ($E_1$-center or $E_2$-center)…
We define the notion of central orderings for a general commutative ring $A$ which generalizes the notion of central points of irreducible real algebraic varieties. We study a central and a precentral loci which both live in the real…
We describe a technique for structured prediction, based on canonical correlation analysis. Our learning algorithm finds two projections for the input and the output spaces that aim at projecting a given input and its correct output into…
We construct canonical heights of subvarieties for dynamical system of several morphisms associated with line bundles defined over a number field, and study some of their properties. We also construct invariant currents for such systems…
This collection of sums and integrals has been harvested from the mathematical and physical literature in unstructured ways. Its main use is backtracking the original sources whenever an integral of the reader's application resembles one of…
We describe the foundation of the log minimal model program for log canonical pairs according to Ambro's idea. We generalize Koll\'ar's vanishing and torsion-free theorems for embedded simple normal crossing pairs. Then we prove the cone…
We explore the canonical Grothendieck topology and a new homotopical analog. First we discuss some background information, including defining a new 2-category called the Index-Functor Category and a sieve generalization. Then we discuss a…
This paper proposes a Fujita-type freeness conjecture for semi-log canonical pairs. We prove it for curves and surfaces by using the theory of quasi-log schemes and give some effective very ampleness results for stable surfaces and semi-log…
Although conventional logical systems based on logical calculi have been successfully used in mathematics and beyond, they have definite limitations that restrict their application in many cases. For instance, the principal condition for…