Research in the Mathematical Sciences最新文献

We examine hypergeometric functions in the finite field, p-adic and classical settings. In each setting, we prove a formula which splits the hypergeometric function into a sum of lower order functions whose arguments differ by roots of unity. We provide multiple applications of these results, including new reduction and summation formulas for finite field hypergeometric functions, along with classical analogues; evaluations of special values of these functions which apply in both the finite field and p-adic settings; and new relations to Fourier coefficients of modular forms.

Several methods are used to evaluate finite trigonometric sums. In most cases, either the sum had not previously been evaluated, or it had been evaluated, but only by analytic means, e.g., by complex analysis or modular transformation formulas. We establish both reciprocity and three sum relations for trigonometric sums. Motivated by certain sums that we have evaluated, we add coprime conditions to the summands and thereby define analogues of Ramanujan sums, which we in turn evaluate. One of these analogues leads to a criterion for the Riemann Hypothesis, analogous to the Franel–Landau criterion.

Toward building tropical analogues of adic spaces, we study certain spaces of prime congruences as a topological semiring replacement for the space of continuous valuations on a topological ring. This requires building the theory of topological idempotent semirings, and we consider semirings of convergent power series as a primary example. We consider the semiring of convergent power series as a topological space by defining a metric on it. We check that, in tropical toric cases, the proposed objects carry meaningful geometric information. In particular, we show that the dimension behaves as expected. We give an explicit characterization of the points in terms of classical polyhedral geometry in a follow-up paper.

Matrix-valued holomorphic quantum modular forms are intricate objects associated to 3-manifolds (in particular to knot complements) that arise in successive refinements of the volume conjecture of knots and involve three holomorphic, asymptotic and arithmetic realizations. It is expected that the algebraic properties of these objects can be deduced from the algebraic properties of descendant state integrals, and we illustrate this for the case of the ((-2,3,7))-pretzel knot.

A promising approach to investigating high-dimensional problems is to identify their intrinsically low-dimensional features, which can be achieved through recently developed techniques for effective low-dimensional representation of functions such as machine learning. Based on available finite-dimensional approximate solution manifolds, this paper proposes a novel model reduction framework for kinetic equations. The method employs projections onto tangent bundles of approximate manifolds, naturally resulting in first-order hyperbolic systems. Under certain conditions on the approximate manifolds, the reduced models preserve several crucial properties, including hyperbolicity, conservation laws, entropy dissipation, finite propagation speed, and linear stability. For the first time, this paper rigorously discusses the relation between the H-theorem of kinetic equations and the linear stability conditions of reduced systems, determining the choice of Riemannian metrics involved in the model reduction. The framework is widely applicable for the model reduction of many models in kinetic theory.

The q-color Ramsey number of a k-uniform hypergraph G, denoted r(G; q), is the minimum integer N such that any coloring of the edges of the complete k-uniform hypergraph on N vertices contains a monochromatic copy of G. The study of these numbers is one of the most central topics in combinatorics. One natural question, which for triangles goes back to the work of Schur in 1916, is to determine the behavior of r(G; q) for fixed G and q tending to infinity. In this paper, we study this problem for 3-uniform hypergraphs and determine the tower height of r(G; q) as a function of q. More precisely, given a hypergraph G, we determine when r(G; q) behaves polynomially, exponentially or double exponentially in q. This answers a question of Axenovich, Gyárfás, Liu and Mubayi.

Let (rge 1) be a positive integer, A a real positive definite symmetric (rtimes r) matrix, B a vector of length r, and C a scalar. Nahm’s problem is to describe all such A, B and C with rational entries for which a specific r-fold q-hypergeometric series (denoted by (f_{A,B,C}(q))) involving the parameters A, B, C is modular. When the rank (r=2), Zagier provided eleven sets of examples of (A, B, C) for which (f_{A,B,C}(q)) is likely to be modular. We present a number of Rogers–Ramanujan type identities involving double sums, which give modular representations for Zagier’s rank two examples. Together with several known cases in the literature, we verified ten of Zagier’s examples and give conjectural identities for the remaining example.

A specialization of a K3 surface with Picard rank one to a K3 with rank two defines a vanishing class of order two in the Brauer group of the general K3 surface. We give the B-field invariants of this class. We apply this to the K3 double plane defined by a cubic fourfold with a plane. The specialization of such a cubic fourfold whose group of codimension two cycles has rank two to one which has rank three induces such a specialization of the double planes. We determine the Picard lattice of the specialized double plane as well as the vanishing Brauer class and its relation to the natural ‘Clifford’ Brauer class. This provides more insight in the specializations. It allows us to explicitly determine the K3 surfaces associated with infinitely many of the conjecturally rational cubic fourfolds obtained as such specializations.

Given a germ of an analytic variety X and a germ of a holomorphic function f with a stratified isolated singularity with respect to the logarithmic stratification of X, we show that under certain conditions on the singularity type of the pair (f, X), the following relative analog of the well-known K. Saito’s theorem holds true: equality of the relative Milnor and Tjurina numbers of f with respect to X (also known as Bruce–Roberts numbers) is equivalent to the relative quasihomogeneity of the pair (f, X), i.e. to the existence of a coordinate system such that both f and X are quasihomogeneous with respect to the same positive rational weights.