
We study the ideal membership problem in $H^\infty$ on the unit disc. Thus,
given functions $f,f_1,\ldots,f_n$ in $H^\infty$, we seek sufficient conditions
on the size of $f$ in order for $f$ to belong to the ideal of $H^\infty$
generated by $f_1,\ldots,f_n$. We provide a different proof of a theorem of
Treil, which gives the sharpest known sufficient condition. To this end, we
solve a closely related problem in the Hilbert space $H^2$, which is equivalent
to the ideal membership problem by the NevanlinnaPick property of $H^2$.

We study the family $\Omega^1(1^s)$ of rational 1forms on the Riemann
sphere, having exactly $s \leq 2$ simple poles. Three equivalent
$(2s1)$dimensional complex atlases on $\Omega^1(1^s)$, using coefficients,
zerospoles and residuespoles of the 1forms, are recognized. A rational
1form is isochronous when all their residues are purely imaginary. We prove
that the subfamily $\mathcal{RI}\Omega^1(1^s)$ of isochronous 1forms is a
$(3s1)$dimensional real analytic submanifold in the complex manifold
$\Omega^1(1^s)$. The complex Lie group $PSL(2,\mathbb{C})$ acts
holomorphically on $\Omega^1(1^s)$. For $s \geq 3$, the
$PSL(2,\mathbb{C})$action is proper on $\Omega^1(1^s)$ and
$\mathcal{RI}\Omega^1(1^s)$. Therefore, the quotients
$\Omega^1(1^s)/PSL(2,\mathbb{C})$ and
$\mathcal{RI}\Omega^1(1^s)/PSL(2,\mathbb{C})$ admit a stratification by orbit
types. Using an explicit set of $PSL(2,\mathbb{C})$invariant functions, we
give realizations for the quotients $\Omega^1(1^s)/PSL(2,\mathbb{C})$ and
$\mathcal{RI}\Omega^1(1^s)/PSL(2,\mathbb{C})$.

We consider Hamiltonian Floer cohomology groups associated to a Lefschetz
fibration, and the structure of operations on them. As an application, we will
(under an important additional assumption) equip those groups with connections,
which differentiate with respect to the Novikov variable.

Appearing in different format, Gupta\,(1967), Goldberg\,(1973),
Andersen\,(1977), and Seymour\,(1979) conjectured that if $G$ is an
edge$k$critical graph with $k \ge \Delta +1$, then $V(G)$ is odd and, for
every edge $e$, $E(Ge)$ is a union of disjoint nearperfect matchings, where
$\Delta$ denotes the maximum degree of $G$. Tashkinov tree method shows that
critical graphs contain a subgraph with two important properties named closed
and elementary. Recently, efforts have been made in extending graphs beyond
Tashkinov trees. However, these results can only keep one of the two essential
properties. In this paper, we developed techniques to extend Tashkinov trees to
larger subgraphs with both properties. Applying our result, we have improved
almost all known results towards Goldberg's conjecture. In particular, we
showed that Goldberg's conjecture holds for graph $G$ with $V(G) \le 39$ and
$\Delta(G) \le 39$ and Jacobsen's equivalent conjecture holds for $m \le 39$
while the previous known bound is $23$.

Let $\Omega$ be a compact Riemannian manifold with smooth boundary and let
$u_t$ be the solution of the heat equation on $\Omega$, having constant unit
initial data $u_0=1$ and Dirichlet boundary conditions ($u_t=0$ on the
boundary, at all times). If at every time $t$ the normal derivative of $u_t$ is
a constant function on the boundary, we say that $\Omega$ has the {\it constant
flow property}. This gives rise to an overdetermined parabolic problem, and our
aim is to classify the manifolds having this property. In fact, if the metric
is analytic, we prove that $\Omega$ has the constant flow property if and only
if it is an {\it isoparametric tube}, that is, it is a solid tube of constant
radius around a closed, smooth, minimal submanifold, with the additional
property that all equidistants to the boundary (parallel hypersurfaces) are
smooth and have constant mean curvature. Hence, the constant flow property can
be viewed as an analytic counterpart to the isoparametric property. Finally, we
relate the constant flow property with other overdetermined problems, in
particular, the wellknown Serrin problem on the meanexit time function, and
discuss a counterexample involving minimal free boundary immersions into
Euclidean balls.

When convolutional neural networks are used to tackle learning problems based
on music or, more generally, time series data, raw onedimensional data are
commonly preprocessed to obtain spectrogram or melspectrogram coefficients,
which are then used as input to the actual neural network. In this
contribution, we investigate, both theoretically and experimentally, the
influence of this preprocessing step on the network's performance and pose the
question, whether replacing it by applying adaptive or learned filters directly
to the raw data, can improve learning success. The theoretical results show
that approximately reproducing melspectrogram coefficients by applying
adaptive filters and subsequent timeaveraging is in principle possible. We
also conducted extensive experimental work on the task of singing voice
detection in music. The results of these experiments show that for
classification based on Convolutional Neural Networks the features obtained
from adaptive filter banks followed by timeaveraging perform better than the
canonical Fouriertransformbased melspectrogram coefficients. Alternative
adaptive approaches with center frequencies or timeaveraging lengths learned
from training data perform equally well.

Many distributed systems work on a common shared state; in such systems,
distributed agreement is necessary for consistency. With an increasing number
of servers, systems become more susceptible to singleserver failures,
increasing the relevance of faulttolerance. Atomic broadcast enables
faulttolerant distributed agreement, yet it is costly to solve. Most practical
algorithms entail linear work per broadcast message. AllConcur  a leaderless
approach  reduces the work, by connecting the servers via a sparse resilient
overlay network; yet, this resiliency entails redundancy, limiting the
reduction of work. In this paper, we propose AllConcur+, an extension of
AllConcur. AllConcur+ lifts this limitation: During intervals with no failures,
it achieves minimal work by using a redundancyfree overlay network. When
failures do occur, it automatically recovers by switching to a resilient
overlay network. In our performance evaluation of nonfailure scenarios,
AllConcur+ achieves comparable throughput to AllGather  a nonfaulttolerant
distributed agreement algorithm  and outperforms AllConcur, LCR and Libpaxos
both in terms of throughput and latency. Furthermore, our evaluation of failure
scenarios shows that AllConcur+'s expected performance is robust with regard to
occasional failures. Thus, for realistic use cases, leveraging redundancyfree
distributed agreement during intervals with no failures improves performance
significantly.

Jim Propp recently introduced a variant of chipfiring on a line where the
chips are given distinct integer labels. Hopkins, McConville, and Propp showed
that this process is confluent from some (but not all) initial configurations
of chips. We recast their setup in terms of root systems: labeled chipfiring
can be seen as a rootfiring process which allows the moves $\lambda \to
\lambda + \alpha$ for $\alpha\in \Phi^{+}$ whenever
$\langle\lambda,\alpha^\vee\rangle = 0$, where $\Phi^{+}$ is the set of
positive roots of a root system of Type A and $\lambda$ is a weight of this
root system. We are thus motivated to study the exact same rootfiring process
for an arbitrary root system. Actually, this central rootfiring process is the
subject of a sequel to this paper. In the present paper, we instead study the
interval rootfiring processes determined by $\lambda \to \lambda + \alpha$ for
$\alpha\in \Phi^{+}$ whenever $\langle\lambda,\alpha^\vee\rangle \in
[k1,k1]$ or $\langle\lambda,\alpha^\vee\rangle \in [k,k1]$, for any $k
\geq 0$. We prove that these intervalfiring processes are always confluent,
from any initial weight. We also show that there is a natural way to
consistently label the stable points of these intervalfiring processes across
all values of $k$ so that the number of weights with given stabilization is a
polynomial in $k$. We conjecture that these Ehrhartlike polynomials have
nonnegative integer coefficients.

A number of simplified models, based on perturbation theory, have been
proposed for the fiberoptical channel and have been extensively used in the
literature. Although these models are mainly developed for the lowpower
regime, they are used at moderate or high powers as well. It remains unclear to
what extent the capacity of these models is affected by the simplifying
assumptions under which they are derived. In this paper, we consider single
channel data transmission based on three continuoustime optical models i) a
regular perturbative channel, ii) a logarithmic perturbative channel, and iii)
the stochastic nonlinear Schr\"odinger (NLS) channel. We apply two simplifying
assumptions on these channels to obtain analytically tractable discretetime
models. Namely, we neglect the channel memory (fiber dispersion) and we use a
sampling receiver. These assumptions bring into question the physical relevance
of the models studied in the paper. Therefore, the results should be viewed as
a first step toward analyzing more realistic channels. We investigate the
persample capacity of the simplified discretetime models. Specifically, i) we
establish tight bounds on the capacity of the regular perturbative channel; ii)
we obtain the capacity of the logarithmic perturbative channel; and iii) we
present a novel upper bound on the capacity of the zerodispersion NLS channel.
Our results illustrate that the capacity of these models departs from each
other at high powers because these models yield different capacity prelogs.
Since all three models are based on the same physical channel, our results
highlight that care must be exercised in using simplified channel models in the
highpower regime.

In this paper, we compute the number of general points through which a
general BrillNoether curve in $\mathbb{P}^4$ passes. We also prove an
analogous theorem when some points are constrained to lie in a transverse
hyperplane. As explained in arXiv:1809.05980, these results play an essential
role in the first author's proof of the Maximal Rank Conjecture.

In his work of 1969, Merle E. Manis introduced valuations on commutative
rings. Recently, the class of totally quasiordered rings was developped by the
second author. In the present paper, we establish the notion of compatibility
between valuations and quasiorders on rings, leading to a definition of the
rank of a quasiordered ring. Moreover, we prove a BaerKrull Theorem for
quasiordered rings: fixing a Manis valuation v on R, we characterize all
vcompatible quasiorders of R by lifting the quasiorders from the residue
class ring to R itself.

We present a new BPS flow within minimal $\mathcal{N}=1$ supergravity in
seven dimensions describing a warped $\textrm{AdS}_{3}$ background supported by
a "dyonic" profile of the threeform. Furthermore, we discuss the holographic
interpretation of the above solution in terms of a defect $\textrm{SCFT}_{2}$
inside the 6d $(1,0)$ theory dual to the AdS in the asymptotic region. Finally
we provide the brane picture of the aforementioned defect CFT as D2 and
wrapped D4branes ending on a D6  NS5  D8 funnel in massive type IIA string
theory.

For a reductive Lie algebra g, its nilpotent element f and its faithful
finite dimensional representation, we construct a Lax operator L(z) with
coefficients in the quantum finite Walgebra W(g,f). We show that for the
classical linear Lie algebras gl_N, sl_N, so_N and sp_N, the operator L(z)
satisfies a generalized Yangian identity. The operator L(z) is a quantum finite
analogue of the operator of generalized Adler type which we recently introduced
in the classical affine setup. As in the latter case, L(z) is obtained as a
generalized quasideterminant.

Estimating a highdimensional sparse covariance matrix from a limited number
of samples is a fundamental problem in contemporary data analysis. Most
proposals to date, however, are not robust to outliers or heavy tails. Towards
bridging this gap, in this work we consider estimating a sparse shape matrix
from $n$ samples following a possibly heavy tailed elliptical distribution. We
propose estimators based on thresholding either Tyler's Mestimator or its
regularized variant. We derive bounds on the difference in spectral norm
between our estimators and the shape matrix in the joint limit as the dimension
$p$ and sample size $n$ tend to infinity with $p/n\to\gamma>0$. These bounds
are minimax rateoptimal. Results on simulated data support our theoretical
analysis.

We give a new simple characterization of the set of Kleshchev
multipartitions, and more generally of the set of Uglov multipartitions. These
combinatorial objects play an important role in various areas of representation
theory of quantum groups, Hecke algebras or finite reductive groups. As a
consequence, we obtain a proof of a generalization of a conjecture by Dipper,
James and Murphy and a generalization of the LLT algorithm for arbitrary level.

Let $k$ be an algebraically closed field and $A$ the polynomial algebra in
$r$ variables with coefficients in $k$. In case the characteristic of $k$ is
$2$, Carlsson conjectured that for any $DG$$A$module $M$ of dimension $N$ as
a free $A$module, if the homology of $M$ is nontrivial and finite dimensional
as a $k$vector space, then $2^r\leq N$. Here we state a stronger conjecture
about varieties of squarezero uppertriangular $N\times N$ matrices with
entries in $A$. Using stratifications of these varieties via Borel orbits, we
show that the stronger conjecture holds when $N < 8$ or $r < 3$ without any
restriction on the characteristic of $k$. As a consequence, we attain a new
proof for many of the known cases of Carlsson's conjecture and give new results
when $N > 4$ and $r = 2$.

We introduce two monads on the category of graphs and prove that their
EilenbergMoore categories are isomorphic to the category of perfect matchings
and the category of partial Steiner triple systems, respectively. As a simple
application of these results, we describe the product in the categories of
perfect matchings and partial Steiner triple systems.

We present a scheme to deterministically prepare nonclassical quantum states
of a massive mirror including highly nonGaussian states exhibiting sizeable
negativity of the Wigner function. This is achieved by exploiting the
nonlinear lightmatter interaction in an optomechanical cavity by driving the
system with optimally designed frequency patterns. Our scheme reveals to be
resilient against mechanical and optical damping, as well as mechanical thermal
noise and imperfections in the driving scheme. Our proposal thus opens a
promising route for tabletop experiments to explore and exploit macroscopic
quantum phenomena.

We consider the totally asymmetric simple exclusion process in a critical
scaling parametrized by $a\geq0$, which creates a shock in the particle density
of order $aT^{1/3},$ $T$ the observation time. When starting from step initial
data, we provide bounds on the limiting law which in particular imply that in
the double limit $\lim_{a \to \infty}\lim_{T \to \infty}$ one recovers the
product limit law and the degeneration of the correlation length observed at
shocks of order $1$. This result is shown to apply to a general lastpassage
percolation model. We also obtain bounds on the twopoint functions of several
$\mathrm{Airy}$ processes.

Dynamic robust PCA refers to the dynamic (timevarying) extension of robust
PCA (RPCA). It assumes that the true (uncorrupted) data lies in a
lowdimensional subspace that can change with time, albeit slowly. The goal is
to track this changing subspace over time in the presence of sparse outliers.
We develop and study a novel algorithm, that we call simpleReProCS, based on
the recently introduced Recursive Projected Compressive Sensing (ReProCS)
framework. Our work provides the first guarantee for dynamic RPCA that holds
under weakened versions of standard RPCA assumptions, slow subspace change and
a lower bound assumption on most outlier magnitudes. Our result is significant
because (i) it removes the strong assumptions needed by the two previous
complete guarantees for ReProCSbased algorithms; (ii) it shows that it is
possible to achieve significantly improved outlier tolerance, compared with all
existing RPCA or dynamic RPCA solutions by exploiting the above two simple
extra assumptions; and (iii) it proves that simpleReProCS is online (after
initialization), fast, and, has nearoptimal memory complexity.

Brillouin laser oscillators offer powerful and flexible dynamics as the basis
for modelocked lasers, microwave oscillators, and optical gyroscopes in a
variety of optical systems. However, Brillouin interactions are exceedingly
weak in conventional silicon photonic waveguides, stifling progress towards
siliconbased Brillouin lasers. The recent advent of hybrid photonicphononic
waveguides has revealed Brillouin interactions to be one of the strongest and
most tailorable nonlinearities in silicon. Here, we harness these engineered
nonlinearities to demonstrate Brillouin lasing in silicon. Moreover, we show
that this siliconbased Brillouin laser enters an intriguing regime of
dynamics, in which optical selfoscillation produces phonon linewidth
narrowing. Our results provide a platform to develop a range of applications
for monolithic integration within silicon photonic circuits.

Let $\{f_t\colon I\to I\}$ be a family of unimodal maps with topological
entropies $h(f_t)>\frac12\log 2$, and
${\widehat{f}}_t\colon{\widehat{I}}_t\to{\widehat{I}}_t$ be their natural
extensions, where ${\widehat{I}}_t=\varprojlim(I,f_t)$. Subject to some
regularity conditions, which are satisfied by tent maps and quadratic maps, we
give a complete description of the prime ends of the BargeMartin embeddings of
${\widehat{I}}_t$ into the sphere. We also construct a family $\{\chi_t\colon
S^2\to S^2\}$ of sphere homeomorphisms with the property that each $\chi_t$ is
a factor of ${\widehat{f}}_t$, by a semiconjugacy for which all fibers except
one contain at most three points, and for which the exceptional fiber carries
no topological entropy: that is, unimodal natural extensions are virtually
sphere homeomorphisms. In the case where $\{f_t\}$ is the tent family, we show
that $\chi_t$ is a generalized pseudoAnosov map for the dense set of
parameters for which $f_t$ is postcritically finite, so that $\{\chi_{t}\}$ is
the completion of the unimodal generalized pseudoAnosov family introduced in
[17].

By using optimal mass transportation and a quantitative H\"older inequality,
we provide estimates for the BorellBrascampLieb deficit on complete
Riemannian manifolds. Accordingly, equality cases in BorellBrascampLieb
inequalities (including BrunnMinkowski and Pr\'ekopaLeindler inequalities)
are characterized in terms of the optimal transport map between suitable
marginal probability measures. These results provide several qualitative
applications both in the flat and nonflat frameworks. In particular, by using
Caffarelli's regularity result for the MongeAmp\`ere equation, we {give a new
proof} of Dubuc's characterization of the equality in BorellBrascampLieb
inequalities in the Euclidean setting. When the $n$dimensional Riemannian
manifold has Ricci curvature ${\rm Ric}(M)\geq (n1)k$ for some $k\in \mathbb
R$, it turns out that equality in the BorellBrascampLieb inequality is
expected only when a particular region of the manifold between the marginal
supports has constant sectional curvature $k$. A precise characterization is
provided for the equality in the LottSturmVillanitype distorted
BrunnMinkowski inequality on Riemannian manifolds. Related results for (not
necessarily reversible) Finsler manifolds are also presented.

In this paper, we propose computational approaches for the zero forcing
problem, the connected zero forcing problem, and the problem of forcing a graph
within a specified number of timesteps. Our approaches are based on a
combination of integer programming models and combinatorial algorithms, and
include formulations for zero forcing as a dynamic process, and as a
setcovering problem. We explore several solution strategies for these models,
test them on various types of graphs, and show that they are competitive with
the stateoftheart algorithm for zero forcing. Our proposed algorithms for
connected zero forcing and for controlling the number of zero forcing timesteps
are the first generalpurpose computational methods for these problems, and are
superior to brute force computation.

We present a higher wellordering principle which is equivalent (over
Simpson's set theoretic version of $\text{ATR}_0$) to the existence of
transitive models of KripkePlatek set theory, and thus to
$\Pi^1_1$comprehension. This is a partial solution to a conjecture of
Montalb\'an and Rathjen: partial in the sense that our wellordering principle
is less constructive than demanded in the conjecture.