• 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 Nevanlinna-Pick property of $H^2$.
  • We study the family $\Omega^1(-1^s)$ of rational 1--forms on the Riemann sphere, having exactly $-s \leq -2$ simple poles. Three equivalent $(2s-1)$--dimensional complex atlases on $\Omega^1(-1^s)$, using coefficients, zeros--poles and residues--poles of the 1--forms, are recognized. A rational 1--form is isochronous when all their residues are purely imaginary. We prove that the subfamily $\mathcal{RI}\Omega^1(-1^s)$ of isochronous 1--forms is a $(3s-1)$--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(G-e)$ is a union of disjoint near-perfect 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 well-known Serrin problem on the mean-exit 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 one-dimensional data are commonly pre-processed to obtain spectrogram or mel-spectrogram 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 pre-processing 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 mel-spectrogram coefficients by applying adaptive filters and subsequent time-averaging 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 time-averaging perform better than the canonical Fourier-transform-based mel-spectrogram coefficients. Alternative adaptive approaches with center frequencies or time-averaging 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 single-server failures, increasing the relevance of fault-tolerance. Atomic broadcast enables fault-tolerant 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 redundancy-free overlay network. When failures do occur, it automatically recovers by switching to a resilient overlay network. In our performance evaluation of non-failure scenarios, AllConcur+ achieves comparable throughput to AllGather -- a non-fault-tolerant 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 redundancy-free distributed agreement during intervals with no failures improves performance significantly.
  • Jim Propp recently introduced a variant of chip-firing 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 set-up in terms of root systems: labeled chip-firing can be seen as a root-firing 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 root-firing process for an arbitrary root system. Actually, this central root-firing process is the subject of a sequel to this paper. In the present paper, we instead study the interval root-firing processes determined by $\lambda \to \lambda + \alpha$ for $\alpha\in \Phi^{+}$ whenever $\langle\lambda,\alpha^\vee\rangle \in [-k-1,k-1]$ or $\langle\lambda,\alpha^\vee\rangle \in [-k,k-1]$, for any $k \geq 0$. We prove that these interval-firing 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 interval-firing processes across all values of $k$ so that the number of weights with given stabilization is a polynomial in $k$. We conjecture that these Ehrhart-like polynomials have nonnegative integer coefficients.
  • A number of simplified models, based on perturbation theory, have been proposed for the fiber-optical channel and have been extensively used in the literature. Although these models are mainly developed for the low-power 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 continuous-time 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 discrete-time 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 per-sample capacity of the simplified discrete-time 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 zero-dispersion NLS channel. Our results illustrate that the capacity of these models departs from each other at high powers because these models yield different capacity pre-logs. 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 high-power regime.
  • In this paper, we compute the number of general points through which a general Brill-Noether 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 quasi-ordered rings was developped by the second author. In the present paper, we establish the notion of compatibility between valuations and quasi-orders on rings, leading to a definition of the rank of a quasi-ordered ring. Moreover, we prove a Baer-Krull Theorem for quasi-ordered rings: fixing a Manis valuation v on R, we characterize all v-compatible quasi-orders of R by lifting the quasi-orders 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 three-form. 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 D4-branes 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 W-algebra 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 high-dimensional 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 M-estimator 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 rate-optimal. 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 square-zero upper-triangular $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 Eilenberg-Moore 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 non-classical quantum states of a massive mirror including highly non-Gaussian states exhibiting sizeable negativity of the Wigner function. This is achieved by exploiting the non-linear light-matter 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 table-top 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 last-passage percolation model. We also obtain bounds on the two-point functions of several $\mathrm{Airy}$ processes.
  • Dynamic robust PCA refers to the dynamic (time-varying) extension of robust PCA (RPCA). It assumes that the true (uncorrupted) data lies in a low-dimensional 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 simple-ReProCS, 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 ReProCS-based 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 simple-ReProCS is online (after initialization), fast, and, has near-optimal memory complexity.
  • Brillouin laser oscillators offer powerful and flexible dynamics as the basis for mode-locked 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 silicon-based Brillouin lasers. The recent advent of hybrid photonic-phononic 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 silicon-based Brillouin laser enters an intriguing regime of dynamics, in which optical self-oscillation 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 Barge-Martin 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 semi-conjugacy 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 pseudo-Anosov map for the dense set of parameters for which $f_t$ is post-critically finite, so that $\{\chi_{t}\}$ is the completion of the unimodal generalized pseudo-Anosov family introduced in [17].
  • By using optimal mass transportation and a quantitative H\"older inequality, we provide estimates for the Borell-Brascamp-Lieb deficit on complete Riemannian manifolds. Accordingly, equality cases in Borell-Brascamp-Lieb inequalities (including Brunn-Minkowski and Pr\'ekopa-Leindler 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 non-flat frameworks. In particular, by using Caffarelli's regularity result for the Monge-Amp\`ere equation, we {give a new proof} of Dubuc's characterization of the equality in Borell-Brascamp-Lieb inequalities in the Euclidean setting. When the $n$-dimensional Riemannian manifold has Ricci curvature ${\rm Ric}(M)\geq (n-1)k$ for some $k\in \mathbb R$, it turns out that equality in the Borell-Brascamp-Lieb 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 Lott-Sturm-Villani-type distorted Brunn-Minkowski 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 set-covering problem. We explore several solution strategies for these models, test them on various types of graphs, and show that they are competitive with the state-of-the-art algorithm for zero forcing. Our proposed algorithms for connected zero forcing and for controlling the number of zero forcing timesteps are the first general-purpose computational methods for these problems, and are superior to brute force computation.
  • We present a higher well-ordering principle which is equivalent (over Simpson's set theoretic version of $\text{ATR}_0$) to the existence of transitive models of Kripke-Platek 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 well-ordering principle is less constructive than demanded in the conjecture.