We propose a fully coupled numerical model to predict turbulent boundary layer (TBL) induced energy transmission behavior for a double-wall backed enclosure system in a finite element (FE) framework computed in cloud-based Python environment. Goody s...
We study the realisation of supersymmetric discrete flavour symmetry models to the thermal history of our universe. We focus on the evolution of the pseudo moduli field among the flavons by taking into account finite temperature corrections. We show...
Assume $X$ is a variety over $\mathbb{C}$, $A \subseteq \mathbb{C}$ is a finitely generated $\mathbb{Z}$-algebra and $X_A$ a model of $X$ (i.e. $X_A \times_A \mathbb{C} \cong X$). Assuming the weak ordinarity conjecture we show that there is a dense...
In this paper, for a field $k$ of characteristic zero and a finitely generated $k$-algebra $R$, we give a set of generators for the image ideals of irreducible nice and quasi-nice $R$-derivations on the polynomial ring $R[X,Y]$, where $R$ is a UFD....
Finite element modeling of charged species transport has enabled analysis, design, and optimization of a diverse array of electrochemical and electrokinetic devices. These systems are represented by the Poisson-Nernst-Planck equations coupled with th...
The sequent calculus is a formalism for proving validity of statements formulated in First-Order Logic. It is routinely used in computer science modules on mathematical logic. Formal proofs in the sequent calculus are finite trees obtained by success...
We prove that if two conformal embeddings between Riemann surfaces with finite topology are homotopic, then they are isotopic through conformal embeddings. Furthermore, we show that the space of all conformal embeddings in a given homotopy class defo...
to calculate standard error for a finite sample, and to determine statistical significance. When only a sample of data from a population is available,
We prove that the free splitting complex of a finite rank free group, also known as Hatcher's sphere complex, is hyperbolic....
A method of constructing specific polynomial representations $f(x)$ over the finite field $\mathbb{F}_p$ of the square roots function modulo a prime $p = 2^kn + 1$, $n$ odd, is presented. The formulas for the cases $k = 2$, $3$ and $4$ are given....
We investigate the problem of finding necessary and sufficient conditions for convergence in distribution towards a general finite linear combination of independent chi-squared random variables, within the framework of random objects living on a fixe...
The aim of this paper is to establish some new results on the absolute continuity and the convergence in total variation for a sequence of d-dimensional vectors whose components belong to a finite sum of Wiener chaoses. First we show that the probabi...
For a fixed countably infinite structure Γ with finite relational signature τ, we study the following computational problem: input are quantifier-free τ-formulas φ_0,φ_1,...,φ_n that define relations R_0,R_1,...,R_n over Γ. The question is whe...
This is Chapter 24 in the "AutoMathA" handbook. Finite automata have been used effectively in recent years to define infinite groups. The two main lines of research have as their most representative objects the class of automatic groups (including wo...
We make use of a finite support product of Jensen forcing to define a model in which there is a countable non-empty lightface $Π^1_2$ set of reals containing no ordinal-definable real....
Let F be a finite extension of Qp and G be GL(2,F). When V is the tensor product of three infinite dimensional, irreducible, admissible representations of G, the space of G-invariant linear forms has dimension 0 or 1. When a non-zero linear form ex...
We consider quenched critical percolation on a supercritical Galton--Watson tree with either finite variance or $α$-stable offspring tails for some $α\in (1,2)$. We show that the GHP scaling limit of a quenched critical percolation cluster on this...
Recently a generalization of shifts of finite type to the infinite alphabet case was proposed, in connection with the theory of ultragraph C*-algebras. In this work we characterize the class of continuous shift commuting maps between these spaces. In...
We study representations of lattices of PU(m,1) into PU(n,1). We show that if a representation is reductive and if m is at least 2, then there exists a finite energy harmonic equivariant map from complex hyperbolic m-space to complex hyperbolic n-s...
We study the static phase structure of the ISS-KKLT model for moduli stabilisation and uplifting to a zero cosmological constant. Since the supersymmetry breaking sector and the moduli sector are only gravitationally coupled, we expect negligible q...
DSL and compiler framework for automated finite-differences and stencil computation (⭐ 672)
We consider the logarithm of the characteristic polynomial of random permutation matrices, evaluated on a finite set of different points. The permutations are chosen with respect to the Ewens distribution on the symmetric group. We show that the beha...
We present two complementary models to study stationary nonlinear solutions in one-dimensional plasmonic slot waveguides made of a finite-thickness nonlinear dielectric core surrounded by metal regions. The considered nonlinearity is of focusing Kerr...
We describe the results of the two methods we developed to calculate the stationary nonlinear solutions in one-dimensional plasmonic slot waveguides made of a finite-thickness nonlinear dielectric core surrounded by metal regions. These two methods a...
Recently, two independent calculations have been presented of finite-mass ("self-force") effects on the orbit of a point mass around a Schwarzschild black hole. While both computations are based on the standard mode-sum method, they differ in sever...
I think most of us here have come to the realisation that there are too many books, and too little time to read them all. This raises what I consider a bigger problem: If I can only read a finite numb...
We propose to smooth out the calibration score, which measures how good a forecaster is, by combining nearby forecasts. While regular calibration can be guaranteed only by randomized forecasting procedures, we show that smooth calibration can be guar...
We survey the known group properties that a sequence of finite groups or group actions needs to satisfy to admit subsets of bounded cardinality producing expander Cayley or Schreier graphs. We prove that an infinite amenable group and solvable groups...
Let $\mathcal{O}_{25}$ be the vertex algebraic braided tensor category of finite-length modules for the Virasoro Lie algebra at central charge $25$ whose composition factors are the irreducible quotients of reducible Verma modules. We show that $\mat...
We apply the three-flavor (Polyakov-)Nambu-Jona-Lasinio model to generate baryons as quark-diquark bound states using many-body techniques at finite temperature. All the baryonic states belonging to the octet and decuplet flavor representations are g...
We give a short proof of an idempotent relation formula for counting periodic points of endomorphisms defined over finite fields. The original proof of this result, due to Walton, uses formal manipulation of arithmetic zeta functions, whereas we dedu...
We give the 3-dimensional Sklyanin algebras $S$ that are module-finite over their center $Z$ the structure of a Poisson $Z$-order (in the sense of Brown-Gordon). We show that the induced Poisson bracket on $Z$ is non-vanishing and is induced by an ex...
We look at nondeterministic finite automata augmented with multiple reversal-bounded counters where, during an accepting computation, the behavior of the counters is specified by some fixed pattern. These patterns can serve as a useful "bridge" to ot...
Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$, $M$ an arbitrary $R$-module and $X$ a finite $R$-module. We prove that the category of $\fa$-cominimax modules is a Melkersson subcategory of $R$-modules whenever $\dim R\leq 1$ and i...
The number of times that we can access a system to extract information via quantum metrology is always finite, and possibly small, and realistic amounts of prior knowledge tend to be moderate. Thus theoretical consistency demands a methodology that d...
We consider generalizations of Schuetzenberger's promotion operator on the set L of linear extensions of a finite poset of size n. This gives rise to a strongly connected graph on L. By assigning weights to the edges of the graph in two different way...
A quite general finite-size chain of fermions with $N$ internal degrees of freedom (flavors) and $O(N)$ symmetry is considered. In the case of the free boundary condition, we prove that the ground state in the invariant sector having exactly $m$ flav...
Rowmotion is a certain well-studied bijective operator on the distributive lattice $J(P)$ of order ideals of a finite poset $P$. We introduce the rowmotion Markov chain ${\bf M}_{J(P)}$ by assigning a probability $p_x$ to each $x\in P$ and using thes...
Stress Urinary Incontinence (SUI) or urine leakage from urethra occurs due to an increase in abdominal pressure resulting from stress like a cough or jumping height. SUI is more frequent among post-menopausal women. In the absence of bladder contract...
This study introduces the first 3D spectral-element method (SEM) simulation of ultrasonic wave propagation in a bottlenose dolphin (Tursiops truncatus) head. Unlike traditional finite-element methods (FEM), which struggle with high-frequency simulati...