Related papers: Connected fundamental domains for congruence subgr…
The purpose of this paper is twofold. First, we introduce the notion of a $\Gamma$-martingale on a Euclidean manifold with a boundary (i.e., the closure of an open connected domain in R d ), we provide its equivalent characterization…
The effective diagram technique based on the Schwinger-Dyson equations is constructed for N=1 SQED with N_f flavors, regularized by higher derivatives. Using these effective diagrams, it is possible to derive the exact NSVZ relation between…
Let $G$ be a $p$-group. We begin to consider the relationship between the structure of the commuting graph and $|G:Z(G)|$. We also build a family of groups whose commuting graphs have more than one connected component whose diameter is at…
We present several new theorems concerning the first fundamental group of a path connected metric space. Among the results proven are strengthenings of the main theorems of \cite{Sh2} and \cite{CoCo}. A compactness theorem for the…
For a sequence $\gamma=(\gamma_n)_{n\ge 1}$, define \[ L_\gamma(z):=\sum_{n\ge 1}\gamma_n\frac{z^n}{1-z^n} =\sum_{n\ge 1}\Bigl(\sum_{d\mid n}\gamma_d\Bigr)z^n. \] We prove a short rigidity theorem: if $\gamma$ is eventually linearly…
For a given function from a set to itself, we can define a directed graph called the functional graph, where the vertices are the elements of the set, and the edges are all the pairs of inputs and outputs for the function. In this article…
In the suborbital graphs studies, there has been a research gap in the sense that the Modular group is connected to two numbers. Thus, this paper attempts to contribute to the studies developed by Gauss, Bolyai, Lobachevsky and Riemann.…
The arithmetic of N, Z, Q, R can be extended to a graph arithmetic where N is the semiring of finite simple graphs and where Z and Q are integral domains, culminating in a Banach algebra R. A single network completes to the Wiener algebra.…
A tuple of commuting Hilbert space operators $(S_1, \dots, S_{n-1}, P)$ having the closed symmetrized polydisc \[ \Gamma_n = \left\{ \left(\sum_{i=1}^{n}z_i, \sum\limits_{1\leq i<j\leq n} z_iz_j, \cdots, \prod_{i=1}^{n}z_i\right) :…
We give complete, finite quasiequational axiomatisations for algebras of unary partial functions under the operations of composition, domain, antidomain, range and intersection. This completes the extensive programme of classifying algebras…
Let $U(G)$ be a maximal unipotent subgroup of one of classical groups $G=GL(V),O(V),Sp(V)$. Let $W$ be a direct sum of copies of $V$ and its dual $V*$. For the natural action $U(G):W$, we describe a minimal system of homogeneous generators…
A numerical semigroup is a cofinite subset of $\mathbb Z_{\ge 0}$ containing $0$ and closed under addition. Each numerical semigroup $S$ with smallest positive element $m$ corresponds to an integer point in the Kunz cone $\mathcal C_m…
We define a congruence module $\Psi_A(M)$ associated to a surjective $\mathcal O$-algebra morphism $\lambda\colon A \to \mathcal{O}$, with $\mathcal{O}$ a discrete valuation ring, $A$ a complete noetherian local $\mathcal{O}$-algebra…
In this paper, we investigate a relation between finite graphs, simplicial flag complexes and right-angled Coxeter groups, and we provide a class of reconstructible finite graphs. We show that if $\Gamma$ is a finite graph which is the…
We give explicit formulae for a class of complex linear unitary characters of the congruence subgroups $\Gamma_0(N)$ which involve a variant of Rademacher's $\Psi$ function. We then prove that these characters cover all characters of…
To a finitely generated profinite group $G$, a formal Dirichlet series $P_G(s)=\sum_{n \in \mathbb N} {a_n(G)}/{n^s}$ is associated, where $a_n(G)=\sum_{|G:H|=n}\mu(H, G)$ and $\mu(H,G)$ denotes the M\"obius function of the lattice of open…
We prove that every finitely generated group $G$ discriminated by a locally quasi-convex torsion-free hyperbolic group $\Gamma$ is effectively coherent: that is, presentations for finitely generated subgroups can be computed from the…
A numerical semigroup is a cofinite subset of the non-negative integers that is closed under addition and contains 0. Each numerical semigroup $S$ with fixed smallest positive element $m$ corresponds to an integer point in a rational…
We study general properties of the dessins d'enfants associated with the Hecke congruence subgroups $\Gamma_0(N)$ of the modular group $\mathrm{PSL}_2(\mathbb{R})$. The definition of the $\Gamma_0(N)$ as the stabilisers of couples of…
The weakly relational domain of Octagons offers a decent compromise between precision and efficiency for numerical properties. Here, we are concerned with the construction of non-numerical relational domains. We provide a general…