title: DeepDyve: Dynamic Verification for Deep Neural Networks

abstract: Deep neural networks (DNNs) have become one of the enabling technologies in many safety-critical applications, e.g., autonomous driving and medical image analysis. DNN systems, however, suffer from various kinds of threats, such as adversarial example attacks and fault injection attacks. While there are many defense methods proposed against maliciously crafted inputs, solutions against faults presented in the DNN system itself (e.g., parameters and calculations) are far less explored. In this paper, we develop a novel lightweight fault-tolerant solution for DNN-based systems, namely DeepDyve, which employs pre-trained neural networks that are far simpler and smaller than the original DNN for dynamic verification. The key to enabling such lightweight checking is that the smaller neural network only needs to produce approximate results for the initial task without sacrificing fault coverage much. We develop efficient and effective architecture and task exploration techniques to achieve optimized risk/overhead trade-off in DeepDyve. Experimental results show that DeepDyve can reduce 90% of the risks at around 10% overhead.


title: Maximum and coupling of the sine-Gordon field

abstract: For $0<\beta<6\pi$, we prove that the distribution of the centred maximum of the $\epsilon$-regularised continuum sine-Gordon field on the two-dimensional torus converges to a randomly shifted Gumbel distribution as $\epsilon \to 0$. Our proof relies on a strong coupling at all scales of the sine-Gordon field with the Gaussian free field, of independent interest, and extensions of existing methods for the maximum of the lattice Gaussian free field.


title: Eternalism and Perspectival Realism about the 'Now'

abstract: Eternalism is the view that all times are equally real. The relativity of simultaneity in special relativity backs this up. There is no cosmically extended, self-existing 'now'. This leads to a tricky problem. What makes statements about the present true? I shall approach the problem along the lines of perspectival realism and argue that the choice of the perspective does. To corroborate this point, the Lorentz transformations of special relativity are compared to the structurally similar equations of the Doppler effect. The 'now' is perspectivally real in the same way as a particular electromagnetic spectrum frequency. I also argue that the ontology of time licensed by perspectival realism is more credible in this context than its current alternative, the fragmentalist interpretation of special relativity.


title: A mathematical approach to resilience

abstract: In this paper, we evolve from sparsity, a key concept in robust statistics, to concepts and theoretical results of what we call the mathematics of resilience, at the interface between category theory, the theory of dynamical systems, statistical signal processing and biology. We first summarize a recent result on dynamical systems [Beurier, Pastor, Spivak 2019], before presenting the de-generacy paradigm, issued from biology [Edelman, Gally 1973] and mathematically formalized by [Ehresmann Vanbremeersch 2007] [Ehresmann Vanbremeersch 2019] as the Multiplicity Principle (MP). We then make the connection with statistical signal processing by showing that two distinct and structurally different families of tests satisfy the MP.


title: Flow coefficients in O-O Al-Al and Cu-Cu collisions at 200 GeV in the fusing color string model

abstract: In view of the planning experiments for collisions of light nuclei at RHIC the flow coefficients for O-O, Al-AL and Cu-Cu collisions are studied in the color string percolation model. Our results for $v_2$ are somewhat smaller than predicted by other groups although with the same dependence on centrality. Our obtained $v_3$ lie between predictions of other groups.


title: On Software Implementation of Gabidulin Decoders

abstract: This work compares the performance of software implementations of different Gabidulin decoders. The parameter sets used within the comparison stem from their applications in recently proposed cryptographic schemes. The complexity analysis of the decoders is recalled, counting the occurrence of each operation within the respective decoders. It is shown that knowing the number of operations may be misleading when comparing different algorithms as the run-time of the implementation depends on the instruction set of the device on which the algorithm is executed.


title: Learning Spatio-Appearance Memory Network for High-Performance Visual Tracking

abstract: Existing visual object tracking usually learns a bounding-box based template to match the targets across frames, which cannot accurately learn a pixel-wise representation, thereby being limited in handling severe appearance variations. To address these issues, much effort has been made on segmentation-based tracking, which learns a pixel-wise object-aware template and can achieve higher accuracy than bounding-box template based tracking. However, existing segmentation-based trackers are ineffective in learning the spatio-temporal correspondence across frames due to no use of the rich temporal information. To overcome this issue, this paper presents a novel segmentation-based tracking architecture, which is equipped with a spatio-appearance memory network to learn accurate spatio-temporal correspondence. Among it, an appearance memory network explores spatio-temporal non-local similarity to learn the dense correspondence between the segmentation mask and the current frame. Meanwhile, a spatial memory network is modeled as discriminative correlation filter to learn the mapping between feature map and spatial map. The appearance memory network helps to filter out the noisy samples in the spatial memory network while the latter provides the former with more accurate target geometrical center. This mutual promotion greatly boosts the tracking performance. Without bells and whistles, our simple-yet-effective tracking architecture sets new state-of-the-arts on the VOT2016, VOT2018, VOT2019, GOT-10K, TrackingNet, and VOT2020 benchmarks, respectively. Besides, our tracker outperforms the leading segmentation-based trackers SiamMask and D3S on two video object segmentation benchmarks DAVIS16 and DAVIS17 by a large margin. The source codes can be found at https://github.com/phiphiphi31/DMB.


title: Classification and Distinction of Possible Insulating Phases in Twisted Bilayer Graphene by Impurity Effects

abstract: In this work the effects of impurity in various insulating phases of the twisted bilayer graphene (TBG) are studied. The well-accepted continuum model\cite{b} is employed and the local density of states (DOS) is calculated. It is found that insulating phases breaking different symmetries proposed in previous theories\cite{pa,op1,Lee_2019} are distinguishable via the number and properties of in-gap bound state peaks induced by impurities in local DOS. Insulating phases breaking the same previously proposed symmetries can be further classified by the remaining anti-unitary symmetries and distinguished by the corresponding remaining Kramers degeneracy of bound states. The in-gap bound state peaks in local DOS and the degeneracy of the bound states can in principle be detected in scanning tunnelling microscopy (STM) experiments, and thus can help to the distinction of various insulating phases.


title: Towards application-specific query processing systems

abstract: Database systems use query processing subsystems for enabling efficient query-based data retrieval. An essential aspect of designing any query-intensive application is tuning the query system to fit the application's requirements and workload characteristics. However, the configuration parameters provided by traditional database systems do not cover the design decisions and trade-offs that arise from the geo-distribution of users and data. In this paper, we present a vision towards a new type of query system architecture that addresses this challenge by enabling query systems to be designed and deployed in a per use case basis. We propose a distributed abstraction called Query Processing Unit that encapsulates primitive query processing tasks, and show how it can be used as a building block for assembling query systems. Using this approach, application architects can construct query systems specialized to their use cases, by controlling the query system's architecture and the placement of its state. We demonstrate the expressiveness of this approach by applying it to the design of a query system that can flexibly place its state in the data center or at the edge, and show that state placement decisions affect the trade-off between query response time and query result freshness.


title: Alleviating the Inequality of Attention Heads for Neural Machine Translation

abstract: Recent studies show that the attention heads in Transformer are not equal. We relate this phenomenon to the imbalance training of multi-head attention and the model dependence on specific heads. To tackle this problem, we propose a simple masking method: HeadMask, in two specific ways. Experiments show that translation improvements are achieved on multiple language pairs. Subsequent empirical analyses also support our assumption and confirm the effectiveness of the method.


title: A small-signal GFET equivalent circuit considering an explicit contribution of contact resistances

abstract: A small-signal equivalent circuit for graphene field-effect transistors is proposed considering the explicit contribution of effects at the metal-graphene interfaces by means of contact resistances. A methodology to separate the contact resistances from intrinsic parameters, obtained by a de-embedding process, and extrinsic parameters of the circuit is considered. The experimental high-frequency performance of three devices from two different GFET technologies is properly described by the proposed small-signal circuit. Some model parameters scale with the device footprint. The correct detachment of contact resistances from the internal transistor enables to assess their impact on the intrinsic cutoff frequency of the studied devices.


title: Connected Fair Detachments of Hypergraphs

abstract: Let $\mathcal G$ be a hypergraph whose edges are colored. An {\it $(\alpha,n)$-detachment} of $\mathcal G$ is a hypergraph obtained by splitting a vertex $\alpha$ into $n$ vertices, say $\alpha_1,\dots,\alpha_n$, and sharing the incident hinges and edges among the subvertices. A detachment is {\it fair} if the degree of vertices and multiplicity of edges are shared as evenly as possible among the subvertices within the whole hypergraph as well as within each color class. In this paper we solve an open problem from 70s by finding necessary and sufficient conditions under which a $k$-edge-colored hypergraph $\mathcal G$ has a fair detachment in which each color class is connected. Previously, this was not even known for the case when $\mathcal G$ is an arbitrary graph (i.e. 2-uniform hypergraph). We exhibit the usefulness of our theorem by proving a variety of new results on hypergraph decompositions, and completing partial regular combinatorial structures.


title: Feed-Forward On-Edge Fine-tuning Using Static Synthetic Gradient Modules

abstract: Training deep learning models on embedded devices is typically avoided since this requires more memory, computation and power over inference. In this work, we focus on lowering the amount of memory needed for storing all activations, which are required during the backward pass to compute the gradients. Instead, during the forward pass, static Synthetic Gradient Modules (SGMs) predict gradients for each layer. This allows training the model in a feed-forward manner without having to store all activations. We tested our method on a robot grasping scenario where a robot needs to learn to grasp new objects given only a single demonstration. By first training the SGMs in a meta-learning manner on a set of common objects, during fine-tuning, the SGMs provided the model with accurate gradients to successfully learn to grasp new objects. We have shown that our method has comparable results to using standard backpropagation.


title: On unconditionally convergent series in topological rings

abstract: We define a topological ring $R$ to be \emph{Hirsch}, if for any unconditionally convergent series $\sum_{n\in\omega} x_i$ in $R$ and any neighborhood $U$ of the additive identity $0$ of $R$ there exists a neighborhood $V\subseteq R$ of $0$ such that $\sum_{n\in F} a_n x_n\in U$ for any finite set $F\subset\omega$ and any sequence $(a_n)_{n\in F}\in V^F$. We recognize Hirsch rings in certain known classes of topological rings. For this purpose we introduce and develop the technique of seminorms on actogroups. We prove, in particular, that a topological ring $R$ is Hirsch provided $R$ is locally compact or $R$ has a base at the zero consisting of open ideals or $R$ is a closed subring of the Banach ring $C(K)$, where $K$ is a compact Hausdorff space. This implies that the Banach ring $\ell_\infty$ and its subrings $c_0$ and $c$ are Hirsch. Also we prove that for every $p\in[1,2]$ the Banach ring $\ell_p$ is Hirsch. On the other hand, for any distinct numbers $p,q\in[1,\infty]$ the commutative Banach ring $\ell_p\oplus i\ell_q$ is not Hirsch. Also for any $p\in (1,\infty)$, the (noncommutative) Banach ring $L(\ell_p)$ of continuous endomorphisms of the Banach ring $\ell_p$ is not Hirsch. We do not know whether the Banach rings $\ell_p$ are Hirsch for $p\in(2,\infty)$.


title: CURIE: A Cellular Automaton for Concept Drift Detection

abstract: Data stream mining extracts information from large quantities of data flowing fast and continuously (data streams). They are usually affected by changes in the data distribution, giving rise to a phenomenon referred to as concept drift. Thus, learning models must detect and adapt to such changes, so as to exhibit a good predictive performance after a drift has occurred. In this regard, the development of effective drift detection algorithms becomes a key factor in data stream mining. In this work we propose CU RIE, a drift detector relying on cellular automata. Specifically, in CU RIE the distribution of the data stream is represented in the grid of a cellular automata, whose neighborhood rule can then be utilized to detect possible distribution changes over the stream. Computer simulations are presented and discussed to show that CU RIE, when hybridized with other base learners, renders a competitive behavior in terms of detection metrics and classification accuracy. CU RIE is compared with well-established drift detectors over synthetic datasets with varying drift characteristics.


title: Efficiently Computing Maximum Flows in Scale-Free Networks

abstract: We study the maximum-flow/minimum-cut problem on scale-free networks, i.e., graphs whose degree distribution follows a power-law. We propose a simple algorithm that capitalizes on the fact that often only a small fraction of such a network is relevant for the flow. At its core, our algorithm augments Dinitz's algorithm with a balanced bidirectional search. Our experiments on a scale-free random network model indicate sublinear run time. On scale-free real-world networks, we outperform the commonly used highest-label Push-Relabel implementation by up to two orders of magnitude. Compared to Dinitz's original algorithm, our modifications reduce the search space, e.g., by a factor of 275 on an autonomous systems graph. Beyond these good run times, our algorithm has an additional advantage compared to Push-Relabel. The latter computes a preflow, which makes the extraction of a minimum cut potentially more difficult. This is relevant, for example, for the computation of Gomory-Hu trees. On a social network with 70000 nodes, our algorithm computes the Gomory-Hu tree in 3 seconds compared to 12 minutes when using Push-Relabel.


title: Accent Estimation of Japanese Words from Their Surfaces and Romanizations for Building Large Vocabulary Accent Dictionaries

abstract: In Japanese text-to-speech (TTS), it is necessary to add accent information to the input sentence. However, there are a limited number of publicly available accent dictionaries, and those dictionaries e.g. UniDic, do not contain many compound words, proper nouns, etc., which are required in a practical TTS system. In order to build a large scale accent dictionary that contains those words, the authors developed an accent estimation technique that predicts the accent of a word from its limited information, namely the surface (e.g. kanji) and the yomi (simplified phonetic information). It is experimentally shown that the technique can estimate accents with high accuracies, especially for some categories of words. The authors applied this technique to an existing large vocabulary Japanese dictionary NEologd, and obtained a large vocabulary Japanese accent dictionary. Many cases have been observed in which the use of this dictionary yields more appropriate phonetic information than UniDic.


title: Profile Consistency Identification for Open-domain Dialogue Agents

abstract: Maintaining a consistent attribute profile is crucial for dialogue agents to naturally converse with humans. Existing studies on improving attribute consistency mainly explored how to incorporate attribute information in the responses, but few efforts have been made to identify the consistency relations between response and attribute profile. To facilitate the study of profile consistency identification, we create a large-scale human-annotated dataset with over 110K single-turn conversations and their key-value attribute profiles. Explicit relation between response and profile is manually labeled. We also propose a key-value structure information enriched BERT model to identify the profile consistency, and it gained improvements over strong baselines. Further evaluations on downstream tasks demonstrate that the profile consistency identification model is conducive for improving dialogue consistency.


title: Asymmetric perfect absorption and lasing of nonlinear waves by a complex $\delta$-potential

abstract: Spectral singularities and the coherent perfect absorption are two interrelated concepts that have originally been introduced and studied for linear waves interacting with complex potentials. In the meantime, the distinctive asymptotic behavior of perfectly absorbed waves suggests considering possible generalizations of these phenomena for nonlinear waves. Here we address perfect absorption of nonlinear waves by an idealized infinitely narrow dissipative potential modeled by a Dirac $\delta$-function with an imaginary amplitude. Our main result is the existence of perfectly absorbed flows whose spatial amplitude distributions are asymmetric with respect to the position of the absorber. These asymmetric states do not have a linear counterpart. Their linear stability is verified numerically. The nonlinear waveguide also supports symmetric and constant-amplitude perfectly absorbed flows. The stability of solutions of the latter type can be confirmed analytically.


title: Perturbation and Stability of Continuous Operator Frames in Hilbert $C^{\ast}$-Modules

abstract: Frame Theory has a great revolution in recent years. This Theory have been extended from Hilbert spaces to Hilbert $C^{\ast}$-modules. In this paper we consider the stability of continuous operator frame and continuous $K$-operator frames in Hilbert $C^{\ast}$-Modules under perturbation and we establish some properties


title: Computing the Rate-Distortion Function of Gray-Wyner System

abstract: In this paper, the rate-distortion theory of the Gray-Wyner lossy source coding system is investigated. For the case of jointly Gaussian distributed sources, we establish an expression for the rate-distortion function under the constraint of quadratic distortion. Using the proposed rate-distortion function, any corner point on the rate-distortion region can be conveniently calculated. We take Wyner's common information as an example and provide a general and simple method to solve this problem. Through the analysis of the rate-distortion function, the rate on each layer and covariance matrix of auxiliary random variables and the sources are also presented in this paper.


title: Determining electronic properties from L-edge X-ray absorption spectra of transition metal compounds with artificial neural networks

abstract: X-ray absorption spectroscopy at the L-edge probes transitions of 2p-electrons into unoccupied d-states. Applied to transition metal atoms, this experimental technique can provide valuable information about the electronic structure of d-states. However, multiplet effects, spin-orbit coupling, a large number of possible transitions can cause a rather involved nature of 2p XAS spectra, which can often complicate extracting of information directly from them. Here, artificial neural networks trained on simulated spectra of a 2p XAS model Hamiltonian are presented that can directly determine information about atomic properties and the electronic configuration of d-states from L-edge X-ray absorption spectra. Moreover, the adaptable nature of artificial neural networks (ANNs) allows extending their capability to obtain information about the electronic ground state and core hole lifetimes from 2p XAS spectra as well as to incorporate external factors, such as temperature and experimental convolution that can affect details in spectral features. The effects of noise and background contributions in spectra on the accuracy of ANNs are discussed and the method is validated on experimental spectra of transition metal compounds, including metal-organic molecules and metal oxides.


title: Eigenstate correlations around many-body localization transition

abstract: We explore correlations of eigenstates around the many-body localization (MBL) transition in their dependence on the energy difference (frequency) $\omega$ and disorder $W$. In addition to the genuine many-body problem, XXZ spin chain in random field, we consider localization on random regular graphs (RRG) that serves as a toy model of the MBL transition. Both models show a very similar behavior. On the localized side of the transition, the eigenstate correlation function $\beta(\omega)$ shows a power-law enhancement of correlations with lowering $\omega$; the corresponding exponent depends on $W$. The correlation between adjacent-in-energy eigenstates exhibits a maximum at the transition point $W_c$, visualizing the drift of $W_c$ with increasing system size towards its thermodynamic-limit value. The correlation function $\beta(\omega)$ is related, via Fourier transformation, to the Hilbert-space return probability. We discuss measurement of such (and related) eigenstate correlation functions on state-of-the-art quantum computers and simulators.


title: Vector-valued Sobolev spaces based on Banach function spaces

abstract: It is known that for Banach valued functions there are several approaches to define a Sobolev class. We compare the usual definition via weak derivatives with the Reshetnyak-Sobolev space and with the Newtonian space; in particular, we provide sufficient conditions when all three agree. As well we revise the difference quotient criterion and the property of Lipschitz mapping to preserve Sobolev space when it acting as a superposition operator.


title: Contrastive Clustering

abstract: In this paper, we propose a one-stage online clustering method called Contrastive Clustering (CC) which explicitly performs the instance- and cluster-level contrastive learning. To be specific, for a given dataset, the positive and negative instance pairs are constructed through data augmentations and then projected into a feature space. Therein, the instance- and cluster-level contrastive learning are respectively conducted in the row and column space by maximizing the similarities of positive pairs while minimizing those of negative ones. Our key observation is that the rows of the feature matrix could be regarded as soft labels of instances, and accordingly the columns could be further regarded as cluster representations. By simultaneously optimizing the instance- and cluster-level contrastive loss, the model jointly learns representations and cluster assignments in an end-to-end manner. Extensive experimental results show that CC remarkably outperforms 17 competitive clustering methods on six challenging image benchmarks. In particular, CC achieves an NMI of 0.705 (0.431) on the CIFAR-10 (CIFAR-100) dataset, which is an up to 19\% (39\%) performance improvement compared with the best baseline.


title: Genetic recombination as a Generalised Gradient Flow

abstract: It is well known that the classical recombination equation for two parent individuals is equivalent to the law of mass action of a strongly reversible chemical reaction network, and can thus be reformulated as a generalised gradient system. Here, this is generalised to the case of an arbitrary number of parents. Furthermore, the gradient structure of the backward-time partitioning process is investigated.


title: Reinforcement Learning Approaches in Social Robotics

abstract: This article surveys reinforcement learning approaches in social robotics. Reinforcement learning is a framework for decision-making problems in which an agent interacts through trial-and-error with its environment to discover an optimal behavior. Since interaction is a key component in both reinforcement learning and social robotics, it can be a well-suited approach for real-world interactions with physically embodied social robots. The scope of the paper is focused particularly on studies that include social physical robots and real-world human-robot interactions with users. We present a thorough analysis of reinforcement learning approaches in social robotics. In addition to a survey, we categorize existent reinforcement learning approaches based on the used method and the design of the reward mechanisms. Moreover, since communication capability is a prominent feature of social robots, we discuss and group the papers based on the communication medium used for reward formulation. Considering the importance of designing the reward function, we also provide a categorization of the papers based on the nature of the reward. This categorization includes three major themes: interactive reinforcement learning, intrinsically motivated methods, and task performance-driven methods. The benefits and challenges of reinforcement learning in social robotics, evaluation methods of the papers regarding whether or not they use subjective and algorithmic measures, a discussion in the view of real-world reinforcement learning challenges and proposed solutions, the points that remain to be explored, including the approaches that have thus far received less attention is also given in the paper. Thus, this paper aims to become a starting point for researchers interested in using and applying reinforcement learning methods in this particular research field.


title: A rank-one convex, non-polyconvex isotropic function on $\operatorname{GL}^+(2)$ with compact connected sublevel sets

abstract: According to a 2002 theorem by Cardaliaguet and Tahraoui, an isotropic, compact and connected subset of the group $\operatorname{GL}^+(2)$ of invertible $2\times2-\,$matrices is rank-one convex if and only if it is polyconvex. In a 2005 Journal of Convex Analysis article by Alexander~Mielke, it has been conjectured that the equivalence of rank-one convexity and polyconvexity holds for isotropic functions on $\operatorname{GL}^+(2)$ as well, provided their sublevel sets satisfy the corresponding requirements. We negatively answer this conjecture by giving an explicit example of a function $W:\operatorname{GL}^+\to\mathbb{R}$ which is not polyconvex, but rank-one convex as well as isotropic with compact and connected sublevel sets.


title: Privacy-Preserving Machine Learning Training in Aggregation Scenarios

abstract: To develop Smart City, the growing popularity of Machine Learning (ML) that appreciates high-quality training datasets generated from diverse IoT devices raises natural questions about the privacy guarantees that can be provided in such settings. Privacy-preserving ML training in an aggregation scenario enables a model demander to securely train ML models with the sensitive IoT data gathered from personal IoT devices. Existing solutions are generally server-aided, cannot deal with the collusion threat between the servers or between the servers and data owners, and do not match the delicate environments of IoT. We propose a privacy-preserving ML training framework named Heda that consists of a library of building blocks based on partial homomorphic encryption (PHE) enabling constructing multiple privacy-preserving ML training protocols for the aggregation scenario without the assistance of untrusted servers and defending the security under collusion situations. Rigorous security analysis demonstrates the proposed protocols can protect the privacy of each participant in the honest-but-curious model and defend the security under most collusion situations. Extensive experiments validate the efficiency of Heda which achieves the privacy-preserving ML training without losing the model accuracy.


title: Batch Coherence-Driven Network for Part-aware Person Re-Identification

abstract: Existing part-aware person re-identification methods typically employ two separate steps: namely, body part detection and part-level feature extraction. However, part detection introduces an additional computational cost and is inherently challenging for low-quality images. Accordingly, in this work, we propose a simple framework named Batch Coherence-Driven Network (BCD-Net) that bypasses body part detection during both the training and testing phases while still learning semantically aligned part features. Our key observation is that the statistics in a batch of images are stable, and therefore that batch-level constraints are robust. First, we introduce a batch coherence-guided channel attention (BCCA) module that highlights the relevant channels for each respective part from the output of a deep backbone model. We investigate channelpart correspondence using a batch of training images, then impose a novel batch-level supervision signal that helps BCCA to identify part-relevant channels. Second, the mean position of a body part is robust and consequently coherent between batches throughout the training process. Accordingly, we introduce a pair of regularization terms based on the semantic consistency between batches. The first term regularizes the high responses of BCD-Net for each part on one batch in order to constrain it within a predefined area, while the second encourages the aggregate of BCD-Nets responses for all parts covering the entire human body. The above constraints guide BCD-Net to learn diverse, complementary, and semantically aligned part-level features. Extensive experimental results demonstrate that BCDNet consistently achieves state-of-the-art performance on four large-scale ReID benchmarks.


title: Multiwavelength power-spectrum analysis of NGC 5548

abstract: NGC 5548 was recently monitored intensively from NIR to X-rays as part of the STORM campaign. Its disc emission was found to lag behind the observed X-rays, while the measured time lag was increasing with wavelength. These results are consistent with the assumption that short term variability in AGN emission is driven by the X-ray illumination of the accretion disc. In this work, we studied the power spectrum of UV/optical and X-ray emission of NGC 5548, using the data of the STORM campaign as well as previous Swift data, in order to investigate the relation between the UV/optical and X-ray variability and to examine its consistency with the above picture. We demonstrate that even the power spectrum results are compatible with a standard disc being illuminated by X-rays, with low accretion rates, but the details are not entirely consistent with the results from the modelling of the "{\tau} vs {\lambda}" relation. The differences indicate that the inner disc might be covered by a "warm corona" which does not allow the detection of UV/optical emission from the inner disc. Finally, we found strong evidence that the UV emission of NGC 5548 is not stationary.


title: Experimental Investigation of Discrete Multitone Transmission in the Presence of Optical Noise and Chromatic Dispersion

abstract: Enabled by channel adaptive bit and power loading, we experimentally demonstrate discrete multitone transmission at 56Gb/s with simple intensity modulation and direct detection and achieve 50 km reach in the 1.55um window.


title: Parameter estimation in branching processes with almost sure extinction

abstract: We consider population-size-dependent branching processes (PSDBPs) which eventually become extinct with probability one. For these processes, we derive maximum likelihood estimators for the mean number of offspring born to individuals when the current population size is $z\geq 1$. As is standard in branching process theory, an asymptotic analysis of the estimators requires us to condition on non-extinction up to a finite generation $n$ and let $n\to\infty$; however, because the processes become extinct with probability one, we are able to demonstrate that our estimators do not satisfy the classical consistency property ($C$-consistency). This leads us to define the concept of $Q$-consistency, and we prove that our estimators are $Q$-consistent and asymptotically normal. To investigate the circumstances in which a $C$-consistent estimator is preferable to a $Q$-consistent estimator, we then provide two $C$-consistent estimators for subcritical Galton-Watson branching processes. Our results rely on a combination of linear operator theory, coupling arguments, and martingale methods.


title: Exploiting Submodular Value Functions For Scaling Up Active Perception

abstract: In active perception tasks, an agent aims to select sensory actions that reduce its uncertainty about one or more hidden variables. While partially observable Markov decision processes (POMDPs) provide a natural model for such problems, reward functions that directly penalize uncertainty in the agent's belief can remove the piecewise-linear and convex property of the value function required by most POMDP planners. Furthermore, as the number of sensors available to the agent grows, the computational cost of POMDP planning grows exponentially with it, making POMDP planning infeasible with traditional methods. In this article, we address a twofold challenge of modeling and planning for active perception tasks. We show the mathematical equivalence of $\rho$POMDP and POMDP-IR, two frameworks for modeling active perception tasks, that restore the PWLC property of the value function. To efficiently plan for active perception tasks, we identify and exploit the independence properties of POMDP-IR to reduce the computational cost of solving POMDP-IR (and $\rho$POMDP). We propose greedy point-based value iteration (PBVI), a new POMDP planning method that uses greedy maximization to greatly improve scalability in the action space of an active perception POMDP. Furthermore, we show that, under certain conditions, including submodularity, the value function computed using greedy PBVI is guaranteed to have bounded error with respect to the optimal value function. We establish the conditions under which the value function of an active perception POMDP is guaranteed to be submodular. Finally, we present a detailed empirical analysis on a dataset collected from a multi-camera tracking system employed in a shopping mall. Our method achieves similar performance to existing methods but at a fraction of the computational cost leading to better scalability for solving active perception tasks.


title: Virtual equivariant Grothendieck-Riemann-Roch formula

abstract: For a $G$-scheme $X$ with a given equivariant perfect obstruction theory, we prove a virtual equivariant Grothendieck-Riemann-Roch formula, this is an extension of a result of Fantechi-G\"ottsche to the equivariant context. We also prove a virtual non-abelian localization theorem for schemes over $\mathbb{C}$ with proper actions.


title: Physical constraints derived from FCNC in the 3-3-1-1 model

abstract: We investigate several phenomena related to FCNCs in the $\text{3-3-1-1}$ model. The sources of FCNCs at the tree-level from both the gauge and Higgs sectors are clarified. Experiments on the oscillation of mesons most stringently constrain the tree-level FCNCs. The lower bound on the new physics scale is imposed more tightly than in the previous, $\text{M}_{\text{new}}>12 $ \text{TeV}. Under this bound, the tree-level FCNCs make a negligible contribution to the $\text{Br}(B_s \rightarrow \mu^+ \mu^-)$, $\text{Br}(B \rightarrow K^{*} \mu^+ \mu^-)$ and $\text{Br}(B^{+}\rightarrow K^{+}\mu^{+}\mu^{-})$. The branching ratio of radiative decay $b \rightarrow s \gamma$ is enhanced by the ratio $\frac{v}{u}$ via diagrams with the charged Higgs mediation. In contrast, the charged currents of new gauge bosons significantly contribute to the decay process $\mu \rightarrow e \gamma$.


title: A 3-Dimensional Simplex Modulation Format with Improved OSNR Performance Compared to DP-BPSK

abstract: The novel 3-dimensional modulation format 3D-Simplex offers potentially 1.2 dB higher OSNR tolerance than DP-DPSK while exhibiting the same spectral occupancy, modulating two bits per symbol. We verify this benefit experimen-tally and evaluate the transmission performance in a non-linear environment. All experimental results are confirmed by simulations. The benefit of 3D-Simplex is not maintained in the highly non-linear regime, but the performance is still comparable to that of DP-DPSK.


title: An alternative proof of well-posedness of stochastic evolution equations in the variational setting

abstract: We present a new proof of well-posedness of stochastic evolution equations in variational form, relying solely on a (nonlinear) infinite-dimensional approximation procedure rather than on classical finite-dimensional projection arguments of Galerkin type.


title: Mahler Measure of 3D Landau-Ginzburg Potentials

abstract: We express the Mahler measures of $23$ families of Laurent polynomials in terms of Eisenstein-Kronecker series. These Laurent polynomials arise as Landau-Ginzburg potentials on Fano $3$-folds, $16$ of which define $K3$ hypersurfaces of generic Picard rank $19$, and the rest are of generic Picard rank $< 19$. We relate the Mahler measure at each rational singular moduli to the value at $3$ of the $L$-function of some weight-$3$ newform. Moreover, we find $10$ exotic relations among the Mahler measures of these families.


title: On the verge of life: Distribution of nucleotide sequences in viral RNAs

abstract: The aim of the study is to analyze viruses using parameters obtained from distributions of nucleotide sequences in the viral RNA. Seeking for the input data homogeneity, we analyze single-stranded RNA viruses only. Two approaches are used to obtain the nucleotide sequences; In the first one, chunks of equal length (four nucleotides) are considered. In the second approach, the whole RNA genome is divided into parts by adenine or the most frequent nucleotide as a "space". Rank--frequency distributions are studied in both cases. Within the first approach, the P\'olya and the negative hypergeometric distribution yield the best fit. For the distributions obtained within the second approach, we have calculated a set of parameters, including entropy, mean sequence length, and its dispersion. The calculated parameters became the basis for the classification of viruses. We observed that proximity of viruses on planes spanned on various pairs of parameters corresponds to related species. In certain cases, such a proximity is observed for unrelated species as well calling thus for the expansion of the set of parameters used in the classification. We also observed that the fourth most frequent nucleotide sequences obtained within the second approach are of different nature in case of human coronaviruses (different nucleotides for MERS, SARS-CoV, and SARS-CoV-2 versus identical nucleotides for four other coronaviruses). We expect that our findings will be useful as a supplementary tool in the classification of diseases caused by RNA viruses with respect to severity and contagiousness.


title: The High-Quality Wide Multi-Channel Attack (HQ-WMCA) database

abstract: The High-Quality Wide Multi-Channel Attack database (HQ-WMCA) database extends the previous Wide Multi-Channel Attack database(WMCA), with more channels including color, depth, thermal, infrared (spectra), and short-wave infrared (spectra), and also a wide variety of attacks.


title: "Listen, Understand and Translate": Triple Supervision Decouples End-to-end Speech-to-text Translation

abstract: An end-to-end speech-to-text translation (ST) takes audio in a source language and outputs the text in a target language. Existing methods are limited by the amount of parallel corpus. Can we build a system to fully utilize signals in a parallel ST corpus? We are inspired by human understanding system which is composed of auditory perception and cognitive processing. In this paper, we propose Listen-Understand-Translate, (LUT), a unified framework with triple supervision signals to decouple the end-to-end speech-to-text translation task. LUT is able to guide the acoustic encoder to extract as much information from the auditory input. In addition, LUT utilizes a pre-trained BERT model to enforce the upper encoder to produce as much semantic information as possible, without extra data. We perform experiments on a diverse set of speech translation benchmarks, including Librispeech English-French, IWSLT English-German and TED English-Chinese. Our results demonstrate LUT achieves the state-of-the-art performance, outperforming previous methods. The code is available at https://github.com/dqqcasia/st.


title: Many-Body Localization in Translational Invariant Diamond Ladders with Flat Bands

abstract: The presence of flat bands is a source of localization in lattice systems. While flat bands are often unstable with respect to interactions between the particles, they can persist in certain cases. We consider a diamond ladder with transverse hopping that possesses such stable flat bands and show that many-body localization appears in the presence of interactions without quenched disorder. We numerically demonstrate that the eigenstate thermalization hypothesis is violated. We show that the influence of degenerate flat band states spreads across the full energy spectrum and grows extensively in the thermodynamic limit. Furthermore, we verify localization in terms of time evolution of some local observable, revival probability, participation ratio and entanglement entropy.


title: Deep Reinforcement Learning Methods for Structure-Guided Processing Path Optimization

abstract: A major goal of materials design is to find material structures with desired properties and in a second step to find a processing path to reach one of these structures. In this paper, we propose and investigate a deep reinforcement learning approach for the optimization of processing paths. The goal is to find optimal processing paths in the material structure space that lead to target-structures, which have been identified beforehand to result in desired material properties. There exists a target set containing one or multiple different structures. Our proposed methods can find an optimal path from a start structure to a single target structure, or optimize the processing paths to one of the equivalent target-structures in the set. In the latter case, the algorithm learns during processing to simultaneously identify the best reachable target structure and the optimal path to it. The proposed methods belong to the family of model-free deep reinforcement learning algorithms. They are guided by structure representations as features of the process state and by a reward signal, which is formulated based on a distance function in the structure space. Model-free reinforcement learning algorithms learn through trial and error while interacting with the process. Thereby, they are not restricted to information from a priori sampled processing data and are able to adapt to the specific process. The optimization itself is model-free and does not require any prior knowledge about the process itself. We instantiate and evaluate the proposed methods by optimizing paths of a generic metal forming process. We show the ability of both methods to find processing paths leading close to target structures and the ability of the extended method to identify target-structures that can be reached effectively and efficiently and to focus on these targets for sample efficient processing path optimization.


title: Shear flow in a three-dimensional complex plasma in microgravity conditions

abstract: Shear flow in a three-dimensional complex plasma was experimentally studied in microgravity conditions using Plasmakristall-4 (PK-4) instrument on board the International Space Station (ISS). The shear flow was created in an extended suspension of microparticles by applying the radiation pressure force of the manipulation-laser beam. Individual particle trajectories in the flow were analyzed and from these, using the Navier-Stokes equation, an upper estimate of the complex plasma's kinematic viscosity was calculated in the range of $0.2$--$6.7~{\rm mm^2/s}$. This estimate is much lower than previously reported in ground-based experiments with 3D complex plasmas. Possible reasons of this difference are discussed.


title: Knowledge Bridging for Empathetic Dialogue Generation

abstract: Lack of external knowledge makes empathetic dialogue systems difficult to perceive implicit emotions and learn emotional interactions from limited dialogue history. To address the above problems, we propose to leverage external knowledge, including commonsense knowledge and emotional lexical knowledge, to explicitly understand and express emotions in empathetic dialogue generation. We first enrich the dialogue history by jointly interacting with external knowledge and construct an emotional context graph. Then we learn emotional context representations from the knowledge-enriched emotional context graph and distill emotional signals, which are the prerequisites to predicate emotions expressed in responses. Finally, to generate the empathetic response, we propose an emotional cross-attention mechanism to learn the emotional dependencies from the emotional context graph. Extensive experiments conducted on a benchmark dataset verify the effectiveness of the proposed method. In addition, we find the performance of our method can be further improved by integrating with a pre-trained model that works orthogonally.


title: Flexible bandwidth 448 Gb/s DMT Transmission for Next Generation Data Center Inter-Connects

abstract: We experimentally evaluate a flexible DMT system using 4 to 8 50-GHz-grid C-band channels to transmit 448 Gb/s over up to 240 km SSMF. VSB filtering enabled by detuned lasers significantly reduces the impact of chromatic dispersion.


title: Inverse parabolic problems of determining functions with one spatial-component independence by Carleman estimate

abstract: For an initial-boundary value problem for a parabolic equation in the spatial variable $x=(x_1,.., x_n)$ and time $t$, we consider an inverse problem of determining a coefficient which is independent of one spatial component $x_n$ by extra lateral boundary data. We apply a Carleman estimate to prove a conditional stability estimate for the inverse problem. Also we prove similar results for the corresponding inverse source problem.


title: Positivity of Tur\'an determinants for orthogonal polynomials II

abstract: The polynomials $p_n$ orthogonal on the interval $[-1,1],$ normalized by $p_n(1)=1,$ satisfy Tur\'an's inequality if $p_n^2(x)-p_{n-1}(x)p_{n+1}(x)\ge 0$ for $n\ge 1$ and for all $x$ in the interval of orthogonality. We give a general criterion for orthogonal polynomials to satisfy Tur\'an's inequality. This extends essentially the results of \cite{szw}. In particular the results can be applied to many classes of orthogonal polynomials, by inspecting their recurrence relation.


title: Probing anomalous quartic $\gamma\gamma\gamma\gamma$ couplings in light-by-light collisions at the CLIC

abstract: The anomalous quartic neutral couplings of the $\gamma\gamma\gamma\gamma$ vertex in a polarized light-by-light scattering of the Compton backscattered photons at the CLIC are examined. Both differential and total cross sections are calculated for $e^+e^-$ collision energies 1500 GeV and 3000 GeV. The helicity of the initial electron beams is taken to be $\pm\,0.8$. The unpolarized and SM cross sections for the same values of helicities are also estimated. The 95\% C.L. exclusion limits on two anomalous photon couplings $\zeta_1$ and $\zeta_2$ are calculated. The best bounds on these couplings are found to be $6.85 \times 10^{-16} \mathrm{\ GeV}^{-4}$ and $1.43 \times 10^{-15} \mathrm{\ GeV}^{-4}$, respectively. The results are compared with the exclusion bounds obtained previously for the LHC and HL-LHC. It is shown that the light-by-light scattering at the CLIC, especially the polarized, has a greater potential to search for the anomalous quartic neutral couplings of the $\gamma\gamma\gamma\gamma$ vertex.


title: Model-driven statistical arbitrage on LETF option markets

abstract: In this paper, we study the statistical properties of the moneyness scaling transformation by Leung and Sircar (2015). This transformation adjusts the moneyness coordinate of the implied volatility smile in an attempt to remove the discrepancy between the IV smiles for levered and unlevered ETF options. We construct bootstrap uniform confidence bands which indicate that the implied volatility smiles are statistically different after moneyness scaling has been performed. An empirical application shows that there are trading opportunities possible on the LETF market. A statistical arbitrage type strategy based on a dynamic semiparametric factor model is presented. This strategy presents a statistical decision algorithm which generates trade recommendations based on comparison of model and observed LETF implied volatility surface. It is shown to generate positive returns with a high probability. Extensive econometric analysis of LETF implied volatility process is performed including out-of-sample forecasting based on a semiparametric factor model and uniform confidence bands' study. It provides new insights into the latent dynamics of the implied volatility surface. We also incorporate Heston stochastic volatility into the moneyness scaling method for better tractability of the model.


title: 3D magnetised jet break-out from neutron-star binary merger ejecta: afterglow emission from the jet and the ejecta

abstract: We perform three-dimensional (3D) general-relativistic magnetohydrodynamic simulations to model the jet break-out from the ejecta expected to be produced in a binary neutron-star merger. The structure of the relativistic outflow from the 3D simulation confirms our previous results from 2D simulations, namely, that a relativistic magnetized outflow breaking out from the merger ejecta exhibits a hollow core of $\theta_{\rm core}\approx4^{\circ}$, an opening angle of $\theta_{\rm jet}\gtrsim10^{\circ}$, and is accompanied by a wind of ejected matter that will contribute to the kilonova emission. We also compute the non-thermal afterglow emission of the relativistic outflow and fit it to the panchromatic afterglow from GRB170817A, together with the superluminal motion reported from VLBI observations. In this way, we deduce an observer angle of $\theta_{\rm obs}= 35.7^{\circ \,\,+1.8}_{\phantom{\circ \,\,}-2.2}$. We further compute the afterglow emission from the ejected matter and constrain the parameter space for a scenario in which the matter responsible for the thermal kilonova emission will also lead to a non-thermal emission yet to be observed.


title: When Healthcare Meets Off-the-Shelf WiFi: A Non-Wearable and Low-Costs Approach for In-Home Monitoring

abstract: As elderly population grows, social and health care begin to face validation challenges, in-home monitoring is becoming a focus for professionals in the field. Governments urgently need to improve the quality of healthcare services at lower costs while ensuring the comfort and independence of the elderly. This work presents an in-home monitoring approach based on off-the-shelf WiFi, which is low-costs, non-wearable and makes all-round daily healthcare information available to caregivers. The proposed approach can capture fine-grained human pose figures even through a wall and track detailed respiration status simultaneously by off-the-shelf WiFi devices. Based on them, behavioral data, physiological data and the derived information (e.g., abnormal events and underlying diseases), of the elderly could be seen by caregivers directly. We design a series of signal processing methods and a neural network to capture human pose figures and extract respiration status curves from WiFi Channel State Information (CSI). Extensive experiments are conducted and according to the results, off-the-shelf WiFi devices are capable of capturing fine-grained human pose figures, similar to cameras, even through a wall and track accurate respiration status, thus demonstrating the effectiveness and feasibility of our approach for in-home monitoring.


title: Stochastic Learning-Based Robust Beamforming Design for RIS-Aided Millimeter-Wave Systems in the Presence of Random Blockages

abstract: A fundamental challenge for millimeter wave (mmWave) communications lies in its sensitivity to the presence of blockages, which impact the connectivity of the communication links and ultimately the reliability of the entire network. In this paper, we analyze a reconfigurable intelligent surface (RIS)-aided mmWave communication system for enhancing the network reliability and connectivity in the presence of random blockages. To enhance the robustness of hybrid analog-digital beamforming in the presence of random blockages, we formulate a stochastic optimization problem based on the minimization of the sum outage probability. To tackle the proposed optimization problem, we introduce a low-complexity algorithm based on the stochastic block gradient descent method, which learns sensible blockage patterns without searching for all combinations of potentially blocked links. Numerical results confirm the performance benefits of the proposed algorithm in terms of outage probability and effective data rate.


title: Radiative decays of charged leptons as constraints of unitarity polygons for active-sterile neutrino mixing and CP violation

abstract: We calculate the rates of radiative $\beta^- \to \alpha^- + \gamma$ decays for $(\alpha, \beta) = (e, \mu)$, $(e, \tau)$ and $(\mu, \tau)$ by taking the {\it unitary} gauge in the $(3+n)$ active-sterile neutrino mixing scheme, and make it clear that constraints on the unitarity of the $3\times 3$ Pontecorvo-Maki-Nakagawa-Sakata (PMNS) matrix $U$ extracted from $\beta^- \to \alpha^- + \gamma$ decays in the {\it minimal unitarity violation} scheme differ from those obtained in the canonical seesaw mechanism with $n$ heavy Majorana neutrinos by a factor $5/3$. In such a natural seesaw case we show that the rates of $\beta^- \to \alpha^- + \gamma$ can be used to cleanly and strongly constrain the effective apex of a unitarity polygon, and compare its geometry with the geometry of its three sub-triangles formed by two vectors $U^{}_{\alpha i} U^*_{\beta i}$ and $U^{}_{\alpha j} U^*_{\beta j}$ (for $i \neq j$) in the complex plane. We find that the areas of such sub-triangles can be described in terms of the Jarlskog-like invariants of CP violation ${\cal J}^{ij}_{\alpha\beta}$, and their small differences signify slight unitarity violation of the PMNS matrix $U$.


title: MFIF-GAN: A New Generative Adversarial Network for Multi-Focus Image Fusion

abstract: Multi-Focus Image Fusion (MFIF) is a promising image enhancement technique to obtain all-in-focus images meeting visual needs and it is a precondition of other computer vision tasks. One of the research trends of MFIF is to avoid the defocus spread effect (DSE) around the focus/defocus boundary (FDB). In this paper,we propose a network termed MFIF-GAN to attenuate the DSE by generating focus maps in which the foreground region are correctly larger than the corresponding objects. The Squeeze and Excitation Residual module is employed in the network. By combining the prior knowledge of training condition, this network is trained on a synthetic dataset based on an {\alpha}-matte model. In addition, the reconstruction and gradient regularization terms are combined in the loss functions to enhance the boundary details and improve the quality of fused images. Extensive experiments demonstrate that the MFIF-GAN outperforms several state-of-the-art (SOTA) methods in visual perception, quantitative analysis as well as efficiency. Moreover, the edge diffusion and contraction module is firstly proposed to verify that focus maps generated by our method are accurate at the pixel level.


title: A Survey on Machine Learning Applied to Dynamic Physical Systems

abstract: This survey is on recent advancements in the intersection of physical modeling and machine learning. We focus on the modeling of nonlinear systems which are closer to electric motors. Survey on motor control and fault detection in operation of electric motors has been done.


title: Berezin symbols and spectral measures of representation operators

abstract: Let $G$ be a Lie group with Lie algebra $\mathfrak g$ and let $\pi$ be a unitary representation of $G$ realized on a reproducing kernel Hilbert space. We use Berezin quantization to study spectral measures associated with operators $-id\pi(X)$ for $X\in {\mathfrak g}$. As an application, we show how results about contractions of Lie group representations give rise to results on convergence of sequences of spectral measures. We give some examples including contractions of $SU(1,1)$ and $SU(2)$ to the Heisenberg group.


title: On the second dual space of Banach space of vector-valued little Lipschitz functions

abstract: Let \(X\) be a compact metric space and \(E\) be a Banach space. \(\lip (X, E)\) denotes the Banach space of all \(E\)-valued little Lipschitz functions on \(X\). We show that \(\lip (X, E)^{**}\) is isometrically isomorphic to Banach space of \(E^{**}\)-valued Lipschitz functions \(\Lip(X, E^{**})\) under several conditions. Moreover, we describe the isometric isomorphism from \(\lip (X, E)^{**}\) to \(\Lip (X, E^{**})\).


title: Parameterized tests of general relativity with gravitational wave generation and propagation

abstract: Any modification on gravity would affect not only gravitational wave (GW) generation but also GW propagation. Therefore, tests of general relativity (GR) with only GW generation or GW propagation will lead to an overestimate for deviations. Here we try to use one set of parameters to parameterize the modifications on both GW generation and GW propagation and then test GR with GW150914. In our simplest case, we find that graviton mass $\mu<6.3\times10^{-23}{\rm eV/c^2}$ at $90\%$ C.L. and there are no deviations from GR at $90\%$ C.L..


title: Machine Guides, Human Supervises: Interactive Learning with Global Explanations

abstract: We introduce explanatory guided learning (XGL), a novel interactive learning strategy in which a machine guides a human supervisor toward selecting informative examples for a classifier. The guidance is provided by means of global explanations, which summarize the classifier's behavior on different regions of the instance space and expose its flaws. Compared to other explanatory interactive learning strategies, which are machine-initiated and rely on local explanations, XGL is designed to be robust against cases in which the explanations supplied by the machine oversell the classifier's quality. Moreover, XGL leverages global explanations to open up the black-box of human-initiated interaction, enabling supervisors to select informative examples that challenge the learned model. By drawing a link to interactive machine teaching, we show theoretically that global explanations are a viable approach for guiding supervisors. Our simulations show that explanatory guided learning avoids overselling the model's quality and performs comparably or better than machine- and human-initiated interactive learning strategies in terms of model quality.


title: Conditional Automated Channel Pruning for Deep Neural Networks

abstract: Model compression aims to reduce the redundancy of deep networks to obtain compact models. Recently, channel pruning has become one of the predominant compression methods to deploy deep models on resource-constrained devices. Most channel pruning methods often use a fixed compression rate for all the layers of the model, which, however, may not be optimal. To address this issue, given a target compression rate for the whole model, one can search for the optimal compression rate for each layer. Nevertheless, these methods perform channel pruning for a specific target compression rate. When we consider multiple compression rates, they have to repeat the channel pruning process multiple times, which is very inefficient yet unnecessary. To address this issue, we propose a Conditional Automated Channel Pruning(CACP) method to obtain the compressed models with different compression rates through single channel pruning process. To this end, we develop a conditional model that takes an arbitrary compression rate as input and outputs the corresponding compressed model. In the experiments, the resultant models with different compression rates consistently outperform the models compressed by existing methods with a channel pruning process for each target compression rate.


title: Improving Automated COVID-19 Grading with Convolutional Neural Networks in Computed Tomography Scans: An Ablation Study

abstract: Amidst the ongoing pandemic, several studies have shown that COVID-19 classification and grading using computed tomography (CT) images can be automated with convolutional neural networks (CNNs). Many of these studies focused on reporting initial results of algorithms that were assembled from commonly used components. The choice of these components was often pragmatic rather than systematic. For instance, several studies used 2D CNNs even though these might not be optimal for handling 3D CT volumes. This paper identifies a variety of components that increase the performance of CNN-based algorithms for COVID-19 grading from CT images. We investigated the effectiveness of using a 3D CNN instead of a 2D CNN, of using transfer learning to initialize the network, of providing automatically computed lesion maps as additional network input, and of predicting a continuous instead of a categorical output. A 3D CNN with these components achieved an area under the ROC curve (AUC) of 0.934 on our test set of 105 CT scans and an AUC of 0.923 on a publicly available set of 742 CT scans, a substantial improvement in comparison with a previously published 2D CNN. An ablation study demonstrated that in addition to using a 3D CNN instead of a 2D CNN transfer learning contributed the most and continuous output contributed the least to improving the model performance.


title: Fault-tolerant fidelity based on few-qubit codes: Parity-check circuits for biased error channels

abstract: In the shallow sub-threshold regime, fault-tolerant quantum computation requires a tremendous amount of qubits. In this paper, we study the error correction in the deep sub-threshold regime. We estimate the physical error rate for achieving the logical error rates of $10^{-6} - 10^{-15}$ using few-qubit codes, i.e. short repetition codes, small surface codes and the Steane code. Error correction circuits that are efficient for biased error channels are identified. Using the Steane code, when error channels are biased with a ratio of $10^{-3}$, the logical error rate of $10^{-15}$ can be achieved with the physical error rate of $10^{-5}$, which is much higher than the physical error rate of $10^{-9}$ for depolarising errors.


title: Charge-dependent flow as evidence of strong electromagnetic fields in heavy-ion collisions

abstract: The extremely large electromagnetic fields generated in heavy-ion collisions provide access to novel observables that are expected to constrain various key transport properties of the quark-gluon plasma and could help solve one of the outstanding puzzles in QCD: the strong CP problem. In this review we present a brief overview of the theoretical and experimental characterization of these electromagnetic fields. After reviewing the current state, emphasising one of the observables -- the charge-dependent flow -- we discuss the various discrepancies between the measurements and theoretical predictions. Finally, to help resolve the discrepancies, we suggest new measurements and theoretical ideas.


title: Critically-enhanced spin-nematic squeezing and entanglement in dipolar spinor condensates

abstract: We study the quantum critical effect enhanced spin-nematic squeezing and quantum Fisher information (QFI) in the spin-1 dipolar atomic Bose-Einstein condensate. We show that the quantum phase transitions can improve the squeezing and QFI in the nearby regime of critical point, and the Heisenberg-limited high-precision metrology can be obtained. The different properties of the ground squeezing and entanglement under even and odd number of atoms are further analyzed, by calculating the exact analytical expressions.We also demonstrate the squeezing and entanglement generated by the spin-mixing dynamics around the phase transition point. It is shown that the steady squeezing and entanglement can be obtained, and the Bogoliubov approximation can well describe the dynamics of spin-nematic squeezed vacuum state.


title: Low-Complexity Massive MIMO Tensor Precoding

abstract: We present a novel and low-complexity massive multiple-input multiple-output (MIMO) precoding strategy based on novel findings concerning the subspace separability of Rician fading channels. Considering a uniform rectangular array at the base station, we show that the subspaces spanned by the channel vectors can be factorized as a tensor product between two lower dimensional subspaces. Based on this result, we formulate tensor maximum ratio transmit and zero-forcing precoders. We show that the proposed tensor precoders exhibit lower computational complexity and require less instantaneous channel state information than their linear counterparts. Finally, we present computer simulations that demonstrate the applicability of the proposed tensor precoders in practical communication scenarios.


title: Multitask Pointer Network for Multi-Representational Parsing

abstract: We propose a transition-based approach that, by training a single model, can efficiently parse any input sentence with both constituent and dependency trees, supporting both continuous/projective and discontinuous/non-projective syntactic structures. To that end, we develop a Pointer Network architecture with two separate task-specific decoders and a common encoder, and follow a multitask learning strategy to jointly train them. The resulting quadratic system, not only becomes the first parser that can jointly produce both unrestricted constituent and dependency trees from a single model, but also proves that both syntactic formalisms can benefit from each other during training, achieving state-of-the-art accuracies in several widely-used benchmarks such as the continuous English and Chinese Penn Treebanks, as well as the discontinuous German NEGRA and TIGER datasets.


title: Time-to-Provision Evaluation of IoT Devices Using Automated Zero-Touch Provisioning

abstract: The Internet of Things (IoT) is being widely adopted in today's society, interconnecting smart embedded devices that are being deployed for indoor and outdoor environments, such as homes, factories and hospitals. Along with the growth in the development and implementation of these IoT devices, their simple and rapid deployment, initial configuration and out-of-the-box operational provisioning are becoming prominent challenges to be circumvented. Considering a large number of heterogeneous devices to be deployed within next generation IoT networks, the amount of time needed for manual provisioning of these IoT devices can significantly delay the deployment and manual provisioning may introduce human-induced failures and errors. By incorporating zero-touch provisioning (ZTP), multiple heterogeneous devices can be provisioned with less effort and without human intervention. In this paper, we propose software-enabled access point (Soft-AP)- and Bluetooth-based ZTP solutions relying only on a single mediator device and evaluate their performances using LOG-A-TEC testbed against manual provisioning in terms of the time required for provisioning (time-to-provision, TTP). We demonstrate that on average, Soft-AP- and Bluetooth-based ZTP solutions outperform manual provisioning with about 154% and 313% when compared to the expert provisioning, and with about 434% and 880% when compared to the non-expert provisioning in terms of TTP performances, respectively.


title: A numerical method for computing optimum radii of host stars and orbits of planets, with application to Kepler-11, Kepler-90, Kepler-215, HD 10180, HD 34445, and TRAPPIST-1

abstract: In the so-called "global polytropic model", we assume planetary systems in hydrostatic equilibrium and solve the Lane--Emden equation in the complex plane. We thus find polytropic spherical shells providing hosting orbits to planets. On the basis of this model, we develop a numerical method which has three versions. In its three-dimensional version, the method is effective for systems with substantial uncertainties in the observed host star radius, and in the orbit of a particular planet (compared to the uncertainties in the orbits of the other planets); the method uses as fixed entry values the observed orbits of the remaining planets. In its two-dimensional version, the method is effective for systems with substantial uncertainty in the host star radius; in this case, the method uses as fixed entry values the observed orbits of the planets. The one-dimensional version was previously developed and applied to several systems; in this version, the observed values of the host star radius and of the planetary orbits are taken as fixed entry values. Our method can compute optimum values for the polytropic index of the global polytropic model which simulates the exoplanetary system, for the orbits of the planets, and (excluding the one-dimensional version) for the host star radius.


title: Conformal Invariance of the Newtonian Weyl Tensor

abstract: It is well-known that the conformal structure of a relativistic spacetime is of profound physical and conceptual interest. In this note, we consider the analogous structure for Newtonian theories. We show that the Newtonian Weyl tensor is an invariant of this structure.


title: Electing the Executive Branch

abstract: The executive branch, or government, is typically not elected directly by the people, but rather formed by another elected body or person such as the parliament or the president. As a result, its members are not directly accountable to the people, individually or as a group. We consider a scenario in which the members of the government are elected directly by the people, and wish to achieve proportionality while doing so. We propose a formal model consisting of $k$ offices, each with its own disjoint set of candidates, and a set of voters who provide approval ballots for all offices. We wish to identify good aggregation rules that assign one candidate to each office. As using a simple majority vote for each office independently might result in disregarding minority preferences altogether, here we consider an adaptation of the greedy variant of Proportional Approval Voting (GreedyPAV) to our setting, and demonstrate -- through computer-based simulations -- how voting for all offices together using this rule overcomes this weakness. We note that the approach is applicable also to a party that employs direct democracy, where party members elect the party's representatives in a coalition government.


title: About isolators of finitely generated subgroups of free groups

abstract: It is known that in any free group the isolator of finitely generated subgroup is finitely generated subgroup. A very simple proof of this statement is proposed.


title: NetReduce: RDMA-Compatible In-Network Reduction for Distributed DNN Training Acceleration

abstract: We present NetReduce, a novel RDMA-compatible in-network reduction architecture to accelerate distributed DNN training. Compared to existing designs, NetReduce maintains a reliable connection between end-hosts in the Ethernet and does not terminate the connection in the network. The advantage of doing so is that we can fully reuse the designs of congestion control and reliability in RoCE. In the meanwhile, we do not need to implement a high-cost network protocol processing stack in the switch, as IB does. The prototype implemented by using FPGA is an out-of-box solution without modifying commodity devices such as NICs or switches. For the coordination between the end-host and the switch, NetReduce customizes the transport protocol only on the first packet in a data message to comply with RoCE v2. The special status monitoring module is designed to reuse the reliability mechanism of RoCE v2 for dealing with packet loss. A message-level credit-based flow control algorithm is also proposed to fully utilize bandwidth and avoid buffer overflow. We study the effects of intra bandwidth on the training performance in multi-machines multi-GPUs scenario and give sufficient conditions for hierarchical NetReduce to outperform other algorithms. We also extend the design from rack-level aggregation to more general spine-leaf topology in the data center. NetReduce accelerates the training up to 1.7x and 1.5x for CNN-based CV and transformer-based NLP tasks, respectively. Simulations on large-scale systems indicate the superior scalability of NetReduce to the state-of-the-art ring all-reduce.


title: Consecutive Decoding for Speech-to-text Translation

abstract: Speech-to-text translation (ST), which directly translates the source language speech to the target language text, has attracted intensive attention recently. However, the combination of speech recognition and machine translation in a single model poses a heavy burden on the direct cross-modal cross-lingual mapping. To reduce the learning difficulty, we propose COnSecutive Transcription and Translation (COSTT), an integral approach for speech-to-text translation. The key idea is to generate source transcript and target translation text with a single decoder. It benefits the model training so that additional large parallel text corpus can be fully exploited to enhance the speech translation training. Our method is verified on three mainstream datasets, including Augmented LibriSpeech English-French dataset, IWSLT2018 English-German dataset, and TED English-Chinese dataset. Experiments show that our proposed COSTT outperforms or on par with the previous state-of-the-art methods on the three datasets. We have released our code at \url{https://github.com/dqqcasia/st}.


title: Circuit algebras are wheeled props

abstract: Circuit algebras, introduced by Bar-Natan and the first author, are a generalization of Jones's planar algebras, in which one drops the planarity condition on "connection diagrams". They provide a useful language for the study of virtual and welded tangles in low-dimensional topology. In this note, we present the circuit algebra analogue of the well-known classification of planar algebras as pivotal categories with a self-dual generator. Our main theorem is that there is an equivalence of categories between circuit algebras and the category of linear wheeled props - a type of strict symmetric tensor category with duals that arises in homotopy theory, deformation theory and the Batalin-Vilkovisky quantization formalism.


title: Regularization Approach for Network Modeling of German Power Derivative Market

abstract: In this paper we propose a regularization approach for network modeling of German power derivative market. To deal with the large portfolio, we combine high-dimensional variable selection techniques with dynamic network analysis. The estimated sparse interconnectedness of the full German power derivative market, clearly identify the significant channels of relevant potential risk spillovers. Our empirical findings show the importance of interdependence between different contract types, and identify the main risk contributors. We further observe strong pairwise interconnections between the neighboring contracts especially for the spot contracts trading in the peak hours, its implications for regulators and investors are also discussed. The network analysis of the full German power derivative market helps us to complement a full picture of system risk, and have a better understanding of the German power market functioning and environment.


title: Collapse of the Josephson emission in a carbon nanotube junction in the Kondo regime

abstract: We probe the high frequency emission of a carbon nanotube based Josephson junction and compare it to its DC Josephson current. The AC emission is probed by coupling the carbon nanotube to an on-chip detector (a Superconductor-Insulator-Superconductor junction), via a coplanar waveguide resonator. The measurement of the photo-assisted current of the detector gives direct access to the signal emitted by the carbon nanotube. We focus on the gate regions that exhibit Kondo features in the normal state and demonstrate that when the DC supercurrent is enhanced by the Kondo effect, the AC Josephson effect is strongly reduced. This result is compared to NRG theory and is attributed to a transition between the singlet ground state and the doublet excited state which is enabled only when the junction is driven out-of-equilibrium by a voltage bias.


title: Shape-shifting panel from 3d-printed undulated ribbon lattice

abstract: Materials that change their shape in response to external stimuli opens up new prospects for efficient and versatile design and shaping of three-dimensional objects. Here, we present a novel class of micro-structures exhibiting an extension-bending coupling (EBC) effect, that can be harnessed as an elementary building block for shape-shifting panels. They are built with a single material as a network of undulated ribbons. The deformations mechanisms of both single and connected undulated ribbons are analysed using the finite element method to explain the main features of the EBC mechanism. For a particular micro-structure of the proposed class, the complete elastic stiffness tensor is computed combining two-scale homogenization with Kirchhoff-Love plate theory. The range of achievable EBC ratio is then assessed with respect to the geometric parameters of the unit cell. Patterned specimens are manufactured using a commercial FFF Ultimaker 3-d printer and are mechanically tested at finite strain up to 20%. The displacement measured by point tracking match the predictions from the finite element simulations and indicate that the structure maintain its properties at finite strain. Moreover, a tensile test load with point-like boundary is proposed to highlight exceptional out of plane displacement. We envision these structures to be leveraged in combination with responsive materials for the actuation of soft robots, compliant systems and reconfigurable structures, as alternatives to external mechanical motors, control systems and power devices.


title: Supercoiling Enhances DNA Mobility by Reducing Threadings and Entanglements

abstract: DNA is increasingly employed for bio and nanotechnology thanks to its exquisite versatility and designability. Most of its use is limited to linearised and torsionally relaxed DNA but non-trivial architectures and torsionally constrained -- or supercoiled -- DNA plasmids are largely neglected; this is partly due to the limited understanding of how supercoiling affects the rheology of entangled DNA. To address this open question we perform large scale Molecular Dynamics (MD) simulations of entangled solutions of DNA plasmids modelled as twistable chains. We discover that, contrarily to what generally assumed in the literature, larger supercoiling increases the average size of plasmids in the entangled regime. At the same time, we discover that this is accompanied by an unexpected increase of diffusivity. We explain our findings as due to a decrease in inter-plasmids threadings and entanglement


title: Improving on Best-of-Many-Christofides for $T$-tours

abstract: The $T$-tour problem is a natural generalization of TSP and Path TSP. Given a graph $G=(V,E)$, edge cost $c: E \to \mathbb{R}_{\ge 0}$, and an even cardinality set $T\subseteq V$, we want to compute a minimum-cost $T$-join connecting all vertices of $G$ (and possibly containing parallel edges). In this paper we give an $\frac{11}{7}$-approximation for the $T$-tour problem and show that the integrality ratio of the standard LP relaxation is at most $\frac{11}{7}$. Despite much progress for the special case Path TSP, for general $T$-tours this is the first improvement on Seb\H{o}'s analysis of the Best-of-Many-Christofides algorithm (Seb\H{o} [2013]).


title: Neutron star parameter constraints for accretion-powered millisecond pulsars from the simulated IXPE data

abstract: We have simulated the X-ray polarization data that can be obtained with the Imaging X-ray Polarimetry Explorer, when observing accretion-powered millisecond pulsars. We estimated the necessary exposure times for SAX J1808.4$-$3658 in order to obtain different accuracies in the measured time-dependent Stokes profiles integrated over all energy channels. We found that the measured relative errors depend strongly on the relative configuration of the observer and the emitting hotspot. The improvement in the minimum relative error in Stokes $Q$ and $U$ parameters as a function of observing time $t$ scales as $1/\sqrt{t}$, and spans the range from 30-90% with 200 ks exposure time to 20-60% with 500 ks exposure time (in case of data binned in 19 phase bins). The simulated data were also used to predict how accurate measurements of the geometrical parameters of the neutron star can be made when modelling only $Q$ and $U$ parameters, but not the flux. We found that the observer inclination and the hotspot co-latitude could be determined with better than 10 deg accuracy for most of the cases we considered. These measurements can be used to further constrain neutron star mass and radius when combined with modelling of the X-ray pulse profile.


title: Chaos-induced resistivity in different magnetic configurations

abstract: It is widely believed that magnetic reconnection plays an important role in various eruptive phenomena of space and astrophysical plasmas. The mechanism of anomalous resistivity, however, has been an open and unsolved problem. The chaos-induced resistivity proposed by Yoshida (1998) is one of possible mechanisms for anomalous resistivity. By use of the test particle simulation, the present work studies the chaos-induced resistivity for different configurations of reconnection magnetic fields and its distribution in different chaos regions of reconnection current sheets. The results show that the chaos-induced resistivity can be 6-7 orders of magnitude higher than the classical Spitzer resistivity in the X-type chaos regions and 5 orders of magnitude in the O-type chaos regions. Moreover, in the X-type chaos regions the chaos-induced resistivity of the magnetized case is higher by a factor of 2 to 3 times than that of the unmagnetized case, but in the O-type chaos regions the chaos-induced resistivity of the magnetized case is close to or lower than that of the unmagnetized case. The present work is helpful to the understanding of the dynamics of reconnection current sheets, especially of the generation mechanism of the anomalous resistivity of collisionless reconnection regions.


title: Theoretical vs. observational uncertainties: composition of giant exoplanets

abstract: In order to characterize giant exoplanets and better understand their origin, knowledge of how the planet's composition depends on its mass and stellar environment is required. In this work, we simulate the thermal evolution of gaseous planets and explore how various common model assumptions such as different equations of state, opacities, and heavy-element distributions affect the inferred radius and metallicity. We examine how the theoretical uncertainties translate into uncertainties in the inferred planetary radius and bulk metallicity. While we confirm the mass-metallicity trend previously reported in the literature, this correlation disappears when removing a 20 $M_{\oplus}$ heavy-element core from all the planets. We also show that using an updated hydrogen-helium equation of state leads to more compact planets. As a result, we present six planets that should be classified as inflated warm Jupiters. We next demonstrate that including the opacity-enhancement due to metal-rich envelopes of irradiated planets changes the planetary radius significantly, which can have large effects on the inferred metallicity. Even though there are other model assumptions that have not been considered in this work, we could show that the calculated theoretical uncertainties can already be comparable or even larger than the observational ones. Therefore, theoretical uncertainties are likely to be even larger. We therefore conclude that progress in theoretical models of giant planets is essential in order to take full advantage of current and future exoplanetary data.


title: Note on a sign-dependent regularity for the polyharmonic Dirichlet problem

abstract: A priori estimates for semilinear higher order elliptic equations usually have to deal with the absence of a maximum principle. This note presents some regularity estimates for the polyharmonic Dirichlet problem that will make a distinction between the influence on the solution of the positive and the negative part of the right-hand side.


title: A Deep Hybrid Model for Recommendation Systems

abstract: Recommendation has been a long-standing problem in many areas ranging from e-commerce to social websites. Most current studies focus only on traditional approaches such as content-based or collaborative filtering while there are relatively fewer studies in hybrid recommender systems. Due to the latest advances of deep learning achieved in different fields including computer vision and natural language processing, deep learning has also gained much attention in Recommendation Systems. There are several studies that utilize ID embeddings of users and items to implement collaborative filtering with deep neural networks. However, such studies do not take advantage of other categorical or continuous features of inputs. In this paper, we propose a new deep neural network architecture which consists of not only ID embeddings but also auxiliary information such as features of job postings and candidates for job recommendation system which is a reciprocal recommendation system. Experimental results on the dataset from a job-site show that the proposed method improves recommendation results over deep learning models utilizing ID embeddings.


title: Superconducting tunnel junction fabrication on three-dimensional topography via direct laser writing

abstract: Superconducting junctions are widely used in multitude of applications ranging from quantum information science and sensing to solid-state cooling. Traditionally, such devices must be fabricated on flat substrates using standard lithographic techniques. In this study, we demonstrate a highly versatile method that allows for superconducting junctions to be fabricated on a more complex topography. It is based on maskless direct laser writing (DLW) two-photon lithography, which allows writing in 3D space. We show that high-quality normal metal-insulator-superconductor (NIS) tunnel junctions can be fabricated on top of a 20 $\mu$m tall three-dimensional topography. Combined with more advanced resist coating methods, this technique could allow sub-micron device fabrication on almost any type of topography in the future.


title: A sideways look at faithfulness for quantum correlations

abstract: Despite attempts to apply the lessons of causal modelling to the observed correlations typical of entangled bipartite quantum systems, Wood and Spekkens argue that any causal model purporting to explain these correlations must be fine tuned; that is, it must violate the assumption of faithfulness. The faithfulness assumption is a principle of parsimony, and the intuition behind it is basic and compelling: when no statistical correlation exists between the occurrences of a pair of events, we have no reason for supposing there to be a causal connection between them. This paper is an attempt to undermine the reasonableness of the assumption of faithfulness in the quantum context. Employing a symmetry relation between an entangled bipartite quantum system and a `sideways' quantum system consisting of a single photon passing sequentially through two polarisers, I argue that Wood and Spekkens' analysis applies equally to this sideways system. If this is correct, then the consequence endorsed by Wood and Spekkens for an ordinary entangled quantum system amounts to a rejection of a causal explanation in the sideways, single photon system, too. Unless rejecting this causal explanation can be sufficiently justified, then it looks as though the sideways system is fine tuned, and so a violation of faithfulness in the ordinary entangled system may be more tolerable than first thought. Thus extending the classical `no fine-tuning' principle of parsimony to the quantum realm may well be too hasty.


title: Convergence of Optimal Expected Utility for a Sequence of Binomial Models

abstract: We analyze the convergence of expected utility under the approximation of the Black-Scholes model by binomial models. In a recent paper by D. Kreps and W. Schachermayer a surprising and somewhat counter-intuitive example was given: such a convergence may, in general, fail to hold true. This counterexample is based on a binomial model where the i.i.d. logarithmic one-step increments have strictly positive third moments. This is the case, when the up-tick of the log-price is larger than the down-tick. In the paper by D. Kreps and W. Schachermayer it was left as an open question how things behave in the case when the down-tick is larger than the up-tick and -- most importantly -- in the case of the symmetric binomial model where the up-tick equals the down-tick. Is there a general positive result of convergence of expected utility in this setting? In the present note we provide a positive answer to this question. It is based on some rather fine estimates of the convergence arising in the Central Limit Theorem.


title: Approximation in the Zygmund and H\"older classes on $\mathbb{R}^n$

abstract: We determine the distance (up to a multiplicative constant) in the Zygmund class $\Lambda_{\ast}(\mathbb{R}^n)$ to the subspace $\mathrm{J}(\mathbf{bmo})(\mathbb{R}^n).$ The latter space is the image under the Bessel potential $J := (1-\Delta)^{-1/2}$ of the space $\mathbf{bmo}(\mathbb{R}^n),$ which is a non-homogeneous version of the classical $\mathrm{BMO}.$ Locally, $\mathrm{J}(\mathbf{bmo})(\mathbb{R}^n)$ consists of functions that together with their first derivatives are in $\mathbf{bmo}(\mathbb{R}^n).$ More generally, we consider the same question when the Zygmund class is replaced by the H\"older space $\Lambda_{s}(\mathbb{R}^n),$ with $0 < s \leq 1$ and the corresponding subspace is $\mathrm{J}_{s}(\mathbf{bmo})(\mathbb{R}^n),$ the image under $(1-\Delta)^{-s/2}$ of $\mathbf{bmo}(\mathbb{R}^n).$ One should note here that $\Lambda_{1}(\mathbb{R}^n) = \Lambda_{\ast}(\mathbb{R}^n).$ Such results were known earlier only for $n = s = 1$ with a proof that does not extend to the general case. Our results are expressed in terms of second differences. As a byproduct of our wavelet based proof, we also obtain the distance from $f \in \Lambda_{s}(\mathbb{R}^n)$ to $\mathrm{J}_{s}(\mathbf{bmo})(\mathbb{R}^n)$ in terms of the wavelet coefficients of $f.$ We additionally establish a third way to express this distance in terms of the size of the hyperbolic gradient of the harmonic extension of $f$ on the upper half-space $\mathbb{R}^{n+1}_{+}.$


title: Influence of ambipolar and Hall effects on vorticity in 3D simulations of magneto-convection

abstract: This paper presents the results of the analysis of 3D simulations of solar magneto-convection that include the joint action of the ambipolar diffusion and the Hall effect. Three simulation-runs are compared: one including both ambipolar diffusion and Hall effect; one including only ambipolar diffusion; and one without any of these two effects. The magnetic field is amplified from initial field to saturation level by the action of turbulent local dynamo. In each of these cases, we study 2 hours of simulated solar time after the local dynamo reaches the saturation regime. We analyze the power spectra of vorticity, of magnetic field fluctuations and of the different components of the magnetic Poynting flux responsible for the transport of vertical or horizontal perturbations. Our preliminary results show that the ambipolar diffusion produces a strong reduction of vorticity in the upper chromospheric layers and that it dissipates the vortical perturbations converting them into thermal energy. The Hall effect acts in the opposite way, strongly enhancing the vorticity. When the Hall effect is included, the magnetic field in the simulations becomes, on average, more vertical and long-lived flux tube-like structures are produced. We trace a single magnetic structure to study its evolution pattern and the magnetic field intensification, and their possible relation to the Hall effect.


title: Gravitational Waves and Dark Radiation from Dark Phase Transition: Connecting NANOGrav Pulsar Timing Data and Hubble Tension

abstract: Recent pulsar timing data reported by the NANOGrav collaboration may indicate the existence of a stochastic gravitational wave background around $f \sim 10^{-8}$ Hz. We explore a possibility to generate such low-frequency gravitational waves from a dark sector phase transition. Assuming that the dark sector is completely decoupled from the visible sector except via the gravitational interaction, we find that some amount of dark radiation should remain until present. The NANOGrav data implies that the amount of dark radiation is close to the current upper bound, which may help mitigate the so-called Hubble tension. If the existence of dark radiation is not confirmed in the future CMB-S4 experiment, it would imply the existence of new particles feebly interacting with the standard model sector at an energy scale of O(1-100) MeV.


title: Geometric analysis on real analytic manifolds

abstract: The continuity, in a suitable topology, of algebraic and geometric operations on real analytic manifolds and vector bundles is proved. This is carried out using recently arrived at seminorms for the real analytic topology. A new characterisation of the topology of the space of real analytic mappings between manifolds is also developed. To characterise these topologies, geometric decompositions of various jet bundles are given by use of connections. These decompositions are then used to characterise many of the standard operations from differential geometry: algebraic operations, tensor evaluation, various lifts of tensor fields, compositions of mappings, etc. Apart from the main results, numerous techniques are developed that will facilitate the performing of analysis on real analytic manifolds.


title: Demand Prediction Using Machine Learning Methods and Stacked Generalization

abstract: Supply and demand are two fundamental concepts of sellers and customers. Predicting demand accurately is critical for organizations in order to be able to make plans. In this paper, we propose a new approach for demand prediction on an e-commerce web site. The proposed model differs from earlier models in several ways. The business model used in the e-commerce web site, for which the model is implemented, includes many sellers that sell the same product at the same time at different prices where the company operates a market place model. The demand prediction for such a model should consider the price of the same product sold by competing sellers along the features of these sellers. In this study we first applied different regression algorithms for specific set of products of one department of a company that is one of the most popular online e-commerce companies in Turkey. Then we used stacked generalization or also known as stacking ensemble learning to predict demand. Finally, all the approaches are evaluated on a real world data set obtained from the e-commerce company. The experimental results show that some of the machine learning methods do produce almost as good results as the stacked generalization method.


title: Gelfand duality for manifolds, and vector and other bundles

abstract: In general terms, Gelfand duality refers to a correspondence between a geometric, topological, or analytical category, and an algebraic category. For example, in smooth differential geometry, Gelfand duality refers to the topological embedding of a smooth manifold in the topological dual of its algebra of smooth functions. This is generalised here in two directions. First, the topological embeddings for manifolds are generalised to the cases of real analytic and Stein manifolds, using a unified cohomological argument. Second, this type of duality is extended to vector bundles, affine bundles, and jet bundles by using suitable classes of functions, the topological duals in which the embeddings take their values.