相关论文: Multi-Solid Varieties and Mh-Transducers
We show the existence (and define) the mixed multiplicities of arbitrary graded families of ideals under mild assumptions. In particular, our methods and results are valid for the case of arbitrary $\mathfrak{m}$-primary graded families.…
Finite-state complexity is a variant of algorithmic information theory obtained by replacing Turing machines with finite transducers. We consider the state-size of transducers needed for minimal descriptions of arbitrary strings and, as our…
A study of assisted problem solving formalized via decompositions of deterministic finite automata is initiated. The landscape of new types of decompositions of finite automata this study uncovered is presented. Languages with various…
Arrangements of pseudolines are a widely studied generalization of line arrangements. They are defined as a finite family of infinite curves in the Euclidean plane, any two of which intersect at exactly one point. One can state various…
We prove some results which give sufficient conditions so that pointwise approximation of negative plurisubharmonic functions on complex varieties by continuous plurisubharmonic ones is possible.
Performances of the Multivariate Kurtosis are investigated when applied to colored data, with or without Auto-Regressive pre-whitening, and with or without projection onto a lower-dimensional random subspace. Computer experiments…
In this paper we prove the preconstructibility of the complex of tempered holomorphic solutions of holonomic D-modules on complex analytic manifolds. This implies the finiteness of such complex on any relatively compact open subanalytic…
We investigate various homotopy invariant formulations of commutative algebra in the context of rational homotopy theory. The main subject is the complete intersection condition, where we show that a growth condition implies a structure…
We consider holographic superconductors in a broad class of massive gravity backgrounds. These theories provide a holographic description of a superconductor with broken translational symmetry. Such models exhibit a rich phase structure:…
We consider the additive superimposition of an extensive number of independent Euclidean Random Matrices in the high-density regime. The resolvent is computed with techniques from free probability theory, as well as with the replica method…
Transformers have achieved great success in many artificial intelligence fields, such as natural language processing, computer vision, and audio processing. Therefore, it is natural to attract lots of interest from academic and industry…
We analyze the set of real and complex Hadamard matrices with additional symmetry constrains. In particular, we link the problem of existence of maximally entangled multipartite states of $2k$ subsystems with $d$ levels each to the set of…
We solve the problem of characterizing the existence of a polynomial matrix of fixed degree when its eigenstructure (or part of it) and some of its rows (columns) are prescribed. More specifically, we present a solution to the row (column)…
In responding to a question on Math Stackexchange, the author formulated the problem of determining the number of strings of balls colored in most $n$ colors with a number $k$ of repeated colors. In this paper, we formulate the problem more…
Motivated by the observation that the counting function of a certain base-3 colored partition contains the even perfect numbers as a subsequence, we begin by defining a sequence of polynomials in four variables and discuss their properties…
This is the technical report accompanying the paper "A Sound and Complete Substitution Algorithm for Multimode Type Theory" [Ceulemans, Nuyts and Devriese, 2024]. It contains a full definition of Well-Scoped Multimode Type Theory (WSMTT) in…
We show that the modular term condition higher commutator is equal to the modular hypercommutator. As a consequence, we arrive at a new proof that HC8 holds for modular varieties. Next, we develop a procedure for a modular variety for…
Logics closed under classes of substitutions broader than class of uniform substitutions are known as hyperformal logics. This paper extends known results about hyperformal logics in two ways. First: we examine a very powerful form of…
We find (completeness type) conditions on topological semilattices $X,Y$ guaranteeing that each continuous homomorphism $h:X\to Y$ has closed image $h(X)$ in $Y$.
This paper is devoted to the study of sequences in overpartitions and their relation to 2-color partitions. An extensive study of a general class of double series is required to achieve these ends.