Since the 1960s Mastermind has been studied for the combinatorial and information-theoretical interest the game has to offer. Many results have been discovered starting with Erdős and Rényi determining the optimal number of queries needed for two colours. For $k$ colours and $n$ positions, Chvátal found asymptotically optimal bounds when $k \le n^{1-\varepsilon }$. Following a sequence of gradual improvements for $k\geq n$ colours, the central open question is to resolve the gap between $\Omega (n)$ and $\mathcal{O}(n\log \log n)$ for $k=n$. In this paper, we resolve this gap by presenting the first algorithm for solving $k=n$ Mastermind with a linear number of queries. As a consequence, we are able to determine the query complexity of Mastermind for any parameters $k$ and $n$.

An element g in a group G is called reversible if g is conjugate to g−1 in G. An element g in G is strongly reversible if g is conjugate to g−1 by an involution in G. The group of affine transformations of $\mathbb D^n$ may be identified with the semi-direct product $\mathrm{GL}(n, \mathbb D) \ltimes \mathbb D^n $, where $\mathbb D:=\mathbb R, \mathbb C$ or $ \mathbb H $. This paper classifies reversible and strongly reversible elements in the affine group $\mathrm{GL}(n, \mathbb D) \ltimes \mathbb D^n $.

We study the possible singularities of an m-subharmonic function $\varphi $ along a complex submanifold V of a compact Kähler manifold, finding a maximal rate of growth for $\varphi $ which depends only on m and k, the codimension of V. When $k < m$, we show that $\varphi $ has at worst log poles along V, and that the strength of these poles is moreover constant along V. This can be thought of as an analogue of Siu’s theorem.

We investigate the translation lengths of group elements that arise in random walks on the isometry groups of Gromov hyperbolic spaces. In particular, without any moment condition, we prove that non-elementary random walks exhibit at least linear growth of translation lengths. As a corollary, almost every random walk on mapping class groups eventually becomes pseudo-Anosov, and almost every random walk on $\mathrm {Out}(F_n)$ eventually becomes fully irreducible. If the underlying measure further has finite first moment, then the growth rate of translation lengths is equal to the drift, the escape rate of the random walk.

We then apply our technique to investigate the random walks induced by the action of mapping class groups on Teichmüller spaces. In particular, we prove the spectral theorem under finite first moment condition, generalizing a result of Dahmani and Horbez.

In this paper, we express the reduction types of Picard curves in terms of tropical invariants associated with binary quintics. We also give a general framework for tropical invariants associated with group actions on arbitrary varieties. The problem of finding tropical invariants for binary forms fits in this general framework by mapping the space of binary forms to symmetrized versions of the Deligne–Mumford compactification $\overline{M}_{0,n}$.

We investigate the geometry of codimension one foliations on smooth projective varieties defined over fields of positive characteristic with an eye toward applications to the structure of codimension one holomorphic foliations on projective manifolds.

We prove that for a homogeneous linear partial differential operator $\mathcal {A}$ of order $k \le 2$ and an integrable map $f$ taking values in the essential range of that operator, there exists a function $u$ of special bounded variation satisfying

\[ \mathcal{A} u(x)= f(x) \qquad \text{almost everywhere}. \]

$\mathbf {R}^N$

$0 \le m < N$

$m$

$(m+1)$

Let $H^{\infty}(\Omega,X)$ be the space of bounded analytic functions $f(z)=\sum_{n=0}^{\infty} x_{n}z^{n}$ from a proper simply connected domain Ω containing the unit disk $\mathbb{D}:=\{z\in \mathbb{C}:|z| \lt 1\}$ into a complex Banach space X with $\left\lVert f\right\rVert_{H^{\infty}(\Omega,X)} \leq 1$. Let $\phi=\{\phi_{n}(r)\}_{n=0}^{\infty}$ with $\phi_{0}(r)\leq 1$ such that $\sum_{n=0}^{\infty} \phi_{n}(r)$ converges locally uniformly with respect to $r \in [0,1)$. For $1\leq p,q \lt \infty$, we denote

\begin{equation*}R_{p,q,\phi}(f,\Omega,X)= \sup \left\{r \geq 0: \left\lVert x_{0}\right\rVert^p \phi_{0}(r) + \left(\sum_{n=1}^{\infty} \left\lVert x_{n}\right\rVert\phi_{n}(r)\right)^q \leq \phi_{0}(r)\right\}\end{equation*}

\begin{equation*}R_{p,q,\phi}(\Omega,X)=\inf \left\{R_{p,q,\phi}(f,\Omega,X): \left\lVert f\right\rVert_{H^{\infty}(\Omega,X)} \leq 1\right\}.\end{equation*}

$R_{p,q,\phi}(\Omega,X)$

$X=\mathcal{B}(\mathcal{H})$

$\mathcal{H}$

Given a graph $H$, let us denote by $f_\chi (H)$ and $f_\ell (H)$, respectively, the maximum chromatic number and the maximum list chromatic number of $H$-minor-free graphs. Hadwiger’s famous colouring conjecture from 1943 states that $f_\chi (K_t)=t-1$ for every $t \ge 2$. A closely related problem that has received significant attention in the past concerns $f_\ell (K_t)$, for which it is known that $2t-o(t) \le f_\ell (K_t) \le O(t (\!\log \log t)^6)$. Thus, $f_\ell (K_t)$ is bounded away from the conjectured value $t-1$ for $f_\chi (K_t)$ by at least a constant factor. The so-called $H$-Hadwiger’s conjecture, proposed by Seymour, asks to prove that $f_\chi (H)={\textrm{v}}(H)-1$ for a given graph $H$ (which would be implied by Hadwiger’s conjecture).

In this paper, we prove several new lower bounds on $f_\ell (H)$, thus exploring the limits of a list colouring extension of $H$-Hadwiger’s conjecture. Our main results are:

• For every $\varepsilon \gt 0$ and all sufficiently large graphs $H$ we have $f_\ell (H)\ge (1-\varepsilon )({\textrm{v}}(H)+\kappa (H))$, where $\kappa (H)$ denotes the vertex-connectivity of $H$.

• For every $\varepsilon \gt 0$ there exists $C=C(\varepsilon )\gt 0$ such that asymptotically almost every $n$-vertex graph $H$ with $\left \lceil C n\log n\right \rceil$ edges satisfies $f_\ell (H)\ge (2-\varepsilon )n$.

The first result generalizes recent results on complete and complete bipartite graphs and shows that the list chromatic number of $H$-minor-free graphs is separated from the desired value of $({\textrm{v}}(H)-1)$ by a constant factor for all large graphs $H$ of linear connectivity. The second result tells us that for almost all graphs $H$ with superlogarithmic average degree $f_\ell (H)$ is separated from $({\textrm{v}}(H)-1)$ by a constant factor arbitrarily close to $2$. Conceptually these results indicate that the graphs $H$ for which $f_\ell (H)$ is close to the conjectured value $({\textrm{v}}(H)-1)$ for $f_\chi (H)$ are typically rather sparse.

Let $\mathfrak{p}$ be a prime ideal in a commutative noetherian ring R and denote by $k(\mathfrak{p})$ the residue field of the local ring $R_\mathfrak{p}$. We prove that if an R-module M satisfies $\operatorname{Ext}_R^{n}(k(\mathfrak{p}),M)=0$ for some $n\geqslant\dim R$, then $\operatorname{Ext}_R^i(k(\mathfrak{p}),M)=0$ holds for all $i \geqslant n$. This improves a result of Christensen, Iyengar and Marley by lowering the bound on n. We also improve existing results on Tor-rigidity. This progress is driven by the existence of minimal semi-flat-cotorsion replacements in the derived category as recently proved by Nakamura and Thompson.

Given a graph G without loops, the pseudograph associahedron PG is a smooth polytope, so there is a projective smooth toric variety XG corresponding to PG. Taking the real locus of XG, we have the projective smooth real toric variety $X^{\mathbb{R}}_G$. The integral cohomology groups of $X^{\mathbb{R}}_G$ can be computed by studying the topology of certain posets of even subgraphs of G; such a poset is neither pure nor shellable in general. We completely characterize the graphs whose posets of even subgraphs are always shellable. It follows that we get a family of projective smooth real toric varieties whose integral cohomology groups are torsion-free or have only 2-torsion.

In this paper, we are concerned with certain invariants of modules, called reducing invariants, which have been recently introduced and studied by Araya–Celikbas and Araya–Takahashi. We raise the question whether the residue field of each commutative Noetherian local ring has finite reducing projective dimension and obtain an affirmative answer for the question for a large class of local rings. Furthermore, we construct new examples of modules of infinite projective dimension that have finite reducing projective dimension and study several fundamental properties of reducing dimensions, especially properties under local homomorphisms of local rings.

We will present the proof of existence and uniqueness of renormalized solutions to a broad family of strongly non-linear elliptic equations with lower order terms and data of low integrability. The leading part of the operator satisfies general growth conditions settling the problem in the framework of fully anisotropic and inhomogeneous Musielak–Orlicz spaces. The setting considered in this paper generalized known results in the variable exponents, anisotropic polynomial, double phase and classical Orlicz setting.

This paper is concerned with the relationship of $y$-smooth integers and de Bruijn's approximation $\Lambda (x,\,y)$. Under the Riemann hypothesis, Saias proved that the count of $y$-smooth integers up to $x$, $\Psi (x,\,y)$, is asymptotic to $\Lambda (x,\,y)$ when $y \ge (\log x)^{2+\varepsilon }$. We extend the range to $y \ge (\log x)^{3/2+\varepsilon }$ by introducing a correction factor that takes into account the contributions of zeta zeros and prime powers. We use this correction term to uncover a lower order term in the asymptotics of $\Psi (x,\,y)/\Lambda (x,\,y)$. The term relates to the error term in the prime number theorem, and implies that large positive (resp. negative) values of $\sum _{n \le y} \Lambda (n)-y$ lead to large positive (resp. negative) values of $\Psi (x,\,y)-\Lambda (x,\,y)$, and vice versa. Under the Linear Independence hypothesis, we show a Chebyshev's bias in $\Psi (x,\,y)-\Lambda (x,\,y)$.

Hyperelliptic mapping class groups are defined either as the centralizers of hyperelliptic involutions inside mapping class groups of oriented surfaces of finite type or as the inverse images of these centralizers by the natural epimorphisms between mapping class groups of surfaces with marked points. We study these groups in a systematic way. An application of this theory is a counterexample to the genus $2$ case of a conjecture by Putman and Wieland on virtual linear representations of mapping class groups. In the last section, we study profinite completions of hyperelliptic mapping class groups: we extend the congruence subgroup property to the general class of hyperelliptic mapping class groups introduced above and then determine the centralizers of multitwists and of open subgroups in their profinite completions.

In this paper, we derive new differential Harnack estimates of Li–Yau type for positive smooth solutions to a class of nonlinear parabolic equations in the form

\[ {\mathscr L}_\phi^{\mathsf a} [w]:= \left[ \frac{\partial}{\partial t} - \mathsf{a}(x,t) - \Delta_\phi \right] w (x,t) = \mathscr G(t, x, w(x,t)), \quad t>0, \]

$({\mathsf k},\, m)$

Let $\pi$ be a discrete group, and let $G$ be a compact-connected Lie group. Then, there is a map $\Theta \colon \mathrm {Hom}(\pi,G)_0\to \mathrm {map}_*(B\pi,BG)_0$ between the null components of the spaces of homomorphisms and based maps, which sends a homomorphism to the induced map between classifying spaces. Atiyah and Bott studied this map for $\pi$ a surface group, and showed that it is surjective in rational cohomology. In this paper, we prove that the map $\Theta$ is surjective in rational cohomology for $\pi =\mathbb {Z}^m$ and the classical group $G$ except for $SO(2n)$, and that it is not surjective for $\pi =\mathbb {Z}^m$ with $m\ge 3$ and $G=SO(2n)$ with $n\ge 4$. As an application, we consider the surjectivity of the map $\Theta$ in rational cohomology for $\pi$ a finitely generated nilpotent group. We also consider the dimension of the cokernel of the map $\Theta$ in rational homotopy groups for $\pi =\mathbb {Z}^m$ and the classical groups $G$ except for $SO(2n)$.

Let $G$ be a compact Abelian group and $E$ a subset of the group $\widehat {G}$ of continuous characters of $G$. We study Arens regularity-related properties of the ideals $L_E^1(G)$ of $L^1(G)$ that are made of functions whose Fourier transform is supported on $E\subseteq \widehat {G}$. Arens regularity of $L_E^1(G)$, the centre of $L_E^1(G)^{\ast \ast }$ and the size of $L_E^1(G)^\ast /\mathcal {WAP}(L_E^1(G))$ are studied. We establish general conditions for the regularity of $L_E^1(G)$ and deduce from them that $L_E^1(G)$ is not strongly Arens irregular if $E$ is a small-2 set (i.e. $\mu \ast \mu \in L^1(G)$ for every $\mu \in M_E^1(G)$), which is not a $\Lambda (1)$-set, and it is extremely non-Arens regular if $E$ is not a small-2 set. We deduce also that $L_E^1(G)$ is not Arens regular when $\widehat {G}\setminus E$ is a Lust-Piquard set.

In this paper, we address two boundary cases of the classical Kazdan–Warner problem. More precisely, we consider the problem of prescribing the Gaussian and boundary geodesic curvature on a disk of $\mathbb {R}^2$, and the scalar and mean curvature on a ball in higher dimensions, via a conformal change of the metric. We deal with the case of negative interior curvature and positive boundary curvature. Using a Ljapunov–Schmidt procedure, we obtain new existence results when the prescribed functions are close to constants.