title: Assessing exchange-correlation functional performance in the chalcogenide lacunar spinels GaM$_4$Q$_8$ (M = Mo, V, Nb, Ta; Q = S, Se)

abstract: We perform systematic density functional theory (DFT) calculations to assess the performance of various exchange-correlation potentials $V_{xc}$ in describing the chalcogenide GaM$_4$Q$_8$ lacunar spinels (M=Mo, V, Nb, Ta; Q=S, Se). We examine the dependency of crystal structure (in cubic and rhombohedral symmetries), electronic structure, magnetism, optical conductivity, and lattice dynamics in lacunar spinels at four different levels of $V_{xc}$: the local density approximation (LDA), generalized gradient approximation (GGA), meta-GGA, and hybrid with fractional Fock exchange. We find that LDA significantly underperforms GGA and higher level functionals in predicting lattice constants. LDA also fails to properly describe the magnetism in the family, and for some compositions it does not find the ground state distorted crystal structure. The Perdew-Burke-Ernzerhof (PBE) and PBE revised for solids (PBEsol) GGA functionals perform reasonably well in predicting lattice constants as well as the electronic structures. We find that the GGA with an on-site Coulomb interaction (GGA$+U$) is unnecessary to produce a semiconducting state in the distorted polar $R3m$ phase. Plus Hubbard $U$ values ranging from 1$\sim$2 eV, however, improve the quantitative performance of the GGA functionals. The meta-GGA functional SCAN predicts reasonable lattice constants and electronic structures; it exhibits behavior similar to the GGA$+U$ functionals for small $U$ values. The hybrid functional HSE06 is accurate in predicting the lattice constants, but leads to a band gap of $\approx$1 eV in the rhombohedral phase, which is higher than the experimental estimation of 0.2 eV. Our findings suggest that accurate qualitative and quantitative simulations of the lacunar spinel family with DFT requires careful attention to the nuances of the exchange-correlation functional and considered spin structures.


title: The NLO fragmentation functions of heavy quarks into heavy quarkonia

abstract: In the paper, we derive the next-to-leading order (NLO) fragmentation function for a heavy quark, either charm or bottom, into a heavy quarkonium $J/\Psi$ or $\Upsilon$. The ultra-violet divergences in the real corrections are removed through the operator renormalization, which is performed under the modified minimal subtraction scheme. We then obtain the NLO fragmentation function at an initial factorization scale, e.g. $\mu_{F}=3 m_c$ for $c\to J/\Psi$ and $\mu_{F}=3m_b$ for $b\to \Upsilon$, which can be evolved to any scale via the use of Dokshitzer-Gribov-Lipatov-Altarelli-Parisi equation. As an initial application of those fragmentation functions, we study the $J/\Psi$ ($\Upsilon$) production at a high luminosity $e^+e^-$ collider which runs at the energy around the $Z$ pole and could be a suitable platform for testing the fragmentation function.


title: On the Langlands parameter of a simple supercuspidal representation: even orthogonal groups

abstract: Let $\pi$ be a simple supercuspidal representation of the split even special orthogonal group. We compute the Rankin-Selberg $\gamma$-factors for rank 1-twists of $\pi$ by quadratic tamely ramified characters of $F^*$. We then use our results to determine the Langlands parameter of $\pi$ up to its restriction to the wild inertia subgroup, subject to an analogue of a work of Blondel, Henniart, and Stevens for $SO_{2l}$. In the particular case of the field $\mathbb{Q}_2$, we are able to describe the parameter completely.


title: Multi-Task Kernel Null-Space for One-Class Classification

abstract: The one-class kernel spectral regression (OC-KSR), the regression-based formulation of the kernel null-space approach has been found to be an effective Fisher criterion-based methodology for one-class classification (OCC), achieving state-of-the-art performance in one-class classification while providing relatively high robustness against data corruption. This work extends the OC-KSR methodology to a multi-task setting where multiple one-class problems share information for improved performance. By viewing the multi-task structure learning problem as one of compositional function learning, first, the OC-KSR method is extended to learn multiple tasks' structure \textit{linearly} by posing it as an instantiation of the separable kernel learning problem in a vector-valued reproducing kernel Hilbert space where an output kernel encodes tasks' structure while another kernel captures input similarities. Next, a non-linear structure learning mechanism is proposed which captures multiple tasks' relationships \textit{non-linearly} via an output kernel. The non-linear structure learning method is then extended to a sparse setting where different tasks compete in an output composition mechanism, leading to a sparse non-linear structure among multiple problems. Through extensive experiments on different data sets, the merits of the proposed multi-task kernel null-space techniques are verified against the baseline as well as other existing multi-task one-class learning techniques.


title: Thermally-Enhanced Fr\"ohlich Coupling in SnSe

abstract: To gain insight into the peculiar temperature dependence of the thermoelectric material SnSe, we employ many-body perturbation theory and explore the influence of the electron-phonon interaction on its electronic and transport properties. We show that a lattice dynamics characterized by soft highly-polar phonons induces a large thermal enhancement of the Fr\"ohlich interaction. We account for these phenomena in ab-initio calculations of the photoemission spectrum and electrical conductivity at finite temperature, unraveling the mechanisms behind recent experimental data. Our results reveal a complex interplay between lattice thermal expansion and Fr\"ohlich coupling, providing a new rationale for the in-silico prediction of transport coefficients of high-performance thermoelectrics.


title: Dynamic Algorithms for the Massively Parallel Computation Model

abstract: The Massive Parallel Computing (MPC) model gained popularity during the last decade and it is now seen as the standard model for processing large scale data. One significant shortcoming of the model is that it assumes to work on static datasets while, in practice, real-world datasets evolve continuously. To overcome this issue, in this paper we initiate the study of dynamic algorithms in the MPC model. We first discuss the main requirements for a dynamic parallel model and we show how to adapt the classic MPC model to capture them. Then we analyze the connection between classic dynamic algorithms and dynamic algorithms in the MPC model. Finally, we provide new efficient dynamic MPC algorithms for a variety of fundamental graph problems, including connectivity, minimum spanning tree and matching.


title: Optimal interlayer structure for promoting spreading of SIS model in two-layer networks

abstract: Real-world systems, ranging from social and biological to infrastructural, can be modeled by multilayer networks. Promoting spreading dynamics in multilayer networks may significantly facilitate electronic advertising and predicting popular scientific publications. In this study, we propose a strategy for promoting the spreading dynamics of the susceptible-infected-susceptible model by adding one interconnecting edge between two isolated networks. By applying a perturbation method to the discrete Markovian chain approach, we derive an index that estimates the spreading prevalence in the interconnected network. The index can be interpreted as a variant of Katz centrality, where the adjacency matrix is replaced by a weighted matrix with weights depending on the dynamical information of the spreading process. Edges that are less infected at one end and its neighborhood but highly infected at the other will have larger weights. We verify the effectiveness of the proposed strategy on small networks by exhaustively examining all latent edges and demonstrate that performance is optimal or near-optimal. For large synthetic and real-world networks, the proposed method always outperforms other static strategies such as connecting nodes with the highest degree or eigenvector centrality.


title: Asynchronous Scattering

abstract: In this paper, we consider the problem of scattering a swarm of mobile oblivious robots in a continuous space. We consider the fully asynchronous setting where robots may base their computation on past observations, or may be observed by other robots while moving. It turns out that asynchronous scattering is solvable in the most general case when both vision (the ability to see others robots positions) and weak local multiplicity detection are available. In the case of a bidimensional Euclidean space, ASYNC scattering is also solvable with blind robots if moves are rigid. Our approach is constructive and modular, as we present a proof technique for probabilistic robot protocols that is of independent interest and can be reused for other purposes. On the negative side, we show that when robots are both blind and have no multiplicity detection, the problem is unsolvable, and when only one of those is available, the problem remains unsolvable on the line.


title: Transconductance as a probe of nonlocality of Majorana fermions

abstract: Each end of a Kitaev chain in topological phase hosts a Majorana fermion. Zero bias conductance peak is an evidence of Majorana fermion when the two Majorana fermions are decoupled. These two Majorana fermions are separated in space and this nonlocal aspect can be probed when the two are coupled. Crossed Andreev reflection is the evidence of the nonlocality of Majorana fermions. Nonlocality of Majorana fermions has been proposed to be probed by noise measurements since simple conductance measurements cannot probe it due to the almost cancellation of currents from electron tunneling and crossed Andreev reflection. Kitaev ladders on the other hand host subgap Andreev states which can be used to control the relative currents due to crossed Andreev reflection and electron tunneling. We propose to employ Kitaev ladder in series with Kitaev chain and show that the transconductance in this setup can be used as a probe of nonlocality of Majorana fermions by enhancing crossed Andreev reflection over electron tunneling.


title: Did GW170817 harbor a pulsar?

abstract: If the progenitor of GW170817 harbored a pulsar, then a Poynting flux dominated bow-shock cavity would have been expected to form around the traveling binary. The characteristic size of this evacuated region depends strongly on the spin-down evolution of the pulsar companion, which in turn depends on the merging timescale of the system. If this evacuated region is able to grow to a sufficiently large scale, then the deceleration of the jet, and thus the onset of the afterglow, would be noticeably delayed. The first detection of afterglow emission, which was uncovered 9.2 days after the $\gamma$-ray burst trigger, can thus be used to constrain the size of a pre-existing pulsar-wind cavity. We use this information, together with a model of the jet to place limits on the presence of a pulsar in GW170817 and discuss the derived constraints in the context of the observed double neutron star binary population. We find that the majority of Galactic systems that are close enough to merge within a Hubble time would have carved a discernibly large pulsar-wind cavity, inconsistent with the onset timescale of the X-ray afterglow of GW170817. Conversely, the recently detected system J1913+1102, which host a low-luminosity pulsar, provides a congruous Milky Way analog of GW170817's progenitor model. This study highlights the potential of the proposed observational test for gaining insight into the origin of double neutron star binaries, in particular if the properties of Galactic systems are representative of the overall merging population.


title: Magnetic ripple domain structure in FeGa/MgO thin films

abstract: The magnetic domain structure is studied in epitaxial Fe$_{100-x}$Ga$_x$/MgO(001) films with 0 $<$ x $<$ 30 and thicknesses below 60 nm by magnetic force microscopy. For low gallium content, domains with the magnetization lying in the film plane and domain walls separating micrometric areas are observed. Above x $\approx$ 20, the magnetic contrast shows a fine corrugation, ranging from 300 to 900 nm, suggesting a ripple substructure with a periodic oscillation of the magnetization. We discuss the presence of a random magnetic anisotropy contribution, that superimposed to the cubic coherent anisotropy, is able to break the uniform orientation of the magnetization. The origin of that random anisotropy is attributed to several factors: coexistence of crystal phases in the films, inhomogeneous distribution of both internal strain and Ga-Ga next nearest neighbor pairs and interface magnetic anisotropy due to the Fe-O bond.


title: Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories

abstract: In flowchart languages, predicates play an interesting double role. In the textual representation, they are often presented as conditions, i.e., expressions which are easily combined with other conditions (often via Boolean combinators) to form new conditions, though they only play a supporting role in aiding branching statements choose a branch to follow. On the other hand, in the graphical representation they are typically presented as decisions, intrinsically capable of directing control flow yet mostly oblivious to Boolean combination. While categorical treatments of flowchart languages are abundant, none of them provide a treatment of this dual nature of predicates. In the present paper, we argue that extensive restriction categories are precisely categories that capture such a condition/decision duality, by means of morphisms which, coincidentally, are also called decisions. Further, we show that having these categorical decisions amounts to having an internal logic: Analogous to how subobjects of an object in a topos form a Heyting algebra, we show that decisions on an object in an extensive restriction category form a De Morgan quasilattice, the algebraic structure associated with the (three-valued) weak Kleene logic $\mathbf{K}^w_3$. Full classical propositional logic can be recovered by restricting to total decisions, yielding extensive categories in the usual sense, and confirming (from a different direction) a result from effectus theory that predicates on objects in extensive categories form Boolean algebras. As an application, since (categorical) decisions are partial isomorphisms, this approach provides naturally reversible models of classical propositional logic and weak Kleene logic.


title: Weak solutions to the sharp interface limit of stochastic Cahn-Hilliard equations

abstract: We study the asymptotic limit, as $\varepsilon\searrow 0$, of solutions of the stochastic Cahn-Hilliard equation: $$ \partial_t u^\varepsilon=\Delta \left(-\varepsilon\Delta u^\varepsilon+\frac{1}{\varepsilon}f(u^\varepsilon)\right)+\dot{\mathcal{W}}^\varepsilon_t, \\ $$ where $\mathcal{W}^\varepsilon=\varepsilon^\sigma W$ or $\mathcal{W}^\varepsilon=\varepsilon^\sigma W^\varepsilon$, $W$ is a $Q$-Wiener process and $W^\varepsilon$ is smooth in time and converges to $W$ as $\varepsilon\searrow 0$. In the case that $\mathcal{W}^\varepsilon=\varepsilon^\sigma W$, we prove that for all $\sigma>\frac{1}{2}$, the solution $u^\varepsilon$ converges to a weak solution to an appropriately defined limit of the deterministic Cahn-Hilliard equation. In radial symmetric case we prove that for all $\sigma\geq\frac{1}{2}$, $u^\varepsilon$ converges to the deterministic Hele-Shaw model. In the case that $\mathcal{W}^\varepsilon=\varepsilon^\sigma W^\varepsilon$, we prove that for all $\sigma>0$, $u^\varepsilon$ converges to the weak solution to the deterministic limit Cahn-Hilliard equation. In radial symmetric case we prove that $u^\varepsilon$ converges to deterministic Hele-Shaw model when $\sigma>0$ and converges to a stochastic model related to stochastic Hele-Shaw model when $\sigma=0$.


title: Violation of Fourier's law in homogeneous systems

abstract: Hotspot is a ubiquitous phenomenon in microdevices/chips. In homogeneous nanoscale graphene disk with a hotspot, a graded thermal conductivity is observed previously even when the system size is fixed. However, the underlying physical mechanism is not clear. In this work, the hotspots in homogeneous 2D disk/3D ball and graphene disk are studied based on phonon Boltzmann transport equation. The mechanisms of phonon scattering are analyzed. It is found that for a system with fixed size, the graded thermal conductivity is predictable as long as there is not sufficient phonon scattering, which is independent on material properties, dimensions or system size. This work may shed light on both theoretical and experimental studies on heat dissipation of microelectronics.


title: Eventual Regularization of Fractional Mean Curvature Flow

abstract: We show that any open set that is a finite distance away from a Lipschitz subgraph will become a Lipschitz subgraph after flowing under fractional mean curvature flow for a finite, universal time. Our proof is quantitative and inherently nonlocal, as the corresponding statement is false for classical mean curvature flow. This is the first regularizing effect proven for weak solutions to nonlocal curvature flow.


title: Impurity-induced resonant states in topological nodal-line semimetals

abstract: Nodal-line semimetals are characterized by a kind of topologically nontrivial bulk-band crossing, giving rise to almost flat surface states. Yet, a direct evidence of the surface states is still lacking. Here we study theoretically impurity effects in topological nodal-line semimetals based on the T-matrix method. It is found that for a bulk impurity, some in-gap states may be induced near the impurity site, while the visible resonant impurity state can only exist for certain strength of the impurity potentials. For a surface impurity, robust resonant impurity states exist in a wide range of impurity potentials. Such robust resonant states stem from the topological protected weak dispersive surface states, which can be probed by scanning tunneling microscopy, providing a strong signature of the topological surface states in the nodal-line semimetals.


title: Detecting Adversarial Examples and Other Misclassifications in Neural Networks by Introspection

abstract: Despite having excellent performances for a wide variety of tasks, modern neural networks are unable to provide a reliable confidence value allowing to detect misclassifications. This limitation is at the heart of what is known as an adversarial example, where the network provides a wrong prediction associated with a strong confidence to a slightly modified image. Moreover, this overconfidence issue has also been observed for regular errors and out-of-distribution data. We tackle this problem by what we call introspection, i.e. using the information provided by the logits of an already pretrained neural network. We show that by training a simple 3-layers neural network on top of the logit activations, we are able to detect misclassifications at a competitive level.


title: A whole-year simulation study on nonlinear mixed-integer model predictive control for a thermal energy supply system with multi-use components

abstract: This work presents a whole-year simulation study on nonlinear mixed-integer Model Predictive Control (MPC) for a complex thermal energy supply system which consists of a heat pump, stratified water storages, free cooling facilities, and a large underground thermal storage. For solution of the arising Mixed-Integer Non-Linear Programs (MINLPs) we apply an existing general and optimal-control-suitable decomposition approach. To compensate deviation of forecast inputs from measured disturbances, we introduce a moving horizon estimation step within the MPC strategy. The MPC performance for this study, which consists of more than 50,000 real time suitable MINLP solutions, is compared to an elaborate conventional control strategy for the system. It is shown that MPC can significantly reduce the yearly energy consumption while providing a similar degree of constraint satisfaction, and autonomously identify previously unknown, beneficial operation modes.


title: Constructive Membership Tests in Some Infinite Matrix Groups

abstract: We describe algorithms and heuristics that allow us to express arbitrary elements of SLn (Z) and Sp2n (Z) as products of generators in particular "standard" generating sets. For elements obtained experimentally as random products, it produces product expressions whose lengths are competitive with the input lengths.


title: Bounds for Lacunary maximal functions given by Birch--Magyar averages

abstract: We obtain positive and negative results concerning lacunary discrete maximal operators defined by dilations of sufficiently nonsingular hypersurfaces arising from Diophantine equations in many variables. Our negative results show that this problem differs substantially from that of lacunary discrete maximal operators defined along a nonsingular hypersurface. Our positive results are improvements over bounds for the corresponding full maximal functions which were initially studied by Magyar. In order to obtain positive results, we use an interpolation technique of the second author to reduce problem to a maximal function of main terms. The main terms take the shape of those introduced in work of the first author, which is a more localized version of the main terms that appear in work of Magyar. The main ingredient of this paper is a new bound on the main terms near $\ell^1$. For our negative results we generalize an argument of Zienkiewicz.


title: Thresholding Graph Bandits with GrAPL

abstract: In this paper, we introduce a new online decision making paradigm that we call Thresholding Graph Bandits. The main goal is to efficiently identify a subset of arms in a multi-armed bandit problem whose means are above a specified threshold. While traditionally in such problems, the arms are assumed to be independent, in our paradigm we further suppose that we have access to the similarity between the arms in the form of a graph, allowing us gain information about the arm means in fewer samples. Such settings play a key role in a wide range of modern decision making problems where rapid decisions need to be made in spite of the large number of options available at each time. We present GrAPL, a novel algorithm for the thresholding graph bandit problem. We demonstrate theoretically that this algorithm is effective in taking advantage of the graph structure when available and the reward function homophily (that strongly connected arms have similar rewards) when favorable. We confirm these theoretical findings via experiments on both synthetic and real data.


title: Learning Robust Options by Conditional Value at Risk Optimization

abstract: Options are generally learned by using an inaccurate environment model (or simulator), which contains uncertain model parameters. While there are several methods to learn options that are robust against the uncertainty of model parameters, these methods only consider either the worst case or the average (ordinary) case for learning options. This limited consideration of the cases often produces options that do not work well in the unconsidered case. In this paper, we propose a conditional value at risk (CVaR)-based method to learn options that work well in both the average and worst cases. We extend the CVaR-based policy gradient method proposed by Chow and Ghavamzadeh (2014) to deal with robust Markov decision processes and then apply the extended method to learning robust options. We conduct experiments to evaluate our method in multi-joint robot control tasks (HopperIceBlock, Half-Cheetah, and Walker2D). Experimental results show that our method produces options that 1) give better worst-case performance than the options learned only to minimize the average-case loss, and 2) give better average-case performance than the options learned only to minimize the worst-case loss.


title: Effective Field Theory Treatment of Monopole Production by Drell-Yan and Photon Fusion for Various Spins

abstract: A resolution over the existence of magnetic charges has eluded the high energy physics community for centuries, and their search has gained momentum as recent models predict these may be observable at current colliders. They appear in field theories in two forms: the widely studied but heavily suppressed monopole with structure (soliton) and the not-so-well-covered point-like monopole. The latter was first proposed by Dirac as the source of a singular magnetic field and in effect symmetrises Maxwell's equations. Following this line of research, work by S. Baines et al. analysed these sources as matter fields that carry spins 0, $\frac{1}{2}$, or 1, in an effective field theory that is perturbative for monopoles produced at threshold where the coupling strength $g(\beta)$ is suppressed. All three cases are currently under investigation by the MoEDAL collaboration at CERN, and the theoretical expressions for kinematic distributions proposed in this work serve as guides to these searches. The cross section distributions in each case are derived from a \emph{U}(1) invariant gauge theory. It is not assumed that, like the electron, the monopole's magnetic moment is generated through spin interactions at minimal coupling, as it may be quite large. Instead, the analytical expressions in the spin $\frac{1}{2}$ and $1$ cases are kept completely general through the inclusion of a phenomenological parameter $\kappa$, related to the gyromagnetic ratio $g_R=1+\kappa$. In fact, the inclusion of this parameter gives the effective theory validity in the high energy limit if the magnetic coupling scales with the particle's velocity $\beta=\frac{v}{c}$.


title: Competitive 0 and {\pi} states in S/F multilayers: multimode approach

abstract: We have investigated the critical temperature behavior in periodic superconductor/ ferromagnet (S/F) multilayers as a function of the ferromagnetic layer thickness $d_f$ and the interface transparency. The critical temperature $T_c(d_f)$ exhibits a damped oscillatory behavior in these systems due to an exchange field in the ferromagnetic material. In this work we have performed $T_c$ calculations using the self-consistent multimode approach, which is considered to be exact solving method. Using this approach we have derived the conditions of 0 or $\pi$ state realization in periodic S/F multilayers. Moreover, we have presented the comparison between the single-mode and multimode approaches and established the limits of applicability of the single-mode approximation, frequently used by experimentalists.


title: Constraining level densities using spectral data

abstract: Several models of level densities exist and they often make simplified assumptions regarding the overall behavior of the total level densities (LD) and the intrinsic spin and parity distributions of the excited states. Normally, such LD models are constrained only by the measured $D_0$, i.e. the density of levels at the neutron separation energy of the compound nucleus (target plus neutron), and the sometimes subjective extrapolation of discrete levels. In this work we use microscopic Hartree-Fock-Bogoliubov (HFB) level densities, which intrinsically provide more realistic spin and parity distributions, and associate variations predicted by the HFB model with the observed double-differential cross sections at low outgoing neutron energy, region that is dominated by the LD input. With this approach we are able to perform fits of the LD based on actual experimental data, constraining the model and ensuring its consistency. This approach can be particularly useful in extrapolating the LD to nuclei for which high-excited discrete levels and/or values of $D_0$ are unknown. It also predicts inelastic gamma (n,n$^{\prime}\gamma$) cross sections that in some cases can differ significantly from more standard LD models such as Gilbert-Cameron.


title: On the minimax optimality and superiority of deep neural network learning over sparse parameter spaces

abstract: Deep learning has been applied to various tasks in the field of machine learning and has shown superiority to other common procedures such as kernel methods. To provide a better theoretical understanding of the reasons for its success, we discuss the performance of deep learning and other methods on a nonparametric regression problem with a Gaussian noise. Whereas existing theoretical studies of deep learning have been based mainly on mathematical theories of well-known function classes such as H\"{o}lder and Besov classes, we focus on function classes with discontinuity and sparsity, which are those naturally assumed in practice. To highlight the effectiveness of deep learning, we compare deep learning with a class of linear estimators representative of a class of shallow estimators. It is shown that the minimax risk of a linear estimator on the convex hull of a target function class does not differ from that of the original target function class. This results in the suboptimality of linear methods over a simple but non-convex function class, on which deep learning can attain nearly the minimax-optimal rate. In addition to this extreme case, we consider function classes with sparse wavelet coefficients. On these function classes, deep learning also attains the minimax rate up to log factors of the sample size, and linear methods are still suboptimal if the assumed sparsity is strong. We also point out that the parameter sharing of deep neural networks can remarkably reduce the complexity of the model in our setting.


title: Spatial interpretation of "compositeness" for finite-range potentials

abstract: We discuss the relation between the "compositeness" of an s-wave bound state, as derived from a related partial wave scattering amplitude, and the corresponding spatial probability densities, for the case of spherically symmetric, energy-independent finite-range potentials in non-relativistic quantum mechanics. We find that in this simple case "compositeness" is a measure for the probability to find the constituents separated by a distance greater than the interaction range.


title: Demonstration of a 6 State-4 State Reference Frame Independent channel for Quantum Key Distribution

abstract: We study a novel protocol for reference frame independent (RFI) quantum key distribution (QKD) using six states for Alice and four states for Bob, while previous RFI protocols require a six state analyzer for Bob. Our protocol can generate a secure key for any possible phase of the entangled state, provided the variation is small compared to the measurement rate, shown by our numerical key rate analysis. We perform a proof-of-principle experiment using polarization entangled photon pairs. In the presence of a varying rotational phase, we obtain a consistently low error rate of less than $4\%$ indicating the feasibility of this protocol for QKD. Our protocol is hence beneficial but not limited to applications in satellite or mobile free-space QKD, where a communication node must limit resources and restrict the number of measured states to four instead of six.


title: Error estimates in weighted Sobolev norms for finite element immersed interface methods

abstract: When solving elliptic partial differential equations in a region containing immersed interfaces (possibly evolving in time), it is often desirable to approximate the problem using an independent background discretisation, not aligned with the interface itself. Optimal convergence rates are possible if the discretisation scheme is enriched by allowing the discrete solution to have jumps aligned with the surface, at the cost of a higher complexity in the implementation. A much simpler way to reformulate immersed interface problems consists in replacing the interface by a singular force field that produces the desired interface conditions, as done in immersed boundary methods. These methods are known to have inferior convergence properties, depending on the global regularity of the solution across the interface, when compared to enriched methods. In this work we prove that this detrimental effect on the convergence properties of the approximate solution is only a local phenomenon, restricted to a small neighbourhood of the interface. In particular we show that optimal approximations can be constructed in a natural and inexpensive way, simply by reformulating the problem in a distributionally consistent way, and by resorting to weighted norms when computing the global error of the approximation.


title: K*(892)^0 production in p+p interactions at 158 GeV/c from NA61/SHINE

abstract: The measurement of $K^{*}(892)^0$ resonance production via its $K^{+}\pi^{-}$ decay mode in inelastic p+p collisions at beam momentum 158~GeV/c ($\sqrt{s_{NN}}=17.3$~GeV) is presented. The data were recorded by the NA61/SHINE hadron spectrometer at the CERN Super Proton Synchrotron. The first ever double differential measurements and $p_T$-integrated spectra of $K^{*}(892)^0$ at beam momenta of 158 GeV/c was done by using the \textit{template} fitting method. The full phase-space yields, mass and width of $K^{*}(892)^0$ mesons are compared with Hadron Resonance Gas models as well as with world data on p+p and nucleus-nucleus collisions.


title: Generalization of extended Lie algebras by expansions of extended de Sitter algebra, in four-dimensions

abstract: Four-dimensional extended: Poincar\'e, AdS-Lorentz and Maxwell algebras, are obtained by expanding an extension of de Sitter or conformal algebra, SO(4,1) or SO(3,2). The procedure can be generalized to obtain a new family of extended $\mathcal{C}_k^{E}$ and its flat limit, the extended $\mathcal{B}_k^{E}$ algebras. The extended $\mathcal{C}_k$ and $\mathcal{B}_k$ algebras have been introduced in the literature recently.The extended Poincar\'e algebra is also obtained as an In\"on\"u-Wigner contraction of extended de Sitter algebra.


title: Adaptive norms for deep learning with regularized Newton methods

abstract: We investigate the use of regularized Newton methods with adaptive norms for optimizing neural networks. This approach can be seen as a second-order counterpart of adaptive gradient methods, which we here show to be interpretable as first-order trust region methods with ellipsoidal constraints. In particular, we prove that the preconditioning matrix used in RMSProp and Adam satisfies the necessary conditions for provable convergence of second-order trust region methods with standard worst-case complexities on general non-convex objectives. Furthermore, we run experiments across different neural architectures and datasets to find that the ellipsoidal constraints constantly outperform their spherical counterpart both in terms of number of backpropagations and asymptotic loss value. Finally, we find comparable performance to state-of-the-art first-order methods in terms of backpropagations, but further advances in hardware are needed to render Newton methods competitive in terms of computational time.


title: Regulation of renewable resource exploitation

abstract: We investigate the impact of a regulation policy imposed on an agent exploiting a possibly renewable natural resource. We adopt a principal-agent model in which the Principal looks for a contract, i.e. taxes/compensations, leading the Agent to a certain level of exploitation. For a given contract, we first describe the Agent's optimal harvest using the BSDE theory. Under regularity and boundedness assumptions on the coefficients, we express almost optimal contracts as solutions to HJB equations. We then extend the result to coefficients with less regularity and logistic dynamics for the natural resource. We end by numerical examples to illustrate the impact of the regulation in our model.


title: Uniqueness of Medical Data Mining: How the new technologies and data they generate are transforming medicine

abstract: The paper describes how the new technologies and data they generate are transforming medicine. It stresses the uniqueness of heterogeneous medical data and the ways of dealing with them. It lists different sources that generate big medical data, their security, legal and ethical issues, as well as machine learning/AI methods of dealing with them. A unique feature of the paper is use of case studies to illustrate how the new technologies influence medical practice.


title: High gas/dust size ratio indicating efficient radial drift in the mm-faint CX Tau disk

abstract: The large majority of protoplanetary disks have very compact ($\lesssim15\,$AU) continuum emission at mm wavelengths. However, high angular resolution observations that resolve these small disks are still lacking, due to their intrinsically fainter emission compared with large bright disks. In this letter, we present $1.3\,$mm ALMA data of the faint ($\sim10\,$mJy) disk orbiting the TTauri star CX Tau at a resolution of $\sim40\,$mas, $\sim5\,$AU in diameter. The mm-dust disk is compact, with a 68$\%$ enclosing flux radius of 14$\,$AU, and the intensity profile exhibits a sharp drop between 10-20$\,$AU, and a shallow tail between 20-40$\,$AU. No clear signatures of substructure in the dust continuum are observed, down to the same sensitivity level of the DSHARP large program. However, the angular resolution does not allow to detect substructures at a scale of the disk aspect ratio in the inner regions. The radial intensity profile resembles well the inner regions of more extended disks imaged at the same resolution in DSHARP, but with no rings present in the outer disk. No inner cavity is detected, even though the disk has been classified as a transition disk from the spectral energy distribution in the near infrared. The emission of $^{12}$CO is much more extended, with a 68$\%$ enclosing flux radius of 75$\,$AU. The large difference of the mm dust and gas extents ($>5$) strongly points to the occurrence of radial drift, and matches well the predictions of theoretical models.


title: Evaluating recommender systems for AI-driven biomedical informatics

abstract: Motivation: Many researchers with domain expertise are unable to easily apply machine learning to their bioinformatics data due to a lack of machine learning and/or coding expertise. Methods that have been proposed thus far to automate machine learning mostly require programming experience as well as expert knowledge to tune and apply the algorithms correctly. Here, we study a method of automating biomedical data science using a web-based platform that uses AI to recommend model choices and conduct experiments. We have two goals in mind: first, to make it easy to construct sophisticated models of biomedical processes; and second, to provide a fully automated AI agent that can choose and conduct promising experiments for the user, based on the user's experiments as well as prior knowledge. To validate this framework, we experiment with hundreds of classification problems, comparing to state-of-the-art, automated approaches. Finally, we use this tool to develop predictive models of septic shock in critical care patients. Results: We find that matrix factorization-based recommendation systems outperform meta-learning methods for automating machine learning. This result mirrors the results of earlier recommender systems research in other domains. The proposed AI is competitive with state-of-the-art automated machine learning methods in terms of choosing optimal algorithm configurations for datasets. In our application to prediction of septic shock, the AI-driven analysis produces a competent machine learning model (AUROC 0.85 +/- 0.02) that performs on par with state-of-the-art deep learning results for this task, with much less computational effort.


title: On additive property of finitely additive measures

abstract: By the additive property, we mean a condition under which $L^p$ spaces over finitely additive measures are complete. Basile and Rao gives a necessary and sufficient condition that a finite sum of finitely additive measures has the additive property. We generalize this result to the case of a countable sum of finitely additive meaures. An application of this result to density measures are also presented.


title: Deep Reinforcement Learning for Detecting Malicious Websites

abstract: Phishing is the simplest form of cybercrime with the objective of baiting people into giving away delicate information such as individually recognizable data, banking and credit card details, or even credentials and passwords. This type of simple yet most effective cyber-attack is usually launched through emails, phone calls, or instant messages. The credential or private data stolen are then used to get access to critical records of the victims and can result in extensive fraud and monetary loss. Hence, sending malicious messages to victims is a stepping stone of the phishing procedure. A \textit{phisher} usually setups a deceptive website, where the victims are conned into entering credentials and sensitive information. It is therefore important to detect these types of malicious websites before causing any harmful damages to victims. Inspired by the evolving nature of the phishing websites, this paper introduces a novel approach based on deep reinforcement learning to model and detect malicious URLs. The proposed model is capable of adapting to the dynamic behavior of the phishing websites and thus learn the features associated with phishing website detection.


title: New insights on the central stellar population and gas outflow in NGC 1068 from YJH spectroscopy with SPHERE/VLT

abstract: Aims: We characterise the properties of stars, dust, and gas and their spatial distribution in the central region of the Seyfert 2 galaxy NGC1068. Method: Our study is based on near-infrared (YJH, 0.95-1.650 um, R=350) long-slit spectroscopy observations of the central region of NGC 1068 with a 0.4" spatial resolution. We decomposed the observed continuum emission into three components: hot dust, stars, and scattered light from the central engine. We measured their contributions at various distances from the nucleus. We also measured fluxes and Doppler shifts for the emission lines in our spectrum to probe the physical conditions of the narrow line region. Results: Dust and stars are the main sources of continuum emission, but scattered light from the central engine has also been detected in the very central region. Together, these three components reproduce the observed continuum well. The dust emission is compatible with a 830~K blackbody. It has only been detected in the very central region and is not spatially resolved. The stellar content is ubiquitous. It harbours a 250 pc cusp centred around the nucleus, over-imposed on a young stellar background. The spectrum of the cusp is consistent with a 120 Myr old single stellar population. Finally, the emission lines exhibit a significant Doppler shift that is consistent with a radial outflow from the nucleus in a biconical structure. The $\left[Fe\ II\right]$ behaviour strongly differs from other lines, indicating that it arises from a different structure.


title: Convergence and Margin of Adversarial Training on Separable Data

abstract: Adversarial training is a technique for training robust machine learning models. To encourage robustness, it iteratively computes adversarial examples for the model, and then re-trains on these examples via some update rule. This work analyzes the performance of adversarial training on linearly separable data, and provides bounds on the number of iterations required for large margin. We show that when the update rule is given by an arbitrary empirical risk minimizer, adversarial training may require exponentially many iterations to obtain large margin. However, if gradient or stochastic gradient update rules are used, only polynomially many iterations are required to find a large-margin separator. By contrast, without the use of adversarial examples, gradient methods may require exponentially many iterations to achieve large margin. Our results are derived by showing that adversarial training with gradient updates minimizes a robust version of the empirical risk at a $\mathcal{O}(\ln(t)^2/t)$ rate, despite non-smoothness. We corroborate our theory empirically.


title: Independent engineering of individual plasmon modes in plasmonic dimers with conductive and capacitive coupling

abstract: We revisit plasmonic modes in nanoparticle dimers with conductive or insulating junction resulting in conductive or capacitive coupling. In our study which combines electron energy loss spectroscopy, optical spectroscopy, and numerical simulations, we show coexistence of strongly and weakly hybridized modes. While the properties of the former ones strongly depend on the nature of the junction, the properties of the latter ones are nearly unaffected. This opens up a prospect for independent engineering of different plasmonic modes in a single plasmonic antenna. In addition, we show that Babinet's principle allows to engineer the near field of plasmonic modes independent of their energy. Finally, we demonstrate that combined electron energy loss imaging of a plasmonic antenna and its Babinet-complementary counterpart allows to reconstruct the distribution of both electric and magnetic near fields of localised plasmonic resonances supported by the antenna as well as charge and current antinodes of related charge oscillations.


title: Segmentation-Aware Hyperspectral Image Classification

abstract: In this paper, we propose an unified hyperspectral image classification method which takes three-dimensional hyperspectral data cube as an input and produces a classification map. In the proposed method, a deep neural network which uses spectral and spatial information together with residual connections, and pixel affinity network based segmentation-aware superpixels are used together. In the architecture, segmentation-aware superpixels run on the initial classification map of deep residual network, and apply majority voting on obtained results. Experimental results show that our propoped method yields state-of-the-art results in two benchmark datasets. Moreover, we also show that the segmentation-aware superpixels have great contribution to the success of hyperspectral image classification methods in cases where training data is insufficient.


title: On certain multiple Dirichlet series

abstract: In this paper we study the analytic properties of a multiple Dirichlet series associated to the prehomogeneous vector space of binary cubic forms.


title: High-NA Achromatic Metalenses by Inverse Design

abstract: We use inverse design to discover metalens structures that exhibit broadband, achromatic focusing across low, moderate, and high numerical apertures. We show that standard unit-cell approaches cannot achieve high-efficiency high-NA focusing, even at a single frequency, due to the incompleteness of the unit-cell basis, and we provide computational upper bounds on their maximum efficiencies. At low NA, our devices exhibit the highest theoretical efficiencies to date. At high NA -- of 0.9 with translation-invariant films and of 0.99 with "freeform" structures -- our designs are the first to exhibit achromatic high-NA focusing.


title: The Problem of Adhesion Methods and Locomotion Mechanism Development for Wall-Climbing Robots

abstract: This review considers a problem in the development of mobile robot adhesion methods with vertical surfaces and the appropriate locomotion mechanism design. The evolution of adhesion methods for wall-climbing robots (based on friction, magnetic forces, air pressure, electrostatic adhesion, molecular forces, rheological properties of fluids and their combinations) and their locomotion principles (wheeled, tracked, walking, sliding framed and hybrid) is studied. Wall-climbing robots are classified according to the applications, adhesion methods and locomotion mechanisms. The advantages and disadvantages of various adhesion methods and locomotion mechanisms are analyzed in terms of mobility, noiselessness, autonomy and energy efficiency. Focus is placed on the physical and technical aspects of the adhesion methods and the possibility of combining adhesion and locomotion methods.


title: A Bayesian direct method implementation to fit emission line spectra: Application to the primordial He abundance determination

abstract: This work presents a Bayesian algorithm to fit the recombination and collisionally excited line spectra of gas photoionized by clusters of young stars. The current model consists in fourteen dimensions: two electron temperatures, one electron density, the extinction coefficient, the optical depth on the $HeI$ recombination lines and nine ionic species. The results are in very good agreement with those previously published using the traditional methodology. The probabilistic programming library PyMC3 was chosen to explore the parameter space via a NUTs sampler. These machine learning tools provided excellent convergence quality and speed. The primordial helium abundance measured from a multivariable regression using oxygen, nitrogen and sulfur was $Y_{P,\,O-N-S}=0.243\pm0.005$ in agreement with a standard Big Bang scenario.


title: Hadronization and Charm-Hadron Ratios in Heavy-Ion Collisions

abstract: Understanding the hadronization of the quark-gluon plasma (QGP) remains a challenging problem in the study of strong-interaction matter as produced in ultrarelativistic heavy-ion collisions (URHICs). The large mass of heavy quarks renders them excellent tracers of the color neutralization process of the QGP when they convert into various heavy-flavor (HF) hadrons. We develop a 4-momentum conserving recombination model for HF mesons and baryons that recovers the thermal and chemical equilibrium limits and accounts for space-momentum correlations (SMCs) of heavy quarks with partons of the hydrodynamically expanding QGP, thereby resolving a long-standing problem in quark coalescence models. The SMCs enhance the recombination of fast-moving heavy quarks with high-flow thermal quarks in the outer regions of the fireball. We also improve the hadro-chemistry with "missing" charm-baryon states, previously found to describe the large $\Lambda_c/D^0$ ratio observed in proton-proton collisions. Both SMCs and hadro-chemistry, as part of our HF hydro-Langevin-recombination model for the strongly coupled QGP, importantly figure in the description of recent data for the $\Lambda_c/D^0$ ratio and $D$-meson elliptic flow in URHICs.


title: Deeper Text Understanding for IR with Contextual Neural Language Modeling

abstract: Neural networks provide new possibilities to automatically learn complex language patterns and query-document relations. Neural IR models have achieved promising results in learning query-document relevance patterns, but few explorations have been done on understanding the text content of a query or a document. This paper studies leveraging a recently-proposed contextual neural language model, BERT, to provide deeper text understanding for IR. Experimental results demonstrate that the contextual text representations from BERT are more effective than traditional word embeddings. Compared to bag-of-words retrieval models, the contextual language model can better leverage language structures, bringing large improvements on queries written in natural languages. Combining the text understanding ability with search knowledge leads to an enhanced pre-trained BERT model that can benefit related search tasks where training data are limited.


title: Lagrangian dynamics of the coupled field-medium state of light

abstract: In the recently introduced mass-polariton (MP) theory of light [Phys. Rev. A 95, 063850 (2017)], the optical force of light drives in a medium forward an atomic mass density wave. In this work, we present the Lagrangian formulation of the MP theory starting directly from the principle of least action and the well-known Lagrangian densities of the electromagnetic field and the medium within the special theory of relativity. The Lagrangian densities and the resulting Euler-Lagrange equations lead directly and without any further postulates to the unique expression of the optical Abraham force that dynamically couples the electromagnetic field and the medium in the MP theory of light. The field-medium coupling is symmetric and bi-directional and it fulfills the law of action and counteraction. The coupled dynamical equations also enable the exact description of the very small kinetic energy of the medium as a part of the total energy of the coupled state of light. Thus, the Lagrangian formulation of the present work is a complementary approach to Lorentz covariance properties of the MP theory discussed in our recent work [Phys. Rev. A 99, 033852 (2019)]. We show how the coupled dynamical equations of the field and the medium can be solved analytically for a Gaussian light pulse. It is astonishing how the simple analytic results for the dynamical equations, the optical force, and the stress-energy-momentum tensor of the MP theory follow ab initio from the Lagrangian densities that have been well known for almost a century.


title: Online Collection and Forecasting of Resource Utilization in Large-Scale Distributed Systems

abstract: Large-scale distributed computing systems often contain thousands of distributed nodes (machines). Monitoring the conditions of these nodes is important for system management purposes, which, however, can be extremely resource demanding as this requires collecting local measurements of each individual node and constantly sending those measurements to a central controller. Meanwhile, it is often useful to forecast the future system conditions for various purposes such as resource planning/allocation and anomaly detection, but it is usually too resource-consuming to have one forecasting model running for each node, which may also neglect correlations in observed metrics across different nodes. In this paper, we propose a mechanism for collecting and forecasting the resource utilization of machines in a distributed computing system in a scalable manner. We present an algorithm that allows each local node to decide when to transmit its most recent measurement to the central node, so that the transmission frequency is kept below a given constraint value. Based on the measurements received from local nodes, the central node summarizes the received data into a small number of clusters. Since the cluster partitioning can change over time, we also present a method to capture the evolution of clusters and their centroids. As an effective way to reduce the amount of computation, time-series forecasting models are trained on the time-varying centroids of each cluster, to forecast the future resource utilizations of a group of local nodes. The effectiveness of our proposed approach is confirmed by extensive experiments using multiple real-world datasets.


title: A relaxation constant in the folding of thin viscoelastic sheets

abstract: If one folds a thin viscoelastic sheet under an applied force, a line of plastic deformation is formed which shapes the sheet into an angle. We determine the parameters that define this angle experimentally and show that, no matter how much load one applies, it is impossible to make angles less than a certain minimum angle in a definite time. Moreover, it is shown that regardless of whether the sheet is released freely afterward or kept under the load, a logarithmic relaxation process follows the first deformation. The slope of this logarithm is the same in both conditions and depends neither on the applied force nor on the thickness of the sheet, which indicates it is directly a probe of the molecular mobility of the material. This intrinsic relaxation constant was measured 0.01 and 5.7 for Mylar and paper sheets, respectively. It is also suggested that the observed minimum angle of folding can be defined as a characteristic index for the plasticity of different materials.


title: A Note on Reasoning on $\textit{DL-Lite}_{\cal R}$ with Defeasibility

abstract: Representation of defeasible information is of interest in description logics, as it is related to the need of accommodating exceptional instances in knowledge bases. In this direction, in our previous works we presented a datalog translation for reasoning on (contextualized) OWL RL knowledge bases with a notion of justified exceptions on defeasible axioms. While it covers a relevant fragment of OWL, the resulting reasoning process needs a complex encoding in order to capture reasoning on negative information. In this paper, we consider the case of knowledge bases in $\textit{DL-Lite}_{\cal R}$, i.e. the language underlying OWL QL. We provide a definition for $\textit{DL-Lite}_{\cal R}$ knowledge bases with defeasible axioms and study their properties. The limited form of $\textit{DL-Lite}_{\cal R}$ axioms allows us to formulate a simpler encoding into datalog (under answer set semantics) with direct rules for reasoning on negative information. The resulting materialization method gives rise to a complete reasoning procedure for instance checking in $\textit{DL-Lite}_{\cal R}$ with defeasible axioms.


title: Markov Decision Process to Enforce Moving Target Defence Policies

abstract: Moving Target Defense (MTD) is an emerging game-changing defense strategy in cybersecurity with the goal of strengthening defenders and conversely puzzling adversaries in a network environment. The successful deployment of an MTD system can be affected by several factors including 1) the effectiveness of the employed technique, 2) the deployment strategy, 3) the cost of the MTD implementation, and 4) the impact yielded by the enforced security policies. Many research efforts have been spent on introducing a variety of MTD techniques which are often evaluated through simulations. Nevertheless, this line of research needs more attention. In particular, the determination of optimal cost and policy analysis and the selection of those policies in an MTD setting is still an open research question. To advance the state-of-the-art of this line of research, this paper introduces an approach based on control theory to model, analyze and select optimal security policies for Moving Target Defense (MTD) deployment strategies. A Markov Decision Process (MDP) scheme is presented to model states of the system from attacking point of view. The employed value iteration method is based on the Bellman optimality equation for optimal policy selection for each state defined in the system. The model is then utilized to analyze the impact of various costs on the optimal policy. The MDP model is then applied to two case studies to evaluate the performance of the model.


title: Bispectral Laguerre type polynomials

abstract: We study the bispectrality of Laguerre type polynomials, which are defined by taking suitable linear combinations of a fixed number of consecutive Laguerre polynomials. These Laguerre type polynomials are eigenfunctions of higher-order differential operators and include, as particular cases, the Krall-Laguerre polynomials. As the main results, we prove that these Laguerre type polynomials always satisfy higher-order recurrence relations (i.e., they are bispectral). We also prove that the Krall-Laguerre families are the only polynomials which are orthogonal with respect to a measure on the real line.


title: Celestial amplitudes and conformal soft theorems

abstract: Scattering amplitudes in $d+2$ dimensions can be expressed in terms of a conformal basis, for which the S-matrix behaves as a CFT correlation function on the celestial $d$-sphere. We explain how compact expressions for the full tree-level S-matrix of gauge theory, gravity and other QFTs extend to this conformal basis, and are easily derived from ambitwistor strings. Using these formulae and their worldsheet origins, we prove various tree-level 'conformal soft theorems' in gauge theory and gravity in any dimension; these arise from limits where the scaling dimension of an external state in the scattering process takes special values. These conformally soft limits are obscure from standard methods, but they are easily derived with ambitwistor strings. Additionally, we make an identification between the residues of conformally soft vertex operator insertions in ambitwistor strings and charges generating asymptotic symmetries.


title: Reinforced Room temperature spin filtering in chiral paramagnetic metallopeptides

abstract: Chiral-induced spin selectivity (CISS), whereby helical molecules polarize the spin of electrical current, is an intriguing effect with potential applications in nanospintronics. In this nascent field, the study of paramagnetic chiral molecules, which could introduce another degree of freedom in the control of the spin transport, remains so far unexplored. To address this challenge, herein, we propose the use of self-assembled monolayers of helical lanthanide-binding peptides. In order to elucidate the effect of the paramagnetic nuclei, monolayers of the peptide coordinating paramagnetic or diamagnetic ions are prepared. By means of spin-dependent electrochemistry, CISS effect is demonstrated by cyclic voltammetry and impedance measurements for both samples. Additionally, an implementation of the standard liquid-metal drop electron transport setup has been carried out, demonstrating their suitability for solid-state devices. Remarkably, the inclusion of a paramagnetic center in the peptide increases the spin polarization as independently proved by different techniques. These findings permit the inclusion of magnetic biomolecules in the CISS field, paving the way to their implementation in a new generation of spintronic nanodevices.


title: WPU-Net: Boundary Learning by Using Weighted Propagation in Convolution Network

abstract: Deep learning has driven a great progress in natural and biological image processing. However, in material science and engineering, there are often some flaws and indistinctions in material microscopic images induced from complex sample preparation, even due to the material itself, hindering the detection of target objects. In this work, we propose WPU-net that redesigns the architecture and weighted loss of U-Net, which forces the network to integrate information from adjacent slices and pays more attention to the topology in boundary detection task. Then, the WPU-net is applied into a typical material example, i.e., the grain boundary detection of polycrystalline material. Experiments demonstrate that the proposed method achieves promising performance and outperforms state-of-the-art methods. Besides, we propose a new method for object tracking between adjacent slices, which can effectively reconstruct 3D structure of the whole material. Finally, we present a material microscopic image dataset with the goal of advancing the state-of-the-art in image processing for material science.


title: A CDCL-style calculus for solving non-linear constraints

abstract: In this paper we propose a novel approach for checking satisfiability of non-linear constraints over the reals, called ksmt. The procedure is based on conflict resolution in CDCL style calculus, using a composition of symbolical and numerical methods. To deal with the non-linear components in case of conflicts we use numerically constructed restricted linearisations. This approach covers a large number of computable non-linear real functions such as polynomials, rational or trigonometrical functions and beyond. A prototypical implementation has been evaluated on several non-linear SMT-LIB examples and the results have been compared with state-of-the-art SMT solvers.


title: Jagged Islands of Bound Entanglement and Witness-Parameterized Probabilities

abstract: We report several witness-parameterized families of bound-entangled probabilities. Two pertain to the $d=3$ (two-qutrit) and a third to the $d=4$ (two-ququart) subsets analyzed by Hiesmayr and L{\"o}ffler of "magic" simplices of Bell states. The Hilbert-Schmidt probabilities of positive-partial-transpose (PPT) states--within which we search for bound-entangled states--are $\frac{8 \pi }{27 \sqrt{3}} \approx 0.537422$ ($d=3$) and $\frac{1}{2}+\frac{\log \left(2-\sqrt{3}\right)}{8 \sqrt{3}} \approx 0.404957$ ($d=4$). We obtain bound-entangled probabilities of $-\frac{4}{9}+\frac{4 \pi }{27 \sqrt{3}}+\frac{\log (3)}{6} \approx 0.00736862$ and $\frac{-204+7 \log (7)+168 \sqrt{3} \cos ^{-1}\left(\frac{11}{14}\right)}{1134} \approx 0.00325613$ ($d=3$) and $\frac{8 \log (2)}{27}-\frac{59}{288} \approx 0.00051583$ and $\frac{24 \text{csch}^{-1}\left(\frac{8}{\sqrt{17}}\right)}{17 \sqrt{17}}-\frac{91}{544} \approx 0.00218722$ ($d=4$). Thus, the total entanglement probability appears to equal $(1-\frac{8 \pi }{27 \sqrt{3}})+\frac{2}{81} \left(4 \sqrt{3} \pi -21\right) = \frac{13}{27} \approx 0.481481$.) The families, encompassing these results, are parameterized using generalized Choi and Jafarizadeh-Behzadi-Akbari witnesses. The same bound-entangled probability was achieved with both--the sets ("jagged islands") detected having void intersection. The entanglement (bound and "non-bound"/"free") probability for both was $\frac{1}{6} \approx 0.16667$, while their union and intersection gave $\frac{2}{9} \approx 0.22222$ and $\frac{1}{9} \approx 0.11111$. Further, we examine generalized Horodecki states, as well as estimating PPT-probabilities of approximately 0.39339 (very well-fitted by $\frac{7 \pi}{25 \sqrt{5}} \approx 0.39338962$) and 0.115732 ( for the original (8- [two-qutrit] and 15 [two-ququart]-dimensional) magic simplices themselves.


title: Constructing local models for Lagrangian torus fibrations

abstract: We give a construction of Lagrangian torus fibrations with controlled discriminant locus on certain affine varieties. In particular, we apply our construction in the following ways. We find a Lagrangian torus fibration on the 3-fold negative vertex whose discriminant locus has codimension 2; this provides a local model for finding torus fibrations on compact Calabi-Yau 3-folds with codimension 2 discriminant locus. Then, we find a Lagrangian torus fibration on a neighbourhood of the one-dimensional stratum of a simple normal crossing divisor (satisfying certain conditions) such that the base of the fibration is an open subset of the cone over the dual complex of the divisor. This can be used to construct an analogue of the non-archimedean SYZ fibration constructed by Nicaise, Xu and Yu.


title: Mechanism Design for Locating a Facility under Partial Information

abstract: We study the classic mechanism design problem of locating a public facility on a real line. In contrast to previous work, we assume that the agents are unable to fully specify where their preferred location lies, and instead only provide coarse information---namely, that their preferred location lies in some interval. Given such partial preference information, we explore the design of robust deterministic mechanisms, where by robust mechanisms we mean ones that perform well with respect to all the possible unknown true preferred locations of the agents. Towards this end, we consider two well-studied objective functions and look at implementing these under two natural solution concepts for our setting i) very weak dominance and ii) minimax dominance. We show that under the former solution concept, there are no mechanisms that do better than a naive mechanism which always, irrespective of the information provided by the agents, outputs the same location. However, when using the latter, weaker, solution concept, we show that one can do significantly better, and we provide upper and lower bounds on the performance of mechanisms for the objective functions of interest. Furthermore, we note that our mechanisms can be viewed as extensions to the classical optimal mechanisms in that they perform optimally when agents precisely know and specify their preferred locations.


title: Separating Overlapping Tissue Layers from Microscopy Images

abstract: Manual preparation of tissue slices for microscopy imaging can introduce tissue tears and overlaps. Typically, further digital processing algorithms such as registration and 3D reconstruction from tissue image stacks cannot handle images with tissue tear/overlap artifacts, and so such images are usually discarded. In this paper, we propose an imaging model and an algorithm to digitally separate overlapping tissue data of mouse brain images into two layers. We show the correctness of our model and the algorithm by comparing our results with the ground truth.


title: Lowest order QED radiative effects in polarized SIDIS

abstract: The explicit exact analytical expressions for the lowest-order radiative corrections to the semi-inclusive deep inelastic scattering of the polarized particles are obtained in the most compact, covariant form convenient for the numerical analysis. The infrared divergence from the real photon emission is extracted and cancelled using the Bardin-Shumeiko approach. The contribution of the exclusive radiative tail is presented.The analytic results obtained within the ultrarelativistic approximation are also show.


title: Stable $\mathbb{I}$-free lattices and the two-variable algebraic $p$-adic $L$-functions in residually reducible Hida deformation

abstract: This paper is a continuation of the author's previous work, where we studied the variation of the number of isomorphic classes of $G_{\mathbb{Q}}$-stable lattices in p-adic families of residually reducible ordinary Galois representations. In this paper, we study the number of isomorphic classes of $G_{\mathbb{Q}}$-stable free lattices in a residually reducible Hida deformation and the variation of their related two-variable algebraic $p$-adic $L$-functions. This result gives an answer of a question asked by Ochiai.


title: On Ideals Defining Irreducible Representations of Reductive $p$--adic Groups

abstract: Let $G$ be a reductive $p$--adic group. Assume that $L\subset G$ is an open--compact subgroup, and $\mathcal H_L$ is the Hecke algebra of $L$--biinivariant complex functions on $G$. It is a well--known and standard result on how to prove existence of a complex smooth irreducible $G$--module out of a maximal left ideal $I\subset \mathcal H_L$. Using theory on Bernstein center we make this construction explicit. This leads us to some very interesting questions.


title: Conservative Numerical Methods for Nonlinear String Dynamics: Non-planar Vibration

abstract: Nonlinear string vibration, in particular the case of nonplanar motion, has been an area of intense study for many years. Numerical simulation methods, essential for the comparison between measured data and theory, have received somewhat less attention. In this article, various numerical schemes for nonlinear nonplanar string dynamics are presented, with an emphasis on discrete conservation of energy and angular momentum. Simple numerical stability conditions may be arrived at, even under strongly nonlinear conditions, by employing these conservation properties. Full implementation details and various numerical examples are presented, and several topics, including a discussion of numerical loss models and spectral methods, are dealt with in the Appendix.


title: Spatial and Temporal Resolution in Entangled Ghost Imaging

abstract: We show that, when the integration time of the single photon detectors is longer than the correlation time of the biphoton, the attainable spatial resolution in ghost imaging with entangled signal idler pairs generated in type II spontaneous parametric down conversion is limited by the angular spread of single-frequency-signal idler pairs. If, however, the detector integration time is shorter than the biphoton correlation time, the transverse k-vectors of different spectral components combine coherently in the image, improving the spatial resolution.


title: Arbitrary high-order, conservative and positive preserving Patankar-type deferred correction schemes

abstract: Production-destruction systems (PDS) of ordinary differential equations (ODEs) are used to describe physical and biological reactions in nature. The considered quantities are subject to natural laws. Therefore, they preserve positivity and conservation of mass at the analytical level. In order to maintain these properties at the discrete level, the so-called modified Patankar-Runge-Kutta (MPRK) schemes are often used in this context. However, up to our knowledge, the family of MPRK has been only developed up to third order of accuracy. In this work, we propose a method to solve PDS problems, but using the Deferred Correction (DeC) process as a time integration method. Applying the modified Patankar approach to the DeC scheme results in provable conservative and positivity preserving methods. Furthermore, we demonstrate that these modified Patankar DeC schemes can be constructed up to arbitrarily high order. Finally, we validate our theoretical analysis through numerical simulations.


title: Short Character Sums and the P\'{o}lya-Vinogradov Inequality

abstract: We show in a quantitative way that any odd character $\chi$ modulo $q$ of fixed order $g \geq 2$ satisfies the property that if the P\'{o}lya-Vinogradov inequality for $\chi$ can be improved to $$\max_{1 \leq t \leq q} \left|\sum_{n \leq t} \chi(n)\right| = o_{q \rightarrow \infty}(\sqrt{q}\log q)$$ then for any $\epsilon > 0$ one may exhibit cancellation in partial sums of $\chi$ on the interval $[1,t]$ whenever $t > q^{\epsilon}$, i.e.,$$\sum_{n \leq t} \chi(n) = o_{q \rightarrow \infty}(t) \text{ for all $t > q^{\epsilon}$.}$$ This generalizes and extends a result of Fromm and Goldmakher. We also prove a converse implication, to the effect that if all odd primitive characters of fixed order dividing $g$ exhibit cancellation in short sums then the P\'{o}lya-Vinogradov inequality can be improved for all odd primitive characters of order $g$. Some applications are also discussed.


title: Optimal Decision Making Under Strategic Behavior

abstract: We are witnessing an increasing use of data-driven predictive models to inform decisions. As decisions have implications for individuals and society, there is increasing pressure on decision makers to be transparent about their decision policies. At the same time, individuals may use knowledge, gained by transparency, to invest effort strategically in order to maximize their chances of receiving a beneficial decision. Our goal is to find decision policies that are optimal in terms of utility in such a strategic setting. To this end, we first characterize how strategic investment of effort by individuals leads to a change in the feature distribution. Using this characterization, we first show that, in general, we cannot expect to find optimal decision policies in polynomial time and there are cases in which deterministic policies are suboptimal. Then, we demonstrate that, if the cost individuals pay to change their features satisfies a natural monotonicity assumption, we can narrow down the search for the optimal policy to a particular family of decision policies with a set of desirable properties, which allow for a highly effective polynomial time heuristic search algorithm using dynamic programming. Finally, under no assumptions on the cost individuals pay to change their features, we develop an iterative search algorithm that is guaranteed to find locally optimal decision policies also in polynomial time. Experiments on synthetic and real credit card data illustrate our theoretical findings and show that the decision policies found by our algorithms achieve higher utility than those that do not account for strategic behavior.


title: Oculum afficit: Ocular Affect Recognition

abstract: Recognizing human affect and emotions is a problem that has a wide range of applications within both academia and industry. Affect and emotion recognition within computer vision primarily relies on images of faces. With the prevalence of portable devices (e.g. smart phones and/or smart glasses),acquiring user facial images requires focus, time, and precision. While existing systems work great for full frontal faces, they tend to not work so well with partial faces like those of the operator of the device when under use. Due to this, we propose a methodology in which we can accurately infer the overall affect of a person by looking at the ocular region of an individual.


title: Floquet Second-Order Topological Superconductor Driven via Ferromagnetic Resonance

abstract: We consider a Floquet triple-layer setup composed of a two-dimensional electron gas with spin-orbit interactions, proximity coupled to an s-wave superconductor and to a ferromagnet driven at resonance. The ferromagnetic layer generates a time-oscillating Zeeman field which competes with the induced superconducting gap and leads to a topological phase transition. The resulting Floquet states support a second-order topological superconducting phase with a pair of localized zero-energy Floquet Majorana corner states. Moreover, the phase diagram comprises a Floquet helical topological superconductor, hosting a Kramers pair of Majorana edge modes protected by an effective time-reversal symmetry, as well as a gapless Floquet Weyl phase. The topological phases are stable against disorder and parameter variations and are within experimental reach.


title: Reductions for Automated Hypersafety Verification

abstract: We propose an automated verification technique for hypersafety properties, which express sets of valid interrelations between multiple finite runs of a program. The key observation is that constructing a proof for a small representative set of the runs of the product program (i.e. the product of the several copies of the program by itself), called a reduction, is sufficient to formally prove the hypersafety property about the program. We propose an algorithm based on a counterexample-guided refinement loop that simultaneously searches for a reduction and a proof of the correctness for the reduction. We demonstrate that our tool Weaver is very effective in verifying a diverse array of hypersafety properties for a diverse class of input programs.


title: Limits on $R$-parity Violation in High Scale Supersymmetry

abstract: We revisit the limits on $R$-parity violation in the minimal supersymmetric standard model. In particular, we focus on the high-scale supersymmetry scenario in which all the sparticles are in excess of the inflationary scale of approximately $10^{13}$ GeV, and thus no sparticles ever come into thermal equilibrium. In this case the cosmological limits, stemming from the preservation of the baryon asymmetry that have been previously applied for weak scale supersymmetry, are now relaxed. We argue that even when sparticles are never in equilibrium, $R$-parity violation is still constrained via higher dimensional operators by neutrino and nucleon experiments and/or insisting on the preservation of a non-zero $B-L$ asymmetry.


title: Amplitude analysis of $B^\pm \to \pi^\pm K^+ K^-$ decays

abstract: The first amplitude analysis of the $B^\pm \to \pi^\pm K^+ K^-$ decay is reported based on a data sample corresponding to an integrated luminosity of 3.0 fb$^{-1}$ of $pp$ collisions recorded in 2011 and 2012 with the LHCb detector. The data is found to be best described by a coherent sum of five resonant structures plus a nonresonant component and a contribution from $\pi\pi \leftrightarrow KK$ $S$-wave rescattering. The dominant contributions in the $\pi^\pm K^\mp$ and $K^{+}K^{-}$ systems are the nonresonant and the $B^\pm \to \rho(1450)^{0}\pi^{\pm}$ amplitudes, respectively, with fit fractions around $30\%$. For the rescattering contribution, a sizeable fit fraction is observed. This component has the largest $CP$ asymmetry reported to date for a single amplitude of $(-66 \pm 4 \pm 2)\%$, where the first uncertainty is statistical and the second systematic. No significant $CP$ violation is observed in the other contributions.


title: On the Restricted Isometry Property of Centered Self Khatri-Rao Products

abstract: In this work we establish the Restricted Isometry Property (RIP) of the centered column-wise self Khatri-Rao (KR) products of $n\times N$ matrix with iid columns drawn either uniformly from a sphere or with iid sub-Gaussian entries. The self KR product is an $n^2\times N$-matrix which contains as columns the vectorized (self) outer products of the columns of the original $n\times N$-matrix. Based on a result of Adamczak et al. we show that such a centered self KR product with independent heavy tailed columns has small RIP constants of order $s$ with probability at least $1-C\exp(-cn)$ provided that $s\lesssim n^2/\log^2(eN/n^2)$. Our result is applicable in various works on covariance matching like in activity detection and MIMO gain-estimation.


title: On forbidden poset problems in the linear lattice

abstract: In this note, we determine the maximum size of a $\{V_{k}, \Lambda_{l}\}$-free family in the lattice of vector subspaces of a finite vector space both in the non-induced case as well as the induced case, for a large range of parameters $k$ and $l$. These results generalize earlier work by Shahriari and Yu. We also prove a general LYM-type lemma for the linear lattice which resolves a conjecture of Shahriari and Yu.


title: Dual Active Sampling on Batch-Incremental Active Learning

abstract: Recently, Convolutional Neural Networks (CNNs) have shown unprecedented success in the field of computer vision, especially on challenging image classification tasks by relying on a universal approach, i.e., training a deep model on a massive dataset of supervised examples. While unlabeled data are often an abundant resource, collecting a large set of labeled data, on the other hand, are very expensive, which often require considerable human efforts. One way to ease out this is to effectively select and label highly informative instances from a pool of unlabeled data (i.e., active learning). This paper proposed a new method of batch-mode active learning, Dual Active Sampling(DAS), which is based on a simple assumption, if two deep neural networks (DNNs) of the same structure and trained on the same dataset give significantly different output for a given sample, then that particular sample should be picked for additional training. While other state of the art methods in this field usually require intensive computational power or relying on a complicated structure, DAS is simpler to implement and, managed to get improved results on Cifar-10 with preferable computational time compared to the core-set method.


title: Practice on Long Sequential User Behavior Modeling for Click-Through Rate Prediction

abstract: Click-through rate (CTR) prediction is critical for industrial applications such as recommender system and online advertising. Practically, it plays an important role for CTR modeling in these applications by mining user interest from rich historical behavior data. Driven by the development of deep learning, deep CTR models with ingeniously designed architecture for user interest modeling have been proposed, bringing remarkable improvement of model performance over offline metric.However, great efforts are needed to deploy these complex models to online serving system for realtime inference, facing massive traffic request. Things turn to be more difficult when it comes to long sequential user behavior data, as the system latency and storage cost increase approximately linearly with the length of user behavior sequence. In this paper, we face directly the challenge of long sequential user behavior modeling and introduce our hands-on practice with the co-design of machine learning algorithm and online serving system for CTR prediction task. Theoretically, the co-design solution of UIC and MIMN enables us to handle the user interest modeling with unlimited length of sequential behavior data. Comparison between model performance and system efficiency proves the effectiveness of proposed solution. To our knowledge, this is one of the first industrial solutions that are capable of handling long sequential user behavior data with length scaling up to thousands. It now has been deployed in the display advertising system in Alibaba.


title: On the anti-Wick symbol as a Gelfand-Shilov generalized function

abstract: The purpose of this article is to prove that the anti-Wick symbol of an operator mapping $ {\cal S}(\R^n)$ into ${\cal S}'(\R^n)$, which is generally not a tempered distribution, can still be defined as a Gelfand-Shilov generalized function. This result relies on test function spaces embeddings involving the Schwartz and Gelfand-Shilov spaces. An additional embedding concerning Schwartz and Gevrey spaces is also given.


title: Quantitative understanding of negative thermal expansion in scandium trifluoride from neutron total scattering measurements

abstract: Negative thermal expansion (NTE) - the phenomenon where some materials shrink rather than expand when heated - is both intriguing and useful, but remains poorly understood. Current understanding hinges on the role of specific vibrational modes, but in fact thermal expansion is a weighted sum of contributions from every possible mode. Here we overcome this difficulty by deriving a real-space model of atomic motion in the prototypical NTE material scandium trifluoride, ScF3, from total neutron scattering data. We show that NTE in this material depends not only on rigid unit modes - the vibrations in which the scandium coordination octahedra remain undistorted - but also on modes that distort these octahedra. Furthermore, in contrast with previous predictions, we show that the quasiharmonic approximation coupled with renormalisation through anharmonic interactions describes this behaviour well. Our results point the way towards a new understanding of how NTE is manifested in real materials.


title: IPAW 2020 Preprint: Efficient Computation of Provenance for Query Result Exploration

abstract: Users typically interact with a database by asking queries and examining the results. We refer to the user examining the query results and asking follow-up questions as query result exploration. Our work builds on two decades of provenance research useful for query result exploration. Three approaches for computing provenance have been described in the literature: lazy, eager, and hybrid. We investigate lazy and eager approaches that utilize constraints that we have identified in the context of query result exploration, as well as novel hybrid approaches. For the TPC-H benchmark, these constraints are applicable to 19 out of the 22 queries, and result in a better performance for all queries that have a join. Furthermore, the performance benefits from our approaches are significant, sometimes several orders of magnitude.


title: Measuring Average Treatment Effect from Heavy-tailed Data

abstract: Heavy-tailed metrics are common and often critical to product evaluation in the online world. While we may have samples large enough for Central Limit Theorem to kick in, experimentation is challenging due to the wide confidence interval of estimation. We demonstrate the pressure by running A/A simulations with customer spending data from a large-scale Ecommerce site. Solutions are then explored. On one front we address the heavy tail directly and highlight the often ignored nuances of winsorization. In particular, the legitimacy of false positive rate could be at risk. We are further inspired by the idea of robust statistics and introduce Huber regression as a better way to measure treatment effect. On another front covariates from pre-experiment period are exploited. Although they are independent to assignment and potentially explain the variation of response well, concerns are that models are learned against prediction error rather than the bias of parameter. We find the framework of orthogonal learning useful, matching not raw observations but residuals from two predictions, one towards the response and the other towards the assignment. Robust regression is readily integrated, together with cross-fitting. The final design is proven highly effective in driving down variance at the same time controlling bias. It is empowering our daily practice and hopefully can also benefit other applications in the industry.


title: Broadband reflection spectroscopy of MAXI J1535-571 using AstroSat: Estimation of black hole mass and spin

abstract: We report the results from \textit{AstroSat} observations of the transient Galactic black hole X-ray binary MAXI J1535-571 during its hard-intermediate state of the 2017 outburst. We systematically study the individual and joint spectra from two simultaneously observing \textit{AstroSat} X-ray instruments, and probe and measure a number of parameter values of accretion disc, corona and reflection from the disc in the system using models with generally increasing complexities. Using our broadband ($1.3-70$ keV) X-ray spectrum, we clearly show that a soft X-ray instrument, which works below $\sim 10-12$ keV, alone cannot correctly characterize the Comptonizing component from the corona, thus highlighting the importance of broadband spectral analysis. By fitting the reflection spectrum with the latest version of the \textsc{relxill} family of relativistic reflection models, we constrain the black hole's dimensionless spin parameter to be $0.67^{+0.16}_{-0.04}$. We also jointly use the reflection spectral component (\textsc{relxill}) and a general relativistic thin disc component (\texttt{Kerrbb}), and estimate the black hole's mass and distance to be $10.39_{-0.62}^{+0.61} M_{\odot}$ and $5.4_{-1.1}^{+1.8}$ kpc respectively.


title: On the totally positive grassmannian

abstract: We give an alternative proof for the equivalence of two definitions of the totally positive grassmannian.


title: A note on \'etale atlases for Artin stacks and Lie groupoids, Poisson structures and quantisation

abstract: We explain how any Artin stack $\mathfrak{X}$ over $\mathbb{Q}$ extends to a functor on non-negatively graded commutative cochain algebras, which we think of as functions on Lie algebroids or stacky affine schemes. There is a notion of \'etale morphisms for these CDGAs, and Artin stacks admit \'etale atlases by stacky affines, giving rise to a small \'etale site of stacky affines over $\mathfrak{X}$. This site has the same quasi-coherent sheaves as $\mathfrak{X}$ and leads to efficient formulations of shifted Poisson structures, differential operators and quantisations for Artin stacks. There are generalisations to higher and derived stacks. We also describe analogues for differentiable and analytic stacks; in particular, a Lie groupoid naturally gives a functor on NQ-manifolds which we can use to transfer structures. In those settings, local diffeomorphisms and biholomorphisms are the analogues of \'etale morphisms. This note mostly elaborates constructions scattered across several of the author's papers, but with an emphasis on the functor of points perspective. New results include consistency checks showing that the induced notions of structures such as vector bundles or torsors on a stacky affine scheme coincide with familiar definitions in terms of flat connections.


title: $F$-inverse monoids as algebraic structures in enriched signature

abstract: Every $F$-inverse monoid can be equipped with the unary operation which maps each element to the maximum element of its $\sigma$-class. In this enriched signature, the class of all $F$-inverse monoids forms a variety of algebraic structures. We describe universal objects in several classes of $F$-inverse monoids, in particular free $F$-inverse monoids. More precisely, for every $X$-generated group $G$ we describe the initial object in the category of all $X$-generated $F$-inverse monoids $F$ for which $F/\sigma=G$.


title: Layers of quark-gluon plasma induced by chiral magnetic effect and the separation of $u,d$ quarks' critical end points

abstract: In this work we show that the chiral magnetic effect (CME) could cause the quark-gluon plasma (QGP) approximately forming three layers along the strong magnetic field characterised by different compositions of quark chemical potentials. This phenomenon may bring new observable outcomes, for example different layers would have different CEPs and the $u,d$ quarks would have different critical end points (CEPs). Since the $s$ quark would make the up and the down layers have some 'asymmetry' on chemical potentials, there is the possibility that at some special conditions one flavor of $u,d$ quarks lies at CEP in one layer but another flavor dose not in any layer. These results may be helpful in testing the existence of CME.


title: Production and Backreaction of Fermions from Axion-$SU(2)$ Gauge Fields during Inflation

abstract: $SU(2)$ gauge fields and axions can have a stable, isotropic and homogeneous configuration during inflation. However, couplings to other matter species lead to particle production, which in turn induces backreaction on and destabilization of the non-abelian and axion background. In this paper, we first study the particle production by a $SU(2)$ gauge field coupled to a massive Dirac doublet. To carry out this calculation we have made two technical improvements compared to what has been done in the literature. First, we apply the anti-symmetrization of the operators to treat particles and anti-particles on equal footing, second, to deal with the UV divergences, we apply instantaneous subtraction. We find that, the backreaction of produced fermions on the $SU(2)$ background is negligible for model parameters of observational interest. Next, we consider production of fermions due to coupling to the axion. The tree-level backreaction on the gauge fields, as well as on the axion, is vanishingly small. We also provide an estimate for the loop effects.


title: Networks and Hierarchies: How Amorphous Materials Learn to Remember

abstract: We consider the slow and athermal deformations of amorphous solids and show how the ensuing sequence of discrete plastic rearrangements can be mapped onto a directed network. The network topology reveals a set of highly connected regions joined by occasional one-way transitions. The highly connected regions include hierarchically organized hysteresis cycles and sub-cycles. At small to moderate strains this organization leads to near-perfect return point memory. The transitions in the network can be traced back to localized particle rearrangements (soft-spots) that interact via Eshelby-type deformation fields. By linking topology to dynamics, the network representations provides new insights into the mechanisms that lead to reversible and irreversible behavior in amorphous solids.


title: A wider look at the gravitational-wave transients from GWTC-1 using an unmodeled reconstruction method

abstract: In this paper, we investigate the morphology of the events from the GWTC-1 catalog of compact binary coalescences as reconstructed by a method based on coherent excess power: we use an open-source version of the coherent WaveBurst (cWB) analysis pipeline, which does not make use of waveform models. The coherent response of the LIGO-Virgo network of detectors is estimated by using loose bounds on the duration and bandwidth of the signal. This pipeline version reproduces the same results that are reported for cWB in recent publications by the LIGO and Virgo collaborations. In particular, the sky localization and waveform reconstruction are in a good agreement with those produced by methods which exploit the detailed theoretical knowledge of the expected waveform for compact binary coalescences. However, in some cases cWB also detects features in excess in well-localized regions of the time-frequency plane. Here we focus on such deviations and present the methods devised to assess their significance. Out of the eleven events reported in the GWTC-1, in two cases -- GW151012 and GW151226 -- cWB detects an excess of coherent energy after the merger ($\Delta t \simeq 0.2$ s and $\simeq 0.1$ s, respectively) with p-values that call for further investigations ($0.004$ and $0.03$, respectively), though they are not sufficient to exclude noise fluctuations. We discuss the morphological properties and plausible interpretations of these features. We believe that the methodology described in the paper shall be useful in future searches for compact binary coalescences.


title: Epitaxial Graphene Intercalation: A Route to Graphene Modulation and Unique 2D Materials

abstract: Intercalation of atomic species through epitaxial graphene layers began only a few years following its initial report in 2004. The impact of intercalation on the electronic properties of the graphene is well known; however, the intercalant itself can also exhibit intriguing properties not found in nature. This suggests that a shift in the focus of epitaxial graphene intercalation studies may lead to fruitful exploration of many new forms of traditionally 3D materials. In the following forward-looking review, we summarize the primary techniques used to achieve and characterize EG intercalation, and introduce a new, facile approach to readily achieve metal intercalation at the graphene/silicon carbide interface. We show that simple thermal evaporation-based methods can effectively replace complicated synthesis techniques to realize large-scale intercalation of non-refractory metals. We also show that these methods can be extended to the formation of compound materials based on intercalation. Two-dimensional (2D) silver (2D-Ag) and large-scale 2D gallium nitride (2D-GaNx) are used to demonstrate these approaches.


title: Phase-coherent caloritronics with ordinary and topological Josephson junctions

abstract: We provide a brief and comprehensive overview over recent developments in the field of phase-coherent caloritronics in ordinary and topological Josephson junctions. We start from the simple case of a short, one-dimensional superconductor-normal metal-superconductor (S-N-S) Josephson junction and derive the phase-dependent thermal conductance within the Bogoliubov-de Gennes formalism. Then, we review the key experimental breakthroughs that have triggered the recent growing interest into phase-coherent heat transport. They include the realization of thermal interferometers, diffractors, modulators and routers based on superconducting tunnel junctions. Finally, we discuss very recent theoretical findings based on superconductor-topological insulator-superconductor (S-TI-S) Josephson junctions that show interesting heat transport properties due to the interplay between topological band structures and superconductivity.