title: Star Formation Rates of Massive Molecular Clouds in the Central Molecular Zone

abstract: We investigate star formation at very early evolutionary phases in five massive clouds in the inner 500 pc of the Galaxy, the Central Molecular Zone. Using interferometer observations of H$_2$O masers and ultra-compact H II regions, we find evidence of ongoing star formation embedded in cores of 0.2 pc scales and $\gtrsim$10$^5$ cm$^{-3}$ densities. Among the five clouds, Sgr C possesses a high (9%) fraction of gas mass in gravitationally bound and/or protostellar cores, and follows the dense ($\gtrsim$10$^4$ cm$^{-3}$) gas star formation relation that is extrapolated from nearby clouds. The other four clouds have less than 1% of their cloud masses in gravitationally bound and/or protostellar cores, and star formation rates 10 times lower than predicted by the dense gas star formation relation. At the spatial scale of these cores, the star formation efficiency is comparable to that in Galactic disk sources. We suggest that the overall inactive star formation in these Central Molecular Zone clouds could be because there is much less gas confined in gravitationally bound cores, which may be a result of the strong turbulence in this region and/or the very early evolutionary stage of the clouds when collapse has only recently started.


title: Duality of the nonreflexive Bergman space of the upper half plane and Composition groups

abstract: We identify the predual of the nonreflexive Bergman space of the upper half plane, $L_a^1(\uP,\mu_{\al})$, with the little Bloch space of the upper half plane consisting of functions vanishing at $i$. We then investigate both the semigroup and spectral properties of the adjoint groups of composition operators which are naturally obtained from the duality pairing and are therefore defined on the identified predual.


title: Weighted Composition Groups on the Little Bloch space

abstract: We determine both the semigroup and spectral properties of a group of weighted composition operators on the Little Bloch space. It turns out that these are strongly continuous groups of invertible isometries on the Bloch space. We then obtain the norm and spectra of the infinitesimal generator as well as the resulting resolvents which are given as integral operators. As consequences, we complete the analysis of the adjoint composition group on the predual on the nonreflexive Bergman space, and a group of isometries associated with a specific automorphism of the upper half plane.


abstract: Using the quadrature bases that incorporate the spatiotemporal degrees of freedom, we develop a Wigner functional theory for quantum optics, as an extension of the Moyal formalism. Since the spatiotemporal quadrature bases span the complete Hilbert space of all quantum optical states, it does not require factorization as a tensor product of discrete Hilbert spaces. The Wigner functions associated with such a space become functionals and operations are expressed by functional integrals -- the functional version of the star product. The resulting formalism enables tractable calculations for scenarios where both spatiotemporal degrees of freedom and particle-number degrees of freedom are relevant. To demonstrate the approach, we compute examples of Wigner functionals for a few well-known states and operators.


title: The mutual singularity of harmonic measure and Hausdorff measure of codimension smaller than one

abstract: Let $\Omega\subset\mathbb R^{n+1}$ be open and let $E\subset \partial\Omega$ with $0<H^s(E)<\infty$, for some $s\in(n,n+1)$, satisfy a local capacity density condition. In this paper it is shown that the harmonic measure cannot be mutually absolutely continuous with $H^s$ on $E$. This answers a question of Azzam and Mourgoglou, who had proved the same result under the additional assumption that $\Omega$ is a uniform domain.


title: A note on the automorphism group of the Hamming graph

abstract: Let $\Omega$ be a $m$-set, where $m>1$, is an integer. The Hamming graph $H(n,m)$, has $\Omega ^{n}$ as its vertex-set, with two vertices are adjacent if and only if they differ in exactly one coordinate. In this paper, we provide a proof on the automorphism group of the Hamming graph $H(n,m)$, by using elementary facts of group theory and graph theory.


title: Plastic scintillator detector with the readout based on an array of large-area SiPMs for the ND280/T2K upgrade and SHiP experiments

abstract: Plastic scintillator detectors have been extensively used in particle physics experiments for decades. A large-scale detector is typically arranged as an array of staggered long bars which provide a fast trigger signal and/or particle identification via time-of-flight measurements. Scintillation light is collected by photosensors coupled to both ends of every bar. In this article, we present our study on a direct replacement of commonly used vacuum photomultiplier tubes (PMTs) by arrays of large-area silicon photomultipliers (SiPMs). An SiPM array which is directly coupled to the scintillator bulk, has a clear advantage with respect to a PMT: compactness, mechanical robustness, high PDE, low operation voltage, insensitivity to magnetic field, low material budget, possibility to omit light-guides. In this study, arrays of eight 6 x 6 mm2 area SiPMs were coupled to the ends of plastic scintillator bars with 1.68 m and 2.3 m lengths. An 8 channel SiPM anode readout ASIC (eMUSIC) was used for the readout, amplification and summation of signals of individual SiPMs. Timing characteristics of a large-scale detector prototype were studied in test-beams at the CERN PS. This technology is proposed for the ToF system of the ND280/T2K II upgrade at J-PARC and the timing detector of the SHiP experiment at the CERN SPS.


title: Self-Attentive Model for Headline Generation

abstract: Headline generation is a special type of text summarization task. While the amount of available training data for this task is almost unlimited, it still remains challenging, as learning to generate headlines for news articles implies that the model has strong reasoning about natural language. To overcome this issue, we applied recent Universal Transformer architecture paired with byte-pair encoding technique and achieved new state-of-the-art results on the New York Times Annotated corpus with ROUGE-L F1-score 24.84 and ROUGE-2 F1-score 13.48. We also present the new RIA corpus and reach ROUGE-L F1-score 36.81 and ROUGE-2 F1-score 22.15 on it.


title: May a dissipative environment be beneficial for quantum annealing?

abstract: We discuss the quantum annealing of the fully-connected ferromagnetic $ p $-spin model in a dissipative environment at low temperature. This model, in the large $ p $ limit, encodes in its ground state the solution to the Grover's problem of searching in unsorted databases. In the framework of the quantum circuit model, a quantum algorithm is known for this task, providing a quadratic speed-up with respect to its best classical counterpart. This improvement is not recovered in adiabatic quantum computation for an isolated quantum processor. We analyze the same problem in the presence of a low-temperature reservoir, using a Markovian quantum master equation in Lindblad form, and we show that a thermal enhancement is achieved in the presence of a zero temperature environment moderately coupled to the quantum annealer.


title: Extracting the pomeron-pomeron-$f_{2}(1270)$ coupling in the $p p \to p p \pi^{+} \pi^{-}$ reaction through angular distributions of the pions

abstract: We discuss how to extract the pomeron-pomeron-$f_2(1270)$ ($\mathbb{P} \mathbb{P} f_2(1270)$) coupling within the tensor-pomeron model. The general $\mathbb{P} \mathbb{P} f_2(1270)$ coupling is a combination of seven basic couplings (tensorial structures). To study these tensorial structures we propose to measure the central-exclusive production of a $\pi^+ \pi^-$ pair in the invariant mass region of the $f_2(1270)$ meson. An analysis of angular distributions in the $\pi^+ \pi^-$ rest system, using the Collins-Soper (CS) and the Gottfried-Jackson (GJ) frames, turns out to be particularly relevant for our purpose. For both frames the $\cos\theta_{\pi^{+}}$ and $\phi_{\pi^{+}}$ distributions are discussed. We find that the azimuthal angle distributions in these frames are fairly sensitive to the choice of the $\mathbb{P} \mathbb{P} f_2$ coupling. We show results for the resonance case alone as well as when the dipion continuum is included. We show the influence of the experimental cuts on the angular distributions in the context of dedicated experimental studies at RHIC and LHC energies. Absorption corrections are included for our final distributions.


title: H\"older Continuity of the Spectra for Aperiodic Hamiltonians

abstract: We study the spectral location of strongly pattern equivariant Hamiltonians arising through configurations on a colored lattice. Roughly speaking, two configurations are "close to each other" if, up to a translation, they "almost coincide" on a large fixed ball. The larger this ball is, the more similar they are, and this induces a metric on the space of the corresponding dynamical systems. Our main result states that the map which sends a given configuration into the spectrum of its associated Hamiltonian, is H\"older (even Lipschitz) continuous in the usual Hausdorff metric. Specifically, the spectral distance of two Hamiltonians is estimated by the distance of the corresponding dynamical systems.


title: A Gelfand-Levitan trace formula for generic quantum graphs

abstract: We formulate and prove a Gelfand-Levitan trace formula for general quantum graphs with arbitrary edge lengths and coupling conditions which cover all self-adjoint operators on quantum graphs, except for a set of measure zero. The formula is reminiscent of the original Gelfand-Levitan result on the segment with Neumann boundary conditions.


title: Interior curvature estimates for hypersurfaces of prescribing scalar curvature in dimension three

abstract: We prove a priori interior curvature estimates for hypersurfaces of prescribing scalar curvature equations in dimension three. The method is motivated by the integral method of Warren and Yuan. The new observation here is that the "Lagrangian" submanifold constructed similarly as Harvey and Lawson has bounded mean curvature if the graph function of a hypersurface satisfies the scalar curvature equation.


title: Simulated XUV Photoelectron Spectra of THz-pumped Liquid Water

abstract: Highly intense, sub-picosecond terahertz (THz) pulses can be used to induce ultrafast temperature jumps (T-jumps) in liquid water. A supercritical state of gas-like water with liquid density is established, and the accompanying structural changes are expected to give rise to time-dependent chemical shifts. We investigate the possibility of using extreme ultraviolet (XUV) photoelectron spectroscopy as a probe for ultrafast dynamics induced by sub-picosecond THz pulses of varying intensities and frequencies. To this end, we use ab initio methods to calculate photoionization cross sections and photoelectron energies of (H2O)$_{20}$ clusters embedded in an aqueous environment represented by point charges. The cluster geometries are sampled from ab initio molecular dynamics simulations modeling the THz-water interactions. We find that the peaks in the valence photoelectron spectrum are shifted by up to 0.4 eV after the pump pulse, and that they are broadened with respect to unheated water. The shifts can be connected to structural changes caused by the heating, but due to saturation effects they are not sensitive enough to serve as a thermometer for T-jumped water.


title: A Fundamental Storage-Communication Tradeoff for Distributed Computing with Straggling Nodes

abstract: Placement delivery arrays for distributed computing (Comp-PDAs) have recently been proposed as a framework to construct universal computing schemes for MapReduce-like systems. In this work, we extend this concept to systems with straggling nodes, i.e., to systems where a subset of the nodes cannot accomplish the assigned map computations in due time. Unlike most previous works that focused on computing linear functions, our results are universal and apply for arbitrary map and reduce functions. Our contributions are as follows. Firstly, we show how to construct a universal coded computing scheme for MapReduce-like systems with straggling nodes from any given Comp-PDA. We also characterize the storage and communication loads of the resulting scheme in terms of the Comp-PDA parameters. Then, we prove an information-theoretic converse bound on the storage-communication (SC) tradeoff achieved by universal computing schemes with straggling nodes. We show that the information-theoretic bound matches the performance achieved by the coded computing schemes with straggling nodes corresponding to the Maddah-Ali and Niesen (MAN) PDAs, i.e., to the Comp-PDAs describing Maddah-Ali and Niesen's coded caching scheme. Interestingly, the same Comp-PDAs (the MAN-PDAs) are optimal for any number of straggling nodes, which implies that the map phase of optimal coded computing schemes does not need to be adapted to the number of stragglers in the system. We finally prove that while the points that lie exactly on the fundamental SC tradeoff cannot be achieved with Comp-PDAs that require smaller number of files than the MAN-PDAs, this is possible for some of the points that lie close to the SC tradeoff. For these latter points, the decrease in the requested number of files can be exponential in the number of nodes of the system.


title: Quantum teleportation through atmospheric channels

abstract: We study the Kimble-Braunstein continuous-variable quantum teleportation with the quantum channel physically realized in the turbulent atmosphere. In this context, we examine the applicability of different strategies preserving the Gaussian entanglement [Bohmann et al., Phys. Rev. A 94, 010302(R) (2016)] for improving the fidelity of the coherent-state teleportation. First, we demonstrate that increasing the squeezing parameter characterizing the entangled state is restricted by its optimal value, which we derive for realistic experimentally-verified examples. Further, we consider the technique of adaptive correlations of losses and show its performance for channels with large squeezing parameters. Finally, we investigate the efficiencies of postselection strategies in dependence on the stochastic properties of the channel transmittance.


title: Construction of One-Bit Transmit-Signal Vectors for Downlink MU-MISO Systems with PSK Signaling

abstract: We study a downlink multi-user multiple-input single-output (MU-MISO) system in which the base station (BS) has a large number of antennas with cost-effective one-bit digital-to-analog converters (DACs). In this system, we first identify that antenna-selection can yield a non-trivial symbol-error-rate (SER) performance gain by alleviating an error-floor problem. Likewise the previous works on one-bit precoding, finding an optimal transmit-signal vector (encompassing precoding and antenna-selection) requires exhaustive-search due to its combinatorial nature. Motivated by this, we propose a low-complexity two-stage algorithm to directly obtain such transmit-signal vector. In the first stage, we obtain a feasible transmit-signal vector via iterative-hard-thresholding algorithm where the resulting vector ensures that each user's noiseless observation is belong to a desired decision region. In the second stage, a bit-flipping algorithm is employed to refine the feasible vector so that each user's received signal is more robust to additive Gaussian noises. Via simulation results, we demonstrate that the proposed method can yield a more elegant performance-complexity tradeoff than the existing one-bit precoding methods.


title: Space very long baseline interferometry in China

abstract: Space very long baseline interferometry (VLBI) has unique applications in high-resolution imaging of fine structure of astronomical objects and high-precision astrometry due to the key long space-Earth or space-space baselines beyond the Earth's diameter. China has been actively involved in the development of space VLBI in recent years. This review briefly summarizes China's research progress in space VLBI and the future development plan.


title: Accelerated relaxation and suppressed dynamic heterogeneity in a kinetically constrained (East) model with swaps

abstract: We introduce a kinetically constrained spin model with a local softness parameter, such that spin flips can violate the kinetic constraint with an (annealed) site-dependent rate. We show that adding MC swap moves to this model can dramatically accelerate structural relaxation. We discuss the connection of this observation with the fact that swap moves are also able to accelerate relaxation in structural glasses. We analyse the rates of relaxation in the model. We also show that the extent of dynamical heterogeneity is strongly suppressed by the swap moves.


title: Predictive Scotogenic Model with Flavor Dependent Symmetry

abstract: In this paper, we propose a viable approach to realise two texture-zeros in the scotogenic model with flavor dependent $U(1)_{B-2L_\alpha-L_\beta}$ gauge symmetry. These models are extended by two right-handed singlets $N_{Ri}$ and two inert scalar doublets $\eta_{i}$, which are odd under the dark $Z_2$ symmetry. Among all the six constructed textures, texture $A_1$ and $A_2$ are the only two allowed by current experimental limits. Then choosing texture $A_1$ derived from $U(1)_{B-2L_e-L_\tau}$, we perform a detail analysis on the corresponding phenomenology such as predictions of neutrino mixing parameters, lepton flavor violation, dark matter and collider signatures. One distinct nature of such model is that the structure of Yukawa coupling $\bar{L}\tilde{\eta}N_R$ is fixed by neutrino oscillation data, and can be further tested by measuring the branching ratios of charged scalars $\eta_{1,2}^\pm$.


title: Specific Heat Study of 1D and 2D Excitations in the Layered Frustrated Quantum Antiferromagnets Cs$_2$CuCl$_{4-x}$Br$_x$

abstract: We report an experimental and theoretical study of the low-temperature specific heat $C$ and magnetic susceptibility $\chi$ of the layered anisotropic triangular-lattice spin-1/2 Heisenberg antiferromagnets Cs$_2$CuCl$_{4-x}$Br$_x$ with $x$ = 0, 1, 2, and 4. We find that the ratio $J'/J$ of the exchange couplings ranges from 0.32 to $\approx 0.78$, implying a change (crossover or quantum phase transition) in the materials' magnetic properties from one-dimensional (1D) behavior for $J'/J < 0.6$ to two-dimensional (2D) behavior for $J'/J \approx 0.78$ behavior. For $J'/J < 0.6$, realized for $x$ = 0, 1, and 4, we find a magnetic contribution to the low-temperature specific heat, $C_{\rm m} \propto T$, consistent with spinon excitations in 1D spin-1/2 Heisenberg antiferromagnets. Remarkably, for $x$ = 2, where $J'/J \approx 0.78$ implies a 2D magnatic character, we also observe $C_{\rm m} \propto T$. This finding, which contrasts the prediction of $C_{\rm m} \propto T^2$ made by standard spin-wave theories, shows that Fermi-like statistics also plays a significant role for the magnetic excitations in frustrated spin-1/2 2D antiferromagnets.


title: Designing contrasts for rapid, simultaneous parameter quantification and flow visualization with quantitative transient-state imaging

abstract: Magnetic resonance imaging (MRI) is a remarkably powerful diagnostic technique: it generates wide-ranging information for the non-invasive study of tissue anatomy and physiology. Complementary data is normally obtained in separate measurements, either as contrast-weighted images, which are fast and simple to acquire, or as quantitative parametric maps, which offer an absolute quantification of underlying biophysical effects, such as relaxation times or flow. Here, we demonstrate how to acquire and reconstruct data in a transient-state with a dual purpose: 1 - to generate contrast-weighted images that can be adjusted to emphasise clinically relevant image biomarkers; exemplified with signal modulation according to flow to obtain angiography information, and 2 - to simultaneously infer multiple quantitative parameters with a single, highly accelerated acquisition. This is a achieved by introducing three novel elements: a model that accounts for flowing blood, a method for sequence design that incorporates both parameter encoding and signal contrast, and the reconstruction of temporally resolved contrast-weighted images. From these images we simultaneously obtain angiography projections and multiple quantitative maps. By doing so, we increase the amount of clinically relevant data without adding measurement time, creating new dimensions for biomarker exploration and adding value to MR examinations for patients and clinicians alike.


title: Galaxy structure with strong gravitational lensing: decomposing the internal mass distribution of massive elliptical galaxies

abstract: We investigate how strong gravitational lensing can test contemporary models of massive elliptical (ME) galaxy formation, by combining a traditional decomposition of their visible stellar distribution with a lensing analysis of their mass distribution. As a proof of concept, we study a sample of three ME lenses, observing that all are composed of two distinct baryonic structures, a `red' central bulge surrounded by an extended envelope of stellar material. Whilst these two components look photometrically similar, their distinct lensing effects permit a clean decomposition of their mass structure. This allows us to infer two key pieces of information about each lens galaxy: (i) the stellar mass distribution (without invoking stellar populations models) and (ii) the inner dark matter halo mass. We argue that these two measurements are crucial to testing models of ME formation, as the stellar mass profile provides a diagnostic of baryonic accretion and feedback whilst the dark matter mass places each galaxy in the context of LCDM large scale structure formation. We also detect large rotational offsets between the two stellar components and a lopsidedness in their outer mass distributions, which hold further information on the evolution of each ME. Finally, we discuss how this approach can be extended to galaxies of all Hubble types and what implication our results have for studies of strong gravitational lensing.


title: Probing the quantum phase transition in Mott insulator BaCoS_2 tuned by pressure and Ni-substitution

abstract: We present a muon spin relaxation study of the Mott transition in BaCoS_2 using two independent control parameters: (i) pressure p to tune the electronic bandwidth and (ii) Ni-substitution x on the Co site to tune the band filling. For both tuning parameters, the antiferromagnetic insulating state first transitions to an antiferromagnetic metal and finally to a paramagnetic metal without undergoing any structural phase transition. BaCoS_2 under pressure displays minimal change in the ordered magnetic moment S_ord until it collapses abruptly upon entering the antiferromagnetic metallic state at p_cr ~ 1.3 GPa. In contrast, S_ord in the Ni-doped system Ba(Co_{1-x}Ni_{x})S_{2} steadily decreases with increasing x until the antiferromagnetic metallic region is reached at x_cr ~ 0.22. In both cases, significant phase separation between magnetic and nonmagnetic regions develops when approaching p_cr or x_cr, and the antiferromagnetic metallic state is characterized by weak, random, static magnetism in a small volume fraction. No dynamical critical behavior is observed near the transition for either tuning parameter. These results demonstrate that the quantum evolution of both the bandwidth- and filling-controlled metal-insulator transition at zero temperature proceeds as a first-order transition. This behavior is common to magnetic Mott transitions in RENiO_3 and V_2O_3, which are accompanied by structural transitions without the formation of an antiferromagnetic metal phase.


title: Primordial black holes as dark matter and generators of cosmic structure

abstract: Primordial black holes (PBHs) could provide the dark matter but a variety of constraints restrict the possible mass windows to $10^{16} - 10^{17}$g, $10^{20} - 10^{24}$g and $10 - 10^3M_{\odot}$. The last possibility is of special interest in view of the recent detection of black-hole mergers by LIGO. PBHs larger than $10^3 M_{\odot}$ might have important cosmological consequences even if they have only a small fraction of the dark matter density. In particular, they could generate cosmological structures either individually through the "seed" effect or collectively through the "Poisson" effect, thereby alleviating some problems associated with the standard cold dark matter scenario.


title: The Synergy between VLBI and Gaia astrometry

abstract: With the publication of Gaia DR2, 1.3 billion stars now have public parallax and proper motion measurements. In this contribution, we compare the results for sources that have both optical and radio measurements, focusing on circumstellar masers. For these large, variable and bright AGB stars, the VLBI astrometry results can be more robust. Moreover, there are a number of applications where VLBI astrometry provides unique data for studying stellar populations and Galactic structure. The BeSSel project not only provides parallax and proper motions at much larger distances than Gaia can reach, but it also uniquely samples the spiral arms of the Galaxy. The evolved stars in the BAaDE sample can potentially constrain the dynamics and stellar content of the inner bulge and bar of the Milky Way, not reachable in the optical.


title: Harmonic concatenation of 1.5-femtosecond-pulses in the deep ultraviolet

abstract: Laser pulses with a duration of one femtosecond or shorter can be generated both in the IR-VIS and in the extreme UV, but the deep UV is a spectral region where such extremely short pulses have not yet been demonstrated. Here, a method for the synthesis of ultrashort pulses in the deep UV is demonstrated, which utilizes the temporal and spatial harmonics that are generated by two noncollinear IR-VIS pulses in a thin MgF2 plate. By controlling the groove-envelope phase of the IR-VIS pulses, spatial harmonics are concatenated to form deep UV waveforms with a duration of 1.5 fs.


title: Minimum-Polytope-Based Linear Programming Decoder for LDPC Codes via ADMM Approach

abstract: In this letter, we develop an efficient linear programming (LP) decoding algorithm for low-density parity-check (LDPC) codes. We first relax the maximum likelihood (ML) decoding problem to a LP problem by using check-node decomposition. Then, to solve the resulting LP problem, we propose an efficient iterative algorithm based on the alternating direction method of multipliers (ADMM) technique. In addition, the feasibility analysis of the proposed algorithm is presented. Furthermore, through exploiting the sparsity and orthogonality structures of the LP problem, the computational complexity of the proposed decoding algorithm increases linearly with the length of the LDPC code. Simulation results demonstrate that our proposed algorithm achieves better performance than other competing algorithms in terms of decoding time.


title: Interacting with the Internet of Things using Smart Contracts and Blockchain Technologies

abstract: Despite technological advances, most smart objects in the Internet of Things (IoT) cannot be accessed using technologies designed and developed for interacting with powerful Internet servers. IoT use cases involve devices that not only have limited resources, but also they are not always connected to the Internet and are physically exposed to tampering. In this paper, we describe the design, development, and evaluation of a smart contract-based solution that allows end-users to securely interact with smart devices. Our approach enables access control, Thing authentication, and payments in a fully decentralized setting, taking at the same time into consideration the limitations and constraints imposed by both blockchain technologies and the IoT paradigm. Our prototype implementation is based on existing technologies, i.e., Ethereum smart contracts, which makes it realistic and fundamentally secure.


title: FIRE6: Feynman Integral REduction with Modular Arithmetic

abstract: FIRE is a program performing reduction of Feynman integrals to master integrals. The C++ version of FIRE was presented in 2014. There have been multiple changes and upgrades since then including the possibility to use multiple computers for one reduction task and to perform reduction with modular arithmetic. The goal of this paper is to present the current version of FIRE.


title: A randomized strategy in the mirror game

abstract: Alice and Bob take turns (with Alice playing first) in declaring numbers from the set $[1,2N]$. If a player declares a number that was previously declared, that player looses and the other player wins. If all numbers are declared without repetition, the outcome is a tie. If both players have unbounded memory and play optimally, then the game will be tied. Garg and Schneider [ITCS 2019] showed that if Alice has unbounded memory, then Bob can secure a tie with $\log N$ memory, whereas if Bob has unbounded memory, then Alice needs memory linear in $N$ in order to secure a tie. Garg and Schneider also considered an {\em auxiliary matching} model in which Alice gets as an additional input a random matching $M$ over the numbers $[1,2N]$, and storing this input does not count towards the memory used by Alice. They showed that is this model there is a strategy for Alice that ties with probability at least $1 - \frac{1}{N}$, and uses only $O(\sqrt{N} (\log N)^2)$ memory. We show how to modify Alice's strategy so that it uses only $O((\log N)^3)$ space.


title: Gapless spin-liquid state in the structurally disorder-free triangular antiferromagnet NaYbO$_2$

abstract: We present the structural characterization and low-temperature magnetism of the triangular-lattice delafossite NaYbO$_2$. Synchrotron x-ray diffraction and neutron scattering exclude both structural disorder and crystal-electric-field randomness, whereas heat-capacity measurements and muon spectroscopy reveal the absence of magnetic order and persistent spin dynamics down to at least 70\,mK. Continuous magnetic excitations with the low-energy spectral weight accumulating at the $K$-point of the Brillouin zone indicate the formation of a novel spin-liquid phase in a triangular antiferromagnet. This phase is gapless and shows a non-trivial evolution of the low-temperature specific heat. Our work demonstrates that NaYbO$_2$ practically gives the most direct experimental access to the spin-liquid physics of triangular antiferromagnets.


title: Single determinant approximation for ground and excited states with accuracy comparable to that of the configuration interaction

abstract: It was realized from the early days of Chemical Physics (Rev. Mod. Phys. 35, 496 (1963)) that the energy $E_{HF}$ of the Slater determinant (SlDet) $|\Phi _{HF}\rangle$, obtained by the single particle Hartree-Fock (HF) equation, does not coincide with the minimum energy of the functional $\langle\Phi|H|\Phi \rangle$ where $|\Phi \rangle$ is a SlDet and $H$ is the many particle Hamiltonian. However, in most textbooks, there is no mention of this fact. In this paper, starting from a Slater determinant $|\Phi \rangle$ with its spin orbitals calculated by the standard HF equation or other approximation, we search for the maximum of the functional $|\langle\Phi ^{\prime }|H|\Phi \rangle|$, where $|\Phi ^{\prime }\rangle$ is a SlDet and $H$ is the exact Hamiltonian of an atom or a molecule. The element $|\langle\Phi _{1}|H|\Phi \rangle|$ with $|\Phi _{1}\rangle$ the maximizing $|\Phi ^{\prime }\rangle$ gives a value larger than $\langle\Phi|H|\Phi\rangle$. The next step is to calculate the corresponding maximum overlap $\langle\Phi_{2}|H|\Phi _{1}\rangle|$ and subsequently $|\langle\Phi _{n+1}|H|\Phi _{n}\rangle|$ until $|\langle\Phi _{m+1}|H|\Phi _{m}\rangle -\langle\Phi _{m-1}|H|\Phi _{m}\rangle|\leq\varepsilon$, where $\varepsilon $ determines the required numerical accuracy. We show that the sequence $a_{n}=|\langle\Phi _{n+1}|H|\Phi_{n}\rangle|$ is ascending and converges. We applied this procedure for determining the eigenstate energies of several configurations of H$_{3}$, the Lithium atom, LiH and Be. After comparing our values with those of the configuration interaction we found that our deviations are in the range 10$^{-5}~$to $10^{-8}$ and the ground state energy is significantly below that of the standard HF calculations.


title: An ADMM Algorithm for MPC-based Energy Management in Hybrid Electric Vehicles with Nonlinear Losses

abstract: In this paper we present a convex formulation of the Model Predictive Control (MPC) optimisation for energy management in hybrid electric vehicles, and an Alternating Direction Method of Multipliers (ADMM) algorithm for its solution. We develop a new proof of convexity for the problem that allows the nonlinear dynamics to be modelled as a linear system, then demonstrate the performance of ADMM in comparison with Dynamic Programming (DP) through simulation. The results demonstrate up to two orders of magnitude improvement in solution time for comparable accuracy against DP.


title: Active Perception based Formation Control for Multiple Aerial Vehicles

abstract: Autonomous motion capture (mocap) systems for outdoor scenarios involving flying or mobile cameras rely on i) a robotic front-end to track and follow a human subject in real-time while he/she performs physical activities, and ii) an algorithmic back-end that estimates full body human pose and shape from the saved videos. In this paper we present a novel front-end for our aerial mocap system that consists of multiple micro aerial vehicles (MAVs) with only on-board cameras and computation. In previous work, we presented an approach for cooperative detection and tracking (CDT) of a subject using multiple MAVs. However, it did not ensure optimal view-point configurations of the MAVs to minimize the uncertainty in the person's cooperatively tracked 3D position estimate. In this article we introduce an active approach for CDT. In contrast to cooperatively tracking only the 3D positions of the person, the MAVs can now actively compute optimal local motion plans, resulting in optimal view-point configurations, which minimize the uncertainty in the tracked estimate. We achieve this by decoupling the goal of active tracking as a convex quadratic objective and non-convex constraints corresponding to angular configurations of the MAVs w.r.t. the person. We derive it using Gaussian observation model assumptions within the CDT algorithm. We also show how we embed all the non-convex constraints, including those for dynamic and static obstacle avoidance, as external control inputs in the MPC dynamics. Multiple real robot experiments and comparisons involving 3 MAVs in several challenging scenarios are presented (video link : https://youtu.be/1qWW2zWvRhA). Extensive simulation results demonstrate the scalability and robustness of our approach. ROS-based source code is also provided.


title: A deep X-ray view of the Class I YSO Elias 29 with XMM-Newton and NuSTAR

abstract: [Abridged] We investigated the X-ray characteristics of the Class I YSO Elias 29 with joint XMM-Newton and NuSTAR observations of 300 ks and 450 ks, respectively. These are the first observations of a very young (<1 Myr) stellar object in a band encompassing simultaneously both soft and hard X-rays. In addition to the hot Fe complex at 6.7 keV, we observed fluorescent emission from Fe at $\sim6.4$ keV, confirming the previous findings. The line at 6.4 keV is detected during quiescent and flaring states and its flux is variable. The equivalent width is found varying in the $\approx 0.15--0.5$ keV range. These values make unrealistic a simple model with a centrally illuminated disk and suggest a role of the cavity containing Elias 29 and possibly reverberation processes that could occur in it. We observed two flares, with duration of 20 ks and 50 ks, respectively. We systematically observed an increase of $N_H$ during the flares of a factor five. This behavior has been observed during flares previously detected in Elias 29 with XMM-Newton and ASCA. The phenomenon hints that the flaring regions could be buried under the accretion streams and at high stellar latitudes, as the X-rays from flares pass through gas denser than the gas along the line of sight of the quiescent corona. In a different scenario, a contribution from scattered soft photons to the primary coronal emission could mimic a shallower $N_H$ in the quiescent spectrum. In the spectrum of the full NuSTAR exposure, we detect hard X-ray emission in the band $\approx20-80$ keV in excess with respect to the thermal emission. The hard X-ray emission could be due to a population of energetic electrons accelerated by the magnetic field along the accretion streams. These particles could concur to pumping up the Fe fluorescence of cold Fe of the disk along with X-ray photons with $E>7.11$ keV.


title: Transport properties from Charm to Bottom: $p_T$ suppression, anisotropic flow $v_n$ and their correlations to the bulk dynamics

abstract: We study the propagation of heavy quarks (HQs) in the quark-gluon plasma (QGP) by means of a relativistic Boltzmann transport (RBT) approach. The non-perturbative interaction between heavy quarks and light quarks is described by means of a quasi-particle approach able to describe simultaneously the experimental data for the nuclear suppression factor $R_{\rm AA}$ and the elliptic flow $v_2(p_T)$ of D mesons from RHIC to LHC energies. In the same framework we predict the B meson nuclear modification factor at LHC. Finally, we discuss the relevance of initial state fluctuations that allows to extend the analysis to high order anisotropic flows $v_n(p_T)$ as well as to investigate the role of QCD interaction in developing correlations between the light and the heavy flavour anisotropic flows.


title: Mollow triplet in cold atoms

abstract: In this paper, we measure the spectrum of light scattered by a cold atomic cloud driven by a strong laser beam. The experimental technique is based on heterodyne spectroscopy coupled to single-photon detectors and intensity correlations. At resonance, we observe the Mollow triplet. This spectrum is quantitatively compared to the theoretical one, emphasizing the influence of the temperature of the cloud and the finite-size of the laser beam. Off resonance measurements are also done showing a very good agreement with theory.


title: Global dynamics of a novel delayed logistic equation arising from cell biology

abstract: The delayed logistic equation (also known as Hutchinson's equation or Wright's equation) was originally introduced to explain oscillatory phenomena in ecological dynamics. While it motivated the development of a large number of mathematical tools in the study of nonlinear delay differential equations, it also received criticism from modellers because of the lack of a mechanistic biological derivation and interpretation. Here we propose a new delayed logistic equation, which has clear biological underpinning coming from cell population modelling. This nonlinear differential equation includes terms with discrete and distributed delays. The global dynamics is completely described, and it is proven that all feasible nontrivial solutions converge to the positive equilibrium. The main tools of the proof rely on persistence theory, comparison principles and an $L^2$-perturbation technique. Using local invariant manifolds, a unique heteroclinic orbit is constructed that connects the unstable zero and the stable positive equilibrium, and we show that these three complete orbits constitute the global attractor of the system. Despite global attractivity, the dynamics is not trivial as we can observe long-lasting transient oscillatory patterns of various shapes. We also discuss the biological implications of these findings and their relations to other logistic type models of growth with delays.


title: A topic on homogeneous vector bundles over elliptic orbits: A condition for the vector spaces of their cross-sections to be finite dimensional

abstract: In this paper we consider the complex vector spaces of holomorphic cross-sections of homogeneous holomorphic vector bundles over elliptic adjoint orbits, and provide a sufficient condition for the vector spaces to be finite dimensional in view of root systems.


title: Transient Hot Electron Dynamics in Single-Layer TaS$_2$

abstract: Using time- and angle-resolved photoemission spectroscopy, we study the response of metallic single layer TaS$_2$ in the 1H structural modification to the generation of excited carriers by a femtosecond laser pulse. A complex interplay of band structure modifications and electronic temperature increase is observed and analyzed by direct fits of model spectral functions to the two-dimensional (energy and $k$-dependent) photoemission data. Upon excitation, the partially occupied valence band is found to shift to higher binding energies by up to 150 meV, accompanied by electronic temperatures exceeding 3000~K. These observations are explained by a combination of temperature-induced shifts of the chemical potential, as well as temperature-induced changes in static screening. Both contributions are evaluated in a semi-empirical tight-binding model. The shift resulting from a change in the chemical potential is found to be dominant.


title: Totality for Mixed Inductive and Coinductive Types

abstract: This paper introduces an ML / Haskell like programming language with nested inductive and coinductive algebraic datatypes called chariot. Functions are defined by arbitrary recursive definitions and can thus lead to non-termination and other "bad" behavior. chariot comes with a //totality checker// that tags possibly ill-behaved definitions. Such a totality checker is mandatory in the context of proof assistants based on type theory like Agda.Proving correctness of this checker is far from trivial and relies on - an interpretation of types as parity games, - an interpretation of correct values as winning strategies for those games, - the Lee, Jones and Ben Amram's size-change principle, used to check that the strategies induced by recursive definitions are winning.This paper develops the first two points, the last step being the subject of an upcoming paper.A prototype has been implemented and can be used to experiment with the resulting totality checker, giving a practical argument in favor of this principle.


title: Rethinking Lossy Compression: The Rate-Distortion-Perception Tradeoff

abstract: Lossy compression algorithms are typically designed and analyzed through the lens of Shannon's rate-distortion theory, where the goal is to achieve the lowest possible distortion (e.g., low MSE or high SSIM) at any given bit rate. However, in recent years, it has become increasingly accepted that "low distortion" is not a synonym for "high perceptual quality", and in fact optimization of one often comes at the expense of the other. In light of this understanding, it is natural to seek for a generalization of rate-distortion theory which takes perceptual quality into account. In this paper, we adopt the mathematical definition of perceptual quality recently proposed by Blau & Michaeli (2018), and use it to study the three-way tradeoff between rate, distortion, and perception. We show that restricting the perceptual quality to be high, generally leads to an elevation of the rate-distortion curve, thus necessitating a sacrifice in either rate or distortion. We prove several fundamental properties of this triple-tradeoff, calculate it in closed form for a Bernoulli source, and illustrate it visually on a toy MNIST example.


title: Predicting Parkinson's Disease using Latent Information extracted from Deep Neural Networks

abstract: This paper presents a new method for medical diagnosis of neurodegenerative diseases, such as Parkinson's, by extracting and using latent information from trained Deep convolutional, or convolutional-recurrent Neural Networks (DNNs). In particular, our approach adopts a combination of transfer learning, k-means clustering and k-Nearest Neighbour classification of deep neural network learned representations to provide enriched prediction of the disease based on MRI and/or DaT Scan data. A new loss function is introduced and used in the training of the DNNs, so as to perform adaptation of the generated learned representations between data from different medical environments. Results are presented using a recently published database of Parkinson's related information, which was generated and evaluated in a hospital environment.


title: Coded Caching via Projective Geometry: A new low subpacketization scheme

abstract: Coded Caching is a promising solution to reduce the peak traffic in broadcast networks by prefetching the popular content close to end users and using coded transmissions. One of the chief issues of most coded caching schemes in literature is the issue of large $\textit{subpacketization}$, i.e., they require each file to be divided into a large number of subfiles. In this work, we present a coded caching scheme using line graphs of bipartite graphs in conjunction with projective geometries over finite fields. The presented scheme achieves a rate $\Theta(\frac{K}{\log_q{K}})$ ($K$ being the number of users, $q$ is some prime power) with $\textit{subexponential}$ subpacketization $q^{O((\log_q{K})^2)}$ when cached fraction is upper bounded by a constant ($\frac{M}{N}\leq \frac{1}{q^\alpha}$) for some positive integer $\alpha$). Compared to earlier schemes, the presented scheme has a lower subpacketization (albeit possessing a higher rate). We also present a new subpacketization dependent lower bound on the rate for caching schemes in which each subfile is cached in the same number of users. Compared to the previously known bounds, this bound seems to perform better for a range of parameters of the caching system.


title: AStERISK: Auction-based Shared Economy ResolutIon System for blocKchain

abstract: Recent developments in blockchains and edge computing allows to deploy decentralized shared economy with utility tokens, where altcoins secure and reward useful work. However, the majority of the systems being developed, does not provide mechanisms to pair workers and clients, or rely on manual and insecure resolution. AStERISK bridges this gap allowing to perform sealed-bid auctions on blockchains, automatically determine the most optimal price for services, and assign clients to the most suitable workers. AStERISK allows workers to specify a minimal price for their work, and hide submitted bids as well the identity of the bidders without relying on any centralized party at any point. We provide a smart contract implementation of AStERISK and show how to deploy it within the Filecoin network, and perform an initial benchmark on Chainspace.


title: On the Power of Symmetric Linear Programs

abstract: We consider families of symmetric linear programs (LPs) that decide a property of graphs (or other relational structures) in the sense that, for each size of graph, there is an LP defining a polyhedral lift that separates the integer points corresponding to graphs with the property from those corresponding to graphs without the property. We show that this is equivalent, with at most polynomial blow-up in size, to families of symmetric Boolean circuits with threshold gates. In particular, when we consider polynomial-size LPs, the model is equivalent to definability in a non-uniform version of fixed-point logic with counting (FPC). Known upper and lower bounds for FPC apply to the non-uniform version. In particular, this implies that the class of graphs with perfect matchings has polynomial-size symmetric LPs while we obtain an exponential lower bound for symmetric LPs for the class of Hamiltonian graphs. We compare and contrast this with previous results (Yannakakis 1991) showing that any symmetric LPs for the matching and TSP polytopes have exponential size. As an application, we establish that for random, uniformly distributed graphs, polynomial-size symmetric LPs are as powerful as general Boolean circuits. We illustrate the effect of this on the well-studied planted-clique problem.


title: The critical notes to the solutions of the "puzzle" of hyperfine structure in 82+ and 80+ $^{209}$Bi ions

abstract: Some aspects of description of the Bohr-Weisskopf effect in hyperfine splitting of the H- and Li-like ions of 209Bi are considered by application of the surface and volume models of the nuclear currents. Extension of these models, used in internal conversion theory, to description of the HFS allows one to successfully describe the effect, without resorting to the specific differences. The latters are shown not to be needed at all. Moreover, they turn out to depend on the nuclear model even stronger than the HFS values themselves. Comparison of the calculated HFS values to experiment shows a satisfactory agreement. Both models provide equally good description of the effect. However, they result in different values of the retrieved rms radius of the nuclear magnetization. In this respect, situation resembles the proton radius puzzle. Prospects of future research are discussed.


title: Towards Compact ConvNets via Structure-Sparsity Regularized Filter Pruning

abstract: The success of convolutional neural networks (CNNs) in computer vision applications has been accompanied by a significant increase of computation and memory costs, which prohibits its usage on resource-limited environments such as mobile or embedded devices. To this end, the research of CNN compression has recently become emerging. In this paper, we propose a novel filter pruning scheme, termed structured sparsity regularization (SSR), to simultaneously speedup the computation and reduce the memory overhead of CNNs, which can be well supported by various off-the-shelf deep learning libraries. Concretely, the proposed scheme incorporates two different regularizers of structured sparsity into the original objective function of filter pruning, which fully coordinates the global outputs and local pruning operations to adaptively prune filters. We further propose an Alternative Updating with Lagrange Multipliers (AULM) scheme to efficiently solve its optimization. AULM follows the principle of ADMM and alternates between promoting the structured sparsity of CNNs and optimizing the recognition loss, which leads to a very efficient solver (2.5x to the most recent work that directly solves the group sparsity-based regularization). Moreover, by imposing the structured sparsity, the online inference is extremely memory-light, since the number of filters and the output feature maps are simultaneously reduced. The proposed scheme has been deployed to a variety of state-of-the-art CNN structures including LeNet, AlexNet, VGG, ResNet and GoogLeNet over different datasets. Quantitative results demonstrate that the proposed scheme achieves superior performance over the state-of-the-art methods. We further demonstrate the proposed compression scheme for the task of transfer learning, including domain adaptation and object detection, which also show exciting performance gains over the state-of-the-arts.


title: Random Forest with Learned Representations for Semantic Segmentation

abstract: In this work, we present a random forest framework that learns the weights, shapes, and sparsities of feature representations for real-time semantic segmentation. Typical filters (kernels) have predetermined shapes and sparsities and learn only weights. A few feature extraction methods fix weights and learn only shapes and sparsities. These predetermined constraints restrict learning and extracting optimal features. To overcome this limitation, we propose an unconstrained representation that is able to extract optimal features by learning weights, shapes, and sparsities. We, then, present the random forest framework that learns the flexible filters using an iterative optimization algorithm and segments input images using the learned representations. We demonstrate the effectiveness of the proposed method using a hand segmentation dataset for hand-object interaction and using two semantic segmentation datasets. The results show that the proposed method achieves real-time semantic segmentation using limited computational and memory resources.


title: AspeRa: Aspect-based Rating Prediction Model

abstract: We propose a novel end-to-end Aspect-based Rating Prediction model (AspeRa) that estimates user rating based on review texts for the items and at the same time discovers coherent aspects of reviews that can be used to explain predictions or profile users. The AspeRa model uses max-margin losses for joint item and user embedding learning and a dual-headed architecture; it significantly outperforms recently proposed state-of-the-art models such as DeepCoNN, HFT, NARRE, and TransRev on two real world data sets of user reviews. With qualitative examination of the aspects and quantitative evaluation of rating prediction models based on these aspects, we show how aspect embeddings can be used in a recommender system.


title: Some identities involving second kind Stirling numbers of types $B$ and $D$

abstract: Using Reiner's definition of Stirling numbers of the second kind in types $B$ and $D$, we generalize two well-known identities concerning the classical Stirling numbers of the second kind. The first identity relates them with Eulerian numbers and the second identity interprets them as entries in a transition matrix between the elements of two standard bases of the polynomial ring $R[x]$. Finally, we generalize these identities to the group of colored permutations $G_{m,n}$.


title: Loop-erased walks and random matrices

abstract: It is well known that there are close connections between non-intersecting processes in one dimension and random matrices, based on the reflection principle. There is a generalisation of the reflection principle for more general (e.g. planar) processes, due to S. Fomin, in which the non-intersection condition is replaced by a condition involving loop-erased paths. In the context of independent Brownian motions in suitable planar domains, this also has close connections to random matrices. An example of this was first observed by Sato and Katori (Phys. Rev. E, 83, 2011). We present further examples which give rise to various Cauchy-type ensembles. We also extend Fomin's identity to the affine setting and show that in this case, by considering independent Brownian motions in an annulus, one obtains a novel interpretation of the circular orthogonal ensemble.


title: Observational Constraints in Nonlocal Gravity: the Deser-Woodard Case

abstract: We study the cosmology of a specific class of nonlocal model of modified gravity, the so-called Deser-Woodard (DW) model, modifying the Einstein-Hilbert action by a term $\sim R f(\Box^{-1}R)$, where $f$ is a free function. Choosing $f$ so as to reproduce the $\Lambda{\rm CDM}$ cosmological background expansion history within the nonlocal model, we implement the model in a cosmological linear Einstein--Boltzmann solver and study the deviations to GR the model induces in the scalar and tensor perturbations. We observe that the DW nonlocal model describes a modified propagation for the gravitational waves, as well as a lower linear growth rate and a stronger lensing power as compared to $\Lambda{\rm CDM}$, up to several percents. Such prominent growth and lensing features lead to the inference of a significantly smaller value of $\sigma_8$ with respect to the one in $\Lambda{\rm CDM}$, given \textit{Planck} CMB+lensing data. The prediction for the linear growth rate $f \sigma_8$ within the DW model is therefore significantly smaller than the one in $\Lambda{\rm CDM}$ and the addition of growth rate data $f \sigma_8$ from Redshift-space distortion measurements to \textit{Planck} CMB+lensing, opens a (dominant) tension between Redshift-space distortion data and the reconstructed \textit{Planck} CMB lensing potential. However, model selection issues only result in "weak" evidences for $\Lambda{\rm CDM}$ against the DW model given the data. Such a fact shows that the datasets we consider are not constraining enough for distinguishing between the models. As we discuss, the addition of galaxy WL data or cosmological constraints from future galaxy clustering, weak lensing surveys, but also third generation gravitational wave interferometers, prove to be useful for discriminating modified gravity models such as the DW one from $\Lambda{\rm CDM}$, within the close future.


title: Entanglement Swapping with Semiconductor-generated Photons

abstract: Transferring entangled states between photon pairs is essential for quantum communication technologies. Semiconductor quantum dots are the most promising candidate for generating polarization-entangled photons deterministically. Recent improvements in photonic quality and brightness now make them suited for complex quantum optical purposes in practical devices. Here we demonstrate for the first time swapping of entangled states between two pairs of photons emitted by a single quantum dot. A joint Bell measurement heralds the successful generation of the Bell state $\Psi^+$ with a fidelity of up to $0.81 \pm 0.04$. The state's nonlocal nature is confirmed by violating the CHSH-Bell inequality. Our photon source is compatible with atom-based quantum memories, enabling implementation of hybrid quantum repeaters. This experiment thus is a major step forward for semiconductor based quantum communication technologies.

categories: quant-ph cond-mat.mes-hall cond-mat.mtrl-sci physics.optics


title: Algorithms for the computation of the matrix logarithm based on the double exponential formula

abstract: We consider the computation of the matrix logarithm by using numerical quadrature. The efficiency of numerical quadrature depends on the integrand and the choice of quadrature formula. The Gauss--Legendre quadrature has been conventionally employed; however, the convergence could be slow for ill-conditioned matrices. This effect may stem from the rapid change of the integrand values. To avoid such situations, we focus on the double exponential formula, which has been developed to address integrands with endpoint singularity. In order to utilize the double exponential formula, we must determine a suitable finite integration interval, which provides the required accuracy and efficiency. In this paper, we present a method for selecting a suitable finite interval based on an error analysis as well as two algorithms, and one of these algorithms addresses error control.


title: Very special relativity induced phase in neutrino oscillation

abstract: In Very Special Relativity (VSR), the neutrino mass term is coupled with the VSR preferred axis, and hence Lorentz violating in nature. Beyond standard model physics predicts neutrino magnetic moment which is linearly proportional to the mass eigenstates of the neutrinos. We report an additive kinematic phase in the neutrino flavor oscillation due to the neutrino magnetic moment in the VSR framework. This phase is proportional to the coupling between the VSR preferred axis with the external magnetic field as well as the spin of the neutrino. Furthermore, we predict time variation in the neutrino oscillation with a period of one sidereal day.


title: Timing and characterization of shaped pulses with MHz ADCs in a detector system: a comparative study and deep learning approach

abstract: Timing systems based on Analog-to-Digital Converters are widely used in the design of previous high energy physics detectors. In this paper, we propose a new method based on deep learning to extract the time information from a finite set of ADC samples. Firstly, a quantitative analysis of the traditional curve fitting method regarding three kinds of variations (long-term drift, short-term change and random noise) is presented with simulation illustrations. Next, a comparative study between curve fitting and the neural networks is made to demonstrate the potential of deep learning in this problem. Simulations show that the dedicated network architecture can greatly suppress the noise RMS and improve timing resolution in non-ideal conditions. Finally, experiments are performed with the ALICE PHOS FEE card. The performance of our method is more than 20% better than curve fitting in the experimental condition.


title: Convergence of a Time Discretization for Nonlinear Second Order Inclusion

abstract: We study an abstract second order inclusion involving two nonlinear single-valued operators and a nonlinear multivalued term. Our goal is to establish the existence of solutions to the problem by applying numerical scheme based on time discretization. We show that the sequence of approximate solution converges weakly to a solution of the exact problem. We apply our abstract result to a dynamic, second order in time differential inclusion involving Clarke subdifferential of a locally Lipschitz, possibly nonconvex and nonsmooth potential. In two presented examples the Clarke subdifferential appears either in a source term or in a boundary term.


title: Toward Joint Image Generation and Compression using Generative Adversarial Networks

abstract: In this paper, we present a generative adversarial network framework that generates compressed images instead of synthesizing raw RGB images and compressing them separately. In the real world, most images and videos are stored and transferred in a compressed format to save storage capacity and data transfer bandwidth. However, since typical generative adversarial networks generate raw RGB images, those generated images need to be compressed by a post-processing stage to reduce the data size. Among image compression methods, JPEG has been one of the most commonly used lossy compression methods for still images. Hence, we propose a novel framework that generates JPEG compressed images using generative adversarial networks. The novel generator consists of the proposed locally connected layers, chroma subsampling layers, quantization layers, residual blocks, and convolution layers. The locally connected layer is proposed to enable block-based operations. We also discuss training strategies for the proposed architecture including the loss function and the transformation between its generator and its discriminator. The proposed method is evaluated using the publicly available CIFAR-10 dataset and LSUN bedroom dataset. The results demonstrate that the proposed method is able to generate compressed data with competitive qualities. The proposed method is a promising baseline method for joint image generation and compression using generative adversarial networks.


title: Reinforcement Learning of Markov Decision Processes with Peak Constraints

abstract: In this paper, we consider reinforcement learning of Markov Decision Processes (MDP) with peak constraints, where an agent chooses a policy to optimize an objective and at the same time satisfy additional constraints. The agent has to take actions based on the observed states, reward outputs, and constraint-outputs, without any knowledge about the dynamics, reward functions, and/or the knowledge of the constraint-functions. We introduce a game theoretic approach to construct reinforcement learning algorithms where the agent maximizes an unconstrained objective that depends on the simulated action of the minimizing opponent which acts on a finite set of actions and the output data of the constraint functions (rewards). We show that the policies obtained from maximin Q-learning converge to the optimal policies. To the best of our knowledge, this is the first time learning algorithms guarantee convergence to optimal stationary policies for the MDP problem with peak constraints for both discounted and expected average rewards.


title: On basis images for the digital image representation

abstract: Digital array orthogonal transformations that can be presented as a decomposition over basis items or basis images are considered. The orthogonal transform provides digital data scattering, a process of pixel energy redistributing, that is illustrated with the help of basis images. Data scattering plays important role for applications as image coding and watermarking. We established a simple quantum analogues of basis images. They are representations of quantum operators that describe transition of single particle between its states. Considering basis images as items of a matrix, we introduced a block matrix that is suitable for orthogonal transforms of multi-dimensional arrays such as block vector, components of which are matrices. We present an orthogonal transform that produces correlation between arrays. Due to correlation new feature of data scattering was found. A presented detection algorithm is an example of how it can be used in frequency domain watermarking.


title: Error estimates of penalty schemes for quasi-variational inequalities arising from impulse control problems

abstract: This paper proposes penalty schemes for a class of weakly coupled systems of Hamilton-Jacobi-Bellman quasi-variational inequalities (HJBQVIs) arising from stochastic hybrid control problems of regime-switching models with both continuous and impulse controls. We show that the solutions of the penalized equations converge monotonically to those of the HJBQVIs. We further establish that the schemes are half-order accurate for HJBQVIs with Lipschitz coefficients, and first-order accurate for equations with more regular coefficients. Moreover, we construct the action regions and optimal impulse controls based on the error estimates and the penalized solutions. The penalty schemes and convergence results are then extended to HJBQVIs with possibly negative impulse costs. We also demonstrate the convergence of monotone discretizations of the penalized equations, and establish that policy iteration applied to the discrete equation is monotonically convergent with an arbitrary initial guess in an infinite dimensional setting. Numerical examples for infinite-horizon optimal switching problems are presented to illustrate the effectiveness of the penalty schemes over the conventional direct control scheme.


title: The Firebreak Problem

abstract: Suppose we have a network that is represented by a graph $G$. Potentially a fire (or other type of contagion) might erupt at some vertex of $G$. We are able to respond to this outbreak by establishing a firebreak at $k$ other vertices of $G$, so that the fire cannot pass through these fortified vertices. The question that now arises is which $k$ vertices will result in the greatest number of vertices being saved from the fire, assuming that the fire will spread to every vertex that is not fully behind the $k$ vertices of the firebreak. This is the essence of the {\sc Firebreak} decision problem, which is the focus of this paper. We establish that the problem is intractable on the class of split graphs as well as on the class of bipartite graphs, but can be solved in linear time when restricted to graphs having constant-bounded treewidth, or in polynomial time when restricted to intersection graphs. We also consider some closely related problems.


title: Congruences for $q$-binomial coefficients

abstract: We discuss $q$-analogues of the classical congruence $\binom{ap}{bp}\equiv\binom{a}{b}\pmod{p^3}$, valid for primes $p>3$, as well as its generalisations. In particular, we prove related congruences for ($q$-analogues of) integral factorial ratios.


title: Global smoothness of quasiconformal mappings in the Triebel-Lizorkin scale

abstract: We study quasiconformal mappings in planar domains $\Omega$ and their regularity properties described in terms of Sobolev, Bessel potential or Triebel-Lizorkin scales. This leads to optimal conditions, in terms of the geometry of the boundary $\partial \Omega$ and of the smoothness of the Beltrami coefficient, that guarantee the global regularity of the mappings in these classes. In the Triebel-Lizorkin class with smoothness below $1$, the same conditions give global regularity in $\Omega$ for the principal solutions with Beltrami coefficient supported in $\Omega$.


title: Numerical analysis of a non-clamped dynamic thermoviscoelastic contact problem

abstract: In this work, we analyze a non-clamped dynamic viscoelastic contact problem involving thermal effect. The friction law is described by a non-monotone relation between the tangential stress and the tangential velocity. This leads to a system of second-order inclusion for displacement and a parabolic equation for temperature. We provide a fully discrete approximation of the problem and find optimal error estimates without any smallness assumption on the data. The theoretical result is illustrated by numerical simulations.


title: SirenAttack: Generating Adversarial Audio for End-to-End Acoustic Systems

abstract: Despite their immense popularity, deep learning-based acoustic systems are inherently vulnerable to adversarial attacks, wherein maliciously crafted audios trigger target systems to misbehave. In this paper, we present SirenAttack, a new class of attacks to generate adversarial audios. Compared with existing attacks, SirenAttack highlights with a set of significant features: (i) versatile -- it is able to deceive a range of end-to-end acoustic systems under both white-box and black-box settings; (ii) effective -- it is able to generate adversarial audios that can be recognized as specific phrases by target acoustic systems; and (iii) stealthy -- it is able to generate adversarial audios indistinguishable from their benign counterparts to human perception. We empirically evaluate SirenAttack on a set of state-of-the-art deep learning-based acoustic systems (including speech command recognition, speaker recognition and sound event classification), with results showing the versatility, effectiveness, and stealthiness of SirenAttack. For instance, it achieves 99.45% attack success rate on the IEMOCAP dataset against the ResNet18 model, while the generated adversarial audios are also misinterpreted by multiple popular ASR platforms, including Google Cloud Speech, Microsoft Bing Voice, and IBM Speech-to-Text. We further evaluate three potential defense methods to mitigate such attacks, including adversarial training, audio downsampling, and moving average filtering, which leads to promising directions for further research.


title: State matrix recursion method and monomer--dimer problem

abstract: The exact enumeration of pure dimer coverings on the square lattice was obtained by Kasteleyn, Temperley and Fisher in 1961. In this paper, we consider the monomer-dimer covering problem (allowing multiple monomers) which is an outstanding unsolved problem in lattice statistics. We have developed the state matrix recursion method that allows us to compute the number of monomer--dimer coverings and to know the partition function with monomer and dimer activities. This method proceeds with a recurrence relation of so-called state matrices of large size. The enumeration problem of pure dimer coverings and dimer coverings with single boundary monomer is revisited in partition function forms. We also provide the number of dimer coverings with multiple vacant sites. The related Hosoya index and the asymptotic behavior of its growth rate are considered. Lastly, we apply this method to the enumeration study of domino tilings of Aztec diamonds and more generalized regions, so-called Aztec octagons and multi-deficient Aztec octagons.


title: Density dependent replicator-mutator models in directed evolution

abstract: We analyze a replicator-mutator model arising in the context of directed evolution [23], where the selection term is modulated over time by the mean-fitness. We combine a Cumulant Generating Function approach [13] and a spatio-temporal rescaling related to the Avron-Herbst formula [1] to give of a complete picture of the Cauchy problem. Besides its well-posedness, we provide an implicit/explicit expression of the solution, and analyze its large time behaviour. As a by product, we also solve a replicator-mutator model where the mutation coefficient is socially determined, in the sense that it is modulated by the mean-fitness. The latter model reveals concentration or anti diffusion/diffusion phenomena.


title: AADS: Augmented Autonomous Driving Simulation using Data-driven Algorithms

abstract: Simulation systems have become an essential component in the development and validation of autonomous driving technologies. The prevailing state-of-the-art approach for simulation is to use game engines or high-fidelity computer graphics (CG) models to create driving scenarios. However, creating CG models and vehicle movements (e.g., the assets for simulation) remains a manual task that can be costly and time-consuming. In addition, the fidelity of CG images still lacks the richness and authenticity of real-world images and using these images for training leads to degraded performance. In this paper we present a novel approach to address these issues: Augmented Autonomous Driving Simulation (AADS). Our formulation augments real-world pictures with a simulated traffic flow to create photo-realistic simulation images and renderings. More specifically, we use LiDAR and cameras to scan street scenes. From the acquired trajectory data, we generate highly plausible traffic flows for cars and pedestrians and compose them into the background. The composite images can be re-synthesized with different viewpoints and sensor models. The resulting images are photo-realistic, fully annotated, and ready for end-to-end training and testing of autonomous driving systems from perception to planning. We explain our system design and validate our algorithms with a number of autonomous driving tasks from detection to segmentation and predictions. Compared to traditional approaches, our method offers unmatched scalability and realism. Scalability is particularly important for AD simulation and we believe the complexity and diversity of the real world cannot be realistically captured in a virtual environment. Our augmented approach combines the flexibility in a virtual environment (e.g., vehicle movements) with the richness of the real world to allow effective simulation of anywhere on earth.


title: The interplay between thermal Rydberg gases and plasmas

abstract: We investigate the phenomenon of bistability in a thermal gas of cesium atoms excited to Rydberg states. We present both measurements and a numerical model of the phenomena based on collisions. By directly measuring the plasma frequency, we show that the origin of the bistable behavior lies in the creation of a plasma formed by ionized Rydberg atoms. Recombination of ions and electrons manifests as fluorescence which allows us to characterize the plasma properties and study the transient dynamics of the hysteresis that occurs. We determine scaling parameters for the point of plasma formation, and verify our numerical model by comparing measured and simulated spectra. These measurements yield a detailed microscopic picture of ionization and avalanche processes occurring in thermal Rydberg gases. From this set of measurements, we conclude that plasma formation is a fundamental ingredient in the optical bistability taking place in thermal Rydberg gases and imposes a limit on usable Rydberg densities for many applications.


title: Computer Vision and Metrics Learning for Hypothesis Testing: An Application of Q-Q Plot for Normality Test

abstract: This paper proposes a new deep-learning method to construct test statistics by computer vision and metrics learning. The application highlighted in this paper is applying computer vision on Q-Q plot to construct a new test statistic for normality test. To the best of our knowledge, there is no similar application documented in the literature. Traditionally, there are two families of approaches for verifying the probability distribution of a random variable. Researchers either subjectively assess the Q-Q plot or objectively use a mathematical formula, such as Kolmogorov-Smirnov test, to formally conduct a normality test. Graphical assessment by human beings is not rigorous whereas normality test statistics may not be accurate enough when the uniformly most powerful test does not exist. It may take tens of years for statistician to develop a new test statistic that is more powerful statistically. Our proposed method integrates four components based on deep learning: an image representation learning component of a Q-Q plot, a dimension reduction component, a metrics learning component that best quantifies the differences between two Q-Q plots for normality test, and a new normality hypothesis testing process. Our experimentation results show that the machine-learning-based test statistics can outperform several widely-used traditional normality tests. This study provides convincing evidence that the proposed method could objectively create a powerful test statistic based on Q-Q plots and this method could be modified to construct many more powerful test statistics for other applications in the future.


title: Homomorphic Sensing

abstract: A recent line of research termed unlabeled sensing and shuffled linear regression has been exploring under great generality the recovery of signals from subsampled and permuted measurements; a challenging problem in diverse fields of data science and machine learning. In this paper we introduce an abstraction of this problem which we call homomorphic sensing. Given a linear subspace and a finite set of linear transformations we develop an algebraic theory which establishes conditions guaranteeing that points in the subspace are uniquely determined from their homomorphic image under some transformation in the set. As a special case, we recover known conditions for unlabeled sensing, as well as new results and extensions. On the algorithmic level we exhibit two dynamic programming based algorithms, which to the best of our knowledge are the first working solutions for the unlabeled sensing problem for small dimensions. One of them, additionally based on branch-and-bound, when applied to image registration under affine transformations, performs on par with or outperforms state-of-the-art methods on benchmark datasets.


title: Synthesis and investigation of the properties of organic-inorganic perovskite films with non-contact optical methods

abstract: Presented in this work are the results of our study of the photoelectric properties of perovskite $CH_3NH_3PbI_{2.98}Cl_{0.02}$ films deposited on a glass substrate using the spin-coating method. The unit cell parameters of the perovskite are determined using x-ray diffractometry. It is shown that the film morphology represents a net of non-oriented needle-like structures with significant roughness and porosity. In order to investigate the properties of the films obtained, non-contact methods were used, such as transmission and reflection measurements and the measurements of the spectral characteristics of the small-signal surface photovoltage. The method of spectral characteristics of the low-signal surface photovoltage and the transmission method reveal information about the external quantum yield in the films studied and about the diffusion length of minority carriers in the perovskite films. As a result of this analysis, it has been established that the films obtained are naturally textured, and their bandgap is 1.59 eV. It is shown that in order to correctly determine absorption coefficient and the bandgap values, Urbach effect should be accounted for. Minority carriers' diffusion length is longer than the film thickness, which is equal to 400 nm. The films obtained are promising materials for solar cells.


title: Solar wind charge exchange in cometary atmospheres. II. Analytical model

abstract: Solar wind charge-changing reactions are of paramount importance to the physico-chemistry of the atmosphere of a comet because they mass-load the solar wind through an effective conversion of fast, light solar wind ions into slow, heavy cometary ions. The ESA/Rosetta mission to comet 67P/Churyumov-Gerasimenko (67P) provided a unique opportunity to study charge-changing processes in situ. An extended analytical formalism describing solar wind charge-changing processes at comets along solar wind streamlines is presented. It is based on a thorough book-keeping of available charge-changing cross sections of hydrogen and helium particles in a water gas. After presenting a general 1D solution of charge exchange at comets, we study the theoretical dependence of charge-state distributions of (He$^{2+}$, He$^+$, He$^0$) and (H$^+$, H$^0$, H$^-$) on solar wind parameters at comet 67P. We show that double charge exchange for the He$^{2+}$-H$_2$O system plays an important role below a solar wind bulk speed of 200 km/s , resulting in the production of He energetic neutral atoms, whereas stripping reactions can in general be neglected. Retrievals of outgassing rates and solar wind upstream fluxes from local Rosetta measurements deep in the coma are discussed. Solar wind ion temperature effects at 400 km/s solar wind speed are well contained during the Rosetta mission. As the comet approaches perihelion, the model predicts a sharp decrease of solar wind ion fluxes by almost one order of magnitude at the location of Rosetta, forming in effect a solar wind ion cavity. This study is the second part of a series of three on solar wind charge-exchange and ionization processes at comets, with a specific application to comet 67P and the Rosetta mission.


title: On faithfully balanced modules, F-cotilting and F-Auslander algebras

abstract: We revisit faithfully balanced modules. These are faithful modules having the double centralizer property. For finite-dimensional algebras our main tool is the category ${\rm cogen}^1(M)$ of modules with a copresentation by summands of finite sums of $M$ on which ${\rm Hom}(-,M)$ is exact. For a faithfully balanced module $M$ the functor ${\rm Hom}(-,M)$ is a duality on these categories - for cotilting modules this is the Brenner-Butler theorem. We also study new classes of faithfully balanced modules combining cogenerators and cotilting modules. Then we turn to relative homological algebra in the sense of Auslander-Solberg and define a relative version of faithfully balancedness which we call $1$-$\mathbf{F}$-faithful. We find relative versions of the best known classes of faithfully balanced modules (including (co)generators ,(co)tilting and cluster tilting modules). Here we characterize the corresponding modules over the endomorphism ring of the faithfully balanced module - this is what we call a \emph{correspondence}. Two highlights are the relative (higher) Auslander correspondence and the relative cotilting correspondence - the second is a generalization of a relative cotilting correspondence of Auslander-Solberg to an involution (as the usual cotilting correspondence is).


title: The Acyclic Chromatic Index is Less than the Double of the Max Degree

abstract: The acyclic chromatic index of a graph $G$ is the least number of colors needed to properly color its edges so that none of its cycles is bichromatic. In this work, we show that $2\Delta-1$ colors are sufficient to produce such a coloring, where $\Delta$ is the maximum degree of the graph. In contrast with most extant randomized algorithmic approaches to the chromatic index, where the algorithms presuppose enough colors to guarantee properness deterministically and use randomness only to deal with the bichromatic cycles, our randomized, Moser-type algorithm produces a not necessarily proper random coloring, in a structured way, trying to avoid cycles whose edges of the same parity are homochromatic, and only when this goal is reached it checks for properness. It repeats until properness is attained.


title: Approximation Techniques for Stochastic Analysis of Biological Systems

abstract: There has been an increasing demand for formal methods in the design process of safety-critical synthetic genetic circuits. Probabilistic model checking techniques have demonstrated significant potential in analyzing the intrinsic probabilistic behaviors of complex genetic circuit designs. However, its inability to scale limits its applicability in practice. This chapter addresses the scalability problem by presenting a state-space approximation method to remove unlikely states resulting in a reduced, finite state representation of the infinite-state continuous-time Markov chain that is amenable to probabilistic model checking. The proposed method is evaluated on a design of a genetic toggle switch. Comparisons with another state-of-art tool demonstrates both accuracy and efficiency of the presented method.


title: Evolving the pulmonary nodules diagnosis from classical approaches to deep learning aided decision support: three decades development course and future prospect

abstract: Lung cancer is the commonest cause of cancer deaths worldwide, and its mortality can be reduced significantly by performing early diagnosis and screening. Since the 1960s, driven by the pressing needs to accurately and effectively interpret the massive volume of chest images generated daily, computer-assisted diagnosis of pulmonary nodule has opened up new opportunities to relax the limitation from physicians' subjectivity, experiences and fatigue. And the fair access to the reliable and affordable computer-assisted diagnosis will fight the inequalities in incidence and mortality between populations. It has been witnessed that significant and remarkable advances have been achieved since the 1980s, and consistent endeavors have been exerted to deal with the grand challenges on how to accurately detect the pulmonary nodules with high sensitivity at low false-positives rate as well as on how to precisely differentiate between benign and malignant nodules. There is a lack of comprehensive examination of the techniques' development which is evolving the pulmonary nodules diagnosis from classical approaches to machine learning-assisted decision support. The main goal of this investigation is to provide a comprehensive state-of-the-art review of the computer-assisted nodules detection and benign-malignant classification techniques developed over 3 decades, which have evolved from the complicated ad hoc analysis pipeline of conventional approaches to the simplified seamlessly integrated deep learning techniques. This review also identifies challenges and highlights opportunities for future work in learning models, learning algorithms and enhancement schemes for bridging current state to future prospect and satisfying future demand.


title: How do Mixture Density RNNs Predict the Future?

abstract: Gaining a better understanding of how and what machine learning systems learn is important to increase confidence in their decisions and catalyze further research. In this paper, we analyze the predictions made by a specific type of recurrent neural network, mixture density RNNs (MD-RNNs). These networks learn to model predictions as a combination of multiple Gaussian distributions, making them particularly interesting for problems where a sequence of inputs may lead to several distinct future possibilities. An example is learning internal models of an environment, where different events may or may not occur, but where the average over different events is not meaningful. By analyzing the predictions made by trained MD-RNNs, we find that their different Gaussian components have two complementary roles: 1) Separately modeling different stochastic events and 2) Separately modeling scenarios governed by different rules. These findings increase our understanding of what is learned by predictive MD-RNNs, and open up new research directions for further understanding how we can benefit from their self-organizing model decomposition.


title: Trust Region Value Optimization using Kalman Filtering

abstract: Policy evaluation is a key process in reinforcement learning. It assesses a given policy using estimation of the corresponding value function. When using a parameterized function to approximate the value, it is common to optimize the set of parameters by minimizing the sum of squared Bellman Temporal Differences errors. However, this approach ignores certain distributional properties of both the errors and value parameters. Taking these distributions into account in the optimization process can provide useful information on the amount of confidence in value estimation. In this work we propose to optimize the value by minimizing a regularized objective function which forms a trust region over its parameters. We present a novel optimization method, the Kalman Optimization for Value Approximation (KOVA), based on the Extended Kalman Filter. KOVA minimizes the regularized objective function by adopting a Bayesian perspective over both the value parameters and noisy observed returns. This distributional property provides information on parameter uncertainty in addition to value estimates. We provide theoretical results of our approach and analyze the performance of our proposed optimizer on domains with large state and action spaces.


title: DroidMeter: A Measurement Tool to Study Embedded Web Pages

abstract: Traditional Web browsing involves typing a URL on a browser and loading a Web page. In contrast, there is another form of Web browsing on mobile devices, i.e., embedded Web browsing, which occurs when mobile apps embed a Web page within the app. When the user navigates to the specific page in the app, the Web page is loaded from within the app. However, little is known about the prevalence or performance of these embedded Web pages. To analyze the embedded Web browsing performance at scale, we design and implement DroidMeter, a tool that can automatically search for embedded Web pages inside apps, trigger page loads, and retrieve performance metrics.


title: Solving systems of equations in supernilpotent algebras

abstract: Recently, M. Kompatscher proved that for each finite supernilpotent algebra $\mathbf{A}$ in a congruence modular variety, there is a polynomial time algorithm to solve polynomial equations over this algebra. Let $\mu$ be the maximal arity of the fundamental operations of $\mathbf{A}$, and let \[ d := |A|^{\log_2 (\mu) + \log_2 (|A|) + 1}.\] Applying a method that G. K\'{a}rolyi and C. Szab\'{o} had used to solve equations over finite nilpotent rings, we show that for $\mathbf{A}$, there is $c \in \mathbb{N}$ such that a solution of every system of $s$ equations in $n$ variables can be found by testing at most $c n^{sd}$ (instead of all $|A|^n$ possible) assignments to the variables. This also yields new information on some circuit satisfiability problems.


title: A Dyson equation for non-equilibrium Green's functions in the partition-free setting

abstract: We consider a small interacting sample coupled to several non-interacting leads. Initially, the system is at thermal equilibrium. At some instant $t_0$ the system is set into the so called partition-free transport scenario by turning on a bias on the leads. Using the theory of Volterra operators we rigorously formulate a Dyson equation for the retarded Green's function and we establish a closed formula for the associated proper interaction self-energy.


title: Higher-order corrections to heavy-quark jet quenching

abstract: We calculate higher-order corrections to the quenching factor of heavy-quark jets due to hard, in-medium splittings in the framework of the BDMPS-Z formalism. These corrections turn out to be sensitive to a single mass-scale $m_\ast = (\hat q L)^{1/2}$, where $\hat q$ is the medium transport coefficient and $L$ the path length, and allow to draw a distinction between the way light, with $m < m_\ast$ (in contrast to massless $m=0$), and genuinely heavy, with $m > m_\ast$, quark jets are quenched in the medium. We show that the corrections to the quenching factor at high energies are double-logarithmic and qualitatively of the same order as for the massless quark jet.


title: Cooperative coevolution of real predator robots and virtual robots in the pursuit domain

abstract: The pursuit domain, or predator-prey problem is a standard testbed for the study of coordination techniques. In spite that its problem setup is apparently simple, it is challenging for the research of the emerged swarm intelligence. This paper presents a particle swarm optimization (PSO) based cooperative coevolutionary algorithm for the (predator) robots, called CCPSO-R, where real and virtual robots coexist in an evolutionary algorithm (EA). Virtual robots sample and explore the vicinity of the corresponding real robots and act as their action spaces, while the real robots consist of the real predators who actually pursue the prey robot without fixed behavior rules under the immediate guidance of the fitness function, which is designed in a modular manner with very limited domain knowledge. In addition, kinematic limits and collision avoidance considerations are integrated into the update rules of robots. Experiments are conducted on a scalable swarm of predator robots with 4 types of preys, the results of which show the reliability, generality, and scalability of the proposed CCPSO-R. Comparison with a representative dynamic path planning based algorithm Multi-Agent Real-Time Pursuit (MAPS) further shows the effectiveness of CCPSO-R. Finally, the codes of this paper are public available at: https://github.com/LijunSun90/pursuitCCPSOR.


title: Computation of maximal projection constants

abstract: The linear projection constant $\Pi(E)$ of a finite-dimensional real Banach space $E$ is the smallest number $C\in [0,+\infty)$ such that $E$ is a $C$-absolute retract in the category of real Banach spaces with bounded linear maps. We denote by $\Pi_n$ the maximal linear projection constant amongst $n$-dimensional Banach spaces. In this article, we prove that $\Pi_n$ may be determined by computing eigenvalues of certain two-graphs. From this result we obtain that the relative projection constants of codimension $n$ converge to $1+\Pi_n$. Furthermore, using the classification of $K_4$-free two-graphs, we give an alternative proof of $\Pi_2=\frac{4}{3}$. We also show by means of elementary functional analysis that for each integer $n\geq 1$ there exists a polyhedral $n$-dimensional Banach space $F_n$ such that $\Pi(F_n)=\Pi_n$.


title: Context based Analysis of Lexical Semantics for Hindi Language

abstract: A word having multiple senses in a text introduces the lexical semantic task to find out which particular sense is appropriate for the given context. One such task is Word sense disambiguation which refers to the identification of the most appropriate meaning of the polysemous word in a given context using computational algorithms. The language processing research in Hindi, the official language of India, and other Indian languages is restricted by unavailability of the standard corpus. For Hindi word sense disambiguation also, the large corpus is not available. In this work, we prepared the text containing new senses of certain words leading to the enrichment of the sense-tagged Hindi corpus of sixty polysemous words. Furthermore, we analyzed two novel lexical associations for Hindi word sense disambiguation based on the contextual features of the polysemous word. The evaluation of these methods is carried out over learning algorithms and favorable results are achieved.


title: Constant Time Graph Neural Networks

abstract: The recent advancements in graph neural networks (GNNs) have led to state-of-the-art performances in various applications, including chemo-informatics, question-answering systems, and recommender systems. However, scaling up these methods to huge graphs, such as social networks and Web graphs, remains a challenge. In particular, the existing methods for accelerating GNNs either are not theoretically guaranteed in terms of the approximation error or incur at least a linear time computation cost. In this study, we reveal the query complexity of the uniform node sampling scheme for Message Passing Neural Networks, including GraphSAGE, graph attention networks (GATs), and graph convolutional networks (GCNs). Surprisingly, our analysis reveals that the complexity of the node sampling method is completely independent of the number of the nodes, edges, and neighbors of the input and depends only on the error tolerance and confidence probability while providing a theoretical guarantee for the approximation error. To the best of our knowledge, this is the first paper to provide a theoretical guarantee of approximation for GNNs within constant time. Through experiments with synthetic and real-world datasets, we investigated the speed and precision of the node sampling scheme and validated our theoretical results.


title: Conjugacy classes of centralizers in the group of upper triangular matrices

abstract: Let G be a group. Two elements x and y in G are said to be in the same z-class if their centralizers in G are conjugate within G. In this paper, we prove that the number of z-classes in the group of upper triangular matrices is infinite provided that the field is infinite and size of the matrices is at least 6, and finite otherwise.


title: Conserving controversies of melting line of graphite and graphene

abstract: Investigation of melting line of graphite and liquid carbon has long history. However, up to now there are still numerous controversies in the field, for instance, the melting temperatures obtained in different experiments are in very bad agrement. In the present paper we compare several models of carbon widely used in computational studies and the results of ab-initio simulations of liquid carbon. We show that the empirical models fail to reproduce the properties of liquid carbon correctly. We also discuss the "melting" of graphene.