title: Unsupervised Feature Learning for Environmental Sound Classification Using Weighted Cycle-Consistent Generative Adversarial Network

abstract: In this paper we propose a novel environmental sound classification approach incorporating unsupervised feature learning from codebook via spherical $K$-Means++ algorithm and a new architecture for high-level data augmentation. The audio signal is transformed into a 2D representation using a discrete wavelet transform (DWT). The DWT spectrograms are then augmented by a novel architecture for cycle-consistent generative adversarial network. This high-level augmentation bootstraps generated spectrograms in both intra and inter class manners by translating structural features from sample to sample. A codebook is built by coding the DWT spectrograms with the speeded-up robust feature detector (SURF) and the K-Means++ algorithm. The Random Forest is our final learning algorithm which learns the environmental sound classification task from the clustered codewords in the codebook. Experimental results in four benchmarking environmental sound datasets (ESC-10, ESC-50, UrbanSound8k, and DCASE-2017) have shown that the proposed classification approach outperforms the state-of-the-art classifiers in the scope, including advanced and dense convolutional neural networks such as AlexNet and GoogLeNet, improving the classification rate between 3.51% and 14.34%, depending on the dataset.


title: Inner and outer rings are not strongly coupled with stellar bars

abstract: We study the frequency and dimensions of inner and outer rings in the local Universe as a function of disk parameters and the amplitude of non-axisymmetries. We use the 1320 not-highly inclined disk galaxies ($i<65^{\circ}$) from the S$^4$G survey. The ring fraction increases with bar Fourier density amplitude: this can be interpreted as evidence for the role of bars in ring formation. The sizes of inner rings are positively correlated with bar strength: this can be linked to the radial displacement of the 1/4 ultra-harmonic resonance while the bar grows and the pattern speed decreases. The ring intrinsic ellipticity is weakly controlled by the non-axisymmetric perturbation strength: this relation is not as strong as expected from simulations, especially when we include the dark matter halo in the force calculation. The ratio of outer-to-inner ring semi-major axes is uncorrelated with bar strength: this questions the manifold origin of rings. In addition, we confirm that i) $\sim 1/3$ ($\sim 1/4$) of the galaxies hosting inner (outer) rings are not barred; ii) on average, the sizes and shapes of rings are roughly the same for barred and non-barred galaxies; and iii) the fraction of inner (outer) rings is a factor of $1.2-1.4$ ($1.65-1.9$) larger in barred galaxies than in their non-barred counterparts. Finally, we apply unsupervised machine learning (Self-Organizing Maps, SOMs) to show that, among early-type galaxies, ringed or barred galaxies cannot be univocally distinguished based on 20 internal and external fundamental parameters. We confirm, with the aid of SOMs, that rings are mainly hosted by red, massive, gas-deficient, dark-matter poor, and centrally concentrated galaxies. We conclude that the present-day coupling between rings and bars is not as robust as predicted by numerical models (Abridged).


title: Rapid Collision Detection for Multicopter Trajectories

abstract: We present a continuous-time collision detection algorithm for quickly detecting whether certain polynomial trajectories in time intersect with convex obstacles. The algorithm is used in conjunction with an existing multicopter trajectory generation method to achieve rapid, obstacle-aware motion planning in environments with both static convex obstacles and dynamic convex obstacles whose boundaries do not rotate. In general, this problem is difficult because the presence of convex obstacles makes the feasible space of trajectories nonconvex. The performance of the algorithm is benchmarked using Monte Carlo simulations, and experimental results are presented that demonstrate the use of the method to plan collision-free multicopter trajectories in milliseconds in environments with both static and dynamic obstacles.


title: Investigating the 10Li continuum through 9Li(d,p)10Li reactions

abstract: The continuum structure of the unbound system $^{10}$Li, inferred from the $^{9}$Li$(d,p)^{10}$Li transfer reaction, is reexamined. Experimental data for this reaction, measured at two different energies, are analyzed with the same reaction framework and structure models. It is shown that the seemingly different features observed in the measured excitation energy spectra can be understood as due to the different incident energy and angular range covered by the two experiments. The present results support the persistence of the $N=7$ parity inversion beyond the neutron dripline as well as the splitting of the well-known low-lying $p$-wave resonance. Furthermore, they provide indirect evidence that most of the $\ell=2$ single-particle strength, including possible $d_{5/2}$ resonances, lies at relatively high excitations energies.


title: A Forward Electricity Contract Price Projection: A Market Equilibrium Approach

abstract: This work presents a methodology for forward electricity contract price projection based on market equilibrium and social welfare optimization. In the methodology supply and demand for forward contracts are produced in such a way that each agent (generator/load/trader) optimizes a risk adjusted expected value of its revenue/cost. When uncertainties are represented by a discrete number of scenarios, a key result in the paper is that contract price corresponds to the dual variable of the equilibrium constraints in the linear programming problem associated to the optimization of total agents' welfare. Besides computing an equilibrium contract price for a given year, the methodology can also be used to compute the evolution of the probability distribution associated to a contract price with a future delivery period; this an import issue in quantifying forward contract risks. Examples of the methodology application are presented and discussed


title: Hidden Cores of Active Galactic Nuclei as the Origin of Medium-Energy Neutrinos: Critical Tests with the MeV Gamma-Ray Connection

abstract: Mysteries about the origin of high-energy cosmic neutrinos have deepened by the recent IceCube measurement of a large diffuse flux in the 10-100 TeV range. Based on the standard disk-corona picture of active galactic nuclei (AGN), we present a phenomenological model enabling us to systematically calculate the spectral sequence of multimessenger emission from the AGN coronae. We show that protons in the coronal plasma can be stochastically accelerated up to PeV energies by plasma turbulence, and find that the model explains the large diffuse flux of medium-energy neutrinos if the cosmic rays carry only a few percent of the thermal energy. We find that the Bethe-Heitler process plays a crucial role in connecting these neutrinos and cascaded MeV gamma rays, and point out that the gamma-ray flux can even be enhanced by the reacceleration of secondary pairs. Critical tests of the model are given by its prediction that a significant fraction of the MeV gamma-ray background correlates with about 10 TeV neutrinos, and nearby Seyfert galaxies including NGC 1068 are promising targets for IceCube, KM3Net, IceCube-Gen2, and future MeV gamma-ray telescopes.

categories: astro-ph.HE astro-ph.CO astro-ph.GA hep-ph


title: Permutations with a distinct divisor property

abstract: A finite group of order $n$ is said to have the distinct divisor property (DDP) if there exists a permutation $g_1,\ldots, g_n$ of its elements such that $g_i^{-1}g_{i+1} \neq g_j^{-1}g_{j+1}$ for all $1\leq i<j<n$. We show that an abelian group is DDP if and only if it has a unique element of order 2. We also describe a construction of DDP groups via group extensions by abelian groups and show that there exist infinitely many non abelian DDP groups.


title: String Synchronizing Sets: Sublinear-Time BWT Construction and Optimal LCE Data Structure

abstract: Burrows-Wheeler transform (BWT) is an invertible text transformation that, given a text $T$ of length $n$, permutes its symbols according to the lexicographic order of suffixes of $T$. BWT is one of the most heavily studied algorithms in data compression with numerous applications in indexing, sequence analysis, and bioinformatics. Its construction is a bottleneck in many scenarios, and settling the complexity of this task is one of the most important unsolved problems in sequence analysis that has remained open for 25 years. Given a binary string of length $n$, occupying $O(n/\log n)$ machine words, the BWT construction algorithm due to Hon et al. (SIAM J. Comput., 2009) runs in $O(n)$ time and $O(n/\log n)$ space. Recent advancements (Belazzougui, STOC 2014, and Munro et al., SODA 2017) focus on removing the alphabet-size dependency in the time complexity, but they still require $\Omega(n)$ time. In this paper, we propose the first algorithm that breaks the $O(n)$-time barrier for BWT construction. Given a binary string of length $n$, our procedure builds the Burrows-Wheeler transform in $O(n/\sqrt{\log n})$ time and $O(n/\log n)$ space. We complement this result with a conditional lower bound proving that any further progress in the time complexity of BWT construction would yield faster algorithms for the very well studied problem of counting inversions: it would improve the state-of-the-art $O(m\sqrt{\log m})$-time solution by Chan and P\v{a}tra\c{s}cu (SODA 2010). Our algorithm is based on a novel concept of string synchronizing sets, which is of independent interest. As one of the applications, we show that this technique lets us design a data structure of the optimal size $O(n/\log n)$ that answers Longest Common Extension queries (LCE queries) in $O(1)$ time and, furthermore, can be deterministically constructed in the optimal $O(n/\log n)$ time.


title: Quantum-corrected rotating acoustic black holes in Lorentz-violating background

abstract: In this paper we explore the effect of the generalized uncertainty principle and modified dispersion relation to compute Hawking radiation from a rotating acoustic black hole in the tunneling formalism by using the Wentzel-Kramers-Brillouin (WKB) approximation applied to the Hamilton-Jacobi method. The starting point is to consider the planar acoustic black hole metric found in a Lorentz-violating Abelian Higgs model. In our analyzes we investigate quantum corrections for the Hawking temperature and entropy. A logarithmic correction and an extra term that depends on a conserved charge were obtained. We also have found that the changing in the Hawking temperature ${\cal T}_H$ for a dispersive medium due to a Lorentz-violating background accounts for supersonic velocities in the general form $(v_g-v_p)/v_p = \Delta {\cal T}_H/{\cal T}_H\sim10^{-5}$ in Bose-Einstein-Condensate (BEC) systems.


title: Categorified Chern character and cyclic cohomology

abstract: We examine Hopf cyclic cohomology in the same context as the analysis of the geometry of loop spaces $LX$ in derived algebraic geometry and the resulting close relationship between $S^1$-equivariant quasi-coherent sheaves on $LX$ and $D_X$-modules. Furthermore, the Hopf setting serves as a toy case for the categorification of Chern character theory. More precisely, this examination naturally leads to a definition of mixed anti-Yetter-Drinfeld contramodules which reduces to that of the usual mixed complexes for the trivial Hopf algebra and generalizes the notion of stable anti-Yetter-Drinfeld contramodules that have thus far served as the coefficients for Hopf-cyclic theories. The cohomology is then obtained as a $Hom$ in this dg-category between a Chern character object associated to an algebra and an arbitrary coefficient mixed anti-Yetter-Drinfeld contramodule.


title: Relational Action Forecasting

abstract: This paper focuses on multi-person action forecasting in videos. More precisely, given a history of H previous frames, the goal is to detect actors and to predict their future actions for the next T frames. Our approach jointly models temporal and spatial interactions among different actors by constructing a recurrent graph, using actor proposals obtained with Faster R-CNN as nodes. Our method learns to select a subset of discriminative relations without requiring explicit supervision, thus enabling us to tackle challenging visual data. We refer to our model as Discriminative Relational Recurrent Network (DRRN). Evaluation of action prediction on AVA demonstrates the effectiveness of our proposed method compared to simpler baselines. Furthermore, we significantly improve performance on the task of early action classification on J-HMDB, from the previous SOTA of 48% to 60%.


title: A Closer Look at Few-shot Classification

abstract: Few-shot classification aims to learn a classifier to recognize unseen classes during training with limited labeled examples. While significant progress has been made, the growing complexity of network designs, meta-learning algorithms, and differences in implementation details make a fair comparison difficult. In this paper, we present 1) a consistent comparative analysis of several representative few-shot classification algorithms, with results showing that deeper backbones significantly reduce the performance differences among methods on datasets with limited domain differences, 2) a modified baseline method that surprisingly achieves competitive performance when compared with the state-of-the-art on both the \miniI and the CUB datasets, and 3) a new experimental setting for evaluating the cross-domain generalization ability for few-shot classification algorithms. Our results reveal that reducing intra-class variation is an important factor when the feature backbone is shallow, but not as critical when using deeper backbones. In a realistic cross-domain evaluation setting, we show that a baseline method with a standard fine-tuning practice compares favorably against other state-of-the-art few-shot learning algorithms.


title: Constraining the neutron-matter equation of state with gravitational waves

abstract: We show how observations of gravitational waves from binary neutron star (BNS) mergers over the next few years can be combined with insights from nuclear physics to obtain useful constraints on the equation of state (EoS) of dense matter, in particular, constraining the neutron-matter EoS to within 20% between one and two times the nuclear saturation density $n_0\approx 0.16\ {\text{fm}^{-3}}$. Using Fisher information methods, we combine observational constraints from simulated BNS merger events drawn from various population models with independent measurements of the neutron star radii expected from x-ray astronomy (the Neutron Star Interior Composition Explorer (NICER) observations in particular) to directly constrain nuclear physics parameters. To parameterize the nuclear EoS, we use a different approach, expanding from pure nuclear matter rather than from symmetric nuclear matter to make use of recent quantum Monte Carlo (QMC) calculations. This method eschews the need to invoke the so-called parabolic approximation to extrapolate from symmetric nuclear matter, allowing us to directly constrain the neutron-matter EoS. Using a principal component analysis, we identify the combination of parameters most tightly constrained by observational data. We discuss sensitivity to various effects such as different component masses through population-model sensitivity, phase transitions in the core EoS, and large deviations from the central parameter values.


title: Entanglement, decoherence, and the measurement problem

abstract: The entangled Schrodinger cat state obtained immediately upon measurement of a superposed two-state quantum system is often considered paradoxical because it appears to predict two macroscopically different outcomes, such as an alive and dead cat. However, nonlocal interferometry experiments testing momentum-entangled photon pairs over all phases demonstrate that the cat state does not fit this description and is not paradoxical. Both experiment and theory imply that it instead represents a superposition of two nonlocally coherent (i.e. phase-dependent) statistical correlations between its sub-systems. This is not paradoxical. Standard quantum theory rigorously predicts the experimentally-observed outcomes of this state. Neither sub-system is superposed; rather, the correlations between the states of the subsystems are superposed. This resolves the problem of definite outcomes. The nonlocal properties of entanglement then ensure that only one outcome occurs while the other outcome simultaneously does not occur, resolving a problem posed by Einstein in 1927. The single outcome that occurs then triggers an irreversible process leading to macroscopic registration of the outcome. This resolves the quantum measurement problem. Collapse occurs because of entanglement and does not require a special collapse postulate. Collapse is a consequence of standard quantum physics and the irreversible nature of the macroscopic registration.


title: Factorization of Discriminatively Trained i-vector Extractor for Speaker Recognition

abstract: In this work, we continue in our research on i-vector extractor for speaker verification (SV) and we optimize its architecture for fast and effective discriminative training. We were motivated by computational and memory requirements caused by the large number of parameters of the original generative i-vector model. Our aim is to preserve the power of the original generative model, and at the same time focus the model towards extraction of speaker-related information. We show that it is possible to represent a standard generative i-vector extractor by a model with significantly less parameters and obtain similar performance on SV tasks. We can further refine this compact model by discriminative training and obtain i-vectors that lead to better performance on various SV benchmarks representing different acoustic domains.


title: A Multi-Observer Based Estimation Framework for Nonlinear Systems under Sensor Attacks

abstract: We address the problem of state estimation and attack isolation for general discrete-time nonlinear systems when sensors are corrupted by (potentially unbounded) attack signals. For a large class of nonlinear plants and observers, we provide a general estimation scheme, built around the idea of sensor redundancy and multi-observer, capable of reconstructing the system state in spite of sensor attacks and noise. This scheme has been proposed by others for linear systems/observers and here we propose a unifying framework for a much larger class of nonlinear systems/observers. Using the proposed estimator, we provide an isolation algorithm to pinpoint attacks on sensors during sliding time windows. Simulation results are presented to illustrate the performance of our tools.


title: An Unknown Input Multi-Observer Approach for Estimation and Control under Adversarial Attacks

abstract: We address the problem of state estimation, attack isolation, and control of discrete-time linear time-invariant systems under (potentially unbounded) actuator and sensor false data injection attacks. Using a bank of unknown input observers, each observer leading to an exponentially stable estimation error (in the attack-free case), we propose an observer-based estimator that provides exponential estimates of the system state in spite of actuator and sensor attacks. Exploiting sensor and actuator redundancy, the estimation scheme is guaranteed to work if a sufficiently small subset of sensors and actuators are under attack. Using the proposed estimator, we provide tools for reconstructing and isolating actuator and sensor attacks; and a control scheme capable of stabilizing the closed-loop dynamics by switching off isolated actuators. Simulation results are presented to illustrate the performance of our tools.


title: Learning Backtrackless Aligned-Spatial Graph Convolutional Networks for Graph Classification

abstract: In this paper, we develop a novel Backtrackless Aligned-Spatial Graph Convolutional Network (BASGCN) model to learn effective features for graph classification. Our idea is to transform arbitrary-sized graphs into fixed-sized backtrackless aligned grid structures and define a new spatial graph convolution operation associated with the grid structures. We show that the proposed BASGCN model not only reduces the problems of information loss and imprecise information representation arising in existing spatially-based Graph Convolutional Network (GCN) models, but also bridges the theoretical gap between traditional Convolutional Neural Network (CNN) models and spatially-based GCN models. Furthermore, the proposed BASGCN model can both adaptively discriminate the importance between specified vertices during the convolution process and reduce the notorious tottering problem of existing spatially-based GCNs related to the Weisfeiler-Lehman algorithm, explaining the effectiveness of the proposed model. Experiments on standard graph datasets demonstrate the effectiveness of the proposed model.


title: Minimax-Optimal Algorithms for Detecting Changes in Statistically Periodic Random Processes

abstract: Theory and algorithms are developed for detecting changes in the distribution of statistically periodic random processes. The statistical periodicity is modeled using independent and periodically identically distributed processes, a new class of stochastic processes proposed by us. An algorithm is developed that is minimax asymptotically optimal as the false alarm rate goes to zero. Algorithms are also developed for the cases when the post-change distribution is not known or when there are multiple streams of observations. The modeling is inspired by real datasets encountered in cyber-physical systems, biology, and medicine. The developed algorithms are applied to sequences of Instagram counts collected around a 5K run in New York City to detect the run.


title: MCE 2018: The 1st Multi-target Speaker Detection and Identification Challenge Evaluation

abstract: The Multi-target Challenge aims to assess how well current speech technology is able to determine whether or not a recorded utterance was spoken by one of a large number of blacklisted speakers. It is a form of multi-target speaker detection based on real-world telephone conversations. Data recordings are generated from call center customer-agent conversations. The task is to measure how accurately one can detect 1) whether a test recording is spoken by a blacklisted speaker, and 2) which specific blacklisted speaker was talking. This paper outlines the challenge and provides its baselines, results, and discussions.


title: Identity-preserving Face Recovery from Stylized Portraits

abstract: Given an artistic portrait, recovering the latent photorealistic face that preserves the subject's identity is challenging because the facial details are often distorted or fully lost in artistic portraits. We develop an Identity-preserving Face Recovery from Portraits (IFRP) method that utilizes a Style Removal network (SRN) and a Discriminative Network (DN). Our SRN, composed of an autoencoder with residual block-embedded skip connections, is designed to transfer feature maps of stylized images to the feature maps of the corresponding photorealistic faces. Owing to the Spatial Transformer Network (STN), SRN automatically compensates for misalignments of stylized portraits to output aligned realistic face images. To ensure the identity preservation, we promote the recovered and ground truth faces to share similar visual features via a distance measure which compares features of recovered and ground truth faces extracted from a pre-trained FaceNet network. DN has multiple convolutional and fully-connected layers, and its role is to enforce recovered faces to be similar to authentic faces. Thus, we can recover high-quality photorealistic faces from unaligned portraits while preserving the identity of the face in an image. By conducting extensive evaluations on a large-scale synthesized dataset and a hand-drawn sketch dataset, we demonstrate that our method achieves superior face recovery and attains state-of-the-art results. In addition, our method can recover photorealistic faces from unseen stylized portraits, artistic paintings, and hand-drawn sketches.


title: Infinite families of $2$-designs from a class of cyclic codes with two non-zeros

abstract: Combinatorial $t$-designs have wide applications in coding theory, cryptography, communications and statistics. It is well known that the supports of all codewords with a fixed weight in a code may give a $t$-design. In this paper, we first determine the weight distribution of a class of linear codes derived from the dual of extended cyclic code with two non-zeros. We then obtain infinite families of $2$-designs and explicitly compute their parameters from the supports of all the codewords with a fixed weight in the codes. By simple counting argument, we obtain exponentially many $2$-designs.


title: The Fault-Tolerant Metric Dimension of Cographs

abstract: A vertex set $U \subseteq V$ of an undirected graph $G=(V,E)$ is a \textit{resolving set} for $G$ if for every two distinct vertices $u,v \in V$ there is a vertex $w \in U$ such that the distance between $u$ and $w$ and the distance between $v$ and $w$ are different. A resolving set $U$ is {\em fault-tolerant} if for every vertex $u\in U$ set $U\setminus \{u\}$ is still a resolving set. {The \em (fault-tolerant) Metric Dimension} of $G$ is the size of a smallest (fault-tolerant) resolving set for $G$. The {\em weighted (fault-tolerant) Metric Dimension} for a given cost function $c: V \longrightarrow \mathbb{R}_+$ is the minimum weight of all (fault-tolerant) resolving sets. Deciding whether a given graph $G$ has (fault-tolerant) Metric Dimension at most $k$ for some integer $k$ is known to be NP-complete. The weighted fault-tolerant Metric Dimension problem has not been studied extensively so far. In this paper we show that the weighted fault-tolerant metric dimension problem can be solved in linear time on cographs.


title: On one question of Shemetkov about composition formations

abstract: In this paper one construction of composition formations was introduced. This construction contains formations of quasinilpotent groups, $c$-supersoluble groups, groups defined by ranks of chief factors and some new classes of groups. A partial answer on a question of L.\,A. Shemetkov about the intersection of $\mathfrak{F}$-maximal subgroups and the $\mathfrak{F}$-hypercenter was given for these composition formations.


title: Influence of laser spot size at diffuser plane on the longitudinal spatial coherence function of optical coherence microscopy system

abstract: Coherence properties and wavelength of light sources are indispensable for optical coherence microscopy/tomography as they greatly influence the signal to noise ratio, axial resolution, and penetration depth of the system. In the present letter, we investigated the longitudinal spatial coherence properties of the pseudo-thermal light source (PTS) as a function of spot size at the diffuser plane, which is controlled by translating microscope objective lens towards or away from the diffuser plane. The axial resolution of PTS is found to be maximum ~ 13 microns for the beam spot size of 3.5 mm at the diffuser plane. The change in the axial resolution of the system as the spot size is increased at the diffuser plane is further confirmed by performing experiments on standard gauge blocks of height difference of 15 microns. Thus, by appropriately choosing the beam spot size at the diffuser plane, any monochromatic laser light source depending on the biological window can be utilized to obtain high axial-resolution with large penetration depth and speckle-free tomographic images of multilayered biological specimens irrespective of the source temporal coherence length. In addition, PTS could be an attractive alternative light source for achieving high axial-resolution without needing chromatic aberration corrected optics and dispersion-compensation mechanism, unlike conventional setups.


title: On the Banach manifold of simple domains in the Euclidean space and applications to free boundary problems

abstract: In this paper we study the Banach manifold made up of simple $C^{m+\mu}$-domains in the Euclidean space $\mathbb{R}$. This manifold is merely a topological or a $C^0$ Banach manifold. It does not possess a differentiable structure. We introduce the concept of differentiable point in this manifold and prove that it is still possible to introduce the concept of tangent vector and tangent space at a differentiable point. Consequent, it is possible to consider differential equations in this Banach space. We show how to reduce some important free boundary problems into differential equations in such a manifold and then use the abstract result that we established earlier to study these free boundary problems.


title: Magnetic anisotropy and entropy change in trigonal Cr$_{0.62}$Te

abstract: We present a comprehensive investigation on anisotropic magnetic and magnetocaloric properties of the quasi-two-dimensional weak itinerant ferromagnet trigonal Cr$_{0.62}$Te single crystals. Magnetic-anisotropy-induced satellite transition $T^*$ is observed at low fields applied parallel to the $ab$ plane below $T_c$. The $T^*$ is featured by an anomalous magnetization downturn, similar to that in structurally related CrI$_3$, and shows a monotonous shift towards lower temperature with increasing field. Magnetocrystalline anisotropy is also reflected in magnetic entropy change $\Delta S_M(T,H)$ and relative cooling power RCP. Given the high $T_c$, Cr$_{0.62}$Te crystals are materials of interest for nanofabrication in basic science and applied technology.


title: An Emergent Higgs Alignment

abstract: We explain how an $SU(2)_R$ R-symmetry allows alignment of the vacuum expectation value and the mass eigenstates in the Higgs bosons squared-mass matrix. More important, we discuss how our parametrization of the breaking of this global symmetry allows to quantitatively apprehend the diverse sources of misalignment, which are kept, by supersymmetry, small.


title: Magnetic phase diagram of sigma-phase Fe55Re45 compound in the H-T coordinates

abstract: In-field DC and AC magnetization measurements were carried out on a sigma-phase Fe55Re45 intermetallic compound aimed at determination of the magnetic phase diagram in the H-T plane. Field cooled, M_FC, and zero-field cooled, M_ZFC, DC magnetization curves were measured in the magnetic field, H, up to 1200 Oe. AC magnetic susceptibility measurements were carried out at a constant frequency of 1465 Hz under DC fields up to H=500 Oe. The obtained results provide evidences for re-entrant magnetism in the investigated sample. The magnetic phase diagrams in the H-T plane have been outlined based on characteristic temperatures determined from the DC and AC measurements. The phase diagrams are similar yet not identical. The main difference is that in the DC diagram constructed there are two cross-over transitions within the strong-irreversibility spin-glass state, whereas in the AC susceptibility based diagram only one transition is observed. The border lines (irreversibility, cross-over) can be described in terms of the power laws.


title: Evaluating the Arm Ecosystem for High Performance Computing

abstract: In recent years, Arm-based processors have arrived on the HPC scene, offering an alternative the existing status quo, which was largely dominated by x86 processors. In this paper, we evaluate the Arm ecosystem, both the hardware offering and the software stack that is available to users, by benchmarking a production HPC platform that uses Marvell's ThunderX2 processors. We investigate the performance of complex scientific applications across multiple nodes, and we also assess the maturity of the software stack and the ease of use from a users' perspective. This papers finds that the performance across our benchmarking applications is generally as good as, or better, than that of well-established platforms, and we can conclude from our experience that there are no major hurdles that might hinder wider adoption of this ecosystem within the HPC community.


title: A Manifold of Polynomial Time Solvable Bimatrix Games

abstract: This paper identifies a manifold in the space of bimatrix games which contains games that are strategically equivalent to rank-1 games through a positive affine transformation. It also presents an algorithm that can compute, in polynomial time, one such rank-1 game which is strategically equivalent to the original game. Through this approach, we substantially expand the class of games that are solvable in polynomial time. It is hoped that this approach can be further developed in conjunction with other notions of strategic equivalence to compute exact or approximate Nash equilibria in a wide variety of bimatrix games.


title: Generalized Parton Distributions from charged current meson production

abstract: In this paper we prove that the simultaneous study of both $\rho$- and $\pi$-meson production by charged currents in Bjorken kinematics allows for a very clean extraction of the leading twist Generalized Parton Distributions of the target, with inherent control of the contribution of higher-twist corrections. Also, it might provide target-independent constraints on the distribution amplitudes of the produced mesons. We expect that such processes might be studied either in neutrino-induced or in electron-induced processes. According to our numerical estimates, the cross-sections of these processes are within the reach of JLab and EIC experiments.


title: Towards Traceability in Data Ecosystems using a Bill of Materials Model

abstract: Researchers and scientists use aggregations of data from a diverse combination of sources, including partners, open data providers and commercial data suppliers. As the complexity of such data ecosystems increases, and in turn leads to the generation of new reusable assets, it becomes ever more difficult to track data usage, and to maintain a clear view on where data in a system has originated and makes onward contributions. Reliable traceability on data usage is needed for accountability, both in demonstrating the right to use data, and having assurance that the data is as it is claimed to be. Society is demanding more accountability in data-driven and artificial intelligence systems deployed and used commercially and in the public sector. This paper introduces the conceptual design of a model for data traceability based on a Bill of Materials scheme, widely used for supply chain traceability in manufacturing industries, and presents details of the architecture and implementation of a gateway built upon the model. Use of the gateway is illustrated through a case study, which demonstrates how data and artifacts used in an experiment would be defined and instantiated to achieve the desired traceability goals, and how blockchain technology can facilitate accurate recordings of transactions between contributors.


title: WDVV-Type Relations for Disk Gromov-Witten Invariants in Dimension 6

abstract: The first author's previous work established Solomon's WDVV-type relations for Welschinger's invariant curve counts in real symplectic fourfolds by lifting geometric relations over possibly unorientable morphisms. We apply her framework to obtain WDVV-style relations for the disk invariants of real symplectic sixfolds with some symmetry, in particular confirming Alcolado's prediction for $\mathbb{P}^3$ and extending it to other spaces. These relations reduce the computation of Welschinger's invariants of many real symplectic sixfolds to invariants in small degrees and provide lower bounds for counts of real rational curves with positive-dimensional insertions in some cases. In the case of $\mathbb{P}^3$, our lower bounds fit perfectly with Koll\'ar's vanishing results.


title: Refinement monoids and adaptable separated graphs

abstract: We define a subclass of separated graphs, the class of adaptable separated graphs, and study their associated monoids. We show that these monoids are primely generated conical refinement monoids, and we explicitly determine their associated I-systems. We also show that any finitely generated conical refinement monoid can be represented as the monoid of an adaptable separated graph. These results provide the first step toward an affirmative answer to the Realization Problem for von Neumann regular rings, in the finitely generated case.


title: Dark Sector Equilibration During Nucleosynthesis

abstract: Light, weakly-coupled dark sectors may be naturally decoupled in the early universe and enter equilibrium with the Standard Model bath during the epoch of primordial nucleosynthesis. The equilibration and eventual decoupling of dark sector states modifies the expansion rate of the universe, which alters the predicted abundances of the light elements. This effect can be encompassed in a time-varying contribution to $N_{\mathrm{eff}}$, the effective number of neutrino species, such that $N_{\mathrm{eff}}$ during nucleosynthesis differs from its measured value at the time of recombination. We investigate the impact of such variations on the light element abundances with model-independent templates for the time-dependence of $N_{\mathrm{eff}}$ as well as in specific models where a dark sector equilibrates with neutrinos or photons. We find that significant modifications of the expansion rate are consistent with the measured abundances of light nuclei, provided that they occur during specific periods of nucleosynthesis. In constraining concrete models, the relative importance of the cosmic microwave background and primordial nucleosynthesis is highly model-dependent.


title: Where are the Next Higgs Bosons?

abstract: Simple symmetry arguments applied to the third generation lead to a prediction: there exist new sequential Higgs doublets with masses of order $\lesssim 5 $ TeV, with approximately universal Higgs-Yukawa coupling constants, $g\sim 1$. This is calibrated by the known Higgs boson mass, the top quark Higgs-Yukawa coupling, and the $b$-quark mass. A new massive weak-isodoublet, $H_b$, coupled to the $b$-quark with $g\sim 1$ is predicted, and may be accessible to the LHC at $13$ TeV, and definitively at the energy upgraded LHC of $26$ TeV. The extension to leptons generates a new $H_\tau$ and a possible $H_{\nu_\tau}$ doublet. The accessibility of the latter depends upon whether the mass of the $\tau$-neutrino is Dirac or Majorana.


title: Exploring strong-field deviations from general relativity via gravitational waves

abstract: Two new observational windows have been opened to strong gravitational physics: gravitational waves, and very long baseline interferometry. This suggests observational searches for new phenomena in this regime, and in particular for those necessary to make black hole evolution consistent with quantum mechanics. We describe possible features of "compact quantum objects" that replace classical black holes in a consistent quantum theory, and approaches to observational tests for these using gravitational waves. This is an example of a more general problem of finding consistent descriptions of deviations from general relativity, which can be tested via gravitational wave detection. Simple models for compact modifications to classical black holes are described via an effective stress tensor, possibly with an effective equation of state. A general discussion is given of possible observational signatures, and of their dependence on properties of the colliding objects. The possibility that departures from classical behavior are restricted to the near-horizon regime raises the question of whether these will be obscured in gravitational wave signals, due to their mutual interaction in a binary coalescence being deep in the mutual gravitational well. Numerical simulation with such simple models will be useful to clarify the sensitivity of gravitational wave observation to such highly compact departures from classical black holes.


title: Transverse momentum dependent distributions in $e^+e^-$ and semi-inclusive deep-inelastic scattering using jets

abstract: The extraction of transverse momentum dependent distributions (TMDs) in semi-inclusive deep inelastic scattering (SIDIS) is complicated by the presence of both initial- and final-state nonperturbative physics. We recently proposed measuring jets (instead of hadrons) as a solution, showing that for the Winner-Take-All jet axis the same factorization formulae valid for hadrons applied to jets of arbitrary size. This amounts to simply replacing TMD fragmentation functions by our TMD jet functions. In this paper we present the calculation of these jet functions at one loop. We obtain phenomenological results for $e^+e^- \to$ dijet (Belle II, LEP) and SIDIS (HERA, EIC) with a jet, building on the arTeMiDe code. Surprisingly, we find that the limit of large jet radius describes the full $R$ results extremely well, and we extract the two-loop jet function in this limit using Event2, allowing us to achieve N$^3$LL accuracy. We demonstrate the perturbative convergence of our predictions and explore the kinematic dependence of the cross section. Finally, we investigate the sensitivity to nonperturbative physics, demonstrating that jets are a promising probe of proton structure.


title: Estimating the dark matter velocity anisotropy to the cluster edge

abstract: Dark matter dominates the properties of large cosmological structures such as galaxy clusters, and the mass profiles of the dark matter have been measured for these equilibrated structures for years using X-rays, lensing or galaxy velocities. A new method has been proposed, which should allow us to estimate a dynamical property of the dark matter, namely the velocity anisotropy. For the gas a similar velocity anisotropy is zero due to frequent collisions, however, the collisionless nature of dark matter allows it to be non-trivial. Numerical simulations have for years found non-zero and radially varying dark matter velocity anisotropies. Here we employ the method proposed by Hansen and Pifaretti (2007), and developed by Host et al. (2009) to estimate the dark matter velocity anisotropy in the bright galaxy cluster Perseus, to near 5 times the radii previously obtained. We find the dark matter velocity anisotropy to be consistent with the results of numerical simulations, however, still with large error-bars. At half the virial radius we find the velocity anisotropy to be non-zero at 1.7 standard deviations, lending support to the collisionless nature of dark matter.


title: The E-MOSAICS project: tracing galaxy formation and assembly with the age-metallicity distribution of globular clusters

abstract: We present 25 cosmological zoom-in simulations of Milky Way-mass galaxies in the `MOdelling Star cluster population Assembly In Cosmological Simulations within EAGLE' (E-MOSAICS) project. E-MOSAICS couples a detailed physical model for the formation, evolution, and disruption of star clusters to the EAGLE galaxy formation simulations. This enables following the co-formation and co-evolution of galaxies and their star cluster populations, thus realising the long-standing promise of using globular clusters (GCs) as tracers of galaxy formation and assembly. The simulations show that the age-metallicity distributions of GC populations exhibit strong galaxy-to-galaxy variations, resulting from differences in their evolutionary histories. We develop a formalism for systematically constraining the assembly histories of galaxies using GC age-metallicity distributions. These distributions are characterised through 13 metrics that we correlate with 30 quantities describing galaxy formation and assembly (e.g. halo properties, formation/assembly redshifts, stellar mass assembly time-scales, galaxy merger statistics), resulting in 20 statistically (highly) significant correlations. The GC age-metallicity distribution is a sensitive probe of the mass growth, metal enrichment, and minor merger history of the host galaxy. No such relation is found between GCs and major mergers, which play a sub-dominant role in GC formation for Milky Way-mass galaxies. Finally, we show how the GC age-metallicity distribution enables the reconstruction of the host galaxy's merger tree, allowing us to identify all progenitors with masses $M_*\gtrsim10^8$ M$_\odot$ for redshifts $1\leq z\leq2.5$. These results demonstrate that cosmological simulations of the co-formation and co-evolution of GCs and their host galaxies successfully unlock the potential of GCs as quantitative tracers of galaxy formation and assembly.


title: Statistics of Inflating Regions in Eternal Inflation

abstract: We compute the distribution of sizes of inflating and non-inflating regions in an eternally inflating Universe. As a first illustrative problem, we study a simple scenario of an eternally inflating Universe in the presence of a massless scalar field $\varphi$ whose field values lie within some finite domain $\varphi\in(-\varphi_{cr},\varphi_{cr})$, with $\pm\varphi_{cr}$ marking the onset of thermalization/crunching. We compute many important quantities, including the fractal dimension, distribution of field values among inflating regions, and the number of inflating and non-inflating Hubble regions. With the aid of simulations in 1 spatial dimension, we show this eternally inflating Universe reaches a steady state in which average sizes of inflating regions grow only as a power law in the field's crunch value $\sim \varphi_{cr}^2$ (extension to higher dimensions is $\sim\varphi^{2/D}$), contrary to a naive expectation of an exponential dependence. Furthermore, the distribution in sizes exhibits an exponential fall off for large distances (with an initial power law for inflating regions). We leave other interesting cases of more realistic potentials and time varying Hubble parameter for future work, with a possible application to the SM Higgs in the early Universe.


title: The composite nature of Dust-Obscured Galaxies (DOGs) at z~2-3 in the COSMOS field: II. The AGN fraction

abstract: We present the X-ray properties of 108 Dust-Obscured Galaxies (DOGs; F$_{24 \mu m}$/F$_{R} >$ 1000) in the COSMOS field, all of which detected in at least three far-infrared bands with the Herschel Observatory. Out of the entire sample, 22 are individually detected in the hard 2-8 keV X-ray band by the Chandra COSMOS Legacy survey, allowing us to classify them as AGN. Of them, 6 (27%) are Compton Thick AGN candidates with column densities N$_{H}$$>$10$^{24}$ cm$^{-2}$ while 15 are moderately obscured AGNs with 10$^{22}$ $<$ N$_{H}$ $<$ 10$^{24}$ cm$^{-2}$. Additionally, we estimate AGN contributions to the IR luminosity (8-1000$\mu$m rest-frame) greater than 20% for 19 DOGs based on SED decomposition using Spitzer/MIPS 24$\mu$m and the five Herschel bands (100-500 $\mu$m). Only 7 of these are detected in X-rays individually. We performed a X-ray stacking analysis for the 86 undetected DOGs. We find that the AGN fraction in DOGs increases with 24$\mu$m flux and that it is higher than that of the general 24$\mu$m population. However, no significant difference is found when considering only X-ray detections. This strongly motivates the combined use of X-ray and far-IR surveys to successfully probe a wider population of AGNs, particularly for the most obscured ones.


title: The LPM effect in sequential bremsstrahlung: from large-N QCD to N=3 via the SU(N) analog of Wigner 6-j symbols

abstract: Consider a high-energy parton showering as it traverses a QCD medium such as a quark-gluon plasma. Interference effects between successive splittings in the shower are potentially very important but have so far been calculated (even in idealized theoretical situations) only in soft emission or large-$N_{\rm c}$ limits, where $N_{\rm c}$ is the number of quark colors. In this paper, we show how one may remove the assumption of large $N_{\rm c}$ and so begin investigation of $N_{\rm c}{=}3$ without soft-emission approximations. Treating finite $N_{\rm c}$ requires (i) classifying different ways that four gluons can form a color singlet and (ii) calculating medium-induced transitions between those singlets, for which we find application of results for the generalization of Wigner 6-$j$ symbols from angular momentum to SU($N_{\rm c}$). Throughout, we make use of the multiple scattering ($\hat q$) approximation for high-energy partons crossing quark-gluon plasmas, and we find that this approximation is self-consistent only if the transverse-momentum diffusion parameter $\hat q$ for different color representations satisfies Casimir scaling (even for strongly-coupled, and not just weakly-coupled, quark-gluon plasmas). We also find that results for $N_{\rm c}{=}3$ depend, mathematically, on being able to calculate the propagator for a coupled non-relativistic quantum harmonic oscillator problem in which the spring constants are operators acting on a 5-dimensional Hilbert space of internal color states. Those spring constants are represented by constant $5{\times}5$ matrices, which we explicitly construct. We are unaware of any closed form solution for this type of harmonic oscillator problem, and we discuss prospects for using numerical evaluation.


title: Cosmic branes and asymptotic structure

abstract: Superrotations of asymptotically flat spacetimes in four dimensions can be interpreted in terms of including cosmic strings within the phase space of allowed solutions. In this paper we explore the implications of the inclusion of cosmic branes on the asymptotic structure of vacuum spacetimes in dimension d > 4. We first show that only cosmic (d-3)-branes are Riemann flat in the neighbourhood of the brane, and therefore only branes of such dimension passing through the celestial sphere can respect asymptotic local flatness. We derive the asymptotically locally flat boundary conditions associated with including cosmic branes in the phase space of solutions. We find the asymptotic expansion of vacuum spacetimes in d=5 with such boundary conditions; the expansion is polyhomogenous, with logarithmic terms arising at subleading orders in the expansion. The asymptotically locally flat boundary conditions identified here are associated with an extended asymptotic symmetry group, which may be relevant to soft scattering theorems and memory effects.


title: Ergodicity-breaking arising from Hilbert space fragmentation in dipole-conserving Hamiltonians

abstract: We show that the combination of charge and dipole conservation---characteristic of fracton systems---leads to an extensive fragmentation of the Hilbert space, which in turn can lead to a breakdown of thermalization. As a concrete example, we investigate the out-of-equilibrium dynamics of one-dimensional spin-1 models that conserve charge (total $S^z$) and its associated dipole moment. First, we consider a minimal model including only three-site terms and find that the infinite temperature auto-correlation saturates to a finite value---showcasing non-thermal behavior. The absence of thermalization is identified as a consequence of the strong fragmentation of the Hilbert space into exponentially many invariant subspaces in the local $S^z$ basis, arising from the interplay of dipole conservation and local interactions. Second, we extend the model by including four-site terms and find that this perturbation leads to a weak fragmentation: the system still has exponentially many invariant subspaces, but they are no longer sufficient to avoid thermalization for typical initial states. More generally, for any finite range of interactions, the system still exhibits non-thermal eigenstates appearing throughout the entire spectrum. We compare our results to charge and dipole moment conserving random unitary circuit models for which we reach identical conclusions.


title: Simulations of the Glasma in 3+1D

abstract: The Glasma is a gluonic state of matter which can be created in collisions of relativistic heavy ions and is a precursor to the quark-gluon plasma. The existence of this state is a prediction of the color glass condensate (CGC) effective theory. In many applications of the CGC framework, the boost invariant approximation is employed. It assumes that the longitudinal extent of the nuclei can be approximated as infinitesimally thin. Consequently, the Glasma produced from such a collision is boost invariant and can be effectively described in 2+1D. Therefore, observables of the boost invariant Glasma are by construction independent of rapidity. The main goal of this thesis is to develop a numerical method for the non-boost-invariant setting where nuclei are assumed to be thin, but of finite longitudinal extent. This is in conflict with a number of simplifications that are used in the boost invariant case. In particular, one has to describe the collisions in 3+1D in the laboratory or center-of-mass frame. The change of frame forces the explicit inclusion of the color charges of nuclei. The new method is tested using an extension of the McLerran-Venugopalan model which includes a parameter for longitudinal thickness. It reproduces the boost invariant setting as a limiting case. Studying the pressure components of the Glasma, one finds the pressure anisotropy remains large. The energy density of the Glasma depends on rapidity due to the explicit breaking of boost invariance. The width of the observed rapidity profiles is controlled by the collision energy and can be shown to roughly agree with experimental data. Finally, a new numerical scheme for real-time lattice gauge theory is developed which provides higher numerical stability than the previous method. This new scheme is shown to be gauge-covariant and conserves the Gauss constraint even for large time steps.


title: A Contextual $\psi$-Epistemic Model of the $n$-Qubit Stabilizer Formalism

abstract: Contextuality, a generalization of non-locality, has been proposed as the resource that provides the computational speed-up for quantum computation. For universal quantum computation using qudits, of odd-prime dimension, contextuality has been shown to be a necessary and possibly sufficient resource. However, the role of contextuality in quantum computation with qubits remains open. The $n$-qubit stabilizer formalism, which by itself cannot provide a quantum computer super-polynomial computational advantage over a classical counterpart, is contextual. Therefore contextuality cannot be identified as a sufficient resource for quantum computation. However it can be identified as a necessary resource. In this paper we construct a contextual $\psi$-epistemic ontological model of the $n$-qubit stabilizer formalism, to investigate the contextuality present in the formalism. We demonstrate it is possible for such a model to be outcome deterministic, and therefore have a value assignment to all Pauli observables. In our model the value assignment must be updated after a measurement of any stabilizer observable. Remarkably, this includes the value assignments for observables that commute with the measurement. A stronger manifestation of contextuality than is required by known no-go theorems.


title: Geometry of $\mathcal{I}$-extremization and black holes microstates

abstract: The entropy of a class of asymptotically AdS$_4$ magnetically charged BPS black holes can be obtained by extremizing the topologically twisted index of the dual three-dimensional field theory. This principle is known as $\mathcal{I}$-extremization. A gravitational dual of $\mathcal{I}$-extremization for a class of theories obtained by twisted compactifications of M2-branes living at a Calabi-Yau four-fold has been recently proposed. In this paper we investigate the relation between the two extremization principles. We show that the two extremization procedures are equivalent for theories without baryonic symmetries, which include ABJM and the theory dual to the non-toric Sasaki-Einstein manifold $V^{5,2}$. We then consider a class of quivers dual to M2-branes at toric Calabi-Yau four-folds for which the $\mathcal{I}$-functional can be computed in the large $N$ limit, and depends on three mesonic fluxes. We propose a gravitational dual for this construction, that we call mesonic twist, and we show that the gravitational extremization problem and $\mathcal{I}$-extremization are equivalent. We comment on more general cases.


title: Entanglement in non-equilibrium steady states and many-body localization breakdown in a current driven system

abstract: We model a one-dimensional (1D) current-driven interacting disordered system through a non-Hermitian Hamiltonian with asymmetric hopping and study the entanglement properties of its eigenstates. In particular, we investigate whether a many-body localizable system undergoes a transition to a current-carrying non-equilibrium steady state under the drive and how the entanglement properties of the quantum states change across the transition. We also discuss the dynamics, entanglement growth, and long-time fate of a generic initial state under an appropriate time-evolution of the system governed by the non-Hermitian Hamiltonian. Our study reveals rich entanglement structures of the eigenstates of the non-Hermitian Hamiltonian. We find transition between current-carrying states with volume-law to area-law entanglement entropy, as a function of disorder and the strength of the non-Hermitian term.


title: Efficient Passive ICS Device Discovery and Identification by MAC Address Correlation

abstract: Owing to a growing number of attacks, the assessment of Industrial Control Systems (ICSs) has gained in importance. An integral part of an assessment is the creation of a detailed inventory of all connected devices, enabling vulnerability evaluations. For this purpose, scans of networks are crucial. Active scanning, which generates irregular traffic, is a method to get an overview of connected and active devices. Since such additional traffic may lead to an unexpected behavior of devices, active scanning methods should be avoided in critical infrastructure networks. In such cases, passive network monitoring offers an alternative, which is often used in conjunction with complex deep-packet inspection techniques. There are very few publications on lightweight passive scanning methodologies for industrial networks. In this paper, we propose a lightweight passive network monitoring technique using an efficient Media Access Control (MAC) address-based identification of industrial devices. Based on an incomplete set of known MAC address to device associations, the presented method can guess correct device and vendor information. Proving the feasibility of the method, an implementation is also introduced and evaluated regarding its efficiency. The feasibility of predicting a specific device/vendor combination is demonstrated by having similar devices in the database. In our ICS testbed, we reached a host discovery rate of 100% at an identification rate of more than 66%, outperforming the results of existing tools.


title: SoDeep: a Sorting Deep net to learn ranking loss surrogates

abstract: Several tasks in machine learning are evaluated using non-differentiable metrics such as mean average precision or Spearman correlation. However, their non-differentiability prevents from using them as objective functions in a learning framework. Surrogate and relaxation methods exist but tend to be specific to a given metric. In the present work, we introduce a new method to learn approximations of such non-differentiable objective functions. Our approach is based on a deep architecture that approximates the sorting of arbitrary sets of scores. It is trained virtually for free using synthetic data. This sorting deep (SoDeep) net can then be combined in a plug-and-play manner with existing deep architectures. We demonstrate the interest of our approach in three different tasks that require ranking: Cross-modal text-image retrieval, multi-label image classification and visual memorability ranking. Our approach yields very competitive results on these three tasks, which validates the merit and the flexibility of SoDeep as a proxy for sorting operation in ranking-based losses.


title: Bulk thermal transport coefficients in a quantum Hall system and the fundamental difference between thermal and charge response

abstract: We derive and calculate thermal transport coefficient for a quantum Hall system in the linear response regime, and show that they are exponentially small in the bulk, in contrast to the quantized value of the charge Hall coefficient, thus violating Wiedemann-Franz law. This corroborates earlier reports about the essential difference between the charge and thermal quantum Hall effect, that originates from the different behavior of the corresponding $U(1)$ and gravitational anomalies. We explicitly calculate the bulk currents when a temperature profile is applied within the bulk, and show that they are proportional to the second derivative of the respective gravitational potential (tidal force), and nonuniversal, in contrast to the charge current which is proportional to the first derivative of the electrochemical potential.


title: Lyman-alpha emitters in a cosmological volume II: the impact of the intergalactic medium

abstract: In the near future galaxy surveys will target Lyman alpha emitting galaxies (LAEs) to unveil the nature of the dark energy. It has been suggested that the observability of LAEs is coupled to the large scale properties of the intergalactic medium. Such coupling could introduce distortions into the observed clustering of LAEs, adding a new potential difficulty to the interpretation of upcoming surveys. We present a model of LAEs that incorporates Lyman-alpha radiative transfer processes in the interstellar and intergalactic medium. The model is implemented in the GALFORM semi-analytic model of galaxy of formation and evolution. We find that the radiative transfer inside galaxies produces selection effects over galaxy properties. In particular, observed LAEs tend to have low metallicities and intermediate star formation rates. At low redshift we find no evidence of a correlation between the spatial distribution of LAEs and the intergalactic medium properties. However, at high redshift the LAEs are linked to the line of sight velocity and density gradient of the intergalactic medium. The strength of the coupling depends on the outflow properties of the galaxies and redshift. This effect modifies the clustering of LAEs on large scales, adding non linear features. In particular, our model predicts modifications to the shape and position of the baryon acoustic oscillation peak. This work highlights the importance of including radiative transfer physics in the cosmological analysis of LAEs.


title: Real-Space Visualization of Quantum Phase Transition by Network Topology

abstract: We demonstrate that with appropriate quantum correlation function, a real-space network model can be constructed to study the phase transitions in quantum systems. For the three-dimensional bosonic system, the single-particle density matrix is adopted to construct the adjacency matrix. We show that the Bose-Einstein condensate transition can be interpreted as the transition into a small-world network, which is accurately captured by the small-world coefficient. For the one-dimensional disordered system, using the electron diffusion operator to build the adjacency matrix, we find that the Anderson localized states create many weakly-linked subgraphs, which significantly reduces the clustering coefficient and lengthens the shortest path. We show that the crossover from delocalized to localized regimes as a function of the disorder strength can be identified as the loss of global connection, which is revealed by the small-world coefficient as well as other independent measures like the robustness, the efficiency, and the algebraic connectivity. Our results suggest that the quantum phase transitions can be visualized in real space and characterized by the network analysis with suitable choices of quantum correlation functions.


title: On nearly assumption-free tests of nominal confidence interval coverage for causal parameters estimated by machine learning

abstract: For many causal effect parameters of interest, doubly robust machine learning (DRML) estimators $\hat{\psi}_{1}$ are the state-of-the-art, incorporating the good prediction performance of machine learning; the decreased bias of doubly robust estimators; and the analytic tractability and bias reduction of sample splitting with cross fitting. Nonetheless, even in the absence of confounding by unmeasured factors, the nominal $(1 - \alpha)$ Wald confidence interval $\hat{\psi}_{1} \pm z_{\alpha / 2} \widehat{\mathsf{se}} [\hat{\psi}_{1}]$ may still undercover even in large samples, because the bias of $\hat{\psi}_{1}$ may be of the same or even larger order than its standard error of order $n^{-1/2}$. In this paper, we introduce essentially assumption-free tests that (i) can falsify the null hypothesis that the bias of $\hat{\psi}_{1}$ is of smaller order than its standard error, (ii) can provide an upper confidence bound on the true coverage of the Wald interval, and (iii) are valid under the null under no smoothness/sparsity assumptions on the nuisance parameters. The tests, which we refer to as \underline{A}ssumption \underline{F}ree \underline{E}mpirical \underline{C}overage \underline{T}ests (AFECTs), are based on a U-statistic that estimates part of the bias of $\hat{\psi}_{1}$.


title: Arov--Krein entropy functionals and indefinite interpolation problems

abstract: We generalize the notion of the Arov-Krein entropy functional for the case of generalized Nevanlinna functions and obtain a representation of these functionals on solutions of indefinite interpolation problems. The case of indefinite Caratheodory problem and application to Szeg\H{o} limit formula for this nonclassical case are considered in greater detail.


title: Probing the unidentified Fermi blazar-like population using optical polarization and machine learning

abstract: The Fermi gamma-ray space telescope has revolutionized our view of the gamma-ray sky and the high energy processes in the Universe. While the number of known gamma-ray emitters has increased by orders of magnitude since the launch of Fermi, there is an ever increasing number of, now more than a thousand, detected point sources whose low-energy counterpart is to this day unknown. To address this problem, we combined optical polarization measurements from the RoboPol survey as well as other discriminants of blazars from publicly available all-sky surveys in machine learning (random forest and logistic regression) frameworks that could be used to identify blazars in the Fermi unidentified fields with an accuracy of >95%. Out of the potential observational biases considered, blazar variability seems to have the most significant effect reducing the predictive power of the frameworks to ~80-85%. We apply our machine learning framework to six unidentified Fermi fields observed using the RoboPol polarimeter. We identified the same candidate source proposed by Mandarakas et al. for 3FGL J0221.2+2518.


title: A High-Performance Energy Management System based on Evolving Graph

abstract: As the fast growth and large integration of distributed generation, renewable energy resource, energy storage system and load response, the modern power system operation becomes much more complicated with increasing uncertainties and frequent changes. Increased operation risks are introduced to the existing commercial Energy Management System (EMS), due to its limited computational capability. In this paper, a high-performance EMS analysis framework based on the evolving graph is developed. A power grid is first modeled as an evolving graph and then the power system dynamic analysis applications, like network topology processing (NTP), state estimation (SE), power flow (PF), and contingency analysis (CA), are efficiently implemented on the system evolving graph to build a high-performance EMS analysis framework. Its computation performance is field tested using a 2749-bus power system in Sichuan, China. The results illustrate that the proposed EMS remarkably speeds up the computation performance and reaches the goal of real-time power system analysis.


title: Orbital Edelstein effect from density-wave order

abstract: Coupling between charge and spin, and magnetoelectric effects more generally, have been an area of great interest for several years, with the sought-after ability to control magnetic degrees of freedom via charge currents serving as an impetus. The orbital Edelstein effect (OEE) is a kinetic magnetoelectric effect consisting of a bulk orbital magnetization induced by a charge current. It is the orbital analogue of the spin Edelstein effect in spin-orbit coupled materials, in which a charge current drives nonzero electron spin magnetization. The OEE has recently been investigated in the context of Weyl semimetals and Weyl metals. Motivated by these developments, we study a model of electrons without spin-orbit coupling which exhibits line nodes that get gapped out by via symmetry breaking due to an interaction-induced charge density wave order. This model is shown to exhibit a temperature dependent OEE, which appears due to symmetry reduction into a gyrotropic crystal class.


title: 3D Local Features for Direct Pairwise Registration

abstract: We present a novel, data driven approach for solving the problem of registration of two point cloud scans. Our approach is direct in the sense that a single pair of corresponding local patches already provides the necessary transformation cue for the global registration. To achieve that, we first endow the state of the art PPF-FoldNet auto-encoder (AE) with a pose-variant sibling, where the discrepancy between the two leads to pose-specific descriptors. Based upon this, we introduce RelativeNet, a relative pose estimation network to assign correspondence-specific orientations to the keypoints, eliminating any local reference frame computations. Finally, we devise a simple yet effective hypothesize-and-verify algorithm to quickly use the predictions and align two point sets. Our extensive quantitative and qualitative experiments suggests that our approach outperforms the state of the art in challenging real datasets of pairwise registration and that augmenting the keypoints with local pose information leads to better generalization and a dramatic speed-up.


title: Toric geometry and the dual of ${\cal I}$-extremization

abstract: We consider $d=3$, $\mathcal{N}=2$ gauge theories arising on membranes sitting at the apex of an arbitrary toric Calabi-Yau 4-fold cone singularity that are then further compactified on a Riemann surface, $\Sigma_g$, with a topological twist that preserves two supersymmetries. If the theories flow to a superconformal quantum mechanics in the infrared, then they have a $D=11$ supergravity dual of the form AdS$_2\times Y_9$, with electric four-form flux and where $Y_9$ is topologically a fibration of a Sasakian $Y_7$ over $\Sigma_g$. These $D=11$ solutions are also expected to arise as the near horizon limit of magnetically charged black holes in AdS$_4\times Y_7$, with a Sasaki-Einstein metric on $Y_7$. We show that an off-shell entropy function for the dual AdS$_2$ solutions may be computed using the toric data and K\"ahler class parameters of the Calabi-Yau 4-fold, that are encoded in a master volume, as well as a set of integers that determine the fibration of $Y_7$ over $\Sigma_g$ and a K\"ahler class parameter for $\Sigma_g$. We also discuss the class of supersymmetric AdS$_3\times Y_7$ solutions of type IIB supergravity with five-form flux only in the case that $Y_7$ is toric, and show how the off-shell central charge of the dual field theory can be obtained from the toric data. We illustrate with several examples, finding agreement both with explicit supergravity solutions as well as with some known field theory results concerning ${\cal I}$-extremization.


title: Harnessing Sparsity over the Continuum: Atomic Norm Minimization for Super Resolution

abstract: Convex optimization recently emerges as a compelling framework for performing super resolution, garnering significant attention from multiple communities spanning signal processing, applied mathematics, and optimization. This article offers a friendly exposition to atomic norm minimization as a canonical convex approach to solve super resolution problems. The mathematical foundations and performances guarantees of this approach are presented, and its application in super resolution image reconstruction for single-molecule fluorescence microscopy are highlighted.


title: Modelling H$_{3}^{+}$ in planetary atmospheres: effects of vertical gradients on observed quantities

abstract: Since its discovery in the aurorae of Jupiter ~30 years ago, the H$_{3}^{+}$ ion has served as an invaluable probe of giant planet upper atmospheres. However, the vast majority of monitoring of planetary H$_{3}^{+}$ radiation has followed from observations that rely on deriving parameters from column-integrated paths through the emitting layer. Here, we investigate the effects of density and temperature gradients along such paths on the measured H$_{3}^{+}$ spectrum and its resulting interpretation. In a non-isothermal atmosphere, H$_{3}^{+}$ column densities retrieved from such observations are found to represent a lower limit, reduced by 20% or more from the true atmospheric value. Global simulations of Uranus' ionosphere reveal that measured H$_{3}^{+}$ temperature variations are often attributable to well-understood solar zenith angle effects rather than indications of real atmospheric variability. Finally, based on these insights, a preliminary method of deriving vertical temperature structure is demonstrated at Jupiter using model reproductions of electron density and H$_{3}^{+}$ measurements. The sheer diversity and uncertainty of conditions in planetary atmospheres prohibits this work from providing blanket quantitative correction factors; nonetheless, we illustrate a few simple ways in which the already formidable utility of H$_{3}^{+}$ observations in understanding planetary atmospheres can be enhanced.


title: The pQCD analysis to extract PDFs and $\alpha_s^{{\rm NLO}}(M^2_Z)$ from inclusive jet-hadron production data

abstract: This perturbative Quantum Chromo Dynamics (pQCD) analysis attempts to present a simultaneous determination of parton distribution functions (PDFs) and the strong coupling $\alpha_s(M^2_Z)$ from inclusion of inclusive H1 and ZEUS jet, DiJets and TriJets production cross sections data on the HERA I and II combined data, as the central data sets for probing the internal structure of proton. To present an accurate pQCD analysis, we separate the role and influence of inclusion jet production cross sections data from inclusion of the strong coupling $\alpha_s(M^2_Z)$ as an extra fit parameter parameter on the gluon distribution. We show inclusion of jet, DiJets and TriJets production cross sections data improves the consistency between experiment and theory of cross sections for neutral current (NC) and charged current (CC) interactions of deep inelastic ${e^\pm}p$ scattering on proton up to $\sim 2.8$~\%. In addition, we show inclusion of jet production cross section data and considering $\alpha_s(M^2_Z)$ as a pQCD free parameter not only reduce dramatically the uncertainty band of gluon distribution but also improve the consistency between experiment and theory of NC and CC deep inelastic ${e^\pm}p$ scattering cross sections up to $\sim 3.6$~\%. Our simultaneous determination of PDFs and the strong coupling $\alpha_s(M^2_Z)$ with inclusion of jet production cross sections data leads to $\alpha_s^{{\rm NLO}}(M^2_Z) = 0.12041 \pm 0.00086$, which is in a good agreement with world average and other individual measurements.


title: CoRT: A Communication Robustness Testbed for Industrial Control System Components

abstract: The number of interconnected devices is growing constantly due to rapid digitalization, thus providing attackers with a larger attack surface. Particularly in critical infrastructures and manufacturing, where processes can be observed and controlled remotely, successful attacks could lead to high costs and damage. Therefore, it is necessary to investigate Industrial Control System (ICS) devices like Programmable Logic Controllers (PLCs) to make these sectors more secure. One possible attack vector is the exploitation of the network communication of devices. Thus, a robust communication system is essential to ensure security. Unfortunately, the high demand for real-world ICSs makes it difficult to assess component security during its runtime. However, this is possible in a research testbed where tests could be done and analyzed in a safe environment. In this paper, we introduce our testbed and measurement methods for communication robustness test research of ICS components.


title: On a class of distributions generated by stochastic mixture of the extreme order statistics of a sample of size two

abstract: This paper considers a family of distributions constructed by a stochastic mixture of the order statistics of a sample of size two. Various properties of the proposed model are studied. We apply the model to extend the exponential and symmetric Laplace distributions. An extension to the bivariate case is considered.


title: Arithmetic occult period maps

abstract: Several natural complex configuration spaces admit surprising uniformizations as arithmetic ball quotients, by identifying each parametrized object with the periods of some auxiliary object. In each case, the theory of canonical models of Shimura varieties gives the ball quotient the structure of a variety over the ring of integers of a cyclotomic field. We show that the (transcendentally-defined) period map actually respects these algebraic structures, and thus that occult period maps are arithmetic. As an intermediate tool, we develop an arithmetic theory of lattice-polarized K3 surfaces.


title: SCSampler: Sampling Salient Clips from Video for Efficient Action Recognition

abstract: While many action recognition datasets consist of collections of brief, trimmed videos each containing a relevant action, videos in the real-world (e.g., on YouTube) exhibit very different properties: they are often several minutes long, where brief relevant clips are often interleaved with segments of extended duration containing little change. Applying densely an action recognition system to every temporal clip within such videos is prohibitively expensive. Furthermore, as we show in our experiments, this results in suboptimal recognition accuracy as informative predictions from relevant clips are outnumbered by meaningless classification outputs over long uninformative sections of the video. In this paper we introduce a lightweight "clip-sampling" model that can efficiently identify the most salient temporal clips within a long video. We demonstrate that the computational cost of action recognition on untrimmed videos can be dramatically reduced by invoking recognition only on these most salient clips. Furthermore, we show that this yields significant gains in recognition accuracy compared to analysis of all clips or randomly/uniformly selected clips. On Sports1M, our clip sampling scheme elevates the accuracy of an already state-of-the-art action classifier by 7% and reduces by more than 15 times its computational cost.


title: Neural Rerendering in the Wild

abstract: We explore total scene capture -- recording, modeling, and rerendering a scene under varying appearance such as season and time of day. Starting from internet photos of a tourist landmark, we apply traditional 3D reconstruction to register the photos and approximate the scene as a point cloud. For each photo, we render the scene points into a deep framebuffer, and train a neural network to learn the mapping of these initial renderings to the actual photos. This rerendering network also takes as input a latent appearance vector and a semantic mask indicating the location of transient objects like pedestrians. The model is evaluated on several datasets of publicly available images spanning a broad range of illumination conditions. We create short videos demonstrating realistic manipulation of the image viewpoint, appearance, and semantic labeling. We also compare results with prior work on scene reconstruction from internet photos.


title: Analysis of Commutativity with State-Chart Graph Representation of Concurrent Programs

abstract: We present a new approach to check for commutativity in concurrent programs from their state-chart graphs. A set of operations are commutative if changing the order of their execution on an object does not affect the abstract state of the object and returns the same response. Concurrent operations that commute at object-level can be executed concurrently at transaction-level, which boosts performance while preserving the appearance of atomicity and isolation. Utilizing object-level commutativity in transactional execution enables the reuse of existing non-blocking programming techniques for thread-level synchronization. In our approach, we generate state-chart graphs by tracking data on the atomic instructions invoked on the concurrent object during model checking and represent the atomic instructions as states in a state-transition representation. Considering the non-deterministic nature of concurrent programs, we determine commutativity by exhaustively searching for identical object states captured at a thread-level granularity across all thread interleavings. With this methodology, a user can not only verify commutativity among operations, but also can visually check ways in which methods commute at object-level, which is an edge over current state-of-the-art tools. The object-level commutative information helps in identifying faulty implementations and performance improvement considerations. We use the graph database, Neo4j, to represent object states as nodes that further assists the user to check for concurrency properties using Cypher queries.


title: Non-commutative R\'{e}nyi Entropic Uncertainty Principles

abstract: In this paper, we calculate the norm of the string Fourier transform on subfactor planar algebras and characterize the extremizers of the inequalities for parameters $0<p,q\leq \infty$. Furthermore, we establish R\'{e}nyi entropic uncertainty principles for subfactor planar algebras.

categories: math.OA cs.IT math-ph math.IT math.MP math.QA


title: Reconstruction of inflation model from tensor-to-scalar ratio

abstract: We reconstruct the potential of minimally coupling inflation model which produces small value of the tensor-scalar ratio. In these inflation models, tensor-scalar ratio is proportional to 1/N^2 scalar spectral index is in good agreement with recent cosmological observations, in which N is the e-folding number and p is a positive number. We also reconstruct f(R) gravity inflation from small tensor-tensor ratio.


title: Exploring Methods for the Automatic Detection of Errors in Manual Transcription

abstract: Quality of data plays an important role in most deep learning tasks. In the speech community, transcription of speech recording is indispensable. Since the transcription is usually generated artificially, automatically finding errors in manual transcriptions not only saves time and labors but benefits the performance of tasks that need the training process. Inspired by the success of hybrid automatic speech recognition using both language model and acoustic model, two approaches of automatic error detection in the transcriptions have been explored in this work. Previous study using a biased language model approach, relying on a strong transcription-dependent language model, has been reviewed. In this work, we propose a novel acoustic model based approach, focusing on the phonetic sequence of speech. Both methods have been evaluated on a completely real dataset, which was originally transcribed with errors and strictly corrected manually afterwards.


title: Low-Energy Scattering Properties of Ground-State and Excited-State Positronium Collisions

abstract: Low-energy elastic and inelastic scattering in the Ps(1$s$)-Ps(2$s$) channel is treated in a four-body hyperspherical coordinate calculation. Adiabatic potentials are calculated for triplet-triplet, singlet-singlet, and singlet-triplet spin symmetries in the spin representation of coupled electrons and coupled positrons, with total angular momentum $L=0$ and parity equal to $+1$. The s-wave scattering lengths for the asymptotic Ps(1$s$)-Ps(2$s$) channel are calculated for each spin configuration. Results obtained for the s-wave scattering lengths are $a_{\mathrm{TT}}=$~$7.3(2)a_0-i0.02(1)a_0$, $a_{\mathrm{SS}}=$~$13.2(2)a_0-i0.9(2)a_0$, and $a_{\mathrm{ST}}=$~$9.7(2)a_0$ for each spin configuration. Spin recoupling is implemented to extract the scattering lengths for collisions of Ps in different spin configurations through properly symmetrized unitary transformations. Calculations of experimentally relevant scattering lengths and cross-sections are carried-out for Ps atoms initially prepared in different uncoupled spin states.


title: The effect of Large Magellanic Cloud on the satellite galaxy population in Milky Way analogous Galaxies

abstract: Observational work have shown that the two brightest satellite galaxies of the Milky Way (MW), the Large Magellanic Cloud (LMC) and the Small Magellanic Cloud (SMC), are rare amongst MW analogues. It is then interesting to know whether the presence of massive satellite has any effect on the whole satellite population in MW analogues. In this article, we investigate this problem using a semi-analytical model combined with the Millennium-II Simulation. MW-analogous galaxies are defined to have similar stellar mass or dark matter halo mass to the MW. We find that, in the first case, the halo mass is larger and there are, on average, twice as many satellites in Milky Way analogs if there is a massive satellite galaxy in the system. This is mainly from the halo formation bias. The difference is smaller if MW analogues are selected using halo mass. We also find that the satellites distribution is slightly asymmetric, being more concentrated on the line connecting the central galaxy and the massive satellite and that, on average, LMC have brought in 14.7 satellite galaxies with $M_{r}<0$ at its accretion, among which 4.5 satellites are still within a distance of 50kpc from the LMC. Considering other satellites, we predict that thereare 7.8 satellites with 50kpc of the LMC. By comparing our model with the early data of Satellites Around Galactic Analogs (SAGA), a survey to observe satellite galaxies around 100 Milky Way analogues, we find that SAGA has more bright satellites and less faint satellites than our model predictions. A future comparison with the final SAGA data is needed.


title: Learned 3D Shape Representations Using Fused Geometrically Augmented Images: Application to Facial Expression and Action Unit Detection

abstract: This paper proposes an approach to learn generic multi-modal mesh surface representations using a novel scheme for fusing texture and geometric data. Our approach defines an inverse mapping between different geometric descriptors computed on the mesh surface or its down-sampled version, and the corresponding 2D texture image of the mesh, allowing the construction of fused geometrically augmented images (FGAI). This new fused modality enables us to learn feature representations from 3D data in a highly efficient manner by simply employing standard convolutional neural networks in a transfer-learning mode. In contrast to existing methods, the proposed approach is both computationally and memory efficient, preserves intrinsic geometric information and learns highly discriminative feature representation by effectively fusing shape and texture information at data level. The efficacy of our approach is demonstrated for the tasks of facial action unit detection and expression classification. The extensive experiments conducted on the Bosphorus and BU-4DFE datasets, show that our method produces a significant boost in the performance when compared to state-of-the-art solutions


title: Some questions for possible submission to the next Kourovka notebook

abstract: This is a collection of questions that I am considering submitting to the next edition of the Kourovka Notebook of open questions in group theory. Most are questions I raised in papers between 1981 and the present; a few are new. I welcome feedback.


title: More barriers for rank methods, via a "numeric to symbolic" transfer

abstract: We prove new barrier results in arithmetic complexity theory, showing severe limitations of natural lifting (aka escalation) techniques. For example, we prove that even optimal rank lower bounds on $k$-tensors cannot yield non-trivial lower bounds on the rank of $d$-tensors, for any constant $d>k$. This significantly extends recent barrier results on the limits of (matrix) rank methods by Efremenko, Garg, Oliveira and Wigderson, which handles the (very important) case $k=2$. Our generalization requires the development of new technical tools and results in algebraic geometry, which are interesting in their own right and possibly applicable elsewhere. The basic issue they probe is the relation between numeric and symbolic rank of tensors, essential in the proofs of previous and current barriers. Our main technical result implies that for every symbolic $k$-tensor (namely one whose entries are polynomials in some set of variables), if the tensor rank is small for every evaluation of the variables, then it is small symbolically. This statement is obvious for $k=2$. To prove an analogous statement for $k>2$ we develop a "numeric to symbolic" transfer of algebraic relations to algebraic functions, somewhat in the spirit of the implicit function theorem. It applies in the general setting of inclusion of images of polynomial maps, in the form appearing in Raz's elusive functions approach to proving VP $\neq$ VNP. We give a toy application showing how our transfer theorem may be useful in pursuing this approach to prove arithmetic complexity lower bounds.


title: Precise asymptotics near a pinched disk singularity formed by mean curvature flow

abstract: In the present paper we study a type of generic singularity, at the blowup time, and we derive an asymptotic profile for a small neighborhood of singularity.


title: On the dust properties of high redshift molecular clouds and the connection to the 2175 {\AA} extinction bump

abstract: We present a study of the extinction and depletion-derived dust properties of gamma-ray burst (GRB) absorbers at $1<z<3$ showing the presence of neutral carbon (\ion{C}{I}). By modelling their parametric extinction laws, we discover a broad range of dust models characterizing the GRB \ion{C}{I} absorption systems. In addition to the already well-established correlation between the amount of \ion{C}{I} and visual extinction, $A_V$, we also observe a correlation with the total-to-selective reddening, $R_V$. All three quantities are also found to be connected to the presence and strength of the 2175\,{\AA} dust extinction feature. While the amount of \ion{C}{I} is found to be correlated with the SED-derived dust properties, we do not find any evidence for a connection with the depletion-derived dust content as measured from [Zn/Fe] and $N$(Fe)$_{\rm dust}$. To reconcile this, we discuss a scenario where the observed extinction is dominated by the composition of dust particles confined in the molecular gas-phase of the ISM. We argue that since the depletion level trace non-carbonaceous dust in the ISM, the observed extinction in GRB \ion{C}{I} absorbers is primarily produced by carbon-rich dust in the molecular cloud and is therefore only observable in the extinction curves and not in the depletion patterns. This also indicates that the 2175\,{\AA} dust extinction feature is caused by dust and molecules in the cold and molecular gas-phase. This scenario provides a possible resolution to the discrepancy between the depletion- and SED-derived amounts of dust in high-$z$ absorbers.


title: Advection-diffusion dynamics with nonlinear boundary flux as a model for crystal growth

abstract: We analyze the effect of nonlinear boundary conditions on an advection-diffusion equation on the half-line. Our model is inspired by models for crystal growth where diffusion models diffusive relaxation of a displacement field, advection is induced by apical growth, and boundary conditions incorporate non-adiabatic effects on displacement at the boundary. The equation, in particular the boundary fluxes, possesses a discrete gauge symmetry, and we study the role of simple, entire solutions, here periodic, homoclinic, or heteroclinic relative to this gauge symmetry, in the global dynamics.


title: Bilateral Boundary Control of Moving Shockwave in LWR Model of Congested Traffic

abstract: We develop backstepping state feedback control to stabilize a moving shockwave in a freeway segment under bilateral boundary actuations of traffic flow. A moving shockwave, consisting of light traffic upstream of the shockwave and heavy traffic downstream, is usually caused by changes of local road situations. The density discontinuity travels upstream and drivers caught in the shockwave experience transitions from free to congested traffic. Boundary control design in this paper brings the moving shockwave front to a static setpoint position, hindering the upstream propagation of traffic congestion. The traffic dynamics are described with Lighthill-Whitham-Richard (LWR) model, leading to a system of two first-order hyperbolic partial differential equations (PDEs). Each represents the traffic density of a spatial domain segregated by the moving interface. By Rankine-Hugoniot condition, the interface position is driven by flux discontinuity and thus governed by a PDE state dependent ordinary differential equation (ODE). For the PDE-ODE coupled system. the control objective is to stabilize both the PDE states of traffic density and the ODE state of moving shock position to setpoint values. Using delay representation and backstepping method, we design predictor feedback controllers to cooperatively compensate state-dependent input delays to the ODE. From Lyapunov stability analysis, we show local stability of the closed-loop system in $H^1$ norm. The performance of controllers is demonstrated by numerical simulation.


title: Verification Logics for Quantum Programs

abstract: We survey the landscape of Hoare logics for quantum programs. We review three papers: "Reasoning about imperative quantum programs" by Chadha, Mateus and Sernadas; "A logic for formal verification of quantum programs" by Yoshihiko Kakutani; and "Floyd-hoare logic for quantum programs" by Mingsheng Ying. We compare the mathematical foundations of the logics, their underlying languages, and the expressivity of their assertions. We also use the languages to verify the Deutsch-Jozsa Algorithm, and discuss their relative usability in practice.


title: Ultrarelativistic polarized positron jets via collision of electron and ultraintense laser beams

abstract: Relativistic spin-polarized positron beams are indispensable for future electron-positron colliders to test modern high-energy physics theory with high precision. However, present techniques require very large scale facilities for those experiments. We put forward a novel efficient way for generating ultrarelativistic polarized positron beams employing currently available laser fields. For this purpose the generation of polarized positrons via multiphoton Breit-Wheeler pair production and the associated spin dynamics in single-shot interaction of an ultraintense laser pulse with an ultrarelativistic electron beam is investigated in the quantum radiation-dominated regime. A specifically tailored small ellipticity of the laser field is shown to promote splitting of the polarized particles along the minor axis of laser polarization into two oppositely polarized beams. In spite of radiative de-polarization, a dense positron beam with up to about 90\% polarization can be generated in tens of femtoseconds. The method may eventually usher high-energy physics studies into smaller-scale laser laboratories.


title: A Time-Segmented Consortium Blockchain for Robotic Event Registration

abstract: A blockchain, during its lifetime, records large amounts of data, that in a common usage its kept on its entirety. In a robotics environment, the old information is useful for human evaluation, or oracles interfacing with the blockchain but it is not useful for the robots that require only current information in order to continue their work. This causes a storage problem in blockchain nodes that have limited storage capacity, such as in the case of nodes attached to robots that are usually built around embedded solutions. This paper presents a time-segmentation solution for devices with limited storage capacity, integrated in a particular robot-directed blockchain called RobotChain. Results are presented regarding the proposed solution that show that the goal of restricting each node's capacity is reached without compromising all the benefits that arise from the use of blockchains in these contexts, and on the contrary, it allows for cheap nodes to use this blockchain, reduces storage costs and allows faster deployment of new nodes.