English
Related papers

Related papers: A closure operator respecting the modular $j$-func…

200 papers

Active object systems are a model of distributed computation that has been adopted for modelling distributed systems and business process workflows. This field of modelling is, in essence, concurrent and resource-aware, motivating the…

Programming Languages · Computer Science 2025-08-22 Francesco Dagnino , Paola Giannini , Violet Ka I Pun , Ulises Torrella

We study a class of meromorphic modular forms characterised by Fourier coefficients that satisfy certain divisibility properties. We present new candidates for these so-called magnetic modular forms, and we conjecture properties that these…

Number Theory · Mathematics 2024-04-08 Kilian Bönisch , Claude Duhr , Sara Maggio

We show that a natural, two sorted $\cL_{\omega_1,\omega}$ theory involving the modular $j$-function is categorical in all uncountable cardinaities. It is also shown that a slight weakening of the adelic Mumford-Tate conjecture for products…

Logic · Mathematics 2013-04-18 Adam Harris

Let V be an infinite matrix with rows and columns indexed by the positive integers, and entries in a field F. Suppose that v_{i,j} only depends on i-j and is 0 for |i-j| large. Then V^n is defined for all n, and one has a "generating…

Combinatorics · Mathematics 2009-06-11 Paul Monsky

Let $\mathbb{F}_q$ be the finite field with $q$ elements and consider the $n$-dimensional $\mathbb{F}_q$-vector space $V=\mathbb{F}_q^n\,$. In this paper we define a closure operator on the subgroup lattice of the group $G =…

Group Theory · Mathematics 2023-09-21 Luca Di Gravina

This short note contains random thoughts about a factorization theorem for closure/interior operators on a powerset which is reminiscent to the notion of resolution for a monad/comonad. The question originated from formal topology but is…

Logic in Computer Science · Computer Science 2009-06-17 Pierre Hyvernat

We show that in the category of groups, every singly-generated class which is closed under isomorphisms, direct limits and extensions is also singly-generated under isomorphisms and direct limits, and in particular is co-reflective. We also…

Group Theory · Mathematics 2021-02-11 Ramón Flores , José L. Rodríguez

Submodularity is a fundamental phenomenon in combinatorial optimization. Submodular functions occur in a variety of combinatorial settings such as coverage problems, cut problems, welfare maximization, and many more. Therefore, a lot of…

Data Structures and Algorithms · Computer Science 2011-11-08 Shaddin Dughmi

Non-closedness of subexponentiality by the convolution operation is well-known. We go a step further and show that subexponentiality and non-subexponentiality are generally changeable by the convolution. We also give several conditions, by…

Probability · Mathematics 2023-09-01 Muneya Matsui , Toshiro Watanabe

We prove that a condition of boundedness of the maximal function of a singular integral operator, that is known to be sufficient for the continuity of the corresponding integral operator in H\"{o}lder spaces, is actually also necessary in…

Functional Analysis · Mathematics 2023-05-08 Massimo Lanza de Cristoforis

We introduce an operator on problems in Weihrauch complexity, which we call the inverse limit, and which corresponds to an infinite compositional product. This operation arises naturally whenever one implements algorithms that produce a…

Logic · Mathematics 2025-01-30 Vasco Brattka

We establish some interactions between uniformly recurrent subgroups (URSs) of a group $G$ and cosets topologies $\tau_\mathcal{N}$ on $G$ associated to a family $\mathcal{N}$ of normal subgroups of $G$. We show that when $\mathcal{N}$…

Group Theory · Mathematics 2025-06-11 Dominik Francoeur , Adrien Le Boudec

We prove that some perturbation of a J-selfadjoint second order differential operator admits factorization and use this new representation of the operator to prove compactness of its resolvent and to find its domain.

Spectral Theory · Mathematics 2008-09-10 Marina Chugunova , Vladimir Strauss

A function f is continuous iff the PRE-image f^{-1}[V] of any open set V is open again. Dual to this topological property, f is called OPEN iff the IMAGE f[U] of any open set U is open again. Several classical Open Mapping Theorems in…

Logic in Computer Science · Computer Science 2010-05-10 Martin Ziegler

Cantor's ordinal numbers, a powerful extension of the natural numbers, are a cornerstone of set theory. They can be used to reason about the termination of processes, prove the consistency of logical systems, and justify some of the core…

Logic in Computer Science · Computer Science 2025-10-22 Tom de Jong , Nicolai Kraus , Fredrik Nordvall Forsberg , Chuangjie Xu

The goal of this note is to present some arguments leading to the conjecture that a formally self-adjoint differential operator on a closed manifold is essentially self-adjoint if and only if the Hamiltonian flow of its symbol is complete.…

Analysis of PDEs · Mathematics 2023-05-05 Yves Colin de Verdìère , Corentin Le Bihan

Our main result asserts that a certain natural non-linear operator on Jacobi matrices built by a hyperbolic polynomial with real Julia set is a contraction in operator norm if the polynomial is sufficiently hyperbolic. This allows us to get…

Mathematical Physics · Physics 2016-09-07 F. Peherstorfer , A. Volberg , P. Yuditskii

A celebrated 1922 theorem of Kuratowski states that there are at most 14 distinct sets arising from applying the operations of complementation and closure, any number of times, in any order, to a subset of a topological space. In this paper…

General Topology · Mathematics 2011-09-12 Jeffrey Shallit , Ross Willard

We define a modular function which is a generalization of the elliptic modular lambda function. We show this function and the modular invariant function generate the modular function field with respect to the principal congruence subgroup.…

Number Theory · Mathematics 2015-04-21 Noburo Ishii

These notes form part of a joint research project on the logic of fields with many valuations, connected by a product formula. We define such structures and name them {\em globally valued fields} (GVFs). This text aims primarily at a proof…

Logic · Mathematics 2022-12-15 Itaï Ben Yaacov , Ehud Hrushovski