title: Experience-Driven PCG via Reinforcement Learning: A Super Mario Bros Study

abstract: We introduce a procedural content generation (PCG) framework at the intersections of experience-driven PCG and PCG via reinforcement learning, named ED(PCG)RL, EDRL in short. EDRL is able to teach RL designers to generate endless playable levels in an online manner while respecting particular experiences for the player as designed in the form of reward functions. The framework is tested initially in the Super Mario Bros game. In particular, the RL designers of Super Mario Bros generate and concatenate level segments while considering the diversity among the segments. The correctness of the generation is ensured by a neural net-assisted evolutionary level repairer and the playability of the whole level is determined through AI-based testing. Our agents in this EDRL implementation learn to maximise a quantification of Koster's principle of fun by moderating the degree of diversity across level segments. Moreover, we test their ability to design fun levels that are diverse over time and playable. Our proposed framework is capable of generating endless, playable Super Mario Bros levels with varying degrees of fun, deviation from earlier segments, and playability. EDRL can be generalised to any game that is built as a segment-based sequential process and features a built-in compressed representation of its game content.


title: Towards establishing formal verification and inductive code synthesis in the PLC domain

abstract: Nowadays, formal methods are used in various areas for the verification of programs or for code generation from models in order to increase the quality of software and to reduce costs. However, there are still fields in which formal methods have not been widely adopted, despite the large set of possible benefits offered. This is the case for the area of programmable logic controllers (PLC). This article aims to evaluate the potential of formal methods in the context of PLC development. For this purpose, the general concepts of formal methods are first introduced and then transferred to the PLC area, resulting in an engineering-oriented description of the technology that is based on common concepts from PLC development. Based on this description, PLC professionals with varying degrees of experience were interviewed for their perspective on the topic and to identify possible use cases within the PLC domain. The survey results indicate the technology's high potential in the PLC area, either as a tool to directly support the developer or as a key element within a model-based systems engineering toolchain. The evaluation of the survey results is performed with the aid of a demo application that communicates with the Totally Integrated Automation Portal from Siemens and generates programs via Fastsynth, a model-based open source code generator. Benchmarks based on an industry-related PLC project show satisfactory synthesis times and a successful integration into the workflow of a PLC developer.


title: Uhlmann phase in composite systems with entanglement

abstract: We study the geometric Uhlmann phase of entangled mixed states in a composite system made of two coupled spin-$\frac 1 2$ particles with a magnetic field acting on one of them. Within a depolarizing channel setup, an exact analytical expression for such a phase in each subsystem is derived. We find an explicit connection to the concurrence of the depolarizing channel density matrix, which allows to characterize the features of the Uhlmann phase in terms of the degree of entanglement in the system. In the space of field direction and coupling parameter, it exhibits a phase singularity revealing a topological transition between orders with different winding numbers. The transition occurs for fields lying in the equator of the sphere of directions and at critical values of the coupling which can be controlled by tuning the depolarization strength. Notably, under these conditions the concurrence of the composite system is bounded to the range $[0,1/2]$. We also compare the calculated Uhlmann phase to an interferometric phase, which has been formulated as an alternative for density matrices. The latter does not present a phase vortex, although they coincide in the weak entanglement regime, for vanishing depolarization (pure states). Otherwise they behave clearly different in the strong entanglement regime.


title: Mixed Cross Entropy Loss for Neural Machine Translation

abstract: In neural machine translation, cross entropy (CE) is the standard loss function in two training methods of auto-regressive models, i.e., teacher forcing and scheduled sampling. In this paper, we propose mixed cross entropy loss (mixed CE) as a substitute for CE in both training approaches. In teacher forcing, the model trained with CE regards the translation problem as a one-to-one mapping process, while in mixed CE this process can be relaxed to one-to-many. In scheduled sampling, we show that mixed CE has the potential to encourage the training and testing behaviours to be similar to each other, more effectively mitigating the exposure bias problem. We demonstrate the superiority of mixed CE over CE on several machine translation datasets, WMT'16 Ro-En, WMT'16 Ru-En, and WMT'14 En-De in both teacher forcing and scheduled sampling setups. Furthermore, in WMT'14 En-De, we also find mixed CE consistently outperforms CE on a multi-reference set as well as a challenging paraphrased reference set. We also found the model trained with mixed CE is able to provide a better probability distribution defined over the translation output space. Our code is available at https://github.com/haorannlp/mix.


title: Vojta's abc Conjecture for algebraic tori and applications over function fields

abstract: We prove Vojta's generalized abc conjecture for algebraic tori over function fields with exceptional sets that can be determined effectively. Additionally, we establish a version of the conjecture for toric varieties. As an application, we investigate the Lang-Vojta Conjecture for varieties of log general type that are ramified covers of $\mathbb G_m^n$ over function fields. In particular, we consider the case of $ \mathbb P^n\setminus D$, where $D$ is an algebraic curve over a function field in $\mathbb P^n$ with $n+1$ irreducible components and $\deg D\ge n+2$. Our methods also apply to the complex situation, enabling us to find explicit exceptional sets for the corresponding case of Vojta's general abc conjecture (complex version) and the Green-Griffith-Lang conjecture.


title: Observation of Superconductivity Induced Ferromagnetism in an Fe-Chalcogenide Superconductor

abstract: The interplay among topology, superconductivity, and magnetism promises to bring a plethora of exotic and unintuitive behaviors in emergent quantum materials. The family of Fe-chalcogenide superconductors FeTexSe1-x are directly relevant in this context due to their intrinsic topological band structure, high-temperature superconductivity, and unconventional pairing symmetry. Despite enormous promise and expectation, the local magnetic properties of FeTexSe1-x remain largely unexplored, which prevents a comprehensive understanding of their underlying material properties. Exploiting nitrogen vacancy (NV) centers in diamond, here we report nanoscale quantum sensing and imaging of magnetic flux generated by exfoliated FeTexSe1-x flakes, providing clear evidence of superconductivity-induced ferromagnetism in FeTexSe1-x. The coexistence of superconductivity and ferromagnetism in an established topological superconductor opens up new opportunities for exploring exotic spin and charge transport phenomena in quantum materials. The demonstrated coupling between NV centers and FeTexSe1-x may also find applications in developing hybrid architectures for next-generation, solid-state-based quantum information technologies.

categories: cond-mat.supr-con cond-mat.mes-hall cond-mat.mtrl-sci quant-ph


title: Tuning Mixed Input Hyperparameters on the Fly for Efficient Population Based AutoRL

abstract: Despite a series of recent successes in reinforcement learning (RL), many RL algorithms remain sensitive to hyperparameters. As such, there has recently been interest in the field of AutoRL, which seeks to automate design decisions to create more general algorithms. Recent work suggests that population based approaches may be effective AutoRL algorithms, by learning hyperparameter schedules on the fly. In particular, the PB2 algorithm is able to achieve strong performance in RL tasks by formulating online hyperparameter optimization as time varying GP-bandit problem, while also providing theoretical guarantees. However, PB2 is only designed to work for continuous hyperparameters, which severely limits its utility in practice. In this paper we introduce a new (provably) efficient hierarchical approach for optimizing both continuous and categorical variables, using a new time-varying bandit algorithm specifically designed for the population based training regime. We evaluate our approach on the challenging Procgen benchmark, where we show that explicitly modelling dependence between data augmentation and other hyperparameters improves generalization.


title: Compiling Elementary Mathematical Functions into Finite Chemical Reaction Networks via a Polynomialization Algorithm for ODEs

abstract: The Turing completeness result for continuous chemical reaction networks (CRN) shows that any computable function over the real numbers can be computed by a CRN over a finite set of formal molecular species using at most bimolecular reactions with mass action law kinetics. The proof uses a previous result of Turing completeness for functions defined by polynomial ordinary differential equations (PODE), the dualrail encoding of real variables by the difference of concentration between two molecular species, and a back-end quadratization transformation to restrict to elementary reactions with at most two reactants. In this paper, we present a polynomialization algorithm of quadratic time complexity to transform a system of elementary differential equations in PODE. This algorithm is used as a front-end transformation to compile any elementary mathematical function, either of time or of some input species, into a finite CRN. We illustrate the performance of our compiler on a benchmark of elementary functions relevant to CRN design problems in synthetic biology specified by mathematical functions. In particular, the abstract CRN obtained by compilation of the Hill function of order 5 is compared to the natural CRN structure of MAPK signalling networks.


title: Optimal Construction for Time-Convex Hull with Two Orthogonal Highways in the L1-metric

abstract: We consider the time-convex hull problem in the presence of two orthogonal highways H. In this problem, the travelling speed on the highway is faster than off the highway, and the time-convex hull of a point set P is the closure of P with respect to the inclusion of shortest time-paths. In this paper, we provide the algorithm for constructing the time-convex hull with two orthogonal highways. We reach the optimal result of O(n log n) time for arbitrary highway speed in the L1-metric. For the L2-metric with infinite highway speed, we hit the goal of O(n log n) time as well.


title: The $q$-analog of the Markoff injectivity conjecture over the language of a balanced sequence

abstract: The Markoff injectivity conjecture states that $w\mapsto\mu(w)_{12}$ is injective on the set of Christoffel words where $\mu:\{\mathtt{0},\mathtt{1}\}^*\to\mathrm{SL}_2(\mathbb{Z})$ is a certain homomorphism and $M_{12}$ is the entry above the diagonal of a $2\times2$ matrix $M$. Recently, Leclere and Morier-Genoud (2021) proposed a $q$-analog $\mu_q$ of $\mu$ such that $\mu_{q}(w)_{12}|_{q=1}=\mu(w)_{12}$ is the Markoff number associated to the Christoffel word $w$ when evaluated at $q=1$. We show that there exists an order $<_{radix}$ on $\{\mathtt{0},\mathtt{1}\}^*$ such that for every balanced sequence $s \in \{\mathtt{0},\mathtt{1}\}^\mathbb{Z}$ and for all factors $u, v$ in the language of $s$ with $u <_{radix} v$, the difference $\mu_q(v)_{12} - \mu_q(u)_{12}$ is a nonzero polynomial of indeterminate $q$ with nonnegative integer coefficients. Therefore, the map $u\mapsto\mu_q(u)_{12}$ is injective over the language of a balanced sequence. The proof uses an equivalence between balanced sequences satisfying some Markoff property and indistinguishable asymptotic pairs.


title: Pressure stabilization strategies for a LES filtering Reduced Order Model

abstract: We present a stabilized POD-Galerkin reduced order method (ROM) for a Leray model. For the implementation of the model, we combine a two-step algorithm called Evolve-Filter (EF) with a computationally efficient finite volume method. In both steps of the EF algorithm, velocity and pressure fields are approximated using different POD basis and coefficients. To achieve pressure stabilization, we consider and compare two strategies: the pressure Poisson equation and the supremizer enrichment of the velocity space. We show that the evolve and filtered velocity spaces have to be enriched with the supremizer solutions related to both evolve and filter pressure fields in order to obtain stable and accurate solutions with the supremizer enrichment method. We test our ROM approach on 2D unsteady flow past a cylinder at Reynolds number 0 <= Re <= 100. We find that both stabilization strategies produce comparable errors in the reconstruction of the lift and drag coefficients, with the pressure Poisson equation method being more computationally efficient.


title: Spatial resolution of late reverberation in virtual acoustic environments

abstract: Late reverberation involves the superposition of many sound reflections resulting in a diffuse sound field. Since the spatially resolved perception of individual diffuse reflections is impossible, simplifications can potentially be made for modelling late reverberation in room acoustics simulations with reduced spatial resolution. Such simplifications are desired for interactive, real-time virtual acoustic environments with applications in hearing research and for the evaluation of hearing supportive devices. In this context, the number and spatial arrangement of loudspeakers used for playback additionally affect spatial resolution. The current study assessed the minimum number of spatially evenly distributed virtual late reverberation sources required to perceptually approximate spatially highly resolved isotropic and anisotropic late reverberation and to technically approximate a spherically isotropic diffuse sound field. The spatial resolution of the rendering was systematically reduced by using subsets of the loudspeakers of an 86-channel spherical loudspeaker array in an anechoic chamber. It was tested whether listeners can distinguish lower spatial resolutions for the rendering of late reverberation from the highest achievable spatial resolution in different simulated rooms. Rendering of early reflections was kept fixed. The coherence of the sound field across a pair of microphones at ear and behind-the-ear hearing device distance was assessed to separate the effects of number of virtual sources and loudspeaker array geometry. Results show that between 12 and 24 reverberation sources are required.


title: A Structured Analysis of the Video Degradation Effects on the Performance of a Machine Learning-enabled Pedestrian Detector

abstract: ML-enabled software systems have been incorporated in many public demonstrations for automated driving (AD) systems. Such solutions have also been considered as a crucial approach to aim at SAE Level 5 systems, where the passengers in such vehicles do not have to interact with the system at all anymore. Already in 2016, Nvidia demonstrated a complete end-to-end approach for training the complete software stack covering perception, planning and decision making, and the actual vehicle control. While such approaches show the great potential of such ML-enabled systems, there have also been demonstrations where already changes to single pixels in a video frame can potentially lead to completely different decisions with dangerous consequences. In this paper, a structured analysis has been conducted to explore video degradation effects on the performance of an ML-enabled pedestrian detector. Firstly, a baseline of applying YOLO to 1,026 frames with pedestrian annotations in the KITTI Vision Benchmark Suite has been established. Next, video degradation candidates for each of these frames were generated using the leading video codecs libx264, libx265, Nvidia HEVC, and AV1: 52 frames for the various compression presets for color and gray-scale frames resulting in 104 degradation candidates per original KITTI frame and 426,816 images in total. YOLO was applied to each image to compute the intersection-over-union (IoU) metric to compare the performance with the original baseline. While aggressively lossy compression settings result in significant performance drops as expected, it was also observed that some configurations actually result in slightly better IoU results compared to the baseline. The findings show that carefully chosen lossy video configurations preserve a decent performance of particular ML-enabled systems while allowing for substantial savings when storing or transmitting data.


title: A Context-Aware Information-Based Clone Node Attack Detection Scheme in Internet of Things

abstract: The rapidly expanding nature of the Internet of Things (IoT) networks is beginning to attract interest across a range of applications, including smart homes, smart transportation, smart health, and industrial contexts. This cutting-edge technology enables individuals to track and control their integrated environment in real-time and remotely via a thousand IoT devices comprised of sensors and actuators that actively participate in sensing, processing, storing, and sharing information. Nonetheless, IoT devices are frequently deployed in hostile environments, wherein adversaries attempt to capture and breach them in order to seize control of the entire network. One such example of potentially malicious behaviour is the cloning of IoT devices, in which an attacker can physically capture the devices, obtain some sensitive information, duplicate the devices, and intelligently deploy them in desired locations to conduct various insider attacks. A device cloning attack on IoT networks is a significant security concern since it allows for selective forwarding, sink-hole, and black-hole attacks. To address this issue, this paper provides an efficient scheme for detecting clone node attacks on IoT networks that makes use of semantic information about IoT devices known as context information sensed from the deployed environment to locate them securely. We design a location proof mechanism by combining location proofs and batch verification of the extended elliptic curve digital signature technique to accelerate the verification process at selected trusted nodes. We demonstrate the security of our scheme and its resilience to secure clone node attack detection by conducting a comprehensive security analysis. The performance of our proposed scheme provides a high degree of detection accuracy with minimal detection time and significantly reduces the computation, communication and storage overhead.


title: Theorem for the design of deployable kirigami tessellations with different topologies

abstract: The concept of kirigami has been extensively utilized to design deployable structures and reconfigurable metamaterials. Despite heuristic utilization of classical kirigami patterns, the gap between complex kirigami tessellations and systematic design principles still needs to be filled. In this paper, we develop a unified design method for deployable quadrilateral kirigami tessellations perforated on flat sheets with different topologies. This method is based on the parametrization of kirigami patterns formulated as the solution of a linear equation system. The geometric constraints for the deployability of parametrized cutting patterns are given by a unified theorem covering different topologies of the flat sheets. As an application, we employ the design method to achieve desired shapes along the deployment path of kirigami tessellations, while preserving the topological characteristics of the flat sheets. Our approach introduces interesting perspectives for the topological design of kirigami-inspired structures and metamaterials.


title: Determinization and Limit-determinization of Emerson-Lei automata

abstract: We study the problem of determinizing $\omega$-automata whose acceptance condition is defined on the transitions using Boolean formulas, also known as transition-based Emerson-Lei automata (TELA). The standard approach to determinize TELA first constructs an equivalent generalized B\"uchi automaton (GBA), which is later determinized. We introduce three new ways of translating TELA to GBA. Furthermore, we give a new determinization construction which determinizes several GBA separately and combines them using a product construction. An experimental evaluation shows that the product approach is competitive when compared with state-of-the-art determinization procedures. We also study limit-determinization of TELA and show that this can be done with a single-exponential blow-up, in contrast to the known double-exponential lower-bound for determinization. Finally, one version of the limit-determinization procedure yields good-for-MDP automata which can be used for quantitative probabilistic model checking.


title: Fast whole-slide cartography in colon cancer histology using superpixels and CNN classification

abstract: Automatic outlining of different tissue types in digitized histological specimen provides a basis for follow-up analyses and can potentially guide subsequent medical decisions. The immense size of whole-slide-images (WSI), however, poses a challenge in terms of computation time. In this regard, the analysis of non-overlapping patches outperforms pixelwise segmentation approaches, but still leaves room for optimization. Furthermore, the division into patches, regardless of the biological structures they contain, is a drawback due to the loss of local dependencies. We propose to subdivide the WSI into coherent regions prior to classification by grouping visually similar adjacent pixels into superpixels. Afterwards, only a random subset of patches per superpixel is classified and patch labels are combined into a superpixel label. We propose a metric for identifying superpixels with an uncertain classification and evaluate two medical applications, namely tumor area and invasive margin estimation and tumor composition analysis. The algorithm has been developed on 159 hand-annotated WSIs of colon resections and its performance is compared to an analysis without prior segmentation. The algorithm shows an average speed-up of 41% and an increase in accuracy from 93.8% to 95.7%. By assigning a rejection label to uncertain superpixels, we further increase the accuracy by 0.4%. Whilst tumor area estimation shows high concordance to the annotated area, the analysis of tumor composition highlights limitations of our approach. By combining superpixel segmentation and patch classification, we designed a fast and accurate framework for whole-slide cartography that is AI-model agnostic and provides the basis for various medical endpoints.


title: On the existence of value for a general stochastic differential game with ergodic payoff

abstract: In this paper we study a type of two-player zero-sum stochastic differential games with ergodic payoff, in which the diffusion system does not need to be non-degenerate. We first show the existence of a viscosity solution of the associated ergodic Hamilton-Jacobi-Bellman-Isaacs equation under the dissipativity condition. With the help of this viscosity solution, we then give the estimates for the upper and lower ergodic value functions by constructing a series of non-degenerate approximating processes and using the sup- and inf-convolution techniques. Finally, we obtain the existence of a value under the Isaacs condition and its representation formulae. In addition, we apply our results to study a type of pollution accumulation problems with the long-run average social welfare.


title: Instrument for simultaneous measurement of Seebeck coefficient and thermal conductivity in the temperature range 300-800 K with python interfacing

abstract: Fabrication and characterization of instrument for high-temperature simultaneous measurement of Seebeck coefficient (S) and thermal conductivity ($\kappa$) has been carried out with python automation. The steady-state based Fourier's law of thermal conduction is employed for $\kappa$ measurement. The parallel thermal conductance technique is implemented for heat loss measurement. Introducing the thin heater and insulating heater base minimize the heat loss and make the way easier to arrive at high temperature. Measurement of S is carried out using differential method. Same thermocouples are used to measure temperature as well as voltage for S measurement. Care of temperature dependent S of thermocouple has also been taken. Simple design, small size, lightweightmake this instrument more robust. All the components for making sample holder are easily available in the market and can be replaced as per the user demand. This instrument can measure samples with various dimensions and shapes in the temperature range 300 $-$ 800 K. The instrument is validated using different class of samples, such as nickel, gadolinium, Fe$_{2}$VAl and LaCoO$_{3}$. Wide range of S from $\sim$ $-$20 to $\sim$600 $\mu$V/K and $\kappa$ from $\sim$1.1 to $\sim$23.5 W/m-K are studied. The measured values of S and k are in good agreement with the reported data.


title: Whose Opinions Matter? Perspective-aware Models to Identify Opinions of Hate Speech Victims in Abusive Language Detection

abstract: Social media platforms provide users the freedom of expression and a medium to exchange information and express diverse opinions. Unfortunately, this has also resulted in the growth of abusive content with the purpose of discriminating people and targeting the most vulnerable communities such as immigrants, LGBT, Muslims, Jews and women. Because abusive language is subjective in nature, there might be highly polarizing topics or events involved in the annotation of abusive contents such as hate speech (HS). Therefore, we need novel approaches to model conflicting perspectives and opinions coming from people with different personal and demographic backgrounds. In this paper, we present an in-depth study to model polarized opinions coming from different communities under the hypothesis that similar characteristics (ethnicity, social background, culture etc.) can influence the perspectives of annotators on a certain phenomenon. We believe that by relying on this information, we can divide the annotators into groups sharing similar perspectives. We can create separate gold standards, one for each group, to train state-of-the-art deep learning models. We can employ an ensemble approach to combine the perspective-aware classifiers from different groups to an inclusive model. We also propose a novel resource, a multi-perspective English language dataset annotated according to different sub-categories relevant for characterising online abuse: hate speech, aggressiveness, offensiveness and stereotype. By training state-of-the-art deep learning models on this novel resource, we show how our approach improves the prediction performance of a state-of-the-art supervised classifier.


title: Multilevel quantum thermodynamic swap engines

abstract: We study energetic exchanges and fluctuations in two-stroke quantum thermodynamic engines where the working fluid is represented by two multilevel quantum systems, i.e. qudits, the heat flow is allowed by relaxation with two thermal reservoirs at different temperatures, and the work exchange is operated by a partial-swap unitary interaction. We identify three regimes of operation (heat engine, refrigerator, and thermal accelerator), present the thermodynamic uncertainty relations between the entropy production and the signal-to-noise ratio of work and heat, and derive the full joint probability of the stochastic work and heat. Our results bridge the gap between two-qubit and two-mode bosonic swap engines, and show which properties are maintained (e.g., a non fluctuating Otto efficiency) and which are lost for increasing dimension (e.g., small violations of the standard thermodynamic uncertainty relations or the possibility of beating the Curzon-Ahlborn efficiency).


title: A Computing and Detector Simulation Framework for the HIBEAM/NNBAR Experimental Program at the ESS

abstract: The HIBEAM/NNBAR program is a proposed two-stage experiment at the European Spallation Source focusing on searches for baryon number violation via processes in which neutrons convert to antineutrons. This paper outlines the computing and detector simulation framework for the HIBEAM/NNBAR program. The simulation is based on predictions of neutron flux and neutronics together with signal and background generation. A range of diverse simulation packages are incorporated, including Monte Carlo transport codes, neutron ray-tracing simulation packages, and detector simulation software. The common simulation package in which these elements are interfaced together is discussed. Data management plans and triggers are also described.


title: Polarization of CMB and possible time dependence of dark energy

abstract: Dark energy has been introduced to explain the present accelerating expansion of the universe. In the LambdaCDM model, the present standard model of cosmology, dark energy is described as a cosmological constant which is time independent. The possibility of the time dependence of dark energy has been investigated to obtain deeper understanding of it by looking redshit-magnitude relation of type Ia supernova, for example. We investigate the constraints to the time dependence of dark energy with several phenomenological models by fitting their parameters to the redshit-magnitude relation of the Pantheon supernova catalog, and confirm that little time dependence can not be excluded by the goodness-of-fit criterion only. Such a non-trivial time dependence causes different expansion rate in the period of reionization, which affects the low-l polarization power spectrum of CMB. We investigate the possibility to detect the effect in future probe like LiteBIRD, for example. We find that the low-l EE polarization power spectrum is enhanced in general, but it will be difficult to be detected as far as looking the EE polarization power spectrum only because of the limitation by cosmic variance.


title: Spatially Resolving the Kinematics of the $\lesssim 100\,\mu$as Quasar Broad-line Region Using Spectroastrometry II. The First Tentative Detection in a Luminous Quasar at $z=2.3$

abstract: Direct measurements of the masses of supermassive black holes (SMBHs) are key to understanding their growth and constrain their symbiotic relationship to their host galaxies. However, current methods used to directly measure black hole masses in active quasars become challenging or impossible beyond $z\gtrsim0.2$. Spectroastrometry (SA) measures the spatial centroid of an object's spectrum as a function of wavelength, delivering angular resolution far better than the point-spread function (PSF) for high signal-to-noise ratio observations. We observed the luminous quasar SDSS J212329.47--005052.9 at $z=2.279$ with the aim of resolving its $\sim100\mu\mathrm{as}$ H$\alpha$ broad emission-line region (BLR), and present the first SA constraints on the size and kinematic structure of the BLR. Using a novel pipeline to extract the SA signal and reliable uncertainties, we achieved a centroiding precision of $\simeq100\mu\mathrm{as}$, or $>2000\times$ smaller than the $K$-band AO-corrected PSF, yielding a tentative $3.2\sigma$ detection of an SA signal from the BLR. Modeling the BLR emission as arising from an inclined rotating disk with a mixture of coherent and random motions we constrain $r_\mathrm{BLR}=454^{+565}_{-162}\,\mu\mathrm{as}$ ($3.71^{+4.65}_{-1.28}\,\mathrm{pc}$), providing a $95\%$ confidence upper limit on the black hole mass $M_\mathrm{BH}\,\sin^2\,i \leq1.8 \times10^9\,\mathrm{M}_\odot$. Our results agree with the $r_\mathrm{BLR}-L$ relation measured for lower-$z$ quasars, but expands its dynamic range by an order of magnitude in luminosity. We did not detect the potentially stronger SA signal from the narrow-line region, but discuss in detail why it may be absent. Already with existing instrumentation, SA can deliver $\sim6\times$ smaller uncertainties ($\sim15\,\mu\mathrm{as}$) than achieved here, enabling $\sim10\%$ measurements of SMBH masses in high-$z$ quasars.


title: Optimally rescheduling jobs with a LIFO buffer

abstract: This paper considers single-machine scheduling problems in which a given solution, i.e. an ordered set of jobs, has to be improved as much as possible by re-sequencing the jobs. The need for rescheduling may arise in different contexts, e.g. due to changes in the job data or because of the local objective in a stage of a supply chain \red{that is} not aligned with the given sequence. A common production setting entails the movement of jobs (or parts) on a conveyor. This is reflected in our model by facilitating the re-sequencing of jobs via a buffer of limited capacity accessible by a LIFO policy. We consider the classical objective functions of total weighted completion time, maximum lateness and (weighted) number of late jobs and study their complexity. For three of these problems we present strictly polynomial-time dynamic programming algorithms, while for the case of minimizing the weighted number of late jobs NP-hardness is proven and a pseudo-polynomial algorithm is given.


title: A search for transiting companions in the J1407 (V1400 Cen) system

abstract: In 2007, the young star 1SWASP J140747.93-394542.6 (V1400 Cen) underwent a complex series of deep eclipses over 56 days. This was attributed to the transit of a ring system filling a large fraction of the Hill sphere of an unseen substellar companion. Subsequent photometric monitoring has not found any other deep transits from this candidate ring system, but if there are more substellar companions and they are coplanar with the potential ring system, there is a chance that they will transit the star as well. This young star is active and the light curves show a 5% modulation in amplitude with a dominant rotation period of 3.2 days due to star spots rotating in and out of view. We model and remove the rotational modulation of the J1407 light curve and search for additional transit signatures of substellar companions orbiting around J1407. We combine the photometry of J1407 from several observatories, spanning a 19 year baseline. We remove the rotational modulation by modeling the variability as a periodic signal, whose periodicity changes slowly with time over several years due to the activity cycle of the star. A Transit Least Squares (TLS) analysis searches for any periodic transiting signals within the cleaned light curve. We identify an activity cycle of J1407 with a period of 5.4 years. A Transit Least Squares search does not find any plausible periodic eclipses in the light curve, from 1.2% amplitude at 5 days up to 1.9% at 20 days. This sensitivity is confirmed by injecting artificial transits into the light curve and determining the recovery fraction as a function of transit depth and orbital period. J1407 is confirmed as a young active star with an activity cycle consistent with a rapidly rotating solar mass star. With the rotational modulation removed, the TLS analysis rules out transiting companions with radii larger than about 1 Jupiter.


title: Learning to Ask Conversational Questions by Optimizing Levenshtein Distance

abstract: Conversational Question Simplification (CQS) aims to simplify self-contained questions into conversational ones by incorporating some conversational characteristics, e.g., anaphora and ellipsis. Existing maximum likelihood estimation (MLE) based methods often get trapped in easily learned tokens as all tokens are treated equally during training. In this work, we introduce a Reinforcement Iterative Sequence Editing (RISE) framework that optimizes the minimum Levenshtein distance (MLD) through explicit editing actions. RISE is able to pay attention to tokens that are related to conversational characteristics. To train RISE, we devise an Iterative Reinforce Training (IRT) algorithm with a Dynamic Programming based Sampling (DPS) process to improve exploration. Experimental results on two benchmark datasets show that RISE significantly outperforms state-of-the-art methods and generalizes well on unseen data.


title: Dirac comb and exponential frequency spectra in chaos and nonlinear dynamics

abstract: An exponential frequency power spectral density is a well known property of many continuous time chaotic systems and has been attributed to the presence of Lorentzian-shaped pulses in the time series of the dynamical variables. Here a stochastic model of such fluctuations is presented, describing these as a super-position of pulses with fixed shape and constant duration. Closed form expressions are derived for the lowest order moments, auto-correlation function and frequency power spectral density in the case of periodic pulse arrivals and a random distribution of pulse amplitudes. In general, the spectrum is a Dirac comb located at multiples of the inverse periodicity time and modulated by the pulse spectrum. For Lorentzian-shaped pulses there is an exponential modulation of the Dirac comb. Deviations from strict periodicity in the arrivals efficiently removes the Dirac comb, leaving only the spectrum of the pulse function. This effect is also achieved if the pulse amplitudes are independent of the arrivals and have vanishing mean value. Randomness in the pulse arrival times is investigated by numerical realizations of the process, and the model is used to describe the power spectral densities of time series from the Lorenz system.


title: Faithful Edge Federated Learning: Scalability and Privacy

abstract: Federated learning enables machine learning algorithms to be trained over a network of multiple decentralized edge devices without requiring the exchange of local datasets. Successfully deploying federated learning requires ensuring that agents (e.g., mobile devices) faithfully execute the intended algorithm, which has been largely overlooked in the literature. In this study, we first use risk bounds to analyze how the key feature of federated learning, unbalanced and non-i.i.d. data, affects agents' incentives to voluntarily participate and obediently follow traditional federated learning algorithms. To be more specific, our analysis reveals that agents with less typical data distributions and relatively more samples are more likely to opt out of or tamper with federated learning algorithms. To this end, we formulate the first faithful implementation problem of federated learning and design two faithful federated learning mechanisms which satisfy economic properties, scalability, and privacy. Further, the time complexity of computing all agents' payments in the number of agents is $\mathcal{O}(1)$. First, we design a Faithful Federated Learning (FFL) mechanism which approximates the Vickrey-Clarke-Groves (VCG) payments via an incremental computation. We show that it achieves (probably approximate) optimality, faithful implementation, voluntary participation, and some other economic properties (such as budget balance). Second, by partitioning agents into several subsets, we present a scalable VCG mechanism approximation. We further design a scalable and Differentially Private FFL (DP-FFL) mechanism, the first differentially private faithful mechanism, that maintains the economic properties. Our mechanism enables one to make three-way performance tradeoffs among privacy, the iterations needed, and payment accuracy loss.


title: Automorphisms of surfaces over fields of positive characteristic

abstract: We study automorphism and birational automorphism groups of varieties over fields of positive characteristic from the point of view of Jordan and $p$-Jordan property. In particular, we show that the Cremona group of rank $2$ over a field of characteristic $p>0$ is $p$-Jordan, and the birational automorphism group of an arbitrary geometrically irreducible algebraic surface is nilpotently $p$-Jordan of class at most $2$. Also, we show that the automorphism group of a smooth geometrically irreducible projective variety of non-negative Kodaira dimension is Jordan in the usual sense.


title: Parameterized Complexities of Dominating and Independent Set Reconfiguration

abstract: We settle the parameterized complexities of several variants of independent set reconfiguration and dominating set reconfiguration, parameterized by the number of tokens. We show that both problems are XL-complete when there is no limit on the number of moves, XNL-complete when a maximum length $\ell$ for the sequence is given in binary in the input, and XNLP-complete when $\ell$ is given in unary. The problems were known to be $\mathrm{W}[1]$- and $\mathrm{W}[2]$-hard respectively when $\ell$ is also a parameter. We complete the picture by showing membership in those classes. Moreover, we show that for all the variants that we consider, token sliding and token jumping are equivalent under pl-reductions. We introduce partitioned variants of token jumping and token sliding, and give pl-reductions between the four variants that have precise control over the number of tokens and the length of the reconfiguration sequence.


title: A Statistical Taylor Theorem and Extrapolation of Truncated Densities

abstract: We show a statistical version of Taylor's theorem and apply this result to non-parametric density estimation from truncated samples, which is a classical challenge in Statistics \cite{woodroofe1985estimating, stute1993almost}. The single-dimensional version of our theorem has the following implication: "For any distribution $P$ on $[0, 1]$ with a smooth log-density function, given samples from the conditional distribution of $P$ on $[a, a + \varepsilon] \subset [0, 1]$, we can efficiently identify an approximation to $P$ over the \emph{whole} interval $[0, 1]$, with quality of approximation that improves with the smoothness of $P$." To the best of knowledge, our result is the first in the area of non-parametric density estimation from truncated samples, which works under the hard truncation model, where the samples outside some survival set $S$ are never observed, and applies to multiple dimensions. In contrast, previous works assume single dimensional data where each sample has a different survival set $S$ so that samples from the whole support will ultimately be collected.


title: Effect of acoustic scene complexity and visual scene representation on auditory perception in virtual audio-visual environments

abstract: In daily life, social interaction and acoustic communication often take place in complex acoustic environments (CAE) with a variety of interfering sounds and reverberation. For hearing research and the evaluation of hearing systems, simulated CAEs using virtual reality techniques have gained interest in the context of ecological validity. In the current study, the effect of scene complexity and visual representation of the scene on psychoacoustic measures like sound source location, distance perception, loudness, speech intelligibility, and listening effort in a virtual audio-visual environment was investigated. A 3-dimensional, 86-channel loudspeaker array was used to render the sound field in combination with or without a head-mounted display (HMD) to create an immersive stereoscopic visual representation of the scene. The scene consisted of a ring of eight (virtual) loudspeakers which played a target speech stimulus and nonsense speech interferers in several spatial conditions. Either an anechoic (snowy outdoor scenery) or echoic environment (loft apartment) with a reverberation time (T60) of about 1.5 s was simulated. In addition to varying the number of interferers, scene complexity was varied by assessing the psychoacoustic measures in isolated consecutive measurements orcsimultaneously. Results showed no significant effect of wearing the HMD on the data. Loudness and distance perception showed significantly different results when they were measured simultaneously instead of consecutively in isolation. The advantage of the suggested setup is that it can be directly transferred to a corresponding real room, enabling a 1:1 comparison and verification of the perception experiments in the real and virtual environment.


title: Graph Signal Restoration Using Nested Deep Algorithm Unrolling

abstract: Graph signal processing is a ubiquitous task in many applications such as sensor, social, transportation and brain networks, point cloud processing, and graph neural networks. Often, graph signals are corrupted in the sensing process, thus requiring restoration. In this paper, we propose two graph signal restoration methods based on deep algorithm unrolling (DAU). First, we present a graph signal denoiser by unrolling iterations of the alternating direction method of multiplier (ADMM). We then suggest a general restoration method for linear degradation by unrolling iterations of Plug-and-Play ADMM (PnP-ADMM). In the second approach, the unrolled ADMM-based denoiser is incorporated as a submodule, leading to a nested DAU structure. The parameters in the proposed denoising/restoration methods are trainable in an end-to-end manner. Our approach is interpretable and keeps the number of parameters small since we only tune graph-independent regularization parameters. We overcome two main challenges in existing graph signal restoration methods: 1) limited performance of convex optimization algorithms due to fixed parameters which are often determined manually. 2) large number of parameters of graph neural networks that result in difficulty of training. Several experiments for graph signal denoising and interpolation are performed on synthetic and real-world data. The proposed methods show performance improvements over several existing techniques in terms of root mean squared error in both tasks.


title: A parallel fast multipole method for a space-time boundary element method for the heat equation

abstract: We present a novel approach to the parallelization of the parabolic fast multipole method for a space-time boundary element method for the heat equation. We exploit the special temporal structure of the involved operators to provide an efficient distributed parallelization with respect to time and with a one-directional communication pattern. On top, we apply a task-based shared memory parallelization and SIMD vectorization. In the numerical tests we observe high efficiencies of our parallelization approach.


title: Intake Design for an Atmosphere-Breathing Electric Propulsion System (ABEP)

abstract: Challenging space missions include those at very low altitudes, where the atmosphere is source of aerodynamic drag on the spacecraft. To extend the lifetime of such missions, an efficient propulsion system is required. One solution is Atmosphere-Breathing Electric Propulsion (ABEP) that collects atmospheric particles to be used as propellant for an electric thruster. The system would minimize the requirement of limited propellant availability and can also be applied to any planetary body with atmosphere, enabling new missions at low altitude ranges for longer times. IRS is developing, within the H2020 DISCOVERER project, an intake and a thruster for an ABEP system. The article describes the design and simulation of the intake, optimized to feed the radio frequency (RF) Helicon-based plasma thruster developed at IRS. The article deals in particular with the design of intakes based on diffuse and specular reflecting materials, which are analysed by the PICLas DSMC-PIC tool. Orbital altitudes $h=150-250$ km and the respective species based on the NRLMSISE-00 model (O, $N_2$, $O_2$, He, Ar, H, N) are investigated for several concepts based on fully diffuse and specular scattering, including hybrid designs. The major focus has been on the intake efficiency defined as $\eta_c=\dot{N}_{out}/\dot{N}_{in}$, with $\dot{N}_{in}$ the incoming particle flux, and $\dot{N}_{out}$ the one collected by the intake. Finally, two concepts are selected and presented providing the best expected performance for the operation with the selected thruster. The first one is based on fully diffuse accommodation yielding to $\eta_c<0.46$ and the second one based un fully specular accommodation yielding to $\eta_c<0.94$. Finally, also the influence of misalignment with the flow is analysed, highlighting a strong dependence of $\eta_c$ in the diffuse-based intake while, ...


title: Zames-Falb Multipliers: don't panic

abstract: Zames-Falb multipliers are mathematical constructs which can be used to prove stability of so-called Lur'e systems: systems that consist of a feedback interconnection of a linear element and a static nonlinear element. The main advantage of Zames-Falb multipliers is that they enable "passivity"-like results to be obtained but with a level of conservatism much lower than \emph{pure} passivity results. However, some of the papers describing the development of the Zames-Falb multiplier machinery are somewhat abstruse and not entirely clear. This article attempts to provide a relatively simple construction of Zames and Falb's main results which will hopefully be understandable to most graduate-level control engineers.


title: Anisotropic $(p,q)$-equations with gradient dependent reaction

abstract: We consider a Dirichlet problem driven by the anisotropic $(p,q)$-Laplacian and a reaction with gradient dependence (convection). The presence of the gradient in the source term excludes from consideration a variational approach in dealing with the qualitative analysis of this problem with unbalanced growth. Using the frozen variable method and eventually a fixed point theorem, the main result of this paper establishes that the problem has a positive smooth solution.


title: On choosing optimal response transformations for dimension reduction

abstract: It has previously been shown that response transformations can be very effective in improving dimension reduction outcomes for a continuous response. The choice of transformation used can make a big difference in the visualization of the response versus the dimension reduced regressors. In this article, we provide an automated approach for choosing parameters of transformation functions to seek optimal results. A criterion based on an influence measure between dimension reduction spaces is utilized for choosing the optimal parameter value of the transformation. Since influence measures can be time-consuming for large data sets, two efficient criteria are also provided. Given that a different transformation may be suitable for each direction required to form the subspace, we also employ an iterative approach to choosing optimal parameter values. Several simulation studies and a real data example highlight the effectiveness of the proposed methods.


title: Communication conditions in virtual acoustic scenes in an underground station

abstract: Underground stations are a common communication situation in towns: we talk with friends or colleagues, listen to announcements or shop for titbits while background noise and reverberation are challenging communication. Here, we perform an acoustical analysis of two communication scenes in an underground station in Munich and test speech intelligibility. The acoustical conditions were measured in the station and are compared to simulations in the real-time Simulated Open Field Environment (rtSOFE). We compare binaural room impulse responses measured with an artificial head in the station to modeled impulse responses for free-field auralization via 60 loudspeakers in the rtSOFE. We used the image source method to model early reflections and a set of multi-microphone recordings to model late reverberation. The first communication scene consists of 12 equidistant (1.6 m) horizontally spaced source positions around a listener, simulating different direction-dependent spatial unmasking conditions. The second scene mimics an approaching speaker across six radially spaced source positions (from 1 m to 10 m) with varying direct sound level and thus direct-to-reverberant energy. The acoustic parameters of the underground station show a moderate amount of reverberation (T30 in octave bands was between 2.3 s and 0.6 s and early-decay times between 1.46 s and 0.46 s). The binaural and energetic parameters of the auralization were in a close match to the measurement. Measured speech reception thresholds were within the error of the speech test, letting us to conclude that the auralized simulation reproduces acoustic and perceptually relevant parameters for speech intelligibility with high accuracy.


title: Explaining Caste-based Digital Divide in India

abstract: With the increasing importance of information and communication technologies in access to basic services like education and health, the question of the digital divide based on caste assumes importance in India where large socioeconomic disparities persist between different caste groups. Studies on caste-based digital inequality are still scanty in India. Using nationally representative survey data, this paper analyzes the first-level digital divide (ownership of computer and access to the internet) and the second-level digital divide (individual's skill to use computer and the internet) between the disadvantaged caste group and the others. Further, this paper identifies the caste group-based differences in socioeconomic factors that contribute to the digital divide between these groups using a non-linear decomposition method. The results show that there exists a large first-level and second-level digital divide between the disadvantaged caste groups and others in India. The non-linear decomposition results indicate that the caste-based digital divide in India is rooted in historical socioeconomic deprivation of disadvantaged caste groups. More than half of the caste-based digital gap is attributable to differences in educational attainment and income between the disadvantaged caste groups and others. The findings of this study highlight the urgent need for addressing educational and income inequality between the different caste groups in India in order to bridge the digital divide.


title: Positive-unlabeled Learning for Cell Detection in Histopathology Images with Incomplete Annotations

abstract: Cell detection in histopathology images is of great value in clinical practice. \textit{Convolutional neural networks} (CNNs) have been applied to cell detection to improve the detection accuracy, where cell annotations are required for network training. However, due to the variety and large number of cells, complete annotations that include every cell of interest in the training images can be challenging. Usually, incomplete annotations can be achieved, where positive labeling results are carefully examined to ensure their reliability but there can be other positive instances, i.e., cells of interest, that are not included in the annotations. This annotation strategy leads to a lack of knowledge about true negative samples. Most existing methods simply treat instances that are not labeled as positive as truly negative during network training, which can adversely affect the network performance. In this work, to address the problem of incomplete annotations, we formulate the training of detection networks as a positive-unlabeled learning problem. Specifically, the classification loss in network training is revised to take into account incomplete annotations, where the terms corresponding to negative samples are approximated with the true positive samples and the other samples of which the labels are unknown. To evaluate the proposed method, experiments were performed on a publicly available dataset for mitosis detection in breast cancer cells, and the experimental results show that our method improves the performance of cell detection given incomplete annotations for training.


title: On joint training with interfaces for spoken language understanding

abstract: Spoken language understanding (SLU) systems extract both text transcripts and semantics associated with intents and slots from input speech utterances. SLU systems usually consist of (1) an automatic speech recognition (ASR) module, (2) an interface module that exposes relevant outputs from ASR, and (3) a natural language understanding (NLU) module. Interfaces in SLU systems carry information on text transcriptions or richer information like neural embeddings from ASR to NLU. In this paper, we study how interfaces affect joint-training for spoken language understanding. Most notably, we obtain the state-of-the-art results on the publicly available 50-hr SLURP dataset. We first leverage large-size pretrained ASR and NLU models that are connected by a text interface, and then jointly train both models via a sequence loss function. For scenarios where pretrained models are not utilized, the best results are obtained through a joint sequence loss training using richer neural interfaces. Finally, we show the overall diminishing impact of leveraging pretrained models with increased training data size.


title: Intense narrowband XUV pulses from a compact setup

abstract: We report on a compact and spectrally intense extreme-ultraviolet (XUV) source, which is based on high-harmonic generation (HHG) driven by 395 nm pulses. In order to minimize the XUV virtual source size and to maximize the XUV flux, HHG is performed several Rayleigh lengths away from the driving laser focal plane in a high-density gas jet. As a result, a high focused XUV intensity of $5 \times 10^{13}$ W/cm$^2$ is achieved, using a beamline with a length of only two meters and a modest driving laser pulse energy of 3 mJ. The high XUV intensity is demonstrated by performing a nonlinear ionization experiment in argon, using an XUV spectrum that is dominated by a single harmonic at 22 eV. Ion charge states up to Ar$^{3+}$ are observed, which requires the absorption of at least four XUV photons. The high XUV intensity and the narrow bandwidth are ideally suited for a variety of applications including photoelectron spectroscopy, the coherent control of resonant transitions and the imaging of nanoscale structures.


title: Monte Carlo Variational Auto-Encoders

abstract: Variational auto-encoders (VAE) are popular deep latent variable models which are trained by maximizing an Evidence Lower Bound (ELBO). To obtain tighter ELBO and hence better variational approximations, it has been proposed to use importance sampling to get a lower variance estimate of the evidence. However, importance sampling is known to perform poorly in high dimensions. While it has been suggested many times in the literature to use more sophisticated algorithms such as Annealed Importance Sampling (AIS) and its Sequential Importance Sampling (SIS) extensions, the potential benefits brought by these advanced techniques have never been realized for VAE: the AIS estimate cannot be easily differentiated, while SIS requires the specification of carefully chosen backward Markov kernels. In this paper, we address both issues and demonstrate the performance of the resulting Monte Carlo VAEs on a variety of applications.


title: Ratio of photon anisotropic flow in relativistic heavy ion collisions

abstract: The $p_T$ dependent elliptic and triangular flow parameters of direct photons are known to be dominated by thermal radiations. The non-thermal contributions dilute the photon anisotropic flow by adding extra weight factor in the $v_n$ calculation. The discrepancy between experimental photon anisotropic flow data and results from theoretical model calculations is not well understood even after significant developments in the model calculations as well as in the experimental analysis. We show that the ratio of photon $v_n$ can be a potential observable in this regard by minimizing the uncertainties arising due to the non-thermal contributions. We calculate the $v_2/v_3$ of photons as a function of $p_T$ from heavy ion collisions at RHIC and compare the results with available experimental data. The ratio does not change significantly $p_T$ in the region $p_T>2$ GeV. However, it rises towards smaller $p_T$ ($< 2$ GeV) values. The ratio is found to be larger for peripheral collisions than for central collisions. In addition, it is found to be sensitive to the initial formation time and the final freeze-out temperature at different $p_T$ regions unlike the individual anisotropic flow parameters. We show that the photon $v_1/v_2$ and $v_1/v_3$ along with the $v_2/v_3$ results may help us constraining the initial conditions.


title: Existence of gravity-capillary Crapper waves with concentrated vorticity

abstract: The aim of this paper is to prove the existence of gravity-capillary Crapper waves with the presence of vorticity. In particular, we consider a concentrated vorticity: point vortex and vortex patch. We show that for small gravity and small vorticity it is possible to demonstrate that the waves are overhanging.


title: Perfect matching modules, dimer partition functions and cluster characters

abstract: Cluster algebra structures for Grassmannians and their (open) positroid strata are controlled by a Postnikov diagram D or, equivalently, a dimer model on the disc, as encoded by either a bipartite graph or the dual quiver (with faces). The associated dimer algebra A, determined directly by the quiver with a certain potential, can also be realised as the endomorphism algebra of a cluster-tilting object in an associated Frobenius cluster category. In this paper, we introduce a class of A-modules corresponding to perfect matchings of the dimer model of D and show that, when D is connected, the indecomposable projective A-modules are in this class. Surprisingly, this allows us to deduce that the cluster category associated to D embeds into the cluster category for the appropriate Grassmannian. We show that the indecomposable projectives correspond to certain matchings which have appeared previously in work of Muller-Speyer. This allows us to identify the cluster-tilting object associated to D, by showing that it is determined by one of the standard labelling rules constructing a cluster of Pl\"{u}cker coordinates from D. By computing a projective resolution of every perfect matching module, we show that Marsh-Scott's formula for twisted Pl\"{u}cker coordinates, expressed as a dimer partition function, is a special case of the general cluster character formula, and thus observe that the Marsh-Scott twist can be categorified by a particular syzygy operation in the Grassmannian cluster category.


title: Nonsingular black hole chemistry

abstract: We study the nonsingular black hole in Anti de-Sitter background taking the negative cosmological constant as the pressure of the system. We investigate the horizon structure, and find the critical values $m_0$ and $\tilde{k}_0$, such that $m>m_0$ (or $\tilde{k}<\tilde{k}_0$) corresponds to a black solution with two horizons, namely the Cauchy horizon $x_-$ and the event horizon $x_+$. For $m=m_0$ (or $\tilde{k}=\tilde{k}_0$), there exist an extremal black hole with degenerate horizon $x_0=x_{\pm}$ and for $m<m_0$ (or $\tilde{k}>\tilde{k}_0$), no black hole solution exists. In turn, we calculate the thermodynamical properties and by observing the behaviour of Gibb's free energy and specific heat, we find that this black hole solution exhibits first order (small to large black hole) and second order phase transition. Further, we study the $P-V$ criticality of system and then calculate the critical exponents showing that they are the same as those of the Van der Waals fluid.


title: Reduction of Trapping and Recombination in Upgraded Metallurgical Grade Silicon: Impact of Phosphorous Diffusion Gettering

abstract: Upgraded metallurgical grade (UMG) silicon (Si) has raised interest as an alternative material for solar cells due to its low cost, low environmental impact and low CAPEX. Maximum cell efficiencies at the level of those obtained from high purity poly-Si have been reported. However, a higher defect density and the compensated doping character result in UMG-based cell efficiencies varying over wider ranges in frequency distribution charts. In this report we characterize mc-Si UMG samples with different defect densities, comparing them with mono-Si UMG and commercial high-performance mc-Si samples, analysing the impact of carrier trapping by means of photoconductance (PC) decay measurements, and its evolution after applying a phosphorous diffusion gettering (PDG) process. When analyzing the decay time constant of the PC measurements, slow (66.8+-14.3 ms) and fast (16.1+-3.5 ms) traps are found in mc-Si samples, while no evidence of trapping is found in mono-UMG samples. Slow traps are effectively removed after the PDG process, while fast traps do remain. The influence of dislocations clusters and the possible role of oxygen, as revealed by Fourier-transform infrared spectroscopy (FTIR) is discussed. Finally, the improvement in minority carrier lifetime due to the PDG treatment is reported for each sample type, reaching values up to 140 us in mc-Si samples with no slow traps neither interstitial oxygen FTIR-peaks


title: A Robust Classification-autoencoder to Defend Outliers and Adversaries

abstract: In this paper, a robust classification-autoencoder (CAE) is proposed, which has strong ability to recognize outliers and defend adversaries. The main idea is to change the autoencoder from an unsupervised learning model into a classifier, where the encoder is used to compress samples with different labels into disjoint compression spaces and the decoder is used to recover samples from their compression spaces. The encoder is used both as a compressed feature learner and as a classifier, and the decoder is used to decide whether the classification given by the encoder is correct by comparing the input sample with the output. Since adversary samples are seemingly inevitable for the current DNN framework, the list classifier to defend adversaries is introduced based on CAE, which outputs several labels and the corresponding samples recovered by the CAE. Extensive experimental results are used to show that the CAE achieves state of the art to recognize outliers by finding almost all outliers; the list classifier gives near lossless classification in the sense that the output list contains the correct label for almost all adversaries and the size of the output list is reasonably small.


title: Reinfection and low cross-immunity as drivers of epidemic resurgence under high seroprevalence: a model-based approach with application to Amazonas, Brazil

abstract: This paper introduces a new multi-strain epidemic model with reinfection and cross-immunity to provide insights into the resurgence of the COVID-19 epidemic in an area with reportedly high seroprevalence due to a largely unmitigated outbreak: the state of Amazonas, Brazil. Although high seroprevalence could have been expected to trigger herd immunity and prevent further waves in the state, we have observed persistent levels of infection after the first wave and eventually the emergence of a second viral strain just before an augmented second wave. Our experiments suggest that the persistent levels of infection after the first wave may be due to reinfection, whereas the higher peak at the second wave can be explained by the emergence of the second variant and a low level of cross-immunity between the original and the second variant. Finally, the proposed model provides insights into the effect of reinfection and cross-immunity on the long-term spread of an unmitigated epidemic.


title: On reachability and null-controllability of nonstrict convex processes

abstract: This paper studies reachability and null-controllability for difference inclusions involving convex processes. Such difference inclusions arise, for instance, in the study of linear discrete-time systems whose inputs and/or states are constrained to lie within a convex cone. After developing a geometric framework for convex processes relying on invariance properties, we provide necessary and sufficient conditions for both reachability and null-controllability in terms of the spectrum of dual processes.


title: The Performance Impact of Newton Iterations per Solver Call in Partitioned Fluid-Structure Interaction

abstract: The cost of a partitioned fluid-structure interaction scheme is typically assessed by the number of coupling iterations required per time step, while ignoring the Newton loops within the nonlinear sub-solvers. In this work, we discuss why these single-field iterations deserve more attention when evaluating the coupling's efficiency and how to find the optimal number of Newton steps per coupling iteration.


title: Informed Machine Learning for Improved Similarity Assessment in Process-Oriented Case-Based Reasoning

abstract: Currently, Deep Learning (DL) components within a Case-Based Reasoning (CBR) application often lack the comprehensive integration of available domain knowledge. The trend within machine learning towards so-called Informed machine learning can help to overcome this limitation. In this paper, we therefore investigate the potential of integrating domain knowledge into Graph Neural Networks (GNNs) that are used for similarity assessment between semantic graphs within process-oriented CBR applications. We integrate knowledge in two ways: First, a special data representation and processing method is used that encodes structural knowledge about the semantic annotations of each graph node and edge. Second, the message-passing component of the GNNs is constrained by knowledge on legal node mappings. The evaluation examines the quality and training time of the extended GNNs, compared to the stock models. The results show that both extensions are capable of providing better quality, shorter training times, or in some configurations both advantages at once.


title: Fixed-Points for Quantitative Equational Logics

abstract: We develop a fixed-point extension of quantitative equational logic and give semantics in one-bounded complete quantitative algebras. Unlike previous related work about fixed-points in metric spaces, we are working with the notion of approximate equality rather than exact equality. The result is a novel theory of fixed points which can not only provide solutions to the traditional fixed-point equations but we can also define the rate of convergence to the fixed point. We show that such a theory is the quantitative analogue of a Conway theory and also of an iteration theory; and it reflects the metric coinduction principle. We study the Bellman equation for a Markov decision process as an illustrative example.


title: Saddle-to-Saddle Dynamics in Deep Linear Networks: Small Initialization Training, Symmetry, and Sparsity

abstract: The dynamics of Deep Linear Networks (DLNs) is dramatically affected by the variance $\sigma^2$ of the parameters at initialization $\theta_0$. For DLNs of width $w$, we show a phase transition w.r.t. the scaling $\gamma$ of the variance $\sigma^2=w^{-\gamma}$ as $w\to\infty$: for large variance ($\gamma<1$), $\theta_0$ is very close to a global minimum but far from any saddle point, and for small variance ($\gamma>1$), $\theta_0$ is close to a saddle point and far from any global minimum. While the first case corresponds to the well-studied NTK regime, the second case is less understood. This motivates the study of the case $\gamma \to +\infty$, where we conjecture a Saddle-to-Saddle dynamics: throughout training, gradient descent visits the neighborhoods of a sequence of saddles, each corresponding to linear maps of increasing rank, until reaching a sparse global minimum. We support this conjecture with a theorem for the dynamics between the first two saddles, as well as some numerical experiments.


title: Extending On-chain Trust to Off-chain -- Trustworthy Blockchain Data Collection using Trusted Execution Environment (TEE)

abstract: Blockchain creates a secure environment on top of strict cryptographic assumptions and rigorous security proofs. It permits on-chain interactions to achieve trustworthy properties such as traceability, transparency, and accountability. However, current blockchain trustworthiness is only confined to on-chain, creating a "trust gap" to the physical, off-chain environment. This is due to the lack of a scheme that can truthfully reflect the physical world in a real-time and consistent manner. Such an absence hinders further real-world blockchain applications, especially for security-sensitive ones. In this paper, we propose a scheme to extend blockchain trust from on-chain to off-chain, and take trustworthy vaccine transportation as an example. Our scheme consists of 1) a Trusted Execution Environment (TEE)-enabled trusted environment monitoring system built with the Arm Cortex-M33 microcontroller that continuously senses the inside of a vaccine box through trusted sensors and generates anti-forgery data; and 2) a consistency protocol to upload the environment status data from the TEE system to blockchain in a truthful, real-time consistent, continuous and fault-tolerant fashion. Our security analysis indicates that no adversary can tamper with the vaccine in any way without being captured. We carry out an experiment to record the internal status of a vaccine shipping box during transportation, and the results indicate that the proposed system incurs an average latency of 84 ms in local sensing and processing followed by an average latency of 130 ms to have the sensed data transmitted to and available in the blockchain.


title: Towards Verifiable Mutability for Blockchains

abstract: Due to their immutable log of information, blockchains can be considered as a transparency-enhancing technology. The immutability, however, also introduces threats and challenges with respect to privacy laws and illegal content. Introducing a certain degree of mutability, which enables the possibility to store and remove information, can therefore increase the opportunities for blockchains. In this paper, we present a concept for a mutable blockchain structure. Our approach enables the removal of certain blocks, while maintaining the blockchain's verifiability property. Since our concept is agnostic to any consensus algorithms, it can be implemented with permissioned and permissionless blockchains.


title: Identification of acoustic gravity waves from satellite measurements

abstract: A method for recognizing the types of linear acoustic gravity waves (AGWs) in the atmosphere from satellite measurements is proposed. It is shown that the polarization relations between fluctuations of wave parameters (velocity, density, temperature, and pressure) for freely propagating waves, as well as evanescent wave modes, differ significantly, which makes it possible to identify different types of atmospheric waves in experimental data. A diagnostic diagram is proposed, with the help of which, from the phase shifts of the observed parameters, it is possible to determine the type of wave, as well as the direction of its movement relative to the vertical. Using phase shifts between fluctuations of the velocity and thermodynamic parameters of the atmosphere, not only the type of the wave, but also its spectral characteristics can be determined. The verification of the proposed method for identification of polar wave disturbances in measurements from the low-orbit satellite Dynamics Explorer 2 was carried out. The verification showed that the polarization relations of AGW in the thermosphere mainly correspond to the gravity branch of acoustic-gravity waves freely propagating in the direction from bottom to top. This conclusion is consistent with other results of AGW observations in the atmosphere and ionosphere by ground-based and satellite methods. No evanescent waves were observed on the considered orbits.


title: Optical Rectification and Thermal Currents in Optical Tunneling Gap Antennas

abstract: Electrically-contacted optical gap antennas are nanoscale interface devices enabling the transduction between photons and electrons. This new generation of devices captures visible to near infrared electromagnetic radiation and converts the incident energy in a direct-current (DC) electrical signal. The nanoscale rectenna is usually constituted of metal elements (e.g. gold). Light absorption by the metal contacts may lead to additional thermal effects which need to be taken into account to understand the complete photo- response of the device. The purpose of this communication is to discuss the contribution of laser-induced thermo-electric effects in the photo-assisted electronic transport.


title: Short-range magnetic correlation and magnetodielectric coupling in multiferroic Pb3TeMn3P2O14

abstract: In this paper the structural, magnetic, and dielectric properties of langasite compound Pb$_3$TeMn$_3$P$_2$O$_{14}$ have been investigated as a candidate of short-range magnetic correlations driven development of dielectric anomaly above N$\acute{e}$el temperature of ($T_N$=) 7 K. Presence of dielectric anomaly, structural phase transition and a short range magnetic correlation at the same temperature (at around 100 K) as well as magnetic field dependent capacitance clearly indicate that this compound shows magnetodielectric coupling at around 100 K. In addition, unusual behaviour is observed in two polarization loop at room temperature and liquid nitrogen temperature, where coercive field at liquid nitrogen temperature is larger than room temperature. Further, $P$-$E$ loop at liquid nitrogen temperature with different frequencies also affirm that the coercive field and remnant polarization are firstly reduced (but very small value) but when frequency is further increased to 15 Hz and 100 Hz, both of them are enhanced. Therefore, a transition is observed at around 15 Hz in frequency dependent $P_r$ and $E_C$ curve, which may be usually attributed to the generalized pinning and depinning of the dislocation arrays to polarization.


title: Experimental Extraction and Simulation of Charge Trapping during Endurance of FeFET with TiN/HfZrO/SiO2/Si (MFIS) Gate Structure

abstract: We investigate the charge trapping during endurance fatigue of FeFET with TiN/Hf0.5Zr0.5O2/SiO2/Si (MFIS) gate structure. We propose a method of experimentally extracting the number of trapped charges during the memory operation, by measuring the charges in the metal gate and Si substrate. We verify that the amount of trapped charges increases during the endurance fatigue process. This is the first time that the trapped charges are directly experimentally extracted and verified to increase during endurance fatigue. Moreover, we model the interplay between the trapped charges and ferroelectric polarization switching during endurance fatigue. Through the consistency of experimental results and simulated data, we demonstrate that as the memory window decreases: 1) The ferroelectric characteristic of Hf0.5Zr0.5O2 is not degraded. 2) The trap density in the upper bandgap of the gate stacks increases. 3) The reason for memory window decrease is increased trapped electrons after program operation but not related to hole trapping/de-trapping. Our work is helpful to study the charge trapping behavior of FeFET and the related endurance fatigue process.


title: A preliminary approach to knowledge integrity risk assessment in Wikipedia projects

abstract: Wikipedia is one of the main repositories of free knowledge available today, with a central role in the Web ecosystem. For this reason, it can also be a battleground for actors trying to impose specific points of view or even spreading disinformation online. There is a growing need to monitor its "health" but this is not an easy task. Wikipedia exists in over 300 language editions and each project is maintained by a different community, with their own strengths, weaknesses and limitations. In this paper, we introduce a taxonomy of knowledge integrity risks across Wikipedia projects and a first set of indicators to assess internal risks related to community and content issues, as well as external threats such as the geopolitical and media landscape. On top of this taxonomy, we offer a preliminary analysis illustrating how the lack of editors' geographical diversity might represent a knowledge integrity risk. These are the first steps of a research project to build a Wikipedia Knowledge Integrity Risk Observatory.


title: Augmented Shortcuts for Vision Transformers

abstract: Transformer models have achieved great progress on computer vision tasks recently. The rapid development of vision transformers is mainly contributed by their high representation ability for extracting informative features from input images. However, the mainstream transformer models are designed with deep architectures, and the feature diversity will be continuously reduced as the depth increases, i.e., feature collapse. In this paper, we theoretically analyze the feature collapse phenomenon and study the relationship between shortcuts and feature diversity in these transformer models. Then, we present an augmented shortcut scheme, which inserts additional paths with learnable parameters in parallel on the original shortcuts. To save the computational costs, we further explore an efficient approach that uses the block-circulant projection to implement augmented shortcuts. Extensive experiments conducted on benchmark datasets demonstrate the effectiveness of the proposed method, which brings about 1% accuracy increase of the state-of-the-art visual transformers without obviously increasing their parameters and FLOPs.


title: On the Role of Hypocrisy in Escaping the Tragedy of the Commons

abstract: We study the emergence of cooperation in large spatial public goods games. Without employing severe social-pressure against "defectors", or alternatively, significantly rewarding "cooperators", theoretical models typically predict a system collapse in a way that is reminiscent of the "tragedy-of-the-commons" metaphor. Drawing on a dynamic network model, this paper demonstrates how cooperation can emerge when the social-pressure is mild. This is achieved with the aid of an additional behavior called "hypocritical", which appears to be cooperative from the external observer's perspective but in fact hardly contributes to the social-welfare. Our model assumes that social-pressure is induced over both defectors and hypocritical players, but the extent of which may differ. Our main result indicates that the emergence of cooperation highly depends on the extent of social-pressure applied against hypocritical players. Setting it to be at some intermediate range below the one employed against defectors allows a system composed almost exclusively of defectors to transform into a fully cooperative one quickly. Conversely, when the social-pressure against hypocritical players is either too low or too high, the system remains locked in a degenerate configuration.


title: Isospin extrapolation as a method to study inclusive $\bar{B} \to X_{s} \ell^{+}\ell^{-}$ decays

abstract: A novel approach to reconstruct inclusive $\bar{B} \to X_{s} \ell^{+}\ell^{-}$ decays is presented. The method relies on isopsin symmetry to extrapolate the semi-inclusive signature $X_{b}\to K^{+} \ell^{+}\ell^{-} X$ to the fully inclusive rate in $B^{+}$ and $B^{0}$ decays. We investigate the possibility to measure branching fractions and other observables such as lepton universality ratios and $CP$ asymmetries. As a proof of concept, fast simulation is used to compare the $X_{b}\to K^{+} \ell^{+}\ell^{-} X$ signature with a fully inclusive approach. Several experimental advantages are seen which have the potential to make measurements of inclusive $\bar{B} \to X_{s} \ell^{+}\ell^{-}$ decays tractable at a hadron collider.


title: A survey on computational spectral reconstruction methods from RGB to hyperspectral imaging

abstract: Hyperspectral imaging enables versatile applications due to its competence in capturing abundant spatial and spectral information, which are crucial for identifying substances. However, the devices for acquiring hyperspectral images are expensive and complicated. Therefore, many alternative spectral imaging methods have been proposed by directly reconstructing the hyperspectral information from lower-cost, more available RGB images. We present a thorough investigation of these state-of-the-art spectral reconstruction methods from the widespread RGB images. A systematic study and comparison of more than 25 methods has revealed that most of the data-driven deep learning methods are superior to prior-based methods in terms of reconstruction accuracy and quality despite lower speeds. This comprehensive review can serve as a fruitful reference source for peer researchers, thus further inspiring future development directions in related domains.


title: Matter Effects on Mass Square Difference for Four Flavor Neutrino Oscillation

abstract: We consider the matter effects on four flavor neutrino oscillation scheme (3+1). In presence of sterile neutrino, the simplest four flavor neutrino mixing there are six mixing angles and three Dirac CP phases. In this paper, we discuss about the sensitivity of mass square difference effects Delta21, Delta31, and Delta41 in the matter. We find that in presence of sterile neutrino for four flavor mixing framework, only solar mass square difference Delta21 and atmospheric neutrino mass square difference Delta31 change for different values of Dirac phases and energy. There is no change of sterile neutrino mass square differences. In this letter, we study the matter effects on neutrino mass square differences Delta21, Delta31, and Delta41 and calculate the percentage change with respect to the mass square difference in the matter by varying energy for four flavor framework.


title: Symmetry-resolved entanglement entropy in Wess-Zumino-Witten models

abstract: We consider the problem of the decomposition of the R\'enyi entanglement entropies in theories with a non-abelian symmetry by doing a thorough analysis of Wess-Zumino-Witten (WZW) models. We first consider $SU(2)_k$ as a case study and then generalise to an arbitrary non-abelian Lie group. We find that at leading order in the subsystem size $L$ the entanglement is equally distributed among the different sectors labelled by the irreducible representation of the associated algebra. We also identify the leading term that breaks this equipartition: it does not depend on $L$ but only on the dimension of the representation. Moreover, a $\log\log L$ contribution to the R\'enyi entropies exhibits a universal form related to the underlying symmetry group of the model, i.e. the dimension of the Lie group.


title: SOLO: A Simple Framework for Instance Segmentation

abstract: Compared to many other dense prediction tasks, e.g., semantic segmentation, it is the arbitrary number of instances that has made instance segmentation much more challenging. In order to predict a mask for each instance, mainstream approaches either follow the 'detect-then-segment' strategy (e.g., Mask R-CNN), or predict embedding vectors first then cluster pixels into individual instances. In this paper, we view the task of instance segmentation from a completely new perspective by introducing the notion of "instance categories", which assigns categories to each pixel within an instance according to the instance's location. With this notion, we propose segmenting objects by locations (SOLO), a simple, direct, and fast framework for instance segmentation with strong performance. We derive a few SOLO variants (e.g., Vanilla SOLO, Decoupled SOLO, Dynamic SOLO) following the basic principle. Our method directly maps a raw input image to the desired object categories and instance masks, eliminating the need for the grouping post-processing or the bounding box detection. Our approach achieves state-of-the-art results for instance segmentation in terms of both speed and accuracy, while being considerably simpler than the existing methods. Besides instance segmentation, our method yields state-of-the-art results in object detection (from our mask byproduct) and panoptic segmentation. We further demonstrate the flexibility and high-quality segmentation of SOLO by extending it to perform one-stage instance-level image matting. Code is available at: https://git.io/AdelaiDet


title: Maximum likelihood estimation of hidden Markov models for continuous longitudinal data with missing responses and dropout

abstract: We propose an inferential approach for maximum likelihood estimation of the hidden Markov models for continuous responses. We extend to the case of longitudinal observations the finite mixture model of multivariate Gaussian distributions with Missing At Random (MAR) outcomes, also accounting for possible dropout. The resulting hidden Markov model accounts for different types of missing pattern: (i) partially missing outcomes at a given time occasion; (ii) completely missing outcomes at a given time occasion (intermittent pattern); (iii) dropout before the end of the period of observation (monotone pattern). The MAR assumption is formulated to deal with the first two types of missingness, while to account for informative dropout we assume an extra absorbing state. Maximum likelihood estimation of the model parameters is based on an extended Expectation-Maximization algorithm relying on suitable recursions. The proposal is illustrated by a Monte Carlo simulation study and an application based on historical data on primary biliary cholangitis.


title: On zeroes and poles of Helson zeta functions

abstract: We show that the analytic continuations of Helson zeta functions $ \zeta_\chi (s)= \sum_1^{\infty}\chi(n)n^{-s} $ can have essentially arbitrary poles and zeroes in the strip $ 21/40 < \Re s < 1 $ (unconditionally), and in the whole critical strip $ 1/2 < \Re s <1 $ under Riemann Hypothesis.


title: An Integrated Framework for Two-pass Personalized Voice Trigger

abstract: In this paper, we present the XMUSPEECH system for Task 1 of 2020 Personalized Voice Trigger Challenge (PVTC2020). Task 1 is a joint wake-up word detection with speaker verification on close talking data. The whole system consists of a keyword spotting (KWS) sub-system and a speaker verification (SV) sub-system. For the KWS system, we applied a Temporal Depthwise Separable Convolution Residual Network (TDSC-ResNet) to improve the system's performance. For the SV system, we proposed a multi-task learning network, where phonetic branch is trained with the character label of the utterance, and speaker branch is trained with the label of the speaker. Phonetic branch is optimized with connectionist temporal classification (CTC) loss, which is treated as an auxiliary module for speaker branch. Experiments show that our system gets significant improvements compared with baseline system.


title: Compact Itinerant Microwave Photonics with Superconducting High-Kinetic Inductance Microstrips

abstract: Microwave photonics is a remarkably powerful system for quantum simulation and technologies, but its integration in superconducting circuits, superior in many aspects, is constrained by the long wavelengths and impedance mismatches in this platform. We introduce a solution to these difficulties via compact networks of high-kinetic inductance microstrip waveguides and coupling wires with strongly reduced phase velocities. We demonstrate broadband capabilities for superconducting microwave photonics in terms of routing, emulation and generalized linear and nonlinear networks.


title: High conductivity Polarization-induced 2D hole gases in Undoped GaN/AlN Heterojunctions enabled by Impurity Blocking Layers

abstract: High-conductivity undoped GaN/AlN 2D hole gases (2DHGs), the p-type dual of the AlGaN/GaN 2D electron gases (2DEGs), have offered valuable insights into hole transport in GaN and enabled the first GaN GHz RF p-channel FETs. They are an important step towards high-speed and high-power complementary electronics with wide-bandgap semiconductors. These technologically and scientifically relevant 2D hole gases are perceived to be not as robust as the 2DEGs because structurally similar heterostructures exhibit wide variations of the hole density over $\Delta p_s >$ 7 x 10$^{13}$ cm$^{-2}$, and low mobilities. In this work, we uncover that the variations are tied to undesired dopant impurities such as Silicon and Oxygen floating up from the nucleation interface. By introducing impurity blocking layers (IBLs) in the AlN buffer layer, we eliminate the variability in 2D hole gas densities and transport properties, resulting in a much tighter-control over the 2DHG density variations to $\Delta p_s \leq$ 1 x 10$^{13}$ cm$^{-2}$ across growths, and a 3x boost in the Hall mobilities. These changes result in a 2-3x increase in hole conductivity when compared to GaN/AlN structures without IBLs.


title: BLNet: A Fast Deep Learning Framework for Low-Light Image Enhancement with Noise Removal and Color Restoration

abstract: Images obtained in real-world low-light conditions are not only low in brightness, but they also suffer from many other types of degradation, such as color bias, unknown noise, detail loss and halo artifacts. In this paper, we propose a very fast deep learning framework called Bringing the Lightness (denoted as BLNet) that consists of two U-Nets with a series of well-designed loss functions to tackle all of the above degradations. Based on Retinex Theory, the decomposition net in our model can decompose low-light images into reflectance and illumination and remove noise in the reflectance during the decomposition phase. We propose a Noise and Color Bias Control module (NCBC Module) that contains a convolutional neural network and two loss functions (noise loss and color loss). This module is only used to calculate the loss functions during the training phase, so our method is very fast during the test phase. This module can smooth the reflectance to achieve the purpose of noise removal while preserving details and edge information and controlling color bias. We propose a network that can be trained to learn the mapping between low-light and normal-light illumination and enhance the brightness of images taken in low-light illumination. We train and evaluate the performance of our proposed model over the real-world Low-Light (LOL) dataset), and we also test our model over several other frequently used datasets (LIME, DICM and MEF datasets). We conduct extensive experiments to demonstrate that our approach achieves a promising effect with good rubustness and generalization and outperforms many other state-of-the-art methods qualitatively and quantitatively. Our method achieves high speed because we use loss functions instead of introducing additional denoisers for noise removal and color correction. The code and model are available at https://github.com/weixinxu666/BLNet.


title: Large violations in Kochen Specker contextuality and their applications

abstract: The Kochen-Specker (KS) theorem is a fundamental result in quantum foundations that has spawned massive interest since its inception. We present state-independent non-contextuality inequalities with large violations, in particular, we exploit a connection between Kochen-Specker proofs and pseudo-telepathy games to show KS proofs in Hilbert spaces of dimension $d \geq 2^{17}$ with the ratio of quantum value to classical bias being $O(\sqrt{d}/\log d)$. We study the properties of this KS set and show applications of the large violation. It has been recently shown that Kochen-Specker proofs always consist of substructures of state-dependent contextuality proofs called $01$-gadgets or bugs. We show a one-to-one connection between $01$-gadgets in $\mathbb{C}^d$ and Hardy paradoxes for the maximally entangled state in $\mathbb{C}^d \otimes \mathbb{C}^d$. We use this connection to construct large violation $01$-gadgets between arbitrary vectors in $\mathbb{C}^d$, as well as novel Hardy paradoxes for the maximally entangled state in $\mathbb{C}^d \otimes \mathbb{C}^d$, and give applications of these constructions. As a technical result, we show that the minimum dimension of the faithful orthogonal representation of a graph in $\mathbb{R}^d$ is not a graph monotone, a result that that may be of independent interest.


title: Regularity of distance functions from arbitrary closed sets

abstract: We investigate the distance function $\boldsymbol{\delta}_{K}^{\phi}$ from an arbitrary closed subset $ K $ of a~finite-dimensional Banach space $ (\mathbf{R}^{n}, \phi) $, equipped with a uniformly convex $\mathcal{C}^{2}$-norm $ \phi $. These spaces are known as \emph{Minkowski spaces} and they are one of the fundamental spaces of Finslerian geometry (see https://doi.org/10.1016/S0723-0869(01)80025-6). We prove that the gradient of $\boldsymbol{\delta}_{K}^{\phi}$ satisfies a Lipschitz property on the complement of the $\phi$-cut-locus of $K$ (a.k.a. the medial axis of $\mathbf{R}^{n} \sim K$) and we prove a~structural result for the set of points outside $K$ where $\boldsymbol{\delta}_{K}^{\phi}$ is pointwise twice differentiable, providing an answer to a question raised by Hiriart-Urruty (see https://doi.org/10.2307/2321379). Our results give sharp generalisations of some classical results in the theory of distance functions and they are motivated by critical low-regularity examples for which the available results gives no meaningful or very restricted informations. The results of this paper find natural applications in the theory of partial differential equations and in convex geometry.