• 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, Fourier-Legendre (FL) series expansions, and ${}_p F_q$ series. We produce new hypergeometric transformations and closed-form 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 term-by-term; and (2) by expanding $g$ as a shifted FL series, and then integrating term-by-term. Equating the expressions produced by these two approaches often gives us new closed-form 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 five-cycle, 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 gauge-invariant states. The Fr\"ohlich-Morchio-Strocchi mechanism allows in the standard model to map these states to the gauge-dependent 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 GUT-like 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 basis-dependent 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, self-contained, basis-independent 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 coordinate-free 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 three-dimensional doped Luttinger semimetal. The latter describes effective spin-3/2 carriers near a quadratic band touching and captures the normal-state properties of the 227 pyrochlore iridates and half-Heusler alloys. Electron-electron interactions may favor non-$s$-wave pairing in such systems, including even-parity $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 half-Heusler 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 strain-engineer exotic $s+d$ pairings. We also consider odd-parity, 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 optimization-based 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 finite-sample 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 Payne-type conjecture about the behaviour of the nodal set of least energy sign-changing 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 sign-changing solutions are second eigenfunctions of the zero Dirichlet $p$-Laplacian in $\Omega$. We show that the nodal set of any least energy sign-changing solution intersects the boundary of $\Omega$. The proof is based on a moving polarization argument.
  • This work constructs a well-defined and operational form factor expansion in a model having a massless spectrum of excitations. More precisely, the dynamic two-point functions in the massless regime of the XXZ spin-1/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 conformal-type 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 Mel-spectrogram 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 super-vertices) with the goal of preserving pairwise distances as accurately as possible. Formally, given an edge-weighted graph, the contraction should guarantee that for any two vertices at distance $d$, the corresponding super-vertices 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 real-valued parameters. Specifically, we present polynomial-time 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 (non-optimal) contractions despite our hardness results.
  • A vortex in a Bose-Einstein 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 (multi-stage) signaling games involving an encoder and a decoder who have subjective models on the cost functions. We consider both Nash (simultaneous-move) and Stackelberg (leader-follower) equilibria of dynamic signaling games under quadratic criteria. For the multi-stage 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 multi-stage signaling game where the transmission of a Gauss-Markov 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 non-linear for multi-dimensional sources. We obtain an explicit recursion for optimal linear encoding policies for multi-dimensional sources, and derive conditions under which Stackelberg equilibria are informative.
  • Today's data analytics frameworks are intrinsically compute-centric. Key details of analytics execution - work allocation to distributed compute tasks, intermediate data storage, task scheduling, etc. - depend on the pre-determined physical structure of the high-level 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 data-driven 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 state-of-the-art compute-centric engines.
  • A lattice Boltzmann (LB) theory, analytical characteristic integral (ACI) LB theory, is proposed in this paper. ACI LB theory takes Bhatnagar-Gross-Krook (BGK) Boltzmann equation as the exact kinetic equation behind Navier-Stokes continuum and momentum equations and constructs LB equation by rigorously integrating BGK-Boltzmann equation along characteristics. It's a general theory, supporting most existed LB equations including the standard lattice BGK (LBGK) equation inherited from lattice-gas automata, whose theoretical foundation had been questioned. ACI LB theory also indicates that the characteristic parameter of LB equation is collision number, depicting the particle-interacting 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 spatio-temporal 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 spatio-temporal model for daily wind speed is proposed with neighbor-based cross-temporal dependence, and a multivariate skew-t 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 continuous-time Galton-Watson 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 near-critical 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 non-trivial 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 birth-death processes.
  • Let $n_1 < n_2 < \cdots < n_N$ be non-negative 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 self-reciprocal 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 self-reciprocal polynomial $P \in {\mathcal P}_n(S)$ has at least $$c(\log\log\log|P(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 Berenstein-Fomin-Zelevinsky 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}-Leclerc-Schr\"oer's description, and Gei{\ss}-Leclerc-Schr\"oer's results are essential in our proof. As a consequence, we show that quantum twist automorphisms are compatible with quantum cluster monomials. The 6-periodicity 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 down-type 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 right-handed 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 multi-streaming (random motion) and bulk motion cause the Finger-of-God (FoG) effect in redshift space distortion (RSD). We apply a direct measurement of the multi-streaming effect in RSD from simulations, proving that it induces an additional, non-negligible FoG damping to the redshift space density power spectrum. We show that, including the multi-streaming 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 D-modules 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 parabolic-singular Koszul duality of category $\mathcal{O}$ in type A, the categorified rank-level 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 so-called 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.