相关论文: Multiline queues with spectral parameters
We give a geometric proof of a theorem of Weyl on the continuous part of the spectrum of Sturm-Liouville operators on the half-line with asymptotically constant coefficients. Earlier proofs due to Weyl and Kodaira depend on special features…
In this article, we consider systems of linear congruences in several variables and obtain necessary and sufficient conditions as well as explicit expressions for the number of solutions subject to certain restriction conditions. These…
A multivariate polynomial is {\em stable} if it is nonvanishing whenever all variables have positive imaginary parts. We classify all linear partial differential operators in the Weyl algebra $\A_n$ that preserve stability. An important…
We study density of rational languages under shift invariant probability measures on spaces of two-sided infinite words, which generalizes the classical notion of density studied in formal languages and automata theory. The density for a…
We prove that outer commutator words are uniformly concise, i.e. if an outer commutator word w takes m different values in a group G, then the order of the verbal subgroup w(G) is bounded by a function depending only on m and not on w or G.…
The supersymmetric standard model with supergravity-inspired soft breaking terms predicts a rich pectrum of sparticles to be discovered at the SSC, LHC and NLC. Because there are more supersymmetric particles than unknown parameters, one…
We prove the matrix $A_2$ conjecture for the dyadic square function, that is, a norm estimate of the matrix weighted square function, where the focus is on the sharp linear dependence on the matrix $A_2$ constant in the estimate. Moreover,…
This paper contains a proof that chromatic weight systems, introduced by Chmutov, Duzhin and Lando, can be expressed in terms of weight systems associated with direct sums of the Lie algebras gl_n and so_n. As a consequence the Vassiliev…
We formulate a "correct" version of the Quillen conjecture on linear group homology for certain arithmetic rings and provide evidence for the new conjecture. In this way we predict that the linear group homology has a direct summand looking…
We review various unitary network models used in quantum computing, spectral analysis or condensed matter physics and establish relationships between them. We show that symmetric one dimensional quantum walks are universal, as are CMV…
In this paper, we consider first-order logic over unary functions and study the complexity of the evaluation problem for conjunctive queries described by such kind of formulas. A natural notion of query acyclicity for this language is…
There are two invariants associated to any line arrangement: the freeness defect $\nu(C)$ and an upper bound for it, denoted by $\nu'(C)$, coming from a recent result by Uli Walther. We show that $\nu'(C)$ is combinatorially determined, at…
In this paper, we introduce a novel team semantics of LTL inspired by inquisitive logic. The main features of the resulting logic, we call InqLTL, are the intuitionistic interpretation of implication and the Boolean semantics of…
A rational Ansatz is proposed for the generating function $\sum_{j,k} \beta_{2j+k,2j}x^j y^k$, where $\beta_{m,u}$ is the number of primitive chinese character diagrams with $u$ univalent and $2m-u$ trivalent vertices. For…
Given a random text over a finite alphabet, we study the frequencies at which fixed-length words occur as subsequences. As the data size grows, the joint distribution of word counts exhibits a rich asymptotic structure. We investigate all…
Let X be a smooth complex projective variety of dimension d. It is classical that ample line bundles on X satisfy many beautiful geometric, cohomological, and numerical properties that render their behavior particularly tractable. By…
We study mean convergence results for weighted multiple ergodic averages defined by commuting transformations with iterates given by integer polynomials in several variables. Roughly speaking, we prove that a bounded sequence is a good…
Recently Lieb and Seiringer showed that the Bessis-Moussa-Villani conjecture from quantum physics can be restated in the following purely algebraic way: The sum of all words in two positive semidefinite matrices where the number of each of…
The Linguistic Matrix Theory programme introduced by Kartsaklis, Ramgoolam and Sadrzadeh is an approach to the statistics of matrices that are generated in type-driven distributional semantics, based on permutation invariant polynomial…
In recent work on nonequilibrium statistical physics, a certain Markovian exclusion model called an asymmetric annihilation process was studied by Ayyer and Mallick. In it they gave a precise conjecture for the eigenvalues (along with the…