title: Minimax estimation of norms of a probability density: I. Lower bounds

abstract: The paper deals with the problem of nonparametric estimating the $L_p$--norm, $p\in (1,\infty)$, of a probability density on $R^d$, $d\geq 1$ from independent observations. The unknown density %to be estimated is assumed to belong to a ball in the anisotropic Nikolskii's space. We adopt the minimax approach, and derive lower bounds on the minimax risk. In particular, we demonstrate that accuracy of estimation procedures essentially depends on whether $p$ is integer or not. Moreover, we develop a general technique for derivation of lower bounds on the minimax risk in the problems of estimating nonlinear functionals. The proposed technique is applicable for a broad class of nonlinear functionals, and it is used for derivation of the lower bounds in the~$L_p$--norm estimation.


title: Study of three-neutron bound and continuum states

abstract: The three-neutron ($3n$) system is studied by numerical calculations with the Faddeev three-body formalism for a realistic nucleon-nucleon (NN) potential. A response function for the transition from ${}^3\mathrm{H}$ to $3n$ continuum states by an isospin excitation operator is calculated, from which no evidence of $3n$ resonance state is found. Different methods to extrapolate the $3n$ energy from bound state energies with an extra attractive effect to the NN potential are examined. While extrapolations with attractive effects by enhanced NN potentials or three-body potentials result the non-existence of $3n$ resonance states, one by external trapping potentials leads to a positive $3n$ energy, which may be considered as a resonance state. It is found that this contradiction is due to a general defect of the trapping method.


title: Galactic Rotation Parameters Based on Stars from Activ Star-Forming Regions with Data from the Gaia DR2 Catalogue

abstract: We have studied a sample of more than 25 000 young stars with proper motions and trigonometric parallaxes from the Gaia DR2 catalogue. The relative errors of their parallaxes do not exceed 10\%. The selection of stars belonging to active star-forming regions was made by Marton et al. based on data from the Gaia DR2 catalogue by invoking infrared measurements from the WISE and Planck catalogues. Low-mass T Tauri stars constitute the majority of sample stars. The following parameters of the angular velocity of Galactic rotation have been found from them: $\Omega_0 =28.40\pm0.11$ km s$^{-1}$ kpc$^{-1}$, $\Omega^{'}_0=-3.933\pm0.033$ km s$^{-1}$ kpc$^{-2}$ and $\Omega^{''}_0=0.804\pm0.040$ km s$^{-1}$ kpc$^{-3}$. The Oort constants are $A=15.73\pm0.32$ km s$^{-1}$ kpc$^{-1}$ and $B=-12.67\pm0.34$ km s$^{-1}$ kpc$^{-1}$, while the circular rotation velocity of the solar neighborhood around the Galactic center is $V_0=227\pm4$ km s$^{-1}$ for the adopted Galactocentric distance of the Sun $R_0=8.0\pm0.15$ kpc.


title: Block-wise Minimization-Majorization algorithm for Huber's criterion: sparse learning and applications

abstract: Huber's criterion can be used for robust joint estimation of regression and scale parameters in the linear model. Huber's (Huber, 1981) motivation for introducing the criterion stemmed from non-convexity of the joint maximum likelihood objective function as well as non-robustness (unbounded influence function) of the associated ML-estimate of scale. In this paper, we illustrate how the original algorithm proposed by Huber can be set within the block-wise minimization majorization framework. In addition, we propose novel data-adaptive step sizes for both the location and scale, which are further improving the convergence. We then illustrate how Huber's criterion can be used for sparse learning of underdetermined linear model using the iterative hard thresholding approach. We illustrate the usefulness of the algorithms in an image denoising application and simulation studies.


title: Instability Margin Analysis for Parametrized LTI Systems with Application to Repressilator

abstract: This paper is concerned with a robust instability analysis for the single-input-single-output unstable linear time-invariant (LTI) system under dynamic perturbations. The nominal system itself is possibly perturbed by the static gain of the uncertainty, which would be the case when a nonlinear uncertain system is linearized around an equilibrium point. We define the robust instability radius as the smallest $H_\infty$ norm of the stable linear perturbation that stabilizes the nominal system. There are two main theoretical results: one is on a partial characterization of unperturbed nominal systems for which the robust instability radius can be calculated exactly, and the other is a numerically tractable procedure for calculating the exact robust instability radius for nominal systems parametrized by a perturbation parameter. The results are applied to the repressilator in synthetic biology, where hyperbolic instability of a unique equilibrium guarantees the persistence of oscillation phenomena in the global sense, and the effectiveness of our linear robust instability analysis is confirmed by numerical simulations.


title: End-to-End Neural Transformer Based Spoken Language Understanding

abstract: Spoken language understanding (SLU) refers to the process of inferring the semantic information from audio signals. While the neural transformers consistently deliver the best performance among the state-of-the-art neural architectures in field of natural language processing (NLP), their merits in a closely related field, i.e., spoken language understanding (SLU) have not beed investigated. In this paper, we introduce an end-to-end neural transformer-based SLU model that can predict the variable-length domain, intent, and slots vectors embedded in an audio signal with no intermediate token prediction architecture. This new architecture leverages the self-attention mechanism by which the audio signal is transformed to various sub-subspaces allowing to extract the semantic context implied by an utterance. Our end-to-end transformer SLU predicts the domains, intents and slots in the Fluent Speech Commands dataset with accuracy equal to 98.1 \%, 99.6 \%, and 99.6 \%, respectively and outperforms the SLU models that leverage a combination of recurrent and convolutional neural networks by 1.4 \% while the size of our model is 25\% smaller than that of these architectures. Additionally, due to independent sub-space projections in the self-attention layer, the model is highly parallelizable which makes it a good candidate for on-device SLU.


title: Investigating the Performance Gap between Testing on Real and Denoised Aggregates in Non-Intrusive Load Monitoring

abstract: Prudent and meaningful performance evaluation of algorithms is essential for the progression of any research field. In the field of Non-Intrusive Load Monitoring (NILM), performance evaluation can be conducted on real-world aggregate signals, provided by smart energy meters or artificial superpositions of individual load signals (i.e., denoised aggregates). It has long been suspected that testing on these denoised aggregates provides better evaluation results mainly due to the the fact that the signal is less complex. Complexity in real-world aggregate signals increases with the number of unknown/untracked load. Although this is a known performance reporting problem, an investigation in the actual performance gap between real and denoised testing is still pending. In this paper, we examine the performance gap between testing on real-world and denoised aggregates with the aim of bringing clarity into this matter. Starting with an assessment of noise levels in datasets, we find significant differences in test cases. We give broad insights into our evaluation setup comprising three load disaggregation algorithms, two of them relying on neural network architectures. The results presented in this paper, based on studies covering three scenarios with ascending noise levels, show a strong tendency towards load disaggregation algorithms providing significantly better performance on denoised aggregate signals. A closer look into the outcome of our studies reveals that all appliance types could be subject to this phenomenon. We conclude the paper by discussing aspects that could be causing these considerable gaps between real and denoised testing in NILM.


title: On the complexity of query containment and computing certain answers in the presence of ACs

abstract: We often add arithmetic to extend the expressiveness of query languages and study the complexity of problems such as testing query containment and finding certain answers in the framework of answering queries using views. When adding arithmetic comparisons, the complexity of such problems is higher than the complexity of their counterparts without them. It has been observed that we can achieve lower complexity if we restrict some of the comparisons in the containing query to be closed or open semi-interval comparisons. Here, focusing a) on the problem of containment for conjunctive queries with arithmetic comparisons (CQAC queries, for short), we prove upper bounds on its computational complexity and b) on the problem of computing certain answers, we find large classes of CQAC queries and views where this problem is polynomial.


title: Minimax estimation of norms of a probability density: II. Rate-optimal estimation procedures

abstract: In this paper we develop rate--optimal estimation procedures in the problem of estimating the $L_p$--norm, $p\in (0, \infty)$ of a probability density from independent observations. The density is assumed to be defined on $R^d$, $d\geq 1$ and to belong to a ball in the anisotropic Nikolskii space. We adopt the minimax approach and construct rate--optimal estimators in the case of integer $p\geq 2$. We demonstrate that, depending on parameters of Nikolskii's class and the norm index $p$, the risk asymptotics ranges from inconsistency to $\sqrt{n}$--estimation. The results in this paper complement the minimax lower bounds derived in the companion paper \cite{gl20}.


title: Quantum Geometric Langlands Categories from N = 4 Super Yang-Mills Theory

abstract: We describe the family of supersymmetric twists of $\mathcal N = 4$ super Yang--Mills theory using derived algebraic geometry, starting from holomorphic Chern--Simons theory on $ \mathcal N = 4$ super twistor space. By considering an ansatz for categorical geometric quantization of the family of further twists of a fixed holomorphic twist, we give a quantum field-theoretic synthesis of the categories of twisted D-modules occuring in the quantum geometric Langlands correspondence.


title: Congested Urban Networks Tend to Be Insensitive to Signal Settings: Implications for Learning-Based Control

abstract: This paper highlights several properties of large urban networks that can have an impact on machine learning methods applied to traffic signal control. In particular, we show that the average network flow tends to be independent of the signal control policy as density increases. This property, which so far has remained under the radar, implies that deep reinforcement learning (DRL) methods becomes ineffective when trained under congested conditions, and might explain DRL's limited success for traffic signal control. Our results apply to all possible grid networks thanks to a parametrization based on two network parameters: the ratio of the expected distance between consecutive traffic lights to the expected green time, and the turning probability at intersections. Networks with different parameters exhibit very different responses to traffic signal control. Notably, we found that no control (i.e. random policy) can be an effective control strategy for a surprisingly large family of networks. The impact of the turning probability turned out to be very significant both for baseline and for DRL policies. It also explains the loss of symmetry observed for these policies, which is not captured by existing theories that rely on corridor approximations without turns. Our findings also suggest that supervised learning methods have enormous potential as they require very little examples to produce excellent policies.


title: Can scaling analysis be used to interpret the anti-parity-time symmetry in heat transfer?

abstract: In a previous work (Li et al. Science 364, 170) [1], we proposed a heat transfer system that preserves the anti-parity-time (APT) symmetry, and observe the rest-to-motion phase transition during the symmetry breaking. Recently, it was suggested (Zhao et al. arXiv:1906.08431) [2] that the behaviours of the system can be understood using scaling analysis based on the P\'eclet and Nusselt numbers (Pe and Nu). It was further proposed that there exists a third regime in the phase diagram in addition to the symmetric and symmetry broken phases. Although we appreciate the proposal to characterize the contributions of coupling, diffusion, and advection with dimensionless numbers, here we show that they do not help to predict or interpret the behaviours of the APT system. The dimensionless numbers do not provide enough details about the system to conclude that there is a motionless phase, a phase transition, to find the critical point, or to give the correct phase diagram with only two regimes.


title: Universal Scaling Law of Glass Rheology

abstract: The similarity in atomic structure between liquids and glasses has stimulated a long-standing hypothesis that the nature of glasses may be more fluid like, rather than an apparent solid. In principle, the nature of glasses can be characterized by measuring the dynamic response of rheology to shear strain rate in the glass state. However, limited by the brittleness of glasses and current experimental techniques, the dynamic behaviors of glasses were mainly assessed in the supercooled liquid state or in the glass state within a narrow rate range. Therefore, the nature of glasses has not been well elucidated experimentally. Here we report the dynamic response of shear stress to shear strain rate of metallic glasses over nine orders of magnitude in time scale, equivalent to hundreds of years, by broadband stress relaxation experiments. The full spectrum dynamic response of metallic glasses, together with other glasses including silicate and polymer glasses, granular materials, soils, emulsifiers and even fire ant aggregations, follows a universal scaling law within the framework of fluid dynamics. Moreover, the universal scaling law provides comprehensive validation of the conjecture on the jamming phase diagram by which the dynamic behaviours of a wide variety of glass system can be unified under one rubric parameterized by thermodynamic variables of temperature, volume and stress in trajectory space.


title: Data monitoring committees for clinical trials evaluating treatments of COVID-19

abstract: The first cases of coronavirus disease 2019 (COVID-19) were reported in December 2019 and the outbreak of SARS-CoV-2 was declared a pandemic in March 2020 by the World Health Organization. This sparked a plethora of investigations into diagnostics and vaccination for SARS-CoV-2, as well as treatments for COVID-19. Since COVID-19 is a severe disease associated with a high mortality, clinical trials in this disease should be monitored by a data monitoring committee (DMC), also known as data safety monitoring board (DSMB). DMCs in this indication face a number of challenges including fast recruitment requiring an unusually high frequency of safety reviews, more frequent use of complex designs and virtually no prior experience with the disease. In this paper, we provide a perspective on the work of DMCs for clinical trials of treatments for COVID-19. More specifically, we discuss organizational aspects of setting up and running DMCs for COVID-19 trials, in particular for trials with more complex designs such as platform trials or adaptive designs. Furthermore, statistical aspects of monitoring clinical trials of treatments for COVID-19 are considered. Some recommendations are made regarding the presentation of the data, stopping rules for safety monitoring and the use of external data. The proposed stopping boundaries are assessed in a simulation study motivated by clinical trials in COVID-19.


title: Spectrum Sharing Strategies for UAV-to-UAV Cellular Communications

abstract: In this article, we consider a cellular network deployment where UAV-to-UAV (U2U) transmit-receive pairs coexist with the uplink (UL) of cellular ground users (GUEs). Our analysis focuses on comparing two spectrum sharing mechanisms: i) overlay, where the available time-frequency resources are split into orthogonal portions for U2U and GUE communications, and ii) underlay, where the same resources may be accessed by both link types, resulting in mutual interference. We evaluate the coverage probability and rate of all links and their interplay to identify the best spectrum sharing mechanism. Among other things, our results demonstrate that, in scenarios with a large number of UAV pairs, adopting overlay spectrum sharing seems the most suitable approach for maintaining a minimum guaranteed rate for UAVs and a high GUE UL performance. We also find that increasing the density of U2U links degrades their rates in the overlay-where UAVs only receive interference from other UAVs-, but not significantly so in the underlay -- where the effect of GUE-generated interference is dominant.


title: Study of the contribution of long-wave bending vibrations to the destruction of ultrathin films by the method of molecular dynamics

abstract: The molecular dynamics method is used to study the process of development of dynamic instability of a thin film, leading to its destruction. The calculations are performed for a thin (5 atomic layers) $fcc$ aluminum film using the interatomic interaction potential tested by comparing the numerical results with the analytical ones obtained in the framework of elasticity theory. For this purpose, an original approach is developed, which allows one to calculate the dispersion law of long-wave phonons in ultrathin films using the molecular dynamics method. The temperatures ($< 600 K$) at which the system remains stable over a time interval of $0.6 ns$ are found. This makes it possible to analyze the low-frequency part of the spectrum down to the minimum frequency $\nu_{min}=0.0166 THz$ (at $T = 50 K$), and to determine the vibration frequency of the longest, for this problem geometry, bending wave $\nu_{0}=0.033 THz$ which decreases with increasing temperature, hence, its period grows. Once the vibration period of this mode becomes comparable with the time of simulation, there occurs, during calculation, a continuous increase in the amplitude of this mode which will be referred to as "retarded mode". It is shown that the film destruction begins with the attainment of a certain critical value of the bending wave amplitude.


title: The Unruh state for massless fermions on Kerr spacetime and its Hadamard property

abstract: We give a rigorous definition of the Unruh state in the setting of massless Dirac fields on slowly rotating Kerr spacetimes. In the black hole exterior region, we show that it is asymptotically thermal at Hawking temperature on the past event horizon. Furthermore, we demonstrate that in the union of the exterior and interior regions, the Unruh state is pure and Hadamard. The main ingredients are the H\"afner-Nicolas scattering theory, new microlocal estimates for characteristic Cauchy problems and criteria on the level of square-integrable solutions.


title: Variable-Order Fracture Mechanics and its Application to Dynamic Fracture

abstract: This study presents the formulation, the numerical solution, and the validation of a theoretical framework based on the concept of variable-order mechanics and capable of modeling dynamic fracture in brittle and quasi-brittle solids. More specifically, the reformulation of the elastodynamic problem via variable and fractional order operators enables a unique and extremely powerful approach to model nucleation and propagation of cracks in solids under dynamic loading. The resulting dynamic fracture formulation is fully evolutionary hence enabling the analysis of complex crack patterns without requiring any a prior assumptions on the damage location and the growth path, as well as the use of any algorithm to track the evolving crack surface. The evolutionary nature of the variable-order formalism also prevents the need for additional partial differential equations to predict the damage field, hence suggesting a conspicuous reduction in the computational cost. Remarkably, the variable order formulation is naturally capable of capturing extremely detailed features characteristic of dynamic crack propagation such as crack surface roughening, single and multiple branching. The accuracy and robustness of the proposed variable-order formulation is validated by comparing the results of direct numerical simulations with experimental data of typical benchmark problems available in the literature.


title: Design of mechanical structure and tracking control system for 5 DOF surgical robot

abstract: In this paper, the tracking control problem for 5 DOF surgical robot which is affected by tremor of surgeons' hand is considered. Mechanical modeling and dynamic analysis of a robotic arm in slave subsystem of a telesurgery system will be discussed and the reasons for selecting the appropriate materials for different parts of robot will be explained. It would be required this robot, which will do the main part of the surgery, be controlled based on the uncertain properties of the tissues of patients body. Improved Lyapunov Based control method with uncertainty observer is applied to improve the accuracy of tracking procedure for a surgical manipulator to track a specified reference signal in the presence of tremor that is modeled as constant bounded disturbance. Based on the disturbance rejection scheme, tracking controllers are constructed which are asymptotically stabilizing in the sense of Lyapunov. The control strategy was implemented using a PC interface. Computer simulation results demonstrate that accurate trajectory tracking can be achieved by using the proposed controllers.


title: In situ Measurement of Airborne Particle Concentration in a Real Dental Office: Implications for Disease Transmission

abstract: Recent guidelines by WHO recommend delaying non-essential oral health care amid COVID-19 pandemic and call for research on aerosol generated during dental procedures. Thus, this study aims to assess the mechanisms of dental aerosol dispersion in dental offices and to provide recommendations based on a quantitative study to minimize infection transmission in dental offices. The spread and removal of aerosol particles generated from dental procedures in a dental office are measured near the source and at the corner of the office. We studied the effects of air purification (on/off), door condition (open/close), and particle sizes on the temporal concentration distribution of particles. The results show that in the worst-scenario scenario it takes 95 min for 0.5 um particles to settle, and that it takes a shorter time for the larger particles. The indoor air purifier tested expedited the removal time at least 6.3 times faster than the scenario air purifier off. Airborne particles may be transported from the source to the rest of the room, even when the particle concentrations in the generation zone return to the background level. These results are expected to be valuable to related policy making and technology development for infection disease control in dental offices and similar built environments.


title: On Ext-Quivers of Blocks of Weight Two for Symmetric Groups

abstract: In this paper we investigate blocks of symmetric groups of weight 2 over fields of odd characteristic $p$. We develop an algorithm that relates the quivers of two such blocks forming a $(2:1)$ pair, as introduced by Scopes. We then apply the algorithm to blocks whose $p$-cores are hook partitions, in order to explicitly determine the quivers of these blocks. As a consequence we conclude that two $p$-blocks $B_1$ and $B_2$ of symmetric groups of weight $2$ whose $p$-cores are hook partitions are Morita equivalent if and only if $B_2$ or its conjugate block is in the same Scopes class as $B_1$.


title: Relativistic Ginzburg-Landau equation: An investigation for overdoped cuprate films

abstract: By introducing the imaginary time, Gor'kov's Ginzburg-Landau equation at zero temperature can be extended to an exact relativistic form without any phenomenological parameter, which is intended to describe the zero-temperature overdoped cuprate. By using such a relativistic equation, we have shown that the two-class scaling observed in the overdoped side of single-crystal $La_{2-x}Sr_xCuO_4$ (LSCO) films [Nature 536, 309-311 (2016)] can be derived exactly. In this paper, we further test the validity of the relativistic Ginzburg-Landau equation. By applying the perturbation method into this equation, we theoretically predict that near the superconductor-metal transition point in the overdoped side of LSCO films, the zero-temperature correlation length $\xi(0)$ and the transition temperature $T_c$ should yield a novel scaling $\xi(0)\propto T_c^{-\sigma}$ with a critical exponent $\sigma \approx 1.31 $ (up to the two-loop approximation). Here, we propose a diffraction experiment between $X$-rays and zero-temperature LSCO films to measure the critical exponent $\sigma$.


title: Band insulator to Mott insulator transition in 1T-TaS$_2$

abstract: 1T-TaS$_2$ undergoes successive phase transitions upon cooling and eventually enters an insulating state of mysterious origin. Some consider this state to be a band insulator with interlayer stacking order, yet others attribute it to Mott physics that support a quantum spin liquid state.Here, we determine the electronic and structural properties of 1T-TaS$_2$ using angle-resolved photoemission spectroscopy and X-Ray diffraction. At low temperatures, the 2$\pi$/2c-periodic band dispersion, along with half-integer-indexed diffraction peaks along the c axis, unambiguously indicates that the ground state of 1T-TaS$_2$ is a band insulator with interlayer dimerization. Upon heating, however, the system undergoes a transition into a Mott insulating state, which only exists in a narrow temperature window. Our results refute the idea of searching for quantum magnetism in 1T-TaS$_2$ only at low temperatures, and highlight the competition between on-site Coulomb repulsion and interlayer hopping as a crucial aspect for understanding the material's electronic properties.


title: Transitions in loopy random graphs with fixed degrees and arbitrary degree distributions

abstract: We analyze maximum entropy random graph ensembles with constrained degrees, drawn from arbitrary degree distributions, and a tuneable number of 3-loops (triangles). We find that such ensembles generally exhibit two transitions, a clustering and a shattering transition, separating three distinct regimes. At the clustering transition, the graphs change from typically having only isolated loops to forming loop clusters. At the shattering transition the graphs break up into extensively many small cliques to achieve the desired loop density. The locations of both transitions depend nontrivially on the system size. We derive a general formula for the loop density in the regime of isolated loops, for graphs with degree distributions that have finite and second moments. For bounded degree distributions we present further analytical results on loop densities and phase transition locations, which, while non-rigorous, are all validated via MCMC sampling simulations. We show that the shattering transition is of an entropic nature, occurring for all loop density values, provided the system is large enough.


title: Applications of Artificial Intelligence in Live Action Role-Playing Games (LARP)

abstract: Live Action Role-Playing (LARP) games and similar experiences are becoming a popular game genre. Here, we discuss how artificial intelligence techniques, particularly those commonly used in AI for Games, could be applied to LARP. We discuss the specific properties of LARP that make it a surprisingly suitable application field, and provide a brief overview of some existing approaches. We then outline several directions where utilizing AI seems beneficial, by both making LARPs easier to organize, and by enhancing the player experience with elements not possible without AI.


title: Topologically Protected Wormholes in Type-III Weyl Semimetal Co$_3$In$_2$X$_2$ (X = S, Se)

abstract: The observation of wormholes has proven to be difficult in the field of astrophysics. However, with the discovery of novel topological quantum materials it is possible to observe astrophysical and particle physics effects in condensed matter physics. It is proposed in this work that wormholes can exist in a type-III Weyl phase. In addition, these wormholes are topologically protected, making them feasible to create and measure in condensed matter systems. Finally, Co$_3$In$_2$X$_2$ (X = S, Se) are identified as ideal type-III Weyl semimetals and experiments are put forward to confirm the existence of a type-III Weyl phase.


title: Quantum versus thermal fluctuations in the harmonic chain and experimental implications

abstract: The nonzero ground-state energy of the quantum mechanical harmonic oscillator implies quantum fluctuations around the minimum of the potential with the mean square value proportional to Planck's constant. In classical mechanics thermal fluctuations occur when the oscillator is coupled to a heat bath of temperature $T$. At finite temperature quantum statistical mechanics allows the description of the transition from pure quantum fluctuations at $T=0$ to classical thermal fluctuations in the high temperature limit. It was early pointed out by Peierls that the mean square thermal fluctuations in a {\it harmonic chain} increase {\it linearly} with the distance of the atoms in the chain, destroying long range crystalline order. The corresponding pure quantum fluctuations lead to a much slower {\it logarithmic} increase with the distance from the fixed end of the chain. It is also shown that this implies, for example, the absence of sharp Bragg peaks in x-ray scattering in an infinite chain at zero temperature, which instead show power law behaviour typical for one dimensional quantum liquids (called {\it Luttinger liquids}).


title: Millimeter Wave Channel Modeling via Generative Neural Networks

abstract: Statistical channel models are instrumental to design and evaluate wireless communication systems. In the millimeter wave bands, such models become acutely challenging; they must capture the delay, directions, and path gains, for each link and with high resolution. This paper presents a general modeling methodology based on training generative neural networks from data. The proposed generative model consists of a two-stage structure that first predicts the state of each link (line-of-sight, non-line-of-sight, or outage), and subsequently feeds this state into a conditional variational autoencoder that generates the path losses, delays, and angles of arrival and departure for all its propagation paths. Importantly, minimal prior assumptions are made, enabling the model to capture complex relationships within the data. The methodology is demonstrated for 28GHz air-to-ground channels in an urban environment, with training datasets produced by means of ray tracing.


title: Towards Guidelines for Assessing Qualities of Machine Learning Systems

abstract: Nowadays, systems containing components based on machine learning (ML) methods are becoming more widespread. In order to ensure the intended behavior of a software system, there are standards that define necessary quality aspects of the system and its components (such as ISO/IEC 25010). Due to the different nature of ML, we have to adjust quality aspects or add additional ones (such as trustworthiness) and be very precise about which aspect is really relevant for which object of interest (such as completeness of training data), and how to objectively assess adherence to quality requirements. In this article, we present the construction of a quality model (i.e., evaluation objects, quality aspects, and metrics) for an ML system based on an industrial use case. This quality model enables practitioners to specify and assess quality requirements for such kinds of ML systems objectively. In the future, we want to learn how the term quality differs between different types of ML systems and come up with general guidelines for specifying and assessing qualities of ML systems.


title: Theory of constructive semigroups with apartness -- foundations, development and practice

abstract: This paper has several purposes. We present through a critical review the results from already published papers on the constructive semigroup theory, and contribute to its further development by giving solutions to open problems. We also draw attention to its possible applications in other (constructive) mathematics disciplines, in computer science, social sciences, economics, etc. Another important goal of this paper is to provide a clear, understandable picture of constructive semigroups with apartness in Bishop's style both to (classical) algebraists and the ones who apply algebraic knowledge.


title: Protect, Show, Attend and Tell: Empowering Image Captioning Models with Ownership Protection

abstract: By and large, existing Intellectual Property (IP) protection on deep neural networks typically i) focus on image classification task only, and ii) follow a standard digital watermarking framework that was conventionally used to protect the ownership of multimedia and video content. This paper demonstrates that the current digital watermarking framework is insufficient to protect image captioning tasks that are often regarded as one of the frontiers AI problems. As a remedy, this paper studies and proposes two different embedding schemes in the hidden memory state of a recurrent neural network to protect the image captioning model. From empirical points, we prove that a forged key will yield an unusable image captioning model, defeating the purpose of infringement. To the best of our knowledge, this work is the first to propose ownership protection on image captioning task. Also, extensive experiments show that the proposed method does not compromise the original image captioning performance on all common captioning metrics on Flickr30k and MS-COCO datasets, and at the same time it is able to withstand both removal and ambiguity attacks. Code is available at https://github.com/jianhanlim/ipr-imagecaptioning


title: Efficient Blind-Spot Neural Network Architecture for Image Denoising

abstract: Image denoising is an essential tool in computational photography. Standard denoising techniques, which use deep neural networks at their core, require pairs of clean and noisy images for its training. If we do not possess the clean samples, we can use blind-spot neural network architectures, which estimate the pixel value based on the neighbouring pixels only. These networks thus allow training on noisy images directly, as they by-design avoid trivial solutions. Nowadays, the blind-spot is mostly achieved using shifted convolutions or serialization. We propose a novel fully convolutional network architecture that uses dilations to achieve the blind-spot property. Our network improves the performance over the prior work and achieves state-of-the-art results on established datasets.


title: Coarse structures on groups defined by conjugations

abstract: For a group $G$, we denote by $\stackrel{\leftrightarrow}{G}$ the coarse space on $G$ endowed with the coarse structure with the base $\{\{ (x,y)\in G\times G: y\in x^F \} : F \in [G]^{<\omega} \}$, $x^F = \{z^{-1} xz : z\in F \}$. Our goal is to explore interplays between algebraic properties of $G$ and asymptotic properties of $\stackrel{\leftrightarrow}{G}$. In particular, we show that $asdim \ \stackrel{\leftrightarrow}{G} = 0$ if and only if $G / Z_G$ is locally finite, $Z_G$ is the center of $G$. For an infinite group $G$, the coarse space of subgroups of $G$ is discrete if and only if $G$ is a Dedekind group.


title: Quantum corrected thermodynamics and $P-V$ criticality of self-gravitating Skyrmion black holes

abstract: In this paper, we study the quantum corrected thermodynamics of a class of black holes generated by self-gravitating Skyrmion models. One such black hole solution is Einstein-Skrymion black hole. We first compute the ADM mass of Einstein-Skyrmion black hole using on-shell Hamiltonian formalism present already in the literature. We then consider non-extended phase space thermodynamics and derive expressions for various thermodynamic quantities like the Hawking temperature, entropy, pressure, Gibbs free energy, and heat capacity. Next, we study the effect of quantum corrections on the thermodynamics of the Einstein-Skyrmion black hole. We observe that apart from leading to stability, the quantum correction induce an AdS (anti-de sitter) to dS (de Sitter) phase transition in Einstein-Skrymion black hole. Treating cosmological constant as the pressure, we determine the $P-V$ criticality of the Einstein-Skrymion black hole and observe that the $P-V$ criticality depends on model parameters $\lambda$ and $K$. The study of $P-V$ criticality done here could help to estimate the experimental bound on the values of parameters $\lambda$ and $K$.


title: Circuit Synthesis based on Prescribed Lagrangian

abstract: We advance here an algorithm of a synthesis of an electric circuit based on prescribed quadratic Lagrangian. That is the circuit evolution equations are equivalent to the relevant Euler-Lagrange equations. The proposed synthesis is a systematic approach that allows to realize any finite dimensional physical system described by a Lagrangian in a lossless electric circuit so that their evolution equations are equivalent. The synthesized circuit is composed of (i) capacitors and inductors of positive or negative values for the respective capacitances and inductances, and (ii) gyrators. The circuit topological design is based on the set of LC fundamental loops (f-loops) that are coupled by GLC-links each of which is a serially connected gyrator, capacitor and inductor. The set of independent variables of the underlying Lagrangian is identified with f-loop charges defined as the time integrals of the corresponding currents. The EL equations for all f-loops account for the Kirchhoff voltage law whereas the Kirchhoff current law holds naturally as consequence of the setup of the coupled f-loops and the corresponding charges and currents. The proposed synthesis in particular provides for efficient implementation of the desired spectral properties in an electric circuit. The synthesis provides also a way to realize arbitrary mutual capacitances and inductances through elementary capacitors and inductors of positive or negative respective capacitances and inductances.


title: Polarimetric SAR Image Semantic Segmentation with 3D Discrete Wavelet Transform and Markov Random Field

abstract: Polarimetric synthetic aperture radar (PolSAR) image segmentation is currently of great importance in image processing for remote sensing applications. However, it is a challenging task due to two main reasons. Firstly, the label information is difficult to acquire due to high annotation costs. Secondly, the speckle effect embedded in the PolSAR imaging process remarkably degrades the segmentation performance. To address these two issues, we present a contextual PolSAR image semantic segmentation method in this paper.With a newly defined channelwise consistent feature set as input, the three-dimensional discrete wavelet transform (3D-DWT) technique is employed to extract discriminative multi-scale features that are robust to speckle noise. Then Markov random field (MRF) is further applied to enforce label smoothness spatially during segmentation. By simultaneously utilizing 3D-DWT features and MRF priors for the first time, contextual information is fully integrated during the segmentation to ensure accurate and smooth segmentation. To demonstrate the effectiveness of the proposed method, we conduct extensive experiments on three real benchmark PolSAR image data sets. Experimental results indicate that the proposed method achieves promising segmentation accuracy and preferable spatial consistency using a minimal number of labeled pixels.


title: Table2Charts: Recommending Charts by Learning Shared Table Representations

abstract: It is common for people to create different types of charts to explore a multi-dimensional dataset (table). However, to recommend commonly composed charts in real world, one should take the challenges of efficiency, imbalanced data and table context into consideration. In this paper, we propose Table2Charts framework which learns common patterns from a large corpus of (table, charts) pairs. Based on deep Q-learning with copying mechanism and heuristic searching, Table2Charts does table-to-sequence generation, where each sequence follows a chart template. On a large spreadsheet corpus with 165k tables and 266k charts, we show that Table2Charts could learn a shared representation of table fields so that recommendation tasks on different chart types could mutually enhance each other. Table2Charts outperforms other chart recommendation systems in both multi-type task (with doubled recall numbers R@3=0.61 and R@1=0.43) and human evaluations.


title: Local Generalization and Bucketization Technique for Personalized Privacy Preservation

abstract: Anonymization technique has been extensively studied and widely applied for privacy-preserving data publishing. In most previous approaches, a microdata table consists of three categories of attribute: explicit-identifier, quasi-identifier (QI), and sensitive attribute. Actually, different individuals may have different view on the sensitivity of different attributes. Therefore, there is another type of attribute that contains both QI values and sensitive values, namely, semi-sensitive attribute. Based on such observation, we propose a new anonymization technique, called local generalization and bucketization, to prevent identity disclosure and protect the sensitive values on each semi-sensitive attribute and sensitive attribute. The rationale is to use local generalization and local bucketization to divide the tuples into local equivalence groups and partition the sensitive values into local buckets, respectively. The protections of local generalization and local bucketization are independent, so that they can be implemented by appropriate algorithms without weakening other protection, respectively. Besides, the protection of local bucketization for each semi-sensitive attribute and sensitive attribute is also independent. Consequently, local bucketization can comply with various principles in different attributes according to the actual requirements of anonymization. The conducted extensive experiments illustrate the effectiveness of the proposed approach.


title: Near-infrared characterization of four massive stars in transition phases

abstract: Massive stars typically undergo short-lived post-main sequence evolutionary phases with strong mass loss and occasional mass eruptions. Many of such massive stars in transition phases have been identified based on their dusty envelopes. The ejected material often veils the stellar photospheres so that the central stars cannot be assigned proper spectral types and evolutionary stages. The infrared spectral range has proved to be ideal for the classification of evolved massive stars and for the characterization of their environments. To improve our knowledge on the central stars of four such dust enshrouded objects: [GKF2010] MN 83, [GKF2010] MN 108, [GKF2010] MN 109, and [GKF2010] MN 112, we collect and present their first medium resolution K-band spectra in the $2.3\,-\,2.47\,\mu$m region and discuss the location of the stars in the JHK color-color diagram. We find that the emission-line spectra of both MN 83 and MN 112 show characteristics typically seen in Luminous Blue Variable (LBV) stars. In addition, we propose that the presence and strength of the newly reported Mg II lines might be used as a new complementary criterion to identify LBV candidates. The spectra of the other two objects imply that MN 108 is an O-type supergiant, whereas MN 109 could be an LBV candidate in its active phase. We derive lower limits for the reddening toward the stars and find that three of all de-reddened fall into the region of confirmed LBVs.


title: Uniqueness of Hypersurfaces of Constant Higher Order Mean Curvature in Hyperbolic Space

abstract: We study the uniqueness of horospheres and equidistant spheres in hyperbolic space under different conditions. First we generalize the Bernstein theorem by Do Carmo and Lawson to the embedded hypersurfaces with constant higher order mean curvature. Then we prove two Bernstein type results for immersed hypersurfaces under different assumptions. Last, we show the rigidity of horospheres and equidistant spheres in terms of their higher order mean curvatures.


title: Global Stability and Periodicity in a Glucose-Insulin Regulation Model with a Single Delay

abstract: A two-dimensional system of differential equations with delay modelling the glucose-insulin interaction processes in the human body is considered. Sufficient conditions are derived for the unique positive equilibrium in the system to be globally asymptotically stable. They are given in terms of the global attractivity of the fixed point in a limiting interval map. The existence of slowly oscillating periodic solutions is shown in the case when the equilibrium is unstable. The mathematical results are supported by extensive numerical simulations. It is shown that typical behaviour in the system is the convergence to either a stable periodic solution or to the unique stable equilibrium. The coexistence of several periodic solutions together with the stable equilibrium is demonstrated as a possibility.


title: Frierson's 1907 Parameterization of Compound Magic Squares Extended to Orders 3^{l}, l=1,2,3,..., with Information Entropy

abstract: Frierson used a powerful parameterization of the pattern of the order 3 associative magic square to construct a family of six related order 9 compound (or composite) magic squares, several of them ancient. Stimulated by Bellew's 1997 extension to order 27, we extend these ideas to all orders that are powers of 3, and in addition find simple formulae for the matrix spectra and entropic measures for all those orders. This construction is fractal and we give numerical results to order 243 which show an information entropy measure converging to a constant value of about 1.168.. for the lowest entropy members. We also briefly consider compounding of an order 4 magic square with the lowest entropy, for which we find a similar trend to constant entropy.


title: Limiting Spectral Radii of Circular Unitary Matrices under Light Truncation

abstract: Consider a truncated circular unitary matrix which is a $p_n$ by $p_n$ submatrix of an $n$ by $n$ circular unitary matrix after deleting the last $n-p_n$ columns and rows. Jiang and Qi \cite{JiangQi2017} and Gui and Qi \cite{GQ2018} study the limiting distributions of the maximum absolute value of the eigenvalues (known as spectral radius) of the truncated matrix. Some limiting distributions for the spectral radius for the truncated circular unitary matrix have been obtained under the following conditions: (1). $p_n/n$ is bounded away from $0$ and $1$; (2). $p_n\to\infty$ and $p_n/n\to 0$ as $n\to\infty$; (3). $(n-p_n)/n\to 0$ and $(n-p_n)/(\log n)^3\to\infty$ as $n\to\infty$; (4). $n-p_n\to\infty$ and $(n-p_n)/\log n\to 0$ as $n\to\infty$; and (5). $n-p_n=k\ge 1$ is a fixed integer. The spectral radius converges in distribution to the Gumbel distribution under the first four conditions and to a reversed Weibull distribution under the fifth condition. Apparently, the conditions above do not cover the case when $n-p_n$ is of order between $\log n$ and $(\log n)^3$. In this paper, we prove that the spectral radius converges in distribution to the Gumbel distribution as well in this case, as conjectured by Gui and Qi \cite{GQ2018}.


title: Geodesic stability and Quasi normal modes via Lyapunov exponent for Hayward Black Hole

abstract: We derive proper-time Lyapunov exponent $(\lambda_{p})$ and coordinate-time Lyapunov exponent $(\lambda_{c})$ for a regular Hayward class of black hole. The proper-time corresponds to $\tau$ and the coordinate time corresponds to $t$. Where $t$ is measured by the asymptotic observers both for for Hayward black hole and for special case of Schwarzschild black hole. We compute their ratio as $\frac{\lambda_{p}}{\lambda_{c}} = \frac{(r_{\sigma}^{3} + 2 l^{2} m )}{\sqrt{(r_{\sigma}^{2} + 2 l^{2} m )^{3}- 3 m r_{\sigma}^{5}}}$ for time-like geodesics. In the limit of $l=0$ that means for Schwarzschild black hole this ratio reduces to $\frac{\lambda_{p}}{\lambda_{c}} = \sqrt{\frac{r_{\sigma}}{(r_{\sigma}-3 m)}}$. Using Lyponuov exponent, we investigate the stability and instability of equatorial circular geodesics. By evaluating the Lyapunov exponent, which is the inverse of the instability time-scale, we show that, in the eikonal limit, the real and imaginary parts of quasi-normal modes~(QNMs) is specified by the frequency and instability time scale of the null circular geodesics. Furthermore, we discuss the unstable photon sphere and radius of shadow for this class of black hole.


title: $\omega$-Rudin spaces, well-filtered determined spaces and first-countable spaces

abstract: We investigate some versions of $d$-space, well-filtered space and Rudin space concerning various countability properties. The main results include: (i) if the sobrification of a $T_0$ space $X$ is first-countable, then $X$ is an $\omega$-Rudin space; (ii) every $\omega$-well-filtered space is sober if its sobrification is first-countable; (iii) if a $T_0$ space is second-countable or first-countable and with a countable underlying set, then it is a $\omega$-Rudin space; (iv) every first-countable $T_0$ space is well-filtered determined; (v) every irreducible closed subset in a first-countable $\omega$-well-filtered space is countably-directed; (vi) every first-countable $\omega$-well-filtered $\omega^\ast$-$d$-space is sober.


title: Atomic, molecular and optical physics applications of longitudinally coherent and narrow bandwidth Free-Electron Lasers

abstract: Short wavelength Free-Electron Lasers (FELs) are the newest light sources available to scientists to probe a wide range of phenomena, with chemical, physical and biological applications, using soft and hard X-rays. These sources include the currently most powerful light sources in the world (hard X-ray sources) and are characterised by extremely high powers and high transverse coherence, but the first FELs had reduced longitudinal coherence. Now it is possible to achieve good longitudinal coherence (narrow bandwidth in the frequency domain) and here we discuss and illustrate a range of experiments utilising this property, and their underlying physics. The primary applications are those which require high resolution (for example resonant experiments), or temporal coherence (for example coherent control experiments). The currently available light sources extend the vast range of laboratory laser techniques to short wavelengths.


title: Poisson orders on large quantum groups

abstract: We develop a Poisson geometric framework for studying the representation theory of all contragredient quantum super groups at roots of unity. This is done in a uniform fashion by treating the larger class of quantum doubles of bozonizations of all distinguished pre-Nichols algebras arXiv:1405.6681 belonging to a one-parameter family; we call these algebras \emph{large} quantum groups. We prove that each of these quantum algebras has a central Hopf subalgebra giving rise to a Poisson order in the sense of arXiv:math/0201042.. We describe explicitly the underlying Poisson algebraic groups and Poisson homogeneous spaces in terms of Borel subgroups of complex semisimple algebraic groups of adjoint type. The geometry of the Poisson algebraic groups and Poisson homogeneous spaces that are involved and its applications to the irreducible representations of the algebras $U_{\mathfrak{q}} \supset U_{\mathfrak{q}}^{\geqslant} \supset U_{\mathfrak{q}}^+$ are also described. Besides all (multiparameter) big quantum groups of De Concini--Kac--Procesi and big quantum super groups at roots of unity, our framework also contains the quantizations in characteristic 0 of the 34-dimensional Kac-Weisfeler Lie algebras in characteristic 2 and the 10-dimensional Brown Lie algebras in characteristic 3. The previous approaches to the above problems relied on reductions to rank two cases and direct calculations of Poisson brackets, which is not possible in the super case since there are 13 kinds of additional Serre relations on up to 4 generators. We use a new approach that relies on perfect pairings between restricted and non-restricted integral forms.


title: On Course, But Not There Yet: Enterprise Architecture Conformance and Benefits in Systems Development

abstract: Various claims have been made regarding the benefits that Enterprise Architecture (EA) delivers for both individual systems development projects and the organization as a whole. This paper presents the statistical findings of a survey study (n=293) carried out to empirically test these claims. First, we investigated which techniques are used in practice to stimulate conformance to EA. Secondly, we studied which benefits are actually gained. Thirdly, we verified whether EA creators (e.g. enterprise architects) and EA users (e.g. project members) differ in their perceptions regarding EA. Finally, we investigated which of the applied techniques most effectively increase project conformance to and effectiveness of EA. A multivariate regression analysis demonstrates that three techniques have a major impact on conformance: carrying out compliance assessments, management propagation of EA and providing assistance to projects. Although project conformance plays a central role in reaping various benefits at both the organizational and the project level, it is shown that a number of important benefits have not yet been fully achieved.


title: Some Rigidity Results on Complete Finsler Manifolds

abstract: We provide an extension of Obata's theorem to Finsler geometry and establish some rigidity results based on a second order differential equation. Mainly, we prove that every complete connected Finsler manifold of positive constant flag curvature is isometrically homeomorphic to an Euclidean sphere endowed with a certain Finsler metric and vice versa. Based on these results, we present a classification of Finsler manifolds which admit a transnormal function. Specifically, we show that if a complete Finsler manifold admits a transnormal function with exactly two critical points, then it is homeomorphic to a sphere.


title: Reconfigurable fractional microwave signal processor based on a microcomb

abstract: We propose and demonstrate reconfigurable fractional microwave signal processing based on an integrated Kerr optical microcomb. We achieve two forms of microwave signal processing functions, a fractional Hilbert transform as well as a fractional differentiator. For the Hilbert transform we demonstrate a phase shift of 45 degrees, half that of a full Hilbert transform, while for the differentiator we achieve square-root differentiation. For both, we achieve high resolution over a broad bandwidth of 17 GHz with a phase deviation of less than 5 per degree within the achieved passband. This performance in both the frequency and time domains demonstrates the versatility and power of micro-combs as a basis for high performance microwave signal processing.


title: Limitations of Ordered Macroporous Battery Electrode Materials at High Charge and Discharge Rates

abstract: Adding porosity to battery electrodes is believed to be universally useful for adding space to accommodate volumetric expansion, electrolyte access to all active materials, helping to mitigate poor C-rate performance for thicker electrodes and for allowing infilling with other materials. Ordered porous electrode, such as inverse opals that have macroporosity, have been a model system: binder and conductive additive free, interconnected electrically, defined porosity and pore size with thickness, good electrolyte wettability and surprisingly good electrode performance in half cells and Li-battery cells at normal rates. We show that the intrinsic electronic conductivity is important, and at fast rates the intrinsic conductivity ultimately suppresses any charge storage in electrode materials. Using a model system of inverse opal V2O5in a flooded Li battery three-electrode cell, whose Li electrochemistry is very well understood, we show that beyond 10 C, electrodes can store almost no charge, but completely recover once reduced to < 1C. We show how the IO material is modified under lithiation using X-ray diffraction, Raman scattering and electron microscopy, and that little or no reaction occurs to the material at higher rates. We also use chronoamperometry to examine rate behaviour and link the limitations in high rate performance, and complete capacity suppression, to the intrinsic out-of-plane conductivity of the IO network. The data show that even idealized electrodes with nanoscale dimensions, functional porosity and full material interconnectivity, are fundamentally limited for high rate performance when they are less conductive even when fully soaked with electrolyte. While adding so-called functional size reduction, porosity etc. can be useful for some materials, these potential benefits are clearly not universally useful for high rate electrodes in Li-ion batteries.


title: Fractional variable exponents Sobolev trace spaces

abstract: We introduce and study fractional variable exponents Sobolev trace spaces on any open set in the Euclidean space equipped with the Lebesgue measure. We show that every equivalence class of Sobolev functions has a quasicontinuous representatives. We use the relative capacity to characterize completely the zero trace fractional variable exponents Sobolev spaces. We also give a relative capacity criterium for removable sets.


title: Thue inequalities with few coefficients

abstract: Let $F(x, y)$ be a binary form with integer coefficients, degree $n\geq 3$ and irreducible over the rationals. Suppose that only $s + 1$ of the $n + 1$ coefficients of $F$ are nonzero. We show that the Thue inequality $|F(x,y)|\leq m$ has $\ll sm^{2/n}$ solutions provided that the absolute value of the discriminant $D(F)$ of $F$ is large enough. We also give a new upper bound for the number of solutions of $|F(x,y)|\leq m$, with no restriction on the discriminant of $F$ that depends mainly on $s$ and $m$, and slightly on $n$. Our bound becomes independent of $m$ when $m<|D(F)|^{2/(5(n-1))}$, and also independent of $n$ if $|D(F)|$ is large enough.


title: Analysis of Adaptive Synchrosqueezing Transform with a Time-varying Parameter

abstract: The synchrosqueezing transform (SST) was developed recently to separate the components of non-stationary multicomponent signals. The continuous wavelet transform-based SST (WSST) reassigns the scale variable of the continuous wavelet transform of a signal to the frequency variable and sharpens the time-frequency representation. The WSST with a time-varying parameter, called the adaptive WSST, was introduced very recently in the paper "Adaptive synchrosqueezing transform with a time-varying parameter for non-stationary signal separation". The well-separated conditions of non-stationary multicomponent signals with the adaptive WSST and a method to select the time-varying parameter were proposed in that paper. In addition, simulation experiments in that paper show that the adaptive WSST is very promising in estimating the instantaneous frequency of a multicomponent signal, and in accurate component recovery. However the theoretical analysis of the adaptive WSST has not been studied. In this paper, we carry out such analysis and obtain error bounds for component recovery with the adaptive WSST and the 2nd-order adaptive WSST. These results provide a mathematical guarantee to non-stationary multicomponent signal separation with the adaptive WSST.


title: Consequences of Thermal Fluctuations of Well-Known Black Holes in Modified Gravity

abstract: Quantum fluctuation consequences have significant role in high-energy physics. These fluctuation often regarded as a correction of the infrared (IR) limit. Such correction contribute to the high-energy limit of thermodynamical quantities and the stability conditions of black holes. In this work, we analyze the thermal stability of black holes in the presence of thermal fluctuations. We consider AdS black hole in Born-Infeld massive gravity with non-abelian hair and the charged AdS black hole with a global monopole. We develop many thermodynamical quantities such as entropy, temperature, pressure, heat capacity of a system at constant volume and pressure, ratio between the heat capacities at constant pressure and volume, Gibbs free energy and Helmholtz free energy for both black holes. The critical behavior and phase transitions of black holes are also presented. We also observe the local and global stability of black holes in the grand canonical ensemble and canonical ensemble for the specific values of different parameters, such as, symmetry breaking parameter $\eta$, massive parameter $m$ and non-abelian hair $\nu$.


title: Thermodynamics of the apparent horizon in the generalized energy-momentum-squared cosmology

abstract: In this note, we explore the thermodynamic properties of the universe in the background of the generalized energy-momentum-squared gravity. We derive the energy density of matter from the non-standard continuity equation and use it in our analysis. We consider two types of models depending on the nature of coupling between curvature and matter and perform thermodynamic analysis on them using the cosmic apparent horizon. The models are kept as generic as possible from the mathematical point of view in order to gain a wide applicability of the work. In this work we have considered power law and exponential form of models. All the thermodynamic parameters are expressed in terms of the cosmic apparent horizon radius and its time derivatives and their time evolution are studied. By using temperature, heat capacity analysis and the evolution trend of Helmholtz free energy the conditions for thermodynamic stability of the models are derived. It is seen that our stability analysis considerably constrain the parameter space of the model.


title: Quantum nonlinear metasurfaces

abstract: We review the latest advances in the generation of quantum light with nonlinear nanoresonators in metasurfaces, which act both as sources of quantum states and nanoantennas shaping the emitted photons. We outline a general quantum theory of spontaneous photon-pair generation in arbitrary nonlinear photonic structures, including nanoresonators and metasurfaces, which provides an explicit analytical solution for the photon state expressed through the classical Green function. We formulate the correspondence between the quantum photon-pair generation and classical sum-frequency process in nonlinear media, and discuss its application in various contexts, including waveguide circuits and nanostructures. We also discuss the first experimental results demonstrating photon-pair generation in a single nonlinear nanoantenna.


title: A Discriminative Technique for Multiple-Source Adaptation

abstract: We present a new discriminative technique for the multiple-source adaptation, MSA, problem. Unlike previous work, which relies on density estimation for each source domain, our solution only requires conditional probabilities that can easily be accurately estimated from unlabeled data from the source domains. We give a detailed analysis of our new technique, including general guarantees based on R\'enyi divergences, and learning bounds when conditional Maxent is used for estimating conditional probabilities for a point to belong to a source domain. We show that these guarantees compare favorably to those that can be derived for the generative solution, using kernel density estimation. Our experiments with real-world applications further demonstrate that our new discriminative MSA algorithm outperforms the previous generative solution as well as other domain adaptation baselines.


title: Balanced Activation for Long-tailed Visual Recognition

abstract: Deep classifiers have achieved great success in visual recognition. However, real-world data is long-tailed by nature, leading to the mismatch between training and testing distributions. In this report, we introduce Balanced Activation (Balanced Softmax and Balanced Sigmoid), an elegant unbiased, and simple extension of Sigmoid and Softmax activation function, to accommodate the label distribution shift between training and testing in object detection. We derive the generalization bound for multiclass Softmax regression and show our loss minimizes the bound. In our experiments, we demonstrate that Balanced Activation generally provides ~3% gain in terms of mAP on LVIS-1.0 and outperforms the current state-of-the-art methods without introducing any extra parameters.


title: On distance matrices of distance-regular graphs

abstract: In this paper, we give a characterization of distance matrices of distance-regular graphs to be invertible.


title: New Bounds on the Real Polynomial Roots

abstract: The presented analysis determines several new bounds on the roots of the equation $a_n x^n + a_{n-1} x^{n-1} + \cdots + a_0 = 0$ (with $a_n > 0$). All proposed new bounds are lower than the Cauchy bound max$\{1, \sum_{j=0}^{n-1} |a_j/a_n| \}$. Firstly, the Cauchy bound formula is derived by presenting it in a new light -- through a recursion. It is shown that this recursion could be exited at earlier stages and, the earlier the recursion is terminated, the lower the resulting root bound will be. Following a separate analysis, it is further demonstrated that a significantly lower root bound can be found if the summation in the Cauchy bound formula is made not over each one of the coefficients $a_0, a_1, \ldots, a_{n-1}$, but only over the negative ones. The sharpest root bound in this line of analysis is shown to be the larger of 1 and the sum of the absolute values of all negative coefficients of the equation divided by the largest positive coefficient. The following bounds are also found in this paper: max$\{ 1, ( \sum_{j = 1}^{q} B_j/A_l )^{1/(l-k)}\}$, where $B_1, B_2, \ldots B_q$ are the absolute values of all of the negative coefficients in the equation, $k$ is the highest degree of a monomial with a negative coefficient, $A_l$ is the positive coefficient of the term $A_l x^l$ for which $k< l \le n$.


title: Machine Reasoning to Assess Pandemics Risks: Case of USS Theodore Roosevelt

abstract: Assessment of risks of pandemics to communities and workplaces requires an intelligent decision support system (DSS). The core of such DSS must be based on machine reasoning techniques such as inference and shall be capable of estimating risks and biases in decision making. In this paper, we use a causal network to make Bayesian inference on COVID-19 data, in particular, assess risks such as infection rate and other precaution indicators. Unlike other statistical models, a Bayesian causal network combines various sources of data through joint distribution, and better reflects the uncertainty of the available data. We provide an example using the case of the COVID-19 outbreak that happened on board of USS Theodore Roosevelt in early 2020.


title: Representability of Noetherian PI-algebras

abstract: This note concerns the still open question of representability of Noetherian PI-algebras. Extending a result of Rowen and Small (with an observation of Bergman) that every finitely generated module over a commutative Noetherian ring containing a field is representable, we provide a representability machinery for a Noetherian PI-algebra $R$ containing a field, which includes the case that $R$ is finite (as a module) over a commutative subalgebra isomorphic to $R/N$. We construct a family of non-representable PI-algebras demonstrating the sharpness of these results, as well as of some well known previous representability results.


title: ByeGlassesGAN: Identity Preserving Eyeglasses Removal for Face Images

abstract: In this paper, we propose a novel image-to-image GAN framework for eyeglasses removal, called ByeGlassesGAN, which is used to automatically detect the position of eyeglasses and then remove them from face images. Our ByeGlassesGAN consists of an encoder, a face decoder, and a segmentation decoder. The encoder is responsible for extracting information from the source face image, and the face decoder utilizes this information to generate glasses-removed images. The segmentation decoder is included to predict the segmentation mask of eyeglasses and completed face region. The feature vectors generated by the segmentation decoder are shared with the face decoder, which facilitates better reconstruction results. Our experiments show that ByeGlassesGAN can provide visually appealing results in the eyeglasses-removed face images even for semi-transparent color eyeglasses or glasses with glare. Furthermore, we demonstrate significant improvement in face recognition accuracy for face images with glasses by applying our method as a pre-processing step in our face recognition experiment.


title: Recovering the Initial Data of the Wave Equation from Neumann Traces

abstract: We study the problem of recovering the initial data (f, 0) of the standard wave equation from the Neumann trace (the normal derivative) of the solution on the boundary of convex domains in arbitrary spatial dimension. Among others, this problem is relevant for tomographic image reconstruction including photoacoustic tomography. We establish explicit inversion formulas of the back-projection type that recover the initial data up to an additive term defined by a smoothing integral operator. In the case that the boundary of the domain is an ellipsoid, the integral operator vanishes, and hence we obtain an analytic formula for recovering the initial data from Neumann traces of the wave equation on ellipsoids.


title: Student perceptions of laboratory classroom activities and experimental physics practice

abstract: We report results from a study designed to identify links between undergraduate students' views about experimental physics and their engagement in multiweek projects in lab courses. Using surveys and interviews, we explored whether students perceived particular classroom activities to be features of experimental physics practice. We focused on 18 activities, including maintaining lab notebooks, fabricating parts, and asking others for help. Interviewees identified activities related to project execution as intrinsic to experimental physics practice based on high prevalence of those activities in interviewees' own projects. Fabrication-oriented activities were identified as conditional features of experimentation based on differences between projects, which interviewees attributed to variations in project resources. Interpersonal activities were also viewed as conditional features of experimentation, dependent upon one's status as novice or expert. Our findings suggest that students' views about experimental physics are shaped by firsthand experiences of their own projects and secondhand experiences of those of others.


title: ICE-Talk: an Interface for a Controllable Expressive Talking Machine

abstract: ICE-Talk is an open source web-based GUI that allows the use of a TTS system with controllable parameters via a text field and a clickable 2D plot. It enables the study of latent spaces for controllable TTS. Moreover it is implemented as a module that can be used as part of a Human-Agent interaction.


title: The effect of data quality and model parameters on the quantitative phase analysis of X-ray diffraction data by the Rietveld method

abstract: The quality of X-ray powder diffraction data and the number and type of refinable parameters have been examined with respect to their effect on quantitative phase analysis (QPA) by the Rietveld method using data collected from two samples from the QPA round robin [Madsen et al. J. Appl. Cryst. (2001), 34, 409-26]. From these analyses of these best-case-scenario specimens, a series of recommendations for minimum standards of data collection and analysis are proposed. It is hoped that these will aid new QPA-by-Rietveld users in their analyses.


title: Uncovering hidden dependency in weighted networks via information entropy

abstract: Interactions between elements, which are usually represented by networks, have to delineate potentially unequal relationships in terms of their relative importance or direction. The intrinsic unequal relationships of such kind, however, are opaque or hidden in numerous real systems. For instance, when a node in a network with limited interaction capacity spends its capacity to its neighboring nodes, the allocation of the total amount of interactions to them can be vastly diverse. Even if such potentially heterogeneous interactions epitomized by weighted networks are observable, as a result of the aforementioned ego-centric allocation of interactions, the relative importance or dependency between two interacting nodes can only be implicitly accessible. In this work, we precisely pinpoint such relative dependency by proposing the framework to discover hidden dependent relations extracted from weighted networks. For a given weighted network, we provide a systematic criterion to select the most essential interactions for individual nodes based on the concept of information entropy. The criterion is symbolized by assigning the effective number of neighbors or the effective out-degree to each node, and the resultant directed subnetwork decodes the hidden dependent relations by leaving only the most essential directed interactions. We apply our methodology to two time-stamped empirical network data, namely the international trade relations between nations in the world trade web (WTW) and the network of people in the historical record of Korea, Annals of the Joseon Dynasty (AJD). Based on the data analysis, we discover that the properties of mutual dependency encoded in the two systems are vastly different.


title: Label Decoupling Framework for Salient Object Detection

abstract: To get more accurate saliency maps, recent methods mainly focus on aggregating multi-level features from fully convolutional network (FCN) and introducing edge information as auxiliary supervision. Though remarkable progress has been achieved, we observe that the closer the pixel is to the edge, the more difficult it is to be predicted, because edge pixels have a very imbalance distribution. To address this problem, we propose a label decoupling framework (LDF) which consists of a label decoupling (LD) procedure and a feature interaction network (FIN). LD explicitly decomposes the original saliency map into body map and detail map, where body map concentrates on center areas of objects and detail map focuses on regions around edges. Detail map works better because it involves much more pixels than traditional edge supervision. Different from saliency map, body map discards edge pixels and only pays attention to center areas. This successfully avoids the distraction from edge pixels during training. Therefore, we employ two branches in FIN to deal with body map and detail map respectively. Feature interaction (FI) is designed to fuse the two complementary branches to predict the saliency map, which is then used to refine the two branches again. This iterative refinement is helpful for learning better representations and more precise saliency maps. Comprehensive experiments on six benchmark datasets demonstrate that LDF outperforms state-of-the-art approaches on different evaluation metrics.


title: The large scale polarization explorer (LSPE) for CMB measurements: performance forecast

abstract: [Abridged] The measurement of the polarization of the Cosmic Microwave Background radiation is one of the current frontiers in cosmology. In particular, the detection of the primordial B-modes, could reveal the presence of gravitational waves in the early Universe. The detection of such component is at the moment the most promising technique to probe the inflationary theory describing the very early evolution of the Universe. We present the updated performance forecast of the Large Scale Polarization Explorer (LSPE), a program dedicated to the measurement of the CMB polarization. LSPE is composed of two instruments: Strip, a radiometer-based telescope on the ground in Tenerife, and SWIPE (Short-Wavelength Instrument for the Polarization Explorer) a bolometer-based instrument designed to fly on a winter arctic stratospheric long-duration balloon. The program is among the few dedicated to observation of the Northern Hemisphere, while most of the international effort is focused into ground-based observation in the Southern Hemisphere. Measurements are currently scheduled in Winter 2021/22 for SWIPE, with a flight duration up to 15 days, and in Summer 2021 with two years observations for Strip. We describe the main features of the two instruments, identifying the most critical aspects of the design, in terms of impact into performance forecast. We estimate the expected sensitivity of each instrument and propagate their combined observing power to the sensitivity to cosmological parameters, including the effect of scanning strategy, component separation, residual foregrounds and partial sky coverage. We also set requirements on the control of the most critical systematic effects and describe techniques to mitigate their impact. LSPE can reach a sensitivity in tensor-to-scalar ratio of $\sigma_r<0.01$, and improve constrains on other cosmological parameters.


title: Exponential growth of products of non-stationary Markov-dependent matrices

abstract: Let $(\xi_j)_{j\ge1} $, be a non-stationary Markov chain with phase space $X$ and let $\mathfrak{g}_j:\,X\mapsto\mathrm{SL}(m,\mathbb{R})$ be a sequence of functions on $X$ with values in the unimodular group. Set $g_j=\mathfrak{g}_j(\xi_j)$ and denote by $S_n=g_n\ldots g_1$, the product of the matrices $g_j$. We provide sufficient conditions for exponential growth of the norm $\|S_n\|$ when the Markov chain is not supposed to be stationary. This generalizes the classical theorem of Furstenberg on the exponential growth of products of independent identically distributed matrices as well as its extension by Virtser to products of stationary Markov-dependent matrices.


title: A family of fast fixed point iterations for M/G/1-type Markov chains

abstract: We consider the problem of computing the minimal nonnegative solution $G$ of the nonlinear matrix equation $X=\sum_{i=-1}^\infty A_iX^{i+1}$ where $A_i$, for $i\ge -1$, are nonnegative square matrices such that $\sum_{i=-1}^\infty A_i$ is stochastic. This equation is fundamental in the analysis of M/G/1-type Markov chains, since the matrix $G$ provides probabilistic measures of interest. A new family of fixed point iterations for the numerical computation of $G$, that includes the classical iterations, is introduced. A detailed convergence analysis proves that the iterations in the new class converge faster than the classical iterations. Numerical experiments confirm the effectiveness of our extension.


title: Regular Isotopy Classes of Link Diagrams From Thompson's Groups

abstract: In 2014, Vaughan Jones developed a method to produce links from elements of Thompson's group $F$, and showed that all links arise this way. He also introduced a subgroup $\vec{F}$ of $F$ and a method to produce oriented links from elements of this subgroup. In 2018, Valeriano Aiello showed that all oriented links arise from this construction. We classify exactly those regular isotopy classes of links that arise from $F$, as well as exactly those regular isotopy classes of oriented links that arise from $\vec{F}$, answering a question asked by Jones in 2018.


title: JokeMeter at SemEval-2020 Task 7: Convolutional humor

abstract: This paper describes our system that was designed for Humor evaluation within the SemEval-2020 Task 7. The system is based on convolutional neural network architecture. We investigate the system on the official dataset, and we provide more insight to model itself to see how the learned inner features look.


title: Search range in experimental quantum annealing

abstract: We construct an Ising Hamiltonian with an engineered energy landscape such that it has a local energy minimum which is near to the true global minimum solution, and further away from a false minimum. Using a technique established in previous experiments, we design our experiment such that (at least on timescales relevant to our study) the false minimum is reached preferentially in forward annealing due to high levels of quantum fluctuations. This allows us to demonstrate the key principle of reverse annealing, that the solution space can be searched locally, preferentially finding nearby solutions, even in the presence of a false minimum. The techniques used here are, to the best of our knowledge, distinct from previously used experimental techniques, and allow us to probe the fundamental search range of the device in a way which has not been previously explored. We perform these experiments on two flux qubit quantum annealers, one with higher noise levels than the other. We find evidence that the lower noise device is more likely to find the more distant energy minimum (the false minimum in this case), suggesting that reducing noise fundamentally increases the range over which flux qubit quantum annealers are able to search. Our work explains why reducing the noise leads to improved performance on these quantum annealers. This supports the idea that these devices may be able to search over broad regions of the solution space quickly, one of the core reasons why quantum annealers are viewed as a potential avenue for a quantum computational advantage.


title: On estimating gaze by self-attention augmented convolutions

abstract: Estimation of 3D gaze is highly relevant to multiple fields, including but not limited to interactive systems, specialized human-computer interfaces, and behavioral research. Although recently deep learning methods have boosted the accuracy of appearance-based gaze estimation, there is still room for improvement in the network architectures for this particular task. Therefore we propose here a novel network architecture grounded on self-attention augmented convolutions to improve the quality of the learned features during the training of a shallower residual network. The rationale is that self-attention mechanism can help outperform deeper architectures by learning dependencies between distant regions in full-face images. This mechanism can also create better and more spatially-aware feature representations derived from the face and eye images before gaze regression. We dubbed our framework ARes-gaze, which explores our Attention-augmented ResNet (ARes-14) as twin convolutional backbones. In our experiments, results showed a decrease of the average angular error by 2.38% when compared to state-of-the-art methods on the MPIIFaceGaze data set, and a second-place on the EyeDiap data set. It is noteworthy that our proposed framework was the only one to reach high accuracy simultaneously on both data sets.


title: The atomic damping basis and the collective decay of interacting two-level atoms

abstract: We find analytical solutions to the evolution of interacting two-level atoms when the master equation is symmetric under the permutation of atomic labels. The master equation includes atomic independent dissipation. The method to obtain the solutions is: First, we use the system symmetries to describe the evolution in an operator space whose dimension grows polynomially with the number of atoms. Second, we expand the solutions in a basis composed of eigenvectors of the dissipative part of the master equation that models the independent dissipation of the atoms. This atomic damping basis is an atomic analog to the damping basis used for bosonic fields. The solutions show that the system decays as a sum of sub- and super-radiant exponential terms.


title: Highly scalable numerical simulation of coupled reaction-diffusion systems with moving interfaces

abstract: A combination of reaction-diffusion models with moving-boundary problems yields a system in which the diffusion (spreading and penetration) and reaction (transformation) evolve the system's state and geometry over time. These systems can be used in a wide range of engineering applications. In this study, as an example of such a system, the degradation of metallic materials is investigated. A mathematical model is constructed of the diffusion-reaction processes and the movement of corrosion front of a magnesium block floating in a chemical solution. The corresponding parallelized computational model is implemented using the finite element method, and the weak and strong scaling behaviors of the model are evaluated to analyze the performance and efficiency of the employed high-performance computing techniques.


title: On the Maximum Number of Crossings in Star-Simple Drawings of $K_n$ with No Empty Lens

abstract: A star-simple drawing of a graph is a drawing in which adjacent edges do not cross. In contrast, there is no restriction on the number of crossings between two independent edges. When allowing empty lenses (a face in the arrangement induced by two edges that is bounded by a 2-cycle), two independent edges may cross arbitrarily many times in a star-simple drawing. We consider star-simple drawings of $K_n$ with no empty lens. In this setting we prove an upper bound of $3((n-4)!)$ on the maximum number of crossings between any pair of edges. It follows that the total number of crossings is finite and upper bounded by $n!$.


title: Measurement of the high-energy contribution to the Gerasimov-Drell-Hearn sum rule

abstract: We propose to measure the high-energy behavior of the integrand of the Gerasimov-Drell-Hearn (GDH) sum rule on the proton and the neutron up to 12 GeV. The convergence of the GDH integral will be investigated for the first time and to high precision. The validity of the GDH sum rule on the neutron will be accurately tested for the first time, while for the proton the uncertainty will be improved by $25\%$ relative. The data will allow precision testing of Regge phenomenology in the polarized domain. The $a_1$ and $f_1$ Regge trajectory intercepts will be obtained to an order of magnitude higher precision than the current best estimates. The data will also contribute to the determination of the real and imaginary parts of the spin-dependent Compton amplitude, the polarizability correction to hyperfine splitting in hydrogen, and to studying the transition between polarized DIS and diffractive regimes. The experiment will require a circularly polarized photon beam (produced from a longitudinally polarized electron beam) with a flux approximately 1/3 of the GlueX-II experiment E12-13-003. The experiment will run in two configurations which require two different CEBAF beam energies. A new longitudinal polarized proton and deuteron target will be needed in Hall D. The experiment will require 21 PAC days at the nominal CEBAF energy and another 12 PAC days at an energy 1/3 to 1/2 of the nominal.


title: Applying system descriptors to address ambiguity on deployment diagrams

abstract: Communication between practitioners is essential for product quality in the DevOps context. This communication often takes place through deployment diagrams of a system under development. However, it is common diagrams to become ambiguous or inconsistent as the system progresses and goes to a continuous delivery pipeline or production. Moreover, diagrams could not follow the evolution of systems, and it is challenging to associate diagrams to production. In this paper, we propose the use of system descriptors to address the ambiguity of deployment diagrams. We state three main hypotheses (1) if a deployment diagram is generated from a valid system descriptor then the diagram is unambiguous; (2) if a valid system descriptor is generated from a deployment diagram then the descriptor is unambiguous; (3) if a diagram $\mu$ generated from a descriptor $A$ is unambiguous and if a descriptor $B$ is generated from the diagram $\mu$ equally unambiguous then descriptors $A$ and $B$ are equivalent. We report a case study to test our hypotheses. We constructed a system descriptor from Netflix deployment diagram, and we applied our tool to generate a new deployment diagram. Finally, we compare the original and generated diagrams to evaluate our proposal. Our case study shows the generated deployment diagrams are graphically equivalent to system descriptors and eliminated ambiguous aspects of the original diagram. Thus, our preliminary results lead to further evaluation in controlled and empirical experiments to test our hypotheses conclusively.


title: Crosscap number and knot projections

abstract: We introduce an unknotting-type number of knot projections that gives an upper bound of the crosscap number of knots. We determine the set of knot projections with the unknotting-type number at most two, and this result implies classical and new results that determine the set of alternating knots with the crosscap number at most two.


title: GAN Slimming: All-in-One GAN Compression by A Unified Optimization Framework

abstract: Generative adversarial networks (GANs) have gained increasing popularity in various computer vision applications, and recently start to be deployed to resource-constrained mobile devices. Similar to other deep models, state-of-the-art GANs suffer from high parameter complexities. That has recently motivated the exploration of compressing GANs (usually generators). Compared to the vast literature and prevailing success in compressing deep classifiers, the study of GAN compression remains in its infancy, so far leveraging individual compression techniques instead of more sophisticated combinations. We observe that due to the notorious instability of training GANs, heuristically stacking different compression techniques will result in unsatisfactory results. To this end, we propose the first unified optimization framework combining multiple compression means for GAN compression, dubbed GAN Slimming (GS). GS seamlessly integrates three mainstream compression techniques: model distillation, channel pruning and quantization, together with the GAN minimax objective, into one unified optimization form, that can be efficiently optimized from end to end. Without bells and whistles, GS largely outperforms existing options in compressing image-to-image translation GANs. Specifically, we apply GS to compress CartoonGAN, a state-of-the-art style transfer network, by up to 47 times, with minimal visual quality degradation. Codes and pre-trained models can be found at https://github.com/TAMU-VITA/GAN-Slimming.


title: Exact $p$-adic computation in Magma

abstract: We describe a new arithmetic system for the Magma computer algebra system for working with $p$-adic numbers exactly, in the sense that numbers are represented lazily to infinite $p$-adic precision. This is the first highly featured such implementation. This has the benefits of increasing user-friendliness and speeding up some computations, as well as forcibly producing provable results. We give theoretical and practical justification for its design and describe some use cases. The intention is that this article will be of benefit to anyone wanting to implement similar functionality in other languages.


title: Hydrodynamics can Determine the Optimal Route for Microswimmer Navigation

abstract: Contrasting the well explored problem on how to steer a macroscopic agent like an airplane or a moon lander to optimally reach a target, "optimal microswimming", i.e. the quest for the optimal navigation strategy for microswimmers, remains unsolved. Here, we systematically explore this problem and show that the characteristic flow field of microswimmers crucially influences the required navigation strategy to reach a target fastest. The resulting optimal trajectories can have remarkable and non-intuitive shapes, which qualitatively differ from those of dry active particles or motile macroagents. Our results provide generic insights into the role of hydrodynamics and fluctuations on optimal navigation at the microscale and suggest that microorganisms might have survival advantages when strategically controlling their distance to remote walls. In particular, when fluctuations are present, choosing the optimal strategy, which appropriately respects hydrdynamics, can halve the time to reach the target compared to cases microswimmers head straight towards it.


title: Sympathetic quantisation -- a new approach to hologram quantisation

abstract: Spatial light modulators can typically only modulate the phase or the amplitude of an incident wavefront, with only a limited number of discrete values available. This is often accounted for in computer-generated holography algorithms by setting hologram pixel values to the nearest achievable value during what is known as quantisation. Sympathetic quantisation is an alternative to this nearest-neighbour approach that takes into account the underlying diffraction relationships in order to obtain a significantly improved post-quantisation performance. The concept of sympathetic quantisation is introduced in this paper and a simple implementation, soft sympathetic quantisation, is presented which is shown to improve mean squared error and structural similarity index error metrics by 50% for the considered case of single-transform algorithms.


title: Rate Equations for Graphs

abstract: In this paper, we combine ideas from two different scientific traditions: 1) graph transformation systems (GTSs) stemming from the theory of formal languages and concurrency, and 2) mean field approximations (MFAs), a collection of approximation techniques ubiquitous in the study of complex dynamics. Using existing tools from algebraic graph rewriting, as well as new ones, we build a framework which generates rate equations for stochastic GTSs and from which one can derive MFAs of any order (no longer limited to the humanly computable). The procedure for deriving rate equations and their approximations can be automated. An implementation and example models are available online at https://rhz.github.io/fragger. We apply our techniques and tools to derive an expression for the mean velocity of a two-legged walker protein on DNA.


title: Holographic Predictive Search: Extending the Scope

abstract: Holographic Predictive Search (HPS) is a novel approach to search-based hologram generation that uses a mathematical understanding of the optical transforms to make informed optimisation decisions. Existing search techniques such as Direct Search (DS) and Simulated Annealing (SA) rely on trialling modifications to a test hologram and observing the results. A formula is used to decide whether the change should be accepted. HPS operates presciently, using knowledge of the underlying mathematical relationship to make exact changes to the test hologram that guarantee the 'best' outcome for that change. In this work, we extend the scope of the original research to cover both phase and amplitude modulating Spatial Light Modulators (SLMs), both phase sensitive and phase insensitive systems and both Fresnel and Fraunhofer diffraction. In the cases discussed, improvements of up to 10x are observed in final error and the approach also offers significant performance benefits in generation time. This comes at the expense of increased complexity and loss of generality.


title: A Meshfree Generalized Finite Difference Method for Solution Mining Processes

abstract: Experimental and field investigations for solution mining processes have improved intensely in recent years. Due to today's computing capacities, three-dimensional simulations of potential salt solution caverns can further enhance the understanding of these processes. They serve as a "virtual prototype" of a projected site and support planning in reasonable time. In this contribution, we present a meshfree Generalized Finite Difference Method (GFDM) based on a cloud of numerical points that is able to simulate solution mining processes on microscopic as well as macroscopic scales, which differ significantly in both the spatial and temporal scale. Focusing on anticipated industrial requirements, Lagrangian and Eulerian formulations including an Arbitrary Lagrangian-Eulerian (ALE) approach are considered.


title: MyPDDL: Tools for efficiently creating PDDL domains and problems

abstract: The Planning Domain Definition Language (PDDL) is the state-of-the-art language for specifying planning problems in artificial intelligence research. Writing and maintaining these planning problems, however, can be time-consuming and error prone. To address this issue, we present myPDDL-a modular toolkit for developing and manipulating PDDL domains and problems. To evaluate myPDDL, we compare its features to existing knowledge engineering tools for PDDL. In a user test, we additionally assess two of its modules, namely the syntax highlighting feature and the type diagram generator. The users of syntax highlighting detected 36% more errors than non-users in an erroneous domain file. The average time on task for questions on a PDDL type hierarchy was reduced by 48% when making the type diagram generator available. This implies that myPDDL can support knowledge engineers well in the PDDL design and analysis process.