?
On partial traces and compactification of *-autonomous Mix-categories
Cornell University
,
2016.
We study the question when a $*$-autonomous Mix-category has a representation as a $*$-autonomous Mix-subcategory of a compact one. We define certain partial trace-like operation on morphisms of a Mix-category, which we call a mixed trace, and show that any structure preserving embedding of a Mix-category into a compact one induces a mixed trace on the former. We also show that, conversely, if a Mix-category ${\bf K}$ has a mixed trace, then we can construct a compact category and structure preserving embedding of ${\bf K}$ into it, which induces the same mixed trace. Finally, we find a specific condition expressed in terms of interaction of Mix- and coevaluation maps on a Mix-category ${\bf K}$, which is necessary and sufficient for a structure preserving embedding of ${\bf K}$ into a compact one to exist. When this condition is satisfied, we construct a ``free'' or ``minimal'' mixed trace on ${\bf K}$ directly from the Mix-category structure, which gives us also a ``free'' compactification of ${\bf K}$. K.
Blute R., Panangaden P., Slavnov S. A., Applied Categorical Structures 2012 Vol. 20 No. 3 P. 209-228
This paper proposes a definition of categorical model of the deep inference system BV, defined by Guglielmi. Deep inference introduces the idea of performing a deduction in the interior of a formula, at any depth. Traditional sequent calculus rules only see the roots of formulae. However in these new systems, one can rewrite at any ...
Added: December 28, 2012
Blute R., Panangaden P., Slavnov Sergey, Applied Categorical Structures 2012 Vol. 20 No. 3 P. 209-228
This paper proposes a definition of categorical model of the deep inference system BV, defined by Guglielmi. Deep inference introduces the idea of performing a deduction in the interior of a formula, at any depth. Traditional sequent calculus rules only see the roots of formulae. However in these new systems, one can rewrite at any ...
Added: February 18, 2013
Slavnov S. A., Annals of Pure and Applied Logic 2005 Vol. 131 No. 1-3 P. 177-225
Added: March 4, 2013
Slavnov S. A., Theoretical Computer Science 2006 Vol. 357 No. 1-3 P. 215-229
Added: March 4, 2013
Sergey Slavnov, Annals of Pure and Applied Logic 2014 Vol. 165 No. 1 P. 357-370
Just as intuitionistic proofs can be modeled by functions, linear logic proofs, being symmetric in the inputs and outputs, can be modeled by relations (for example, cliques in coherence spaces). However generic relations do not establish any functional dependence between the arguments, and therefore it is questionable whether they can be thought as reasonable generalizations ...
Added: October 7, 2013
Slavnov S. A., Journal of Logic and Computation 2022 Vol. 32 No. 3 P. 479-517
We consider tensor grammars, which are an example of ‘commutative’ grammars, based on the classical (rather than intuitionistic) linear logic. They can be seen as a surface representation of abstract categorial grammars (ACG) in the sense that derivations of ACG translate to derivations of tensor grammars and this translation is isomorphic on the level of string ...
Added: October 21, 2021
Kanovich M., Kuznetsov S., Scedrov A., Journal of Logic and Computation 2020 Vol. 30 No. 1 P. 239-256
The Lambek calculus can be considered as a version of non-commutative intuitionistic linear logic. One of the interesting features of the Lambek calculus is the so-called ‘Lambek’s restriction’, i.e. the antecedent of any provable sequent should be non-empty. In this paper, we discuss ways of extending the Lambek calculus with the linear logic exponential modality ...
Added: July 1, 2020
Sergey Slavnov, Mathematical Structures in Computer Science 2021 Vol. 31 No. 5 P. 495-534
Ehrhard et al. (2018. Proceedings of the ACM on Programming Languages, POPL 2, Article 59.) proposed a model of probabilistic functional programming in a category of normed positive cones and stable measurable cone maps, which can be seen as a coordinate-free generalization of probabilistic coherence spaces (PCSs). However, unlike the case of PCSs, it remained unclear ...
Added: November 16, 2021
Sergey Slavnov, Journal of Cognitive Science 2021 Vol. 22 No. 2 P. 68-91
We propose a concrete surface representation of abstract categorial grammars in the category of word cobordisms or cowordisms
for short, which are certain bipartite graphs decorated withwords in a given alphabet, generalizing linear logic proof-nets.
We also introduce and study linear logic grammars, directly based on cobordisms and using classical multiplicative linear logic
as a typing system. ...
Added: October 2, 2021
Borzykh D., ЛЕНАНД, 2021
Книга представляет собой экспресс-курс по теории вероятностей в контексте начального курса эконометрики. В курсе в максимально доступной форме изложен тот минимум, который необходим для осознанного изучения начального курса эконометрики. Данная книга может не только помочь ликвидировать пробелы в знаниях по теории вероятностей, но и позволить в первом приближении выучить предмет «с нуля». При этом, благодаря доступности изложения и небольшому объему книги, ...
Added: February 20, 2021
Красноярск : ИВМ СО РАН, 2013
Труды Пятой Международной конференции «Системный анализ и информационные технологии» САИТ-2013 (19–25 сентября 2013 г., г.Красноярск, Россия): ...
Added: November 18, 2013
Min Namkung, Younghun K., Scientific Reports 2018 Vol. 8 No. 1 P. 16915-1-16915-18
Sequential state discrimination is a strategy for quantum state discrimination of a sender’s quantum
states when N receivers are separately located. In this report, we propose optical designs that can
perform sequential state discrimination of two coherent states. For this purpose, we consider not
only binary phase-shifting-key (BPSK) signals but also general coherent states, with arbitrary prior
probabilities. Since ...
Added: November 16, 2020
Okounkov A., Aganagic M., Moscow Mathematical Journal 2017 Vol. 17 No. 4 P. 565-600
We associate an explicit equivalent descendent insertion to any relative insertion in quantum K-theory of Nakajima varieties.
This also serves as an explicit formula for off-shell Bethe eigenfunctions for general quantum loop algebras associated to quivers and gives the general integral solution to the corresponding quantum Knizhnik Zamolodchikov and dynamical q-difference equations. ...
Added: October 25, 2018
Kotelnikova M. V., Aistov A., Вестник Нижегородского университета им. Н.И. Лобачевского. Серия: Социальные науки 2019 Т. 55 № 3 С. 183-189
The article describes a method that allows to improve the content of disciplines of the mathematical cycle by dividing them into invariant (general) and variable parts. The invariants were identified for such disciplines as «Linear algebra», «Mathematical analysis», «Probability theory and mathematical statistics» delivered to Bachelors program students of economics at several universities. Based on ...
Added: January 28, 2020
Grines V., Gurevich E., Pochinka O., Russian Mathematical Surveys 2017 Vol. 71 No. 6 P. 1146-1148
In the paper a Palis problem on finding sufficient conditions on embedding of Morse-Smale diffeomorphisms in topological flow is discussed. ...
Added: May 17, 2017
В. Л. Попов, Математические заметки 2017 Т. 102 № 1 С. 72-80
Мы доказываем, что аффинно-треугольные подгруппы являются борелевскими подгруппами групп Кремоны. ...
Added: May 3, 2017
Amerik E., Verbitsky M., / Cornell University. Series arXiv "math". 2021.
An MBM locus on a hyperkahler manifold is the union of all deformations of a minimal rational curve with negative self-intersection. MBM loci can be equivalently defined as centers of bimeromorphic contractions. It was shown that the MBM loci on deformation equivalent hyperkahler manifolds are diffeomorphic. We determine the MBM loci on a hyperkahler manifold ...
Added: April 7, 2022
Litvin Y. V., Абрамов И. В., Технологии техносферной безопасности 2016 № 66
Advanced approach to the assessment of a random time of arrival fire fighting calculation on the object of protection, the time of their employment and the free combustion. There is some quantitative assessments with the review of analytical methods and simulation ...
Added: August 27, 2016
Vyalyi M., Дискретная математика 1991 Т. 3 № 3 С. 35-45
Added: October 17, 2014
Arzhantsev I., Journal of Lie Theory 2000 Vol. 10 No. 2 P. 345-357
Added: July 8, 2014
Levashov M., Кухаренко А. В., Вопросы защиты информации 2018 № 2 С. 66-71
Рассматривается статистическая модель одного этапа системы фрод-мониторинга транзакций в интернет-банкинге. Построен и рассчитан близкий к отношению правдоподобия критерий отсева мошеннических транзакций. Для выборочных распределений, полученных на выборке объема в 1 млн реальных транзакций, вычислены параметры эффективности этого критерия. ...
Added: June 14, 2018
Beklemishev L. D., Оноприенко А. А., Математический сборник 2015 Т. 206 № 9 С. 3-20
We formulate some term rewriting systems in which the number of computation steps is finite for each output, but this number cannot be bounded by a provably total computable function in Peano arithmetic PA. Thus, the termination of such systems is unprovable in PA. These systems are derived from an independent combinatorial result known as the Worm ...
Added: March 13, 2016
Кокоулина М. В., Епифанова А. С., Pelinovsky E. et al., Труды НГТУ им. Р.Е. Алексеева 2020 № 3 С. 28-41
Purpose: to analyze the dynamics of COVID-19 development using a generalized stochastic logistic equation to esti-mate the number of probable peaks in coronavirus incidence and to evaluate the nature of the scatter of the generalized logistic model coefficients.
Design/methodology/approach: we use a logistic model based on a generalized first-order logistic equation. The data on the incidence ...
Added: September 29, 2020
Семин С. В., Kurkina O. E., Kurkin A. A. et al., Труды НГТУ им. Р.Е. Алексеева 2012 № 2(95) С. 48-65
Purpose: Numerical modeling of internal baroclinic disturbances of different shapes in a model lake with variable depth, analysis of velocity field of wave-induced current, especially in the near-bed layer.
Approach: The study is carried out with the use of numerical full nonlinear nonhydrostatic model for stratified fluid.
Findings: The full nonlinear numerical modeling of internal wave dynamics ...
Added: October 6, 2012