
Motivated by our previous work on hypergeometric functions and the parbelos
constant, we perform a deeper investigation on the interplay among generalized
complete elliptic integrals, FourierLegendre (FL) series expansions, and ${}_p
F_q$ series. We produce new hypergeometric transformations and closedform
evaluations for new series involving harmonic numbers, through the use of the
integration method outlined as follows: Letting $K$ denote the complete
elliptic integral of the first kind, for a suitable function $g$ we evaluate
integrals such as $$ \int_{0}^{1} K\left( \sqrt{x} \right) g(x) \, dx $$ in two
different ways: (1) by expanding $K$ as a Maclaurin series, perhaps after a
transformation or a change of variable, and then integrating termbyterm; and
(2) by expanding $g$ as a shifted FL series, and then integrating termbyterm.
Equating the expressions produced by these two approaches often gives us new
closedform evaluations, as in the formulas involving Catalan's constant $G$ $$
\sum _{n = 0}^{\infty } \binom{2 n}{n}^2 \frac{H_{n + \frac{1}{4}} 
H_{n\frac{1}{4}}}{16^{n} }
= \frac{\Gamma^4 \left(\frac{1}{4}\right)}{8 \pi^2}\frac{4 G}{\pi},$$
$$ \sum _{m, n \geq 0} \frac{\binom{2 m}{m}^2 \binom{2 n}{n}^2 }{ 16^{m + n}
(m+n+1) (2 m+3) } =
\frac{7 \zeta (3)  4 G}{\pi^2}.$$

Given two graphs $H_1$ and $H_2$, a graph $G$ is $(H_1,H_2)$free if it
contains no subgraph isomorphic to $H_1$ or $H_2$. Let $P_t$ and $C_s$ be the
path on $t$ vertices and the cycle on $s$ vertices, respectively. In this paper
we show that for any $(P_6,C_4)$free graph $G$ it holds that $\chi(G)\le
\frac{3}{2}\omega(G)$, where $\chi(G)$ and $\omega(G)$ are the chromatic number
and clique number of $G$, respectively. %Our bound is attained by $C_5$ and the
Petersen graph. Our bound is attained by several graphs, for instance, the
fivecycle, the Petersen graph, the Petersen graph with an additional universal
vertex, and all $4$critical $(P_6,C_4)$free graphs other than $K_4$ (see
\cite{HH17}). The new result unifies previously known results on the existence
of linear $\chi$binding functions for several graph classes. Our proof is
based on a novel structure theorem on $(P_6,C_4)$free graphs that do not
contain clique cutsets. Using this structure theorem we also design a
polynomial time $3/2$approximation algorithm for coloring $(P_6,C_4)$free
graphs. Our algorithm computes a coloring with $\frac{3}{2}\omega(G)$ colors
for any $(P_6,C_4)$free graph $G$ in $O(n^2m)$ time.

The physical, observable spectrum in gauge theories is made up from
gaugeinvariant states. The Fr\"ohlichMorchioStrocchi mechanism allows in the
standard model to map these states to the gaugedependent elementary $W$, $Z$
and Higgs states. This is no longer necessarily the case in theories with a
more general gauge group and Higgs sector. We classify and predict the physical
spectrum for a wide range of such theories, with special emphasis on GUTlike
cases, and show that discrepancies between the spectrum of elementary fields
and physical particles frequently arise.

The main purpose of this paper is pedagogical.
Despite its importance, all proofs of the correctness of Strassen's famous
1969 algorithm to multiply two 2x2 matrices with only seven multiplications
involve some basisdependent calculations such as explicitly multiplying
specific 2x2 matrices, expanding expressions to cancel terms with opposing
signs, or expanding tensors over the standard basis. This makes the proof
nontrivial to memorize and many presentations of the proof avoid showing all
the details and leave a significant amount of verifications to the reader.
In this note we give a short, selfcontained, basisindependent proof of the
existence of Strassen's algorithm that avoids these types of calculations. We
achieve this by focusing on symmetries and algebraic properties.
Our proof can be seen as a coordinatefree version of the construction of
Clausen from 1988, combined with recent work on the geometry of Strassen's
algorithm by Chiantini, Ikenmeyer, Landsberg, and Ottaviani from 2016.

We investigate topological Cooper pairing, including gapless Weyl and fully
gapped class DIII superconductivity, in a threedimensional doped Luttinger
semimetal. The latter describes effective spin3/2 carriers near a quadratic
band touching and captures the normalstate properties of the 227 pyrochlore
iridates and halfHeusler alloys. Electronelectron interactions may favor
non$s$wave pairing in such systems, including evenparity $d$wave pairing.
We argue that the lowest energy $d$wave pairings are always of complex (e.g.,
$d + i d$) type, with nodal Weyl quasiparticles. This implies $\varrho(E) \sim
E^2$ scaling of the density of states (DoS) at low energies in the clean
limit, or $\varrho(E) \sim E$ over a wide critical region in the presence of
disorder. The latter is consistent with the $T$dependence of the penetration
depth in the halfHeusler compound YPtBi. We enumerate routes for experimental
verification, including specific heat, thermal conductivity, NMR relaxation
time, and topological Fermi arcs. Nucleation of any $d$wave pairing also
causes a small lattice distortion and induces an $s$wave component; this gives
a route to strainengineer exotic $s+d$ pairings. We also consider oddparity,
fully gapped $p$wave superconductivity. For hole doping, a gapless Majorana
fluid with cubic dispersion appears at the surface. We invent a generalized
surface model with $\nu$fold dispersion to simulate a bulk with winding number
$\nu$. Using exact diagonalization, we show that disorder drives the surface
into a critically delocalized phase, with universal DoS and multifractal
scaling consistent with the conformal field theory (CFT) SO($n$)${}_\nu$, where
$n \rightarrow 0$ counts replicas. This is contrary to the naive expectation of
a surface thermal metal, and implies that the topology tunes the surface
renormalization group to the CFT in the presence of disorder.

We introduce the notion of feedback computable functions from $2^\omega$ to
$2^\omega$, extending feedback Turing computation in analogy with the standard
notion of computability for functions from $2^\omega$ to $2^\omega$. We then
show that the feedback computable functions are precisely the effectively Borel
functions. With this as motivation we define the notion of a feedback
computable function on a structure, independent of any coding of the structure
as a real. We show that this notion is absolute, and as an example characterize
those functions that are computable from a Gandy ordinal with some finite
subset distinguished.

We study an optimizationbased approach to construct statistically accurate
confidence intervals for simulation performance measures under nonparametric
input uncertainty. This approach computes confidence bounds from simulation
runs driven by probability weights defined on the data, which are obtained from
solving optimization problems under suitably posited averaged divergence
constraints. We illustrate how this approach offers benefits in computational
efficiency and finitesample performance compared to the bootstrap and the
delta method. While resembling robust optimization, we explain the procedural
design and develop tight statistical guarantees of this approach via a
generalization of the empirical likelihood method.

In this note we prove the Paynetype conjecture about the behaviour of the
nodal set of least energy signchanging solutions for the equation $\Delta_p u
= f(u)$ in bounded Steiner symmetric domains $\Omega \subset \mathbb{R}^N$
under the zero Dirichlet boundary conditions. The nonlinearity $f$ is assumed
to be either superlinear or resonant. In the latter case, least energy
signchanging solutions are second eigenfunctions of the zero Dirichlet
$p$Laplacian in $\Omega$. We show that the nodal set of any least energy
signchanging solution intersects the boundary of $\Omega$. The proof is based
on a moving polarization argument.

This work constructs a welldefined and operational form factor expansion in
a model having a massless spectrum of excitations. More precisely, the dynamic
twopoint functions in the massless regime of the XXZ spin1/2 chain are
expressed in terms of properly regularised series of multiple integrals. These
series are obtained by taking, in an appropriate way, the thermodynamic limit
of the finite volume form factor expansions. The series are structured in way
allowing one to identify directly the contributions to the correlator stemming
from the conformaltype excitations on the Fermi surface and those issuing from
the massive excitations (deep holes, particles and bound states). The obtained
form factor series opens up the possibility of a systematic and exact study of
asymptotic regimes of dynamical correlation functions in the massless regime of
the XXZ spin $1/2$ chain. Furthermore, the assumptions on the microscopic
structure of the model's Hilbert space that are necessary so as to write down
the series appear to be compatible with any model  not necessarily integrable
 belonging to the Luttinger liquid universality class. Thus, the present
analysis provides also the phenomenological structure of form factor expansions
in massless models belonging to this universality class.

In this paper Gabor scattering, a feature extractor based on Gabor frames and
Mallat's scattering transform, is introduced. By using a simple signal model
for audio signals, i.e. a class of tones consisting of fundamental frequency
and its multiples and an according envelope, we analyse specific properties of
Gabor scattering. We show that for each separate layer, different invariances
to certain signal characteristics occur. Furthermore, deformation stability of
the coefficient vector generated by the feature extractor is derived by using a
decoupling technique which exploits the contractivity of general scattering
networks. Here, we are interested in robustness with respect to changes in
spectral shape and frequency modulation. Our findings are illustrated by
numerical examples and experiments. We specifically give numerical evidence
that the invariances encoded by the Gabor scattering transform lead to improved
generalization properties in comparison with the standard Melspectrogram
coefficients, in particular in the case of the availability of a restricted
amount of data.

Compression and sparsification algorithms are frequently applied in a
preprocessing step before analyzing or optimizing large networks/graphs. In
this paper we propose and study a new framework contracting edges of a graph
(merging vertices into supervertices) with the goal of preserving pairwise
distances as accurately as possible. Formally, given an edgeweighted graph,
the contraction should guarantee that for any two vertices at distance $d$, the
corresponding supervertices remain at distance at least $\varphi(d)$ in the
contracted graph, where $\varphi$ is a tolerance function bounding the
permitted distance distortion. We present a comprehensive picture of the
algorithmic complexity of the contraction problem for affine tolerance
functions $\varphi(x)=x/\alpha\beta$, where $\alpha\geq 1$ and $\beta\geq 0$
are arbitrary realvalued parameters. Specifically, we present polynomialtime
algorithms for trees as well as hardness and inapproximability results for
different graph classes, precisely separating easy and hard cases. Further we
analyze the asymptotic behavior of contractions, and find efficient algorithms
to compute (nonoptimal) contractions despite our hardness results.

A vortex in a BoseEinstein condensate on a ring undergoes quantum dynamics
in response to a quantum quench in terms of partial symmetry breaking from a
uniform lattice to a biperiodic one. Neither the current, a macroscopic
measure, nor fidelity, a microscopic measure, exhibit critical behavior.
Instead, the symmetry memory succeeds in identifying the point at which the
system begins to forget its initial symmetry state. We further identify a
symmetry energy difference in the low lying excited states which trends with
the symmetry memory.

In this paper, as an extension of the integer case, we define polynomial
functions over the residue class rings of Dedekind domains, and then we give
canonical representations and counting formulas for such polynomial functions.
In particular, we give an explicit formula for the number of polynomial
functions over the residue class rings of polynomials over finite fields.

This paper considers dynamic (multistage) signaling games involving an
encoder and a decoder who have subjective models on the cost functions. We
consider both Nash (simultaneousmove) and Stackelberg (leaderfollower)
equilibria of dynamic signaling games under quadratic criteria. For the
multistage scalar cheap talk, we show that the final stage equilibrium is
always quantized and under further conditions the equilibria for all time
stages must be quantized. In contrast, the Stackelberg equilibria are always
fully revealing. In the multistage signaling game where the transmission of a
GaussMarkov source over a memoryless Gaussian channel is considered, affine
policies constitute an invariant subspace under best response maps for Nash
equilibria; whereas the Stackelberg equilibria always admit linear policies for
scalar sources but such policies may be nonlinear for multidimensional
sources. We obtain an explicit recursion for optimal linear encoding policies
for multidimensional sources, and derive conditions under which Stackelberg
equilibria are informative.

Today's data analytics frameworks are intrinsically computecentric. Key
details of analytics execution  work allocation to distributed compute tasks,
intermediate data storage, task scheduling, etc.  depend on the predetermined
physical structure of the highlevel computation. Unfortunately, this hurts
flexibility, performance, and efficiency. We present F2, a new analytics
framework that cleanly separates computation from intermediate data. It enables
runtime visibility into data via programmable monitoring, and datadriven
computation (where intermediate data values drive when and what computation
runs) via an event abstraction. Experiments with an F2 prototype on a large
cluster using batch, streaming, and graph analytics workloads show that it
significantly outperforms stateoftheart computecentric engines.

A lattice Boltzmann (LB) theory, analytical characteristic integral (ACI) LB
theory, is proposed in this paper. ACI LB theory takes BhatnagarGrossKrook
(BGK) Boltzmann equation as the exact kinetic equation behind NavierStokes
continuum and momentum equations and constructs LB equation by rigorously
integrating BGKBoltzmann equation along characteristics. It's a general
theory, supporting most existed LB equations including the standard lattice BGK
(LBGK) equation inherited from latticegas automata, whose theoretical
foundation had been questioned. ACI LB theory also indicates that the
characteristic parameter of LB equation is collision number, depicting the
particleinteracting intensity in the time span of LB equation, instead of
traditionally assumed relaxation time, and the over relaxation time problem is
merely a manifestation of temporal evolution of equilibrium distribution along
characteristics under high collision number, irrelevant to particle kinetics.
In ACI LB theory, the temporal evolution of equilibrium distribution along
characteristics is the determinant of LB method accuracy and we numerically
prove it.

Facing increasing domestic energy consumption from population growth and
industrialization, Saudi Arabia is aiming to reduce its reliance on fossil
fuels and to broaden its energy mix by expanding investment in renewable energy
sources, including wind energy. A preliminary task in the development of wind
energy infrastructure is the assessment of wind energy potential, a key aspect
of which is the characterization of its spatiotemporal behavior. In this study
we examine the impact of internal climate variability on seasonal wind power
density fluctuations over Saudi Arabia using 30 simulations from the Large
Ensemble Project (LENS) developed at the National Center for Atmospheric
Research. Furthermore, a spatiotemporal model for daily wind speed is proposed
with neighborbased crosstemporal dependence, and a multivariate skewt
distribution to capture the spatial patterns of higher order moments. The model
can be used to generate synthetic time series over the entire spatial domain
that adequately reproduce the internal variability of the LENS dataset.

Take a continuoustime GaltonWatson tree. If the system survives until a
large time $T$, then choose $k$ particles uniformly from those alive. What does
the ancestral tree drawn out by these $k$ particles look like? Some special
cases are known but we give a more complete answer. We concentrate on
nearcritical cases where the mean number of offspring is $1+\mu/T$ for some
$\mu\in\mathbb{R}$, and show that a scaling limit exists as $T\to\infty$.
Viewed backwards in time, the resulting coalescent process is topologically
equivalent to Kingman's coalescent, but the times of coalescence have an
interesting and highly nontrivial structure. The randomly fluctuating
population size, as opposed to constant size populations where the Kingman
coalescent more usually arises, have a pronounced effect on both the results
and the method of proof required. We give explicit formulas for the
distribution of the coalescent times, as well as a construction of the
genealogical tree involving a mixture of independent and identically
distributed random variables. In general subcritical and supercritical cases it
is not possible to give such explicit formulas, but we highlight the special
case of birthdeath processes.

Let $n_1 < n_2 < \cdots < n_N$ be nonnegative integers. In a private
communication Brian Conrey asked how fast the number of real zeros of the
trigonometric polynomials $T_N(\theta) = \sum_{j=1}^N {\cos (n_j\theta)}$ tends
to $\infty$ as a function of $N$. Conrey's question in general does not appear
to be easy.Let ${\mathcal P}_n(S)$ be the set of all algebraic polynomials of
degree at most $n$ with each of their coefficients in $S$. For a finite set $S
\subset {\mathbb C}$ let $M = M(S) := \max\{z: z \in S\}$. It has been shown
recently that if $S \subset {\mathbb R}$ is a finite set and $(P_n)$ is a
sequence of selfreciprocal polynomials $P_n \in {\mathcal P}_n(S)$ with
$P_n(1)$ tending to $\infty$, then the number of zeros of $P_n$ on the unit
circle also tends to $\infty$. In this paper we show that if $S \subset
{\mathbb Z}$ is a finite set, then every selfreciprocal polynomial $P \in
{\mathcal P}_n(S)$ has at least $$c(\log\log\logP(1))^{1\varepsilon}1$$
zeros on the unit circle of ${\mathbb C}$ with a constant $c > 0$ depending
only on $\varepsilon > 0$ and$M = M(S)$. Our new result improves the exponent
$1/2  \varepsilon$ in a recent result by Julian Sahasrabudhe to $1 
\varepsilon$. Sahasrabudhe's new idea [66] is combined with the approach used
in [34] offering an essencially simplified way to achieve our improvement. We
note that in both Sahasrabudhe's paper and our paper the assumption that the
finite set $S$ contains only integers is deeply exploited.

In Chinese societies, superstition is of paramount importance, and vehicle
license plates with desirable numbers can fetch very high prices in auctions.
Unlike other valuable items, license plates are not allocated an estimated
price before auction. I propose that the task of predicting plate prices can be
viewed as a natural language processing (NLP) task, as the value depends on the
meaning of each individual character on the plate and its semantics. I
construct a deep recurrent neural network (RNN) to predict the prices of
vehicle license plates in Hong Kong, based on the characters on a plate. I
demonstrate the importance of having a deep network and of retraining.
Evaluated on 13 years of historical auction prices, the deep RNN outperforms
previous models by a significant margin.

This article answers a question posed by Draisma and Horobet, who asked for a
closed formula for the expected number of real eigenvalues of a random real
symmetric tensor drawn from the Gaussian distribution relative to the Bombieri
norm. This expected value is equal to the expected number of real critical
points on the unit sphere of a Kostlan polynomial. We also derive an exact
formula for the expected absolute value of the determinant of a matrix from the
Gaussian Orthogonal Ensemble.

In this paper, we construct twist automorphisms on quantum unipotent cells,
which are quantum analogues of the BerensteinFominZelevinsky twist
automorphisms on unipotent cells. We show that those quantum twist
automorphisms preserve the dual canonical bases of quantum unipotent cells.
Moreover, we prove that quantum twist automorphisms are described by the syzygy
functors for representations of preprojective algebras in the symmetric case.
This is the quantum analogue of Gei{\ss}LeclercSchr\"oer's description, and
Gei{\ss}LeclercSchr\"oer's results are essential in our proof. As a
consequence, we show that quantum twist automorphisms are compatible with
quantum cluster monomials. The 6periodicity of specific quantum twist
automorphisms is also verified.

This paper presents a measurement of the polarisation of $W$ bosons from
$t\bar{t}$ decays, reconstructed in events with one high$p_{\mbox{T}}$ lepton
and at least four jets. Data from $pp$ collisions at the LHC were collected at
$\sqrt{s}$ = 8 TeV and correspond to an integrated luminosity of 20.2
fb$^{1}$. The angle $\theta^{*}$ between the $b$quark from the top quark
decay and a direct $W$ boson decay product in the $W$ boson rest frame is
sensitive to the $W$ boson polarisation. Two different $W$ decay products are
used as polarisation analysers: the charged lepton and the downtype quark for
the leptonically and hadronically decaying $W$ boson, respectively. The most
precise measurement of the $W$ boson polarisation via the distribution of
$\cos{\theta^{*}}$ is obtained using the leptonic analyser and events in which
at least two of the jets are tagged as $b$quark jets. The fitted fractions of
longitudinal, left and righthanded polarisation states are $F_{\mathrm{0}}=
0.709 \pm {0.019}$, $F_{\mathrm{L}}= 0.299 \pm {0.015}$ and $F_{\mathrm{R}}=
0.008 \pm {0.014}$, and are the most precisely measured $W$ boson polarisation
fractions to date. Limits on anomalous couplings of the $Wtb$ vertex are set.

Both multistreaming (random motion) and bulk motion cause the FingerofGod
(FoG) effect in redshift space distortion (RSD). We apply a direct measurement
of the multistreaming effect in RSD from simulations, proving that it induces
an additional, nonnegligible FoG damping to the redshift space density power
spectrum. We show that, including the multistreaming effect, the RSD modelling
is significantly improved. We also provide a theoretical explanation based on
halo model for the measured effect, including a fitting formula with one to two
free parameters. The improved understanding of FoG helps break the
$f\sigma_8\sigma_v$ degeneracy in RSD cosmology, and has the potential of
significantly improving cosmological constraints.

We prove a Koszul duality theorem between the category of weight modules over
the quantized Coulomb branch (as defined by Braverman, Finkelberg and Nakajima)
attached to a group $G$ and representation $V$ and a category of
$G$equivariant Dmodules on the vector space $V$. This is proven by relating
both categories to an explicit, combinatorially presented category.
These categories are related to generalized categories $\mathcal{O}$ for
symplectic singularities. Letting $\mathcal{O}_{\operatorname{Coulomb}}$ and
$\mathcal{O}_{\operatorname{Higgs}}$ be these categories for the Coulomb and
Higgs branches associated to $V$ and $G$, we obtain a functor
$\mathcal{O}_{\operatorname{Coulomb}}^!\to \mathcal{O}_{\operatorname{Higgs}}$
from the Koszul dual of one to the other. This functor is an equivalence in the
special cases where the hyperk\"ahler quotient of $T^*V$ by $G$ is a Nakajima
quiver variety or smooth hypertoric variety. This includes as special cases the
parabolicsingular Koszul duality of category $\mathcal{O}$ in type A, the
categorified ranklevel duality proposed by Chuang and Miyachi and proven by
Shan, Vasserot and Varagnolo, and the hypertoric Koszul duality proven by
Braden, Licata, Proudfoot and the author.
We also show that this equivalence intertwines socalled twisting and
shuffling functors. This together with the duality discussed confirms the most
important components of the symplectic duality conjecture of Braden, Licata,
Proudfoot and the author in this case.