title: Multi-Hop Network with Multiple Decision Centers under Expected-Rate Constraints

abstract: We consider a multi-hop distributed hypothesis testing problem with multiple decision centers (DCs) for testing against independence and where the observations obey some Markov chain. For this system, we characterize the fundamental type-II error exponents region, i.e., the type-II error exponents that the various DCs can achieve simultaneously, under expected rate-constraints. Our results show that this fundamental exponents region is boosted compared to the region under maximum-rate constraints, and that it depends on the permissible type-I error probabilities. When all DCs have equal permissible type-I error probabilities, the exponents region is rectangular and all DCs can simultaneously achieve their optimal type-II error exponents. When the DCs have different permissible type-I error probabilities, a tradeoff between the type-II error exponents at the different DCs arises. New achievability and converse proofs are presented. For the achievability, a new multiplexing and rate-sharing strategy is proposed. The converse proof is based on applying different change of measure arguments in parallel and on proving asymptotic Markov chains. For the special cases $K = 2$ and $K = 3$, we provide simplified expressions for the exponents region; a similar simplification is conjectured for arbitrary $K\geq 2$.


title: Expressions Causing Differences in Emotion Recognition in Social Networking Service Documents

abstract: It is often difficult to correctly infer a writer's emotion from text exchanged online, and differences in recognition between writers and readers can be problematic. In this paper, we propose a new framework for detecting sentences that create differences in emotion recognition between the writer and the reader and for detecting the kinds of expressions that cause such differences. The proposed framework consists of a bidirectional encoder representations from transformers (BERT)-based detector that detects sentences causing differences in emotion recognition and an analysis that acquires expressions that characteristically appear in such sentences. The detector, based on a Japanese SNS-document dataset with emotion labels annotated by both the writer and three readers of the social networking service (SNS) documents, detected "hidden-anger sentences" with AUC = 0.772; these sentences gave rise to differences in the recognition of anger. Because SNS documents contain many sentences whose meaning is extremely difficult to interpret, by analyzing the sentences detected by this detector, we obtained several expressions that appear characteristically in hidden-anger sentences. The detected sentences and expressions do not convey anger explicitly, and it is difficult to infer the writer's anger, but if the implicit anger is pointed out, it becomes possible to guess why the writer is angry. Put into practical use, this framework would likely have the ability to mitigate problems based on misunderstandings.


title: The all-particle energy spectrum of cosmic rays from 10 TeV to 1 PeV measured with HAWC

abstract: The HAWC observatory is an air-shower detector, which is designed to study both astrophysical gamma-rays in the TeV region and galactic cosmic rays in the energy interval from 1 TeV to 1 PeV. This energy regime is quite interesting for cosmic ray research, since indirect observations overlap with direct measurements, which offers the opportunity for cross calibration and studies of experimental systematic errors in both techniques. One quantity that could help for this purpose is the all-particle energy spectrum of cosmic rays. In this work, we present an update of HAWC measurements on the total cosmic-ray energy spectrum between 10 TeV and 1 PeV. The spectrum was obtained from an unfolding analysis of almost two years of HAWC's data, which was collected from January, 2018 to December, 2019. For the energy estimation, we employed the high-energy hadronic interaction model QGSJET-II-04. As in a previous work of HAWC, published in 2017, we observed the presence of a knee-like feature in the region of tens of TeV.


title: Self-support topology optimization considering distortion for metal additive manufacturing

abstract: This paper proposes a self-support topology optimization method that considers distortion to improve the manufacturability of additive manufacturing. First, a self-support constraint is proposed that combines an overhang angle constraint with an adjustable degree of the dripping effect and a thermal constraint for heat dissipation in the building process. Next, we introduce a mechanical model based on the inherent strain method in the building process and propose a constraint that can suppress distortion. An optimization problem is formulated to satisfy all constraints, and an optimization algorithm based on level-set-based topology optimization is constructed. Finally, two- and three-dimensional optimization examples are presented to validate the effectiveness of the proposed topology optimization method.


title: Feynman checkers: lattice quantum field theory with real time

abstract: We present a new completely elementary model that describes the creation, annihilation, and motion of non-interacting electrons and positrons along a line. It is a modification of the model known under the names Feynman checkers or one-dimensional quantum walk. It can be viewed as a six-vertex model with certain complex weights of the vertices. The discrete model is consistent with the continuum quantum field theory, namely, reproduces the known expected charge density as the lattice step tends to zero. It is exactly solvable in terms of hypergeometric functions. We introduce interaction resembling Fermi's theory and establish perturbation expansion.


title: Does robotization affect job quality? Evidence from European regional labour markets

abstract: Whereas there are recent papers on the effect of robot adoption on employment and wages, there is no evidence on how robots affect non-monetary working conditions. We explore the impact of robot adoption on several domains of non-monetary working conditions in Europe over the period 1995-2005 combining information from the World Robotics Survey and the European Working Conditions Survey. In order to deal with the possible endogeneity of robot deployment, we employ an instrumental variables strategy, using the robot exposure by sector in other developed countries as an instrument. Our results indicate that robotization has a negative impact on the quality of work in the dimension of work intensity and no relevant impact on the domains of physical environment or skills and discretion.


title: Optimizing the number of CNOT gates in one-dimensional nearest-neighbor quantum Fourier transform circuit

abstract: The physical limitations of quantum hardware often require nearest-neighbor qubit structures, in which two-qubit gates are required to construct nearest-neighbor quantum circuits. However, two-qubit gates are considered a major cost of quantum circuits because of their high error rate as compared with single-qubit gates. The controlled-not (CNOT) gate is the typical choice of a two-qubit gate for universal quantum circuit implementation together with the set of single-qubit gates. In this study, we construct a one-dimensional nearest-neighbor circuit of quantum Fourier transform (QFT), which is one of the most frequently used quantum algorithms. Compared with previous studies on n-qubit one-dimensional nearest-neighbor QFT circuits, it is found that our method reduces the number of CNOT gates by ~60%. Additionally, we showed that our results for the one-dimensional nearest-neighbor circuit can be applied to quantum amplitude estimation.


title: Coloring Mixed and Directional Interval Graphs

abstract: A mixed graph has a set of vertices, a set of undirected egdes, and a set of directed arcs. A proper coloring of a mixed graph $G$ is a function $c$ that assigns to each vertex in $G$ a positive integer such that, for each edge $uv$ in $G$, $c(u) \ne c(v)$ and, for each arc $uv$ in $G$, $c(u) < c(v)$. For a mixed graph $G$, the chromatic number $\chi(G)$ is the smallest number of colors in any proper coloring of $G$. A directional interval graph is a mixed graph whose vertices correspond to intervals on the real line. Such a graph has an edge between every two intervals where one is contained in the other and an arc between every two overlapping intervals, directed towards the interval that starts and ends to the right. Coloring such graphs has applications in routing edges in layered orthogonal graph drawing according to the Sugiyama framework; the colors correspond to the tracks for routing the edges. We show how to recognize directional interval graphs, and how to compute their chromatic number efficiently. On the other hand, for mixed interval graphs, i.e., graphs where two intersecting intervals can be connected by an edge or by an arc in either direction arbitrarily, we prove that computing the chromatic number is NP-hard.


title: In-plane anomalous Hall effect in PT-symmetric antiferromagnetic materials

abstract: Anomalous Hall effect (AHE), a protocol of various low-power dissipation quantum phenomena and a fundamental precursor of intriguing topological phases of matter, is usually observed in ferromagnetic materials with orthogonal configuration between the electric field, magnetization and the Hall current. Here, based on the symmetry analysis, we find an unconventional AHE induced by the in-plane magnetic field (IPAHE) via spin-canting effect in $\mathcal{PT}$ symmetric antiferromagnetic (AFM) systems, featuring a linear dependence of magnetic field and 2$\pi$ angle periodicity with a comparable magnitude as conventional AHE. We demonstrate the key findings in the known AFM Dirac semimetal CuMnAs and a new kind of AFM heterodimensional VS$_2$-VS superlattice with a nodal-line Fermi surface and also briefly discuss the experimental detection. Our work provides an efficient pathway to search and/or design realistic materials for novel IPAHE that could greatly facilitate their application in AFM spintronic devices.


title: Efficient and Interpretable Neural Models for Entity Tracking

abstract: What would it take for a natural language model to understand a novel, such as The Lord of the Rings? Among other things, such a model must be able to: (a) identify and record new characters (entities) and their attributes as they are introduced in the text, and (b) identify subsequent references to the characters previously introduced and update their attributes. This problem of entity tracking is essential for language understanding, and thus, useful for a wide array of downstream applications in NLP such as question-answering, summarization. In this thesis, we focus on two key problems in relation to facilitating the use of entity tracking models: (i) scaling entity tracking models to long documents, such as a novel, and (ii) integrating entity tracking into language models. Applying language technologies to long documents has garnered interest recently, but computational constraints are a significant bottleneck in scaling up current methods. In this thesis, we argue that computationally efficient entity tracking models can be developed by representing entities with rich, fixed-dimensional vector representations derived from pretrained language models, and by exploiting the ephemeral nature of entities. We also argue for the integration of entity tracking into language models as it will allow for: (i) wider application given the current ubiquitous use of pretrained language models in NLP applications, and (ii) easier adoption since it is much easier to swap in a new pretrained language model than to integrate a separate standalone entity tracking model.


title: Split square and split carpet as examples of non-metrizable IFS attractors

abstract: We define two non-metrizable compact spaces and show that they are attractors of iterated function systems. Both of them, the split square and the split carpet, are constructed using the product of split intervals.


title: Quantifying the Role of Interest Rates, the Dollar and Covid in Oil Prices

abstract: This study analyses oil price movements through the lens of an agnostic random forest model, which is based on 1,000 regression trees. It shows that this highly disciplined, yet flexible computational model reduces in sample root mean square errors by 65% relative to a standard linear least square model that uses the same set of 11 explanatory factors. In forecasting exercises the RMSE reduction ranges between 51% and 68%, highlighting the relevance of non linearities in oil markets. The results underscore the importance of incorporating financial factors into oil models: US interest rates, the dollar and the VIX together account for 39% of the models RMSE reduction in the post 2010 sample, rising to 48% in the post 2020 sample. If Covid 19 is also considered as a risk factor, these shares become even larger.


title: Empirical and Full Bayes estimation of the type of a Pitman-Yor process

abstract: The Pitman-Yor process is a random discrete probability distribution of which the atoms can be used to model the relative abundance of species. The process is indexed by a type parameter $\sigma$, which controls the number of different species in a finite sample from a realization of the distribution. A random sample of size $n$ from the Pitman-Yor process of type $\sigma>0$ will contain of the order $n^\sigma$ distinct values (``species''). In this paper we consider the estimation of the type parameter by both empirical Bayes and full Bayes methods. We derive the asymptotic normality of the empirical Bayes estimator and a Bernstein-von Mises theorem for the full Bayes posterior, in the frequentist setup that the observations are a random sample from a given true distribution. We also consider the estimation of the second parameter of the Pitman-Yor process, the prior precision. We apply our results to derive the limit behaviour of the likelihood ratio in a setting of forensic statistics.


title: Denoising Particle Beam Micrographs with Plug-and-Play Methods

abstract: In a particle beam microscope, a raster-scanned focused beam of particles interacts with a sample to generate a secondary electron (SE) signal pixel by pixel. Conventionally formed micrographs are noisy because of limitations on acquisition time and dose. Recent work has shown that estimation methods applicable to a time-resolved measurement paradigm can greatly reduce noise, but these methods apply pixel by pixel without exploiting image structure. Raw SE count data can be modeled with a compound Poisson (Neyman Type A) likelihood, which implies data variance that is signal-dependent and greater than the variation in the underlying particle-sample interaction. These statistical properties make methods that assume additive white Gaussian noise ineffective. This paper introduces methods for particle beam micrograph denoising that use the plug-and-play framework to exploit image structure while being applicable to the unusual data likelihoods of this modality. Approximations of the data likelihood that vary in accuracy and computational complexity are combined with denoising by total variation regularization, BM3D, and DnCNN. Methods are provided for both conventional and time-resolved measurements, assuming SE counts are available. In simulations representative of helium ion microscopy and scanning electron microscopy, significant improvements in root mean-squared error (RMSE), structural similarity index measure (SSIM), and qualitative appearance are obtained. Average reductions in RMSE are by factors ranging from 2.24 to 4.11.


title: Interference of non-Hermiticity with Hermiticity at exceptional points

abstract: A family of non-Hermitian but ${\cal PT}-$symmetric $2J$ by $2J$ toy-model tridiagonal-matrix Hamiltonians $H^{(2J)}=H^{(2J)}(t)$ with $J=K+M=1,2,\ldots$ and $t<J^2$ is studied, for which a real but non-Hermitian $2K$ by $2K$ tridiagonal-submatrix component $C(t)$ of the Hamiltonian is assumed coupled to its other two complex but Hermitian $M$ by $M$ tridiagonal-submatrix components $A(t)$ and $B(t)$. By construction, (i) all of the submatrices get decoupled at $t=t_M=M\,(2J-M)$ with $M=1,2,\ldots,J$; (ii) at all of the parameters $t=t_M$ with $M=J-K=0,1,\ldots,J-1$ the Hamiltonian ceases to be diagonalizable exhibiting the Kato's exceptional-point degeneracy of order $2K$; (iv) the system's ${\cal PT}-$symmetry gets spontaneously broken when $t\leq t_{J-1}=J^2-1$.


title: Reconstructing inclined extensive air showers from radio measurements

abstract: We present a reconstruction algorithm for extensive air showers with zenith angles between 65$^\circ$ and 85$^\circ$ measured with radio antennas in the 30-80 MHz band. Our algorithm is based on a signal model derived from CoREAS simulations which explicitly takes into account the asymmetries introduced by the superposition of charge-excess and geomagnetic radiation as well as by early-late effects. We exploit correlations among fit parameters to reduce the dimensionality and thus ensure stability of the fit procedure. Our approach reaches a reconstruction efficiency near 100% with an intrinsic resolution for the reconstruction of the electromagnetic energy of well below 5\%. It can be employed in upcoming large-scale radio detection arrays using the 30-80 MHz band, in particular the AugerPrime Radio detector of the Pierre Auger Observatory, and can likely be adapted to experiments such as GRAND operating at higher frequencies.


title: RIS-Aided Multiuser MIMO-OFDM with Linear Precoding and Iterative Detection: Analysis and Optimization

abstract: In this paper, we consider a reconfigurable intelligence surface (RIS) aided uplink multiuser multi-input multi-output (MIMO) orthogonal frequency division multiplexing (OFDM) system, where the receiver is assumed to conduct low-complexity iterative detection. We aim to minimize the total transmit power by jointly designing the precoder of the transmitter and the passive beamforming of the RIS. This problem can be tackled from the perspective of information theory. But this information-theoretic approach may involve prohibitively high complexity since the number of rate constraints that specify the capacity region of the uplink multiuser channel is exponential in the number of users. To avoid this difficulty, we formulate the design problem of the iterative receiver under the constraints of a maximal iteration number and target bit error rates of users. To tackle this challenging problem, we propose a groupwise successive interference cancellation (SIC) optimization approach, where the signals of users are decoded and cancelled in a group-by-group manner. We present a heuristic user grouping strategy, and resort to the alternating optimization technique to iteratively solve the precoding and passive beamforming sub-problems. Specifically, for the precoding sub-problem, we employ fractional programming to convert it to a convex problem; for the passive beamforming sub-problem, we adopt successive convex approximation to deal with the unit-modulus constraints of the RIS. We show that the proposed groupwise SIC approach has significant advantages in both performance and computational complexity, as compared with the counterpart approaches.


title: Program Equivalence in an Untyped, Call-by-value Lambda Calculus with Uncurried Recursive Functions

abstract: We aim to reason about the correctness of behaviour-preserving transformations of Erlang programs. Behaviour preservation is characterised by semantic equivalence. Based upon our existing formal semantics for Core Erlang, we investigate potential definitions of suitable equivalence relations. In particular we adapt a number of existing approaches of expression equivalence to a simple functional programming language that carries the main features of sequential Core Erlang; we then examine the properties of the equivalence relations and formally establish connections between them. The results presented in this paper, including all theorems and their proofs, have been machine checked using the Coq proof assistant.


title: Shape-Guided Mixed Metro Map Layout

abstract: Metro or transit maps, are schematic representations of transit networks to facilitate effective route-finding. These maps are often advertised on a web page or pamphlet highlighting routes from source to destination stations. To visually support such route-finding, designers often distort the layout by embedding symbolic shapes (e.g., circular routes) in order to guide readers' attention (e.g., Moscow map and Japan railway map). However, manually producing such maps is labor-intensive and the effect of shapes remains unclear. In this paper, we propose an approach to generalize such mixed metro maps that take user-defined shapes as an input. In this mixed design, lines that are used to approximate the shapes are arranged symbolically, while the remaining lines follow classical layout convention. A three-step algorithm, including (1) detecting and selecting routes for shape approximation, (2) shape and layout deformation, and (3) aligning lines on a grid, is integrated to guarantee good visual quality. Our contribution lies in the definition of the mixed metro map problem and the formulation of design criteria so that the problem can be resolved systematically using the optimization paradigm. Finally, we evaluate the performance of our approach and perform a user study to test if the embedded shapes are recognizable or reduce the map quality.


title: Tidal heating in a Riemann-Cartan spacetime

abstract: We consider possible perturbations of the black hole event horizon induced by matter with spin, extending the derivation of the Hawking-Hartle formula (tidal heating) in the presence of torsion. When specialised to theories with a non-vanishing (pseudo-)traceless component of the (con)torsion tensor, we remarkably find that the tidal heating phenomenon gets modified by additional torsion-dependent terms, in agreement with previous investigations based on Jacobson's spacetime thermodynamics approach. These results lead to relevant phenomenological and theoretical consequences: modifications in the Hawking-Hartle term change the Bondi mass associated with the gravitational radiation observed at infinity, and modify the Hawking radiation spectrum of evaporating black holes.


title: Controllable 3D Generative Adversarial Face Model via Disentangling Shape and Appearance

abstract: 3D face modeling has been an active area of research in computer vision and computer graphics, fueling applications ranging from facial expression transfer in virtual avatars to synthetic data generation. Existing 3D deep learning generative models (e.g., VAE, GANs) allow generating compact face representations (both shape and texture) that can model non-linearities in the shape and appearance space (e.g., scatter effects, specularities, etc.). However, they lack the capability to control the generation of subtle expressions. This paper proposes a new 3D face generative model that can decouple identity and expression and provides granular control over expressions. In particular, we propose using a pair of supervised auto-encoder and generative adversarial networks to produce high-quality 3D faces, both in terms of appearance and shape. Experimental results in the generation of 3D faces learned with holistic expression labels, or Action Unit labels, show how we can decouple identity and expression; gaining fine-control over expressions while preserving identity.


title: Approximation Algorithm for Minimum $p$ Union Under a Geometric Setting

abstract: In a minimum $p$ union problem (Min$p$U), given a hypergraph $G=(V,E)$ and an integer $p$, the goal is to find a set of $p$ hyperedges $E'\subseteq E$ such that the number of vertices covered by $E'$ (that is $|\bigcup_{e\in E'}e|$) is minimized. It was known that Min$p$U is at least as hard as the densest $k$-subgraph problem. A question is: how about the problem in some geometric settings? In this paper, we consider the unit square Min$p$U problem (Min$p$U-US) in which $V$ is a set of points on the plane, and each hyperedge of $E$ consists of a set of points in a unit square. A $(\frac{1}{1+\varepsilon},4)$-bicriteria approximation algorithm is presented, that is, the algorithm finds at least $\frac{p}{1+\varepsilon}$ unit squares covering at most $4opt$ points, where $opt$ is the optimal value for the Min$p$U-US instance (the minimum number of points that can be covered by $p$ unit squares).


title: Continuous families of Z(2) monopoles in SU(4) Yang-Mills-Higgs theory

abstract: We consider an SU(4) Yang-Mills-Higgs theory spontaneously broken to $SO(4)$ by a scalar field in the $n\times n$ representation and the unbroken algebra invariant under Cartan automorphism. We obtain that $\mathbb Z_2$ monopoles in this theory belong to different classes of $su(2)$ embeddings associated to continuous families of up to four parameters. This result generalizes the discrete families of $\mathbb Z_2$ monopoles previously known as well as it shows new classes of embeddings.


title: Sets Avoiding Full-Rank Three-Point Patterns in $(\mathbb{F}_q^n)^k$ Are Exponentially Small

abstract: We prove that if a subset of $(\mathbb{F}_q^n)^k$ (with $q$ an odd prime power) avoids a full-rank three-point pattern $\vec{x},\vec{x}+M_1\vec{d},\vec{x}+M_2\vec{d}$ then it is exponentially small, having size at most $3 \cdot c_q^{nk}$ where $0.8414 q \leq c_q \leq 0.9184 q$. This generalizes a theorem of Kova\u{c} and complements results of Berger, Sah, Sawhney and Tidor. As a consequence, we prove that if $3$ is a square in $\mathbb{F}_q$ then subsets of $(\mathbb{F}_q^n)^2$ avoiding equilateral triangles are exponentially small.


title: Common Idiosyncratic Quantile Risk

abstract: We identify a new type of risk that is characterised by commonalities in the quantiles of the cross-sectional distribution of asset returns. Our newly proposed quantile risk factor is associated with a quantile-specific risk premium and provides new insights into how upside and downside risks are priced by investors. In contrast to the previous literature, we recover the common structure in cross-sectional quantiles without making confounding assumptions or aggregating potentially non-linear information. We discuss how the new quantile-based risk factor differs from popular volatility and downside risk factors, and we identify where the quantile-dependent risks deserve greater compensation. Quantile factors also have predictive power for aggregate market returns.


title: Optimal Power Allocation for Integrated Visible Light Positioning and Communication System with a Single LED-Lamp

abstract: In this paper, we investigate an integrated visible light positioning and communication (VLPC) system with a single LED-lamp. First, by leveraging the fact that the VLC channel model is a function of the receiver's location, we propose a system model that estimates the channel state information (CSI) based on the positioning information without transmitting pilot sequences. Second, we derive the Cramer-Rao lower bound (CRLB) on the positioning error variance and a lower bound on the achievable rate with on-off keying modulation. Third, based on the derived performance metrics, we optimize the power allocation to minimize the CRLB, while satisfying the rate outage probability constraint. To tackle this non-convex optimization problem, we apply the worst-case distribution of the Conditional Value-at-Risk (CVaR) and the block coordinate descent (BCD) methods to obtain the feasible solutions. Finally, the effects of critical system parameters, such as outage probability, rate threshold, total power threshold, are revealed by numerical results.


title: AuthROS: Secure Data Sharing Among Robot Operating Systems Based on Ethereum

abstract: The Robot Operating System (ROS) streamlines human processes, increasing the efficiency of various production tasks. However, the security of data transfer operations in ROS is still in its immaturity. Securing data exchange between several robots is a significant problem. This paper proposes \textit{AuthROS}, an Ethereum blockchain-based secure data sharing method, for robot communication. It is a ROS node authorization system capable of ensuring the immutability and security of private data flow between ROS nodes of any size. To ensure data security, AuthROS employs the smart contract for permission granting and identification, SM2-based key exchange, and SM4-based plaintext encryption techniques. In addition, we deploy a data digest upload technique to optimize data query and upload performance. Finally, the experimental findings reveal that AuthROS has strong security, time performance, and node forging in cases where data should be recorded and robots need to remain immobile.


title: Integral Sampler and Polynomial Multiplication Architecture for Lattice-based Cryptography

abstract: With the surge of the powerful quantum computer, lattice-based cryptography proliferated the latest cryptography hardware implementation due to its resistance against quantum computers. Among the computational blocks of lattice-based cryptography, the random errors produced by the sampler play a key role in ensuring the security of these schemes. This paper proposes an integral architecture for the sampler, which can reduce the overall resource consumption by reusing the multipliers and adders within the modular polynomial computation. For instance, our experimental results show that the proposed design can effectively reduce the discrete Ziggurat sampling method in DSP usage.


title: Faithful Reasoning Using Large Language Models

abstract: Although contemporary large language models (LMs) demonstrate impressive question-answering capabilities, their answers are typically the product of a single call to the model. This entails an unwelcome degree of opacity and compromises performance, especially on problems that are inherently multi-step. To address these limitations, we show how LMs can be made to perform faithful multi-step reasoning via a process whose causal structure mirrors the underlying logical structure of the problem. Our approach works by chaining together reasoning steps, where each step results from calls to two fine-tuned LMs, one for selection and one for inference, to produce a valid reasoning trace. Our method carries out a beam search through the space of reasoning traces to improve reasoning quality. We demonstrate the effectiveness of our model on multi-step logical deduction and scientific question-answering, showing that it outperforms baselines on final answer accuracy, and generates humanly interpretable reasoning traces whose validity can be checked by the user.


title: Evolution of the flow field in decaying active regions II. Converging flows at the periphery of naked spots

abstract: In a previous work, we investigated the evolution of the flow field around sunspots during sunspot decay and compared it with the flow field of supergranular cells. The decay of a sunspot proceeds as it interacts with its surroundings. This is manifested by the changes observed in the flow field surrounding the decaying spot. We now investigate in detail the evolution of the flow field in the direct periphery of the sunspots of the same sample and aim to provide a complete picture of the role of large-scale flows present in sunspot cells. We analyse the horizontal velocity profiles of sunspots obtained from observations by the Helioseismic and Magnetic Imager (HMI) on board the Solar Dynamics Observatory (SDO). We follow their evolution across the solar disc from their stable phase to their decay and their final disappearance. We find two different scenarios for the evolution of the flow region surrounding a spot in the final stage of its decay: (i) either the flow cell implodes and disappears under the action of the surrounding supergranules or (ii) it outlives the spot. In the later case, an inwards flow towards the remaining naked spot develops in the vicinity closest to the spot followed by an outflow further out. These findings provide observational evidence to theoretical predictions by realistic magnetohydrodynamic (MHD) sunspot and moat region simulations. The Evershed flow and the moat flow, both connected to the presence of fully fledged sunspots in a spot cell, vanish when penumbrae decay. Moat flows decline into supergranular flows. The final fate of a spot cell depends on its interaction with the surrounding supergranular cells. In the case of non-imploding spot cells, the remaining naked spot develops a converging inflow driven by radiative cooling and a geometrical alignment of granules in its periphery which is similar to that observed in pores.


title: Tensor-Train Thermo-Field Memory Kernels for Generalized Quantum Master Equations

abstract: The generalized quantum master equation (GQME) approach provides a rigorous framework for deriving the exact equation of motion for any subset of electronic reduced density matrix elements (e.g., the diagonal elements). In the context of electronic dynamics, the memory kernel and inhomogeneous term of the GQME introduce the implicit coupling to nuclear motion or dynamics of electronic density matrix elements that are projected out (e.g., the off-diagonal elements), allowing for efficient quantum dynamics simulations. Here, we focus on benchmark quantum simulations of electronic dynamics in a spin-boson model system described by various types of GQMEs. Exact memory kernels and inhomogeneous terms are obtained from short-time quantum-mechanically exact tensor-train thermo-field dynamics (TT-TFD) simulations. The TT-TFD memory kernels provide insights on the main sources of inaccuracies of GQME approaches when combined with approximate input methods and pave the road for development of quantum circuits that could implement GQMEs on digital quantum computers.


title: Nonlocal Lagrange multipliers and transport densities

abstract: We prove the existence of generalised solutions of the Monge-Kantorovich equations with fractional $s$-gradient constraint, $0<s<1$, associated to a general, possibly degenerate, linear fractional operator of the type, \begin{equation*} \mathscr L^su=-D^s\cdot(AD^su+\bs b\,u)+\bs d\cdot D^su+c\,u , \end{equation*} with integrable data, in the space $\Lambda^{s,p}_0(\Omega)$, which is the completion of the set of smooth functions with compact support in a bounded domain $\Omega$ for the $L^p$-norm of the distributional Riesz fractional gradient $D^s$ in $\R^d$ (when $s=1$, $D^1=D$ is the classical gradient). The transport densities arise as generalised Lagrange multipliers in the dual space of $L^\infty(\R^d)$ and are associated to the variational inequalities of the corresponding transport potentials under the constraint $|D^su|\leq g$. Their existence is shown by approximating the variational inequality through a penalisation of the constraint and nonlinear regularisation of the linear operator $\mathscr L^su$. For this purpose, we also develop some relevant properties of the spaces $\Lambda^{s,p}_0(\Omega)$, including the limit case $p=\infty$ and the continuous embeddings $\Lambda^{s,q}_0(\Omega)\subset \Lambda^{s,p}_0(\Omega)$, for $1\le p\le q\le\infty$. We also show the localisation of the nonlocal problems ($0<s<1$), to the local limit problem with classical gradient constraint when $s\rightarrow1$, for which most results are also new for a general, possibly degenerate, partial differential operator $\mathscr L^1u$ only with integrable coefficients and bounded gradient constraint.


title: Long-term variation of population exposure to PM2.5 in Eastern China: A perspective from SDG 11.6.2

abstract: Air pollution (e.g., PM2.5) has a negative effect on human health. Recently, the population-weighted annual mean PM2.5 concentration (PWAM) has been selected as an indicator 11.6.2 in Sustainable Development Goals (SDGs), for various countries to perfrom a long-term monitoring of population exposure to PM2.5 in cities. However, few studies have employed this indicator for a city-level analysis and also in a long-time series (e.g., for decades). To fill this research gap, this study investigates the long-term (2000-2020) variation of population exposure to PM2.5 in Eastern China (including 318 prefecture-level cities). Three categories of open geospatial data (including high-resolution and long-term PM2.5 and population data, and administrative boundary data of cities) are involved for analysis. We found that: 1) A considerable decrease has been observed for the PWAM during 2014-2020. 2) In 2020, the PWAM is for the first time lower than the interim target-1 (35 {\mu}g/m3) defined by the World Health Organization for 214 prefecture-level cities in Eastern China, which accounts for 67% of the total population. The results indicates a considerable improvement of air quality in Eastern China. More important, this study illustrates the feasibility of using open geospatial data to monitor the SDG indicator 11.6.2.


title: BeyondPlanck XI. Bayesian CMB analysis with sample-based end-to-end error propagation

abstract: We present posterior sample-based cosmic microwave background (CMB) constraints from Planck LFI and WMAP observations derived through global end-to-end Bayesian processing. We use these samples to study correlations between CMB, foreground, and instrumental parameters, and we identify a particularly strong degeneracy between CMB temperature fluctuations and free-free emission on intermediate angular scales, which is mitigated through model reduction, masking, and resampling. We compare our posterior-based CMB results with previous Planck products, and find generally good agreement, but with higher noise due to exclusion of HFI data. We find a best-fit CMB dipole amplitude of $3362.7\pm1.4{\mu}K$, in excellent agreement with previous Planck results. The quoted uncertainty is derived directly from the sampled posterior distribution, and does not involve any ad hoc contribution for systematic effects. Similarly, we find a temperature quadrupole amplitude of $\sigma^{TT}_2=229\pm97{\mu}K^2$, in good agreement with previous results in terms of the amplitude, but the uncertainty is an order of magnitude larger than the diagonal Fisher uncertainty. Relatedly, we find lower evidence for a possible alignment between $\ell = 2$ and $\ell = 3$ than previously reported due to a much larger scatter in the individual quadrupole coefficients, caused both by marginalizing over a more complete set of systematic effects, and by our more conservative analysis mask. For higher multipoles, we find that the angular temperature power spectrum is generally in good agreement with both Planck and WMAP. This is the first time the sample-based asymptotically exact Blackwell-Rao estimator has been successfully established for multipoles up to $\ell\le600$, and it now accounts for the majority of the cosmologically important information. Cosmological parameter constraints are presented in a companion paper. (Abriged)


title: Advance quantum image representation and compression using DCTEFRQI approach

abstract: In recent year, quantum image processing got a lot of attention in the field of image processing due to opportunity to place huge image data in quantum Hilbert space. Hilbert space or Euclidean space has infinite dimension to locate and process the image data faster. Moreover, several researches show that, the computational time of quantum process is faster than classical computer. By encoding and compressing the image in quantum domain is still challenging issue. From literature survey, we have proposed a DCTEFRQI (Direct Cosine Transform Efficient Flexible Representation of Quantum Image) algorithm to represent and compress gray image efficiently which save computational time and minimize the complexity of preparation. The objective of this work is to represent and compress various gray image size in quantum computer using DCT(Discrete Cosine Transform) and EFRQI (Efficient Flexible Representation of Quantum Image) approach together. Quirk simulation tool is used to design corresponding quantum image circuit. Due to limitation of qubit, total 16 numbers of qubit are used to represent the gray scale image among those 8 are used to map the coefficient values and the rest 8 are used to generate the corresponding coefficient position. Theoretical analysis and experimental result show that, proposed DCTEFRQI scheme provides better representation and compression compare to DCT-GQIR, DWT-GQIR and DWT-EFRQI in terms of PSNR(Peak Signal to Noise Ratio) and bit rate..


title: Snap buckling of bistable beams under combined mechanical and magnetic loading

abstract: We investigate the mechanics of bistable, hard-magnetic, elastic beams, combining experiments, finite element modeling (FEM), and a reduced-order theory. The beam is made of a hard magneto-rheological elastomer, comprising two segments with antiparallel magnetization along the centerline, and is set into a bistable curved configuration by imposing an end-to-end shortening. Reversible snapping is possible between these two stable states. First, we experimentally characterize the critical field strength for the onset of snapping, at different levels of end-to-end shortening. Second, we perform 3D FEM simulations using the Riks method to analyze high-order deformation modes during snapping. Third, we develop a reduced-order centerline-based beam theory to rationalize the observed magneto-elastic response. The theory and simulations are validated against experiments, with an excellent quantitative agreement. Finally, we consider the case of combined magnetic and mechanical-indentation loading, examining how the applied field affects the bistability and quantifying the maximum load-bearing capacity. Our work provides a set of predictive tools for the rational design of one-dimensional, bistable, magneto-elastic structural elements.


title: Gravitation Wave signal from Asteroid mass Primordial Black Hole Dark Matter

abstract: Primordial Black Holes (PBHs) in the mass range $\sim 10^{17}- 10^{22}$g are currently unconstrained, and can constitute the full Dark Matter (DM) density of the universe. Motivated by this, in the current work, we aim to relate the existence of PBHs in the said mass range to the production of observable Gravitational Waves (GWs) in the upcoming GW detectors. We follow a relatively model-independent approach assuming that the PBHs took birth in a radiation dominated era from enhanced primordial curvature perturbation at small scales produced by inflation. We show that the constraints from CMB and BAO data allow for the possibility of PBHs being the whole of DM density of the universe. Finally, we derive the GW spectrum induced by the enhanced curvature perturbations and show that they are detectable in the future GW detectors like eLISA, BBO and DECIGO.


title: A nonexistence result for rotating mean curvature flows in $\mathbb{R}^{4}$

abstract: Some worrisome potential singularity models for the mean curvature flow are rotating ancient flows, i.e. ancient flows whose tangent flow at $-\infty$ is a cylinder $\mathbb{R}^k\times S^{n-k}$ and that are rotating within the $\mathbb{R}^k$-factor. We note that while the $\mathbb{R}^k$-factor, i.e. the axis of the cylinder, is unique by the fundamental work of Colding-Minicozzi, the uniqueness of tangent flows by itself does not provide any information about rotations within the $\mathbb{R}^k$-factor. In the present paper, we rule out rotating ancient flows among all ancient noncollapsed flows in $\mathbb{R}^4$.


title: Stochastic parametric excitation of convective heat transfer

abstract: We study the parametric excitation of the free thermal convection in a horizontal layer and a rectangular cell by random vertical vibrations. The mathematical formulation we use allows one to explore the cases of heating from below and above and the lowgravity conditions. The excitation threshold of the second moments of the current velocity and the temperature perturbations is derived. The heat flux through the system quantified by the Nusselt number is reported to be related to the second moment of temperature perturbations; therefore, the threshold of the stochastic excitation of second moments gives the threshold for the excitation of the convective heat transfer. Comparison of the stochastic parametric excitation to the effect of high-frequency periodic modulation reveals dramatic dissimilarity between the two.


title: A Timing-Based Framework for Designing Resilient Cyber-Physical Systems under Safety Constraint

abstract: Cyber-physical systems (CPS) are required to satisfy safety constraints in various application domains such as robotics, industrial manufacturing systems, and power systems. Faults and cyber attacks have been shown to cause safety violations, which can damage the system and endanger human lives. Resilient architectures have been proposed to ensure safety of CPS under such faults and attacks via methodologies including redundancy and restarting from safe operating conditions. The existing resilient architectures for CPS utilize different mechanisms to guarantee safety, and currently there is no approach to compare them. Moreover, the analysis and design undertaken for CPS employing one architecture is not readily extendable to another. In this paper, we propose a timing-based framework for CPS employing various resilient architectures and develop a common methodology for safety analysis and computation of control policies and design parameters. Using the insight that the cyber subsystem operates in one out of a finite number of statuses, we first develop a hybrid system model that captures CPS adopting any of these architectures. Based on the hybrid system, we formulate the problem of joint computation of control policies and associated timing parameters for CPS to satisfy a given safety constraint and derive sufficient conditions for the solution. Utilizing the derived conditions, we provide an algorithm to compute control policies and timing parameters relevant to the employed architecture. We also note that our solution can be applied to a wide class of CPS with polynomial dynamics and also allows incorporation of new architectures. We verify our proposed framework by performing a case study on adaptive cruise control of vehicles.


title: On the universal consistency of an over-parametrized deep neural network estimate learned by gradient descent

abstract: Estimation of a multivariate regression function from independent and identically distributed data is considered. An estimate is defined which fits a deep neural network consisting of a large number of fully connected neural networks, which are computed in parallel, via gradient descent to the data. The estimate is over-parametrized in the sense that the number of its parameters is much larger than the sample size. It is shown that in case of a suitable random initialization of the network, a suitable small stepsize of the gradient descent, and a number of gradient descent steps which is slightly larger than the reciprocal of the stepsize of the gradient descent, the estimate is universally consistent in the sense that its expected L2 error converges to zero for all distributions of the data where the response variable is square integrable.


title: Extensive 3D Mapping of Dislocation Structures in Bulk Aluminum

abstract: Thermomechanical processing such as annealing is one of the main methods to tailor the mechanical properties of materials, however, much is unknown about the reorganization of dislocation structures deep inside macroscopic crystals that give rise to those changes. Here, we demonstrate the self-organization of dislocation structures upon high-temperature annealing in a mm-sized single crystal of aluminum. We map a large embedded 3D volume ($100\times300\times300$ $\mu $m$^3$) of dislocation structures using dark field x-ray microscopy (DFXM), a diffraction-based imaging technique. Over the wide field of view, DFXM's high angular resolution allows us to identify subgrains, separated by dislocation boundaries, which we identify and characterize down to the single-dislocation level using computer-vision methods. We demonstrate how even after long annealing times at high temperatures, the remaining low density of dislocations still pack into well-defined, straight dislocation boundaries (DBs) that lie on specific crystallographic planes. In contrast to conventional grain growth models, our results show that the dihedral angles at the triple junctions are not the predicted 120$\degree$, suggesting additional complexities in the boundary stabilization mechanisms. Mapping the local misorientation and lattice strain around these boundaries shows that the observed strain is shear, imparting an average misorientation around the DB of $\approx 0.003-0.006 \degree{}$


title: Time rescaling of nonadiabatic transitions

abstract: Applying time-dependent driving is a basic way of quantum control. Driven systems show various dynamics as its time scale is changed due to the different amount of nonadiabatic transitions. The fast-forward scaling theory enables us to observe slow (or fast) time-scale dynamics during moderate time by applying additional driving. Here we discuss its application to nonadiabatic transitions. We derive mathematical expression of additional driving and also find a formula for calculating it. Moreover, we point out relation between the fast-forward scaling theory for nonadiabatic transitions and shortcuts to adiabaticity by counterdiabatic driving.


title: ANT: Exploiting Adaptive Numerical Data Type for Low-bit Deep Neural Network Quantization

abstract: Quantization is a technique to reduce the computation and memory cost of DNN models, which are getting increasingly large. Existing quantization solutions use fixed-point integer or floating-point types, which have limited benefits, as both require more bits to maintain the accuracy of original models. On the other hand, variable-length quantization uses low-bit quantization for normal values and high-precision for a fraction of outlier values. Even though this line of work brings algorithmic benefits, it also introduces significant hardware overheads due to variable-length encoding and decoding. In this work, we propose a fixed-length adaptive numerical data type called ANT to achieve low-bit quantization with tiny hardware overheads. Our data type ANT leverages two key innovations to exploit the intra-tensor and inter-tensor adaptive opportunities in DNN models. First, we propose a particular data type, flint, that combines the advantages of float and int for adapting to the importance of different values within a tensor. Second, we propose an adaptive framework that selects the best type for each tensor according to its distribution characteristics. We design a unified processing element architecture for ANT and show its ease of integration with existing DNN accelerators. Our design results in 2.8$\times$ speedup and 2.5$\times$ energy efficiency improvement over the state-of-the-art quantization accelerators.


title: On the exponent of cyclic codes

abstract: We propose an algorithm to find a lower bound for the number of cyclic codes over any finite field with any given exponent. Besides, we give a formula to find the exponent of BCH codes.


title: 6IMPOSE: Bridging the Reality Gap in 6D Pose Estimation for Robotic Grasping

abstract: 6D pose recognition has been a crucial factor in the success of robotic grasping, and recent deep learning based approaches have achieved remarkable results on benchmarks. However, their generalization capabilities in real-world applications remain unclear. To overcome this gap, we introduce 6IMPOSE, a novel framework for sim-to-real data generation and 6D pose estimation. 6IMPOSE consists of four modules: First, a data generation pipeline that employs the 3D software suite Blender to create synthetic RGBD image datasets with 6D pose annotations. Second, an annotated RGBD dataset of five household objects generated using the proposed pipeline. Third, a real-time two-stage 6D pose estimation approach that integrates the object detector YOLO-V4 and a streamlined, real-time version of the 6D pose estimation algorithm PVN3D optimized for time-sensitive robotics applications. Fourth, a codebase designed to facilitate the integration of the vision system into a robotic grasping experiment. Our approach demonstrates the efficient generation of large amounts of photo-realistic RGBD images and the successful transfer of the trained inference model to robotic grasping experiments, achieving an overall success rate of 87% in grasping five different household objects from cluttered backgrounds under varying lighting conditions. This is made possible by the fine-tuning of data generation and domain randomization techniques, and the optimization of the inference pipeline, overcoming the generalization and performance shortcomings of the original PVN3D algorithm. Finally, we make the code, synthetic dataset, and all the pretrained models available on Github.


title: Proximity induced superconductivity in a topological insulator

abstract: Interfacing a topological insulator (TI) with an $s$-wave superconductor (SC) is a promising material platform that offers the possibility to realize a topological superconductor through which Majorana-based topologically protected qubits can be engineered. In our computational study of the prototypical SC/TI interface between Nb and Bi$_2$Te$_3$, we identify the benefits and possible bottlenecks of this potential Majorana material platform. Bringing Nb in contact with the TI film induces charge doping from the SC to the TI, which shifts the Fermi level into the TI conduction band. For thick TI films, this results in band bending leading to the population of trivial TI quantum-well states at the interface. In the superconducting state, we uncover that the topological surface state experiences a sizable superconducting gap-opening at the SC/TI interface, which is furthermore robust against fluctuations of the Fermi energy. We also show that the trivial interface state is only marginally proximitized, potentially obstructing the realization of Majorana-based qubits in this material platform.


title: Model-based Fault Classification for Automotive Software

abstract: Intensive testing using model-based approaches is the standard way of demonstrating the correctness of automotive software. Unfortunately, state-of-the-art techniques leave a crucial and labor intensive task to the test engineer: identifying bugs in failing tests. Our contribution is a model-based classification algorithm for failing tests that assists the engineer when identifying bugs. It consists of three steps. (i) Fault localization replays the test on the model to identify the moment when the two diverge. (ii) Fault explanation then computes the reason for the divergence. The reason is a subset of actions from the test that is sufficient for divergence. (iii) Fault classification groups together tests that fail for similar reasons. Our approach relies on machinery from formal methods: (i) symbolic execution, (ii) Hoare logic and a new relationship between the intermediary assertions constructed for a test, and (iii) a new relationship among Hoare proofs. A crucial aspect in automotive software is timing requirements, for which we develop appropriate Hoare logic theory. We also briefly report on our prototype implementation for the CAN bus Unified Diagnostic Services in an industrial project.


title: Relationships Between the Bergman Kernels of Hartogs Domains and Their Base

abstract: We explore the relationship between the Bergman kernel of a Hartogs domain and weighted Bergman kernels over its base domain. In particular we develop a representation of the Bergman kernel of a Hartogs domain as a series involving weighted Bergman kernels over its base, as well as a "transformation" formula for some weighted Bergman kernels. Other relationships of this type are presented.


title: High-Order Schemes of Exponential Time Differencing for Stiff Systems with Nondiagonal Linear Part

abstract: Exponential time differencing methods is a power toll for high-performance numerical simulation of computationally challenging problems in condensed matter and chemical physics, where mathematical models often possess fast oscillating or decaying modes -- in other words, are stiff systems. Practical implementation of these methods for the systems with nondiagonal linear part of equations is exacerbated by infeasibility of an analytical calculation of the exponential of a nondiagonal linear operator; in this case, the coefficients of the exponential time differencing scheme cannot be calculated analytically. We suggest an approach, where these coefficients are numerically calculated with auxiliary problems. We rewrite the high-order Runge--Kutta type schemes in terms of the solutions to these auxiliary problems and practically examine the accuracy and computational performance of these methods for a heterogeneous Cahn--Hilliard equation and a sixth-order spatial derivative equation governing pattern formation in the presence of an additional conservation law.


title: BeyondPlanck X. Planck LFI frequency maps with sample-based error propagation

abstract: We present Planck LFI frequency sky maps derived within the BeyondPlanck framework. This framework draws samples from a global posterior distribution that includes instrumental, astrophysical and cosmological parameters, and the main product is an entire ensemble of frequency sky map samples. This ensemble allows for computationally convenient end-to-end propagation of low-level instrumental uncertainties into higher-level science products. We show that the two dominant sources of LFI instrumental systematic uncertainties are correlated noise and gain fluctuations, and the products presented here support - for the first time - full Bayesian error propagation for these effects at full angular resolution. We compare our posterior mean maps with traditional frequency maps delivered by the Planck collaboration, and find generally good agreement. The most important quality improvement is due to significantly lower calibration uncertainties in the new processing, as we find a fractional absolute calibration uncertainty at 70 GHz of $\delta g_{0}/g_{0} =5 \cdot 10^{-5}$, which is nominally 40 times smaller than that reported by Planck 2018. However, the original Planck 2018 estimate has a non-trivial statistical interpretation, and this further illustrates the advantage of the new framework in terms of producing self-consistent and well-defined error estimates of all involved quantities without the need of ad hoc uncertainty contributions. We describe how low-resolution data products, including dense pixel-pixel covariance matrices, may be produced directly from the posterior samples without the need for computationally expensive analytic calculations or simulations. We conclude that posterior-based frequency map sampling provides unique capabilities in terms of low-level systematics modelling and error propagation, and may play an important role for future CMB B-mode experiments. (Abridged.)


title: Coarse Retinal Lesion Annotations Refinement via Prototypical Learning

abstract: Deep-learning-based approaches for retinal lesion segmentation often require an abundant amount of precise pixel-wise annotated data. However, coarse annotations such as circles or ellipses for outlining the lesion area can be six times more efficient than pixel-level annotation. Therefore, this paper proposes an annotation refinement network to convert a coarse annotation into a pixel-level segmentation mask. Our main novelty is the application of the prototype learning paradigm to enhance the generalization ability across different datasets or types of lesions. We also introduce a prototype weighing module to handle challenging cases where the lesion is overly small. The proposed method was trained on the publicly available IDRiD dataset and then generalized to the public DDR and our real-world private datasets. Experiments show that our approach substantially improved the initial coarse mask and outperformed the non-prototypical baseline by a large margin. Moreover, we demonstrate the usefulness of the prototype weighing module in both cross-dataset and cross-class settings.


title: PanorAMS: Automatic Annotation for Detecting Objects in Urban Context

abstract: Large collections of geo-referenced panoramic images are freely available for cities across the globe, as well as detailed maps with location and meta-data on a great variety of urban objects. They provide a potentially rich source of information on urban objects, but manual annotation for object detection is costly, laborious and difficult. Can we utilize such multimedia sources to automatically annotate street level images as an inexpensive alternative to manual labeling? With the PanorAMS framework we introduce a method to automatically generate bounding box annotations for panoramic images based on urban context information. Following this method, we acquire large-scale, albeit noisy, annotations for an urban dataset solely from open data sources in a fast and automatic manner. The dataset covers the City of Amsterdam and includes over 14 million noisy bounding box annotations of 22 object categories present in 771,299 panoramic images. For many objects further fine-grained information is available, obtained from geospatial meta-data, such as building value, function and average surface area. Such information would have been difficult, if not impossible, to acquire via manual labeling based on the image alone. For detailed evaluation, we introduce an efficient crowdsourcing protocol for bounding box annotations in panoramic images, which we deploy to acquire 147,075 ground-truth object annotations for a subset of 7,348 images, the PanorAMS-clean dataset. For our PanorAMS-noisy dataset, we provide an extensive analysis of the noise and how different types of noise affect image classification and object detection performance. We make both datasets, PanorAMS-noisy and PanorAMS-clean, benchmarks and tools presented in this paper openly available.


title: Features of Molecular Structure Beneficial for Optical Pumping

abstract: Fast and efficient state preparation of molecules can be accomplished by optical pumping. Molecular structure that most obviously facilitates cycling involves a strong electronic transition, with favorable vibrational branching (diagonal Franck-Condon factors, aka FCFs) and without any intervening electronic states. Here, we propose important adjustments to those criteria, based on our experience optically pumping SiO$^+$. Specifically, the preference for no intervening electronic states should be revised, and over-reliance on FCFs can miss important features. The intervening electronic state in SiO$^+$is actually found to be beneficial in ground rotational state preparation, by providing a pathway for population to undergo a parity flip. This contribution demonstrates the possibility that decay through intervening states may help state preparation of non-diagonal or polyatomic molecules. We also expand upon the definition of favorable branching. In SiO$^+$, we find that the off-diagonal FCFs fail to reflect the vibrational heating versus cooling rates. Since the branching rates are determined by transition dipole moments (TDMs) we introduce a simple model to approximate the TDMs for off-diagonal decays. We find that two terms, set primarily by the slope of the dipole moment function ($d\mu/dx$) and offset in equilibrium bond lengths ($\Delta x = r_e^g-r_e^e$), can add (subtract) to increase (decrease) the magnitude of a given TDM. Applying the model to SiO$^+$, we find there is a fortuitous cancellation, where decay leading to vibrational excitation is reduced, causing optical cycling to lead naturally to vibrational cooling.


title: Partonic Critical Opalescence and Its Impact on the Jet Quenching Parameter $\hat{q}$

abstract: Jet quenching parameter $\hat{q}$ is essential for characterizing the interaction strength between jet partons and nuclear matter. Based on the quark-meson (QM) model, we develop a new framework for calculating $\hat{q}$ at finite chemical potentials, in which $\hat{q}$ is related to the spectral function of the chiral order parameter. A perturbative calculation up to the one-loop order indicates that the momentum broadening of jets is enhanced at both the high temperature and high chemical potential, and approximately proportional to the parton number density in the partonic phase. We further investigate the behavior of $\hat{q}$ in the vicinity of the critical endpoint (CEP) by coupling our calculation with a recently developed equation of state that includes a CEP in the universality class of the Ising model, from which we discover the partonic critical opalescence (PCO) -- a prominent enhancement of the momentum broadening of jets near CEP, contributed by the scatterings via the $\sigma$ exchange process. Hence, for the first time, jet quenching is connected with the search of CEP.


title: Spaces of states of the two-dimensional O(n) and Potts models

abstract: We determine the spaces of states of the two-dimensional $O(n)$ and $Q$-state Potts models with generic parameters $n,Q\in \mathbb{C}$ as representations of their known symmetry algebras. While the relevant representations of the conformal algebra were recently worked out, it remained to determine the action of the global symmetry groups: the orthogonal group for the $O(n)$ model, and the symmetric group $S_Q$ for the $Q$-state Potts model. We do this by two independent methods. First we compute the twisted torus partition functions of the models at criticality. The twist in question is the insertion of a group element along one cycle of the torus: this breaks modular invariance, but allows the partition function to have a unique decomposition into characters of irreducible representations of the global symmetry group. Our second method reduces the problem to determining branching rules of certain diagram algebras. For the $O(n)$ model, we decompose representations of the Brauer algebra into representations of its unoriented Jones--Temperley--Lieb subalgebra. For the $Q$-state Potts model, we decompose representations of the partition algebra into representations of the appropriate subalgebra. We find explicit expressions for these decompositions as sums over certain sets of diagrams, and over standard Young tableaux. We check that both methods agree in many cases. Moreover, our spaces of states are consistent with recent bootstrap results on four-point functions of the corresponding CFTs.


title: Fine properties of geodesics and geodesic $\lambda$-convexity for the Hellinger-Kantorovich distance

abstract: We study the fine regularity properties of optimal potentials for the dual formulation of the Hellinger--Kantorovich problem (HK), providing sufficient conditions for the solvability of the primal Monge formulation. We also establish new regularity properties for the solution of the Hamilton--Jacobi equation arising in the dual dynamic formulation of HK, which are sufficiently strong to construct a characteristic transport-dilation flow driving the geodesic interpolation between two arbitrary positive measures. These results are applied to study relevant geometric properties of HK geodesics and to derive the convex behaviour of their Lebesgue density along the transport flow. Finally, exact conditions for functionals defined on the space of measures are derived that guarantee the geodesic $\lambda$-convexity with respect to the Hellinger--Kantorovich distance. Examples of geodesically convex functionals are provided.


title: Results on high energy galactic cosmic rays from the DAMPE space mission

abstract: DAMPE (Dark Matter Particle Explorer) is a satellite-born experiment launched in 2015 in a sun-synchronous orbit at 500 km altitude, and it has been taking data in stable conditions ever since. Its main goals include the spectral measurements up to very high energies, cosmic electrons/positrons and gamma rays up to tens of TeV, and protons and nuclei up to hundreds of TeV. The detector's main features include the 32 radiation lengths deep calorimeter and large geometric acceptance, making DAMPE one of the most powerful space instruments in operation, covering with high statistics and small systematics the high energy frontier up to several hundreds TeV. The results of spectral measurements of different species are shown and discussed.


title: Reynolds Stress Anisotropy Tensor Predictions for Turbulent Channel Flow using Neural Networks

abstract: The Reynolds-Averaged Navier-Stokes (RANS) approach remains a backbone for turbulence modeling due to its high cost-effectiveness. Its accuracy is largely based on a reliable Reynolds stress anisotropy tensor closure model. There has been an amount of work aiming at improving traditional closure models, while they are still not satisfactory to some complex flow configurations. In recent years, advances in computing power have opened up a new way to address this problem: the machine-learning-assisted turbulence modeling. In this paper, we employ neural networks to fully predict the Reynolds stress anisotropy tensor of turbulent channel flows at different friction Reynolds numbers, for both interpolation and extrapolation scenarios. Several generic neural networks of Multi-Layer Perceptron (MLP) type are trained with different input feature combinations to acquire a complete grasp of the role of each parameter. The best performance is yielded by the model with the dimensionless mean streamwise velocity gradient $\alpha$, the dimensionless wall distance $y^+$ and the friction Reynolds number $\mathrm{Re}_\tau$ as inputs. A deeper theoretical insight into the Tensor Basis Neural Network (TBNN) clarifies some remaining ambiguities found in the literature concerning its application of Pope's general eddy viscosity model. We emphasize the sensitivity of the TBNN on the constant tensor $\textbf{T}^{*(0)}$ upon the turbulent channel flow data set, and newly propose a generalized $\textbf{T}^{*(0)}$, which considerably enhances its performance. Through comparison between the MLP and the augmented TBNN model with both $\{\alpha, y^+, \mathrm{Re}_\tau\}$ as input set, it is concluded that the former outperforms the latter and provides excellent interpolation and extrapolation predictions of the Reynolds stress anisotropy tensor in the specific case of turbulent channel flow.


title: A Black-Box Attack on Optical Character Recognition Systems

abstract: Adversarial machine learning is an emerging area showing the vulnerability of deep learning models. Exploring attack methods to challenge state of the art artificial intelligence (A.I.) models is an area of critical concern. The reliability and robustness of such A.I. models are one of the major concerns with an increasing number of effective adversarial attack methods. Classification tasks are a major vulnerable area for adversarial attacks. The majority of attack strategies are developed for colored or gray-scaled images. Consequently, adversarial attacks on binary image recognition systems have not been sufficiently studied. Binary images are simple two possible pixel-valued signals with a single channel. The simplicity of binary images has a significant advantage compared to colored and gray scaled images, namely computation efficiency. Moreover, most optical character recognition systems (O.C.R.s), such as handwritten character recognition, plate number identification, and bank check recognition systems, use binary images or binarization in their processing steps. In this paper, we propose a simple yet efficient attack method, Efficient Combinatorial Black-box Adversarial Attack, on binary image classifiers. We validate the efficiency of the attack technique on two different data sets and three classification networks, demonstrating its performance. Furthermore, we compare our proposed method with state-of-the-art methods regarding advantages and disadvantages as well as applicability.


title: DLDNN: Deterministic Lateral Displacement Design Automation by Neural Networks

abstract: Size-based separation of bioparticles/cells is crucial to a variety of biomedical processing steps for applications such as exosomes and DNA isolation. Design and improvement of such microfluidic devices is a challenge to best answer the demand for producing homogeneous end-result for study and use. Deterministic lateral displacement (DLD) exploits a similar principle that has drawn extensive attention over years. However, the lack of predictive understanding of the particle trajectory and its induced mode makes designing a DLD device an iterative procedure. Therefore, this paper investigates a fast versatile design automation platform to address this issue. To do so, convolutional and artificial neural networks were employed to learn velocity fields and critical diameters of a wide range of DLD configurations. Later, these networks were combined with a multi-objective evolutionary algorithm to construct the automation tool. After ensuring the accuracy of the neural networks, the developed tool was tested for 12 critical conditions. Reaching the imposed conditions, the automation components performed reliably with errors of less than 4%. Moreover, this tool is generalizable to other field-based problems and since the neural network is an integral part of this method, it enables transfer learning for similar physics. All the codes generated and used in this study alongside the pre-trained neural network models are available on https://github.com/HoseynAAmiri/DLDNN.


title: Approximation Algorithms for Drone Delivery Packing Problem

abstract: Recent advancements in unmanned aerial vehicles, also known as drones, have motivated logistics to use drones for multiple operations. Collaboration between drones and trucks in a last-mile delivery system has numerous benefits and reduces a number of challenges. In this paper, we introduce \textit{drone-delivery packing problem} (DDP), where we have a set of deliveries and respective customers with their prescribed locations, delivery time intervals, associated cost for deliveries, and a set of drones with identical battery budgets. The objective of the DDP is to find an assignment for all deliveries to the drones by using the minimum number of drones subject to the battery budget and compatibility of the assignment of each drone. We prove that DDP is NP-Hard and formulate the integer linear programming (ILP) formulation for it. We proposed two greedy approximation algorithms for DDP. The first algorithm uses at most $2OPT + (\Delta + 1)$ drones. The second algorithm uses at most $2OPT + \omega$ drones, where OPT is the optimum solution for DDP, $\omega$ is the maximum clique size, and $\Delta$ is the maximum degree of the interval graph $G$ constructed from the delivery time intervals.


title: Realization of an advanced super-mirror solid-state neutron polarizer for the instrument PF1B at the Institut Laue-Langevin

abstract: In this last of a series of three papers on the development of an advanced solid-state neutron polarizer, we present the final construction of the polarizer and the results of its commissioning. The polarizer uses spin-selective reflection of neutrons by interfaces coated with polarizing super-mirrors. The polarizer is built entirely in-house for the PF1B cold neutron beam facility at the Institut Max von Laue - Paul Langevin (ILL). It has been installed in the PF1B casemate and tested at real conditions. The average transmission for the "good" spin component is measured to be >30 %. The polarization averaged over the capture spectrum reaches a record value of Pn ~ 0.997 for the full angular divergence in the neutron beam, delivered by the H113 neutron guide, and the full wavelength band lambda of 0.3-2.0 nm. This unprecedented performance is due to a series of innovations in the design and fabrication in the following domains: choice of the substrate material, super-mirror and anti-reflecting multilayer coatings, magnetizing field, assembling process. The polarizer is used for user experiments at PF1B since the last reactor cycle in 2020.


title: On electric fields in hot QCD: perturbation theory

abstract: We investigate the response of a hot gas of quarks to external electric fields via leading-order perturbation theory. In particular, we discuss how equilibrium is maintained in the presence of the electric field and calculate the electric susceptibility, providing its high-temperature expansion for arbitrary quark mass. Furthermore, we point out that there is a mismatch between this, direct determination of the susceptibility at zero field and the weak-field expansion of the effective action at nonzero electric fields, as obtained using Schwinger's exact propagator. We discuss the origin of this mismatch and elaborate on the generalization of our results to full QCD in electric fields.


title: Beyond Supervised Continual Learning: a Review

abstract: Continual Learning (CL, sometimes also termed incremental learning) is a flavor of machine learning where the usual assumption of stationary data distribution is relaxed or omitted. When naively applying, e.g., DNNs in CL problems, changes in the data distribution can cause the so-called catastrophic forgetting (CF) effect: an abrupt loss of previous knowledge. Although many significant contributions to enabling CL have been made in recent years, most works address supervised (classification) problems. This article reviews literature that study CL in other settings, such as learning with reduced supervision, fully unsupervised learning, and reinforcement learning. Besides proposing a simple schema for classifying CL approaches w.r.t. their level of autonomy and supervision, we discuss the specific challenges associated with each setting and the potential contributions to the field of CL in general.


title: A novel Cherenkov radiation constraint for hybrid MOND dark matter models

abstract: Modified gravity models often contain modes that couple to normal matter and propagate with slightly less than the speed of light. High-energy cosmic rays then lose energy due to Cherenkov radiation, which constrains such models. This is also true for some MOND (Modified Newtonian Dynamics) models. However, these constraints are difficult to make precise because MOND is inherently non-linear and because the results may depend on the specific high-acceleration behavior of these models, i.e. the behavior outside the MOND regime. Recently, various hybrid MOND dark matter models were proposed, where cold dark matter (CDM) phenomenology on cosmological scales and MOND phenomenology on galactic scales share a common origin. Such models typically contain a mode that is directly coupled to matter (for MOND), but with non-relativistic sound speed (for CDM). Thus, even non-relativistic objects like stars can emit gravitational Cherenkov radiation. We calculate a lower bound on the associated energy loss. We use a controlled approximation that depends only on the MOND regime of these models. We apply our results to three concrete models: For the original superfluid dark matter model (SFDM), we rule out a part of the parameter space, including the most commonly used parameters. For two-field SFDM, we find no constraint since the matter coupling of the relevant mode is suppressed by mixing. For the recently-proposed model by Skordis and Z{\l}o\'snik, we find no constraint since the matter coupling is suppressed in non-static situations.


title: Simpler and efficient characterizations of tree t-spanners for graphs with few P4's and (k, l)-graphs

abstract: A tree $t$-spanner of a graph $G$ is a spanning tree $T$ in which the distance between any two adjacent vertices of $G$ is at most $t$. The smallest $t$ for which $G$ has a tree $t$-spanner is called tree stretch index. The $t$-admissibility problem aims to decide whether the tree stretch index is at most $t$. Regarding its optimization version, the smallest $t$ for which $G$ is $t$-admissible is the stretch index of $G$, denoted by $\sigma_T(G)$. Given a graph with $n$ vertices and $m$ edges, the recognition of $2$-admissible graphs can be done $O(n+m)$ time, whereas $t$-admissibility is NP-complete for $\sigma_T(G) \leq t$, $t \geq 4$ and deciding if $t = 3$ is an open problem, for more than 20 years. Since the structural knowledge of classes can be determinant to classify $3$-admissibility's complexity, in this paper we present simpler and faster algorithms to check $2$ and $3$-admissibility for families of graphs with few $P_4$'s and $(k,\ell)$-graphs. Regarding $(0,\ell)$-graphs, we present lower and upper bounds for the stretch index of these graphs and characterize graphs whose stretch indexes are equal to the proposed upper bound. Moreover, we prove that $t$-admissibility is NP-complete even for line graphs of subdivided graphs.


title: Correlations and energy in mediated dynamics

abstract: The minimum time required for a quantum system to evolve to a distinguishable state is set by the quantum speed limit, and consequently influences the change of quantum correlations and other physical properties. Here we study the time required to maximally entangle two principal systems interacting either directly or via a mediating ancillary system, under the same energy constraints. The direct interactions are proved to provide the fastest way to entangle the principal systems, but it turns out that there exist mediated dynamics that are just as fast. We show that this can only happen if the mediator is initially correlated with the principal systems. These correlations can be fully classical and can remain classical during the entangling process. The final message is that correlations save energy: one has to supply extra energy if maximal entanglement across the principal systems is to be obtained as fast as with an initially correlated mediator.


title: Modeling Volatility and Dependence of European Carbon and Energy Prices

abstract: We study the prices of European Emission Allowances (EUA), whereby we analyze their uncertainty and dependencies on related energy prices (natural gas, coal, and oil). We propose a probabilistic multivariate conditional time series model with a VECM-Copula-GARCH structure which exploits key characteristics of the data. Data are normalized with respect to inflation and carbon emissions to allow for proper cross-series evaluation. The forecasting performance is evaluated in an extensive rolling-window forecasting study, covering eight years out-of-sample. We discuss our findings for both levels- and log-transformed data, focusing on time-varying correlations, and in view of the Russian invasion of Ukraine.


title: Heisenberg models with minimal number of parameters for two-dimensional magnetic crystals

abstract: In this work we investigated adequacy of the Heisenberg model application to novel two-dimensional magnetic materials, on an example of monolayer CrI3. We introduced the concept of the mean tensor invariant under symmetry operations of the magnetic structure, which allows the number of parameters of the anisotropic tensor Heisenberg model to be significantly reduced, while maintaining the compliance with the results of ab-initio calculations. We derived the expressions for fourth-order corrections to Heisenberg Hamiltonian and to Dzyaloshinskii-Moriya interaction in the form of quartic symmetry invariants with minimal number of parameters. We tested the physical adequacy of such approach in the case of monolayer CrI3, utilizing an alternative to four-states energy mapping -- the all-parameters least square fit.


title: Quotient singularities in the Grothendieck ring of varieties

abstract: Let $G$ be a finite group, $X$ be a smooth complex projective variety with a faithful $G$-action, and $Y$ be a resolution of singularities of $X/G$. Larsen and Lunts asked whether $[X/G]-[Y]$ is divisible by $[\mathbb{A}^1]$ in the Grothendieck ring of varieties. We show that the answer is negative if $BG$ is not stably rational and affirmative if $G$ is abelian. The case when $X=Z^n$ for some smooth projective variety $Z$ and $G=S_n$ acts by permutation of the factors is of particular interest. We make progress on it by showing that $[Z^n/S_n]-[Z\langle n\rangle / S_n]$ is divisible by $[\mathbb{A}^1]$, where $Z\langle n\rangle$ is Ulyanov's polydiagonal compactification of the $n$-th configuration space of $Z$.


title: Cardinal Optimizer (COPT) User Guide

abstract: Cardinal Optimizer is a high-performance mathematical programming solver for efficiently solving largescale optimization problem. This documentation provides basic introduction to the Cardinal Optimizer.


title: Sorting Genomes by Prefix Double-Cut-and-Joins

abstract: In this paper, we study the problem of sorting unichromosomal linear genomes by prefix double-cut-and-joins (or DCJs) in both the signed and the unsigned settings. Prefix DCJs cut the leftmost segment of a genome and any other segment, and recombine the severed endpoints in one of two possible ways: one of these options corresponds to a prefix reversal, which reverses the order of elements between the two cuts (as well as their signs in the signed case). Depending on whether we consider both options or reversals only, our main results are: (1) new structural lower bounds based on the breakpoint graph for sorting by unsigned prefix reversals, unsigned prefix DCJs, or signed prefix DCJs; (2) a polynomial-time algorithm for sorting by signed prefix DCJs, thus answering an open question in [8]; (3) a 3/2-approximation for sorting by unsigned prefix DCJs, which is, to the best of our knowledge, the first sorting by {\em prefix} rearrangements problem that admits an approximation ratio strictly smaller than 2 (with the obvious exception of the polynomial-time solvable problems); and finally, (4) an FPT algorithm for sorting by unsigned prefix DCJs parameterised by the number of breakpoints in the genome.


title: Compensating for the Absence of a Required Accompanying Person: A Draft of a Functional System Architecture for an Automated Vehicle

abstract: A major challenge in the development of a fully automated vehicle is to enable a large variety of users to use the vehicle independently and safely. Particular demands arise from user groups who rely on human assistance when using conventional cars. For the independent use of a vehicle by such groups, the vehicle must compensate for the absence of an accompanying person, whose actions and decisions ensure the accompanied person's safety even in unknown situations. The resulting requirements cannot be fulfilled only by the geometric design of the vehicle and the nature of its control elements. Special user needs must be taken into account in the entire automation of the vehicle. In this paper, we describe requirements for compensating for the absence of an accompanying person and show how required functions can be located in a hierarchical functional system architecture of an automated vehicle. In addition, we outline the relevance of the vehicle's operational design domain in this context and present a use case for the described functionalities.


title: Probing the Extent of Vertical Mixing in Brown Dwarf Atmospheres with Disequilibrium Chemistry

abstract: Evidence of disequilibrium chemistry due to vertical mixing in the atmospheres of many T and Y-dwarfs has been inferred due to enhanced mixing ratios of CO and reduced NH$_3$. Atmospheric models of planets and brown dwarfs typically parameterize this vertical mixing phenomenon with the vertical eddy diffusion coefficient, $K_{\rm zz}$. While $K_{\rm zz}$ can perhaps be approximated in the convective regions in the atmosphere with mixing length theory, in radiative regions the strength of vertical mixing is uncertain by many orders of magnitude. With a new grid of self-consistent 1D model atmospheres from $T_{\rm eff}$ of 400 - 1000 K, computed with a new radiative-convective equilibrium python code PICASO 3.0, we aim to assess how molecular abundances and corresponding spectra can be used as a probe of depth-dependent $K_{\rm zz}$. At a given surface gravity, we find non-monotonic behavior in the CO abundance as a function of $T_{\rm eff}$, as chemical abundances are sometimes quenched in either of two potential atmospheric convective zones, or quenched in either of two possible radiative zones. The temperature structure and chemical quenching behavior also changes with gravity. We compare our models with available near-infrared and M-band spectroscopy of several T and Y-dwarfs and assess their atmospheric vertical mixing profiles. We also compare to color-magnitude diagrams and make predictions for JWST spectra. This work yields new constraints, and points the way to significant future gains, in determining $K_{\rm zz}$, a fundamental atmospheric parameter in substellar atmospheres, with significant implications for chemistry and cloud modeling.


title: Convergence Rates of Training Deep Neural Networks via Alternating Minimization Methods

abstract: Training deep neural networks (DNNs) is an important and challenging optimization problem in machine learning due to its non-convexity and non-separable structure. The alternating minimization (AM) approaches split the composition structure of DNNs and have drawn great interest in the deep learning and optimization communities. In this paper, we propose a unified framework for analyzing the convergence rate of AM-type network training methods. Our analysis is based on the non-monotone $j$-step sufficient decrease conditions and the Kurdyka-Lojasiewicz (KL) property, which relaxes the requirement of designing descent algorithms. We show the detailed local convergence rate if the KL exponent $\theta$ varies in $[0,1)$. Moreover, the local R-linear convergence is discussed under a stronger $j$-step sufficient decrease condition.


title: Representation Learning based and Interpretable Reactor System Diagnosis Using Denoising Padded Autoencoder

abstract: With the mass construction of Gen III nuclear reactors, it is a popular trend to use deep learning (DL) techniques for fast and effective diagnosis of possible accidents. To overcome the common problems of previous work in diagnosing reactor accidents using deep learning theory, this paper proposes a diagnostic process that ensures robustness to noisy and crippled data and is interpretable. First, a novel Denoising Padded Autoencoder (DPAE) is proposed for representation extraction of monitoring data, with representation extractor still effective on disturbed data with signal-to-noise ratios up to 25.0 and monitoring data missing up to 40.0%. Secondly, a diagnostic framework using DPAE encoder for extraction of representations followed by shallow statistical learning algorithms is proposed, and such stepwise diagnostic approach is tested on disturbed datasets with 41.8% and 80.8% higher classification and regression task evaluation metrics, in comparison with the end-to-end diagnostic approaches. Finally, a hierarchical interpretation algorithm using SHAP and feature ablation is presented to analyze the importance of the input monitoring parameters and validate the effectiveness of the high importance parameters. The outcomes of this study provide a referential method for building robust and interpretable intelligent reactor anomaly diagnosis systems in scenarios with high safety requirements.


title: Expanding Fireball in Magnetar Bursts and Fast Radio Bursts

abstract: A fireball of radiation plasma created near the surface of a neutron star (NS) expands under its own pressure along magnetic field lines, and produces photon emission and relativistic matter outflow. We comprehensively classify the expanding fireball evolution into five cases and obtain the photospheric luminosity and the kinetic energy of the outflow, taking into account key processes; lateral diffusion of photons escaping from a magnetic flux tube, effects of strong magnetic field, baryon loading from the NS surface, and radiative acceleration via cyclotron resonant scattering, some of which have not been considered in the context of gamma-ray bursts. Applying our model to magnetar bursts with fast radio bursts (FRBs), in particular the X-ray short bursts from SGR 1935+2154 associated with the Galactic FRB 20200428A, we show that the burst radiation can accelerate the outflow to high Lorentz factor with sufficient energy to power FRBs.


title: Ionization waves (striations) in low-current DC discharges in noble gases obtained with a hybrid kinetic-fluid model

abstract: A hybrid kinetic-fluid model is used to study ionization waves (striations) in a low-current plasma column of DC discharges in noble gases. Coupled solutions of a kinetic equation for electrons, a drift-diffusion equation of ions, and a Poisson equation for the electric field are obtained to clarify the nature of plasma stratification in the positive column and near-electrode effects. A simplified two-level excitation-ionization model is used for the conditions when the nonlinear effects due to stepwise ionization, gas heating, and Coulomb interactions among electrons are negligible. It is confirmed that the nonlocal effects are responsible for the formation of moving striations in DC discharges at low plasma densities. The calculated properties of self-excited waves of S, P, and R types in Neon and S type in Argon agree with available experimental data. The reason for Helium plasma stability to stratification is clarified. It is shown that sustaining stratified plasma is more efficient than striation-free plasma when the ionization rate is a nonlinear function of the electric field. However, the nonlinear dependence of the ionization rate on the electric field is not required for plasma stratification. Striations of S, P, and R types in Neon exist with minimal or no ionization enhancement. Effects of the column length on the wave properties have been demonstrated in our simulations.


title: Learning Representations for Hyper-Relational Knowledge Graphs

abstract: Knowledge graphs (KGs) have gained prominence for their ability to learn representations for uni-relational facts. Recently, research has focused on modeling hyper-relational facts, which move beyond the restriction of uni-relational facts and allow us to represent more complex and real-world information. However, existing approaches for learning representations on hyper-relational KGs majorly focus on enhancing the communication from qualifiers to base triples while overlooking the flow of information from base triple to qualifiers. This can lead to suboptimal qualifier representations, especially when a large amount of qualifiers are presented. It motivates us to design a framework that utilizes multiple aggregators to learn representations for hyper-relational facts: one from the perspective of the base triple and the other one from the perspective of the qualifiers. Experiments demonstrate the effectiveness of our framework for hyper-relational knowledge graph completion across multiple datasets. Furthermore, we conduct an ablation study that validates the importance of the various components in our framework. The code to reproduce our results can be found at \url{https://github.com/HarryShomer/QUAD}.


title: Towards 20 T Hybrid Accelerator Dipole Magnets

abstract: The most effective way to achieve very high collision energies in a circular particle accelerator is to maximize the field strength of the main bending dipoles. In dipole magnets using Nb-Ti superconductor the practical field limit is considered to be 8-9 T. When Nb3Sn superconductor material is utilized, a field level of 15-16 T can be achieved. To further push the magnetic field beyond the Nb3Sn limits, High Temperature Superconductors (HTS) need to be considered in the magnet design. The most promising HTS materials for particle accelerator magnets are Bi2212 and REBCO. However, their outstanding performance comes with a significantly higher cost. Therefore, an economically viable option towards 20 T dipole magnets could consist in an hybrid solution, where both HTS and Nb3Sn materials are used. We discuss in this paper preliminary conceptual designs of various 20 T hybrid magnet concepts. After the definition of the overall design criteria, the coil dimensions and parameters are investigated with finite element models based on simple sector coils. Preliminary 2D cross-section computation results are then presented and three main layouts compared: cos-theta, block, and common-coil. Both traditional designs and more advanced stress-management options are considered.


title: Theory of photonic crystal polaritons in periodically patterned multilayer waveguides

abstract: We present a formalism for studying the radiation-matter interaction in multilayered dielectric structures with active semiconductor quantum wells patterned with an in-plane periodic lattice. The theory is based on the diagonalization of the generalized Hopfield matrix, and it includes loss channels in a non-Hermitian formulation. Hybrid elementary excitations named photonic crystal polaritons arise in these systems, whose detailed dispersion and loss characteristics are shown to depend on material composition as well as on symmetry properties of the lattice. We show the generality of the approach by calculating polariton dispersions in very diverse material platforms, such as multilayered perovskite-based lattices or inorganic semiconductor heterostructures. As an application of the method, we show how to engineer lossless polariton modes through excitonic coupling to bound states in the continuum at either zero or finite in-plane wavevector, and discuss their topological properties. Detailed comparison with a semiclassical approach based on the scattering matrix method is provided, which allows to interpret the optical spectra in terms of polarization-dependent excitation of the different polariton branches. This work introduces an efficient and invaluably versatile numerical approach to engineer photonic crystal polaritons, with potential applications ranging from low-threshold lasers to symmetry-protected propagating modes of hybrid radiation-matter states.