title: Long-Term Latency Measurement of Deployed Fiber

abstract: Using a Correlation-OTDR we measured the latency of fibers in a deployed cable and calculated the time coefficient of the fiber temperature changes. Annual temperature variations of 25K were estimated for the deployed fiber.


title: Bandwidth Allocation and Resource Adjustment for Stability Enhancement in Complex Networks

abstract: We introduce the discrete Green's function to elucidate how resource fluctuations determine flow fluctuations in a network optimizing a global cost function. To enhance the robustness of the network against fluctuations, we develop the schemes of optimal bandwidth allocation in links and optimal resource adjustment in nodes. With the total bandwidth of the network fixed, the approach of optimal bandwidth allocation is to increase the bandwidth in links such that the number of overloaded links or the amount of excess flows in networks under fluctuations can be minimized. Similarly, the approach of optimal resource adjustment is to minimize the number of overloaded links in networks under fluctuations with the total resource change in the network fixed. Compared with the conventional approach of proportionate bandwidth assignment or resource reduction, it is found that the optimized bandwidth allocation or resource adjustment can highly enhance the stability of the networks against fluctuations. The changes of loads and currents prescribed by the optimal bandwidth allocation and resource adjustment schemes are correlated with each other, except for some nodes that exhibit relay effects.


title: A Method for Dimensionally Adaptive Sparse Trigonometric Interpolation of Periodic Functions

abstract: We present a method for dimensionally adaptive sparse trigonometric interpolation of multidimensional periodic functions belonging to a smoothness class of finite order. This method targets applications where periodicity must be preserved and the precise anisotropy is not known a priori. To the authors' knowledge, this is the first instance of a dimensionally adaptive sparse interpolation algorithm that uses a trigonometric interpolation basis. The motivating application behind this work is the adaptive approximation of a multi-input model for a molecular potential energy surface (PES) where each input represents an angle of rotation. Our method is based on an anisotropic quasi-optimal estimate for the decay rate of the Fourier coefficients of the model; a least-squares fit to the coefficients of the interpolant is used to estimate the anisotropy. Thus, our adaptive approximation strategy begins with a coarse isotropic interpolant, which is gradually refined using the estimated anisotropic rates. The procedure takes several iterations where ever-more accurate interpolants are used to generate ever-improving anisotropy rates. We present several numerical examples of our algorithm where the adaptive procedure successfully recovers the theoretical "best" convergence rate, including an application to a periodic PES approximation. An open-source implementation of our algorithm resides in the Tasmanian UQ library developed at Oak Ridge National Laboratory.


title: A Search for the Underlying Equation Governing Similar Systems

abstract: We show a data-driven approach to discover the underlying structural form of the mathematical equation governing the dynamics of multiple but similar systems induced by the same mechanisms. This approach hinges on theories that we lay out involving arguments based on the nature of physical systems. In the same vein, we also introduce a metric to search for the best candidate equation using the datasets generated from the systems. This approach involves symbolic regression by means of genetic programming and regressions to compute the strength of the interplay between the extrinsic parameters in a candidate equation. We relate these extrinsic parameters to the hidden properties of the data-generating systems. The behavior of a new similar system can be predicted easily by utilizing the discovered structural form of the general equation. As illustrations, we apply the approach to identify candidate structural forms of the underlying equation governing two cases: the changes in a sensor measurement of degrading engines; and the search for the governing equation of systems with known variations of an intrinsic parameter.


title: From design to tape-out in SCL 180nm CMOS integrated circuit fabrication technology

abstract: Although India has achieved considerable capability in electronic chip design, but developing the infrastructure for capital-intensive semiconductor fabrication remains a challenge. The rising domestic and global demand for electronics products, the need of enhancing the country's high-technology talent pool, employment generation, and national security concerns dictates the Indian Government's heightened efforts in promoting electronics hardware manufacturing in the country. A recent milestone in this regard is the setting up of 180nm CMOS fabrication facility at SCL, Chandigarh. The Multi Project Wafer runs of this indigenous foundry promises to be a relatively cost-effective option for Indian academic and R&D institutions in realizing their designed VLSI circuits. Written from the perspective of an Analog VLSI designer, this tutorial paper strives to provide all the requisite information and guidance that might be required in order to prepare chip designs for submission to SCL for fabrication.


title: Finite $\mathcal{A}$-determinacy of generic homogeneous map germs in $\mathbb{C}^3$

abstract: Denote by $H(d_1,d_2,d_3)$ the set of all homogeneous polynomial mappings $F=(f_1,f_2,f_3): \C^3\to\C^3$, such that $\deg f_i=d_i$. We show that if $\gcd(d_i,d_j)\leq 2$ for $1\leq i<j\leq 3$ and $\gcd(d_1,d_2,d_3)=1$, then there is a non-empty Zariski open subset $U\subset H(d_1,d_2,d_3)$ such that for every mapping $F\in U$ the map germ $(F,0)$ is $\mathcal{A}$-finitely determined. Moreover, in this case we compute the number of discrete singularities ($0$-stable singularities) of a generic mapping $(f_1,f_2,f_3):\C^3\to\C^3$, where $\deg f_i=d_i$.


title: Nonlocality Without Entanglement: Quantum Theory and Beyond

abstract: Quantum nonlocality without entanglement (Q-NWE) encapsulates nonlocal behavior of multipartite product states as they may entail global operation for optimal decoding of the classical information encoded within. Here we show that the phenomena of NWE is not specific to quantum theory only, rather a class of generalized probabilistic theories can exhibit such behavior. In fact several manifestations of NWE, e.g., asymmetric local discrimination, suboptimal local discrimination, notion of separable but locally unimplementable measurement arise generically in operational theories other than quantum theory. We propose a framework to compare the strength of NWE in different theories and show that such behavior in quantum theory is limited, suggesting a specific topological feature of quantum theory, namely, the continuity of state space structure. Our work adds profound foundational appeal to the study of NWE phenomena along with its information theoretic relevance.


title: Fixed final time three-axis satellite attitude control with thrusters based on dynamic programming and neural networks

abstract: This paper studies the attitude control of a satellite in three-axis by thrusters. The mathematical model of attitude dynamics and kinematics of the satellite is represented as a switched system with sub-systems. Each sub-system is defined according to on/off thrusters state. A training method based on dynamic programming is utilized which can find the appropriate switching between sub-systems such that a cost function is optimized. Furthermore to extend the solution for a specific domain of interest neural network is used for approximating the cost function with basis functions. The training method is offline and it finds the optimal weights of basis functions which can be used to find optimal switching. It is shown that the proposed method can execute a maneuver in fixed final time and bring the attitude to final desired condition. Moreover, the proposed method is robust against uncertainties in system modeling. Finally, it is shown that the control scheme can be used to design low cost attitude control unit for micro-satellite or as a backup unit.


title: How Good is Artificial Intelligence at Automatically Answering Consumer Questions Related to Alzheimer's Disease?

abstract: Alzheimer's Disease (AD) is the most common type of dementia, comprising 60-80% of cases. There were an estimated 5.8 million Americans living with Alzheimer's dementia in 2019, and this number will almost double every 20 years. The total lifetime cost of care for someone with dementia is estimated to be $350,174 in 2018, 70% of which is associated with family-provided care. Most family caregivers face emotional, financial and physical difficulties. As a medium to relieve this burden, online communities in social media websites such as Twitter, Reddit, and Yahoo! Answers provide potential venues for caregivers to search relevant questions and answers, or post questions and seek answers from other members. However, there are often a limited number of relevant questions and responses to search from, and posted questions are rarely answered immediately. Due to recent advancement in Artificial Intelligence (AI), particularly Natural Language Processing (NLP), we propose to utilize AI to automatically generate answers to AD-related consumer questions posted by caregivers and evaluate how good AI is at answering those questions. To the best of our knowledge, this is the first study in the literature applying and evaluating AI models designed to automatically answer consumer questions related to AD.


title: Spam Review Detection with Graph Convolutional Networks

abstract: Customers make a lot of reviews on online shopping websites every day, e.g., Amazon and Taobao. Reviews affect the buying decisions of customers, meanwhile, attract lots of spammers aiming at misleading buyers. Xianyu, the largest second-hand goods app in China, suffering from spam reviews. The anti-spam system of Xianyu faces two major challenges: scalability of the data and adversarial actions taken by spammers. In this paper, we present our technical solutions to address these challenges. We propose a large-scale anti-spam method based on graph convolutional networks (GCN) for detecting spam advertisements at Xianyu, named GCN-based Anti-Spam (GAS) model. In this model, a heterogeneous graph and a homogeneous graph are integrated to capture the local context and global context of a comment. Offline experiments show that the proposed method is superior to our baseline model in which the information of reviews, features of users and items being reviewed are utilized. Furthermore, we deploy our system to process million-scale data daily at Xianyu. The online performance also demonstrates the effectiveness of the proposed method.


title: Publish and Perish: Creative Destruction and Macroeconomic Theory

abstract: A number of macroeconomic theories, very popular in the 1980s, seem to have completely disappeared and been replaced by the dynamic stochastic general equilibrium (DSGE) approach. We will argue that this replacement is due to a tacit agreement on a number of assumptions, previously seen as mutually exclusive, and not due to a settlement by 'nature'. As opposed to econometrics and microeconomics and despite massive progress in the access to data and the use of statistical software, macroeconomic theory appears not to be a cumulative science so far. Observational equivalence of different models and the problem of identification of parameters of the models persist as will be highlighted by examining two examples: one in growth theory and a second in testing inflation persistence.


title: Treatise on Differential Geometry and its role in Relativity Theory

abstract: This lecture note is hopefully helpful to undergraduate and postgraduate students or beginning Ph.D students both in theoretical physics and in applied mathematics. Modern terminology in differential geometry has been discussed in the book with the motivation of geometrical or pictorial way of thinking. This note is an effort of teaching differential geometry and shows its wide applicability to relativity theory. The problems in this lecture note may be useful to the students


title: Explaining the low luminosity of Uranus: A self-consistent thermal and structural evolution

abstract: The low luminosity of Uranus is a long-standing challenge in planetary science. Simple adiabatic models are inconsistent with the measured luminosity, which indicates that Uranus is non-adiabatic because it has thermal boundary layers and/or conductive regions. A gradual composition distribution acts as a thermal boundary to suppress convection and slow down the internal cooling. Here we investigate whether composition gradients in the deep interior of Uranus can explain its low luminosity, the required composition gradient, and whether it is stable for convective mixing on a timescale of some billion years. We varied the primordial composition distribution and the initial energy budget of the planet, and chose the models that fit the currently measured properties (radius, luminosity, and moment of inertia) of Uranus. We present several alternative non-adiabatic internal structures that fit the Uranus measurements. We found that convective mixing is limited to the interior of Uranus, and a composition gradient is stable and sufficient to explain its current luminosity. As a result, the interior of Uranus might still be very hot, in spite of its low luminosity. The stable composition gradient also indicates that the current internal structure of Uranus is similar to its primordial structure. Moreover, we suggest that the initial energy content of Uranus cannot be greater than 20% of its formation (accretion) energy. We also find that an interior with a mixture of ice and rock, rather than separated ice and rock shells, is consistent with measurements, suggesting that Uranus might not be "differentiated". Our models can explain the luminosity of Uranus, and they are also consistent with its metal-rich atmosphere and with the predictions for the location where its magnetic field is generated.


title: A plasmonic painter's method of color mixing for a continuous RGB palette

abstract: The ability of mixing colors with remarkable results had long been exclusive to the talents of master painters. By finely combining colors at different amounts on the palette intuitively, they obtain smooth gradients with any given color. Creating such smooth color variations through scattering by the structural patterning of a surface, as opposed to color pigments, has long remained a challenge. Here, we borrow from the painter's approach and demonstrate color mixing generated by an optical metasurface. We propose a single-layer plasmonic color pixel and a method for nanophotonic structural color mixing based on the additive RGB color model. The color pixels consist of plasmonic nanorod arrays that generate vivid primary colors and enable independent control of color brightness without affecting chromaticity, by simply varying geometric in-plane parameters. By interleaving different nanorod arrays, we combine up to three primary colors on a single pixel. Based on this, two and three color mixing is demonstrated, enabling the continuous coverage of a plasmonic RGB color gamut and yielding a palette with a virtually unlimited number of colors. With this multi-resonant color pixel, we show the photorealistic printing of color and monochrome images at the nanoscale, with ultra-smooth transitions in color and brightness. Our color mixing approach can be applied to a broad range of scatterer designs and materials, and has the potential to be used for multi-wavelength color filters and dynamic photorealistic displays.


title: Downlink Analysis for the Typical Cell in Poisson Cellular Networks

abstract: Owing to its unparalleled tractability, the Poisson point process (PPP) has emerged as a popular model for the analysis of cellular networks. Considering a stationary point process of users, which is independent of the base station (BS) point process, it is well known that the typical user does not lie in the typical cell and thus it may not truly represent the typical cell performance. Inspired by this observation, we present a construction that allows a direct characterization of the downlink performance of the typical cell. For this, we present an exact downlink analysis for the 1-D case and a remarkably accurate approximation for the 2-D case. Several useful insights about the differences and similarities in the two viewpoints (typical user vs. typical cell) are also provided.


title: Prethermalization of density-density correlations after an interaction quench in the Hubbard model

abstract: In weakly perturbed systems that are close to integrability, thermalization can be delayed by the formation of prethermalization plateaus. We study the build-up of density-density correlations after a weak interaction quench in the Hubbard model in $d > 1$ dimensions using unitary perturbation theory. Starting from a pre-quench state at temperature $T$, we show that the prethermalization values of the post-quench correlations are equal to the equilibrium values of the interacting model at the same temperature $T$. This is explained by the local character of density-density correlations.


title: Alkali ion-to-neutral atom converter for the magneto-optical trap of a radioactive isotope

abstract: We have developed a unique neutralizer device that uses an yttrium target surrounded by a platinum wall to magneto-optically trap radioactive atoms. In general, the radioactive nucleus produced in a nuclear reaction is extracted and transported in ion form. For the magneto-optical trap, thermal neutralization must occur on the surface of a metal with a small work function. The converter can produce a neutral atomic beam with small angular divergence that, given the recycling of atoms and ions, converts ions into neutral atoms with remarkable efficiency. We demonstrated the ion neutralization process using stable rubidium and confirmed $10^6$ neutralized atoms in the magneto-optical trap. Additionally, the experiment using francium demonstrated the obtaining of neutralized francium atoms.


title: Cooperation in a generalized age-structured spatial game

abstract: The emergence and prevalence of cooperative behavior within a group of selfish individuals remains a puzzle for \text{evolutionary game theory} precisely because it conflicts directly with the central idea of natural selection. Accordingly, in recent years, the search for an understanding of how cooperation can be stimulated, even when it conflicts with individual interest, has intensified. We investigate the emergence of cooperation in an age-structured evolutionary spatial game. In it, players age with time and the payoff that they receive after each round \text{depends on} their age. \text{We find that t}he outcome of the game is strongly influenced by the type of distribution used to modify the payoffs according to the age of each player. The results show that, under certain circumstances, cooperators may not only survive but dominate the population.


title: Revisiting The Coincidence Problem in $f(R)$ Gravitation

abstract: The energy densities of dark matter (DM) and dark energy (DE) are of the same order at the present epoch despite the fact that both these quantities have contrasting characteristics and are presumed to have evolved distinctively with cosmic evolution. This is a major issue in standard $\Lambda$CDM cosmology and is termed "The Coincidence Problem" which hitherto cannot be explained by any fundamental theory. In this spirit, Bisabr \cite{bisabr} reported a cosmological scenario in $f(R)$ gravity where DM and DE interact and exchange energy with each other and therefore evolve dependently. We investigate the efficiency and model independancy of the technique reported in Bisabr \cite{bisabr} in addressing the Coincidence problem with the help of two $f(R)$ gravity models with model parameters constrained from various observations. Our result confirm the idea that not all scalar-tensor gravity theories and models can circumvent the Coincidence Problem and any cosmological scenario with interacting fluids is highly model dependent and hence alternate model independent theories and ideas should be nominated to solve this mystery.


title: Long-baseline horizontal radio-frequency transmission through polar ice

abstract: We report on analysis of englacial radio-frequency (RF) pulser data received over horizontal baselines of 1--5 km, based on broadcasts from two sets of transmitters deployed to depths of up to 1500 meters at the South Pole. First, we analyze data collected usingtwo RF bicone transmitters 1400 meters below the ice surface, and frozen into boreholes drilled for the IceCube experiment in 2011. Additionally, in Dec., 2018, a fat-dipole antenna, fed by one of three high-voltage (~1 kV), fast (~(1-5 ns)) signal generators was lowered into the 1700-m deep icehole drilled for the South Pole Ice Core Experiment (SPICE), approximately 3 km from the geographic South Pole. Signals from transmitters were recorded on the five englacial multi-receiver ARA stations, with receiver depths between 60--200 m. We confirm the long, >1 km RF electric field attenuation length, test our observed signal arrival timing distributions against models, and measure birefringent asymmetries at the 0.15% level.


title: Filtering the photoluminescence spectra of atomically thin semiconductors with graphene

abstract: Atomically thin semiconductors made from transition metal dichalcogenides (TMDs) are model systems for investigations of strong light-matter interactions and applications in nanophotonics, opto-electronics and valley-tronics. However, the photoluminescence spectra of TMD monolayers display a large number of features that are particularly challenging to decipher. On a practical level, monochromatic TMD-based emitters would be beneficial for low-dimensional devices but this challenge is yet to be resolved. Here, we show that graphene, directly stacked onto TMD monolayers enables single and narrow-line photoluminescence arising solely from TMD neutral excitons. This filtering effect stems from complete neutralization of the TMD by graphene combined with selective non-radiative transfer of long-lived excitonic species to graphene. Our approach is applied to four tungsten and molybdenum-based TMDs and establishes TMD/graphene heterostructures as a unique set of opto-electronic building blocks, suitable for electroluminescent systems emitting visible and near-infrared photons at near THz rate with linewidths approaching the lifetime limit.


title: A Liouville principle for the random conductance model under degenerate conditions

abstract: We consider a random conductance model on the $d$-dimensional lattice, $d\in[2,\infty)\cap\mathbb{N}$, where the conductances take values in $(0,\infty)$ and are however not assumed to be bounded from above and below. We assume that the law of the random conductances is stationary and ergodic with respect to translations on $\mathbb{Z}^d$ and invariant with respect to reflections on $\mathbb{Z}^d$ and satisfies a similar moment bound as that by Andres, Deuschel, and Slowik (2015), under which a quenched FCLT holds. We prove a first-order Liouville theorem. In the proof we construct the sublinear correctors in the discrete and adapt boundary estimates for harmonic extensions from the work in the continuum done by Bella, Fehrman, and Otto (2018) to the discrete.


title: Global optimization for accurate determination of EBSD pattern centers

abstract: Accurate pattern center determination has long been a challenge for the electron backscatter diffraction (EBSD) community and is becoming critically accuracy-limiting for more recent advanced EBSD techniques. Here, we study the parameter landscape over which a pattern center must be fitted in quantitative detail and reveal that it is both sloppy and noisy, which limits the accuracy to which pattern centers can be determined. To locate the global optimum in this challenging landscape, we propose a combination of two approaches: the use of a global search algorithm and averaging the results from multiple patterns. We demonstrate the ability to accurately determine pattern centers of simulated patterns, inclusive of effects of binning and noise on the error of the fitted pattern center. We also demonstrate the ability of this method to accurately detect changes in pattern center in an experimental dataset with noisy and highly binned patterns. Source code for our pattern center fitting algorithm is available online.


title: DDSketch: A fast and fully-mergeable quantile sketch with relative-error guarantees

abstract: Summary statistics such as the mean and variance are easily maintained for large, distributed data streams, but order statistics (i.e., sample quantiles) can only be approximately summarized. There is extensive literature on maintaining quantile sketches where the emphasis has been on bounding the rank error of the sketch while using little memory. Unfortunately, rank error guarantees do not preclude arbitrarily large relative errors, and this often occurs in practice when the data is heavily skewed. Given the distributed nature of contemporary large-scale systems, another crucial property for quantile sketches is mergeablility, i.e., several combined sketches must be as accurate as a single sketch of the same data. We present the first fully-mergeable, relative-error quantile sketching algorithm with formal guarantees. The sketch is extremely fast and accurate, and is currently being used by Datadog at a wide-scale.


title: Five decades of US, UK, German and Dutch music charts show that cultural processes are accelerating

abstract: Analyzing the timeline of US, UK, German and Dutch music charts, we find that the evolution of album lifetimes and of the size of weekly rank changes provide evidence for an acceleration of cultural processes. For most of the past five decades number one albums needed more than a month to climb to the top, nowadays an album is in contrast top ranked either from the start, or not at all. Over the last three decades, the number of top-listed albums increased as a consequence from roughly a dozen per year to about 40. The distribution of album lifetimes evolved during the last decades from a log-normal distribution to a powerlaw, a profound change. Presenting an information-theoretical approach to human activities, we suggest that the fading relevance of personal time horizons may be causing this phenomenon. Furthermore we find that sales and airplay based charts differ statistically and that the inclusion of streaming affects chart diversity adversely. We point out in addition that opinion dynamics may accelerate not only in cultural domains, as found here, but also in other settings, in particular in politics, where it could have far reaching consequences.


title: Remote sensing of exoplanetary atmospheres with ground-based high-resolution near-infrared spectroscopy

abstract: Thanks to the advances in modern instrumentation we have learned about many exoplanets that span a wide range of masses and composition. Studying their atmospheres provides insight into planetary origin, evolution, dynamics, and habitability. Present and future observing facilities will address these important topics in great detail by using more precise observations, high-resolution spectroscopy, and improved analysis methods. We investigate the feasibility of retrieving the vertical temperature distribution and molecular number densities from expected exoplanet spectra in the near-infrared. We use the test case of the CRIRES+, instrument at the Very Large Telescope which will operate in the near-infrared between 1 and 5 micron and resolving powers of R=100000 and R=50000. We also determine the optimal wavelength coverage and observational strategies for increasing accuracy in the retrievals. We used the optimal estimation approach to retrieve the atmospheric parameters from the simulated emission observations of the hot Jupiter HD~189733b. The radiative transfer forward model is calculated using a public version of the tauREx software package. Our simulations show that we can retrieve accurate temperature distribution in a very wide range of atmospheric pressures between 1 bar and $10^{-6}$ bar depending on the chosen spectral region. Retrieving molecular mixing ratios is very challenging, but a simultaneous observations in two separate infrared regions around 1.6 micron and 2.3 micron helps to obtain accurate estimates; the exoplanetary spectra must be of relatively high signal-to-noise ratio S/N>10, while the temperature can already be derived accurately with the lowest value that we considered in this study (S/N=5).


title: Singular CR structures of constant Webster curvature and applications

abstract: We consider the sphere $\Sph^{2n+1}$ equipped with its standard CR structure. In this paper we construct explicit contact forms on $\Sph^{2n+1}\setminus \Sph^{2k+1}$, which are conformal to the standard one and whose related Webster metrics have constant Webster curvature; in particular the curvature is positive if $2k< n-2$. As main applications, we provide two perturbative results. In the first one we prove the existence of infinitely many contact structures on $\Sph^{2n+1}\setminus \tau(\Sph^{1})$ conformal to the standard one and having constant Webster curvature, where $\tau(\Sph^{1})$ is a small perturbation of $\Sph^1$. In the second application, we show that there exist infinitely many bifurcating branches of periodic solutions to the CR Yamabe problem on $\Sph^{2n+1}\setminus \Sph^{1}$ having constant Webster curvature.


title: Initialization for Network Embedding: A Graph Partition Approach

abstract: Network embedding has been intensively studied in the literature and widely used in various applications, such as link prediction and node classification. While previous work focus on the design of new algorithms or are tailored for various problem settings, the discussion of initialization strategies in the learning process is often missed. In this work, we address this important issue of initialization for network embedding that could dramatically improve the performance of the algorithms on both effectiveness and efficiency. Specifically, we first exploit the graph partition technique that divides the graph into several disjoint subsets, and then construct an abstract graph based on the partitions. We obtain the initialization of the embedding for each node in the graph by computing the network embedding on the abstract graph, which is much smaller than the input graph, and then propagating the embedding among the nodes in the input graph. With extensive experiments on various datasets, we demonstrate that our initialization technique significantly improves the performance of the state-of-the-art algorithms on the evaluations of link prediction and node classification by up to 7.76% and 8.74% respectively. Besides, we show that the technique of initialization reduces the running time of the state-of-the-arts by at least 20%.


title: Thermal surface neutralization of Fr ions with metal foils for magneto-optical trapping of radioisotopes

abstract: We investigate neutralization processes (especially thermal surface neutralization), which are required for the magneto-optical trapping of radioactive atoms. A variety of neutralization methods are first summarized: neutral beam injection for fusion reactors, neutral atom implantation in semiconductor processing, and the production of radioactive neutral atoms in accelerators. We focus on thermal surface neutralization, which produces neutral atoms in the thermal energy range for laser cooling. The experiments were carried out with yttrium, gadolinium, and zirconium foils to neutralize francium and rubidium ions for magneto-optical trapping. The results reconfirm that yttrium foil is a good neutralizer (i.e., it has a neutral release efficiency $>65\%$). In addition, the release fraction when using yttrium foil exceeds 75\% at 1350 K, which is greater than the release fraction for the other foils. This reconfirmation is important because few previous studies have focused on thermal surface neutralization. Moreover, the results show that the neutralization efficiency is strongly influenced by the experimental process itself.


title: Mechanism of generation of a Josephson phase shift by an Abrikosov vortex

abstract: Abrikosov vortex contains magnetic field and circulating currents that decay at a short range $\lambda \sim 100$ nm. However, the vortex can induce a long range Josephson phase shift at distances $r\sim\mu$m$\gg\lambda$. The mechanism of this puzzling phenomenon is not clearly understood. Here we present a systematic study of vortex-induced phase shift in planar Josephson junctions. We make two key observations: (i) The cutoff effect: although vortex-induce phase shift is a long-range phenomenon, it is terminated by the junction and does not persists beyond it. (ii) A crossover from linear to superlinear dependence of the phase shift on the vortex polar angle occurs upon approaching of the vortex to the junction. The crossover occurs at a distance comparable with the penetration depth. This, together with theoretical and numerical analysis of the problem, allows unambiguous identification of two distinct and independent mechanisms. The short range mechanism is due to circulating vortex currents {\it inside} superconducting electrodes without involvement of magnetic field. The long range mechanism is due to stray magnetic fields {\it outside} electrodes without circulating vortex currents. We argue that understanding of controlling parameters of vortex-induced Josephson phase shift can be used for development of compact and fast electronic devices with low dissipation power.


title: Explainable Video Action Reasoning via Prior Knowledge and State Transitions

abstract: Human action analysis and understanding in videos is an important and challenging task. Although substantial progress has been made in past years, the explainability of existing methods is still limited. In this work, we propose a novel action reasoning framework that uses prior knowledge to explain semantic-level observations of video state changes. Our method takes advantage of both classical reasoning and modern deep learning approaches. Specifically, prior knowledge is defined as the information of a target video domain, including a set of objects, attributes and relationships in the target video domain, as well as relevant actions defined by the temporal attribute and relationship changes (i.e. state transitions). Given a video sequence, we first generate a scene graph on each frame to represent concerned objects, attributes and relationships. Then those scene graphs are linked by tracking objects across frames to form a spatio-temporal graph (also called video graph), which represents semantic-level video states. Finally, by sequentially examining each state transition in the video graph, our method can detect and explain how those actions are executed with prior knowledge, just like the logical manner of thinking by humans. Compared to previous works, the action reasoning results of our method can be explained by both logical rules and semantic-level observations of video content changes. Besides, the proposed method can be used to detect multiple concurrent actions with detailed information, such as who (particular objects), when (time), where (object locations) and how (what kind of changes). Experiments on a re-annotated dataset CAD-120 show the effectiveness of our method.


title: Unsupervised Domain Adaptation for Cross-sensor Pore Detection in High-resolution Fingerprint Images

abstract: With the emergence of high-resolution fingerprint sensors, there has been a lot of focus on level-3 fingerprint features, especially the pores, for the next generation automated fingerprint recognition systems (AFRS). Following the success of deep learning in various computer vision tasks, researchers have developed learning-based approaches for detection of pores in high-resolution fingerprint images. Generally, learning-based approaches provide better performance than handcrafted feature-based approaches. However, domain adaptability of the existing learning-based pore detection methods has never been studied. In this paper, we study this aspect and propose an approach for pore detection in cross-sensor scenarios. For this purpose, we have generated an in-house 1000 dpi fingerprint dataset with ground truth pore coordinates (referred to as IITI-HRFP-GT), and evaluated the performance of the existing learning-based pore detection approaches. The core of the proposed approach for detection of pores in cross-sensor scenarios is DeepDomainPore, which is a residual learning-based convolutional neural network(CNN) trained for pore detection. The domain adaptability in DeepDomainPore is achieved by embedding a gradient reversal layer between the CNN and a domain classifier network. The proposed approach achieves state-of-the-art performance in a cross-sensor scenario involving public high-resolution fingerprint datasets with 88.12% true detection rate and 83.82% F-score.


title: Monomial ideals with arbitrarily high tiny powers in any number of variables

abstract: Powers of (monomial) ideals is a subject that still calls attraction in various ways. Let $I\subset \mathbb K[x_1,\ldots,x_n]$ be a monomial ideal and let $G(I)$ denote the (unique) minimal monomial generating set of $I$. How small can $|G(I^i)|$ be in terms of $|G(I)|$? We expect that the inequality $|G(I^2)|>|G(I)|$ should hold and that $|G(I^i)|$, $i\ge 2$, grows further whenever $|G(I)|\ge 2$. In this paper we will disprove this expectation and show that for any $n$ and $d$ there is an $\mathfrak m$-primary monomial ideal $I\subset \mathbb K[x_1,\ldots,x_n]$ such that $|G(I)|>|G(I^i)|$ for all $i\le d$.


title: Emotion Detection with Neural Personal Discrimination

abstract: There have been a recent line of works to automatically predict the emotions of posts in social media. Existing approaches consider the posts individually and predict their emotions independently. Different from previous researches, we explore the dependence among relevant posts via the authors' backgrounds, since the authors with similar backgrounds, e.g., gender, location, tend to express similar emotions. However, such personal attributes are not easy to obtain in most social media websites, and it is hard to capture attributes-aware words to connect similar people. Accordingly, we propose a Neural Personal Discrimination (NPD) approach to address above challenges by determining personal attributes from posts, and connecting relevant posts with similar attributes to jointly learn their emotions. In particular, we employ adversarial discriminators to determine the personal attributes, with attention mechanisms to aggregate attributes-aware words. In this way, social correlationship among different posts can be better addressed. Experimental results show the usefulness of personal attributes, and the effectiveness of our proposed NPD approach in capturing such personal attributes with significant gains over the state-of-the-art models.


title: Character varieties for real forms of classical complex groups

abstract: Let $\Gamma$ be a finitely generated group, $G_\mathbb{C}$ be a classical complex group and $G_\mathbb{R}$ a real form of $G_\mathbb{C}$. We propose a definition of the $G_\mathbb{R}$-character variety of $\Gamma$ as a subset $\mathcal{X}_{G_\mathbb{R}}(\Gamma)$ of the $G_\mathbb{C}$-character variety $\mathcal{X}_{G_\mathbb{C}}(\Gamma)$. We prove that these subsets cover the set of irreducible $G_\mathbb{C}$-characters fixed by an anti-holomorphic involution $\Phi$ of $\mathcal{X}_{G_\mathbb{C}}(\Gamma)$. Whenever $G_\mathbb{R}$ is compact, we prove that $\mathcal{X}_{G_\mathbb{R}}(\Gamma)$ is homeomorphic to the topological quotient $\mathrm{Hom}(\Gamma,G_\mathbb{R})/G_\mathbb{R}$. Finally, we identify the reducible points of $\mathcal{X}_{\mathrm{GL}(n,\mathbb{C})}(\Gamma)$ fixed by an anti-holomorphic involution $\Phi$ as coming from direct sums of representations with values in real groups.


title: Improving a State-of-the-Art Heuristic for the Minimum Latency Problem with Data Mining

abstract: Recently, hybrid metaheuristics have become a trend in operations research. A successful example combines the Greedy Randomized Adaptive Search Procedures (GRASP) and data mining techniques, where frequent patterns found in high-quality solutions can lead to an efficient exploration of the search space, along with a significant reduction of computational time. In this work, a GRASP-based state-of-the-art heuristic for the Minimum Latency Problem (MLP) is improved by means of data mining techniques for two MLP variants. Computational experiments showed that the approaches with data mining were able to match or improve the solution quality for a large number of instances, together with a substantial reduction of running time. In addition, 88 new cost values of solutions are introduced into the literature. To support our results, tests of statistical significance, impact of using mined patterns, equal time comparisons and time-to-target plots are provided.


title: Moments of nucleon generalized parton distributions from lattice QCD simulations at physical pion mass

abstract: We present results for the moments of nucleon isovector vector and axial generalised parton distribution functions computed within lattice QCD. Three ensembles of maximally twisted mass clover-improved fermions simulated with a physical value of the pion mass are analyzed. Two of these ensembles are generated using two degenerate light quarks. A third ensemble is used having, in addition to the light quarks, strange and charm quarks in the sea. A careful analysis of the convergence to the ground state is carried out that is shown to be essential for extracting the correct nucleon matrix elements. This allows a controlled determination of the unpolarised, helicity and tensor second Mellin moments. The vector and axial-vector generalised form factors are also computed as a function of the momentum transfer square up to about 1 GeV$^2$. The three ensembles allow us to check for unquenching effects and to assess lattice finite volume effects.


title: Operator Algebras Associated with Quantized Canonical Transformations

abstract: We review an approach to the index theory of operator algebras associated with Lie groups of quantized canonical transformations. Main points are an ellipticity condition ensuring the Fredholm property, the definition of localized algebraic and analytic indices and the proof of their equality. This framework encompasses many well-known index problems, such as the classical theory on closed manifold, the Atiyah-Weinstein problem and the index theory for operators with shifts.


title: Fluctuations of the number of excursion sets of planar Gaussian fields

abstract: For a smooth, stationary, planar Gaussian field, we consider the number of connected components of its excursion set (or level set) contained in a large square of area $R^2$. The mean number of components is known to be of order $R^2$ for generic fields and all levels. We show that for certain fields with positive spectral density near the origin (including the Bargmann-Fock field), and for certain levels $\ell$, these random variables have fluctuations of order at least $R$, and hence variance of order at least $R^2$. In particular, this holds for excursion sets when $\ell$ is in some neighbourhood of zero, and it holds for excursion/level sets when $\ell$ is sufficiently large. We prove stronger fluctuation lower bounds of order $R^\alpha$, $\alpha \in [1,2]$, in the case that the spectral density has a singularity at the origin. Finally, we show that the number of excursion/level sets for the Random Plane Wave at certain levels has fluctuations of order at least $R^{3/2}$, and hence variance of order at least~$R^3$. We expect that these bounds are of the correct order, at least for generic levels.


title: A Generalization of Hall-Wielandt Theorem

abstract: Let $G$ be a finite group and $P\in Syl_p(G)$. We denote the $k$'th term of the upper central series of $G$ by $Z_k(G)$ and the norm of $G$ by $Z^*(G)$. In this article, we prove that if for every tame intersection $P\cap Q$ such that $Z_{p-1}(P)<P\cap Q<P$, the group $N_G(P\cap Q)$ is $p$-nilpotent then $N_G(P)$ controls $p$-transfer in $G$. For $p=2$, we sharpen our results by proving if for every tame intersection $P\cap Q$ such that $Z^*(P)<P\cap Q<P$, the group $N_G(P\cap Q)$ is $p$-nilpotent then $N_G(P)$ controls $p$-transfer in $G$. We also obtain several corollaries which give sufficient conditions for $N_G(P)$ to controls $p$-transfer in $G$ as a generalization of some well known theorems, including Hall-Wielandt theorem and Frobenius normal complement theorem.


title: Brownian Thermometry Beyond Equilibrium

abstract: Since Albert Einstein's seminal 1905-paper on Brownian motion, the temperature of fluids and gases of known viscosity can be deduced from observations of the fluctuations of small suspended probe particles. We summarize recent generalizations of this standard technique of Brownian thermometry to situations involving spatially heterogeneous temperature fields and other non-equilibrium conditions in the solvent medium. The notion of effective temperatures is reviewed and its scope critically assessed. Our emphasis is on practically relevant real-world applications, for which effective temperatures have been explicitly computed and experimentally confirmed. We also elucidate the relation to the more general concept of (effective) temperature spectra and their measurement by Brownian thermospectrometry. Finally, we highlight the conceptual importance of non-equilibrium thermometry for active and biological matter, such as microswimmer suspensions or biological cells, which often play the role of non-thermal ('active') heat baths for embedded Brownian degrees of freedom.


title: Testing Neural Program Analyzers

abstract: Deep neural networks have been increasingly used in software engineering and program analysis tasks. They usually take a program and make some predictions about it, e.g., bug prediction. We call these models neural program analyzers. The reliability of neural programs can impact the reliability of the encompassing analyses. In this paper, we describe our ongoing efforts to develop effective techniques for testing neural programs. We discuss the challenges involved in developing such tools and our future plans. In our preliminary experiment on a neural model recently proposed in the literature, we found that the model is very brittle, and simple perturbations in the input can cause the model to make mistakes in its prediction.


title: Impact of Strong Anisotropy on Phase Diagram of Superfluid $^3$He in Aerogels

abstract: Recently, one analog of the Anderson's Theorem for the $s$-wave superconductor has attracted much interest in the context of the $p$-wave polar pairing state of superfluid $^3$He in a model aerogel in the limit of strong uniaxial anisotropy. We discuss to what extent the theorem is satisfied in the polar phase in real aerogels by examining the normal to polar transition temperature $T_c$ and the low temperature behavior of the superfluid energy gap under an anisotropy of a moderate strength and comparing the obtained results with experimental data. The situation in which the Anderson's theorem clearly breaks down is also discussed.


title: Unsupervised algorithm for disaggregating low-sampling-rate electricity consumption of households

abstract: Non-intrusive load monitoring (NILM) has been extensively researched over the last decade. The objective of NILM is to identify the power consumption of individual appliances and to detect when particular devices are on or off from measuring the power consumption of an entire house. This information allows households to receive customized advice on how to better manage their electrical consumption. In this paper, we present an alternative NILM method that breaks down the aggregated power signal into categories of appliances. The ultimate goal is to use this approach for demand-side management to estimate potential flexibility within the electricity consumption of households. Our method is implemented as an algorithm combining NILM and load profile simulation. This algorithm, based on a Markov model, allocates an activity chain to each inhabitant of the household, deduces from the whole-house power measurement and statistical data the appliance usage, generate the power profile accordingly and finally returns the share of energy consumed by each appliance category over time. To analyze its performance, the algorithm was benchmarked against several state-of-the-art NILM algorithms and tested on three public datasets. The proposed algorithm is unsupervised; hence it does not require any labeled data, which are expensive to acquire. Although better performance is shown for the supervised algorithms, our proposed unsupervised algorithm achieves a similar range of uncertainty while saving on the cost of acquiring labeled data. Additionally, our method requires lower computational power compared to most of the tested NILM algorithms. It was designed for low-sampling-rate power measurement (every 15 min), which corresponds to the frequency range of most common smart meters.


title: Automated Architecture Design for Deep Neural Networks

abstract: Machine learning has made tremendous progress in recent years and received large amounts of public attention. Though we are still far from designing a full artificially intelligent agent, machine learning has brought us many applications in which computers solve human learning tasks remarkably well. Much of this progress comes from a recent trend within machine learning, called deep learning. Deep learning models are responsible for many state-of-the-art applications of machine learning. Despite their success, deep learning models are hard to train, very difficult to understand, and often times so complex that training is only possible on very large GPU clusters. Lots of work has been done on enabling neural networks to learn efficiently. However, the design and architecture of such neural networks is often done manually through trial and error and expert knowledge. This thesis inspects different approaches, existing and novel, to automate the design of deep feedforward neural networks in an attempt to create less complex models with good performance that take away the burden of deciding on an architecture and make it more efficient to design and train such deep networks.


title: Learned SIRT for Cone Beam Computed Tomography Reconstruction

abstract: We introduce the learned simultaneous iterative reconstruction technique (SIRT) for tomographic reconstruction. The learned SIRT algorithm is a deep learning based reconstruction method combining model knowledge with a learned component. The algorithm is trained by mapping raw measured data to the reconstruction results over several iterations. The Learned SIRT algorithm is applied to a cone beam geometry on a circular orbit, a challenging problem for learned methods due to its 3D geometry and its inherent inability to completely capture the patient anatomy. A comparison of 2D reconstructions is shown, where the learned SIRT approach produces reconstructions with superior peak signal to noise ratio (PSNR) and structural similarity (SSIM), compared to FBP, SIRT and U-net post-processing and similar PSNR and SSIM compared to the learned primal dual algorithm. Similar results are shown for cone beam geometry reconstructions of a 3D Shepp Logan phantom, where we obtain between 9.9 and 28.1 dB improvement over FBP with a substantial improvement in SSIM. Finally we show that our algorithm scales to clinically relevant problems, and performs well when applied to measurements of a physical phantom.


title: Asynchronous Consensus Without Rounds

abstract: Fault tolerant consensus protocols usually involve ordered rounds of voting between a collection of processes. In this paper, we derive a general specification of fault tolerant asynchronous consensus protocols and present a class of consensus protocols that refine this specification without using rounds. Crash-tolerant protocols in this class use 3f+1 processes, while Byzantine-tolerant protocols use 5f+1 processes.


title: Fast Video Object Segmentation via Mask Transfer Network

abstract: Accuracy and processing speed are two important factors that affect the use of video object segmentation (VOS) in real applications. With the advanced techniques of deep neural networks, the accuracy has been significantly improved, however, the speed is still far below the real-time needs because of the complicated network design, such as the requirement of the first frame fine-tuning step. To overcome this limitation, we propose a novel mask transfer network (MTN), which can greatly boost the processing speed of VOS and also achieve a reasonable accuracy. The basic idea of MTN is to transfer the reference mask to the target frame via an efficient global pixel matching strategy. The global pixel matching between the reference frame and the target frame is to ensure good matching results. To enhance the matching speed, we perform the matching on a downsampled feature map with 1/32 of the original frame size. At the same time, to preserve the detailed mask information in such a small feature map, a mask network is designed to encode the annotated mask information with 512 channels. Finally, an efficient feature warping method is used to transfer the encoded reference mask to the target frame. Based on this design, our method avoids the fine-tuning step on the first frame and does not rely on the temporal cues and particular object categories. Therefore, it runs very fast and can be conveniently trained only with images, as well as being robust to unseen objects. Experiments on the DAVIS datasets demonstrate that MTN can achieve a speed of 37 fps, and also shows a competitive accuracy in comparison to the state-of-the-art methods.


title: Strong Measure Zero Sets on $2^\kappa$ for $\kappa$ Inaccessible

abstract: We investigate the notion of strong measure zero sets in the context of the higher Cantor space $2^\kappa$ for $\kappa$ at least inaccessible. Using an iteration of perfect tree forcings, we give two proofs of the relative consistency of \[ |2^\kappa| = \kappa^{++} + \forall X \subseteq 2^\kappa:\ X \text{ is strong measure zero if and only if } |X| \leq \kappa^+. \] Furthermore, we also investigate the stronger notion of stationary strong measure zero and show that the equivalence of the two notions is undecidable in ZFC.


title: Guided Dialog Policy Learning: Reward Estimation for Multi-Domain Task-Oriented Dialog

abstract: Dialog policy decides what and how a task-oriented dialog system will respond, and plays a vital role in delivering effective conversations. Many studies apply Reinforcement Learning to learn a dialog policy with the reward function which requires elaborate design and pre-specified user goals. With the growing needs to handle complex goals across multiple domains, such manually designed reward functions are not affordable to deal with the complexity of real-world tasks. To this end, we propose Guided Dialog Policy Learning, a novel algorithm based on Adversarial Inverse Reinforcement Learning for joint reward estimation and policy optimization in multi-domain task-oriented dialog. The proposed approach estimates the reward signal and infers the user goal in the dialog sessions. The reward estimator evaluates the state-action pairs so that it can guide the dialog policy at each dialog turn. Extensive experiments on a multi-domain dialog dataset show that the dialog policy guided by the learned reward function achieves remarkably higher task success than state-of-the-art baselines.


title: Pressure Correction for Solvation Theories

abstract: Liquid state theories such as integral equations and classical density functional theory often overestimate the bulk pressure of fluids because they require closure relations or truncations of functionals. Consequently, the cost to create a molecular cavity in the fluid is no longer negligible and those theories predict wrong solvation free energies. We show how to correct them simply by computing an optimized Van der Walls volume of the solute and removing the undue free energy to create such volume in the fluid. Given this versatile correction, we demonstrate that state-of-the-art solvation theories can predict, within seconds, hydration free energies of a benchmark of small neutral drug-like molecules with the same accuracy as day-long molecular simulations.


title: Discourse-Aware Semantic Self-Attention for Narrative Reading Comprehension

abstract: In this work, we propose to use linguistic annotations as a basis for a \textit{Discourse-Aware Semantic Self-Attention} encoder that we employ for reading comprehension on long narrative texts. We extract relations between discourse units, events and their arguments as well as coreferring mentions, using available annotation tools. Our empirical evaluation shows that the investigated structures improve the overall performance, especially intra-sentential and cross-sentential discourse relations, sentence-internal semantic role relations, and long-distance coreference relations. We show that dedicating self-attention heads to intra-sentential relations and relations connecting neighboring sentences is beneficial for finding answers to questions in longer contexts. Our findings encourage the use of discourse-semantic annotations to enhance the generalization capacity of self-attention models for reading comprehension.


title: Networked Control of Nonlinear Systems under Partial Observation Using Continuous Deep Q-Learning

abstract: In this paper, we propose a design of a model-free networked controller for a nonlinear plant whose mathematical model is unknown. In a networked control system, the controller and plant are located away from each other and exchange data over a network, which causes network delays that may fluctuate randomly due to network routing. So, in this paper, we assume that the current network delay is not known but the maximum value of fluctuating network delays is known beforehand. Moreover, we also assume that the sensor cannot observe all state variables of the plant. Under these assumption, we apply continuous deep Q-learning to the design of the networked controller. Then, we introduce an extended state consisting of a sequence of past control inputs and outputs as inputs to the deep neural network. By simulation, it is shown that, using the extended state, the controller can learn a control policy robust to the fluctuation of the network delays under the partial observation.


title: Lower bounds for the Wiener norm in $\mathbb{Z}_p^d$

abstract: We obtain lower bounds for the $l_1$-norm of the Fourier transform of functions on $\mathbb{Z}_p^d$.


title: A homogeneous decomposition theorem for valuations on convex functions

abstract: The existence of a homogeneous decomposition for continuous and epi-translation invariant valuations on super-coercive functions is established. Continuous and epi-translation invariant valuations that are epi-homogeneous of degree $n$ are classified. By duality, corresponding results are obtained for valuations on finite-valued convex functions.


title: VJA\'G\'G -- A Thick-Client Smart-Phone Journey Detection Algorithm

abstract: In this paper we describe $Vja\dot{g}\dot{g}$, a battery-aware journey detection algorithm that executes on the mobile device. The algorithm can be embedded in the client app of the transport service provider or in a general purpose mobility data collector. The thick client setup allows the customer/participant to select which journeys are transferred to the server, keeping customers in control of their personal data and encouraging user uptake. The algorithm is tested in the field and optimised for both accuracy in registering complete journeys and battery power consumption. Typically the algorithm can run for a full day without the need of recharging and more than 88% of journeys are correctly detected from origin to destination, whilst 12% would be missing part of the journey.


title: Giant thermoelectric response of nanofluidic systems driven by water excess enthalpy

abstract: Nanofluidic systems could in principle be used to produce electricity from waste heat, but current theoretical descriptions predict a rather poor performance as compared to thermoelectric solid materials. Here we investigate the thermoelectric response of NaCl and NaI solutions confined between charged walls, using molecular dynamics simulations. We compute a giant thermoelectric response, two orders of magnitude larger than the predictions of standard models. We show that water excess enthalpy -- neglected in the standard picture -- plays a dominant role in combination with the electroosmotic mobility of the liquid-solid interface. Accordingly, the thermoelectric response can be boosted using surfaces with large hydrodynamic slip. Overall, the heat harvesting performance of the model systems considered here is comparable to that of the best thermoelectric materials, and the fundamental insight provided by molecular dynamics suggests guidelines to further optimize the performance, opening the way to recycle waste heat using nanofluidic devices.


title: Clustering structure for species sampling sequences with general base measure

abstract: We investigate the clustering structure of species sampling sequences $(\xi_n)_n$, with general base measure. Such sequences are exchangeable with a species sampling random probability as directing measure. The clustering properties of these sequences are interesting for Bayesian nonparametrics applications, where mixed base measures are used, for example, to accommodate sharp hypotheses in regression problems and provide sparsity. In this paper, we prove a stochastic representation for $(\xi_n)_n$ in terms of a latent exchangeable random partition. We provide explicit expression of the EPPF of the partition generated by $(\xi_n)_n$ in terms of the EPPF of the latent partition. We investigate the asymptotic behaviour of the total number of blocks and of the number of blocks with fixed cardinality in the partition generated by $(\xi_n)_n$.


title: Design and performance of a UV-calibration device for the SPICEcore hole

abstract: The IceCube Neutrino Observatory will be upgraded in 2022/23. For this IceCube Upgrade and the planned enlarged detector IceCube-Gen2 new optical modules are under development. One of these optical modules, the Wavelength-shifting Optical Module (WOM), uses wavelength-shifting and light-guiding techniques to measure Cherenkov photons in the UV-range. To understand the potential improvements of this new module the absorption and scattering lengths of UV light in the South Pole ice need to be measured. The measurement is done utilizing an existing borehole (SPICEcore) of 1751 m depth. The SPICEcore hole was drilled for glaciological studies and filled with a transparent antifreeze liquid to remain accessible. To measure the UV optical properties a calibration device has been designed and lowered down into the hole. The device includes a UV light source and a UV-sensitive detector. UV photons scattered back are measured and from their time distribution the scattering and absorption length are calculated. We present the design of the probe and its performance during the 2018/19 measurement campaign.


title: Neutron-capture elements in dwarf galaxies I: Chemical clocks & the short timescale of the r-process

abstract: The heavy elements (Z>30) are created in neutron-capture processes which happen at very different nucleosynthetic sites. To study them in an environment different from the Milky Way, we target these elements in RGB stars in the Sculptor dwarf spheroidal galaxy. Using ESO VLT/FLAMES spectra, we measure the chemical abundances of Y, Ba, La, Nd, and Eu, in 98 stars covering $-2.4<\text{[Fe/H]}<-0.9$. This is the first paper in a series about the $n$-capture elements in dwarf galaxies, and here we focus on the relative and absolute timescales of the slow ($s$)- and rapid ($r$)-processes in Sculptor. From the abundances of the $s$-process element Ba and the $r$-process element Eu, it is clear that the $r$-process enrichment occurred throughout the entire chemical evolution history of Sculptor. Furthermore, there is no evidence for the $r$-process to have a significant time delay relative to core-collapse supernovae. Neutron star mergers are therefore unlikely the dominant (or only) nucleosynthetic site of the $r$-process. However, the products of the $s$-process only become apparent at $\text{[Fe/H]}\approx-2$ in Sculptor, and the $s$-process becomes the dominant source of Ba at $\text{[Fe/H]}\gtrsim-2$. We test the use of [Y/Mg] and [Ba/Mg] as chemical clocks in Sculptor. Similarly to what is observed in the Milky Way, [Y/Mg] and [Ba/Mg] increase towards younger ages. However, there is an offset, where the abundance ratios of [Y/Mg] in Sculptor are significantly lower than those of the Milky Way at any given age. This is most likely caused by metallicity dependence of yields from the $s$-process, as well as different relative contribution of the $s$-process to core-collapse supernovae in these galaxies. Comparisons of our data with that of the Milky Way and the Fornax dwarf spheroidal galaxy furthermore show that these chemical clocks are both metallicity and environment dependent.


title: Confidential Deep Learning: Executing Proprietary Models on Untrusted Devices

abstract: Performing deep learning on end-user devices provides fast offline inference results and can help protect the user's privacy. However, running models on untrusted client devices reveals model information which may be proprietary, i.e., the operating system or other applications on end-user devices may be manipulated to copy and redistribute this information, infringing on the model provider's intellectual property. We propose the use of ARM TrustZone, a hardware-based security feature present in most phones, to confidentially run a proprietary model on an untrusted end-user device. We explore the limitations and design challenges of using TrustZone and examine potential approaches for confidential deep learning within this environment. Of particular interest is providing robust protection of proprietary model information while minimizing total performance overhead.


title: DeepCopy: Grounded Response Generation with Hierarchical Pointer Networks

abstract: Recent advances in neural sequence-to-sequence models have led to promising results for several language generation-based tasks, including dialogue response generation, summarization, and machine translation. However, these models are known to have several problems, especially in the context of chit-chat based dialogue systems: they tend to generate short and dull responses that are often too generic. Furthermore, these models do not ground conversational responses on knowledge and facts, resulting in turns that are not accurate, informative and engaging for the users. In this paper, we propose and experiment with a series of response generation models that aim to serve in the general scenario where in addition to the dialogue context, relevant unstructured external knowledge in the form of text is also assumed to be available for models to harness. Our proposed approach extends pointer-generator networks (See et al., 2017) by allowing the decoder to hierarchically attend and copy from external knowledge in addition to the dialogue context. We empirically show the effectiveness of the proposed model compared to several baselines including (Ghazvininejad et al., 2018; Zhang et al., 2018) through both automatic evaluation metrics and human evaluation on CONVAI2 dataset.


title: Sodium and Potassium Signatures of Volcanic Satellites Orbiting Close-in Gas Giant Exoplanets

abstract: Extrasolar satellites are generally too small to be detected by nominal searches. By analogy to the most active body in the Solar System, Io, we describe how sodium (Na I) and potassium (K I) $\textit{gas}$ could be a signature of the geological activity venting from an otherwise hidden exo-Io. Analyzing $\sim$ a dozen close-in gas giants hosting robust alkaline detections, we show that an Io-sized satellite can be stable against orbital decay below a planetary tidal $\mathcal{Q}_p \lesssim 10^{11}$. This tidal energy is focused into the satellite driving a $\sim 10^{5 \pm 2}$ higher mass loss rate than Io's supply to Jupiter's Na exosphere, based on simple atmospheric loss estimates. The remarkable consequence is that several exo-Io column densities are on average $\textit{more than sufficient}$ to provide the $\sim$ 10$^{10 \pm 1}$ Na cm$^{-2}$ required by the equivalent width of exoplanet transmission spectra. Furthermore, the benchmark observations of both Jupiter's extended ($\sim 1000$ R$_J$) Na exosphere and Jupiter's atmosphere in transmission spectroscopy yield similar Na column densities that are purely exogenic in nature. As a proof of concept, we fit the "high-altitude" Na at WASP 49-b with an ionization-limited cloud similar to the observed Na profile about Io. Moving forward, we strongly encourage time-dependent ingress and egress monitoring along with spectroscopic searches for other volcanic volatiles.


title: The relative Mishchenko--Fomenko higher index and almost flat bundles II: Almost flat index pairing

abstract: This is the second part of a series of papers which bridges the Chang--Weinberger--Yu relative higher index and geometry of almost flat hermitian vector bundles on manifolds with boundary. In this paper we apply the description of the relative higher index given in Part I to provide the relative version of the Hanke--Schick theorem, which relates the relative higher index with index pairing of a K-homology cycle with almost flat relative vector bundles. We also deal with the quantitative version and the dual problem of this theorem.


title: Intelligent Reflecting Surface-Assisted Millimeter Wave Communications: Joint Active and Passive Precoding Design

abstract: Millimeter wave (MmWave) communications is capable of supporting multi-gigabit wireless access thanks to its abundant spectrum resource. However, the severe path loss and high directivity make it vulnerable to blockage events, which can be frequent in indoor and dense urban environments. To address this issue, in this paper, we introduce intelligent reflecting surface (IRS) as a new technology to provide effective reflected paths to enhance coverage of mmWave signals. In this framework, we study joint active and passive precoding design for IRS-assisted mmWave systems, where multiple IRSs are deployed to assist the data transmission from a base station (BS) to a single-antenna receiver. Our objective is to maximize the received signal power by jointly optimizing the transmit precoding vector at the BS and the phase shift parameters used by IRSs for passive beamforming. Although such an optimization problem is generally non-convex, we show that, by exploiting some important characteristics of mmWave channels, an optimal closed-form solution can be derived for the single IRS case and a near-optimal analytical solution can be obtained for the multi-IRS case. Our analysis reveals that the received signal power increases quadratically with the number of reflecting elements for both the single IRS and multi-IRS cases. Simulation results are included to verify the optimality and near-optimality of our proposed solutions. Results also show that IRSs can help create effective virtual LOS paths and thus substantially improve robustness against blockages in mmWave communications.


title: Channel Coding of a Quantum Measurement

abstract: In this work, we consider the preservation of a measurement for quantum systems interacting with an environment. Namely, a method of preserving an optimal measurement over a channel is devised, what we call channel coding of a quantum measurement in that operations are applied before and after a channel in order to protect a measurement. A protocol that preserves a quantum measurement over an arbitrary channel is shown only with local operations and classical communication without the use of a larger Hilbert space. Therefore, the protocol is readily feasible with present day's technologies. Channel coding of qubit measurements is presented, and it is shown that a measurement can be preserved for an arbitrary channel for both i) pairs of qubit states and ii) ensembles of equally probable states. The protocol of preserving a quantum measurement is demonstrated with IBM quantum computers.


title: Thermodynamic, dynamic and transport properties of quantum spin liquid in herbertsmithite from experimental and theoretical point of view

abstract: In our review we focus on the quantum spin liquid, defining the thermodynamic, transport and relaxation properties of geometrically frustrated magnets (insulators) represented by herbertsmithite $\rm ZnCu_{3}(OH)_6Cl_2$.


title: Facial age estimation by deep residual decision making

abstract: Residual representation learning simplifies the optimization problem of learning complex functions and has been widely used by traditional convolutional neural networks. However, it has not been applied to deep neural decision forest (NDF). In this paper we incorporate residual learning into NDF and the resulting model achieves state-of-the-art level accuracy on three public age estimation benchmarks while requiring less memory and computation. We further employ gradient-based technique to visualize the decision-making process of NDF and understand how it is influenced by facial image inputs. The code and pre-trained models will be available at https://github.com/Nicholasli1995/VisualizingNDF.


title: Modular Verification of Autonomous Space Robotics

abstract: Ensuring that autonomous space robot control software behaves as it should is crucial, particularly as software failure in space often equates to mission failure and could potentially endanger nearby astronauts and costly equipment. To minimise mission failure caused by software errors, we can utilise a variety of tools and techniques to verify that the software behaves as intended. In particular, distinct nodes in a robotic system often require different verification techniques to ensure that they behave as expected. This paper introduces a method for integrating the various verification techniques that are applied to robotic software, via a First-Order Logic (FOL) specification that captures each node's assumptions and guarantees. These FOL specifications are then used to guide the verification of the individual nodes, be it by testing or the use of a formal method. We also outline a way of measuring our confidence in the verification of the entire system in terms of the verification techniques used.


title: Towards AoI-aware Smart IoT Systems

abstract: Age of Information (AoI) has gained importance as a Key Performance Indicator (KPI) for characterizing the freshness of information in information-update systems and time-critical applications. Recent theoretical research on the topic has generated significant understanding of how various algorithms perform in terms of this metric on various system models and networking scenarios. In this paper, by the help of the theoretical results, we analyzed the AoI behavior on real-life networks, using our two test-beds, addressing IoT networks and regular computers. Excessive number of AoI measurements are provided for variations of transport protocols such as TCP, UDP and web-socket, on wired and wireless links. Practical issues such as synchronization and selection of hardware along with transport protocol, and their effects on AoI are discussed. The results provide insight toward application and transport layer mechanisms for optimizing AoI in real-life networks.


title: Kernel/User-level Collaborative Persistent Memory File System with Efficiency and Protection

abstract: Emerging high performance non-volatile memories recall the importance of efficient file system design. To avoid the virtual file system (VFS) and syscall overhead as in these kernel-based file systems, recent works deploy file systems directly in user level. Unfortunately, a userlevel file system can easily be corrupted by a buggy program with misused pointers, and is hard to scale on multi-core platforms which incorporates a centralized coordination service. In this paper, we propose KucoFS, a Kernel and user-level collaborative file system. It consists of two parts: a user-level library with direct-access interfaces, and a kernel thread, which performs metadata updates and enforces write protection by toggling the permission bits in the page table. Hence, KucoFS achieves both direct-access of user-level designs and fine-grained write protection of kernel-level ones. We further explore its scalability to multicores: For metadata scalability, KucoFS rebalances the pathname resolution overhead between the kernel and userspace, by adopting the index offloading technique. For data access efficiency, it coordinates the data allocation between kernel and userspace, and uses range-lock write and lock-free read to improve concurrency. Experiments on Optane DC persistent memory show that KucoFS significantly outperforms existing file systems and shows better scalability.


title: Escape of entropy for countable Markov shifts

abstract: In this paper we study ergodic theory of countable Markov shifts. These are dynamical systems defined over non-compact spaces. Our main result relates the escape of mass, the measure theoretic entropy, and the entropy at infinity of the system. This relation has several consequences. For example we obtain that the entropy map is upper semi-continuous and that the ergodic measures form an entropy dense subset. Our results also provide new proofs of results describing the existence and stability of the measure of maximal entropy. We relate the entropy at infinity with the Hausdorff dimension of the set of recurrent points that escape on average. Of independent interest, we prove a version of Katok's entropy formula in this non-compact setting.


title: Estimation of Individualized Decision Rules Based on an Optimized Covariate-Dependent Equivalent of Random Outcomes

abstract: Recent exploration of optimal individualized decision rules (IDRs) for patients in precision medicine has attracted a lot of attention due to the heterogeneous responses of patients to different treatments. In the existing literature of precision medicine, an optimal IDR is defined as a decision function mapping from the patients' covariate space into the treatment space that maximizes the expected outcome of each individual. Motivated by the concept of Optimized Certainty Equivalent (OCE) introduced originally in \cite{ben1986expected} that includes the popular conditional-value-of risk (CVaR) \cite{rockafellar2000optimization}, we propose a decision-rule based optimized covariates dependent equivalent (CDE) for individualized decision making problems. Our proposed IDR-CDE broadens the existing expected-mean outcome framework in precision medicine and enriches the previous concept of the OCE. Numerical experiments demonstrate that our overall approach outperforms existing methods in estimating optimal IDRs under heavy-tail distributions of the data.


title: On Distributed Runtime Verification by Aggregate Computing

abstract: Runtime verification is a computing analysis paradigm based on observing a system at runtime (to check its expected behaviour) by means of monitors generated from formal specifications. Distributed runtime verification is runtime verification in connection with distributed systems: it comprises both monitoring of distributed systems and using distributed systems for monitoring. Aggregate computing is a programming paradigm based on a reference computing machine that is the aggregate collection of devices that cooperatively carry out a computational process: the details of behaviour, position and number of devices are largely abstracted away, to be replaced with a space-filling computational environment. In this position paper we argue, by means of simple examples, that aggregate computing is particularly well suited for implementing distributed monitors. Our aim is to foster further research on how to generate aggregate computing monitors from suitable formal specifications.


title: Information-Theoretic Lower Bounds for Compressive Sensing with Generative Models

abstract: It has recently been shown that for compressive sensing, significantly fewer measurements may be required if the sparsity assumption is replaced by the assumption the unknown vector lies near the range of a suitably-chosen generative model. In particular, in (Bora {\em et al.}, 2017) it was shown roughly $O(k\log L)$ random Gaussian measurements suffice for accurate recovery when the generative model is an $L$-Lipschitz function with bounded $k$-dimensional inputs, and $O(kd \log w)$ measurements suffice when the generative model is a $k$-input ReLU network with depth $d$ and width $w$. In this paper, we establish corresponding algorithm-independent lower bounds on the sample complexity using tools from minimax statistical analysis. In accordance with the above upper bounds, our results are summarized as follows: (i) We construct an $L$-Lipschitz generative model capable of generating group-sparse signals, and show that the resulting necessary number of measurements is $\Omega(k \log L)$; (ii) Using similar ideas, we construct ReLU networks with high depth and/or high depth for which the necessary number of measurements scales as $\Omega\big( kd \frac{\log w}{\log n}\big)$ (with output dimension $n$), and in some cases $\Omega(kd \log w)$. As a result, we establish that the scaling laws derived in (Bora {\em et al.}, 2017) are optimal or near-optimal in the absence of further assumptions.

categories: cs.IT cs.LG eess.SP math.IT math.ST stat.ML stat.TH


title: Accessible phases via wave impedance engineering with PT-symmetric metamaterials

abstract: Optical systems that respect Parity-Time (PT) symmetry can be realized with proper incorporation of gain/loss materials. However, due to the absence of magnetic response at optical frequencies, the wave impedance is defined entirely by their permittivity and, hence, the PT-symmetric character is controlled solely via their refractive index. Here, we show that the separate control of the wave impedance enabled by metamaterials can grant access to further tuning of the Exceptional Points, appearance of mixed phases (coexistence of PT-symmetric and PT-broken phases) and occurrence of phase re-entries, not easily realizable with natural materials.


title: Multiview microscopy of single cells through microstructure-based indirect optical manipulation

abstract: Fluorescent observation of cells generally suffers from the limited axial resolution due to the elongated point spread function of the microscope optics. Consequently, three-dimensional imaging results in axial resolution being several times worse than the transversal. The optical solutions to this problem usually require complicated optics and extreme spatial stability. A straightforward way to eliminate anisotropic resolution is to fuse images recorded from multiple viewing directions achieved mostly by the mechanical rotation of the entire sample. In the presented approach, multiview imaging of single cells is implemented by rotating them around an axis perpendicular to the optical axis by means of holographic optical tweezers. For this, the cells are indirectly trapped and manipulated with special microtools made with two-photon polymerization. The cell is firmly attached to the microtool and is precisely manipulated with 6 degrees of freedom. The total control over the cells position allows for its multiview fluorescence imaging from arbitrarily selected directions. The image stacks obtained this way are combined into one 3D image array with a special image processing algorithm resulting in isotropic optical resolution. The presented tool and manipulation scheme can be readily applied in various microscope platforms.


title: Language Tasks and Language Games: On Methodology in Current Natural Language Processing Research

abstract: "This paper introduces a new task and a new dataset", "we improve the state of the art in X by Y" -- it is rare to find a current natural language processing paper (or AI paper more generally) that does not contain such statements. What is mostly left implicit, however, is the assumption that this necessarily constitutes progress, and what it constitutes progress towards. Here, we make more precise the normally impressionistically used notions of language task and language game and ask how a research programme built on these might make progress towards the goal of modelling general language competence.


title: Magnetic and charge susceptibilities in the half-filled triangular lattice Hubbard model

abstract: We study magnetic and charge susceptibilities in the half-filled two-dimensional triangular Hubbard model within the dual fermion approximation in the metallic, Mott insulating, and crossover regions of parameter space. In the \textcolor{black}{insulating state}, we find strong spin fluctuations at the K point at low energy corresponding to the \textcolor{black}{120$^{\circ}$} antiferromagnetic order. These spin fluctuations persist into the metallic phase and move to higher energy. We also present data for simulated neutron spectroscopy and \textcolor{black}{spin-lattice} relaxation times, and perform direct comparisons to inelastic neutron spectroscopy experiments on the triangular material Ba$_8$CoNb$_6$O$_{24}$ and to the relaxation times on $\kappa$-(ET)$_2$Cu$_2$(CN)$_3$. Finally, we present charge susceptibilities in different areas of parameter space, which should correspond to momentum-resolved electron-loss spectroscopy measurements on triangular compounds.


title: Propagation of Airy beams with ballistic trajectory passing through the Fourier transformation system

abstract: In this work, we present the theoretical and experimental study of the propagation of Airy beams when passing through two convex lenses with different focal distances. The theoretical analysis is presented from a matrix optical model for an Airy beam. The experimental results are obtained in a holographic setup for experimental generation of Airy beams based on the holographic reconstruction system of computer generated holograms (CGH) implemented electronically in a spatial light modulator (SLM) and a 4f Fourier transformation system. These are in agreement with the theoretical prediction. The novelty of this work went to show the evolution of the Airy beam propagation for different convex lenses in a 4f system and its dependence on focal distances. These are important for the control and manipulation of Airy beams; and, they show new possibilities of applications of the Airy beams in optical tweezers, optical communications and optical guidance.


title: Generalised Taft algebras and pairs in involution

abstract: A class of finite-dimensional Hopf algebras which generalise the notion of Taft algebras is studied. We give necessary and sufficient conditions for these Hopf algebras to omit a pair in involution, that is, to not have a group-like and a character implementing the square of the antipode. As a consequence we prove the existence of an infinite set of examples of finite-dimensional Hopf algebras without such pairs. This has implications for the theory of anti-Yetter-Drinfeld modules as well as biduality of representations of Hopf algebras. This article has been accepted for publication in Communications in Algebra, published by Taylor & Francis.


title: A full Stokes subgrid model for simulation of grounding line migration in ice sheets

abstract: The full Stokes equations are solved by a finite element method for simulation of large ice sheets and glaciers. The simulation is particularly sensitive to the discretization of the grounding line which separates the ice resting on the bedrock and the ice floating on water and is moving in time. The boundary conditions at the ice base are enforced by Nitsche's method and a subgrid treatment of the elements in the discretization close to the grounding line. Simulations with the method in two dimensions for an advancing and a retreating grounding line illustrate the performance of the method. It is implemented in the two dimensional version of the open source code Elmer/ICE.


title: (2,0) Lagrangian Structures

abstract: By including an additional self-dual three-form we construct a Lorentz invariant lagrangian for the abelian (2,0) tensor supermultiplet. The extra three-form is a supersymmetry singlet and decouples from the (2,0) tensor supermultiplet. We also present an interacting non-abelian generalization which reproduces the equations of motion of [arXiv:1007.2982 [hep-th]] and can describe some aspects of two interacting M5-branes.


title: Spin functional renormalization group for quantum Heisenberg ferromagnets: Magnetization and magnon damping in two dimensions

abstract: We use the spin functional renormalization group recently developed by two of us [J. Krieg and P. Kopietz, Phys. Rev. B $\bf{99}$, 060403(R) (2019)] to calculate the magnetization $M ( H , T )$ and the damping of magnons due to classical longitudinal fluctuations of quantum Heisenberg ferromagnets. In order to guarantee that for vanishing magnetic field $H \rightarrow 0$ the magnon spectrum is gapless when the spin rotational invariance is spontaneously broken, we use a Ward identity to express the magnon self-energy in terms of the magnetization. In two dimensions our approach correctly predicts the absence of long-range magnetic order for $H=0$ at finite temperature $T$. The magnon spectrum then exhibits a gap from which we obtain the transverse correlation length. We also calculate the wave-function renormalization factor of the magnons. As a mathematical by-product, we derive a recursive form of the generalized Wick theorem for spin operators in frequency space which facilitates the calculation of arbitrary time-ordered connected correlation functions of an isolated spin in a magnetic field.


title: A Semantic Schema for Data Quality Management in a Multi-Tenant Data Platform

abstract: Schibsted Media Group is a global marketplace company with presence in more than 20 countries. It is undergoing a digital transformation to convert data silos to a multi-tenant system based on a common data platform. Good data quality based on a common schema on the semantic level is essential for building successful data-driven products across marketplaces. To solve this challenge, we developed the data quality tooling based on a semantic schema management system to support schema evolution with versioning, testing and transformation. It can monitor the data quality requirements for different applications and handle incoming data consisting of multiple schema versions. Today the system is operating in production and processes over one billion events per day for over 100 applications.


title: Deep Actor-Critic Reinforcement Learning for Anomaly Detection

abstract: Anomaly detection is widely applied in a variety of domains, involving for instance, smart home systems, network traffic monitoring, IoT applications and sensor networks. In this paper, we study deep reinforcement learning based active sequential testing for anomaly detection. We assume that there is an unknown number of abnormal processes at a time and the agent can only check with one sensor in each sampling step. To maximize the confidence level of the decision and minimize the stopping time concurrently, we propose a deep actor-critic reinforcement learning framework that can dynamically select the sensor based on the posterior probabilities. We provide simulation results for both the training phase and testing phase, and compare the proposed framework with the Chernoff test in terms of claim delay and loss.


title: Universality of lower hybrid waves at Earth's magnetopause

abstract: Waves around the lower hybrid frequency are frequently observed at Earth's magnetopause, and readily reach very large amplitudes. Determining the properties of lower hybrid waves is crucial because they are thought to contribute to electron and ion heating, cross-field particle diffusion, anomalous resistivity, and energy transfer between electrons and ions. All these processes could play an important role in magnetic reconnection at the magnetopause and the evolution of the boundary layer. In this paper, the properties of lower hybrid waves at Earth's magnetopause are investigated using the Magnetospheric Multiscale (MMS) mission. For the first time, the properties of the waves are investigated using fields and direct particle measurements. The highest-resolution electron moments resolve the velocity and density fluctuations of lower hybrid waves, confirming that electrons remain approximately frozen in at lower hybrid wave frequencies. Using fields and particle moments the dispersion relation is constructed and the wave-normal angle is estimated to be close to $90^{\circ}$ to the background magnetic field. The waves are shown to have a finite parallel wave vector, suggesting that they can interact with parallel propagating electrons. The observed wave properties are shown to agree with theoretical predictions, the previously used single-spacecraft method, and four-spacecraft timing analyses. These results show that single-spacecraft methods can accurately determine lower hybrid wave properties.


title: Tetrad formalism for exact cosmological observables

abstract: The standard description of cosmological observables is incomplete, because it does not take into account the correct angular parametrization of the sky, i.e. the one determined by the observer frame. The corresponding corrections must be taken into account for reliable results at non-linear orders. This can be accomplished by introducing an orthonormal basis, or "tetrad", at the observer point, representing the frame with respect to which observations are performed. In this work we consider the tetrad formulation of General Relativity, thus associating tetrads to sources as well, and develop a new formalism for describing cosmological observables associated with localized sources. It is based on a manifold which we call the "observer space-time", whose coordinates are the proper time, redshift and angles an observer uses to parametrize measurements, and on which the rest of the observables are defined. This manifold does not have to be diffeomorphic to the true space-time and allows us to resolve caustics in the latter, in contrast to similar coordinate-based formalisms. As a concrete example, we work out the definitions and equations for the angular diameter distance, weak lensing and number count observables. As for the observables associated to the CMB, they lie inside the phase space distribution of the photon fluid, so we also revisit the construction of general-relativistic matrix kinetic theory from the tetrad formalism viewpoint. Here too the latter appears as the natural approach for relating the macroscopic dynamics to the microscopic quantum field theory, and therefore for constructing the matrix Boltzmann equations, without any approximation on the gravitational side. (... more in the manuscript)


title: Simulation of a Dynamic, RuleSet-based Quantum Network

abstract: Similar to the classical Internet, the quantum Internet will require knowledge regarding link qualities used for purposes such as optimal route selection. This is commonly accomplished by performing link-level tomography with or without purification -- a.k.a. quantum link bootstrapping. Meanwhile, the gate selection and the resource (Bell pair) selection for a task must be coordinated beforehand. This thesis introduces the RuleSet-based communication protocol aimed for supporting the autonomous coordination of quantum operations among distant nodes, with minimal classical packet transmission. This thesis also discusses the RuleSet-based quantum link bootstrapping protocol, which consists of recurrent purifications and link-level tomography, evaluated over a Markov-Chain Monte-Carlo simulation with noisy systems modeled on real world quality hardware. Given a 10km MeetInTheMiddle based two-node system, each with 100 memory qubits ideally connected to the optical fiber, the Recurrent Single selection - Single error purification (RSs-Sp) protocol is capable of improving the fidelity from an average input $F_{r}=0.675$ to approximately $F_{r}=0.865$. The system gets noisier with longer channels, in which case errors may develop faster than the purification gain. For a noisier system with a longer channel length, the double selection-based purification shows an advantage for improving the fidelity.


title: Average Transverse Momenta of Hadrons at LHC Energy 7 TeV vs. Masses and Heavy Neutral Hadron States

abstract: This paper examines the transverse momentum spectra of hadrons in the multiparticle production at LHC in the framework of the Quark-Gluon String Model (QGSM). It discusses the dependence of average pt on the masses of mesons and baryons at the LHC energy 7 TeV. The QGSM description of the experimental spectra of various hadrons led to the number of conclusions. I. The average transverse momenta of baryons and mesons are growing with the hadron mass, so for beauty hadrons, they are almost equal to the mass. II. By the product of research, a regularity has been detected in the mass gaps between hadron generations. This hypothesis suggests some hidden symmetrical (neither-meson-nor-baryon) neutral hadron states with the masses: 0.251,0.682,1.85,5.04,13.7,37.2,101.,275.,748.... GeV, which is produced by geometrical progression with the mass factor $\delta(M)$= 2.721828 III. The baryon-meson symmetry seems broken until the mass of beauty hadrons, then the hidden states should be more and more stable with the growth of the mass, so the suggested sequence of hadronic states is a proper candidate for the Dark Matter that, you know, contributes the valuable part to the mass of Universe. The growing average transverse momenta are extrapolated with a similar function, as for energy dependence of average baryon $p_t$, $<p_t> \propto M^{0.1}$.