title: Phase Transitions in a Logistic Metapopulation Model with Nonlocal Interactions

abstract: The presence of one or more species at some spatial locations but not others is a central matter in ecology. This phenomenon is related to ecological pattern formation. Nonlocal interactions can be considered as one of the mechanisms causing such a phenomenon. We propose a single-species, continuous time metapopulation model taking nonlocal interactions into account. Discrete probability kernels are used to model these interactions in a patchy environment. A linear stability analysis of the model shows that solutions to this equation exhibit pattern formation if the dispersal rate of the species is sufficiently small and the discrete interaction kernel satisfies certain conditions. We numerically observe that traveling and stationary wave type patterns arise near critical dispersal rate. We use weakly nonlinear analysis to better understand the behavior of formed patterns. We show that observed patterns arise through both supercritical and subcritical bifurcations from spatially homogeneous steady state. Moreover, we observe that as the dispersal rate decreases, amplitude of the patterns increases. For discontinuous transitions to instability, we also show that there exists a threshold for the amplitude of the initial condition, above which pattern formation is observed.


title: What distinguishes the host galaxies of radio-loud and radio-quiet AGNs?

abstract: We compare the optical properties of the host galaxies of radio-quiet (RQ) and radio-loud (RL) Type 2 active galactic nuclei (AGNs) to infer whether the jet production efficiency depends on the host properties or is determined just by intrinsic properties of the accretion flows. We carefully select galaxies from SDSS, FIRST, and NVSS catalogs. We confirm previous findings that the fraction of RL AGNs depends on the black-hole (BH) masses, and on the Eddington ratio. The comparison of the nature of the hosts of RL and RQ AGNs, therefore, requires pair-matching techniques. Matching in BH mass and Eddington ratio allows us to study the differences between galaxies hosting RL and RQ AGNs that have the same basic accretion parameters. We show that these two samples differ predominantly in the host-galaxy concentration index, morphological type (in the RL sample the frequency of elliptical galaxies becoming larger with increasing radio loudness), and nebular extinction (galaxies with highest radio loudness showing only low nebular extinction). Contrary to some previous studies, we find no significant difference between our radio-loud and radio-quiet samples regarding merger/interaction features.


title: Multiphoton Label-Free ex-vivo imaging using a custom-built dual-wavelength microscope with chromatic aberrations compensation

abstract: Label-Free Multiphoton Microscopy is a very powerful optical microscopy that can be applied to study samples with no need for exogenous fluorescent probes, keeping the main benefits of a Multiphoton approach, like longer penetration depths and intrinsic optical sectioning, while opening the possibility of serial examinations with different kinds of techniques. Among the many variations of Label-Free MPM, Higher Harmonic Generation (HHG) is one of the most intriguing due to its generally low photo-toxicity, which enables the examination of specimens particularly susceptible to photo-damages. HHG and common Two-Photon Microscopy (TPM) are well-established techniques, routinely used in several research fields. However, they require a significant amount of fine-tuning in order to be fully exploited and, usually, the optimized conditions greatly differ, making them quite difficult to perform in parallel without any compromise on the extractable information. Here we present our custom-built Multiphoton microscope capable of performing simultaneously TPM and HHG without any kind of compromise on the results thanks to two, separate, individually optimized laser sources with full chromatic aberration compensation. We also apply our setup to the examination of a plethora of ex vivo samples in order to prove the significant advantages of our approach.


title: Explicit Bound for the Prime Ideal Theorem in Residue Classes

abstract: We give explicit numerical estimates for the generalized Chebyshev functions. Explicit results of this kind are useful for estimating of computational complexity of algorithms which generates special primes. Such primes are needed to construct an elliptic curve over prime field using complex multiplication method.


title: Neutrino oscillation processes in quantum field-theoretical approach

abstract: It is shown that neutrino oscillation processes can be consistently described in the framework of quantum field theory. Namely, the oscillating electron survival probabilities in experiments with neutrino detection by charged-current and neutral-current interactions are calculated in the quantum field-theoretical approach to neutrino oscillations based on a modification of the Feynman propagator. The approach is most similar to the standard Feynman diagram technique in the momentum representation. It is found that the oscillating distance-dependent probabilities of detecting an electron in experiments with neutrino detection by charged-current and neutral-current interactions exactly coincide with the corresponding probabilities calculated in the standard approach.


title: Probability distribution and statistical properties of spherically compensated cosmic regions in $\Lambda$CDM cosmology

abstract: The statistical properties of cosmic structures are well known to be strong probes for cosmology. In particular, several studies tried to use the cosmic void counting number to obtain tight constrains on Dark Energy. In this paper we address this question by using the CoSphere model as introduced in de Fromont & Alimi (2017a). We derive their exact statistics in both primordial and non linearly evolved Universe for the standard $\Lambda$CDM model. We first compute the full joint Gaussian probability distribution for the various parameters describing these profiles in the Gaussian Random Field. We recover the results of Bardeen et al. (1986) only in the limit where the compensation radius becomes very large, i.e. when the central extremum decouples from its cosmic environment. We derive the probability distribution of the compensation size in this primordial field. We show that this distribution is redshift independent and can be used to model cosmic void size distribution. Interestingly, it can be used for central maximum such as DM haloes. We compute analytically the statistical distribution of the compensation density in both primordial and evolved Universe. We also derive the statistical distribution of the peak parameters already introduced by Bardeen et al. (1986) and discuss their correlation with the cosmic environment. We thus show that small central extrema with low density are associated with narrow compensation regions with a small $R_1$ and a deep compensation density $\delta_1$ while higher central extrema are located in larger but smoother over/under massive regions.


title: DR.SGX: Hardening SGX Enclaves against Cache Attacks with Data Location Randomization

abstract: Recent research has demonstrated that Intel's SGX is vulnerable to software-based side-channel attacks. In a common attack, the adversary monitors CPU caches to infer secret-dependent data accesses patterns. Known defenses have major limitations, as they require either error-prone developer assistance, incur extremely high runtime overhead, or prevent only specific attacks. In this paper, we propose data location randomization as a novel defense against side-channel attacks that target data access patterns. Our goal is to break the link between the memory observations by the adversary and the actual data accesses by the victim. We design and implement a compiler-based tool called DR.SGX that instruments the enclave code, permuting data locations at fine granularity. To prevent correlation of repeated memory accesses we periodically re-randomize all enclave data. Our solution requires no developer assistance and strikes the balance between side-channel protection and performance based on an adjustable security parameter.


title: Solitary water waves with discontinuous vorticity

abstract: We investigate the existence of solitary gravity waves traversing a two-dimensional body of water that is bounded below by a flat impenetrable ocean bed and above by a free surface of constant pressure. Our main interest is constructing waves of this form that exhibit a discontinuous distribution of vorticity. More precisely, this means that the velocity limits both upstream and downstream to a laminar flow that is merely Lipschitz continuous. We prove that, for any choice of background velocity with this regularity, there exists a global curve of solutions bifurcating from a critical laminar flow and including waves arbitrarily close to having stagnation points. Each of these waves has an axis of even symmetry, and the height of their streamlines above the bed decreases monotonically as one moves to the right of the crest.


title: Quantum ergodicity in mixed and KAM Hamiltonian systems

abstract: In this thesis, we investigate quantum ergodicity for two classes of Hamiltonian systems satisfying intermediate dynamical hypotheses between the well understood extremes of ergodic flow and quantum completely integrable flow. These two classes are mixed Hamiltonian systems and KAM Hamiltonian systems. Hamiltonian systems with mixed phase space decompose into finitely many invariant subsets, only some of which are of ergodic character. It has been conjectured by Percival that the eigenfunctions of the quantisation of this system decompose into associated families of analogous character. The first project in this thesis proves a weak form of this conjecture for a class of dynamical billiards, namely the mushroom billiards of Bunimovich for a full measure subset of a shape parameter $t\in (0,2]$. KAM Hamiltonian systems arise as perturbations of completely integrable Hamiltonian systems. The dynamics of these systems are well understood and have near-integrable character. The classical-quantum correspondence suggests that the quantisation of KAM systems will not have quantum ergodic character. The second project in this thesis proves an initial negative quantum ergodicity result for a class of positive Gevrey perturbations of a Gevrey Hamiltonian that satisfy a mild "slow torus" condition.


title: Theory of hadronic molecules applied to the XYZ states

abstract: In recent years data have been accumulated at various experiments about states in the heavy quarkonium mass range that seem to be inconsistent with the most simple variants of the quark model. In this contribution it is demonstrated that most of those data are consistent with a dominant molecular nature of those states. It is also discussed which kind of observables are sensitive to the molecular component and which are not.


title: Tolerating Soft Errors in Processor Cores Using CLEAR (Cross-Layer Exploration for Architecting Resilience)

abstract: We present CLEAR (Cross-Layer Exploration for Architecting Resilience), a first of its kind framework which overcomes a major challenge in the design of digital systems that are resilient to reliability failures: achieve desired resilience targets at minimal costs (energy, power, execution time, area) by combining resilience techniques across various layers of the system stack (circuit, logic, architecture, software, algorithm). This is also referred to as cross-layer resilience. In this paper, we focus on radiation-induced soft errors in processor cores. We address both single-event upsets (SEUs) and single-event multiple upsets (SEMUs) in terrestrial environments. Our framework automatically and systematically explores the large space of comprehensive resilience techniques and their combinations across various layers of the system stack (586 cross-layer combinations in this paper), derives cost-effective solutions that achieve resilience targets at minimal costs, and provides guidelines for the design of new resilience techniques. Our results demonstrate that a carefully optimized combination of circuit-level hardening, logic-level parity checking, and micro-architectural recovery provides a highly cost-effective soft error resilience solution for general-purpose processor cores. For example, a 50x improvement in silent data corruption rate is achieved at only 2.1% energy cost for an out-of-order core (6.1% for an in-order core) with no speed impact. However, (application-aware) selective circuit-level hardening alone, guided by a thorough analysis of the effects of soft errors on application benchmarks, provides a cost-effective soft error resilience solution as well (with ~1% additional energy cost for a 50x improvement in silent data corruption rate).


title: The Dold-Whitney theorem and the Sato-Levine invariant

abstract: We use the Dold-Whitney theorem classifying $SO(3)$-bundles over a 4-complex to give a mod 4 obstruction to a 2-component link of trivial linking number being slice. It turns out that this coincides with the reduction of the Sato-Levine invariant.


title: Quantum deformation of quantum cosmology: A framework to discuss the cosmological constant problem

abstract: We endorse the context that the cosmological constant problem is a quantum cosmology issue. Therefore, in this paper we investigate the $q$-deformed Wheeler-DeWitt equation of a spatially closed homogeneous and isotropic Universe in the presence of a conformally coupled scalar field. Specifically, the quantum deformed Universe is a quantized minisuperspace model constructed from quantum Heisenberg-Weyl $\mathcal U_q(h_4)$ and $\mathcal U_q(su(1, 1))$ groups. These intrinsic mathematical features allow to establish that ($i$) the scale factor, the scalar field and corresponding momenta are quantized and ($ii$) the phase space has a non-equidistance lattice structure. On the other hand, such quantum group structure provides us a new framework to discuss the cosmological constant problem. Subsequently, we show that a ultraviolet cutoff can be obtained at $10^{-3} eV$, i.e., at a scale much larger than the expected Planck scale. In addition, an infrared cutoff, at the size of the observed Universe, emerges from within such quantum deformation of Universe. In other words, the spectrum of the scale factor is upper bounded. Moreover, we show that the emerged cosmological horizon is a quantum sphere $S^2_q$ or, alternatively, a fuzzy sphere $S^2_F$ which explicitly exhibits features of the holographic principle. The corresponding number of fundamental cells equals the dimension of the Hilbert space and hence, the cosmological constant can be presented as a consequence of the quantum deformation of the FLRW minisuperspace.


title: Control of a Boussinesq system of KdV-KdV type on a bounded interval

abstract: We consider a Boussinesq system of KdV-KdV type introduced by J. Bona, M. Chen and J.-C. Saut as a model for the motion of small amplitude long waves on the surface of an ideal fluid. This system of two equations can describe the propagation of waves in both directions, while the single KdV equation is limited to unidirectional waves. We are concerned here with the exact controllability of the Boussinesq system by using some boundary controls. By reducing the controllability problem to a spectral problem which is solved by using the Paley-Wiener method introduced by the third author for KdV, we determine explicitly all the critical lengths for which the exact controllability fails for the linearized system, and give a complete picture of the controllability results with one or two boundary controls of Dirichlet or Neumann type. The extension of the exact controllability to the full Boussinesq system is derived in the energy space in the case of a control of Neumann type. It is obtained by incorporating a boundary feedback in the control in order to ensure a global Kato smoothing effect.


title: Tailoring the exchange bias effect by in-plane magnetic anisotropy

abstract: We report an unusual, non-monotonous dependence of the exchange bias on the thickness of the ferromagnetic layer in a ferromagnet/antiferromagnet bilayer system. We show that in epitaxial CoO/Fe(110) bilayers, the evolution of the Fe magnetic anisotropy, which drives the thickness-induced in-plane spin-reorientation process, controls the interfacial CoO spin directions in the 0-90 degrees range and, consequently, drastically modifies the magnitude of the hysteresis loop shift and its dependence on the thickness of the Fe layer. Our results present a new recipe for tailoring the exchange bias and antiferromagnetic spin structure by utilizing the spin-reorientation process that occurs in a ferromagnetic layer adjacent to an antiferromagnetic layer.


title: Charge proportional and weakly mass-dependent acceleration of different ion species in the Earth's magnetotail

abstract: Energetic particles with energies from tens of keV to a few hundreds keV are frequently observed in the Earth's magnetotail. Here we study, by means of a test particle numerical simulation, the acceleration of different ion species (H$^{+}$, He$^{+}$, He$^{++}$, and O$^{n+}$ with $n=1$--$6$) in the presence of transient electromagnetic perturbations. All the considered ions develop power-law tails at high energies, except for O$^+$ ions. This is strongly correlated to the time that the particle spend in the current sheet. Ion acceleration is found to be proportional to the charge state, while it grows in a weaker way with the ion mass. We find that O$^{5+/6+}$ can reach energies higher than $500$ kev. These results may explain the strong oxygen acceleration observed in the magnetotail.


title: Inference of Personal Attributes from Tweets Using Machine Learning

abstract: Using machine learning algorithms, including deep learning, we studied the prediction of personal attributes from the text of tweets, such as gender, occupation, and age groups. We applied word2vec to construct word vectors, which were then used to vectorize tweet blocks. The resulting tweet vectors were used as inputs for training models, and the prediction accuracy of those models was examined as a function of the dimension of the tweet vectors and the size of the tweet blacks. The results showed that the machine learning algorithms could predict the three personal attributes of interest with 60-70% accuracy.


title: Switching of Co magnetization driven by antiferromagnetic-ferromagnetic phase transition of FeRh alloy in Co/FeRh bilayers

abstract: We show that Co spins in Co/FeRh epitaxial bilayers grown on W(110) switch reversibly between the two orthogonal in-plane directions as the FeRh layer undergoes temperature driven antiferromagnetic-ferromagnetic (AFM-FM) phase transition. Switching of Co magnetization is characterized by a hysteretic behavior owing to a temperature hysteresis of the AFM-FM transition in FeRh. The spin reorientation of Co is driven by the evolution interfacial exchange coupling to FeRh system across the AFM-FM process. Our results provide a new method of writing information purely by a local temperature change.


title: SUBIC: A Supervised Bi-Clustering Approach for Precision Medicine

abstract: Traditional medicine typically applies one-size-fits-all treatment for the entire patient population whereas precision medicine develops tailored treatment schemes for different patient subgroups. The fact that some factors may be more significant for a specific patient subgroup motivates clinicians and medical researchers to develop new approaches to subgroup detection and analysis, which is an effective strategy to personalize treatment. In this study, we propose a novel patient subgroup detection method, called Supervised Biclustring (SUBIC) using convex optimization and apply our approach to detect patient subgroups and prioritize risk factors for hypertension (HTN) in a vulnerable demographic subgroup (African-American). Our approach not only finds patient subgroups with guidance of a clinically relevant target variable but also identifies and prioritizes risk factors by pursuing sparsity of the input variables and encouraging similarity among the input variables and between the input and target variables


title: HydraPlus-Net: Attentive Deep Features for Pedestrian Analysis

abstract: Pedestrian analysis plays a vital role in intelligent video surveillance and is a key component for security-centric computer vision systems. Despite that the convolutional neural networks are remarkable in learning discriminative features from images, the learning of comprehensive features of pedestrians for fine-grained tasks remains an open problem. In this study, we propose a new attention-based deep neural network, named as HydraPlus-Net (HP-net), that multi-directionally feeds the multi-level attention maps to different feature layers. The attentive deep features learned from the proposed HP-net bring unique advantages: (1) the model is capable of capturing multiple attentions from low-level to semantic-level, and (2) it explores the multi-scale selectiveness of attentive features to enrich the final feature representations for a pedestrian image. We demonstrate the effectiveness and generality of the proposed HP-net for pedestrian analysis on two tasks, i.e. pedestrian attribute recognition and person re-identification. Intensive experimental results have been provided to prove that the HP-net outperforms the state-of-the-art methods on various datasets.


title: Educational game design: game elements for promoting engagement

abstract: Engagement in educational games, a recently popular academic topic, has been shown to increase learning performance, as well as a number of attitudinal factors, such as intrinsic interest and motivation. However, there is a lack of research on how games can be designed to promote engagement. This mixed methods case study aimed to discover effective game elements for promoting 17-18 year old high school students' engagement with an educational game. Using within-case and cross-case analyses and triangulated data, 10 elements emerged and were categorized into the constructs of story, gameplay, and atmosphere. Examples and connections to the literature for each element are reported. Findings implicate that educational game design for both learning and engagement is composed of educational-game specific elements, game design for solely engagement is similar for both educational and entertainment games, and a gap on educational game design technique instead of theory should be addressed to further benefit educational game development.


title: A New Balanced Subdivision of a Simple Polygon for Time-Space Trade-off Algorithms

abstract: We are given a read-only memory for input and a write-only stream for output. For a positive integer parameter s, an s-workspace algorithm is an algorithm using only $O(s)$ words of workspace in addition to the memory for input. In this paper, we present an $O(n^2/s)$-time $s$-workspace algorithm for subdividing a simple polygon into $O(\min\{n/s,s\})$ subpolygons of complexity $O(\max\{n/s,s\})$. As applications of the subdivision, the previously best known time-space trade-offs for the following three geometric problems are improved immediately: (1) computing the shortest path between two points inside a simple $n$-gon, (2) computing the shortest path tree from a point inside a simple $n$-gon, (3) computing a triangulation of a simple $n$-gon. In addition, we improve the algorithm for the second problem even further.


title: Invariant subspaces for non-normable Fr\'echet spaces

abstract: A Fr\'echet space $X$ satisfies the Hereditary Invariant Subspace (resp. Subset) Property if for every closed infinite-dimensional subspace $M$ in $X$, each continuous operator on $M$ possesses a non-trivial invariant subspace (resp. subset). In this paper, we exhibit a family of non-normable separable infinite-dimensional Fr\'echet spaces satisfying the Hereditary Invariant Subspace Property and we show that many non-normable Fr\'echet spaces do not satisfy this property. We also state sufficient conditions for the existence of a continuous operator without non-trivial invariant subset and deduce among other examples that there exists a continuous operator without non-trivial invariant subset on the space of entire functions $H(\mathbb{C})$.


title: Average bounds for the $\ell$-torsion in class groups of cyclic extensions

abstract: For all positive integers $\ell$, we prove non-trivial bounds for the $\ell$-torsion in the class group of $K$, which hold for almost all number fields $K$ in certain families of cyclic extensions of arbitrarily large degree. In particular, such bounds hold for almost all cyclic degree-$p$-extensions of $F$, where $F$ is an arbitrary number field and $p$ is any prime for which $F$ and the $p$-th cyclotomic field are linearly disjoint. Along the way, we prove precise asymptotic counting results for the fields of bounded discriminant in our families with prescribed splitting behavior at finitely many primes.


title: 2-Segal spaces as invertible infinity-operads

abstract: We exhibit the simplex category $\Delta$ and Segal's category $\Gamma$ as $\infty$-categorical localizations of the dendroidal categories $\Omega_\pi$ and $\Omega$ introduced by Moerdijk and Weiss. As an application we obtain an equivalence of $\infty$-categories between invertible $\infty$-operads and the $2$-Segal spaces of Dyckerhoff and Kapranov. Finally, we describe a cyclic version of the dendroidal category and explain how it $\infty$-localizes to Connes's cyclic category $\Lambda$.


title: A Branch-and-Cut Algorithm to Design LDPC Codes without Small Cycles in Communication Systems

abstract: In a digital communication system, information is sent from one place to another over a noisy communication channel using binary symbols (bits). Original information is encoded by adding redundant bits, which are then used by low--density parity--check (LDPC) codes to detect and correct errors that may have been introduced during transmission. Error correction capability of an LDPC code is severely degraded due to harmful structures such as small cycles in its bipartite graph representation known as Tanner graph (TG). We introduce an integer programming formulation to generate a TG for a given smallest cycle length. We propose a branch-and-cut algorithm for its solution and investigate structural properties of the problem to derive valid inequalities and variable fixing rules. We introduce a heuristic to obtain feasible solutions of the problem. Our computational experiments show that our algorithm can generate LDPC codes without small cycles in acceptable amount of time for practically relevant code lengths.


title: Off-shell renormalization in Higgs effective field theories

abstract: The off-shell one-loop renormalization of a Higgs effective field theory possessing a scalar potential $\sim\left(\Phi^\dagger\Phi-\frac{v^2}2\right)^N$ with $N$ arbitrary is presented. This is achieved by renormalizing the theory once reformulated in terms of two auxiliary fields $X_{1,2}$, which, due to the invariance under an extended Becchi-Rouet-Stora-Tyutin symmetry, are tightly constrained by functional identities. The latter allow in turn the explicit derivation of the mapping onto the original theory, through which the (divergent) multi-Higgs amplitude are generated in a purely algebraic fashion. We show that, contrary to naive expectations based on the loss of power counting renormalizability, the Higgs field undergoes a linear Standard Model like redefinition, and evaluate the renormalization of the complete set of Higgs self-coupling in the $N\to\infty$ case.


title: The Construction and Commissioning of the Belle II iTOP Counter

abstract: The barrel-region particle identification detector is crucial for extending the physics reach of the Belle II experiment operating at the SuperKEKB accelerator. For this purpose, an imaging-Time-of-Propagation (iTOP) counter was developed, which is a new type of ring-imaging Cherenkov detector. The iTOP consists of 16 separate modules arranged azimuthally around the beam line. Each module consists of optical components fabricated from quartz (one mirror, one prism, and two bars), an array of micro-channel-plate photo-multiplier tubes (MCP-PMTs), and front-end electronics. The waveforms read out are processed by firmware, and the resulting pulse-heights and hit times are sent to the Belle II data acquisition system. The detector construction was completed and the detector installed by the summer of 2016, and since then the detector has undergone commissioning. This talk describes the construction and commissioning of the Belle II iTOP counter.


title: Modeling Transmission and Radiation Effects when Exploiting Power Line Networks for Communication

abstract: Power distribution grids are exploited by Power Line Communication (PLC) technology to convey high frequency data signals. The natural conformation of such power line networks causes a relevant part of the high frequency signals traveling through them to be radiated instead of being conducted. This causes not only electromagnetic interference (EMI) with devices positioned next to power line cables, but also a consistent deterioration of the signal integrity. Since existing PLC channel models do not take into account losses due to radiation phenomena, this paper responds to the need of developing accurate network simulators. A thorough analysis is herein presented about the conducted and radiated effects on the signal integrity, digging into differential mode to common mode signal conversion due to network imbalances. The outcome of this work allows each network element to be described by a mixed-mode transmission matrix. Furthermore, the classical per-unit-length equivalent circuit of transmission lines is extended to incorporate radiation resistances. The results of this paper lay the foundations for future developments of comprehensive power line network models that incorporate conducted and radiated phenomena.


title: Propagation based phase retrieval of simulated intensity measurements using artificial neural networks

abstract: Determining the phase of a wave from intensity measurements has many applications in fields such as electron microscopy, visible light optics, and medical imaging. Propagation based phase retrieval, where the phase is obtained from defocused images, has shown significant promise. There are, however, limitations in the accuracy of the retrieved phase arising from such methods. Sources of error include shot noise, image misalignment, and diffraction artifacts. We explore the use of artificial neural networks (ANNs) to improve the accuracy of propagation based phase retrieval algorithms applied to simulated intensity measurements. We employ a phase retrieval algorithm based on the transport-of-intensity equation to obtain the phase from simulated micrographs of procedurally generated specimens. We then train an ANN with pairs of retrieved and exact phases, and use the trained ANN to process a test set of retrieved phase maps. The total error in the phase is significantly reduced using this method. We also discuss a variety of potential extensions to this work.


title: Scattering Study of Fermions Due to Double Dirac Delta Potential in Quaternionic Relativistic Quantum Mechanics

abstract: Scattering discussion due to Double Dirac Equation in Quaternionic version of relativistic quantum mechanics has been studied in this paper in details. In such a quantum mechanics Dirac equation in presence vector and scalar potential has been considered. Then a Quaternionic double Dirac delta potential comes to our considered system which causes to scatter the particles. Scattering states of the particles have been derived as well as reflected and transmission coefficients are calculated.


title: Analytic properties of approximate lattices

abstract: We introduce a notion of cocycle-induction for strong uniform approximate lattices in locally compact second countable groups and use it to relate (relative) Kazhdan- and Haagerup-type of approximate lattices to the corresponding properties of the ambient locally compact groups. Our approach applies to large classes of uniform approximate lattices (though not all of them) and is flexible enough to cover the $L^p$-versions of Property (FH) and a-(FH)-menability as well as quasified versions thereof a la Burger--Monod and Ozawa.


title: Short time diffusion properties of inhomogeneous kinetic equations with fractional collision kernel

abstract: We prove regularization properties in short time for inhomogeneous kinetic equations whose collision kernel behaves like a fractional power of the Laplacian in velocity. We treat a fractional Kolmogorov equation and the linearized Boltzmann equation without cutoff (for hard potentials).


title: Interaction-modulated tunneling dynamics in a mixture of Bose-Einstein condensates

abstract: We study the interaction-modulated tunneling dynamics of a Bose-Einstein condensate (BEC) in a deep double-well potential, where the tunneling between the two wells is modulated by another BEC trapped in a harmonic potential symmetrically positioned at the center of the double-well potential. The inter-species interactions couple the dynamics of the two BECs, which give rise to interesting features in the tunneling oscillations. Adopting a two-mode approximation for the BEC in the double-well potential and coupling it with the Gross-Pitaevskii equation of the harmonically trapped BEC, we numerically investigate the coupled dynamics of the BEC mixture, and map out the phase diagram of the tunneling dynamics. We show that the dynamical back action of the BEC in the harmonic trap leads to strong non-linearity in the oscillations of the BEC in the double-well potential, which enriches the system dynamics, and enhances macroscopic self trapping. The transition between the Josephson oscillation and the self-trapping dynamics can be identified by monitoring the oscillation frequency of the double-well BEC. Our results suggest the possibility of tuning the tunneling dynamics of BECs in double-well potentials.


title: How to promote informal learning in the workplace? The need for incremental design methods

abstract: Informal Learning in the Workplace (ILW) is ensured by the everyday work activities in which workers are engaged. It accounts for over 75 per cent of learning in the workplace. Enterprise Social Media (ESM) are increasingly used as informal learning environments. According to the results of an implementation we have conducted in real context, we show that ESM are appropriate to promote ILW. Nevertheless, social aspects must be reconsidered to address users' needs regarding content and access, quality information indicators, moderation and control.


title: Hierarchical Fermions and Detectable $Z^\prime$ from Effective Two-Higgs-Triplet 3-3-1 Model

abstract: We develop a ${\rm SU}(3)_C\otimes {\rm SU}(3)_L\otimes {\rm U}(1)_X$ model where the number of fermion generations is fixed by cancellation of gauge anomalies, being a type of 3-3-1 model with new charged leptons. Similarly to the economical 3-3-1 models, symmetry breaking is achieved effectively with two scalar triplets so that the spectrum of scalar particles at the TeV scale contains just two CP even scalars, one of which is the recently discovered Higgs boson, plus a charged scalar. Such a scalar sector is simpler than the one in the Two Higgs Doublet Model, hence more attractive for phenomenological studies, and has no FCNC mediated by scalars except for the ones induced by the mixing of SM fermions with heavy fermions. We identify a global residual symmetry of the model which guarantees mass degeneracies and some massless fermions whose masses need to be generated by the introduction of effective operators. The fermion masses so generated require less fine-tuning for most of the SM fermions and FCNC are naturally suppressed by the small mixing between the third family of quarks and the rest. The effective setting is justified by an ultraviolet completion of the model from which the effective operators emerge naturally. A detailed particle mass spectrum is presented, and an analysis of the $Z^\prime$ production at the LHC run II is performed to show that it could be easily detected by considering the invariant mass and transverse momentum distributions in the dimuon channel.


title: Smooth equivalence of deformations of domains in complex euclidean spaces

abstract: We prove that two smooth families of 2-connected domains in $\cc$ are smoothly equivalent if they are equivalent under a possibly discontinuous family of biholomorphisms. We construct, for $m \geq 3$, two smooth families of smoothly bounded $m$-connected domains in $\cc$, and for $n\geq2$, two families of strictly pseudoconvex domains in $\cc^n$, that are equivalent under discontinuous families of biholomorphisms but not under any continuous family of biholomorphisms. Finally, we give sufficient conditions for the smooth equivalence of two smooth families of domains.


title: Deformation of tilting-type derived equivalences for crepant resolutions

abstract: We say that an exact equivalence between the derived categories of two algebraic varieties is tilting-type if it is constructed by using tilting bundles. The aim of this article is to understand the behavior of tilting-type equivalences for crepant resolutions under deformations. As an application of the method that we establish in this article, we study the derived equivalence for stratified Mukai flops and stratified Atiyah flops in terms of tilting bundles.


title: The magnetocaloric effect from the point of view of Tsallis non-extensive thermostatistics

abstract: In this work we have analyzed the magnetocaloric effect (MCE) from the Tsallis thermostatistics formalism (TTF) point of view. The problem discussed here is a two level system MCE. We have calculated, both analytically and numerically, the entropy of this system as a function of the Tsallis' parameter (the well known q-parameter) which value depends on the extensivity (q<1) or non-extensivity (q>1) of the system. Since we consider this MCE not depending on the initial conditions, which classify our system as a non-extensive one, we used several greater than one q-parameters to understand the effect of the nonextensive formalism in the entropy as well as the magnetocaloric potential, $\Delta S$. We have plotted several curves that shows precisely the behavior of this effect when dealt with non-extensive statistics.


title: A Proof There Exists Infinitely Many Primes with a Gap of Exactly 2

abstract: This document seeks to prove there are infinitely many primes whose difference is 2, referred to as twin prime pairs. This proof's methodology involves constructing a function that approximates the number of positive integers, less than a known twin prime pair, which can be mapped to a twin prime pair greater than the known one by multiplication. This function is shown to be unbounded and less than the true count of integers it seeks to approximate for the majority of twin prime pairs. Additionally, it is shown there must be infinitely many integers that map a twin prime pair to one larger than itself without the use of the previously mentioned approximation.


title: Asymptotically tight worst case complexity bounds for initial-value problems with nonadaptive information

abstract: It is known that, for systems of initial-value problems, algorithms using adaptive information perform much better in the worst case setting than the algorithms using nonadaptive information. In the latter case, lower and upper complexity bounds significantly depend on the number of equations. However, in contrast with adaptive information, existing lower and upper complexity bounds for nonadaptive information are not asymptotically tight. In this paper, we close the gap in the complexity exponents, showing asymptotically matching bounds for nonadaptive standard information, as well as for a more general class of nonadaptive linear information.


title: An Extended Laplace Approximation Method for Bayesian Inference of Self-Exciting Spatial-Temporal Models of Count Data

abstract: Self-Exciting models are statistical models of count data where the probability of an event occurring is influenced by the history of the process. In particular, self-exciting spatio-temporal models allow for spatial dependence as well as temporal self-excitation. For large spatial or temporal regions, however, the model leads to an intractable likelihood. An increasingly common method for dealing with large spatio-temporal models is by using Laplace approximations (LA). This method is convenient as it can easily be applied and is quickly implemented. However, as we will demonstrate in this manuscript, when applied to self-exciting Poisson spatial-temporal models, Laplace Approximations result in a significant bias in estimating some parameters. Due to this bias, we propose using up to sixth-order corrections to the LA for fitting these models. We will demonstrate how to do this in a Bayesian setting for Self-Exciting Spatio-Temporal models. We will further show there is a limited parameter space where the extended LA method still has bias. In these uncommon instances we will demonstrate how a more computationally intensive fully Bayesian approach using the Stan software program is possible in those rare instances. The performance of the extended LA method is illustrated with both simulation and real-world data.


title: Total Roto-Translational Variation

abstract: We consider curvature depending variational models for image regularization, such as Euler's elastica. These models are known to provide strong priors for the continuity of edges and hence have important applications in shape-and image processing. We consider a lifted convex representation of these models in the roto-translation space: In this space, curvature depending variational energies are represented by means of a convex functional defined on divergence free vector fields. The line energies are then easily extended to any scalar function. It yields a natural generalization of the total variation to the roto-translation space. As our main result, we show that the proposed convex representation is tight for characteristic functions of smooth shapes. We also discuss cases where this representation fails. For numerical solution, we propose a staggered grid discretization based on an averaged Raviart-Thomas finite elements approximation. This discretization is consistent, up to minor details, with the underlying continuous model. The resulting non-smooth convex optimization problem is solved using a first-order primal-dual algorithm. We illustrate the results of our numerical algorithm on various problems from shape-and image processing.


title: An example of non-uniqueness for Radon transforms with continuous positive rotation invariant weights

abstract: We consider weighted Radon transforms $R_W$ along hyperplanes in $R^3$ with strictly positive weights $W$. We construct an example of such a transform with non-trivial kernel $\mathrm{Ker}R_W$ in the space of infinitely smooth compactly supported functions and with continuous weight. Moreover, in this example the weight $W$ is rotation invariant. In particular, by this result we continue studies of Quinto (1983), Markoe, Quinto (1985), Boman (1993) and Goncharov, Novikov (2017). We also extend our example to the case of weighted Radon transforms along two-dimensional planes in $R^d$ , $d \geq 3$.


title: Equilibrium distributions and discrete Schur-constant models

abstract: This paper introduces Schur-constant equilibrium distribution models of dimension n for arithmetic non-negative random variables. Such a model is defined through the (several orders) equilibrium distributions of a univariate survival function. First, the bivariate case is considered and analyzed in depth, stressing the main characteristics of the Poisson case. The analysis is then extended to the multivariate case. Several properties are derived, including the implicit correlation and the distribution of the sum.


title: Zero sequences, factorization and sampling measures for weighted Bergman spaces

abstract: The zero sets of the Bergman space $A^p_\omega$ induced by either a radial weight $\omega$ admitting a certain doubling property or a non-radial Bekoll\'e-Bonami type weight are characterized in the spirit of Luecking's results from 1996. Accurate results obtained en route to this characterization are used to generalize Horowitz's factorization result from 1977 for functions in $A^p_\omega$. The utility of the obtained factorization is illustrated by applications to integration and composition operators as well as to small Hankel operator induced by a conjugate analytic symbol. Dominating sets and sampling measures for the weighted Bergman space $A^p_\omega$ induced by a doubling weight are also studied. Several open problems related to the scheme of the paper are posed.


title: The singular set of minimal surfaces near polyhedral cones

abstract: We adapt the method of Simon [JDG '93] to prove a $C^{1,\alpha}$-regularity theorem for minimal varifolds which resemble a cone $\bf{C}_0^2$ over an equiangular geodesic net. For varifold classes admitting a "no-hole" condition on the singular set, we additionally establish $C^{1,\alpha}$-regularity near the cone $\bf{C}_0^2 \times \mathbb R^m$. Combined with work of Allard [Ann. of Math. '72], Simon [JDG '93], Taylor [Ann. of Math. '76], and Naber-Valtorta [Ann. of Math. '17], our result implies a $C^{1,\alpha}$-structure for the top three strata of minimizing clusters and size-minimizing currents, and a Lipschitz structure on the $(n-3)$-stratum.


title: A variational inequality formulation for transonic compressible steady potential flows: Radially symmetric transonic shock

abstract: We establish a variational inequality formulation that captures the transonic shock for a steady compressible potential flow. Its critical point satisfies the transonic equation; moreover the associated jump conditions across its free boundary match the usual Rankine-Hugoniot jump conditions for a shock. By means of example we validate our formulation, and establish the necessary and sufficient condition for the existence of a transonic shock. Numerical results are also discussed.


title: An Isolated Microlens Observed from K2, Spitzer and Earth

abstract: We present the result of microlensing event MOA-2016-BLG-290, which received observations from the two-wheel Kepler (K2), Spitzer, as well as ground-based observatories. A joint analysis of data from K2 and the ground leads to two degenerate solutions of the lens mass and distance. This degeneracy is effectively broken once the (partial) Spitzer light curve is included. Altogether, the lens is found to be an extremely low-mass star located in the Galactic bulge. MOA-2016-BLG-290 is the first microlensing event for which we have signals from three well-separated ($\sim1$ AU) locations. It demonstrates the power of two-satellite microlensing experiment in reducing the ambiguity of lens properties, as pointed out independently by S. Refsdal and A. Gould several decades ago.


title: HTS YBCO Resonator Configuration with Coplanar Optimized Flux Concentrator Strongly Coupled to rf SQUID

abstract: We developed a novel magnetic coupling module formed of a monolayer superconducting flux concentrator, which is integrated with a coplanar resonator strongly coupled to HTS rf-SQUID. Three types of resonators, including a long stripline resonator between input loop and pick-up loop of the flux concentrator, a complementary split ring resonator (CSRR), and also a spiral shape inside the input loop are explored. The resonance quality factors as well as the coupling to the SQUID of different patterns of these three types of the resonators is evaluated using Finite Element Method (FEM) simulations. Several readout methods to couple the electronic system to the resonators are tested, including inductive (coil) and capacitive (transmission line) couplings, and the optimum readout is reported for each of the resonators. Among the evaluated resonator types, a spiral shape resonator with optimal design showing the highest quality factor (5900) together with the strongest coupling to the SQUID (-0.5 dB) at resonance frequency of 836 MHz, is fabricated using 200 nm thick superconducting YBCO on a 1 mm thick crystalline LaAlO3 substrate. The flux concentrator of the module is optimized by the variation of its linewidths and also its input loop radius to obtain maximum flux transformation efficiency.


title: Probing New Physics in Low Energy Solar Neutrino Oscillation Data

abstract: We explore the effects of nonstandard neutrino interactions in the lower components of the solar neutrino spectrum which are predominant by the vacuum oscillations. The recent measurements of Borexino experiment between 2011 and 2015 provide a clean test to study the nonstandard neutrino interactions at the source (sun) and the at solar detector. In this work, first the possible standard model parameters are estimated from the combined data of the low energy regime and then the nonstandard effects at the source, at the detector, and from the interplay between source and detector parameters are bounded. The same effects are also investigated for the proposed experiments like LENA and Jinpin Neutrino Experiment with their projected sensitivities.


title: Emergence of long-ranged stress correlations at the liquid to glass transition

abstract: A theory for the non-local shear stress correlations in supercooled liquids is derived from first principles. It captures the crossover from viscous to elastic dynamics at an idealized liquid to glass transition and explains the emergence of long-ranged stress correlations in glass, as expected from classical continuum elasticity. The long-ranged stress correlations can be traced to the coupling of shear stress to transverse momentum, which is ignored in the classic Maxwell model. To rescue this widely used model, we suggest a generalization in terms of a single relaxation time $\tau$ for the fast degrees of freedom only. This generalized Maxwell model implies a divergent correlation length $\xi\propto\tau$ as well as dynamic critical scaling and correctly accounts for the far-field stress correlations. It can be rephrased in terms of generalized hydrodynamic equations, which naturally couple stress and momentum and furthermore allow to connect to fluidity and elasto-plastic models.


title: Finding Large Primes

abstract: In this paper we present and expand upon procedures for obtaining large d digit prime number to an arbitrary probability. We use a layered approach. The first step is to limit the pool of random number to exclude numbers that are obviously composite. We first remove any number ending in 1,3,7 or 9. We then exclude numbers whose digital root is not 3, 6, or 9. This sharply reduces the probability of the random number being composite. We then use the Prime Number Theorem to find the probability that the selected number n is prime and use primality tests to increase the probability to an arbitrarily high degree that n is prime. We apply primality tests including Euler's test based on Fermat Little theorem and the Miller-Rabin test. We computed these conditional probabilities and implemented it using the GNU GMP library.


title: Coupled dynamics in gluon mass generation and the impact of the three-gluon vertex

abstract: We present a detailed study of the subtle interplay transpiring at the level of two integral equations that are instrumental for the dynamical generation of a gluon mass in pure Yang-Mills theories. The main novelty is the joint treatment of the Schwinger-Dyson equation governing the infrared behaviour of the gluon propagator and of the integral equation that controls the formation of massless bound-state excitations, whose inclusion is instrumental for obtaining massive solutions from the former equation. The self-consistency of the entire approach imposes the requirement of using a single value for the gauge coupling entering in the two key equations; its fulfillment depends crucially on the details of the three-gluon vertex, which contributes to both of them, but with different weight. In particular, the characteristic suppression of this vertex at intermediate and low energies enables the convergence of the iteration procedure to a single gauge coupling, whose value is reasonably close to that extracted from related lattice simulations.


title: Magnetization and Anisotropy of Cobalt Ferrite Thin Films

abstract: The magnetization of thin films of cobalt ferrite frequently falls far below the bulk value of 455 kAm-1, which corresponds to an inverse cation distribution in the spinel structure with a significant orbital moment of about 0.6 muB that is associated with the octahedrally-coordinated Co2+ ions. The orbital moment is responsible for the magnetostriction and magnetocrystalline anisotropy, and its sensitivity to imposed strain. We have systematically investigated the structure and magnetism of films produced by pulsed-laser deposition on different substrates (TiO2, MgO, MgAl2O4, SrTiO3, LSAT, LaAlO3) and as a function of temperature (500-700 C) and oxygen pressure (10-4 - 10 Pa). Magnetization at room-temperature ranges from 60 to 440 kAm-1, and uniaxial substrate-induced anisotropy ranges from +220 kJm-3 for films on deposited on MgO (100) to -2100 kJm-3 for films deposited on MgAl2O4 (100), where the room-temperature anisotropy field reaches 14 T. No rearrangement of high-spin Fe3+ and Co2+ cations on tetrahedral and octahedral sites can reduce the magnetization below the bulk value, but a switch from Fe3+ and Co2+ to Fe2+ and low-spin Co3+ on octahedral sites will reduce the low-temperature magnetization to 120 kAm-1, and a consequent reduction of Curie temperature can bring the room-temperature value to near zero. Possible reasons for the appearance of low-spin cobalt in the thin films are discussed. Keywords; Cobalt ferrite, thin films, pulsed-laser deposition, low-spin Co3+, strain engineering of magnetization.


title: An optimization approach for dynamical Tucker tensor approximation

abstract: An optimization-based approach for the Tucker tensor approximation of parameter-dependent data tensors and solutions of tensor differential equations with low Tucker rank is presented. The problem of updating the tensor decomposition is reformulated as fitting problem subject to the tangent space without relying on an orthogonality gauge condition. A discrete Euler scheme is established in an alternating least squares framework, where the quadratic subproblems reduce to trace optimization problems, that are shown to be explicitly solvable and accessible using SVD of small size. In the presence of small singular values, instability for larger ranks is reduced, since the method does not need the (pseudo) inverse of matricizations of the core tensor. Regularization of Tikhonov type can be used to compensate for the lack of uniqueness in the tangent space. The method is validated numerically and shown to be stable also for larger ranks in the case of small singular values of the core unfoldings. Higher order explicit integrators of Runge-Kutta type can be composed.


title: Electronic structure of gadolinium complexes in ZnO in the GW approximation

abstract: The role of intrinsic defects has been investigated to determine binding energies and the electronic structure of Gd complexes in ZnO. We use density-functional theory and the GW method to show that the presence of vacancies and interstitials affect the electronic structure of Gd doped ZnO. However, the strong localization of the Gd-$f$ and $d$ states suggest that carrier mediated ferromagnetism in this material may be difficult to achieve.


title: Superfield Approach to Nilpotency and Absolute Anticommutativity of Conserved Charges: 2D non-Abelian 1-Form Gauge Theory

abstract: We exploit the theoretical strength of augmented version of superfield approach (AVSA) to Becchi-Rouet-Stora-Tyutin (BRST) formalism to express the nilpotency and absolute anticommutativity properties of the (anti-)BRST and (anti-)co-BRST conserved charges for the two $(1+1)$-dimensional (2D) non-Abelian 1-form gauge theory (without any interaction with matter fields) in the language of superspace variables, their derivatives and suitable superfields. In the proof of absolute anticommutativity property, we invoke the strength of Curci-Ferrari (CF) condition for the (anti-)BRST charges. No such outside condition/restriction is required in the proof of absolute anticommutativity of the (anti-)co-BRST conserved charges. The latter observation (as well as other observations) connected with (anti-)co-BRST symmetries and corresponding conserved charges are novel results of our present investigation. We also discuss the (anti-)BRST and (anti-)co-BRST symmetry invariance of the appropriate Lagrangian densities within the framework of AVSA. In addition, we dwell a bit on the derivation of the above fermionic (nilpotent) symmetries by applying the AVSA to BRST formaism where only the (anti-)chiral superfields are used.


title: Multistate dynamical processes on networks: Analysis through degree-based approximation frameworks

abstract: Multistate dynamical processes on networks, where nodes can occupy one of a multitude of discrete states, are gaining widespread use because of their ability to recreate realistic, complex behaviour that cannot be adequately captured by simpler binary-state models. In epidemiology, multistate models are employed to predict the evolution of real epidemics, while multistate models are used in the social sciences to study diverse opinions and complex phenomena such as segregation. In this paper, we introduce generalized approximation frameworks for the study and analysis of multistate dynamical processes on networks. These frameworks are degree-based, allowing for the analysis of the effect of network connectivity structures on dynamical processes. We illustrate the utility of our approach with the analysis of two specific dynamical processes from the epidemiological and physical sciences. The approximation frameworks that we develop, along with open-source numerical solvers, provide a unifying framework and a valuable suite of tools for the interdisciplinary study of multistate dynamical processes on networks.


title: Secure Coding Practices in Java: Challenges and Vulnerabilities

abstract: Java platform and third-party libraries provide various security features to facilitate secure coding. However, misusing these features can cost tremendous time and effort of developers or cause security vulnerabilities in software. Prior research was focused on the misuse of cryptography and SSL APIs, but did not explore the key fundamental research question: what are the biggest challenges and vulnerabilities in secure coding practices? In this paper, we conducted a comprehensive empirical study on StackOverflow posts to understand developers' concerns on Java secure coding, their programming obstacles, and potential vulnerabilities in their code. We observed that developers have shifted their effort to the usage of authentication and authorization features provided by Spring security--a third-party framework designed to secure enterprise applications. Multiple programming challenges are related to APIs or libraries, including the complicated cross-language data handling of cryptography APIs, and the complex Java-based or XML-based approaches to configure Spring security. More interestingly, we identified security vulnerabilities in the suggested code of accepted answers. The vulnerabilities included using insecure hash functions such as MD5, breaking SSL/TLS security through bypassing certificate validation, and insecurely disabling the default protection against Cross Site Request Forgery (CSRF) attacks. Our findings reveal the insufficiency of secure coding assistance and education, and the gap between security theory and coding practices.


title: Historical Review of Recurrence Plots

abstract: In the last two decades recurrence plots (RPs) were introduced in many different scientific disciplines. It turned out how powerful this method is. After introducing approaches of quantification of RPs and by the study of relationships between RPs and fundamental properties of dynamical systems, this method attracted even more attention. After 20 years of RPs it is time to summarise this development in a historical context.


title: Deep Learning Assisted Heuristic Tree Search for the Container Pre-marshalling Problem

abstract: The container pre-marshalling problem (CPMP) is concerned with the re-ordering of containers in container terminals during off-peak times so that containers can be quickly retrieved when the port is busy. The problem has received significant attention in the literature and is addressed by a large number of exact and heuristic methods. Existing methods for the CPMP heavily rely on problem-specific components (e.g., proven lower bounds) that need to be developed by domain experts with knowledge of optimization techniques and a deep understanding of the problem at hand. With the goal to automate the costly and time-intensive design of heuristics for the CPMP, we propose a new method called Deep Learning Heuristic Tree Search (DLTS). It uses deep neural networks to learn solution strategies and lower bounds customized to the CPMP solely through analyzing existing (near-) optimal solutions to CPMP instances. The networks are then integrated into a tree search procedure to decide which branch to choose next and to prune the search tree. DLTS produces the highest quality heuristic solutions to the CPMP to date with gaps to optimality below 2% on real-world sized instances.


title: Content Recommendation through Semantic Annotation of User Reviews and Linked Data - An Extended Technical Report

abstract: Nowadays, most recommender systems exploit user-provided ratings to infer their preferences. However, the growing popularity of social and e-commerce websites has encouraged users to also share comments and opinions through textual reviews. In this paper, we introduce a new recommendation approach which exploits the semantic annotation of user reviews to extract useful and non-trivial information about the items to recommend. It also relies on the knowledge freely available in the Web of Data, notably in DBpedia and Wikidata, to discover other resources connected with the annotated entities. We evaluated our approach in three domains, using both DBpedia and Wikidata. The results showed that our solution provides a better ranking than another recommendation method based on the Web of Data, while it improves in novelty with respect to traditional techniques based on ratings. Additionally, our method achieved a better performance with Wikidata than DBpedia.


title: Nonclassicality of induced coherence without induced emission

abstract: Interference of two beams produced at separate biphoton sources was first observed more than two decades ago. The phenomenon, often called "induced coherence without induced emission", has recently gained attention after its applications to imaging, spectroscopy, and measuring biphoton correlations have been discovered. The sources used in the corresponding experiments are nonlinear crystals pumped by laser light. The use of a laser pump makes the occurrence of induced (stimulated) emission unavoidable and the effect of stimulated emission can be observed in the joint detection rate of the two beams. This fact raises the question whether the stimulated emission also lays a role in inducing the coherence. Here we investigate a case in which the crystals are pumped with a single-photon Fock state. We find that coherence is induced even though the possibility of stimulated emission is now fully ruled out. Furthermore, the joint detection rate of the two beams becomes ideally zero and does no longer change with the pump power. We illustrate our results by numerical simulations and by comparisons with experimental findings. Our results rule out any classical or semi-classical explanation of the phenomenon and also imply that similar experiments can be performed with fermions, for which stimulated emission is strictly forbidden.


title: Open star clusters in the Milky Way - Comparison of photometric and trigonometric distance scales based on Gaia TGAS data

abstract: The global survey of star clusters in the Milky Way (MWSC) is a comprehensive list of 3061 objects that provides, among other parameters, distances to clusters based on isochrone fitting. The Tycho-Gaia Astrometric Solution (TGAS) catalogue, which is a part of Gaia data release 1 (Gaia DR1), delivers accurate trigonometric parallax measurements for more than 2 million stars, including those in star clusters. We compare the open cluster photometric distance scale with the measurements given by the trigonometric parallaxes from TGAS to evaluate the consistency between these values. The average parallaxes of probable cluster members available in TGAS provide the trigonometric distance scale of open clusters, while the photometric scale is given by the distances published in the MWSC. Sixty-four clusters are suited for comparison as they have more than 16 probable members with parallax measurements in TGAS. We computed the average parallaxes of the probable members and compared these to the photometric parallaxes derived within the MWSC. We find a good agreement between the trigonometric TGAS-based and the photometric MWSC-based distance scales of open clusters, which for distances less than 2.3 kpc coincide at a level of about 0.1 mas with no dependence on the distance. If at all, there is a slight systematic offset along the Galactic equator between $30^\circ$ and $160^\circ$ galactic longitude.


title: Accurate and Efficient Evaluation of Characteristic Modes

abstract: A new method to improve the accuracy and efficiency of characteristic mode (CM) decomposition for perfectly conducting bodies is presented. The method uses the expansion of the Green dyadic in spherical vector waves. This expansion is utilized in the method of moments (MoM) solution of the electric field integral equation to factorize the real part of the impedance matrix. The factorization is then employed in the computation of CMs, which improves the accuracy as well as the computational speed. An additional benefit is a rapid computation of far fields. The method can easily be integrated into existing MoM solvers. Several structures are investigated illustrating the improved accuracy and performance of the new method.


title: Exact bidirectional X-wave solutions in fiber Bragg gratings

abstract: We find exact solutions describing bidirectional pulses propagating in fiber Bragg gratings. They are derived by solving the coupled-mode theory equations and are expressed in terms of products of modified Bessel functions with algebraic functions. Depending on the values of the two free parameters the general bidirectional X-wave solution can also take the form of a unidirectional pulse. We analyze the symmetries and the asymptotic properties of the solutions and also discuss about additional waveforms that are obtained by interference of more than one solutions. Depending on their parameters such pulses can create a sharp focus with high contrast.


title: Detection and Characterization of Extrasolar Planets through Mean-Motion Resonances. II. The Effect of the Planet's Orbital Eccentricity on Debris Disk Structures

abstract: Structures observed in debris disks may be caused by gravitational interaction with planetary or stellar companions. These perturbed disks are often thought to indicate the presence of planets and offer insights into the properties of both the disk and the perturbing planets. Gaps in debris disks may indicate a planet physically present within the gap, but such gaps can also occur away from the planet's orbit at mean-motion resonances (MMRs), and this is the focus of our interest here. We extend our study of planet-disk interaction through MMRs, presented in an earlier paper, to systems in which the perturbing planet has moderate orbital eccentricity, a common occurrence in exoplanetary systems. In particular, a new result is that the 3:1 MMR becomes distinct at higher eccentricity, while its effects are absent for circular planetary orbits. We also only consider gravitational interaction with a planetary body of at least 1 Jupiter mass. Our earlier work shows that even a 1 Earth mass planet can theoretically open an MMR gap; however, given the narrow gap that can be opened by a low-mass planet, its observability would be questionable. We find that the widths, locations, and shapes of two prominent structures, the 2:1 and 3:1 MMRs, could be used to determine the mass, semimajor axis, and eccentricity of the planetary perturber and present an algorithm for doing so. These MMR structures can be used to narrow the position and even determine the planetary properties (such as mass) of any inferred but as-yet-unseen planets within a debris disk. We also briefly discuss the implications of eccentric disks on brightness asymmetries and their dependence on the wavelengths with which these disks are observed.


title: Seasonal evolution of $\mathrm{C_2N_2}$, $\mathrm{C_3H_4}$, and $\mathrm{C_4H_2}$ abundances in Titan's lower stratosphere

abstract: We study the seasonal evolution of Titan's lower stratosphere (around 15~mbar) in order to better understand the atmospheric dynamics and chemistry in this part of the atmosphere. We analysed Cassini/CIRS far-IR observations from 2006 to 2016 in order to measure the seasonal variations of three photochemical by-products: $\mathrm{C_4H_2}$, $\mathrm{C_3H_4}$, and $\mathrm{C_2N_2}$. We show that the abundances of these three gases have evolved significantly at northern and southern high latitudes since 2006. We measure a sudden and steep increase of the volume mixing ratios of $\mathrm{C_4H_2}$, $\mathrm{C_3H_4}$, and $\mathrm{C_2N_2}$ at the south pole from 2012 to 2013, whereas the abundances of these gases remained approximately constant at the north pole over the same period. At northern mid-latitudes, $\mathrm{C_2N_2}$ and $\mathrm{C_4H_2}$ abundances decrease after 2012 while $\mathrm{C_3H_4}$ abundances stay constant. The comparison of these volume mixing ratio variations with the predictions of photochemical and dynamical models provides constraints on the seasonal evolution of atmospheric circulation and chemical processes at play.


title: Control strategies for road risk mitigation in kinetic traffic modelling

abstract: In this paper we present a Boltzmann-type kinetic approach to the modelling of road traffic, which includes control strategies at the level of microscopic binary interactions aimed at the mitigation of speed-dependent road risk factors. Such a description is meant to mimic a system of driver-assist vehicles, which by responding locally to the actions of their drivers can impact on the large-scale traffic dynamics, including those related to the collective road risk and safety.


title: Dynamics of entanglement entropy of interacting fermions in a 1D driven harmonic trap

abstract: Following up on a recent analysis of two cold atoms in a time-dependent harmonic trap in one dimension, we explore the entanglement entropy of two and three fermions in the same situation when driven through a parametric resonance. We find that the presence of such a resonance in the two-particle system leaves a clear imprint on the entanglement entropy. We show how the signal is modified by attractive and repulsive contact interactions, and how it remains present for the three-particle system. Additionaly, we extend the work of recent experiments to demonstrate how restricting observation to a limited subsystem gives rise to locally thermal behavior.


title: A kinetic model for very low temperature dilute Bose gases

abstract: We review recent work on a kinetic model for very low temperature dilute Bose gases. The brief derivation, expressions for hydrodynamics modes, and the comparison with a experiment on a BEC of $^{87}{\rm Rb}$ atoms are presented.


title: Valence band splitting in bulk dilute bismides

abstract: The electronic structure of bulk GaAs$_{1-x}$Bi$_x$ systems for different atomic configurations and Bi concentrations is calculated using density functional theory. The results show a Bi-induced splitting between the light-hole and heavy-hole bands at the $\Gamma$-point. We find a good agreement between our calculated splittings and experimental data. The magnitude of the splitting strongly depends on the local arrangement of the Bi atoms but not on the uni-directional lattice constant of the supercell. The additional influence of external strain due to epitaxial growth on GaAs substrates is studied by fixing the in-plane lattice constants.


title: A topological source of quantum light

abstract: Quantum light sources are characterized by their distinctive statistical distribution of photons. For example, single photons and correlated photon pairs exhibit antibunching and reduced variance in the number distribution that is impossible with classical light. Most common realizations of quantum light sources have relied on spontaneous parametric processes such as down-conversion (SPDC) and four-wave mixing (SFWM). These processes are mediated by vacuum fluctuations of the electromagnetic field. Therefore, by manipulating the electromagnetic mode structure, for example, using nanophotonic systems, one can engineer the spectrum of generated photons. However, such manipulations are susceptible to fabrication disorders which are ubiquitous in nanophotonic systems and lead to device-to-device variations in the spectrum of generated photons. Here, we demonstrate topologically robust mode engineering of the electromagnetic vacuum fluctuations and implement a nanophotonic quantum light source where the spectrum of generated photons is robust against fabrication disorders. Specifically, we use the topological edge states to achieve an enhanced and robust generation of correlated photon pairs using SFWM and show that they outperform their topologically-trivial counterparts. We demonstrate the non-classical nature of our source using conditional antibunching of photons which confirms that we have realized a robust source of heralded single photons. Such topological effects, which are unique to bosonic systems, could pave the way for the development of robust quantum photonic devices.


title: Recovering sparse graphs

abstract: We construct a fixed parameter algorithm parameterized by d and k that takes as an input a graph G' obtained from a d-degenerate graph G by complementing on at most k arbitrary subsets of the vertex set of G and outputs a graph H such that G and H agree on all but f(d,k) vertices. Our work is motivated by the first order model checking in graph classes that are first order interpretable in classes of sparse graphs. We derive as a corollary that if G_0 is a graph class with bounded expansion, then the first order model checking is fixed parameter tractable in the class of all graphs that can obtained from a graph G from G_0 by complementing on at most k arbitrary subsets of the vertex set of G; this implies an earlier result that the first order model checking is fixed parameter tractable in graph classes interpretable in classes of graphs with bounded maximum degree.


title: Thermodynamical aspects of black holes in modified gravity

abstract: We discuss some thermodynamical definitions for black holes in modified theories of gravity.


title: Cross-phase modulation mediated pulse control with Airy pulses in optical fibers

abstract: We show that the velocity and thus the frequency of a signal pulse can be adjusted by the use of a control Airy pulse. In particular, we utilize a nonlinear Airy pulse which, via cross-phase modulation, creates an effective potential for the optical signal. Interestingly, during the interaction, the signal dispersion is suppressed. Importantly, the whole process is controllable and by using Airy pulses with different truncations leads to predetermined values of the frequency shifting. Such a functionality might be useful in wavelength division multiplexing networks.


title: Higher Derivative Mimetic Gravity

abstract: We study cosmological perturbations in mimetic gravity in the presence of classified higher derivative terms which can make the mimetic perturbations stable. We show that the quadratic higher derivative terms which are independent of curvature and the cubic higher derivative terms which come from curvature corrections are sufficient to remove instabilities in mimetic perturbations. The advantage of working with the classified higher derivative terms is that we can control both the background and the perturbation equations allowing us to construct the higher derivative extension of mimetic dark matter and the mimetic nonsingular bouncing scenarios. The latter can be thought as a new higher derivative effective action for the loop quantum cosmology scenario in which the equations of motion coincide with those suggested by loop quantum cosmology. We investigate a possible connection between the mimetic cosmology and the Randall-Sundrum cosmology.


title: Invoking Chiral Vector Leptoquark to explain LFU violation in B Decays

abstract: LHCb has recently reported more than $2\sigma$ deviation from the Standard Model prediction in the observable $R_{J/\psi}$. We study this anomaly in the framework of a vector leptoquark along with other lepton flavor universality violating measurements which include $R_{K^{(*)}}$, and $R_{D^{(*)}}$. We show that a chiral vector leptoquark can explain all the aforementioned anomalies consistently while also respecting other experimental constraints.


title: Computing Treewidth on the GPU

abstract: We present a parallel algorithm for computing the treewidth of a graph on a GPU. We implement this algorithm in OpenCL, and experimentally evaluate its performance. Our algorithm is based on an $O^*(2^{n})$-time algorithm that explores the elimination orderings of the graph using a Held-Karp like dynamic programming approach. We use Bloom filters to detect duplicate solutions. GPU programming presents unique challenges and constraints, such as constraints on the use of memory and the need to limit branch divergence. We experiment with various optimizations to see if it is possible to work around these issues. We achieve a very large speed up (up to $77\times$) compared to running the same algorithm on the CPU.


title: Communicating Finite-State Machines and Two-Variable Logic

abstract: Communicating finite-state machines are a fundamental, well-studied model of finite-state processes that communicate via unbounded first-in first-out channels. We show that they are expressively equivalent to existential MSO logic with two first-order variables and the order relation.


title: Temperature and doping induced instabilities of the repulsive Hubbard model on Lieb lattice

abstract: The properties of a phase at finite interactions can be significantly influenced by the underlying dispersion of the non-interacting Hamiltonian. We demonstrate this by studying the repulsive Hubbard model on the $2$D Lieb lattice, which has a flat band for vanishing interaction $U$. We perform real-space dynamical mean-field theory calculations at different temperatures and dopings using a continuous time quantum Monte Carlo impurity solver. Studying the frequency dependence of the self-energy, we show that a finite temperature non-magnetic non-Fermi liquid behavior is a concomitant of the flat band singularity. At half-filling we also find a magnetically ordered region, where the order parameter varies linearly with the interaction strength, and a strongly correlated Mott insulating phase. The double occupancy decreases sharply for small $U$, highlighting the flat band contribution. Away from half-filling, we observe the stripe order, i.e. an inhomogeneous spin and charge density wave of finite wavelength which turns into a sub-lattice ordering at higher temperatures.


title: Gauge Theory and Integrability, I

abstract: Several years ago, it was proposed that the usual solutions of the Yang-Baxter equation associated to Lie groups can be deduced in a systematic way from four-dimensional gauge theory. In the present paper, we extend this picture, fill in many details, and present the arguments in a concrete and down-to-earth way. Many interesting effects, including the leading nontrivial contributions to the $R$-matrix, the operator product expansion of line operators, the framing anomaly, and the quantum deformation that leads from $\mathfrak{g}[[z]]$ to the Yangian, are computed explicitly via Feynman diagrams. We explain how rational, trigonometric, and elliptic solutions of the Yang-Baxter equation arise in this framework, along with a generalization that is known as the dynamical Yang-Baxter equation.


title: Premise Selection for Theorem Proving by Deep Graph Embedding

abstract: We propose a deep learning-based approach to the problem of premise selection: selecting mathematical statements relevant for proving a given conjecture. We represent a higher-order logic formula as a graph that is invariant to variable renaming but still fully preserves syntactic and semantic information. We then embed the graph into a vector via a novel embedding method that preserves the information of edge ordering. Our approach achieves state-of-the-art results on the HolStep dataset, improving the classification accuracy from 83% to 90.3%.


title: Quasi-periodic oscillations from post-shock accretion column of polars

abstract: A set of strongly magnetized accreting white dwarfs (polars) shows quasi-periodic oscillations (QPOs) with frequency about a Hz in their optical luminosity. These Hz-frequency QPOs are thought to be generated by intensity variations of the emitted radiation originating at the post-shock accretion column. Thermal instability in the post-shock region, triggered by efficient cooling process at the base, is believed to be the primary reason behind the temporal variability. Here we study the structure and the dynamical properties of the post-shock accretion column including the effects of bremsstrahlung and cyclotron radiation. We find that the presence of significant cyclotron emission in optical band reduces the overall variability of the post-shock region. In the case of a larger post-shock region above the stellar surface, the effects of stratification due to stellar gravity becomes important. An accretion column, influenced by the strong gravity, has a smaller variability as the strength of the thermal instability at the base of the column is reduced. On the other hand, the cool, dense plasma, accumulated just above the stellar surface, may enhance the post-shock variability due to the propagation of magnetic perturbations. These characteristics of the post-shock region are consistent with the observed properties of V834~Cen and in general with Cataclysmic Variable sources that exhibit QPO frequency of about a Hz.


title: A density-driven first-order phase transition in liquid sulfur

abstract: First-order phase transitions are characterized by a discontinuous first derivative of the Gibbs free energy, so that volumes and entropies are discontinuous. Such transitions are common in the crystalline state, but extremely rare in liquid substances and experimentally evidenced in only one pure element, phosphorus. Here we report combined in-situ Raman scattering, X-ray diffraction and density measurements that support the existence of a first-order liquid-liquid transition in sulfur at high pressures and temperatures. The transformation involves a sharp density jump between two structurally and dynamically distinct liquids. The first-order phase transition proceeds through an initial stage of temperature induced polymerization and a final stage where the low-density liquid abruptly converts to a denser polymeric state. This unique feature is explained by competing effects of pressure and temperature.


title: Designing Disordered Hyperuniform Two-Phase Materials with Novel Physical Properties

abstract: Heterogeneous materials consisting of different phases are ideally suited to achieve a broad spectrum of desirable bulk physical properties by combining the best features of the constituents through the strategic spatial arrangement of the different phases. Disordered hyperuniform heterogeneous materials are new, exotic amorphous matter that behave like crystals in the manner in which they suppress volume-fraction fluctuations at large length scales, and yet are isotropic with no Bragg peaks. In this paper, we formulate for the first time a Fourier-space numerical construction procedure to design at will a wide class of disordered hyperuniform two-phase materials with prescribed spectral densities, which enables one to tune the degree and length scales at which this suppression occurs. We demonstrate that the anomalous suppression of volume-fraction fluctuations in such two-phase materials endow them with novel and often optimal transport and electromagnetic properties. Specifically, we construct a family of phase-inversion-symmetric materials with variable topological connectedness properties that remarkably achieves a well-known explicit formula for the effective electrical (thermal) conductivity. Moreover, we design disordered stealthy hyperuniform dispersion that possesses nearly optimal effective conductivity while being statistically isotropic. Interestingly, all of our designed materials are transparent to electromagnetic radiation for certain wavelengths, which is a common attribute of all hyperuniform materials. Our constructed materials can be readily realized by 3D printing and lithographic technologies. We expect that our designs will be potentially useful for energy-saving materials, batteries and aerospace applications.


title: Negative index and mode coupling in all-dielectric metamaterials at terahertz frequencies

abstract: We report on the role of the coupling of the modes of Mie resonances in all-dielectric metamaterials to ensure negative effective index at terahertz frequencies. We study this role according to the lattice period and according to the frequency overlapping of the modes of resonance. We show that negative effective refractive index requires sufficiently strong mode coupling and that for even more strong mode coupling, the first two modes of Mie resonances are degenerated; the effective refractive index is then undeterminded. We also show that adjusting the mode coupling leads to near-zero effective index, or even null effective index. Further, we compare the mode coupling effect with hybridization in metamaterials.


title: An \'etale realization which does not exist

abstract: For a global field, local field, or finite field $k$ with infinite Galois group, we show that there can not exist a functor from the Morel--Voevodsky $\mathbb{A}^1$-homotopy category of schemes over $k$ to a genuine Galois equivariant homotopy category satisfying a list of hypotheses one might expect from a genuine equivariant category and an \'etale realization functor. For example, these hypotheses are satisfied by genuine $\mathbb{Z}/2$-spaces and the $\mathbb{R}$-realization functor constructed by Morel--Voevodsky. This result does not contradict the existence of \'etale realization functors to (pro-)spaces, (pro-)spectra or complexes of modules with actions of the absolute Galois group when the endomorphisms of the unit is not enriched in a certain sense. It does restrict enrichments to representation rings of Galois groups.


title: Using Blockchain and smart contracts for secure data provenance management

abstract: Blockchain technology has evolved from being an immutable ledger of transactions for cryptocurrencies to a programmable interactive the environment for building distributed reliable applications. Although, blockchain technology has been used to address various challenges, to our knowledge none of the previous work focused on using blockchain to develop a secure and immutable scientific data provenance management framework that automatically verifies the provenance records. In this work, we leverage blockchain as a platform to facilitate trustworthy data provenance collection, verification, and management. The developed system utilizes smart contracts and open provenance model (OPM) to record immutable data trails. We show that our proposed framework can efficiently and securely capture and validate provenance data, and prevent any malicious modification to the captured data as long as the majority of the participants are honest.


title: Fermion zero mode associated with instantonlike self-dual solution to lattice Euclidean gravity

abstract: We prove the existence of lattice fermion zero mode associated with self-dual lattice gravity solution.


title: Some Inequalities Related to Ricci Curvatures for Lagrangian Submanifolds of Kahler QCH-manifolds

abstract: By establishing two general quadratic inequalities, we obtain some inequalities related to Ricci curvatures for Lagrangian submanifolds of K$\ddot{\mathrm{a}}$hler QCH-manifolds, which generalize some results for Lagrangian submanifolds of complex space forms.


title: Beta-Function Identities via Probabilistic Approach

abstract: Using a probabilistic approach, we derive several interesting identities involving beta functions. Our results generalize certain well-known combinatorial identities involving binomial coefficients and gamma functions.


title: Constructions of L$_{\infty}$ algebras and their field theory realizations

abstract: We construct L$_{\infty}$ algebras for general `initial data' given by a vector space equipped with an antisymmetric bracket not necessarily satisfying the Jacobi identity. We prove that any such bracket can be extended to a 2-term L$_{\infty}$ algebra on a graded vector space of twice the dimension, with the 3-bracket being related to the Jacobiator. While these L$_{\infty}$ algebras always exist, they generally do not realize a non-trivial symmetry in a field theory. In order to define L$_{\infty}$ algebras with genuine field theory realizations, we prove the significantly more general theorem that if the Jacobiator takes values in the image of any linear map that defines an ideal there is a 3-term L$_{\infty}$ algebra with a generally non-trivial 4-bracket. We discuss special cases such as the commutator algebra of octonions, its contraction to the `R-flux algebra', and the Courant algebroid.


title: Short time behaviour for game-theoretic $p$-caloric functions

abstract: We consider the solution of $u_t-\Delta^G_p u=0$ in a (not necessarily bounded) domain, satisfying $u=0$ initially and $u=1$ on the boundary at all times. Here, $\Delta^G_p u$ is the game-theoretic or normalized $p$-laplacian. We derive new precise asymptotic formulas for short times, that generalize the work of S. R. S. Varadhan for large deviations and that of the second author and S. Sakaguchi for the heat content of a ball touching the boundary. We also compute the short-time behavior of the $q$-mean of $u$ on such a ball. Applications to time-invariant level surfaces of $u$ are then derived.


title: Hypergraph expanders from Cayley graphs

abstract: We present a simple mechanism, which can be randomised, for constructing sparse $3$-uniform hypergraphs with strong expansion properties. These hypergraphs are constructed using Cayley graphs over $\mathbb{Z}_2^t$ and have vertex degree which is polylogarithmic in the number of vertices. Their expansion properties, which are derived from the underlying Cayley graphs, include analogues of vertex and edge expansion in graphs, rapid mixing of the random walk on the edges of the skeleton graph, uniform distribution of edges on large vertex subsets and the geometric overlap property.


title: Massive Dirac fermions in a ferromagnetic kagome metal

abstract: The kagome lattice is a two-dimensional network of corner-sharing triangles known as a platform for exotic quantum magnetic states. Theoretical work has predicted that the kagome lattice may also host Dirac electronic states that could lead to topological and Chern insulating phases, but these have evaded experimental detection to date. Here we study the d-electron kagome metal Fe$_3$Sn$_2$ designed to support bulk massive Dirac fermions in the presence of ferromagnetic order. We observe a temperature independent intrinsic anomalous Hall conductivity persisting above room temperature suggestive of prominent Berry curvature from the time-reversal breaking electronic bands of the kagome plane. Using angle-resolved photoemission, we discover a pair of quasi-2D Dirac cones near the Fermi level with a 30 meV mass gap that accounts for the Berry curvature-induced Hall conductivity. We show this behavior is a consequence of the underlying symmetry properties of the bilayer kagome lattice in the ferromagnetic state with atomic spin-orbit coupling. This report provides the first evidence for a ferromagnetic kagome metal and an example of emergent topological electronic properties in a correlated electron system. This offers insight into recent discoveries of exotic electronic behavior in kagome lattice antiferromagnets and may provide a stepping stone toward lattice model realizations of fractional topological quantum states.


title: Ascertaining Uncertainty for Efficient Exact Cache Analysis

abstract: Static cache analysis characterizes a program's cache behavior by determining in a sound but approximate manner which memory accesses result in cache hits and which result in cache misses. Such information is valuable in optimizing compilers, worst-case execution time analysis, and side-channel attack quantification and mitigation.Cache analysis is usually performed as a combination of `must' and `may' abstract interpretations, classifying instructions as either `always hit', `always miss', or `unknown'. Instructions classified as `unknown' might result in a hit or a miss depending on program inputs or the initial cache state. It is equally possible that they do in fact always hit or always miss, but the cache analysis is too coarse to see it.Our approach to eliminate this uncertainty consists in (i) a novel abstract interpretation able to ascertain that a particular instruction may definitely cause a hit and a miss on different paths, and (ii) an exact analysis, removing all remaining uncertainty, based on model checking, using abstract-interpretation results to prune down the model for scalability.We evaluated our approach on a variety of examples; it notably improves precision upon classical abstract interpretation at reasonable cost.


title: Probing low-mass vector bosons with parity nonconservation and nuclear anapole moment measurements in atoms and molecules

abstract: In the presence of P-violating interactions, the exchange of vector bosons between electrons and nucleons induces parity-nonconserving (PNC) effects in atoms and molecules, while the exchange of vector bosons between nucleons induces anapole moments of nuclei. We perform calculations of such vector-mediated PNC effects in Cs, Ba$^+$, Yb, Tl, Fr and Ra$^+$ using the same relativistic many-body approaches as in earlier calculations of standard-model PNC effects, but with the long-range operator of the weak interaction. We calculate nuclear anapole moments due to vector boson exchange using a simple nuclear model. From measured and predicted (within the standard model) values for the PNC amplitudes in Cs, Yb and Tl, as well as the nuclear anapole moment of $^{133}$Cs, we constrain the P-violating vector-pseudovector nucleon-electron and nucleon-proton interactions mediated by a generic vector boson of arbitrary mass. Our limits improve on existing bounds from other experiments by many orders of magnitude over a very large range of vector-boson masses.


title: Advanced capabilities for materials modelling with Quantum ESPRESSO

abstract: Quantum ESPRESSO is an integrated suite of open-source computer codes for quantum simulations of materials using state-of-the art electronic-structure techniques, based on density-functional theory, density-functional perturbation theory, and many-body perturbation theory, within the plane-wave pseudo-potential and projector-augmented-wave approaches. Quantum ESPRESSO owes its popularity to the wide variety of properties and processes it allows to simulate, to its performance on an increasingly broad array of hardware architectures, and to a community of researchers that rely on its capabilities as a core open-source development platform to implement theirs ideas. In this paper we describe recent extensions and improvements, covering new methodologies and property calculators, improved parallelization, code modularization, and extended interoperability both within the distribution and with external software.


title: Robustness of persistent currents in two-dimensional Dirac systems with disorders

abstract: We consider two-dimensional (2D) Dirac quantum ring systems formed by the infinite mass constraint. When an Aharonov-Bohm magnetic flux is present, e.g., through the center of the ring domain, persistent currents, i.e., permanent currents without dissipation, can arise. In real materials, impurities and defects are inevitable, raising the issue of robustness of the persistent currents. Using localized random potential to simulate the disorders, we investigate how the ensemble averaged current magnitude varies with the disorder density. For comparison, we study the nonrelativistic quantum counterpart by analyzing the solutions of the Schr\"{o}dinger equation under the same geometrical and disorder settings. We find that, for the Dirac ring system, as the disorder density is systematically increased, the average current decreases slowly initially and then plateaus at a finite nonzero value, indicating remarkable robustness of the persistent currents. The physical mechanism responsible for the robustness is the emergence of a class of boundary states - whispering gallery modes. In contrast, in the Schr\"{o}dinger ring system, such boundary states cannot form and the currents diminish rapidly to zero with increase in the disorder density. We develop a physical theory based on a quasi one-dimensional approximation to understand the striking contrast in the behaviors of the persistent currents in the Dirac and Schr\"{o}dinger rings. Our 2D Dirac ring systems with disorders can be experimentally realized, e.g., on the surface of a topological insulator with natural or deliberately added impurities from the fabrication process.