title: Dimensional Crossover and Topological Phase Transition in Dirac Semimetal Na3Bi Films

abstract: Three-dimensional (3D) topological Dirac semimetal, when thinned down to 2D few layers, is expected to possess gapped Dirac nodes via quantum confinement effect and concomitantly display the intriguing quantum spin Hall (QSH) insulator phase. However, the 3D-to-2D crossover and the associated topological phase transition, which is valuable for understanding the topological quantum phases, remain unexplored. Here, we synthesize high-quality Na3Bi thin films with R3*R3 reconstruction on graphene, and systematically characterize their thickness-dependent electronic and topological properties by scanning tunneling microscopy/spectroscopy in combination with first-principles calculations. We demonstrate that Dirac gaps emerge in Na3Bi films, providing spectroscopic evidences of dimensional crossover from a 3D semimetal to a 2D topological insulator. Importantly, the Dirac gaps are revealed to be of sizable magnitudes on 3 and 4 monolayers (72 and 65 meV, respectively) with topologically nontrivial edge states. Moreover, the Fermi energy of a Na3Bi film can be tuned via certain growth process, thus offering a viable way for achieving charge neutrality in transport. The feasibility of controlling Dirac gap opening and charge neutrality enables realizing intrinsic high-temperature QSH effect in Na3Bi films and achieving potential applications in topological devices.


title: Complementary Schur Asymptotics for Partitions

abstract: We deduce from the strong form of the Hardy--Ramanujan asymptotics for the partition function $p(n)$ an asymptotics for $p_{-S}(n)$, the number of partitions of $n$ that do not use parts from a finite set $S$ of positive integers. We apply this to construct highly oscillating partition ideals.


title: Probing pseudo-Goldstone dark matter at the LHC

abstract: Pseudo-Goldstone dark matter coupled to the Standard Model via the Higgs portal offers an attractive framework for phenomenologically viable pseudo-scalar dark matter. It enjoys natural suppression of the direct detection rate due to the vanishing of the relevant (tree level) Goldstone boson vertex at zero momentum transfer, which makes light WIMP-like dark matter consistent with the strong current bounds. In this work, we explore prospects of detecting pseudo-Goldstone dark matter at the LHC, focusing on the vector boson fusion (VBF) channel with missing energy. We find that, in substantial regions of parameter space, relatively light dark matter ($m_\chi < 100$ GeV) can be discovered in the high luminosity run as long as it is produced in decays of the Higgs-like bosons.


title: Molecular Doping of Electrochemically Prepared Triazine-based Carbon Nitride by 2,4,6-Triaminopyrimidine for Improved Photocatalytic Properties

abstract: The copolymerization of melamine with 2,4,6-triaminopyrimidine (TAP) in an electrochemical induced polymerization process leads to the formation of molecular doped poly (triazine imide) (PTI). The polymerization is based on the electrolysis of water and evolving radicals during this process. The incorporation of TAP is shown by techniques such as elemental analysis, FTIR and NMR spectroscopy and powder x-ray diffraction (XRD), and it is shown that the carbon content can be tuned by the variation of the molar ratio of the two precursors. This incorporation of TAP directly influences the electronic structure of PTI and as a result a red-shift can be observed in UV-Vis spectroscopy. The smaller bandgap and the increased absorption in the visible range lead to improved photocatalytic properties. In dye degradation experiments it was possible to observe an increase of the rate of the degradation of methylene blue (MB) by a factor of 4 in comparison to undoped PTI or 7 if compared to melon.


title: Complex diffusion-weighted image estimation via matrix recovery under general noise models

abstract: We propose a patch-based singular value shrinkage method for diffusion magnetic resonance image estimation targeted at low signal to noise ratio and accelerated acquisitions. It operates on the complex data resulting from a sensitivity encoding reconstruction, where asymptotically optimal signal recovery guarantees can be attained by modeling the noise propagation in the reconstruction and subsequently simulating or calculating the limit singular value spectrum. Simple strategies are presented to deal with phase inconsistencies and optimize patch construction. The pertinence of our contributions is quantitatively validated on synthetic data, an in vivo adult example, and challenging neonatal and fetal cohorts. Our methodology is compared with related approaches, which generally operate on magnitude-only data and use data-based noise level estimation and singular value truncation. Visual examples are provided to illustrate effectiveness in generating denoised and debiased diffusion estimates with well preserved spatial and diffusion detail.


title: Impact of Traditional Sparse Optimizations on a Migratory Thread Architecture

abstract: Achieving high performance for sparse applications is challenging due to irregular access patterns and weak locality. These properties preclude many static optimizations and degrade cache performance on traditional systems. To address these challenges, novel systems such as the Emu architecture have been proposed. The Emu design uses light-weight migratory threads, narrow memory, and near-memory processing capabilities to address weak locality and reduce the total load on the memory system. Because the Emu architecture is fundamentally different than cache based hierarchical memory systems, it is crucial to understand the cost-benefit tradeoffs of standard sparse algorithm optimizations on Emu hardware. In this work, we explore sparse matrix-vector multiplication (SpMV) on the Emu architecture. We investigate the effects of different sparse optimizations such as dense vector data layouts, work distributions, and matrix reorderings. Our study finds that initially distributing work evenly across the system is inadequate to maintain load balancing over time due to the migratory nature of Emu threads. In severe cases, matrix sparsity patterns produce hot-spots as many migratory threads converge on a single resource. We demonstrate that known matrix reordering techniques can improve SpMV performance on the Emu architecture by as much as 70% by encouraging more consistent load balancing. This can be compared with a performance gain of no more than 16% on a cache-memory based system.


title: $\Omega_c$ excited states: a molecular approach with heavy-quark spin symmetry

abstract: The LHCb Collaboration has recently discovered five excited $\Omega_c$ states with masses between 3 and 3.1 GeV, four of them corroborated by the Belle Collaboration. We analyse the dynamical generation of these states within a molecular baryon-meson model that is consistent with both chiral and heavy-quark spin symmetries. Earlier predictions within this model found five $\Omega_c$ states with masses below 3 GeV. Thus, in order to study the possible identification of any of these states with the experimental ones in the correct energy region, we explore two different regularization schemes, that is, a modified regularization subtraction method and a cutoff regularization scheme. We find that at least three of the dynamically generated states can be identified with the experimental ones and have spin-parity $J=1/2^-$ or $J=3/2^-$


title: The lengths of projective triply-even binary codes

abstract: It is shown that there does not exist a binary projective triply-even code of length $59$. This settles the last open length for projective triply-even binary codes. Therefore, projective triply-even binary codes exist precisely for lengths $15$, $16$, $30$, $31$, $32$, $45$--$51$, and $\ge 60$.


title: Searching for intermediate-mass black holes in NGC3310

abstract: Intermediate-mass black holes are theoretically predicted but observationally elusive, and evidence for them is often indirect. The nearby face-on spiral galaxy NGC3310 has hosted many supernovae in recent history, and recent Chandra observations have shown a group of strong off-nuclear X-ray sources that are coincident with radio emission seen in archival VLA and MERLIN observations. Their luminosity, spectrum and off-nuclear location make these sources excellent IMBH candidates. To investigate this possibility, we used combined EVN/e-MERLIN observations at both 1.4 and 5 GHz to look for compact radio emission and evidence of jet activity. We detect a compact radio source within one arcsecond of a Chandra source with an estimated mass ${\rm M}_{\rm BH}\sim3\times10^4 {\rm M}_{\odot}$.


title: Phase-dependent double optomechanically induced transparency in a hybrid optomechanical cavity system with coherently mechanical driving

abstract: We propose a scheme that can generate a tunable double optomechanically induced transparency (OMIT) in a hybrid optomechanical cavity system, in which the mechanical resonator of an optomechanical cavity is coupled to an additional mechanical resonator, and the additional mechanical resonator can be driven by a weak external coherently mechanical driving field. We show that both the intensity and the phase of the the external mechanical driving field can control the propagation of the probe field, including changing the transmission spectrum curve from a double-window to a single-window. Our study also provides an effective way to produce an intensity-controllable narrow-bandwidth transmission spectra, with the probe field modulated from excessive opacity to remarkable amplification.


title: A Variance Reduction Technique for the Stochastic Liouville-von Neuman Equation

abstract: The Stochastic Liouville-von Neumann equation provides an exact numerical simulation strategy for quantum systems interacting with Gaussian reservoirs [J.T. Stockburger & H. Grabert, PRL 88, 170407 (2002)]. Its scaling with the extension of the time interval covered has recently improved dramatically through time-domain projection techniques [J.T. Stockburger, EPL 115, 40010 (2016)]. Here we present a sampling strategy which results in a significantly improved scaling with the strength of the dissipative interaction, based on reducing the non-unitary terms in sample propagation through convex optimization techniques.


title: Parallel Sparse Tensor Decomposition in Chapel

abstract: In big-data analytics, using tensor decomposition to extract patterns from large, sparse multivariate data is a popular technique. Many challenges exist for designing parallel, high performance tensor decomposition algorithms due to irregular data accesses and the growing size of tensors that are processed. There have been many efforts at implementing shared-memory algorithms for tensor decomposition, most of which have focused on the traditional C/C++ with OpenMP framework. However, Chapel is becoming an increasingly popular programing language due to its expressiveness and simplicity for writing scalable parallel programs. In this work, we port a state of the art C/OpenMP parallel sparse tensor decomposition tool, SPLATT, to Chapel. We present a performance study that investigates bottlenecks in our Chapel code and discusses approaches for improving its performance. Also, we discuss features in Chapel that would have been beneficial to our porting effort. We demonstrate that our Chapel code is competitive with the C/OpenMP code for both runtime and scalability, achieving 83%-96% performance of the original code and near linear scalability up to 32 cores.


title: Signatures of paths transformed by polynomial maps

abstract: We characterize the signature of piecewise continuously differentiable paths transformed by a polynomial map in terms of the signature of the original path. For this aim, we define recursively an algebra homomorphism between two shuffle algebras on words. This homomorphism does not depend on the path and behaves well with respect to composition and homogeneous maps. It allows us to describe the relation between the signature of a piecewise continuously differentiable path and the signature of the path obtained by transforming it under a polynomial map. We also study this map as a half-shuffle homomorphism and give a generalization of our main theorem in terms of Zinbiel algebras.


title: Lack of an equation of state for the nonequilibrium chemical potential of gases of active particles in contact

abstract: We discuss the notion of nonequilibrium chemical potential in gases of non-interacting active particles filling two compartments separated by a potential energy barrier. Different types of active particles are considered: run-and-tumble particles, active Brownian particles, and active Brownian particles with a stochastic reorientation along an external field. After recalling some analytical results for run-and-rumble particles in one dimension, we focus on the two-dimensional case and obtain a perturbative expression of the density profile in the limit of a fast reorientation dynamics, for the three models of active particles mentioned above. Computing the chemical potentials of the non-equilibrium systems in contact from the knowledge of the stationary probability distribution of the whole system ---which agrees with a recently proposed general definition of the chemical potential in non-equilibrium systems in contact--- we generically find that the chemical potential lacks an equation of state, in the sense that it depends on the detailed shape of the potential energy barrier separating the compartments and not only on bulk properties, at odds with equilibrium. This situation is reminiscent of the properties of the mechanical pressure in active systems. We also argue that the Maxwell relation is no longer valid and cannot be used to infer the nonequilibrium chemical potential from the knowledge of the mechanical pressure.


title: An Empirical Evaluation of Allgatherv on Multi-GPU Systems

abstract: Applications for deep learning and big data analytics have compute and memory requirements that exceed the limits of a single GPU. However, effectively scaling out an application to multiple GPUs is challenging due to the complexities of communication between the GPUs, particularly for collective communication with irregular message sizes. In this work, we provide a performance evaluation of the Allgatherv routine on multi-GPU systems, focusing on GPU network topology and the communication library used. We present results from the OSU-micro benchmark as well as conduct a case study for sparse tensor factorization, one application that uses Allgatherv with highly irregular message sizes. We extend our existing tensor factorization tool to run on systems with different node counts and varying number of GPUs per node. We then evaluate the communication performance of our tool when using traditional MPI, CUDA-aware MVAPICH and NCCL across a suite of real-world data sets on three different systems: a 16-node cluster with one GPU per node, NVIDIA's DGX-1 with 8 GPUs and Cray's CS-Storm with 16 GPUs. Our results show that irregularity in the tensor data sets produce trends that contradict those in the OSU micro-benchmark, as well as trends that are absent from the benchmark.


title: Localization of Energetic Frustration in Proteins

abstract: We present a detailed heuristic method to quantify the degree of local energetic frustration manifested by protein molecules. Current applications are realized in computational experiments where a protein structure is visualized highlighting the energetic conflicts or the concordance of the local interactions in that structure. Minimally frustrated linkages highlight the stable folding core of the molecule. Sites of high local frustration, in contrast, often indicate functionally relevant regions such as binding, active or allosteric sites.


title: The variance of the average depth of a pure birth process converges to 7

abstract: If trees are constructed from a pure birth process and one defines the depth of a leaf to be the number of edges to its root, it is known that the variance in the depth of a randomly selected leaf of a randomly selected tree grows linearly in time. In this letter, we instead consider the variance of the average depth of leaves within each individual tree, establishing that, in contrast, it converges to a constant, $7$. This result indicates that while the variance in leaf depths amongst the ensemble of pure birth processes undergoes large fluctuations, the average depth across individual trees is much more consistent.


title: Hypocoercivity and diffusion limit of a finite volume scheme for linear kinetic equations

abstract: In this article, we are interested in the asymptotic analysis of a finite volume scheme for one dimensional linear kinetic equations, with either Fokker-Planck or linearized BGK collision operator. Thanks to appropriate uniform estimates, we establish that the proposed scheme is Asymptotic-Preserving in the diffusive limit. Moreover, we adapt to the discrete framework the hypocoercivity method proposed by [J. Dolbeault, C. Mouhot and C. Schmeiser, Trans. Amer. Math. Soc., 367, 6 (2015)] to prove the exponential return to equilibrium of the approximate solution. We obtain decay rates that are bounded uniformly in the diffusive limit. Finally, we present an efficient implementation of the proposed numerical schemes, and perform numerous numerical simulations assessing their accuracy and efficiency in capturing the correct asymptotic behaviors of the models.


title: Quantum thermometry in a squeezed thermal bath

abstract: We address the dephasing dynamics of the quantum Fisher information (QFI) for the process of quantum thermometry with probes coupled to squeezed thermal baths via the nondemolition interaction. We also calculate the upper bound for the parameter estimation and investigate how the optimal estimation is affected by the initial conditions and decoherence, particularly the squeezing parameters. Moreover, the feasibility of the optimal measurement of the temperature is discussed in detail. Then, the results are generalized for entangled probes and the multi-qubit scenarios for probing the temperature are analysed. Our results show that the squeezing can decrease the number of channel uses for optimal thermometry. Comparing different schemes for multi-qubit estimation, we find that an increase in the number of the qubits, interacting with the channel, does not necessarily vary the precision of estimating the temperature. Besides, we discuss the enhancement of the quantum thermometry using the parallel strategy and starting from the W state.


title: Construction of quasi-periodic solutions for delayed perturbation differential equations

abstract: We employ the Craig-Wayne-Bourgain method to construct quasi-periodic solutions for delayed perturbation differential equations. Our results not only implement the existing literatures on constructing quasi-periodic solutions for DDE by the KAM method and space splitting technique, but also provide an example of application of multi-scale analysis method to non-selfadjoint problem.


title: Structural Transition Kinetics and Activated Behavior in the Superconducting Vortex Lattice

abstract: Using small-angle neutron scattering, we investigated the behavior of a metastable vortex lattice state in MgB2 as it is driven towards equilibrium by an AC magnetic field. This shows an activated behavior, where the AC field amplitude and cycle count are equivalent to, respectively, an effective "temperature" and "time". The activation barrier increases as the metastable state is suppressed, corresponding to an aging of the vortex lattice. Furthermore, we find a cross-over from a partial to a complete suppression of metastable domains depending on the AC field amplitude, which may empirically be described by a single free parameter. This represents a novel kind of collective vortex behavior, most likely governed by the nucleation and growth of equilibrium vortex lattice domains.


title: Single molecule localization by $\ell_2-\ell_0$ constrained optimization

abstract: Single Molecule Localization Microscopy (SMLM) enables the acquisition of high-resolution images by alternating between activation of a sparse subset of fluorescent molecules present in a sample and localization. In this work, the localization problem is formulated as a constrained sparse approximation problem which is resolved by rewriting the $\ell_0$ pseudo-norm using an auxiliary term. In the preliminary experiments with the simulated ISBI datasets the algorithm yields as good results as the state-of-the-art in high-density molecule localization algorithms.


title: Chiral vs classical operad

abstract: We establish an explicit isomorphism between the associated graded of the filtered chiral operad and the classical operad, which is useful for computing the cohomology of vertex algebras.


title: Renormalization group flows for Wilson-Hubbard matter and the topological Hamiltonian

abstract: Understanding the robustness of topological phases of matter in the presence of interactions poses a difficult challenge in modern condensed matter, showing interesting connections to high energy physics. In this work, we leverage these connections to present a complete analysis of the continuum long-wavelength description of a generic class of correlated topological insulators: Wilson-Hubbard topological matter. We show that a Wilsonian renormalization group (RG) approach, combined with the so-called topological Hamiltonian, provide a quantitative route to understand interaction-induced topological phase transitions that occur in Wilson-Hubbard matter. We benchmark two-loop RG predictions for a quasi-1D Wilson-Hubbard model by means of exhaustive numerical simulations based on matrix product states (MPS). The agreement of the RG predictions with MPS simulations motivates the extension of the RG calculations to higher-dimensional topological insulators.


title: Distributed Submodular Minimization over Networks: a Greedy Column Generation Approach

abstract: Submodular optimization is a special class of combinatorial optimization arising in several machine learning problems, but also in cooperative control of complex systems. In this paper, we consider agents in an asynchronous, unreliable and time-varying directed network that aim at cooperatively solving submodular minimization problems in a fully distributed way. The challenge is that the (submodular) objective set-function is only partially known by agents, that is, each one is able to evaluate the function only for subsets including itself. We propose a distributed algorithm based on a proper linear programming reformulation of the combinatorial problem. Our algorithm builds on a column generation approach in which each agent maintains a local candidate basis and locally generates columns with a suitable greedy inner routine. A key interesting feature of the proposed algorithm is that the pricing problem, which involves an exponential number of constraints, is solved by the agents through a polynomial time greedy algorithm. We prove that the proposed distributed algorithm converges in finite time to an optimal solution of the submodular minimization problem and we corroborate the theoretical results by performing numerical computations on instances of the $s$--$t$ minimum graph cut problem.


title: PPMXL and Gaia Morphological Analysis of Melotte 22 (Pleaides) and 25 (Hyades)

abstract: In this article, we present a morphological study of the well-known extended sized open clusters in the sky, Melotte 22 (Pleiades) and Melotte 25 (Hyades) with J, H, and Ks regions due to Gaia DR2 and PPMXL catalogues. Based on proper motions of these clusters, we extract our candidates and hence constructing fitting isochrones with Solar metallicity Z = 0.019, log (age) = 8.2 +- 0.05 for Melotte 22, and metallicity Z = 0.024, log (age) = 8.9 +- 0.10 for Melotte 25. Some photometric parameters are estimated, e.g. cluster heliocentric distances are 135 +- 3.6 and 47.51 +- 2.15 pc respectively, luminosity and mass functions with mass-luminosity relation MLR of the second order polynomial, and we have estimated the masses of Melotte 22 and Melotte 25 as 662.476 +- 25.73 Msun and 513.819 +- 22.65 Msun. The relaxation times of these clusters are smaller than the estimated cluster ages, which indicate that these clusters are dynamically relaxed. The second part is devoted to some kinematics of these clusters due to internal and/or motion of members, the apex position is 95.60 +- 0.10, -48.21 +- 0.14 for Melotte 22, and 96.72 +- 1.15, 5.66 +- 0.12 for Melotte 25. Also we have determined the components of space velocity and the cluster centers in pc as well as elements of the Solar motion. The results are in good agreement with those in the literature.


title: My, and others', spiking memristors are true memristors: a response to R.S. Williams' question at the New Memory Paradigms: Memristive Phenomena and Neuromorphic Applications Faraday Discussion

abstract: At the Faraday Discussion, in the paper titled `Neuromorphic computation with spiking memristors: habituation, experimental instantiation of logic gates and a novel sequence-sensitive perceptron model' it was demonstrated that a large amount of computation could be done in a sequential way using memristor current spikes (d.c. response). As these spikes are found in many memristors (possibly all), this novel approach could be highly useful for fast and reproducible memristor circuits. However, questions were raised as to whether these spikes were actually due to memristance or merely capacitance in the circuit. In this longer version of the Faraday Discussion response, as much information as is available from both published and unpublished data from my lab is marshalled together. We find that the devices are likely imperfect memristors with some capacitance, and that the spikes are related to the frequency effect seen in memristor hysteresis curves, thus are an integral part of memristance.


title: Interference, spectral momentum correlations, entanglement, and Bell inequality for a trapped interacting ultracold atomic dimer: Analogies with biphoton interferometry

abstract: Elucidating similarities and differences between quantum-optics biphoton interference phenomena and the quantum physics of quasi-one-dimensional double-well optically-trapped ultracold neutral bosonic or fermionic atoms, we show that the analog of the optical biphoton joint-coincidence spectral correlations, studied with massless non-interacting biphotons emanating from EPR-Bell-Bohm single-occupancy sources, corresponds to a distinct contribution in the total second-order momentum correlations of the massive, interacting, and time-evolving ultracold atoms. This single-occupancy contribution can be extracted from the total second-order momentum correlation function measured in time-of-flight experiments, which for the trapped atomic system contains, in general, a double-occupancy, NOON, component. The dynamics of the two-particle system are modeled by a Hubbard Hamiltonian. This partial coincidence spectrum is a cosine-square quantum beating dependent on the difference of the momenta of the two particles, while the corresponding coincidence probability proper, familiar from its role in describing the Hong-Ou-Mandel coincidence dip of overlapping photons, results from an integration over the particle momenta. Because the second-order momentum correlations are mirrored in the time-of-flight spectra in space, our theoretical findings provide impetus for time-of-flight experimental protocols for emulating with (massive) ultracold atoms venerable optical interferometries that use two space-time separated and entangled (massless) photons or double-slit optical sources. The implementation of such developments will facilitate testing of fundamental aspects and enable applications of quantum physics with trapped massive ultracold atoms, that is, investigations of nonlocality and violation of Bell inequalities, entanglement, and quantum information science.


title: Experimental evidence of monolayer arsenene: An exotic two-dimensional semiconducting material

abstract: Group V element analogues of graphene have attracted a lot attention recently due to their semiconducting band structures, which make them promising for next generation electronic and optoelectronic devices based on two-dimensional materials. Theoretical investigations predict high electron mobility, large band gaps, band gap tuning by strain, formation of topological phases, quantum spin Hall effect at room temperature, and superconductivity amongst others. Here, we report a successful formation of freestanding like monolayer arsenene on Ag(111). This was concluded from our experimental atomic and electronic structure data by comparing to results of our theoretical calculations. Arsenene forms a buckled honeycomb layer on Ag(111) with a lattice constant of 3.6 {\AA} showing an indirect band gap of about 1.4 eV as deduced from the position of the Fermi level pinning.


title: Scaling shared model governance via model splitting

abstract: Currently the only techniques for sharing governance of a deep learning model are homomorphic encryption and secure multiparty computation. Unfortunately, neither of these techniques is applicable to the training of large neural networks due to their large computational and communication overheads. As a scalable technique for shared model governance, we propose splitting deep learning model between multiple parties. This paper empirically investigates the security guarantee of this technique, which is introduced as the problem of model completion: Given the entire training data set or an environment simulator, and a subset of the parameters of a trained deep learning model, how much training is required to recover the model's original performance? We define a metric for evaluating the hardness of the model completion problem and study it empirically in both supervised learning on ImageNet and reinforcement learning on Atari and DeepMind~Lab. Our experiments show that (1) the model completion problem is harder in reinforcement learning than in supervised learning because of the unavailability of the trained agent's trajectories, and (2) its hardness depends not primarily on the number of parameters of the missing part, but more so on their type and location. Our results suggest that model splitting might be a feasible technique for shared model governance in some settings where training is very expensive.


title: Probabilistic Class-Specific Discriminant Analysis

abstract: In this paper we formulate a probabilistic model for class-specific discriminant subspace learning. The proposed model can naturally incorporate the multi-modal structure of the negative class, which is neglected by existing class-specific methods. Moreover, it can be directly used to define a class-specific probabilistic classification rule in the discriminant subspace. We show that existing class-specific discriminant analysis methods are special cases of the proposed probabilistic model and, by casting them as probabilistic models, they can be extended to class-specific classifiers. We illustrate the performance of the proposed model in both verification and classification problems.


title: Why ReLU Units Sometimes Die: Analysis of Single-Unit Error Backpropagation in Neural Networks

abstract: Recently, neural networks in machine learning use rectified linear units (ReLUs) in early processing layers for better performance. Training these structures sometimes results in "dying ReLU units" with near-zero outputs. We first explore this condition via simulation using the CIFAR-10 dataset and variants of two popular convolutive neural network architectures. Our explorations show that the output activation probability Pr[y>0] is generally less than 0.5 at system convergence for layers that do not employ skip connections, and this activation probability tends to decrease as one progresses from input layer to output layer. Employing a simplified model of a single ReLU unit trained by a variant of error backpropagation, we then perform a statistical convergence analysis to explore the model's evolutionary behavior. Our analysis describes the potentially-slower convergence speeds of dying ReLU units, and this issue can occur regardless of how the weights are initialized.


title: VI3 - a new layered ferromagnetic semiconductor

abstract: Two-dimensional (2D) materials are promising candidates for next-generation electronic devices. In this regime, insulating 2D ferromagnets, which remain rare, are of special importance due to their potential for enabling new device architectures. Here we report the discovery of ferromagnetism in a layered van der Waals semiconductor, VI3, which is based on honeycomb vanadium layers separated by an iodine-iodine van der Waals gap. It has a BiI3-type structure (R-3, No.148) at room temperature, and our experimental evidence suggests that it may undergo a subtle structural phase transition at 78 K. VI3 becomes ferromagnetic at 49 K, below which magneto-optical Kerr effect imaging clearly shows ferromagnetic domains, which can be manipulated by the applied external magnetic field. The optical band gap determined by reflectance measurements is 0.6 eV, and the material is highly resistive.


title: Lifetimes and g-factors of the HFS states in H-like and Li-like bismuth

abstract: The LIBELLE experiment performed at the experimental storage ring (ESR) at the GSI Helmholtz Center for Heavy Ion Research in Darmstadt, Germany, has successfully determined the ground state hyperfine (HFS) splittings in hydrogen-like ($^{209}\rm{Bi}^{82+}$) and lithium-like ($^{209}\rm{Bi}^{80+}$) bismuth. The study of HFS transitions in highly charged ions enables precision tests of QED in extreme electric and magnetic fields otherwise not attainable in laboratory experiments. Besides the transition wavelengths the time resolved detection of fluorescence photons following the excitation of the ions by a pulsed laser system also allows to extract lifetimes of the upper HFS levels and g-factors of the bound 1s and 2s electrons for both charge states. While the lifetime of the upper HFS state in $^{209}\rm{Bi}^{82+}$ has already been measured in earlier experiments, an experimental value for lifetime of this state in $^{209}\rm{Bi}^{80+}$ is reported for the first time in this work.


title: Measuring Similarity: Computationally Reproducing the Scholar's Interests

abstract: Computerized document classification already orders the news articles that Apple's "News" app or Google's "personalized search" feature groups together to match a reader's interests. The invisible and therefore illegible decisions that go into these tailored searches have been the subject of a critique by scholars who emphasize that our intelligence about documents is only as good as our ability to understand the criteria of search. This article will attempt to unpack the procedures used in computational classification of texts, translating them into term legible to humanists, and examining opportunities to render the computational text classification process subject to expert critique and improvement.


title: A L\'evy-Ottaviani type inequality for the Bernoulli process on an interval

abstract: In this paper we prove a L\'evy-Ottaviani type of property for the Bernoulli process defined on an interval. Namely, we show that under certain conditions on functions $(a_i)_{i=1}^{n}$ and for independent Bernoulli random variables $(\varepsilon_i)_{i=1}^{n}$, $\mathbb{P}(\sup_{t\in [0,1]}\sum^n_{i=1}a_i(t)\varepsilon_i\geq c)$ is dominated by $C\mathbb{P}(\sum^n_{i=1}a_i(1)\varepsilon_i\geq1)$, where $c$ and $C$ are explicit numerical constants independent of $n$. The result is a partial answer to the conjecture of W. Szatzschneider that the domination holds with $c=1$ and $C=2$.


title: The holographic dual to supergravity instantons in $\rm AdS_5\times S^5/\mathbb{Z}_k$

abstract: We investigate the holographic dual to supergravity instanton solutions in $\rm AdS_5\times S^5/\mathbb{Z}_k$, which are described entirely in terms of geodesics on the AdS moduli space. These instantons are expected to be holographically dual to instantons in an $\mathcal{N}=2$ necklace quiver gauge theory in four dimensions with $k$ gauge nodes, at large N. For the supersymmetric instantons we find a precise match between the on-shell actions and the vevs of $\text{Tr}[F^2]$ and $\text{Tr}[F\wedge F]$ computed on both sides of the duality. This correspondence requires an exact identification between the massless supergravity scalars and the dual gauge couplings which we give in detail. We also find a candidate for the supergravity dual of a quasi-instanton in the quiver theory, which is a non-supersymmetric extremal solution.


title: Effects of Isothermal Stratification Strength on Vorticity Dynamics for Single-Mode Compressible Rayleigh-Taylor Instability

abstract: The effects of isothermal stratification strength on vorticity dynamics for single-mode Rayleigh-Taylor instability (RTI) are examined using two dimensional fully compressible wavelet-based direct numerical simulations. The simulations model low Atwood number ($A=0.04$) RTI development for four different stratification strengths, corresponding to Mach numbers from 0.3 (weakly stratified) to 1.2 (strongly stratified), and for three different perturbation Reynolds numbers, from 5,000 to 20,000. All simulations use adaptive wavelet-based mesh refinement to achieve very fine spatial resolutions at relatively low computational cost. For all stratifications, the bubble and spike go through the exponential growth regime, followed by a slowing of the RTI evolution. For the weakest stratification, this slow-down is then followed by a re-acceleration, while for stronger stratifications the suppression of RTI growth continues. Bubble and spike asymmetries are observed for weak stratifications, with bubble and spike growth rates becoming increasingly similar as the stratification strength increases. For the range of cases studied, there is relatively little effect of Reynolds number on bubble and spike heights, although the formation of secondary vortices becomes more pronounced as Reynolds number increases. The underlying dynamics are analyzed in detail through an examination of the vorticity transport equation, revealing that incompressible baroclinicity drives RTI growth for small and moderate stratifications, but increasingly leads to the suppression of vorticity production and RTI growth for stronger stratifications. These variations in baroclinicity are used to explain the suppression of RTI growth for strong stratifications, as well as the anomalous asymmetry in bubble and spike growth rates for weak stratifications.


title: Class Mean Vector Component and Discriminant Analysis

abstract: The kernel matrix used in kernel methods encodes all the information required for solving complex nonlinear problems defined on data representations in the input space using simple, but implicitly defined, solutions. Spectral analysis on the kernel matrix defines an explicit nonlinear mapping of the input data representations to a subspace of the kernel space, which can be used for directly applying linear methods. However, the selection of the kernel subspace is crucial for the performance of the proceeding processing steps. In this paper, we propose a component analysis method for kernel-based dimensionality reduction that optimally preserves the pair-wise distances of the class means in the feature space. We provide extensive analysis on the connection of the proposed criterion to those used in kernel principal component analysis and kernel discriminant analysis, leading to a discriminant analysis version of the proposed method. Our analysis also provides more insights on the properties of the feature spaces obtained by applying these methods.


title: On subsets of the hypercube with prescribed Hamming distances

abstract: A celebrated theorem of Kleitman in extremal combinatorics states that a collection of binary vectors in $\{0, 1\}^n$ with diameter $d$ has cardinality at most that of a Hamming ball of radius $d/2$. In this paper, we give an algebraic proof of Kleitman's Theorem, by carefully choosing a pseudo-adjacency matrix for certain Hamming graphs, and applying the Cvetkovi\'c bound on independence numbers. This method also allows us to prove several extensions and generalizations of Kleitman's Theorem to other allowed distance sets, in particular blocks of consecutive integers that do not necessarily grow linearly with $n$. We also improve on a theorem of Alon about subsets of $\mathbb{F}_{p}^{n}$ whose difference set does not intersect $\left\{0,1\right\}^{n}$ nontrivially.


title: Aggregate Power Flexibility in Unbalanced Distribution Systems

abstract: With a large-scale integration of distributed energy resources (DERs), distribution systems are expected to be capable of providing capacity support for the transmission grid. To effectively harness the collective flexibility from massive DER devices, this paper studies distribution-level power aggregation strategies for transmission-distribution interaction. In particular, this paper proposes a method to model and quantify the aggregate power flexibility, i.e., the net power injection achievable at the substation, in unbalanced distribution systems over time. Incorporating the network constraints and multi-phase unbalanced modeling, the proposed method obtains an effective approximate feasible region of the net power injection. For any aggregate power trajectory within this region, it is proved that there exists a feasible disaggregation solution. In addition, a distributed model predictive control (MPC) framework is developed for the practical implementation of the transmission-distribution interaction. At last, we demonstrate the performances of the proposed method via numerical tests on a real-world distribution feeder with 126 multi-phase nodes.


title: Formation of two-dimensional electron and hole gases at the interface of half-Heusler semiconductors

abstract: Heuslers are a prominent family of multi-functional materials that includes semiconductors, half metals, topological semimetals, and magnetic superconductors. Owing to their same crystalline structure, yet quite different electronic properties and flexibility in chemical composition, Heusler-based heterostructures can be designed to show intriguing properties at the interface. Using electronic structure calculations, we show that two dimensional electron or hole gases (2DEG or 2DHG) form at the interface of half-Heusler (HH) semiconductors without any chemical doping. We use CoTiSb/NiTiSn as an example, and show that the 2DEG at the TiSb/Ni(001) termination and the 2DHG at the Co/TiSn(001) termination are intrinsic to the interface, and hold rather high charge densities of 3x10^14 carriers/cm^2. These excess charge carriers are tightly bound to the interface plane and are fully accommodated in transition-metal d sub-bands. The formation of 2DEG and 2DHG are not specific to the CoTiSb/NiTiSn system; a list of combinations of HH semiconductors that are predicted to form 2DEG or 2DHG is provided based on band alignment, interface termination, and lattice mismatch.


title: La fauna de mam\'iferos f\'osiles del dep\'osito paleontol\'ogico "El Abr\'on" (nivel ix), Pinar del R\'io, Cuba

abstract: "El Abr\'on" is a fossil deposit located in Pinar del Rio, Cuba, and whose age is only reference level VII (17 406 years BP), it is classified as the largest collection of fossils accumulated for our archipelago, produced by trophic action of barn owls for thousands of years. The aim of this study was to determine the living taxonomic composition of the fauna of extinct mammals, and throughout the paleontological study of the deeper level of said tank (Level IX). The extracted material which it is currently stored in the warehouse of paleontological collections of the National Museum of Natural History in Havana, Cuba (MNHNCu) was analyzed. We proceeded to clean the bones, to classify and to identify them from the species and also the taphonomic analysis of the condition of the remains. It was found that the mammal fauna of the paleontological deposit under study is composed essentially of 3 orders, 7 families and 14 species. The most significative order is Chiroptera (bat fauna), represented by 4 families, 9 genus and 9 species of the total which were identified. There were reported four species of bats Erophylla sezecorni, Monophyllus redmani, Pteronotus parnelli and Tadarida brasiliensis in the location. The results are the basis of the future paleoecological studies in order to reconstruct the natural history of these species. Moreover, the discovery of new species in this area is a contribution to the knowledge about the distribution of these species in the Cuban archipelago and the age of them. Finally, the taphonomic analysis of the conservation status of these remains permitted the understanding of the processes that gave rise to the tank and its characteristics, and also it contribute to an adequate estimation of the species present in it and the relationship between spatiotemporal with the fossil.


title: Galois extensions and a Conjecture of Ogg

abstract: Let $N=pq$ be a product of two distinct primes. There is an isogeny $J_0(N)^{\rm new}\to J^N$ defined over $\mathbf{Q}$ between the new quotient of $J_0(N)$ and the Jacobian of the Shimura curve attached to the indefinite quaternion algebra of discriminant $N$. In the case when $p=2,3,5,7,13$, Ogg made predictions about the kernels of these isogenies. We show that Ogg's conjecture is not true in general. Afterwards, we propose a strategy for proving results toward Ogg's conjecture in certain situations. Finally, we discuss this strategy in detail for $N=5\cdot 13$.


title: Products of Many Large Random Matrices and Gradients in Deep Neural Networks

abstract: We study products of random matrices in the regime where the number of terms and the size of the matrices simultaneously tend to infinity. Our main theorem is that the logarithm of the $\ell_2$ norm of such a product applied to any fixed vector is asymptotically Gaussian. The fluctuations we find can be thought of as a finite temperature correction to the limit in which first the size and then the number of matrices tend to infinity. Depending on the scaling limit considered, the mean and variance of the limiting Gaussian depend only on either the first two or the first four moments of the measure from which matrix entries are drawn. We also obtain explicit error bounds on the moments of the norm and the Kolmogorov-Smirnov distance to a Gaussian. Finally, we apply our result to obtain precise information about the stability of gradients in randomly initialized deep neural networks with ReLU activations. This provides a quantitative measure of the extent to which the exploding and vanishing gradient problem occurs in a fully connected neural network with ReLU activations and a given architecture.


title: Core Cosmology Library: Precision Cosmological Predictions for LSST

abstract: The Core Cosmology Library (CCL) provides routines to compute basic cosmological observables to a high degree of accuracy, which have been verified with an extensive suite of validation tests. Predictions are provided for many cosmological quantities, including distances, angular power spectra, correlation functions, halo bias and the halo mass function through state-of-the-art modeling prescriptions available in the literature. Fiducial specifications for the expected galaxy distributions for the Large Synoptic Survey Telescope (LSST) are also included, together with the capability of computing redshift distributions for a user-defined photometric redshift model. A rigorous validation procedure, based on comparisons between CCL and independent software packages, allows us to establish a well-defined numerical accuracy for each predicted quantity. As a result, predictions for correlation functions of galaxy clustering, galaxy-galaxy lensing and cosmic shear are demonstrated to be within a fraction of the expected statistical uncertainty of the observables for the models and in the range of scales of interest to LSST. CCL is an open source software package written in C, with a python interface and publicly available at https://github.com/LSSTDESC/CCL.


title: Direct and indirect probes of Goldstone dark matter

abstract: There exists a general model framework where dark matter can be a vanilla WIMP-like thermal relic with a mass of ${\cal O}$(100 GeV), but it still escapes direct detection. This happens, if the dark matter particle is a Goldstone boson whose scattering with ordinary matter is suppressed at low energy due to momentum-dependent interactions. We outline general features of this type of models and analyse a simple realization of these dynamics as a concrete example. In particular, we show that although direct detection of this type of dark matter candidate is very challenging, the indirect detection can already provide relevant constraints. Future projections of the indirect-detection experiments allow for even more stringent exclusion limits and can rule out models of this type.


title: Expected size of a tree in the fixed point forest

abstract: We study the local limit of the fixed-point forest, a tree structure associated to a simple sorting algorithm on permutations. This local limit can be viewed as an infinite random tree that can be constructed from a Poisson point process configuration on $[0,1]^\mathbb{N}$. We generalize this random tree, and compute the expected size and expected number of leaves of a random rooted subtree in the generalized version. We also obtain bounds on the variance of the size.


title: Magnetic Fractional order Orlicz-Sobolev spaces

abstract: In this paper we define the notion of nonlocal magnetic Sobolev spaces with non-standard growth for Lipschitz magnetic fields. In this context we prove a Bourgain - Brezis - Mironescu type formula for functions in this space as well as for sequences of functions. Finally, we deduce some consequences such as the $\Gamma-$convergence of modulars and convergence of solutions for some non-local magnetic Laplacian allowing non-standard growth laws to its local counterpart.


title: Al'tshuler-Aronov-Spivak oscillations of bosonic matter-wave beams in the presence of interaction

abstract: We theoretically study the propagation of a guided atom laser across an Aharonov-Bohm ring which is exposed to a synthetic gauge field. The presence of disorder within the ring gives rise to Al'tshuler-Aronov-Spivak oscillations, seen in the disorder average of the transmission as a function of the effective gauge flux that is contained within the ring. Those oscillations are induced by coherent backscattering and represent a manifestation of weak localization. Through analytical and numerical calculations that are based on the mean-field Gross-Pitaevskii approximation for the propagating Bose-Einstein condensate, we show that the presence of a very weak atom-atom interaction within the ring leads to an inversion of the Al'tshuler-Aronov-Spivak oscillations, in a very similar manner as for the coherent backscattering of Bose-Einstein condensates within two-dimensional disorder potentials. Numerical simulations based on the Truncated Wigner method reveal that this signature of weak antilocalization becomes washed out if the interaction strength is increased.


title: The Rank Effect

abstract: We decompose returns for portfolios of bottom-ranked, lower-priced assets relative to the market into rank crossovers and changes in the relative price of those bottom-ranked assets. This decomposition is general and consistent with virtually any asset pricing model. Crossovers measure changes in rank and are smoothly increasing over time, while return fluctuations are driven by volatile relative price changes. Our results imply that in a closed, dividend-free market in which the relative price of bottom-ranked assets is approximately constant, a portfolio of those bottom-ranked assets will outperform the market portfolio over time. We show that bottom-ranked relative commodity futures prices have increased only slightly, and confirm the existence of substantial excess returns predicted by our theory. If these excess returns did not exist, then top-ranked relative prices would have had to be much higher in 2018 than those actually observed -- this would imply a radically different commodity price distribution.


title: Internal Structures of Molecular Clouds in the LMC Revealed by ALMA

abstract: We observed five giant molecular clouds (GMCs) in the Large Magellanic Cloud (LMC) in the 12CO J=1-0 line using the Atacama Large Millimeter/submillimeter Array (ALMA). The sample includes four GMCs with some signs of star formation -- either YSOs, H II regions, and/or young clusters -- and one quiescent GMC without any sign of massive star formation. The data from the ALMA 12 m, 7 m, and Total-Power arrays are jointly deconvolved to obtain high-fidelity images at high spatial resolution (3 arcsec = 0.7 pc). The four star-forming GMCs show very complex structures with clumps and filaments. The quiescent GMC shows a relatively diffuse, extended emission distribution without prominent clumps or filaments. This difference is similar to that between structured molecular gas in Milky Way spiral arms and unstructured gas in the inter-arm regions. We characterize the difference with the brightness distribution function and brightness distribution index. In conjunction with other ALMA studies of GMCs in the LMC, the five GMCs tentatively form an evolutionary trend: from less structured, quiescent GMCs to more structured, actively star-forming GMCs. A future ALMA study will be able to map molecular clouds over the LMC and reveal the evolutionary sequence of molecular clouds.


title: Coexisting Ordered States, Local Equilibrium-like Domains, and Broken Ergodicity in a Non-turbulent Rayleigh-B\'enard Convection at Steady-state

abstract: A challenge in fundamental physics and especially in thermodynamics is to understand emergent order in far-from-equilibrium systems. While at equilibrium, temperature plays the role of a key thermodynamic variable whose uniformity in space and time defines the equilibrium state the system is in, this is not the case in a far-from-equilibrium driven system. When energy flows through a finite system at steady-state, temperature takes on a time-independent but spatially varying character. In this study, the convection patterns of a Rayleigh-B{\'e}nard fluid cell at steady-state is used as a prototype system where the temperature profile and fluctuations are measured spatio-temporally. The thermal data is obtained by performing high-resolution real-time infrared calorimetry on the convection system as it is first driven out-of-equilibrium when the power is applied, achieves steady-state, and then as it gradually relaxes back to room temperature equilibrium when the power is removed. Our study provides new experimental data on the non-trivial nature of thermal fluctuations when stable complex convective structures emerge. The thermal analysis of these convective cells at steady-state further yield local equilibrium-like statistics. In conclusion, these results correlate the spatial ordering of the convective cells with the evolution of the system's temperature manifold.

categories: cond-mat.soft cond-mat.stat-mech nlin.AO nlin.PS physics.flu-dyn


title: Nonparametric inference of interaction laws in systems of agents from trajectory data

abstract: Inferring the laws of interaction between particles and agents in complex dynamical systems from observational data is a fundamental challenge in a wide variety of disciplines. We propose a non-parametric statistical learning approach to estimate the governing laws of distance-based interactions, with no reference or assumption about their analytical form, from data consisting trajectories of interacting agents. We demonstrate the effectiveness of our learning approach both by providing theoretical guarantees, and by testing the approach on a variety of prototypical systems in various disciplines. These systems include homogeneous and heterogeneous agents systems, ranging from particle systems in fundamental physics to agent-based systems modeling opinion dynamics under the social influence, prey-predator dynamics, flocking and swarming, and phototaxis in cell dynamics.


title: Search for the rare decay $B^{+} \rightarrow {\mu}^{+}{\mu}^{-}{\mu}^{+}{\nu}_{{\mu}}$

abstract: A search for the rare leptonic decay $B^{+} \rightarrow {\mu}^{+}{\mu}^{-}{\mu}^{+}{\nu}_{{\mu}}$ is performed using proton-proton collision data corresponding to an integrated luminosity of $4.7$ fb$^{-1}$ collected by the LHCb experiment. The search is carried out in the region where the lowest of the two ${\mu}^{+}{\mu}^{-}$ mass combinations is below $980$MeV/c$^{2}$. The data are consistent with the background-only hypothesis and an upper limit of $1.6 \times 10^{-8}$ at 95% confidence level is set on the branching fraction in the stated kinematic region.


title: A 2D Schrodinger equation with time-oscillating exponential nonlinearity

abstract: This paper deals with the 2-D Schr\"odinger equation with time-oscillating exponential nonlinearity $i\partial_t u+\Delta u= \theta(\omega t)\big(e^{4\pi|u|^2}-1\big)$, where $\theta$ is a periodic $C^1$-function. We prove that for a class of initial data $u_0 \in H^1(\mathbb{R}^2)$, the solution $u_{\omega}$ converges, as $|\omega|$ tends to infinity to the solution $U$ of the limiting equation $i\partial_t U+\Delta U= I(\theta)\big(e^{4\pi|U|^2}-1\big)$ with the same initial data, where $I(\theta)$ is the average of $\theta$.


title: Isospin-phonon coupling and Fano-interference in spin-orbit Mott insulator Sr2IrO4

abstract: The isospin-phonon coupling in Sr2IrO4 is investigated by temperature dependent phonon Raman scattering. Anomalous behavior in the frequency of all studied optical phonons is observed below the magnetic transition temperature TN ~240 K. The strongest effect is detected for the A1g mode at 272 cm-1 associated with the modulation of the Ir-O-Ir bond angle. Additionally, the A1g mode at 560 cm-1 shows a Fano asymmetric lineshape sensitive to TN, supporting the existence of low-energy (~70 meV) electronic excitations that are renormalized by the magnetic order. These results reveal new aspects of the interaction between the crystal lattice and electronic degrees of freedom in this spin-orbit entangled Mott insulator.


title: The PowerURV algorithm for computing rank-revealing full factorizations

abstract: Many applications in scientific computing and data science require the computation of a rank-revealing factorization of a large matrix. In many of these instances the classical algorithms for computing the singular value decomposition are prohibitively computationally expensive. The randomized singular value decomposition can often be helpful, but is not effective unless the numerical rank of the matrix is substantially smaller than the dimensions of the matrix. We introduce a new randomized algorithm for producing rank-revealing factorizations based on existing work by Demmel, Dumitriu and Holtz [Numerische Mathematik, 108(1), 2007] that excels in this regime. The method is exceptionally easy to implement, and results in close-to optimal low-rank approximations to a given matrix. The vast majority of floating point operations are executed in level-3 BLAS, which leads to high computational speeds. The performance of the method is illustrated via several numerical experiments that directly compare it to alternative techniques such as the column pivoted QR factorization, or the QLP method by Stewart.


title: Space Matters: extending sensitivity analysis to initial spatial conditions in geosimulation models

abstract: Although simulation models of geographical systems in general and agent-based models in particular represent a fantastic opportunity to explore socio-spatial behaviours and to test a variety of scenarios for public policy, the validity of generative models is uncertain unless their results are proven robust and representative of 'real-world' conditions. Sensitivity analysis usually includes the analysis of the effect of stochasticity on the variability of results, as well as the effects of small parameter changes. However, initial spatial conditions are usually not modified systematically in geographical models, thus leaving unexplored the effect of initial spatial arrangements on the interactions of agents with one another as well as with their environment. In this paper, we present a method to assess the effect of some initial spatial conditions on simulation models, using a systematic spatial configuration generator in order to create density grids with which spatial simulation models are initialised. We show, with the example of two classical agent-based models (Schelling's models of segregation and Sugarscape's model of unequal societies) and a straightforward open-source work-flow using high performance computing, that the effect of initial spatial arrangements is significant on the two models. Furthermore, this effect is sometimes larger than the effect of parameters' value change.


title: Solvability = Typability + Inhabitation

abstract: We extend the classical notion of solvability to a lambda-calculus equipped with pattern matching. We prove that solvability can be characterized by means of typability and inhabitation in an intersection type system P based on non-idempotent types. We show first that the system P characterizes the set of terms having canonical form, i.e. that a term is typable if and only if it reduces to a canonical form. But the set of solvable terms is properly contained in the set of canonical forms. Thus, typability alone is not sufficient to characterize solvability, in contrast to the case for the lambda-calculus. We then prove that typability, together with inhabitation, provides a full characterization of solvability, in the sense that a term is solvable if and only if it is typable and the types of all its arguments are inhabited. We complete the picture by providing an algorithm for the inhabitation problem of P.


title: On the Connection Between Spiral Arm Pitch Angle and Galaxy Properties

abstract: We measure the pitch angle ($\varphi$) of spiral arms in a sample of 79 galaxies to perform a systematic study of the dependence of $\varphi$ on galaxy morphology, mass, and kinematics to investigate the physical origin of spiral arms. We find that $\varphi$ decreases (arms are more tightly wound), albeit with significant scatter, in galaxies with earlier Hubble type, more prominent bulges, higher concentration, and larger total galaxy stellar mass ($M_*^{\rm gal}$). For a given concentration, galaxies with larger stellar masses tend to have tighter spiral arms, and vice versa. We also find that $\varphi$ obeys a tight inverse correlation with central stellar velocity dispersion for $\sigma_c$$\gtrsim$$100$ km s$^{-1}$, whereas $\varphi$ remains approximately constant for $\sigma_c\lesssim100$ km s$^{-1}$. We demonstrate that the $\varphi$-$\sigma_c$ and $\varphi$-$M_*^{\rm gal}$ relations are projections of a more fundamental three-dimensional $\varphi-\sigma_c-M_*^{\rm gal}$ relation, such that pitch angle is determined by $\sigma_c$ for massive galaxies but by $M_*^{\rm gal}$ for less massive galaxies. Contrary to previous studies, we find that $\varphi$ correlates only loosely with the galaxy's shear rate. For a given shear rate, spirals generated from $N$-body simulations exhibit much higher $\varphi$ than observed, suggesting that galactic disks are dynamically cooler (Toomre's $Q \approx 1.2$). Instead, the measured pitch angles show a much stronger relation with morphology of the rotation curve of the central region, such that galaxies with centrally peaked rotation curves have tight arms, while those with slow-rising rotation curves have looser arms. These behaviors are qualitatively consistent with predictions of density wave theory.


title: Mastering Concurrent Computing Through Sequential Thinking: A Half-century Evolution

abstract: Concurrency, the art of doing many things at the same time is slowly becoming a science. It is very difficult to master, yet it arises all over modern computing systems, both when the communication medium is shared memory and when it is by message passing. Concurrent programming is hard because it requires to cope with many possible, unpredictable behaviors of communicating processes interacting with each other. Right from the start in the 1960s, the main way of dealing with concurrency has been by reduction to sequential reasoning. We trace this history, and illustrate it through several examples, from early ideas based on mutual exclusion, passing through consensus and concurrent objects, until today ledgers and blockchains. We conclude with a discussion on the limits that this approach encounters, related to fault-tolerance, performance, and inherently concurrent problems.


title: Yukawa Unification with light supersymmetric particles consistent with LHC constraints

abstract: We investigate supersymmetric models with left-right symmetry based on the group $SU(4)_{c} \times SU(2)_{L} \times SU(2)_{R}$ ($4$-$2$-$2$) with negative sign of bilinear Higgs potential parameter $\mu$ in the context of the latest experimental results. In the backdrop of experimental results from the Large Hadron Collider, we investigate the possibility of Yukawa unification in $4$-$2$-$2$ and find out the same is still not ruled out. Furthermore, this scenario also provides a satisfactory dark matter candidate. The current experimental bounds on sparticle masses, mass bounds on Higgs particle, updated phenomenological constraints from the rare decays of B meson and the anomalous magnetic moment of muon with the requirement of a Yukawa unified theory having $10 \%$ or better third family Yukawa unification are utilized to bound the parametric space of these models.


title: Nucleon in a periodic magnetic field: Finite-volume aspects

abstract: The paper presents an extension and a refinement of our previous work on the extraction of the doubly virtual forward Compton scattering amplitude on the lattice by using the background field technique, Phys. Rev. D 95, 031502 (2017) (arXiv:1610.05545). The zero frequency limit for the periodic background field is discussed, in which the well-known result is reproduced. Further, an upper limit for the magnitude of the external field is established for which the perturbative treatment is still possible. Finally, the framework is set for the evaluation of the finite-volume corrections allowing for the analysis of upcoming lattice results.


title: Quantifying work function differences using low-energy electron microscopy: the case of mixed-terminated strontium titanate

abstract: For many applications, it is important to measure the local work function of a surface with high lateral resolution. Low-energy electron microscopy is regularly employed to this end since it is, in principle, very well suited as it combines high-resolution imaging with high sensitivity to local electrostatic potentials. For surfaces with areas of different work function, however, lateral electrostatic fields inevitably associated with work function discontinuities deflect the low-energy electrons and thereby cause artifacts near these discontinuities. We use ray-tracing simulations to show that these artifacts extend over hundreds of nanometers and cause an overestimation of the true work function difference near the discontinuity by a factor of 1.6 if the standard image analysis methods are used. We demonstrate on a mixed-terminated strontium titanate surface that comparing LEEM data with detailed ray-tracing simulations leads to much a more robust estimate of the work function difference.


title: More Effective Ontology Authoring with Test-Driven Development

abstract: Ontology authoring is a complex process, where commonly the automated reasoner is invoked for verification of newly introduced changes, therewith amounting to a time-consuming test-last approach. Test-Driven Development (TDD) for ontology authoring is a recent {\em test-first} approach that aims to reduce authoring time and increase authoring efficiency. Current TDD testing falls short on coverage of OWL features and possible test outcomes, the rigorous foundation thereof, and evaluations to ascertain its effectiveness. We aim to address these issues in one instantiation of TDD for ontology authoring. We first propose a succinct, logic-based model of TDD testing and present novel TDD algorithms so as to cover also any OWL 2 class expression for the TBox and for the principal ABox assertions, and prove their correctness. The algorithms use methods from the OWL API directly such that reclassification is not necessary for test execution, therewith reducing ontology authoring time. The algorithms were implemented in TDDonto2, a Prot\'eg\'e plugin. TDDonto2 was evaluated on editing efficiency and by users. The editing efficiency study demonstrated that it is faster than a typical ontology authoring interface, especially for medium size and large ontologies. The user evaluation demonstrated that modellers make significantly less errors with TDDonto2 compared to the standard Prot\'eg\'e interface and complete their tasks better using less time. Thus, the results indicate that Test-Driven Development is a promising approach in an ontology development methodology.


title: Non-ergodic extended phase of the Quantum Random Energy model

abstract: The concept of non-ergodicity in quantum many body systems can be discussed in the context of the wave functions of the many body system or as a property of the dynamical observables, such as time-dependent spin correlators. In the former approach the non-ergodic delocalized states is defined as the one in which the wave functions occupy a volume that scales as a non-trivial power of the full phase space. In this work we study the simplest spin glass model and find that in the delocalized non-ergodic regime the spin-spin correlators decay with the characteristic time that scales as non-trivial power of the full Hilbert space volume. The long time limit of this correlator also scales as a power of the full Hilbert space volume. We identify this phase with the glass phase whilst the many body localized phase corresponds to a 'hyperglass' in which dynamics is practically absent. We discuss the implications of these finding to quantum information problems.


title: The multi-terminal Josephson effect

abstract: Establishment of phase-coherence and a non-dissipative (super)current between two weakly coupled superconductors, known as the Josephson effect, plays a foundational role in basic physics and applications to metrology, precision sensing, high-speed digital electronics, and quantum computing. The junction ranges from planar insulating oxides to single atoms, molecules, semiconductor nanowires, and generally to any finite-size coherent conductor. Recently, junctions of more than two superconducting terminals gained broad attention in the context of braiding of Majorana fermions in the solid state for fault-tolerant quantum computing, and accessing physics and topology in dimensions higher than three. Here we report the first observation of Josephson effect in 3- and 4-terminal junctions, fabricated in a top-down fashion from a semiconductor/superconductor (InAs/Al) epitaxial two-dimensional heterostructure. Due to interactions, the critical current of an N-terminal junction becomes the boundary of an (N-1)-dimensional manifold of simultaneously allowed supercurrents. The measured shapes of such manifolds are explained by the scattering theory of mesoscopic superconductivity, and they can be remarkably sensitive to the junction's symmetry class. Furthermore, we observed a notably high-order (up to 8) multiple Andreev reflections simultaneously across every terminals pair, which verifies the multi-terminal nature of normal scattering and a high interface quality in our devices. Given the previously shown gate-control of carrier density and evidence of spin-orbit scattering in InAs/Al heterostructures, and device compatibility with other 2D materials, the multi-terminal Josephson effect reported here can become a testbed for physics and applications of topological superconductivity.


title: The Compact Linear Collider (CLIC) - 2018 Summary Report

abstract: The Compact Linear Collider (CLIC) is a TeV-scale high-luminosity linear $e^+e^-$ collider under development at CERN. Following the CLIC conceptual design published in 2012, this report provides an overview of the CLIC project, its current status, and future developments. It presents the CLIC physics potential and reports on design, technology, and implementation aspects of the accelerator and the detector. CLIC is foreseen to be built and operated in stages, at centre-of-mass energies of 380 GeV, 1.5 TeV and 3 TeV, respectively. CLIC uses a two-beam acceleration scheme, in which 12 GHz accelerating structures are powered via a high-current drive beam. For the first stage, an alternative with X-band klystron powering is also considered. CLIC accelerator optimisation, technical developments and system tests have resulted in an increased energy efficiency (power around 170 MW) for the 380 GeV stage, together with a reduced cost estimate at the level of 6 billion CHF. The detector concept has been refined using improved software tools. Significant progress has been made on detector technology developments for the tracking and calorimetry systems. A wide range of CLIC physics studies has been conducted, both through full detector simulations and parametric studies, together providing a broad overview of the CLIC physics potential. Each of the three energy stages adds cornerstones of the full CLIC physics programme, such as Higgs width and couplings, top-quark properties, Higgs self-coupling, direct searches, and many precision electroweak measurements. The interpretation of the combined results gives crucial and accurate insight into new physics, largely complementary to LHC and HL-LHC. The construction of the first CLIC energy stage could start by 2026. First beams would be available by 2035, marking the beginning of a broad CLIC physics programme spanning 25-30 years.


title: Quark and Gluon Jet Energy Loss

abstract: We present a study of the relative energy loss of quark and gluon jets that traverse a weakly-coupled medium. The study is carried out with the jet quenching Monte-Carlo event generator JEWEL which has been validated for a large set of jet observables. We find that the relative energy loss of quark and gluon jets approaches a constant value at large jet energy and that value is significantly larger (closer to 1) than the single parton expectation of $C_F/C_A$. Within JEWEL quark and gluon jets lose energy similarly.


title: Prospects for strongly coupled atom-photon quantum nodes

abstract: We discuss the trapping of cold atoms within microscopic voids drilled perpendicularly through the axis of an optical waveguide. The dimensions of the voids considered are between 1 and 40 optical wavelengths. By simulating light transmission across the voids, we find that appropriate shaping of the voids can substantially reduce the associated loss of optical power. Our results demonstrate that the formation of an optical cavity around such a void could produce strong coupling between the atoms and the guided light. By bringing multiple atoms into a single void and exploiting collective enhancement, cooperativities ~400 or more should be achieveable. The simulations are carried out using a finite difference time domain method. Methods for the production of such a void and the trapping of cold atoms within it are also discussed.


title: The Computation of Local Stress in ab initio Molecular Simulations

abstract: Motivated by the increasingly more important role of ab initio molecular dynamics models in material simulations, this work focuses on the definition of local stress, when the forces are determined from quantum-mechanical descriptions. Two types of ab initio models, including the Born-Oppenheimer and Ehrenfest dynamics, are considered. In addition, formulas are derived for both tight-binding and real-space methods for the approximations of the quantum-mechanical models. The formulas are examined via comparisons with full ab initio molecular simulations.


title: Infinitesimal rigidity in normed planes

abstract: We prove that a graph has an infinitesimally rigid placement in a non-Euclidean normed plane if and only if it contains a $(2,2)$-tight spanning subgraph. The method uses an inductive construction based on generalised Henneberg moves and the geometric properties of the normed plane. As a key step, rigid placements are constructed for the complete graph $K_4$ by considering smoothness and strict convexity properties of the unit ball.


title: Advanced Super-Resolution using Lossless Pooling Convolutional Networks

abstract: In this paper, we present a novel deep learning-based approach for still image super-resolution, that unlike the mainstream models does not rely solely on the input low resolution image for high quality upsampling, and takes advantage of a set of artificially created auxiliary self-replicas of the input image that are incorporated in the neural network to create an enhanced and accurate upscaling scheme. Inclusion of the proposed lossless pooling layers, and the fusion of the input self-replicas enable the model to exploit the high correlation between multiple instances of the same content, and eventually result in significant improvements in the quality of the super-resolution, which is confirmed by extensive evaluations.


title: Fast Mitochondria Detection for Connectomics

abstract: High-resolution connectomics data allows for the identification of dysfunctional mitochondria which are linked to a variety of diseases such as autism or bipolar. However, manual analysis is not feasible since datasets can be petabytes in size. We present a fully automatic mitochondria detector based on a modified U-Net architecture that yields high accuracy and fast processing times. We evaluate our method on multiple real-world connectomics datasets, including an improved version of the EPFL mitochondria benchmark. Our results show an Jaccard index of up to 0.90 with inference times lower than 16ms for a 512x512px image tile. This speed is faster than the acquisition speed of modern electron microscopes, enabling mitochondria detection in real-time. Our detector ranks first for real-time detection when compared to previous works and data, results, and code are openly available.


title: Relativistic Jets in Active Galactic Nuclei

abstract: The nuclei of most normal galaxies contain supermassive black holes, which can accrete gas through a disk and become active. These Active Galactic Nuclei, AGN, can form jets which are observed on scales from AU to Mpc and from meter wavelengths to TeV gamma ray energies. High resolution radio imaging and multi-wavelength/messenger campaigns are elucidating the conditions under which this happens. Evidence is presented that: AGN jets are formed when the black hole spins and the accretion disk is strongly magnetized, perhaps on account of gas accretingat high latitude beyond the black hole sphere of influence; AGN jets are collimated close to the black hole by magnetic stress associated with a disk wind; higher power jets can emerge from their galactic nuclei in a relativistic, supersonic and proton-dominated state and they terminate in strong, hot spot shocks; lower power jets are degraded to buoyant plumes and bubbles; jets may accelerate protons to EeV energies which contribute to the cosmic ray spectrum and which may initiate pair cascades that can efficiently radiate synchrotron gamma rays; jets were far more common when the universe was a few billion years old and black holes and massive galaxies were growing rapidly; jets can have a major influence on their environments, stimulating and limiting the growth of galaxies. The observational prospects for securing our understanding of AGN jets are bright.


title: Halo concentrations from extended Press-Schechter merger histories

abstract: We apply the model relating halo concentration to formation history proposed by Ludlow et al. to merger trees generated using an algorithm based on excursion set theory. We find that while the model correctly predicts the median relation between halo concentration and mass, it underpredicts the scatter in concentration at fixed mass. Since the same model applied to N-body merger trees predicts the correct scatter, we postulate that the missing scatter is due to the lack of any environmental dependence in merger trees derived from excursion set theory. We show that a simple modification to the merger tree construction algorithm, which makes merger rates dependent on environment, can increase the scatter by the required amount, and simultaneously provide a qualitatively correct correlation between environment and formation epoch in the excursion set merger trees.


title: Maximally-warped metrics with harmonic curvature

abstract: We describe the local structure of Riemannian manifolds with harmonic curvature which admit a maximum number, in a well-defined sense, of local warped-product decompositions, and at the same time their Ricci tensor has, at some point, only simple eigenvalues. We also prove that, in every given dimension greater than two, the local-isometry types of such manifolds form a finite-dimensional moduli space, and a nonempty open subset of this moduli space is realized by locally irreducible complete metrics which are neither Ricci-parallel, nor -- for dimensions greater than three -- conformally flat.


title: Factorization of Dempster-Shafer Belief Functions Based on Data

abstract: One important obstacle in applying Dempster-Shafer Theory (DST) is its relationship to frequencies. In particular, there exist serious difficulties in finding factorizations of belief functions from data. In probability theory factorizations are usually related to notion of (conditional) independence and their possibility tested accordingly. However, in DST conditional belief distributions prove to be non-proper belief functions (that is ones connected with negative "frequencies"). This makes statistical testing of potential conditional independencies practically impossible, as no coherent interpretation could be found so far for negative belief function values. In this paper a novel attempt is made to overcome this difficulty. In the proposal no conditional beliefs are calculated, but instead a new measure F is introduced within the framework of DST, closely related to conditional independence, allowing to apply conventional statistical tests for detection of dependence/independence.


title: A Brief Overview of Novel Approaches in Designing High Performance VCOs

abstract: Not only a voltage controlled oscillator (VCO) is one of the most significant component of every telecommunication system, but also it has been widely used in many other high-speed systems. In fact, a VCO has an important role in system operation, in other word, VCO is the heart of a system which gives existence to it. Nowadays, designing a high performance VCO for different applications is a challenging task for engineers. Moreover, up to now many designs and solutions have been proposed by the scientists to improve the performance of VCOs to be exploited in different cutting-edge applications. In this paper I will give a brief overview of the new techniques in designing high performance VCOs. Furthermore, the results of the proposed solutions have been compared with each other to see which method has advantages over the others.


title: Determination of the magnetic field dependence of the surface resistance of superconductors from cavity tests

abstract: We present a general method to derive the magnetic field dependence of the surface resistance of superconductors from the Q-curves obtained during the cryogenic tests of cavities. The results are applied to coaxial half-wave cavities, TM-like "elliptical" accelerating cavities, and cavities of more complicated geometries.


title: A local approach to the study of energy transfers in incompressible magnetohydrodynamic turbulence

abstract: We present a local approach to the study of scale-to-scale energy transfers in magnetohydrodynamic (MHD) turbulence. This approach is based on performing local averages of the physical fields, which amounts to filtering scales smaller than some parameter $\ell$. A key step in this work is the derivation of a local K\'arm\'an-Howarth-Monin relation which provides a local form of Politano and Pouquet's 4/3-law, without any assumption of homogeneity or isotropy. Our approach is exact, non-random, and we show its connection to the usual statistical results of turbulence. Its implementation on data obtained via a three dimensional direct numerical simulation of the forced, incompressible MHD equations from the John Hopkins turbulence database constitutes the main part of our study. First, we show that the local K\'arm\'an-Howarth-Monin relation holds well. The space statistics of local cross-scale transfers is studied next, their means and standard deviations being maximum at inertial scales, and their probability density functions (PDFs) displaying very wide tails. Events constituting the tails of the PDFs are shown to form structures of strong transfers, either positive or negative, and which can be observed over the whole available range of scales. As $\ell$ is decreased, these structures become more and more localized in space while contributing to an increasing fraction of the mean energy cascade rate. Finally, we highlight their quasi 1D (filament-like) or quasi 2D (sheet/ribbon-lke) nature, and show that they appear in areas of strong vorticity or electric current density.


title: The extremal $p$-spectral radius of Berge-hypergraphs

abstract: Let $G$ be a graph. We say that a hypergraph $H$ is a Berge-$G$ if there is a bijection $\phi: E(G)\to E(H)$ such that $e\subseteq \phi(e)$ for all $e\in E(G)$. For any $r$-uniform hypergraph $H$ and a real number $p\geq 1$, the $p$-spectral radius $\lambda^{(p)}(H)$ of $H$ is defined as \[ \lambda^{(p)}(H):=\max_{{\bf x}\in\mathbb{R}^n,\,\|{\bf x}\|_p=1} r\sum_{\{i_1,i_2,\ldots,i_r\}\in E(H)} x_{i_1}x_{i_2}\cdots x_{i_r}. \] In this paper, we study the $p$-spectral radius of Berge-$G$ hypergraphs. We determine the $3$-uniform hypergraphs with maximum $p$-spectral radius for $p\geq 1$ among Berge-$G$ hypergraphs when $G$ is a path, a cycle or a star.


title: A study of symmetric functions via derived Hall algebra

abstract: We use derived Hall algebra of the category of nilpotent representations of Jordan quiver to reconstruct the theory of symmetric functions, focusing on Hall-Littlewood symmetric functions and various operators acting on them.


title: Scalable Privacy-Compliant Virality Prediction on Twitter

abstract: The digital town hall of Twitter becomes a preferred medium of communication for individuals and organizations across the globe. Some of them reach audiences of millions, while others struggle to get noticed. Given the impact of social media, the question remains more relevant than ever: how to model the dynamics of attention in Twitter. Researchers around the world turn to machine learning to predict the most influential tweets and authors, navigating the volume, velocity, and variety of social big data, with many compromises. In this paper, we revisit content popularity prediction on Twitter. We argue that strict alignment of data acquisition, storage and analysis algorithms is necessary to avoid the common trade-offs between scalability, accuracy and privacy compliance. We propose a new framework for the rapid acquisition of large-scale datasets, high accuracy supervisory signal and multilanguage sentiment prediction while respecting every privacy request applicable. We then apply a novel gradient boosting framework to achieve state-of-the-art results in virality ranking, already before including tweet's visual or propagation features. Our Gradient Boosted Regression Tree is the first to offer explainable, strong ranking performance on benchmark datasets. Since the analysis focused on features available early, the model is immediately applicable to incoming tweets in 18 languages.


title: A global potential energy surface for H$_3^+$

abstract: A globally correct potential energy surface (PES) for the \hp\ molecular ion is presented. The Born-Oppenheimer (BO) \ai\ grid points of Pavanello et. al. [\textit{J. Chem. Phys.} {\bf 136}, 184303 (2012)] are refitted as BOPES75K, which reproduces the energies below dissociation with a root mean square deviation of 0.05~\cm; points between dissociation and 75\,000 \cm\ are reproduced with the average accuracy of a few wavenumbers. The new PES75K+ potential combines BOPES75K with adiabatic, relativistic and quantum electrodynamics (QED) surfaces to provide the most accurate representation of the \hp\ global potential to date, overcoming the limitations on previous high accuracy H$_3^+$ PESs near and above dissociation. PES75K+ can be used to provide predictions of bound rovibrational energy levels with an accuracy of approaching 0.1~\cm. Calculation of rovibrational energy levels within PES75K+ suggests that the non-adiabatic correction remains a limiting factor. The PES is also constructed to give the correct asymptotic limit making it suitable for use in studies of the H$^+$\,+\,H$_2$ prototypical chemical reaction. An improved dissociation energy for H$_3^+$ is derived as $D_0\,=\,$35\,076\,$\pm\,2\,$cm$^{-1}$.


title: Upper branch magnetism in quantum magnets: Collapses of excited levels and emergent selection rules

abstract: In many quantum magnets especially the rare-earth ones, the low-lying crystal field states are not well separated from the excited ones and thus are insufficient to describe the low-temperature magnetic properties. Inspired by this simple observation, we develop a microscopic theory to describe the magnetic physics due to the collapses of the weak crystal field states. We find two cases where the excited crystal field states should be seriously included into the theory. One case is when the bandwidth of the excited crystal field states is comparable to the crystal field gap. The other case is when the exchange energy gain between the low-lying and excited crystal field states overcomes the crystal field gap. Both cases could drive a phase transition and result in magnetic orders by involving the excited crystal field states. We dub the above physics as upper branch magnetism and phase transition. We discuss the multitude of magnetic phases and the emergent selection rules for the detection of the underlying excitations. We expect our results to help improve the understanding of many rare-earth magnets with weak crystal field gaps such as Tb$_2$Ti$_2$O$_7$ and Tb$_2$Sn$_2$O$_7$, and also provide a complementary perspective to the prevailing local "$J$" physics in $4d$/$5d$ magnets.


title: Minimax Predictive Density for Sparse Count Data

abstract: This paper discusses predictive densities under the Kullback--Leibler loss for high-dimensional Poisson sequence models under sparsity constraints. Sparsity in count data implies zero-inflation. We present a class of Bayes predictive densities that attain asymptotic minimaxity in sparse Poisson sequence models. We also show that our class with an estimator of unknown sparsity level plugged-in is adaptive in the asymptotically minimax sense. For application, we extend our results to settings with quasi-sparsity and with missing-completely-at-random observations. The simulation studies as well as application to real data illustrate the efficiency of the proposed Bayes predictive densities.


title: Inferring the size of the causal universe: features and fusion of causal attribution networks

abstract: Cause-and-effect reasoning, the attribution of effects to causes, is one of the most powerful and unique skills humans possess. Multiple surveys are mapping out causal attributions as networks, but it is unclear how well these efforts can be combined. Further, the total size of the collective causal attribution network held by humans is currently unknown, making it challenging to assess the progress of these surveys. Here we study three causal attribution networks to determine how well they can be combined into a single network. Combining these networks requires dealing with ambiguous nodes, as nodes represent written descriptions of causes and effects and different descriptions may exist for the same concept. We introduce NetFUSES, a method for combining networks with ambiguous nodes. Crucially, treating the different causal attributions networks as independent samples allows us to use their overlap to estimate the total size of the collective causal attribution network. We find that existing surveys capture 5.77% $\pm$ 0.781% of the $\approx$293 000 causes and effects estimated to exist, and 0.198% $\pm$ 0.174% of the $\approx$10 200 000 attributed cause-effect relationships.


title: Large Degree Asymptotics and the Reconstruction Threshold of the Asymmetric Binary Channels

abstract: In this paper, we consider a broadcasting process in which information is propagated from a given root node on a noisy tree network, and answer the question that whether the symbols at the nth level of the tree contain non-vanishing information of the root as n goes to infinity. Although the reconstruction problem on the tree has been studied in numerous contexts including information theory, mathematical genetics and statistical physics, the existing literatures with rigorous reconstruction thresholds established are very limited. In the remarkable work of Borgs, Chayes, Mossel and Roch (The Kesten-Stigum reconstruction bound is tight for roughly symmetric binary channels), the exact threshold for the reconstruction problem for a binary asymmetric channel on the d-ary tree is establish, provided that the asymmetry is sufficiently small, which is the first exact reconstruction threshold obtained in roughly a decade. In this paper, by means of refined analyses of moment recursion on a weighted version of the magnetization, and concentration investigations, we rigorously give a complete answer to the question of how small it needs to be to establish the tightness of the reconstruction threshold and further determine its asymptotics of large degrees.


title: Robust deblending of simultaneous source seismic data

abstract: Simultaneous source seismic acquisition is an efficient method of seismic surveying that can considerably reduce the cost of high density seismic acquisition. The method results in overlapping records, or interference, that must be removed prior to subsequent processing. Deblending methods typically rely on the incoherence of the blending noise relative to the underlying signal. There are many common situations where these assumptions break down, for instance, when the underlying signal contains noise or erratic amplitudes, or when shooting times are not sufficiently random. We present a robust inversion based deblending algorithm that can overcome these challenges.


title: Instanton Triggered Chiral Symmetry Breaking, the U(1) Problem and a Possible Solution to the Strong CP Problem

abstract: We argue that instantons play a crucial role in triggering the spontaneous breaking of chiral symmetry in the physics of the three light quarks in quantum chromodynamics. However, instantons may also play an essential role in our understanding of the suppression of CP violation in the strong interactions. We revive the possibility that the bare mass of the up quark is identically zero and the apparent small up quark mass is generated by the effective quark dynamics associated with instantons. In this case, the strong CP phase becomes unobservable and there is no strong CP violation.


title: Optimal Control of Hybrid Optomechanical Systems for Generating Non-Classical States of Mechanical Motion

abstract: Cavity optomechanical systems are one of the leading experimental platforms for controlling mechanical motion in the quantum regime. We exemplify that the control over cavity optomechanical systems greatly increases by coupling the cavity also to a two-level system, thereby creating a hybrid optomechanical system. If the two-level system can be driven largely independently of the cavity, we show that the non-linearity thus introduced enables us to steer the extended system to non-classical target states of the mechanical oscillator with Wigner functions exhibiting significant negative regions. We illustrate how to use optimal control techniques beyond the linear regime to drive the hybrid system from the near ground state into a Fock target state of the mechanical oscillator. We base our numerical optimization on realistic experimental parameters for exemplifying how optimal control enables the preparation of decidedly non-classical target states, where naive control schemes fail. Our results thus pave the way for applying the toolbox of optimal control in hybrid optomechanical systems for generating non-classical mechanical states.