The multi-player nonzero-sum Dynkin game in discrete time

We study the infinite horizon discrete time N-player nonzero-sum Dynkin game ( $N \ge 2$ ) with stopping times as strategies (or pure strategies). The payoff depends on the set of players that stop at the termination stage (where the termination stage is the minimal stage in which at least one player stops). We prove existence of a Nash equilibrium point for the game provided that, for each player $\pi _i$ and each nonempty subset $S$ of players that does not contain $\pi _i$ , the payoff if $S$ stops at a given time is at least the payoff if $S$ and $\pi _i$ stop at that time.     

Integer-valued polynomials over matrices and divided differences

Let $D$ be an integrally closed domain with quotient field $K$ and $n$ a positive integer. We give a characterization of the polynomials in $K[X]$ which are integer-valued over the set of matrices $M_n(D)$ in terms of their divided differences. A necessary and sufficient condition on $f\in K[X]$ to be integer-valued over $M_n(D)$ is that, for each $k$ less than $n$ , the $k$ th divided difference of $f$ is integral-valued on every subset of the roots of any monic polynomial over $D$ of degree $n$ . If in addition $D$ has zero Jacobson radical then it is sufficient to check the above conditions on subsets of the roots of monic irreducible polynomials of degree $n$ , that is, conjugate integral elements of degree $n$ over $D$ .     

Open Gromov–Witten invariants in dimension six

Let $L$ be a closed orientable Lagrangian submanifold of a closed symplectic six-manifold $(X , \omega )$ . We assume that the first homology group $H_1 (L ; A)$ with coefficients in a commutative ring $A$ injects into the group $H_1 (X ; A)$ and that $X$ contains no Maslov zero pseudo-holomorphic disc with boundary on $L$ . Then, we prove that for every generic choice of a tame almost-complex structure $J$ on $X$ , every relative homology class $d \in H_2 (X , L ; \mathbb{Z })$ and adequate number of incidence conditions in $L$ or $X$ , the weighted number of $J$ -holomorphic discs with boundary on $L$ , homologous to $d$ , and either irreducible or reducible disconnected, which satisfy the conditions, does not depend on the generic choice of $J$ , provided that at least one incidence condition lies in $L$ . These numbers thus define open Gromov–Witten invariants in dimension six, taking values in the ring $A$ .     

Logarithmic Mean Oscillation on the Polydisc,Multi-Parameter Paraproducts and Iterated Commutators

We introduce another notion of bounded logarithmic mean oscillation in the \(N\) -torus and give an equivalent definition in terms of boundedness of multi-parameter paraproducts from the dyadic little \(\mathrm {BMO}\) , \(\mathrm {bmo}^d(\mathbb {T}^N)\) to the dyadic product \(\mathrm {BMO}\) space, \(\mathrm {BMO}^d(\mathbb {T}^N)\) . We also obtain a sufficient condition for the boundedness of the iterated commutators from the subspace of \(\mathrm {bmo}(\mathbb {R}^N)\) consisting of functions with support in \([0,1]^N\) to \(\mathrm {BMO}(\mathbb {R}^N)\) .     

Almost Split Sequences and Approximations

Let $\mathcal A$ be an exact category, that is, an extension-closed full subcategory of an abelian category. First, we give new characterizations of an almost split sequence in $\mathcal{A}$ , which yields some necessary and sufficient conditions for $\mathcal A$ to have almost split sequences. Then, we study when an almost split sequence in $\mathcal A$ induces an almost split sequence in an exact subcategory $\mathcal C$ of $\mathcal A$ . In case $\mathcal A$ has almost split sequences and $\mathcal C$ is Ext-finite and Krull–Schmidt, we obtain a necessary and sufficient condition for $\mathcal C$ to have almost split sequences. Finally, we show some applications of these results.     

On some primary subgroups and the structure of finite groups

Suppose that $G$ is a finite group and $H$ is a subgroup of $G$ . $H$ is said to be an $s$ -quasinormally embedded in $G$ if for each prime $p$ dividing the order of $H$ , a Sylow $p$ -subgroup of $H$ is also a Sylow $p$ -subgroup of some $S$ -quasinormal subgroup of $G$ ; $H$ is said to be $c$ -normal in $G$ if $G$ has a normal subgroup $T$ such that $G=HT$ and $H\cap T\le H_{G}$ , where $H_{G}$ is the normal core of $H$ in $G$ . We fix in every non-cyclic Sylow subgroup $P$ of $G$ some subgroup $D$ satisfying $1<|D|<|P|$ and study the structure of $G$ under the assumption that every subgroup $H$ of $P$ with $|H|=|D|$ is either $s$ -quasinormally embedded or $c$ -normal in $G$ . Some recent results are generalized and unified.     

A tight bound for frameproof codes viewed in terms of separating hash families

Frameproof codes have been introduced for use in digital fingerprinting that prevent a coalition of \(w\) or fewer legitimate users from constructing a fingerprint of another user not in the coalition. It turns out that \(w\) -frameproof codes are equivalent to separating hash families of type \(\{1,w\}\) . In this paper we prove a tight bound for frameproof codes in terms of separating hash families.     

On monoids, 2-firs,and semifirs

Several authors have studied the question of when the monoid ring \(DM\) of a monoid \(M\) over a ring \(D\) is a right and/or left fir (free ideal ring), a semifir, or a \(2\) -fir (definitions recalled in §1). It is known that for \(M\) nontrivial, a necessary condition for any of these properties to hold is that \(D\) be a division ring. Under that assumption, necessary and sufficient conditions on \(M\) are known for \(DM\) to be a right or left fir, and various conditions on \(M\) have been proved necessary or sufficient for \(DM\) to be a \(2\) -fir or semifir. A sufficient condition for \(DM\) to be a semifir is that \(M\) be a direct limit of monoids which are free products of free monoids and free groups. Warren Dicks has conjectured that this is also necessary. However F. Cedó has given an example of a monoid \(M\) which is not such a direct limit, but satisfies all the known necessary conditions for \(DM\) to be a semifir. It is an open question whether for this \(M,\) the rings \(DM\) are semifirs. We note here some reformulations of the known necessary conditions for a monoid ring \(DM\) to be a \(2\) -fir or a semifir, motivate Cedó’s construction and a variant thereof, and recover Cedó’s results for both constructions. Any homomorphism from a monoid \(M\) into \(\mathbb {Z}\) induces a \(\mathbb {Z}\) -grading on \(DM,\) and we show that for the two monoids just mentioned, the rings \(DM\) are “homogeneous semifirs” with respect to all such nontrivial \(\mathbb {Z}\) -gradings; i.e., have (roughly) the property that every finitely generated homogeneous one-sided ideal is free of unique rank. If \(M\) is a monoid such that \(DM\) is an \(n\) -fir, and \(N\) a “well-behaved” submonoid of \(M,\) we prove some properties of the ring \(DN.\) Using these, we show that for \(M\) a monoid such that \(DM\) is a \(2\) -fir, mutual commutativity is an equivalence relation on nonidentity elements of \(M,\) and each equivalence class, together with the identity element, is a directed union of infinite cyclic groups or of infinite cyclic monoids. Several open questions are noted.     

Subgame perfect equilibria in stopping games

Stopping games (without simultaneous stopping) are multi-player sequential games in which at every stage one of the players is chosen according to a stochastic process, and that player decides whether to continue the interaction or to stop it, whereby the terminal payoff vector is obtained by another stochastic process. We prove that if the payoff process is integrable, a $\delta $ -approximate subgame perfect ${\epsilon }$ -equilibrium exists for every $\delta ,\epsilon >0$ ; that is, there exists a strategy profile that is an ${\epsilon }$ -equilibrium in all subgames, except possibly in a set of subgames that occurs with probability at most $\delta $ (even after deviation by some of the players).     

Closed Range Composition Operators on Besov Type Spaces

Let $\varphi $ be a holomorphic self-map of the unit disk $\mathbb D $ . Necessary and sufficient conditions for a closed range composition operator $C_\varphi $ on Besov spaces $B_p$ and more generally on Besov type spaces $B_{p, \alpha }$ are given. An important ingredient is a reverse type Carleson condition due to Luecking.     

On adding a variable to a Frobenius manifold and generalizations

Let $\pi :V\rightarrow M$ be a (real or holomorphic) vector bundle whose base has an almost Frobenius structure $(\circ _{M},e_{M},g_{M})$ and typical fiber has the structure of a Frobenius algebra $(\circ _{V},e_{V},g_{V})$ . Using a connection $D$ on the bundle $\pi : V{\,\rightarrow \,}M$ and a morphism $\alpha :V\rightarrow TM$ , we construct an almost Frobenius structure $(\circ , e_{V},g)$ on the manifold $V$ and we study when it is Frobenius. In particular, we describe all (real) positive definite Frobenius structures on $V$ obtained in this way, when $M$ is a semisimple Frobenius manifold with non-vanishing rotation coefficients. In the holomorphic setting, we add a real structure $k_{M}$ on $M$ and a real structure $k_{V}$ on the bundle $\pi : V \rightarrow M$ . Using $k_{M}$ , $k_{V}$ and $D$ we define a real structure $k$ on the manifold $V$ . We study when $k$ , together with an almost Frobenius structure $(\circ , e_{V}, g) $ , satisfies the tt*- equations. Along the way, we prove various properties of adding variables to a Frobenius manifold, in connection with Legendre transformations and $tt^{*}$ -geometry.     

Approximate Hermitian–Einstein connections on principal bundles over a compact Riemann surface

Let $X$ be a compact connected Riemann surface and $G$ a connected reductive complex affine algebraic group. Given a holomorphic principal $G$ -bundle $E_G$ over $X$ , we construct a $C^\infty $ Hermitian structure on $E_G$ together with a $1$ -parameter family of $C^\infty $ automorphisms $\{F_t\}_{t\in \mathbb R }$ of the principal $G$ -bundle $E_G$ with the following property: Let $\nabla ^t$ be the connection on $E_G$ corresponding to the Hermitian structure and the new holomorphic structure on $E_G$ constructed using $F_t$ from the original holomorphic structure. As $t\rightarrow -\infty $ , the connection $\nabla ^t$ converges in $C^\infty $ Fréchet topology to the connection on $E_G$ given by the Hermitian–Einstein connection on the polystable principal bundle associated to $E_G$ . In particular, as $t\rightarrow -\infty $ , the curvature of $\nabla ^t$ converges in $C^\infty $ Fréchet topology to the curvature of the connection on $E_G$ given by the Hermitian–Einstein connection on the polystable principal bundle associated to $E_G$ . The family $\{F_t\}_{t\in \mathbb R }$ is constructed by generalizing the method of [6]. Given a holomorphic vector bundle $E$ on $X$ , in [6] a $1$ -parameter family of $C^\infty $ automorphisms of $E$ is constructed such that as $t\rightarrow -\infty $ , the curvature converges, in $C^0$ topology, to the curvature of the Hermitian–Einstein connection of the associated graded bundle.     

Completely continuous and weakly completely continuous abstract Segal algebras

Let $\mathcal{A}$ be a Banach algebra. It is obtained a necessary and sufficient condition for the complete continuity and also weak complete continuity of symmetric abstract Segal algebras with respect to $\mathcal{A}$ , under the condition of the existence of an approximate identity for $\mathcal{B}$ , bounded in $\mathcal{A}$ . In addition, a necessary condition for the weak complete continuity of $\mathcal{A}$ is given. Moreover, the applications of these results about some group algebras on locally compact groups are obtained.     

Finite groups all of whose second maximal subgroups are {\mathcal{H }}_p-groups

Let $G$ be a finite group. A subgroup $H$ of $G$ is called an $\mathcal{H }$ -subgroup of $G$ if $N_G(H)\cap H^g\le H$ for all $g\in G$ . A group $G$ is said to be an ${\mathcal{H }}_p$ -group if every cyclic subgroup of $G$ of prime order or order 4 is an $\mathcal{H }$ -subgroup of $G$ . In this paper, the structure of a finite group all of whose second maximal subgroups are ${\mathcal{H }}_p$ -subgroups has been characterized.     

Structure of p-complements in groups with three p-regular class sizes

Let $G$ be a finite $p$ -solvable group for some prime $p$ and suppose that the set of $p$ -regular conjugacy class sizes is $\{1, m, mn\}$ with $(m, n)=1$ and $m$ coprime to $p$ . We show that $m=q^b$ for some prime $q$ and we describe the structure of the $p$ -complements of $G$ .     

On smooth extensions of vector-valued functions defined on closed subsets of Banach spaces

Let $X$ and $ Z$ be Banach spaces, $A$ a closed subset of $X$ and a mapping $f:A\rightarrow Z$ . We give necessary and sufficient conditions to obtain a $C^1$ smooth mapping $F:X \rightarrow Z$ such that $F_{\mid _A}=f$ , when either (i) $X$ and $Z$ are Hilbert spaces and $X$ is separable, or (ii) $X^*$ is separable and $Z$ is an absolute Lipschitz retract, or (iii) $X=L_2$ and $Z=L_p$ with $1<p<2$ , or (iv) $X=L_p$ and $Z=L_2$ with $2<p<\infty $ , where $L_p$ is any separable Banach space $L_p(S,\Sigma ,\mu )$ with $(S,\Sigma ,\mu )$ a $\sigma $ -finite measure space.     

Some totally geodesic submanifolds of the nonlinear Grassmannian of a compact symmetric space

Let \(M\) and \(N\) be two connected smooth manifolds, where \(M\) is compact and oriented and \(N\) is Riemannian. Let \(\mathcal {E}\) be the Fréchet manifold of all embeddings of \(M\) in \(N\) , endowed with the canonical weak Riemannian metric. Let \(\sim \) be the equivalence relation on \(\mathcal {E}\) defined by \(f\sim g\) if and only if \(f=g\circ \phi \) for some orientation preserving diffeomorphism \(\phi \) of \(M\) . The Fréchet manifold \(\mathcal {S}= \mathcal {E}/_{\sim }\) of equivalence classes, which may be thought of as the set of submanifolds of \(N\) diffeomorphic to \(M\) and is called the nonlinear Grassmannian (or Chow manifold) of \(N\) of type \(M\) , inherits from \( \mathcal {E}\) a weak Riemannian structure. We consider the following particular case: \(N\) is a compact irreducible symmetric space and \(M\) is a reflective submanifold of \(N\) (that is, a connected component of the set of fixed points of an involutive isometry of \( N\) ). Let \(\mathcal {C}\) be the set of submanifolds of \(N\) which are congruent to \(M\) . We prove that the natural inclusion of \(\mathcal {C}\) in \(\mathcal {S}\) is totally geodesic.     

Optimal Reconstruction Might be Hard

Given as input a point set $\mathcal S $ that samples a shape $\mathcal A $ , the condition required for inferring Betti numbers of $\mathcal A $ from $\mathcal S $ in polynomial time is much weaker than the conditions required by any known polynomial time algorithm for producing a topologically correct approximation of $\mathcal A $ from $\mathcal S $ . Under the former condition which we call the weak precondition, we investigate the question whether a polynomial time algorithm for reconstruction exists. As a first step, we provide an algorithm which outputs an approximation of the shape with the correct Betti numbers under a slightly stronger condition than the weak precondition. Unfortunately, even though our algorithm terminates, its time complexity is unbounded. We then identify at the heart of our algorithm a test which requires answering the following question: given 2 two-dimensional simplicial complexes $L \subset K$ , does there exist a simplicial complex containing $L$ and contained in $K$ which realizes the persistent homology of $L$ into $K$ ? We call this problem the homological simplification of the pair $(K,L)$ and prove that this problem is NP-complete, using a reduction from 3SAT.