title: Rainbow Tur\'an number of even cycles, repeated patterns and blow-ups of cycles

abstract: The rainbow Tur\'an number $\mathrm{ex}^*(n,H)$ of a graph $H$ is the maximum possible number of edges in a properly edge-coloured $n$-vertex graph with no rainbow subgraph isomorphic to $H$. We prove that for any integer $k\geq 2$, $\mathrm{ex}^*(n,C_{2k})=O(n^{1+1/k})$. This is tight and establishes a conjecture of Keevash, Mubayi, Sudakov and Verstra\"ete. We use the same method to prove several other conjectures in various topics. First, we prove that there exists a constant $c$ such that any properly edge-coloured $n$-vertex graph with more than $cn(\log n)^4$ edges contains a rainbow cycle. It is known that there exist properly edge-coloured $n$-vertex graphs with $\Omega(n\log n)$ edges which do not contain any rainbow cycle. Secondly, we show that in any proper edge-colouring of $K_n$ with $o(n^{\frac{r}{r-1}\cdot \frac{k-1}{k}})$ colours, there exist $r$ colour-isomorphic, pairwise vertex-disjoint copies of $C_{2k}$. This proves in a strong form a conjecture of Conlon and Tyomkyn, and a strenghtened version proposed by Xu, Zhang, Jing and Ge. Moreover, we answer a question of Jiang and Newman by showing that there exists a constant $c=c(r)$ such that any $n$-vertex graph with more than $cn^{2-1/r}(\log n)^{7/r}$ edges contains the $r$-blowup of an even cycle. Finally, we prove that the $r$-blowup of $C_{2k}$ has Tur\'an number $O(n^{2-\frac{1}{r}+\frac{1}{k+r-1}+o(1)})$, which can be used to disprove an old conjecture of Erd\H os and Simonovits.


title: Quadratic twists of elliptic curves and class numbers

abstract: For positive rank $r$ elliptic curves $E(\mathbb{Q})$, we employ ideal class pairings $$ E(\mathbb{Q})\times E_{-D}(\mathbb{Q}) \rightarrow \mathrm{CL}(-D), $$ for quadratic twists $E_{-D}(\mathbb{Q})$ with a suitable ``small $y$-height'' rational point, to obtain effective class number lower bounds. For the curves $E^{(a)}: \ y^2=x^3-a,$ with rank $r(a),$ this gives $$ h(-D) \geq \frac{1}{10}\cdot \frac{|E_{\mathrm{tor}}(\mathbb{Q})|}{\sqrt{R_{\mathbb{Q}}(E)}}\cdot \frac{\Gamma\left (\frac{r(a)}{2}+1\right)}{(4\pi)^{\frac{r(a)}{2}}} \cdot \frac{\log(D)^{\frac{r(a)}{2}}}{\log \log D}, $$ representing an improvement to the classical lower bound of Goldfeld, Gross and Zagier when $r(a)\geq 3$. We prove that the number of twists $E_{-D}^{(a)}(\mathbb{Q})$ with such a point (resp. with such a point and rank $\geq 2$ under the Parity Conjecture) is $\gg_{a,\varepsilon} X^{\frac{1}{2}-\varepsilon}.$ We give infinitely many cases where $r(a)\geq 6$. These results can be viewed as an analogue of the classical estimate of Gouv\^ea and Mazur for the number of rank $\geq 2$ quadratic twists, where in addition we obtain ``log-power'' improvements to the Goldfeld-Gross-Zagier class number lower bound.


title: ARTEMIS Observations of Plasma Waves in Laminar and Perturbed Interplanetary Shocks

abstract: The 'Acceleration, Reconnection, Turbulence and Electrodynamics of the Moon's Interaction with the Sun' (ARTEMIS) mission provides a unique opportunity to study the structure of interplanetary shocks and the associated generation of plasma waves with frequencies between ~50-8000 Hz due to its long duration electric and magnetic field burst waveform captures. We compare wave properties and occurrence rates at 11 quasi-perpendicular interplanetary shocks with burst data within 10 minutes (~3200 proton gyroradii upstream, ~1900 downstream) of the shock ramp. A perturbed shock is defined as possessing a large amplitude whistler precursor in the quasi-static magnetic field with an amplitude greater than 1/3 the difference between the upstream and downstream average magnetic field magnitudes; laminar shocks lack these large precursors and have a smooth, step function-like transition. In addition to wave modes previously observed, including ion acoustic, whistler, and electrostatic solitary waves, waves in the ion acoustic frequency range that show rapid temporal frequency change are common. The ramp region of the two laminar shocks with burst data in the ramp contained a wide range of large amplitude wave modes whereas the one perturbed shock with ramp burst data contained no such waves. Energy dissipation through wave-particle interactions is more prominent in these laminar shocks than the perturbed shock. The wave occurrence rates for laminar shocks are higher in the transition region, especially the ramp, than downstream. Perturbed shocks have approximately 2-3 times the wave occurrence rate downstream than laminar shocks.


title: Hadamard Wirtinger Flow for Sparse Phase Retrieval

abstract: We consider the problem of reconstructing an $n$-dimensional $k$-sparse signal from a set of noiseless magnitude-only measurements. Formulating the problem as an unregularized empirical risk minimization task, we study the sample complexity performance of gradient descent with Hadamard parametrization, which we call Hadamard Wirtinger flow (HWF). Provided knowledge of the signal sparsity $k$, we prove that a single step of HWF is able to recover the support from $k(x^*_{max})^{-2}$ (modulo logarithmic term) samples, where $x^*_{max}$ is the largest component of the signal in magnitude. This support recovery procedure can be used to initialize existing reconstruction methods and yields algorithms with total runtime proportional to the cost of reading the data and improved sample complexity, which is linear in $k$ when the signal contains at least one large component. We numerically investigate the performance of HWF at convergence and show that, while not requiring any explicit form of regularization nor knowledge of $k$, HWF adapts to the signal sparsity and reconstructs sparse signals with fewer measurements than existing gradient based methods.


title: Quantum Zeno approach for molecular energies with maximum commuting initialHamiltonians

abstract: We propose to use a quantum adiabatic and simulated-annealing framework to compute theground state of small molecules. The initial Hamiltonian of our algorithms is taken to be themaximum commuting Hamiltonian that consists of a maximal set of commuting terms in the fullHamiltonian of molecules in the Pauli basis. We consider two variants. In the first method, weperform the adiabatic evolution on the obtained time- or path-dependent Hamiltonian with theinitial state as the ground state of the maximum commuting Hamiltonian. However, this methoddoes suffer from the usual problems of adiabatic quantum computation due to degeneracy andenergy-level crossings along the Hamiltonian path. This problem is mitigated by a Zeno method,i.e., via a series of eigenstate projections used in the quantum simulated annealing, with the path-dependent Hamiltonian augmented by a sum of Pauli X terms, whose contribution vanishes at thebeginning and the end of the path. In addition to the ground state, the low lying excited states canbe obtained using this quantum Zeno approach with equal accuracy to that of the ground state.


title: Aligning Faithful Interpretations with their Social Attribution

abstract: We find that the requirement of model interpretations to be faithful is vague and incomplete. With interpretation by textual highlights as a case-study, we present several failure cases. Borrowing concepts from social science, we identify that the problem is a misalignment between the causal chain of decisions (causal attribution) and the attribution of human behavior to the interpretation (social attribution). We re-formulate faithfulness as an accurate attribution of causality to the model, and introduce the concept of aligned faithfulness: faithful causal chains that are aligned with their expected social behavior. The two steps of causal attribution and social attribution together complete the process of explaining behavior. With this formalization, we characterize various failures of misaligned faithful highlight interpretations, and propose an alternative causal chain to remedy the issues. Finally, we implement highlight explanations of the proposed causal format using contrastive explanations.


title: Numerical study of anomalous diffusion of light in semi-crystalline polymer structures

abstract: From the spread of pollutants in the atmosphere to the transmission of nutrients across cell membranes, anomalous diffusion processes are ubiquitous in natural systems. The ability to understand and control the mechanisms guiding such processes across various scales has important application to research in materials science, finance, medicine, and energetics. Here we present a numerical study of anomalous diffusion of light through a semi-crystalline polymer structure where transport is guided by random disorder and nonlocal interactions. The numerical technique examines diffusion properties in one-dimensional (1D) space via the spectrum of an Anderson-type Hamiltonian with a discrete fractional Laplacian operator (-{\Delta})^s, 0<s<2 and a random distribution of disorder. The results show enhanced transport for s<1 (super-diffusion) and enhanced localization for s>1 (sub-diffusion) for most examined cases. An important finding of the present study is that transport can be enhanced at key spatial scales in the sub-diffusive case, where all states are normally expected to be localized for a (1D) disordered system.


title: Relative critical loci and quiver moduli

abstract: In this paper we identify the cotangent to the derived stack of representations of a quiver $Q$ with the derived moduli stack of modules over the Ginzburg dg-algebra associated with $Q$. More generally, we extend this result to finite type dg-categories, to a relative setting as well, and to deformations of these. It allows us to recover and generalize some results of Yeung, and leads us to the discovery of seemingly new lagrangian subvarieties in the Hilbert scheme of points in the plane.


title: The cosmetic crossing conjecture for split links

abstract: Given a band sum of a split two-component link along a nontrivial band, we obtain a family of knots indexed by the integers by adding any number of full twists to the band. We show that the knots in this family have the same Heegaard knot Floer homology and the same instanton knot Floer homology. In contrast, a generalization of the cosmetic crossing conjecture predicts that the knots in this family are all distinct. We verify this prediction by showing that any two knots in this family have distinct Khovanov homology. Along the way, we prove that each of the three knot homologies detects the trivial band.


title: End-faithful spanning trees in graphs without normal spanning trees

abstract: Schmidt characterised the class of rayless graphs by an ordinal rank function, which makes it possible to prove statements about rayless graphs by transfinite induction. Halin asked whether Schmidt's rank function can be generalised to characterise other important classes of graphs. We answer Halin's question in the affirmative. Another largely open problem raised by Halin asks for a characterisation of the class of graphs with an end-faithful spanning tree. A well-studied subclass is formed by the graphs with a normal spanning tree. We determine a larger subclass, the class of normally traceable graphs, which consists of the connected graphs with a rayless tree-decomposition into normally spanned parts. Investigating the class of normally traceable graphs further we prove that, for every normally traceable graph, having a rayless spanning tree is equivalent to all its ends being dominated. Our proofs rely on a characterisation of the class of normally traceable graphs by an ordinal rank function that we provide.


title: GHAST: Breaking Confirmation Delay Barrier in Nakamoto Consensus via Adaptive Weighted Blocks

abstract: Initiated from Nakamoto's Bitcoin system, blockchain technology has demonstrated great capability of building secure consensus among decentralized parties at Internet-scale, i.e., without relying on any centralized trusted party. Nowadays, blockchain systems find applications in various fields. But the performance is increasingly becoming a bottleneck, especially when permissionless participation is retained for full decentralization. In this work, we present a new consensus protocol named GHAST (Greedy Heaviest Adaptive Sub-Tree) which organizes blocks in a Tree-Graph structure (i.e., a directed acyclic graph (DAG) with a tree embedded) that allows fast and concurrent block generation. GHAST protocol simultaneously achieves a logarithmically bounded liveness guarantee and low confirmation latency. More specifically, for maximum latency $d$ and adversarial computing power bounded away from 50\%, GHAST guarantees confirmation with confidence $\ge 1-\varepsilon$ after a time period of $O(d\cdot \log(1/\varepsilon))$. When there is no observable attack, GHAST only needs $3d$ time to achieve confirmation at the same confidence level as six-block-confirmation in Bitcoin, while it takes roughly $360d$ in Bitcoin.


title: Analysis of Regularized Least Squares in Reproducing Kernel Krein Spaces

abstract: In this paper, we study the asymptotic properties of regularized least squares with indefinite kernels in reproducing kernel Krein spaces (RKKS). By introducing a bounded hyper-sphere constraint to such non-convex regularized risk minimization problem, we theoretically demonstrate that this problem has a globally optimal solution with a closed form on the sphere, which makes approximation analysis feasible in RKKS. Regarding to the original regularizer induced by the indefinite inner product, we modify traditional error decomposition techniques, prove convergence results for the introduced hypothesis error based on matrix perturbation theory, and derive learning rates of such regularized regression problem in RKKS. Under some conditions, the derived learning rates in RKKS are the same as that in reproducing kernel Hilbert spaces (RKHS), which is actually the first work on approximation analysis of regularized learning algorithms in RKKS.


title: Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing

abstract: Programmable packet-processing devices such as programmable switches and network interface cards are becoming mainstream. These devices are configured in a domain-specific language such as P4, using a compiler to translate packet-processing programs into instructions for different targets. As networks with programmable devices become widespread, it is critical that these compilers be dependable. This paper considers the problem of finding bugs in compilers for packet processing in the context of P4-16. We introduce domain-specific techniques to induce both abnormal termination of the compiler (crash bugs) and miscompilation (semantic bugs). We apply these techniques to (1) the open-source P4 compiler (P4C) infrastructure, which serves as a common base for different P4 back ends; (2) the P4 back end for the P4 reference software switch; and (3) the P4 back end for the Barefoot Tofino switch. Across the 3 platforms, over 8 months of bug finding, our tool Gauntlet detected 96 new and distinct bugs (62 crash and 34 semantic), which we confirmed with the respective compiler developers. 54 have been fixed (31 crash and 23 semantic); the remaining have been assigned to a developer. Our bug-finding efforts also led to 6 P4 specification changes. We have open sourced Gauntlet at p4gauntlet.github.io and it now runs within P4C's continuous integration pipeline.


title: High-throughput search for magnetic and topological order in transition metal oxides

abstract: The discovery of intrinsic magnetic topological order in $\rm MnBi_2Te_4$ has invigorated the search for materials with coexisting magnetic and topological phases. These multi-order quantum materials are expected to exhibit new topological phases that can be tuned with magnetic fields, but the search for such materials is stymied by difficulties in predicting magnetic structure and stability. Here, we compute over 27,000 unique magnetic orderings for over 3,000 transition metal oxides in the Materials Project database to determine their magnetic ground states and estimate their effective exchange parameters and critical temperatures. We perform a high-throughput band topology analysis of centrosymmetric magnetic materials, calculate topological invariants, and identify 18 new candidate ferromagnetic topological semimetals, axion insulators, and antiferromagnetic topological insulators. To accelerate future efforts, machine learning classifiers are trained to predict both magnetic ground states and magnetic topological order without requiring first-principles calculations.


title: Self-similar blow-up profiles for a reaction-diffusion equation with critically strong weighted reaction

abstract: We classify the self-similar blow-up profiles for the following reaction-diffusion equation with critical strong weighted reaction and unbounded weight: $$ \partial_tu=\partial_{xx}(u^m) + |x|^{\sigma}u^p, $$ posed for $x\in\real$, $t\geq0$, where $m>1$, $0<p<1$ such that $m+p=2$ and $\sigma>2$ completing the analysis performed in a recent work where this very interesting critical case was left aside. We show that finite time blow-up solutions in self-similar form exist for $\sigma>2$. Moreover all the blow-up profiles have compact support and their supports are \emph{localized}: there exists an explicit $\eta>0$ such that any blow-up profile satisfies ${\rm supp}\,f\subseteq[0,\eta]$. This property is unexpected and contrasting with the range $m+p>2$. We also classify the possible behaviors of the profiles near the origin.


title: On the consistency of ZF with an elementary embedding from $V_{\lambda+2}$ into $V_{\lambda+2}$

abstract: According to a theorem due to Kenneth Kunen, under ZFC, there is no ordinal $\lambda$ and non-trivial elementary embedding $j:V_{\lambda+2}\to V_{\lambda+2}$. His proof relied on the Axiom of Choice (AC), and no proof from ZF alone has been discovered. $I_{0,\lambda}$ is the assertion, introduced by W. Hugh Woodin, that $\lambda$ is an ordinal and there is an elementary embedding $j:L(V_{\lambda+1})\to L(V_{\lambda+1})$ with critical point ${<\lambda}$. And $I_0$ asserts that $I_{0,\lambda}$ holds for some $\lambda$. The axiom $I_0$ is one of the strongest large cardinals not known to be inconsistent with AC. It is usually studied assuming ZFC in the full universe $V$ (in which case $\lambda$ must be a limit ordinal), but we assume only ZF. We prove, assuming ZF + $I_{0,\lambda}$ + "$\lambda$ is an even ordinal", that there is a proper class transitive inner model $M$ containing $V_{\lambda+1}$ and satisfying ZF + $I_{0,\lambda}$ + "there is an elementary embedding $k:V_{\lambda+2}\to V_{\lambda+2}$"; in fact we will have $k\subseteq j$, where $j$ witnesses $I_{0,\lambda}$ in $M$. This result was first proved by the author under the added assumption that $V_{\lambda+1}^\#$ exists; Gabe Goldberg noticed that this extra assumption was unnecessary. If also $\lambda$ is a limit ordinal and $\lambda$-DC holds in $V$, then the model $M$ will also satisfy $\lambda$-DC. We show that ZFC + "$\lambda$ is even" + $I_{0,\lambda}$ implies $A^\#$ exists for every $A\in V_{\lambda+1}$, but if consistent, this theory does not imply $V_{\lambda+1}^\#$ exists.


title: Deflection Angle and Shadow Behaviors of Quintessential Black Holes in arbitrary Dimensions

abstract: Motivated by M-theory/superstring inspired models, we investigate certain behaviors of the deflection angle and the shadow geometrical shapes of higher dimensional quintessential black holes associated with two values of the dark energy (DE) state parameter, being \omega=-\frac{1}{3} and \omega=-\frac{2}{3}. Concretely, we derive the geodesic equation of photons on such backgrounds. Thanks to the Gauss-Bonnet theorem corresponding to the optical metric, we compute the leading terms of the deflection angle in the so-called weak-limit approximation. After that, we inspect the effect of DE and the space-time dimension d on the calculated optical quantities. Introducing DE via the field intensity c and the state parameter \omega, we find that the shadow size and the deflection angle increase by increasing values of the field intensity c. However, we observe that the high dimensions decrease such quantities for \omega-models exhibiting similar behaviors. Then, we consider the effect of the black hole charge, on these optical quantities, by discussing the associated behaviors. The present investigation recovers certain known results appearing in ordinary four dimensional models.


title: The X-ray emission in young radio AGNs

abstract: In this work, we investigated the X-ray emission for a sample of young radio AGNs by combining their data from Chandra/XMM-Newton and at other wavebands. We find strong correlations between the X-ray luminosity $L_{\rm X}$ in 2$-$10 keV and the radio luminosities $L_{\rm R}$ at 5 GHz for VLBI radio-core, VLA radio-core and FIRST component, indicating that both pc- and kpc-scale radio emission strongly correlate with X-ray emission in these sources. We find approximately linear dependence of radio on X-ray luminosity in the sources with radiative efficient accretion flows (i.e., the Eddington ratio $R_{\rm edd} \gtrsim 10^{-3} $) with b $\sim$ 1 ($L_{\rm R}$ $\propto$ $L_{\rm X} ^{b}$) and $\xi_{\rm RX}$ $\sim$ 1 in fundamental plane using VLBI data, where the dependence is consistent with the re-analysed result on the previous study in \cite{2016ApJ...818..185F} at $R_{\rm edd} \gtrsim 10^{-3}$, however is significantly deviated from the theoretical prediction of accretion flow as the origin of X-ray emission. In contrast to radio-quiet quasars, there is no significant correlation between $\Gamma$ and Eddington ratio. Our results seem to indicate that the X-ray emission of high-accreting young radio AGNs may be from jet. We constructed the SEDs for 18 sources (most are in radiative efficient accretion) including 9 galaxies and 9 quasars with high-quality X-ray data, and find that the X-ray emission of most quasars is more luminous than that of normal radio-quiet quasars. This is clearly seen from the quasar composite SED, of which the X-ray emission is apparently higher than that of radio-quiet quasars, likely supporting the jet-related X-ray emission in young radio AGNs. The scenario that the X-ray emission is from self-synchrotron Compton (SSC) is discussed.


title: Is 42 the Answer to Everything in Subtitling-oriented Speech Translation?

abstract: Subtitling is becoming increasingly important for disseminating information, given the enormous amounts of audiovisual content becoming available daily. Although Neural Machine Translation (NMT) can speed up the process of translating audiovisual content, large manual effort is still required for transcribing the source language, and for spotting and segmenting the text into proper subtitles. Creating proper subtitles in terms of timing and segmentation highly depends on information present in the audio (utterance duration, natural pauses). In this work, we explore two methods for applying Speech Translation (ST) to subtitling: a) a direct end-to-end and b) a classical cascade approach. We discuss the benefit of having access to the source language speech for improving the conformity of the generated subtitles to the spatial and temporal subtitling constraints and show that length is not the answer to everything in the case of subtitling-oriented ST.


title: Birds, Frogs, and the Measurement Problem

abstract: Physicists and philosophers alike have pondered the measurement problem in quantum mechanics since the beginning of the theory nearly a century ago. Marcel Reginatto and I (2013) have made the case as have many others, Niels Bohr among them, that the problem is artificial and needs no resolution. The purpose of my present essay is not to elaborate on this conclusion but rather to shed light on the reasons why the problem arose in the first place and why it persists today, a more sociological than physical reflection. I am indebted to Freeman Dyson for his support of my forays into the foundations of quantum mechanics and, as a tribute to him, make use of his "birds and frogs" metaphor as explained below. I am not suggesting that he would have agreed with my ruminations nor approved of my use of his metaphor. On the other hand, from his writings and my conversations with him, it is clear that Dyson was as dismissive of the measurement problem as Bohr.


title: Transport of dust grain particles in the accretion disk

abstract: Entrainment of dust particles in the flow inside and outside of the proto-planetary disk has implications for the disk evolution and composition of planets. Using quasi-stationary solutions in our star-disk simulations as a background, we add dust particles of different radii in post-processing of the results, using our Python tool DUSTER. The distribution and motion of particles in the disk is followed in the cases with and without the backflow in the disk. We also compare the results with and without the radiation pressure included in the computation.


title: Schur-type Banach modules of integral kernels acting on mixed-norm Lebesgue spaces

abstract: Schur's test states that if $K:X\times Y\to\mathbb{C}$ satisfies $\int_Y |K(x,y)|d\nu(y)\leq C$ and $\int_X |K(x,y)|d\mu(x)\leq C$, then the associated integral operator acts boundedly on $L^p$ for all $p\in [1,\infty]$. We derive a variant of this result ensuring boundedness on the (weighted) mixed-norm Lebesgue spaces $L_w^{p,q}$ for all $p,q\in [1,\infty]$. For non-negative integral kernels our criterion is sharp; i.e., it is satisfied if and only if the integral operator acts boundedly on all of the mixed-norm Lebesgue spaces. Motivated by this criterion, we introduce solid Banach modules $\mathcal{B}_m(X,Y)$ of integral kernels such that all kernels in $\mathcal{B}_m(X,Y)$ map $L_w^{p,q}(\nu)$ boundedly into $L_v^{p,q}(\mu)$ for all $p,q \in [1,\infty]$, provided that the weights $v,w$ are $m$-moderate. Conversely, if $\mathbf{A}$ and $\mathbf{B}$ are solid Banach spaces for which all kernels $K\in\mathcal{B}_m(X,Y)$ map $\mathbf{A}$ into $\mathbf{B}$, then $\mathbf{A}$ and $\mathbf{B}$ are related to mixed-norm Lebesgue-spaces; i.e., $\left(L^1\cap L^\infty\cap L^{1,\infty}\cap L^{\infty,1}\right)_v\hookrightarrow\mathbf{B}$ and $\mathbf{A}\hookrightarrow\left(L^1 + L^\infty + L^{1,\infty} + L^{\infty,1}\right)_{1/w}$ for certain weights $v,w$ depending on the weight $m$. The kernel algebra $\mathcal{B}_m(X,X)$ is particularly suited for applications in (generalized) coorbit theory: Usually, a host of technical conditions need to be verified to guarantee that coorbit space theory is applicable for a given continuous frame $\Psi$ and a Banach space $\mathbf{A}$. We show that it is enough to check that certain integral kernels associated to $\Psi$ belong to $\mathcal{B}_m(X,X)$; this ensures that the coorbit spaces $\operatorname{Co}_\Psi (L_\kappa^{p,q})$ are well-defined for all $p,q\in [1,\infty]$ and all weights $\kappa$ compatible with $m$.


title: Even ordinals and the Kunen inconsistency

abstract: This paper contributes to the theory of large cardinals beyond the Kunen inconsistency, or choiceless large cardinal axioms, in the context where the Axiom of Choice is not assumed. The first part of the paper investigates a periodicity phenomenon: assuming choiceless large cardinal axioms, the properties of the cumulative hierarchy turn out to alternate between even and odd ranks. The second part of the paper explores the structure of ultrafilters under choiceless large cardinal axioms, exploiting the fact that these axioms imply a weak form of the author's Ultrapower Axiom. The third and final part of the paper examines the consistency strength of choiceless large cardinals, including a proof that assuming DC, the existence of an elementary embedding from $V_{\lambda+3}$ to $V_{\lambda+3}$ implies the consistency of ZFC + $I_0$. By a recent result of Schlutzenberg, an elementary embedding from $V_{\lambda+2}$ to $V_{\lambda+2}$ does not suffice.


title: Quantum Garbled Circuits

abstract: We present a garbling scheme for quantum circuits, thus achieving a decomposable randomized encoding scheme for quantum computation. Specifically, we show how to compute an encoding of a given quantum circuit and quantum input, from which it is possible to derive the output of the computation and nothing else. In the classical setting, garbled circuits (and randomized encodings in general) are a versatile cryptographic tool with many applications such as secure multiparty computation, delegated computation, depth-reduction of cryptographic primitives, complexity lower-bounds, and more. However, a quantum analogue for garbling general circuits was not known prior to this work. We hope that our quantum randomized encoding scheme can similarly be useful for applications in quantum computing and cryptography. To illustrate the usefulness of quantum randomized encoding, we use it to design a conceptually-simple zero-knowledge (ZK) proof system for the complexity class $\mathbf{QMA}$. Our protocol has the so-called $\Sigma$ format with a single-bit challenge, and allows the inputs to be delayed to the last round. The only previously-known ZK $\Sigma$-protocol for $\mathbf{QMA}$ is due to Broadbent and Grilo (FOCS 2020), which does not have the aforementioned properties.


title: Higher-dimensional Delta-systems

abstract: We investigate higher-dimensional $\Delta$-systems indexed by finite sets of ordinals, isolating a particular definition thereof and proving a higher-dimensional version of the classical $\Delta$-system lemma. We focus in particular on systems that consist of sets of ordinals, in which case useful order-theoretic uniformities can be ensured. We then present three applications of these higher-dimensional $\Delta$-systems to problems involving the interplay between forcing and partition relations on the reals.


title: Feedback of molecular outflows from protostars in NGC 1333, revealed by Herschel and Spitzer spectro-imaging observations

abstract: Large scale spectral maps of star forming regions enable the comparative study of the gas excitation around an ensemble of sources at a common frame of reference, providing direct insights in the multitude of processes involved. In this paper we employ spectral-line maps to decipher the excitation, the kinematical and dynamical processes in NGC 1333 as revealed by a number of different emission lines, aiming to set a reference for the applicability of tracers in constraining diverse physical processes. We reconstruct line maps for H$_2$ , CO, H$_2$O and C$^+$ using data obtained with the Spitzer-IRS and Herschel HIFI-SPIRE. We compare the morphological features of the maps and derive the gas excitation for regions of interest employing LTE and non-LTE methods. We also calculate the kinematical and dynamical properties for each outflow tracer consistently for all outflows in NGC 1333. We finally measure the water abundance in outflows with respect to carbon monoxide and molecular hydrogen. CO and H$_2$ are highly excited around B-stars and at lower levels trace protostellar outflows. H$_2$O emission is dominated by a moderately fast component associated with outflows. Intermediate J CO lines appear brightest at the locations traced by a narrow H$_2$O component, indicating that beyond the dominating collisional processes, a secondary, radiative excitation component can also be active. The morphology, kinematics, excitation and abundance variations of water are consistent with its excitation and partial dissociation in shocks. Water abundance ranges between 5 x 10$^{-7}$ and 10$^{-5}$, with the lower values being more representative. Water is brightest and most abundant around IRAS 4A which is consistent with the latter hosting a hot corino source. Finally, the outflow mass flux is found highest for CO and decreases by one and two orders of magnitude for H$_2$ and H$_2$O, respectively.


title: Purification Complexity without Purifications

abstract: We generalize the Fubini-Study method for pure-state complexity to generic quantum states by taking Bures metric or quantum Fisher information metric on the space of density matrices as the complexity measure. Due to Uhlmann's theorem, we show that the mixed-state complexity exactly equals the purification complexity measured by the Fubini-Study metric for purified states but without explicitly applying any purification. We also find the purification complexity is non-increasing under any trace-preserving quantum operations. We also study the mixed Gaussian states as an example to explicitly illustrate our conclusions for purification complexity.


title: Potential of the three-terminal heterojunction bipolar transistor solar cell for space applications

abstract: Multi-terminal multi-junction solar cells (MJSC) offer higher efficiency potential than series connected (two-terminal) ones. In addition, for terrestrial applications, the efficiency of multi-terminal solar cells is less sensitive to solar spectral variations than the two-terminal series-connected one. In space, generally, cells are always illuminated with AM0 spectrum and no impact is expected from spectral variations. Still, in space, the multi-terminal approach offers some advantages in comparison with the series-connected architecture approach derived from a higher end of life (EOL) efficiency. In this work we review the potential of multi-terminal solar cells for achieving extended EOL efficiencies with emphasis in the potential of the three-terminal heterojunction bipolar transistor solar cell, a novel multi-terminal MJSC architecture with a simplified structure not requiring, for example, tunnel junctions.


title: Fluctuations of topological charge and chiral density in the early stage of high energy nuclear collisions

abstract: We study systematically the topological charge density and the chiral density correlations in the early stage of high energy nuclear collisions: the intial condition is given by the McLerran-Venugopalan model and the evolution of the gluon fields is studied via the Classical Yang-Mills equations up to proper time $\tau\approx 1$ fm/c for an $SU(2)$ evolving Glasma. Topological charge is related to the gauge invariant $\bm E \cdot \bm B$ where $\bm E$ and $\bm B$ denote the color-electric and color-magnetic fields, while the chiral density is produced via the chiral anomaly of Quantum Chromodynamics. We study how the correlation lengths are related to the collision energy, and how the correlated domains grow up with proper time in the transverse plane for a boost invariant longitudinal expansion. We estimate the correlation lengths of both quantities, that after a short transient results of the order of the typical energy scale of the model, namely the inverse of the saturation scale. We estimate the proper time for the formation of a steady state in which the production of the chiral density in the transverse plane per unit rapidity slows down, as well as the amount of chiral density that would be present at the switch time between the Classical Yang-Mills evolution and the relativistic transport or hydro for the quark-gluon plasma phase.


title: Optomechanical lasers for inertial sensing

abstract: We have developed an inertially sensitive optomechanical laser by combining a Vertical-External-Cavity Surface-Emitting Laser with a monolithic fused silica resonator. By placing the external cavity mirror of the VECSEL onto the optomechanical resonator test mass, we create a sensor where external accelerations are directly transcribed onto the lasing frequency. We developed a proof-of-principle laboratory prototype and observe test mass oscillations at the resonance frequency of the sensor through the VECSEL lasing frequency, 4.18 +/- .03 Hz. In addition, we set up an ancillary heterodyne interferometer to track the motion of the mechanical oscillator's test mass, observing a resonance of 4.194 +/- 0.004 Hz. The interferometer measurements validate the VECSEL results, confirming the feasibility of using optomechanical lasers for inertial sensing.

categories: physics.app-ph physics.ins-det physics.optics quant-ph


title: Microstructure Role in Permanent Magnet Eddy Current Losses

abstract: The impact of granular microstructure in permanent magnets on eddy current losses are investigated. A numerical homogenization procedure for electrical conductivity is defined. Then, an approximated simple analytical model for the homogenized conductivity able to capture the main features of the geometrical and material dependences is derived. Finally eddy current losses analytical calculations are given, and the two asymptotic expressions for losses in the stationary conduction limit and advanced skin effect limit are derived and discussed.


title: 1150 year long ice core record of the Ross Sea Polynya, Antarctica

abstract: Knowledge of the past behavior of Antarctic polynyas such as the Ross and Weddell Seas contributes to the understanding of biological productivity, sea ice production, katabatic and Southern Hemisphere Westerly (SHW) wind strength, Antarctic bottom water (ABW) formation, and marine CO2 sequestration. Previous studies link barium (Ba) marine sedimentation to polynya primary productivity (Bonn et al., 1998; McManus et al., 2002; Pirrung et al., 2008), polynya area to katabatic wind strength and proximal cyclones (Bromwich et al., 1998; Drucker et al., 2011), and highlight the influence of Ross Ice Shelf calving event effects on the Ross Sea Polynya (RSP) (Rhodes et al., 2009). Here we use the RICE ice core, located just 120 km from the Ross Ice Shelf front to capture 1150 years of RSP behavior. We link atmospheric Ba fluctuations to Ba marine sedimentation in the summer Ross Sea Polynya, creating the first deep ice core based RSP proxy. RSP area is currently the smallest ever observed over our 1150-year record, and varied throughout the Little Ice Age with fluctuations in Amundsen Sea Low (ASL) strength related with Ross Sea cyclones. Past RSP reconstructions allow us to predict future responses of RSP area to future climate change, which is of special interest considering the recent disappearance of the Weddell Sea Polynya in response to anthropogenic forcing (de Lavergne et al., 2014).


title: Interlayer magnetism in Fe3-xGeTe2

abstract: Fe$_{3-x}$GeTe$_2$ is a layered van der Waals magnetic material with a relatively high ordering temperature and large anisotropy. While most studies have concluded the interlayer ordering to be ferromagnetic, there have also been reports of interlayer antiferromagnetism in Fe$_{3-x}$GeTe$_2$. Here, we investigate the interlayer magnetic ordering by neutron diffraction experiments, scanning tunneling microscopy (STM) and spin-polarized STM measurements, density functional theory plus U calculations and STM simulations. We conclude that the layers of Fe$_{3-x}$GeTe$_2$ are coupled ferromagnetically and that in order to capture the magnetic and electronic properties of Fe$_{3-x}$GeTe$_2$ within density functional theory, Hubbard U corrections need to be taken into account.


title: Emergence of Separable Manifolds in Deep Language Representations

abstract: Deep neural networks (DNNs) have shown much empirical success in solving perceptual tasks across various cognitive modalities. While they are only loosely inspired by the biological brain, recent studies report considerable similarities between representations extracted from task-optimized DNNs and neural populations in the brain. DNNs have subsequently become a popular model class to infer computational principles underlying complex cognitive functions, and in turn, they have also emerged as a natural testbed for applying methods originally developed to probe information in neural populations. In this work, we utilize mean-field theoretic manifold analysis, a recent technique from computational neuroscience that connects geometry of feature representations with linear separability of classes, to analyze language representations from large-scale contextual embedding models. We explore representations from different model families (BERT, RoBERTa, GPT, etc.) and find evidence for emergence of linguistic manifolds across layer depth (e.g., manifolds for part-of-speech tags), especially in ambiguous data (i.e, words with multiple part-of-speech tags, or part-of-speech classes including many words). In addition, we find that the emergence of linear separability in these manifolds is driven by a combined reduction of manifolds' radius, dimensionality and inter-manifold correlations.


title: Invariant Policy Optimization: Towards Stronger Generalization in Reinforcement Learning

abstract: A fundamental challenge in reinforcement learning is to learn policies that generalize beyond the operating domains experienced during training. In this paper, we approach this challenge through the following invariance principle: an agent must find a representation such that there exists an action-predictor built on top of this representation that is simultaneously optimal across all training domains. Intuitively, the resulting invariant policy enhances generalization by finding causes of successful actions. We propose a novel learning algorithm, Invariant Policy Optimization (IPO), that implements this principle and learns an invariant policy during training. We compare our approach with standard policy gradient methods and demonstrate significant improvements in generalization performance on unseen domains for linear quadratic regulator and grid-world problems, and an example where a robot must learn to open doors with varying physical properties.


title: Chiral two-dimensional periodic blocky materials with elastic interfaces: auxetic and acoustic properties

abstract: Two novel chiral block lattice topologies are here conceived having interesting auxetic and acoustic behavior. The architectured chiral material is made up of a periodic repetition of square or hexagonal rigid and heavy blocks connected by linear elastic interfaces, whose chirality results from an equal rotation of the blocks with respect to the line connecting their centroids. The governing equation of the Lagrangian model is derived and a hermitian eigenproblem is formulated to obtain the frequency band structure. An equivalent micropolar continuum is analytically derived through a standard continualization approach in agreement with the procedure proposed by Bacigalupo and Gambarotta (2017) from which an approximation of the frequency spectrum is derived. Moreover, the overall elastic moduli of the equivalent Cauchy continuum are obtained in closed form via a proper condensation procedure. The parametric analysis involving the overall elastic moduli of the Cauchy equivalent continuum model and the frequency band structure is carried out to catch the influence of the chirality angle and of the ratio between the tangential and normal stiffness of the interface. Finally, it is shown how chirality and interface stiffness may affect strong auxeticity and how the equivalent micropolar model provides dispersion curves in excellent agreement with the current ones for a wide range of the wave vector magnitude.


title: Improving the quality of active millimeter wave standoff imaging by incorporating the cross-polarized scattering

abstract: In this paper, we report a polarimetry-based THz imaging technique that highly benefits from backscatter data reflected from PEC hidden objects, considering the edge diffractions of the object as a key point. First, based on physical optic principles, we investigate the cross-polarized reflections of PEC objects in order to show the superiority of reflections of the edges to other parts of the object. Next, we represent the results of a near filed simulation using Feko to study the differences between cross and co-polarized reflections of a PEC object and the human body beneath it. To a further illustration, our experimental results are presented in which we utilized a THz imaging system consisting of a semiconductor-based THz camera and a horn antenna operating at 100 GHz as the source. Cross-polarized backscatter data is analyzed to distinguish PEC objects from the human body. Besides, we used two orthogonal linear polarizations of the source to maximize backscattering from orthogonal edges. Experimental results show a noticeable improvement in edge detection of hidden objects indicating that this method can result in high accuracy in THz real-time imaging.


title: The multi-phase environment in the centre of Centaurus A

abstract: We study the multi-phase medium in the vicinity of the active galactic nucleus Centaurus A (Cen A). Combined high-resolution observations with the ALMA and Chandra observatories indicate that the hot X-ray emitting plasma coexists with the warm and cold media in Cen A. This complex environment is a source of CO lines with great impact for its diagnostics. We present the images from the two above-mentioned instruments covering the nuclear region (diameter of 10'' i.e., ~180 pc), and we study the conditions for plasma thermal equilibrium and possible coexistence of cool clouds embedded within the hot X-ray emitting gas. Further, we demonstrate that the multi-phase medium originates naturally by the thermal instability (TI) arising due to the interaction of the high-energy radiation field from the nucleus with the ambient gas and dust. We demonstrate that cold gas clouds can coexist in the mutual contact with hot plasma, but even colder dusty molecular clouds have to be distanced by several hundred pc from the hot region. Finally, we propose a 3-D model of the appearance of the hot plasma and the CO line-emitting regions consistent with the Chandra image and we derive the integrated emissivity in specific molecular lines observed by ALMA from this model. To reproduce the observed images and the CO line luminosity the dusty shell has to be ~420 pc thick and located at ~1000 pc from the centre.


title: Topological Mechanics of Micromorphic Metamaterials

abstract: The topological mechanics is a perfect tool that can bridge the gap between the quantum and Newtonian physics and mechanics of materials. It requires discrete models of the material with analogies with the topological characteristics of quantum matter. Despite bridging this gap using continuous models of matter would seem challenging, we demonstrate here this possibility. We demonstrate the bridging of the quantum-continuum mechanics gap by studying the topological mechanics of metamaterials based on the micromorphic theory. A general micromorphic model of metamaterials is developed and used to study their topological characteristics. The conditions of the band-gaps, band localization, and band inversion are defined. Whereas closing the band-gap of topological insulator is obviously due to band localization, we demonstrate a mechanism of closing the band-gap with no band localization. In addition, despite the fact that the band inversion of many topological insulators cannot be completed without closing the gap, we demonstrate a case of optical band inversion with no gap closing. We foresee that the exceptional topological characteristics of metamaterials explored here will help in the design of advanced topological insulators, and open new venues of the implementations of topological insulators in mechanical applications.


title: Analog ensemble data assimilation and a method for constructing analogs with variational autoencoders

abstract: It is proposed to use analogs of the forecast mean to generate an ensemble of perturbations for use in ensemble optimal interpolation (EnOI) or ensemble variational (EnVar) methods. A new method of constructing analogs using variational autoencoders (VAEs; a machine learning method) is proposed. The resulting analog methods using analogs from a catalog (AnEnOI), and using constructed analogs (cAnEnOI), are tested in the context of a multiscale Lorenz-`96 model, with standard EnOI and an ensemble square root filter for comparison. The use of analogs from a modestly-sized catalog is shown to improve the performance of EnOI, with limited marginal improvements resulting from increases in the catalog size. The method using constructed analogs (cAnEnOI) is found to perform as well as a full ensemble square root filter, and to be robust over a wide range of tuning parameters.


title: Masses for the seven planets in K2-32 and K2-233. Four diverse planets in resonant chain and the first young rocky worlds

abstract: High-precision planetary densities are key to derive robust atmospheric properties for extrasolar planets. Measuring precise masses is the most challenging part, especially in multi-planetary systems. We measure the masses and densities of a four-planet near resonant chain system (K2-32), and a young ($\sim400$ Myr old) planetary system consisting of three close-in small planets (K2-233). We obtained 199 new HARPS observations for K2-32 and 124 for K2-233 covering a more than three year baseline. We find that K2-32 is a compact scaled-down version of the Solar System's architecture, with a small rocky inner planet (M$_e=2.1^{+1.3}_{-1.1}$~M$_{\oplus}$, P$_e\sim4.35$~days) followed by an inflated Neptune-mass planet (M$_b=15.0^{+1.8}_{-1.7}$~M$_{\oplus}$, P$_b\sim8.99$~days) and two external sub-Neptunes (M$_c=8.1\pm2.4$~M$_{\oplus}$, P$_c\sim20.66$~days; M$_d=6.7\pm2.5$~M$_{\oplus}$, P$_d\sim31.72$~days). K2-32 becomes one of the few multi-planetary systems with four or more planets known with measured masses and radii. Additionally, we constrain the masses of the three planets in K2-233. For the two inner Earth-size planets we constrain their masses to be smaller than M$_b<11.3$ M$_{\oplus}$ (P$_b\sim2.47$~days), M$_c<12.8$ M$_{\oplus}$ (P$_c\sim7.06$~days). The outer planet is a sub-Neptune size planet with an inferred mass of M$_d=8.3^{+5.2}_{-4.7}$ M$_{\oplus}$ (M$_d<21.1$ M$_{\oplus}$, P$_d\sim24.36$~days). Our observations of these two planetary systems confirm for the first time the rocky nature of two planets orbiting a young star, with relatively short orbital periods ($<7$ days). They provide key information for planet formation and evolution models of telluric planets. Additionally, the Neptune-like derived masses of the three planets K2-32 b, c, d puts them in a relatively unexplored regime of incident flux and planet mass, key for transmission spectroscopy studies.


title: Periodicity in the cumulative hierarchy

abstract: We investigate the structure of rank-to-rank elementary embeddings, working in ZF set theory without the Axiom of Choice. Recall that the levels $V_\alpha$ of the cumulative hierarchy are defined via iterated application of the power set operation, starting from $V_0=\emptyset$, and taking unions at limit stages. Assuming that $j:V_{\alpha+1}\to V_{\alpha+1}$ is a (non-trivial) elementary embedding, we show that the structure of $V_\alpha$ is fundamentally different to that of $V_{\alpha+1}$. We show that $j$ is definable from parameters over $V_{\alpha+1}$ iff $\alpha+1$ is an odd ordinal. Moreover, if $\alpha+1$ is odd then $j$ is definable over $V_{\alpha+1}$ from the parameter $j`` V_{\alpha}=\{j(x)\bigm|x\in V_\alpha\}$, and uniformly so. This parameter is optimal in that $j$ is not definable from any parameter which is an element of $V_\alpha$. In the case that $\alpha=\beta+1$, we also give a characterization of such $j$ in terms of ultrapower maps via certain ultrafilters. Assuming $\lambda$ is a limit ordinal, we prove that if $j:V_\lambda\to V_\lambda$ is $\Sigma_1$-elementary, then $j$ is not definable over $V_\lambda$ from parameters, and if $\beta<\lambda$ and $j:V_\beta\to V_\lambda$ is fully elementary and $\in$-cofinal, then $j$ is likewise not definable; note that this last result is relevant to embeddings of much lower consistency strength than rank-to-rank. If there is a Reinhardt cardinal, then for all sufficiently large ordinals $\alpha$, there is indeed an elementary $j:V_\alpha\to V_\alpha$, and therefore the cumulative hierarchy is eventually periodic (with period 2).


title: Uncertainty-Aware Resource Provisioning for Network Slicing

abstract: Network slicing allows Mobile Network Operators to split the physical infrastructure into isolated virtual networks (slices), managed by Service Providers to accommodate customized services. The Service Function Chains (SFCs) belonging to a slice are usually deployed on a best-effort premise: nothing guarantees that network infrastructure resources will be sufficient to support a varying number of users, each with uncertain requirements. Taking the perspective of a network Infrastructure Provider (InP), this paper proposes a resource provisioning approach for slices, robust to a partly unknown number of users with random usage of the slice resources. The provisioning scheme aims to maximize the total earnings of the InP, while providing a probabilistic guarantee that the amount of provisioned network resources will meet the slice requirements. Moreover, the proposed provisioning approach is performed so as to limit its impact on low-priority background services, which may co-exist with slices in the infrastructure network. A Mixed Integer Linear Programming formulation of the slice resource provisioning problem is proposed. Optimal joint and suboptimal sequential solutions are proposed. These solutions are compared to a provisioning scheme that does not account for best-effort services sharing the common infrastructure network.


title: Modified cosmology through spacetime thermodynamics and Barrow horizon entropy

abstract: We present modified cosmological scenarios that arise from the application of the "gravity-thermodynamics" conjecture, using the Barrow entropy instead of the usual Bekenstein-Hawking one. The former is a modification of the black hole entropy due to quantum-gravitational effects that deform the black-hole horizon by giving it an intricate, fractal structure. We extract modified cosmological equations which contain new extra terms that constitute an effective dark-energy sector, and which coincide with the usual Friedmann equations in the case where the new Barrow exponent acquires its Bekenstein-Hawking value. We present analytical expressions for the evolution of the effective dark energy density parameter, and we show that the universe undergoes through the usual matter and dark-energy epochs. Additionally, the dark-energy equation-of-state parameter is affected by the value of the Barrow deformation exponent and it can lie in the quintessence or phantom regime, or experience the phantom-divide crossing. Finally, at asymptotically large times the universe always results in the de-Sitter solution.


title: Exit Time Analysis for Approximations of Gradient Descent Trajectories Around Saddle Points

abstract: This paper considers the problem of understanding the exit time for trajectories of gradient-related first-order methods from saddle neighborhoods under some initial boundary conditions. Given the 'flat' geometry around saddle points, first-order methods can struggle to escape these regions in a fast manner due to the small magnitudes of gradients encountered. In particular, while it is known that gradient-related first-order methods escape strict-saddle neighborhoods, existing analytic techniques do not explicitly leverage the local geometry around saddle points in order to control behavior of gradient trajectories. It is in this context that this paper puts forth a rigorous geometric analysis of the gradient-descent method around strict-saddle neighborhoods using matrix perturbation theory. In doing so, it provides a key result that can be used to generate an approximate gradient trajectory for any given initial conditions. In addition, the analysis leads to a linear exit-time solution for gradient-descent method under certain necessary initial conditions, which explicitly bring out the dependence on problem dimension, conditioning of the saddle neighborhood, and more, for a class of strict-saddle functions.


title: Model-Based Reinforcement Learning with Value-Targeted Regression

abstract: This paper studies model-based reinforcement learning (RL) for regret minimization. We focus on finite-horizon episodic RL where the transition model $P$ belongs to a known family of models $\mathcal{P}$, a special case of which is when models in $\mathcal{P}$ take the form of linear mixtures: $P_{\theta} = \sum_{i=1}^{d} \theta_{i}P_{i}$. We propose a model based RL algorithm that is based on optimism principle: In each episode, the set of models that are `consistent' with the data collected is constructed. The criterion of consistency is based on the total squared error of that the model incurs on the task of predicting \emph{values} as determined by the last value estimate along the transitions. The next value function is then chosen by solving the optimistic planning problem with the constructed set of models. We derive a bound on the regret, which, in the special case of linear mixtures, the regret bound takes the form $\tilde{\mathcal{O}}(d\sqrt{H^{3}T})$, where $H$, $T$ and $d$ are the horizon, total number of steps and dimension of $\theta$, respectively. In particular, this regret bound is independent of the total number of states or actions, and is close to a lower bound $\Omega(\sqrt{HdT})$. For a general model family $\mathcal{P}$, the regret bound is derived using the notion of the so-called Eluder dimension proposed by Russo & Van Roy (2014).


title: Dynamic tuning of the director field in liquid crystal shells using block copolymers

abstract: When a nematic liquid crystal (LC) is confined on a self-closing spherical shell, topological constraints arise with intriguing consequences that depend critically on how the LC is aligned in the shell. We demonstrate reversible dynamic tuning of the alignment, and thereby the topology, of nematic LC shells stabilized by the nonionic amphiphilic block copolymer Pluronic F127. Deep in the nematic phase, the director is tangential to the interface, but upon approaching the temperature TNI of the nematic-isotropic transition, the director realigns to normal. We link this to a delicate interplay between an interfacial tension that is nearly independent of director orientation, and the configuration-dependent elastic deformation energy of an LC confined in a shell. The process is primarily triggered by the heating-induced reduction of the nematic order parameter, hence realignment temperatures differ by several tens of degrees between LCs with high and low TNI, respectively. The temperature of realignment is always lower on the positive-curved shell outside than at the negative-curved inside, yielding a complex topological reconfiguration on heating. Complementing experimental investigations with mathematical modeling and computer simulations, we identify and investigate three different trajectories, distinguished by their configurations of topological defects in the initial tangential-aligned shell. Our results uncover a new aspect of the complex response of LCs to curved confinement, demonstrating that the order of the LC itself can influence the alignment and thereby the topology of the system. They also reveal the potential of amphiphilic block copolymer stabilizers for enabling continuous tunability of LC shell configuration, opening doors for in-depth studies of topological dynamics as well as novel applications in, e.g., sensing and programmed soft actuators.


title: Collision Probabilities for Continuous-Time Systems Without Sampling [with Appendices]

abstract: Demand for high-performance, robust, and safe autonomous systems has grown substantially in recent years. These objectives motivate the desire for efficient safety-theoretic reasoning that can be embedded in core decision-making tasks such as motion planning, particularly in constrained environments. On one hand, Monte-Carlo (MC) and other sampling-based techniques provide accurate collision probability estimates for a wide variety of motion models but are cumbersome in the context of continuous optimization. On the other, "direct" approximations aim to compute (or upper-bound) the failure probability as a smooth function of the decision variables, and thus are convenient for optimization. However, existing direct approaches fundamentally assume discrete-time dynamics and can perform unpredictably when applied to continuous-time systems ubiquitous in the real world, often manifesting as severe conservatism. State-of-the-art attempts to address this within a conventional discrete-time framework require additional Gaussianity approximations that ultimately produce inconsistency of their own. In this paper we take a fundamentally different approach, deriving a risk approximation framework directly in continuous time and producing a lightweight estimate that actually converges as the underlying discretization is refined. Our approximation is shown to significantly outperform state-of-the-art techniques in replicating the MC estimate while maintaining the functional and computational benefits of a direct method. This enables robust, risk-aware, continuous motion-planning for a broad class of nonlinear and/or partially-observable systems.


title: Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas

abstract: We demonstrate a reinforcement learning agent which uses a compositional recurrent neural network that takes as input an LTL formula and determines satisfying actions. The input LTL formulas have never been seen before, yet the network performs zero-shot generalization to satisfy them. This is a novel form of multi-task learning for RL agents where agents learn from one diverse set of tasks and generalize to a new set of diverse tasks. The formulation of the network enables this capacity to generalize. We demonstrate this ability in two domains. In a symbolic domain, the agent finds a sequence of letters that is accepted. In a Minecraft-like environment, the agent finds a sequence of actions that conform to the formula. While prior work could learn to execute one formula reliably given examples of that formula, we demonstrate how to encode all formulas reliably. This could form the basis of new multitask agents that discover sub-tasks and execute them without any additional training, as well as the agents which follow more complex linguistic commands. The structures required for this generalization are specific to LTL formulas, which opens up an interesting theoretical question: what structures are required in neural networks for zero-shot generalization to different logics?


title: Higher-Order Topological Instanton Tunneling Oscillation

abstract: We propose a new type of instanton interference effect in two-dimensional higher-order topological insulators. The intercorner tunneling consists of the instanton and the anti-instanton pairs that travel through the boundary of the higher-order topological insulator. The Berry phase difference between the instanton pairs causes the interference of the tunneling. This topological effect leads to the gate-tunable oscillation of the energy splitting between the corner states, where the oscillatory nodes signal the perfect suppression of the tunneling. We suggest this phenomenon as a unique feature of the topological corner states that differentiate from trivial bound states. In the view of experimental realization, we exemplify twisted bilayer graphene, as a promising candidate of a two-dimensional higher-order topological insulator. The oscillation can be readily observed through the transport experiment that we propose. Thus, our work provides a feasible route to identify higher-order topological materials.


title: Cascaded Text Generation with Markov Transformers

abstract: The two dominant approaches to neural text generation are fully autoregressive models, using serial beam search decoding, and non-autoregressive models, using parallel decoding with no output dependencies. This work proposes an autoregressive model with sub-linear parallel time generation. Noting that conditional random fields with bounded context can be decoded in parallel, we propose an efficient cascaded decoding approach for generating high-quality output. To parameterize this cascade, we introduce a Markov transformer, a variant of the popular fully autoregressive model that allows us to simultaneously decode with specific autoregressive context cutoffs. This approach requires only a small modification from standard autoregressive training, while showing competitive accuracy/speed tradeoff compared to existing methods on five machine translation datasets.


title: Chemical Abundances in Active Galaxies

abstract: The Sloan Digital Sky Survey (SDSS) has proved to be a powerful resource for understanding the physical properties and chemical composition of star-forming galaxies in the local universe. The SDSS population of active galactic nuclei (AGN) remains as of yet less explored in this capacity. To extend the rigorous study of \ion{H}{ii} regions in the SDSS to AGN, we adapt methods for computing direct-method chemical abundances for application to the narrow-line regions (NLR) of AGN. By accounting for triply-ionized oxygen, we are able to more completely estimate the total oxygen abundance. We find a strong correlation between electron temperature and oxygen abundance due to collisional cooling by metals. Furthermore, we find that nitrogen and oxygen abundances in AGN are strongly correlated. From the metal-temperature relation and the coupling of nitrogen and oxygen abundances, we develop a new, empirically and physically motivated method for determining chemical abundances from the strong emission lines commonly employed in flux-ratio diagnostic diagrams (BPT diagrams). Our approach, which for AGN reduces to a single equation based on the BPT line ratios, consistently recovers direct-method abundances over a 1.5 dex range in oxygen abundance with an rms uncertainty of 0.18 dex. We have determined metallicities for thousands of AGN in the SDSS, and in the process have discovered an ionization-related discriminator for Seyfert and LINER galaxies.


title: An Accreting, Anomalously Low Mass Black Hole at the Center of Low Mass Galaxy IC 750

abstract: We present a multi-wavelength study of the active galactic nucleus in the nearby ($D=14.1$ Mpc) low mass galaxy IC 750, which has circumnuclear 22 GHz water maser emission. The masers trace a nearly edge-on, warped disk $\sim$0.2 pc in diameter, coincident with the compact nuclear X-ray source which lies at the base of the $\sim$kpc-scale extended X-ray emission. The position-velocity structure of the maser emission indicates the central black hole (BH) has a mass less than $1.4 \times 10^5~M_\odot$. Keplerian rotation curves fitted to these data yield enclosed masses between $4.1 \times 10^4~M_\odot$ and $1.4 \times 10^5~M_\odot$, with a mode of $7.2 \times 10^4~M_\odot$. Fitting the optical spectrum, we measure a nuclear stellar velocity dispersion $\sigma_* = 110.7^{+12.1}_{-13.4}$~{\rm km~s}$^{-1}.$ From near-infrared photometry, we fit a bulge mass of $(7.3 \pm 2.7) \times 10^8~M_\odot$ and a stellar mass of $1.4 \times 10^{10}~M_\odot$. The mass upper limit of the intermediate mass black hole in IC 750 falls roughly two orders of magnitude below the $M_{\rm BH}-\sigma_*$ relation and roughly one order of magnitude below the $M_{\rm BH}-M_{\rm Bulge}$ and $M_{\rm BH}-M_*$ relations -- larger than the relations' intrinsic scatters of (0.58 $\pm$ 0.09) dex, 0.69 dex, and (0.65 $\pm$ 0.09) dex, respectively. These offsets could be due to larger scatter at the low mass end of these relations. Alternatively, black hole growth is intrinsically inefficient in galaxies with low bulge and/or stellar masses, which causes the black holes to be under-massive relative to their hosts, as predicted by some galaxy evolution simulations.


title: Chemical trends of deep levels in van der Waals semiconductors

abstract: Properties of semiconductors are largely defined by crystal imperfections including native defects. Van der Waals (vdW) semiconductors, a newly emerged class of materials, are no exception: defects exist even in the purest materials and strongly affect their electrical, optical, magnetic, catalytic and sensing properties. However, unlike conventional semiconductors where energy levels of defects are well documented, they are experimentally unknown in even the best studied vdW semiconductors, impeding the understanding and utilization of these materials. Here, we directly evaluate deep levels and their chemical trends in the bandgap of MoS2, WS2 and their alloys by transient spectroscopic study. One of the deep levels is found to follow the conduction band minimum of each host, attributed to the native sulfur vacancy. A switchable, DX center - like deep level has also been identified, whose energy lines up instead on a fixed level across different hosts, explaining a persistent photoconductivity above 400K.


title: Partitioning digraphs with outdegree at least 4

abstract: Scott asked the question of determining $c_d$ such that if $D$ is a digraph with $m$ arcs and minimum outdegree $d\ge 2$ then $V(D)$ has a partition $V_1, V_2$ such that $\min\left\{e(V_1,V_2),e(V_2, V_1)\right\}\geq c_dm$, where $e(V_1,V_2)$ (respectively, $e(V_2,V_1)$) is the number of arcs from $V_1$ to $V_2$ (respectively, from $V_2$ to $V_1$). Lee, Loh, and Sudakov showed that $c_2=1/6+o(1)$ and $c_3=1/5+o(1)$, and conjectured that $c_d= \frac{d-1}{2(2d-1)}+o(1)$ for $d\ge 4$. In this paper, we show $c_4=3/14+o(1)$ and prove some partial results for $d\ge 5$.


title: NSTM: Real-Time Query-Driven News Overview Composition at Bloomberg

abstract: Millions of news articles from hundreds of thousands of sources around the globe appear in news aggregators every day. Consuming such a volume of news presents an almost insurmountable challenge. For example, a reader searching on Bloomberg's system for news about the U.K. would find 10,000 articles on a typical day. Apple Inc., the world's most journalistically covered company, garners around 1,800 news articles a day. We realized that a new kind of summarization engine was needed, one that would condense large volumes of news into short, easy to absorb points. The system would filter out noise and duplicates to identify and summarize key news about companies, countries or markets. When given a user query, Bloomberg's solution, Key News Themes (or NSTM), leverages state-of-the-art semantic clustering techniques and novel summarization methods to produce comprehensive, yet concise, digests to dramatically simplify the news consumption process. NSTM is available to hundreds of thousands of readers around the world and serves thousands of requests daily with sub-second latency. At ACL 2020, we will present a demo of NSTM.


title: Bidirectional dynamic scaling in an isolated Bose gas far from equilibrium

abstract: Understanding and classifying nonequilibrium many-body phenomena, analogous to the classification of equilibrium states of matter into universality classes, is an outstanding problem in physics. Any many-body system, from stellar matter to financial markets, can be out of equilibrium in a myriad of ways; since many are also difficult to experiment on, it is a major goal to establish universal principles that apply to different phenomena and physical systems. At the heart of the classification of equilibrium states is the universality seen in the self-similar spatial scaling of systems close to phase transitions. Recent theoretical work, and first experimental evidence, suggest that isolated many-body systems far from equilibrium generically exhibit dynamic (spatiotemporal) self-similar scaling, akin to turbulent cascades and the Family-Vicsek scaling in classical surface growth. Here we observe bidirectional dynamic scaling in an isolated quench-cooled atomic Bose gas; as the gas thermalises and undergoes Bose-Einstein condensation, it shows self-similar net flows of particles towards the infrared (smaller momenta) and energy towards the ultraviolet (smaller lengthscales). For both infrared (IR) and ultraviolet (UV) dynamics we find that the scaling exponents are independent of the strength of the interparticle interactions that drive the thermalisation.

categories: cond-mat.quant-gas cond-mat.stat-mech hep-ph physics.atom-ph quant-ph


title: Choice principles in local mantles

abstract: Assume ZFC. Let $\kappa$ be a cardinal. A ${<\kappa}$-ground is a transitive proper class $W$ modelling ZFC and such that $V$ is a generic extension of $W$ via a forcing $\mathbb{P}\in W$ of cardinality ${<\kappa}$. The $\kappa$-mantle is the intersection of all ${<\kappa}$-grounds. We prove that certain partial choice principles in the $\kappa$-mantle are the consequence of $\kappa$ being inaccessible/weakly compact, and some other related facts.


title: The force on a body moving in an inviscid fluid

abstract: This paper presents some novel contributions to the theory of inviscid flow regarding the forces exerted on a body moving through such a fluid in two dimensions. It is argued that acceleration of the body corresponds to vorticity generation that is independent of the instantaneous velocity of the body and thus the boundary condition on the normal velocity. The strength of the vortex sheet representing the body retains a degree of freedom that represents the net effect of the tangential boundary condition associated with the viscous flow governed by the higher-order Navier-Stokes equations. This degree of freedom is the circulation of the vorticity generated by the acceleration of the body. Equivalently, it is the net circulation around a contour enclosing the body and any shed vorticity. In accordance with Kelvin's circulation theorem, a non-zero value of the circulation around this system is necessarily communicated to infinity. This contrasts with the usual acceptance of the theorem as requiring this circulation to be zero at all times; a condition that is incapable of capturing the effect of newly generated vorticity on the body surface when it accelerates. Additionally, the usual boundary condition of continuity of normal velocity is relaxed to allow for fluid entrainment into surfaces of discontinuity that represent the mass contained within the viscous layers of the physical problem. The generalized force calculation is presented in detail. The importance of the vorticity generation due to body acceleration is demonstrated on some modeled problems relevant to biological propulsion.


title: Adding decoherence to the Wigner equation

abstract: Starting from the detailed description of the single-collision decoherence mechanism proposed by Adami, Hauray and Negulescu, we derive a Wigner equation endowed with a decoherence term of a fairly general form. This equation is shown to contain well known decoherence models, such as the Wigner-Fokker-Planck equation, as particular cases. The effect of the decoherence mechanism on the dynamics of the macroscopic moments (density, current, energy) is illustrated by deriving the corresponding set of balance laws. The issue of large-time asymptotics of our model is addressed in the particular, although physically relevant, case of gaussian solutions. It is shown that the addition of a Caldeira-Legget friction term provides the asymptotic behaviour that one expects on the basis of physical considerations.


title: On "mixed" modular equations of degree 21

abstract: In the proposed work, we establish a total of six new $P$--$Q$ modular equations involving theta--function $f(-q)$ with moduli of orders 1, 3, 7 and 21.These equations can be regarded as modular identities in the alternate theory of signature 3. As a consequence, several values of quotients of theta--function are evaluated.


title: Optical spectroscopy and photometry of main-belt asteroids with a high orbital inclination

abstract: We carried out low-resolution optical spectroscopy of 51 main-belt asteroids, most of which have highly-inclined orbits. They are selected from D-type candidates in the SDSS-MOC 4 catalog. Using the University of Hawaii 2.2 m telescope and the Inter-University Centre for Astronomy and Astrophysics 2 m telescope in India, we determined the spectral types of 38 asteroids. Among them, eight asteroids were classified as D-type asteroids. Fractions of D-type asteroids are 3.0+/-1.1 for low orbital inclination main-belt asteroids and 7.3+/-2.0 for high orbital inclination main-belt asteroids. The results of our study indicate that some D-type asteroids were formed within the ecliptic region between the main belt and Jupiter, and were then perturbed by Jupiter.


title: High-Resolution Spectroscopy of Winds Associated with T Tauri Stars

abstract: We carried out optical high-resolution spectroscopy of T Tauri stars using the Subaru Telescope. Using archived data from the Keck Telescope and the Very Large Telescope, we detected forbidden lines of [S II] at 4069 A, in addition to those of [O I] at 5577 A and 6300 A, for 13 T Tauri stars. We consider that low-velocity components of these forbidden lines emanate from the wind associated with T Tauri stars. Using two flux ratios of the three lines, we simultaneously determined the hydrogen density and temperature of the winds. The winds of T Tauri stars have a hydrogen density of $2.5 \times 10^{6}$ cm$^{-3}$ - $2.5 \times 10^{9}$ cm$^{-3}$ and a temperature of 10800 -18000 K. The mass loss rates by the wind are estimated to lie in the range from $2.0 \times 10^{-10}$ M$_{\odot}$ yr$^{-1}$ to $1.4 \times 10^{-9}$ M$_{\odot}$ yr$^{-1}$. The mass loss rates are found to increase with increasing mass accretion rates. The ratio of the mass loss rate to the mass accretion rate is 0.001-0.1 for classical T Tauri stars and 0.1-1 for transitional disk objects.


title: Neural Network-Aided BCJR Algorithm for Joint Symbol Detection and Channel Decoding

abstract: Recently, deep learning-assisted communication systems have achieved many eye-catching results and attracted more and more researchers in this emerging field. Instead of completely replacing the functional blocks of communication systems with neural networks, a hybrid manner of BCJRNet symbol detection is proposed to combine the advantages of the BCJR algorithm and neural networks. However, its separate block design not only degrades the system performance but also results in additional hardware complexity. In this work, we propose a BCJR receiver for joint symbol detection and channel decoding. It can simultaneously utilize the trellis diagram and channel state information for a more accurate calculation of branch probability and thus achieve global optimum with 2.3 dB gain over separate block design. Furthermore, a dedicated neural network model is proposed to replace the channel-model-based computation of the BCJR receiver, which can avoid the requirements of perfect CSI and is more robust under CSI uncertainty with 1.0 dB gain.


title: Constructive description of Hardy-Sobolev spaces in strictly pseudoconvex domains with minimal smoothness

abstract: Let $\Omega\subset\mathbb{C}^n$ be a strictly pseudoconvex Runge domain with $C^2$-smooth defining function, $l\in\mathbb{N},$ $p\in(1,\infty).$ We prove that the holomorphic function $f$ has derivatives of order $l$ in $H^p(\Omega)$ if and only if there exists a sequence on polynomials $P_n$ of degree $n$ such that $\sum\limits_{k=1}^{\infty}2^{2lk}\left\lvert f(z)-P_{2^k}(z) \right\rvert^2\in L^p(\partial\Omega).$


title: Filling in pattern designs for incomplete pairwise comparison matrices: (quasi-)regular graphs with minimal diameter

abstract: Multicriteria Decision Making problems are important both for individuals and groups. Pairwise comparisons have become popular in the theory and practice of preference modelling and quantification. We focus on decision problems where the set of pairwise comparisons can be chosen, i.e., it is not given a priori. The objective of this paper is to provide recommendations for filling patterns of incomplete pairwise comparison matrices (PCMs) based on their graph representation. Regularity means that each item is compared to others for the same number of times, resulting in a kind of symmetry. A graph on an odd number of vertices is called quasi-regular, if the degree of every vertex is the same odd number, except for one vertex whose degree is larger by one. If there is a pair of items such that their shortest connecting path is very long, the comparison between these two items relies on many intermediate comparisons, and is possibly biased by all of their errors. Such an example was previously found, where the graph generated from the table tennis players' matches included a long shortest path between two vertices (players), and the calculated result appeared to be misleading. If the diameter of the graph of comparisons is low as possible (among the graphs of the same number of edges), we can avoid, or, at least decrease, such cumulated errors. The aim of our research is to find graphs, among regular and quasi-regular ones, with minimal diameter. Both theorists and practitioners can use the results, given in several formats in the appendix: graph, adjacency matrix, list of edges.


title: Introducing temporal behavior to computing science

abstract: The abstraction introduced by von Neumann correctly reflected the state of the art 70 years ago. Although it omitted data transmission time between components of the computer, it served as an excellent base for classic computing for decades. Modern computer components and architectures, however, require to consider their temporal behavior: data transmission time in contemporary systems may be higher than their processing time. Using the classic paradigm leaves some issues unexplained, from enormously high power consumption to days-long training of artificial neural networks to failures of some cutting-edge supercomputer projects. The paper introduces the up to now missing timely behavior (a temporal logic) into computing, while keeps the solid computing science base. The careful analysis discovers that with considering the timely behavior of components and architectural principles, the mystic issues have a trivial explanation. Some classic design principles must be revised, and the temporal logic enables us to design a more powerful and efficient computing.


title: H\"older regularity for quasilinear parabolic equations with anisotropic $p$-Laplace nonlinearity -- Announcement

abstract: We announce some new results for proving H\"older continuity of weak solutions to quasilinear parabolic equations whose prototype takes the form $$u_t - div (|\nabla u|^{p-2}\nabla u)= 0 \qquad \text{or} \qquad u_t - div (|u_{x_1}|^{p_1-2}u_{x_1},|u_{x_2}|^{p_2-2}u_{x_2},\ldots |u_{x_N}|^{p_N-2}u_{x_N})=0$$ and $1<\{p_1,p_2,\ldots,p_N\}<\infty$. We develop a new technique which is independent of the "method of intrinsic scaling" developed by E.DiBenedetto in the degenerate case ($p\geq 2$) and E.DiBenedetto and Y.Z.Chen in the singular case ($p\leq 2$) and instead uses a new and elementary linearisation procedure to handle the nonlinearity.


title: Theory and Algorithms for Shapelet-based Multiple-Instance Learning

abstract: We propose a new formulation of Multiple-Instance Learning (MIL), in which a unit of data consists of a set of instances called a bag. The goal is to find a good classifier of bags based on the similarity with a "shapelet" (or pattern), where the similarity of a bag with a shapelet is the maximum similarity of instances in the bag. In previous work, some of the training instances are chosen as shapelets with no theoretical justification. In our formulation, we use all possible, and thus infinitely many shapelets, resulting in a richer class of classifiers. We show that the formulation is tractable, that is, it can be reduced through Linear Programming Boosting (LPBoost) to Difference of Convex (DC) programs of finite (actually polynomial) size. Our theoretical result also gives justification to the heuristics of some of the previous work. The time complexity of the proposed algorithm highly depends on the size of the set of all instances in the training sample. To apply to the data containing a large number of instances, we also propose a heuristic option of the algorithm without the loss of the theoretical guarantee. Our empirical study demonstrates that our algorithm uniformly works for Shapelet Learning tasks on time-series classification and various MIL tasks with comparable accuracy to the existing methods. Moreover, we show that the proposed heuristics allow us to achieve the result with reasonable computational time.


title: NLP Scholar: An Interactive Visual Explorer for Natural Language Processing Literature

abstract: As part of the NLP Scholar project, we created a single unified dataset of NLP papers and their meta-information (including citation numbers), by extracting and aligning information from the ACL Anthology and Google Scholar. In this paper, we describe several interconnected interactive visualizations (dashboards) that present various aspects of the data. Clicking on an item within a visualization or entering query terms in the search boxes filters the data in all visualizations in the dashboard. This allows users to search for papers in the area of their interest, published within specific time periods, published by specified authors, etc. The interactive visualizations presented here, and the associated dataset of papers mapped to citations, have additional uses as well including understanding how the field is growing (both overall and across sub-areas), as well as quantifying the impact of different types of papers on subsequent publications.


title: Formulas for sums of powers of integers and their reciprocals

abstract: This paper gives new explicit formulas for sums of powers of integers and their reciprocals.


title: Lie symmetries and singularity analysis for generalized shallow-water equations

abstract: We perform a complete study by using the theory of invariant point transformations and the singularity analysis for the generalized Camassa-Holm equation and the generalized Benjamin-Bono-Mahoney equation. From the Lie theory we find that the two equations are invariant under the same three-dimensional Lie algebra which is the same Lie algebra admitted by the Camassa-Holm equation. We determine the one-dimensional optimal system for the admitted Lie symmetries and we perform a complete classification of the similarity solutions for the two equations of our study. The reduced equations are studied by using the point symmetries or the singularity analysis. Finally, the singularity analysis is directly applied on the partial differential equations from where we infer that the generalized equations of our study pass the singularity test and are integrable.


title: Bimodules of Banach space nest algebras

abstract: We extend to Banach space nest algebras the theory of essential supports and support function pairs of their bimodules, thereby obtaining Banach space counterparts of long established results for Hilbert space nest algebras. Namely, given a Banach space nest algebra $\mathcal A$, we charaterise the maximal and the minimal $\mathcal A$-bimodules having a given essential support function or support function pair. These characterisations are complete except for the minimal $\mathcal A$-bimodule corresponding to a support function pair, in which case we make some headway. We also show that the weakly closed bimodules of a Banach space nest algebra are exactly those that are reflexive operator spaces. To this end, we crucially prove that reflexive bimodules determine uniquely a certain class of admissible support functions.


title: Brainstorming about the geometric structures in the Wolfram model of fundamental physics

abstract: In this essay, we explore the geometric structures involved in the Wolfram model of fundamental physics. Furthermore, we propose some directions of research aiming to get the bosons and fermions out of this framework.


title: On the normal form of the Kirchhoff equation

abstract: Consider the Kirchhoff equation $$ \partial_{tt} u - \Delta u \Big( 1 + \int_{\mathbb{T}^d} |\nabla u|^2 \Big) = 0 $$ on the $d$-dimensional torus $\mathbb{T}^d$. In a previous paper we proved that, after a first step of quasilinear normal form, the resonant cubic terms show an integrable behavior, namely they give no contribution to the energy estimates. This leads to the question whether the same structure also emerges at the next steps of normal form. In this paper, we perform the second step and give a negative answer to the previous question: the quintic resonant terms give a nonzero contribution to the energy estimates. This is not only a formal calculation, as we prove that the normal form transformation is bounded between Sobolev spaces.


title: The focusing NLS equation with step-like oscillating background: asymptotics in a transition zone

abstract: In a recent paper, we presented scenarios of long-time asymptotics for a solution of the focusing nonlinear Schr\"odinger equation whose initial data approach two different plane waves $A_j\mathrm{e}^{\mathrm{i}\phi_j}\mathrm{e}^{-2\mathrm{i}B_jx}$, $j=1,2$ at minus and plus infinity. In the shock case $B_1<B_2$ some scenarios include sectors of genus $3$, that is sectors $\xi_1<\xi<\xi_2$, $\xi:=\frac{x}{t}$ where the leading term of the asymptotics is expressed in terms of hyperelliptic functions attached to a Riemann surface $M(\xi)$ of genus $3$. The long-time asymptotic analysis in such a sector is performed in another recent paper. The present paper deals with the asymptotic analysis in a transition zone between two genus $3$ sectors $\xi_1<\xi<\xi_0$ and $\xi_0<\xi<\xi_2$. The leading term is expressed in terms of elliptic functions attached to a Riemann surface $\tilde{M}$ of genus $1$. A central step in the derivation is the construction of a local parametrix in a neighborhood of two merging branch points. We construct this parametrix by solving a model problem which is similar to the Riemann-Hilbert problem associated with the Painlev\'e IV equation.


title: Another SMEFT Story: $Z^\prime$ Facing New Results on $\varepsilon'/\varepsilon$, $\Delta M_K$ and $K\to\pi\nu\bar\nu$

abstract: Recently the RBC-UKQCD lattice collaboration presented new results for the hadronic matrix elements relevant for the ratio $\varepsilon'/\varepsilon$ in the Standard Model (SM). With the present knowledge of the Wilson coefficients and isospin breaking effects there is still much room for new physics (NP) contributions to $\varepsilon'/\varepsilon$ which could both enhance or suppress this ratio to agree with the data. The new SM value for the $K^0-\bar K^0$ mass difference $\Delta M_K$ from RBC-UKQCD is on the other hand by $2\sigma$ above the data hinting for NP required to suppress $\Delta M_K$. Simultaneously the most recent results for $K^+\rightarrow\pi^+\nu\bar\nu$ from NA62 and for $K_{L}\rightarrow\pi^0\nu\bar\nu$ from KOTO still allow for significant NP contributions. We point out that the suppression of $\Delta M_K$ by NP requires the presence of new CP-violating phases with interesting implications for $K\to\pi\nu\bar\nu$, $K_S\to\mu^+\mu^-$ and $K_L\to\pi^0\ell^+\ell^-$ decays. Considering a $Z^\prime$-scenario within the SMEFT we analyze the dependence of all these observables on the size of NP still allowed by the data on $\varepsilon'/\varepsilon$. The NP QCD penguin scenario for $\varepsilon'/\varepsilon$ is excluded by SMEFT renormalization group effects in $\varepsilon_K$ so that NP effects in $\varepsilon'/\varepsilon$ are governed by electroweak penguins. We also investigate for the first time whether the presence of a heavy $Z^\prime$ with flavour violating couplings could generate through top Yukawa renormalization group effects FCNCs mediated by the SM $Z$-boson. The outcome turns out to be very interesting.


title: Heavy Operators and Hydrodynamic Tails

abstract: The late time physics of interacting QFTs at finite temperature is controlled by hydrodynamics. For CFTs this implies that heavy operators -- which are generically expected to create thermal states -- can be studied semiclassically. We show that hydrodynamics universally fixes the OPE coefficients $C_{HH'L}$, on average, of all neutral light operators with two non-identical heavy ones, as a function of the scaling dimension and spin of the operators. These methods can be straightforwardly extended to CFTs with global symmetries, and generalize recent EFT results on large charge operators away from the case of minimal dimension at fixed charge. We also revisit certain aspects of late time thermal correlators in QFT and other diffusive systems.


title: Deconfined criticality and ghost Fermi surfaces at the onset of antiferromagnetism in a metal

abstract: We propose a general theoretical framework, using two layers of ancilla qubits, for deconfined criticality between a Fermi liquid with a large Fermi surface, and a pseudogap metal with a small Fermi surface of electron-like quasiparticles. The pseudogap metal can be a magnetically ordered metal, or a fractionalized Fermi liquid (FL*) without magnetic order. A critical 'ghost' Fermi surface emerges (alongside the large electron Fermi surface) at the transition, with the ghost fermions carrying neither spin nor charge, but minimally coupled to $(U(1) \times U(1))/Z_2$ or $(SU(2) \times U(1))/Z_2$ gauge fields. The $(U(1) \times U(1))/Z_2$ case describes simultaneous Kondo breakdown and onset of magnetic order: the two gauge fields induce nearly equal attractive and repulsive interactions between ghost Fermi surface excitations, and this competition controls the quantum criticality. Away from the transition on the pseudogap side, the ghost Fermi surface absorbs part of the large electron Fermi surface, and leads to a jump in the Hall co-efficient. We also find an example of an "unnecessary quantum critical point" between a metal with spin density wave order, and a metal with local moment magnetic order. The ghost fermions contribute an enhanced specific heat near the transition, and could also be detected in other thermal probes. We relate our results to the phases of correlated electron compounds.


title: Unified weak/strong coupling framework for nuclear matter and neutron stars

abstract: Ab initio methods using weakly interacting nucleons give a good description of condensed nuclear matter up to densities comparable to the nuclear saturation density. At higher densities palpable strong interactions between overlapping nucleons become important; we propose that the interactions will continuously switch over to follow a holographic model in this region. In order to implement this, we construct hybrid equations of state (EoSs) where various models are used for low density nuclear matter, and the holographic V-QCD model is used for non-perturbative high density nuclear matter as well as for quark matter. We carefully examine all existing constraints from astrophysics of compact stars and discuss their implications for the hybrid EoSs. Thanks to the stiffness of the V-QCD EoS for nuclear matter, we obtain a large family of viable hybrid EoSs passing the constraints. We find that quark matter cores in neutron stars are unstable due to the strongly first order deconfinement transition, and predict bounds on the tidal deformability as well as on the radius of neutron stars. By relying on universal relations, we also constrain characteristic peak frequencies of gravitational waves produced in neutron star mergers.


title: Wilson loops in 5d long quiver gauge theories

abstract: Quiver gauge theories with a large number of nodes host a wealth of Wilson loop operators. Expectation values are obtained, using supersymmetric localization, for Wilson loops in the antisymmetric representations associated with each individual gauge node, for a sample of 5d long quiver gauge theories whose UV fixed points have holographic duals in Type IIB. The sample includes the $T_N$ theories and the results are uniformly given in terms of Bloch-Wigner functions. The holographic representation of the Wilson loops is identified. It comprises, for each supergravity solution, a two-parameter family of D3-branes which exactly reproduce the field theory results and identify points in the internal space with the faces of the associated 5-brane web. The expectation values of (anti)fundamental Wilson loops exhibit an enhanced scaling for many operators, which matches between field theory and supergravity.


title: Diamagnetic d-orbitals Drive Magnetic Structure Selection in the Double Perovskite Ba$_2$MnTeO$_6$

abstract: B-site ordered A$_2$B'B''O$_6$ double perovskites have a variety of applications as magnetic materials. Here we show that diamagnetic $d^{10}$ and $d^0$ B'' cations have a significant effect on the magnetic interactions in these materials. We present a neutron scattering and theoretical study of the Mn$^{2+}$ double perovskite Ba$_2$MnTeO$_6$ with a $4d^{10}$ Te$^{6+}$ cation on the B''-site. It is found to be a Type I antiferromagnet with a dominant nearest-neighbor $J_1$ interaction. In contrast, the $5d^0$ W$^{6+}$ analogue Ba$_2$MnWO$_6$ is a Type II antiferromagnet with a significant next-nearest-neighbor $J_2$ interaction. This is due to a $d^{10}$/$d^0$ effect, where the different orbital hybridization with oxygen 2p results in different superexchange pathways. We show that $d^{10}$ B'' cations promote nearest neighbor and $d^0$ cations promote next-nearest-neighbor interactions. The $d^{10}$/$d^0$ effect could be used to tune magnetic interactions in double perovskites.