Related papers: Grassmann-Berezin Calculus and Theorems of the Mat…
The Rabin tree theorem yields an algorithm to solve the satisfiability problem for monadic second-order logic over infinite trees. Here we solve the probabilistic variant of this problem. Namely, we show how to compute the probability that…
We consider matrices with entries that are polynomials in $q$ arising from natural $q$-generalisations of two well-known formulas that count: forests on $n$ vertices with $k$ components; and trees on $n+1$ vertices where $k$ children of the…
In this short note, we give a very simple but useful generalization of a result of Vershynin (Theorem 5.39 of [1]) for a random matrix with independent sub-Gaussian rows. We also explain with an example where our generalization is useful.
In order to construct a massive tensor theory with a smooth massless limit, we apply the Batalin-Fradkin algorithm to the ordinary massive tensor theory. By introducing an auxiliary vector field all second-class constraints are converted…
We investigate special points on the Grassmannian which correspond to friezes with coefficients in the case of rank two. Using representations of arithmetic matroids we obtain a theorem on subpolygons of specializations of the coordinate…
We prove the formula for the complete tree-level $S$-matrix of $\mathcal{N}=8$ supergravity recently conjectured by two of the authors. The proof proceeds by showing that the new formula satisfies the same BCFW recursion relations that…
Herbrand's theorem is one of the most fundamental insights in logic. From the syntactic point of view, it suggests a compact representation of proofs in classical first- and higher-order logic by recording the information of which instances…
Furstenberg-Weiss have extended Szemer\'edi's theorem on arithmetic progressions to trees by showing that a large subset of the tree contains arbitrarily long arithmetic subtrees. We study higher dimensional versions that analogously extend…
We introduce tow assumptions weaker than the classical Ambrosetti-Rabinowitz and the subcritical polynomial growth conditions to obtain the Palais-Smale Condition. Therefore, we improve the Ambrosetti- Rabinowitz existence theorems. Also,…
We present a new formula to calculate matrix elements of a general unitary operator with respect to Hartree-Fock-Bogoliubov states allowing multiple quasi-particle excitations. The Balian-Br\'ezin decomposition of the unitary operator (Il…
We study the generating function of rooted and unrooted hyperforests in a general complete hypergraph with n vertices by using a novel Grassmann representation of their generating functions. We show that this new approach encodes the known…
In this paper, we consider the Perron theorem over the real Puiseux field. We introduce a recursive method for calculating Perron roots and Perron vectors of positive Puiseux matrices (which satisfy some condition of genericness) by means…
The computational complexity of time-dependent perturbation theory is well-known to be largely combinatorial whatever the chosen expansion method and family of parameters (combinatorial sequences, Goldstone and other Feynman-type…
The present work is inspired by three interrelated themes: Weingarten calculus for integration over unitary groups, monotone Hurwitz numbers which enumerate certain factorisations of permutations into transpositions, and Jucys-Murphy…
This paper presents a complete axiomatization of Monadic Second-Order Logic (MSO) over infinite trees. MSO on infinite trees is a rich system, and its decidability ("Rabin's Tree Theorem") is one of the most powerful known results…
It is shown how, starting from a mapping theorem recently proved between massless quartic scalar field theory and Yang-Mills theory, both two-point functions and spectrum of the Yang-Mills theory can be obtained. These results compare very…
We establish a Gysin formula for Schubert bundles and a strong version of the duality theorem in Schubert calculus on Grassmann bundles. We then combine them to compute the fundamental classes of Schubert bundles in Grassmann bundles, which…
We prove a tropical analogue of Cartan's second main theorem for holomorphic curves intersecting hyperplanes in general position--a setting that was not fully resolved by previous tropical Nevanlinna theory. Two versions are obtained. The…
We study distribution of zeros of a complex polynomial whose coefficients has been modified. We give a new proof of the theorem of Rubinstein, and with similar method we prove a new theorem that is not generalization of the previous…
We consider general Gaussian latent tree models in which the observed variables are not restricted to be leaves of the tree. Extending related recent work, we give a full semi-algebraic description of the set of covariance matrices of any…