Related papers: On the Linear AFL: The Non-Basic Case
The logico-algebraic study of Lewis's hierarchy of variably strict conditional logics has been essentially unexplored, hindering our understanding of their mathematical foundations, and the connections with other logical systems. This work…
Lambert's problem is a classical boundary value problem in analytical mechanics. It arises when trying to determine the energy required to place a particle, subject to a central gravitational potential, in a "free fall" trajectory…
This paper is the first in a series where we attempt to define defects in critical lattice models that give rise to conformal field theory topological defects in the continuum limit. We focus mostly on models based on the Temperley-Lieb…
The Nonassociative Lambek Calculus (NL) represents a logic devoid of the structural rules of exchange, weakening, and contraction, and it does not presume the associativity of its connectives. Its finitary consequence relation is decidable…
In this paper, we completely prove a standard conjecture on the local converse theorem for generic representations of GLn(F), where F is a non-archimedean local field.
In this note we give a rational uniformisation equation of the discriminant loci associated to a non-degenerate affine complete intersection variety. To show this formula we establish a relation of the fibre-integral with the hypergeometric…
We deal with boundary value problems for second-order nonlinear elliptic equations in divergence form, which emerge as Euler-Lagrange equations of integral functionals of the Calculus of Variations built upon possibly anisotropic norms of…
After recalling the definition of Grassmann algebra and elements of Grassmann--Berezin calculus, we use the expression of Pfaffians as Grassmann integrals to generalize a series of formulas relating generating functions of paths in digraphs…
In this note we complete the calculation of the number of $GL(\mathbb R^n)$-orbits on $\Lambda^k(\mathbb R^n)^*$, by treating the cases $(n,k)= (7,4)$ and $(8,5)$ not covered in the literature. We also calculate the number of of…
The Mordell--Lang conjecture for abelian varieties states that the intersection of an algebraic subvariety $X$ with a subgroup of finite rank is contained in a finite union of cosets contained in $X$. In this article, we prove a uniform…
This mostly expository paper centers on recently proved conjectures in two areas: A) A conjecture of A. Oppenheim on the values of real indefinite quadratic forms at integral points. B) Conjectures of Dani, Raghunathan, and Margulis on…
Inspired by the work of Lang-Trotter on the densities of primes with fixed Frobenius traces for elliptic curves defined over $\mathbb{Q}$ and by the subsequent generalization of Cojocaru-Davis-Silverberg-Stange to generic abelian varieties,…
The idea of a finite collection of closed sets having "strongly regular intersection" at a given point is crucial in variational analysis. We show that this central theoretical tool also has striking algorithmic consequences. Specifically,…
We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying graph topology, which have recently found numerous applications. Such…
Given an associative, not necessarily commutative, ring R with identity, a formal matrix calculus is introduced and developed for pairs of matrices over R. This calculus subsumes the theory of homogeneous systems of linear equations with…
Gregory McColm conjectured that positive elementary inductions are bounded in a class K of finite structures if every (FO + LFP) formula is equivalent to a first-order formula in K. Here (FO + LFP) is the extension of first-order logic with…
Behind this sophisticated title hides an elementary exercise on Clifford theory for index two subgroups and self-dual/conjugate-dual representations. When applied to semi-simple representations of the Weil-Deligne group $W'_F$ of a non…
Fix an abelian variety $A_0$ and a non-isotrivial abelian scheme over a smooth irreducible curve, both defined over the algebraic numbers. Consider the union of all images of translates of a fixed finite-rank subgroup of $A_0$, also defined…
This is an outline of work in progress concerning an algebro-geometric form of the Strominger-Yau-Zaslow conjecture. We introduce a limited type of degeneration of Calabi-Yau manifolds, which we call toric degenerations. For these, the…
The theory of relative logarithmic jet spaces is developed for log schemes. With this theory the existence of bounds of intersection multiplicities of curves and divisors on certain log schemes is established. This result extends those of…