Related papers: Matrix Models and Integrable C<1 Open String Theor…
We introduce a version of logic for metric structures suitable for applications to C*-algebras and tracial von Neumann algebras. We also prove a purely model-theoretic result to the effect that the theory of a separable metric structure is…
We prove normalization for MTT, a general multimodal dependent type theory capable of expressing modal type theories for guarded recursion, internalized parametricity, and various other prototypical modal situations. We prove that deciding…
String diagrams are a powerful tool for reasoning about composite structures in symmetric monoidal categories. By representing string diagrams as graphs, equational reasoning can be done automatically by double-pushout rewriting. !-graphs…
Extracting knowledge from unlabeled texts using machine learning algorithms can be complex. Document categorization and information retrieval are two applications that may benefit from unsupervised learning (e.g., text clustering and topic…
This article studies two notions of generalized matroid representations motivated by algorithmic information theory and cryptographic secret sharing. The first (entropic representability) involves discrete random variables, while the second…
We show that a perturbation of any fixed square matrix D by a random unitary matrix is well invertible with high probability. A similar result holds for perturbations by random orthogonal matrices; the only notable exception is when D is…
Given a text and a pattern over two types of symbols called constants and variables, the parameterized pattern matching problem is to find all occurrences of substrings of the text that the pattern matches by substituting a variable in the…
Every state on the algebra $M_n$ of complex nxn matrices restricts to a state on any matrix system. Whereas the restriction to a matrix system is generally not open, we prove that the restriction to every *-subalgebra of $M_n$ is open. This…
Language models typically need to be trained or finetuned in order to acquire new knowledge, which involves updating their weights. We instead envision language models that can simply read and memorize new data at inference time, thus…
We enumerate generalizations of the superintegrability property $<character>\ \sim {\rm character}$ and illuminate possible general structures behind them. We collect variations of original formulas available up to date and emphasize the…
In this paper we describe a data structure that supports pattern matching queries on a dynamically arriving text over an alphabet ofconstant size. Each new symbol can be prepended to $T$ in O(1) worst-case time. At any moment, we can report…
Linear control theory provides a rich source of inspiration and motivation for development in the matrix theory. Accordingly, in this paper, a generalization of Matrix Determinant Lemma to the finite sum of outer products of column vectors…
Continual learning constrains models to learn new tasks over time without forgetting what they have already learned. A key challenge in this setting is catastrophic forgetting, where learning new information causes the model to lose its…
Matrix models are a promising candidate for a nonperturbative formulation of the superstring theory. It is possible to study how the standard model and other phenomenological models appear from the matrix model, and estimate the probability…
In these talks we review some of the recent results on open strings and noncommutative gauge theories, starting from the early calculations of open strings in a constant electromagnetic background. We discuss both the neutral string and the…
In this paper, we give a generalization on the error correcting capability of twisted centralizer codes obtained from a fixed rank 1 matrix. In particular, we fix the combinatorial matrix which is obtained by getting the linear combination…
We give a survey of a number of simple applications of renewal theory to problems on random strings and tries: insertion depth, size, insertion mode and imbalance of tries; variations for b-tries and Patricia tries; Khodak and Tunstall…
This thesis is based on some selected topics in open topological string theory which I have worked on during my Ph.D. It comprises an introductory part where I have focused on the points most needed for the later chapters, trading…
We investigate unoriented strings and superstrings in two dimensions and their dual matrix quantum mechanics. Most of the models we study have a tachyon tadpole coming from the RP^2 worldsheet which needs to be cancelled by a…
We study the relation between topological string theory and singularity theory using the partition function of $A_{N-1}$ topological string defined by matrix integral of Kontsevich type. Genus expansion of the free energy is considered, and…