相关论文: On Langlands functoriality- reduction to the semis…
The existence of the well-known Jacquet-Langlands correspondence was established by Jacquet and Langlands via the trace formula method in 1970. An explicit construction of such a correspondence was obtained by Shimizu via theta series in…
Recent work has generalized the Furstenberg correspondence between sets of integers and dynamical systems to versions which involve sequences of finite graphs or sequences of $L^\infty$ functions. We give a unified version of the theorem…
We study a class of weakly coupled Hamilton-Jacobi systems with a specific aim to perform a qualitative analysis in the spirit of weak KAM theory. Our main achievement is the definition of a family of related action functionals containing…
We study torsion in the homology of arithmetic groups and give evidence that it plays a role in the Langlands program. We prove, among other results, a numerical form of a Jacquet--Langlands correspondence in the torsion setting.
These are lecture notes (by the first author) from a course (by the second author) given over two extended semesters at the University of Sydney. The first part provides an introduction to the Langlands correspondence from an arithmetical…
Two major areas of interest in the era of Large Language Models regard questions of what do LLMs know, and if and how they may be able to reason (or rather, approximately reason). Since to date these lines of work progressed largely in…
This paper studies the behavior of Grobner bases with respect to extensions of scalars. We prove that an extension of scalars commutes with taking Grobner bases iff the extension is flat. We consider what information can be deduced about…
In prior work, Cimini has presented Lang-n-Send, a pi-calculus with language definitions. In this paper, we present an extension of this calculus called Lang-n-Send+m. First, we revise Lang-n-Send to work with transition system…
In this paper we prove using quite elementary methods, with a combinatorial nature, two general results related to Marstrand's projection theorem in a quite general formulation over metric spaces under a suitable transversality condition…
Coalgebras for an endofunctor provide a category-theoretic framework for modeling a wide range of state-based systems of various types. We provide an iterative construction of the reachable part of a given pointed coalgebra that is inspired…
In this work we address three questions: can we successfully describe (observed) deviations from the standard model in the SMEFT language? Can we learn something about the underlying, beyond the standard model, physics using the SMEFT…
The linearization of complex ordinary differential equations is studied by extending Lie's criteria for linearizability to complex functions of complex variables. It is shown that the linearization of complex ordinary differential equations…
We generalize Lagrangian Floer cohomology to sequences of Lagrangian correspondences. For sequences related by the geometric composition of Lagrangian correspondences we establish an isomorphism of the Floer cohomologies. We give…
In this paper, we use a categorical and functorial set up to model the syntax and inference of logics with algebraic signature, extending previous works on algebraisation of logics. The main feature of this work is that structurality, or…
Recent developments in the categorical foundations of universal algebra have given fresh impetus to an understanding of the lambda calculus coming from categorical logic: an interpretation is a semi-closed algebraic theory. Scott's…
Abstrct: In this note, by considering fractionally linear functions over a finite field and consequently developing an abstract sequence, we study some of its properties.
The necessary and sufficient conditions for a function to be totally or partially separable are derived. It is shown that a function is totally separable if and only if each component of the gradient vector of depends only on the…
In this paper, we give a review of fractal calculus which is an expansion of standard calculus. Fractal calculus is applied for functions which are not differentiable or integrable on totally disconnected fractal sets such as middle-$\mu$…
Functional Distributional Semantics is a framework that aims to learn, from text, semantic representations which can be interpreted in terms of truth. Here we make two contributions to this framework. The first is to show how a type of…
Two adjoint functors can be seen as generalisations of the two functions within a Galois connection. If instead the adjoints are not generalised from functions, but from relations, then analogously the object of study becomes a more general…