title: Analytical solution for two-dimensional Laplace's equation in a shallow domain containing coplanar interdigitated boundaries

abstract: Laplace's equation appears frequently in physical applications involving conservable quantities. Among these applications, miniaturized devices have been of interest, in particular those using interdigitated arrays. Therefore, we solved the two-dimensional Laplace's equation for a shallow or finite domain consisting of interdigitated boundaries. We achieved this by using Jacobian elliptic functions to conformally transform the interdigitated domain into a parallel plates domain. The obtained expressions for potential distribution, flux density and flux allow for arbitrary domain height, different band widths and asymmetric potentials at the interdigitated array, besides considering fringing effects at both ends of the array. All these expressions depend only on relative dimensions, instead of absolute ones. With these results we showed that the behavior in shallow or finite domains approaches that of a semi-infinite domain, when its height is greater than the separation between the centers of consecutive bands. We also found that, for any desired but fixed flux, bands of equal width minimize the total surface of the interdigitated array. Finally, we present approximate expressions for the flux, based on elementary functions, which can be applied to ease the calculation of currents (faradaic or non-faradaic), capacitances and resistances among other possible applications.


title: Asymmetry-induced nonclassical correlation

abstract: In quantum resource theory (QRT), asymmetry recognized as a valid resource for the advantage of various quantum information processing. In this paper, we establish the resource theory of asymmetry using quantum Fisher information (QFI). By defining the average Fisher information as a measure of asymmetry, it is shown that the discrepancy of bipartite global and local asymmetries naturally induces the nonclassical correlation between the subsystems. This measure satisfies all the necessary axioms of a faithful measure of bipartite quantum correlation. As an illustration, we have studied the proposed measure for an arbitrary pure state and Bell diagonal state.


title: Internet of Things (IoT) Application Model for Smart Farming

abstract: Smart Farming has brought a major transformation in the agriculture process by using the Internet of Things (IoT) devices, emerging technologies such as cloud computing, fog computing, and data analytics. It allows farmers to have real-time awareness of the farm and help them make smart and informed decisions. In this paper, we propose a distributed data flow (DDF) based model for the smart farming application that is composed of interdependent modules. We evaluate the proposed application model using two deployment strategies: cloud-based, and fog-based where the application modules are deployed on the fog and the cloud data center respectively. We compare the cloud-based and fog-based strategy in terms of end-to-end latency and network usage.


title: The PAU Survey: narrowband photometric redshifts using Gaussian processes

abstract: We study the performance of the hybrid template-machine-learning photometric redshift (photo-$z$) algorithm Delight, which uses Gaussian processes, on a subset of the early data release of the Physics of the Accelerating Universe Survey (PAUS). We calibrate the fluxes of the $40$ PAUS narrow bands with $6$ broadband fluxes ($uBVriz$) in the COSMOS field using three different methods, including a new method which utilises the correlation between the apparent size and overall flux of the galaxy. We use a rich set of empirically derived galaxy spectral templates as guides to train the Gaussian process, and we show that our results are competitive with other standard photometric redshift algorithms. Delight achieves a photo-$z$ $68$th percentile error of $\sigma_{68}=0.0081(1+z)$ without any quality cut for galaxies with $i_\mathrm{auto}<22.5$ as compared to $0.0089(1+z)$ and $0.0202(1+z)$ for the BPz and ANNz2 codes, respectively. Delight is also shown to produce more accurate probability distribution functions for individual redshift estimates than BPz and ANNz2. Common photo-$z$ outliers of Delight and BCNz2 (previously applied to PAUS) are found to be primarily caused by outliers in the narrowband fluxes, with a small number of cases potentially indicating spectroscopic redshift failures in the reference sample. In the process, we introduce performance metrics derived from the results of BCNz2 and Delight, allowing us to achieve a photo-$z$ quality of $\sigma_{68}<0.0035(1+z)$ at a magnitude of $i_\mathrm{auto}<22.5$ while keeping $50$ per cent objects of the galaxy sample.


title: Wheelchair Behavior Recognition for Visualizing Sidewalk Accessibility by Deep Neural Networks

abstract: This paper introduces our methodology to estimate sidewalk accessibilities from wheelchair behavior via a triaxial accelerometer in a smartphone installed under a wheelchair seat. Our method recognizes sidewalk accessibilities from environmental factors, e.g. gradient, curbs, and gaps, which influence wheelchair bodies and become a burden for people with mobility difficulties. This paper developed and evaluated a prototype system that visualizes sidewalk accessibility information by extracting knowledge from wheelchair acceleration using deep neural networks. Firstly, we created a supervised convolutional neural network model to classify road surface conditions using wheelchair acceleration data. Secondly, we applied a weakly supervised method to extract representations of road surface conditions without manual annotations. Finally, we developed a self-supervised variational autoencoder to assess sidewalk barriers for wheelchair users. The results show that the proposed method estimates sidewalk accessibilities from wheelchair accelerations and extracts knowledge of accessibilities by weakly supervised and self-supervised approaches.


title: The Study of Urban Residential's Public Space Activeness using Space-centric Approach

abstract: With the advancement of the Internet of Things (IoT) and communication platform, large scale sensor deployment can be easily implemented in an urban city to collect various information. To date, there are only a handful of research studies about understanding the usage of urban public spaces. Leveraging IoT, various sensors have been deployed in an urban residential area to monitor and study public space utilization patterns. In this paper, we propose a data processing system to generate space-centric insights about the utilization of an urban residential region of multiple points of interest (PoIs) that consists of 190,000m$^2$ real estate. We identify the activeness of each PoI based on the spectral clustering, and then study their corresponding static features, which are composed of transportation, commercial facilities, population density, along with other characteristics. Through the heuristic features inferring, the residential density and commercial facilities are the most significant factors affecting public place utilization.


title: Edge and sublayer degrees of freedom for phosphorene nanoribbons with twofold-degenerate edge bands via electric field

abstract: For the pristine phosphorene nanoribbons (PNRs) with edge states, there exist two categories of edge bands near the Fermi energy (EF), i.e., the shuttle-shaped twofold-degenerate and the near-flat simple degenerate edge bands. However, the usual experimental measurement may not distinguish the difference between the two categories of edge bands. Here we study the varying rule for the edge bands of PNRs under an external electrostatic field. By using the KWANT code based on the tight-binding approach, we find that the twofold-degenerate edge bands can be divided into two separated shuttles until the degeneracy is completely removed and a gap near EFis opened under a sufficiently strong in-plane electric field. Importantly, each shuttle from the ribbon upper or lower edge outmost atoms is identified according to the local density of states. However, under a small off-plane field the shuttle-shaped bands are easily induced into two near-flat bands contributed from the edge atoms of the top and bottom sublayers, respectively. The evidence provides the edge and sublayer degrees of freedom (DOF) for the PNRs with shuttle-shaped edge bands, of which is obviously different from another category PNRs intrinsically with near-flat edge bands. This is because that the former category of ribbons solely have four zigzag-like atomic configurations at the edges in each unit cell, which also results in that the property is robust against the point defect in the ribbon center area. As an application, furthermore, based on this issue we propose a homogenous junction of a shuttle-edge-band PNR attached by two electric gates. Interestingly, the transport property of the junction with field manipulation well reflects the characteristics of the two DOFs. These findings may provide a further understanding on PNRs and initiate new developments in PNR-based electronics.


title: Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains

abstract: This paper proposes a computer-assisted solution existence verification method for the stationary Navier-Stokes equation over general 3D domains. The proposed method verifies that the exact solution as the fixed point of the Newton iteration exists around the approximate solution through rigorous computation and error estimation. The explicit values of quantities required by applying the fixed point theorem are obtained by utilizing newly developed quantitative error estimation for finite element solutions to boundary value problems and eigenvalue problems of the Stokes equation.


title: A fully discrete low-regularity integrator for the 1D periodic cubic nonlinear Schr\"odinger equation

abstract: A fully discrete and fully explicit low-regularity integrator is constructed for the one-dimensional periodic cubic nonlinear Schr\"odinger equation. The method can be implemented by using fast Fourier transform with $O(N\ln N)$ operations at every time level, and is proved to have an $L^2$-norm error bound of $O(\tau\sqrt{\ln(1/\tau)}+N^{-1})$ for $H^1$ initial data, without requiring any CFL condition, where $\tau$ and $N$ denote the temporal stepsize and the degree of freedoms in the spatial discretisation, respectively.


title: Influence of {\alpha}-particles irradiation on the performance and defect levels structure of Al/SiO2/p-type Si surface barrier detector

abstract: Deterioration of the operation parameters of Al/SiO2/p-type Si surface barrier detector upon irradiation with alpha-particles at room temperature was investigated. As a result of 40-days irradiation with a total fluence of 8*10^9 {\alpha}-particles, an increase of {\alpha}-peak FWHM from 70 keV to 100 keV was observed and explained by increase of the detector reverse current due to formation of a high concentration of near mid-gap defect levels. Performed CV measurements revealed the appearance of at least 6*10^12 cm-3 radiation-induced acceptors at the depths where according to the TRIM simulations the highest concentration of vacancy-interstitial pairs was created by the incoming {\alpha}-particles. The studies carried out by current-DLTS technique allowed to associate the observed increase of the acceptor concentration with the near mid-gap acceptor level at EV+0.56 eV. This level can be apparently associated with V2O defects recognized previously to be responsible for the space charge sign inversion in the irradiated n-type Si detectors.


title: An Exploratory Study on the Introduction and Removal of Different Types of Technical Debt

abstract: To complete tasks faster, developers often have to sacrifice the quality of the software. Such compromised practice results in the increasing burden to developers in future development. The metaphor, technical debt, describes such practice. Prior research has illustrated the negative impact of technical debt, and many researchers investigated how developers deal with a certain type of technical debt. However, few studies focused on the removal of different types of technical debt in practice. To fill this gap, we use the introduction and removal of different types of self-admitted technical debt (i.e., SATD) in 7 deep learning frameworks as an example. This is because deep learning frameworks are some of the most important software systems today due to their prevalent use in life-impacting deep learning applications. Moreover, the field of the development of different deep learning frameworks is the same, which enables us to find common behaviors on the removal of different types of technical debt across projects. By mining the file history of these frameworks, we find that design debt is introduced the most along the development process. As for the removal of technical debt, we find that requirement debt is removed the most, and design debt is removed the fastest. Most of test debt, design debt, and requirement debt are removed by the developers who introduced them. Based on the introduction and removal of different types of technical debt, we discuss the evolution of the frequencies of different types of technical debt to depict the unresolved sub-optimal trade-offs or decisions that are confronted by developers along the development process. We also discuss the removal patterns of different types of technical debt, highlight future research directions, and provide recommendations for practitioners.


title: Precision measurements of differential cross sections and analyzing powers in elastic deuteron-deuteron scattering at 65 MeV/nucleon

abstract: We present measurements of differential cross sections and analyzing powers for the elastic 2H(~d; d)d scattering process. The data were obtained using a 130 MeV polarized deuteron beam. Cross sections and spin observables of the elastic scattering process were measured at the AGOR facility at KVI using two independent setups, namely BINA and BBS. The data harvest at setups are in excellent agreement with each other and allowed us to carry out a thorough systematic analysis to provide the most accurate data in elastic deuteron-deuteron scattering at intermediate energies. The results can be used to confront upcoming state-of-the-art calculations in the four-nucleon scattering domain, and will, thereby, provide further insights in the dynamics of three- and four-nucleon forces in few-nucleon systems.


title: Role of Polycyclic Aromatic Hydrocarbons on the Cosmic-Ray ionization rate in the Galaxy

abstract: The cosmic-ray ionization rate ($\zeta$, s$^{-1}$) plays an important role in the interstellar medium. It controls ion-molecular chemistry and provides a source of heating. Here we perform a grid of calculations using the spectral synthesis code CLOUDY along nine sightlines towards, HD 169454, HD 110432, HD 204827, $\lambda$ Cep, X Per, HD 73882, HD 154368, Cyg OB2 5, Cyg OB2 12. The value of $\zeta$ is determined by matching the observed column densities of H$_3^+$ and H$_2$. The presence of polycyclic aromatic hydrocarbons (PAHs) affects the free electron density, which changes the H$_3^+$ density and the derived ionization rate. PAHs are ubiquitous in the Galaxy, but there are also regions where PAHs do not exist. Hence, we consider clouds with a range of PAH abundances and show their effects on the H$_3^+$ abundance. We predict an average cosmic-ray ionization rate for H$_2$ ($\zeta$(H$_2$))= (7.88 $\pm$ 2.89) $\times$ 10$^{-16}$ s$^{-1}$ for models with average Galactic PAHs abundances, (PAH/H =10$^{-6.52}$), except Cyg OB2 5 and Cyg OB2 12. The value of $\zeta$ is nearly 1 dex smaller for sightlines toward Cyg OB2 12. We estimate the average value of $\zeta$(H$_2$)= (95.69 $\pm$ 46.56) $\times$ 10$^{-16}$ s$^{-1}$ for models without PAHs.


title: A Fault Tolerant Mechanism for Partitioning and Offloading Framework in Pervasive Environments

abstract: Application partitioning and code offloading are being researched extensively during the past few years. Several frameworks for code offloading have been proposed. However, fewer works attempted to address issues occurred with its implementation in pervasive environments such as frequent network disconnection due to high mobility of users. Thus, in this paper, we proposed a fault tolerant algorithm that helps in consolidating the efficiency and robustness of application partitioning and offloading frameworks. To permit the usage of different fault tolerant policies such as replication and checkpointing, the devices are grouped into high and low reliability clusters. Experimental results shown that the fault tolerant algorithm can easily adapt to different execution conditions while incurring minimum overhead.


title: Two dynamical systems in the space of triangles

abstract: Let $M$ be the space of triangles, defined up to shifts, rotations and dilations. We define two maps $f:M\to M$ and $g:M\to M$. The map $f$ corresponds to a triangle of perimeter $\pi$ the triangle with angles numerically equal to edges of the initial triangle. The map $g$ corresponds to a triangle of perimeter $2\pi$ the triangle with \emph{exterior} angles numerically equal to edges of the initial triangle. For $p\in M$ the sequence $\{p,f(p),f(f(p)),\ldots\}$ converges to the equilateral triangle and the sequence $\{p,g(p),g(g(p)),\ldots\}$ converges to the "degenerate triangle" with angles $(0,0,\pi)$. In Supplement an analogous problem about inscribed-circumscribed quadrangles is discussed.


title: Optimizing Biomanufacturing Harvesting Decisions under Limited Historical Data

abstract: In biopharmaceutical manufacturing, fermentation processes play a critical role in productivity and profit. A fermentation process uses living cells with complex biological mechanisms, and this leads to high variability in the process outputs, namely, the protein and impurity levels. By building on the biological mechanisms of protein and impurity growth, we introduce a stochastic model to characterize the accumulation of the protein and impurity levels in the fermentation process. However, a common challenge in the industry is the availability of only a very limited amount of data, especially in the development and early stage of production. This adds an additional layer of uncertainty, referred to as model risk, due to the difficulty of estimating the model parameters with limited data. In this paper, we study the harvesting decision for a fermentation process under model risk (i.e., when to stop the fermentation and collect the production reward). We adopt a Bayesian approach to update the unknown parameters of the growth-rate distributions, and use the resulting posterior distributions to characterize the impact of model risk on fermentation output variability. The harvesting problem is formulated as a Markov decision process model with knowledge states that summarize the posterior distributions and hence incorporate the model risk in decision-making. The resulting model is solved by using a reinforcement learning algorithm based on Bayesian sparse sampling. We provide analytical results on the structure of the optimal policy and its objective function, and explicitly study the impact of model risk on harvesting decisions. Our case studies at MSD Animal Health demonstrate that the proposed model and solution approach improve the harvesting decisions in real life by achieving substantially higher average output from a fermentation batch along with lower batch-to-batch variability.


title: Reachability Analysis for Attributes in ABAC with Group Hierarchy

abstract: Attribute-based access control (ABAC) models are widely used to provide fine-grained and adaptable authorization based on the attributes of users, resources, and other relevant entities. Hierarchial group and attribute based access control (HGABAC) model was recently proposed which introduces the novel notion of attribute inheritance through group membership. GURAG was subsequently proposed to provide an administrative model for user attributes in HGABAC, building upon the ARBAC97 and GURA administrative models. The GURA model uses administrative roles to manage user attributes. The reachability problem for the GURA model is to determine what attributes a particular user can acquire, given a predefined set of administrative rules. This problem has been previously analyzed in the literature. In this paper, we study the user attribute reachability problem based on directly assigned attributes of the user and attributes inherited via group memberships. We first define a restricted form of GURAG, called rGURAG scheme, as a state transition system with multiple instances having different preconditions and provide reachability analysis for each of these schemes. In general, we show PSPACE-complete complexity for all rGURAG schemes. We further present polynomial time algorithms to solve special instances of rGURAG schemes under restricted conditions.


title: Improving Multi-hop Knowledge Base Question Answering by Learning Intermediate Supervision Signals

abstract: Multi-hop Knowledge Base Question Answering (KBQA) aims to find the answer entities that are multiple hops away in the Knowledge Base (KB) from the entities in the question. A major challenge is the lack of supervision signals at intermediate steps. Therefore, multi-hop KBQA algorithms can only receive the feedback from the final answer, which makes the learning unstable or ineffective. To address this challenge, we propose a novel teacher-student approach for the multi-hop KBQA task. In our approach, the student network aims to find the correct answer to the query, while the teacher network tries to learn intermediate supervision signals for improving the reasoning capacity of the student network. The major novelty lies in the design of the teacher network, where we utilize both forward and backward reasoning to enhance the learning of intermediate entity distributions. By considering bidirectional reasoning, the teacher network can produce more reliable intermediate supervision signals, which can alleviate the issue of spurious reasoning. Extensive experiments on three benchmark datasets have demonstrated the effectiveness of our approach on the KBQA task. The code to reproduce our analysis is available at https://github.com/RichardHGL/WSDM2021_NSM.


title: Arbitrary cylindrical vector beam generation enabled by polarization-selective Gouy phase shifter

abstract: Cylindrical vector beams (CVBs), which possesses polarization distribution of rotational symmetry on the transverse plane, can be developed in many optical technologies. Conventional methods to generate CVBs contain redundant interferometers or need to switch among diverse elements, thus being inconvenient in applications containing multiple CVBs. Here we provide a passive polarization-selective device to substitute interferometers and simplify generation setup. It is accomplished by reversing topological charges of orbital angular momentum based on polarization-selective Gouy phase. In the process, tunable input light is the only condition to generate CVB with arbitrary topological charges. To cover both azimuthal and radial parameters of CVBs, we express the mapping between scalar Laguerre-Gaussian light on basic Poincar\'e sphere and CVB on high-order Poincar\'e sphere. The proposed device simplifies the generation of CVBs enormously, and thus has potentials in integrated devices for both quantum and classic optical experiments.

categories: physics.optics physics.app-ph physics.ins-det quant-ph


title: Solvability of a Regular Polynomial Vector Optimization Problem without Convexity

abstract: In this paper we consider the solvability of a non-convex regular polynomial vector optimization problem on a nonempty closed set. We introduce regularity conditions for the polynomial vector optimization problem and study properties and characterizations of the regularity conditions. Under the regularity conditions, we study nonemptiness and boundedness of the solution sets of the problem. As a consequence, we establish two Frank-Wolfe type theorems for the non-convex polynomial vector optimization problem. Finally, we investigate the solution stability of the non-convex regular polynomial vector optimization problem.


title: Comparing early dark energy and extra radiation solutions to the Hubble tension with BBN

abstract: The shorten sound horizon scale at the recombination epoch by introducing extra energy components such as the extra radiation or early dark energy (EDE) is a simple approach to so-called the Hubble tension. We compare EDE models, an extra radiation model and an EDE and extra radiation co-existing model with paying attention to the fit to big bang nucleosynthesis (BBN). We find that a fit to BBN in EDE models also is somewhat poorer than that in the $\Lambda$CDM model, because the increased inferred baryon asymmetry leads to smaller deuterium abundance. We find that an extra radiation-EDE co-existing model indicates the largest present Hubble parameter $H_0$ between models studied. We also the examine data sets dependence, whether we include BBN or not. The difference in an extra radiation model is $3.22 < N_\mathrm{eff} < 3.49 \,(68 \%)$ for data sets without BBN and $3.16 < N_\mathrm{eff} < 3.40 \,(68 \%)$ for data sets with BBN, and is so large that the $1\sigma$ border of the larger side becomes the $2\sigma$ border.


title: Magnetotransport in overdoped La$_{2-x}$Sr$_x$CuO$_4$: a Fermi liquid approach

abstract: Recently, several experiments on La$_{2-x}$Sr$_x$CuO$_4$ (LSCO) challenged the Fermi liquid picture for overdoped cuprates, and stimulated intensive debates [1]. In this work, we study the magnetotransport phenomena in such systems based on the Fermi liquid assumption. The Hall coefficient $R_H$ and magnetoresistivity $\rho_{xx}$ are investigated near the van Hove singularity $x_{\tiny\text{VHS}}\approx0.2$ across which the Fermi surface topology changes from hole- to electron-like. Our main findings are: (1) $R_H$ depends on the magnetic field $B$ and drops from positive to negative values with increasing $B$ in the doping regime $x_{\tiny\text{VHS}}<x\lesssim0.3$; (2) $\rho_{xx}$ grows up as $B^2$ at small $B$ and saturates at large $B$, while in the transition regime a "nearly linear" behavior shows up. Our results can be further tested by future magnetotransport experiments in the overdoped LSCO.


title: Hierarchical Clustering using Auto-encoded Compact Representation for Time-series Analysis

abstract: Getting a robust time-series clustering with best choice of distance measure and appropriate representation is always a challenge. We propose a novel mechanism to identify the clusters combining learned compact representation of time-series, Auto Encoded Compact Sequence (AECS) and hierarchical clustering approach. Proposed algorithm aims to address the large computing time issue of hierarchical clustering as learned latent representation AECS has a length much less than the original length of time-series and at the same time want to enhance its performance.Our algorithm exploits Recurrent Neural Network (RNN) based under complete Sequence to Sequence(seq2seq) autoencoder and agglomerative hierarchical clustering with a choice of best distance measure to recommend the best clustering. Our scheme selects the best distance measure and corresponding clustering for both univariate and multivariate time-series. We have experimented with real-world time-series from UCR and UCI archive taken from diverse application domains like health, smart-city, manufacturing etc. Experimental results show that proposed method not only produce close to benchmark results but also in some cases outperform the benchmark.


title: Estimating the age-metallicity distribution of a stellar sample from the probability distributions of the individual stars

abstract: Estimating age distributions, or star formation histories, of stellar populations in the Milky Way is important in order to study the evolution of trends in elemental abundances and kinematics. We build on previous work to develop an algorithm for estimating the age-metallicity distribution which uses the full age-metallicity probability density functions (PDFs) of individual stars. No assumptions are made about the shape of the underlying distribution, and the only free parameter of the algorithm is used to ensure a smooth solution. In this work we use individual age-metallicity PDFs from isochrone fitting of stars with known metallicities. The method is tested with synthetic samples and is found to recover the input age-metallicity distribution more accurately than the distribution of individually estimated ages and metallicities. The recovered sample age distribution is always more accurate than the distribution of individual ages, also when restricted to the most precise individual ages. By applying the method to the stars in the Geneva-Copenhagen survey, we detect a possible minimum in the star formation history of the Solar neighbourhood at an age of 10 Gyr which is not seen in the distribution of individual ages. Although we apply the method only to age-metallicity distributions, the algorithm is described more generally and can in principle be applied in other parameter spaces. It is also not restricted to individual parameter distributions from isochrone fitting, meaning that a sample age distribution can be estimated based on individual age PDFs from other methods such as asteroseismology or gyrochronology.


title: Bose Einstein condensation and ferromagnetism of low density Bose gas of particles with arbitrary spin

abstract: Properties of the ground state and the spectrum of elementary excitations are investigated for the low density ultracold spinor 3D Bose gas of particles with arbitrary nonzero spin. Gross-Pitaevskii equations are derived. Within the framework of the considering interaction Hamiltonian it is shown that the ground state spin structure and spin part of the chemical potential is determined by the renormalized interaction, being defined by the contribution of the virtual large momenta. The ferromagnetic structure of the ground state, and the equation of the phase, density, and spin dynamics are obtained from Gross-Pitaevskii equations.


title: On different reliability standards in current mathematical research

abstract: In this note I describe reliability standards for writing and reviewing mathematical papers; these standards are (in my opinion) vital for the progress of mathematics. I give examples of applying the described or other reliability standards.


title: Bounds on GUP parameters from GW150914 and GW190521

abstract: We compute bounds on the GUP parameters for two versions of GUP using gravitational wave data from the events GW150914 and GW190521. The speed of the graviton and photon are calculated in a curved spacetime modified by GUP, assuming that these particles have a small mass. The observational bound on the difference in their speeds translates to bounds on the GUP parameters. These bounds are some of the best obtained so far in the context of quantum gravity phenomenology.


title: Cognitive Visual Inspection Service for LCD Manufacturing Industry

abstract: With the rapid growth of display devices, quality inspection via machine vision technology has become increasingly important for flat-panel displays (FPD) industry. This paper discloses a novel visual inspection system for liquid crystal display (LCD), which is currently a dominant type in the FPD industry. The system is based on two cornerstones: robust/high-performance defect recognition model and cognitive visual inspection service architecture. A hybrid application of conventional computer vision technique and the latest deep convolutional neural network (DCNN) leads to an integrated defect detection, classfication and impact evaluation model that can be economically trained with only image-level class annotations to achieve a high inspection accuracy. In addition, the properly trained model is robust to the variation of the image qulity, significantly alleviating the dependency between the model prediction performance and the image aquisition environment. This in turn justifies the decoupling of the defect recognition functions from the front-end device to the back-end serivce, motivating the design and realization of the cognitive visual inspection service architecture. Empirical case study is performed on a large-scale real-world LCD dataset from a manufacturing line with different layers and products, which shows the promising utility of our system, which has been deployed in a real-world LCD manufacturing line from a major player in the world.


title: Period Rings with Big Coefficients and Application II

abstract: We continue our study on the corresponding noncommutative deformation of the relative $p$-adic Hodge structures of Kedlaya-Liu along our previous work. In this paper, we are going to initiate the study of the corresponding descent of pseudocoherent modules carrying large noncommutative coefficients. And also we are going to more systematically study the corresponding noncommutative geometric aspects of noncommutative deformation of Hodge structures, which will definitely also provide the insights not only for noncommutative Iwasawa theory but also for noncommutative analytic geometry. The noncommutative Hodge-Iwasawa theory is now improved along some very well-defined direction (we will expect many well-targeted applications to noncommutative Tamagawa number conjectures from the modern perspectives of Burns-Flach-Fukaya-Kato), while the corresponding Kedlaya-Liu glueing of pseudocoherent Banach modules with certain stability is also generalized to the large noncommutative coefficient case.


title: Deep Learning-based Face Super-Resolution: A Survey

abstract: Face super-resolution (FSR), also known as face hallucination, which is aimed at enhancing the resolution of low-resolution (LR) face images to generate high-resolution (HR) face images, is a domain-specific image super-resolution problem. Recently, FSR has received considerable attention and witnessed dazzling advances with the development of deep learning techniques. To date, few summaries of the studies on the deep learning-based FSR are available. In this survey, we present a comprehensive review of deep learning-based FSR methods in a systematic manner. First, we summarize the problem formulation of FSR and introduce popular assessment metrics and loss functions. Second, we elaborate on the facial characteristics and popular datasets used in FSR. Third, we roughly categorize existing methods according to the utilization of facial characteristics. In each category, we start with a general description of design principles, then present an overview of representative approaches, and then discuss the pros and cons among them. Fourth, we evaluate the performance of some state-of-the-art methods. Fifth, joint FSR and other tasks, and FSR-related applications are roughly introduced. Finally, we envision the prospects of further technological advancement in this field. A curated list of papers and resources to face super-resolution are available at \url{https://github.com/junjun-jiang/Face-Hallucination-Benchmark}


abstract: The nonlinear dynamo effect of tearing modes is derived with the resistive MHD equations. The dynamo effect is divided into two parts, parallel and perpendicular to the magnetic field. Firstly, the force-free plasma is considered. It is found that the parallel dynamo effect drives opposite current densities at the different sides of the rational surface, making the $\lambda =\boldsymbol{j}\cdot\boldsymbol{B}/|\boldsymbol{B}|^2$ profile completely flattened near the rational surface. There are many rational surfaces for the turbulent plasma, which means the plasma is tending to relax into the Taylor state. In contrast, a bit far from the rational surface, the parallel dynamo effect is much smaller, and the nonlinear dynamo form approximates the quasilinear form. Secondly, the pressure gradient is included. It is found that rather than the $\lambda$ profile, the $\boldsymbol{j}\cdot\boldsymbol{B}$ profile is flattened by the parallel dynamo effect. Besides, the perpendicular dynamo effect of tearing modes is found to eliminate the pressure gradient near the rational surface. In addition, our result also provides another basis for the assumption that current density is flat in the magnetic island for the tearing modes theory.


title: Sur le spectre des op\'erateurs rigides

abstract: A bounded operator $u$ on $X$ is called rigid when there is an increasing sequence of positive integers $(n_k)_{k\geq 1}$, such that for every $x$ in $X$ we have $\lim_{k \rightarrow +\infty} u^{n_k} x = x$. For any $r$ in $[0,1]$, we construct a rigid bounded operator of $l^2$ the spectrum of which is $\{\lambda \in \mathbb C: r \leq | \lambda | \leq 1\}$. For $0 < r < 1$, it gives the first examples of rigid bounded invertible operators, such that their inverse is not rigid.


title: On the multiplicity of $A{\alpha}$-eigenvalues and the rank of complex unit gain graphs

abstract: Let $ \Phi=(G, \varphi) $ be a connected complex unit gain graph ($ \mathbb{T} $-gain graph) on a simple graph $ G $ with $ n $ vertices and maximum vertex degree $ \Delta $. The associated adjacency matrix and degree matrix are denoted by $ A(\Phi) $ and $ D(\Phi) $, respectively. Let $ m_{\alpha}(\Phi,\lambda) $ be the multiplicity of $ \lambda $ as an eigenvalue of $ A_{\alpha}(\Phi) :=\alpha D(\Phi)+(1-\alpha)A(\Phi)$, for $ \alpha\in[0,1) $. In this article, we establish that $ m_{\alpha}(\Phi, \lambda)\leq \frac{(\Delta-2)n+2}{\Delta-1}$, and characterize the classes of graphs for which the equality hold. Furthermore, we establish a couple of bounds for the rank of $A(\Phi)$ in terms of the maximum vertex degree and the number of vertices. One of the main results extends a result known for unweighted graphs and simplifies the proof in [15], and other results provide better bounds for $r(\Phi)$ than the bounds known in [8].


title: Integral-Einstein hypersurfaces in spheres

abstract: Combining the intrinsic and extrinsic geometry, we generalize Einstein manifolds to Integral-Einstein (IE) submanifolds. A Takahashi-type theorem is established to characterize minimal hypersurfaces with constant scalar curvature (CSC) in unit spheres which are conjectured to be isoparametric in the Chern conjecture. For these hypersurfaces, we obtain some integral inequalities with the bounds characterizing exactly the totally geodesic hypersphere, the non-IE minimal Clifford torus $S^{1}(\sqrt{\frac{1}{n}})\times S^{n-1}(\sqrt{\frac{n-1}{n}})$ and the IE minimal CSC hypersurfaces. Moreover, if further the third mean curvature is constant, then it is an IE hypersurface or an isoparametric hypersurface with $g\leq2$ principal curvatures. In particular, all minimal isoparametric hypersurfaces with $g\geq3$ principal curvatures are IE hypersurfaces. As applications, we obtain some spherical Bernstein theorems, including that any embedded closed minimal surface of genus no more than $\mathfrak{g}$ inside a tubular neighborhood of constant radius $r(\mathfrak{g})>0$ around an equator in $\mathbb{S}^3$ is an equator.


title: Self-induced glassy phase in multimodal cavity quantum electrodynamics

abstract: We provide strong evidence that the effective spin-spin interaction in a multimodal confocal optical cavity gives rise to a self-induced glassy phase, which emerges exclusively from the peculiar euclidean correlations and is not related to the presence of disorder as in standard spin glasses. As recently shown, this spin-spin effective interaction is both non-local and non-translational invariant, and randomness in the atoms positions produces a spin glass phase. Here we consider the simplest feasible disorder-free setting where atoms form a one-dimensional regular chain and we study the thermodynamics of the resulting effective Ising model. We present extensive results showing that the system has a low-temperature glassy phase. Notably, for rational values of the only free adimensional parameter $\alpha=p/q$ of the interaction, the number of metastable states at low temperature grows exponentially with $q$ and the problem of finding the ground state rapidly becomes computationally intractable, suggesting that the system develops high energy barriers and ergodicity breaking occurs.


title: Scaling-invariant functions versus positively homogeneous functions

abstract: Scaling-invariant functions preserve the order of points when the points are scaled by the same positive scalar (with respect to a unique reference point). Composites of strictly monotonic functions with positively homogeneous functions are scaling-invariant with respect to zero. We prove in this paper that the reverse is true for large classes of scaling-invariant functions. Specifically, we give necessary and sufficient conditions for scaling-invariant functions to be composites of a strictly monotonic function with a positively homogeneous function. We also study sublevel sets of scaling-invariant functions generalizing well-known properties of positively homogeneous functions.


title: Damped (linear) response theory within the resolution-of-identity coupled cluster singles and approximate doubles (RI-CC2) method

abstract: An implementation of a complex solver for the solution of the response equations required to compute the complex response functions of damped response theory is presented for the resolution-of-identity (RI) coupled-cluster singles and approximate doubles CC2 method. The implementation uses a partitioned formulation that avoids the storage of double excitation amplitudes to make it applicable to large molecules. The solver is the keystone element for the development of the damped coupled-cluster response formalism for linear and nonlinear effects in resonant frequency regions at the RI-CC2 level of theory. Illustrative results are reported for the one-photon absorption cross section of C60, the electronic circular dichroism of $n$-helicenes ($n$ = 5, 6, 7), and the $C_6$ dispersion coefficients of a set of selected organic molecules and fullerenes.


title: VaccinItaly: monitoring Italian conversations around vaccines on Twitter and Facebook

abstract: We present VaccinItaly, a project which monitors Italian online conversations around vaccines, on Twitter and Facebook. We describe the ongoing data collection, which follows the SARS-CoV-2 vaccination campaign roll-out in Italy and we provide public access to the data collected. We show results from a preliminary analysis of the spread of low- and high-credibility news shared alongside vaccine-related conversations on both social media platforms. We also investigate the content of most popular YouTube videos and encounter several cases of harmful and misleading content about vaccines. Finally, we geolocate Twitter users who discuss vaccines and correlate their activity with open data statistics on vaccine uptake. We make up-to-date results available to the public through an interactive online dashboard associated with the project. The goal of our project is to gain further understanding of the interplay between the public discourse on online social media and the dynamics of vaccine uptake in the real world.


title: Canonical Analysis of Non-Relativistic String with Non-Relativistic World-Sheet

abstract: We perform canonical analysis of non-relativistic string theory with non-relativistic world-sheet gravity. We determine structure of constraints and symplectic structure of canonical variables.


title: A $C^{0,1}$-functional It\^o's formula and its applications in mathematical finance

abstract: Using Dupire's notion of vertical derivative, we provide a functional (path-dependent) extension of the It\^o's formula of Gozzi and Russo (2006) that applies to C^{0,1}-functions of continuous weak Dirichlet processes. It is motivated and illustrated by its applications to the hedging or superhedging problems of path-dependent options in mathematical finance, in particular in the case of model uncertainty


title: Legendrian persistence modules and dynamics

abstract: We relate the machinery of persistence modules to the Legendrian contact homology theory and to Poisson bracket invariants, and use it to show the existence of connecting trajectories of contact and symplectic Hamiltonian flows.


title: Kolmogorov's theory of turbulence and its rigorous 1d model

abstract: This paper is a synopsis of the recent book A. Boritchev, S. Kuksin, \textit{One-Dimensional Turbulence and the Stochastic Burgers Equation}, AMS Publications, 2021 (to appear). The book is dedicated to the stochastic Burgers equation as a model for 1d turbulence, and the paper discusses its content in relation to the Kolmogorov theory of turbulence.


title: Glutathione conjugates of the mercapturic acid pathway and guanine adduct as biomarkers of exposure to CEES, a sulfur mustard analog

abstract: Sulfur mustard (SM), a chemical warfare agent, is a strong alkylating compound that readily reacts with numerous biomolecules. The goal of the present work was to define and validate new biomarkers of exposure to SM that could be easily accessible in urine or plasma. Because investigations using SM are prohibited by the Organization for the Prohibition of Chemical Weapons, we worked with 2-chloroethyl ethyl sulfide (CEES), a monofunctional analog of SM. We developed an ultra-high-pressure liquid chromatography - tandem mass spectrometry approach (UHPLC-MS/MS) to the conjugate of CEES to glutathione and two of its metabolites, the cysteine and the N-acetyl-cysteine conjugates. The N7-guanine adduct of CEES (N7Gua-CEES) was also targeted. After synthesizing the specific biomarkers, a solid phase extraction protocol and a UHPLC-MS/MS method with isotopic dilution were optimized. We were able to quantify N7Gua-CEES in the DNA of HaCaT keratinocytes and of explants of human skin exposed to CEES. N7Gua-CEES was also detected in the culture medium of these two models, together with the glutathione and the cysteine conjugates. In contrast, the N-acetyl-cysteine conjugate was not detected. The method was then applied to plasma from mice cutaneously exposed to CEES. All four markers could be detected. Our present results thus validate both the analytical technique and the biological relevance of new, easily quantifiable biomarkers of exposure to CEES. Because CEES behaves very similarly to SM, the results are promising for application to this toxic of interest.


title: An Extrapolated Iteratively Reweighted l1 Method with Complexity Analysis

abstract: The iteratively reweighted l1 algorithm is a widely used method for solving various regularization problems, which generally minimize a differentiable loss function combined with a nonconvex regularizer to induce sparsity in the solution. However, the convergence and the complexity of iteratively reweighted l1 algorithms is generally difficult to analyze, especially for non-Lipschitz differentiable regularizers such as nonconvex lp norm regularization. In this paper, we propose, analyze and test a reweighted l1 algorithm combined with the extrapolation technique under the assumption of Kurdyka-Lojasiewicz (KL) property on the objective. Unlike existing iteratively reweighted l1 algorithms with extrapolation, our method does not require the Lipschitz differentiability on the regularizers nor the smoothing parameters in the weights bounded away from zero. We show the proposed algorithm converges uniquely to a stationary point of the regularization problem and has local linear complexity--a much stronger result than existing ones. Our numerical experiments show the efficiency of our proposed method.


title: Noncommutative $H^p$ spaces associated with type 1 subdiagonal algebras

abstract: Let $\mathfrak A$ be a type 1 subdiagonal algebra in a $\sigma$-finite von Neumann algebra $\mathcal M$ with respect to a faithful normal conditional expectation $\Phi$. We consider a Riesz type factorization theorem in noncommutative $H^p$ spaces associated with $\mathfrak A$. It is shown that if $1\leq r,p,q<\infty$ such that $\frac1r=\frac1p+\frac1q$, then for any $h\in H^r$, there exist $h_p\in H^p$ and $h_q\in H^q$ such that $h=h_ph_q$. Beurling type invariant subspace theorem for noncommutative $L^p(1< p<\infty)$ space is obtained. Furthermore, we show that a $\sigma$-weakly closed subalgebra containing $\mathfrak A$ of $\mathcal M$ is also a type 1 subdiagonal algebra. As an application, We prove that the relative invariant subspace lattice $Lat_{\mathcal M}\mathfrak A$ of $\mathfrak A$ in $\mathcal M$ is commutative.


title: A Bayesian level set method for an inverse medium scattering problem in acoustics

abstract: In this work, we are interested in the determination of the shape of the scatterer for the two dimensional time harmonic inverse medium scattering problems in acoustics. The scatterer is assumed to be a piecewise constant function with a known value inside inhomogeneities, and its shape is represented by the level set functions for which we investigate the information using the Bayesian method. In the Bayesian framework, the solution of the geometric inverse problem is defined as a posterior probability distribution. The well-posedness of the posterior distribution would be discussed, and the Markov chain Monte Carlo (MCMC) methods will be applied to generate samples from the arising posterior distribution. Numerical experiments will be presented to demonstrate the effectiveness of the proposed method.


title: Error mitigation in quantum metrology via zero noise extrapolation

abstract: We consider Zero Noise Extrapolation (ZNE) as an error mitigation strategy in quantum metrology. It is shown that noise expansion can be systematically performed over sufficiently short time scales for general Markovian noise models described by the time homogeneous Lindblad master equation. This suggests that ZNE can be an effective, resource efficient error mitigation alternative when strategies employing full quantum error correcting codes are unavailable. The ZNE method is then applied quantum phase estimation in a Mach-Zehnder interferometer subject to photon losses. Numerical simulations show a significant recovery of measurement sensitivity by employing first order ZNE corrections, which can be further improved upon using higher order corrections at the cost of additional measurements.


title: Iron Mobility During Diagenesis at Vera Rubin Ridge, Gale Crater, Mars

abstract: The Curiosity rover investigated a topographic structure known as Vera Rubin ridge, associated with a hematite signature in orbital spectra. There, Curiosity encountered mudstones interpreted as lacustrine deposits, in continuity with the 300 m-thick underlying sedimentary rocks of the Murray formation at the base of Mount Sharp. While the presence of hematite ($\alpha$-Fe2O3) was confirmed insitu by both Mastcam and ChemCam spectral observations and by the CheMin instrument, neither ChemCam nor APXS observed any significant increase in FeO$_T$ (total iron oxide) abundances compared to the Murray formation. Instead, Curiosity discovered dark-toned diagenetic features displaying anomalously high FeO$_T$ abundances, commonly observed in association with light-toned Ca-sulfate veins but also as crystal pseudomorphs in the host rock. These iron-rich diagenetic features are predominantly observed in "grey" outcrops on the upper part of the ridge, which lack the telltale ferric signature of other Vera Rubin ridge outcrops. Their composition is consistent with anhydrous Fe-oxide, as the enrichment in iron is not associated with enrichment in any other elements, nor with detections of volatiles. The lack of ferric absorption features in the ChemCam reflectance spectra and the hexagonal crystalline structure associated with dark-toned crystals points toward coarse "grey" hematite. In addition, the host rock adjacent to these features appears bleached and show low-FeO$_T$ content as well as depletion in Mn, indicating mobilization of these redox-sensitive elements during diagenesis. Thus, groundwater fluid circulations could account for the remobilization of iron and recrystallization as crystalline hematite during diagenesis as well as color variations observed in the Vera Rubin ridge outcrops.


title: Population of Bright Plume Threads in Solar Polar Coronal Holes

abstract: Coronal holes are well accepted to be source regions of the fast solar wind. As one of the common structures in coronal holes, coronal plumes might contribute to the origin of the nascent solar wind. To estimate the contribution of coronal plumes to the nascent solar wind, we make the first attempt to estimate their populations in solar polar coronal holes. By comparing the observations viewed from two different angles taken by the twin satellites of STEREO and the results of Monte Carlo simulations, we estimate about 16--27 plumes rooted in an area of $4\times10^4$ arcsec$^2$ of the polar coronal holes near the solar minimum, which occupy about 2--3.4% of the area. Based on these values, the contribution of coronal plumes to the nascent solar wind has also been discussed. A further investigation indicates that more precise number of coronal plumes can be worked out with observations from three or more viewing angles.


title: A Review of Evaluation Practices of Gesture Generation in Embodied Conversational Agents

abstract: Embodied conversational agents (ECA) are often designed to produce nonverbal behavior to complement or enhance their verbal communication. One such form of nonverbal behavior is co-speech gesturing, which involves movements that the agent makes with its arms and hands that are paired with verbal communication. Co-speech gestures for ECAs can be created using different generation methods, divided into rule-based and data-driven processes, with the latter gaining traction because of the increasing interest from the applied machine learning community. However, reports on gesture generation methods use a variety of evaluation measures, which hinders comparison. To address this, we present a systematic review on co-speech gesture generation methods for iconic, metaphoric, deictic, and beat gestures, including reported evaluation methods. We review 22 studies that have an ECA with a human-like upper body that uses co-speech gesturing in social human-agent interaction. This includes studies that use human participants to evaluate performance. We found most studies use a within-subject design and rely on a form of subjective evaluation, but without a systematic approach. We argue that the field requires more rigorous and uniform tools for co-speech gesture evaluation, and formulate recommendations for empirical evaluation, including standardized phrases and example scenarios to help systematically test generative models across studies. Furthermore, we also propose a checklist that can be used to report relevant information for the evaluation of generative models, as well as to evaluate co-speech gesture use.


title: Contact topology and non-equilibrium thermodynamics

abstract: We describe a method, based on "hard" contact topology, of showing the existence of semi-infinite trajectories of contact Hamiltonian flows which start on one Legendrian submanifold and asymptotically converge to another Legendrian submanifold. We discuss a mathematical model of non-equilibrium thermodynamics where such trajectories play a role of relaxation processes, and illustrate our results in the case of the Glauber dynamics for the mean field Ising model.


title: Investigating the Vision Transformer Model for Image Retrieval Tasks

abstract: This paper introduces a plug-and-play descriptor that can be effectively adopted for image retrieval tasks without prior initialization or preparation. The description method utilizes the recently proposed Vision Transformer network while it does not require any training data to adjust parameters. In image retrieval tasks, the use of Handcrafted global and local descriptors has been very successfully replaced, over the last years, by the Convolutional Neural Networks (CNN)-based methods. However, the experimental evaluation conducted in this paper on several benchmarking datasets against 36 state-of-the-art descriptors from the literature demonstrates that a neural network that contains no convolutional layer, such as Vision Transformer, can shape a global descriptor and achieve competitive results. As fine-tuning is not required, the presented methodology's low complexity encourages adoption of the architecture as an image retrieval baseline model, replacing the traditional and well adopted CNN-based approaches and inaugurating a new era in image retrieval approaches.


title: Stabilization and approximate null-controllability for a large class of diffusive equations from thick control supports

abstract: We prove that the thickness property is a necessary and sufficient geometric condition that ensures the (rapid) stabilization or the approximate null-controllability with uniform cost of a large class of evolution equations posed on the whole space $\mathbb R^n$. These equations are associated with operators of the form $F(\vert D_x\vert)$, the function $F:[0,+\infty)\rightarrow\mathbb R$ being continuous and bounded from below. We also provide explicit feedbacks and constants associated with these stabilization properties. The notion of thickness is known to be a necessary and sufficient condition for the null-controllability of the fractional heat equations associated with the functions $F(t) = t^{2s}$ in the case $s>1/2$. Our results apply in particular for this class of equations, but also for the half heat equation associated with the function $F(t) = t$, which is the most diffusive fractional heat equation for which null-controllability is known to fail from general thick control supports.


title: Long-time asymptotic behavior of the nonlocal nonlinear Schr\"odinger equation with initial potential in weighted sobolev space

abstract: In this paper, we are going to investigate Cauchy problem for nonlocal nonlinear Schr\"odinger equation with the initial potential $q_0(x)$ in weighted sobolev space $H^{1,1}(\mathbb{R})$, \begin{align*} iq_t(x,t)&+q_{xx}(x,t)+2\sigma q^2(x,t)\bar q(-x,t)=0,\quad\sigma=\pm1,\\ q(x,0)&=q_0(x). \end{align*} We show that the solution can be represented by the solution of a Riemann-Hilbert problem (RH problem), and assuming no discrete spectrum, we majorly apply $\bar\partial$-steepest cescent descent method on analyzing the long-time asymptotic behavior of it.


title: Topological semimetal and superfluid of s-wave interacting fermionic atoms in an orbital optical lattice

abstract: Recent advanced experimental implementations of optical lattices with highly tunable geometry open up new regimes for quantum many-body states of matter that previously had not been accessible. Here we introduce a symmetry-based method of utilizing the geometry of optical lattice to systematically control topologically non-trivial orbital hybridization. Such an orbital mixing leads to an unexpected and yet robust topological semimetal at single-particle level for a gas of fermionic atoms. When considering s-wave attractive interaction between atoms as for instance tuned by Feshbach resonance, topological superfluid state with high Chern number is unveiled in the presence of on-site rotation. This state supports chiral edge excitations, manifesting its topological nature. An experimental realization scheme is designed, which introduces a systematic way of achieving a new universality class (such as Chern number of 2) of orbital-hybridized topological phases beyond geometrically standard optical lattices.


title: Global weak solutions to the density-dependent Hall-magnetohydrodynamics system

abstract: We are concerned with the global existence of finite energy weak solutions to 3D density-dependent magnetohydrodynamics (MHD) system with Hall-effect set in a general smooth bounded domain. The perfectly conducting wall boundary condition is imposed on the magnetic field. Due to the degeneracy of Hall-effect term (a tri-linear term) in vacuum, we assumed initial density lies in the bounded function space and having a positive lower bound. Particularly, these bounds are preserved by the density transport equation which helps yield a satisfying compactness argument of the magnetic field.


title: Orbital-selective coherence-incoherence crossover and metal-insulator transition in Cu-doped NaFeAs

abstract: We study the effects of electron-electron interactions and hole doping on the electronic structure of Cu-doped NaFeAs using the density functional theory plus dynamical mean-field theory (DFT+DMFT) method. In particular, we employ an effective multi-orbital Hubbard model with a realistic bandstructure of NaFeAs in which Cu-doping was modeled within a rigid band approximation and compute the evolution of the spectral properties, orbital-dependent electronic mass renormalizations, and magnetic properties of NaFeAs upon doping with Cu. In addition, we perform fully charge self-consistent DFT+DMFT calculations for the long-range antiferromagnetically ordered Na(Fe,Cu)As with Cu $x=0.5$ with a real-space ordering of Fe and Cu ions. Our results reveal a crucial importance of strong electron-electron correlations and local potential difference between the Cu and Fe ions for understanding the \textbf{k}-resolved spectra of Na(Fe,Cu)As. Upon Cu-doping, we observe a strong orbital-dependent localization of the Fe $3d$ states accompanied by a large renormalization of the Fe $xy$ and $xz$/$yz$ orbitals. Na(Fe,Cu)As exhibits bad metal behavior associated with a coherence-to-incoherence crossover of the Fe $3d$ electronic states and local moments formation near a Mott metal-insulator transition (MIT). For heavily doped NaFeAs with Cu $x \sim 0.5$ we obtain a Mott insulator with a band gap of $\sim$0.3 eV characterized by divergence of the quasiparticle effective mass of the Fe $xy$ states. In contrast to this, the quasiparticle weights of the Fe $xz$/$yz$ and $e_g$ states remain finite at the MIT. The MIT occurs via an orbital-selective Mott phase to appear at Cu $x\simeq0.375$ with the Fe $xy$ states being Mott localized. We propose the possible importance of Fe/Cu disorder to explain the magnetic properties of Cu-doped NaFeAs.


title: Exact pressure elimination for the Crouzeix-Raviart scheme applied to the Stokes and Navier-Stokes problems

abstract: We show that, using the Crouzeix-Raviart scheme, a cheap algebraic transformation, applied to the coupled velocity-pressure linear systems issued from the transient or steady Stokes or Navier-Stokes problems, leads to a linear system only involving as many auxiliary variables as the velocity components. This linear system, which is symmetric positive definite in the case of the transient Stokes problem and symmetric invertible in the case of the steady Stokes problem, with the same stencil as that of the velocity matrix, provides the exact solution of the initial coupled linear system. Numerical results show the increase of performance when applying direct or iterative solvers to the resolution of these linear systems.


title: Revisiting Mahalanobis Distance for Transformer-Based Out-of-Domain Detection

abstract: Real-life applications, heavily relying on machine learning, such as dialog systems, demand out-of-domain detection methods. Intent classification models should be equipped with a mechanism to distinguish seen intents from unseen ones so that the dialog agent is capable of rejecting the latter and avoiding undesired behavior. However, despite increasing attention paid to the task, the best practices for out-of-domain intent detection have not yet been fully established. This paper conducts a thorough comparison of out-of-domain intent detection methods. We prioritize the methods, not requiring access to out-of-domain data during training, gathering of which is extremely time- and labor-consuming due to lexical and stylistic variation of user utterances. We evaluate multiple contextual encoders and methods, proven to be efficient, on three standard datasets for intent classification, expanded with out-of-domain utterances. Our main findings show that fine-tuning Transformer-based encoders on in-domain data leads to superior results. Mahalanobis distance, together with utterance representations, derived from Transformer-based encoders, outperforms other methods by a wide margin and establishes new state-of-the-art results for all datasets. The broader analysis shows that the reason for success lies in the fact that the fine-tuned Transformer is capable of constructing homogeneous representations of in-domain utterances, revealing geometrical disparity to out of domain utterances. In turn, the Mahalanobis distance captures this disparity easily. The code is available in our GitHub repo: https://github.com/huawei-noah/noah-research/tree/master/Maha_OOD .


title: Improved constraints on neutrino mixing from the T2K experiment with $\mathbf{3.13\times10^{21}}$ protons on target

abstract: The T2K experiment reports updated measurements of neutrino and antineutrino oscillations using both appearance and disappearance channels. This result comes from an exposure of $14.9~(16.4) \times 10^{20}$ protons on target in neutrino (antineutrino) mode. Significant improvements have been made to the neutrino interaction model and far detector reconstruction. An extensive set of simulated data studies have also been performed to quantify the effect interaction model uncertainties have on the T2K oscillation parameter sensitivity. T2K performs multiple oscillation analyses that present both frequentist and Bayesian intervals for the PMNS parameters. For fits including a constraint on \ssqthonethree from reactor data and assuming normal mass ordering T2K measures $\sin^2\theta_{23} = 0.53^{+0.03}_{-0.04}$ and $\Delta{}m^2_{32} = (2.45 \pm 0.07) \times 10^{-3}$ eV$^{2}$c$^{-4}$. The Bayesian analyses show a weak preference for normal mass ordering (89% posterior probability) and the upper $\sin^2\theta_{23}$ octant (80% posterior probability), with a uniform prior probability assumed in both cases. The T2K data exclude CP conservation in neutrino oscillations at the $2\sigma$ level.


title: Running Time Analysis of Broadcast Consensus Protocols

abstract: Broadcast consensus protocols (BCPs) are a model of computation, in which anonymous, identical, finite-state agents compute by sending/receiving global broadcasts. BCPs are known to compute all number predicates in $\mathsf{NL}=\mathsf{NSPACE}(\log n)$ where $n$ is the number of agents. They can be considered an extension of the well-established model of population protocols. This paper investigates execution time characteristics of BCPs. We show that every predicate computable by population protocols is computable by a BCP with expected $\mathcal{O}(n \log n)$ interactions, which is asymptotically optimal. We further show that every log-space, randomized Turing machine can be simulated by a BCP with $\mathcal{O}(n \log n \cdot T)$ interactions in expectation, where $T$ is the expected runtime of the Turing machine. This allows us to characterise polynomial-time BCPs as computing exactly the number predicates in $\mathsf{ZPL}$, i.e. predicates decidable by log-space bounded randomised Turing machine with zero-error in expected polynomial time where the input is encoded as unary.


title: Hull shape design optimization with parameter space and model reductions, and self-learning mesh morphing

abstract: In the field of parametric partial differential equations, shape optimization represents a challenging problem due to the required computational resources. In this contribution, a data-driven framework involving multiple reduction techniques is proposed to reduce such computational burden. Proper orthogonal decomposition (POD) and active subspace genetic algorithm (ASGA) are applied for a dimensional reduction of the original (high fidelity) model and for an efficient genetic optimization based on active subspace property. The parameterization of the shape is applied directly to the computational mesh, propagating the generic deformation map applied to the surface (of the object to optimize) to the mesh nodes using a radial basis function (RBF) interpolation. Thus, topology and quality of the original mesh are preserved, enabling application of POD-based reduced order modeling techniques, and avoiding the necessity of additional meshing steps. Model order reduction is performed coupling POD and Gaussian process regression (GPR) in a data-driven fashion. The framework is validated on a benchmark ship.


title: Low-frequency vibrational spectroscopy of glasses

abstract: Atomic vibrations in perfect, slightly defective or mixed crystals are to a large extent well understood since many decades. Theoretical descriptions are thus in excellent agreement with the experiments. As a consequence, phonon-related properties like specific heat, thermal conductivity or sound attenuation are also well explained in these solids. This is not yet the case in glasses where the lack of periodicity generates enormous difficulties in theoretical treatments as well as in experiments or in numerical simulations. Thanks to recent developments along all these lines, comprehensive studies have emerged in the last decades and several decisive advances have been made. This chapter is thus devoted to a discussion of the nature of the vibrational properties in glasses with particular emphasis on the low-frequency part of the vibrational density of states, including the acoustic excitations, and of the experimental techniques used to their study.


title: Deep Adversarial Inconsistent Cognitive Sampling for Multi-view Progressive Subspace Clustering

abstract: Deep multi-view clustering methods have achieved remarkable performance. However, all of them failed to consider the difficulty labels (uncertainty of ground-truth for training samples) over multi-view samples, which may result into a nonideal clustering network for getting stuck into poor local optima during training process; worse still, the difficulty labels from multi-view samples are always inconsistent, such fact makes it even more challenging to handle. In this paper, we propose a novel Deep Adversarial Inconsistent Cognitive Sampling (DAICS) method for multi-view progressive subspace clustering. A multiview binary classification (easy or difficult) loss and a feature similarity loss are proposed to jointly learn a binary classifier and a deep consistent feature embedding network, throughout an adversarial minimax game over difficulty labels of multiview consistent samples. We develop a multi-view cognitive sampling strategy to select the input samples from easy to difficult for multi-view clustering network training. However, the distributions of easy and difficult samples are mixed together, hence not trivial to achieve the goal. To resolve it, we define a sampling probability with theoretical guarantee. Based on that, a golden section mechanism is further designed to generate a sample set boundary to progressively select the samples with varied difficulty labels via a gate unit, which is utilized to jointly learn a multi-view common progressive subspace and clustering network for more efficient clustering. Experimental results on four real-world datasets demonstrate the superiority of DAICS over the state-of-the-art methods.


title: Estimate Metabolite Taxonomy and Structure with a Fragment-Centered Database and Fragment Network

abstract: Metabolite structure identification has become the major bottleneck of the mass spectrometry based metabolomics research. Till now, number of mass spectra databases and search algorithms have been developed to address this issue. However, two critical problems still exist: the low chemical component record coverage in databases and significant MS/MS spectra variations related to experiment equipment and parameter settings. In this work, we considered the molecule fragment as basic building blocks of the metabolic components which had relatively consistent signatures in MS/MS spectra. And from a bottom-up point of view, we built a fragment centered database, MSFragDB, by reorganizing the data from the Human Metabolome Database (HMDB) and developed an intensity-free searching algorithm to search and rank the most relative metabolite according to the users' input. We also proposed the concept of fragment network, a graph structure that encoded the relationship between the molecule fragments to find close motif that indicated a specific chemical structure. Although based on the same dataset as the HMDB, validation results implied that the MSFragDB had a higher hit ratio and furthermore, estimated possible taxonomy that a query spectrum belongs to when the corresponding chemical component was missing in the database. Aid by the Fragment Network, the MSFragDB was also proved to be able to estimate the right structure while the MS/MS spectrum suffers from the precursor-contamination. The strategy proposed is general and can be adopted in existing databases. We believe MSFragDB and Fragment Network can improve the performance of structure identification with existing data. The beta version of the database is freely available at www.xrzhanglab.com/msfragdb/.


title: Predictive Analysis of Chikungunya

abstract: Chikungunya is an emerging threat for health security all over the world which is spreading very fast. Researches for proper forecasting of the incidence rate of chikungunya has been going on in many places in which DARPA has done a very extensive summarized result from 2014 to 2017 with the data of suspected cases, confirmed cases, deaths, population and incidence rate in different countries. In this project, we have analysed the dataset from DARPA and extended it to predict the incidence rate using different features of weather like temperature, humidity, dewiness, wind and pressure along with the latitude and longitude of every country. We had to use different APIs to find out these extra features from 2014-2016. After creating a pure dataset, we have used Linear Regression to predict the incidence rate and calculated the accuracy and error rate.


title: Comment on Noise-Induced Subdiffusion in Strongly Localized Quantum Systems

abstract: Gopalakrishnan, Islam, and Knap adopted a perturbative approach employing a method to investigate the transport in localized systems coupled to non-Markovian dephasing noise in the deeply localized limit where the single-particle hopping is the smallest energy scale. All their subsequent analytical and numerical calculations are limited to the deeply localized systems. Nevertheless, in the majority of their results, they used this approximation outside this limit which makes their results wrong. We point at these wrong results and propose the changes in the parameter values which can give correct results.


title: WiCV 2020: The Seventh Women In Computer Vision Workshop

abstract: In this paper we present the details of Women in Computer Vision Workshop - WiCV 2020, organized in alongside virtual CVPR 2020. This event aims at encouraging the women researchers in the field of computer vision. It provides a voice to a minority (female) group in computer vision community and focuses on increasingly the visibility of these researchers, both in academia and industry. WiCV believes that such an event can play an important role in lowering the gender imbalance in the field of computer vision. WiCV is organized each year where it provides a.) opportunity for collaboration with between researchers b.) mentorship to female junior researchers c.) financial support to presenters to overcome monetary burden and d.) large and diverse choice of role models, who can serve as examples to younger researchers at the beginning of their careers. In this paper, we present a report on the workshop program, trends over the past years, a summary of statistics regarding presenters, attendees, and sponsorship for the current workshop.


title: Second Hand Price Prediction for Tesla Vehicles

abstract: The Tesla vehicles became very popular in the car industry as it was affordable in the consumer market and it left no carbon footprint. Due to the large decline in the stock prices of Tesla Inc. at the beginning of 2019, Tesla owners started selling their vehicles in the used car market. These used car prices depended on attributes such as the model of the vehicle, year of production, miles driven, and the battery used for the vehicle. Prices were different for a specific vehicle in different months. In this paper, it is discussed how a machine learning technique is being implemented in order to develop a second-hand Teslavehicle price prediction system. To reach this goal, different machine learning techniques such as decision trees, support vector machine (SVM), random forest, and deep learning were investigated and finally was implemented with boosted decision tree regression. I the future, it is intended to use a more sophisticated algorithm for better accuracy.


title: A tree-based algorithm for the integration of monomials in the Chow ring of the moduli space of stable marked curves of genus zero

abstract: The Chow ring of the moduli space of marked rational curves is generated by Keel's divisor classes. The top graded part of this Chow ring is isomorphic to the integers, generated by the class of a single point. In this paper, we give an algorithm for computing the intersection degree of tuples of Keel's divisor classes. This computation is a concrete but complicated algorithmic question in the field. Also, we give a simple complexity argument for the algorithm. Additionally, we introduce three identities on multinomial coefficients, as well as proofs for them.


title: Perturbations and quasi-normal modes of black holes with time-dependent scalar hair in shift-symmetric scalar-tensor theories

abstract: We study odd parity perturbations of spherically symmetric black holes with time-dependent scalar hair in shift-symmetric higher-order scalar-tensor theories. The analysis is performed in a general way without assuming the degeneracy conditions. Nevertheless, we end up with second-order equations for a single master variable, similarly to cosmological tensor modes. We thus identify the general form of the quadratic Lagrangian for the odd parity perturbations, leading to a generalization of the Regge-Wheeler equation. We also investigate the structure of the effective metric for the master variable and refine the stability conditions. As an application of our generalized Regge-Wheeler equation, we compute the quasi-normal modes of a certain nontrivial black hole solution. Finally, our result is extended to include the matter energy-momentum tensor as a source term.


title: Hot spots and gluon field fluctuations as causes of eccentricity in small systems

abstract: We calculate eccentricities in high energy proton-nucleus collisions, by calculating correlation functions of the energy density field of the Glasma immediately after the collision event at proper time tau = 0. We separately consider the effects of color charge and geometrical hot spot fluctuations, analytically performing the averages over both in a dilute-dense limit. We show that geometric fluctuations of hot spots inside the proton are the dominant source of eccentricity whereas color charge fluctuations only give a negligible correction. The size and number of hot spots are the most important parameters characterizing the eccentricities.


title: Diagnosis of Intelligent Reflecting Surface in Millimeter-wave Communication Systems

abstract: Intelligent reflecting surface (IRS) is a promising technology for enhancing wireless communication systems. It adaptively configures massive passive reflecting elements to control wireless channel in a desirable way. Due to hardware characteristics and deploying environments, an IRS may be subject to reflecting element blockages and failures, and hence developing diagnostic techniques is of great significance to system monitoring and maintenance. In this paper, we develop diagnostic techniques for IRS systems to locate faulty reflecting elements and retrieve failure parameters. Three cases of channel state information (CSI) availability are considered. In the first case where full CSI is available, a compressed sensing based diagnostic technique is proposed, which significantly reduces the required number of measurements. In the second case where only partial CSI is available, we jointly exploit the sparsity of the millimeter-wave channel and the failure, and adopt compressed sparse and low-rank matrix recovery algorithm to decouple channel and failure. In the third case where no CSI is available, a novel atomic norm is introduced as the sparsity-inducing norm of the cascaded channel, and the diagnosis problem is formulated as a joint sparse recovery problem. Finally, the proposed diagnostic techniques are validated through numerical simulations.


title: The Gaze and Mouse Signal as additional Source for User Fingerprints in Browser Applications

abstract: In this work, we inspect different data sources for browser fingerprints. We show which disadvantages and limitations browser statistics have and how this can be avoided with other data sources. Since human visual behavior is a rich source of information and also contains person specific information, it is a valuable source for browser fingerprints. However, human gaze acquisition in the browser also has disadvantages, such as inaccuracies via webcam and the restriction that the user must first allow access to the camera. However, it is also known that the mouse movements and the human gaze correlate and therefore, the mouse movements can be used instead of the gaze signal. In our evaluation, we show the influence of all possible combinations of the three information sources for user recognition and describe our simple approach in detail. Link: https://es-cloud.cs.uni-tuebingen.de/d/8e2ab8c3fdd444e1a135/?p=%2FThe%20Gaze%20and%20Mouse%20Signal%20as%20additional%20Source%20...&mode=list


title: Flatband generator in two dimensions

abstract: Dispersionless bands -- \emph{flatbands} -- provide an excellent testbed for novel physical phases due to the fine-tuned character of flatband tight-binding Hamiltonians. The accompanying macroscopic degeneracy makes any perturbation relevant, no matter how small. For short-range hoppings flatbands support compact localized states, which allowed to develop systematic flatband generators in $d=1$ dimension in Phys. Rev. B {\bf 95} 115135 (2017) and Phys. Rev. B {\bf 99} 125129 (2019). Here we extend this generator approach to $d=2$ dimensions. The \emph{shape} of a compact localized state turns into an important additional flatband classifier. This allows us to obtain analytical solutions for classes of $d=2$ flatband networks and to re-classify and re-obtain known ones, such as the checkerboard, kagome, Lieb and Tasaki lattices. Our generator can be straightforwardly generalized to three lattice dimensions as well.


title: Dark Confinement-Deconfinement Phase Transition: A Roadmap from Polyakov Loop Models to Gravitational Waves

abstract: We explore the confinement-deconfinement phase transition (PT) of the first order (FO) arising in $SU(N)$ pure Yang-Mills theory, based on Polyakov loop models (PLMs), in light of the induced gravitational wave (GW) spectra. We demonstrate that the PLMs with the Haar measure term, involving models successful in QCD with $N=3$, are potentially incompatible with the large $N$ scaling for the thermodynamical quantities and the latent heat at around the criticality of the FOPT reported from the lattice simulations. We then propose a couple of models of polynomial form, which we call the 4-6 PLM (with four- and six-point interactions among the basic PL fields which have center charge 1) and 4-8 PLM (with four- and eight-point interactions), and discuss how such models can naturally arise in the presence of a heavy PL with charge 2. We show that those models give the consistent thermodynamical and large $N$ properties at around the criticality. The predicted GW spectra are shown to have high enough sensitivity to be probed in the future prospected interferometers such as LISA, BBO, DICIGO, and TianQin.


title: Rainbow scattering in rotationally inelastic collisions of HCl and H$_2$

abstract: We examine rotational transitions of HCl in collisions with H$_2$ by carrying out quantum mechanical close-coupling and quasi-classical trajectory calculations on a recently developed globally accurate full-dimensional ab initio potential energy surface for the H$_3$Cl system. Signatures of rainbow scattering in rotationally inelastic collisions are found in the state resolved integral and differential cross sections as functions of the impact parameter (initial orbital angular momentum) and final rotational quantum number. We show the coexistence of distinct dynamical regimes for the HCl rotational transition driven by the short-range repulsive and long-range attractive forces whose relative importance depends on the collision energy and final rotational state suggesting that classification of rainbow scattering into rotational and $l$-type rainbows is effective for H$_2$+HCl collisions. While the quasi-classical trajectory method satisfactorily predicts the overall behavior of the rotationally inelastic cross sections, its capability to accurately describe signatures of rainbow scattering appears to be limited for the present system.


title: Models for quotients of modular curves

abstract: We describe an algorithm for computing a $\Q$-rational model for the quotient of a modular curve by an automorphism group, under mild assumptions on the curve and the automorphisms, by determining $q$-expansions for a basis of the corresponding space of cusp forms. We also give a moduli interpretation for general morphisms between modular curves.


title: Fully-heavy tetraquark production by $\gamma \gamma$ interactions in hadronic collisions at the LHC

abstract: We investigate the production of the fully - heavy tetraquark states $T_{4Q}$ in the $\gamma \gamma$ interactions present in proton-proton, proton-nucleus and nucleus-nucleus collisions at the CERN Large Hadron Collider (LHC). We focus on the $\gamma \gamma \rightarrow {\cal{Q}}{\cal{Q}}$ (${\cal{Q}} = J/\psi,\, \Upsilon$) subprocess, mediated by the $T_{4Q}$ resonance in the $s$ - channel, and present predictions for the hadronic cross sections considering the kinematical ranges probed by the ALICE and LHCb Collaborations. Our results demonstrate that the experimental study of this process is feasible and can be used to investigate the existence and properties of the $T_{4c}(6900)$ and $T_{4b}(19000)$ states.


title: Coronary Plaque Analysis for CT Angiography Clinical Research

abstract: The analysis of plaque deposits in the coronary vasculature is an important topic in current clinical research. From a technical side mostly new algorithms for different sub tasks - e.g. centerline extraction or vessel/plaque segmentation - are proposed. However, to enable clinical research with the help of these algorithms, a software solution, which enables manual correction, comprehensive visual feedback and tissue analysis capabilities, is needed. Therefore, we want to present such an integrated software solution. It is able to perform robust automatic centerline extraction and inner and outer vessel wall segmentation, while providing easy to use manual correction tools. Also, it allows for annotation of lesions along the centerlines, which can be further analyzed regarding their tissue composition. Furthermore, it enables research in upcoming technologies and research directions: it does support dual energy CT scans with dedicated plaque analysis and the quantification of the fatty tissue surrounding the vasculature, also in automated set-ups.


title: Refined Notions of Parameterized Enumeration Kernels with Applications to Matching Cut Enumeration

abstract: An enumeration kernel as defined by Creignou et al. [Theory Comput. Syst. 2017] for a parameterized enumeration problem consists of an algorithm that transforms each instance into one whose size is bounded by the parameter plus a solution-lifting algorithm that efficiently enumerates all solutions from the set of the solutions of the kernel. We propose to consider two new versions of enumeration kernels by asking that the solutions of the original instance can be enumerated in polynomial time or with polynomial delay from the kernel solutions. Using the NP-hard Matching Cut problem parameterized by structural parameters such as the vertex cover number or the cyclomatic number of the input graph, we show that the new enumeration kernels present a useful notion of data reduction for enumeration problems which allows to compactly represent the set of feasible solutions.


title: Hidden Markov chains and fields with observations in Riemannian manifolds

abstract: Hidden Markov chain, or Markov field, models, with observations in a Euclidean space, play a major role across signal and image processing. The present work provides a statistical framework which can be used to extend these models, along with related, popular algorithms (such as the Baum-Welch algorithm), to the case where the observations lie in a Riemannian manifold. It is motivated by the potential use of hidden Markov chains and fields, with observations in Riemannian manifolds, as models for complex signals and images.


title: Circumference of essentially 4-connected planar triangulations

abstract: A $3$-connected graph $G$ is essentially $4$-connected if, for any $3$-cut $S\subseteq V(G)$ of $G$, at most one component of $G-S$ contains at least two vertices. We prove that every essentially $4$-connected maximal planar graph $G$ on $n$ vertices contains a cycle of length at least $\frac{2}{3}(n+4)$; moreover, this bound is sharp.


title: ITS and Real Time Cross Border Logistic Operations Optimization

abstract: Moving parcels from origin to destination should not require a lot of re-planning. However, the vast number of shipments and destinations, which need to be re-aligned in real-time due to various external factors makes the delivery process a complex issue to tackle. Anticipating the impact of external factors though can provide more robust logistic plans which are resilient to changes. The work described in this paper, was carried out in the EU-funded COG-LO project and addresses the issue of parcel delivery across the road network making use of context-awareness information as an input for the optimization operations. A positive impact derived from the implementation of these services is expected due to complex event detection, context awareness and decision support at both local and global level of logistics operations.


title: Galaxy And Mass Assembly: Group and field galaxy morphologies in the star-formation rate - stellar mass plane

abstract: We study the environment in which a galaxy lies (i.e. field or group) and its connection with the morphology of the galaxy. This is done by examining the distribution of parametric and non-parametric statistics across the star-formation rate (SFR) - stellar mass (M$_{\star}$) plane and studying how these distributions change with the environment in the local universe ($z<0.15$). We determine the concentration (C), Gini, M$_{20}$, asymmetry, Gini-M$_{20}$ bulge statistic (GMB), 50\% light radius ($r_{50}$), total S\'{e}rsic index, and bulge S\'{e}rsic index ($n_{Bulge}$) for galaxies from the Galaxy and Mass Assembly (GAMA) survey using optical images from the Kilo Degree Survey. We determine the galaxy environment using the GAMA group catalogue and split the galaxies into field or group galaxies. The group galaxies are further divided by the group halo mass (M$_{h}$) - $11\leq\mathrm{log(M}_{h}/\mathrm{M}_\odot)<12$, $12\leq\mathrm{log(M}_{h}/\mathrm{M}_\odot)<13$, and $13\leq\mathrm{log(M}_{h}/\mathrm{M}_\odot)<14$ - and into central and satellite galaxies. The galaxies in each of these samples are then placed onto the SFR-M$_{\star}$ plane, and each parameter is used as a third dimension. We fit the resulting distributions for each parameter in each sample using two two-dimensional Gaussian distributions: one for star-forming galaxies and one for quiescent galaxies. The coefficients of these Gaussian fits are then compared between environments. Using C and $r_{50}$, we find that galaxies typically become larger as the group mass increases. This change is greater for larger galaxies. There is no indication that galaxies are typically more or less clumpy as the environment changes. Using GMB and $n_{Bulge}$, we see that the star-forming galaxies do not become more bulge or disk dominated as the group mass changes. Asymmetry does not appear to be greatly influenced by environment.


title: A Conflict-Based Search Framework for Multi-Objective Multi-Agent Path Finding

abstract: Conventional multi-agent path planners typically compute an ensemble of paths while optimizing a single objective, such as path length. However, many applications may require multiple objectives, say fuel consumption and completion time, to be simultaneously optimized during planning and these criteria may not be readily compared and sometimes lie in competition with each other. The goal of the problem is thus to find a Pareto-optimal set of solutions instead of a single optimal solution. Naively applying existing multi-objective search algorithms, such as multi-objective A* (MOA*), to multi-agent path finding may prove to be inefficient as the dimensionality of the search space grows exponentially with the number of agents. This article presents an approach named Multi-Objective Conflict-Based Search (MO-CBS) that attempts to address this so-called curse of dimensionality by leveraging prior Conflict-Based Search (CBS), a well-known algorithm for single-objective multi-agent path finding, and principles of dominance from multi-objective optimization literature. We also develop several variants of MO-CBS to improve its performance. We prove that MO-CBS and its variants can compute the entire Pareto-optimal set. Numerical results show that MO-CBS outperforms MOM*, a recently developed state-of-the-art multi-objective multi-agent planner.


title: Multi-Domain Image-to-Image Translation with Adaptive Inference Graph

abstract: In this work, we address the problem of multi-domain image-to-image translation with particular attention paid to computational cost. In particular, current state of the art models require a large and deep model in order to handle the visual diversity of multiple domains. In a context of limited computational resources, increasing the network size may not be possible. Therefore, we propose to increase the network capacity by using an adaptive graph structure. At inference time, the network estimates its own graph by selecting specific sub-networks. Sub-network selection is implemented using Gumbel-Softmax in order to allow end-to-end training. This approach leads to an adjustable increase in number of parameters while preserving an almost constant computational cost. Our evaluation on two publicly available datasets of facial and painting images shows that our adaptive strategy generates better images with fewer artifacts than literature methods


title: Mechanisation of Model-theoretic Conservative Extension for HOL with Ad-hoc Overloading

abstract: Definitions of new symbols merely abbreviate expressions in logical frameworks, and no new facts (regarding previously defined symbols) should hold because of a new definition. In Isabelle/HOL, definable symbols are types and constants. The latter may be ad-hoc overloaded, i.e. have different definitions for non-overlapping types. We prove that symbols that are independent of a new definition may keep their interpretation in a model extension. This work revises our earlier notion of model-theoretic conservative extension and generalises an earlier model construction. We obtain consistency of theories of definitions in higher-order logic (HOL) with ad-hoc overloading as a corollary. Our results are mechanised in the HOL4 theorem prover.


title: Object-Level Reasoning with Logics Encoded in HOL Light

abstract: We present a generic framework that facilitates object level reasoning with logics that are encoded within the Higher Order Logic theorem proving environment of HOL Light. This involves proving statements in any logic using intuitive forward and backward chaining in a sequent calculus style. It is made possible by automated machinery that take care of the necessary structural reasoning and term matching automatically. Our framework can also handle type theoretic correspondences of proofs, effectively allowing the type checking and construction of computational processes via proof. We demonstrate our implementation using a simple propositional logic and its Curry-Howard correspondence to the lambda-calculus, and argue its use with linear logic and its various correspondences to session types.


title: Deductive Systems and Coherence for Skew Prounital Closed Categories

abstract: In this paper, we develop the proof theory of skew prounital closed categories. These are variants of the skew closed categories of Street where the unit is not represented. Skew closed categories in turn are a weakening of the closed categories of Eilenberg and Kelly where no structural law is required to be invertible. The presence of a monoidal structure in these categories is not required. We construct several equivalent presentations of the free skew prounital closed category on a given set of generating objects: a categorical calculus (Hilbert-style system), a cut-free sequent calculus and a natural deduction system corresponding to a variant of planar (= non-commutative linear) typed lambda-calculus. We solve the coherence problem for skew prounital closed categories by showing that the sequent calculus admits focusing and presenting two reduction-free normalization procedures for the natural deduction calculus: normalization by evaluation and hereditary substitutions. Normal natural deduction derivations (beta-eta-long forms) are in one-to-one correspondence with derivations in the focused sequent calculus. Unexpectedly, the free skew prounital closed category on a set satisfies a left-normality condition which makes it lose its skew aspect. This pitfall can be avoided by considering the free skew prounital closed category on a skew multicategory instead. The latter has a presentation as a cut-free sequent calculus for which it is easy to see that the left-normality condition generally fails. The whole development has been fully formalized in the dependently typed programming language Agda.