title: Tidal evolution of the eccentric moon around dwarf planet (225088) Gonggong

abstract: Recent astronomical observations revealed that (225088) Gonggong, a 1000-km-sized trans-Neptunian dwarf planet, hosts an eccentric satellite, Xiangliu, with an eccentricity of approximately 0.3. As the majority of known satellite systems around trans-Neptunian dwarf planets have circular orbits, the observed eccentricity of Gonggong--Xiangliu system may reflect the singular properties of the system. In this study, we assumed that Gonggong--Xiangliu system formed via a giant impact and investigated the following secular tidal evolution of Gonggong--Xiangliu system under the simplifying assumption of homogeneous bodies and of zero orbital inclination. We conducted coupled thermal--orbital evolution simulations using the Andrade viscoelastic model and included higher-order eccentricity functions. The distribution of the final eccentricity from a large number of simulations with different initial conditions revealed that the radius of Xiangliu is not larger than 100 km. We also derived the analytical solution of the semilatus rectum evolution, a function of the radius of Xiangliu. From the point of view of the final semilatus rectum, the radius of Xiangliu was estimated to be close to 100 km. Together with the results of the Hubble Space Telescope observations, our findings suggest Gonggong and Xiangliu have similar albedos.


title: Balanced Augmented Lagrangian Method for Convex Programming

abstract: We consider the convex minimization model with both linear equality and inequality constraints, and reshape the classic augmented Lagrangian method (ALM) by balancing its subproblems. As a result, one of its subproblems decouples the objective function and the coefficient matrix without any extra condition, and the other subproblem becomes a positive definite system of linear equations or a positive definite linear complementary problem. The balanced ALM advances the classic ALM by enlarging its applicable range, balancing its subproblems, and improving its implementation. We also extend our discussion to two-block and multiple-block separable convex programming models, and accordingly design various splitting versions of the balanced ALM for these separable models. Convergence analysis for the balanced ALM and its splitting versions is conducted in the context of variational inequalities through the lens of the classic proximal point algorithm.


title: Bounds for a nonlinear ergodic theorem for Banach spaces

abstract: We extract quantitative information (specifically, a rate of metastability in the sense of Terence Tao) from a proof due to Kazuo Kobayasi and Isao Miyadera, which shows strong convergence for Ces\`aro means of nonexpansive maps on Banach spaces.


title: Attentive fine-tuning of Transformers for Translation of low-resourced languages @LoResMT 2021

abstract: This paper reports the Machine Translation (MT) systems submitted by the IIITT team for the English->Marathi and English->Irish language pairs LoResMT 2021 shared task. The task focuses on getting exceptional translations for rather low-resourced languages like Irish and Marathi. We fine-tune IndicTrans, a pretrained multilingual NMT model for English->Marathi, using external parallel corpus as input for additional training. We have used a pretrained Helsinki-NLP Opus MT English->Irish model for the latter language pair. Our approaches yield relatively promising results on the BLEU metrics. Under the team name IIITT, our systems ranked 1, 1, and 2 in English->Marathi, Irish->English, and English->Irish, respectively.


title: DECA: Deep viewpoint-Equivariant human pose estimation using Capsule Autoencoders

abstract: Human Pose Estimation (HPE) aims at retrieving the 3D position of human joints from images or videos. We show that current 3D HPE methods suffer a lack of viewpoint equivariance, namely they tend to fail or perform poorly when dealing with viewpoints unseen at training time. Deep learning methods often rely on either scale-invariant, translation-invariant, or rotation-invariant operations, such as max-pooling. However, the adoption of such procedures does not necessarily improve viewpoint generalization, rather leading to more data-dependent methods. To tackle this issue, we propose a novel capsule autoencoder network with fast Variational Bayes capsule routing, named DECA. By modeling each joint as a capsule entity, combined with the routing algorithm, our approach can preserve the joints' hierarchical and geometrical structure in the feature space, independently from the viewpoint. By achieving viewpoint equivariance, we drastically reduce the network data dependency at training time, resulting in an improved ability to generalize for unseen viewpoints. In the experimental validation, we outperform other methods on depth images from both seen and unseen viewpoints, both top-view, and front-view. In the RGB domain, the same network gives state-of-the-art results on the challenging viewpoint transfer task, also establishing a new framework for top-view HPE. The code can be found at https://github.com/mmlab-cv/DECA.


title: Improved Linear-Time Algorithm for Computing the $4$-Edge-Connected Components of a Graph

abstract: We present an improved algorithm for computing the $4$-edge-connected components of an undirected graph in linear time. The new algorithm uses only elementary data structures, and it is simple to describe and to implement in the pointer machine model of computation.


title: Proximity-induced superconductivity in (Bi$_{1-x}$Sb$_x$)$_2$Te$_3$ topological-insulator nanowires

abstract: When a topological insulator is made into a nanowire, the interplay between topology and size quantization gives rise to peculiar one-dimensional states whose energy dispersion can be manipulated by external fields. In the presence of proximity-induced superconductivity, these 1D states offer a tunable platform for Majorana zero modes. While the existence of such peculiar 1D states has been experimentally confirmed, the realization of robust proximity-induced superconductivity in topological-insulator nanowires remains a challenge. Here, we report the realization of superconducting topological-insulator nanowires based on (Bi$_{1-x}$Sb$_x$)$_2$Te$_3$ (BST) thin films. When two rectangular pads of palladium are deposited on a BST thin film with a separation of 100--200 nm, the BST beneath the pads is converted into a superconductor, leaving a nanowire of BST in-between. We found that the interface is epitaxial and has a high electronic transparency, leading to a robust superconductivity induced in the BST nanowire. Due to its suitable geometry for gate-tuning, this platform is promising for future studies of Majorana zero modes.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el cond-mat.supr-con


title: Pruning in the Face of Adversaries

abstract: The vulnerability of deep neural networks against adversarial examples - inputs with small imperceptible perturbations - has gained a lot of attention in the research community recently. Simultaneously, the number of parameters of state-of-the-art deep learning models has been growing massively, with implications on the memory and computational resources required to train and deploy such models. One approach to control the size of neural networks is retrospectively reducing the number of parameters, so-called neural network pruning. Available research on the impact of neural network pruning on the adversarial robustness is fragmentary and often does not adhere to established principles of robustness evaluation. We close this gap by evaluating the robustness of pruned models against L-0, L-2 and L-infinity attacks for a wide range of attack strengths, several architectures, data sets, pruning methods, and compression rates. Our results confirm that neural network pruning and adversarial robustness are not mutually exclusive. Instead, sweet spots can be found that are favorable in terms of model size and adversarial robustness. Furthermore, we extend our analysis to situations that incorporate additional assumptions on the adversarial scenario and show that depending on the situation, different strategies are optimal.


title: Transport properties and equation-of-state of hot and dense QGP matter near the critical end-point in the phenomenological dynamical quasi-particle model

abstract: We extend the effective dynamical quasiparticle model (DQPM) - constructed for the description of non-perturbative QCD phenomena of the strongly interacting quark-gluon plasma (QGP) - to large baryon chemical potentials, $\mu_B$, including a critical end-point and a 1st order phase transition. The DQPM description of quarks and gluons is based on partonic propagators with complex selfenergies where the real part of the selfenergies is related to the quasiparticle mass and the imaginary part to a finite width of their spectral functions. In DQPM the determination of complex selfenergies for the partonic degrees of freedom at zero and finite $\mu_B$ has been performed by adjusting the entropy density to the lQCD data. The temperature-dependent effective coupling (squared) $g^2(T/T_c)$, as well as the parton effective masses and widths are based on this adjustment. The novel extended dynamical quasiparticle model, named "DQPM-CP", makes it possible to describe thermodynamical and transport properties of quarks and gluons in a wide range of $T$ and $\mu_B$, and reproduces the equation-of-state (EoS) of lQCD calculations in the crossover region of finite $T, \mu_B$. We apply a scaling ansatz for the strong coupling constant near the CEP, located at ($T^{CEP}$, $\mu^{CEP}_B) = (0.100, 0.960)$ GeV. We show the EoS as well as the speed of sound for $T>T_c$ and for a wide range of $\mu_B$, which can be of interest for hydrodynamical simulations. Furthermore, we consider two settings for the strange quark chemical potentials (I) $\mu_s=\mu_B/3$ and (II) $\mu_s=0$. The isentropic trajectories of the QGP matter are compared for these two cases. The phase diagram of DQPM-CP is close to PNJL calculations. The leading order pQCD transport coefficients of both approaches differ. This elucidates that the knowledge of the phase diagram alone is not sufficient to describe the dynamical evolution of QGP.


title: Concurrent Discrimination and Alignment for Self-Supervised Feature Learning

abstract: Existing self-supervised learning methods learn representation by means of pretext tasks which are either (1) discriminating that explicitly specify which features should be separated or (2) aligning that precisely indicate which features should be closed together, but ignore the fact how to jointly and principally define which features to be repelled and which ones to be attracted. In this work, we combine the positive aspects of the discriminating and aligning methods, and design a hybrid method that addresses the above issue. Our method explicitly specifies the repulsion and attraction mechanism respectively by discriminative predictive task and concurrently maximizing mutual information between paired views sharing redundant information. We qualitatively and quantitatively show that our proposed model learns better features that are more effective for the diverse downstream tasks ranging from classification to semantic segmentation. Our experiments on nine established benchmarks show that the proposed model consistently outperforms the existing state-of-the-art results of self-supervised and transfer learning protocol.


title: Solitons near avoided mode crossing in $\chi^{(2)}$ nanowaveguides

abstract: We present a model for $\chi^{(2)}$ waveguides accounting for three modes, two of which make an avoided crossing at the second harmonic wavelength. We introduce two linearly coupled pure modes and adjust the coupling to replicate the waveguide dispersion near the avoided crossing. Analysis of the nonlinear system reveals continuous wave (CW) solutions across much of the parameter-space and prevalence of its modulational instability. We also predict the existence of the avoided-crossing solitons, and study peculiarities of their dynamics and spectral properties, which include formation of a pedestal in the pulse tails and associated pronounced spectral peaks. Mapping these solitons onto the linear dispersion diagrams, we make connections between their existence and CW existence and stability. We also simulate the two-color soliton generation from a single frequency pump pulse to back up its formation and stability properties.


title: Maximal generating degrees of powers of homogeneous ideals

abstract: The degree excess function $\epsilon(I;n)$ is the difference between the maximal generating degree $d(I^n)$ of a homogeneous ideal $I$ of a polynomial ring and $p(I)n$, where $p(I)$ is the leading coefficient of the asymptotically linear function $d(I^n)$. It is shown that any non-increasing numerical function can be realized as a degree excess function, and there is a monomial ideal $I$ whose $\epsilon(I;n)$ has exactly a given number of local maxima. In the case of monomial ideals, an upper bound on $\epsilon(I;n)$ is provided. As an application it is shown that in the worst case, the so-called stability index of the Castelnuovo-Mumford regularity of a monomial ideal $I$ must be at least an exponential function of the number of variables.


title: The Fractal Nature of Clouds in Global Storm-Resolving Models

abstract: Clouds in observations are fractals: they show self-similarity across scales ranging from one to 1000 km. This includes individual storms and large-scale cloud structures typical of organised convection. It is not known whether global storm-resolving models reproduce the observed fractal scaling laws for clouds and organised convection. We compute the fractal dimension of clouds using Himawari satellite data and compare this to global storm-resolving model simulations completed as part of the DYAMOND intercomparison project. We find cloud fields in these simulations are indeed fractal, and reproduce the observed fractal dimension to within 10\%. We find the fractal dimension is sensitive to the choice of boundary layer parametrisation scheme used in each model simulation, and not to the convection parametrisation as might have been expected. The fractal dimension is independent of cloud area distributions, providing a complementary metric to assess the multi-scale structure of convection and convective organisation in model simulations.


title: Optoelectrical nanomechanical resonators made from multilayered 2D materials

abstract: Studies involving nanomechanical motion have evolved from its detection and understanding of its fundamental aspects to its promising practical utility as an integral component of hybrid systems. Nanomechanical resonators' indispensable role as transducers between optical and microwave fields in hybrid systems, such as quantum communications interface, have elevated their importance in recent years. It is therefore crucial to determine which among the family of nanomechanical resonators is more suitable for this role. Most of the studies revolve around nanomechanical resonators of ultrathin structures because of their inherently large mechanical amplitude due to their very low mass. Here, we argue that the underutilized nanomechanical resonators made from multilayered two-dimensional (2D) materials are the better fit for this role because of their comparable electrostatic tunability and larger optomechanical responsivity. To show this, we first demonstrate the electrostatic tunability of mechanical modes of a multilayered nanomechanical resonator made from graphite. We also show that the optomechanical responsivity of multilayered devices will always be superior as compared to the few-layer devices. Finally, by using the multilayered model and comparing this device with the reported ones, we find that the electrostatic tunability of devices of intermediate thickness is not significantly lower than that of ultrathin ones. Together with the practicality in terms of fabrication ease and design predictability, we contend that multilayered 2D nanomechanical resonators are the optimal choice for the electromagnetic interface in integrated quantum systems.


title: On the density of some sparse horocycles

abstract: Let $\Gamma$ be a non-uniform lattice in $\operatorname{PSL}(2,\mathbb R)$. In this note, we show that there exists a constant $\gamma_0>0$ such that for any $0<\gamma<\gamma_0$, any one-parametrer unipotent subgroup $\{u(t)\}_{t\in\mathbb R}$ and any $p\in\operatorname{PSL}(2,\mathbb R)/\Gamma$ which is not $u(t)$-periodic, the orbit $\{u(n^{1+\gamma})p:n\in\mathbb N\}$ is dense in $\operatorname{PSL}(2,\mathbb R)/\Gamma$. We also prove that there exists $N\in\mathbb N$ such that for the set $\Omega(N)$ of $N$-almost primes, and for any $p\in\operatorname{PSL}(2,\mathbb R)/\Gamma$ which is not $u(t)$-periodic, the orbit $\{u(x)p:x\in\Omega(N)\}$ is dense in $\operatorname{PSL}(2,\mathbb R)/\Gamma$.


title: Mechanical Behaviour of Glasses and Amorphous Materials

abstract: A wide range of materials can exist in microscopically disordered solid forms, referred to as amorphous solids or glasses. Such materials -- oxide glasses and metallic glasses, to polymer glasses, and soft solids such as colloidal glasses, emulsions and granular packings -- are useful as structural materials in a variety of contexts. Their deformation and flow behaviour is relevant for many others. Apart from fundamental questions associated with the formation of these solids, comprehending their mechanical behaviour is thus of interest, and of significance for their use as materials. In particular, the nature of plasticity and yielding behaviour in amorphous solids has been actively investigated. Different amorphous solids exhibit behaviour that is apparently diverse and qualitatively different from those of crystalline materials. A goal of recent investigations has been to comprehend the unifying characteristics of amorphous plasticity and to understand the apparent differences among them. We summarise some of the recent progress in this direction. We focus on insights obtained from computer simulation studies, and in particular those employing oscillatory shear deformation of model glasses.


title: Large-scale Offshore Wind Farm Electrical Collector System Planning: A Mixed-Integer Linear Programming Approach

abstract: In this paper, we propose a planning method for large-scale offshore wind farm (OWF) electrical collector system (ECS) based on mixed integer linear programming, in which the sizing and siting of offshore substations and the lines between wind turbines (WTs) are optimized. We found out that the problem is similar to power distribution system planning, where the topological constraints for distribution network expansion planning (DNEP) are applied to guarantee the radiality of ECS topology and accelerate the solving process. Case studies based on an OWF with 63 fixed-locations WTs demonstrate the effectiveness of proposed method, in which the cost of ECS's investment on cables is reduced by 23%, power loss reduced by 44% compared with a conventional design, and the calculation time reduced with the help of the radiality constraint.


title: Monitoring weeder robots and anticipating their functioning by using advanced topological data analysis

abstract: The present paper aims at analyzing the topological content of the complex trajectories that weeder-autonomous robots follow in operation. We will prove that the topological descriptors of these trajectories are affected by the robot environment as well as by the robot state, with respect to maintenance operations. Topological Data Analysis will be used for extracting the trajectory descriptors, based on homology persistence. Then, appropriate metrics will be applied in order to compare that topological representation of the trajectories, for classifying them or for making efficient pattern recognition.


title: Terahertz-infrared dielectric properties of lead-aluminum double-cation substituted single-crystalline barium hexaferrite

abstract: Hexaferrite materials are highly demanded to develop and manufacture electronic devices operating at radio- and microwave frequencies. In the light of the prospects for their use in the forthcoming terahertz electronics, here, we present our results on the terahertz and infrared dielectric response of a typical representative of hexaferrites family, lead-substituted M-type barium hexaferrite doped with aluminum, Ba0.2Pb0.8AlxFe12-xO19, x(Al)=0.0, 3.0, and 3.3. We studied uniquely large and high-quality single crystals of the. Systematic and detailed investigations of the dependences of terahertz-infrared (frequencies 8 - 8000 cm-1) spectra of complex dielectric permittivity on the temperature, 4 - 300 K, and on the chemical composition, x(Al)=0.0, 1.2, 3.0, 3.3, were performed for polarizations of the electric field E-vector of the probing radiation normal and parallel to the crystallographic c-axis. A number of resonance absorption bands are discovered at infrared-terahertz frequencies and assigned to polar phonons and transitions between energy levels of the fine-structured ground state of Fe2+ (5E) ions. In contrast to undoped BaFe12O19, no softening of the lowest frequency A2u phonon is observed, indicating suppression of a displacive phase transition in substituted compounds. Basing on dielectric data and detailed X-ray experiments, we find that for all concentrations of Al3+ ions, x(Al)=0.0, 1.2, 3.0, and 3.3, they mainly occupy the 2a and 12k octahedral site positions and that the degree of substitution of iron in tetrahedral positions is not substantial. Along with fundamental findings, the obtained data on broad-band dielectric properties of Ba0.2Pb0.8AlxFe12-xO19 crystals provides the information that can be used for development and manufacture of electronic devices with operating frequencies lying in the terahertz spectral band.


title: Semilocal approximation for the Fermat-Catalan and further popular Diophantine norm equations

abstract: We show that the equation $\frac{x^p + y^p}{x+y} = p^e z^q$ has no solutions in coprime integers $x,y,z$, prime exponents with $ q \geq p \geq 5$, and $e \in \{0,1\}$, while for $q < p$ there is an absolute upper bound in $p$ and $q$ for the larger of $|x|$ and $|y|$. The result provides, in particular, a complete cyclotomic proof of Fermat's Last Theorem.


title: Optimal squeezing for quantum target detection

abstract: It is not clear if the performance of a quantum lidar or radar, without an idler and only using Gaussian resources, could exceed the performance of a semiclassical setup based on coherent states and homodyne detection. Here we prove this is indeed the case by showing that an idler-free squeezed-based setup can beat this semiclassical benchmark. More generally, we show that probes whose displacement and squeezing are jointly optimized can strictly outperform coherent states with the same mean number of input photons for both the problems of quantum illumination and reading.


title: StructDepth: Leveraging the structural regularities for self-supervised indoor depth estimation

abstract: Self-supervised monocular depth estimation has achieved impressive performance on outdoor datasets. Its performance however degrades notably in indoor environments because of the lack of textures. Without rich textures, the photometric consistency is too weak to train a good depth network. Inspired by the early works on indoor modeling, we leverage the structural regularities exhibited in indoor scenes, to train a better depth network. Specifically, we adopt two extra supervisory signals for self-supervised training: 1) the Manhattan normal constraint and 2) the co-planar constraint. The Manhattan normal constraint enforces the major surfaces (the floor, ceiling, and walls) to be aligned with dominant directions. The co-planar constraint states that the 3D points be well fitted by a plane if they are located within the same planar region. To generate the supervisory signals, we adopt two components to classify the major surface normal into dominant directions and detect the planar regions on the fly during training. As the predicted depth becomes more accurate after more training epochs, the supervisory signals also improve and in turn feedback to obtain a better depth model. Through extensive experiments on indoor benchmark datasets, the results show that our network outperforms the state-of-the-art methods. The source code is available at https://github.com/SJTU-ViSYS/StructDepth .


title: Radio properties of the optically identified supernova remnant G107.0+9.0

abstract: The vast majority of Galactic supernova remnants (SNRs) were detected by their synchrotron radio emission. Recently, the evolved SNR G107.0+9.0 with a diameter of about 3~deg or 75~pc up to 100~pc in size was optically detected with an indication of faint associated radio emission. This SNR requires a detailed radio study. We aim to search for radio emission from SNR G107.0+9.0 by analysing new data from the Effelsberg 100-m and the Urumqi 25-m radio telescopes in addition to available radio surveys. Radio SNRs outside of the Galactic plane, where confusion is rare, must be very faint if they have not been identified so far. Guided by the H$\alpha$ emission of G107.0+9.0, we separated its radio emission from the Galactic large-scale emission. Radio emission from SNR G107.0+9.0 is detected between 22~MHz and 4.8~GHz with a steep non-thermal spectrum, which confirms G107.0+9.0 as an SNR. Its surface brightness is among the lowest known for Galactic SNRs. Polarised emission is clearly detected at 1.4~GHz but is fainter at 4.8~GHz. We interpret the polarised emission as being caused by a Faraday screen associated with G107.0+9.0 and its surroundings. Its ordered magnetic field along the line of sight is below 1~$\mu$G. At 4.8~GHz, we identified a depolarised filament along the western periphery of G107.0+9.0 with a magnetic field strength along the line of sight $B{_{||}} \sim 15~\mu$G, which requires magnetic field compression. G107.0+9.0 adds to the currently small number of known, evolved, large-diameter, low-surface-brightness Galactic SNRs. We have shown that such objects can be successfully extracted from radio-continuum surveys despite the dominating large-scale diffuse Galactic emission.


title: Microscale simulation of adhesive and cohesive failure in rough interfaces

abstract: Multi-material lightweight designs, e.g. the combination of aluminum with fiber-reinforced composites, are a key feature for the development of innovative and resource-efficient products. The connection properties of such bi-material interfaces are influenced by the geometric structure on different length scales. In this article a modeling strategy is presented to study the failure behavior of rough interfaces within a computational homogenization scheme. We study different local phenomena and their effects on the overall interface characteristics, e.g. the surface roughness and different local failure types as cohesive failure of the bulk material and adhesive failure of the local interface. Since there is a large separation in the length scales of the surface roughness, which is in the micrometer range, and conventional structural components, we employ a numerical homogenization approach to extract effective traction-separation laws to derive effective interface parameters. Adhesive interface failure is modeled by cohesive elements based on a traction-separation law and cohesive failure of the bulk material is described by an elastic-plastic model with progressive damage evolution.


title: Towards More Efficient Federated Learning with Better Optimization Objects

abstract: Federated Learning (FL) is a privacy-protected machine learning paradigm that allows model to be trained directly at the edge without uploading data. One of the biggest challenges faced by FL in practical applications is the heterogeneity of edge node data, which will slow down the convergence speed and degrade the performance of the model. For the above problems, a representative solution is to add additional constraints in the local training, such as FedProx, FedCurv and FedCL. However, the above algorithms still have room for improvement. We propose to use the aggregation of all models obtained in the past as new constraint target to further improve the performance of such algorithms. Experiments in various settings demonstrate that our method significantly improves the convergence speed and performance of the model.


title: Electrochromism of Ni-deficient nickel oxide -- Theoretical justification

abstract: The development of new electrochromic materials and devices, like smart windows, has an enormous impact on the energy efficiency of modern society. One of the crucial materials in this technology is nickel-oxide. Ni-deficient NiO shows anodic electrochromism whose mechanism is still under debate. Using DFT+U calculations, we show that Ni vacancy generation results in the formation of hole polarons localised at the two oxygens next to the vacancy. Upon Li insertion or injection of an extra electron into Ni-deficient NiO, one hole gets filled, and the hole bipolaron is converted into a hole polaron well-localized at one O atom. Furthermore, the calculated absorption coefficients demonstrate that Li insertion/extraction or rather the addition/removal of an extra electron into Ni-deficient NiO can lead to switching between the oxidized (colored) and the reduced (bleached) states. Hence, our results suggest a new mechanism of Ni-deficient NiO electrochromism not related to the Ni2+/Ni3+ transition but based on the formation and annihilation of hole polarons in oxygen p-states.


title: Checking Security Compliance between Models and Code

abstract: It is challenging to verify that the planned security mechanisms are actually implemented in the software. In the context of model-based development, the implemented security mechanisms must capture all intended security properties that were considered in the design models. Assuring this compliance manually is labor intensive and can be error-prone. This work introduces the first semi-automatic technique for secure data flow compliance checks between design models and code. We develop heuristic-based automated mappings between a design-level model (SecDFD, provided by humans) and a code-level representation (Program Model, automatically extracted from the implementation) in order to guide users in discovering compliance violations, and hence potential security flaws in the code. These mappings enable an automated, and project-specific static analysis of the implementation with respect to the desired security properties of the design model. We developed two types of security compliance checks and evaluated the entire approach on open source Java projects.


title: Double exponential lower bounds for possible solutions in the Second Case of the Fermat Last Theorem

abstract: In a recent paper, the first author provided some lower bounds to solutions of the equations of Fermat and Catalan, based on local power series developments at the ramified prime of a prime cyclotomic extension. Although both equations have in fact been proved not to have any unknown solutions, these improved bounds are interesting in the context of a new effective abc inequality announced in the paper \cite{MFHMP} based on Mochizuki's \cite{Mo}[IUT-IV, Theorem A]. In this paper we provide a strengthening of the lower bound for FLT2, which is necessary in order to take advantage of the best upper bounds for primes $p$ for which it was verified on a computer that FLT2 has no solutions.


title: F-PKI: Enabling Innovation and Trust Flexibility in the HTTPS Public-Key Infrastructure

abstract: We present F-PKI, an enhancement to the HTTPS public-key infrastructure (or web PKI) that gives trust flexibility to both clients and domain owners, and enables certification authorities (CAs) to enforce stronger security measures. In today's web PKI, all CAs are equally trusted, and security is defined by the weakest link. We address this problem by introducing trust flexibility in two dimensions: with F-PKI, each domain owner can define a domain policy (specifying, for example, which CAs are authorized to issue certificates for their domain name) and each client can set or choose a validation policy based on trust levels. F-PKI thus supports a property that is sorely needed in today's Internet: trust heterogeneity. Different parties can express different trust preferences while still being able to verify all certificates. In contrast, today's web PKI only allows clients to fully distrust suspicious/misbehaving CAs, which is likely to cause collateral damage in the form of legitimate certificates being rejected. Our contribution is to present a system that is backward compatible, provides sensible security properties to both clients and domain owners, ensures the verifiability of all certificates, and prevents downgrade attacks. Furthermore, F-PKI provides a ground for innovation, as it gives CAs an incentive to deploy new security measures to attract more customers, without having these measures undercut by vulnerable CAs.


title: Influence of charged walls and defects on DC resistivity and dielectric relaxation in Cu-Cl boracite

abstract: Charged domain walls form spontaneously in Cu-Cl boracite on cooling through the phase transition. These walls exhibit changed conductivity compared to the bulk and motion consistent with the existence of negative capacitance. Here, we present the dielectric permittivity and DC resistivity of bulk Cu-Cl boracite as a function of temperature (-140 {\deg}C to 150 {\deg}C) and frequency (1 mHz to 10 MHz). The thermal behaviour of the two observed dielectric relaxations and the DC resistivity is discussed. We propose that the relaxations can be explained by the existence of point defects, most likely local complexes created by a change of valence of Cu and accompanying oxygen vacancies. In addition, the sudden change in resistivity seen at the phase transition suggests that conductive domain walls contribute significantly to the conductivity in the ferroelectric phase.


title: Novel active micromixer platform based on Lorentz force for lab-on-a-chip application

abstract: Mixing in an active micromixer was achieved using Lorentz force-assisted actuation of an enameled copper wire. A single-step template-assisted soft lithography technique was used to construct the mixing chamber. The chamber had a volume of 1.86{\mu}l. Application of a Square wave alternating current in tandem with tension in the wire provided the necessary conditions for the resonant oscillation frequency of the wire. The repeatability of the ratio of higher harmonics to the fundamental frequencies of the oscillating wire conforms to standardization of the device fabrication, assembly, and functionality. Simulations and experiments were performed to validate uniform temperature distribution in the mixing chamber. Real-time optical detection of the sample assisted in sensing the completion of chemical reactions in the chamber. Mixing of various aqueous based chemical reactions was performed. It was found that mixing efficiency was greater than 95 percent. Multiple devices were fabricated to show the usability and reproducibility of the system.


title: Exploiting Scene Graphs for Human-Object Interaction Detection

abstract: Human-Object Interaction (HOI) detection is a fundamental visual task aiming at localizing and recognizing interactions between humans and objects. Existing works focus on the visual and linguistic features of humans and objects. However, they do not capitalise on the high-level and semantic relationships present in the image, which provides crucial contextual and detailed relational knowledge for HOI inference. We propose a novel method to exploit this information, through the scene graph, for the Human-Object Interaction (SG2HOI) detection task. Our method, SG2HOI, incorporates the SG information in two ways: (1) we embed a scene graph into a global context clue, serving as the scene-specific environmental context; and (2) we build a relation-aware message-passing module to gather relationships from objects' neighborhood and transfer them into interactions. Empirical evaluation shows that our SG2HOI method outperforms the state-of-the-art methods on two benchmark HOI datasets: V-COCO and HICO-DET. Code will be available at https://github.com/ht014/SG2HOI.


title: Progressive and Selective Fusion Network for High Dynamic Range Imaging

abstract: This paper considers the problem of generating an HDR image of a scene from its LDR images. Recent studies employ deep learning and solve the problem in an end-to-end fashion, leading to significant performance improvements. However, it is still hard to generate a good quality image from LDR images of a dynamic scene captured by a hand-held camera, e.g., occlusion due to the large motion of foreground objects, causing ghosting artifacts. The key to success relies on how well we can fuse the input images in their feature space, where we wish to remove the factors leading to low-quality image generation while performing the fundamental computations for HDR image generation, e.g., selecting the best-exposed image/region. We propose a novel method that can better fuse the features based on two ideas. One is multi-step feature fusion; our network gradually fuses the features in a stack of blocks having the same structure. The other is the design of the component block that effectively performs two operations essential to the problem, i.e., comparing and selecting appropriate images/regions. Experimental results show that the proposed method outperforms the previous state-of-the-art methods on the standard benchmark tests.


title: Dynamics of a hybrid optomechanical system in the framework of the generalized linear response theory

abstract: We present a theoretical study of the linear response of a driven-dissipative hybrid optomechanical system consisting of an interacting one-dimensional Bose-Einstein condensate (BEC) to an external time-dependent perturbation in the framework of the generalized linear response theory. Using the equations of motion of the open quantum system Green's function, we obtain the linear responses of the optical and atomic modes of the hybrid system and show how the atom-atom interaction of the BEC atoms affects the two normal resonances of the system as well as the anti-resonance frequency at which the optical field amplitude of the cavity becomes zero. Furthermore, an interpretation of the anti-resonance phenomenon is presented based on the the optical spectral density and the self-energy.


title: Anatomical atlas of the upper part of the human head for electroencephalography and bioimpedance applications

abstract: Volume conductor problems in cerebral electrophysiology and bioimpedance do not have analytical solutions for nontrivial geometries and require a 3D model of the head and its electrical properties for solving the associated PDEs numerically. Ideally, the model should be made with patient-specific information. In clinical practice, this is not always the case and an average head model is often used. Also, the electrical properties of the tissues might not be completely known due to natural variability. The objective of this work is to develop a 4D (3D+T) statistical anatomical atlas of the electrical properties of the upper part of the human head for cerebral electrophysiology and bioimpedance applications. The atlas is an important tool for in silico studies on cerebral circulation and electrophysiology that require statistically consistent data, e.g., machine learning, sensitivity analyses, and as a benchmark to test inverse problem solvers. The atlas was constructed based on MRI images of human individuals and comprises the electrical properties of the main internal structures and can be adjusted for specific electrical frequencies. The proposed atlas also comprises a time-varying model of arterial brain circulation, based on the solution of the Navier-Stokes equation in the main arteries and their vascular territories. The atlas was successfully used to simulate electrical impedance tomography measurements indicating the necessity of signal-to-noise between 100 and 125dB to identify vascular changes due to the cardiac cycle, corroborating previous studies.


title: Unbounded Mixed Resolvability of Web Graph and Prism Related Graph

abstract: Let $\mathbb{E}(H)$ and $\mathbb{V}(H)$ denote the edge set and the vertex set of the simple connected graph $H$, respectively. The mixed metric dimension of the graph $H$ is the graph invariant, which is the mixture of two important graph parameters, the edge metric dimension and the metric dimension. In this article, we compute the mixed metric dimension for the two families of the plane graphs viz., the Web graph $\mathbb{W}_{n}$ and the Prism allied graph $\mathbb{D}_{n}^{t}$. We show that the mixed metric dimension is non-constant unbounded for these two families of the plane graph. Moreover, for the Web graph $\mathbb{W}_{n}$ and the Prism allied graph $\mathbb{D}_{n}^{t}$, we unveil that the mixed metric basis set $M_{G}^{m}$ is independent.


title: Software Development Processes in Ocean System Modeling

abstract: Scientific modeling provides mathematical abstractions of real-world systems and builds software as implementations of these mathematical abstractions. Ocean science is a multidisciplinary discipline developing scientific models and simulations as ocean system models that are an essential research asset. In software engineering and information systems research, modeling is also an essential activity. In particular, business process modeling for business process management and systems engineering is the activity of representing processes of an enterprise, so that the current process may be analyzed, improved, and automated. In this paper, we employ process modeling for analyzing scientific software development in ocean science to advance the state in engineering of ocean system models and to better understand how ocean system models are developed and maintained in ocean science. We interviewed domain experts in semi-structured interviews, analyzed the results via thematic analysis, and modeled the results via the business process modeling notation BPMN. The processes modeled as a result describe an aspired state of software development in the domain, which are often not (yet) implemented. This enables existing processes in simulation-based system engineering to be improved with the help of these process models.


title: Impacts of the Cryosphere and Atmosphere on Observed Microseisms Generated in the Southern Ocean

abstract: The Southern Ocean (in the region 60-180$^\circ$E) south of the Indian Ocean, Australia, and the West Pacific is noted for the frequent occurrence and severity of its storms. These storms give rise to high-amplitude secondary microseisms from sources, including the deep ocean regions, and primary microseisms where the swells impinge on submarine topographic features. A better understanding of the varying microseism wavefield enables improvements to seismic imaging and development of proxy observables to complement sparse in situ wave observations and hindcast models of the global ocean wave climate. We analyze 12-26 years of seismic data from 11 seismic stations either on the East Antarctic coast or sited in the Indian Ocean, Australia, and New Zealand. The power spectral density of the seismic wavefield is calculated to explore how the time-changing microseism intensity varies with (i) sea ice coverage surrounding Antarctica and (ii) the Southern Annular Mode (SAM) climate index. Variations in sea ice extent are found to be the dominant control on the microseism intensity at Antarctic stations, which exhibit a seasonal pattern phase-shifted by 4-5 months compared to stations in other continents. Peaks in extremal intensity at East Antarctic stations occur in March-April, with the highest peaks for secondary microseisms occurring during negative SAM events. This relationship between microseism intensity and the SAM index is opposite to that observed on the Antarctic Peninsula. This work informs the complexity of microseism amplitudes in the Southern Hemisphere and assists ongoing interdisciplinary investigations of interannual variability and long-term trends.


title: Multiple-distribution-function lattice Boltzmann method for convection-diffusion-system based incompressible Navier-Stokes equations

abstract: In this paper, a multiple-distribution-function lattice Boltzmann method (MDF-LBM) with multiple-relaxation-time model is proposed for incompressible Navier-Stokes equations (NSEs) which are considered as the coupled convection-diffusion equations (CDEs). Through direct Taylor expansion analysis, we show that the Navier-Stokes equations can be recovered correctly from the present MDF-LBM, and additionally, it is also found that the velocity and pressure can be directly computed through the zero and first-order moments of distribution function. Then in the framework of present MDF-LBM, we develop a locally computational scheme for the velocity gradient where the first-order moment of the non-equilibrium distribution is used, this scheme is also extended to calculate the velocity divergence, strain rate tensor, shear stress and vorticity. Finally, we also conduct some simulations to test the MDF-LBM, and find that the numerical results not only agree with some available analytical and numerical solutions, but also have a second-order convergence rate in space.


title: Separation of tectonic and local components of horizontal GPS station velocities: a case study for glacial isostatic adjustment in East Antarctica

abstract: Accurate measurement of the local component of geodetic motion at GPS stations presents a challenge due to the need to separate this signal from the tectonic plate rotation. A pressing example is the observation of glacial isostatic adjustment (GIA) which constrains the Earth's response to ice unloading, and hence, contributions of ice-covered regions such as Antarctica to global sea level rise following ice mass loss. We focus on horizontal GPS velocities which typically contain a large component of plate rotation and a smaller local component primarily relating to GIA. Incomplete separation of these components introduces significant bias into estimates of GIA motion vectors. We present the results of a series of tests based on the motions of GPS stations from East Antarctica: 1) signal separation for sets of synthetic data that replicate the geometric character of non-separable, and separable, GIA-like horizontal velocities; and 2) signal separation for real GPS station data with an appraisal of uncertainties. For both synthetic and real motions, we compare results where the stations are unweighted, and where each station is areal-weighted using a metric representing the inverse of the spatial density of neighbouring stations. From the synthetic tests, we show that a GIA-like signal is recoverable from the plate rotation signal providing it has geometric variability across East Antarctica. We also show that areal-weighting has a very significant effect on the ability to recover a GIA-like signal with geometric variability, and hence on separating the plate rotation and local components. For the real data, assuming a rigid Antarctic plate, fitted plate rotation parameters compare well with other studies in the literature. We find that 25 out of 36 GPS stations examined in East Antarctica have non-zero local horizontal velocities, at the 2$\sigma$ level, after signal separation.


title: 3D Shapes Local Geometry Codes Learning with SDF

abstract: A signed distance function (SDF) as the 3D shape description is one of the most effective approaches to represent 3D geometry for rendering and reconstruction. Our work is inspired by the state-of-the-art method DeepSDF that learns and analyzes the 3D shape as the iso-surface of its shell and this method has shown promising results especially in the 3D shape reconstruction and compression domain. In this paper, we consider the degeneration problem of reconstruction coming from the capacity decrease of the DeepSDF model, which approximates the SDF with a neural network and a single latent code. We propose Local Geometry Code Learning (LGCL), a model that improves the original DeepSDF results by learning from a local shape geometry of the full 3D shape. We add an extra graph neural network to split the single transmittable latent code into a set of local latent codes distributed on the 3D shape. Mentioned latent codes are used to approximate the SDF in their local regions, which will alleviate the complexity of the approximation compared to the original DeepSDF. Furthermore, we introduce a new geometric loss function to facilitate the training of these local latent codes. Note that other local shape adjusting methods use the 3D voxel representation, which in turn is a problem highly difficult to solve or even is insolvable. In contrast, our architecture is based on graph processing implicitly and performs the learning regression process directly in the latent code space, thus make the proposed architecture more flexible and also simple for realization. Our experiments on 3D shape reconstruction demonstrate that our LGCL method can keep more details with a significantly smaller size of the SDF decoder and outperforms considerably the original DeepSDF method under the most important quantitative metrics.


title: Bayesian sample size determination for diagnostic accuracy studies

abstract: The development of a new diagnostic test ideally follows a sequence of stages which, amongst other aims, evaluate technical performance. This includes an analytical validity study, a diagnostic accuracy study and an interventional clinical utility study. Current approaches to the design and analysis of the diagnostic accuracy study can suffer from prohibitively large sample sizes and interval estimates with undesirable properties. In this paper, we propose a novel Bayesian approach which takes advantage of information available from the analytical validity stage. We utilise assurance to calculate the required sample size based on the target width of a posterior probability interval and can choose to use or disregard the data from the analytical validity study when subsequently inferring measures of test accuracy. Sensitivity analyses are performed to assess the robustness of the proposed sample size to the choice of prior, and prior-data conflict is evaluated by comparing the data to the prior predictive distributions. We illustrate the proposed approach using a motivating real-life application involving a diagnostic test for ventilator associated pneumonia. Finally, we compare the properties of the proposed approach against commonly used alternatives. The results show that by making better use of existing data from earlier studies, the assurance-based approach can not only reduce the required sample size when compared to alternatives, but can also produce more reliable sample sizes for diagnostic accuracy studies.


title: On a definition of logarithm of quaternionic functions

abstract: For a slice--regular quaternionic function $f,$ the classical exponential function $\exp f$ is not slice--regular in general. An alternative definition of exponential function, the $*$-exponential $\exp_*$, was given: if $f$ is a slice--regular function, then $\exp_*(f)$ is a slice--regular function as well. The study of a $*$-logarithm $\log_*(f)$ of a slice--regular function $f$ becomes of great interest for basic reasons, and is performed in this paper. The main result shows that the existence of such a $\log_*(f)$ depends only on the structure of the zero set of the vectorial part $f_v$ of the slice--regular function $f=f_0+f_v$, besides the topology of its domain of definition. We also show that, locally, every slice--regular nonvanishing function has a $*$-logarithm and, at the end, we present an example of a nonvanishing slice--regular function on a ball which does not admit a $*$-logarithm on that ball.


title: Feature Stylization and Domain-aware Contrastive Learning for Domain Generalization

abstract: Domain generalization aims to enhance the model robustness against domain shift without accessing the target domain. Since the available source domains for training are limited, recent approaches focus on generating samples of novel domains. Nevertheless, they either struggle with the optimization problem when synthesizing abundant domains or cause the distortion of class semantics. To these ends, we propose a novel domain generalization framework where feature statistics are utilized for stylizing original features to ones with novel domain properties. To preserve class information during stylization, we first decompose features into high and low frequency components. Afterward, we stylize the low frequency components with the novel domain styles sampled from the manipulated statistics, while preserving the shape cues in high frequency ones. As the final step, we re-merge both components to synthesize novel domain features. To enhance domain robustness, we utilize the stylized features to maintain the model consistency in terms of features as well as outputs. We achieve the feature consistency with the proposed domain-aware supervised contrastive loss, which ensures domain invariance while increasing class discriminability. Experimental results demonstrate the effectiveness of the proposed feature stylization and the domain-aware contrastive loss. Through quantitative comparisons, we verify the lead of our method upon existing state-of-the-art methods on two benchmarks, PACS and Office-Home.


title: Beyond NED: Fast and Effective Search Space Reduction for Complex Question Answering over Knowledge Bases

abstract: Answering complex questions over knowledge bases (KB-QA) faces huge input data with billions of facts, involving millions of entities and thousands of predicates. For efficiency, QA systems first reduce the answer search space by identifying a set of facts that is likely to contain all answers and relevant cues. The most common technique for doing this is to apply named entity disambiguation (NED) systems to the question, and retrieve KB facts for the disambiguated entities. This work presents CLOCQ, an efficient method that prunes irrelevant parts of the search space using KB-aware signals. CLOCQ uses a top-k query processor over score-ordered lists of KB items that combine signals about lexical matching, relevance to the question, coherence among candidate items, and connectivity in the KB graph. Experiments with two recent QA benchmarks for complex questions demonstrate the superiority of CLOCQ over state-of-the-art baselines with respect to answer presence, size of the search space, and runtimes.


title: Development of magnetism in Fe-doped magnetic semiconductors: Resonant photoemission and x-ray magnetic circular dichroism studies of (Ga,Fe)As

abstract: Fe-doped III-V ferromagnetic semiconductors (FMSs) such as (In,Fe)As, (Ga,Fe)Sb, (In,Fe)Sb, and (Al,Fe)Sb are promising materials for spintronic device applications because of the availability of both n- and p-type materials and the high Curie temperatures. On the other hand, (Ga,Fe)As, which has the same zinc-blende crystal structure as the Fe-doped III-V FMSs, shows paramagnetism. The origin of the different magnetic properties in the Fe-doped III-V semiconductors remains to be elucidated. To address this issue, we use resonant photoemission spectroscopy (RPES) and x-ray magnetic circular dichroism (XMCD) to investigate the electronic and magnetic properties of the Fe ions in a paramagnetic (Ga$_{0.95}$,Fe$_{0.05}$)As thin film. The observed Fe 2$p$-3$d$ RPES spectra show that the Fe 3$d$ states are similar to those of ferromagnetic (Ga,Fe)Sb. The estimated Fermi level is located in the middle of the band gap in (Ga,Fe)As. The Fe $L_{2,3}$ XMCD spectra of (Ga$_{0.95}$,Fe$_{0.05}$)As show pre-edge structures, which are not observed in the Fe-doped FMSs, indicating that the minority-spin ($\downarrow$) $e_\downarrow$ states are vacant in (Ga$_{0.95}$,Fe$_{0.05}$)As. The XMCD results suggest that the carrier-induced ferromagnetic interaction in (Ga$_{0.95}$,Fe$_{0.05}$)As is short-ranged and weaker than that in the Fe-doped FMSs. The experimental findings suggest that the electron occupancy of the $e_\downarrow$ states contributes to the appearance of ferromagnetism in the Fe-doped III-V semiconductors, for p-type as well as n-type compounds.


title: Classifier construction in Boolean networks using algebraic methods

abstract: We investigate how classifiers for Boolean networks (BNs) can be constructed and modified under constraints. A typical constraint is to observe only states in attractors or even more specifically steady states of BNs. Steady states of BNs are one of the most interesting features for application. Large models can possess many steady states. In the typical scenario motivating this paper we start from a Boolean model with a given classification of the state space into phenotypes defined by high-level readout components. In order to link molecular biomarkers with experimental design, we search for alternative components suitable for the given classification task. This is useful for modelers of regulatory networks for suggesting experiments and measurements based on their models. It can also help to explain causal relations between components and phenotypes. To tackle this problem we need to use the structure of the BN and the constraints. This calls for an algebraic approach. Indeed we demonstrate that this problem can be reformulated into the language of algebraic geometry. While already interesting in itself, this allows us to use Groebner bases to construct an algorithm for finding such classifiers. We demonstrate the usefulness of this algorithm as a proof of concept on a model with 25 components.


title: Semantic Compositional Learning for Low-shot Scene Graph Generation

abstract: Scene graphs provide valuable information to many downstream tasks. Many scene graph generation (SGG) models solely use the limited annotated relation triples for training, leading to their underperformance on low-shot (few and zero) scenarios, especially on the rare predicates. To address this problem, we propose a novel semantic compositional learning strategy that makes it possible to construct additional, realistic relation triples with objects from different images. Specifically, our strategy decomposes a relation triple by identifying and removing the unessential component and composes a new relation triple by fusing with a semantically or visually similar object from a visual components dictionary, whilst ensuring the realisticity of the newly composed triple. Notably, our strategy is generic and can be combined with existing SGG models to significantly improve their performance. We performed a comprehensive evaluation on the benchmark dataset Visual Genome. For three recent SGG models, adding our strategy improves their performance by close to 50\%, and all of them substantially exceed the current state-of-the-art.


title: An ObsPy library for event detection and seismic attribute calculation: preparing waveforms for automated analysis

abstract: We have implemented an extension for the observational seismology obspy software package to provide a streamlined tool tailored to the processing of seismic signals from non-earthquake sources, in particular those from deforming systems such as glaciers and landslides. This seismic attributes library provides functionality to: (1) download and/or pre-process seismic waveform data; (2) detect and catalogue seismic events using multi-component signals from one or more seismometers; and (3) calculate characteristics ('attributes'/'features') of the identified events. The workflow is controlled by three main functions that have been tested for the breadth of data types expected from permanent and campaign-deployed seismic instrumentation. A selected STA/LTA-type (short-term average/long-term average), or other, event detection algorithm can be applied to the waveforms and user-defined functions implemented to calculate any required characteristics of the detected events. The code is written in Python 2/3 and is available on GitHub together with detailed documentation and worked examples.


title: Finite-Time Thermodynamics of Fluctuations in Microscopic Heat Engines

abstract: Fluctuations of thermodynamic quantities become non-negligible and play an important role when the system size is small. We develop finite-time thermodynamics of fluctuations in microscopic heat engines whose environmental temperature and mechanical parameter are driven periodically in time. Within the slow-driving regime, this formalism universally holds in a coarse-grained time scale whose resolution is much longer than the correlation time of the fluctuations, and is shown to be consistent with the relation analogous to the fluctuation-dissipation relation. Employing a geometric argument, a scenario to simultaneously minimize both the average and fluctuation of the dissipation in the Carnot cycle is identified. For this simultaneous optimization, the existence of a zero eigenvalue of the singular metric for the scale invariant equilibrium state is found to be essential. Furthermore, we demonstrate that our optimized protocol can improve the dissipation and its fluctuation over the current experiment.


title: Forgetting Formulas and Signature Elements in Epistemic States

abstract: Delgrande's knowledge level account of forgetting provides a general approach to forgetting syntax elements from sets of formulas with links to many other forgetting operations, in particular, to Boole's variable elimination. On the other hand, marginalisation of epistemic states is a specific approach to actively reduce signatures in more complex semantic frameworks, also aiming at forgetting atoms that is very well known from probability theory. In this paper, we bring these two perspectives of forgetting together by showing that marginalisation can be considered as an extension of Delgrande's approach to the level of epistemic states. More precisely, we generalize Delgrande's axioms of forgetting to forgetting in epistemic states, and show that marginalisation is the most specific and informative forgetting operator that satisfies these axioms. Moreover, we elaborate suitable phrasings of Delgrande's concept of forgetting for formulas by transferring the basic ideas of the axioms to forgetting formulas from epistemic states. However, here we show that this results in trivial approaches to forgetting formulas. This finding supports the claim that forgetting syntax elements is essentially different from belief contraction, as e.g. axiomatized in the AGM belief change framework.


title: Item Response Theory -- A Statistical Framework for Educational and Psychological Measurement

abstract: Item response theory (IRT) has become one of the most popular statistical models for psychometrics, a field of study concerned with the theory and techniques of psychological measurement. The IRT models are latent factor models tailored to the analysis, interpretation, and prediction of individuals' behaviors in answering a set of measurement items that typically involve categorical response data. Many important questions of measurement are directly or indirectly answered through the use of IRT models, including scoring individuals' test performances, validating a test scale, linking two tests, among others. This paper provides a review of item response theory, including its statistical framework and psychometric applications. We establish connections between item response theory and related topics in statistics, including empirical Bayes, nonparametric methods, matrix completion, regularized estimation, and sequential analysis. Possible future directions of IRT are discussed from the perspective of statistical learning.


title: Fast Newton method solving KLR based on Multilevel Circulant Matrix with log-linear complexity

abstract: Kernel logistic regression (KLR) is a conventional nonlinear classifier in machine learning. With the explosive growth of data size, the storage and computation of large dense kernel matrices is a major challenge in scaling KLR. Even the nystr\"{o}m approximation is applied to solve KLR, it also faces the time complexity of $O(nc^2)$ and the space complexity of $O(nc)$, where $n$ is the number of training instances and $c$ is the sampling size. In this paper, we propose a fast Newton method efficiently solving large-scale KLR problems by exploiting the storage and computing advantages of multilevel circulant matrix (MCM). Specifically, by approximating the kernel matrix with an MCM, the storage space is reduced to $O(n)$, and further approximating the coefficient matrix of the Newton equation as MCM, the computational complexity of Newton iteration is reduced to $O(n \log n)$. The proposed method can run in log-linear time complexity per iteration, because the multiplication of MCM (or its inverse) and vector can be implemented the multidimensional fast Fourier transform (mFFT). Experimental results on some large-scale binary-classification and multi-classification problems show that the proposed method enables KLR to scale to large scale problems with less memory consumption and less training time without sacrificing test accuracy.


title: Prof. Sch\"onhage's Mysterious Machines

abstract: We give a simple Sch\"onhage Storage Modification Machine that simulates one iteration of the Rule 110 cellular automaton. This provides an alternative construction to Sch\"onhage's original proof of the Turing completeness of the eponymous machines.


title: Generating Superpixels for High-resolution Images with Decoupled Patch Calibration

abstract: Superpixel segmentation has recently seen important progress benefiting from the advances in differentiable deep learning. However, the very high-resolution superpixel segmentation still remains challenging due to the expensive memory and computation cost, making the current advanced superpixel networks fail to process. In this paper, we devise Patch Calibration Networks (PCNet), aiming to efficiently and accurately implement high-resolution superpixel segmentation. PCNet follows the principle of producing high-resolution output from low-resolution input for saving GPU memory and relieving computation cost. To recall the fine details destroyed by the down-sampling operation, we propose a novel Decoupled Patch Calibration (DPC) branch for collaboratively augment the main superpixel generation branch. In particular, DPC takes a local patch from the high-resolution images and dynamically generates a binary mask to impose the network to focus on region boundaries. By sharing the parameters of DPC and main branches, the fine-detailed knowledge learned from high-resolution patches will be transferred to help calibrate the destroyed information. To the best of our knowledge, we make the first attempt to consider the deep-learning-based superpixel generation for high-resolution cases. To facilitate this research, we build evaluation benchmarks from two public datasets and one new constructed one, covering a wide range of diversities from fine-grained human parts to cityscapes. Extensive experiments demonstrate that our PCNet can not only perform favorably against the state-of-the-arts in the quantitative results but also improve the resolution upper bound from 3K to 5K on 1080Ti GPUs.


title: The Nirenberg problem on half spheres: A bubbling off analysis

abstract: In this paper we perform a refined blow up analysis of finite energy approximated solutions to a Nirenberg type problem on half spheres. The later consists of prescribing, under minimal boundary conditions, the scalar curvature to be a given function. In particular we give a precise location of blow up points and blow up rates. Such an analysis shows that the blow up picture of the Nirenberg problem on half spheres is far more complicated that in the case of closed spheres. Indeed besides the combination of interior and boundary blow ups, there are non simple blow up points for subcritical solutions having zero or nonzero weak limit. The formation of such non simple blow ups is governed by a vortex problem, unveiling an unexpected connection with Euler equations in fluid dynamic and mean fields type equations in mathematical physics.


title: Regularity comparison of symbolic powers, integral closure of powers and powers of edge ideals

abstract: We study the regularity of small symbolic powers and integral closure of small powers of edge ideals. We also prove that the regularity of integral closure of powers of edge ideals of graphs with at most two odd cycles is the same as the regularity of their powers.


title: Simulation of self-piercing rivetting processes in fibre reinforced polymers: Material modelling and parameter identification

abstract: This paper addresses the numerical simulation of self-piercing rivetting processes to join fibre reinforced polymers and sheet metals. Special emphasis is placed on the modelling of the deformation and failure behaviour of the composite material. Different from the simulation of rivetting processes in metals, which requires the modelling of large plastic deformations, the mechanical response of composites is typically governed by intra- and interlaminar damage phenomena. Depending on the polymeric matrix, viscoelastic effects can interfere particularly with the long-term behaviour of the joint. We propose a systematic approach to the modelling of composite laminates, discuss limitations of the used model, and present details of parameter identification. Homogenisation techniques are applied to predict the mechanical behaviour of the composite in terms of effective anisotropic elastic and viscoelastic material properties. In combination with a continuum damage approach this model represents the deformation and failure behaviour of individual laminae. Cohesive zone elements enable the modelling of delamination processes. The parameters of the latter models are identified from experiments. The defined material model for the composite is eventually utilised in the simulation of an exemplary self-piercing rivetting process.


title: Solving the Hubbard model using density matrix embedding theory and the variational quantum eigensolver

abstract: Calculating the ground state properties of a Hamiltonian can be mapped to the problem of finding the ground state of a smaller Hamiltonian through the use of embedding methods. These embedding techniques have the ability to drastically reduce the problem size, and hence the number of qubits required when running on a quantum computer. However, the embedding process can produce a relatively complicated Hamiltonian, leading to a more complex quantum algorithm. In this paper we carry out a detailed study into how density matrix embedding theory (DMET) could be implemented on a quantum computer to solve the Hubbard model. We consider the variational quantum eigensolver (VQE) as the solver for the embedded Hamiltonian within the DMET algorithm. We derive the exact form of the embedded Hamiltonian and use it to construct efficient ansatz circuits and measurement schemes. We conduct detailed numerical simulations up to 16 qubits, the largest to date, for a range of Hubbard model parameters and find that the combination of DMET and VQE is effective for reproducing ground state properties of the model.


title: Settling the Variance of Multi-Agent Policy Gradients

abstract: Policy gradient (PG) methods are popular reinforcement learning (RL) methods where a baseline is often applied to reduce the variance of gradient estimates. In multi-agent RL (MARL), although the PG theorem can be naturally extended, the effectiveness of multi-agent PG (MAPG) methods degrades as the variance of gradient estimates increases rapidly with the number of agents. In this paper, we offer a rigorous analysis of MAPG methods by, firstly, quantifying the contributions of the number of agents and agents' explorations to the variance of MAPG estimators. Based on this analysis, we derive the optimal baseline (OB) that achieves the minimal variance. In comparison to the OB, we measure the excess variance of existing MARL algorithms such as vanilla MAPG and COMA. Considering using deep neural networks, we also propose a surrogate version of OB, which can be seamlessly plugged into any existing PG methods in MARL. On benchmarks of Multi-Agent MuJoCo and StarCraft challenges, our OB technique effectively stabilises training and improves the performance of multi-agent PPO and COMA algorithms by a significant margin.


title: The Fine-Grained Complexity of Episode Matching

abstract: Given two strings $S$ and $P$, the Episode Matching problem is to find the shortest substring of $S$ that contains $P$ as a subsequence. The best known upper bound for this problem is $\tilde O(nm)$ by Das et al. (1997) , where $n,m$ are the lengths of $S$ and $P$, respectively. Although the problem is well studied and has many applications in data mining, this bound has never been improved. In this paper we show why this is the case by proving that no $O((nm)^{1-\epsilon})$ algorithm (even for binary strings) exists, unless the Strong Exponential Time Hypothesis (SETH) is false. We then consider the indexing version of the problem, where $S$ is preprocessed into a data structure for answering episode matching queries $P$. We show that for any $\tau$, there is a data structure using $O(n+\left(\frac{n}{\tau}\right)^k)$ space that answers episode matching queries for any $P$ of length $k$ in $O(k\cdot \tau \cdot \log \log n )$ time. We complement this upper bound with an almost matching lower bound, showing that any data structure that answers episode matching queries for patterns of length $k$ in time $O(n^\delta)$, must use $\Omega(n^{k-k\delta-o(1)})$ space, unless the Strong $k$-Set Disjointness Conjecture is false. Finally, for the special case of $k=2$, we present a faster construction of the data structure using fast min-plus multiplication of bounded integer matrices.


title: UNIQORN: Unified Question Answering over RDF Knowledge Graphs and Natural Language Text

abstract: Question answering over RDF data like knowledge graphs has been greatly advanced, with a number of good systems providing crisp answers for natural language questions or telegraphic queries. Some of these systems incorporate textual sources as additional evidence for the answering process, but cannot compute answers that are present in text alone. Conversely, the IR and NLP communities have addressed QA over text, but such systems barely utilize semantic data and knowledge. This paper presents a method for complex questions that can seamlessly operate over a mixture of RDF datasets and text corpora, or individual sources, in a unified framework. Our method, called UNIQORN, builds a context graph on-the-fly, by retrieving question-relevant evidences from the RDF data and/or a text corpus, using fine-tuned BERT models. The resulting graph typically contains all question-relevant evidences but also a lot of noise. UNIQORN copes with this input by a graph algorithm for Group Steiner Trees, that identifies the best answer candidates in the context graph. Experimental results on several benchmarks of complex questions with multiple entities and relations, show that UNIQORN significantly outperforms state-of-the-art methods for heterogeneous QA -- in a full training mode, as well as in zero-shot settings. The graph-based methodology provides user-interpretable evidence for the complete answering process.


title: Probability Estimation of Uncertain Process Trace Realizations

abstract: Process mining is a scientific discipline that analyzes event data, often collected in databases called event logs. Recently, uncertain event logs have become of interest, which contain non-deterministic and stochastic event attributes that may represent many possible real-life scenarios. In this paper, we present a method to reliably estimate the probability of each of such scenarios, allowing their analysis. Experiments show that the probabilities calculated with our method closely match the true chances of occurrence of specific outcomes, enabling more trustworthy analyses on uncertain data.


title: On the relation between active-region lifetimes and the autocorrelation function of light curves

abstract: Rotational modulation of stellar light curves due to dark spots encloses information on spot properties and, thus, on magnetic activity. In particular, the decay of the autocorrelation function (ACF) of light curves is presumed to be linked to spot/active-region lifetimes, given that some coherence of the signal is expected throughout their lifetime. In the literature, an exponential decay has been adopted to describe the ACF. Here, we investigate the relation between the ACF and the active-region lifetimes. For this purpose, we produce artificial light curves of rotating spotted stars with different observation, stellar, and spot properties. We find that a linear decay and respective timescale better represent the ACF than the exponential decay. We therefore adopt a linear decay. The spot/active-region timescale inferred from the ACF is strongly restricted by the observation length of the light curves. For 1-year light curves our results are consistent with no correlation between the inferred and the input timescales. The ACF decay is also significantly affected by differential rotation and spot evolution: strong differential rotation and fast spot evolution contribute to a more severe underestimation of the active-region lifetimes. Nevertheless, in both circumstances the observed timescale is still correlated with the input lifetimes. Therefore, our analysis suggests that the ACF decay can be used to obtain a lower limit of the active-region lifetimes for relatively long-term observations. However, strategies to avoid or flag targets with fast active-region evolution or displaying stable beating patterns associated with differential rotation should be employed.


title: Spatially-Adaptive Image Restoration using Distortion-Guided Networks

abstract: We present a general learning-based solution for restoring images suffering from spatially-varying degradations. Prior approaches are typically degradation-specific and employ the same processing across different images and different pixels within. However, we hypothesize that such spatially rigid processing is suboptimal for simultaneously restoring the degraded pixels as well as reconstructing the clean regions of the image. To overcome this limitation, we propose SPAIR, a network design that harnesses distortion-localization information and dynamically adjusts computation to difficult regions in the image. SPAIR comprises of two components, (1) a localization network that identifies degraded pixels, and (2) a restoration network that exploits knowledge from the localization network in filter and feature domain to selectively and adaptively restore degraded pixels. Our key idea is to exploit the non-uniformity of heavy degradations in spatial-domain and suitably embed this knowledge within distortion-guided modules performing sparse normalization, feature extraction and attention. Our architecture is agnostic to physical formation model and generalizes across several types of spatially-varying degradations. We demonstrate the efficacy of SPAIR individually on four restoration tasks-removal of rain-streaks, raindrops, shadows and motion blur. Extensive qualitative and quantitative comparisons with prior art on 11 benchmark datasets demonstrate that our degradation-agnostic network design offers significant performance gains over state-of-the-art degradation-specific architectures. Code available at https://github.com/human-analysis/spatially-adaptive-image-restoration.


title: Reproducible radiomics through automated machine learning validated on twelve clinical applications

abstract: Radiomics uses quantitative medical imaging features to predict clinical outcomes. Currently, in a new clinical application, finding the optimal radiomics method out of the wide range of available options has to be done manually through a heuristic trial-and-error process. In this study we propose a framework for automatically optimizing the construction of radiomics workflows per application. To this end, we formulate radiomics as a modular workflow and include a large collection of common algorithms for each component. To optimize the workflow per application, we employ automated machine learning using a random search and ensembling. We evaluate our method in twelve different clinical applications, resulting in the following area under the curves: 1) liposarcoma (0.83); 2) desmoid-type fibromatosis (0.82); 3) primary liver tumors (0.80); 4) gastrointestinal stromal tumors (0.77); 5) colorectal liver metastases (0.61); 6) melanoma metastases (0.45); 7) hepatocellular carcinoma (0.75); 8) mesenteric fibrosis (0.80); 9) prostate cancer (0.72); 10) glioma (0.71); 11) Alzheimer's disease (0.87); and 12) head and neck cancer (0.84). We show that our framework has a competitive performance compared human experts, outperforms a radiomics baseline, and performs similar or superior to Bayesian optimization and more advanced ensemble approaches. Concluding, our method fully automatically optimizes the construction of radiomics workflows, thereby streamlining the search for radiomics biomarkers in new applications. To facilitate reproducibility and future research, we publicly release six datasets, the software implementation of our framework, and the code to reproduce this study.


title: A Generalization of Cyclic Code Equivalence Algorithm to Constacyclic Codes

abstract: Recently, a new algorithm to test equivalence of two cyclic codes has been introduced which is efficient and produced useful results. In this work, we generalize this algorithm to constacyclic codes. As an application of the algorithm we found many constacyclic codes with good parameters and properties. In particular, we found 23 new codes that improve the minimum distances of BKLCs.


title: Confluence in quantum K-theory of weak Fano manifolds and q-oscillatory integrals for toric manifolds

abstract: For a smooth projective variety whose anti-canonical bundle is nef, we prove confluence of the small $K$-theoretic $J$-function, i.e., after rescaling appropriately the Novikov variables, the small $K$-theoretic $J$-function has a limit when $q\to 1$, which coincides with the small cohomological $J$-function. Furthermore, in the case of a Fano toric manifold $X$ of Picard rank 2, we prove the $K$-theoretic version of an identity due to Iritani that compares the $I$-function of the toric manifold and the oscillatory integral of the toric mirror. In particular, our confluence result yields a new proof of Iritani's identity in the case of a toric manifold of Picard rank 2.


title: Online Range Image-based Pole Extractor for Long-term LiDAR Localization in Urban Environments

abstract: Reliable and accurate localization is crucial for mobile autonomous systems. Pole-like objects, such as traffic signs, poles, lamps, etc., are ideal landmarks for localization in urban environments due to their local distinctiveness and long-term stability. In this paper, we present a novel, accurate, and fast pole extraction approach that runs online and has little computational demands such that this information can be used for a localization system. Our method performs all computations directly on range images generated from 3D LiDAR scans, which avoids processing 3D point cloud explicitly and enables fast pole extraction for each scan. We test the proposed pole extraction and localization approach on different datasets with different LiDAR scanners, weather conditions, routes, and seasonal changes. The experimental results show that our approach outperforms other state-of-the-art approaches, while running online without a GPU. Besides, we release our pole dataset to the public for evaluating the performance of pole extractor, as well as the implementation of our approach.


title: Perturbations of giant magnons and single spikes in $\mathbb R \times S^2$

abstract: Perturbations of giant magnons and single spikes in a $2+1$ dimensional $\mathbb R \times S^2$ background spacetime are analysed. Using the form of the giant magnon solution in the Jevicki-Jin gauge,the well-known Jacobi equation for small normal deformations of an embedded time-like surface are written down. Surprisingly, this equation reduces to a simple wave equation in a Minkowski background. The finiteness of perturbations and the ensuing stability of such giant magnons under small deformations are then discussed. It turns out that only the zero mode has finite deformations and is stable. Thereafter, we move on to explore the single spike solution in the Jevicki-Jin gauge. We obtain and solve the perturbation equation numerically and address stability issues.


title: VolumeFusion: Deep Depth Fusion for 3D Scene Reconstruction

abstract: To reconstruct a 3D scene from a set of calibrated views, traditional multi-view stereo techniques rely on two distinct stages: local depth maps computation and global depth maps fusion. Recent studies concentrate on deep neural architectures for depth estimation by using conventional depth fusion method or direct 3D reconstruction network by regressing Truncated Signed Distance Function (TSDF). In this paper, we advocate that replicating the traditional two stages framework with deep neural networks improves both the interpretability and the accuracy of the results. As mentioned, our network operates in two steps: 1) the local computation of the local depth maps with a deep MVS technique, and, 2) the depth maps and images' features fusion to build a single TSDF volume. In order to improve the matching performance between images acquired from very different viewpoints (e.g., large-baseline and rotations), we introduce a rotation-invariant 3D convolution kernel called PosedConv. The effectiveness of the proposed architecture is underlined via a large series of experiments conducted on the ScanNet dataset where our approach compares favorably against both traditional and deep learning techniques.


title: 2PPS -- Publish/Subscribe with Provable Privacy

abstract: Publish/Subscribe systems like Twitter and Reddit let users communicate with many recipients without requiring prior personal connections. The content that participants of these systems publish and subscribe to is typically public, but they may nevertheless wish to remain anonymous. While many existing systems allow users to omit explicit identifiers, they do not address the obvious privacy risks of being associated with content that may contain a wide range of sensitive information. We present 2PPS (Twice-Private Publish-Subscribe), the first pub/sub protocol to deliver strong provable privacy protection for both publishers and subscribers, leveraging Distributed Point Function-based secret sharing for publishing and Private Information Retrieval for subscribing. 2PPS does not require trust in other clients and its privacy guarantees hold as long as even a single honest server participant remains. Furthermore, it is scalable and delivers latency suitable for microblogging applications. A prototype implementation of 2PPS can handle 100,000 concurrent active clients with 5 seconds end-to-end latency and significantly lower bandwidth requirements than comparable systems.


title: Inner functions, invariant subspaces and cyclicity in $\mathcal{P}^t(\mu)$-spaces

abstract: We study the invariant subspaces generated by inner functions for a class of $\mathcal{P}^t(\mu)$-spaces which can be identified as spaces of analytic functions in the unit disk $\mathbb{D}$, where $\mu$ is a measure supported in the closed unit disk and $\mathcal{P}^t(\mu)$ is the span of analytic polynomials in the usual Lebesgue space $L^t(\mu)$. Our measures define a range of spaces somewhere in between the Hardy and the Bergman spaces, and our results are thus a mixture of results from these two theories. For a large class of measures $\mu$ we characterize the cyclic inner functions, and exhibit some interesting properties of invariant subspaces generated by non-cyclic inner functions. Our study is motivated by a connection with the problem of smooth approximations in de Branges-Rovnyak spaces.


title: Dynamics of particle production in Pb--Pb collisions at $\sqrt{s_{NN}}$ = 2.76 TeV using PYTHIA8 Angantyr model

abstract: We study the dynamics of identified, strange, and multi-strange particle production in Pb--Pb collisions at $\sqrt{s_{\rm NN}}$ = 2.76 TeV using the recently developed Angantyr model, incorporated within PYTHIA8. We show the interplay between multi-parton interactions (MPI) and color reconnection (CR) on the experimentally measured quantities. The charged-particle multiplicity ($N_{\rm ch}$) and mean transverse momentum ($\langle p_{\rm T}\rangle$) distributions are well explained by PYTHIA8 Angantyr with proper tuning, as presented in this paper. Predictions of $p_{\rm T}$ spectra, $\langle p_{\rm T} \rangle$, $p_{\rm T}$ integrated yields of the identified, strange and multi-strange particles are studied. To provide insight into the collective nature of the produced particles, we look into the ratio of particle yields to pions and kaons. PYTHIA8 Angantyr with CR and MPI mimic signs of collectivity and is possibly one of the suitable candidates to study ultra-relativistic heavy-ion collisions.


title: An Innovative Attack Modelling and Attack Detection Approach for a Waiting Time-based Adaptive Traffic Signal Controller

abstract: An adaptive traffic signal controller (ATSC) combined with a connected vehicle (CV) concept uses real-time vehicle trajectory data to regulate green time and has the ability to reduce intersection waiting time significantly and thereby improve travel time in a signalized corridor. However, the CV-based ATSC increases the size of the surface vulnerable to potential cyber-attack, allowing an attacker to generate disastrous traffic congestion in a roadway network. An attacker can congest a route by generating fake vehicles by maintaining traffic and car-following rules at a slow rate so that the signal timing and phase change without having any abrupt changes in number of vehicles. Because of the adaptive nature of ATSC, it is a challenge to model this kind of attack and also to develop a strategy for detection. This paper introduces an innovative "slow poisoning" cyberattack for a waiting time based ATSC algorithm and a corresponding detection strategy. Thus, the objectives of this paper are to: (i) develop a "slow poisoning" attack generation strategy for an ATSC, and (ii) develop a prediction-based "slow poisoning" attack detection strategy using a recurrent neural network -- i.e., long short-term memory model. We have generated a "slow poisoning" attack modeling strategy using a microscopic traffic simulator -- Simulation of Urban Mobility (SUMO) -- and used generated data from the simulation to develop both the attack model and detection model. Our analyses revealed that the attack strategy is effective in creating a congestion in an approach and detection strategy is able to flag the attack.


title: A Reinforcement Learning Approach for GNSS Spoofing Attack Detection of Autonomous Vehicles

abstract: A resilient and robust positioning, navigation, and timing (PNT) system is a necessity for the navigation of autonomous vehicles (AVs). Global Navigation Satelite System (GNSS) provides satellite-based PNT services. However, a spoofer can temper an authentic GNSS signal and could transmit wrong position information to an AV. Therefore, a GNSS must have the capability of real-time detection and feedback-correction of spoofing attacks related to PNT receivers, whereby it will help the end-user (autonomous vehicle in this case) to navigate safely if it falls into any compromises. This paper aims to develop a deep reinforcement learning (RL)-based turn-by-turn spoofing attack detection using low-cost in-vehicle sensor data. We have utilized Honda Driving Dataset to create attack and non-attack datasets, develop a deep RL model, and evaluate the performance of the RL-based attack detection model. We find that the accuracy of the RL model ranges from 99.99% to 100%, and the recall value is 100%. However, the precision ranges from 93.44% to 100%, and the f1 score ranges from 96.61% to 100%. Overall, the analyses reveal that the RL model is effective in turn-by-turn spoofing attack detection.


title: On the problem of smooth approximations in de Branges-Rovnyak spaces and connections to subnormal operators

abstract: For the class of de Branges-Rovnyak spaces $\mathcal{H}(b)$ of the unit disk $\mathbb{D}$ defined by extreme points $b$ of the unit ball of $H^\infty$, we study the problem of approximation of a general function in $\mathcal{H}(b)$ by a function with an extension to the unit circle $\mathbb{T}$ of some degree of smoothness, for instance satisfying H\"older estimates or being differentiable. We will exhibit connections between this question and the theory of subnormal operators and, in particular, we will tie the possibility of smooth approximations to properties of invariant subspaces of a certain subnormal operator. This leads us to several computable conditions on $b$ which are necessary for such approximations to be possible. For a large class of extreme points $b$ we use our result to obtain explicit necessary and sufficient conditions on the symbol $b$ which guarantee the density of functions with differentiable boundary values in the space $\mathcal{H}(b)$. These conditions include an interplay between the modulus of $b$ on $\mathbb{T}$ and the spectrum of its inner factor.


title: Transition from metal to higher-order topological insulator driven by random flux

abstract: Random flux is commonly believed to be incapable of driving full metal-insulator transitions in non-interacting systems. Here we show that random flux can after all induce a full metal-band insulator transition in the two-dimensional Su-Schrieffer-Heeger model. Remarkably, we find that the resulting insulator can be an extrinsic higher-order topological insulator with zero-energy corner modes in proper regimes, rather than a conventional Anderson insulator. Employing both level statistics and finite-size scaling analysis, we characterize the metal-band insulator transition and numerically extract its critical exponent as $\nu=2.48\pm0.08$. To reveal the physical mechanism underlying the transition, we present an effective band structure picture based on the random flux averaged Green's function.


title: Determinant-free fermionic wave function using feed-forward neural networks

abstract: We propose a general framework for finding the ground state of many-body fermionic systems by using feed-forward neural networks. The anticommutation relation for fermions is usually implemented to a variational wave function by the Slater determinant (or Pfaffian), which is a computational bottleneck because of the numerical cost of $O(N^3)$ for $N$ particles. We bypass this bottleneck by explicitly calculating the sign changes associated with particle exchanges in real space and using fully connected neural networks for optimizing the rest parts of the wave function. This reduces the computational cost to $O(N^2)$ or less. We show that the accuracy of the approximation can be improved by optimizing the "variance" of the energy simultaneously with the energy itself. We also find that a reweighting method in Monte Carlo sampling can stabilize the calculation. These improvements can be applied to other approaches based on variational Monte Carlo methods. Moreover, we show that the accuracy can be further improved by using the symmetry of the system, the representative states, and an additional neural network implementing a generalized Gutzwiller-Jastrow factor. We demonstrate the efficiency of the method by applying it to a two-dimensional Hubbard model.

categories: cond-mat.str-el cond-mat.dis-nn cs.LG physics.comp-ph quant-ph


title: Quantum self-bound droplets in Bose-Bose mixtures: Effects of higher-order quantum and thermal fluctuations

abstract: We systematically study the effects of higher-order quantum and thermal fluctuations on the stabilization of self-bound droplets in Bose mixtures employing the time-dependent Hartree-Fock-Bogoliubov theory. We calculate the ground-state energy, the droplet equilibrium density, the depletion and anomalous density of the droplets as well as the critical temperature as a function of the relevant parameters. Our findings are compared with previous analytical predictions and diffusion Monte Carlo simulations. We employ our theory together with the local density approximation for quantum and thermal fluctuations to obtain an extended finite-temperature Gross-Pitaevskii equation. The density profiles and breathing modes of the droplet are deeply examined in terms of the interaction strength and the temperature by numerically solving the developed generalized Gross-Pitaevskii equation.