title: Once-for-All: Train One Network and Specialize it for Efficient Deployment

abstract: We address the challenging problem of efficient inference across many devices and resource constraints, especially on edge devices. Conventional approaches either manually design or use neural architecture search (NAS) to find a specialized neural network and train it from scratch for each case, which is computationally prohibitive (causing $CO_2$ emission as much as 5 cars' lifetime) thus unscalable. In this work, we propose to train a once-for-all (OFA) network that supports diverse architectural settings by decoupling training and search, to reduce the cost. We can quickly get a specialized sub-network by selecting from the OFA network without additional training. To efficiently train OFA networks, we also propose a novel progressive shrinking algorithm, a generalized pruning method that reduces the model size across many more dimensions than pruning (depth, width, kernel size, and resolution). It can obtain a surprisingly large number of sub-networks ($> 10^{19}$) that can fit different hardware platforms and latency constraints while maintaining the same level of accuracy as training independently. On diverse edge devices, OFA consistently outperforms state-of-the-art (SOTA) NAS methods (up to 4.0% ImageNet top1 accuracy improvement over MobileNetV3, or same accuracy but 1.5x faster than MobileNetV3, 2.6x faster than EfficientNet w.r.t measured latency) while reducing many orders of magnitude GPU hours and $CO_2$ emission. In particular, OFA achieves a new SOTA 80.0% ImageNet top-1 accuracy under the mobile setting ($<$600M MACs). OFA is the winning solution for the 3rd Low Power Computer Vision Challenge (LPCVC), DSP classification track and the 4th LPCVC, both classification track and detection track. Code and 50 pre-trained models (for many devices & many latency constraints) are released at https://github.com/mit-han-lab/once-for-all.


title: Paisaje celeste y arqueoastronom\'ia: las iglesias hist\'oricas como indicadores de la planimetr\'ia de una ciudad ideal

abstract: According to popular tradition, the Canarian city of San Cristobal de La Laguna, a World Heritage Site by UNESCO since 1999, emerged in the early sixteenth century with a novel organization, in line with a new peaceful social order inspired by the religious doctrine of the millennium and its expression through urban design [...] In this paper we briefly discuss some details of these ideas, which propose a planned geometric origin for the city, and the original sources on which they are based. We then look for other indications that in a simpler way might explain some of the notable characteristics of the order and design of La Laguna, where over time a model of traditional Canarian architecture was installed that, during the 17th century, was populated with civil and religious constructions (churches, chapels and convents) with notable creations in carpentry of Mudejar origin, for example coming from the lower Andalusia. To conclude, we show our precise analysis of the orientation of almost all the historical churches and chapels of the city, taken together as an indicator of its planimetry. This study employs the usual tools of archaeoastronomy as a complement to the historical and cultural research of religious constructions. We will see then that a new -- and simpler -- interpretation of the spatial distribution of the city is possible.


title: Monogenic fields arising from trinomials

abstract: We call a polynomial monogenic if a root $\theta$ has the property that $\mathbb{Z}[\theta]$ is the full ring of integers in $\mathbb{Q}(\theta)$. Consider the two families of trinomials $x^n + ax + b$ and $x^n + cx^{n-1} + d$. For any $n>2$, we show that these families are monogenic infinitely often and give some positive densities in terms of the coefficients. When $n=5$ or 6 and when a certain factor of the discriminant is square-free, we use the Montes algorithm to establish necessary and sufficient conditions for monogeneity, illuminating more general criteria given by Jakhar, Khanduja, and Sangwan using other methods. Along the way we remark on the equivalence of certain aspects of the Montes algorithm and Dedekind's index criterion.


title: A Robust Generalization of the Rao Test

abstract: This paper presents new families of Rao-type test statistics based on the minimum density power divergence estimators which provide robust generalizations for testing simple and composite null hypotheses. The asymptotic null distributions of the proposed tests are obtained and their robustness properties are also theoretically studied. Numerical illustrations are provided to substantiate the theory developed. On the whole, the proposed tests are seen to be excellent alternatives to the classical Rao test.


title: Uniqueness of critical points of the anisotropic isoperimetric problem for finite perimeter sets

abstract: Given an elliptic integrand of class $ \mathscr{C}^{3} $, we prove that finite unions of disjoint open Wulff shapes with equal radii are the only volume-constrained critical points of the anisotropic surface energy among all sets with finite perimeter and reduced boundary almost equal to its closure.


title: Structures of the Massive Vector Boson Propagators at Finite Temperature Illuminated by the Goldstone Equivalence Gauge

abstract: Inspired by the Goldstone equivalence gauge, we study the thermal corrections to an originally massive vector boson by checking the poles and branch cuts. We find that part of the Goldstone boson is spewed out from the longitudinal polarization, becoming a branch cut which can be approximated by the "quasi-poles" in the thermal environment. In this case, physical Goldstone boson somehow partly recovers. We also show the Feynmann rules for the "external legs" of these vector boson as well as the recovered Goldstone boson, expecting to simplify the vector boson participated process calculations by adopting the similar "tree-level" logic as in the zero temperature situation. Gauge boson mixing case are also discussed. Similar results are shown in other gauges, especially in the $R_\xi$ gauge.


title: Fat Inflatons, Large Turns and the $\eta$-problem

abstract: It is commonly believed that a successful period of inflation driven by a single or several scalar fields requires a specific hierarchy of masses given by $M_{inf}\ll H \ll M_{heavy}$, where $M_{inf}$ can correspond to several or a single light field and $M_{heavy}\,\,\,$ corresponds to any heavy field that might be integrated out if it satisfies suitable conditions. This is at the heart of the so called $\eta$-problem in inflation, since large contributions to the masses of the inflatons might spoil the slow-roll conditions required for inflation. We show that, while this is an unavoidable conclusion in single field inflation, in multifield inflation, heavy fields as defined above, may be fully responsible for a successful period of what we call fat slow-roll inflation. Moreover we show that in this scenario, the turning rate of the inflationary trajectory, $\Omega/H$, is larger than one. Thus, the $\eta$-problem is evaded with large turns in fat inflation. Depending on the perturbations' mass spectra, cosmological predictions will differ either slightly or largely with respect to those of the single field case. We illustrate this scenario in a concrete example in Type IIB string flux compactifications, where a probe D5-brane moving along the angular and radial directions in a warped throat drives fat D5-brane natural inflation. An instantaneous superplanckian decay constant can be defined, consistent with our low energy approximations, thanks to the strong warping of the geometry. We compute the cosmological observables, which differ from the single field case. We also discuss fat inflation in the context of recently proposed swampland de Sitter conjectures.


title: SPGNet: Semantic Prediction Guidance for Scene Parsing

abstract: Multi-scale context module and single-stage encoder-decoder structure are commonly employed for semantic segmentation. The multi-scale context module refers to the operations to aggregate feature responses from a large spatial extent, while the single-stage encoder-decoder structure encodes the high-level semantic information in the encoder path and recovers the boundary information in the decoder path. In contrast, multi-stage encoder-decoder networks have been widely used in human pose estimation and show superior performance than their single-stage counterpart. However, few efforts have been attempted to bring this effective design to semantic segmentation. In this work, we propose a Semantic Prediction Guidance (SPG) module which learns to re-weight the local features through the guidance from pixel-wise semantic prediction. We find that by carefully re-weighting features across stages, a two-stage encoder-decoder network coupled with our proposed SPG module can significantly outperform its one-stage counterpart with similar parameters and computations. Finally, we report experimental results on the semantic segmentation benchmark Cityscapes, in which our SPGNet attains 81.1% on the test set using only 'fine' annotations.


title: Nearest Neighbor Search-Based Bitwise Source Separation Using Discriminant Winner-Take-All Hashing

abstract: We propose an iteration-free source separation algorithm based on Winner-Take-All (WTA) hash codes, which is a faster, yet accurate alternative to a complex machine learning model for single-channel source separation in a resource-constrained environment. We first generate random permutations with WTA hashing to encode the shape of the multidimensional audio spectrum to a reduced bitstring representation. A nearest neighbor search on the hash codes of an incoming noisy spectrum as the query string results in the closest matches among the hashed mixture spectra. Using the indices of the matching frames, we obtain the corresponding ideal binary mask vectors for denoising. Since both the training data and the search operation are bitwise, the procedure can be done efficiently in hardware implementations. Experimental results show that the WTA hash codes are discriminant and provide an affordable dictionary search mechanism that leads to a competent performance compared to a comprehensive model and oracle masking.


title: Learning Action Models from Disordered and Noisy Plan Traces

abstract: There is increasing awareness in the planning community that the burden of specifying complete domain models is too high, which impedes the applicability of planning technology in many real-world domains. Although there have many learning systems that help automatically learning domain models, most existing work assumes that the input traces are completely correct. A more realistic situation is that the plan traces are disordered and noisy, such as plan traces described by natural language. In this paper we propose and evaluate an approach for doing this. Our approach takes as input a set of plan traces with disordered actions and noise and outputs action models that can best explain the plan traces. We use a MAX-SAT framework for learning, where the constraints are derived from the given plan traces. Unlike traditional action models learners, the states in plan traces can be partially observable and noisy as well as the actions in plan traces can be disordered and parallel. We demonstrate the effectiveness of our approach through a systematic empirical evaluation with both IPC domains and the real-world dataset extracted from natural language documents.


title: Differential Transformation of a Motor Load Model for Time-Domain Simulation

abstract: The Differential Transformation (DT) method has demonstrated its potential in speeding up power system time-domain simulation by our previous work. This letter further derives DTs about a motor load model and proves that the nonlinear current injection equation about a motor load can be transformed into a linear equation by means of DT.


title: Why band theorists have been so successful in explaining and predicting novel superconductors?

abstract: In this contribution to the J. Phys. memorial issue in honor of Sandro Massidda I reflect on a phenomenon Sandro had been a part of. While theoretical condensed matter physicists have made, over the years, exciting and most elegant contributions to the theory of superconductivity (which, in and by itself, is one of the most beautiful constructs in theoretical physics), some of them of utmost importance, they have had less success in predicting and explaining superconducting states and mechanisms in specific materials. More down-to-earth computational materials scientists, who often go by the moniker "band theorists", have been much more successful in applying (usually other people's) ideas in such circumstances. In this essay I give some examples, largely drawn from my own experience, and speculate on their meaning.


title: Stability analysis of hierarchical tensor methods for time-dependent PDEs

abstract: In this paper we address the question of whether it is possible to integrate time-dependent high-dimensional PDEs with hierarchical tensor methods and explicit time stepping schemes. To this end, we develop sufficient conditions for stability and convergence of tensor solutions evolving on tensor manifolds with constant rank. We also argue that the applicability of PDE solvers with explicit time-stepping may be limited by time-step restriction dependent on the dimension of the problem. Numerical applications are presented and discussed for variable coefficients linear hyperbolic and parabolic PDEs.


title: Neural Code Search Evaluation Dataset

abstract: There has been an increase of interest in code search using natural language. Assessing the performance of such code search models can be difficult without a readily available evaluation suite. In this paper, we present an evaluation dataset consisting of natural language query and code snippet pairs, with the hope that future work in this area can use this dataset as a common benchmark. We also provide the results of two code search models ([1] and [6]) from recent work. The evaluation dataset is available at https://github.com/facebookresearch/Neural-Code-Search-Evaluation-Dataset


title: The Limitations of Stylometry for Detecting Machine-Generated Fake News

abstract: Recent developments in neural language models (LMs) have raised concerns about their potential misuse for automatically spreading misinformation. In light of these concerns, several studies have proposed to detect machine-generated fake news by capturing their stylistic differences from human-written text. These approaches, broadly termed stylometry, have found success in source attribution and misinformation detection in human-written texts. However, in this work, we show that stylometry is limited against machine-generated misinformation. While humans speak differently when trying to deceive, LMs generate stylistically consistent text, regardless of underlying motive. Thus, though stylometry can successfully prevent impersonation by identifying text provenance, it fails to distinguish legitimate LM applications from those that introduce false information. We create two benchmarks demonstrating the stylistic similarity between malicious and legitimate uses of LMs, employed in auto-completion and editing-assistance settings. Our findings highlight the need for non-stylometry approaches in detecting machine-generated misinformation, and open up the discussion on the desired evaluation benchmarks.


title: 5G mmWave Cooperative Positioning and Mapping using Multi-Model PHD Filter and Map Fusion

abstract: 5G millimeter wave (mmWave) signals can enable accurate positioning in vehicular networks when the base station and vehicles are equipped with large antenna arrays. However, radio-based positioning suffers from multipath signals generated by different types of objects in the physical environment. Multipath can be turned into a benefit, by building up a radio map (comprising the number of objects, object type, and object state) and using this map to exploit all available signal paths for positioning. We propose a new method for cooperative vehicle positioning and mapping of the radio environment, comprising a multiple-model probability hypothesis density filter and a map fusion routine, which is able to consider different types of objects and different fields of views. Simulation results demonstrate the performance of the proposed method.


title: Theta correspondence for symplectic-orthogonal and metaplectic-orthogonal p-adic dual pairs

abstract: In this paper, we completely describe the Howe correspondence for the dual pairs from the title over a nonarchimedean local field of characteristic zero. More specifically, for every irreducible admissible representation of these groups, we find its first occurrence index in the theta correspondence and we describe, in terms of their Langlands parameters, the small theta lifts on all levels.


title: Multi-stage and Multi-customer Assortment Optimization with Inventory Constraints

abstract: We consider an assortment optimization problem where a customer chooses a single item from a sequence of sets shown to her, while limited inventories constrain the items offered to customers over time. In the special case where all of the assortments have size one, our problem captures the online stochastic matching with timeouts problem. For this problem, we derive a polynomial-time approximation algorithm which earns at least 1-ln(2-1/e), or 0.51, of the optimum. This improves upon the previous-best approximation ratio of 0.46, and furthermore, we show that it is tight. For the general assortment problem, we establish the first constant-factor approximation ratio of 0.09 for the case that different types of customers value items differently, and an approximation ratio of 0.15 for the case that different customers value each item the same. Our algorithms are based on rounding an LP relaxation for multi-stage assortment optimization, and improve upon previous randomized rounding schemes to derive the tight ratio of 1-ln(2-1/e).


title: Subnanometer imaging and controlled dynamical patterning of thermocapillary driven deformation of thin liquid films

abstract: Exploring and controlling the physical factors that determine the topography of thin liquid dielectric films are of interest in manifold fields of research in physics, applied mathematics, and engineering and have been a key aspect of many technological advancements. Visualization of thin liquid dielectric film topography and local thickness measurements are essential tools for characterizing and interpreting the underlying processes. However, achieving high sensitivity with respect to subnanometric changes in thickness via standard optical methods is challenging. We propose a combined imaging and optical patterning projection platform that is capable of optically inducing dynamical flows in thin liquid dielectric films and plasmonically resolving the resulting changes in topography and thickness. In particular, we employ the thermocapillary effect in fluids as a novel heat-based method to tune plasmonic resonances and visualize dynamical processes in thin liquid dielectric films. The presented results indicate that light-induced thermocapillary flows can form and translate droplets and create indentation patterns on demand in thin liquid dielectric films of subwavelength thickness and that plasmonic microscopy can image these fluid dynamical processes with a subnanometer sensitivity along the vertical direction.


title: Local electrodynamics of a disordered conductor model system measured with a microwave impedance microscope

abstract: We study the electrodynamic impedance of percolating conductors with a pre-defined network topology using a scanning microwave impedance microscope (sMIM) at GHz frequencies. For a given percolation number we observe strong spatial variations across a sample which correlate with the connected regions (clusters) in the network when the resistivity is low such as in Aluminum. For the more resistive material NbTiN the impedance becomes dominated by the local structure of the percolating network (connectivity). The results can qualitatively be understood and reproduced with a network current spreading model based on the pseudo-inverse Laplacian of the underlying network graph.


title: Fast Nonlinear Fourier Transform using Chebyshev Polynomials

abstract: We explore the class of exponential integrators known as exponential time differencing (ETD) method in this letter to design low complexity nonlinear Fourier transform (NFT) algorithms that compute discrete approximations of the scattering coefficients in terms of the Chebyshev polynomials for real values of the spectral parameter. In particular, we discuss ETD Runge-Kutta methods which yield algorithms with complexity $O(N\log^2N)$ (where $N$ is the number of samples of the signal) and an order of convergence that matches the underlying one-step method.


title: Impact of Confirmation Bias on Competitive Information Spread in Social Networks

abstract: This paper investigates the impact of confirmation bias on competitive information spread in the cyber-social network that comprises individuals in a social network and competitive information sources in cyber layer. We formulate the problem as a zero-sum game, which admits a unique Nash equilibrium in pure strategies. We characterize the dependence of pure Nash equilibrium on the public's innate opinions, the social network topology, as well as the parameters of confirmation bias. We uncover that confirmation bias moves the equilibrium towards the center only when the innate opinions are not neutral, and this move does not occur for the competitive information sources simultaneously. Numerical examples in the context of well-known Krackhardt's advice network are provided to demonstrate the correctness of theoretical results.


title: Neural Flocking: MPC-based Supervised Learning of Flocking Controllers

abstract: We show how a distributed flocking controller can be synthesized using deep learning from a centralized controller which generates the trajectories of the flock. Our approach is based on supervised learning, with the centralized controller providing the training data to the learning agent, i.e., the synthesized distributed controller. We use Model Predictive Control (MPC) for the centralized controller, an approach that has been successfully demonstrated on flocking problems. MPC-based flocking controllers are high-performing but also computationally expensive. By learning a symmetric distributed neural flocking controller from a centralized MPC-based flocking controller, we achieve the best of both worlds: the neural controllers have high performance (on par with the MPC controllers) and high efficiency. Our experimental results demonstrate the sophisticated nature of the distributed controllers we learn. In particular, the neural controllers are capable of achieving myriad flocking-oriented control objectives, including flocking formation, collision avoidance, obstacle avoidance, predator avoidance, and target seeking. Moreover, they generalize the behavior seen in the training data in order to achieve these objectives in a significantly broader range of scenarios.


title: Total curvature and the isoperimetric inequality in Cartan-Hadamard manifolds

abstract: We obtain an explicit formula for comparing total curvature of level sets of functions on Riemannian manifolds, and develop some applications of this result to the isoperimetric problem in spaces of nonpositive curvature.


title: Observation of stimulated Brillouin scattering in silicon nitride integrated waveguides

abstract: Silicon nitride (Si3N4) has emerged as a promising material for integrated nonlinear photonics and has been used for broadband soliton microcombs and low-pulse-energy supercontinuum generation. Therefore understanding all nonlinear optical properties of Si3N4 is important. So far, only stimulated Brillouin scattering (SBS) has not been reported. Here we observe, for the first time, backward SBS in fully cladded Si3N4 waveguides. The Brillouin gain spectrum exhibits an unusual multi-peak structure resulting from hybridization with with high-overtone bulk acoustic resonances (HBARs) of the silica cladding. The reported intrinsic Si3N4 Brillouin gain at 25 GHz is estimated as 7x10^-13 m/W. Moreover, the magnitude of the Si3N4 photoelastic constant is estimated as |p12| = 0.047 +/- 0.004. Since SBS imposes an optical power limitation for waveguides, our results explain the capability of Si3N4 to handle high optical power, central for integrated nonlinear photonics.


title: A Comparison of Adaptive and Template Matching Techniques for Radio-Isotope Identification

abstract: We compare and contrast the effectiveness of a set of adaptive and non-adaptive algorithms for isotope identification based on gamma-ray spectra. One dimensional energy spectra are simulated for a variety of dwell-times and source to detector distances in order to reflect conditions typically encountered in radiological emergency response and environmental monitoring applications. We find that adaptive methods are more accurate and computationally efficient than non-adaptive in cases of operational interest.


title: Vanadium spin qubits as telecom quantum emitters in silicon carbide

abstract: Solid state quantum emitters with spin registers are promising platforms for quantum communication, yet few emit in the narrow telecom band necessary for low-loss fiber networks. Here we create and isolate near-surface single vanadium dopants in silicon carbide (SiC) with stable and narrow emission in the O-band (1278-1388 nm), with brightness allowing cavity-free detection in a wafer-scale CMOS-compatible material. In vanadium ensembles, we characterize the complex d1 orbital physics in all five available sites in 4H-SiC and 6H-SiC. The optical transitions are sensitive to mass shifts from local silicon and carbon isotopes, enabling optically resolved nuclear spin registers. Optically detected magnetic resonance in the ground and excited orbital states reveals a variety of hyperfine interactions with the vanadium nuclear spin and clock transitions for quantum memories. Finally, we demonstrate coherent quantum control of the spin state. These results provide a path for telecom emitters in the solid-state for quantum applications.


title: Reactive Particle-tracking Solutions to a Benchmark Problem on Heavy Metal Cycling in Lake Sediments

abstract: Geochemical systems are known to exhibit highly variable spatiotemporal behavior. This may be observed both in non-smooth concentration curves in space for a single sampling time and also in variability between samples taken from the same location at different times. However, most models that are designed to simulate these systems provide only single-solution smooth curves and fail to capture the noise and variability seen in the data. We apply a recently developed reactive particle-tracking method to a system that displays highly-complex geochemical behavior. When the method is made to most closely resemble a corresponding Eulerian method, in its unperturbed form, we see near-exact match between solutions of the two models. More importantly, we consider two approaches for perturbing the model and find that the spatially-perturbed condition is able to capture a greater degree of the variability present in the data. This method of perturbation is a task to which particle methods are uniquely suited and Eulerian models are not well-suited. Additionally, because of the nature of the algorithm, noisy spatial gradients can be highly resolved by a large number of mobile particles, and this incurs negligible computational cost, as compared to expensive chemistry calculations.


title: On the construction of tame supercuspidal representations

abstract: Let F be a non-archimedean local field of odd residual characteristic. Let G be a (connected) reductive group over F that splits over a tamely ramified field extension of F. We revisit Yu's construction of smooth complex representations of G(F) from a slightly different perspective and provide a proof that the resulting representations are supercuspidal. We also provide a counterexample to Proposition 14.1 and Theorem 14.2 in [Yu01], whose proofs relied on a typo in a reference.


title: Hepp's bound for Feynman graphs and matroids

abstract: We study a rational matroid invariant, obtained as the tropicalization of the Feynman period integral. It equals the volume of the polar of the matroid polytope and we give efficient formulas for its computation. This invariant is proven to respect all known identities of Feynman integrals for graphs. We observe a strong correlation between the tropical and transcendental integrals, which yields a method to approximate unknown Feynman periods.


title: Hessenberg varieties associated to ad-nilpotent ideals

abstract: We consider Hessenberg varieties in the flag variety of $GL_n(\mathbb{C})$ with the property that the corresponding Hessenberg function defines an ad-nilpotent ideal. Each such Hessenberg variety is contained in a Springer fiber. We extend a theorem of Tymoczko to this setting, showing that these varieties have an affine paving obtained by intersecting with Schubert cells. Our method of proof constructs an an affine paving for each Springer fiber that restricts to an affine paving of the Hessenberg variety. We use the combinatorial properties of this paving to prove that Hessenberg varieties of this kind are connected.


title: Confidence Regularized Self-Training

abstract: Recent advances in domain adaptation show that deep self-training presents a powerful means for unsupervised domain adaptation. These methods often involve an iterative process of predicting on target domain and then taking the confident predictions as pseudo-labels for retraining. However, since pseudo-labels can be noisy, self-training can put overconfident label belief on wrong classes, leading to deviated solutions with propagated errors. To address the problem, we propose a confidence regularized self-training (CRST) framework, formulated as regularized self-training. Our method treats pseudo-labels as continuous latent variables jointly optimized via alternating optimization. We propose two types of confidence regularization: label regularization (LR) and model regularization (MR). CRST-LR generates soft pseudo-labels while CRST-MR encourages the smoothness on network output. Extensive experiments on image classification and semantic segmentation show that CRSTs outperform their non-regularized counterpart with state-of-the-art performance. The code and models of this work are available at https://github.com/yzou2/CRST.


title: Unveiling contextual realities by microscopically entangling a neutron

abstract: The development of qualitatively new measurement capabilities is often a prerequisite for critical scientific and technological advances. The dramatic progress made by modern probe techniques to uncover the microscopic structure of matter is fundamentally rooted in our control of two defining traits of quantum mechanics: discreteness of physical properties and interference phenomena. Magnetic Resonance Imaging, for instance, exploits the fact that protons have spin and can absorb photons at frequencies that depend on the medium to image the anatomy and physiology of living systems. Scattering techniques, in which photons, electrons, protons or neutrons are used as probes, make use of quantum interference to directly image the spatial position of individual atoms, their magnetic structure, or even unveil their concomitant dynamical correlations. None of these probes have so far exploited a unique characteristic of the quantum world: entanglement. Here we introduce a fundamentally new quantum probe, an entangled neutron beam, where individual neutrons can be entangled in spin, trajectory and energy. Its tunable entanglement length from nanometers to microns and energy differences from peV to neV will enable new investigations of microscopic magnetic correlations in systems with strongly entangled phases, such as those believed to emerge in unconventional superconductors. We develop an interferometer to prove entanglement of these distinguishable properties of the neutron beam by observing clear violations of both Clauser-Horne-Shimony-Holt and Mermin contextuality inequalities in the same experimental setup. Our work opens a pathway to a future era of entangled neutron scattering in matter.

categories: quant-ph cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.other cond-mat.str-el


title: Cosmic Rays and Magnetic Fields in the Core and Halo of the Starburst M82: Implications for Galactic Wind Physics

abstract: Cosmic rays (CRs) and magnetic fields may be dynamically important in driving large-scale galactic outflows from rapidly star-forming galaxies. We construct two-dimensional axisymmetric models of the local starburst and super-wind galaxy M82 using the CR propagation code GALPROP. Using prescribed gas density and magnetic field distributions, wind profiles, CR injection rates, and stellar radiation fields, we simultaneously fit both the integrated gamma-ray emission and the spatially-resolved multi-frequency radio emission extended along M82's minor axis. We explore the resulting constraints on the gas density, magnetic field strength, CR energy density, and the assumed CR advection profile. In accord with earlier one-zone studies, we generically find low central CR pressures, strong secondary electron/positron production, and an important role for relativistic bremsstrahlung losses in shaping the synchrotron spectrum. We find that the relatively low central CR density produces CR pressure gradients that are weak compared to gravity, strongly limiting the role of CRs in driving M82's fast and mass-loaded galactic outflow. Our models require strong magnetic fields and advection speeds of order ~1000 km/s on kpc scales along the minor axis in order to reproduce the extended radio emission. Degeneracies between the controlling physical parameters of the model and caveats to these findings are discussed.


title: Breast Ultrasound Computer-Aided Diagnosis Using Structure-Aware Triplet Path Networks

abstract: Breast ultrasound (US) is an effective imaging modality for breast cancer detec-tion and diagnosis. The structural characteristics of breast lesion play an im-portant role in Computer-Aided Diagnosis (CAD). In this paper, a novel struc-ture-aware triplet path networks (SATPN) was designed to integrate classifica-tion and two image reconstruction tasks to achieve accurate diagnosis on US im-ages with small training dataset. Specifically, we enhance clinically-approved breast lesion structure characteristics though converting original breast US imag-es to BIRADS-oriented feature maps (BFMs) with a distance-transformation coupled Gaussian filter. Then, the converted BFMs were used as the inputs of SATPN, which performed lesion classification task and two unsupervised stacked convolutional Auto-Encoder (SCAE) networks for benign and malignant image reconstruction tasks, independently. We trained the SATPN with an alter-native learning strategy by balancing image reconstruction error and classification label prediction error. At the test stage, the lesion label was determined by the weighted voting with reconstruction error and label prediction error. We com-pared the performance of the SATPN with TPN using original image as input and our previous developed semi-supervised deep learning methods using BFMs as inputs. Experimental results on two breast US datasets showed that SATPN ranked the best among the three networks, with classification accuracy around 93.5%. These findings indicated that SATPN is promising for effective breast US lesion CAD using small datasets.


title: Secure Connectivity of Heterogeneous Wireless Sensor Networks Under a Heterogeneous On-Off Channel Model

abstract: In this paper, we investigate the secure connectivity of wireless sensor networks utilizing the heterogeneous random key predistribution scheme, where each sensor node is classified as class-$i$ with probability $\mu_i$ for $i=1,\ldots,r$ with $\mu_i>0$ and $\sum_{i=1}^r \mu_i=1$. A class-$i$ sensor is given $K_i$ cryptographic keys selected uniformly at random from a key pool of size $P$. After deployment, two nodes can communicate securely if they share at least one cryptographic key. We consider the wireless connectivity of the network using a heterogeneous on-off channel model, where the channel between a class-$i$ node and a class-$j$ node is on (respectively, off) with probability $\alpha_{ij}$ (respectively, $1-\alpha_{ij}$) for $i,j=1,\ldots,r$. Collectively, two sensor nodes are adjacent if they i) share a cryptographic key and ii) have a wireless channel in between that is on. We model the overall network using a composite random graph obtained by the intersection of inhomogeneous random key graphs (IRKG) $\mathbb{K}(n;\pmb{\mu},\pmb{K},P)$ with inhomogeneous Erd\H{o}s-R\'enyi graphs (IERG) $\mathbb{G}(n;\pmb{\mu}, \pmb{\alpha})$. The former graph is naturally induced by the heterogeneous random key predistribution scheme, while the latter is induced by the heterogeneous on-off channel model. More specifically, two nodes are adjacent in the composite graph if they are i) adjacent in the IRKG i.e., share a cryptographic key and ii) adjacent in the IERG, i.e., have an available wireless channel. We investigate the connectivity of the composite random graph and present conditions (in the form of zero-one laws) on how to scale its parameters so that it i) has no secure node which is isolated and ii) is securely connected, both with high probability when the number of nodes gets large. We also present numerical results to support these zero-one laws in the finite-node regime.


title: 5D black holes in Einstein-Gauss-Bonnet gravity with a background of modified Chaplygin gas

abstract: Supposing the existence of modified Chaplygin gas with the equation of state $p=A\rho-B/\rho^\beta$ as a cosmic background, we obtain a static spherically-symmetric black hole solution to the Einstein-Gauss-Bonnet gravitational equations in 5D spacetime. The spacetime structure of the obtained black hole solution is analyzed, also the related black hole properties are studied by calculating the thermodynamical quantities. During this process, effects of the Gauss-Bonnet coupling constant and the modified Chaplygin gas parameters on black hole solution, as well as on its thermodynamical properties are discussed. At the end, we study the quantum tunneling of scalar particles and the propagating of scalar waves within the background of modified Chaplygin gas. The study shows that the system is stable under scalar perturbations and the Hawking radiation could stop at some point, leaving an extremal black hole as remnant for evaporation.


title: Eco-Mobility-on-Demand Fleet Control with Ride-Sharing

abstract: Shared Mobility-on-Demand using automated vehicles can reduce energy consumption and cost for future mobility. However, its full potential in energy saving has not been fully explored. An algorithm to minimize fleet fuel consumption while satisfying customers travel time constraints is developed in this paper. Numerical simulations with realistic travel demand and route choice are performed, showing that if fuel consumption is not considered, the MOD service can increase fleet fuel consumption due to increased empty vehicle mileage. With fuel consumption as part of the cost function, we can reduce total fuel consumption by 7 percent while maintaining a high level of mobility service.


title: Improving Performance of Tin-Doped-Zinc-Oxide Thin-Film Transistors by Optimized Multi-Stacked Active-Layer Structures

abstract: In this paper, we investigated the performance of thin-film transistors (TFTs) with different channel configurations including single-active-layer (SAL) Sn-Zn-O (TZO), dual-active-layers (DAL) In-Sn-O (ITO)/TZO, and triple-active-layers (TAL) TZO/ITO/TZO. The TAL TFTs were found to combine the advantages of SAL TFTs (a low off-state current) and DAL TFTs (a high mobility and a low threshold voltage). The proposed TAL TFTs exhibit superior electrical performance, e.g. a high on-off state current ratio of 2*10^8, a low threshold voltage of 0.52 V, a high saturation mobility of 145.2 cm2/Vs, and a low off-state current of 3.3 pA. The surface morphology and characteristics of the ITO and TZO films were investigated and the TZO film was found to be C-axis-aligned crystalline (CAAC). A simplified resistance model was deduced to explain the high channel resistance of TAL TFTs. At last, TAL TFTs with different channel lengths were also discussed to show the stability and the uniformity of our fabrication process. Owing to its low-processing temperature, superior electrical performance, and low cost, TFTs with the proposed TAL channel configuration are highly promising for flexible displays where the use of heat-sensitive polymeric substrates is desirable.


title: A statistical framework for measuring the temporal stability of human mobility patterns

abstract: Despite the growing popularity of human mobility studies that collect GPS location data, the problem of determining the minimum required length of GPS monitoring has not been addressed in the current statistical literature. In this paper we tackle this problem by laying out a theoretical framework for assessing the temporal stability of human mobility based on GPS location data. We define several measures of the temporal dynamics of human spatiotemporal trajectories based on the average velocity process, and on activity distributions in a spatial observation window. We demonstrate the use of our methods with data that comprise the GPS locations of 185 individuals over the course of 18 months. Our empirical results suggest that GPS monitoring should be performed over periods of time that are significantly longer than what has been previously suggested. Furthermore, we argue that GPS study designs should take into account demographic groups. KEYWORDS: Density estimation; global positioning systems (GPS); human mobility; spatiotemporal trajectories; temporal dynamics


title: Pairing instability on a Luttinger surface: A non-Fermi liquid to superconductor transition and its Sachdev-Ye-Kitaev dual

abstract: Superconductivity results from an instability of the Fermi surface -- contour of \textit{poles} of the single particle propagator -- to an infinitesimally small attraction between electrons. Here, we instead discuss the analogous problem on a model \textit{Luttinger} surface, or contour of \textit{zeros} of the Green function. At zero temperature ($\beta \rightarrow \infty$) and a critical interaction strength ($u_{c\infty}$) characterized by the residue of self-energy pole, we find that the pair susceptibility diverges leading to a superconducting instability. We evaluate the pair fluctuation partition function and find that the spectral density in the normal state has an interaction-driven, power-law $\frac{1}{\sqrt{\omega}}$ type, van-Hove singularity (vHS) indicating non-Fermi liquid (NFL) physics. Crucially, in the strong coupling limit ($\beta u \gg 1$), the leading order fluctuation free energy terms in the normal state of this NFL-SC transition resemble the equivalent $\left(O(1)\right)$ terms of the Sachdev-Ye-Kitaev (SYK) model. This free energy contribution takes a simple form $-\beta F = \beta u_{c\infty} - \gamma~\text{ln}\left(\beta u_{c \infty}\right)$ where $\gamma$ is a constant equal to $\frac{1}{2}$. Weak impurity scattering ($\tau \gg \beta^{-1}$) leaves the low-energy spectral density unaffected, but leads to an interaction-driven enhancement of superconductivity. Our results shed light on the role played by order-parameter fluctuations in providing the key missing link between Mott physics and strongly coupled toy-models exhibiting gravity duals.

categories: cond-mat.str-el cond-mat.stat-mech cond-mat.supr-con hep-th


title: Gravitational-wave follow-up with CTA after the detection of GRBs in the TeV energy domain

abstract: The recent discovery of TeV emission from gamma-ray bursts (GRBs) by the MAGIC and H.E.S.S. Cherenkov telescopes confirmed that emission from these transients can extend to very high energies. The TeV energy domain reaches the most sensitive band of the Cherenkov Telescope Array (CTA). This newly anticipated, improved sensitivity will enhance the prospects of gravitational-wave follow-up observations by CTA to probe particle acceleration and high-energy emission from binary black hole and neutron star mergers, and stellar core-collapse events. Here we discuss the implications of TeV emission on the most promising strategies of choice for the gravitational-wave follow-up effort for CTA and Cherenkov telescopes more broadly. We find that TeV emission (i) may allow more than an hour of delay between the gravitational-wave event and the start of CTA observations; (ii) enables the use of CTA's small size telescopes that have the largest fields of view. We characterize the number of pointings needed to find a counterpart. (iii) We compute the annual follow-up time requirements and find that prioritization will be needed. (iv) Even a few telescopes could detect sufficiently nearby counterparts, raising the possibility of adding a handful of small-size or medium-size telescopes to the network at diverse geographic locations taking into account the positions of CTA and the LIGO-Virgo-KAGRA network. (v) The continued operation of VERITAS/H.E.S.S./MAGIC would be a useful compliment to CTA's follow-up capabilities by increasing the sky area that can be rapidly covered, especially for directions above and 'below' the United States in which the present network of gravitational-wave detectors is more sensitive.


title: Spacetime structure near generic horizons and soft hair

abstract: We explore the spacetime structure near non-extremal horizons in any spacetime dimension greater than two and discover a wealth of novel results: 1. Different boundary conditions are specified by a functional of the dynamical variables, describing inequivalent interactions at the horizon with a thermal bath. 2. The near horizon algebra of a set of boundary conditions, labeled by a parameter $s$, is given by the semi-direct sum of diffeomorphisms at the horizon with "spin-$s$ supertranslations". For $s=1$ we obtain the first explicit near horizon realization of the Bondi-Metzner-Sachs algebra. 3. For another choice, we find a non-linear extension of the Heisenberg algebra, generalizing recent results in three spacetime dimensions. This algebra allows to recover the aforementioned (linear) ones as composites. 4. These examples allow to equip not only black holes, but also cosmological horizons with soft hair. We also discuss implications of soft hair for black hole thermodynamics and entropy.


title: Probing the freeze-in mechanism in dark matter models with $U(1)^\prime$ gauge extensions

abstract: New gauge bosons at the MeV scale with tiny gauge couplings (so-called dark photons) can be responsible for the freeze-in production of dark matter and provide a clear target for present and future experiments. We study the effects of thermal mixing between dark photons and Standard Model gauge bosons and of the resulting plasmon decays on dark matter production before and after the electroweak phase transition. In the parameter regions preferred by the observed dark matter relic abundance, the dark photon is sufficiently long-lived to be probed with fixed-target experiments and light enough to induce direct detection signals. Indeed, current limits from XENON1T already constrain Dirac fermion dark matter in the GeV to TeV range produced via the freeze-in mechanism. We illustrate our findings for the case of a $U(1)_{B-L}$ gauge extension and discuss possible generalisations.


title: Thermal free energy of large Nf QED in 2+1 dimensions from weak to strong coupling

abstract: In 2+1 dimensions, QED becomes exactly solvable for all values of the fermion charge $e$ in the limit of many fermions $N_f\gg 1$. We present results for the free energy density at finite temperature $T$ to next-to-leading-order in large $N_f$. In the naive large $N_f$ limit, we uncover an apparently UV-divergent contribution to the vacuum energy at order ${\cal O}(e^6 N_f^3)$, which we argue to become a finite contribution of order ${\cal O}(N_f^4 e^6)$ when resumming formally higher-order $1/N_f$ contributions. We find the finite-temperature free energy to be well-behaved for all values of the dimensionless coupling $e^2N_f/T$, and to be bounded by the free energy of $N_f$ free fermions and non-interacting QED3, respectively. We invite follow-up studies from finite-temperature lattice gauge theory at large but fixed $N_f$ to test our results in the regime $e^2N_f/T\gg 1$.


title: Variational Quantum Algorithm for Non-equilibrium Steady States

abstract: We propose a quantum-classical hybrid algorithm to simulate the non-equilibrium steady state of an open quantum many-body system, named the dissipative-system Variational Quantum Eigensolver (dVQE). To employ the variational optimization technique for a unitary quantum circuit, we map a mixed state into a pure state with a doubled number of qubits and design the unitary quantum circuit to fulfill the requirements for a density matrix. This allows us to define a cost function that consists of the time evolution generator of the quantum master equation. Evaluation of physical observables is, in turn, carried out by a quantum circuit with the original number of qubits. We demonstrate our dVQE scheme by both numerical simulation on a classical computer and actual quantum simulation that makes use of the device provided in Rigetti Quantum Cloud Service.


title: Magic-Angle Semimetals with Chiral Symmetry

abstract: We construct and solve a two-dimensional, chirally symmetric model of Dirac cones subjected to a quasiperiodic modulation. In real space, this is realized with a quasiperiodic hopping term. This hopping model, as we show, at the Dirac node energy has a rich phase diagram with a semimetal-to-metal phase transition at intermediate amplitude of the quasiperiodic modulation, and a transition to a phase with a diverging density of states and sub-diffusive transport when the quasiperiodic hopping is strongest. We further demonstrate that the semimetal-to-metal phase transition can be characterized by the multifractal structure of eigenstates in momentum space and can be considered as a unique "unfreezing" transition. This unfreezing transition in momentum space generates flat bands with a dramatically renormalized bandwidth in the metallic phase similar to the phenomena of the band structure of twisted bilayer graphene at the magic angle. We characterize the nature of this transition numerically as well as analytically in terms of the formation of a band of topological zero modes. For pure quasiperiodic hopping, we provide strong numerical evidence that the low-energy density of states develops a divergence and the eigenstates exhibit Chalker (quantum-critical) scaling despite the model not being random. At particular commensurate limits the model realizes higher-order topological insulating phases. We discuss how these systems can be realized in experiments on ultracold atoms and metamaterials.

categories: cond-mat.str-el cond-mat.dis-nn cond-mat.quant-gas cond-mat.stat-mech


title: Displaced heavy neutrinos from $Z'$ decays at the LHC

abstract: We study the LHC sensitivity to probe a long-lived heavy neutrino $N$ in the context of $Z'$ models. We focus on displaced vertex signatures of $N$ when pair produced via a $Z'$, decaying to leptons and jets inside the inner trackers of the LHC experiments. We explore the LHC reach with current long-lived particle search strategies for either one or two displaced vertices in association with hadronic tracks or jets. We focus on two well-motivated models, namely, the minimal $U(1)_{B-L}$ scenario and its $U(1)_{X}$ extension. We find that searches for at least one displaced vertex can cover a significant portion of the parameter space, with light-heavy neutrino mixings as low as $|V_{lN}|^2\approx 10^{-17}$, and $l=e,\mu$ accessible across GeV scale heavy neutrino masses.


title: A White Dwarf with Transiting Circumstellar Material Far Outside the Roche Limit

abstract: We report the discovery of a white dwarf exhibiting deep, irregularly shaped transits, indicative of circumstellar planetary debris. Using Zwicky Transient Facility DR2 photometry of ZTF$\,$J013906.17+524536.89 and follow-up observations from the Las Cumbres Observatory, we identify multiple transit events that recur every ${\approx}\,107.2\,$d, much longer than the $4.5{-}4.9\,$h orbital periods observed in WD$\,$1145+017, the only other white dwarf known with transiting planetary debris. The transits vary in both depth and duration, lasting $15{-}25\,$d and reaching $20{-}45\,\%$ dips in flux. Optical spectra reveal strong Balmer lines, identifying the white dwarf as a DA with $T_{\mathrm{eff}}=10{,}530\pm140\,\mathrm{K}$ and $\log(g)=7.86\pm0.06$. A $\mathrm{Ca\,II\,K}$ absorption feature is present in all spectra both in and out of transit. Spectra obtained during one night at roughly $15\,\%$ transit depth show increased $\mathrm{Ca\,II\,K}$ absorption with a model atmospheric fit suggesting $[\mathrm{Ca/H}]=-4.6\pm0.3$, whereas spectra taken on three nights out of transit have $[\mathrm{Ca/H}]$ of -5.5, -5.3, and -4.9 with similar uncertainties. While the $\mathrm{Ca\,II\,K}$ line strength varies by only 2-sigma, we consider a predominantly interstellar origin for Ca absorption unlikely. We suggest a larger column density of circumstellar metallic gas along the line of site or increased accretion of material onto the white dwarf's surface are responsible for the Ca absorption, but further spectroscopic studies are required. In addition, high-speed time series photometry out of transit reveals variability with periods of 900 and 1030$\,$s, consistent with ZZ Ceti pulsations.


title: Chondrule Formation by the Jovian Sweeping Secular Resonance

abstract: Chondrules are silicate spheroids found in meteorites, serving as important fossil records of the early solar system. In order to form chondrules, chondrule precursors must be heated to temperatures much higher than the typical conditions in the current asteroid belt. One proposed mechanism for chondrule heating is the passage through bow shocks of highly eccentric planetesimals in the protoplanetary disk in the early solar system. However, it is difficult for planetesimals to gain and maintain such high eccentricities. In this paper, we present a new scenario in which planetesimals in the asteroid belt region are excited to high eccentricities by the Jovian sweeping secular resonance in a depleting disk, leading to efficient formation of chondrules. We study the orbital evolution of planetesimals in the disk using semi-analytic models and numerical simulations. We investigate the dependence of eccentricity excitation on the planetesimal's size as well as the physical environment, and calculate the probability for chondrule formation. We find that 50 - 2000 km planetesimals can obtain eccentricities larger than 0.6 and cause effective chondrule heating. Most chondrules form in high velocity shocks, in low density gas, and in the inner disk. The fraction of chondrule precursors which become chondrules is about 4 - 9 % between 1.5 - 3 AU. Our model implies that the disk depletion timescale is $\tau_\mathrm{dep}\approx 1~\mathrm{Myr}$, comparable to the age spread of chondrules; and that Jupiter formed before chondrules, no more than 0.7 Myr after the formation of the CAIs.


title: Dark Matter and Naturalness

abstract: The Standard Model of particle physics is governed by Poincar\'e symmetry, while all other symmetries, exact or approximate, are essentially dictated by theoretical consistency with the particle spectrum. On the other hand, many models of dark matter exist that rely upon the addition of new added global symmetries in order to stabilize the dark matter particle and/or achieve the correct abundance. In this work we begin a systematic exploration into truly natural models of dark matter, organized by only relativity and quantum mechanics, without the appeal to any additional global symmetries, no fine-tuning, and no small parameters. We begin by reviewing how singlet dark sectors based on spin 0 or spin ${1\over2}$ should readily decay, while pure strongly coupled spin 1 models have an overabundance problem. This inevitably leads us to construct chiral models with spin ${1\over2}$ particles charged under confining spin 1 particles. This leads to stable dark matter candidates that are analogs of baryons, with a confinement scale that can be naturally $\mathcal{O}(100)$TeV. This leads to the right freeze-out abundance by annihilating into massless unconfined dark fermions. The minimal model involves a dark copy of $SU(3)\times SU(2)$ with 1 generation of chiral dark quarks and leptons. The presence of massless dark leptons can potentially give rise to a somewhat large value of $\Delta N_{\text{eff}}$ during BBN. In order to not upset BBN one may either appeal to a large number of heavy degrees of freedom beyond the Standard Model, or to assume the dark sector has a lower reheat temperature than the visible sector, which is also natural in this framework. This reasoning provides a robust set of dark matter models that are entirely natural. Some are concrete realizations of the nightmare scenario in which dark matter may be very difficult to detect, which may impact future search techniques.


title: Strong Cosmic Censorship in Horndeski Theory

abstract: The strong cosmic censorship hypothesis has recently regained a lot of attention in charged and rotating black holes immersed in de Sitter space. Although the picture seems to be clearly leaning towards the validity of the hypothesis in Kerr-de Sitter geometries, Reissner-Nordstr\"{o}m-de Sitter black holes appear to be serious counter-examples. Here, we perform another test to the hypothesis by using a scalar field perturbation non-minimally coupled to the Einstein tensor propagating on Reissner-Nordstr\"{o}m-de Sitter spacetimes. Such non-minimal derivative coupling is characteristic of Horndeski scalar-tensor theories. Although the introduction of higher-order derivative couplings in the energy-momentum tensor increases the regularity requirements for the existence of weak solutions beyond the Cauchy horizon, we are still able to find a small finite region in the black hole's parameter space where strong cosmic censorship is violated.


title: Dark Neutrino interactions phase out the Hubble tension

abstract: New interactions of neutrinos can stop them from free streaming even after the weak interaction freeze-out. This results in a phase shift in the cosmic microwave background (CMB) acoustic peaks which can alleviate the Hubble tension. In addition, the perturbations in neutrinos do not decay away on horizon entry and contribute to metric perturbation enhancing the matter power spectrum. We demonstrate that this acoustic phase shift can be achieved using new interactions of standard left-handed neutrinos with dark matter without changing the number of effective relativistic degrees of freedom. Using Planck CMB and the WiggleZ galaxy survey $ (k\le 0.12 h \ {\rm Mpc}^{-1} ) $ data, we demonstrate that in this model the Hubble tension reduces to approximately $ 2.1 \sigma$. Our model predicts potentially observable modifications of the CMB B-modes and the matter power spectrum that can be observed in future data sets.


title: Machine-assisted Semi-Simulation Model (MSSM): Estimating Galactic Baryonic Properties from their Dark Matter using a Machine Trained on Hydrodynamic Simulations

abstract: We present a pipeline to estimate baryonic properties of a galaxy inside a dark matter (DM) halo in DM-only simulations using a machine trained on high-resolution hydrodynamic simulations. As an example, we use the IllustrisTNG hydrodynamic simulation of a $(75 \,\,h^{-1}{\rm Mpc})^3$ volume to train our machine to predict e.g., stellar mass and star formation rate in a galaxy-sized halo based purely on its DM content. An extremely randomized tree (ERT) algorithm is used together with multiple novel improvements we introduce here such as a refined error function in machine training and two-stage learning. Aided by these improvements, our model demonstrates a significantly increased accuracy in predicting baryonic properties compared to prior attempts --- in other words, the machine better mimics IllustrisTNG's galaxy-halo correlation. By applying our machine to the MultiDark-Planck DM-only simulation of a large $(1 \,\,h^{-1}{\rm Gpc})^3$ volume, we then validate the pipeline that rapidly generates a galaxy catalogue from a DM halo catalogue using the correlations the machine found in IllustrisTNG. We also compare our galaxy catalogue with the ones produced by popular semi-analytic models (SAMs). Our so-called machine-assisted semi-simulation model (MSSM) is shown to be largely compatible with SAMs, and may become a promising method to transplant the baryon physics of galaxy-scale hydrodynamic calculations onto a larger-volume DM-only run. We discuss the benefits that machine-based approaches like this entail, as well as suggestions to raise the scientific potential of such approaches.


title: Consistency of the Standard Model Effective Field Theory

abstract: We derive bounds on couplings in the standard model effective field theory (SMEFT) as a consequence of causality and the analytic structure of scattering amplitudes. In the SMEFT, there are 64 independent operators at mass dimension eight that are quartic in bosons (either Higgs or gauge fields) and that contain four derivatives and/or field strengths, including both CP-conserving and CP-violating operators. Using analytic dispersion relation arguments for two-to-two bosonic scattering amplitudes, we derive 27 independent bounds on the sign or magnitude of the couplings. We show that these bounds also follow as a consequence of causality of signal propagation in nonvacuum SM backgrounds. These bounds come in two qualitative forms: i) positivity of (various linear combinations of) couplings of CP-even operators and ii) upper bounds on the magnitude of CP-odd operators in terms of (products of) CP-even couplings. We exhibit various classes of example completions, which all satisfy our EFT bounds. These bounds have consequences for current and future particle physics experiments, as part of the observable parameter space is inconsistent with causality and analyticity. To demonstrate the impact of our bounds, we consider applications both to SMEFT constraints derived at colliders and to limits on the neutron electric dipole moment, highlighting the connection between such searches suggested by infrared consistency.


title: Uplifting supersymmetric $AdS_6$ black holes to type II supergravity

abstract: Employing uplift formulae, we uplift supersymmetric $AdS_6$ black holes from $F(4)$ gauged supergravity to massive type IIA and type IIB supergravity. In massive type IIA supergravity, we obtain supersymmetric $AdS_6$ black holes asymptotic to the Brandhuber-Oz solution. In type IIB supergravity, we obtain supersymmetric $AdS_6$ black holes asymptotic to the non-Abelian T-dual of the Brandhuber-Oz solution. For the uplifted black hole solutions, we calculate the holographic entanglement entropy. In massive type IIA supergravity, it precisely matches the Bekenstein-Hawking entropy of the black hole solutions.


title: From cold to hot irradiated gaseous exoplanets: Fingerprints of chemical disequilibrium in atmospheric spectra

abstract: Almost all planetary atmospheres are affected by disequilibrium chemical processes. In this paper we introduce our recently developed Chemical Kinetic Model (\texttt{ChemKM}). We show that the results of our HD189733b model are in good agreement with previously published results, except at $\mu$bar regime, where molecular diffusion and photochemistry are the dominant processes. We thus recommend careful consideration of these processes when abundances at the top of the atmosphere are desired. We also propose a new metric for a quantitative measure of quenching levels. By applying this metric, we find that quenching pressure decreases with the effective temperature of planets, but it also varies significantly with other atmospheric parameters such as [Fe/H], log(g), and C/O. In addition, we find that the "Methane Valley", a region between 800 and 1500K where above a certain C/O threshold value a greater chance of CH$_4$ detection is expected, still exists after including the vertical mixing. The first robust CH$_4$ detection on an irradiated planet (HD102195b) places this object within this region; supporting our prediction. We also investigate the detectability of disequilibrium spectral fingerprints by JWST, and suggest focusing on the targets with T$_{eff}$ between 1000 and 1800K, orbiting around M-dwarfs, having low surface gravity but high metallicity and a C/O ratio value around unity. Finally, constructing Spitzer color-maps suggests that the main two color-populations are largely insensitive to the vertical mixing. Therefore any deviation of observational points from these populations are likely due to the presence of clouds and not disequilibrium processes. However, some cold planets (T$_{eff}<$900K) with very low C/O ratios ($<$0.25) show significant deviations; making these planets interesting cases for further investigation.


title: All-order alpha'-expansion of one-loop open-string integrals

abstract: We present a new method to evaluate the $\alpha'$-expansion of genus-one integrals over open-string punctures and unravel the structure of the elliptic multiple zeta values in its coefficients. This is done by obtaining a simple differential equation of Knizhnik-Zamolodchikov-Bernard-type satisfied by generating functions of such integrals, and solving it via Picard iteration. The initial condition involves the generating functions at the cusp $\tau\to i\infty$ and can be reduced to genus-zero integrals.


title: The X-ray properties of $z>6$ quasars: no evident evolution of accretion physics in the first Gyr of the Universe

abstract: X-ray emission from QSOs has been used to assess SMBH accretion properties up to $z$~6. However, at $z>6$ only ~15 QSOs are covered by sensitive X-ray observations, preventing a statistically significant investigation of the X-ray properties of QSOs in the first Gyr of the Universe. We present new Chandra observations of 10 $z>6$ QSOs, selected to have virial black-hole mass estimates from Mg II line spectroscopy. Adding archival X-ray data for an additional 15 $z>6$ QSOs, we investigate the X-ray properties of the QSO population in the first Gyr of the Universe, focusing in particular on the $L_{UV}-L_{X}$ relation, which is traced by the $\alpha_{ox}$ parameter, and the shape of their X-ray spectra. We performed photometric analyses to derive estimates of the X-ray luminosities, and thus the $\alpha_{ox}$ values and bolometric corrections ($K_{bol}=L_{bol}/L_{X}$). We compared the resulting $\alpha_{ox}$ and $K_{bol}$ distributions with the results found for QSO samples at lower redshift. Finally, we performed a basic X-ray spectral analysis of the brightest $z>6$ QSOs to derive their individual photon indices, and joint spectral analysis of the whole sample to estimate the average photon index. We confirm a lack of significant evolution of $\alpha_{ox}$ with redshift, extending the results from previous works up to $z>6$, and the trend of an increasing bolometric correction with increasing luminosity found for QSOs at lower redshifts. The average power-law photon index of our sample ($\Gamma=2.20_{-0.34}^{+0.39}$ and $\Gamma=2.13_{-0.13}^{+0.13}$ for sources with $<30$ and $>30$ net counts, respectively) is slightly steeper than, but still consistent with, typical QSOs at $z=1-6$. All these results point toward a lack of substantial evolution of the inner accretion-disk/hot-corona structure in QSOs from low redshift to $z>6$. Our data hint at generally high Eddington ratios at $z>6$.


title: Addendum to "Relational Hamiltonian for group field theory"

abstract: In this addendum to [Phys. Rev. D 99 (2019) 086017], we extend the construction of a Hamiltonian formalism to a new class of group field theory actions with a kinetic term that is local in the group variables and depends only on their derivatives; such a kinetic term will couple magnetic indices of opposite sign in the Peter-Weyl decomposition. The main results of [Phys. Rev. D 99 (2019) 086017] for the resulting cosmology extend to this case.


title: AdS$_3$ solutions in Massive IIA with small $\mathcal{N}=(4,0)$ supersymmetry

abstract: We study AdS$_3\times \text{S}^2$ solutions in massive IIA that preserve small ${\cal N}=(4,0)$ supersymmetry in terms of an SU(2)-structure on the remaining internal space. We find two new classes of solutions that are warped products of the form AdS$_3\times \text{S}^2\times \text{M}_4\times \mathbb{R}$. For the first, M$_4$=CY$_2$ and we find a generalisation a D4-D8 system involving possible additional branes. For the second, M$_4$ need only be Kahler, and we find a generalisation of the T-dual of solutions based on D3-branes wrapping curves in the base of an elliptically fibered Calabi-Yau 3-fold. Within these classes we find many new locally compact solutions that are foliations of AdS$_3\times \text{S}^2\times\text{CY}_2$ over an interval, bounded by various D brane and O plane behaviours. We comment on how these local solutions may be used as the building blocks of infinite classes of global solutions glued together with defect branes. Utilising T-duality we find two new classes of AdS$_3\times \text{S}^3\times \text{M}_4$ solutions in IIB. The first backreacts D5s and KK monopoles on the D1-D5 near horizon. The second is a generalisation of the solutions based on D3-branes wrapping curves in the base of an elliptically fibered CY$_3$ that includes non trivial 3-form flux.


title: Entanglement spectrum and symmetries in non-Hermitian fermionic non-interacting models

abstract: We study the properties of the entanglement spectrum in gapped non-interacting non-Hermitian systems, and its relation to the topological properties of the system Hamiltonian. Two different families of entanglement Hamiltonians can be defined in non-Hermitian systems, depending on whether we consider only right (or equivalently only left) eigenstates or a combination of both left and right eigenstates. We show that their entanglement spectra can still be computed efficiently, as in the Hermitian limit. We discuss how symmetries of the Hamiltonian map into symmetries of the entanglement spectrum depending on the choice of the many-body state. Through several examples in one and two dimensions, we show that the biorthogonal entanglement Hamiltonian directly inherits the topological properties of the Hamiltonian for line gapped phases, with characteristic singular and energy zero modes. The right (left) density matrix carries distinct information on the topological properties of the many-body right (left) eigenstates themselves. In purely point gapped phases, when the energy bands are not separable, the relation between the entanglement Hamiltonian and the system Hamiltonian breaks down.


title: Machine learning algorithms to infer trait-matching and predict species interactions in ecological networks

abstract: Ecologists have long suspected that species are more likely to interact if their traits match in a particular way. For example, a pollination interaction may be more likely if the proportions of a bee's tongue fit a plant's flower shape. Empirical estimates of the importance of trait-matching for determining species interactions, however, vary significantly among different types of ecological networks. Here, we show that ambiguity among empirical trait-matching studies may have arisen at least in parts from using overly simple statistical models. Using simulated and real data, we contrast conventional generalized linear models (GLM) with more flexible Machine Learning (ML) models (Random Forest, Boosted Regression Trees, Deep Neural Networks, Convolutional Neural Networks, Support Vector Machines, naive Bayes, and k-Nearest-Neighbor), testing their ability to predict species interactions based on traits, and infer trait combinations causally responsible for species interactions. We find that the best ML models can successfully predict species interactions in plant-pollinator networks, outperforming GLMs by a substantial margin. Our results also demonstrate that ML models can better identify the causally responsible trait-matching combinations than GLMs. In two case studies, the best ML models successfully predicted species interactions in a global plant-pollinator database and inferred ecologically plausible trait-matching rules for a plant-hummingbird network, without any prior assumptions. We conclude that flexible ML models offer many advantages over traditional regression models for understanding interaction networks. We anticipate that these results extrapolate to other ecological network types. More generally, our results highlight the potential of machine learning and artificial intelligence for inference in ecology, beyond standard tasks such as image or pattern recognition.


title: Test fields cannot destroy extremal de Sitter black holes

abstract: We determine the timelike Killing vector field that gives the correct definition of energy for test fields propagating in a Kerr-Newman-de Sitter spacetime, and use this result to prove that test fields cannot destroy extremal Kerr-Newman-de Sitter black holes.


title: Detecting crosstalk errors in quantum information processors

abstract: Crosstalk occurs in most quantum computing systems with more than one qubit. It can cause a variety of correlated and nonlocal crosstalk errors that can be especially harmful to fault-tolerant quantum error correction, which generally relies on errors being local and relatively predictable. Mitigating crosstalk errors requires understanding, modeling, and detecting them. In this paper, we introduce a comprehensive framework for crosstalk errors and a protocol for detecting and localizing them. We give a rigorous definition of crosstalk errors that captures a wide range of disparate physical phenomena that have been called "crosstalk", and a concrete model for crosstalk-free quantum processors. Errors that violate this model are crosstalk errors. Next, we give an equivalent but purely operational (model-independent) definition of crosstalk errors. Using this definition, we construct a protocol for detecting a large class of crosstalk errors in a multi-qubit processor by finding conditional dependencies between observed experimental probabilities. It is highly efficient, in the sense that the number of unique experiments required scales at most cubically, and very often quadratically, with the number of qubits. We demonstrate the protocol using simulations of 2-qubit and 6-qubit processors.


title: Reionization optical depth determination from Planck HFI data with ten percent accuracy

abstract: We present an estimation of the reionization optical depth $\tau$ from an improved analysis of the High Frequency Instrument (HFI) data of Planck satellite. By using an improved version of the HFI map-making code, we greatly reduce the residual large scale contamination affecting the data, characterized, but not fully removed, in the Planck 2018 legacy release. This brings the dipole distortion systematic effect, contaminating the very low multipoles, below the noise level. On large scale polarization only data, we measure $\tau=0.0566_{-0.0062}^{+0.0053}$ at $68\%$ C.L., reducing the Planck 2018 legacy release uncertainty by $\sim40\%$. Within the $\Lambda$CDM model, in combination with the Planck large scale temperature likelihood, and the high-$\ell$ temperature and polarization likelihood, we measure $\tau=0.059\pm0.006$ at $68\%$ C.L. which corresponds to a mid-point reionization redshift of $z_{\rm re}=8.14\pm0.61$ at $68\%$ C.L.. This estimation of the reionization optical depth with $10\%$ accuracy is the strongest constraint to date.


title: Construction of Martingale Measure in the Hazard Process Model of Credit Risk

abstract: In credit risk literature, the existence of an equivalent martingale measure is stipulated as one of the main assumptions in the hazard process model. Here we show by construction the existence of a measure that turns the discounted stock and defaultable bond prices into martingales by identifying a no-arbitrage condition, in as weak a sense as possible, which facilitates such a construction.


title: Anomalies, a mod 2 index, and dynamics of 2d adjoint QCD

abstract: We show that $2$d adjoint QCD, an $SU(N)$ gauge theory with one massless adjoint Majorana fermion, has a variety of mixed 't Hooft anomalies. The anomalies are derived using a recent mod $2$ index theorem and its generalization that incorporates 't Hooft flux. Anomaly matching and dynamical considerations are used to determine the ground-state structure of the theory. The anomalies, which are present for most values of $N$, are matched by spontaneous chiral symmetry breaking. We find that massless $2$d adjoint QCD confines for $N >2$, except for test charges of $N$-ality $N/2$, which are deconfined. In other words, $\mathbb Z_N$ center symmetry is unbroken for odd $N$ and spontaneously broken to $\mathbb Z_{N/2}$ for even $N$. All of these results are confirmed by explicit calculations on small $\mathbb{R}\times S^1$. We also show that this non-supersymmetric theory exhibits exact Bose-Fermi degeneracies for all states, including the vacua, when $N$ is even. Furthermore, for most values of $N$, $2$d massive adjoint QCD describes a non-trivial symmetry-protected topological (SPT) phase of matter, including certain cases where the number of interacting Majorana fermions is a multiple of $8$. As a result, it fits into the classification of $(1+1)$d SPT phases of interacting Majorana fermions in an interesting way.


title: The vanishing rate of Weil-Petersson sectional curvatures

abstract: The Weil-Petersson metric for the moduli space of Riemann surfaces has negative sectional curvature. Surfaces represented in the complement of a compact set in the moduli space have short geodesics. At such surfaces the Weil-Petersson metric is approximately a product metric. An almost product metric has sections with almost vanishing curvature. We bound the sectional curvature away from zero in terms of the product of lengths of short geodesics on Riemann surfaces. We give examples and an expectation for the actual vanishing rate.


title: The Scintillator Upgrade of IceTop: Performance of the prototype array

abstract: The IceCube Collaboration foresees to upgrade IceTop, the present surface array, with scintillator detectors augmented by radio antennas. As one of several goals the scintillator detectors will be used to measure and mitigate the effects of snow accumulation on the IceTop tanks: the increasing energy threshold and efficiency loss are nowadays the sources of the largest systematic uncertainties in shower reconstruction and mass composition analysis. In addition, the upgrade will provide useful experience for the development of next generation neutrino detectors proposed for the South Pole. In the Austral summer season, 2017-2018 two full "stations" were installed near the center of the IceTop array. Each station features custom-designed electronics and consists of seven detectors, each having an active area of 1.5m$^{2}$ plastic scintillator and wavelength shifting fibers read out by a Silicon Photomultiplier. In this contribution we review the detector design and performance, and show results from more than one year of operation of the prototype stations. During that year several thousand air shower events have been measured in coincidence with IceTop.


title: The Frobenius structure theorem for affine log Calabi-Yau varieties containing a torus

abstract: Let $U$ be an affine log Calabi-Yau variety containing an open algebraic torus. We show that the naive counts of rational curves in $U$ uniquely determine a commutative associative algebra equipped with a compatible multilinear form. This proves a variant of the Frobenius structure conjecture by Gross-Hacking-Keel in mirror symmetry, and the spectrum of this algebra is supposed to give the hypothetical mirror family. Although the statement of our theorem involves only elementary algebraic geometry, our proof employs Berkovich non-archimedean analytic methods. We construct the structure constants of the algebra via counting non-archimedean analytic disks in the analytification of $U$. We establish various properties of the counting, notably deformation invariance, symmetry, gluing formula and convexity. In the special case when $U$ is a Fock-Goncharov skew-symmetric X-cluster variety, we prove that our algebra generalizes, and gives a direct geometric construction of, the mirror algebra of Gross-Hacking-Keel-Kontsevich. The comparison is proved via a canonical scattering diagram constructed from counts of infinitesimal non-archimedean analytic cylinders, without using the Kontsevich-Soibelman algorithm. Several combinatorial conjectures of GHKK, as well as the positivity in the Laurent phenomenon, follow readily from the geometric description.


title: Revisiting The Spectral and Timing Properties of NGC 4151

abstract: NGC 4151 is the brightest Seyfert 1 nucleus in X-rays. It was the first object to show short time delays in the Fe K band, which were attributed to relativistic reverberation, providing a new tool for probing regions at the black hole scale. Here, we report the results of a large XMM-Newton campaign in 2015 to study these short delays further. Analyzing high quality data that span time scales between hours and decades, we find that neutral and ionized absorption contribute significantly to the spectral shape. Accounting for their effects, we find no evidence for a relativistic reflection component, contrary to early work. Energy-dependent lags are significantly measured in the new data, but with an energy profile that does not resemble a broad iron line, in contrast to the old data. The complex lag-energy spectra, along with the lack of strong evidence for a relativistic spectral component, suggest that the energy-dependent lags are produced by absorption effects. The long term spectral variations provide new details on the variability of the narrow Fe K$\alpha$ line . We find that its variations are correlated with, and delayed with respect to, the primary X-ray continuum. We measure a delay of $\tau= 3.3^{+1.8}_{-0.7}$ days, implying an origin in the inner broad line region (BLR). The delay is half the H$\beta$ line delay, suggesting a geometry that differs slightly from the optical BLR.


title: Unusual Field Dependence of Anomalous Hall Effect in Ta/TbFeCo

abstract: Experimental studies of anomalous Hall effect are performed for thin filmed Ta/TbFeCo in a wide range of temperatures and magnetic fields up to 3 T. While far from the compensation temperature (TM=277 K) the field dependence has a conventional shape of a single hysteresis loop, just below the compensation point the dependence is anomalous having the shape of a triple hysteresis. To understand this behavior, we experimentally reveal the magnetic phase diagram and theoretically analyze it in terms of spin-reorientation phase transitions. We show that one should expect anomalous hysteresis loops below the compensation point if in the vicinity of it the magnetic anisotropy is dominated by FeCo sublattice due to interaction with Ta.


title: Dark matter from dark photons: a taxonomy of dark matter production

abstract: We analyse how dark matter (DM) can be produced in the early universe, working in the framework of a hidden sector charged under a U(1)' gauge symmetry and interacting with the Standard Model through kinetic mixing. Depending on the masses of the dark matter particle and of the dark photon, as well as on the hidden U(1)' gauge coupling and the kinetic mixing parameter, we classify all the distinct regimes along which the observed dark matter relic density can be accounted for. We find that 9 regimes are potentially operative to produce the DM particles and this along 5 distinct dynamical mechanisms. Among these, 4 regimes are new and correspond to regimes in which the DM particles are produced by on-shell dark photons. One of them proceeds along a new dynamical mechanism, which we dub sequential freeze-in. We argue that such regimes and the associated dynamical mechanisms are characteristic of DM models for which, on top of the Standard Model and the dark sector, there are other massive, but relatively light particles -- akin to the dark photon -- that interact both with the SM and the DM sectors.


title: Nonconservation of Energy and Loss of Determinism II: Colliding with an Open Set

abstract: An actual infinity of colliding balls can be in a configuration in which the laws of mechanics lead to logical inconsistency. It is argued that one should therefore limit the domain of these laws to a finite, or only a potentially infinite number of elements. With this restriction indeterminism, energy non-conservation and (creatio ex nihilo) no longer occur. A numerical analysis of finite systems of colliding balls is given, and the asymptotic behavior that corresponds to the potentially infinite system is inferred.


title: Kinetic Equilibration after Preheating

abstract: We study thermal equilibration after preheating in inflationary cosmology, which is an important step towards a comprehensive understanding of cosmic thermal history. By noticing that the problem is parallel to thermalization after a relativistic heavy ion collision, we make use of the methods developed in this context and that seek for an analytical approach to the Boltzmann equation. In particular, an exact solution for number-conserving scatterings is available for the distribution function in a Friedmann-Lema\^{i}tre-Robertson-Walker metric and can be utilized for the spectral evolution of kinetic equilibration process after preheating. We find that thermal equilibration is almost instantaneous on the time scale of the Hubble time. We also make an explicit prediction for the duration (the number of e-folds of expansion) required for this process of thermal equilibration to complete following the end of inflation.


title: Consistency of community structure in complex networks

abstract: The most widely used techniques for community detection in networks, including methods based on modularity, statistical inference, and information theoretic arguments, all work by optimizing objective functions that measure the quality of network partitions. There is a good case to be made, however, that one should not look solely at the single optimal community structure under such an objective function, but rather at a selection of high-scoring structures. If one does this one typically finds that the resulting structures show considerable variation, and this has been taken as evidence that these community detection methods are unreliable, since they do not appear to give consistent answers. Here we argue that, upon closer inspection, the structures found are in fact consistent in a certain way. Specifically, we show that they can all be assembled from a set of underlying "building blocks", groups of network nodes that are usually found together in the same community. Different community structures correspond to different arrangements of blocks, but the blocks themselves are largely invariant. We propose an information theoretic method for discovering the building blocks in specific networks and demonstrate it with several example applications. We conclude that traditional community detection is not the failure some have suggested it is, and that in fact it gives a significant amount of insight into network structure, although perhaps not in exactly the way previously imagined.


title: Introducing H, an institution-based formal specification and verification language

abstract: This is a short survey on the development of the formal specification and verification language H with emphasis on the scientific part. H is a modern highly expressive language solidly based upon advanced mathematical theories such as the internalisation of Kripke semantics within institution theory.


title: PorePy: An Open-Source Software for Simulation of Multiphysics Processes in Fractured Porous Media

abstract: Development of models and dedicated numerical methods for dynamics in fractured rocks is an active research field, with research moving towards increasingly advanced process couplings and complex fracture networks. The inclusion of coupled processes in simulation models is challenged by the high aspect ratio of the fractures, the complex geometry of fracture networks and the crucial impact of processes that completely change characteristics on the fracture-rock interface. This paper provides a general discussion of design principles for introducing fractures in simulators, and defines a framework for integrated modeling, discretization and computer implementation. The framework is implemented in the simulation software PorePy, which can serve as a flexible prototyping tool or multiphysics problems in fractured rocks. Based on a representation of the fractures and their intersections as lower-dimensional objects, we discuss data structures for mixed-dimensional meshes, formulation of multiphysics problems and discretizations that utilize existing software. We further present the implementation of these concepts in the PorePy open-source software tool, which is aimed at coupled simulation of flow and transport in three-dimensional fractured reservoirs as well as deformation of fractures and the reservoir in general. We present validation by benchmarks for flow, poroelasticity and fracture deformation in fractured porous media. The flexibility of the framework is then illustrated by simulations of fully coupled flow and transport and of injection driven deformation of fractures. All results reported herein can be reproduced by openly available simulation scripts.


title: Enhanced Superexchange in a Tilted Mott Insulator

abstract: In an optical lattice entropy and mass transport by first-order tunneling is much faster than spin transport via superexchange. Here we show that adding a constant force (tilt) suppresses first-order tunneling, but not spin transport, realizing new features for spin Hamiltonians. Suppression of the superfluid transition can stabilize larger systems with faster spin dynamics. For the first time in a many-body spin system, we vary superexchange rates by over a factor of 100 and tune spin-spin interactions via the tilt. In a tilted lattice, defects are immobile and pure spin dynamics can be studied.


title: New thermodynamic constraints on internal, thermal and magnetic states of terrestrial-like Super-Earths

abstract: Ascertaining rocky exoplanets dynamic evolution requires better understanding of key internal thermophysical processes that shaped their geological surfaces, heat fluxes, volatiles and atmospheric content. New high-pressure experiments on iron and silicates compressible, melting and transport properties are providing new constraints that demand reassessments of super-Earths thermal and magnetic evolution models. We examine the interior structure, temperature distribution, thermal states and dynamo action of these planets with masses ranging from 1-10 ME. We show that the shallow adiabaticity of iron-alloys and perovskite or stishovite silicates compared to their liquidus at high pressure would allow for deep basal magma oceans, and frozen iron cores in planets larger than 4 ME. The presence and partitioning of MgO may alter this scenario. For the more massive planets, the dramatic reduction in liquid silicates viscosity should ensure a vigorous convection in the lower mantle, while the rise of iron thermal conductivity under high pressures, is shown to keep the internal cores of planets more massive than 2.5 ME subadiabatic and non-convicting. This will preclude the dynamo action in the more massive super-Earths (SE). Our results could allow a new mineral physics centered classification of terrestrial-like superEarths.


title: Uniform distortions and generalized elasticity of liquid crystals

abstract: Ordinary nematic liquid crystals are characterized by having a uniform director field as ground state. In such a state, the director is the same everywhere and no distortion is to be seen at all. We give a definition of uniform distortion which makes precise the intuitive notion of seeing everywhere the same director landscape. We characterize all such distortions and prove that they fall into two families, each described by two scalar parameters. Uniform distortions exhaust R. Meyer's heliconical structures, which, as it has recently been recognized, include the ground state of twist-bend nematics. The generalized elasticity of these new phases is treated with a simple free-energy density, which can be minimized by both uniform and non-uniform distortions, the latter injecting a germ of elastic frustration.


title: End-to-End Conditional GAN-based Architectures for Image Colourisation

abstract: In this work recent advances in conditional adversarial networks are investigated to develop an end-to-end architecture based on Convolutional Neural Networks (CNNs) to directly map realistic colours to an input greyscale image. Observing that existing colourisation methods sometimes exhibit a lack of colourfulness, this paper proposes a method to improve colourisation results. In particular, the method uses Generative Adversarial Neural Networks (GANs) and focuses on improvement of training stability to enable better generalisation in large multi-class image datasets. Additionally, the integration of instance and batch normalisation layers in both generator and discriminator is introduced to the popular U-Net architecture, boosting the network capabilities to generalise the style changes of the content. The method has been tested using the ILSVRC 2012 dataset, achieving improved automatic colourisation results compared to other methods based on GANs.


title: Sufficient Representations for Categorical Variables

abstract: Many learning algorithms require categorical data to be transformed into real vectors before it can be used as input. Often, categorical variables are encoded as one-hot (or dummy) vectors. However, this mode of representation can be wasteful since it adds many low-signal regressors, especially when the number of unique categories is large. In this paper, we investigate simple alternative solutions for universally consistent estimators that rely on lower-dimensional real-valued representations of categorical variables that are "sufficient" in the sense that no predictive information is lost. We then compare preexisting and proposed methods on simulated and observational datasets.


title: SQUID magnetometer based on Grooved Dayem nanobridges and a flux transformer

abstract: We report noise measurements performed on a SQUID magnetometer implementing Grooved Dayem nanobridge of YBCO as weak-links. The SQUID shows magnetic flux noise as low as 10 $\mu \Phi_0$/Hz$^{0.5}$. The magnetometer is realized by coupling the SQUID to a flux transformer with a two-level coupling scheme using a flip-chip approach. This improves the effective area of the SQUID and result in a magnetic field noise of 50 fT/Hz$^{0.5}$ at T=77 K.


title: BULNER: BUg Localization with word embeddings and NEtwork Regularization

abstract: Bug localization (BL) from the bug report is the strategic activity of the software maintaining process. Because BL is a costly and tedious activity, BL techniques information retrieval-based and machine learning-based could aid software engineers. We propose a method for BUg Localization with word embeddings and Network Regularization (BULNER). The preliminary results suggest that BULNER has better performance than two state-of-the-art methods.


title: A Cartesian Diagram of Rapoport-Zink Towers over Universal Covers of $p$-Divisible Groups

abstract: In their paper Scholze and Weinstein show that a certain diagram of perfectoid spaces is Cartesian. In this paper, we generalize their result. This generalization will be used in a forthcoming paper of ours to compute certain non-trivial $\ell$-adic \'etale cohomology classes appearing in the the generic fiber of Lubin-Tate and Rapoprt-Zink towers. We also study the behavior of the vector bundle functor on the fundamental curve in $p$-adic Hodge theory, defined by Fargues-Fontaine, under multilinear morphisms.


title: Slither: A Static Analysis Framework For Smart Contracts

abstract: This paper describes Slither, a static analysis framework designed to provide rich information about Ethereum smart contracts. It works by converting Solidity smart contracts into an intermediate representation called SlithIR. SlithIR uses Static Single Assignment (SSA) form and a reduced instruction set to ease implementation of analyses while preserving semantic information that would be lost in transforming Solidity to bytecode. Slither allows for the application of commonly used program analysis techniques like dataflow and taint tracking. Our framework has four main use cases: (1) automated detection of vulnerabilities, (2) automated detection of code optimization opportunities, (3) improvement of the user's understanding of the contracts, and (4) assistance with code review. In this paper, we present an overview of Slither, detail the design of its intermediate representation, and evaluate its capabilities on real-world contracts. We show that Slither's bug detection is fast, accurate, and outperforms other static analysis tools at finding issues in Ethereum smart contracts in terms of speed, robustness, and balance of detection and false positives. We compared tools using a large dataset of smart contracts and manually reviewed results for 1000 of the most used contracts.