title: Blow-up problem for nonlinear nonlocal parabolic equation with absorption under nonlinear nonlocal boundary condition

abstract: In this paper we consider initial boundary value problem for nonlinear nonlocal parabolic equation with absorption under nonlinear nonlocal boundary condition and nonnegative initial datum. We prove comparison principle, global existence and blow-up of solutions.


title: Many Non-Reed-Solomon Type MDS Codes From Arbitrary Genus Algebraic Curves

abstract: It is always interesting and important to construct non-Reed-Solomon type MDS codes in coding theory and finite geometries. In this paper, we prove that there are non-Reed-Solomon type MDS codes from arbitrary genus algebraic curves. It is proved that MDS algebraic geometry (AG) codes from higher genus curves are not equivalent to MDS AG codes from lower genus curves. For genus one case, we construct MDS AG codes of small consecutive lengths from elliptic curves. New self-dual MDS AG codes over ${\bf F}_{{2^s}}$ from elliptic curves are also constructed. These MDS AG codes are not equivalent to Reed-Solomon codes, not equivalent to known MDS twisted Reed-Solomon codes and not equivalent to Roth-Lempel MDS codes. Hence many non-equivalent MDS AG codes, which are not equivalent to Reed-Solomon codes and known MDS twisted-Reed-Solomon codes, can be obtained from arbitrary genus algebraic curves. It is interesting open problem to construct explicit longer MDS AG codes from maximal curves.


title: Morphology and size of bacterial colonies control anoxic microenvironment formation in porous media

abstract: Anaerobic processes (e.g., methanogenesis and fermentation) largely contribute to element cycling and natural contaminant attenuation/mobilization, even in well-oxygenated porous environments, such as shallow aquifers. This paradox is commonly explained by the occurrence of small-scale anoxic microenvironments generated by the coupling of bacterial respiration and the heterogeneous oxygen (O2) transport by porewater. Such microenvironments allow facultatively and obligately anaerobic bacteria to proliferate in oxic environments. Microenvironment dynamics are still poorly understood due to the challenge of directly observing biomass and O2 distributions at the microscale within an opaque sediment and soil matrix. To overcome these limitations, we integrated a microfluidic device with transparent O2 planar optical sensors to measure the temporal behavior of dissolved O2 concentrations and biomass distributions with time-lapse video-microscopy. Our results reveal that bacterial colony morphology, which is highly variable in flowing porous systems, controls the formation of anoxic microenvironments. We rationalize our observations through a colony-scale Damkohler number comparing dissolved O2 diffusion and bacterial O2 uptake rate. Our Damkholer number enables predicting the pore space occupied by anoxic microenvironments in our system, and, given the bacterial organization, it can be applied to 3D porous systems.


title: Secure ambient intelligence prototype for airports

abstract: Nowadays, many technological advances applied to the Internet of Things (IoT) make the introduction of innovative sensors aimed to deploy efficient wireless sensor networks possible. In order to improve the environment and people's lives, real time analysis of certain environmental variables may favor the reduction of health risks related to the deterioration of air quality. To this respect, the proposed system implements a particular prototype of IoT device characterized by the assembly of ambient sensors capable of measuring pollutant gases, temperature and humidity. For this purpose, Raspberry Pi and Arduino platforms are used. Several security methods are introduced to ensure the integrity of air quality data by implementing Merkle Trees on each IoT node and on the Cloud server. Besides, the authenticity of IoT devices and the confidentiality of communications are guaranteed by implementing HTTPS requests. Finally, authentication tokens are used to identify system users, and different security rules are applied to manage database operations.


title: Chewing Detection from Commercial Smart-glasses

abstract: Automatic dietary monitoring has progressed significantly during the last years, offering a variety of solutions, both in terms of sensors and algorithms as well as in terms of what aspect or parameters of eating behavior are measured and monitored. Automatic detection of eating based on chewing sounds has been studied extensively, however, it requires a microphone to be mounted on the subject's head for capturing the relevant sounds. In this work, we evaluate the feasibility of using an off-the-shelf commercial device, the Razer Anzu smart-glasses, for automatic chewing detection. The smart-glasses are equipped with stereo speakers and microphones that communicate with smart-phones via Bluetooth. The microphone placement is not optimal for capturing chewing sounds, however, we find that it does not significantly affect the detection effectiveness. We apply an algorithm from literature with some adjustments on a challenging dataset that we have collected in house. Leave-one-subject-out experiments yield promising results, with an F1-score of 0.96 for the best case of duration-based evaluation of eating time.


title: Learning Point Processes using Recurrent Graph Network

abstract: We present a novel Recurrent Graph Network (RGN) approach for predicting discrete marked event sequences by learning the underlying complex stochastic process. Using the framework of Point Processes, we interpret a marked discrete event sequence as the superposition of different sequences each of a unique type. The nodes of the Graph Network use LSTM to incorporate past information whereas a Graph Attention Network (GAT Network) introduces strong inductive biases to capture the interaction between these different types of events. By changing the self-attention mechanism from attending over past events to attending over event types, we obtain a reduction in time and space complexity from $\mathcal{O}(N^2)$ (total number of events) to $\mathcal{O}(|\mathcal{Y}|^2)$ (number of event types). Experiments show that the proposed approach improves performance in log-likelihood, prediction and goodness-of-fit tasks with lower time and space complexity compared to state-of-the art Transformer based architectures.


title: A Modified UDP for Federated Learning Packet Transmissions

abstract: This paper introduces a Modified User Datagram Protocol (UDP) for Federated Learning to ensure efficiency and reliability in the model parameter transport process, maximizing the potential of the Global model in each Federated Learning round. In developing and testing this protocol, the NS3 simulator is utilized to simulate the packet transport over the network and Google TensorFlow is used to create a custom Federated learning environment. In this preliminary implementation, the simulation contains three nodes where two nodes are client nodes, and one is a server node. The results obtained in this paper provide confidence in the capabilities of the protocol in the future of Federated Learning therefore, in future the Modified UDP will be tested on a larger Federated learning system with a TensorFlow model containing more parameters and a comparison between the traditional UDP protocol and the Modified UDP protocol will be simulated. Optimization of the Modified UDP will also be explored to improve efficiency while ensuring reliability.


title: Implicit large eddy simulations of global solar convection: effects of numerical resolution in non-rotating and rotating cases

abstract: Simulating deep solar convection and its coupled mean-field motions is a formidable challenge where few observational results constrain models that suffer from the non-physical influence of the grid resolution. We present hydrodynamic global Implicit Large-Eddy simulations (ILES) of deep solar convection performed with the EULAG-MHD code, and explore the effects of grid resolution on the properties of rotating and non-rotating convection. The results, based on low-order moments and turbulent spectra reveal that convergence could be achieved in non-rotating simulations provided sufficient resolution in the radial direction. The flow is highly anisotropic, with the energy contained in horizontal divergent motions exceeding by more than three orders of magnitude their radial counterpart. By contrast, in rotating simulations the largest energy is in the toroidal part of the horizontal motions. As the grid resolution increases, the turbulent correlations change in such a way that a solar-like differential rotation, obtained in the simulation with the coarser grid, transitions to the anti-solar differential rotation. The reason for this change is the contribution of the effective viscosity to the balance of the forces driving large-scale flows. As the effective viscosity decreases, the angular momentum balance improves, yet the force balance in the meridional direction lessens, favoring a strong meridional flow that advects angular momentum towards the poles. The results suggest that obtaining the correct distribution of angular momentum may not be a mere issue of numerical resolution. Accounting for additional physics, such as magnetism or the near-surface shear layer, may be necessary in simulating the solar interior.


title: Complex-self-adjointness

abstract: We develop the concept of operators in Hilbert spaces which are similar to their adjoints via antiunitary operators, the latter being not necessarily involutive. We discuss extension theory, refined polar and singular-value decompositions, and antilinear eigenfunction expansions. The study is motivated by physical symmetries in quantum mechanics with non-self-adjoint operators.


title: General Cutting Planes for Bound-Propagation-Based Neural Network Verification

abstract: Bound propagation methods, when combined with branch and bound, are among the most effective methods to formally verify properties of deep neural networks such as correctness, robustness, and safety. However, existing works cannot handle the general form of cutting plane constraints widely accepted in traditional solvers, which are crucial for strengthening verifiers with tightened convex relaxations. In this paper, we generalize the bound propagation procedure to allow the addition of arbitrary cutting plane constraints, including those involving relaxed integer variables that do not appear in existing bound propagation formulations. Our generalized bound propagation method, GCP-CROWN, opens up the opportunity to apply general cutting plane methods for neural network verification while benefiting from the efficiency and GPU acceleration of bound propagation methods. As a case study, we investigate the use of cutting planes generated by off-the-shelf mixed integer programming (MIP) solver. We find that MIP solvers can generate high-quality cutting planes for strengthening bound-propagation-based verifiers using our new formulation. Since the branching-focused bound propagation procedure and the cutting-plane-focused MIP solver can run in parallel utilizing different types of hardware (GPUs and CPUs), their combination can quickly explore a large number of branches with strong cutting planes, leading to strong verification performance. Experiments demonstrate that our method is the first verifier that can completely solve the oval20 benchmark and verify twice as many instances on the oval21 benchmark compared to the best tool in VNN-COMP 2021, and also noticeably outperforms state-of-the-art verifiers on a wide range of benchmarks. GCP-CROWN is part of the $\alpha,\!\beta$-CROWN verifier, the VNN-COMP 2022 winner. Code is available at http://PaperCode.cc/GCP-CROWN


title: Spin functional renormalization group for the $J_{1}J_{2}J_{3}$ quantum Heisenberg model

abstract: We use our recently developed functional renormalization group (FRG) approach for quantum spin systems to investigate the phase diagram of the frustrated $J_{1}J_{2}J_{3}$ quantum Heisenberg model on a cubic lattice. From a simple truncation of the hierarchy of FRG flow equations for the irreducible spin-vertices which retains only static spin fluctuations and neglects the flow of the four-spin interaction, we can estimate the critical temperature with a similar accuracy as the numerically more expensive pseudofermion FRG. In the regime where the ground state exhibits either ferromagnetic or antiferromagnetic order, a more sophisticated truncation including the renormalization of the four-spin interaction as well as dynamic spin fluctuations reveals the underlying renormalization group fixed point and yields critical temperatures which deviate from the accepted values by at most 4 %.


title: Does Cross-Field Influence Regional and Field-Specific Distributions of Highly Cited Researchers?

abstract: Clarivate Analytics announces highly cited researchers (HCRs) every November to recognise true pioneers in their respective fields over the last decade who are one in 1,000 according to citation analysis based on the Web of Science database. However, the scientometric rules underlying HCR selections have constantly evolved over the years; thus, a comparative study between HCRs' academic relevance before and after 2018, when the cross field started to be included in HCR statistics, is essential. This paper evaluated the consistency of measurements in 2017 and 2018 by analysing HCR distributions by different regions and Essential Science Indicators (ESI) fields, studied the effects of introducing the cross-field category to the original 21 ESI fields, and portrayed the accurate picture of HCR distributions by region and subject without the influence of measurement biases. The cross field is believed to exert great impact on regional and field-specific HCR distributions, especially for research fields with HCR counts larger than 150. It was other countries and regions except the US and China that grew with the greatest momentum after the inclusion of cross-field HCRs.


title: Statistical parameters for assessing environmental model performance related to sample size: Case study in ocean color remote sensing

abstract: Environmental model performances need to be assessed using some statistical parameters, such as mean absolute error (MAE) and root mean square error (RMSE). The advantages and disadvantages of these parameters are still in controversial. The purpose of this study is to introduce a statistical parameter, type A uncertainty (UA), into model performance evaluations. We particularly focus on the relations between sample sizes and three evaluation parameters, and tested a few ocean color remote sensing algorithms and datasets. The results indicate that RMSE, MAE and UA all vary with the sample size n but present different trends. Based on our tested results and theoretical analysis, we therefore conclude that UA is better than RMSE and MAE to express model uncertainty, because its downward trends indicate that the more samples we take, the less uncertainty we get. RMSE and MAE are good parameters for assessing model accuracy rather than uncertainty.


title: On the Pros and Cons of Momentum Encoder in Self-Supervised Visual Representation Learning

abstract: Exponential Moving Average (EMA or momentum) is widely used in modern self-supervised learning (SSL) approaches, such as MoCo, for enhancing performance. We demonstrate that such momentum can also be plugged into momentum-free SSL frameworks, such as SimCLR, for a performance boost. Despite its wide use as a fundamental component in modern SSL frameworks, the benefit caused by momentum is not well understood. We find that its success can be at least partly attributed to the stability effect. In the first attempt, we analyze how EMA affects each part of the encoder and reveal that the portion near the encoder's input plays an insignificant role while the latter parts have much more influence. By monitoring the gradient of the overall loss with respect to the output of each block in the encoder, we observe that the final layers tend to fluctuate much more than other layers during backpropagation, i.e. less stability. Interestingly, we show that using EMA to the final part of the SSL encoder, i.e. projector, instead of the whole deep network encoder can give comparable or preferable performance. Our proposed projector-only momentum helps maintain the benefit of EMA but avoids the double forward computation.


title: A biology-driven deep generative model for cell-type annotation in cytometry

abstract: Cytometry enables precise single-cell phenotyping within heterogeneous populations. These cell types are traditionally annotated via manual gating, but this method suffers from a lack of reproducibility and sensitivity to batch-effect. Also, the most recent cytometers - spectral flow or mass cytometers - create rich and high-dimensional data whose analysis via manual gating becomes challenging and time-consuming. To tackle these limitations, we introduce Scyan (https://github.com/MICS-Lab/scyan), a Single-cell Cytometry Annotation Network that automatically annotates cell types using only prior expert knowledge about the cytometry panel. We demonstrate that Scyan significantly outperforms the related state-of-the-art models on multiple public datasets while being faster and interpretable. In addition, Scyan overcomes several complementary tasks such as batch-effect removal, debarcoding, and population discovery. Overall, this model accelerates and eases cell population characterisation, quantification, and discovery in cytometry.


title: Electron magnetic moment of transient chiral phonons in KTaO$_3$

abstract: High intensity THz lasers allow for the coherent excitation of individual phonon modes. The ultrafast control of emergent magnetism by means of phonons opens up new tuning mechanisms for functional materials. While theoretically predicted phonon magnetic moments are tiny, recent experiments hint towards a significant magnetization in various materials. To explain these phenomena, we derive a coupling mechanism between the phonon angular momentum and the electron spin. This coupling introduces the transient level-splitting of spin-up and spin-down channels and a resulting magnetization. We estimate this magnetization on the example of the lowest infrared active mode in the perovskite KTaO$_3$. Our results show an electronic magnetic moment of $\approx 10^{-1}$ $\mu_B$ per unit cell, depending on the doping level and electron temperature.


title: Space Mapping for PDE Constrained Shape Optimization

abstract: The space mapping technique is used to efficiently solve complex optimization problems. It combines the accuracy of fine model simulations with the speed of coarse model optimizations to approximate the solution of the fine model optimization problem. In this paper, we propose novel space mapping methods for solving shape optimization problems constrained by partial differential equations (PDEs). We present the methods in a Riemannian setting based on Steklov-Poincar\'e-type metrics and discuss their numerical discretization and implementation. We investigate the numerical performance of the space mapping methods on several model problems. Our numerical results highlight the methods' great efficiency for solving complex shape optimization problems.


title: Twisted by the Pools: Detection of Selfish Anomalies in Proof-of-Work Mining

abstract: The core of many cryptocurrencies is the decentralised validation network operating on proof-of-work technology. In these systems, validation is done by so-called miners who can digitally sign blocks once they solve a computationally-hard problem. Conventional wisdom generally considers this protocol as secure and stable as miners are incentivised to follow the behaviour of the majority. However, whether some strategic mining behaviours occur in practice is still a major concern. In this paper we target this question by focusing on a security threat: a selfish mining attack in which malicious miners deviate from protocol by not immediately revealing their newly mined blocks. We propose a statistical test to analyse each miner's behaviour in five popular cryptocurrencies: Bitcoin, Litecoin, Monacoin, Ethereum and Bitcoin Cash. Our method is based on the realisation that selfish mining behaviour will cause identifiable anomalies in the statistics of miner's successive blocks discovery. Secondly, we apply heuristics-based address clustering to improve the detectability of this kind of behaviour. We find a marked presence of abnormal miners in Monacoin and Bitcoin Cash, and, to a lesser extent, in Ethereum. Finally, we extend our method to detect coordinated selfish mining attacks, finding mining cartels in Monacoin where miners might secretly share information about newly mined blocks in advance. Our analysis contributes to the research on security in cryptocurrency systems by providing the first empirical evidence that the aforementioned strategic mining behaviours do take place in practice.


title: Time evolution of Majorana corner modes in Floquet second-order topological superconductor

abstract: We propose a practically feasible time-periodic sinusoidal drive protocol in onsite mass term to generate the two-dimensional~(2D) Floquet second-order topological superconductor, hosting both the regular $0$- and anomalous $\pi$-Majorana corner modes~(MCMs) while starting from a static 2D topological insulator/$d$-wave superconductor heterostructure setup. We theoretically study the local density spectra and the time dynamics of MCMs in the presence of such drive. The dynamical MCMs are topologically characterized by employing the average quadrupolar motion. Furthermore, we employ the Floquet perturbation theory~(FPT) in the strong driving amplitude limit to provide analytical insight into the problem. We compare our exact (numerical), and the FPT results in terms of the eigenvalue spectra and the time dynamics of the MCMs. We emphasize that the agreement between the exact numerical and the FPT results are more prominent in the higher frequency regime for close to the $0$-quasi-energy mode.


title: A Survey of MulVAL Extensions and Their Attack Scenarios Coverage

abstract: Organizations employ various adversary models in order to assess the risk and potential impact of attacks on their networks. Attack graphs represent vulnerabilities and actions an attacker can take to identify and compromise an organization's assets. Attack graphs facilitate both visual presentation and algorithmic analysis of attack scenarios in the form of attack paths. MulVAL is a generic open-source framework for constructing logical attack graphs, which has been widely used by researchers and practitioners and extended by them with additional attack scenarios. This paper surveys all of the existing MulVAL extensions, and maps all MulVAL interaction rules to MITRE ATT&CK Techniques to estimate their attack scenarios coverage. This survey aligns current MulVAL extensions along unified ontological concepts and highlights the existing gaps. It paves the way for methodical improvement of MulVAL and the comprehensive modeling of the entire landscape of adversarial behaviors captured in MITRE ATT&CK.


title: FDNeRF: Few-shot Dynamic Neural Radiance Fields for Face Reconstruction and Expression Editing

abstract: We propose a Few-shot Dynamic Neural Radiance Field (FDNeRF), the first NeRF-based method capable of reconstruction and expression editing of 3D faces based on a small number of dynamic images. Unlike existing dynamic NeRFs that require dense images as input and can only be modeled for a single identity, our method enables face reconstruction across different persons with few-shot inputs. Compared to state-of-the-art few-shot NeRFs designed for modeling static scenes, the proposed FDNeRF accepts view-inconsistent dynamic inputs and supports arbitrary facial expression editing, i.e., producing faces with novel expressions beyond the input ones. To handle the inconsistencies between dynamic inputs, we introduce a well-designed conditional feature warping (CFW) module to perform expression conditioned warping in 2D feature space, which is also identity adaptive and 3D constrained. As a result, features of different expressions are transformed into the target ones. We then construct a radiance field based on these view-consistent features and use volumetric rendering to synthesize novel views of the modeled faces. Extensive experiments with quantitative and qualitative evaluation demonstrate that our method outperforms existing dynamic and few-shot NeRFs on both 3D face reconstruction and expression editing tasks. Code is available at https://github.com/FDNeRF/FDNeRF.


title: On solutions of the Diophantine equation $\mathcal{P}_m-L_n=c$

abstract: \noindent In this article, we determine all the integers $c$ having at least two representations as difference between two linear recurrent sequences. This is a variant of the Pillai's equation. This equation is an exponential Diophantine equation. The proof of our main theorem uses lower bounds for linear forms of logarithms, properties of continued fractions, and a version of the Baker-Davenport reduction method in Diophantine approximation.


title: Disentangled Modeling of Domain and Relevance for Adaptable Dense Retrieval

abstract: Recent advance in Dense Retrieval (DR) techniques has significantly improved the effectiveness of first-stage retrieval. Trained with large-scale supervised data, DR models can encode queries and documents into a low-dimensional dense space and conduct effective semantic matching. However, previous studies have shown that the effectiveness of DR models would drop by a large margin when the trained DR models are adopted in a target domain that is different from the domain of the labeled data. One of the possible reasons is that the DR model has never seen the target corpus and thus might be incapable of mitigating the difference between the training and target domains. In practice, unfortunately, training a DR model for each target domain to avoid domain shift is often a difficult task as it requires additional time, storage, and domain-specific data labeling, which are not always available. To address this problem, in this paper, we propose a novel DR framework named Disentangled Dense Retrieval (DDR) to support effective and flexible domain adaptation for DR models. DDR consists of a Relevance Estimation Module (REM) for modeling domain-invariant matching patterns and several Domain Adaption Modules (DAMs) for modeling domain-specific features of multiple target corpora. By making the REM and DAMs disentangled, DDR enables a flexible training paradigm in which REM is trained with supervision once and DAMs are trained with unsupervised data. Comprehensive experiments in different domains and languages show that DDR significantly improves ranking performance compared to strong DR baselines and substantially outperforms traditional retrieval methods in most scenarios.


title: A deep-learning approach for reconstructing 3D turbulent flows from 2D observation data

abstract: Turbulence is a complex phenomenon that has a chaotic nature with multiple spatio-temporal scales, making predictions of turbulent flows a challenging topic. Nowadays, an abundance of high-fidelity databases can be generated by experimental measurements and numerical simulations, but obtaining such accurate data in full-scale applications is currently not possible. This motivates utilising deep learning on subsets of the available data to reduce the required cost of reconstructing the full flow in such full-scale applications. Here, we develop a generative-adversarial-network (GAN)-based model to reconstruct the three-dimensional velocity fields from flow data represented by a cross-plane of unpaired two-dimensional velocity observations. The model could successfully reconstruct the flow fields with accurate flow structures, statistics and spectra. The results indicate that our model can be successfully utilised for reconstructing three-dimensional flows from two-dimensional experimental measurements. Consequently, a remarkable reduction of the experimental setup cost can be achieved.


title: Theoretical Review of Rare B Decays

abstract: We present an overview of the recent neutral current $B$ decays focusing on the deviations with respect to the Standard Model predictions that are observed in $b \to s \ell^+\ell^-$ transitions, and discuss their implications for new physics scenarios in a model-independent way by means of global statistical fits. The prospects for future discoveries in the individual channels, in particular using the theoretically clean observables are also addressed.


title: Physics And Chemistry Of Star Forming Region And Protoplanetary Disk

abstract: My thesis work aims to study the inter-relation between various physical and chemical conditions in a wide range of astrophysical environments. Our studied regions range from the super-hot regions (i.e., nebular, photon-dominated, or photodissociation regions, diffuse area, through which the lights of the background stars can reach us) to the super-cold regions (i.e., dense molecular clouds, proto-planetary disks, etc. where interstellar dust particles absorb all background visible and ultra-violet lights). The chemical complexity of the interstellar cloud gradually evolves due to the evolution in physical conditions. The dense molecular clouds are the birth sites of star-formation, where a wide variety of complex organic molecules are observed. Dust particles play an essential role in the formation of these complex organic molecules. During the warm-up stage of a star-forming region, the molecules formed during the cold phase start to return to the gas phase by various thermal and non-thermal evaporation processes. These complex molecules again freeze out to the outer part of the proto-planetary disk during the further evolved stage according to their condensation temperature and form the so-called snow-lines. The binding energies of these molecules with the prevailing dust particles play a crucial role in determining the structural information of this disk. Thus the binding energy of the molecules is vital to understand several critical aspects of the star and planet formation processes. In this thesis, I will discuss the chemical complexity obtained in a wide range of the star-forming region and whether this chemical complexity lead to biomolecules in space.


title: A Comprehensive Survey of Natural Language Generation Advances from the Perspective of Digital Deception

abstract: In recent years there has been substantial growth in the capabilities of systems designed to generate text that mimics the fluency and coherence of human language. From this, there has been considerable research aimed at examining the potential uses of these natural language generators (NLG) towards a wide number of tasks. The increasing capabilities of powerful text generators to mimic human writing convincingly raises the potential for deception and other forms of dangerous misuse. As these systems improve, and it becomes ever harder to distinguish between human-written and machine-generated text, malicious actors could leverage these powerful NLG systems to a wide variety of ends, including the creation of fake news and misinformation, the generation of fake online product reviews, or via chatbots as means of convincing users to divulge private information. In this paper, we provide an overview of the NLG field via the identification and examination of 119 survey-like papers focused on NLG research. From these identified papers, we outline a proposed high-level taxonomy of the central concepts that constitute NLG, including the methods used to develop generalised NLG systems, the means by which these systems are evaluated, and the popular NLG tasks and subtasks that exist. In turn, we provide an overview and discussion of each of these items with respect to current research and offer an examination of the potential roles of NLG in deception and detection systems to counteract these threats. Moreover, we discuss the broader challenges of NLG, including the risks of bias that are often exhibited by existing text generation systems. This work offers a broad overview of the field of NLG with respect to its potential for misuse, aiming to provide a high-level understanding of this rapidly developing area of research.


title: NEO-QEC: Neural Network Enhanced Online Superconducting Decoder for Surface Codes

abstract: Quantum error correction (QEC) is essential for quantum computing to mitigate the effect of errors on qubits, and surface code (SC) is one of the most promising QEC methods. Decoding SCs is the most computational expensive task in the control device of quantum computers (QCs), and many works focus on accurate decoding algorithms for SCs, including ones with neural networks (NNs). Practical QCs also require low-latency decoding because slow decoding leads to the accumulation of errors on qubits, resulting in logical failures. For QCs with superconducting qubits, a practical decoder must be very power-efficient in addition to having high accuracy and low latency. In order to reduce the hardware complexity of QC, we are supposed to decode SCs in a cryogenic environment with a limited power budget, where superconducting qubits operate. In this paper, we propose an NN-based accurate, fast, and low-power decoder capable of decoding SCs and lattice surgery (LS) operations with measurement errors on ancillary qubits. To achieve both accuracy and hardware efficiency of the SC decoder, we apply a binarized NN. We design a neural processing unit (NPU) for the decoder with SFQ-based digital circuits and evaluate it with a SPICE-level simulation. We evaluate the decoder performance by a quantum error simulator for the single logical qubit protection and the minimum operation of LS with code distances up to 13, and it achieves 2.5% and 1.0% accuracy thresholds, respectively.


title: Universal behavior of magnon-mediated spin transport in disordered NM/NM/FI heterostructure

abstract: We numerically investigate the magnon-mediated spin transport and scaling behaviors of a nonmagnetic metal/nonmagnetic metal/ferromagnetic insulator (NM/NM/FI) heterostructure in the presence of Anderson disorders. For the two-dimensional (2D) NM/NM/FI system, an enhancement of spin conductance in the weak disorder regime is found due to the increasing of the interfacial density of states (DOS) at NM/FI interface. As a result, a new scaling regime is uncovered in the metallic regime where the spin conductance fluctuation rms(G) scales linearly with the average spin conductance <G>, independent of system parameters such as Fermi energies and temperatures. The competition between the disorder-enhanced interfacial DOS and disorder-suppressed spin transport results in a non-monotonic dependence of average spin conductance on disorder strength. In the localized regime, the variance of lnG for different system parameters follows a universal function that depends linearly on the average of logarithm of spin conductance <lnG>.The distribution of lnG in the localized regime is non-Gaussian whose deviation from Gaussian can be characterized by the third and fourth order cumulants of lnG, denoted as k3 and k4, respectively. We find that k3~<-lnG>^3/2 and k4~<lnG>^2. This suggests that the spin conductance mediated by magnon in NM/NM/FI hybrid systems belongs to a different universality class. For fixed <lnG>, the lnG distribution in the localized regime for different system parameters is found to collapse onto a single curve, suggesting the distribution P(lnG;<lnG>) is a universal function that depends only on <lnG>. Furthermore, spin thermopower S in the presence of disorder is studied and the variance of lnS is found to scale linearly with <lnS> for different system parameters in the localized regime. Spin conductance and spin thermopower for 1D NM/NM/FI are also studied.


title: A versatile platform for graphene nanoribbon synthesis, electronic decoupling, and spin polarized measurements

abstract: The on-surface synthesis of nano-graphenes has led the charge in prototyping structures with perspectives beyond silicon-based technology. Following reports of open-shell systems in graphene-nanoribbons (GNR), a flurry of research activities is directed at investigating their magnetic properties with a keen eye for spintronic applications. Although the synthesis of nano-graphenes is usually straightforward on gold, it is difficult to use it for electronic decoupling and spin-polarized measurements. Using a binary alloy Cu3Au(111), we show how to combine the efficient gold-like nano-graphene formation with spin polarization and electronic decoupling known from copper. We prepare copper oxide layers, demonstrate thermally and tip-assisted synthesis of GNR and grow thermally stable magnetic Co islands. We functionalize the tip of a scanning tunneling microscope with carbon-monoxide, nickelocene, or attach Co clusters for high-resolution imaging, magnetic sensing, or spin-polarized measurements. This versatile platform will be a valuable tool in the advanced study of magnetic nano-graphenes.


title: Strongly generating elements in finite and profinite groups

abstract: Given a finite group $G$ and an element $g\in G$, we may compare the expected number $e(G)$ of elements needed to generate $G$ and the expected number $e(G,g)$ of elements of $G$ needed to generate $G$ together with $g.$ We address the following question: how large can the difference $e(G)-e(G,g)$ be?


title: On the existence of products of primes in arithmetic progressions

abstract: We study the existence of products of primes in arithmetic progressions, building on the work of Ramar\'e and Walker. One of our main results is that if $q$ is a large modulus, then any invertible residue class mod $q$ contains a product of three primes where each prime is at most $q^{6/5+\epsilon}$. Our arguments use results from a wide range of areas, such as sieve theory or additive combinatorics, and one of our key ingredients, which has not been used in this setting before, is a result by Heath-Brown on character sums over primes from his paper on Linnik's theorem.


title: Learning Computation Bounds for Branch-and-Bound Algorithms to k-plex Extraction

abstract: k-plex is a representative definition of communities in networks. While the cliques is too stiff to applicate to real cases, the k-plex relaxes the notion of the clique, allowing each node to miss up to k connections. Although k-plexes are more flexible than cliques, finding them is more challenging as their number is greater. In this paper, we aim to detect the k-plex under the size and time constraints, leveraging the new vision of automated learning bounding strategy. We introduce the constraint learning concept to learn the bound strategy from the branch and bound process and develop it into a Mixed Integer Programming framework. While most of the work is dedicated on learn the branch strategy in branch and bound-based algorithms, we focus on the learn to bound strategy which needs to handle the problem that learned strategy might not examine the feasible solution. We adopted the MILP framework and design a set of variables relative to the k-plex property as our constraint space to learn the strategy. The learn to bound strategy learning the original strategy function also reduces the computation load of the bound process to accelerate the branch and bound algorithm. Note that the learn to bound concept can apply to any branch and bound based algorithm with the appropriate framework. We conduct the experiment on different networks, the results show that our learn to branch and bound method does accelerate the original branch and bound method and outperforms other baselines, while also being able to generalize on different graph properties.


title: The dynamics of belief: continuously monitoring and visualising complex systems

abstract: The rise of AI in human contexts places new demands on automated systems to be transparent and explainable. We examine some anthropomorphic ideas and principles relevant to such accountablity in order to develop a theoretical framework for thinking about digital systems in complex human contexts and the problem of explaining their behaviour. Structurally, systems are made of modular and hierachical components, which we abstract in a new system model using notions of modes and mode transitions. A mode is an independent component of the system with its own objectives, monitoring data, and algorithms. The behaviour of a mode, including its transitions to other modes, is determined by functions that interpret each mode's monitoring data in the light of its objectives and algorithms. We show how these belief functions can help explain system behaviour by visualising their evaluation as trajectories in higher-dimensional geometric spaces. These ideas are formalised mathematically by abstract and concrete simplicial complexes. We offer three techniques: a framework for design heuristics, a general system theory based on modes, and a geometric visualisation, and apply them in three types of human-centred systems.


title: On Complex Intuitionistic Fuzzy Lie Sub-superalgebras

abstract: A complex intuitionistic fuzzy Lie superalgebra is a generalization of intuitionistic fuzzy Lie superalgebra whose membership function takes values in the unit disk in the complex plane. In this research, the concepts of complex intuitionistic fuzzy sets are introduced to Lie superalgebras. We define the complex intuitionistic fuzzy Lie sub superalgebras and complex intuitionistic fuzzy ideals of Lie superalgebras. Then, we study some related properties of complex intuitionistic fuzzy Lie sub-superalgebras and complex intuitionistic fuzzy ideals. Finally, we define the image and preimage of complex intuitionistic fuzzy Lie sub-superalgebra under Lie superalgebra anti-homomorphism. The properties of anti-complex intuitionistic fuzzy Lie sub-superalgebras and anti-complex intuitionistic fuzzy ideals under anti-homomorphisms of Lie superalgebras are investigated.


title: Pinchuk scaling method on domains with non-compact automorphism groups

abstract: In this paper, we characterize weakly pseudoconvex domains of finite type in $\mathbb C^n$ in terms of the boundary behavior of automorphism orbits by using the scaling method.


title: Distributionally Robust Model-Based Offline Reinforcement Learning with Near-Optimal Sample Complexity

abstract: This paper concerns the central issues of model robustness and sample efficiency in offline reinforcement learning (RL), which aims to learn to perform decision making from history data without active exploration. Due to uncertainties and variabilities of the environment, it is critical to learn a robust policy -- with as few samples as possible -- that performs well even when the deployed environment deviates from the nominal one used to collect the history dataset. We consider a distributionally robust formulation of offline RL, focusing on tabular robust Markov decision processes with an uncertainty set specified by the Kullback-Leibler divergence in both finite-horizon and infinite-horizon settings. To combat with sample scarcity, a model-based algorithm that combines distributionally robust value iteration with the principle of pessimism in the face of uncertainty is proposed, by penalizing the robust value estimates with a carefully designed data-driven penalty term. Under a mild and tailored assumption of the history dataset that measures distribution shift without requiring full coverage of the state-action space, we establish the finite-sample complexity of the proposed algorithms. We further develop an information-theoretic lower bound, which suggests that learning RMDPs is at least as hard as the standard MDPs when the uncertainty level is sufficient small, and corroborates the tightness of our upper bound up to polynomial factors of the (effective) horizon length for a range of uncertainty levels. To the best our knowledge, this provides the first provably near-optimal robust offline RL algorithm that learns under model uncertainty and partial coverage.


title: MixSKD: Self-Knowledge Distillation from Mixup for Image Recognition

abstract: Unlike the conventional Knowledge Distillation (KD), Self-KD allows a network to learn knowledge from itself without any guidance from extra networks. This paper proposes to perform Self-KD from image Mixture (MixSKD), which integrates these two techniques into a unified framework. MixSKD mutually distills feature maps and probability distributions between the random pair of original images and their mixup images in a meaningful way. Therefore, it guides the network to learn cross-image knowledge by modelling supervisory signals from mixup images. Moreover, we construct a self-teacher network by aggregating multi-stage feature maps for providing soft labels to supervise the backbone classifier, further improving the efficacy of self-boosting. Experiments on image classification and transfer learning to object detection and semantic segmentation demonstrate that MixSKD outperforms other state-of-the-art Self-KD and data augmentation methods. The code is available at https://github.com/winycg/Self-KD-Lib.


title: Recent advances in charm mixing and $CP$ violation at LHCb

abstract: After playing a pivotal role in the birth of the Standard Model in the 70's, the study of charm physics has undergone a revival during the last decade, triggered by a wealth of precision measurements from the charm and $B$ factories, and from the CDF and especially the LHCb experiments. In this article, we sum up how the unique phenomenology of charmed hadrons can be used to test the Standard Model and we review the latest measurements performed in this field by the LHCb experiment. These include the historic first observations of $CP$ violation and of a nonzero mass difference between the charmed neutral-meson mass eigenstates, the most precise determination of their decay-width difference to date, and a search for time-dependent $CP$ violation reaching the unprecedented precision of $10^{-4}$. These results challenge our comprehension of nonperturbative strong interactions, and their interpretation calls for further studies on both the theoretical and experimental sides. The upcoming upgrades of the LHCb experiment will play a leading role in this quest.


title: Functional Connectivity via Total Correlation: Analytical results in Visual Areas

abstract: Recent studies invoke the superiority of the multivariate Total Correlation concept over the conventional pairwise measures of functional connectivity in biological networks. Those seminal works certainly show that empirical measures of Total Correlation lead to connectivity patterns that differ from what is obtained using the most popular measure, linear correlation, or its higher order and nonlinear alternative Mutual Information. However, they do not provide analytical results that explain the differences beyond the obvious multivariate versus bivariate definitions. Moreover, the accuracy of the empirical estimators could not be addressed directly because no controlled scenario with known analytical result was provided either. This point is critical because empirical estimation of information theory measures is always challenging. As opposed to previous empirical approaches, in this work we present analytical results to prove the advantages of Total Correlation over Mutual Information to describe the functional connectivity. In particular, we do it in neural networks for early vision (retina-LGN-cortex) which are realistic but simple enough to get analytical results. The presented analytical setting is also useful to check empirical estimates of Total Correlation. Therefore, once certain estimate can be trusted, one can explore the behavior with natural signals where the analytical results (that assume Gaussian signals), may not be valid. In this regard, as applications (a) we explore the effect of connectivity and feedback in the analytical retina-LGN-cortex network with natural images, and (b) we assess the functional connectivity in visual areas V1-V2-V3-V4 from actual fMRI recordings.


title: Approximating real symmetric Toeplitz matrices using the nearest circulant

abstract: The nearest circulant approximation of a real Toeplitz matrix in the Frobenius norm is derived. This matrix is symmetric. It is proven that symmetric circulant matrices are the only real circulant matrices with all real eigenvalues. The Frobenius norm of the difference between this approximation and the Toeplitz matrix for the case of a Toeplitz matrix displaying exponential decay is evaluated using an expression of $\sum_{n = 1}^N n^k p^n$ in terms of the first $k$ geometric moments. Compared to a classic approximation the nearest circulant displays dramatically better behaviour in any finite cases, though both share the same leading term for large $M$.


title: KiPA22 Report: U-Net with Contour Regularization for Renal Structures Segmentation

abstract: Three-dimensional (3D) integrated renal structures (IRS) segmentation is important in clinical practice. With the advancement of deep learning techniques, many powerful frameworks focusing on medical image segmentation are proposed. In this challenge, we utilized the nnU-Net framework, which is the state-of-the-art method for medical image segmentation. To reduce the outlier prediction for the tumor label, we combine contour regularization (CR) loss of the tumor label with Dice loss and cross-entropy loss to improve this phenomenon.


title: $\lambda$-TD algebras, generalized shuffle products and left counital Hopf algebras

abstract: The theory of operated algebras has played a pivotal role in mathematics and physics. In this paper, we introduce a $\lambda$-TD algebra that appropriately includes both the Rota-Baxter algebra and the TD-algebra. The explicit construction of free commutative $\lambda$-TD algebra on a commutative algebra is obtained by generalized shuffle products, called $\lambda$-TD shuffle products. We then show that the free commutative $\lambda$-TD algebra possesses a left counital bialgera structure by means of a suitable 1-cocycle condition. Furthermore, the classical result that every connected filtered bialgebra is a Hopf algebra, is extended to the context of left counital bialgebras. Given this result, we finally prove that the left counital bialgebra on the free commutative $\lambda$-TD algebra is connected and filtered, and thus is a left counital Hopf algebra.


title: On three problems of Y.--G. Chen

abstract: In this short note, we answer two questions of Chen and Ruzsa negatively and answer a problem of Ma and Chen affirmatively.


title: PSUMNet: Unified Modality Part Streams are All You Need for Efficient Pose-based Action Recognition

abstract: Pose-based action recognition is predominantly tackled by approaches which treat the input skeleton in a monolithic fashion, i.e. joints in the pose tree are processed as a whole. However, such approaches ignore the fact that action categories are often characterized by localized action dynamics involving only small subsets of part joint groups involving hands (e.g. `Thumbs up') or legs (e.g. `Kicking'). Although part-grouping based approaches exist, each part group is not considered within the global pose frame, causing such methods to fall short. Further, conventional approaches employ independent modality streams (e.g. joint, bone, joint velocity, bone velocity) and train their network multiple times on these streams, which massively increases the number of training parameters. To address these issues, we introduce PSUMNet, a novel approach for scalable and efficient pose-based action recognition. At the representation level, we propose a global frame based part stream approach as opposed to conventional modality based streams. Within each part stream, the associated data from multiple modalities is unified and consumed by the processing pipeline. Experimentally, PSUMNet achieves state of the art performance on the widely used NTURGB+D 60/120 dataset and dense joint skeleton dataset NTU 60-X/120-X. PSUMNet is highly efficient and outperforms competing methods which use 100%-400% more parameters. PSUMNet also generalizes to the SHREC hand gesture dataset with competitive performance. Overall, PSUMNet's scalability, performance and efficiency makes it an attractive choice for action recognition and for deployment on compute-restricted embedded and edge devices. Code and pretrained models can be accessed at https://github.com/skelemoa/psumnet


title: Neural Networks for Scalar Input and Functional Output

abstract: The regression of a functional response on a set of scalar predictors can be a challenging task, especially if there is a large number of predictors, or the relationship between those predictors and the response is nonlinear. In this work, we propose a solution to this problem: a feed-forward neural network (NN) designed to predict a functional response using scalar inputs. First, we transform the functional response to a finite-dimensional representation and construct an NN that outputs this representation. Then, we propose to modify the output of an NN via the objective function and introduce different objective functions for network training. The proposed models are suited for both regularly and irregularly spaced data, and a roughness penalty can be further applied to control the smoothness of the predicted curve. The difficulty in implementing both those features lies in the definition of objective functions that can be back-propagated. In our experiments, we demonstrate that our model outperforms the conventional function-on-scalar regression model in multiple scenarios while computationally scaling better with the dimension of the predictors.


title: Dbias: Detecting biases and ensuring Fairness in news articles

abstract: Because of the increasing use of data-centric systems and algorithms in machine learning, the topic of fairness is receiving a lot of attention in the academic and broader literature. This paper introduces Dbias (https://pypi.org/project/Dbias/), an open-source Python package for ensuring fairness in news articles. Dbias can take any text to determine if it is biased. Then, it detects biased words in the text, masks them, and suggests a set of sentences with new words that are bias-free or at least less biased. We conduct extensive experiments to assess the performance of Dbias. To see how well our approach works, we compare it to the existing fairness models. We also test the individual components of Dbias to see how effective they are. The experimental results show that Dbias outperforms all the baselines in terms of accuracy and fairness. We make this package (Dbias) as publicly available for the developers and practitioners to mitigate biases in textual data (such as news articles), as well as to encourage extension of this work.


title: Collapsing scenario for the k-essence emergent generalised Vaidya spacetime in the context of massive gravity's rainbow

abstract: In this paper, we study the collapsing scenario for the k-essence emergent Vaidya spacetime in the context of massive gravity's rainbow. For this study, we consider that the background metric is Vaidya spacetime in massive gravity's rainbow. We show that the k-essence emergent gravity metric resembles closely to the new type of generalized Vaidya massive gravity metric with the rainbow deformations for null fluid collapse where we consider the k-essence scalar field as a function solely of the advanced or the retarded time. The k-essence emergent Vaidya massive gravity rainbow mass function is also different. This new type k-essence emergent Vaidya massive gravity rainbow metric has satisfied the required energy conditions. The existence of the locally naked central singularity, the strength and the strongness of the singularities for the rainbow deformations of the k-essence emergent Vaidya massive gravity metric are the interesting outcomes of the present work.


title: Comment on "Energy conditions in $f(Q)$ gravity"

abstract: In Phys. Rev. D 102, 024057 (2020), the authors studied energy conditions in $f(Q)$ theory following the same path as researchers handled the energy conditions in the curvature-based modified gravity theories, like $f(R)$ or $f(R,G)$ theories. However, the field equations in the $f(Q)$ theory was not expressed as an effective theory in the literature earlier and in the above mentioned paper [1], the authors claimed that the pressure and energy density follow a set of energy condition criteria without showing how they came to this conclusion. In this comment, we express $f(Q)$ theory as an effective theory in Friedmann-Lema\^{i}tre-Robertson-Walker (FLRW) universe. And from there, the correct energy conditions are obtained in the traditional (general relativistic) way. Unfortunately, some missing terms in the published work [1] are noticed.


title: A note on $\Gamma$-convergence of Tikhonov functionals for nonlinear inverse problems

abstract: We consider variational regularization of nonlinear inverse problems in Banach spaces using Tikhonov functionals. This article addresses the problem of $\Gamma$-convergence of a family of Tikhonov functionals and assertions of the convergence of their respective infima. Such questions arise, if model uncertainties, inaccurate forward operators, finite dimensional approximations of the forward solutions and / or data, etc. make the evaluation of the original functional impossible and, thus, its minimizer not computable. But for applications it is of utmost importance that the minimizer of the replacement functional approximates the original minimizer. Under certain additional conditions this is satisfied if the approximated functionals converge to the original functional in the sense of $\Gamma$-convergence. We deduce simple criteria in different topologies which guarantee $\Gamma$-convergence as well as convergence of minimizing sequences.


title: Path-aware Siamese Graph Neural Network for Link Prediction

abstract: In this paper, we propose a Path-aware Siamese Graph neural network(PSG) for link prediction tasks. First, PSG captures both nodes and edge features for given two nodes, namely the structure information of k-neighborhoods and relay paths information of the nodes. Furthermore, a novel multi-task GNN framework with self-supervised contrastive learning is proposed for differentiation of positive links and negative links while content and behavior of nodes can be captured simultaneously. We evaluate the proposed algorithm PSG on two link property prediction datasets, ogbl-ddi and ogbl-collab. PSG achieves top 1 performance on ogbl-ddi until submission and top 3 performance on ogbl-collab. The experimental results verify the superiority of our proposed PSG


title: Comparison and Analysis of New Curriculum Criteria for End-to-End ASR

abstract: It is common knowledge that the quantity and quality of the training data play a significant role in the creation of a good machine learning model. In this paper, we take it one step further and demonstrate that the way the training examples are arranged is also of crucial importance. Curriculum Learning is built on the observation that organized and structured assimilation of knowledge has the ability to enable faster training and better comprehension. When humans learn to speak, they first try to utter basic phones and then gradually move towards more complex structures such as words and sentences. This methodology is known as Curriculum Learning, and we employ it in the context of Automatic Speech Recognition. We hypothesize that end-to-end models can achieve better performance when provided with an organized training set consisting of examples that exhibit an increasing level of difficulty (i.e. a curriculum). To impose structure on the training set and to define the notion of an easy example, we explored multiple scoring functions that either use feedback from an external neural network or incorporate feedback from the model itself. Empirical results show that with different curriculums we can balance the training times and the network's performance.


title: Global solvability criteria for matrix Riccati equations

abstract: A new approach is used to obtain a global solvability criterion for matrix Riccati equations. It is shown that the obtained result is an extension of a result derived from a comparison theorem for matrix Riccati equations. Two corollaries were drawn from the obtained result as well.


title: Fluid laminarization in protein-based high internal phase emulsions process

abstract: Protein-based high internal phase emulsions (HIPEs) have gained tremendous attention in diverse fields, but their mechanism in the emulsification process remains elusive. In this article, HIPEs were stabilized directly by food-grade proteins, depending on a self-organized process featuring a fluid laminarization. We elucidated that the emulsification with the rotor-stator mixer is a typical non-equilibrium process. The crucial factor for the process is related to the irreversible energy dissipation, while the internal phase volume fraction is the threshold determining the laminarization. The feasible explanation speculated that the transition corresponds to the dissipative structure, i.e., compressive droplets, arising from the spatiotemporal self-organization, to dissipate the turbulent kinetic energy. We found a new paradigm of dissipative structure, comprehending such structure in the HIPEs emulsification process, which is expected to pave the way for its industrial-scale production with the virtue of low-cost proteins.


title: Neural Mesh-Based Graphics

abstract: We revisit NPBG, the popular approach to novel view synthesis that introduced the ubiquitous point feature neural rendering paradigm. We are interested in particular in data-efficient learning with fast view synthesis. We achieve this through a view-dependent mesh-based denser point descriptor rasterization, in addition to a foreground/background scene rendering split, and an improved loss. By training solely on a single scene, we outperform NPBG, which has been trained on ScanNet and then scene finetuned. We also perform competitively with respect to the state-of-the-art method SVS, which has been trained on the full dataset (DTU and Tanks and Temples) and then scene finetuned, in spite of their deeper neural renderer.


title: Proposals for Resolving Consenting Issues with Signals and User-side Dialogues

abstract: Consent dialogues are a source of annoyance, malicious intent, dark patterns, illegal practices and a plethora of other issues. This work presents known problems based on GDPR requirements grouped into two categories: (i) UI/UX for consenting; and (ii) power imbalance in expressing consent. To resolve this, it presents two proposals: First, the use of automation through privacy signals to better govern consenting processes and to reduce `consent-fatigue'. Second, as generation of consent dialogues on the user side and its practicalities for both websites as well as users and agents (e.g. web browsers). Both proposals are discussed in terms of possibilities for implementation and suitability for stakeholders. The article concludes with a discussion on the difficulties in achieving such solutions owing to the conflicts of interest between `web-enablers' and `web-consumers', and the necessity for the EU to take a direct stance in addressing these in their future laws.


title: Unsupervised Face Morphing Attack Detection via Self-paced Anomaly Detection

abstract: The supervised-learning-based morphing attack detection (MAD) solutions achieve outstanding success in dealing with attacks from known morphing techniques and known data sources. However, given variations in the morphing attacks, the performance of supervised MAD solutions drops significantly due to the insufficient diversity and quantity of the existing MAD datasets. To address this concern, we propose a completely unsupervised MAD solution via self-paced anomaly detection (SPL-MAD) by leveraging the existing large-scale face recognition (FR) datasets and the unsupervised nature of convolutional autoencoders. Using general FR datasets that might contain unintentionally and unlabeled manipulated samples to train an autoencoder can lead to a diverse reconstruction behavior of attack and bona fide samples. We analyze this behavior empirically to provide a solid theoretical ground for designing our unsupervised MAD solution. This also results in proposing to integrate our adapted modified self-paced learning paradigm to enhance the reconstruction error separability between the bona fide and attack samples in a completely unsupervised manner. Our experimental results on a diverse set of MAD evaluation datasets show that the proposed unsupervised SPL-MAD solution outperforms the overall performance of a wide range of supervised MAD solutions and provides higher generalizability on unknown attacks.


title: Semantic Self-adaptation: Enhancing Generalization with a Single Sample

abstract: The lack of out-of-domain generalization is a critical weakness of deep networks for semantic segmentation. Previous studies relied on the assumption of a static model, i. e., once the training process is complete, model parameters remain fixed at test time. In this work, we challenge this premise with a self-adaptive approach for semantic segmentation that adjusts the inference process to each input sample. Self-adaptation operates on two levels. First, it fine-tunes the parameters of convolutional layers to the input image using consistency regularization. Second, in Batch Normalization layers, self-adaptation interpolates between the training and the reference distribution derived from a single test sample. Despite both techniques being well known in the literature, their combination sets new state-of-the-art accuracy on synthetic-to-real generalization benchmarks. Our empirical study suggests that self-adaptation may complement the established practice of model regularization at training time for improving deep network generalization to out-of-domain data. Our code and pre-trained models are available at https://github.com/visinf/self-adaptive.


title: TIC 114936199: A Quadruple Star System with a 12-day Outer Orbit Eclipse

abstract: We report the discovery with TESS of a remarkable quadruple star system with a 2+1+1 configuration. The two unique characteristics of this system are that (i) the inner eclipsing binary (stars Aa and Ab) eclipses the star in the outermost orbit (star C), and (ii) these outer 4th body eclipses last for $\sim$12 days, the longest of any such system known. The three orbital periods are $\sim$3.3 days, $\sim$51 days, and $\sim$2100 days. The extremely long duration of the outer eclipses is due to the fact that star B slows binary A down on the sky relative to star C. We combine TESS photometric data, ground-based photometric observations, eclipse timing points, radial velocity measurements, the composite spectral energy distribution, and stellar isochones in a spectro-photodynamical analysis to deduce all of the basic properties of the four stars (mass, radius, $T_{\rm eff}$, and age), as well as the orbital parameters for all three orbits. The four masses are $M_{\rm Aa} =0.382$M$_\odot$, $M_{\rm Ab} =0.300$M$_\odot$, $M_{\rm B} =0.540$M$_\odot$ and $M_{\rm C} =0.615$M$_\odot$, with a typical uncertainty of 0.015 M$_\odot$.


title: Local classical solutions of a three excitations kinetic system for a homogeneous condensed gas of bosons

abstract: Short time existence of classical solutions is proved for a system of equations that involves a three excitations kinetic operator. The system is related to the description of a gas of bosons below but close to the critical temperature, where the three excitations integral aims at describing the interaction between the particles in the condensate and the excitations in the normal gas. Some qualitative properties of the solutions are obtained.


title: Empirical investigations on WVA structural issues

abstract: In this paper we want to present the results of empirical verification of some issues concerning the methods for overcoming catastrophic forgetting in neural networks. First, in the introduction, we will try to describe in detail the problem of catastrophic forgetting and methods for overcoming it for those who are not yet familiar with this topic. Then we will discuss the essence and limitations of the WVA method which we presented in previous papers. Further, we will touch upon the issues of applying the WVA method to gradients or optimization steps of weights, choosing the optimal attenuation function in this method, as well as choosing the optimal hyper-parameters of the method depending on the number of tasks in sequential training of neural networks.


title: Anti-Correlated Photons from Classical Electromagnetism

abstract: For any experiment with two entangled photons, some joint measurement outcomes can have zero probability for a precise choice of basis. These perfect anti-correlations would seem to be a purely quantum phenomenon. It is therefore surprising that these very anti-correlations are also evident when the input to the same experiment is analyzed via classical electromagnetic theory. Demonstrating this quantum-classical connection for arbitrary two-photon states (and analyzing why it is successful) motivates alternative perspectives concerning entanglement, the path integral, and other topics in quantum foundations.


title: Predicting nonlinear optical scattering with physics-driven neural networks

abstract: Deep neural networks trained on physical losses are emerging as promising surrogates of nonlinear numerical solvers. These tools can predict solutions of Maxwell's equations and compute gradients of output fields with respect to the material and geometrical properties in millisecond times which makes them attractive for inverse design or inverse scattering applications. Here we develop a tunable version of MaxwellNet, a physics driven neural network able to compute light scattering from inhomogenous media with a size comparable with the incident wavelength in the presence of the optical Kerr effect. The weights of the network are dynamically adjusted to take into account the intensity-dependent refractive index of the material.


title: Quantum computational intelligence for traveltime seismic inversion

abstract: Quantum computing is in its early stage of implementation. Its capacity has been growing in the last years but its application in several fields of sciences is still restricted to oversimplified problems. In this stage, it is important to identify the situations where quantum computing presents the most promising results to be prepared when the technology is ready to be deployed. The geophysics field has several areas which are limited by the current computation capability, among them the so-called seismic inversion is one of the most important ones, which are strong candidates to benefit from quantum computing. In this work, we implement an approach for traveltime seismic inversion through a near-term quantum algorithm based on gradient-free quantum circuit learning. We demonstrate that a quantum computer with thousands of qubits, even if noisy, can solve geophysical problems. In addition, we compared the convergence of the method with the variational quantum algorithms.


title: An Modified Cole's Importance Sampling Method For Low Error Floor QC-LDPC Codes Construction

abstract: We modified Cole's Importance Sampling (IS) method for enumerating of Trapping Sets (TS, asymmetric subgraphs) causing an error under message-passing decoder. Proposed Cole's IS modifications based on combination of several ideas: parallel TS impulse tree decomposition using unwrapping of message passing iterations, according short cycles dense and straightforward idea of Tanner Graph/ Forney's Normal Graph symmetry - Graph Authomorphism. Its allowed superior Velasquez-Subramani and Karimi-Banihashemi TS enumerating methods. Particularly proposed method under PEG (1008, 504) Mackay code for single thread implementation 5027-times (71463 times, multi-treads) faster compare to Velasquez-Subramani LP method and 43-times faster compare to original Cole's method. For TS enumerating problem under (2640, 1320) Margulis code compare to Velasquez-Subramani LP method proposed method for single thread implementation 37958 times faster, 82-times faster than Karimi-Banihashemi and 134-times faster than Cole's original method. NVIDIA Titan RTX GPU implementation of proposed method gives a further 2-30 times acceleration. FPGA device providing further acceleration from 1.25 to 44 times. We show on example of QC-LDPC codes construction how improvement of EMD spectrum, increase hamming(code) distance effect on TS spectrum and BER/FER error-floor level.


title: Rotating hairy black holes and thermodynamics from gravitational decoupling

abstract: We study the method of extended gravitational decoupling in obtaining static black hole solutions satisfying Einstein's equations with a tensor vacuum. The source has quite generic characteristics and satisfies the strong energy condition. The stationary, axisymmetric counterpart of the static metric is obtained by applying the Newman-Janis and Azreg-A\"{i}nou algorithms. The thermodynamics of the rotating solution is studied and the expressions of various thermodynamic quantities are derived. The dependence of the temperature, free energy and specific heat on the horizon radius is studied for various values of the hairy parameter and the black hole spin. Such a study reveals that small hairy black holes are thermodynamically more stable compared to large hairy black holes, and that the horizon radius and temperature range for which the rotating hairy black holes can be in thermodynamic equilibrium with the surroundings depends non-trivially on the hairy parameters. We further discuss the first law of black hole thermodynamics for the hairy case and discuss its implications.


title: TOI-2196 b: Rare planet in the hot Neptune desert transiting a G-type star

abstract: Highly irradiated planets in the hot Neptune desert are usually either small (R < 2 Rearth) and rocky or they are gas giants with radii of >1 Rjup. Here, we report on the intermediate-sized planet TOI-2196 on a 1.2 day orbit around a G-type star discovered by TESS in sector 27. We collected 42 radial velocity measurements with the HARPS spectrograph to determine the mass. The radius of TOI-2196 b is 3.51 +/- 0.15 Rearth, which, combined with the mass of 26.0 +/- 1.3 Mearth, results in a bulk density of 3.31+0.51-0.43 g/cm3. Hence, the radius implies that this planet is a sub-Neptune, although the density is twice than that of Neptune. A significant trend in the HARPS radial velocities points to the presence of a distant companion with a lower limit on the period and mass of 220 days and 0.65 Mjup, respectively, assuming zero eccentricity. The short period of planet b implies a high equilibrium temperature of 1860 +/- 20 K, for zero albedo and isotropic emission. This places the planet in the hot Neptune desert, joining a group of very few planets in this parameter space discovered in recent years. These planets suggest that the hot Neptune desert may be divided in two parts for planets with equilibrium temperatures of > 1800 K: a hot sub-Neptune desert devoid of planets with radii of 1.8-3 Rearth and a sub-Jovian desert for radii of 5-12 Rearth. More planets in this parameter space are needed to further investigate this finding. Planetary interior structure models of TOI-2196 b are consistent with a H/He atmosphere mass fraction between 0.4 % and 3 %, with a mean value of 0.7 % on top of a rocky interior. We estimated the amount of mass this planet might have lost at a young age, and we find that while the mass loss could have been significant, the planet had not changed in terms of character: it was born as a small volatile-rich planet, and it remains one at present.


title: Aesthetic Visual Question Answering of Photographs

abstract: Aesthetic assessment of images can be categorized into two main forms: numerical assessment and language assessment. Aesthetics caption of photographs is the only task of aesthetic language assessment that has been addressed. In this paper, we propose a new task of aesthetic language assessment: aesthetic visual question and answering (AVQA) of images. If we give a question of images aesthetics, model can predict the answer. We use images from \textit{www.flickr.com}. The objective QA pairs are generated by the proposed aesthetic attributes analysis algorithms. Moreover, we introduce subjective QA pairs that are converted from aesthetic numerical labels and sentiment analysis from large-scale pre-train models. We build the first aesthetic visual question answering dataset, AesVQA, that contains 72,168 high-quality images and 324,756 pairs of aesthetic questions. Two methods for adjusting the data distribution have been proposed and proved to improve the accuracy of existing models. This is the first work that both addresses the task of aesthetic VQA and introduces subjectiveness into VQA tasks. The experimental results reveal that our methods outperform other VQA models on this new task.


title: First-principles calculations of thermal expansion path of the Co7Mo6 Mu-phase

abstract: The Mu-phase, which is an intermetallic compound, can form in steels and superalloys, and significantly degrade their mechanical properties. The thermal expansion of Co7Mo6 Mu-phase have been investigated by first-principles based quasi-harmonic Debye-Gr\"uneisen approximation and by comparing the free energies calculated along different paths of thermal expansion. The calculations were carried out for temperatures from 0 K to 1500 K which below the decomposition temperature of Co7Mo6. The electronic, vibrational and magnetic energy contributions to the free energy were accounted. The thermal expansion of Co7Mo6 is not isotropic. The influence of physical factors on the stability of Co7Mo6 was analyzed. The isobaric heat capacity, thermal expansion, elastic constants, bulk modulus, sound wave velocities, Debye and Curie temperatures were reported. The calculated results analyzed and are in an agreement with the available experimental and theoretical data.


title: Regressing Relative Fine-Grained Change for Sub-Groups in Unreliable Heterogeneous Data Through Deep Multi-Task Metric Learning

abstract: Fine-Grained Change Detection and Regression Analysis are essential in many applications of ArtificialIntelligence. In practice, this task is often challenging owing to the lack of reliable ground truth information andcomplexity arising from interactions between the many underlying factors affecting a system. Therefore,developing a framework which can represent the relatedness and reliability of multiple sources of informationbecomes critical. In this paper, we investigate how techniques in multi-task metric learning can be applied for theregression of fine-grained change in real data.The key idea is that if we incorporate the incremental change in a metric of interest between specific instancesof an individual object as one of the tasks in a multi-task metric learning framework, then interpreting thatdimension will allow the user to be alerted to fine-grained change invariant to what the overall metric isgeneralised to be. The techniques investigated are specifically tailored for handling heterogeneous data sources,i.e. the input data for each of the tasks might contain missing values, the scale and resolution of the values is notconsistent across tasks and the data contains non-independent and identically distributed (non-IID) instances. Wepresent the results of our initial experimental implementations of this idea and discuss related research in thisdomain which may offer direction for further research.


title: Random survival forests with multivariate longitudinal endogenous covariates

abstract: Predicting the individual risk of a clinical event using the complete patient history is still a major challenge for personalized medicine. Among the methods developed to compute individual dynamic predictions, the joint models have the assets of using all the available information while accounting for dropout. However, they are restricted to a very small number of longitudinal predictors. Our objective was to propose an innovative alternative solution to predict an event probability using a possibly large number of longitudinal predictors. We developed DynForest, an extension of competing-risk random survival forests that handles endogenous longitudinal predictors. At each node of the tree, the time-dependent predictors are translated into time-fixed features (using mixed models) to be used as candidates for splitting the subjects into two subgroups. The individual event probability is estimated in each tree by the Aalen-Johansen estimator of the leaf in which the subject is classified according to his/her history of predictors. The final individual prediction is given by the average of the tree-specific individual event probabilities. We carried out a simulation study to demonstrate the performances of DynForest both in a small dimensional context (in comparison with joint models) and in a large dimensional context (in comparison with a regression calibration method that ignores informative dropout). We also applied DynForest to (i) predict the individual probability of dementia in the elderly according to repeated measures of cognitive, functional, vascular and neuro-degeneration markers, and (ii) quantify the importance of each type of markers for the prediction of dementia. Implemented in the R package DynForest, our methodology provides a novel and appropriate solution for the prediction of events from any number of longitudinal endogenous predictors.


title: Stability Analysis of a Class of Discontinuous Discrete-Time Systems

abstract: The stability analysis of a class of discontinuous discrete-time systems is studied in this paper. The system under study is modeled as a feedback interconnection of a linear system and a set-valued nonlinearity. An equivalent representation, based on a constrained optimization problem, is proposed to represent the set-valued nonlinearity via a collection of linear and quadratic constraints. Relying on this description and on the use of a generalized quadratic set-valued Lyapunov functions, sufficient conditions in the form of linear matrix inequalities for global exponential stability are obtained. Numerical examples corroborate the theoretical findings.


title: Optomechanical Two-Photon Hopping

abstract: The hopping mechanism plays a key role in collective phenomena emerging in many-body physics. The ability to create and control systems that display this feature is important for next generation quantum technologies. Here we study two cavities separated by a vibrating two-sided perfect mirror and show that, within currently available experimental parameters, this system displays photon-pair hopping between the two electromagnetic resonators. In particular, the two-photon hopping is not due to tunneling, but rather to higher order resonant processes. Starting from the classical problem, where the vibrating mirror perfectly separates the two sides of the cavity, we quantize the system and then the two sides can interact. This opens the possibility to investigate a new mechanism of photon-pair propagation in optomechanical lattices.


title: Multi-scale modeling of folic acid-functionalized TiO$_{2}$ nanoparticles for active targeting of tumor cells

abstract: Strategies based on the active targeting of tumor cells are emerging as smart and efficient nanomedical procedures. Folic acid (FA) is a vitamin and a well-established tumor targeting agent because of its strong affinity for the folate receptor (FR), which is an overexpressed protein on the cell membranes of the tumor cells. FA can be successfully anchored to several nanocarriers, including inorganic nanoparticles (NPs) based on transition metal oxides. Among them, TiO$_{2}$ is extremely interesting because of its excellent photoabsorption and photocatalytic properties, which can be exploited in photodynamic therapy. However, it is not yet clear in which respects direct anchoring of FA to the NP or the use of spacers, based on polyethylene glycol (PEG) chains, are different and whether one approach is better than the other. In this work, we combine Quantum Mechanics (QM) and Classical Molecular Dynamics (MD) to design and optimize the FA functionalization on bare and PEGylated TiO$_{2}$ models and to study the dynamical behavior of the resulting nanoconjugates in pure water environment and in physiological conditions. We observe that they are chemically stable, even under the effect of increasing temperature (up to 500 K). Using the results from long MD simulations (100 ns) and from free energy calculations, we determine how the density of FA molecules on the TiO$_{2}$ NP and the presence of PEG spacers impact on the actual exposure of the ligands, especially by affecting the extent of FA-FA intermolecular interactions, which are detrimental for the targeting ability of FA towards the folate receptor. This analysis provides a solid and rational basis for experimentalists to define the optimal FA density and the more appropriate mode of anchoring to the carrier, according to the final purpose of the nanoconjugate.


title: Solving partial differential equations on near-term quantum computers

abstract: In this work, we obtain the numerical temperature field to a thermally developing fluid flow inside parallel plates problem with a quantum computing method. The physical problem deals with the heat transfer of a steady state, hydrodinamically developed and thermally developing fluid flow inside two parallel plates channel subjected to a prescribed constant heat flux. Its solution is formulated numerically with Finite Differences method, where a sequence of linear systems must be solved in order to determine the complete temperature field. Such linear systems are written as discrete unconstrained optimization problems with floating points being approximated using binary variables and solved using near-term quantum heuristics. Due to the exponential cost of simulating quantum algorithms, a reduced number of qubits had to be used in the simulations, causing a loss of precision in the results. However, this work advances the state of the art of solutions of differential equations with noisy quantum devices and could be used for useful applications when quantum computers with thousands of qubits become available.

categories: quant-ph math.AP math.OC physics.flu-dyn


title: Rigidity of Kleinian groups via self-joinings

abstract: Let $\Gamma<\mathrm{PSL}_2(\mathbb{C})\simeq \mathrm{Isom}^+(\mathbb{H}^3)$ be a finitely generated non-Fuchsian Kleinian group whose ordinary set $\Omega=\mathbb{S}^2-\Lambda$ has at least two components. Let $\rho : \Gamma \to \mathrm{PSL}_2(\mathbb{C})$ be a faithful discrete non-Fuchsian representation with boundary map $f:\Lambda\to \mathbb{S}^2$ on the limit set. In this paper, we obtain a new rigidity theorem: if $f$ is {\it conformal on $\Lambda$}, in the sense that $f$ maps every circular slice of $\Lambda$ into a circle, then $f$ extends to a M\"obius transformation $g$ on $\mathbb{S}^2$ and $\rho$ is the conjugation by $g$. Moreover, unless $\rho$ is a conjugation, the set of circles $C$ such that $f(C\cap \Lambda)$ is contained in a circle has empty interior in the space of all circles meeting $\Lambda$. This answers a question asked by McMullen on the rigidity of maps $\Lambda\to \mathbb{S}^2$ sending vertices of every tetrahedron of zero-volume to vertices of a tetrahedron of zero-volume. The novelty of our proof is a new viewpoint of relating the rigidity of $\Gamma$ with the higher rank dynamics of the self-joining $(\mathrm{id} \times \rho)(\Gamma)<\mathrm{PSL}_2(\mathbb{C})\times \mathrm{PSL}_2(\mathbb{C})$.


title: MAXI J1957+032: a new accreting millisecond X-ray pulsar in an ultra-compact binary

abstract: The detection of coherent X-ray pulsations at ~314 Hz (3.2 ms) classifies MAXI J1957+032 as a fast-rotating, accreting neutron star. We present the temporal and spectral analysis performed using NICER observations collected during the latest outburst of the source. Doppler modulation of the X-ray pulsation revealed the ultra-compact nature of the binary system characterised by an orbital period of ~1 hour and a projected semi-major axis of 14 lt-ms. The neutron star binary mass function suggests a minimum donor mass of 1.7e-2 Msun, assuming a neutron star mass of 1.4 Msun and a binary inclination angle lower than 60 degrees. This assumption is supported by the lack of eclipses or dips in the X-ray light curve of the source. We characterised the 0.5-10 keV energy spectrum of the source in outburst as the superposition of a relatively cold black-body-like thermal emission compatible with the emission from the neutron star surface and a Comptonisation component with photon index consistent with a typical hard state. We did not find evidence for iron K-alpha lines or reflection components.


title: A general scheme of differential imaging employing weak measurement

abstract: We propose and experimentally realize a general scheme of differential imaging employing the idea of weak measurement. We show that the weak coupling between the system of interest and a two-level ancilla can introduce a two-beam circuit after an arbitrary pre-selection of the ancilla. By choosing the post-selection orthogonal to the pre-selection measurement, an effective imaging platform based on differential operations is shown achieved. Experimental results on both the Sagnac interferometer and ultra-thin Wollaston prism demonstrate that our imaging scheme successfully yields the boundary information of complex geometric configurations.


title: The $L^2$-completion of the space of Riemannian metrics is CAT$(0)$: a shorter proof

abstract: We reprove in an easier way a result of Brian Clarke: the completion of the space of Riemannian metrics of a compact, orientable smooth manifold with respect to the $L^2$-distance is CAT$(0)$. In particular we show that this completion is isometric to the space of $L^2$-maps from a standard probability space to a fixed CAT$(0)$ space.


title: Towards Sequence-Level Training for Visual Tracking

abstract: Despite the extensive adoption of machine learning on the task of visual object tracking, recent learning-based approaches have largely overlooked the fact that visual tracking is a sequence-level task in its nature; they rely heavily on frame-level training, which inevitably induces inconsistency between training and testing in terms of both data distributions and task objectives. This work introduces a sequence-level training strategy for visual tracking based on reinforcement learning and discusses how a sequence-level design of data sampling, learning objectives, and data augmentation can improve the accuracy and robustness of tracking algorithms. Our experiments on standard benchmarks including LaSOT, TrackingNet, and GOT-10k demonstrate that four representative tracking models, SiamRPN++, SiamAttn, TransT, and TrDiMP, consistently improve by incorporating the proposed methods in training without modifying architectures.


title: Quantized current steps due to the a.c. coherent quantum phase-slip effect

abstract: The AC Josephson effect predicted in 1962 and observed experimentally in 1963 as quantised voltage steps (the Shapiro steps) from photon assisted tunnelling of Cooper pairs is among the most fundamental phenomena of quantum mechanics and is vital for metrological quantum voltage standards. The physically dual effect, the AC coherent quantum phase slip (CQPS), photon assisted tunnelling of magnetic fluxes through a superconducting nanowire, is envisaged to reveal itself as quantised current steps. The basic physical significance of the AC CQPS is also complemented by practical importance in future current standards; a missing element for closing the Quantum Metrology Triangle. In 2012, the CQPS was demonstrated as superposition of magnetic flux quanta in superconducting nanowires. However the direct sharp current steps in superconductors; the only unavailable basic effect of superconductivity to date, was unattainable due to lack of appropriate materials and challenges in circuit engineering. Here we report the direct observation of the dual Shapiro steps in a superconducting nanowire. The sharp steps are clear up to 26 GHz frequency with current values 8.3 nA and limited by the present setup bandwidth. The current steps have been theoretically predicted in small Josephson junctions (JJs) 30 years ago. However, broadening unavoidable in JJs prevents their direct experimental observation. We solve this problem by placing a thin NbN nanowire in an inductive environment.


title: Asymptotic expansion for convection-dominated transport in a thin graph-like junction

abstract: We consider for a small parameter $\varepsilon >0$ a parabolic convection-diffusion problem with P\'eclet number of order $\mathcal{O}(\varepsilon^{-1})$ in a three-dimensional graph-like junction consisting of thin curvilinear cylinders with radii of order $\mathcal{O}(\varepsilon)$ connected through a domain (node) of diameter $\mathcal{O}(\varepsilon).$ Inhomogeneous Neumann type boundary conditions, that involve convective and diffusive fluxes, are prescribed both on the lateral surfaces of the thin cylinders and the boundary of the node. The asymptotic behaviour of the solution is studied as $\varepsilon \to 0,$ i.e., when the diffusion coefficients are eliminated and the thin junction is shrunk into a three-part graph connected in a single vertex. A rigorous procedure for the construction of the complete asymptotic expansion of the solution is developed and the corresponding energetic and uniform pointwise estimates are proven. Depending on the directions of the limit convective fluxes, the corresponding limit problems $(\varepsilon = 0)$ are derived in the form of first-order hyperbolic differential equations on the one-dimensional branches with novel gluing conditions at the vertex. These generalize the classical Kirchhoff transmission conditions and might require the solution of a three-dimensional cell-like problem associated with the vertex to account for the local geometric inhomogeneity of the node and the physical processes in the node. The asymptotic ansatz consists of three parts, namely, the regular part, node-layer part, and boundary-layer one. Their coefficients are classical solutions to mixed-dimensional limit problems. The existence and other properties of those solutions are analyzed.


title: Stiefel-Whitney Classes of Representations of $\text{SL}(2,q)$

abstract: We describe the Stiefel-Whitney classes (SWCs) of orthogonal representations $\pi$ of the finite special linear groups $G=\text{SL}(2,\mathbb F_q)$, in terms of character values of $\pi$. From this calculation, we can answer interesting questions about SWCs of $\pi$. For instance, we determine the subalgebra of $H^*(G,\mathbb Z/2\mathbb Z)$ generated by the SWCs of orthogonal $\pi$, and we also determine which $\pi$ have nontrivial mod $2$ Euler class.


title: Seeing your sleep stage: cross-modal distillation from EEG to infrared video

abstract: It is inevitably crucial to classify sleep stage for the diagnosis of various diseases. However, existing automated diagnosis methods mostly adopt the "gold-standard" lectroencephalogram (EEG) or other uni-modal sensing signal of the PolySomnoGraphy (PSG) machine in hospital, that are expensive, importable and therefore unsuitable for point-of-care monitoring at home. To enable the sleep stage monitoring at home, in this paper, we analyze the relationship between infrared videos and the EEG signal and propose a new task: to classify the sleep stage using infrared videos by distilling useful knowledge from EEG signals to the visual ones. To establish a solid cross-modal benchmark for this application, we develop a new dataset termed as Seeing your Sleep Stage via Infrared Video and EEG ($S^3VE$). $S^3VE$ is a large-scale dataset including synchronized infrared video and EEG signal for sleep stage classification, including 105 subjects and 154,573 video clips that is more than 1100 hours long. Our contributions are not limited to datasets but also about a novel cross-modal distillation baseline model namely the structure-aware contrastive distillation (SACD) to distill the EEG knowledge to infrared video features. The SACD achieved the state-of-the-art performances on both our $S^3VE$ and the existing cross-modal distillation benchmark. Both the benchmark and the baseline methods will be released to the community. We expect to raise more attentions and promote more developments in the sleep stage classification and more importantly the cross-modal distillation from clinical signal/media to the conventional media.


title: Around definable types in $p$-adically closed fields

abstract: We prove some technical results on definable types in $p$-adically closed fields, with consequences for definable groups and definable topological spaces. First, the code of a definable $n$-type (in the field sort) can be taken to be a real tuple (in the field sort) rather than an imaginary tuple (in the geometric sorts). Second, any definable type in the real or imaginary sorts is generated by a countable union of chains parameterized by the value group. Third, if $X$ is an interpretable set, then the space of global definable types on $X$ is strictly pro-interpretable, building off work of Cubides Kovacsics, Hils, and Ye. Fourth, global definable types can be lifted (in a non-canonical way) along interpretable surjections. Fifth, if $G$ is a definable group with definable f-generics ($dfg$), and $G$ acts on a definable set $X$, then the quotient space $X/G$ is definable, not just interpretable. This explains some phenomena observed by Pillay and Yao. Lastly, we show that interpretable topological spaces satisfy analogues of first-countability and curve selection. Using this, we show that all reasonable notions of definable compactness agree on interpretable topological spaces, and that definable compactness is definable in families.