title: Cyberattacks on Quantum Networked Computation and Communications -- Hacking the Superdense Coding Protocol on IBM's Quantum Computers

abstract: The development of automated gate specification for quantum communications and quantum networked computation opens up the way for malware designed at corrupting the automation software, changing the automated quantum communications protocols and algorithms. We study two types of attacks on automated quantum communications protocols and simulate these attacks on the superdense coding protocol, using remote access to IBM's Quantum Computers available through IBM Q Experience to simulate these attacks on what would be a low noise quantum communications network. The first type of attack leads to a hacker-controlled bijective transformation of the final measured strings, the second type of attack is a unitary scrambling attack that modifies the automated gate specification to effectively scramble the final measurement, disrupting quantum communications and taking advantage of quantum randomness upon measurement in a way that makes it difficult to distinguish from hardware malfunction or from a sudden rise in environmental noise. We show that, due to quantum entanglement and symmetries, the second type of attack works as a way to strategically disrupt quantum communications networks and quantum networked computation in a way that makes it difficult to ascertain which node was attacked. The main findings are discussed in the wider setting of quantum cybersecurity and quantum networked computation, where ways of hacking including the role of insider threats are discussed.


title: Stability of fixed points in an approximate solution of the spring-mass running model

abstract: We consider a classical spring-mass model of human running which is built upon an inverted elastic pendulum. Based on our previous results concerning asymptotic solutions for large spring constant (or small angle of attack), we construct analytical approximations of solutions in the considered model. The model itself consists of two sets of differential equations - one set describes the motion of the centre of mass of a runner in contact with the ground (support phase), and the second set describes the phase of no contact with the ground (flight phase). By appropriately concatenating asymptotic solutions for the two phases we are able to reduce the dynamics to a one-dimensional apex to apex return map. We find sufficient conditions for this map to have a unique stable fixed point. By numerical continuation of fixed points with respect to energy, we find a transcritical bifurcation in our model system.


title: Content Analysis Application in Nursing: A Synthetic Knowledge Synthesis Meta-Study

abstract: Theoretical issues: With the explosive growth in the research literature production, the need for new approaches to structure knowledge emerged. Method: Synthetic content analysis was used in our meta-study. Results and discussion: Our meta-study showed that content analysis is frequently used in nursing research in a very wide spectrum of applications. The trend of its use is positive and it is used globally in a variety of research settings. The synthetic content analysis used in our study showed to be a very helpful tool in performing knowledge synthesis, replacing many of the routine activities of conventional synthesis with automated activities this making such studies more economically viable and easier to perform.


title: A Comprehensive Taxonomy for Explainable Artificial Intelligence: A Systematic Survey of Surveys on Methods and Concepts

abstract: In the meantime, a wide variety of terminologies, motivations, approaches, and evaluation criteria have been developed within the research field of explainable artificial intelligence (XAI). With the amount of XAI methods vastly growing, a taxonomy of methods is needed by researchers as well as practitioners: To grasp the breadth of the topic, compare methods, and to select the right XAI method based on traits required by a specific use-case context. Many taxonomies for XAI methods of varying level of detail and depth can be found in the literature. While they often have a different focus, they also exhibit many points of overlap. This paper unifies these efforts and provides a complete taxonomy of XAI methods with respect to notions present in the current state of research. In a structured literature analysis and meta-study, we identified and reviewed more than 50 of the most cited and current surveys on XAI methods, metrics, and method traits. After summarizing them in a survey of surveys, we merge terminologies and concepts of the articles into a unified structured taxonomy. Single concepts therein are illustrated by more than 50 diverse selected example methods in total, which we categorize accordingly. The taxonomy may serve both beginners, researchers, and practitioners as a reference and wide-ranging overview of XAI method traits and aspects. Hence, it provides foundations for targeted, use-case-oriented, and context-sensitive future research.


title: Bounds on Negative Binomial Approximation to Call Function

abstract: In this paper, we develop Stein's method for negative binomial distribution using call function defined by $f_z(k)=(k-z)^+=\max\{k-z,0\}$, for $k\ge 0$ and $z \ge 0$. We obtain error bounds between $\mathbb{E}[f_z(\text{N}_{r,p})]$ and $\mathbb{E}[f_z(V)]$, where $\text{N}_{r,p}$ follows negative binomial distribution and $V$ is the sum of locally dependent random variables, using certain conditions on moments. We demonstrate our results through an interesting application, namely, collateralized debt obligation (CDO), and compare the bounds with the existing bounds.


title: Exclusive $f_{1}(1285)$ meson production for energy ranges available at the GSI-FAIR with HADES and PANDA

abstract: We evaluate the cross section for the $p p \to p p f_{1}(1285)$ and $p \bar{p} \to p \bar{p} f_{1}(1285)$ reactions at near threshold energies relevant for the HADES and PANDA experiments at GSI-FAIR. We assume that at energies close to the threshold the $\omega \omega \to f_{1}(1285)$ and $\rho^{0} \rho^{0} \to f_{1}(1285)$ fusion processes are the dominant production mechanisms. The vertex for the $VV \to f_{1}$ coupling is derived from an effective coupling Lagrangian. The $g_{\rho \rho f_1}$ coupling constant is extracted from the decay rate of $f_{1}(1285) \to \rho^{0} \gamma$ using the vector-meson-dominance ansatz. We assume $g_{\omega \omega f_1} = g_{\rho \rho f_1}$, equality of these two coupling constants, based on arguments from the naive quark model and vector-meson dominance. The amplitude for the $VV \to f_{1}$ fusion, supplemented by phenomenological vertex form factors for the process, is given. The differential cross sections at energies close to the threshold are calculated. In order to determine the parameters of the model the $\gamma p \to f_{1}(1285) p$ reaction is discussed in addition and results are compared with the CLAS data. The possibility of a measurement by HADES@GSI is presented and discussed. We performed a Monte Carlo feasibility simulations of the $p p \to p p f_1$ reaction for $\sqrt{s}$ = 3.46 GeV in the $\pi^+ \pi^- \pi^+ \pi^-$ (not shown explicitly) and $\pi^+ \pi^- \pi^+ \pi^- \pi^0$ final states using the PLUTO generator. The latter one is especially promising as a peak in the $\pi^+ \pi^- \eta$ should be observable by HADES.


title: Make Bipedal Robots Learn How to Imitate

abstract: Bipedal robots do not perform well as humans since they do not learn to walk like we do. In this paper we propose a method to train a bipedal robot to perform some basic movements with the help of imitation learning (IL) in which an instructor will perform the movement and the robot will try to mimic the instructor movement. To the best of our knowledge, this is the first time we train the robot to perform movements with a single video of the instructor and as the training is done based on joint angles the robot will keep its joint angles always in physical limits which in return help in faster training. The joints of the robot are identified by OpenPose architecture and then joint angle data is extracted with the help of angle between three points resulting in a noisy solution. We smooth the data using Savitzky-Golay filter and preserve the Simulatore data anatomy. An ingeniously written Deep Q Network (DQN) is trained with experience replay to make the robot learn to perform the movements as similar as the instructor. The implementation of the paper is made publicly available.


title: An even-load-distribution design for composite bolted joints using a novel circuit model and artificial neural networks

abstract: Due to the brittle feature of carbon fiber reinforced plastic laminates, mechanical multi-joint within these composite components show uneven load distribution for each bolt, which weaken the strength advantage of composite laminates. In order to reduce this defect and achieve the goal of even load distribution in mechanical joints, we propose a machine learning-based framework as an optimization method. Since that the friction effect has been proven to be a significant factor in determining bolt load distribution, our framework aims at providing optimal parameters including bolt-hole clearances and tightening torques for a minimum unevenness of bolt load. A novel circuit model is established to generate data samples for the training of artificial networks at a relatively low computational cost. A database for all the possible inputs in the design space is built through the machine learning model. The optimal dataset of clearances and torques provided by the database is validated by both the finite element method, circuit model, and an experimental measurement based on the linear superposition principle, which shows the effectiveness of this general framework for the optimization problem. Then, our machine learning model is further compared and worked in collaboration with commonly used optimization algorithms, which shows the potential of greatly increasing computational efficiency for the inverse design problem.


title: Energy and Randic' energy of special graphs

abstract: In this paper, we determine the Randic' energy of the m-splitting graph, the m-shadow graph and the m-duplicate graph of a given graph, m being an arbitrary integer. Our results allow the construction of an infinite sequence of graphs having the same Randic' energy. Further, we determine some graph invariants like the degree Kirchhoff index, the Kemeny's constant and the number of spanning trees of some special graphs. From our results, we indicate how to obtain infinitely many pairs of equienergetic graphs, Randic' equienergetic graphs and also, infinite families of integral graphs.


title: Joint learning of multiple Granger causal networks via non-convex regularizations: Inference of group-level brain connectivity

abstract: This paper considers joint learning of multiple sparse Granger graphical models to discover underlying common and differential Granger causality (GC) structures across multiple time series. This can be applied to drawing group-level brain connectivity inferences from a homogeneous group of subjects or discovering network differences among groups of signals collected under heterogeneous conditions. By recognizing that the GC of a single multivariate time series can be characterized by common zeros of vector autoregressive (VAR) lag coefficients, a group sparse prior is included in joint regularized least-squares estimations of multiple VAR models. Group-norm regularizations based on group- and fused-lasso penalties encourage a decomposition of multiple networks into a common GC structure, with other remaining parts defined in individual-specific networks. Prior information about sparseness and sparsity patterns of desired GC networks are incorporated as relative weights, while a non-convex group norm in the penalty is proposed to enhance the accuracy of network estimation in low-sample settings. Extensive numerical results on simulations illustrated our method's improvements over existing sparse estimation approaches on GC network sparsity recovery. Our methods were also applied to available resting-state fMRI time series from the ADHD-200 data sets to learn the differences of causality mechanisms, called effective brain connectivity, between adolescents with ADHD and typically developing children. Our analysis revealed that parts of the causality differences between the two groups often resided in the orbitofrontal region and areas associated with the limbic system, which agreed with clinical findings and data-driven results in previous studies.


title: Are Convolutional Neural Networks or Transformers more like human vision?

abstract: Modern machine learning models for computer vision exceed humans in accuracy on specific visual recognition tasks, notably on datasets like ImageNet. However, high accuracy can be achieved in many ways. The particular decision function found by a machine learning system is determined not only by the data to which the system is exposed, but also the inductive biases of the model, which are typically harder to characterize. In this work, we follow a recent trend of in-depth behavioral analyses of neural network models that go beyond accuracy as an evaluation metric by looking at patterns of errors. Our focus is on comparing a suite of standard Convolutional Neural Networks (CNNs) and a recently-proposed attention-based network, the Vision Transformer (ViT), which relaxes the translation-invariance constraint of CNNs and therefore represents a model with a weaker set of inductive biases. Attention-based networks have previously been shown to achieve higher accuracy than CNNs on vision tasks, and we demonstrate, using new metrics for examining error consistency with more granularity, that their errors are also more consistent with those of humans. These results have implications both for building more human-like vision models, as well as for understanding visual object recognition in humans.


title: Quasiconformal Whitney Partition

abstract: Whitney partition is a very important concept in modern analysis. We discuss here a quasiconformal version of the Whitney partition that can be usefull for Sobolev spaces.


title: Robust Data-Enabled Predictive Control: Tractable Formulations and Performance Guarantees

abstract: We introduce a general framework for robust data-enabled predictive control (DeePC) for linear time-invariant (LTI) systems. The proposed framework enables us to obtain model-free optimal control for LTI systems based on noisy input/output data. More specifically, robust DeePC solves a min-max optimization problem to compute the optimal control sequence that is resilient to all possible realizations of the uncertainties in the input/output data within a prescribed uncertainty set. We present computationally tractable reformulations of the min-max problem with various uncertainty sets. Furthermore, we show that even though an accurate prediction of the future behavior is unattainable in practice due to inaccessibility of the perfect input/output data, the obtained robust optimal control sequence provides performance guarantees for the actually realized input/output cost. We further show that the robust DeePC generalizes and robustifies the regularized DeePC (with quadratic regularization or 1-norm regularization) proposed in the literature. Finally, we demonstrate the performance of the proposed robust DeePC algorithm on high-fidelity, nonlinear, and noisy simulations of a grid-connected power converter system.


title: Multi-scale super-resolution generation of low-resolution scanned pathological images

abstract: Background. Digital pathology has aroused widespread interest in modern pathology. The key of digitalization is to scan the whole slide image (WSI) at high magnification. The lager the magnification is, the richer details WSI will provide, but the scanning time is longer and the file size of obtained is larger. Methods. We design a strategy to scan slides with low resolution (5X) and a super-resolution method is proposed to restore the image details when in diagnosis. The method is based on a multi-scale generative adversarial network, which sequentially generates three high-resolution images such as 10X, 20X and 40X. Results. The peak-signal-to-noise-ratio of 10X to 40X generated images are 24.16, 22.27 and 20.44, and the structural-similarity-index are 0.845, 0.680 and 0.512, which are better than other super-resolution networks. Visual scoring average and standard deviation from three pathologists is 3.63 plus-minus 0.52, 3.70 plus-minus 0.57 and 3.74 plus-minus 0.56 and the p value of analysis of variance is 0.37, indicating that generated images include sufficient information for diagnosis. The average value of Kappa test is 0.99, meaning the diagnosis of generated images is highly consistent with that of the real images. Conclusion. This proposed method can generate high-quality 10X, 20X, 40X images from 5X images at the same time, in which the time and storage costs of digitalization can be effectively reduced up to 1/64 of the previous costs. The proposed method provides a better alternative for low-cost storage, faster image share of digital pathology. Keywords. Digital pathology; Super-resolution; Low resolution scanning; Low cost


title: Energy conversion from heat to electricity by highly reversible phase-transforming ferroelectrics

abstract: Searching for performant multiferroic materials attracts general research interests in energy science as they have been increasingly exploited as the conversion media among thermal, electric, magnetic and mechanical energies by using their temperature-dependent ferroic properties. Here we report a material development strategy that guides us to discover a reversible phase-transforming ferroelectric material exhibiting enduring energy harvesting from small temperature differences. The material satisfies the crystallographic compatibility condition between polar and nonpolar phases, which shows only 2.5C thermal hysteresis and high figure of merit. It stably generates 15uA electricity in consecutive thermodynamic cycles in absence of any bias fields. We demonstrate our device to consistently generate 6uA/cm2 current density near 100C over 540 complete phase transformation cycles without any electric and functional degradation. The energy conversion device can light up a LED directly without attaching an external power source. This promising material candidate brings the low-grade waste heat harvesting closer to a practical realization, e.g. small temperature fluctuations around the water boiling point can be considered as a clean energy source.


title: FOGA: Flag Optimization with Genetic Algorithm

abstract: Recently, program autotuning has become very popular especially in embedded systems, when we have limited resources such as computing power and memory where these systems run generally time-critical applications. Compiler optimization space gradually expands with the renewed compiler options and inclusion of new architectures. These advancements bring autotuning even more important position. In this paper, we introduced Flag Optimization with Genetic Algorithm (FOGA) as an autotuning solution for GCC flag optimization. FOGA has two main advantages over the other autotuning approaches: the first one is the hyperparameter tuning of the genetic algorithm (GA), the second one is the maximum iteration parameter to stop when no further improvement occurs. We demonstrated remarkable speedup in the execution time of C++ source codes with the help of optimization flags provided by FOGA when compared to the state of the art framework OpenTuner.


title: Pebbles, Graphs, and a Pinch of Combinatorics: Towards Tight I/O Lower Bounds for Statically Analyzable Programs

abstract: Determining I/O lower bounds is a crucial step in obtaining communication-efficient parallel algorithms, both across the memory hierarchy and between processors. Current approaches either study specific algorithms individually, disallow programmatic motifs such as recomputation, or produce asymptotic bounds that exclude important constants. We propose a novel approach for obtaining precise I/O lower bounds on a general class of programs, which we call Simple Overlap Access Programs (SOAP). SOAP analysis covers a wide variety of algorithms, from ubiquitous computational kernels to full scientific computing applications. Using the red-blue pebble game and combinatorial methods, we are able to bound the I/O of the SOAP-induced Computational Directed Acyclic Graph (CDAG), taking into account multiple statements, input/output reuse, and optimal tiling. To deal with programs that are outside of our representation (e.g., non-injective access functions), we describe methods to approximate them with SOAP. To demonstrate our method, we analyze 38 different applications, including kernels from the Polybench benchmark suite, deep learning operators, and -- for the first time -- applications in unstructured physics simulations, numerical weather prediction stencil compositions, and full deep neural networks. We derive tight I/O bounds for several linear algebra kernels, such as Cholesky decomposition, improving the existing reported bounds by a factor of two. For stencil applications, we improve the existing bounds by a factor of up to 14. We implement our method as an open-source tool, which can derive lower bounds directly from provided C code.


title: Computer Assisted Proof of Drift Orbits Along Normally Hyperbolic Manifolds II: Application to the Restricted Three Body Problem

abstract: We present a computer assisted proof or diffusion in the Planar Elliptic Restricted Three Body Problem. We treat the elliptic problem as a perturbation of the circular problem, where the perturbation parameter is the eccentricity of the primaries. The unperturbed system preserves energy, and we show that for sufficiently small perturbations we have orbits with explicit energy changes, independent from the size of the perturbation. The result is based on shadowing of orbits along transversal intersections of stable/unstable manifolds of a normally hyperbolic cylinder.


title: Rethinking Skip Connection with Layer Normalization in Transformers and ResNets

abstract: Skip connection, is a widely-used technique to improve the performance and the convergence of deep neural networks, which is believed to relieve the difficulty in optimization due to non-linearity by propagating a linear component through the neural network layers. However, from another point of view, it can also be seen as a modulating mechanism between the input and the output, with the input scaled by a pre-defined value one. In this work, we investigate how the scale factors in the effectiveness of the skip connection and reveal that a trivial adjustment of the scale will lead to spurious gradient exploding or vanishing in line with the deepness of the models, which could be addressed by normalization, in particular, layer normalization, which induces consistent improvements over the plain skip connection. Inspired by the findings, we further propose to adaptively adjust the scale of the input by recursively applying skip connection with layer normalization, which promotes the performance substantially and generalizes well across diverse tasks including both machine translation and image classification datasets.


title: On properties of an explicit in time fourth-order vector compact scheme for the multidimensional wave equation

abstract: An initial-boundary value problem for the $n$-dimensional wave equation is considered. A three-level explicit in time and conditionally stable 4th-order compact scheme constructed recently for $n=2$ and the square mesh is generalized to the case of any $n\geq 1$ and the rectangular uniform mesh. Another approach to approximate the solution at the first time level (not exploiting high-order derivatives of the initial functions) is suggested. New stability bounds in the mesh energy norms and the discrete energy conservation laws are given, and the 4th order error bound is rigorously proved. Generalizations to the cases of the non-uniform meshes in space and time as well as of the wave equation with variable coefficients are suggested.


title: Generative Adversarial Network-based Cross-Project Fault Prediction

abstract: Background: The early stage of defect prediction in the software development life cycle can reduce testing effort and ensure the quality of software. Due to the lack of historical data within the same project, Cross-Project Defect Prediction (CPDP) has become a popular research topic among researchers. CPDP trained classifiers based on labeled data sets of one project to predict fault in another project. Goals: Software Defect Prediction (SDP) data sets consist of manually designed static features, which are software metrics. In CPDP, source and target project data divergence is the major challenge in achieving high performance. In this paper, we propose a Generative Adversarial Network (GAN)-based data transformation to reduce data divergence between source and target projects. Method: We apply the Generative Adversarial Method where label data sets are choosing as real data, while target data sets are choosing as fake data. The Discriminator tries to measure the perfection of domain adaptation through loss function. Through the generator, target data sets try to adapt the source project domain and, finally, apply machine learning classifier (i.e., Naive Bayes) to classify faulty modules. Results: Our result shows that it is possible to predict defects based on the Generative Adversarial Method. Our model performs quite well in a cross-project environment when we choose JDT as a target data sets. However, all chosen data sets are facing a large class imbalance problem which affects the performance of our model.


title: Infrared spectroscopy of hydration-controlled eumelanin films suggests the presence of the Zundel cation

abstract: Eumelanin is a widespread biomacromolecule pigment in the biosphere and is intensively tested in numerous bioelectronics and energetic applications. Many of these applications depend on eumelanin's ability to conduct proton current at various levels of hydration. The origin of this behaviour is connected with a comproportionation reaction between oxidized and reduced monomer moieties and water. However, neither this reaction nor the formation of the aqueous proton species have ever been directly observed. Presented here is a hydration dependent FTIR spectroscopic study on eumelanin, which allows for the first time to track the comproportionation reaction via the gradual decrease of the carbonyl group concentration (1725 $cm^{-1}$ band) versus hydration. Furthermore, we detect two types of interfacial water (3253 $cm^{-1}$ and 3473 $cm^{-1}$ bands). Finally, the feature detected at the 3600 $cm^{-1}$ band is assigned to the formation of the Zundel cation, $H_5O_2^+$, an observation and suggestion not previously made. We suggests, due to the behaviour of the hydration dependent feature at 3600 $cm^{-1}$ that the formation of the $H_5O_2^+$ cation potentially functions as a trap for mobile proton species, partially explaining the complex hydration dependent conductivity of eumelanin.


title: Aerial-PASS: Panoramic Annular Scene Segmentation in Drone Videos

abstract: Aerial pixel-wise scene perception of the surrounding environment is an important task for UAVs (Unmanned Aerial Vehicles). Previous research works mainly adopt conventional pinhole cameras or fisheye cameras as the imaging device. However, these imaging systems cannot achieve large Field of View (FoV), small size, and lightweight at the same time. To this end, we design a UAV system with a Panoramic Annular Lens (PAL), which has the characteristics of small size, low weight, and a 360-degree annular FoV. A lightweight panoramic annular semantic segmentation neural network model is designed to achieve high-accuracy and real-time scene parsing. In addition, we present the first drone-perspective panoramic scene segmentation dataset Aerial-PASS, with annotated labels of track, field, and others. A comprehensive variety of experiments shows that the designed system performs satisfactorily in aerial panoramic scene parsing. In particular, our proposed model strikes an excellent trade-off between segmentation performance and inference speed suitable, validated on both public street-scene and our established aerial-scene datasets.


title: LHC Bounds on $R_{D^{(*)}}$ motivated Leptoquark Models

abstract: Most of the popular explanations of the observed anomalies in the semileptonic $B$-meson decays involve TeV scale Leptoquarks (LQs). Among the various possible LQ models, two particular LQs -- $S_{1}(3, 1, 1/3)$ and $U_{1}(3, 1, 2/3)$ seem to be most promising. Here, we use current LHC data to constrain the $S_{1}(3, 1, 1/3)$ and $U_{1}(3, 1, 2/3)$ parameter spaces relevant for the $R_{D^{(*)}}$ observables. We recast the latest ATLAS $\tau\tau$ resonance search data to obtain new exclusion limits. For this purpose, we consider both resonant (pair and single productions) and non-resonant ($t$-channel LQ exchange) productions of these LQs at the LHC. For the limits, the most dominant contribution comes from the (destructive) interference of the non-resonant production with Standard Model backgrounds. The combined contribution from the pair and inclusive single production processes is less prominent but non-negligible. The limits we get are independent and competitive to other known bounds. For both the models, we set limits on $R_{D^{(*)}}$ motivated couplings.


title: On Converse Results for Secure Index Coding

abstract: In this work, we study the secure index coding problem where there are security constraints on both legitimate receivers and eavesdroppers. We develop two performance bounds (i.e., converse results) on the symmetric secure capacity. The first one is an extended version of the basic acyclic chain bound (Liu and Sadeghi, 2019) that takes security constraints into account. The second converse result is a novel information-theoretic lower bound on the symmetric secure capacity, which is interesting as all the existing converse results in the literature for secure index coding give upper bounds on the capacity.


title: Generalized Nearest Neighbor Decoding for MIMO Channels with Imperfect Channel State Information

abstract: Information transmission over a multiple-input-multiple-output (MIMO) fading channel with imperfect channel state information (CSI) is investigated, under a new receiver architecture which combines the recently proposed generalized nearest neighbor decoding rule (GNNDR) and a successive procedure in the spirit of successive interference cancellation (SIC). Recognizing that the channel input-output relationship is a nonlinear mapping under imperfect CSI, the GNNDR is capable of extracting the information embedded in the joint observation of channel output and imperfect CSI more efficiently than the conventional linear scheme, as revealed by our achievable rate analysis via generalized mutual information (GMI). Numerical results indicate that the proposed scheme achieves performance close to the channel capacity with perfect CSI, and significantly outperforms the conventional pilot-assisted scheme, which first estimates the CSI and then uses the estimated CSI as the true one for coherent decoding.


title: Stationary Discounted and Ergodic Mean Field Games of Singular Control

abstract: We study stationary mean field games with singular controls in which the representative player interacts with a long-time weighted average of the population through a discounted and an ergodic performance criterion. This class of games finds natural applications in the context of optimal productivity expansion in dynamic oligopolies. We prove existence and uniqueness of the mean field equilibria, which are completely characterized through nonlinear equations. Furthermore, we relate the mean field equilibria for the discounted and the ergodic games by showing the validity of an Abelian limit. The latter allows also to approximate Nash equilibria of - so far unexplored - symmetric N-player ergodic singular control games through the mean field equilibrium of the discounted game. Numerical examples finally illustrate in a case study the dependency of the mean field equilibria with respect to the parameters of the games.


title: The equivalence between correctability of deletions and insertions of separable states in quantum codes

abstract: In this paper, we prove the equivalence of inserting separable quantum states and deletions. Hence any quantum code that corrects deletions automatically corrects separable insertions. First, we describe the quantum insertion/deletion error using the Kraus operators. Next, we develop an algebra for commuting Kraus operators corresponding to insertions and deletions. Using this algebra, we prove the equivalence between quantum insertion codes and quantum deletion codes using the Knill-Laflamme conditions.


title: Wafer-scale, epitaxial growth of single layer hexagonal boron nitride on Pt(111)

abstract: Single layer hexagonal boron nitride is produced on 2 inch Pt(111)/sapphire wafers. The growth with borazine vapour deposition at process temperatures between 1000 and 1300 K is in-situ investigated by photoelectron yield measurements. The growth kinetics is slower at higher temperatures and follows a tanh$^2$ law which better fits for higher temperatures. The crystal-quality of h-BN/Pt(111) is inferred from scanning low energy electron diffraction (x-y LEED). The data indicate a strong dependence of the epitaxy on the growth temperature. The dominant structure is an aligned coincidence lattice with 10 h-BN on 9 Pt(1$\times$1) unit cells and follows the substrate twinning at the millimeter scale.


title: Spatial Statistics

abstract: Spatial statistics is an area of study devoted to the statistical analysis of data that have a spatial label associated with them. Geographers often refer to the "location information" associated with the "attribute information," whose study defines a research area called "spatial analysis." Many of the ways to manipulate spatial data are driven by algorithms with no uncertainty quantification associated with them. When a spatial analysis is statistical, that is, it incorporates uncertainty quantification, it falls in the research area called spatial statistics. The primary feature of spatial statistical models is that nearby attribute values are more statistically dependent than distant attribute values; this is a paraphrasing of what is sometimes called the First Law of Geography (Tobler, 1970).


title: Constraint tableaux for two-dimensional fuzzy logics

abstract: We introduce two-dimensional logics based on \L{}ukasiewicz and G\"{o}del logics to formalize paraconsistent fuzzy reasoning. The logics are interpreted on matrices, where the common underlying structure is the bi-lattice (twisted) product of the $[0,1]$ interval. The first (resp.\ second) coordinate encodes the positive (resp.\ negative) information one has about a statement. We propose constraint tableaux that provide a modular framework to address their completeness and complexity.


title: Turbulent plane Poiseuille flow

abstract: The ultimate goal of a sound theory of turbulence in fluids is to close in a rational way the Reynolds equations, namely to express the time averaged turbulent stress tensor as a function of the time averaged velocity field. This closure problem is a deep and unsolved problem of statistical physics whose solution requires to go beyond the assumption of a homogeneous and isotropic state, as fluctuations in turbulent flows are strongly related to the geometry of this flow. This links the dissipation to the space dependence of the average velocity field. Based on the idea that dissipation in fully developed turbulence is by singular events resulting from an evolution described by the Euler equations, it has been recently observed that the closure problem is strongly restricted, and that it implies that the turbulent stress is a non local function (in space) of the average velocity field, an extension of classical Boussinesq theory of turbulent viscosity. The resulting equations for the turbulent stress are derived here in one of the simplest possible physical situation, the turbulent Poiseuille flow between two parallel plates. In this case the integral kernel giving the turbulent stress, as function of the averaged velocity field, takes a simple form leading to a full analysis of the averaged turbulent flow in the limit of a very large Reynolds number. In this limit one has to match a viscous boundary layer, near the walls bounding the flow, and an outer solution in the bulk of the flow. This asymptotic analysis is non trivial because one has to match solution with logarithms. A non trivial and somewhat unexpected feature of this solution is that, besides the boundary layers close to the walls, there is another "inner" boundary layer near the center plane of the flow.


title: Peak Demand Minimization via Sliced Strip Packing

abstract: We study Nonpreemptive Peak Demand Minimization (NPDM) problem, where we are given a set of jobs, specified by their processing times and energy requirements. The goal is to schedule all jobs within a fixed time period such that the peak load (the maximum total energy requirement at any time) is minimized. This problem has recently received significant attention due to its relevance in smart-grids. Theoretically, the problem is related to the classical strip packing problem (SP). In SP, a given set of axis-aligned rectangles must be packed into a fixed-width strip, such that the height of the strip is minimized. NPDM can be modeled as strip packing with slicing and stacking constraint: each rectangle may be cut vertically into multiple slices and the slices may be packed into the strip as individual pieces. The stacking constraint forbids solutions where two slices of the same rectangle are intersected by the same vertical line. Nonpreemption enforces the slices to be placed in contiguous horizontal locations (but may be placed at different vertical locations). We obtain a $(5/3+\epsilon)$-approximation algorithm for the problem. We also provide an asymptotic efficient polynomial-time approximation scheme (AEPTAS) which generates a schedule for almost all jobs with energy consumption $(1+\epsilon)OPT$. The remaining jobs fit into a thin container of height $1$. The previous best for NPDM was 2.7 approximation based on FFDH [Ranjan et al. 2015]. One of our key ideas is providing several new lower bounds on the optimal solution of a geometric packing, which could be useful in other related problems. These lower bounds help us to obtain approximative solutions based on Steinberg's algorithm in many cases. In addition, we show how to split schedules generated by the AEPTAS into few segments and to rearrange the corresponding jobs to insert the thin container mentioned above.


title: String Theories involving Regular Membership Predicates: From Practice to Theory and Back

abstract: Widespread use of string solvers in formal analysis of string-heavy programs has led to a growing demand for more efficient and reliable techniques which can be applied in this context, especially for real-world cases. Designing an algorithm for the (generally undecidable) satisfiability problem for systems of string constraints requires a thorough understanding of the structure of constraints present in the targeted cases. In this paper, we investigate benchmarks presented in the literature containing regular expression membership predicates, extract different first order logic theories, and prove their decidability, resp. undecidability. Notably, the most common theories in real-world benchmarks are PSPACE-complete and directly lead to the implementation of a more efficient algorithm to solving string constraints.


title: Computational methods for large-scale inverse problems: a survey on hybrid projection methods

abstract: This paper surveys an important class of methods that combine iterative projection methods and variational regularization methods for large-scale inverse problems. Iterative methods such as Krylov subspace methods are invaluable in the numerical linear algebra community and have proved important in solving inverse problems due to their inherent regularizing properties and their ability to handle large-scale problems. Variational regularization describes a broad and important class of methods that are used to obtain reliable solutions to inverse problems, whereby one solves a modified problem that incorporates prior knowledge. Hybrid projection methods combine iterative projection methods with variational regularization techniques in a synergistic way, providing researchers with a powerful computational framework for solving very large inverse problems. Although the idea of a hybrid Krylov method for linear inverse problems goes back to the 1980s, several recent advances on new regularization frameworks and methodologies have made this field ripe for extensions, further analyses, and new applications. In this paper, we provide a practical and accessible introduction to hybrid projection methods in the context of solving large (linear) inverse problems.


title: On the Distributional Properties of Adaptive Gradients

abstract: Adaptive gradient methods have achieved remarkable success in training deep neural networks on a wide variety of tasks. However, not much is known about the mathematical and statistical properties of this family of methods. This work aims at providing a series of theoretical analyses of its statistical properties justified by experiments. In particular, we show that when the underlying gradient obeys a normal distribution, the variance of the magnitude of the \textit{update} is an increasing and bounded function of time and does not diverge. This work suggests that the divergence of variance is not the cause of the need for warm up of the Adam optimizer, contrary to what is believed in the current literature.


title: Radiatively-driven black-hole winds revisited

abstract: We examine general relativistic radiatively-driven spherical winds, using the basic equations for relativistic radiation hydrodynamics under the moment formalism. Moment equations are often closed, using the equilibrium diffusion approximation, which has an acausal problem, and furthermore, gives nodal-type critical points. Instead, we use the nonequilibrium diffusion approximation with a closure relation of a variable Eddington factor, $f(\tau,\beta)$, where $\tau$ is the optical depth and $\beta$ is the flow speed normalized by the speed of light. We then analyze the critical properties in detail for several parameters, and found that there appear saddle-type critical points as well as nodal type and spiral one. The most suitable type is the saddle one, which appears in a region close to a black hole. We also calculate transonic solutions with typical parameters, and show that the luminosity is almost comparable to the Eddington luminosity, the gas is quickly accelerated in the vicinity of the black hole, and wind terminal speeds are on the order of 0.1$-$0.3$~c$. These results of radiatively-driven black hole winds can be applied, e.g., to ultra-fast outflows (UFOs), which are supposed to be fast outflows from the vicinity of super massive black holes.


title: Estimating Heterogeneous Causal Effect of Polysubstance Usage on Drug Overdose from Large-Scale Electronic Health Record

abstract: Drug overdose has become a public health crisis in the United States with devastating consequences. However, most of the drug overdose incidences are the consequence of recitative polysubstance usage over a defined period of time which can be happened by either the intentional usage of required drug with other drugs or by accident. Thus, predicting the effects of polysubstance usage is extremely important for clinicians to decide which combination of drugs should be prescribed. Recent advancement of structural causal models can provide ample insights of causal effects from observational data via identifiable causal directed graphs. In this paper, we propose a system to estimate heterogeneous concurrent drug usage effects on overdose estimation, that consists of efficient co-variate selection, sub-group selection and heterogeneous causal effect estimation. We apply our framework to answer a critical question, can concurrent usage of benzodiazepines and opioids have heterogeneous causal effects on the opioid overdose epidemic? Using Truven MarketScan claim data collected from 2001 to 2013 have shown significant promise of our proposed framework's efficacy.


title: Holographic phonons by gauge-axion coupling

abstract: In this paper, we show that a simple generalization of the holographic axion model can realize spontaneous breaking of translational symmetry by considering a special gauge-axion higher derivative term. The finite real part and imaginary part of the stress tensor imply that the dual boundary system is a viscoelastic solid. By calculating quasi-normal modes and making a comparison with predictions from the elasticity theory, we verify the existence of phonons and pseudo-phonons, where the latter is realized by introducing a weak explicit breaking of translational symmetry, in the transverse channel. Finally, we discuss how the phonon dynamics affects the charge transport.


title: Weak Cosmic Censorship Conjecture in Kerr-Newman-(Anti-)de Sitter Black Hole with Charged Scalar Field

abstract: We investigate the weak cosmic censorship conjecture in extremal and near-extremal Kerr-Newman-(anti-)de Sitter black holes by the scattering of a massive scalar field with an electric charge. Under this scattering, the scalar field fluxes change the black hole state, as determined by the mass, angular momentum, and electric charge. The black hole may exceed its extremal condition because of these changes. However, we find that the black hole cannot be overcharged or overspun by the scattering. In particular, although the fluxes are closely associated with the asymptotic boundary conditions along the flat, anti-de Sitter, and de Sitter spacetimes, the weak cosmic censorship conjecture is valid for any scalar field boundary conditions. Moreover, the validity of the weak cosmic censorship conjecture is thermodynamically preferred for this scattering.


title: Enhancement of superconductivity due to kinetic-energy effect in the strongly correlated phase of the two-dimensional Hubbard model

abstract: We investigated kinetic properties of correlated pairing states in strongly correlated phase of the Hubbard model in two space dimensions. We employ an optimization variational Monte Carlo method, where we use the improved wave function $\psi_{\lambda}= e^{-\lambda K}\psi_G$ for the Gutzwiller wave function $\psi_G$ with $K$ being the kinetic part of the Hamiltonian. The Gutzwiller-BCS state is stabilized as the potential energy driven superconductivity because the Coulomb interaction energy is lowered while the kinetic energy increases in this state. In contrast, we show that in the $\psi_{\lambda}$-BCS wave function $\psi_{\lambda-BCS}= e^{-\lambda K}P_G\psi_{BCS}$, the Coulomb energy increases and instead the kinetic energy is lowered in the strongly correlated phase where the Coulomb repulsive interaction $U$ is large. The correlated superconducting state is realized as a kinetic energy driven pairing state and this indicates the enhancement of superconductivity due to kinetic-energy effect.


title: Universality and Optimality of Structured Deep Kernel Networks

abstract: Kernel based methods yield approximation models that are flexible, efficient and powerful. In particular, they utilize fixed feature maps of the data, being often associated to strong analytical results that prove their accuracy. On the other hand, the recent success of machine learning methods has been driven by deep neural networks (NNs). They achieve a significant accuracy on very high-dimensional data, in that they are able to learn also efficient data representations or data-based feature maps. In this paper, we leverage a recent deep kernel representer theorem to connect the two approaches and understand their interplay. In particular, we show that the use of special types of kernels yield models reminiscent of neural networks that are founded in the same theoretical framework of classical kernel methods, while enjoying many computational properties of deep neural networks. Especially the introduced Structured Deep Kernel Networks (SDKNs) can be viewed as neural networks with optimizable activation functions obeying a representer theorem. Analytic properties show their universal approximation properties in different asymptotic regimes of unbounded number of centers, width and depth. Especially in the case of unbounded depth, the constructions is asymptotically better than corresponding constructions for ReLU neural networks, which is made possible by the flexibility of kernel approximation


title: Data-Driven Reachability Analysis from Noisy Data

abstract: We consider the problem of computing reachable sets directly from noisy data without a given system model. Several reachability algorithms are presented for different types of systems generating the data. First, an algorithm for computing over-approximated reachable sets based on matrix zonotopes is proposed for linear systems. Constrained matrix zonotopes are introduced to provide less conservative reachable sets at the cost of increased computational expenses and utilized to incorporate prior knowledge about the unknown system model. Then we extend the approach to polynomial systems and, under the assumption of Lipschitz continuity, to nonlinear systems. Theoretical guarantees are given for these algorithms in that they give a proper over-approximate reachable set containing the true reachable set. Multiple numerical examples and real experiments show the applicability of the introduced algorithms, and comparisons are made between algorithms.


title: A new analysis of the pQCD contributions to the electroweak parameter $\rho$ using the single-scale approach of principle of maximum conformality

abstract: It has been observed that conventional renormalization scheme and scale ambiguities for the pQCD predictions can be eliminated by using the principle of maximum conformality (PMC). However, being the intrinsic nature of any perturbative theory, there are still two types of residual scale dependences due to uncalculated higher-order terms. In the paper, as a step forward of our previous work [Phys.Rev.D {\bf 89},116001(2014)], we reanalyze the electroweak $\rho$ parameter by using the PMC single-scale approach. Using the PMC conformal series and the Pad$\acute{e}$ approximation approach, we observe that the residual scale dependence can be greatly suppressed and then a more precise pQCD prediction up to ${\rm N^4LO}$-level can be achieved, e.g. $\Delta\rho|_{\rm PMC}\simeq(8.204\pm0.012)\times10^{-3}$, where the errors are squared averages of those from unknown higher-order terms and $\Delta\alpha_s(M_Z)=\pm 0.0010$. We then predict the magnitudes of the shifts of the $W$-boson mass and the effective leptonic weak-mixing angle: $\delta M_{W}|_{\rm N^4LO} =-0.26$ MeV and $\delta \sin^2{\theta}_{\rm eff}|_{\rm N^4LO}=0.14\times10^{-5}$, which are well below the precision anticipated for the future electron-position colliders such as FCC, CEPC and ILC. Thus by measuring those parameters, it is possible to test SM with high precision.


title: Bilevel Programs Meet Deep Learning: A Unifying View on Inference Learning Methods

abstract: In this work we unify a number of inference learning methods, that are proposed in the literature as alternative training algorithms to the ones based on regular error back-propagation. These inference learning methods were developed with very diverse motivations, mainly aiming to enhance the biological plausibility of deep neural networks and to improve the intrinsic parallelism of training methods. We show that these superficially very different methods can all be obtained by successively applying a particular reformulation of bilevel optimization programs. As a by-product it becomes also evident that all considered inference learning methods include back-propagation as a special case, and therefore at least approximate error back-propagation in typical settings. Finally, we propose Fenchel back-propagation, that replaces the propagation of infinitesimal corrections performed in standard back-propagation with finite targets as the learning signal. Fenchel back-propagation can therefore be seen as an instance of learning via explicit target propagation.


title: Axion Dark Radiation: Hubble Tension and Hyper-kamiokande Neutrino Experiment

abstract: In this work, we investigate the dark sector of a supersymmetric axion model, consisting of the late-decaying gravitino/axino dark matter and axion dark radiation. In the early universe, the decay of the scalar superpartner of the axion (saxion) will produce a large amount of entropy. The additional entropy can not only dilute the relic density of the gravitino/axino dark matter to avoid overclosing the universe but also relax the constraint on the reheating temperature $T_{R}$ after inflation. Meanwhile, the axion dark radiation from the saxion decay will increase the effective number of neutrino species $N_{\rm eff}$, which can help to reduce the cosmological Hubble tension. In the late universe, the decay of long-lived gravitino/axino dark matter produces the axions with MeV-scale kinetic energy. We study the potential of searching for such energetic axions through the inverse Primakoff process $a+A \to \gamma+ A$ in the neutrino experiments, such as Hyper-Kamiokande.


title: Characterizing the Interactions Between Classical and Community-aware Centrality Measures in Complex Networks

abstract: Identifying vital nodes in networks exhibiting a community structure is a fundamental issue. Indeed, community structure is one of the main properties of real-world networks. Recent works have shown that community-aware centrality measures compare favorably with classical measures agnostic about this ubiquitous property. Nonetheless, there is no clear consensus about how they relate and in which situation it is better to use a classical or a community-aware centrality measure. To this end, in this paper, we perform an extensive investigation to get a better understanding of the relationship between classical and community-aware centrality measures reported in the literature. Experiments use artificial networks with controlled community structure properties and a large sample of real-world networks originating from various domains. Results indicate that the stronger the community structure, the more appropriate the community-aware centrality measures. Furthermore, variations of the degree and community size distribution parameters do not affect the results. Finally, network transitivity and community structure strength are the most significant drivers controlling the interactions between classical and community-aware centrality measures.


title: Some simple biset functors

abstract: Let $p$ be a prime number, let $H$ be a finite $p$-group, and let $\mathbb{F}$ be a field of characteristic 0, considered as a trivial $\mathbb{F} \mathrm{Out}(H)$-module. The main result of this paper gives the dimension of the evaluation $S_{H,\mathbb{F}}(G)$ of the simple biset functor $S_{H,\mathbb{F}}$ at an arbitrary finite group $G$. A closely related result is proved in the last section: for each prime number $p$, a Green biset functor $E_p$ is introduced, as a specific quotient of the Burnside functor, and it is shown that the evaluation $E_p(G)$ is a free abelian group of rank equal to the number of conjugacy classes of $p$-elementary subgroups of $G$.


title: Homogeneous Anisotropic Cosmological Models with Viscous Fluid and Magnetic Field

abstract: The paper presents some exact solutions of Bianchi types I, III and Kantowski-Sachs cosmological models consisting of a dissipative fluid along with an axial magnetic field. A barytropic equation of state between the thermodynamic pressure and the matter density, together with a pair of linear relations between the matter density, the shear scalar, and the expansion scalar have been assumed for simplicity. The solutions are basically of two different types, one for the Bianchi-I and the other for Bianchi-III and Kantowski-Sachs type. The presence of the magnetic field, however, does not change the fundamental nature of the initial singularity.


title: A hybrid percolation transition at a finite transition point in scale-free networks

abstract: Percolation transition (PT) means the formation of a macroscopic-scale large cluster, which exhibits a continuous transition. However, when the growth of large clusters is globally suppressed, the type of PT is changed to a discontinuous transition for random networks. A question arises as to whether the type of PT is also changed for scale-free (SF) network, because the existence of hubs incites the formation of a giant cluster. Here, we apply a global suppression rule to the static model for SF networks, and investigate properties of the PT. We find that even for SF networks with the degree exponent $2 < \lambda <3$, a hybrid PT occurs at a finite transition point $t_c$, which we can control by the suppression strength. The order parameter jumps at $t_c^-$ and exhibits a critical behavior at $t_c^+$.


title: Brain Inspired Face Recognition: A Computational Framework

abstract: This paper presents a new proposal of an efficient computational model of face recognition which uses cues from the distributed face recognition mechanism of the brain, and by gathering engineering equivalent of these cues from existing literature. Three distinct and widely used features: Histogram of Oriented Gradients (HOG), Local Binary Patterns (LBP), and Principal components (PCs) extracted from target images are used in a manner which is simple, and yet effective. The HOG and LBP features further undergo principal component analysis for dimensionality reduction. Our model uses multi-layer perceptrons (MLP) to classify these three features and fuse them at the decision level using sum rule. A computational theory is first developed by using concepts from the information processing mechanism of the brain. Extensive experiments are carried out using ten publicly available datasets to validate our proposed model's performance in recognizing faces with extreme variation of illumination, pose angle, expression, and background. Results obtained are extremely promising when compared with other face recognition algorithms including CNN and deep learning-based methods. This highlights that simple computational processes, if clubbed properly, can produce competing performance with best algorithms.


title: Using Ethnographic Methods to Classify the Human Experience in Medicine: A Case Study of the Presence Ontology

abstract: Objective Although social and environmental factors are central to provider patient interactions, the data that reflect these factors can be incomplete, vague, and subjective. We sought to create a conceptual framework to describe and classify data about presence, the domain of interpersonal connection in medicine. Methods Our top down approach for ontology development based on the concept of relationality included 1) broad survey of social sciences literature and systematic literature review of more than 20,000 articles around interpersonal connection in medicine, 3) relational ethnography of clinical encounters (5 pilot, 27 full) and 4) interviews about relational work with 40 medical and nonmedical professionals. We formalized the model using the Web Ontology Language in the Protege ontology editor. We iteratively evaluated and refined the Presence Ontology through manual expert review and automated annotation of literature. Results and Discussion The Presence Ontology facilitates the naming and classification of concepts that would otherwise be vague. Our model categorizes contributors to healthcare encounters and factors such as Communication, Emotions, Tools, and Environment. Ontology evaluation indicated that Cognitive Models (both patients explanatory models and providers caregiving approaches) influenced encounters and were subsequently incorporated. We show how ethnographic methods based in relationality can aid the representation of experiential concepts (e.g., empathy, trust). Our ontology could support informatics applications to improve healthcare such annotation of videotaped encounters, clinical instruments to measure presence, or EHR based reminders for providers. Conclusion The Presence Ontology provides a model for using ethnographic approaches to classify interpersonal data.


title: AgeFlow: Conditional Age Progression and Regression with Normalizing Flows

abstract: Age progression and regression aim to synthesize photorealistic appearance of a given face image with aging and rejuvenation effects, respectively. Existing generative adversarial networks (GANs) based methods suffer from the following three major issues: 1) unstable training introducing strong ghost artifacts in the generated faces, 2) unpaired training leading to unexpected changes in facial attributes such as genders and races, and 3) non-bijective age mappings increasing the uncertainty in the face transformation. To overcome these issues, this paper proposes a novel framework, termed AgeFlow, to integrate the advantages of both flow-based models and GANs. The proposed AgeFlow contains three parts: an encoder that maps a given face to a latent space through an invertible neural network, a novel invertible conditional translation module (ICTM) that translates the source latent vector to target one, and a decoder that reconstructs the generated face from the target latent vector using the same encoder network; all parts are invertible achieving bijective age mappings. The novelties of ICTM are two-fold. First, we propose an attribute-aware knowledge distillation to learn the manipulation direction of age progression while keeping other unrelated attributes unchanged, alleviating unexpected changes in facial attributes. Second, we propose to use GANs in the latent space to ensure the learned latent vector indistinguishable from the real ones, which is much easier than traditional use of GANs in the image domain. Experimental results demonstrate superior performance over existing GANs-based methods on two benchmarked datasets. The source code is available at https://github.com/Hzzone/AgeFlow.


title: Computation of drug solvation free energy in supercritical CO2: alternatives to all-atom computer simulations

abstract: Despite the modern level of development of computational chemistry methods and techno-logical progress, fast and accurate determination of solvation free energy remains a huge problem for physical chemists. In this paper, we describe two computational schemes that can potentially solve this problem. We consider systems of poorly soluble drug compounds in supercritical carbon dioxide. Considering that the biggest contribution among all inter-molecular interactions is made by van der Waals interactions, we model solute and solvent particles as coarse-grained ones interacting via the effective Lennard-Jones potential. The first proposed approach is based on the classical density functional theory and the second one relies on molecular dynamics simulation of the Lennard-Jones fluid. Sacrificing the precision of the molecular structure description while capturing the phase behavior of the fluid with sufficient accuracy, we propose computationally advantageous paths to obtaining the solvation free energy values with the accuracy satisfactory for engineering applications. The agreement reached between the results of such coarse-graining models and the experimental data indicates that the use of the all-atom molecular dynamic simulations for the studied systems seems to be excessive.


title: Aspects of Quantum Fields on Causal Sets

abstract: We study some kinematical aspects of quantum fields on causal sets. In particular, we are interested in free scalar fields on a fixed background causal set. We present various results building up to the study of the entanglement entropy of de Sitter horizons using causal sets. We begin by obtaining causal set analogs of Green functions for this field. First we construct the retarded Green function in a Riemann normal neighborhood (RNN) of an arbitrary curved spacetime. Then, we show that in de Sitter and patches of anti-de Sitter spacetimes the construction can be done beyond the RNN. This allows us to construct the QFT vacuum on the causal set using the Sorkin-Johnston construction. We calculate the SJ vacuum on a causal set approximated by de Sitter spacetime, using numerical techniques. We find that the causal set SJ vacuum does not correspond to any of the known Mottola-Allen vacua of de Sitter spacetime. This has potential phenomenological consequences for early universe physics. Finally, we study the spacetime entanglement entropy for causal set de Sitter horizons. The entanglement entropy of de Sitter horizons is of particular interest. As in the case of nested causal diamonds in 2d Minkowski spacetime, we find that the causal set naturally gives a volume law of entropy, both for nested causal diamonds in 4d Minkowski spacetime as well as 2d and 4d de Sitter spacetimes. However, an area law emerges when the high frequency modes in the SJ spectrum are truncated. The choice of truncation turns out to be non-trivial and we end with several interesting questions.


title: Observation of photons above 300 TeV associated with a high-energy neutrino from the Cygnus region

abstract: Galactic sites of acceleration of cosmic rays to energies of order 10^15 eV and higher, dubbed PeVatrons, reveal themselves by recently discovered gamma radiation of energies above 100 TeV. However, joint gamma-ray and neutrino production, which marks unambiguously cosmic-ray interactions with ambient matter and radiation, was not observed until now. In November 2020, the IceCube neutrino observatory reported an ~150 TeV neutrino event from the direction of one of the most promising Galactic PeVatrons, the Cygnus Cocoon. Here we report on the observation of a 3.1-sigma (post trial) excess of atmospheric air showers from the same direction, observed by the Carpet-2 experiment and consistent with a few-months flare in photons above 300 TeV, in temporal coincidence with the neutrino event. The fluence of the gamma-ray flare is of the same order as that expected from the neutrino observation, assuming the standard mechanism of neutrino production. This is the first evidence for the joint production of high-energy neutrinos and gamma rays in a Galactic source.


title: Long-time stability of the quantum hydrodynamic system on irrational tori

abstract: We consider the quantum hydrodynamic system on a $d$-dimensional irrational torus with $d=2,3$. We discuss the behaviour, over a "non trivial" time interval, of the $H^s$-Sobolev norms of solutions. More precisely we prove that, for generic irrational tori, the solutions, evolving from $\varepsilon$-small initial conditions, remain bounded in $H^s$ for a time scale of order $O(\varepsilon^{-1-1/(d-1)+})$, which is strictly larger with respect to the time-scale provided by local theory. We exploit a Madelung transformation to rewrite the system as a nonlinear Schr\"odinger equation. We therefore implement a Birkhoff normal form procedure involving small divisors arising from three waves interactions. The main difficulty is to control the loss of derivatives coming from the exchange of energy between high Fourier modes.This is due to the irrationality of the torus which prevent to have "good separation" properties of the eigenvalues of the linearized operator at zero. The main steps of the proof are: (i) to prove precise lower bounds on small divisors; (ii) to construct a modified energy by means of a suitable \emph{high/low} frequencies analysis, which gives an \emph{a priori} estimate on the solutions.


title: Fairly Private Through Group Tagging and Relation Impact

abstract: Privacy and Fairness both are very important nowadays. For most of the cases in the online service providing system, users have to share their personal information with the organizations. In return, the clients not only demand a high privacy guarantee to their sensitive data but also expected to be treated fairly irrespective of their age, gender, religion, race, skin color, or other sensitive protected attributes. Our work introduces a novel architecture that is balanced among the privacy-utility-fairness trade-off. The proposed mechanism applies Group Tagging Method and Fairly Iterative Shuffling (FIS) that amplifies privacy through random shuffling and prevents linkage attack. The algorithm introduces a fair classification problem by Relation Impact based on Equalized Minimal FPR-FNR among the protected tagged group. For the count report generation, the aggregator uses TF-IDF to add noise for providing longitudinal Differential Privacy guarantee. Lastly, the mechanism boosts the utility through risk minimization function and obtain the optimal privacy-utility budget of the system. In our work, we have done a case study on gender equality in the admission system and helps to obtain a satisfying result which implies that the proposed architecture achieves the group fairness and optimal privacy-utility trade-off for both the numerical and decision making Queries.


title: Composite Localization for Human Pose Estimation

abstract: The existing human pose estimation methods are confronted with inaccurate long-distance regression or high computational cost due to the complex learning objectives. This work proposes a novel deep learning framework for human pose estimation called composite localization to divide the complex learning objective into two simpler ones: a sparse heatmap to find the keypoint's approximate location and two short-distance offsetmaps to obtain its final precise coordinates. To realize the framework, we construct two types of composite localization networks: CLNet-ResNet and CLNet-Hourglass. We evaluate the networks on three benchmark datasets, including the Leeds Sports Pose dataset, the MPII Human Pose dataset, and the COCO keypoints detection dataset. The experimental results show that our CLNet-ResNet50 outperforms SimpleBaseline by 1.14% with about 1/2 GFLOPs. Our CLNet-Hourglass outperforms the original stacked-hourglass by 4.45% on COCO.


title: An End-to-End Framework for Molecular Conformation Generation via Bilevel Programming

abstract: Predicting molecular conformations (or 3D structures) from molecular graphs is a fundamental problem in many applications. Most existing approaches are usually divided into two steps by first predicting the distances between atoms and then generating a 3D structure through optimizing a distance geometry problem. However, the distances predicted with such two-stage approaches may not be able to consistently preserve the geometry of local atomic neighborhoods, making the generated structures unsatisfying. In this paper, we propose an end-to-end solution for molecular conformation prediction called ConfVAE based on the conditional variational autoencoder framework. Specifically, the molecular graph is first encoded in a latent space, and then the 3D structures are generated by solving a principled bilevel optimization program. Extensive experiments on several benchmark data sets prove the effectiveness of our proposed approach over existing state-of-the-art approaches. Code is available at \url{https://github.com/MinkaiXu/ConfVAE-ICML21}.


title: Character formula for conjugacy classes in a coset

abstract: Let $G$ be a finite group and $N<G$ a normal subgroup with $G/N$ abelian. We show how the conjugacy classes of $G$ in a given coset $qN$ relate to the irreducible characters of $G$ that are not identically $0$ on $qN$. We describe several consequences. In particular, we deduce that when $G/N$ is cyclic generated by $q$, the number of irreducible characters of $N$ that extend to $G$ is the number of conjugacy classes of $G$ in $qN$.


title: ESG, Risk, and (Tail) Dependence

abstract: While environmental, social, and governance (ESG) trading activity has been a distinctive feature of financial markets, the debate if ESG scores can also convey information regarding a company's riskiness remains open. Regulatory authorities, such as the European Banking Authority (EBA), have acknowledged that ESG factors can contribute to risk. Therefore, it is important to model such risks and quantify what part of a company's riskiness can be attributed to the ESG scores. This paper aims to question whether ESG scores can be used to provide information on (tail) riskiness. By analyzing the (tail) dependence structure of companies with a range of ESG scores, that is within an ESG rating class, using high-dimensional vine copula modelling, we are able to show that risk can also depend on and be directly associated with a specific ESG rating class. Empirical findings on real-world data show positive not negligible ESG risks determined by ESG scores, especially during the 2008 crisis.


title: Measurements of $^{160}$Dy($p,\gamma$) at energies relevant for astrophysical $\gamma$ process

abstract: Rare information on photodisintegration reactions of nuclei with mass numbers $A \approx 160$ at astrophysical conditions impedes our understanding of the origin of $p$-nuclei. Experimental determination of the key ($p,\gamma$) cross sections has been playing an important role to verify nuclear reaction models and to provide rates of relevant ($\gamma,p$) reactions in $\gamma$-process. In this paper we report the first cross section measurements of $^{160}$Dy($p,\gamma$)$^{161}$Ho and $^{161}$Dy($p,n$)$^{161}$Ho in the beam energy range of 3.4 - 7.0 MeV, partially covering the Gamow window. Such determinations are possible by using two targets with various isotopic fractions. The cross section data can put a strong constraint on the nuclear level densities and gamma strength functions for $A \approx$ 160 in the Hauser-Feshbach statistical model. Furthermore, we find the best parameters for TALYS that reproduce the A $\thicksim$ 160 data available, $^{160}$Dy($p,\gamma$)$^{161}$Ho and $^{162}$Er($p,\gamma$)$^{163}$Tm, and recommend the constrained $^{161}$Ho($\gamma,p$)$^{160}$Dy reaction rates over a wide temperature range for $\gamma$-process network calculations. Although the determined $^{161}$Ho($\gamma$, p) stellar reaction rates at the temperature of 1 to 2 GK can differ by up to one order of magnitude from the NON-SMOKER predictions, it has a minor effect on the yields of $^{160}$Dy and accordingly the $p$-nuclei, $^{156,158}$Dy. A sensitivity study confirms that the cross section of $^{160}$Dy($p$, $\gamma$)$^{161}$Ho is measured precisely enough to predict yields of $p$-nuclei in the $\gamma$-process.


title: Seismic interferometry from correlated noise sources

abstract: It is a well-established principle that cross-correlating seismic observations at different receiver locations can yield estimates of band-limited inter-receiver Green's functions. This principle, known as seismic interferometry, is a powerful technique that can transform noise into signals which allow us to remotely image and interrogate subsurface Earth structures. In practice it is often necessary and even desirable to rely on noise already present in the environment. Theory that underpins many applications of ambient noise interferometry makes an assumption that the noise sources are uncorrelated in space and time. However, many real-world noise sources such as trains, highway traffic and ocean waves are inherently correlated both in space and time, in direct contradiction to the current theoretical foundations. Applying standard interferometric techniques to recordings from correlated energy sources makes the Green's function liable to estimation errors that so far have not been fully accounted for theoretically nor in practice. We show that these errors are significant for common noise sources, always perturbing and sometimes obscuring the phase one wishes to retrieve. Our analysis explains why stacking may reduce the phase errors, but also shows that in commonly-encountered circumstances stacking will not remediate the problem. This analytical insight allowed us to develop a novel workflow that significantly mitigates effects arising from the use of correlated noise sources. Our methodology can be used in conjunction with already existing approaches, and improves results from both correlated and uncorrelated ambient noise. Hence, we expect it to be widely applicable in real life ambient noise studies.


title: Inflation from inhomogeneous polarized Gowdy model

abstract: We study polarized Gowdy cosmologies on the three torus coupled to a massive scalar field. The phase space of the model admits a simple splitting between homogeneous and inhomogeneous sectors after a suitable gauge fixing. The presence of the mass term of the scalar field breaks the linearity of the equations of motion of the inhomogeneous fields. We discuss regimes of physical interest in which we recover a linear dynamics of these nonperturbative inhomogeneities, despite the metric is fully inhomogeneous at early times. We expand the inhomogeneous fields in Fourier modes and express them at all times as linear combinations of a basis of orthonormal complex solutions to the equations of motion, with coefficients that turn out to be an infinite collection of constants of motion. We argue that the resulting model can describe a nonperturbative inhomogeneous early universe dominated by the kinetic energy of an inflaton at early times that can eventually reach a slow-roll regime with a nearly exponential expansion at late times that isotropices and homogenizes the geometry.


title: Self-adjoint operators associated with Hankel moment matrices

abstract: In a paper from 2016 D. R. Yafaev initiated a study of closable Hankel forms associated with the moments $(m_n)$ of a positive measure with infinite support on the real line. If $m_n=o(1)$ Yafaev characterized the closure of the form based on earlier work on quasi-Carleman operators. We give a new proof of the description of the closure based entirely on moment considerations. The main purpose of the present paper is a description of the self-adjoint Hankel operators associated with closed Hankel forms in the Hilbert space of square summable sequences. We do this not only in the case $m_n=o(1)$ studied by Yafaev but also in two other cases, where the Hankel form is closable, namely if the moment sequence is indeterminate or if the moment sequence is determinate with finite index of determinacy.


title: Regret Minimization Experience Replay in Off-Policy Reinforcement Learning

abstract: In reinforcement learning, experience replay stores past samples for further reuse. Prioritized sampling is a promising technique to better utilize these samples. Previous criteria of prioritization include TD error, recentness and corrective feedback, which are mostly heuristically designed. In this work, we start from the regret minimization objective, and obtain an optimal prioritization strategy for Bellman update that can directly maximize the return of the policy. The theory suggests that data with higher hindsight TD error, better on-policiness and more accurate Q value should be assigned with higher weights during sampling. Thus most previous criteria only consider this strategy partially. We not only provide theoretical justifications for previous criteria, but also propose two new methods to compute the prioritization weight, namely ReMERN and ReMERT. ReMERN learns an error network, while ReMERT exploits the temporal ordering of states. Both methods outperform previous prioritized sampling algorithms in challenging RL benchmarks, including MuJoCo, Atari and Meta-World.


title: Nilpotency and higher order derivatives in differential geometry

abstract: We give simple upper and lower bounds for the order of a Klein geometry


title: Grain Growth and the Effect of Different Time Scales

abstract: Many technologically useful materials are polycrystals composed of a myriad of small monocrystalline grains separated by grain boundaries. Dynamics of grain boundaries play a crucial role in determining the grain structure and defining the materials properties across multiple scales. In this work, we consider two models for the motion of grain boundaries with the dynamic lattice misorientations and the triple junctions drag, and we conduct extensive numerical study of the models, as well as present relevant experimental results of grain growth in thin films.


title: Composition operators on Hardy-Sobolev spaces and $BMO$-quasiconformal mappings

abstract: In this paper we consider composition operators on Hardy-Sobolev spaces in connections with $BMO$-quasiconformal mappings. Using the duality of Hardy spaces and $BMO$-spaces we prove that $BMO$-quasiconformal mappings generate bounded composition operators from Hardy-Sobolev spaces to Sobolev spaces.


title: Gravity Governs Shear Localization in Confined Dense Granular Flows

abstract: Prediction of flow profiles of slowly sheared granular materials is a major geophysical and industrial challenge. Understanding the role of gravity is particularly important for future planetary exploration in varying gravitational environments. Using the principle of minimization of energy dissipation, and combining experiments and variational analysis, we disentangle the contributions of the gravitational acceleration and confining pressure on shear strain localization induced by moving fault boundaries at the bottom of a granular layer. The flow profile is independent of the gravity for geometries with a free top surface. However, under a confining pressure or if the sheared layer withstands the weight of the upper layers, increasing gravity promotes the transition from closed shear zones buried in the bulk to open ones that intersect the top surface. We show that the center position and width of the shear zone and the axial angular velocity at the top surface follow universal scaling laws when properly scaled by the gravity, applied pressure, and layer thickness. Our finding that the flow profiles lie on a universal master curve opens the possibility to predict the quasistatic shear flow of granular materials in extraterrestrial environments.


title: Polynomial degree reduction in the $\mathcal{L}^2$-norm on a symmetric interval for the canonical basis

abstract: In this paper, we develop a direct formula for determining the coefficients in the canonical basis of the best polynomial of degree $M$ that approximates a polynomial of degree $N>M$ on a symmetric interval for the $\mathcal{L}^2$-norm. We also formally prove that using the formula is more computationally efficient than using a classical matrix multiplication approach and we provide an example to illustrate that it is more numerically stable than the classical approach.


title: Strictly nef divisors on K-trivial fourfolds

abstract: In this paper, we prove the ampleness conjecture and Serrano's conjecture for strictly nef divisors on K-trivial fourfolds. Specifically, we show that any strictly nef divisors on projective fourfolds with trivial canonical bundle and vanishing irregularity are ample.


title: The Permute-and-Flip Mechanism is Identical to Report-Noisy-Max with Exponential Noise

abstract: The permute-and-flip mechanism is a recently proposed differentially private selection algorithm that was shown to outperform the exponential mechanism. In this paper, we show that permute-and-flip is equivalent to the well-known report noisy max algorithm with exponential noise.


title: Modelling of a miniature microwave driven nitrogen plasma jet and comparison to measurements

abstract: The MMWICP (Miniature MicroWave ICP) is a new plasma source using the induction principle. Recently Klute et al. presented a mathematical model for the electromagnetic fields and power balance of the new device. In this work the electromagnetic model is coupled with a global chemistry model for nitrogen, based on the chemical reaction set of Thorsteinsson and Gudmundsson and customized for the geometry of the MMWICP. The combined model delivers a quantitative description for a non-thermal plasma at a pressure of $p=1000\,\mathrm{Pa}$ and a gas temperature of $T_\mathrm{g}=650\mbox{-}1600\,\mathrm{K}$. Comparison with published experimental data shows a good agreement for the volume averaged plasma parameters at high power, for the spatial distribution of the discharge and for the microwave measurements. Furthermore, the balance of capacitive and inductive \linebreak coupling in the absorbed power is analyzed. This leads to the interpretation of the discharge regime at a electron density of $n_\mathrm{e} \approx 6.4 \!\times\!10^{18} \, \mathrm{m}^{-3}$ as $E/H$-hybridmode with an capacitive and inductive component.


title: Centralizers of the Riordan Group

abstract: In this paper, we discuss centralizers in the Riordan group. We will see that Fa\`a di Bruno's formula is an application of the Fundamental Theorem of Riordan arrays. Then the composition group of formal power series in ${\cal F}_1$ is studied to construct the centralizers of Bell type and Lagrange type Riordan arrays. Our tools are the $A$-sequences of Riordan arrays and Fa\`a di Bruno's formula. Some combinatorial explanation and discussion about related algebraic topics are also given.


title: A Deep Metric Learning Approach to Account Linking

abstract: We consider the task of linking social media accounts that belong to the same author in an automated fashion on the basis of the content and metadata of their corresponding document streams. We focus on learning an embedding that maps variable-sized samples of user activity -- ranging from single posts to entire months of activity -- to a vector space, where samples by the same author map to nearby points. The approach does not require human-annotated data for training purposes, which allows us to leverage large amounts of social media content. The proposed model outperforms several competitive baselines under a novel evaluation framework modeled after established recognition benchmarks in other domains. Our method achieves high linking accuracy, even with small samples from accounts not seen at training time, a prerequisite for practical applications of the proposed linking framework.


title: Neural Trees for Learning on Graphs

abstract: Graph Neural Networks (GNNs) have emerged as a flexible and powerful approach for learning over graphs. Despite this success, existing GNNs are constrained by their local message-passing architecture and are provably limited in their expressive power. In this work, we propose a new GNN architecture -- the Neural Tree. The neural tree architecture does not perform message passing on the input graph, but on a tree-structured graph, called the H-tree, that is constructed from the input graph. Nodes in the H-tree correspond to subgraphs in the input graph, and they are reorganized in a hierarchical manner such that the parent of a node in the H-tree always corresponds to a larger subgraph in the input graph. We show that the neural tree architecture can approximate any smooth probability distribution function over an undirected graph. We also prove that the number of parameters needed to achieve an $\epsilon$-approximation of the distribution function is exponential in the treewidth of the input graph, but linear in its size. We prove that any continuous $\mathcal{G}$-invariant/equivariant function can be approximated by a nonlinear combination of such probability distribution functions over $\mathcal{G}$. We apply the neural tree to semi-supervised node classification in 3D scene graphs, and show that these theoretical properties translate into significant gains in prediction accuracy, over the more traditional GNN architectures. We also show the applicability of the neural tree architecture to citation networks with large treewidth, by using a graph sub-sampling technique.


title: Simple modules for Kumjian-Pask algebras

abstract: The paper introduces the notion of a representation $k$-graph $(\Delta,\alpha)$ for a given $k$-graph $\Lambda$. It is shown that any representation $k$-graph for $\Lambda$ yields a module for the Kumjian-Pask algebra $KP(\Lambda)$, and the representation $k$-graphs yielding simple modules are characterised. Moreover, the category $RG(\Lambda)$ of representation $k$-graphs for $\Lambda$ is investigated using the covering theory of higher-rank graphs.


title: A Monte Carlo Method for Evaluating Empirical Gyrochronology Models and its Application to Wide Binary Benchmarks

abstract: Accurate stellar ages are essential for our understanding of the star formation history of the Milky Way, Galactic chemical evolution, and to constrain exoplanet formation models. Gyrochronology, a relationship between stellar rotation and age, appears to offer a reliable age indicator for main sequence (MS) stars over the mass range of approximately 0.6 to 1.3 $M_\odot$. Those stars lose their angular momentum due to magnetic braking and as a result, their rotation speeds decrease with age. Although current gyrochronology relations are fairly well tested for young MS stars with masses greater than 1 $M_\odot$, primarily in young open clusters, insufficient tests exist for older and lower mass MS stars. Binary stars offer the potential to expand and fill in the range of ages and metallicity over which gyrochronology can be empirically tested. In this paper, we demonstrate a Monte Carlo approach to evaluate gyrochronology models using binary stars. As examples, we used five previously published wide binary pairs. We also demonstrate a Monte Carlo approach to assess the precision and accuracy of ages derived from each gyrochronology model. For the traditional Skumanich models, the age uncertainties are $\sigma_{age}$/$age$ = 15-20\% for stars with $B-V$ = 0.65, and $\sigma_{age}$/$age$ = 5-10\% for stars with $B-V$ = 1.5 and rotation period P $\leq$ 20 days.


title: Neutron--proton spin--spin correlations in the ground states of N=Z nuclei

abstract: We present expressions for the matrix elements of the spin--spin operator $\vec S_{\rm n}\cdot\vec S_{\rm p}$ in a variety of coupling schemes. These results are then applied to calculate the expectation value $\langle\vec S_{\rm n}\cdot\vec S_{\rm p}\rangle$ in eigenstates of a schematic Hamiltonian describing neutrons and protons interacting in a single-$l$ shell through a Surface Delta Interaction. The model allows us to trace $\langle\vec S_{\rm n}\cdot\vec S_{\rm p}\rangle$ as a function of the competition between the isovector and isoscalar interaction strengths and the spin--orbit splitting of the $j=l\pm \frac{1}{2}$ shells. We find negative $\langle\vec S_{\rm n}\cdot\vec S_{\rm p}\rangle$ values in the ground state of all even--even $N=Z$ nuclei, contrary to what has been observed in hadronic inelastic scattering at medium energies. We discuss the possible origin of this discrepancy and indicate directions for future theoretical and experimental studies related to neutron--proton spin--spin correlations.


title: Consistency checks of results from a Monte Carlo code intercomparison for emitted electron spectra and energy deposition around a single gold nanoparticle irradiated by X-rays

abstract: Organized by the European Radiation Dosimetry Group (EURADOS), a Monte Carlo code intercomparison exercise was conducted where participants simulated the emitted electron spectra and energy deposition around a single gold nanoparticle (GNP) irradiated by X-rays. In the exercise, the participants scored energy imparted in concentric spherical shells around a spherical volume filled with gold or water as well as the spectral distribution of electrons leaving the GNP. Initially, only the ratio of energy deposition with and without GNP was to be reported. During the evaluation of the exercise, however, the data for energy deposition in the presence and absence of the GNP were also requested. A GNP size of 50 nm and 100 nm diameter was considered as well as two different X-ray spectra (50 kVp and 100kVp). This introduced a redundancy that can be used to cross-validate the internal consistency of the simulation results. In this work, evaluation of the reported results is presented in terms of integral quantities that can be benchmarked against values obtained from physical properties of the radiation spectra and materials involved. The impact of different interaction cross-section datasets and their implementation in the different Monte Carlo codes is also discussed.


title: Mean Shift for Self-Supervised Learning

abstract: Most recent self-supervised learning (SSL) algorithms learn features by contrasting between instances of images or by clustering the images and then contrasting between the image clusters. We introduce a simple mean-shift algorithm that learns representations by grouping images together without contrasting between them or adopting much of prior on the structure of the clusters. We simply "shift" the embedding of each image to be close to the "mean" of its neighbors. Since in our setting, the closest neighbor is always another augmentation of the same image, our model will be identical to BYOL when using only one nearest neighbor instead of 5 as used in our experiments. Our model achieves 72.4% on ImageNet linear evaluation with ResNet50 at 200 epochs outperforming BYOL. Our code is available here: https://github.com/UMBCvision/MSF


title: Annotation Uncertainty in the Context of Grammatical Change

abstract: This paper elaborates on the notion of uncertainty in the context of annotation in large text corpora, specifically focusing on (but not limited to) historical languages. Such uncertainty might be due to inherent properties of the language, for example, linguistic ambiguity and overlapping categories of linguistic description, but could also be caused by lacking annotation expertise. By examining annotation uncertainty in more detail, we identify the sources and deepen our understanding of the nature and different types of uncertainty encountered in daily annotation practice. Moreover, some practical implications of our theoretical findings are also discussed. Last but not least, this article can be seen as an attempt to reconcile the perspectives of the main scientific disciplines involved in corpus projects, linguistics and computer science, to develop a unified view and to highlight the potential synergies between these disciplines.


title: Delta baryon photoproduction with twisted photons

abstract: A future gamma factory at CERN or accelerator-based gamma sources elsewhere can include the possibility of energetic twisted photons, which are photons with a structured wave front that can allow a pre-defined large angular momentum along the beam direction. Twisted photons are potentially a new tool in hadronic physics, and we consider here one possibility, namely the photoproduction of $\Delta$(1232) baryons using twisted photons. We show that particular polarization amplitudes isolate the smaller partial wave amplitudes and they are measurable without interference from the terms that are otherwise dominant.


title: An Ergonomic Interaction Workspace Analysis Method for the Optimal Design of a Surgical Master Manipulator

abstract: Master control console is a place where robots collaborate with humans in a shared environment. To this end, ergonomics is an important aspect to be considered. With ergonomic design, the surgeons can feel more comfortable to conduct the surgical tasks with higher efficiency, and the quality of the teleoperated robotic surgery can be improved. In this paper, an Ergonomic Interaction Workspace Analysis method is proposed to optimize master manipulators and fulfil ergonomics consideration for designing a master manipulator for teleoperated robotic surgery.


title: Mask-Guided Discovery of Semantic Manifolds in Generative Models

abstract: Advances in the realm of Generative Adversarial Networks (GANs) have led to architectures capable of producing amazingly realistic images such as StyleGAN2, which, when trained on the FFHQ dataset, generates images of human faces from random vectors in a lower-dimensional latent space. Unfortunately, this space is entangled - translating a latent vector along its axes does not correspond to a meaningful transformation in the output space (e.g., smiling mouth, squinting eyes). The model behaves as a black box, providing neither control over its output nor insight into the structures it has learned from the data. We present a method to explore the manifolds of changes of spatially localized regions of the face. Our method discovers smoothly varying sequences of latent vectors along these manifolds suitable for creating animations. Unlike existing disentanglement methods that either require labelled data or explicitly alter internal model parameters, our method is an optimization-based approach guided by a custom loss function and manually defined region of change. Our code is open-sourced, which can be found, along with supplementary results, on our project page: https://github.com/bmolab/masked-gan-manifold


title: Non-equilibrium Bose-Einstein Condensation

abstract: We investigate formation of Bose-Einstein condensates under non-equilibrium conditions using numerical simulations of the three-dimensional Gross-Pitaevskii equation. For this, we set initial random weakly nonlinear excitations and the forcing at high wave numbers, and study propagation of the turbulent spectrum toward the low wave numbers. Our primary goal is to compare the results for the evolving spectrum with the previous results obtained for the kinetic equation of weak wave turbulence. We demonstrate existence of a regime for which good agreement with the wave turbulence results is found in terms of the main features of the previously discussed self-similar solution. In particular, we find a reasonable agreement with the low-frequency and the high-frequency power-law asymptotics of the evolving solution, including the anomalous power-law exponent $x^* \approx 1.24$ for the three-dimensional waveaction spectrum. We also study the regimes of very weak turbulence, when the evolution is affected by the discreteness of the Fourier space, and the strong turbulence regime when emerging condensate modifies the wave dynamics and leads to formation of strongly nonlinear filamentary vortices.

categories: cond-mat.quant-gas cond-mat.stat-mech nlin.CD physics.flu-dyn