This paper presents the construction of a correct-energy stabilized finite element method for the incompressible Navier-Stokes equations. The framework of the methodology and the correct-energy concept have been developed in the convective--diffusive...
We present an empirical study in which model-based testing (MBT) was applied to a mobile system: the Android client of QuizUp, the largest mobile trivia game in the world. The study shows that traditional MBT approaches based on extended finite-state...
A fundamental question in rough path theory is whether the expected signature of a geometric rough path completely determines the law of signature. One sufficient condition is that the expected signature has infinite radius of convergence, which is s...
A Cayley-Sudoku table of a finite group G is a Cayley table for G subdivided into uniformly sized rectangular blocks, in such a way that each group element appears once in each block. They were introduced by J. Carmichael, K. Schloeman, and M. B. War...
The ElGamal cryptosystem is the most widely used public key cryptosystem. It uses the discrete logarithm problem as the cryptographic primitive. The MOR cryptosystem is a similar cryptosystem. It uses the discrete logarithm problem in the automorphis...
Accurate electromagnetic (EM) feature extraction, including element characterization, eigenmodes, and field distributions, is essential for superconducting quantum circuit design. To streamline this process, we present a workflow built around Palace,...
3D finite element solver for computational electromagnetics (⭐ 466)
Martin Kneser proved the following addition theorem for every abelian group $G$. If $A,B \subseteq G$ are finite and nonempty, then $|A+B| \ge |A+K| + |B+K| - |K|$ where $K = \{g \in G \mid g+A+B = A+B \}$. Here we give a short proof of this based on...
Recent Pulsar Timing Array datasets provide compelling evidence for a nano-Hertz gravitational-wave background, but robust detection requires characterizing statistical fluctuations of the Hellings-Downs (HD) correlation expected from a finite popula...
We classify the thick subcategories of an algebraic triangulated standard category with finitely many indecomposable objects....
Let $F(G)$ and $b(G)$ respectively denote the Fitting subgroup and the largest degree of an irreducible complex character of a finite group $G$. A well-known conjecture of D. Gluck claims that if $G$ is solvable then $|G:F(G)|\leq b(G)^{2}$. We confi...
The comma sequence (1, 12, 35, 94, ...) is the lexicographically earliest sequence such that the difference of consecutive terms equals the concatenation of the digits on either side of the comma separating them. The behavior of a "generalized comma...
We prove a multiplication theorem for quantum cluster algebras of acyclic quivers. The theorem generalizes the multiplication formula for quantum cluster variables in \cite{fanqin}. We apply the formula to construct some $\mathbb{ZP}$-bases in quantu...
Recently, Gheibi, Jorgensen, and Takahashi introduced a new homological invariant called quasi-projective dimension, which is a generalization of projective dimension. They proved that the depth formula holds for two finitely gene\-rated Tor-independ...
We derive bounds on Wilson coefficients in gravitational effective field theories using fully crossing symmetric dispersion relations. These sum rules naturally isolate finite subsets of low-energy couplings without relying on the forward limit or sp...
Let $P$ be a $k$-ary predicate over a finite alphabet. Consider a random CSP$(P)$ instance $I$ over $n$ variables with $m$ constraints. When $m \gg n$ the instance $I$ will be unsatisfiable with high probability, and we want to find a refutation - i....
We investigate exact semidefinite programming (SDP) relaxations for the problem of minimizing a nonconvex quadratic objective function over a feasible region defined by both finitely and infinitely many nonconvex quadratic inequality constraints (sem...
Building on recent work by Thomassen, we show that Nash-Williams' orientation theorem, that every finite $2k$-edge-connected multigraph has a $k$-arc-connected orientation, also holds for all infinite multigraphs....
We apply parallel approaches in the study of continuous spectra to adiabatic stellar models. We seek continuum eigenmodes for the LAWE formulated as both finite difference and linear differential equations. In particular, we apply methods of Jacobi m...
We investigate the low-energy behavior of the resolvent of Schrodinger operators with finitely many point interactions in three dimensions. We also discuss the occurrence and the multiplicity of zero energy obstructions....
Let $G$ be a finite group and $\text{cd}(G)$ denote the character degree set for $G$. The prime graph $Δ(G)$ is a simple graph whose vertex set consists of prime divisors of elements in $\text{cd}(G)$, denoted $ρ(G)$. Two primes $p,q\in ρ(G)$ are...
In probability theory, a normalizing constant or normalizing factor is used to reduce any nonnegative function whose integral is finite to a probability
The classical Multiplicative Ergodic Theorem (MET) of Oseledets is generalized here to cocycles taking values in a semi-finite von Neumann algebra. This allows for a continuous Lyapunov distribution....
Stochastic encounter-mating (SEM) models describe monogamous permanent pair formation in finite zoological populations of multitype females and males. In this article, we study SEM with Poisson firing times. First, we prove that the model enjoys a fl...
This is the first of a three parts paper providing full details for our previous announcement in Prépublications Orsay 2007-16, arXiv:0711.3579. Here we prove the results stated in the title....
We study the mixed formulation of the abstract Hodge Laplacian on axisymmetric domains with general data through Fourer-finite-element-methods in weighted functions spaces. Closed Hilbert complexes and commuting projectors are used through a family o...
Given a variety $X$, and a normal crossings divisor $D\subset X$, we relate, in the case of abelian monodromy, the following two: 1. existence of a $G$-torsor with prescribed ramification, and 2. existence of essentially finite parabolic vector b...
For a class of affine algebraic groups $\mathcal C$ over a field, we define the notions of $\mathcal C$-fundamental gerbe of a fibered category, generalizing what we had done in arXiv:1204.1260 for finite group schemes. We give sufficient conditions...
Given a projective variety X over an algebraically closed field of characteristic zero, we show that finite parabolic bundles along a fixed simple normal crossings divisor D are in one to one correspondence with representations of the étale fundam...
Suppose given a Galois etale cover Y -> X of proper non-singular curves over an algebraically closed field k of prime characteristic p. Let H be its Galois group, and G any finite extension of H by a p-group P. We give necessary and sufficient cond...
Identification of the center of a data cloud is one of the basic problems in statistics. One popular choice for such a center is the median, and several versions of median in finite dimensional spaces have been studied in the literature. In particula...
We prove that an analogue of Jordan's theorem on finite subgroups of general linear groups holds for the groups of biregular automorphisms of algebraic surfaces. This gives a positive answer to a question of Vladimir L. Popov....
complex reflection group W ⊆ G L ( V ) {\displaystyle W\subseteq GL(V)} is a finite subgroup of G L ( V ) {\displaystyle GL(V)} that is generated by reflections
On finite metric graphs the set of all realizations of the Laplace operator in the edgewise defined $L^2$-spaces are studied. These are defined by coupling boundary conditions at the vertices most of which define non-self-adjoint operators. In [Husse...
We argue that the correlation between the modular Hamiltonians of two causal diamonds related by a finite time translation is equal to the uncertainty in the modular Hamiltonian of the diamond in their overlap. In a separate section we investigate th...
We show that the particle-number distribution of diamond modes, modes that are localized in a finite space-time region, are thermal for the Minkowski vacuum state of a massless scalar field, an analogue to the Unruh effect. The temperature of the dia...
We use the progenerator constructed in our previous paper to give a necessary condition for a simple module of a finite reductive group to be cuspidal, or more generally to obtain information on which Harish-Chandra series it can lie in. As a first a...
The celebrated 1975 Kuramoto model of $N$ identical oscillators with phase angle vector $\boldsymbol{\vartheta}=(\vartheta_1,\ldots,\vartheta_N)$ and all-to-all coupling reads \begin{equation} \label{*} \dot\vartheta_j\,=\tfrac{1}{N}\sum_{k=1}^N \sin...
This paper examines the value of a cancellable European option in a finite time horizon setting. The specifications of this generalized European option allow the seller to cancel the option at any point in time for a fixed penalty paid directly to th...
I wonder what it is. Several of the finite forms of be have special negative forms, containing the suffix -n’t, that can be used instead of adding the adverb not.