title: Understanding plasmon dispersion in nearly-free-electron metals: the relevance of exact constraints for novel exchange-correlation kernels within time-dependent density functional theory

abstract: Small-wavevector excitations in Coulomb-interacting systems can be decomposed into the high-energy collective longitudinal plasmon and the low-energy single-electron excitations. At the critical wavevector and corresponding frequency where the plasmon branch merges with the single-electron excitation region, the collective energy of the plasmon dissipates into single electron-hole excitations. The jellium model provides a reasonable description of the electron-energy-loss spectrum (EELS) of metals close to the free-electron limit. The random phase approximation (RPA) is exact in the high-density limit but can capture the plasmonic dispersion reasonably even for densities with rs > 1. RPA and all beyond-RPA methods investigated here, result in a wrong infinite plasmon lifetime for a wavevector smaller than the critical one where the plasmon dispersion curve runs into particle-hole excitations. Exchange-correlation kernel corrections to RPA modify the plasmon dispersion curve. There is however a large difference in the construction and form of the kernels investigated earlier. Our current work introduces recent model exchange-only and exchange-correlation kernels and discusses the relevance of some exact constraints in the construction of the kernel. We show that, because the plasmon dispersion samples a range of wavevectors smaller than the range sampled by the correlation energy, different kernels can make a strong difference for the correlation energy and a weak difference for the plasmon dispersion. This work completes our understanding about the plasmon dispersion in realistic metals, such as Cs, where a negative plasmon dispersion has been observed. We find only positive plasmon dispersion in jellium at the density for Cs.


title: The proper motion of sub-populations in Omega Centauri

abstract: The galactic globular cluster Omega Centauri is the most massive of its kind, with a complex mix of multiple stellar populations and several kinematic and dynamical peculiarities. Different mean proper motions have been detected among the three main sub-populations, implying that the most metal-rich one is of accreted origin. This particular piece of evidence has been a matter of debate because the available data have either not been sufficiently precise or limited to a small region of the cluster to ultimately confirm or refute the result. Using astrometry from the second Gaia data release and recent high-quality, multi-band photometry, we are now in a position to resolve the controversy. We reproduced the original analysis using the Gaia data and found that the three populations have the same mean proper motion. Thus, there is no need to invoke an accreted origin for the most metal-rich sub-population.


title: LDA+Usc calculations of phase relations in FeO

abstract: Using the LDA+$\textit{U}_\text{sc}$ method, we present calculations phase relations of iron monoxides involving five polytypes in multiple spin-state configurations. The Hubbard parameter $U$ is determined self-consistently simultaneously with the occupation matrix and structures at arbitrary pressures. The Hubbard parameter strongly depends on pressure, structure, and spin state. Comparison with experimental structural data indicates the LDA+$\textit{U}_\text{sc}$ can predict structure, compression curves, phase relations, and transition pressures very well for the insulating B1 and iB8 states. However, it requires additional calculations using the Mermin functional that includes the electronic entropic contribution to the free energy to obtain an nB8 metallic state and a consistent iB8 to nB8 insulator-to-metal transition pressure.


title: Maintaining Information Freshness in Power-Efficient Status Update Systems

abstract: This paper is motivated by emerging edge computing systems which consist of sensor nodes that acquire and process information and then transmit status updates to an edge receiver for possible further processing. As power is a scarce resource at the sensor nodes, the system is modeled as a tandem computation-transmission queue with power-efficient computing. Jobs arrive at the computation server with rate $\lambda$ as a Poisson process with no available data buffer. The computation server can be in one of three states: (i) OFF: the server is turned off and no jobs are observed or processed, (ii) ON-Idle: the server is turned on but there is no job in the server, (iii) ON-Busy: the server is turned on and a job is processed in the server. These states cost zero, one and $p_c$ units of power, respectively. Under a long-term power constraint, the computation server switches from one state to another in sequence: first a deterministic $T_o$ time units in OFF state, then waiting for a job arrival in ON-Idle state and then in ON-Busy state for an independent identically distributed compute time duration. The transmission server has a single unit data buffer to save incoming packets and applies last come first serve with discarding as well as a packet deadline to discard a sitting packet for maintaining information freshness, which is measured by the Age of Information (AoI). Additionally, there is a monotonic functional relation between the mean time spent in ON-Busy state and the mean transmission time. We obtain closed-form expressions for average AoI and average peak AoI. Our numerical results illustrate various regimes of operation for best AoI performances optimized over packet deadlines with relation to power efficiency.


title: On supersymmetric AdS$_4$ orientifold vacua

abstract: In this work we study ten-dimensional solutions to type IIA string theory of the form AdS$_4$ x $X_6$ which contain orientifold planes and preserve N=1 supersymmetry. In particular, we consider solutions which exhibit some key features of the four-dimensional DGKT proposal for compactifications on Calabi-Yau manifolds with fluxes, and in this sense may be considered their ten-dimensional uplifts. We focus on the supersymmetry equations and Bianchi identities, and find solutions to these that are valid at the two-derivative level and at first order in an expansion parameter which is related to the AdS cosmological constant. This family of solutions is such that the background metric is deformed from the Ricci-flat one to one exhibiting SU(3)xSU(3)-structure, and dilaton gradients and warp factors are induced.


title: Ultrafast photocurrent and absorption microscopy of few-layer TMD devices isolate rate-limiting dynamics driving fast and efficient photoresponse

abstract: Despite inherently poor interlayer conductivity, photodetectors made from few-layer devices of 2D transition metal dichalcogenides (TMDs) such as WSe$_2$ and MoS$_2$ can still yield a desirably fast ($\leq$90 ps) and efficient ($\epsilon$$>$40\%) photoresponse. By combining ultrafast photocurrent (U-PC) and transient absorption (TA) microscopy, the competing electronic escape and recombination rates are unambiguously identified in otherwise complex kinetics. Both the U-PC and TA response of WSe$_2$ yield matching interlayer electronic escape times that accelerate from 1.6 ns to 86 ns with applied $E$-field to predict the maximum device PC-efficiency realized of $\sim$44\%. The slope of the escape rates versus $E$-field suggests out-of-plane electron and hole mobilities of 0.129 and 0.031 cm$^2$/V$s$ respectively. Above $\sim$10$^{11}$ photons/cm$^{2}$ incident flux, defect-assisted Auger scattering greatly decreases efficiency by trapping carriers at vacancy defects. Both TA and PC spectra identify a metal-vacancy sub-gap peak with $\sim$5.6 ns lifetime as a primary trap capturing carriers as they hop between layers. Synchronous TA and U-PC microscopy show the\ net PC collected is modelled by a kinetic rate-law of electronic escape competing against the linear and nonlinear Auger recombination rates. This simple rate-model further predicts the PC-based dynamics, nonlinear amplitude and efficiency, $\epsilon$ over a 10$^5$ range of incident photon flux in few-layer WSe$_2$ and MoS$_2$ devices.


title: Two-moment scheme for general-relativistic radiation hydrodynamics: a systematic description and new applications

abstract: We provide a systematic description of the steps necessary -- and of the potential pitfalls to be encountered -- when implementing a two-moment scheme within an Implicit-Explicit (IMEX) scheme to include radiative-transfer contributions in numerical simulations of general-relativistic (magneto-)hydrodynamics. We make use of the M1 closure, which provides an exact solution for the optically thin and thick limit, and an interpolation between these limits. Special attention is paid to the efficient solution of the emerging set of implicit conservation equations. In particular, we present an efficient method for solving these equations via the inversion of a $4\times 4$-matrix within an IMEX scheme. While this method relies on a few approximations, it offers a very good compromise between accuracy and computational efficiency. After a large number of tests in special relativity, we couple our new radiation code, \texttt{FRAC}, with the general-relativistic magnetohydrodynamics code \texttt{BHAC} to investigate the radiative Michel solution, namely, the problem of spherical accretion onto a black hole in the presence of a radiative field. By performing the most extensive exploration of the parameter space for this problem, we find that the accretion's efficiency can be expressed in terms of physical quantities such as temperature, $T$, luminosity, $L$, and black-hole mass, $M$, via the expression $\varepsilon=(L/L_{\rm Edd})/(\dot{M}/\dot{M}_{\rm Edd})= 7.41\times 10^{-7}\left(T/10^6\,\mathrm{K}\right)^{0.22} \left(L/L_\odot\right)^{0.48} \left(M/M_\odot\right)^{0.48}$, where $L_{\mathrm{Edd}}$ and $\dot{M}_{\mathrm{Edd}}$ are the Eddington luminosity and accretion rate, respectively. Finally, we also consider the accretion problem away from spherical symmetry, finding that the solution is stable under perturbations in the radiation field.


title: Neumann and Robin type boundary conditions in Fractional Orlicz-Sobolev spaces

abstract: In the first part of this article we deal with the existence of at least three non-trivial weak solutions of a nonlocal problem with nonstandard growth involving a nonlocal Robin type boundary condition. The second part of the article is devoted to study eigenvalues and minimizers of several nonlocal problems for the fractional $g-$Laplacian $(-\Delta_g)^s$ with different boundary conditions, namely, Dirichlet, Neumann and Robin.


title: Uranian Satellite Formation by Evolution of a Water Vapor Disk Generated by a Giant Impact

abstract: The ice-giant planet Uranus likely underwent a giant impact, given that its spin axis is tilted by 98 degrees. That its satellite system is equally inclined and prograde suggests that it was formed as a consequence of the impact. However, the disks predicted by the impact simulations generally have sizes one order smaller and masses two orders larger than those of the observed system at present. Here we show, by means of a theoretical model, that the Uranian satellite formation is regulated by the evolution of the impact-generated disk. Because the vaporization temperature of water ice is low and both Uranus and the impactor are assumed to be ice-dominated, we can conclude that the impact-generated disk has mostly vaporized. We predict that the disk lost a significant amount of water vapour mass and spread to the levels of the current system until the disk cooled down enough for ice condensation and accretion of icy particles to begin. From the predicted distribution of condensed ices, our N-body simulation is able to reproduce the observed mass-orbit configuration of Uranian satellites. This scenario contrasts with the giant-impact model for the Earth's Moon, in which about half of the compact, impact-generated, solid or liquid disk is immediately incorporated into the Moon on impact.


title: The Hawking Energy on the Past Lightcone in Cosmology

abstract: This work studies the Hawking energy in a cosmological context. The past lightcone of a point in spacetime is the natural geometric structure closely linked to cosmological observations. By slicing the past lightcone into a 1-parameter family of spacelike 2-surfaces, the evolution of the Hawking energy down the lightcone is studied. Strong gravitational fields may generate lightcone self-intersections and wave front singularities. We show that in the presence of swallow-tail type singularities, the Hawking energy and its variation along the null generators of the lightcone remains well-defined and subsequently discuss its positivity and monotonicity.


title: Semiclassical WKB problem for the non-self-adjoint Dirac operator with a decaying potential

abstract: In this paper we examine the semiclassical behaviour of the scattering data of a non-self-adjoint Dirac operator with a fairly smooth but not necessarily analytic potential decaying at infinity. In particular, using ideas and methods going back to Langer and Olver, we provide the complete rigorous uniform semiclassical analysis of the scattering coefficients away (slightly) from zero, and the rigorous proof of the uniform Bohr-Sommerfeld condition for the location of the eigenvalues. Our analysis is motivated by the potential applications to the focusing cubic NLS equation, in view of the well-known fact discovered by Zakharov and Shabat that the spectral analysis of the Dirac operator is the basis of the solution of the NLS equation via inverse scattering theory. This paper complements and extends a previous work of Fujii\'e and the second author, which considered a more restricted problem for a strictly analytic potential.


title: Parallel Batch-Dynamic $k$-Clique Counting

abstract: In this paper, we study new batch-dynamic algorithms for the $k$-clique counting problem, which are dynamic algorithms where the updates are batches of edge insertions and deletions. We study this problem in the parallel setting, where the goal is to obtain algorithms with low (polylogarithmic) depth. Our first result is a new parallel batch-dynamic triangle counting algorithm with $O(\Delta\sqrt{\Delta+m})$ amortized work and $O(\log^* (\Delta+m))$ depth with high probability, and $O(\Delta+m)$ space for a batch of $\Delta$ edge insertions or deletions. Our second result is an algebraic algorithm based on parallel fast matrix multiplication. Assuming that a parallel fast matrix multiplication algorithm exists with parallel matrix multiplication constant $\omega_p$, the same algorithm solves dynamic $k$-clique counting with $O\left(\min\left(\Delta m^{\frac{(2k - 1)\omega_p}{3(\omega_p + 1)}}, (\Delta+m)^{\frac{2(k + 1)\omega_p}{3(\omega_p + 1)}}\right)\right)$ amortized work and $O(\log (\Delta+m))$ depth with high probability, and $O\left((\Delta+m)^{\frac{2(k + 1)\omega_p}{3(\omega_p + 1)}}\right)$ space. Using a recently developed parallel $k$-clique counting algorithm, we also obtain a simple batch-dynamic algorithm for $k$-clique counting on graphs with arboricity $\alpha$ running in $O(\Delta(m+\Delta)\alpha^{k-4})$ expected work and $O(\log^{k-2} n)$ depth with high probability, and $O(m + \Delta)$ space. Finally, we present a multicore CPU implementation of our parallel batch-dynamic triangle counting algorithm. On a 72-core machine with two-way hyper-threading, our implementation achieves 36.54--74.73x parallel speedup, and in certain cases achieves significant speedups over existing parallel algorithms for the problem, which are not theoretically-efficient.


title: Squeezed Deep 6DoF Object Detection Using Knowledge Distillation

abstract: The detection of objects considering a 6DoF pose is a common requirement to build virtual and augmented reality applications. It is usually a complex task which requires real-time processing and high precision results for adequate user experience. Recently, different deep learning techniques have been proposed to detect objects in 6DoF in RGB images. However, they rely on high complexity networks, requiring a computational power that prevents them from working on mobile devices. In this paper, we propose an approach to reduce the complexity of 6DoF detection networks while maintaining accuracy. We used Knowledge Distillation to teach portables Convolutional Neural Networks (CNN) to learn from a real-time 6DoF detection CNN. The proposed method allows real-time applications using only RGB images while decreasing the hardware requirements. We used the LINEMOD dataset to evaluate the proposed method, and the experimental results show that the proposed method reduces the memory requirement by almost 99\% in comparison to the original architecture with the cost of reducing half the accuracy in one of the metrics. Code is available at https://github.com/heitorcfelix/singleshot6Dpose.


title: Nodal Solutions for sublinear-type problems with Dirichlet boundary conditions

abstract: We consider nonlinear second order elliptic problems of the type \[ -\Delta u=f(u) \text{ in } \Omega, \qquad u=0 \text{ on } \partial \Omega, \] where $\Omega$ is an open $C^{1,1}$-domain in $\mathbb{R}^N$, $N\geq 2$, under some general assumptions on the nonlinearity that include the case of a sublinear pure power $f(s)=|s|^{p-1}s$ with $0<p<1$ and of Allen-Cahn type $f(s)=\lambda(s-|s|^{p-1}s)$ with $p>1$ and $\lambda>\lambda_2(\Omega)$ (the second Dirichlet eigenvalue of the Laplacian). We prove the existence of a least energy nodal (i.e. sign changing) solution, and of a nodal solution of mountain-pass type. We then give explicit examples of domains where the associated levels do not coincide. For the case where $\Omega$ is a ball or annulus and $f$ is of class $C^1$, we prove instead that the levels coincide, and that least energy nodal solutions are nonradial but axially symmetric functions. Finally, we provide stronger results for the Allen-Cahn type nonlinearities in case $\Omega$ is either a ball or a square. In particular we give a complete description of the solution set for $\lambda\sim \lambda_2(\Omega)$, computing the Morse index of the solutions.


title: Companding algorithm for the detection of malignant lesions in HDR CT mandibular images

abstract: Compressing and expanding (companding) HDR computerized tomography (CT) images to a single LDR image is still a relevant challenge. Besides the general need for simplification of the window setting method for the purpose of diagnosis, there are specific clinical needs for the resection of malignant lesions in the mandible, for example, where the lesions may exist in both the soft tissue and the bone. A successful medical algorithm has to take into account the requirement to variously expose the same range of specific gray levels, when they are presented by different body tissues. As a solution, we propose an adaptive multi-scale contrast companding (AMCC) algorithm that is implemented by using soft threshold separation to two channels (bone and soft tissue). This separation is determined by the HU intensity values (that are already computed in the algorithm) in the specific resolution that is best fitted to the teeth. Each channel contains different set of parameters. The AMCC algorithm successfully and adaptively compands a large variety of mandibular CT HDR images as well as natural images. Two collaborating physicians who evaluated tumor boundaries, by the 'single presentation' method, reported that 92% of the algorithm output images were at least as useful for diagnosis as those in the window method, while 50% of the algorithm output images were better. When each slice was evaluated simultaneously, by the window setting method (bone and soft tissue) and algorithm output images, 93% of the evaluations declared a preference for the output images of the algorithm. We describe here a low-cost method for companding the HDR images with the ability to facilitate resections of mandibular lesions by providing optimal boundary definition.


title: A Faster Subquadratic Algorithm for the Longest Common Increasing Subsequence Problem

abstract: The Longest Common Increasing Subsequence (LCIS) is a variant of the classical Longest Common Subsequence (LCS), in which we additionally require the common subsequence to be strictly increasing. While the well-known "Four Russians" technique can be used to find LCS in subquadratic time, it does not seem applicable to LCIS. Recently, Duraj [STACS 2020] used a completely different method based on the combinatorial properties of LCIS to design an $\mathcal{O}(n^2(\log\log n)^2/\log^{1/6}n)$ time algorithm. We show that an approach based on exploiting tabulation can be used to construct an asymptotically faster $\mathcal{O}(n^2 \log\log n/\sqrt{\log n})$ time algorithm. As our solution avoids using the specific combinatorial properties of LCIS, it can be also adapted for the Longest Common Weakly Increasing Subsequence (LCWIS).


title: Suphx: Mastering Mahjong with Deep Reinforcement Learning

abstract: Artificial Intelligence (AI) has achieved great success in many domains, and game AI is widely regarded as its beachhead since the dawn of AI. In recent years, studies on game AI have gradually evolved from relatively simple environments (e.g., perfect-information games such as Go, chess, shogi or two-player imperfect-information games such as heads-up Texas hold'em) to more complex ones (e.g., multi-player imperfect-information games such as multi-player Texas hold'em and StartCraft II). Mahjong is a popular multi-player imperfect-information game worldwide but very challenging for AI research due to its complex playing/scoring rules and rich hidden information. We design an AI for Mahjong, named Suphx, based on deep reinforcement learning with some newly introduced techniques including global reward prediction, oracle guiding, and run-time policy adaptation. Suphx has demonstrated stronger performance than most top human players in terms of stable rank and is rated above 99.99% of all the officially ranked human players in the Tenhou platform. This is the first time that a computer program outperforms most top human players in Mahjong.


title: Asymptotically Kasner-like singularities

abstract: We prove existence, uniqueness and regularity of solutions to the Einstein vacuum equations taking the form $${^{(4)}g} = -dt^2 + \sum_{i,j = 1}^3 a_{ij}t^{2p_{\max\{i,j\}}}\, \mathrm{d} x^i\, \mathrm{d} x^j$$ on $(0,T]_t \times \mathbb T^3_x$, where $a_{ij}(t,x)$ and $p_i(x)$ are regular functions without symmetry or analyticity assumptions. These metrics are singular and asymptotically Kasner-like as $t\to 0^+$. These solutions are expected to be highly non-generic, and our construction can be viewed as solving a singular initial value problem with Fuchsian-type analysis where the data are posed on the "singular hypersurface" $\{ t = 0\}$. This is the first such result without imposing symmetry or analyticity. To carry out the analysis, we study the problem in a synchronized coordinate system. In particular, we introduce a novel way to perform (weighted) energy estimates in such a coordinate system based on estimating the second fundamental forms of the constant-$t$ hypersurfaces.


title: Sharp local well-posedness for quasilinear wave equations with spherical symmetry

abstract: In this paper, we prove a sharp local well-posedness result for spherically symmetric solutions to quasilinear wave equations with rough initial data, when the spatial dimension is three or higher. Our approach is based on Morawetz type local energy estimates with fractional regularity for linear wave equations with variable $C^1$ coefficients, which rely on multiplier method, weighted Littlewood-Paley theory, duality and interpolation. Together with weighted linear and nonlinear estimates (including weighted trace estimates, Hardy's inequality, fractional chain rule and fractional Leibniz rule) which are adapted for the problem, the well-posed result is proved by iteration. In addition, our argument yields almost global existence for $n=3$ and global existence for $n\ge 4$, when the initial data are small, spherically symmetric with almost critical Sobolev regularity.


title: How Not to Give a FLOP: Combining Regularization and Pruning for Efficient Inference

abstract: The challenge of speeding up deep learning models during the deployment phase has been a large, expensive bottleneck in the modern tech industry. In this paper, we examine the use of both regularization and pruning for reduced computational complexity and more efficient inference in Deep Neural Networks (DNNs). In particular, we apply mixup and cutout regularizations and soft filter pruning to the ResNet architecture, focusing on minimizing floating-point operations (FLOPs). Furthermore, by using regularization in conjunction with network pruning, we show that such a combination makes a substantial improvement over each of the two techniques individually.


title: Speech2Action: Cross-modal Supervision for Action Recognition

abstract: Is it possible to guess human action from dialogue alone? In this work we investigate the link between spoken words and actions in movies. We note that movie screenplays describe actions, as well as contain the speech of characters and hence can be used to learn this correlation with no additional supervision. We train a BERT-based Speech2Action classifier on over a thousand movie screenplays, to predict action labels from transcribed speech segments. We then apply this model to the speech segments of a large unlabelled movie corpus (188M speech segments from 288K movies). Using the predictions of this model, we obtain weak action labels for over 800K video clips. By training on these video clips, we demonstrate superior action recognition performance on standard action recognition benchmarks, without using a single manually labelled action example.


title: Combinatorial Properties of Self-Overlapping Curves and Interior Boundaries

abstract: We study the interplay between the recently defined concept of minimum homotopy area and the classical topic of self-overlapping curves. The latter are plane curves which are the image of the boundary of an immersed disk. Our first contribution is to prove new sufficient combinatorial conditions for a curve to be self-overlapping. We show that a curve $\gamma$ with Whitney index 1 and without any self-overlapping subcurves is self-overlapping. As a corollary, we obtain sufficient conditions for self-overlappingness solely in terms of the Whitney index of the curve and its subcurves. These results follow from our second contribution, which shows that any plane curve $\gamma$, modulo a basepoint condition, is transformed into an interior boundary by wrapping around $\gamma$ with Jordan curves. Equivalently, the minimum homotopy area of $\gamma$ is reduced to the minimal possible threshold, namely the winding area, through wrapping. In fact, we show that $n+1$ wraps suffice, where $\gamma$ has $n$ vertices. Our third contribution is to prove the equivalence of various definitions of self-overlapping curves and interior boundaries, often implicit in the literature. We also introduce and characterize zero-obstinance curves, further generalizations of interior boundaries defined by optimality in minimum homotopy area.


title: Nodal Andreev Spectra in Multi-Majorana Three-Terminal Josephson Junctions

abstract: We investigate the Andreev-bound-state (ABS) spectra of three-terminal Josephson junctions which consist of 1D topological superconductors (TSCs) harboring multiple zero-energy edge Majorana bound states (MBSs) protected by chiral symmetry. Our theoretical analysis relies on the exact numerical diagonalization of the Bogoliubov-de Gennes (BdG) Hamiltonian describing the three interfaced TSCs, complemented by an effective low-energy description solely based on the coupling of the interfacial MBSs arising before the leads get contacted. Considering the 2D synthetic space spanned by the two independent superconducting phase differences, we demonstrate that the ABS spectra may contain either point or line nodes, and identify $\mathbb{Z}_2$ topological invariants to classify them. We show that the resulting type of nodes depends on the number of preexisting interfacial MBSs, with nodal lines necessarily appearing when two TSCs harbor an unequal number of MBSs. Specifically, the precise number of interfacial MBSs determines the periodicity of the spectrum under $2\pi$-slidings of the phase differences and, as a result, also controls the shape of the nodal lines in synthetic space. When chiral symmetry is preserved, the lines are open and coincide with high-symmetry lines of synthetic space, while when it is violated the lines can also transform into loops and chains. The nodal spectra are robust by virtue of the inherent particle-hole symmetry of the BdG Hamiltonian, and give rise to distinctive experimental signatures that we identify.


title: Quantum many-body scars in transverse field Ising ladders and beyond

abstract: We identify quantum many-body scars in the transverse field quantum Ising model on a ladder. We make explicit how the corresponding (mid spectrum, low entanglement) many-body eigenstates can be approximated by injecting quasi-particle excitations into an exact, zero-energy eigenstate, which is of valence bond solid type. Next, we present a systematic construction of product states characterized, in the limit of a weak transverse field, by a sharply peaked local density of states. We describe how the construction of these "peak states" generalizes to arbitrary dimension and show that on the ladder their number scales with system size as the square of the golden ratio.


title: Weakly norming graphs are edge-transitive

abstract: Let $\mathcal{H}$ be the class of bounded measurable symmetric functions on $[0,1]^2$. For a function $h \in \mathcal{H}$ and a graph $G$ with vertex set $\{v_1,\ldots,v_n\}$ and edge set $E(G)$, define \[ t_G(h) \; = \; \int \cdots \int \prod_{\{v_i,v_j\} \in E(G)} h(x_i,x_j) \: dx_1 \cdots dx_n \: . \] Answering a question raised by Conlon and Lee, we prove that in order for $t_G(|h|)^{1/|E(G)|}$ to be a norm on $\mathcal{H}$, the graph $G$ must be edge-transitive.


title: Circuit optimization of Hamiltonian simulation by simultaneous diagonalization of Pauli clusters

abstract: Many applications of practical interest rely on time evolution of Hamiltonians that are given by a sum of Pauli operators. Quantum circuits for exact time evolution of single Pauli operators are well known, and can be extended trivially to sums of commuting Paulis by concatenating the circuits of individual terms. In this paper we reduce the circuit complexity of Hamiltonian simulation by partitioning the Pauli operators into mutually commuting clusters and exponentiating the elements within each cluster after applying simultaneous diagonalization. We provide a practical algorithm for partitioning sets of Paulis into commuting subsets, and show that the proposed approach can help to significantly reduce both the number of CNOT operations and circuit depth for Hamiltonians arising in quantum chemistry. The algorithms for simultaneous diagonalization are also applicable in the context of stabilizer states; in particular we provide novel four- and five-stage representations, each containing only a single stage of conditional gates.


title: AriEL: volume coding for sentence generation

abstract: Mapping sequences of discrete data to a point in a continuous space makes it difficult to retrieve those sequences via random sampling. Mapping the input to a volume would make it easier to retrieve at test time, and that's the strategy followed by the family of approaches based on Variational Autoencoder. However the fact that they are at the same time optimizing for prediction and for smoothness of representation, forces them to trade-off between the two. We improve on the performance of some of the standard methods in deep learning to generate sentences by uniformly sampling a continuous space. We do it by proposing AriEL, that constructs volumes in a continuous space, without the need of encouraging the creation of volumes through the loss function. We first benchmark on a toy grammar, that allows to automatically evaluate the language learned and generated by the models. Then, we benchmark on a real dataset of human dialogues. Our results indicate that the random access to the stored information is dramatically improved, and our method AriEL is able to generate a wider variety of correct language by randomly sampling the latent space. VAE follows in performance for the toy dataset while, AE and Transformer follow for the real dataset. This partially supports to the hypothesis that encoding information into volumes instead of into points, can lead to improved retrieval of learned information with random sampling. This can lead to better generators and we also discuss potential disadvantages.


title: Relative Arbitrage: Sharp Time Horizons and Motion by Curvature

abstract: We characterize the minimal time horizon over which any equity market with $d \geq 2$ stocks and sufficient intrinsic volatility admits relative arbitrage with respect to the market portfolio. If $d \in \{2,3\}$, the minimal time horizon can be computed explicitly, its value being zero if $d=2$ and $\sqrt{3}/(2\pi)$ if $d=3$. If $d \geq 4$, the minimal time horizon can be characterized via the arrival time function of a geometric flow of the unit simplex in $\mathbb R^d$ that we call the minimum curvature flow.


title: On the formation of hydrogen-deficient low-mass white dwarfs

abstract: Two of the possibilities for the formation of low-mass ($M_{\star}\lesssim 0.5\,M_{\odot}$) hydrogen-deficient white dwarfs are the occurrence of a very-late thermal pulse after the asymptotic giant-branch phase or a late helium-flash onset in an almost stripped core of a red giant star. We aim to asses the potential of asteroseismology to distinguish between the hot flasher and the very-late thermal pulse scenarios for the formation of low-mass hydrogen-deficient white dwarfs. We compute the evolution of low-mass hydrogen-deficient white dwarfs from the zero-age main sequence in the context of the two evolutionary scenarios. We explore the pulsation properties of the resulting models for effective temperatures characterizing the instability strip of pulsating helium-rich white dwarfs. We find that there are significant differences in the periods and in the period spacings associated with low radial-order ($k\lesssim 10$) gravity modes for white-dwarf models evolving within the instability strip of the hydrogen-deficient white dwarfs. The measurement of the period spacings for pulsation modes with periods shorter than $\sim500\,$s may be used to distinguish between the two scenarios. Moreover, period-to-period asteroseismic fits of low-mass pulsating hydrogen-deficient white dwarfs can help to determine their evolutionary history.


title: Rosette Harmonic Mappings

abstract: A harmonic mapping is a univalent harmonic function of one complex variable. We define a family of harmonic mappings on the unit disk whose images are rotationally symmetric rosettes with $n$ cusps or n nodes, where $n \ge 3$. These mappings are analogous to the $n$-cusped hypocycloid, but are modified by Gauss hypergeometric factors, both in the analytic and co-analytic parts. Relative rotations by an angle $\beta$ of the analytic and anti-analytic parts lead to graphs that have cyclic, and in some cases dihedral symmetry of order $n$. While the graphs for different $\beta$ can be dissimilar, the cusps are aligned along axes that are independent of $\beta$. For certain isolated values of $\beta$, the boundary function is continuous with arcs of constancy, and has nodes of interior angle $\pi/2-\pi/n$.


title: 5G Security and Privacy: A Research Roadmap

abstract: Cellular networks represent a critical infrastructure and their security is thus crucial. 5G - the latest generation of cellular networks - combines different technologies to increase capacity, reduce latency, and save energy. Due to its complexity and scale, however, ensuring its security is extremely challenging. In this white paper, we outline recent approaches supporting systematic analyses of 4G LTE and 5G protocols and their related defenses and introduce an initial security and privacy roadmap, covering different research challenges, including formal and comprehensive analyses of cellular protocols as defined by the standardization groups, verification of the software implementing the protocols, the design of robust defenses, and application and device security.


title: On different Versions of the Exact Subgraph Hierarchy for the Stable Set Problem

abstract: Let $G$ be a graph with $n$ vertices and $m$ edges. One of several hierarchies towards the stability number of $G$ is the exact subgraph hierarchy (ESH). On the first level it computes the Lov\'{a}sz theta function $\vartheta(G)$ as semidefinite program (SDP) with a matrix variable of order $n+1$ and $n+m+1$ constraints. On the $k$-th level it adds all exact subgraph constraints (ESC) for subgraphs of order $k$ to the SDP. An ESC ensures that the submatrix of the matrix variable corresponding to the subgraph is in the correct polytope. By including only some ESCs into the SDP the ESH can be exploited computationally. In this paper we introduce a variant of the ESH that computes $\vartheta(G)$ through an SDP with a matrix variable of order $n$ and $m+1$ constraints. We show that it makes sense to include the ESCs into this SDP and introduce the compressed ESH (CESH) analogously to the ESH. Computationally the CESH seems favorable as the SDP is smaller. However, we prove that the bounds based on the ESH are always at least as good as those of the CESH. In computational experiments sometimes they are significantly better. We also introduce scaled ESCs (SESCs), which are a more natural way to include exactness constraints into the smaller SDP and we prove that including an SESC is equivalent to including an ESC for every subgraph.


title: L$^2$-GCN: Layer-Wise and Learned Efficient Training of Graph Convolutional Networks

abstract: Graph convolution networks (GCN) are increasingly popular in many applications, yet remain notoriously hard to train over large graph datasets. They need to compute node representations recursively from their neighbors. Current GCN training algorithms suffer from either high computational costs that grow exponentially with the number of layers, or high memory usage for loading the entire graph and node embeddings. In this paper, we propose a novel efficient layer-wise training framework for GCN (L-GCN), that disentangles feature aggregation and feature transformation during training, hence greatly reducing time and memory complexities. We present theoretical analysis for L-GCN under the graph isomorphism framework, that L-GCN leads to as powerful GCNs as the more costly conventional training algorithm does, under mild conditions. We further propose L$^2$-GCN, which learns a controller for each layer that can automatically adjust the training epochs per layer in L-GCN. Experiments show that L-GCN is faster than state-of-the-arts by at least an order of magnitude, with a consistent of memory usage not dependent on dataset size, while maintaining comparable prediction performance. With the learned controller, L$^2$-GCN can further cut the training time in half. Our codes are available at https://github.com/Shen-Lab/L2-GCN.


title: Non-asymptotic Superlinear Convergence of Standard Quasi-Newton Methods

abstract: In this paper, we study and prove the non-asymptotic superlinear convergence rate of the Broyden class of quasi-Newton algorithms which includes the Davidon--Fletcher--Powell (DFP) method and the Broyden--Fletcher--Goldfarb--Shanno (BFGS) method. The asymptotic superlinear convergence rate of these quasi-Newton methods has been extensively studied in the literature, but their explicit finite-time local convergence rate is not fully investigated. In this paper, we provide a finite-time (non-asymptotic) convergence analysis for Broyden quasi-Newton algorithms under the assumptions that the objective function is strongly convex, its gradient is Lipschitz continuous, and its Hessian is Lipschitz continuous at the optimal solution. We show that in a local neighborhood of the optimal solution, the iterates generated by both DFP and BFGS converge to the optimal solution at a superlinear rate of $(1/k)^{k/2}$, where $k$ is the number of iterations. We also prove a similar local superlinear convergence result holds for the case that the objective function is self-concordant. Numerical experiments on several datasets confirm our explicit convergence rate bounds. Our theoretical guarantee is one of the first results that provide a non-asymptotic superlinear convergence rate for quasi-Newton methods.


title: Word problem languages for completely regular semigroups

abstract: Motivated by the question of which completely regular semigroups have context-free word problem, we show that for certain classes of languages $\mathfrak{C}$(including context-free), every completely regular semigroup that is a union of finitely many finitely generated groups with word problem in $\mathfrak{C}$ also has word problem in $\mathfrak{C}$. We give an example to show that not all completely regular semigroups with context-free word problem can be so constructed.


title: Community detection on complex networks based on a new centrality indicator and a new modularity function

abstract: Community detection is a significant and challenging task in network research. Nowadays, plenty of attention has been focused on local methods of community detection. Among them, community detection with a greedy algorithm typically starts from the identification of local essential nodes called central nodes of the network; communities expand later from these central nodes by optimizing a modularity function. In this paper, we propose a new central node indicator and a new modularity function. Our central node indicator, which we call local centrality indicator (LCI), is as efficient as the well-known global maximal degree indicator and local maximal degree indicator; on certain special network structure, LCI performs even better. On the other hand, our modularity function F2 overcomes certain disadvantages,such as the resolution limit problem,of the modularity functions raised in previous literature. Combined with a greedy algorithm, LCI and F2 enable us to identify the right community structures for both the real world networks and the simulated benchmark network. Evaluation based on the normalized mutual information (NMI) suggests that our community detection method with a greedy algorithm based on LCI and F2 performs superior to many other methods. Therefore, the method we proposed in this paper is potentially noteworthy.


title: Slip-hydride interactions in Zircaloy-4: Multiscale mechanical testing and characterisation

abstract: The interactions between {\delta}-hydrides and plastic slip in a commercial zirconium alloy, Zircaloy-4, under stress were studied using in situ secondary electron microscope (SEM) micropillar compression tests of single crystal samples and ex situ digital image correlation (DIC) macroscale tensile tests of polycrystalline samples. The hydrides decorate near basal planes in orientation, and for micropillars orientated for <a> basal slip localised shear at the hydride-matrix interface is favoured over slip in {\alpha}-Zr matrix due to a lower shear stress required. In contrast, for pillars oriented for <a> prismatic slip the shear stress needed to trigger plastic slip within the hydride is slightly higher than the critical resolved shear stress (CRSS) for the <a> prismatic slip system. In this case, slip in the hydride is likely achieved through <110>-type shear which is parallel to the activated <a>-type shear in the parent matrix. At a longer lengthscale, these results are used to inform polycrystalline samples analysed using high spatial resolution DIC. Here localised interface shear remains to be a significant deformation path which can both cause and be caused by matrix slip on planes closely-oriented to the phase boundaries. Matrix slip on planes nearly perpendicular to the adjacent hydride-matrix interfaces can either result in plastic slip within the hydrides or get arrested at the interfaces, generating local stress concentration. Through these mechanisms, the presence of {\delta}-hydrides leads to enhanced strain localisation in Zircaloy-4 early in the plastic regime.


title: Minimum curvature flow and martingale exit times

abstract: We study the following question: What is the largest deterministic amount of time $T_*$ that a suitably normalized martingale $X$ can be kept inside a convex body $K$ in $\mathbb{R}^d$? We show, in a viscosity framework, that $T_*$ equals the time it takes for the relative boundary of $K$ to reach $X(0)$ as it undergoes a geometric flow that we call (positive) minimum curvature flow. This result has close links to the literature on stochastic and game representations of geometric flows. Moreover, the minimum curvature flow can be viewed as an arrival time version of the Ambrosio--Soner codimension-$(d-1)$ mean curvature flow of the $1$-skeleton of $K$. Our results are obtained by a mix of probabilistic and analytic methods.


title: On the mass difference between proton and neutron

abstract: The Cottingham formula expresses the electromagnetic part of the mass of a particle in terms of the virtual Compton scattering amplitude. At large photon momenta, this amplitude is dominated by short distance singularities associated with operators of spin 0 and spin 2. In the difference between proton and neutron, chiral symmetry suppresses the spin 0 term. Although the angular integration removes the spin 2 singularities altogether, the various pieces occurring in the standard decomposition of the Cottingham formula do pick up such contributions. These approach asymptotics extremely slowly because the relevant Wilson coefficients only fall off logarithmically. We rewrite the formula in such a way that the leading spin 2 contributions are avoided ab initio. Using a sum rule that follows from Reggeon dominance, the numerical evaluation of the e.m. part of the mass difference between proton and neutron yields $m_{QED}^{p-n}=0.58\pm 0.16\,$MeV. The result indicates that the inelastic contributions are small compared to the elastic ones.


title: Bounding the invariant spectrum when the scalar curvature is non-negative

abstract: On compact Riemannian manifolds with a large isometry group we investigate the invariant spectrum of the ordinary Laplacian. For either a toric Kaehler metric, or a rotationally-symmetric metric on the sphere, we produce upper bounds for all eigenvalues of the invariant spectrum assuming non-negative scalar curvature.


title: Joint Pricing and Rebalancing of Autonomous Mobility-on-Demand Systems

abstract: This paper studies optimal pricing and rebalancing policies for Autonomous Mobility-on-Demand (AMoD) systems. We take a macroscopic planning perspective to tackle a profit maximization problem while ensuring that the system is load-balanced. We begin by describing the system using a dynamic fluid model to show the existence and stability of an equilibrium (i.e., load balance) through pricing policies. We then develop an optimization framework that allows us to find optimal policies in terms of pricing and rebalancing. We first maximize profit by only using pricing policies, then incorporate rebalancing, and finally we consider whether the solution is found sequentially or jointly. We apply each approach on a data-driven case study using real taxi data from New York City. Depending on which benchmarking solution we use, the joint problem (i.e., pricing and rebalancing) increases profits by 7% to 40%


title: Evidence for proton acceleration up to TeV energies based on VERITAS and Fermi-LAT observations of the Cas A SNR

abstract: We present a study of $\gamma$-ray emission from the core-collapse supernova remnant Cas~A in the energy range from 0.1GeV to 10TeV. We used 65 hours of VERITAS data to cover 200 GeV - 10 TeV, and 10.8 years of \textit{Fermi}-LAT data to cover 0.1-500 GeV. The spectral analysis of \textit{Fermi}-LAT data shows a significant spectral curvature around $1.3 \pm 0.4_{stat}$ GeV that is consistent with the expected spectrum from pion decay. Above this energy, the joint spectrum from \textit{Fermi}-LAT and VERITAS deviates significantly from a simple power-law, and is best described by a power-law with spectral index of $2.17\pm 0.02_{stat}$ with a cut-off energy of $2.3 \pm 0.5_{stat}$ TeV. These results, along with radio, X-ray and $\gamma$-ray data, are interpreted in the context of leptonic and hadronic models. Assuming a one-zone model, we exclude a purely leptonic scenario and conclude that proton acceleration up to at least 6 TeV is required to explain the observed $\gamma$-ray spectrum. From modeling of the entire multi-wavelength spectrum, a minimum magnetic field inside the remnant of $B_{\mathrm{min}}\approx150\,\mathrm{\mu G}$ is deduced.


title: Difference Attention Based Error Correction LSTM Model for Time Series Prediction

abstract: In this paper, we propose a novel model for time series prediction in which difference-attention LSTM model and error-correction LSTM model are respectively employed and combined in a cascade way. While difference-attention LSTM model introduces a difference feature to perform attention in traditional LSTM to focus on the obvious changes in time series. Error-correction LSTM model refines the prediction error of difference-attention LSTM model to further improve the prediction accuracy. Finally, we design a training strategy to jointly train the both models simultaneously. With additional difference features and new principle learning framework, our model can improve the prediction accuracy in time series. Experiments on various time series are conducted to demonstrate the effectiveness of our method.


title: A Systematic Mapping Study on Blockchain Technology for Digital Protection of Communication with Industrial Control

abstract: In the next few years, Blockchain will play a central role in IoT as a technology. It enables the traceability of processes between multiple parties independent of a central instance. Blockchain allows to make the processes more transparent, cheaper, and safer. This research paper was conducted as systematic literature search. Our aim is to understand current state of implementation in context of Blockchain Technology for digital protection of communication in industrial cyber-physical systems. We have extracted 28 primary papers from scientific databases and classified into different categories using visualizations. The results show that the focus in around 14\% papers is on solution proposal and implementation of use cases "Secure transfer of order data" using Ethereum Blockchain, 7\% papers applying Hyperledger Fabric and Multichain. The majority of research (around 43\%) is focusing on solution development for supply chain and process traceability.


title: Conceptualizing A Configuration Service for Complex Automation Systems

abstract: Arrowhead Framework (AHF) is being developed to enable large-scale IoT based automation by providing an interoperability layer for local clouds. This framework aims to create an abstract model for distributed, heterogeneous, and non-linear systems. Managing the variability in such environments plays a key role in handling complex automation tasks such as in smart production systems. However, there is no standard solution available for handling the variability and configuration specifications in such environments. In this paper, we analyze the existing solutions for configuration management in industrial automation frameworks and provide leverage points for a standardization framework for handling configurations of automated production systems based on the concept of industrial internet of things.


title: Repository for Reusing Artifacts of Artificial Neural Networks

abstract: Artificial Neural Networks (ANNs) replaced conventional software systems in various domains such as machine translation, natural language processing, and image processing. So, why do we need an repository for artificial neural networks? Those systems are developed with labeled data and we have strong dependencies between the data that is used for training and testing our network. Another challenge is the data quality as well as reuse-ability. There we are trying to apply concepts from classic software engineering that is not limited to the model, while data and code haven't been dealt with mostly in other projects. The first question that comes to mind might be, why don't we use GitHub, a well known widely spread tool for reuse, for our issue. And the reason why is that GitHub, although very good in its class is not developed for machine learning appliances and focuses more on software reuse. In addition to that GitHub does not allow to execute the code directly on the platform which would be very convenient for collaborative work on one project.


title: Latent-Graph Learning for Disease Prediction

abstract: Recently, Graph Convolutional Networks (GCNs) have proven to be a powerful machine learning tool for Computer-Aided Diagnosis (CADx) and disease prediction. A key component in these models is to build a population graph, where the graph adjacency matrix represents pair-wise patient similarities. Until now, the similarity metrics have been defined manually, usually based on meta-features like demographics or clinical scores. The definition of the metric, however, needs careful tuning, as GCNs are very sensitive to the graph structure. In this paper, we demonstrate for the first time in the CADx domain that it is possible to learn a single, optimal graph towards the GCN's downstream task of disease classification. To this end, we propose a novel, end-to-end trainable graph learning architecture for dynamic and localized graph pruning. Unlike commonly employed spectral GCN approaches, our GCN is spatial and inductive, and can thus infer previously unseen patients as well. We demonstrate significant classification improvements with our learned graph on two CADx problems in medicine. We further explain and visualize this result using an artificial dataset, underlining the importance of graph learning for more accurate and robust inference with GCNs in medical applications.


title: Action-angle coordinates on coadjoint orbits and multiplicity free spaces from partial tropicalization

abstract: Coadjoint orbits and multiplicity free spaces of compact Lie groups are important examples of symplectic manifolds with Hamiltonian groups actions. Constructing action-angle variables on these spaces is a challenging task. A fundamental result in the field is the Guillemin-Sternberg construction of Gelfand-Zeitlin integrable systems for the groups $K=U(n), SO(n)$. Extending these results to groups of other types is one of the goals of this paper. Partial tropicalizations are Poisson spaces with constant Poisson bracket built using techniques of Poisson-Lie theory and the geometric crystals of Berenstein-Kazhdan. They provide a bridge between dual spaces of Lie algebras ${\rm Lie}(K)^*$ with linear Poisson brackets and polyhedral cones which parametrize the canonical bases of irreducible modules of $G=K^\mathbb{C}$. We generalize the construction of partial tropicalizations to allow for arbitrary cluster charts, and apply it to questions in symplectic geometry. For each regular coadjoint orbit of a compact group $K$, we construct an exhaustion by symplectic embeddings of toric domains. As a by product we arrive at a conjectured formula for Gromov width of regular coadjoint orbits. We prove similar results for multiplicity free $K$-spaces.


title: Canonical Quantum Gravity, Constructive QFT and Renormalisation

abstract: The canonical approach to quantum gravity has been put on a firm mathematical foundation in the recent decades. Even the quantum dynamics can be rigorously defined, however, due to the tremendously non-polynomial character of the gravitational interaction, the corresponding Wheeler-DeWitt operator valued distribution suffers from quantisation ambiguities that need to be fixed. In a very recent series of works we have employed methods from constructive quantum field theory in order to address those ambiguities. Constructive QFT trades quantum fields for random variables and measures thereby phrasing the theory in the language of quantum statistical physics. The connection to the canonical formulation is made via Osterwalder-Schrader reconstruction. It is well known in quantum statistics that the corresponding ambiguities in measures can be fixed using renormalisation. The associated renormalisation flow can thus be used to define a canonical renormalisation programme. The purpose of this article is to review and further develop these ideas and to put them into context with closely related earlier and parallel programmes.


title: Laplacian Denoising Autoencoder

abstract: While deep neural networks have been shown to perform remarkably well in many machine learning tasks, labeling a large amount of ground truth data for supervised training is usually very costly to scale. Therefore, learning robust representations with unlabeled data is critical in relieving human effort and vital for many downstream tasks. Recent advances in unsupervised and self-supervised learning approaches for visual data have benefited greatly from domain knowledge. Here we are interested in a more generic unsupervised learning framework that can be easily generalized to other domains. In this paper, we propose to learn data representations with a novel type of denoising autoencoder, where the noisy input data is generated by corrupting latent clean data in the gradient domain. This can be naturally generalized to span multiple scales with a Laplacian pyramid representation of the input data. In this way, the agent learns more robust representations that exploit the underlying data structures across multiple scales. Experiments on several visual benchmarks demonstrate that better representations can be learned with the proposed approach, compared to its counterpart with single-scale corruption and other approaches. Furthermore, we also demonstrate that the learned representations perform well when transferring to other downstream vision tasks.


title: TREC CAsT 2019: The Conversational Assistance Track Overview

abstract: The Conversational Assistance Track (CAsT) is a new track for TREC 2019 to facilitate Conversational Information Seeking (CIS) research and to create a large-scale reusable test collection for conversational search systems. The document corpus is 38,426,252 passages from the TREC Complex Answer Retrieval (CAR) and Microsoft MAchine Reading COmprehension (MARCO) datasets. Eighty information seeking dialogues (30 train, 50 test) are an average of 9 to 10 questions long. Relevance assessments are provided for 30 training topics and 20 test topics. This year 21 groups submitted a total of 65 runs using varying methods for conversational query understanding and ranking. Methods include traditional retrieval based methods, feature based learning-to-rank, neural models, and knowledge enhanced methods. A common theme through the runs is the use of BERT-based neural reranking methods. Leading methods also employed document expansion, conversational query expansion, and generative language models for conversational query rewriting (GPT-2). The results show a gap between automatic systems and those using the manually resolved utterances, with a 35% relative improvement of manual rewrites over the best automatic system.


title: SDSS-IV MaNGA: Stellar population correlates with stellar root-mean-square velocity $V_{\rm rms}$ gradients or total-density-profile slopes at fixed effective velocity dispersion $\sigma_{\rm e}$

abstract: Galaxy properties are known to correlate most tightly with the galaxy effective stellar velocity dispersion $\sigma_{\rm e}$. Here we look for {\em additional} trends at fixed $\sigma_{\rm e}$ using 1339 galaxies ($M_\ast \gtrsim 6\times10^9$ M$_\odot$) with different morphologies in the MaNGA (DR14) sample with integral-field spectroscopy data. We focus on the gradients ($\gamma_{\rm rms} \equiv \sigma(R_{\rm e}/4)/\sigma_{\rm e}$) of the stellar root-mean-square velocity ($V_{\rm rms} \equiv \sqrt{V^2 + \sigma^2}$), which we show traces the total mass density gradient $\gamma_{\rm tot}$ derived from dynamical models and, more weakly, the bulge fraction. We confirm that $\gamma_{\rm rms}$ increases with $\sigma_{\rm e}$, age and metallicity. We additionally find that these correlations still exist at fixed $\sigma_{\rm e}$, where galaxies with larger $\gamma_{\rm rms}$ are found to be older and more metal-rich. It means that mass density gradients contain information of the stellar population which is not fully accounted for by $\sigma_{\rm e}$. This result puts an extra constraint on our understanding of galaxy quenching. We compare our results with galaxies in the IllustrisTNG hydrodynamical simulations and find that, at fixed $\sigma_{\rm e}$, similar trends exist with age, the bulge fraction, and the total mass density slope but, unlike observations, no correlation with metallicity can be detected in the simulations.


title: Uniqueness of optimal symplectic connections

abstract: Consider a holomorphic submersion between compact K\"ahler manifolds, such that each fibre admits a constant scalar curvature K\"ahler metric. When the fibres admit continuous automorphisms, a choice of fibrewise constant scalar curvature K\"ahler metric is not unique. An optimal symplectic connection is choice of fibrewise constant scalar curvature K\"ahler metric satisfying a geometric partial differential equation. The condition generalises the Hermite-Einstein condition for a holomorphic vector bundle, through the induced fibrewise Fubini-Study metric on the associated projectivisation. We prove various foundational analytic results concerning optimal symplectic connections. Our main result proves that optimal symplectic connections are unique, up to the action of the automorphism group of the submersion, when they exist. Thus optimal symplectic connections are canonical relatively K\"ahler metrics when they exist. In addition, we show that the existence of an optimal symplectic connection forces the automorphism group of the submersion to be reductive, and that an optimal symplectic connection is automatically invariant under a maximal compact subgroup of this automorphism group. We also prove that when a submersion admits an optimal symplectic connection, it achieves the absolute minimum of a natural log norm functional which we define.


title: Measurement of the Canonical Equation of State of a Weakly Interacting 3D Bose Gas

abstract: Using a multiple-image reconstruction method applied to a harmonically trapped Bose gas, we determine the equation of state of uniform matter across the critical transition point, within the local density approximation. Our experimental results provide the canonical description of pressure as a function of the specific volume, emphasizing the dramatic deviations from the ideal Bose gas behavior caused by interactions. They also provide clear evidence for the non-monotonic behavior with temperature of the chemical potential, which is a consequence of superfluidity. The measured thermodynamic quantities are compared to mean-field predictions available for the interacting Bose gas. The limits of applicability of the local density approximation near the critical point are also discussed, focusing on the behavior of the isothermal compressibility.


title: Measuring the quartic Higgs self-coupling at a multi-TeV muon collider

abstract: Measuring the shape of the Higgs boson potential is of paramount importance and will be a challenging task at current as well as future colliders. While the expectations for the measurement of the trilinear Higgs self-coupling are rather promising, an accurate measurement of the quartic self-coupling interaction is presently considered extremely challenging even at a future 100 TeV proton-proton collider. In this work we explore the sensitivity that a muon collider with a center of mass energy in the multi-TeV range, and luminosities of the order of 10^35cm^-2s^-1, as presently under discussion, might provide thanks to a rather large three Higgs-boson production and to a limited background. By performing a first and simple analysis, we find a clear indication that a muon collider could provide a determination of the quartic Higgs self-coupling that is significantly better than what is currently considered attainable at other future colliders.


title: Building a Shared Resource HPC Center Across University Schools and Institutes: A Case Study

abstract: Over the past several years, The George Washington University has recruited a significant number of researchers in a wide variety of domains requiring the availability of advanced computational resources. We discuss the challenges and obstacles encountered planning and establishing a first-time high performance computing center at the university level and present a set of solutions that will be useful for any university developing a fledgling high performance computing center. We focus on justification and cost model, strategies for determining anticipated use cases, planning appropriate resources, staffing, user engagement, and metrics for gauging success.


title: TResNet: High Performance GPU-Dedicated Architecture

abstract: Many deep learning models, developed in recent years, reach higher ImageNet accuracy than ResNet50, with fewer or comparable FLOPS count. While FLOPs are often seen as a proxy for network efficiency, when measuring actual GPU training and inference throughput, vanilla ResNet50 is usually significantly faster than its recent competitors, offering better throughput-accuracy trade-off. In this work, we introduce a series of architecture modifications that aim to boost neural networks' accuracy, while retaining their GPU training and inference efficiency. We first demonstrate and discuss the bottlenecks induced by FLOPs-optimizations. We then suggest alternative designs that better utilize GPU structure and assets. Finally, we introduce a new family of GPU-dedicated models, called TResNet, which achieve better accuracy and efficiency than previous ConvNets. Using a TResNet model, with similar GPU throughput to ResNet50, we reach 80.8 top-1 accuracy on ImageNet. Our TResNet models also transfer well and achieve state-of-the-art accuracy on competitive single-label classification datasets such as Stanford cars (96.0%), CIFAR-10 (99.0%), CIFAR-100 (91.5%) and Oxford-Flowers (99.1%). They also perform well on multi-label classification and object detection tasks. Implementation is available at: https://github.com/mrT23/TResNet.


title: Non-fundamental trunc-simplex tilings and their optimal hyperball packings and coverings in hyperbolic space I. For families F1-F4

abstract: Supergroups of some hyperbolic space groups are classified as a continuation of our former works. Fundamental domains will be integer parts of truncated tetrahedra belonging to families F1 - F4, for a while, by the notation of E. Moln\'{a}r et al. in $2006$. As an application, optimal congruent hyperball packings and coverings to the truncation base planes with their very good densities are computed. This covering density is better than the conjecture of L.~Fejes~T\'oth for balls and horoballs in $1964$.


title: SLE scaling limits for a Laplacian random growth model

abstract: We consider a model of planar random aggregation from the ALE$(0,\eta)$ family where particles are attached preferentially in areas of low harmonic measure. We find that the model undergoes a phase transition in negative $\eta$, where for sufficiently large values the attachment distribution of each particle becomes atomic in the small particle limit, with each particle attaching to one of the two points at the base of the previous particle. This complements the result of Sola, Turner and Viklund for large positive $\eta$, where the attachment distribution condenses to a single atom at the tip of the previous particle. As a result of this condensation of the attachment distributions we deduce that in the limit as the particle size tends to zero the ALE cluster converges to a Schramm--Loewner evolution with parameter $\kappa = 4$ (SLE$_4$). We also conjecture that using other particle shapes from a certain family, we have a similar SLE scaling result, and can obtain SLE$_\kappa$ for any $\kappa \geq 4$.


title: Coronavirus Optimization Algorithm: A bioinspired metaheuristic based on the COVID-19 propagation model

abstract: A novel bioinspired metaheuristic is proposed in this work, simulating how the coronavirus spreads and infects healthy people. From an initial individual (the patient zero), the coronavirus infects new patients at known rates, creating new populations of infected people. Every individual can either die or infect and, afterwards, be sent to the recovered population. Relevant terms such as re-infection probability, super-spreading rate or traveling rate are introduced in the model in order to simulate as accurately as possible the coronavirus activity. The Coronavirus Optimization Algorithm has two major advantages compared to other similar strategies. First, the input parameters are already set according to the disease statistics, preventing researchers from initializing them with arbitrary values. Second, the approach has the ability of ending after several iterations, without setting this value either. Infected population initially grows at an exponential rate but after some iterations, when considering social isolation measures and the high number recovered and dead people, the number of infected people starts decreasing in subsequent iterations. Furthermore, a parallel multi-virus version is proposed in which several coronavirus strains evolve over time and explore wider search space areas in less iterations. Finally, the metaheuristic has been combined with deep learning models, in order to find optimal hyperparameters during the training phase. As application case, the problem of electricity load time series forecasting has been addressed, showing quite remarkable performance.


title: Stochastic single-particle based simulations of cellular signaling embedded into computational models of cellular morphology

abstract: Cells exhibit a wide variety of different shapes. This diversity poses a challenge for computational approaches that attempt to shed light on the role cell geometry plays in regulating cell physiology and behavior. The simulation platform Simmune is capable of embedding the computational representation of signaling pathways into realistic models of cellular morphology. However, Simmune's current approach to account for the cell geometry is limited to deterministic models of reaction-diffusion processes, thus providing a coarse-grained description that ignores stochastic local fluctuations. Here we present an extension of Simmune that removes these limitations by employing an alternative computational representation of cellular geometry that is smooth and grid-free. These features make it possible to incorporate a fully stochastic, spatially resolved description of the cellular biochemistry. The alternative computational representation is compatible with Simmune's current approach for specifying molecular interactions. This means that a modeler using the approach needs to create a model of cellular biochemistry and morphology only once to be able to use it for both, deterministic and stochastic simulations.


title: DAMPE proton spectrum indicates a slow-diffusion zone in the nearby ISM

abstract: The hardening and softening features in the DAMPE proton spectrum are very likely to be originated from a nearby supernova remnant (SNR). The proton spectrum from the nearby SNR is required to be very hard below $\approx10$ TeV. To reproduce this feature, we illustrate that anomalously slow-diffusion zone for cosmic rays (CRs) must be existed in the local interstellar medium (ISM) after also taking the dipole anisotropy of CRs into account. Assuming that the diffusion coefficient is homogeneous in the nearby ISM, we show that the diffusion coefficient is constrained to the magnitude of $10^{26}$ cm$^2$ s$^{-1}$ when normalized to 1 GeV, which is about 100 times smaller than the average value in the Galaxy. We further discuss the spatial distribution of the slow diffusion and find two distinct possibilities. In one case, the SNR is several hundred of parsecs away from the solar system, meanwhile both the SNR and the solar system are required to be included in a large slow-diffusion zone. The homogeneous diffusion belongs to this case. In the other case, the SNR is very close with a distance of $\sim50$ pc and the slow-diffusion zone is only limited around the SNR. The required diffusion coefficient is further smaller in the latter case. This work provides a new way of studying the CR diffusion in the local ISM.


title: Top Precision for Associated Top-Pair Production Processes at the LHC

abstract: The studies of the associated production processes of a top-quark pair with a colour-singlet boson, e.g. Higgs, W or Z, are among the highest priorities of the LHC programme. Correspondingly, improvements in precision of theoretical predictions for these processes are of central importance. In this talk, we review our latest results on resummation of soft gluon corrections. The resummation is carried out using the direct QCD Mellin space technique in three-particle invariant mass kinematics. We discuss the impact of the soft gluon corrections on predictions for total cross sections and differential distributions.


title: A game-theoretic approach for Generative Adversarial Networks

abstract: Generative adversarial networks (GANs) are a class of generative models, known for producing accurate samples. The key feature of GANs is that there are two antagonistic neural networks: the generator and the discriminator. The main bottleneck for their implementation is that the neural networks are very hard to train. One way to improve their performance is to design reliable algorithms for the adversarial process. Since the training can be cast as a stochastic Nash equilibrium problem, we rewrite it as a variational inequality and introduce an algorithm to compute an approximate solution. Specifically, we propose a stochastic relaxed forward-backward algorithm for GANs. We prove that when the pseudogradient mapping of the game is monotone, we have convergence to an exact solution or in a neighbourhood of it.


title: Inverse conductivity problem with internal data

abstract: This paper concerns the reconstruction of a scalar coefficient of a second-order elliptic equation in divergence form posed on a bounded domain from internal data. This theory finds applications in multi-wave imaging, greedy methods to approximate parameter-dependent elliptic problems, and image treatment with partial differential equations. We first show that the inverse problem for smooth coefficients can be rewritten as a linear transport equation. Assuming that the coefficient is known near the boundary, we study the well-posedness of associated transport equation as well as its numerical resolution using discontinuous Galerkin method. We propose a regularized transport equation that allow us to derive rigorous convergence rates of the numerical method in terms of the order of the polynomial approximation as well as the regularization parameter. We finally provide numerical examples for the inversion assuming a lower regularity of the coefficient, and using synthetic data.


title: Stochastic Local Operations with Classical Communication of Absolutely Maximally Entangled States

abstract: Absolutely Maximally Entangled (AME) states are maximally entangled for every bipartition of the system. They are crucial resources for various quantum information protocols. We present techniques for verifying either two AME states are equivalent concerning Stochastic Local Operations and Classical Communication (SLOCC). The conjecture that for a given multipartite quantum system all AME states are SLOCC-equivalent is falsified. We also show that the existence of AME states with minimal support of 6 or more particles results in the existence of infinitely many such non-SLOCC-equivalent states. Moreover, we present AME states which are not SLOCC-equivalent to the existing AME states with minimal support.


title: Parameterization and applications of the low-$Q^2$ nucleon vector form factors

abstract: We present the proton and neutron vector form factors in a convenient parametric form that is optimized for momentum transfers $\lesssim$ few GeV$^2$. The form factors are determined from a global fit to electron scattering data and precise charge radius measurements. A new treatment of radiative corrections is applied. This parametric representation of the form factors, uncertainties and correlations provides an efficient means to evaluate many derived observables. We consider two classes of illustrative examples: neutrino-nucleon scattering cross sections at GeV energies for neutrino oscillation experiments and nucleon structure corrections for atomic spectroscopy. The neutrino-nucleon charged current quasielastic (CCQE) cross section differs by 3-5% compared to commonly used form factor models when the vector form factors are constrained by recent high-statistics electron-proton scattering data from the A1 Collaboration. Nucleon structure parameter determinations include: the magnetic and Zemach radii of the proton and neutron, $[r_M^p, r_M^n] = [ 0.739(41)(23), 0.776(53)(28)]$ fm and $[r_Z^p, r_Z^n] = [ 1.0227(94)(51), -0.0445(14)(3)]$ fm; the Friar radius of nucleons, $[(r^p_F)^3, (r^n_F)^3] = [2.246(58)(2), 0.0093(6)(1)]$ fm$^3$; the electric curvatures, $[\langle r^4 \rangle^p_E, \langle r^4 \rangle^n_E ] = [1.08(28)(5), -0.33(24)(3)]$ fm$^4$; and bounds on the magnetic curvatures, $[ \langle r^4 \rangle^p_M, \langle r^4 \rangle^n_M ] = [ -2.0(1.7)(0.8), -2.3(2.1)(1.1)]$ fm$^4$. The first and dominant uncertainty is propagated from the experimental data and radiative corrections, and the second error is due to the fitting procedure.


title: Feedback Edge Sets in Temporal Graphs

abstract: The classical, linear-time solvable Feedback Edge Set problem is concerned with finding a minimum number of edges intersecting all cycles in a (static, unweighted) graph. We provide a first study of this problem in the setting of temporal graphs, where edges are present only at certain points in time. We find that there are four natural generalizations of Feedback Edge Set, all of which turn out to be NP-hard. We also study the tractability of these problems with respect to several parameters (solution size, lifetime, and number of graph vertices, among others) and obtain some parameterized hardness but also fixed-parameter tractability results.


title: Effective asymptotic safety and its predictive power: Gauge-Yukawa theories

abstract: Effective field theory provides a new perspective on the predictive power of Renormalization Group fixed points. Critical trajectories between different fixed points confine the regions of UV-complete, IR-complete, as well as conformal theories. The associated boundary surfaces cannot be crossed by the Renormalization Group flow of any effective field theory. We delineate cases in which the boundary surface acts as an infrared attractor for generic effective field theories. Gauge-Yukawa theories serve as an example that is both perturbative and of direct phenomenological interest. We identify additional matter fields such that all the observed coupling values of the Standard Model, apart from the Abelian hypercharge, lie within the conformal region. We define a quantitative measure of the predictivity of effective asymptotic safety and demonstrate phenomenological constraints for the associated beyond Standard-Model Yukawa couplings.


title: The Habitability of Large Elliptical Galaxies

abstract: Based on numbers of stars, supernova rates, and metallicity, a prior study (Dayal et al. 2015) concluded that large elliptical galaxies contain up to 10,000 times more habitable planets than the Milky Way and are thus the "cradles of life". Using the results of their model and taking into account galactic number distributions and supernova rates I argue here that this result constitutes a violation of the Principle of Mediocrity as applied to the reference class of all extant technological species. Assuming that we are a typical technological species in the attribute of inhabiting a relatively large disk-dominated galaxy, I outline two hypotheses that could significantly limit the habitability of large elliptical galaxies: (1) massive galactic sterilization events associated with quasar/AGN activity and starburst supernovae that occurred when the antecedents of today's large elliptical galaxies were much more compact; and (2) the probability of habitable planet formation in large elliptical galaxies may be small since a disproportionately larger number of gaseous planets are expected to form as a result of the generally higher metallicity in large elliptical galaxies. Consequently, fewer habitable planets will accrete if the gaseous planets inward migrations are sufficiently slow. The sterilization events of Hypothesis (1) occurred at earlier epochs (z $\geq$ 1) and so they must be effectively permanent, implying two possible scenarios regarding the origin and evolution of life. In connection with one of these scenarios, independent applications of the Principle of Mediocrity suggest that M-dwarf stars are not significant hosts of technological life.


title: Supervised and Unsupervised Detections for Multiple Object Tracking in Traffic Scenes: A Comparative Study

abstract: In this paper, we propose a multiple object tracker, called MF-Tracker, that integrates multiple classical features (spatial distances and colours) and modern features (detection labels and re-identification features) in its tracking framework. Since our tracker can work with detections coming either from unsupervised and supervised object detectors, we also investigated the impact of supervised and unsupervised detection inputs in our method and for tracking road users in general. We also compared our results with existing methods that were applied on the UA-Detrac and the UrbanTracker datasets. Results show that our proposed method is performing very well in both datasets with different inputs (MOTA ranging from 0:3491 to 0:5805 for unsupervised inputs on the UrbanTracker dataset and an average MOTA of 0:7638 for supervised inputs on the UA Detrac dataset) under different circumstances. A well-trained supervised object detector can give better results in challenging scenarios. However, in simpler scenarios, if good training data is not available, unsupervised method can perform well and can be a good alternative.


title: Thermal dilepton production in collisional hot QCD medium in the presence of chromo-turbulent fields

abstract: The effects of collisional processes in the hot QCD medium to thermal dilepton production from $q\overline{q}$ annihilation in relativistic heavy-ion collisions have been investigated. The non-equilibrium corrections to the momentum distribution function have been estimated within the framework of ensemble-averaged diffusive Vlasov-Boltzmann equation, encoding the effects of collisional processes and turbulent chromo-fields in the medium. The contributions from the $2\rightarrow2$ elastic scattering processes have been quantified for the thermal dilepton production rate. It is seen that the collisional corrections enhance the equilibrium dilepton spectra at high $p_T$ and suppress at lower $p_T$. A comparative study between collisional and anomalous contributions to the dilepton production rates has also been explored. The collisional contributions are seen to be marginal over that due to collisionless anomalous transport.


title: A class of elliptic equations involving a general nonlocal integrodifferential operators with sign-changing weight functions

abstract: In this paper, we investigate the existence of nontrivial weak solutions to a class of elliptic equations ($\mathscr{P}$) involving a general nonlocal integrodifferential operator $\mathscr{L}_{\mathcal{A}K}$, two real parameters, and two weight functions, which can be sign-changing. Considering different situations concerning the growth of the nonlinearities involved in the problem ($\mathscr{P}$), we prove the existence of two nontrivial distinct solutions and the existence of a continuous family of eigenvalues. The proofs of the main results are based on ground state solutions using the Nehari method, Ekelands variational principle, and the direct method of the calculus of variations. The difficulties arise from the fact that the operator $\mathscr{L}_{\mathcal{A}K}$ is nonhomogeneous and the nonlinear term is undefined.


title: Identification of 3XMM J000511.8+634018 as a new polar at P(orb)=133.5 min -- is it inside or outside the period gap?

abstract: We aimed to identify the variable X-ray source 3XMM J000511.8+634018, which was serendipitously discovered through routine inspections while the 3XMM catalogue was compiled. We analysed the archival XMM-Newton observation of the source, obtained BUSCA photometry in three colours, and performed optical spectroscopy with the LBT. These data were supplemented by archival observations from the Zwicky Transient Facility. Based on its optical and X-ray properties, 3XMM J000511.8+634018 is classified as a magnetic cataclysmic variable, or polar. The flux is modulated with a period of 2.22 hr (8009.1 +- 0.2 s), which we identify with the orbital period. The bright phases are highly variable in X-ray luminosity from one cycle to the next. The source shows a thermal plasma spectrum typical of polars without evidence of a luminous soft blackbody-like component. It is non-eclipsing and displays one-pole accretion. The X-ray and BUSCA light curves show a stream absorption dip, which suggests an inclination 50degr < i < 75degr. The phasing of this feature, which occurs at the end of the bright phase, requires a somewhat special accretion geometry with a stream running far around the white dwarf before it is magnetically channelled. The period of this polar falls within the period gap of the cataclysmic variables (2.15-3.18 h), but appears to fall just below the minimum period when only polars are considered.


title: Weakly-supervised land classification for coastal zone based on deep convolutional neural networks by incorporating dual-polarimetric characteristics into training dataset

abstract: In this work we explore the performance of DCNNs on semantic segmentation using spaceborne polarimetric synthetic aperture radar (PolSAR) datasets. The semantic segmentation task using PolSAR data can be categorized as weakly supervised learning when the characteristics of SAR data and data annotating procedures are factored in. Datasets are initially analyzed for selecting feasible pre-training images. Then the differences between spaceborne and airborne datasets are examined in terms of spatial resolution and viewing geometry. In this study we used two dual-polarimetric images acquired by TerraSAR-X DLR. A novel method to produce training dataset with more supervised information is developed. Specifically, a series of typical classified images as well as intensity images serve as training datasets. A field survey is conducted for an area of about 20 square kilometers to obtain a ground truth dataset used for accuracy evaluation. Several transfer learning strategies are made for aforementioned training datasets which will be combined in a practicable order. Three DCNN models, including SegNet, U-Net, and LinkNet, are implemented next.


title: Observation of new $\Xi_c^0$ baryons decaying to $\Lambda_c^+ K^-$

abstract: The $\Lambda_c^+K^-$ mass spectrum is studied with a data sample of $pp$ collisions at a centre-of-mass energy of 13 TeV corresponding to an integrated luminosity of 5.6 fb$^{-1}$ collected by the LHCb experiment. Three $\Xi_c^0$ states are observed with a large significance and their masses and natural widths are measured to be \begin{eqnarray*} m(\Xi_c(2923)^0)&=& 2923.04 \pm 0.25 \pm 0.20 \pm 0.14 ~\mathrm{MeV}, \Gamma(\Xi_c(2923)^0) &=& 7.1 \pm 0.8 \pm 1.8 ~\mathrm{MeV}, \end{eqnarray*} \begin{eqnarray*} m(\Xi_c(2939)^0) &=& 2938.55 \pm 0.21 \pm 0.17 \pm 0.14 ~\mathrm{ MeV}, \Gamma(\Xi_c(2939)^0) &=& 10.2 \pm 0.8 \pm 1.1 ~\mathrm{ MeV}, \end{eqnarray*} \begin{eqnarray*} m(\Xi_c(2965)^0) &=& 2964.88 \pm 0.26 \pm 0.14 \pm 0.14~\mathrm{ MeV}, \Gamma(\Xi_c(2965)^0) &=& 14.1 \pm 0.9 \pm 1.3~\mathrm{ MeV}, \end{eqnarray*} where the uncertainties are statistical, systematic, and due to the limited knowledge of the $\Lambda_c^+$ mass. The $\Xi_c(2923)^0$ and $\Xi_c(2939)^0$ baryons are new states. The $\Xi_c(2965)^0$ state is in the vicinity of the known $\Xi_c(2970)^0$ baryon; however, their masses and natural widths differ significantly.


title: Octapod-shaped CdSe nanocrystals hosting Pt with high-mass activity for the hydrogen evolution reaction

abstract: The design of efficient electrocatalysts for electrochemical water splitting with minimal amount of precious metal is crucial to attain renewable and sustainable energy conversion. Here, we report the use of a network of CdSe branched colloidal nanocrystals, made of a CdSe core and eight CdSe pods (so-called octapods), able to host on their pods Pt particles, and thus catalyzing water splitting reactions. Thanks to the octapod shape, the resulting Pt-hosting network is mechanically trapped onto carbon nanotube buckypaper, providing mechanically flexible and binder-free electrodes. We found that such hierarchical configuration maximizes the mass activity and the utilization efficiency of Pt for the hydrogen evolution reaction (HER). At a potential of -0.15 V vs. reversible hydrogen electrode, the Pt/octapod network-based electrodes display a Pt mass activity on the HER of 166 A mg-1 and 42 A mg-1 in acidic and alkaline media, respectively. These values correspond to turnover frequencies of 168 s-1 and 42 s-1, respectively, which are in that order 14 and 21 times higher compared to commercially available Pt/C benchmarks. The strong chemical and mechanical interactions between the Pt and the octapod surface, along with pod-aided adhesion of the Pt/octapod network to the buckypaper, result in a long-term durability (>20 h) of the HER-activity in both media. These results experimentally prove that the exploitation of our network of branched nanocrystals hosting Pt particles can circumvent the durability issues of the catalysts while adopting either ultralow Pt loadings or benchmarking carbon-supported Pt nanocrystals. Our work opens up prospects for using porous networks made by branched nanocrystals as catalysts with ultralow amount of noble metals and controlled catalytic properties.


title: Quantified Reflection Calculus with one modality

abstract: This paper presents the logic QRC$_1$, which is a strictly positive fragment of quantified modal logic. The intended reading of the diamond modality is that of consistency of a formal theory. Predicate symbols are interpreted as parametrized axiomatizations. We prove arithmetical soundness of the logic QRC$_1$ with respect to this arithmetical interpretation. Quantified provability logic is known to be undecidable. However, the undecidability proof cannot be performed in our signature and arithmetical reading. We conjecture the logic QRC$_1$ to be arithmetically complete. This paper takes the first steps towards arithmetical completeness by providing relational semantics for QRC$_1$ with a corresponding completeness proof. We also show the finite model property, which implies decidability.


title: Machine Learning enabled Spectrum Sharing in Dense LTE-U/Wi-Fi Coexistence Scenarios

abstract: The application of Machine Learning (ML) techniques to complex engineering problems has proved to be an attractive and efficient solution. ML has been successfully applied to several practical tasks like image recognition, automating industrial operations, etc. The promise of ML techniques in solving non-linear problems influenced this work which aims to apply known ML techniques and develop new ones for wireless spectrum sharing between Wi-Fi and LTE in the unlicensed spectrum. In this work, we focus on the LTE-Unlicensed (LTE-U) specification developed by the LTE-U Forum, which uses the duty-cycle approach for fair coexistence. The specification suggests reducing the duty cycle at the LTE-U base-station (BS) when the number of co-channel Wi-Fi basic service sets (BSSs) increases from one to two or more. However, without decoding the Wi-Fi packets, detecting the number of Wi-Fi BSSs operating on the channel in real-time is a challenging problem. In this work, we demonstrate a novel ML-based approach which solves this problem by using energy values observed during the LTE-U OFF duration. It is relatively straightforward to observe only the energy values during the LTE-U BS OFF time compared to decoding the entire Wi-Fi packet, which would require a full Wi-Fi receiver at the LTE-U base-station. We implement and validate the proposed ML-based approach by real-time experiments and demonstrate that there exist distinct patterns between the energy distributions between one and many Wi-Fi AP transmissions. The proposed ML-based approach results in a higher accuracy (close to 99\% in all cases) as compared to the existing auto-correlation (AC) and energy detection (ED) approaches.


title: Vox2Vox: 3D-GAN for Brain Tumour Segmentation

abstract: Gliomas are the most common primary brain malignancies, with different degrees of aggressiveness, variable prognosis and various heterogeneous histological sub-regions, i.e., peritumoral edema, necrotic core, enhancing and non-enhancing tumour core. Although brain tumours can easily be detected using multi-modal MRI, accurate tumor segmentation is a challenging task. Hence, using the data provided by the BraTS Challenge 2020, we propose a 3D volume-to-volume Generative Adversarial Network for segmentation of brain tumours. The model, called Vox2Vox, generates realistic segmentation outputs from multi-channel 3D MR images, segmenting the whole, core and enhancing tumor with mean values of 87.20%, 81.14%, and 78.67% as dice scores and 6.44mm, 24.36mm, and 18.95mm for Hausdorff distance 95 percentile for the BraTS testing set after ensembling 10 Vox2Vox models obtained with a 10-fold cross-validation.


title: Plug-and-Play Algorithms for Large-scale Snapshot Compressive Imaging

abstract: Snapshot compressive imaging (SCI) aims to capture the high-dimensional (usually 3D) images using a 2D sensor (detector) in a single snapshot. Though enjoying the advantages of low-bandwidth, low-power and low-cost, applying SCI to large-scale problems (HD or UHD videos) in our daily life is still challenging. The bottleneck lies in the reconstruction algorithms; they are either too slow (iterative optimization algorithms) or not flexible to the encoding process (deep learning based end-to-end networks). In this paper, we develop fast and flexible algorithms for SCI based on the plug-and-play (PnP) framework. In addition to the widely used PnP-ADMM method, we further propose the PnP-GAP (generalized alternating projection) algorithm with a lower computational workload and prove the convergence of PnP-GAP under the SCI hardware constraints. By employing deep denoising priors, we first time show that PnP can recover a UHD color video ($3840\times 1644\times 48$ with PNSR above 30dB) from a snapshot 2D measurement. Extensive results on both simulation and real datasets verify the superiority of our proposed algorithm. The code is available at https://github.com/liuyang12/PnP-SCI.


title: Structural analysis of SARS-CoV-2 and prediction of the human interactome

abstract: Specific elements of viral genomes regulate interactions within host cells. Here, we calculated the secondary structure content of >2500 coronaviruses and computed >100000 human protein interactions with severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2). We found that the 3 and 5 prime ends are the most structured elements in the viral genome and the 5 prime end has the strongest propensity to associate with human proteins. The domain encompassing nucleotides 23000-24000 is highly conserved both at the sequence and structural level, while the region upstream varies significantly. These two sequences code for a domain of the viral protein Spike S that interacts with the human receptor angiotensin-converting enzyme 2 (ACE2) and has the potential to bind sialic acids. Our predictions indicate that the first 1000 nucleotides in the 5 prime end can interact with proteins involved in viral RNA processing such as double-stranded RNA specific editases and ATP-dependent RNA-helicases, in addition to other high-confidence candidate partners. These interactions, previously reported to be also implicated in HIV, reveal important information on host-virus interactions. The list of transcriptional and post-transcriptional elements recruited by SARS-CoV-2 genome provides clues on the biological pathways associated with gene expression changes in human cells.


title: From renormalization group flows to cosmology

abstract: According to the asymptotic-safety conjecture, the gravitational renormalization group flow features an ultraviolet-attractive fixed point that makes the theory renormalizable and ultraviolet complete. The existence of this fixed point entails an antiscreening of the gravitational interaction at short distances. In this paper we review the state-of-the-art of phenomenology of Asymptotically Safe Gravity, focusing on the implications of the gravitational antiscreening in cosmology.