We prove that the Ramsey number $R(5,5)$ is less than or equal to~$46$. The proof uses a combination of linear programming and checking a large number of cases by computer. All of the computations were independently implemented by both authors, with consistent results.

We prove that if $(\mathcal{M},d)$ is an $n$-point metric space that embeds quasisymmetrically into a Hilbert space, then for every $\tau>0$ there is a random subset $\mathcal{Z}$ of $\mathcal{M}$ such that for any pair of points $x,y\in \mathcal{M}$ with $d(x,y)\ge \tau$, the probability that both $x\in \mathcal{Z}$and$d(y,\mathcal{Z})\ge \beta\tau/\sqrt{1+\log (|B(y,\kappa \beta \tau)|/|B(y,\beta \tau)|)}$is$\Omega(1)$, where$\kappa>1$ is a universal constant and $\beta>0$ depends only on the modulus of the quasisymmetric embedding. The proof relies on a refinement of the Arora--Rao--Vazirani rounding technique. Among the applications of this result is that the largest possible Euclidean distortion of an $n$-point subset of $\ell_1$ is $\Theta(\sqrt{\log n})$, and the integrality gap of the Goemans--Linial semidefinite program for the Sparsest Cut problem on inputs of size $n$ is $\Theta(\sqrt{\log n})$. Multiple further applications are given.

We revisit Euler's partition function recurrence, which asserts, for integers $n\geq 1,$ that $$ p(n)=p(n-1)+p(n-2)-p(n-5)-p(n-7)+\dots = \sum_{k\in \mathbb{Z}\setminus \{0\}} (-1)^{k+1} p(n-\omega(k)), $$ where $\omega(m):=(3m^2+m)/2$ is the $m$th pentagonal number. We prove that this classical result is the $\nu=0$ case of an infinite family of ``pentagonal number'' recurrences. For each $\nu\geq 0,$ we prove for positive $n$ that $$ p(n)=\frac{1}{g_{\nu}(n,0)}\left(\alpha_{\nu}\cdot \sigma_{2\nu-1}(n)+ \mathrm{Tr}_{2\nu}(n) +\sum_{k\in \mathbb{Z}\setminus \{0\}} (-1)^{k+1} g_{\nu}(n,k)\cdot p(n-\omega(k))\right), $$ where $\sigma_{2\nu-1}(n)$ is a divisor function, $\mathrm{Tr}_{2\nu}(n)$ is the $n$th weight $2\nu$ Hecke trace of values of special twisted quadratic Dirichlet series, and each $g_{\nu}(n,k)$ is a polynomial in $n$ and $k.$ The $\nu=6$ case can be viewed as a partition theoretic formula for Ramanujan's tau-function, as we have $$ \mathrm{Tr}_{12}(n)=-\frac{33108590592}{691}\cdot \tau(n). $$

Let $C$ be a smooth projective curve, and let $J$ be its Jacobian. We prove vanishing criteria for the Ceresa cycle $\kappa(C) \in \mathrm{CH}_1(J)\otimes \mathbb{Q}$in the Chow group of 1-cycles on$J$. Namely, $(A)$ If $\mathrm{H}_{\mathrm{prim}}^3(J)^{\mathrm{Aut}(C)} = 0$, then $\kappa(C)$ vanishes; $(B)$ If $\mathrm{H}^0(J, \Omega_J^3)^{\mathrm{Aut}(C)} = 0$ and the Hodge conjecture holds, then $\kappa(C)$ vanishes modulo algebraic equivalence. We then study the first interesting case where $(B)$ holds but $(A)$ does not, namely the case of Picard curves $C \colon y^3 = x^4 + ax^2 + bx + c$. Using work of Schoen on the Hodge conjecture, we show that the Ceresa cycle of a Picard curve is torsion in the Griffiths group. Moreover, we determine exactly when it is torsion in the Chow group. As a byproduct, we show that there are infinitely many plane quartic curves over $\mathbb{Q}$ with torsion Ceresa cycle (in fact, there is a one parameter family of such curves). Finally, we determine which automorphism group strata are contained in the vanishing locus of the universal Ceresa cycle over $\mathcal{M}_3$.

We compute the integrals of products of Hermite functions using the generating functions. The precise asymptotics of 4 Hermite functions are presented below. This estimate is relevant for the corresponding cubic nonlinear equation.

In 2003, Varadhan [V03] developed a robust method for proving quenched and averaged large deviations for random walks in a uniformly elliptic and i.i.d. environment (RWRE) on $\mathbb Z^d$. One fundamental question which remained open was to determine when the quenched and averaged large deviation rate functions agree, and when they do not. In this article we show that for RWRE in uniformly elliptic and i.i.d. environment in $d\geq 4$, the two rate functions agree on any compact set contained in the interior of their domain which does not contain the origin, provided that the disorder of the environment is sufficiently low. Our result provides a new formulation which encompasses a set of sufficient conditions under which these rate functions agree without assuming that the RWRE is ballistic (see [Y11]), satisfies a CLT or even a law of large numbers ([Zer02,Ber08]). Also, the equality of rate functions is not restricted to neighborhoods around given points, as long as the disorder of the environment is kept low. One of the novelties of our approach is the introduction of an auxiliary random walk in a deterministic environment which is itself ballistic (regardless of the actual RWRE behavior) and whose large deviation properties approximate those of the original RWRE in a robust manner, even if the original RWRE is not ballistic itself.

We show how Beckner's montonicity result on Hamming cube easily implies the monotonicity of a flow introduced by Janson in Hausdorff--Young inequality

We obtain a formula for the Turaev-Viro invariants of a link complement in terms of values of the colored Jones polynomial of the link. As an application we give the first examples for which the volume conjecture of Chen and the third named author\,\cite{Chen-Yang} is verified. Namely, we show that the asymptotics of the Turaev-Viro invariants of the Figure-eight knot and the Borromean rings complement determine the corresponding hyperbolic volumes. Our calculations also exhibit new phenomena of asymptotic behavior of values of the colored Jones polynomials that seem not to be predicted by neither the Kashaev-Murakami-Murakami volume conjecture and various of its generalizations nor by Zagier's quantum modularity conjecture. We conjecture that the asymptotics of the Turaev-Viro invariants of any link complement determine the simplicial volume of the link, and verify it for all knots with zero simplicial volume. Finally we observe that our simplicial volume conjecture is stable under connect sum and split unions of links.

We classify the real tight contact structures on solid tori up to equivariant contact isotopy and apply the results to the classification of real tight structures on $S^3$ and real lens spaces $L(p,\pm 1)$. We prove that there is a unique real tight $S^3$ and $\mathbb{R}P^3$. We show there is at most one real tight $L(p,\pm 1)$ with respect to one of its two possible real structures. With respect to the other we give lower and upper bounds for the count. To establish lower bounds we explicitly construct real tight manifolds through equivariant contact surgery, real open book decompositions and isolated real algebraic surface singularities. As a by-product we observe the existence of an invariant torus in an $L(p,p-1)$ which cannot be made convex equivariantly.

This paper deals with the large-scale behaviour of nonlinear minimum-cost flow problems on random graphs. In such problems, a random nonlinear cost functional is minimised among all flows (discrete vector-fields) with a prescribed net flux through each vertex. On a stationary random graph embedded in $\mathbb{R}^d$, our main result asserts that these problems converge, in the large-scale limit, to a continuous minimisation problem where an effective cost functional is minimised among all vector fields with prescribed divergence. Our main result is formulated using $\Gamma$-convergence and applies to multi-species problems. The proof employs the blow-up technique by Fonseca and Müller in a discrete setting. One of the main challenges overcome is the construction of the homogenised energy density on random graphs without a periodic structure.

We prove that, for each circle graph $H$, every graph with sufficiently large rank-width contains a vertex-minor isomorphic to $H$.

Circuit algebras, used in the study of finite-type knot invariants, are a symmetric analogue of Jones's planar algebras. They are very closely related to circuit operads, which are a variation of modular operads admitting an extra monoidal product. This paper gives a description of circuit algebras in terms categories of Brauer diagrams. An abstract nerve theorem for circuit operads -- and hence circuit algebras -- is proved using an iterated distributive law, and an existing nerve theorem for modular operads.

We prove using jet schemes that the zero loci of the moment maps for the quivers with one vertex and at least two loops have rational singularities. This implies that the spaces of representations of the fundamental group of a compact Riemann surface of genus at least two have rational singularities. This has consequences for the representation zeta function of the special linear group over the integers and over the p-adic integers.

We prove two new results on the K-polystability of Q-Fano varieties based on purely algebro-geometric arguments. The first one says that any K-semistable log Fano cone has a special degeneration to a uniquely determined K-polystable log Fano cone. As a corollary, we combine it with the differential-geometric results to complete the proof of Donaldson-Sun's Conjecture which says that the metric tangent cone of any close point appearing on a Gromov-Hausdorff limit of Kahler-Einstein Fano manifolds only depends on the algebraic structure of the singularity. The second result says that for any log Fano variety with a torus action, the K-polystability is equivalent to the equivariant K-polystability, that is, to check K-polystability, it is sufficient to check special test configurations which are equivariant under the torus action.

We show that several families of classical orthogonal polynomials on the real line are also orthogonal on the interior of an ellipse in the complex plane, subject to a weighted planar Lebesgue measure. In particular these include Gegenbauer polynomials $C_n^{(1+\alpha)}(z)$ for $\alpha>-1$ containing the Legendre polynomials $P_n(z)$, and the subset $P_n^{(\alpha+\frac12,\pm\frac12)}(z)$ of the Jacobi polynomials. These polynomials provide an orthonormal basis and the corresponding weighted Bergman space forms a complete metric space. This leads to a certain family of Selberg integrals in the complex plane. We recover the known orthogonality of Chebyshev polynomials of first up to fourth kind. The limit $\alpha\to\infty$ leads back to the known Hermite polynomials orthogonal in the entire complex plane. When the ellipse degenerates to a circle we obtain the weight function and monomials known from the determinantal point process of the ensemble of truncated unitary random matrices.

Using the renormalization method introduced in \cite{GJ}, we prove what we call the {\em local} Boltzmann-Gibbs principle for conservative, stationary interacting particle systems in dimension $d=1$. As applications of this result, we obtain various scaling limits of additive functionals of particle systems, like the occupation time of a given site or extensive additive fields of the dynamics. As a by-product of these results, we also construct a novel process, related to the stationary solution of the stochastic Burgers equation.

Consider vector valued harmonic maps of at most linear growth, defined on a complete non-compact Riemannian manifold with non-negative Ricci curvature. For the norm square of the pull-back of the target volume form by such maps, we report a strong maximum principle, and equalities among its supremum, its asymptotic average, and its large-time heat evolution.

We consider the problem of finding sum of squares (sos) expressions to establish the non-negativity of a symmetric polynomial over a discrete hypercube whose coordinates are indexed by the $k$-element subsets of $[n]$. For simplicity, we focus on the case $k=2$, but our results extend naturally to all values of $k \geq 2$. We develop a variant of the Gatermann-Parrilo symmetry-reduction method tailored to our setting that allows for several simplifications and a connection to flag algebras. We show that every symmetric polynomial that has a sos expression of a fixed degree also has a succinct sos expression whose size depends only on the degree and not on the number of variables. Our method bypasses much of the technical difficulties needed to apply the Gatermann-Parrilo method, and offers flexibility in obtaining succinct sos expressions that are combinatorially meaningful. As a byproduct of our results, we arrive at a natural representation-theoretic justification for the concept of flags as introduced by Razborov in his flag algebra calculus. Furthermore, this connection exposes a family of non-negative polynomials that cannot be certified with any fixed set of flags, answering a question of Razborov in the context of our finite setting.

A recent work of Harn and Fuyou presents the first multilevel (disjunctive) threshold secret sharing scheme based on the Chinese Remainder Theorem. In this work, we first show that the proposed method is not secure and also fails to work with a certain natural setting of the threshold values on compartments. We then propose a secure scheme that works for all threshold settings. In this scheme, we employ a refined version of Asmuth-Bloom secret sharing with a special and generic Asmuth-Bloom sequence called the {\it anchor sequence}. Based on this idea, we also propose the first multilevel conjunctive threshold secret sharing scheme based on the Chinese Remainder Theorem. Lastly, we discuss how the proposed schemes can be used for multilevel threshold function sharing by employing it in a threshold RSA cryptosystem as an example.

We compute explicitly Dirichlet generating functions enumerating finite-dimensional irreducible complex representations of various $p$-adic analytic and adelic profinite groups of type $\mathsf{A}_2$. This has consequences for the representation zeta functions of arithmetic groups $\Gamma \subset \mathbf{H}(k)$, where$k$is a number field and$\mathbf{H}$a$k$-form of $\mathsf{SL}_3$: assuming that $\Gamma$ possesses the strong Congruence Subgroup Property, we obtain precise, uniform estimates for the representation growth of $\Gamma$. Our results are based on explicit, uniform formulae for the representation zeta functions of the $p$-adic analytic groups $\mathsf{SL}_3(\mathfrak{o})$ and $\mathsf{SU}_3(\mathfrak{o})$, where $\mathfrak{o}$ is a compact discrete valuation ring of characteristic $0$. These formulae build on our classification of similarity classes of integral $\mathfrak{p}$-adic $3\times3$ matrices in $\mathfrak{gl}_3(\mathfrak{o})$ and $\mathfrak{gu}_3(\mathfrak{o})$, where $\mathfrak{o}$ is a compact discrete valuation ring of arbitrary characteristic. Organising the similarity classes by invariants which we call their shadows allows us to combine the Kirillov orbit method with Clifford theory to obtain explicit formulae for representation zeta functions. In a different direction we introduce and compute certain similarity class zeta functions. Our methods also yield formulae for representation zeta functions of various finite subquotients of groups of the form $\mathsf{SL}_3(\mathfrak{o})$, $\mathsf{SU}_3(\mathfrak{o})$, $\mathsf{GL}_3(\mathfrak{o})$, and $\mathsf{GU}_3(\mathfrak{o})$, arising from the respective congruence filtrations; these formulae are valid in case that the characteristic of $\mathfrak{o}$ is either $0$ or sufficiently large. Analysis of some of these formulae leads us to observe $p$-adic analogues of `Ennola duality'.