The propagation of small-amplitude inhomogeneous plane waves in an isotropic homogeneous incompressible Mooney--Rivlin material is considered when the material is maintained in a state of finite static homogeneous deformation. Disturbances of complex...
Using the left merge and communication merge from ACP, we present an equational base (i.e., a ground-complete and $ω$-complete set of valid equations) for the fragment of CCS without recursion, restriction and relabelling. Our equational base is f...
We consider the only one known class of non-Kähler irreducible holomorphic symplectic manifolds, described in the works of D. Guan and the first author. Any such manifold $Q$ of dimension $2n-2$ is obtained as a finite degree $n^2$ cover of some non...
We study groups of bimeromorphic and biholomorphic automorphisms of projective hyperkähler manifolds. Using an action of these groups on some non-positively curved space, we deduce many of their properties, including finite presentation, strong form...
In this paper we study the polynomial version of Pillai's conjecture on the exponential Diophantine equation \begin{equation*} p^n - q^m = f. \end{equation*} We prove that for any non-constant polynomial $ f $ there are only finitely many vectors $...
A finite set of points in $\mathbb R^d$ is called almost-equidistant if among any three distinct points in the set, some two are at unit distance. We prove that an almost-equidistant set in $\mathbb R^d$ has cardinality at most $5d^{13/9}$....
Let us recall the well-known Shirshov's Height Theorem. "Let A be a finitely generated algebra of degree d. Then there exists a finite set Y which is the subset of A that A has and an integer h' = h(A) such that A has Shirshov's height h' over set Y....
Finite-amplitude Impulse Response simple climate model (⭐ 151)
:gem: Feel++: Finite Element Embedded Language and Library in C++ (⭐ 325)
Yann LeCun, Chief AI Scientist at Meta, says language is not the peak of intelligence, it is the easy part. Predicting the next word is simple because language is made of finite symbols. The...
Linear-time temporal logic on finite traces (LTLf) is rapidly becoming a de-facto standard to produce specifications in many application domains (e.g., planning, business process management, run-time monitoring, reactive synthesis). Several studies a...
Let $T$ be an orientation-preserving Lipschitz expanding map of the circle $\T$. A pre-image selector is a map $τ:\T\to\T$ with finitely many discontinuities, each of which is a jump discontinuity, and such that $τ(x)\in T^{-1}(x)$ for all $x\in\...
In a one-counter automaton (OCA), one can produce a letter from some finite alphabet, increment and decrement the counter by one, or compare it with constants up to some threshold. It is well-known that universality and language inclusion for OCAs ar...
We discuss actions of free groups on the circle with "ping-pong" dynamics; these are dynamics determined by a finite amount of combinatorial data, analogous to Schottky domains or Markov partitions. Using this, we show that the free group $F_n$ admit...
BOUT++ is a 3D nonlinear finite-difference plasma simulation code, capable of solving quite general systems of PDEs, but targeted particularly on studies of the edge region of tokamak plasmas. BOUT++ is publicly available, and has been adopted by a g...
A complete model of the dynamics of scrape-off layer filaments will be rather complex, including temperature evolution, three dimensional geometry and finite Larmor radius effects. However, the basic mechanism of $\boldsymbol{E}\times\boldsymbol{B}$...
In this paper we use the theory of $ε$-constants associated to tame finite group actions on arithmetic surfaces to define a Brauer group invariant $μ(\X,G,V)$ associated to certain symplectic motives of weight one. We then discuss the relationshi...
In this paper we consider the critical group of finite connected graphs which admit harmonic actions by the dihedral group $D_n$, extending earlier work by the author and Criel Merino. In particular, we show that the critical group of such a graph ca...
We classify graphs and, more generally, finite relational structures that are identified by C2, that is, two-variable first-order logic with counting. Using this classification, we show that it can be decided in almost linear time whether a structure...
We apply the theory of unimodular random rooted graphs to study the metric geometry of large, finite, bounded degree graphs whose diameter is proportional to their volume. We prove that for a positive proportion of the vertices of such a graph, there...
Fix $n=1,2,3,\dots$ or $n=ω$. We prove a dichotomy for Borel homomorphisms from the $n$-th Friedman-Stanley jump $=^{+n}$ to an equivalence relation $E$ which is classifiable by countable structures: if there is no reduction from $=^{+n}$ to $E$, th...
We review the uniform electron gas (UEG) at finite temperature and over a broad density range relevant for warm dense matter (WDM) applications. We provide an overview of different simulation techniques, focusing on recent developments in the dielect...
We propose a generalization of Ledet conjecture, which predicts the essential dimension of cyclic $p$-groups in characteristic $p$, for finite commutative unipotent group schemes. And we show some evidence and some consequences of this new conjecture...
Points: 2 | Comments: 0 | Author: finiteloop
For a group $G$, a {\it normalizer covering} of $G$ is a finite set of proper normalizers of some subgroups of $G$ whose union is $G$. We study $p$-groups ($p$ a prime) without a normalizer covering. As an application, we determine some non-nilpotent...
The objective of this paper is to explore the potential impact of the use of advanced high strength steel (AHSS) to form traditional cold-formed steel structural members. In this study, shell finite element models are constructed, and geometric and m...
We consider a stochastic volatility model where the moment generating function of the logarithmic price is finite only on part of the real line. Using a new Tauberian result obtained in [1] and [2], we show that the knowledge of the moment generating...
Suppose that all hyperbolic groups are residually finite. The following statements follow: In relatively hyperbolic groups with peripheral structures consisting of finitely generated nilpotent subgroups, quasiconvex subgroups are separable; Geometr...
Let $$1 \to H \to G \to Q \to 1$$ be an exact sequence where $H= π_1(S)$ is the fundamental group of a closed surface $S$ of genus greater than one, $G$ is hyperbolic and $Q$ is finitely generated free. The aim of this paper is to provide sufficient...
The fibre theorem \cite{schm2003} for the moment problem on closed semi-algebraic subsets of $\R^d$ is generalized to finitely generated real unital algebras. As an application two new theorems on the rational multidimensional moment problem are prov...
According to Yuval Noah Harari, large-scale human cooperation is driven by shared narratives that encode common beliefs and values. This study explores whether such narratives can similarly nudge LLM agents toward collaboration. We use a finitely rep...
We consider partitioned graphs, by which we mean finite strongly connected directed graphs with a partitioned edge set $ {\mathcal E} ={\mathcal E}^- \cup{\mathcal E}^+$. With additionally given a relation $\mathcal R$ between the edges in ${\mathcal...
We exhibit classes of groups in which the word problem is uniformly solvable but in which there is no algorithm that can compute finite presentations for finitely presentable subgroups. Direct products of hyperbolic groups, groups of integer matrices...
Until recently, First-Order Temporal Logic (FOTL) has been little understood. While it is well known that the full logic has no finite axiomatisation, a more detailed analysis of fragments of the logic was not previously available. However, a break...
It is widely accepted that the logic of quantum mechanics is based on orthomodular posets. However, such a logic is not dynamic in the sense that it does not incorporate time dimension. To fill this gap, we introduce certain tense operators on such a...
We construct examples of non-schematic algebraic spaces that become schemes after finite ground field extensions....
We consider translationally-invariant percolation models on $\mathbb{Z}^d$ satisfying the finite energy and the FKG properties. We provide explicit upper bounds on the probability of having two distinct clusters going from the endpoints of an edge to...
We investigate the tunneling effect of a Corbino disk in graphene in the presence of a variable magnetic flux $Φ_{i}$ created by a solenoid piercing the inner disk under the effect of a finite mass term in the disk region $ (R_1< r<R_2) $ and an ele...
We study matrix identities involving multiplication and unary operations such as transposition or Moore-Penrose inversion. We prove that in many cases such identities admit no finite basis....
This paper develops a systematic treatment of monotonicity-based pathwise dualities for Markov processes taking values in partially ordered sets. We show that every Markov process that takes values in a finite partially ordered set and whose generato...