title: BARS-CTR: Open Benchmarking for Click-Through Rate Prediction

abstract: Click-through rate (CTR) prediction is a critical task for many applications, as its accuracy has a direct impact on user experience and platform revenue. In recent years, CTR prediction has been widely studied in both academia and industry, resulting in a wide variety of CTR prediction models. Unfortunately, there is still a lack of standardized benchmarks and uniform evaluation protocols for CTR prediction research. This leads to non-reproducible or even inconsistent experimental results among existing studies, which largely limits the practical value and potential impact of their research. In this work, we aim to perform open benchmarking for CTR prediction and present a rigorous comparison of different models in a reproducible manner. To this end, we ran over 7,000 experiments for more than 12,000 GPU hours in total to re-evaluate 24 existing models on multiple datasets and settings. Surprisingly, our experiments show that with sufficient hyper-parameter search and model tuning, many deep models have smaller differences than expected. The results also reveal that making real progress on the modeling of CTR prediction is indeed a very challenging research task. We believe that our benchmarking work could not only allow researchers to gauge the effectiveness of new models conveniently but also make them fairly compare with the state of the arts. We have publicly released the benchmarking code, evaluation protocols, and hyper-parameter settings of our work to promote reproducible research in this field.


title: Photocurrent of exciton polaritons

abstract: We study photocurrent of exciton polaritons in inversion broken systems. We use an effective Hamiltonian and Green's function approaches to deduce the formula for polariton photocurrent. The obtained formula shows the polariton photocurrent is proportional to the polariton density and shows opposite signs for the upper and lower branches. Nonvanishing polariton photocurrent requires time reversal symmetry breaking in addition to inversion symmetry breaking. We show that exciton states in transition metal dichalcogenides such as MoS$_2$ support polariton photocurrent once we break time reversal symmetry by applying magnetic fields or using photons with circular polarization. We also perform a simulation based on a rate equation and study a time profile of polariton photocurrent after pulse excitation, which indicates that the photocurrent provides a useful nonlinear probe to study nonequilibrium dynamics of exciton polaritons.


title: Revisiting the Threat Space for Vision-based Keystroke Inference Attacks

abstract: A vision-based keystroke inference attack is a side-channel attack in which an attacker uses an optical device to record users on their mobile devices and infer their keystrokes. The threat space for these attacks has been studied in the past, but we argue that the defining characteristics for this threat space, namely the strength of the attacker, are outdated. Previous works do not study adversaries with vision systems that have been trained with deep neural networks because these models require large amounts of training data and curating such a dataset is expensive. To address this, we create a large-scale synthetic dataset to simulate the attack scenario for a keystroke inference attack. We show that first pre-training on synthetic data, followed by adopting transfer learning techniques on real-life data, increases the performance of our deep learning models. This indicates that these models are able to learn rich, meaningful representations from our synthetic data and that training on the synthetic data can help overcome the issue of having small, real-life datasets for vision-based key stroke inference attacks. For this work, we focus on single keypress classification where the input is a frame of a keypress and the output is a predicted key. We are able to get an accuracy of 95.6% after pre-training a CNN on our synthetic data and training on a small set of real-life data in an adversarial domain adaptation framework. Source Code for Simulator: https://github.com/jlim13/keystroke-inference-attack-synthetic-dataset-generator-


title: The Thousand-Pulsar-Array programme on MeerKAT IV: Polarisation properties of young, energetic pulsars

abstract: We present observations of 35 high spin-down energy radio pulsars using the MeerKAT telescope. Polarisation profiles and associated parameters are also presented. We derive the geometry for a selection of pulsars which show interpulse emission. We point out that, in several cases, these radio pulsars should also be seen in $\gamma$-rays but that improved radio timing is required to aid the high-energy detection. We discuss the relationship between the width of the radio profile and its high-energy detectability. Finally, we reflect on the correlation between the spin-down energy and the radio polarisation fraction and the implications this may have for $\gamma$-ray emission.


title: A Simple and Efficient Framework for Identifying Relation-gaps in Ontologies

abstract: Though many ontologies have huge number of classes, one cannot find a good number of object properties connecting the classes in most of the cases. Adding object properties makes an ontology richer and more applicable for tasks such as Question Answering. In this context, the question of which two classes should be considered for discovering object properties becomes very important. We address the above question in this paper. We propose a simple machine learning framework which exhibits low time complexity and yet gives promising results with respect to both precision as well as number of class-pairs retrieved.


title: Distributed Kalman Estimation with Decoupled Local Filters

abstract: We study a distributed Kalman filtering problem in which a number of nodes cooperate without central coordination to estimate a common state based on local measurements and data received from neighbors. This is typically done by running a local filter at each node using information obtained through some procedure for fusing data across the network. A common problem with existing methods is that the outcome of local filters at each time step depends on the data fused at the previous step. We propose an alternative approach to eliminate this error propagation. The proposed local filters are guaranteed to be stable under some mild conditions on certain global structural data, and their fusion yields the centralized Kalman estimate. The main feature of the new approach is that fusion errors introduced at a given time step do not carry over to subsequent steps. This offers advantages in many situations including when a global estimate in only needed at a rate slower than that of measurements or when there are network interruptions. If the global structural data can be fused correctly asymptotically, the stability of local filters is equivalent to that of the centralized Kalman filter. Otherwise, we provide conditions to guarantee stability and bound the resulting estimation error. Numerical experiments are given to show the advantage of our method over other existing alternatives.


title: Iterative beam search algorithms for the permutation flowshop

abstract: We study an iterative beam search algorithm for the permutation flowshop (makespan and flowtime minimization). This algorithm combines branching strategies inspired by recent branch-and-bounds and a guidance strategy inspired by the LR heuristic. It obtains competitive results, reports many new-best-so-far solutions on the VFR benchmark (makespan minimization) and the Taillard benchmark (flowtime minimization) without using any NEH-based branching or iterative-greedy strategy. The source code is available at: https://gitlab.com/librallu/cats-pfsp.


title: Positive Trust Balance for Self-Driving Car Deployment

abstract: The crucial decision about when self-driving cars are ready to deploy is likely to be made with insufficient lagging metric data to provide high confidence in an acceptable safety outcome. A Positive Trust Balance approach can help with making a responsible deployment decision despite this uncertainty. With this approach, a reasonable initial expectation of safety is based on a combination of a practicable amount of testing, engineering rigor, safety culture, and a strong commitment to use post-deployment operational feedback to further reduce uncertainty. This can enable faster deployment than would be required by more traditional safety approaches by reducing the confidence necessary at time of deployment in exchange for a more stringent requirement for Safety Performance Indicator (SPI) field feedback in the context of a strong safety culture.


title: Learning Daily Calorie Intake Standard using a Mobile Game

abstract: Mobile games can contribute to learning at greater success. In this paper, we have developed and evaluated a novel educational game, named FoodCalorie, to learn the food calorie intake standards. Our game is aimed to learn the calorie values of various traditional Bangladeshi foods and the calorie intake standard that varies with age and gender. Our study confirms the finding of existing studies that game-based learning can enhance the learning experience.


title: Gaussian Process Regression for Geometry Optimization

abstract: We implemented a geometry optimizer based on Gaussian process regression (GPR) to find minimum structures on potential energy surfaces. We tested both a two times differentiable form of the Mat\'{e}rn kernel and the squared exponential kernel. The Mat\'{e}rn kernel performs much better. We give a detailed description of the optimization procedures. These include overshooting the step resulting from GPR in order to obtain a higher degree of interpolation vs. extrapolation. In a benchmark against the L-BFGS optimizer of the DL-FIND library on 26 test systems, we found the new optimizer to generally reduce the number of required optimization steps.


title: ALMA Observations of Giant Molecular Clouds in M33. II. Triggered High-mass Star Formation by Multiple Gas Colliding Events at the NGC 604 Complex

abstract: We present the results of ALMA observations in $^{12}$CO($J=2-1$), $^{13}$CO($J=2-1$), and C$^{18}$O($J=2-1$) lines and 1.3 mm continuum emission toward a massive ($\sim 10^6 M_{\odot}$) giant molecular cloud associated with the giant H II region NGC 604 in one of the nearest spiral galaxy M33 at an angular resolution of 0''.44 $\times$ 0''.27 (1.8 pc $\times$ 1.1 pc). The $^{12}$CO and $^{13}$CO images show highly complicated molecular structures composed of a lot of filaments and shells whose lengths are 5 -- 20 pc. We found three 1.3 mm continuum sources as dense clumps at edges of two shells and also at an intersection of several filaments. We examined the velocity structures of $^{12}$CO($J=2-1$) emission in the shells and filaments containing dense clumps, and concluded that expansion of the H II regions cannot explain the formation of such dense cores. Alternatively, we suggest that cloud--cloud collisions induced by an external H I gas flow and the galactic rotation compressed the molecular material into dense filaments/shells as ongoing high-mass star formation sites. We propose that multiple gas converging/colliding events with a velocity of a few tens km s$^{-1}$ are necessary to build up NGC 604, the most significant cluster-forming complex in the Local Group of galaxies.


title: Multi-way Spectral Clustering of Augmented Multi-view Data through Deep Collective Matrix Tri-factorization

abstract: We present the first deep learning based architecture for collective matrix tri-factorization (DCMTF) of arbitrary collections of matrices, also known as augmented multi-view data. DCMTF can be used for multi-way spectral clustering of heterogeneous collections of relational data matrices to discover latent clusters in each input matrix, across both dimensions, as well as the strengths of association across clusters. The source code for DCMTF is available on our public repository: https://bitbucket.org/cdal/dcmtf_generic


title: Contaminant transport by human passage through an air curtain separating two sections of a corridor: Part I -- uniform ambient temperature

abstract: Air curtains are commonly used as separation barriers to reduce exchange flows through an open-door of a building.Here, we investigated the effectiveness of an air curtain to prevent the transport of contaminants by a person walking along a corridor from a dirty zone into a clean zone. We conducted small-scale waterbath experiments with freshwater, brine and sugar solutions, with the brine as a passive tracer for the contaminant in the wake of person. A cylinder representing human walking was pulled between two fixed points in the channel across the air curtain. We observed that the air curtain can prevent up to 40% of the contaminant transport due to the wake of a moving person.We proposed a new way to evaluate the performance of an air curtain in terms of the deflection modulus and the effectiveness defined for this iso-density situation, similar to quantities typically used for the case where the fluid densities in the two zones are different. We observed that the air curtain has an optimal operating condition to achieve a maximum effectiveness. Dye visualisations and time-resolved particle image velocimetry of the air curtain and the cylinder wake were used to examine the re-establishment process of the planar jet after its disruption by the cylinder and we observed that some part of the wake is separated by the re-establishing curtain. We observed that the exchange flux peaks after the cylinder passes the air curtain and reduces to a typical value after the re-establishment of the curtain.


title: Noncommutative geometry on central extension of U(u(2))

abstract: In our previous publications we have introduced analogs of partial derivatives on the algebras U(gl(N)). In the present paper we compare two methods of introducing these analogs: via the so-called quantum doubles and by means of a coalgebraic structure. In the case N=2 we extend the quantum partial derivatives from U(u(2)) (the compact form of the algebra U(gl(2))) on a bigger algebra, constructed in two steps. First, we define the derivatives on a central extension of this algebra, then we prolongate them on some elements of the corresponding skew-field by using the Cayley-Hamilton identities for certain matrices with noncommutative entries. Eventual applications of this differential calculus are discussed.


title: Representations of the finite-dimensional point densities in Arratia flows with drift

abstract: We derive representations for finite-dimensional densities of the point processed associated with an Arratia flow with drift in terms of conditional expectations of the stochastic exponentials appearing in the analog of the Girsanov theorem for Arratia flows.


title: Anomalous thermodynamics of a quantum spin system with large residual entropy

abstract: In contrast to strongly frustrated classical systems, their quantum counterparts typically have a non-degenerate ground state. A counterexample is the celebrated Heisenberg sawtooth spin chain with ferromagnetic zigzag bonds $J_1$ and competing antiferromagnetic basal bonds $J_2$. At a quantum phase transition point $|J_2/J_1|=1/2$, this model exhibits a flat one-magnon excitation band leading to a massively degenerate ground-state manifold which results in a large residual entropy. Thus, for the spin-half model, the residual entropy amounts to exactly one half of its maximum value $\lim_{T\to\infty} S(T)/N = \ln2$. In the present paper we study in detail the role of the spin quantum number $s$ and the magnetic field $H$ in the parameter region around the transition (flat-band) point. For that we use full exact diagonalization up to $N=20$ lattice sites and the finite-temperature Lanczos method up to $N=36$ sites to calculate the density of states as well as the temperature dependence of the specific heat, the entropy and the susceptibility. The study of chain lengths up to $N=36$ allows a careful finite-size analysis. At the flat-band point we find extremely small finite-size effects for spin $s=1/2$, i.e., the numerical data virtually correspond to the thermodynamic limit. In all other cases the finite-size effects are still small and become visible at very low temperatures. In a sizeable parameter region around the flat-band point the former massively degenerate ground-state manifold acts as a large manifold of low-lying excitations leading to extraordinary thermodynamic properties at the transition point as well as in its vicinity such as an additional low-temperature maximum in the specific heat. Moreover, there is a very strong influence of the magnetic field on the low-temperature thermodynamics including an enhanced magnetocaloric effect.


title: Inflation of poorly conditioned zeros of systems of analytic functions

abstract: Given a system of analytic functions and an approximate zero, we introduce inflation to transform this system into one with a regular quadratic zero. This leads to a method for isolating a cluster of zeros of the given system.


title: Universal translational velocity of vortex rings behind conical objects

abstract: Ring vortices are efficient at transporting fluid. They are often produced by ejecting a volume of fluid through a circular orifice. The impulse given to the vortex rings results in a propulsive force on the generator. Propulsive vortex rings have been widely studied and characterised. After four convective times, the vortex moves faster than the shear layer it originates from, and separates. This separation corresponds to a maximum in circulation and a maximal spread of the vorticity, quantified by the non-dimensional energy. The simultaneity of these three events obfuscates the causality between them. To analyse the temporal evolution of the non-dimensional energy of ring vortices independent of their separation, we analyse the development of vortices generated in the wake of cones. Cones with different apertures and diameters were accelerated from rest to produce a wide variety of vortex rings and their energy, circulation, and velocity were extracted based on time-resolved velocity field measurements. The rings that form behind the cones have a self-induced velocity that causes them to follow the cone and they continue to grow as the cone travels well beyond the limiting vortex formation times scales observed for propulsive vortices. The non-dimensional circulation, based on the vortex diameter, and the non-dimensional energy of the drag vortex rings converge after three convective times to values comparable to their propulsive counterparts. This result proves that vortex pinch-off does not cause the non-dimensional energy to reach a minimum value. The limiting values of the non-dimensional circulation and energy are mostly independent of the cone geometry and translational velocity and fall within an interval of 10% around the mean value. With only 6% of variation, the velocity of the vortex is the most unifying quantity that governs the formation of vortex rings behind cones.


title: Learning semantic Image attributes using Image recognition and knowledge graph embeddings

abstract: Extracting structured knowledge from texts has traditionally been used for knowledge base generation. However, other sources of information, such as images can be leveraged into this process to build more complete and richer knowledge bases. Structured semantic representation of the content of an image and knowledge graph embeddings can provide a unique representation of semantic relationships between image entities. Linking known entities in knowledge graphs and learning open-world images using language models has attracted lots of interest over the years. In this paper, we propose a shared learning approach to learn semantic attributes of images by combining a knowledge graph embedding model with the recognized attributes of images. The proposed model premises to help us understand the semantic relationship between the entities of an image and implicitly provide a link for the extracted entities through a knowledge graph embedding model. Under the limitation of using a custom user-defined knowledge base with limited data, the proposed model presents significant accuracy and provides a new alternative to the earlier approaches. The proposed approach is a step towards bridging the gap between frameworks which learn from large amounts of data and frameworks which use a limited set of predicates to infer new knowledge.


title: Radiation Magnetohydrodynamic Simulations of Sub-Eddington accretion Flows in AGN: Origin of Soft X-ray Excess and Rapid Time Variabilities

abstract: We investigate the origin of the soft X-ray excess component in Seyfert galaxies observed when their luminosity exceeds 0.1% of the Eddington luminosity ($L_{\mathrm{Edd}}$). The evolution of a dense blob in radiatively inefficient accretion flow (RIAF) is simulated by applying a radiation magnetohydrodynamic code, CANS+R. When the accretion rate onto a $10^7M_{\odot}$ black hole exceeds 10% of the Eddington accretion rate ($\dot M_{\rm Edd}=L_{\rm Edd}/c^2$, where $c$ is the speed of light)}, the dense blob shrinks vertically because of radiative cooling and forms a Thomson thick, relatively cool ($\sim10^{7-8}$ K) region. The cool region coexists with the optically thin, hot ($T\sim10^{11}~\mathrm{K}$) RIAF near the black hole. The cool disk is responsible for the soft X-ray emission, while hard X-rays are emitted from the hot inner accretion flow. The soft X-ray emitting region coexists with the optically thin, hot ($T \sim 10^{11}~\mathrm{K}$), radiatively inefficient accretion flow (RIAF) near the black hole. Such a hybrid structure of hot and cool accretion flows is consistent with the observations of both hard and soft X-ray emissions from `changing-look' active galactic nuclei (CLAGN). Furthermore, we find that quasi-periodic oscillations (QPOs) are excited in the soft X-ray emitting region. These oscillations can be the origin of rapid X-ray time variabilities observed in CLAGN.


title: Multi-Channel Potts-Based Reconstruction for Multi-Spectral Computed Tomography

abstract: We consider reconstructing multi-channel images from measurements performed by photon-counting and energy-discriminating detectors in the setting of multi-spectral X-ray computed tomography (CT). Our aim is to exploit the strong structural correlation that is known to exist between the channels of multi-spectral CT images. To that end, we adopt the multi-channel Potts prior to jointly reconstruct all channels. This prior produces piecewise constant solutions with strongly correlated channels. In particular, edges are enforced to have the same spatial position across channels which is a benefit over TV-based methods. We consider the Potts prior in two frameworks: (a) in the context of a variational Potts model, and (b) in a Potts-superiorization approach that perturbs the iterates of a basic iterative least squares solver. We identify an alternating direction method of multipliers (ADMM) approach as well as a Potts-superiorized conjugate gradient method as particularly suitable. In numerical experiments, we compare the Potts prior based approaches to existing TV-type approaches on realistically simulated multi-spectral CT data and obtain improved reconstruction for compound solid bodies.


title: Explainable Automated Reasoning in Law using Probabilistic Epistemic Argumentation

abstract: Applying automated reasoning tools for decision support and analysis in law has the potential to make court decisions more transparent and objective. Since there is often uncertainty about the accuracy and relevance of evidence, non-classical reasoning approaches are required. Here, we investigate probabilistic epistemic argumentation as a tool for automated reasoning about legal cases. We introduce a general scheme to model legal cases as probabilistic epistemic argumentation problems, explain how evidence can be modeled and sketch how explanations for legal decisions can be generated automatically. Our framework is easily interpretable, can deal with cyclic structures and imprecise probabilities and guarantees polynomial-time probabilistic reasoning in the worst-case.


title: $f$-electron and magnetic ordering effects in nickelates LaNiO$_2$ and NdNiO$_2$: remarkable role of the cuprate-like $3d_{x^2-y^2}$ band

abstract: Recent discovery of superconductivity in the doped infinite-layer nickelates has renewed interest in understanding the nature of high-temperature superconductivity more generally. The low-energy electronic structure of the parent compound NdNiO$_{2}$, the role of electronic correlations in driving superconductivity, and the possible relationship betweeen the cuprates and the nickelates are still open questions. Here, by comparing LaNiO$_2$ and NdNiO$_2$ systematically within a parameter-free density functional framework, all-electron first-principles framework, we reveal the role Nd 4$f$ electrons in shaping the ground state of pristine NdNiO$_2$. Strong similarities are found between the electronic structures of LaNiO$_2$ and NdNiO$_2$, except for the effects of the 4$f$-electrons. Hybridization between the Nd 4$f$ and Ni 3$d$ orbitals is shown to significantly modify the Fermi surfaces of various magnetic states. In contrast, the competition between the magnetically ordered phases depends mainly on the gaps in the Ni $d_{x2-y2}$ band, so that the ground state in LaNiO$_2$ and NdNiO$_2$ turns out to be striking similarity to that of the cuprates. The $d-p$ band-splitting is found to be much larger while the intralayer 3$d$ ion-exchange coupling is smaller in the nickelates compared to the cuprates. Our estimated value of the on-site Hubbard $U$ is similar to that in the cuprates, but the value of the Hund's coupling $J_H$ is found to be sensitive to the Nd magnetic moment. The exchange coupling $J$ in NdNiO$_2$ is only half as large as in the curpates, which may explain why $T_c$ in the nickelates is half as large as the cuprates.


title: Country Image in COVID-19 Pandemic: A Case Study of China

abstract: Country image has a profound influence on international relations and economic development. In the worldwide outbreak of COVID-19, countries and their people display different reactions, resulting in diverse perceived images among foreign public. Therefore, in this study, we take China as a specific and typical case and investigate its image with aspect-based sentiment analysis on a large-scale Twitter dataset. To our knowledge, this is the first study to explore country image in such a fine-grained way. To perform the analysis, we first build a manually-labeled Twitter dataset with aspect-level sentiment annotations. Afterward, we conduct the aspect-based sentiment analysis with BERT to explore the image of China. We discover an overall sentiment change from non-negative to negative in the general public, and explain it with the increasing mentions of negative ideology-related aspects and decreasing mentions of non-negative fact-based aspects. Further investigations into different groups of Twitter users, including U.S. Congress members, English media, and social bots, reveal different patterns in their attitudes toward China. This study provides a deeper understanding of the changing image of China in COVID-19 pandemic. Our research also demonstrates how aspect-based sentiment analysis can be applied in social science researches to deliver valuable insights.


title: MeLIME: Meaningful Local Explanation for Machine Learning Models

abstract: Most state-of-the-art machine learning algorithms induce black-box models, preventing their application in many sensitive domains. Hence, many methodologies for explaining machine learning models have been proposed to address this problem. In this work, we introduce strategies to improve local explanations taking into account the distribution of the data used to train the black-box models. We show that our approach, MeLIME, produces more meaningful explanations compared to other techniques over different ML models, operating on various types of data. MeLIME generalizes the LIME method, allowing more flexible perturbation sampling and the use of different local interpretable models. Additionally, we introduce modifications to standard training algorithms of local interpretable models fostering more robust explanations, even allowing the production of counterfactual examples. To show the strengths of the proposed approach, we include experiments on tabular data, images, and text; all showing improved explanations. In particular, MeLIME generated more meaningful explanations on the MNIST dataset than methods such as GuidedBackprop, SmoothGrad, and Layer-wise Relevance Propagation. MeLIME is available on https://github.com/tiagobotari/melime.


title: Map-merging Algorithms for Visual SLAM: Feasibility Study and Empirical Evaluation

abstract: Simultaneous localization and mapping, especially the one relying solely on video data (vSLAM), is a challenging problem that has been extensively studied in robotics and computer vision. State-of-the-art vSLAM algorithms are capable of constructing accurate-enough maps that enable a mobile robot to autonomously navigate an unknown environment. In this work, we are interested in an important problem related to vSLAM, i.e. map merging, that might appear in various practically important scenarios, e.g. in a multi-robot coverage scenario. This problem asks whether different vSLAM maps can be merged into a consistent single representation. We examine the existing 2D and 3D map-merging algorithms and conduct an extensive empirical evaluation in realistic simulated environment (Habitat). Both qualitative and quantitative comparison is carried out and the obtained results are reported and analyzed.


title: Empty axis-parallel boxes

abstract: We show that, for every set of $n$ points in the $d$-dimensional unit cube, there is an empty axis-parallel box of volume at least $\Omega(d/n)$ as $n\to\infty$ and $d$ is fixed. In the opposite direction, we give a construction without an empty axis-parallel box of volume $O(d^2\log d/n)$. These improve on the previous best bounds of $\Omega(\log d/n)$ and $O(2^{7d}/n)$ respectively.


title: A search for He I airglow emission from the hot Jupiter tau Boo b

abstract: The helium absorption line at 10830 {\AA}, originating from the metastable triplet state 2$^3$S, has been suggested as an excellent probe for the extended atmospheres of hot Jupiters and their hydrodynamic escape processes, and has recently been detected in the transmission spectra of a handful of planets. The isotropic re-emission will lead to helium airglow that may be observable at other orbital phases. The goal of this paper is to investigate the detectability of He I emission at 10830 {\AA} in the atmospheres of exoplanets using high-resolution spectroscopy, providing insights into the properties of the upper atmospheres of close-in gas giants. We estimated the expected strength of He I emission in hot Jupiters based on their transmission signal. We searched for the He I 10830 {\AA} emission feature in tau Boo b in three nights of high-resolution spectra taken by CARMENES at the 3.5m Calar Alto telescope. The spectra from each night were corrected for telluric absorption, sky emission lines, and stellar features, and were shifted to the planetary rest frame to search for the emission. The He I emission is not detected in tau Boo b, reaching a 5 sigma contrast limit of 4$\times$10$^{-4}$ for emission line widths above 20 km/s. This is roughly a factor of 8 above the expected level of emission (assuming a typical He I transit absorption of 1% for hot Jupiters). This suggests that targeting the He I emission with well-designed observations using upcoming instruments such as VLT/CRIRES+ and E-ELT/HIRES is possible.


title: Complete convergence of the Hilbert transform

abstract: Suppose that $\{a_j\}\in \ell^1$, and suppose that for any sequence $(t_n)$ of integers there exits a constant $C_1>0$ such that $$\sharp\left\{k\in\mathbb{Z}:\sup_{n\geq 1}\left|\sum_{i\in \mathcal{B}_n-t_n} \!\!\!\raise{1.9ex}\hbox{$\scriptsize\prime$}\; \frac{a_{k+i}}{i}\right|>\lambda\right\}\\ \leq C_1\sharp\left\{k\in\mathbb{Z}:\sup_{n\geq 1}\left|\sum_{i\in \mathcal{B}_n} \!\!\raise{1.9ex}\hbox{$\scriptsize\prime$}\; \frac{a_{k+i}}{i}\right|>\lambda\right\},$$ for all $\lambda >0$, where $\mathcal{B}_n=\{-n, -(n-1), -(n-2),\dots , n-2, n-1, n\}$. Then there is a constant $C_2>0$ which does not depend on the sequence $\{a_j\}$ such that $$\sum_{n=1}^\infty\sharp\left\{k\in\mathbb{Z}:\left|\sum_{i=-n}^{n} \!\!\raise{1.9ex}\hbox{$\scriptsize\prime$}\; \frac{a_{k+i}}{i}\right|>\lambda\right\}\leq\frac{C_2}{\lambda}\sum_{i=-\infty}^{\infty}|a_i|$$ for all $\lambda>0$. Let $(X,\mathscr{B},\mu )$ be a measure space, $\tau :X\to X$ an invertible measure-preserving transformation, and suppose that $f\in L^1(X)$ such that for any sequence $(t_n)$ of integers there exists a constant $C_1>0$ such that $$\mu\left\{ x: \sup_{n\geq 1}\left|\sum_{i\in \mathcal{B}_n-t_n}\!\!\!\raise{1.9ex}\hbox{$\scriptsize\prime$}\; \frac{f(\tau^ix)}{i}\right| >\lambda \right\}\leq C_1\mu\left\{x: \sup_{n\geq 1}\left|\sum_{i\in \mathcal{B}_n}\!\!\raise{1.9ex}\hbox{$\scriptsize\prime$}\; \frac{f(\tau^i x)}{i}\right|>\lambda \right\} $$ for all $\lambda >0$, where $\mathcal{B}_n=\{-n, -(n-1), -(n-2),\dots , n-2, n-1, n\}$. Then there exists a constant $C_2>0$ which does not depend on $f$ such that $$\sum_{n=1}^\infty\mu\left\{x:\left|\sum_{i=-n}^{n}\!\!\raise{1.9ex}\hbox{$\scriptsize\prime$} \;\frac{f(\tau^ix)}{i}\right|>\lambda\right\}\leq\frac{C_2}{\lambda}\|f\|_1$$ for all $\lambda >0$.


title: On Achieving Leximin Fairness and Stability in Many-to-One Matchings

abstract: The past few years have seen a surge of work on fairness in allocation problems where items must be fairly divided among agents having individual preferences. In comparison, fairness in settings with preferences on both sides, that is, where agents have to be matched to other agents, has received much less attention. Moreover, two-sided matching literature has largely focused on ordinal preferences. This paper initiates the study of fairness in stable many-to-one matchings under cardinal valuations. Motivated by real-world settings, we study leximin optimality over stable many-to-one matchings. We first investigate matching problems with ranked valuations where all agents on each side have the same preference orders or rankings over the agents on the other side (but not necessarily the same valuations). Here, we provide a complete characterisation of the space of stable matchings. This leads to FaSt, a novel and efficient algorithm to compute a leximin optimal stable matching under ranked isometric valuations (where, for each pair of agents, the valuation of one agent for the other is the same). Building upon FaSt, we present an efficient algorithm, FaSt-Gen, that finds the leximin optimal stable matching for a more general ranked setting. When there are exactly two agents on one side who may be matched to many agents on the other, strict preferences are enough to guarantee an efficient algorithm. We next establish that, in the absence of rankings and under strict preferences (with no restriction on the number of agents on either side), finding a leximin optimal stable matching is NP-Hard. Further, with weak rankings, the problem is strongly NP-Hard, even under isometric valuations. In fact, when additivity and non-negativity are the only assumptions, we show that, unless P=NP, no efficient polynomial factor approximation is possible.


title: A note on rank two stable bundles over surfaces

abstract: Let $\pi: X \longrightarrow C$ be a fibration with reduced fibers over a curve $C$ and consider a polarization $H$ on the surface $X$. Let $E$ be a stable vector bundle of rank $2$ on $C$. We prove that the pullback $\pi^*E$ is a $H-$stable bundle over $X$. This result allows us to relate the corresponding moduli spaces of stable bundles $\mathcal{M}_C(2,d)$ and $\mathcal{M}_{X,H}(2,df,0)$ through an injective morphism. We study the induced morphism at the level of Brill-Noether loci to construct examples of Brill-Noether loci on fibered surfaces. Results concerning the emptiness of Brill-Noether loci follow as a consequence of a generalization of Clifford's Theorem for rank two bundles on surfaces.


title: W*-Algebras as a complete axiomatisation of Von-Neumann algebras

abstract: By the Gelfand-Naimark theorem, any C*-algebra is isometrically isomorphic to a *-algebra of bounded operators on a Hilbert space which is closed with respect to the topology induced by the operator norm. Hence, the C*-algebras furnish an axiomatisation of the structure of those operator algebras. In fact, the axiomatisation is complete in the sense that the entire structural information considered on the closed *-algebra -- namely addition, scalar multiplication, adjunction and composition of operators as well as the operator norm -- is reflected in the C*-algebra. From this point of view, we treat Von-Neumann algebras, another class of operator algebras also defined as closed *-algebras, but with respect to another topology -- one possibility is the weak operator topology. The problem asking for an axiomatisation of Von-Neumann algebras was solved by S. Sakai who introduced so-called W*-algebras. They are C*-algebras which, considered as a Banach space, are isometrically isomorphic to the dual space of another Banach space called the predual. Sakai's theorem asserts that the W*-algebras provide an axiomatisation of Von-Neumann algebras. In this master's thesis, we give a proof of Sakai's theorem. In fact, we provide a stronger version of Sakai's theorem which shows that W*-algebras indeed form a complete axiomatisation analogous to the situation for C*-algebras. Additionally, we show uniqueness of the predual up to isometric isomorphism, simplifying Sakai's original proof by using our strengthened version of Sakai's theorem.


title: On the security of subspace subcodes of Reed-Solomon codes for public key encryption

abstract: This article discusses the security of McEliece-like encryption schemes using subspace subcodes of Reed-Solomon codes, i.e. subcodes of Reed-Solomon codes over $\mathbb{F}_{q^m}$ whose entries lie in a fixed collection of $\mathbb{F}_q$-subspaces of $\mathbb{F}_{q^m}$. These codes appear to be a natural generalisation of Goppa and alternant codes and provide a broader flexibility in designing code based encryption schemes. For the security analysis, we introduce a new operation on codes called the twisted product which yields a polynomial time distinguisher on such subspace subcodes as soon as the chosen $\mathbb{F}_q$-subspaces have dimension larger than $m/2$. From this distinguisher, we build an efficient attack which in particular breaks some parameters of a recent proposal due to Khathuria, Rosenthal and Weger.


title: Algebraic $K$-theory of $\text{THH}(\mathbb{F}_p)$

abstract: In this work we study the $E_{\infty}$-ring $\text{THH}(\mathbb{F}_p)$ as a graded spectrum. Following an identification at the level of $E_2$-algebras with $\mathbb{F}_p[\Omega S^3]$, the group ring of the $E_1$-group $\Omega S^3$ over $\mathbb{F}_p$, we show that the grading on $\text{THH}(\mathbb{F}_p)$ arises from decomposition on the cyclic bar construction of the pointed monoid $\Omega S^3$. This allows us to use trace methods to compute the algebraic $K$-theory of $\text{THH}(\mathbb{F}_p)$. We also show that as an $E_2$ $H\mathbb{F}_p$-ring, $\text{THH}(\mathbb{F}_p)$ is uniquely determined by its homotopy groups. These results hold in fact for $\text{THH}(k)$, where $k$ is any perfect field of characteristic $p$. Along the way we expand on some of the methods used by Hesselholt-Madsen and later by Speirs to develop certain tools to study the THH of graded ring spectra and the algebraic $K$-theory of formal DGAs.


title: Multi-Approach Debugging of Industrial IoT Workflows

abstract: Industrial Internet-of-Things (IIoT) results from the addition of sensing and actuating capabilities to industrial environments to improve the overall manufacturing processes. Some of these systems have highly-complex tasks of monitorization and control and need to be programmed accordingly. The use of visual programming, such as workflows, is common in these systems due to the abstraction they provide to the systems programmer. However, such programming environments have several deficiencies on what regards debugging capabilities, mostly due to the constraints that difficult the use of traditional mechanisms. The work presented in this paper approaches these issues, delving into the design and implementation of a multi-strategy debugging mechanism into a commercial-grade Manufacturing Execution System. To validate the approach, a proof-of-concept was then developed and validated against different debugging scenarios.


title: Simultaneous Zeeman deceleration of polyatomic free radical with lithium atoms

abstract: Chemistry in the ultracold regime enables fully quantum-controlled interactions between atoms and molecules, leading to the discovery of the hidden mechanisms in chemical reactions which are usually curtained by thermal averaging in the high temperature. Recently a couple of diatomic molecules have been cooled to ultracold regime based on laser cooling techniques, but the chemistry associated with these simple molecules is highly limited. In comparison, free radicals play a major role in many important chemical reactions, but yet to be cooled to submillikelvin temperature. Here we propose a novel method of decelerating \ce{CH3}, the simplest polyatomic free radical, with lithium atoms simultaneously by travelling wave magnetic decelerator. This scheme paves the way towards co-trapping \ce{CH3} and lithium, so that sympathetical cooling can be used to preparing ultracold free radical sample.


title: Hot Racquet or Not? An Exploration of Momentum in Grand Slam Tennis Matches

abstract: The presence of momentum in sports, where the outcome of a previous event affects a following event, is a belief often held by fans, and has been the subject of statistical study for many sports. This paper investigates the presence and manifestation of momentum in Grand Slam tennis matches from 2014 through 2019 for men and women, to see if there is evidence of any carryover effect from the outcome of previous point(s)/game(s)/set(s) to the current one that cannot be accounted for by player quality, fitness or fatigue. Generalized linear mixed effect models (GLMMs) are used to explore the effects of the outcomes of previous sets, games, or points on the odds of winning a set, game, or point, while incorporating control variables that account for differences in player quality and the current status of the match. We find strong evidence of carryover effects at the set, game, and point level. Holding one's serve in prior service games is strongly related to winning a current game, but losing a past game is associated with higher estimated odds of winning the next game. Winning the previous two or three points in a row is associated with highest estimated odds of winning the next point.


title: Improving Machine Reading Comprehension with Contextualized Commonsense Knowledge

abstract: In this paper, we aim to extract commonsense knowledge to improve machine reading comprehension. We propose to represent relations implicitly by situating structured knowledge in a context instead of relying on a pre-defined set of relations, and we call it contextualized knowledge. Each piece of contextualized knowledge consists of a pair of interrelated verbal and nonverbal messages extracted from a script and the scene in which they occur as context to implicitly represent the relation between the verbal and nonverbal messages, which are originally conveyed by different modalities within the script. We propose a two-stage fine-tuning strategy to use the large-scale weakly-labeled data based on a single type of contextualized knowledge and employ a teacher-student paradigm to inject multiple types of contextualized knowledge into a student machine reader. Experimental results demonstrate that our method outperforms a state-of-the-art baseline by a 4.3% improvement in accuracy on the machine reading comprehension dataset C^3, wherein most of the questions require unstated prior knowledge.


title: Cutoff for the bidirectional East Process

abstract: This paper will examine the cutoff for a random process on the hypercube, $\{0, 1\}^L$, closely related to the East Process. In this process, every coordinate has two 1/2-Poisson clocks at each coordinate which add the coordinate to the previous or next one when they ring. We show that the cutoff is $L/v$ with a window of order $\sqrt{L}$, where $v$ is the speed of the front. We compare these results to the cutoff for the East Process and the cutoff for a non-local version of this same process studied by Ganguly, Lubetzky, and Martinelli as well as Ben-Hamou and Peres.


title: Kunneth Theorems for Vietoris-Rips Homology

abstract: We prove a Kunneth theorem for the Vietoris-Rips homology and cohomology of a semi-uniform space. We then interpret this result for graphs, where we show that the Kunneth theorem holds for graphs with respect to the strong graph product. We finish by computing the Vietoris-Rips cohomology of the torus endowed with diferent semi-uniform structures.


title: Exploring the Hierarchy in Relation Labels for Scene Graph Generation

abstract: By assigning each relationship a single label, current approaches formulate the relationship detection as a classification problem. Under this formulation, predicate categories are treated as completely different classes. However, different from the object labels where different classes have explicit boundaries, predicates usually have overlaps in their semantic meanings. For example, sit\_on and stand\_on have common meanings in vertical relationships but different details of how these two objects are vertically placed. In order to leverage the inherent structures of the predicate categories, we propose to first build the language hierarchy and then utilize the Hierarchy Guided Feature Learning (HGFL) strategy to learn better region features of both the coarse-grained level and the fine-grained level. Besides, we also propose the Hierarchy Guided Module (HGM) to utilize the coarse-grained level to guide the learning of fine-grained level features. Experiments show that the proposed simple yet effective method can improve several state-of-the-art baselines by a large margin (up to $33\%$ relative gain) in terms of Recall@50 on the task of Scene Graph Generation in different datasets.


title: How Much Can We Really Trust You? Towards Simple, Interpretable Trust Quantification Metrics for Deep Neural Networks

abstract: A critical step to building trustworthy deep neural networks is trust quantification, where we ask the question: How much can we trust a deep neural network? In this study, we take a step towards simple, interpretable metrics for trust quantification by introducing a suite of metrics for assessing the overall trustworthiness of deep neural networks based on their behaviour when answering a set of questions. We conduct a thought experiment and explore two key questions about trust in relation to confidence: 1) How much trust do we have in actors who give wrong answers with great confidence? and 2) How much trust do we have in actors who give right answers hesitantly? Based on insights gained, we introduce the concept of question-answer trust to quantify trustworthiness of an individual answer based on confident behaviour under correct and incorrect answer scenarios, and the concept of trust density to characterize the distribution of overall trust for an individual answer scenario. We further introduce the concept of trust spectrum for representing overall trust with respect to the spectrum of possible answer scenarios across correctly and incorrectly answered questions. Finally, we introduce NetTrustScore, a scalar metric summarizing overall trustworthiness. The suite of metrics aligns with past social psychology studies that study the relationship between trust and confidence. Leveraging these metrics, we quantify the trustworthiness of several well-known deep neural network architectures for image recognition to get a deeper understanding of where trust breaks down. The proposed metrics are by no means perfect, but the hope is to push the conversation towards better metrics to help guide practitioners and regulators in producing, deploying, and certifying deep learning solutions that can be trusted to operate in real-world, mission-critical scenarios.


title: Fine-tuning Pre-trained Contextual Embeddings for Citation Content Analysis in Scholarly Publication

abstract: Citation function and citation sentiment are two essential aspects of citation content analysis (CCA), which are useful for influence analysis, the recommendation of scientific publications. However, existing studies are mostly traditional machine learning methods, although deep learning techniques have also been explored, the improvement of the performance seems not significant due to insufficient training data, which brings difficulties to applications. In this paper, we propose to fine-tune pre-trained contextual embeddings ULMFiT, BERT, and XLNet for the task. Experiments on three public datasets show that our strategy outperforms all the baselines in terms of the F1 score. For citation function identification, the XLNet model achieves 87.2%, 86.90%, and 81.6% on DFKI, UMICH, and TKDE2019 datasets respectively, while it achieves 91.72% and 91.56% on DFKI and UMICH in term of citation sentiment identification. Our method can be used to enhance the influence analysis of scholars and scholarly publications.


title: A general framework for decentralized optimization with first-order methods

abstract: Decentralized optimization to minimize a finite sum of functions over a network of nodes has been a significant focus within control and signal processing research due to its natural relevance to optimal control and signal estimation problems. More recently, the emergence of sophisticated computing and large-scale data science needs have led to a resurgence of activity in this area. In this article, we discuss decentralized first-order gradient methods, which have found tremendous success in control, signal processing, and machine learning problems, where such methods, due to their simplicity, serve as the first method of choice for many complex inference and training tasks. In particular, we provide a general framework of decentralized first-order methods that is applicable to undirected and directed communication networks alike, and show that much of the existing work on optimization and consensus can be related explicitly to this framework. We further extend the discussion to decentralized stochastic first-order methods that rely on stochastic gradients at each node and describe how local variance reduction schemes, previously shown to have promise in the centralized settings, are able to improve the performance of decentralized methods when combined with what is known as gradient tracking. We motivate and demonstrate the effectiveness of the corresponding methods in the context of machine learning and signal processing problems that arise in decentralized environments.

categories: cs.LG cs.MA cs.SY eess.SY math.OC stat.ML


title: Guided Policy Search Based Control of a High Dimensional Advanced Manufacturing Process

abstract: In this paper we apply guided policy search (GPS) based reinforcement learning framework for a high dimensional optimal control problem arising in an additive manufacturing process. The problem comprises of controlling the process parameters so that layer-wise deposition of material leads to desired geometric characteristics of the resulting part surface while minimizing the material deposited. A realistic simulation model of the deposition process along with carefully selected set of guiding distributions generated based on iterative Linear Quadratic Regulator is used to train a neural network policy using GPS. A closed loop control based on the trained policy and in-situ measurement of the deposition profile is tested experimentally, and shows promising performance.


title: On topology optimization of design-dependent pressure-loaded three-dimensional structures and compliant mechanisms

abstract: This paper presents a density-based topology optimization method for designing three-dimensional (3D) compliant mechanisms and loadbearing structures with design-dependent pressure loading. Instead of interface-tracking techniques, the Darcy law in conjunction with a drainage term is employed to obtain pressure field as a function of the design vector. To ensure continuous transition of pressure loads as the design evolves, the flow coefficient of a finite element is defined using a smooth Heaviside function. The obtained pressure field is converted into consistent nodal loads using a transformation matrix. The presented approach employs the standard finite element formulation and also, allows consistent and computationally inexpensive calculation of load sensitivities using the adjoint-variable method. For compliant mechanism design, a multi-criteria objective is minimized, whereas minimization of compliance is performed for designing loadbearing structures. Efficacy and robustness of the presented approach is demonstrated by designing various pressure-actuated 3D compliant mechanisms and structures.


title: A hybrid scheme for prime factorization and its experimental implementation using IBM quantum processor

abstract: We report a quantum-classical hybrid scheme for factorization of bi-prime numbers (which are odd and square-free) using IBM's quantum processors. The hybrid scheme proposed here involves both classical optimization techniques and adiabatic quantum optimization techniques, and is build by extending a previous scheme of hybrid factorization [Pal et al., Pramana 92, 26 (2019) and Xu et al., Phys. Rev. Lett. 108, 130501 (2012)]. The quantum part of the scheme is very general in the sense that it can be implemented using any quantum computing architecture. Here, as an example, we experimentally implement our scheme for prime factorization using IBM's QX4 quantum processor and have factorised 35.


title: Contaminant transport by human passage through an air curtain separating two sections of a corridor: Part II -- two zones at different temperatures

abstract: Air curtains are installed in open doorways of a building to reduce buoyancy-driven exchange flows across the doorway. Although an air curtain allows an unhampered passage of humans and vehicles, the interaction of this traffic with an air curtain is not well understood. We study this problem by conducting small-scale waterbath experiments with fresh water and salt water solutions. As a model of human passage, a vertical cylinder is pulled through a planar jet representing an air curtain and separating two zones at different densities. For a fixed travel distance of the cylinder before and after the air curtain, the average infiltration flux of dense fluid in light fluid side increases with increasing cylinder velocity. However, we find that the infiltration flux is independent of density difference across the doorway and the travel direction of the cylinder. As a consequence, the sealing effectiveness of an air curtain reduces with an increasing cylinder speed and this reduction is independent of the direction of the buoyancy-driven flow. Dye visualisations of the air curtain and the cylinder wake are used to examine the re-establishment process of the air curtain after its disruption by the cylinder. We observe that the re-establishment time of the air curtain and the infiltration in the cylinder wake increases with an increasing cylinder speed.


title: Combinatorial Ricci flows with applications to the hyperbolization of cusped 3-manifolds

abstract: In this paper, we adopt combinatorial Ricci curvature flow methods to study the existence of cusped hyperbolic structure on 3-manifolds with torus boundary. For general pseudo 3-manifolds, we prove the long-time existence and the uniqueness for the extended Ricci flow for decorated hyperbolic polyhedral metrics. We prove that the extended Ricci flow converges to a decorated hyperbolic polyhedral metric if and only if there exists a decorated hyperbolic polyhedral metric of zero Ricci curvature. If it is the case, the flow converges exponentially fast. These results apply for cusped hyperbolic structure on 3-manifolds via ideal triangulation.


title: Dual form of the phase-space classical simulation problem in quantum optics

abstract: In quantum optics, nonclassicality of quantum states is commonly associated with negativities of phase-space quasiprobability distributions. We argue that the impossibility of any classical simulations with phase-space functions is a necessary and sufficient condition of nonclassicality. The problem of such phase-space classical simulations for particular measurement schemes is analysed in the framework of Einstein-Podolsky-Rosen-Bell's principles of physical reality. The dual form of this problem results in an analogue of Bell inequalities. Their violations imply the impossibility of phase-space classical simulations and, as a consequence, nonclassicality of quantum states. We apply this technique to emblematic optical measurements such as photocounting, including the cases of realistic photon-number resolution and homodyne detection in unbalanced, balanced, and eight-port configurations.


title: Conflict Between Classical Mechanics and Electromagnetism: The Harmonic Oscillator in Equilibrium with a Bath

abstract: It is pointed out that an electric charge oscillating in a one-dimensional purely-harmonic potential is in detailed balance at its harmonics with a radiation bath whose energy $U_{rad}$ per normal mode is linear in frequency $\omega$, $U_{rad}=const\times\omega,$ and hence is Lorentz invariant, as seems appropriate for relativistic electromagnetism. The oscillating charge is NOT in equilibrium with the Rayleigh-Jeans spectrum which arises from energy-sharing equipartition ideas which are valid only in nonrelativistic mechanics. Here we explore the contrasting behavior of harmonic oscillators connected to baths in classical mechanics and electromagnetism. It is emphasized that modern physics text are in error in suggesting that the Rayleigh-Jeans spectrum corresponds to the equilibrium spectrum of random classical radiation, and in ignoring Lorentz-invariant classical zero-point radiation which is indeed a classical equilibrium spectrum.


title: Sensitivity Assisted Alternating Directions Method of Multipliers for Distributed Optimization and Statistical Learning

abstract: This paper considers the problem of distributed model fitting using the alternating directions method of multipliers (ADMM). ADMM splits the learning problem into several smaller subproblems, usually by partitioning the data samples. The different subproblems can be solved in parallel by a set of worker computing nodes coordinated by a master node, and the subproblems are repeatedly solved until convergence. At each iteration, the worker nodes must solve a convex optimization problem whose difficulty increases with the size of the problem. In this paper, we propose a sensitivity-assisted ADMM algorithm that leverages the parametric sensitivities such that the subproblems solutions can be approximated using a tangential predictor, thus easing the computational burden to computing one linear solve. We study the convergence properties of the proposed sensitivity-assisted ADMM algorithm. The numerical performance of the algorithm is illustrated on a nonlinear parameter estimation problem, and a multilayer perceptron learning problem.


title: Trans-Alfvenic Magnetohydrodynamic Turbulence in the Vicinity of Supernova Remnant Cassiopeia-A Shocks

abstract: Statistics of the magnetic field disturbances in the supernova remnants (SNRs) can be accessed using the second-order correlation function of the synchrotron intensities. Here we measure the magnetic energy spectra in supernova remnant Cassiopeia-A by two-point correlation of the synchrotron intensities, using a recently developed unbiased method. The measured magnetic energy spectra in the vicinity of supernova remnant shocks are found to be 2/3 power law over the decade of range scales, showing the developed trans-Alfvenic magnetohydrodynamic turbulence. Our results are globally consistent with the theoretical prediction of trans-Alfvenic Mach number in developed magneto-hydrodynamic turbulence and can be explained by the amplification of the magnetic field in the vicinity of SNR shocks. The magnetic energy spectra predict SNR Cassiopeia-A having an additional subshock in the radio frequency observation along with forward and reverse shocks, with a radial window of the amplified magnetic field of ~ 0.115pc near the shocks


title: Machine Learning Against Cancer: Accurate Diagnosis of Cancer by Machine Learning Classification of the Whole Genome Sequencing Data

abstract: Machine learning can precisely identify different cancer tumors at any stage by classifying cancerous and healthy samples based on their genomic profile. We have developed novel methods of MLAC (Machine Learning Against Cancer) achieving perfect results with perfect precision, sensitivity, and specificity. We have used the whole genome sequencing data acquired by next-generation RNA sequencing techniques in The Cancer Genome Atlas and Genotype-Tissue Expression projects for cancerous and healthy tissues respectively. Moreover, we have shown that unsupervised machine learning clustering has great potential to be used for cancer diagnosis. Indeed, a creative way to work with data and general algorithms has resulted in perfect classification i.e. all precision, sensitivity, and specificity are equal to 1 for most of the different tumor types even with a modest amount of data, and the same method works well on a series of cancers and results in great clustering of cancerous and healthy samples too. Our system can be used in practice because once the classifier is trained, it can be used to classify any new sample of new potential patients. One advantage of our work is that the aforementioned perfect precision and recall are obtained on samples of all stages including very early stages of cancer; therefore, it is a promising tool for diagnosis of cancers in early stages. Another advantage of our novel model is that it works with normalized values of RNA sequencing data, hence people's private sensitive medical data will remain hidden, protected, and safe. This type of analysis will be widespread and economical in the future and people can even learn to receive their RNA sequencing data and do their own preliminary cancer studies themselves which have the potential to help the healthcare systems. It is a great step forward toward good health that is the main base of sustainable societies.


title: Search for the anomalous $WW\gamma$ couplings through the process $e^-e^+\,\rightarrow\,\nu_e\bar{\nu}_e\gamma$ at ILC with unpolarized and polarize beams

abstract: We investigate the anomalous $W^+W^-\gamma$ couplings through the process $e^-e^+\,\rightarrow\,\nu_e\bar{\nu}_e\gamma$ for unpolarized and polarized electron (positron) beams at the International Linear Collider. We give the 95$\%$ Confidence Level limits on the anomalous couplings with and without the systematic uncertainties for various values of center-of-mass energies and the integrated luminosities. We show that the obtained limits on the anomalous couplings through the process $e^-e^+\,\rightarrow\,\nu_e\bar{\nu}_e\gamma$ can highly improve the current experimental limits.


title: David Olive: his life and work

abstract: David Olive, who died in Barton, Cambridgeshire, on 7 November 2012, aged 75, was a theoretical physicist who made seminal contributions to the development of string theory and to our understanding of the structure of quantum field theory. In early work on $S$-matrix theory, he helped to provide the conceptual framework within which string theory was initially formulated. His work, with Gliozzi and Scherk, on supersymmetry in string theory made possible the whole idea of superstrings, now understood as the natural framework for string theory. Olive's pioneering insights about the duality between electric and magnetic objects in gauge theories were way ahead of their time; it took two decades before his bold and courageous duality conjectures began to be understood. Although somewhat quiet and reserved, he took delight in the company of others, generously sharing his emerging understanding of new ideas with students and colleagues. He was widely influential, not only through the depth and vision of his original work, but also because the clarity, simplicity and elegance of his expositions of new and difficult ideas and theories provided routes into emerging areas of research, both for students and for the theoretical physics community more generally.


title: Complete positivity and self-adjointness

abstract: We specify the structure of completely positive operators and quantum Markov semigroup generators that are symmetric with respect to a family of inner products, also providing new information on the order strucure an extreme points in some previously studied cases.


title: Objective early identification of kinematic instabilities in shear flows

abstract: A kinematic approach for the identification of flow instabilities is proposed. By defining a flow instability in the Lagrangian frame as the increased folding of lines of fluid particles, subtle perturbations and unstable growth thereof are detected early based solely on the curvature change of material lines over finite time. The material line curvature is objective, parametrization independent, and can be applied to flows of general complexity without knowledge of the base flow. An analytic connection between the growth of Eulerian velocity modes perturbing a general shear flow and the induced flow map and Lagrangian curvature change is derived. The approach is verified to capture instabilities promptly in a temporally developing jet flow, an unstable separated shear flow over a cambered airfoil, and in the onset of a wake instability behind a circular cylinder.


title: Non-Perturbative Aspects of Spontaneous Symmetry Breaking

abstract: Spontaneous symmetry breaking is studied in the ultralocal limit of a scalar quantum field theory, that is when $E\approx m$ (or infrared limit). In this limit we show that a $ \varphi^4$ theory in the euclidean space in four-dimensions describes naturally instantons. Furthermore, in the infrared limit we show that there is an exact map between $ \varphi^4$ with self-dual Yang-Mills theories. The spontaneous symmetry breaking in the infrared limit for a Higgs portal is also considered and we demonstrate how states of higher energy becomes unstable and spread converting a false vacuum in a true one.


title: Discovering Interesting Subgraphs in Social Media Networks

abstract: Social media data are often modeled as heterogeneous graphs with multiple types of nodes and edges. We present a discovery algorithm that first chooses a "background" graph based on a user's analytical interest and then automatically discovers subgraphs that are structurally and content-wise distinctly different from the background graph. The technique combines the notion of a \texttt{group-by} operation on a graph and the notion of subjective interestingness, resulting in an automated discovery of interesting subgraphs. Our experiments on a socio-political database show the effectiveness of our technique.


title: Spatio-temporal Modulation Instability of Surface Plasmon Polaritons in Graphene-dielectric Heterostructure

abstract: Using the Jacobi Elliptic Functions, an analytical solution is developed for the nonlinear amplitude equation of Surface Plasmon Polaritons (SPPs) in a graphene-dielectric waveguide. It is shown that the field localization of SPPs coupled with TM polarized terahertz light can be enhanced if the nonlinearity is increased. On the side, a numerical solution based on Split Step Beam Propagation Method (SSBPM) suggests that spatial Modulation Instabilty (MI) can be dominant. Accordingly, larger nonlinearity leads to the generation of discrete plasmon solitons rather than the diffracted profile resulted for the modest nonlinearity. Adding then the temporal variations to the nonlinear amplitude equation and solving numerically by predictor-corrector method, it is revealed that temporal MI appears as ultrashort pulse trains with multi-periodic behavior. Evoking the similarity with a laser cavity, the waveguide can be assumed as a spasing system-assuming the large nonlinearity regime-in which if the coupling depth is raised, the character of MI will be changed from the convective to absolute and the amplitude of SPPs will grow fast. The procedure can be even chaotic and unpredictable. This spasing system is suitable for applications of the electro-optical circuitry, optical amplification, optical communication and biomedical sensing through which the low power consumption and non-destructivity are of important traits.


title: A dichotomy for Polish modules

abstract: Let $R$ be a ring equipped with a proper norm. We show that under suitable conditions on $R$, there is a natural basis under continuous linear injection for the set of Polish $R$-modules which are not countably generated. When $R$ is a division ring, this basis can be taken to be a singleton.


title: Asymptotic representations of Hamiltonian diffeomorphisms and quantization

abstract: We show that for a special class of geometric quantizations with "small" quantum errors, the quantum classical correspondence gives rise to an asymptotic projective representation of the group of Hamiltonian diffeomorphisms. As an application, we get an obstruction to Hamiltonian actions of finitely presented groups.


title: Holomorphic Bisectional Curvature and Applications to Deformations and Rigidity for Variations of Mixed Hodge Structure

abstract: In this article, we prove a rigidity criterion for period maps of admissible variations of graded-polarizable mixed Hodge structure, and establish rigidity in a number of cases, including families of quasi-projective curves, projective curves with ordinary double points, the complement of the canonical curve in families of Kynev--Todorov surfaces, period maps attached to the fundamental groups of smooth varieties and normal functions.


title: Alternative to Morse-Novikov Theory for a closed 1-form (II)

abstract: This paper is a continuation of Alternative to Morse-Novikov Theory for a closed 1-form(I), and establishes: a) a refinement of Poincar\'e duality to an equality between the configurations $^{BM} \delta^\omega$ and $\delta^\omega$ resp. $^{BM} \gamma^\omega$ and $\gamma^\omega$ in complementary dimensions, b) the stability property for the configurations $\delta^\omega_r,$ a) a result needed for the proof of Theorems 1.2 and 1.3 stated the paper mentioned above.


title: Towards Automatic Manipulation of Intra-cardiac Echocardiography Catheter

abstract: Intra-cardiac Echocardiography (ICE) is a powerful imaging modality for guiding electrophysiology and structural heart interventions. ICE provides real-time observation of anatomy, catheters, and emergent complications. However, this increased reliance on intraprocedural imaging creates a high cognitive demand on physicians who can often serve as interventionalist and imager. We present a robotic manipulator for ICE catheters to assist physicians with imaging and serve as a platform for developing processes for procedural automation. Herein, we introduce two application modules towards these goals: (1) a view recovery process that allows physicians to save views during intervention and automatically return with the push of a button and (2) a data-driven approach to compensate kinematic model errors that result from non-linear behaviors in catheter bending, providing more precise control of the catheter tip. View recovery is validated by repeated catheter positioning in cardiac phantom and animal experiments with position- and image-based analysis. We present a simplified calibration approach for error compensation and verify with complex rotation of the catheter in benchtop and phantom experiments under varying realistic curvature conditions. Results support that a robotic manipulator for ICE can provide an efficient and reproducible tool, potentially reducing execution time and promoting greater utilization of ICE imaging.


title: Interferometer Euro-Asian Network: Detection Characteristics for Signals of Known Shape

abstract: In this paper, we estimate efficiency of a conceivable Euro-Asian network of gravitational wave (GW) interferometers that might be realized having in mind a plan of construction of third generation interferometer in Novosibirsk region. Subsequently, some network would be composed, including four GW detectors. Among them there are the already active interferometers VIRGO (Italy) and KAGRA (Japan), Indian interferometer under construction - LIGO India and the interferometer in Siberia mentioned above. The quality of network in question is considered on the base of typical numerical criteria of efficiency for detecting GW signals of known structure - radiation of relativistic binary coalescence.


title: Slide multiplicity free key polynomials

abstract: Schubert polynomials are refined by the key polynomials of Lascoux-Sch\"{u}tzenberger, which in turn are refined by the fundamental slide polynomials of Assaf-Searles. In this paper we determine which fundamental slide polynomial refinements of key polynomials, indexed by strong compositions, are multiplicity free. We also give a recursive algorithm to determine all terms in the fundamental slide polynomial refinement of a key polynomial indexed by a strong composition. From here, we apply our results to begin to classify which fundamental slide polynomial refinements, indexed by weak compositions, are multiplicity free. We completely resolve the cases when the weak composition has at most two nonzero parts or the sum has at most two nonzero terms.


title: A transcendental Brauer-Manin obstruction to weak approximation on a Calabi-Yau threefold

abstract: In this paper we investigate the $\mathbb{Q}$-rational points of a class of simply connected Calabi-Yau threefolds, which were originally studied by Hosono and Takagi in the context of mirror symmetry. These varieties are defined as a linear section of a double quintic symmetroid; their points correspond to rulings on quadric hypersurfaces. They come equipped with a natural $2$-torsion Brauer class. Our main result shows that under certain conditions, this Brauer class gives rise to a transcendental Brauer-Manin obstruction to weak approximation. Hosono and Takagi showed that over $\mathbb{C}$ each of these Calabi-Yau threefolds $Y$ is derived equivalent to a Reye congruence Calabi-Yau threefold $X$. We show that these derived equivalences may also be constructed over $\mathbb{Q}$, and we give sufficient conditions for $X$ to not satisfy weak approximation. In the appendix, N. Addington exhibits the Brauer groups of each class of Calabi--Yau variety over $\mathbb{C}$.


title: Tracking disease outbreaks from sparse data with Bayesian inference

abstract: The COVID-19 pandemic provides new motivation for a classic problem in epidemiology: estimating the empirical rate of transmission during an outbreak (formally, the time-varying reproduction number) from case counts. While standard methods exist, they work best at coarse-grained national or state scales with abundant data, and struggle to accommodate the partial observability and sparse data common at finer scales (e.g., individual schools or towns). For example, case counts may be sparse when only a small fraction of infections are caught by a testing program. Or, whether an infected individual tests positive may depend on the kind of test and the point in time when they are tested. We propose a Bayesian framework which accommodates partial observability in a principled manner. Our model places a Gaussian process prior over the unknown reproduction number at each time step and models observations sampled from the distribution of a specific testing program. For example, our framework can accommodate a variety of kinds of tests (viral RNA, antibody, antigen, etc.) and sampling schemes (e.g., longitudinal or cross-sectional screening). Inference in this framework is complicated by the presence of tens or hundreds of thousands of discrete latent variables. To address this challenge, we propose an efficient stochastic variational inference method which relies on a novel gradient estimator for the variational objective. Experimental results for an example motivated by COVID-19 show that our method produces an accurate and well-calibrated posterior, while standard methods for estimating the reproduction number can fail badly.


title: Distributions Supported on Fractal Sets and Solutions to the Kadomtsev--Petviashvili Equation

abstract: In this note we will discuss a potentially interesting extension of some recent results on primitive solutions to completely integrable partial differential equations. We will discuss a family distributions that are holomorphic on the Riemann sphere except on the singular sets homeomorphic to a Cantor set or Sierpinski gasket. These distributions allow us to produce solutions to the Kadomtsev--Petviashvili equation. These distributions are limits of families of rational functions that can also be associated with holomorphic line bundles on surfaces with a finite number of doubly degenerate singular points. We conjecture that a subset of these distributions can be used to formulate a definition of a holomorphic line bundle on some surfaces that are homeomorphic to spheres except where they become doubly degenerate on singular sets homeomorphic to a Cantor set or Sierpinski gasket.


title: Memory-Efficient Fixpoint Computation

abstract: Practical adoption of static analysis often requires trading precision for performance. This paper focuses on improving the memory efficiency of abstract interpretation without sacrificing precision or time efficiency. Computationally, abstract interpretation reduces the problem of inferring program invariants to computing a fixpoint of a set of equations. This paper presents a method to minimize the memory footprint in Bourdoncle's iteration strategy, a widely-used technique for fixpoint computation. Our technique is agnostic to the abstract domain used. We prove that our technique is optimal (i.e., it results in minimum memory footprint) for Bourdoncle's iteration strategy while computing the same result. We evaluate the efficacy of our technique by implementing it in a tool called MIKOS, which extends the state-of-the-art abstract interpreter IKOS. When verifying user-provided assertions, MIKOS shows a decrease in peak-memory usage to 4.07% (24.57x) on average compared to IKOS. When performing interprocedural buffer-overflow analysis, MIKOS shows a decrease in peak-memory usage to 43.7% (2.29x) on average compared to IKOS.


title: Extended Radial Basis Function Controller for Reinforcement Learning

abstract: There have been attempts in reinforcement learning to exploit a priori knowledge about the structure of the system. This paper proposes a hybrid reinforcement learning controller which dynamically interpolates a model-based linear controller and an arbitrary differentiable policy. The linear controller is designed based on local linearised model knowledge, and stabilises the system in a neighbourhood about an operating point. The coefficients of interpolation between the two controllers are determined by a scaled distance function measuring the distance between the current state and the operating point. The overall hybrid controller is proven to maintain the stability guarantee around the neighborhood of the operating point and still possess the universal function approximation property of the arbitrary non-linear policy. Learning has been done on both model-based (PILCO) and model-free (DDPG) frameworks. Simulation experiments performed in OpenAI gym demonstrate stability and robustness of the proposed hybrid controller. This paper thus introduces a principled method allowing for the direct importing of control methodology into reinforcement learning.


title: Chaos in Bohmian Quantum Mechanics: A short review

abstract: This is a short review in the theory of chaos in Bohmian Quantum Mechanics based on our series of works in this field. Our first result is the development of a generic theoretical mechanism responsible for the generation of chaos in an arbitrary Bohmian system (in 2 and 3 dimensions). This mechanism allows us to explore the effect of chaos on Bohmian trajectories and study in detail (both analytically and numerically) the different kinds of Bohmian trajectories where, in general, chaos and order coexist. Finally we explore the effect of quantum entanglement on the evolution of the Bohmian trajectories and study chaos and ergodicity in qubit systems which are of great theoretical and practical interest. We find that the chaotic trajectories are also ergodic, i.e. they give the same final distribution of their points after a long time regardless of their initial conditions. In the case of strong entanglement most trajectories are chaotic and ergodic and an arbitrary initial distribution of particles will tends to Born's rule over the course of time. On the other hand, in the case of weak entanglement the distribution of Born's rule is dominated by ordered trajectories and consequently an arbitrary initial configuration of particles will not tend, in general, to Born's rule, unless it is initially satisfied. Our results shed light on a fundamental problem in Bohmian Mechanics, namely whether there is a dynamical approximation of Born's rule by an arbitrary initial distribution of Bohmian particles.


title: From Federated Learning to Federated Neural Architecture Search: A Survey

abstract: Federated learning is a recently proposed distributed machine learning paradigm for privacy preservation, which has found a wide range of applications where data privacy is of primary concern. Meanwhile, neural architecture search has become very popular in deep learning for automatically tuning the architecture and hyperparameters of deep neural networks. While both federated learning and neural architecture search are faced with many open challenges, searching for optimized neural architectures in the federated learning framework is particularly demanding. This survey paper starts with a brief introduction to federated learning, including both horizontal, vertical, and hybrid federated learning. Then, neural architecture search approaches based on reinforcement learning, evolutionary algorithms and gradient-based are presented. This is followed by a description of federated neural architecture search that has recently been proposed, which is categorized into online and offline implementations, and single- and multi-objective search approaches. Finally, remaining open research questions are outlined and promising research topics are suggested.


title: Longest common subsequences between words of very unequal length

abstract: We consider the expected length of the longest common subsequence between two random words of lengths $n$ and $(1-\varepsilon)kn$ over $k$-symbol alphabet. It is well-known that this quantity is asymptotic to $\gamma_{k,\varepsilon} n$ for some constant $\gamma_{k,\varepsilon}$. We show that $\gamma_{k,\varepsilon}$ is of the order $1-c\varepsilon^2$ uniformly in $k$ and $\varepsilon$. In addition, for large $k$, we give evidence that $\gamma_{k,\varepsilon}$ approaches $1-\tfrac{1}{4}\varepsilon^2$, and prove a matching lower bound.


title: Open Problem: Average-Case Hardness of Hypergraphic Planted Clique Detection

abstract: We note the significance of hypergraphic planted clique (HPC) detection in the investigation of computational hardness for a range of tensor problems. We ask if more evidence for the computational hardness of HPC detection can be developed. In particular, we conjecture if it is possible to establish the equivalence of the computational hardness between HPC and PC detection.


title: A Unified Approach to Kinship Verification

abstract: In this work, we propose a deep learning-based approach for kin verification using a unified multi-task learning scheme where all kinship classes are jointly learned. This allows us to better utilize small training sets that are typical of kin verification. We introduce a novel approach for fusing the embeddings of kin images, to avoid overfitting, which is a common issue in training such networks. An adaptive sampling scheme is derived for the training set images to resolve the inherent imbalance in kin verification datasets. A thorough ablation study exemplifies the effectivity of our approach, which is experimentally shown to outperform contemporary state-of-the-art kin verification results when applied to the Families In the Wild, FG2018, and FG2020 datasets.


title: Certified Robustness of Graph Classification against Topology Attack with Randomized Smoothing

abstract: Graph classification has practical applications in diverse fields. Recent studies show that graph-based machine learning models are especially vulnerable to adversarial perturbations due to the non i.i.d nature of graph data. By adding or deleting a small number of edges in the graph, adversaries could greatly change the graph label predicted by a graph classification model. In this work, we propose to build a smoothed graph classification model with certified robustness guarantee. We have proven that the resulting graph classification model would output the same prediction for a graph under $l_0$ bounded adversarial perturbation. We also evaluate the effectiveness of our approach under graph convolutional network (GCN) based multi-class graph classification model.


title: A multirate variational approach to simulation and optimal control for flexible spacecraft

abstract: We propose an optimal control method for simultaneous slewing and vibration control of flexible spacecraft. Considering dynamics on different time scales, the optimal control problem is discretized on micro and macro time grids using a multirate variational approach. The description of the system and the necessary optimality conditions are derived through the discrete Lagrange-d'Alembert principle. The discrete problem retains the conservation properties of the continuous model and achieves high fidelity simulation at a reduced computational cost. Simulation results for a single-axis rotational maneuver demonstrate vibration suppression and achieve the same accuracy as the single rate method at reduced computational cost.


title: A characterization of Erd\H{o}s space factors

abstract: We prove that an almost zero-dimensional space $X$ is an Erd\H{o}s space factor if and only if $X$ has a Sierpi\'{n}ski stratification of C-sets. We apply this characterization to spaces which are countable unions of C-set Erd\H{o}s space factors. We show that the Erd\H{o}s space $\mathfrak E$ is unstable by giving strongly $\sigma$-complete and nowhere $\sigma$-complete examples of almost zero-dimensional $F_{\sigma\delta}$-spaces which are not Erd\H{o}s space factors. This answers a question by Dijkstra and van Mill.


title: Regularized Solutions to Linear Rational Expectations Models

abstract: This paper proposes an algorithm for computing regularized solutions to linear rational expectations models. The algorithm allows for regularization cross-sectionally as well as across frequencies. A variety of numerical examples illustrate the advantage of regularization.


title: The polytope algebra of generalized permutahedra

abstract: The polytope subalgebra of deformations of a zonotope can be endowed with the structure of a module over the Tits algebra of the corresponding hyperplane arrangement. We explore this construction and find relations between statistics on (signed) permutations and the module structure in the case of (type B) generalized permutahedra. In type B, the module structure surprisingly reveals that any family of generators (via signed Minkowski sums) for generalized permutahedra of type B will contain at least $2^{d-1}$ full-dimensional polytopes. We find a generating family of simplices attaining this minimum. Finally, we prove that the relations defining the polytope algebra are compatible with the Hopf monoid structure of generalized permutahedra.


title: Topological nodal line in ZrTe$_2$ demonstrated by nuclear magnetic resonance

abstract: In this work, we report nuclear magnetic resonance (NMR) combined with density functional theory (DFT) studies of the transition metal dichalcogenide ZrTe$_2$. The measured NMR shift anisotropy reveals a quasi-2D behavior connected to a topological nodal line close to the Fermi level. With the magnetic field perpendicular to the ZrTe$_2$ layers, the measured shift can be well-fitted by a combination of enhanced diamagnetism and spin shift due to high mobility Dirac electrons. The spin-lattice relaxation rates with external field both parallel and perpendicular to the layers at low temperatures match the expected behavior associated with extended orbital hyperfine interaction due to quasi-2D Dirac carriers. In addition, calculated band structures also show clear evidence for the existence of nodal line in ZrTe$_2$ between $\Gamma$ and A. For intermediate temperatures, there is a sharp reduction in spin-lattice relaxation rate which can be explained as due to a reduced lifetime for these carriers, which matches the reported large change in mobility in the same temperature range. Above 200 K, the local orbital contribution starts to dominate in an orbital relaxation mechanism revealing the mixture of atomic functions.


title: Several new product identities in relation to two-variable Rogers-Ramanujan type sums and mock theta functions

abstract: Product identities in two variables $x, q$ expand infinite products as infinite sums, which are linear combinations of theta functions; famous examples include Jacobi's triple product identity, Watson's quintuple identity, and Hirschhorn's septuple identity. We view these series expansions as representations in canonical bases of certain vector spaces of quasiperiodic meromorphic functions (related to sections of line and vector bundles), and find new identities for two nonuple products, an undecuple product, and several two-variable Rogers-Ramanujan type sums. Our main theorem explains a correspondence between the septuple product identity and the two original Rogers-Ramanujan identities, involving two-variable analogues of fifth-order mock theta functions. We also prove a similar correspondence between an octuple product identity of Ewell and two simpler variations of the Rogers-Ramanujan identities, which is related to third-order mock theta functions, and conjecture other occurrences of this phenomenon. As applications, we specialize our results to obtain identities for quotients of generalized Dedekind eta functions and mock theta functions.


title: An Algorithmic Information Distortion in Multidimensional Networks

abstract: Network complexity, network information content analysis, and lossless compressibility of graph representations have been played an important role in network analysis and network modeling. As multidimensional networks, such as time-varying, multilayer, or dynamic multilayer networks, gain more relevancy in network science, it becomes crucial to investigate in which situations universal algorithmic methods based on algorithmic information theory applied to graphs cannot be straightforwardly imported into the multidimensional case. In this direction, as a worst-case scenario of lossless compressibility distortion that increases linearly with the number of distinct dimensions, this article presents a counter-intuitive phenomenon that occurs when dealing with networks within non-uniform and sufficiently large multidimensional spaces. In particular, we demonstrate that the algorithmic information necessary to encode multidimensional networks that are isomorphic to logarithmically compressible monoplex networks may display exponentially larger distortions in the general case.


title: An approach to human iris recognition using quantitative analysis of image features and machine learning

abstract: The Iris pattern is a unique biological feature for each individual, making it a valuable and powerful tool for human identification. In this paper, an efficient framework for iris recognition is proposed in four steps. (1) Iris segmentation (using a relative total variation combined with Coarse Iris Localization), (2) feature extraction (using Shape&density, FFT, GLCM, GLDM, and Wavelet), (3) feature reduction (employing Kernel-PCA) and (4) classification (applying multi-layer neural network) to classify 2000 iris images of CASIA-Iris-Interval dataset obtained from 200 volunteers. The results confirm that the proposed scheme can provide a reliable prediction with an accuracy of up to 99.64%.


title: A fuzzy inventory model considering imperfect quality items with receiving reparative batch and order overlapping

abstract: This paper presents an inventory model for imperfect quality items with receiving a reparative batch and order overlapping in a fuzzy environment by employing triangular fuzzy numbers. It is assumed that the imperfect items identified by screening are divided into either scrap or reworkable items. The reworkable items are kept in store until the next items are received. Afterward, the items are returned to the supplier to be reworked. Also, a discount on the purchasing cost is employed as an offer of cooperation from a supplier to a buyer to compensate for all additional holding costs incurred to the buyer. The rework process is error-free. An order overlapping scheme is employed so that the vendor is allowed to use the previous shipment to meet the demand by the inspection period. In the fuzzy model, the graded mean integration method is taken to defuzzify the model and determine its approximation of a profit function and optimal policy. In doing so, numerical examples are rendered to represent the model behavior and, eventually, the sensitivity analysis is presented.


title: Consistent Kinetic-Continuum Recombination Model for High Temperature Reacting Flows

abstract: A recombination reaction model for high-temperature chemical kinetics is derived from ab initio simulations data. A kinetic recombination rate model is derived using a recently developed ab initio state-specific dissociation model and the principle of microscopic reversibility. When atoms recombine, the kinetic rate model shows that product molecules have high favoring for high vibrational energy states. A continuum recombination rate model is then derived analytically from the kinetic recombination rate model. Similarly, the expression for the average vibrational energy of recombining molecules is also derived analytically. Finally, a simple model for non-Boltzmann vibrational energy distribution functions is derived. The distribution model includes both depletion of energy states due to dissociation and re-population of states due to recombination where a Boltzmann distribution is recovered in chemical equilibrium. Isothermal relaxation simulations using the continuum dissociation and recombination model are performed and the results are compared with the state-of-the-art model.


title: On Numerical Approximations of the Koopman Operator

abstract: We study numerical approaches to computation of spectral properties of composition operators. We provide a characterization of Koopman Modes in Banach spaces using Generalized Laplace Analysis. We cast the Dynamic Mode-Decomposition type methods in the context of Finite Section theory of infinite dimensional operators, and provide an example of a mixing map for which the finite section method fails. Under assumptions on the underlying dynamics, we provide the first result on the convergence rate under sample size increase in the finite-section approximation. We study the error in the Krylov subspace version of the finite section method and prove convergence in pseudospectral sense for operators with pure point spectrum. This result indicates that Krylov sequence-based approximations can have low error without an exponential-in-dimension increase in the number of functions needed for approximation.


title: A geometric approach to the generalized Noether theorem

abstract: We provide a geometric extension of the generalized Noether theorem for scaling symmetries recently presented in \cite{zhang2020generalized}. Our version of the generalized Noether theorem has several positive features: it is constructed in the most natural extension of the phase space, allowing for the symmetries to be vector fields on such manifold and for the associated invariants to be first integrals of motion; it has a direct geometrical proof, paralleling the proof of the standard phase space version of Noether's theorem; it automatically yields an inverse Noether theorem; it applies also to a large class of dissipative systems; and finally, it allows for a much larger class of symmetries than just scaling transformations which form a Lie algebra, and are thus amenable to algebraic treatments.

categories: math-ph gr-qc hep-th math.MP physics.class-ph


title: The characterization of aCM line bundles on quintic hypersurfaces in $\mathbb{P}^3$

abstract: Let $X$ be a smooth quintic hypersurface in $\mathbb{P}^3$, let $C$ be a smooth hyperplane section of $X$, and let $H=\mathcal{O}_X(C)$. In this paper, we give a necessary and sufficient condition for the line bundle given by a non-zero effective divisor on $X$ to be initialized and aCM with respect to $H$.


title: Differentially Private Language Models Benefit from Public Pre-training

abstract: Language modeling is a keystone task in natural language processing. When training a language model on sensitive information, differential privacy (DP) allows us to quantify the degree to which our private data is protected. However, training algorithms which enforce differential privacy often lead to degradation in model quality. We study the feasibility of learning a language model which is simultaneously high-quality and privacy preserving by tuning a public base model on a private corpus. We find that DP fine-tuning boosts the performance of language models in the private domain, making the training of such models possible.