title: The exceptional simple Lie group $F_{4(-20)}$, after J. Tits

abstract: This is a semi-survey paper, where we start by advertising Tits' synthetic construction from \cite{Tits}, of the hyperbolic plane $H^2(Cay)$ over the Cayley numbers $Cay$, and of its automorphism group which is the exceptional simple Lie group $G=F_{4(-20)}$. Let $G=KAN$ be the Iwasawa decomposition. Our contributions are: a) Writing down explicitly the action of $N$ on $H^2(Cay)$ in Tits'model, facing the lack of associativity of $Cay$. b) If $MAN$ denotes the minimal parabolic subgroup of $G$, characterizing $M$ geometrically.


title: The Second-place Solution for CVPR 2022 SoccerNet Tracking Challenge

abstract: This is our second-place solution for CVPR 2022 SoccerNet Tracking Challenge. Our method mainly includes two steps: online short-term tracking using our Cascaded Buffer-IoU (C-BIoU) Tracker, and, offline long-term tracking using appearance feature and hierarchical clustering. At each step, online tracking yielded HOTA scores near 90, and offline tracking further improved HOTA scores to around 93.2.


title: Response to the COVID-19 Pandemic: Physics Teaching in India

abstract: When academic institutions in India closed abruptly in March 2020 due to the COVID-19 pandemic, formal education moved online. This transition had a very uneven impact given the significant digital divide between rural and urban India and the unequal distribution of digital resources in different institutions. Access to resources varied substantially by individual, based on socioeconomic factors as well as gender. Institutional support to the academic community during this critical period was largely inadequate, which has had serious consequences on the teaching of physics and other subjects that require laboratory instruction. Educational institutions also provide safe and enabling learning spaces for women students; reduced access to such facilities undermined the work- and study-related dynamics for women because of the scarcity of resources such as devices, data, and time. This paper reports on efforts made towards understanding such challenges during the COVID-19 pandemic and describes steps that were taken to address them.


title: Towards computer vision technologies: Semi-automated reading of automated utility meters

abstract: In this report we analysed a possibility of using computer vision techniques for automated reading of utility meters. In our study, we focused on two computer vision techniques: an open-source solution Tensorflow Object Detection (Tensorflow) and a commercial solution Anyline. This report extends our previous publication: We start with presentation of a structured analysis of related approaches. After that we provide a detailed comparison of two computer vision technologies, Tensorflow Object Detection (Tensorflow) and Anyline, applied to semi-automated reading of utility meters. In this paper, we discuss limitations and benefits of each solution applied to utility meters reading, especially focusing on aspects such as accuracy and inference time. Our goal was to determine the solution that is the most suitable for this particular application area, where there are several specific challenges.


title: Robust-MSA: Understanding the Impact of Modality Noise on Multimodal Sentiment Analysis

abstract: Improving model robustness against potential modality noise, as an essential step for adapting multimodal models to real-world applications, has received increasing attention among researchers. For Multimodal Sentiment Analysis (MSA), there is also a debate on whether multimodal models are more effective against noisy features than unimodal ones. Stressing on intuitive illustration and in-depth analysis of these concerns, we present Robust-MSA, an interactive platform that visualizes the impact of modality noise as well as simple defence methods to help researchers know better about how their models perform with imperfect real-world data.


title: An infinite family of 0-APN monomials with two parameters

abstract: We consider an infinite family of exponents $e(l,k)$ with two parameters, $l$ and $k$, and derive sufficient conditions for $e(l,k)$ to be 0-APN over $\mathbb{F}_{2^n}$. These conditions allow us to generate, for each choice of $l$ and $k$, an infinite list of dimensions $n$ where $x^{e(l,k)}$ is 0-APN much more efficiently than in general. We observe that the Gold and Inverse exponents, as well as the inverses of the Gold exponents can be expressed in the form $e(l,k)$ for suitable $l$ and $k$. We characterize all cases in which $e(l,k)$ can be cyclotomic equivalent to a representative from the Gold, Kasami, Welch, Niho, and Inverse families of exponents. We characterize when $e(l,k)$ can lie in the same cyclotomic coset as the Dobbertin exponent (without considering inverses) and provide computational data showing that the Dobbertin inverse is never equivalent to $e(l,k)$. We computationally test the APN-ness of $e(l,k)$ for small values of $l$ and $k$ over $\mathbb{F}_{2^n}$ for $n \le 100$, and sketch the limits to which such tests can be performed using currently available technology. We conclude that there are no APN monomials among the tested functions, outside of known classes.


title: Influence of non-local damping on magnon properties of ferromagnets

abstract: We study the influence of non-local damping on magnon properties of Fe, Co, Ni and Fe$_{1-x}$Co$_{x}$ ($x=30\%,50\%$) alloys. The Gilbert damping parameter is typically considered as a local scalar both in experiment and in theoretical modelling. However, recent works have revealed that Gilbert damping is a non-local quantity that allows for energy dissipation between atomic sites. With the Gilbert damping parameters calculated from a state-of-the-art real-space electronic structure method, magnon lifetimes are evaluated from spin dynamics and linear response, where a good agreement is found between these two methods. It is found that non-local damping affects the magnon lifetimes in different ways depending on the system. Specifically, we find that in Fe, Co, and Ni the non-local damping decreases the magnon lifetimes, while in $\rm Fe_{70}Co_{30}$ and Fe$_{50}$Co$_{50}$ an opposite, non-local damping effect is observed, and our data show that it is much stronger in the former.


title: Sensing Aided Reconfigurable Intelligent Surfaces for 3GPP 5G Transparent Operation

abstract: Can reconfigurable intelligent surfaces (RISs) operate in a standalone mode that is completely transparent to the 3GPP 5G initial access process? Realizing that may greatly simplify the deployment and operation of these surfaces and reduce the infrastructure control overhead. This paper investigates the feasibility of building standalone/transparent RIS systems and shows that one key challenge lies in determining the user equipment (UE)-side RIS beam reflection direction. To address this challenge, we propose to equip the RISs with multi-modal sensing capabilities (e.g., using wireless and visual sensors) that enable them to develop some perception of the surrounding environment and the mobile users. Based on that, we develop a machine learning framework that leverages the wireless and visual sensors at the RIS to select the optimal beams between the base station (BS) and users and enable 5G standalone/transparent RIS operation. Using a high-fidelity synthetic dataset with co-existing wireless and visual data, we extensively evaluate the performance of the proposed framework. Experimental results demonstrate that the proposed approach can accurately predict the BS and UE-side candidate beams, and that the standalone RIS beam selection solution is capable of realizing near-optimal achievable rates with significantly reduced beam training overhead.


title: Shape matters: Competing mechanisms of particle shape segregation

abstract: It is well-known that granular mixtures that differ in size or shape segregate when sheared. In the past, two mechanisms have been proposed to describe this effect, and it is unclear if both exist. To settle this question, we consider a bidisperse mixture of spheroids of equal volume in a rotating drum, where the two mechanisms are predicted to act in opposite directions. We present the first evidence that there are two \emph{distinct} segregation mechanisms driven by relative \emph{over-stress}. Additionally, we showed that for non-spherical particles, these two mechanisms can act in different directions leading to a competition between the effects of the two. As a result, the segregation intensity varies non-monotonically as a function of $AR$, and at specific points, the segregation direction changes for both prolate and oblate spheroids, explaining the surprising segregation reversal previously reported. Consistent with previous results, we found that the kinetic mechanism is dominant for (almost) spherical particles. Furthermore, for moderate aspect ratios, the kinetic mechanism is responsible for the spherical particles segregation to the periphery of the drum, and the gravity mechanism plays only a minor role. Whereas, at the extreme values of $AR$, the gravity mechanism notably increases and overtakes its kinetic counterpart.


title: The Scientific Performance of the Microchannel X-ray Telescope on board the SVOM Mission

abstract: The Microchannel X-ray Telescope (MXT) will be the first focusing X-ray telescope based on a "Lobster-Eye" optical design to be flown on Sino-French mission SVOM. SVOM will be dedicated to the study of Gamma-Ray Bursts and more generally time-domain astrophysics. The MXT telescope is a compact (focal length ~ 1.15 m) and light (< 42 kg) instrument, sensitive in the 0.2--10 keV energy range. It is composed of an optical system, based on micro-pore optics (MPOs) of 40 micron pore size, coupled to a low-noise pnCDD X-ray detector. In this paper we describe the expected scientific performance of the MXT telescope, based on the End-to-End calibration campaign performed in fall 2021, before the integration of the SVOM payload on the satellite.


title: Pose-disentangled Contrastive Learning for Self-supervised Facial Representation

abstract: Self-supervised facial representation has recently attracted increasing attention due to its ability to perform face understanding without relying on large-scale annotated datasets heavily. However, analytically, current contrastive-based self-supervised learning (SSL) still performs unsatisfactorily for learning facial representation. More specifically, existing contrastive learning (CL) tends to learn pose-invariant features that cannot depict the pose details of faces, compromising the learning performance. To conquer the above limitation of CL, we propose a novel Pose-disentangled Contrastive Learning (PCL) method for general self-supervised facial representation. Our PCL first devises a pose-disentangled decoder (PDD) with a delicately designed orthogonalizing regulation, which disentangles the pose-related features from the face-aware features; therefore, pose-related and other pose-unrelated facial information could be performed in individual subnetworks and do not affect each other's training. Furthermore, we introduce a pose-related contrastive learning scheme that learns pose-related information based on data augmentation of the same image, which would deliver more effective face-aware representation for various downstream tasks. We conducted linear evaluation on four challenging downstream facial understanding tasks, ie, facial expression recognition, face recognition, AU detection and head pose estimation. Experimental results demonstrate that our method significantly outperforms state-of-the-art SSL methods. Code is available at https://github.com/DreamMr/PCL}{https://github.com/DreamMr/PCL


title: Spatial Mixture-of-Experts

abstract: Many data have an underlying dependence on spatial location; it may be weather on the Earth, a simulation on a mesh, or a registered image. Yet this feature is rarely taken advantage of, and violates common assumptions made by many neural network layers, such as translation equivariance. Further, many works that do incorporate locality fail to capture fine-grained structure. To address this, we introduce the Spatial Mixture-of-Experts (SMoE) layer, a sparsely-gated layer that learns spatial structure in the input domain and routes experts at a fine-grained level to utilize it. We also develop new techniques to train SMoEs, including a self-supervised routing loss and damping expert errors. Finally, we show strong results for SMoEs on numerous tasks, and set new state-of-the-art results for medium-range weather prediction and post-processing ensemble weather forecasts.


title: Employing ternary fission of $^{242}$Pu as a probe of very neutron rich matter

abstract: Detailed assessments of the ability of recent theoretical approaches to modeling existing experimental data for ternary fission confirm earlier indications that the dominant mode of cluster formation in ternary fission is clusterization in very neutron rich, very low density, essentially chemically equilibrated, nucleonic matter. An extended study and comparison of these approaches applied to ternary fission yields in the thermal neutron induced reaction $^{241}$Pu($n_{\rm th}$,f) has been undertaken to refine the characterization of the source matter. The resonance gas approximation has been improved taking in-medium effects on the binding energies into account. A temperature of 1.29 MeV, density of $6.7 \times 10^{-5}$ nucleons/fm$^3$ and proton fraction $Y_p$ = 0.035 are found to provide a good representation of yields of the ternary emitted light particles and clusters. In particular, results for $Z= 1$ and 2 isotopes are presented. Isotopes with larger $Z$ are discussed, and the roles of medium and continuum effects, even at very low density are illustrated.


title: Electrical control of uniformity in quantum dot devices

abstract: Highly uniform quantum systems are essential for the practical implementation of scalable quantum processors. While quantum dot spin qubits based on semiconductor technology are a promising platform for large-scale quantum computing, their small size makes them particularly sensitive to their local environment. Here, we present a method to electrically obtain a high degree of uniformity in the intrinsic potential landscape using hysteretic shifts of the gate voltage characteristics. We demonstrate the tuning of pinch-off voltages in quantum dot devices over hundreds of millivolts that then remain stable at least for hours. Applying our method, we homogenize the pinch-off voltages of the plunger gates in a linear array for four quantum dots reducing the spread in pinch-off voltage by one order of magnitude. This work provides a new tool for the tuning of quantum dot devices and offers new perspectives for the implementation of scalable spin qubit arrays.


title: Immersive Neural Graphics Primitives

abstract: Neural radiance field (NeRF), in particular its extension by instant neural graphics primitives, is a novel rendering method for view synthesis that uses real-world images to build photo-realistic immersive virtual scenes. Despite its potential, research on the combination of NeRF and virtual reality (VR) remains sparse. Currently, there is no integration into typical VR systems available, and the performance and suitability of NeRF implementations for VR have not been evaluated, for instance, for different scene complexities or screen resolutions. In this paper, we present and evaluate a NeRF-based framework that is capable of rendering scenes in immersive VR allowing users to freely move their heads to explore complex real-world scenes. We evaluate our framework by benchmarking three different NeRF scenes concerning their rendering performance at different scene complexities and resolutions. Utilizing super-resolution, our approach can yield a frame rate of 30 frames per second with a resolution of 1280x720 pixels per eye. We discuss potential applications of our framework and provide an open source implementation online.


title: Few-shot Object Detection with Refined Contrastive Learning

abstract: Due to the scarcity of sampling data in reality, few-shot object detection (FSOD) has drawn more and more attention because of its ability to quickly train new detection concepts with less data. However, there are still failure identifications due to the difficulty in distinguishing confusable classes. We also notice that the high standard deviation of average precision reveals the inconsistent detection performance. To this end, we propose a novel FSOD method with Refined Contrastive Learning (FSRC). A pre-determination component is introduced to find out the Resemblance Group from novel classes which contains confusable classes. Afterwards, Refined Contrastive Learning (RCL) is pointedly performed on this group of classes in order to increase the inter-class distances among them. In the meantime, the detection results distribute more uniformly which further improve the performance. Experimental results based on PASCAL VOC and COCO datasets demonstrate our proposed method outperforms the current state-of-the-art research.


title: Multi-scale Hybridized Topic Modeling: A Pipeline for Analyzing Unstructured Text Datasets via Topic Modeling

abstract: We propose a multi-scale hybridized topic modeling method to find hidden topics from transcribed interviews more accurately and efficiently than traditional topic modeling methods. Our multi-scale hybridized topic modeling method (MSHTM) approaches data at different scales and performs topic modeling in a hierarchical way utilizing first a classical method, Nonnegative Matrix Factorization, and then a transformer-based method, BERTopic. It harnesses the strengths of both NMF and BERTopic. Our method can help researchers and the public better extract and interpret the interview information. Additionally, it provides insights for new indexing systems based on the topic level. We then deploy our method on real-world interview transcripts and find promising results.


title: Conditional diffusion-based microstructure reconstruction

abstract: Microstructure reconstruction, a major component of inverse computational materials engineering, is currently advancing at an unprecedented rate. While various training-based and training-free approaches are developed, the majority of contributions are based on generative adversarial networks. In contrast, diffusion models constitute a more stable alternative, which have recently become the new state of the art and currently attract much attention. The present work investigates the applicability of diffusion models to the reconstruction of real-world microstructure data. For this purpose, a highly diverse and morphologically complex data set is created by combining and processing databases from the literature, where the reconstruction of realistic micrographs for a given material class demonstrates the ability of the model to capture these features. Furthermore, a fiber composite data set is used to validate the applicability of diffusion models to small data set sizes that can realistically be created by a single lab. The quality and diversity of the reconstructed microstructures is quantified by means of descriptor-based error metrics as well as the Fr\'echet inception distance (FID) score. Although not present in the training data set, the generated samples are visually indistinguishable from real data to the untrained eye and various error metrics are computed. This demonstrates the utility of diffusion models in microstructure reconstruction and provides a basis for further extensions such as 2D-to-3D reconstruction or application to multiscale modeling and structure-property linkages.


title: GitHub Considered Harmful? Analyzing Open-Source Projects for the Automatic Generation of Cryptographic API Call Sequences

abstract: GitHub is a popular data repository for code examples. It is being continuously used to train several AI-based tools to automatically generate code. However, the effectiveness of such tools in correctly demonstrating the usage of cryptographic APIs has not been thoroughly assessed. In this paper, we investigate the extent and severity of misuses, specifically caused by incorrect cryptographic API call sequences in GitHub. We also analyze the suitability of GitHub data to train a learning-based model to generate correct cryptographic API call sequences. For this, we manually extracted and analyzed the call sequences from GitHub. Using this data, we augmented an existing learning-based model called DeepAPI to create two security-specific models that generate cryptographic API call sequences for a given natural language (NL) description. Our results indicate that it is imperative to not neglect the misuses in API call sequences while using data sources like GitHub, to train models that generate code.


title: On the triangulated category of framed motives $\text{DFr}_{-}^{eff}(k)$

abstract: The category of framed correspondences $Fr_*(k)$ was invented by Voevodsky in his notes in order to give another framework for SH(k) more amenable to explicit calculations. Based on that notes and on their JAMS paper Garkusha and the author introduced in a very recent paper a triangulated category of framed bispectra $\text{SH}_{nis}^{fr}(k)$. It is shown in the latter paper that $\text{SH}_{nis}^{fr}(k)$ recovers classical Morel-Voevodsky triangulated category of bispectra $\text{SH}(k)$. For any infinite perfect field $k$ a triangulated category of $\mathbb{F}\text{r}$-motives $\text{D}\mathbb{F}\text{r}_{-}^{eff}(k)$ is constructed in the style of the Voevodsky construction of the category $\text{DM}_-^{eff}(k)$. In our approach the Voevodsky category of Nisnevich sheaves with transfers is replaced with the category of $\mathbb{F}\text{r}$-modules. To each smooth $k$-variety $X$ the $\mathbb{F}\text{r}$-motive $\text{M}_{\mathbb{F}\text{r}}(X)$ is associated in the category $\text{D}\mathbb{F}\text{r}_{-}^{eff}(k)$. We identify the triangulated category $\text{D}\mathbb{F}\text{r}_{-}^{eff}(k)$ with the full triangulated subcategory $\text{SH}^{eff}_{-}(k)$ of the classical Morel-Voevodsky triangulated category $\text{SH}^{eff}(k)$ of effective motivic bispectra. Moreover, the triangulated category $\text{D}\mathbb{F}\text{r}_{-}^{eff}(k)$ is naturally symmetric monoidal. The mentioned identification of the triangulated categories respects the symmetric monoidal structures on both sides.


title: Multi-Task Learning of Object State Changes from Uncurated Videos

abstract: We aim to learn to temporally localize object state changes and the corresponding state-modifying actions by observing people interacting with objects in long uncurated web videos. We introduce three principal contributions. First, we explore alternative multi-task network architectures and identify a model that enables efficient joint learning of multiple object states and actions such as pouring water and pouring coffee. Second, we design a multi-task self-supervised learning procedure that exploits different types of constraints between objects and state-modifying actions enabling end-to-end training of a model for temporal localization of object states and actions in videos from only noisy video-level supervision. Third, we report results on the large-scale ChangeIt and COIN datasets containing tens of thousands of long (un)curated web videos depicting various interactions such as hole drilling, cream whisking, or paper plane folding. We show that our multi-task model achieves a relative improvement of 40% over the prior single-task methods and significantly outperforms both image-based and video-based zero-shot models for this problem. We also test our method on long egocentric videos of the EPIC-KITCHENS and the Ego4D datasets in a zero-shot setup demonstrating the robustness of our learned model.


title: Dynamical branes on expanding orbifold and complex projective space

abstract: We construct some new dynamical $p$-brane solutions to gravity theories on curved backgrounds. We discuss the relations between dynamical branes, a new time-dependent solution on complex projective space $\mathbb{C}{\rm P}^n$ and the static $p$-branes on the orbifold ${\mathbb C}^n/{\mathbb Z}_n$.


title: Topological dynamics of adiabatic cat states

abstract: We consider a qubit topologically coupled to two quantum modes. We show that any initial separable state of this system generically evolves into an adiabatic cat state. Such a state is a superposition of two adiabatic states in which the qubit is entangled between the modes. The topological coupling between the qubit and the modes gives rise to the separation in energy between these two components which evolve into states with distinguishable energy content.


title: Optimization of Humanoid Robot Designs for Human-Robot Ergonomic Payload Lifting

abstract: When a human and a humanoid robot collaborate physically, ergonomics is a key factor to consider. Assuming a given humanoid robot, several control architectures exist nowadays to address ergonomic physical human-robot collaboration. This paper takes one step further by considering robot hardware parameters as optimization variables in the problem of collaborative payload lifting. The variables that parametrize robot's kinematics and dynamics ensure their physical consistency, and the human model is considered in the optimization problem. By leveraging the proposed modelling framework, the ergonomy of the interaction is maximized, here given by the agents' energy expenditure. Robot kinematic, dynamics, hardware constraints and human geometries are considered when solving the associated optimization problem. The proposed methodology is used to identify optimum hardware parameters for the design of the ergoCub robot, a humanoid possessing a degree of embodied intelligence for ergonomic interaction with humans. For the optimization problem, the starting point is the iCub humanoid robot. The obtained robot design reaches loads at heights in the range of 0.8-1.5 m with respect to the iCub robot whose range is limited to 0.8-1.2 m. The robot energy expenditure is decreased by about 33%, meanwhile, the human ergonomy is preserved, leading overall to an improved interaction.


title: Quarkonia production and elliptic flow in small systems measured with ALICE

abstract: The production of quarkonia in hadronic collisions provides a unique testing ground for understanding quantum chromodynamics (QCD) since it involves both the perturbative and non-perturbative regimes of this theory. Given that a satisfactory description of quarkonia production has not yet been achieved, new measurements that can provide new insights, helping to constrain models, are needed. The ALICE apparatus allows to measure inclusive J/$\psi$ production, as well as to separate prompt charmonia from those originating from b-hadron decays. The study of the azimuthal correlation of the emitted particles, e.g. via the measurement of the elliptic flow ($v_2$), in high multiplicity proton-proton (pp) collisions can probe collective behaviour in small systems. In this contribution, we present new measurements of the inclusive, prompt and non-prompt J/$\psi$ production in pp collisions at different collision energies, together with the J/$\psi$ $v_2$ in high multiplicity pp collisions at $\sqrt{s}$=13 TeV.


title: Structural electroneutrality in Onsager-Stefan-Maxwell transport with charged species

abstract: We present a method to embed local electroneutrality within Onsager-Stefan-Maxwell electrolytic-transport models, circumventing their formulation as differential systems with an algebraic constraint. Flux-explicit transport laws are formulated for general multicomponent electrolytes, in which the conductivity, component diffusivities, and transference numbers relate to Stefan-Maxwell coefficients through invertible matrix calculations. A construction we call a `salt-charge basis' implements Guggenheim's transformation of species electrochemical potentials into combinations describing a minimal set of neutral components, leaving a unique combination associated with electricity. Defining conjugate component concentrations and fluxes that preserve the structures of the Gibbs function and energy dissipation retains symmetric Onsager reciprocal relations. The framework reproduces Newman's constitutive laws for binary electrolytes and the Pollard-Newman laws for molten salts; we also propose laws for salt solutions in two-solvent blends, such as lithium-ion-battery electrolytes. Finally, we simulate a potentiostatic Hull cell containing a non-ideal binary electrolyte with concentration-dependent properties.


title: Systematic effects in the search for the muon electric dipole moment using the frozen-spin technique

abstract: At the Paul Scherrer Institute (PSI) we are developing a high precision instrument to measure the muon electric dipole moment (EDM). The experiment is based on the frozen-spin method in which the spin precession induced by the anomalous magnetic moment is suppressed, thus increasing the signal-to-noise ratio for EDM signals to achieve a sensitivity otherwise unattainable using conventional $g-2$ muon storage rings. The expected statistical sensitivity for the EDM after a year of data taking is $6\times 10^{-23} e\cdot$cm with the $p = 125$ MeV/c muon beam available at the PSI. Reaching this goal necessitates a comprehensive analysis on spurious effects that mimic the EDM signal. This work discusses a quantitative approach to study systematic effects for the frozen-spin method when searching for the muon EDM. Equations for the motion of the muon spin in the electromagnetic fields of the experimental system are analytically derived and validated by simulation.


title: Identifiability of nonlinear ODE Models with Time-Varying Parameters: the General Analytical Solution and Applications in Viral Dynamics

abstract: Identifiability is a structural property of any ODE model characterized by a set of unknown parameters. It describes the possibility of determining the values of these parameters from fusing the observations of the system inputs and outputs. This paper finds the general analytical solution of this fundamental problem and, based on this, provides a general and automated analytical method to determine the identifiability of the unknown parameters. In particular, the method can handle any model, regardless of its complexity and type of non-linearity, and provides the identifiability of the parameters even when they are time-varying. In addition, it is automatic as it simply needs to follow the steps of a systematic procedure that only requires to perform the calculation of derivatives and matrix ranks. Time-varying parameters are treated as unknown inputs and their identification is based on the very recent analytical solution of the unknown input observability problem [1, 2]. The method is used to determine the identifiability of the unknown time-varying parameters that characterize two non-linear models in the field of viral dynamics (HIV and Covid-19) and a non-linear model that characterizes the genetic toggle switch. New fundamental properties that characterize these models are determined and discussed in detail through a comparison with the state-of-the-art results. In particular, regarding the very popular HIV ODE model and the genetic toggle switch model, the method automatically finds new important results that are in contrast with the results in the current literature.


title: 1st Workshop on Maritime Computer Vision (MaCVi) 2023: Challenge Results

abstract: The 1$^{\text{st}}$ Workshop on Maritime Computer Vision (MaCVi) 2023 focused on maritime computer vision for Unmanned Aerial Vehicles (UAV) and Unmanned Surface Vehicle (USV), and organized several subchallenges in this domain: (i) UAV-based Maritime Object Detection, (ii) UAV-based Maritime Object Tracking, (iii) USV-based Maritime Obstacle Segmentation and (iv) USV-based Maritime Obstacle Detection. The subchallenges were based on the SeaDronesSee and MODS benchmarks. This report summarizes the main findings of the individual subchallenges and introduces a new benchmark, called SeaDronesSee Object Detection v2, which extends the previous benchmark by including more classes and footage. We provide statistical and qualitative analyses, and assess trends in the best-performing methodologies of over 130 submissions. The methods are summarized in the appendix. The datasets, evaluation code and the leaderboard are publicly available at https://seadronessee.cs.uni-tuebingen.de/macvi.


title: The Second-place Solution for ECCV 2022 Multiple People Tracking in Group Dance Challenge

abstract: This is our 2nd-place solution for the ECCV 2022 Multiple People Tracking in Group Dance Challenge. Our method mainly includes two steps: online short-term tracking using our Cascaded Buffer-IoU (C-BIoU) Tracker, and, offline long-term tracking using appearance feature and hierarchical clustering. Our C-BIoU tracker adds buffers to expand the matching space of detections and tracks, which mitigates the effect of irregular motions in two aspects: one is to directly match identical but non-overlapping detections and tracks in adjacent frames, and the other is to compensate for the motion estimation bias in the matching space. In addition, to reduce the risk of overexpansion of the matching space, cascaded matching is employed: first matching alive tracks and detections with a small buffer, and then matching unmatched tracks and detections with a large buffer. After using our C-BIoU for online tracking, we applied the offline refinement introduced by ReMOTS.


title: Noncontact frictional force between surfaces by peristaltic permittivity modulation

abstract: In this study, we reveal noncontact frictional forces between surfaces in the presence of peristaltic permittivity modulation. Our setup comprises a conducting medium, an air gap, and a dielectric substrate on which we have a space-time-modulated grating that emits electromagnetic radiation. The radiation receives energy and momentum from the grating, which is eventually absorbed by the conducting medium or propagates away from the grating on the dielectric side, resulting in electromagnetic power loss and lateral forces at the surfaces.


title: Kauzmann Paradox: a crossover due to diminishing local excitations

abstract: The configurational entropy of supercooled liquids extrapolates to zero at the Kauzmann temperature, causing a crisis called the Kauzmann paradox. Here, using a class of multicomponent lattice glass models, we study a resolution of the paradox characterized by a sudden but smooth turn in the entropy as temperature goes sufficiently low. A scalar variant of the models reproduces the Kauzmann paradox with thermodynamic properties at very low temperatures dominated by correlations. An exactly solvable vector variant without correlation illustrates that a sudden entropy turn occurs when discrete local excitations are largely suppressed. Despite being disordered and infinitely degenerate, the ground states have zero entropy per particle.


title: The basics of primordial black hole formation and abundance estimation

abstract: This paper is a biased review of primordial black hole (PBH) formation and abundance estimation. We first review the three-zone model for PBH formation to help an intuitive understanding of the PBH formation process. Then, for more accurate analyses, we introduce necessary tools such as cosmological long-wavelength solutions, the definition of the mass and compaction function in a spherically symmetric spacetime and peak theory. Combining all these tools, we calculate the PBH mass spectrum for the case of the monochromatic curvature power spectrum as a demonstration.


title: Waterproof: Educational Software for Learning How to Write Mathematical Proofs

abstract: In order to help students learn how to write mathematical proofs, we adapt the Coq proof assistant into an educational tool we call Waterproof. Like with other interactive theorem provers, students write out their proofs inside the software using a specific syntax, and the software provides feedback on the logical validity of each step. Waterproof consists of two components: a custom proof language that allows formal, machine-verified proofs to be written in a style that closely resembles handwritten proofs, and a custom editor that allows these proofs to be combined with formatted text to improve readability. The editor can be used for Coq documents in general, but also offers special features designed for use in education. Student input, for example, can be limited to specific parts of the document to prevent exercises from being accidentally deleted. Waterproof has been used to supplement teaching the Analysis 1 course at Eindhoven University of Technology (TU/e) for the last four years. Students started using the specific formulations of proof steps from the custom proof language in their handwritten proofs; the explicit phrasing of these sentences helped to clarify the logical structure of their arguments.


title: Link Count Data-driven Static Traffic Assignment Models Through Network Modularity Partitioning

abstract: Accurate static traffic assignment models are important tools for the assessment of strategic transportation policies. In this article we present a novel approach to partition road networks through network modularity to produce data-driven static traffic assignment models from loop detector data on large road systems. The use of partitioning allows the estimation of the key model input of Origin-Destination demand matrices from flow counts alone. Previous network tomography-based demand estimation techniques have been limited by the network size. The amount of partitioning changes the Origin-Destination estimation optimisation problems to different levels of computational difficulty. Different approaches to utilising the partitioning were tested, one which degenerated the road network to the scale of the partitions and others which left the network intact. Applied to a subnetwork of England's Strategic Road Network and other test networks, our results for the degenerate case showed flow and travel time errors are reasonable with a small amount of degeneration. The results for the non-degenerate cases showed that similar errors in model prediction with lower computation requirements can be obtained when using large partitions compared with the non-partitioned case. This work could be used to improve the effectiveness of national road systems planning and infrastructure models.


title: TSGP: Two-Stage Generative Prompting for Unsupervised Commonsense Question Answering

abstract: Unsupervised commonsense question answering requires mining effective commonsense knowledge without the rely on the labeled task data. Previous methods typically retrieved from traditional knowledge bases or used pre-trained language models (PrLMs) to generate fixed types of knowledge, which have poor generalization ability. In this paper, we aim to address the above limitation by leveraging the implicit knowledge stored in PrLMs and propose a two-stage prompt-based unsupervised commonsense question answering framework (TSGP). Specifically, we first use knowledge generation prompts to generate the knowledge required for questions with unlimited types and possible candidate answers independent of specified choices. Then, we further utilize answer generation prompts to generate possible candidate answers independent of specified choices. Experimental results and analysis on three different commonsense reasoning tasks, CommonsenseQA, OpenBookQA, and SocialIQA, demonstrate that TSGP significantly improves the reasoning ability of language models in unsupervised settings. Our code is available at: https://github.com/Yueqing-Sun/TSGP.


title: Partition functions on squashed seven-spheres and holography

abstract: Our paper presents two main results. First, we study the renormalized free energies of Euclidean Einstein gravity in asymptotically AdS$_8$ and various field theories on a squashed seven sphere. In the gravity theory, we demonstrate the absence of the Hawking-Page transition, while in the field theory, we focus on the O($N$) vector model and the massless free fermion model. The conformal symmetry governs the universal behaviors of the free energies for small and large squashings, which we confirm numerically and analytically. Second, we evaluate the second-order derivative of CFT free energy with respect to the squashing parameter, finding universal results that hold for generic conformal field theories. We examine two different squashings, one with an SU(2) bundle, which is the primary focus of our paper, and another with a U(1) bundle, where our results align with the conjectured formula from the gravity side in the literature.


title: Cutting the cost of pulsar astronomy: Saving time and energy when searching for binary pulsars using NVIDIA GPUs

abstract: Using the Fourier Domain Acceleration Search (FDAS) method to search for binary pulsars is a computationally costly process. Next generation radio telescopes will have to perform FDAS in real time, as data volumes are too large to store. FDAS is a matched filtering approach for searching time-domain radio astronomy datasets for the signatures of binary pulsars with approximately linear acceleration. In this paper we will explore how we have reduced the energy cost of an SKA-like implementation of FDAS in AstroAccelerate, utilising a combination of mixed-precision computing and dynamic frequency scaling on NVIDIA GPUs. Combining the two approaches, we have managed to save 58% of the overall energy cost of FDAS with a (<3%) sacrifice in numerical sensitivity.


title: Chinese Character Recognition with Radical-Structured Stroke Trees

abstract: The flourishing blossom of deep learning has witnessed the rapid development of Chinese character recognition. However, it remains a great challenge that the characters for testing may have different distributions from those of the training dataset. Existing methods based on a single-level representation (character-level, radical-level, or stroke-level) may be either too sensitive to distribution changes (e.g., induced by blurring, occlusion, and zero-shot problems) or too tolerant to one-to-many ambiguities. In this paper, we represent each Chinese character as a stroke tree, which is organized according to its radical structures, to fully exploit the merits of both radical and stroke levels in a decent way. We propose a two-stage decomposition framework, where a Feature-to-Radical Decoder perceives radical structures and radical regions, and a Radical-to-Stroke Decoder further predicts the stroke sequences according to the features of radical regions. The generated radical structures and stroke sequences are encoded as a Radical-Structured Stroke Tree (RSST), which is fed to a Tree-to-Character Translator based on the proposed Weighted Edit Distance to match the closest candidate character in the RSST lexicon. Our extensive experimental results demonstrate that the proposed method outperforms the state-of-the-art single-level methods by increasing margins as the distribution difference becomes more severe in the blurring, occlusion, and zero-shot scenarios, which indeed validates the robustness of the proposed method.


title: First measurement of anti-k$_\mathrm{T}$ jet spectra and jet substructure using the archived ALEPH $e^+e^-$ data at 91.2 GeV

abstract: We present the first anti-k$_{T}$ jet spectrum and substructure measurements using the archived ALEPH $e^+e^-$ data taken in 1994 at a center of mass energy of $\sqrt{s} = 91.2$ GeV. Jets are reconstructed with the anti-k$_{T}$ algorithm with a resolution parameter of 0.4. It is the cleanest test of jets and QCD without the complication of hadronic initial states. The fixed center-of-mass energy also allows the first direct test of pQCD calculation. We present both the inclusive jet energy spectrum and the leading dijet energy spectra, together with a number of substructure observables. They are compared to predictions from PYTHIA6, PYTHIA8, Sherpa, HERWIG, VINCIA, and PYQUEN. None of the models fully reproduce the data. The data are also compared to two perturbative QCD calculations at NLO and with NLL'+R resummation. The results can also serve as reference measurements to compare to results from hadronic colliders. Future directions, including testing jet clustering algorithms designed for future electron-ion collider experiments, will also be discussed.


title: Measurement of the branching fraction of $J/\psi\rightarrow\rho\pi$ at KEDR

abstract: We present the study of the decay $J/\psi \rightarrow \rho\pi$. The results are based on of 5.2~million $J/\psi$ events collected by the KEDR detector at the VEPP-4M collider. The branching fractions are measured to be $\B(J/\psi \rightarrow \rho\pi) = \big(2.072\pm 0.017 \pm 0.062 \big)\cdot 10^{-2}$ and $\B(J/\psi \rightarrow \pi^+\pi^-\pi^0) = \big(1.878 \pm 0.013 \pm 0.051 \big)\cdot 10^{-2}$, where the first uncertainties are statistical and the second systematic. Our results are more precise than the previous relative measurements.


title: A Velocity-based Moving Mesh Virtual Element Method

abstract: We present a velocity-based moving mesh virtual element method for the numerical solution of PDEs involving moving boundaries. The virtual element method is used for computing both the mesh velocity and a conservative Arbitrary Lagrangian-Eulerian solution transfer on general polygonal meshes. The approach extends the linear finite element method to polygonal mesh structures, achieving the same degree of accuracy. In the context of moving meshes, a major advantage of the virtual element approach is the ease with which nodes can be inserted on mesh edges. Demonstrations of node insertion techniques are presented to show that moving polygonal meshes can be simply adapted for situations where a boundary encounters a solid object or another moving boundary, without reduction in degree of accuracy.


title: Transition of latitudinal differential rotation as a possible cause of weakened magnetic braking of solar-type stars

abstract: We investigate the role of latitudinal differential rotation (DR) in the spin evolution of solar-type stars. Recent asteroseismic observation detected the strong equator-fast DR in some solar-type stars. Numerical simulations show that the strong equator-fast DR is a typical feature of young fast-rotating stars and that this tendency is gradually reduced with stellar age. Incorporating these properties, we develop a model for the long-term evolution of stellar rotation. The magnetic braking is assumed to be regulated dominantly by the rotation rate in the low-latitude region. Therefore, in our model, stars with the equator-fast DR spin down more efficiently than those with the rigid-body rotation. We calculate the evolution of stellar rotation in ranges of stellar mass, $0.9 \, \mathrm{M}_{\odot} \le M \le 1.2\, \mathrm{M}_{\odot}$, and metallicity, $0.5\, \mathrm{Z}_{\odot} \le Z \le 2\, \mathrm{Z}_{\odot}$, where $\mathrm{M}_{\odot}$ and $\mathrm{Z}_{\odot}$ are the solar mass and metallicity, respectively. Our model, using the observed torque in the present solar wind, nicely explains both the current solar rotation and the average trend of the rotation of solar-type stars, including the dependence on metallicity. In addition, our model naturally reproduces the observed trend of the weakened magnetic braking in old slowly rotating solar-type stars because strong equator-fast DR becomes reduced. Our results indicate that LDR and its transition are essential factors that control the stellar spin down.


title: Roboflow 100: A Rich, Multi-Domain Object Detection Benchmark

abstract: The evaluation of object detection models is usually performed by optimizing a single metric, e.g. mAP, on a fixed set of datasets, e.g. Microsoft COCO and Pascal VOC. Due to image retrieval and annotation costs, these datasets consist largely of images found on the web and do not represent many real-life domains that are being modelled in practice, e.g. satellite, microscopic and gaming, making it difficult to assert the degree of generalization learned by the model. We introduce the Roboflow-100 (RF100) consisting of 100 datasets, 7 imagery domains, 224,714 images, and 805 class labels with over 11,170 labelling hours. We derived RF100 from over 90,000 public datasets, 60 million public images that are actively being assembled and labelled by computer vision practitioners in the open on the web application Roboflow Universe. By releasing RF100, we aim to provide a semantically diverse, multi-domain benchmark of datasets to help researchers test their model's generalizability with real-life data. RF100 download and benchmark replication are available on GitHub.


title: GAN Prior based Null-Space Learning for Consistent Super-Resolution

abstract: Consistency and realness have always been the two critical issues of image super-resolution. While the realness has been dramatically improved with the use of GAN prior, the state-of-the-art methods still suffer inconsistencies in local structures and colors (e.g., tooth and eyes). In this paper, we show that these inconsistencies can be analytically eliminated by learning only the null-space component while fixing the range-space part. Further, we design a pooling-based decomposition (PD), a universal range-null space decomposition for super-resolution tasks, which is concise, fast, and parameter-free. PD can be easily applied to state-of-the-art GAN Prior based SR methods to eliminate their inconsistencies, neither compromising the realness nor bringing extra parameters or computational costs. Besides, our ablation studies reveal that PD can replace pixel-wise losses for training and achieve better generalization performance when facing unseen downsamplings or even real-world degradation. Experiments show that the use of PD refreshes state-of-the-art SR performance and speeds up the convergence of training up to 2~10 times.


title: Evaluating Search-Based Software Microbenchmark Prioritization

abstract: Ensuring that software performance does not degrade after a code change is paramount. A solution is to regularly execute software microbenchmarks, a performance testing technique similar to (functional) unit tests, which, however, often becomes infeasible due to extensive runtimes. To address that challenge, research has investigated regression testing techniques, such as test case prioritization (TCP), which reorder the execution within a microbenchmark suite to detect larger performance changes sooner. Such techniques are either designed for unit tests and perform sub-par on microbenchmarks or require complex performance models, drastically reducing their potential application. In this paper, we empirically evaluate single- and multi-objective search-based microbenchmark prioritization techniques to understand whether they are more effective and efficient than greedy, coverage-based techniques. For this, we devise three search objectives, i.e., coverage to maximize, coverage overlap to minimize, and historical performance change detection to maximize. We find that search algorithms (SAs) are only competitive with but do not outperform the best greedy, coverage-based baselines. However, a simple greedy technique utilizing solely the performance change history (without coverage information) is equally or more effective than the best coverage-based techniques while being considerably more efficient, with a runtime overhead of less than 1%. These results show that simple, non-coverage-based techniques are a better fit for microbenchmarks than complex coverage-based techniques.


title: Specognitor: Identifying Spectre Vulnerabilities via Prediction-Aware Symbolic Execution

abstract: Spectre attacks exploit speculative execution to leak sensitive information. In the last few years, a number of static side-channel detectors have been proposed to detect cache leakage in the presence of speculative execution. However, these techniques either ignore branch prediction mechanism, detect static pre-defined patterns which is not suitable for detecting new patterns, or lead to false negatives. In this paper, we illustrate the weakness of prediction-agnostic state-of-the-art approaches. We propose Specognitor, a novel prediction-aware symbolic execution engine to soundly explore program paths and detect subtle spectre variant 1 and variant 2 vulnerabilities. We propose a dynamic pattern detection mechanism to account for both existing and future vulnerabilities. Our experimental results show the effectiveness and efficiency of Specognitor in analyzing real-world cryptographic programs w.r.t. different processor families.


title: Beyond Mahalanobis-Based Scores for Textual OOD Detection

abstract: Deep learning methods have boosted the adoption of NLP systems in real-life applications. However, they turn out to be vulnerable to distribution shifts over time which may cause severe dysfunctions in production systems, urging practitioners to develop tools to detect out-of-distribution (OOD) samples through the lens of the neural network. In this paper, we introduce TRUSTED, a new OOD detector for classifiers based on Transformer architectures that meets operational requirements: it is unsupervised and fast to compute. The efficiency of TRUSTED relies on the fruitful idea that all hidden layers carry relevant information to detect OOD examples. Based on this, for a given input, TRUSTED consists in (i) aggregating this information and (ii) computing a similarity score by exploiting the training distribution, leveraging the powerful concept of data depth. Our extensive numerical experiments involve 51k model configurations, including various checkpoints, seeds, and datasets, and demonstrate that TRUSTED achieves state-of-the-art performances. In particular, it improves previous AUROC over 3 points.


title: Unravelling the role of Sm 4f electrons in the magnetism of SmFeO$_3$

abstract: Magnetic rare-earth orthoferrites $R$FeO$_3$ host a variety of functional properties from multiferroicity and strong magnetostriction, to spin-reorientation transitions and ultrafast light-driven manipulation of magnetism, which can be exploited in spintronics and next-generation devices. Among these systems, SmFeO$_3$ is attracting a particular interest for its rich phase diagram and the high temperature Fe-spin magnetic transitions, which combines with a very low temperature and as yet unclear Sm-spin ordering. Various experiments suggest that the interaction between the Sm and Fe magnetic moments (further supported by the magnetic anisotropy), is at the origin of the complex cascade of transitions, but a conclusive and clear picture has not yet been reached. In this work, by means of comprehensive first-principles calculations, we unravel the role of the magnetic Sm ions in the Fe-spin reorientation transition and in the detected anomalies in the lattice vibrational spectrum, which are a signature of a relevant spin-phonon coupling. By including both Sm-$f$ electrons and non-collinear magnetism, we find frustrated and anisotropic Sm interactions, and a large magnetocrystalline anisotropy mediated by the SOC of the Sm-$4f$ electrons, which drive the complex magnetic properties and phase diagram of SmFeO$_3$.


title: 3D Dual-Fusion: Dual-Domain Dual-Query Camera-LiDAR Fusion for 3D Object Detection

abstract: Fusing data from cameras and LiDAR sensors is an essential technique to achieve robust 3D object detection. One key challenge in camera-LiDAR fusion involves mitigating the large domain gap between the two sensors in terms of coordinates and data distribution when fusing their features. In this paper, we propose a novel camera-LiDAR fusion architecture called, 3D Dual-Fusion, which is designed to mitigate the gap between the feature representations of camera and LiDAR data. The proposed method fuses the features of the camera-view and 3D voxel-view domain and models their interactions through deformable attention. We redesign the transformer fusion encoder to aggregate the information from the two domains. Two major changes include 1) dual query-based deformable attention to fuse the dual-domain features interactively and 2) 3D local self-attention to encode the voxel-domain queries prior to dual-query decoding. The results of an experimental evaluation show that the proposed camera-LiDAR fusion architecture achieved competitive performance on the KITTI and nuScenes datasets, with state-of-the-art performances in some 3D object detection benchmarks categories.


title: Detachment of a rigid flat punch from a viscoelastic material

abstract: We show that the detachment of a flat punch from a viscoelastic substrate has a relatively simple behavior, framed between the Kendall's elastic solution at the relaxed modulus and at the instantaneous modulus, and the cohesive strength limit. We find hardly any dependence of the pull-off force on the details of the loading process, including maximum indentation at preload and loading rate, resulting much simpler than the case of a spherical punch. Pull-off force peaks at the highest speeds of unloading, when energy dissipation is negligible, which seems to be in contrast with what suggested by the theories originated by de Gennes of viscoelastic semi-infinite crack propagation which associated enhanced work of adhesion to dissipation. Further qualitative differences with the dissipation-based model occur to explain the finite size effect.


title: Disorder-induced trapping and anti-trapping of vortices in type-II superconductors

abstract: We study the features of the superconductivity nucleation and vortex configurations in superconductors with modulated disorder. Using the Ginzburg-Landau-type theory with spatially varying diffusion coefficient, we uncover and explain the switching between the vortex-defect attraction to the repulsion upon the increase in the external magnetic field. It is shown that for rather weak applied magnetic fields, a superconducting nucleus localized near the region with the suppressed diffusion coefficient possesses a nonzero vorticity whereas the increase in the magnetic field can lead to a transition into the state with zero winding number. We demonstrate the manifestations of this switching phenomenon in superconductors with a large number of defects by performing numerical simulations of the vortex structures in superconductors with periodic spatial profiles of the diffusion coefficient. The obtained results clarify the physics of the vortex arrangement in several classes of the superconducting materials including one-dimensional superlattices and nanopatterned superconductors with regular arrays of the defects characterized by the increased concentration of nonmagnetic impurities.


title: Many bounded versions of undecidable problems are NP-hard

abstract: Several physically inspired problems have been proven undecidable; examples are the spectral gap problem and the membership problem for quantum correlations. Most of these results rely on reductions from a handful of undecidable problems, such as the halting problem, the tiling problem, the Post correspondence problem or the matrix mortality problem. All these problems have a common property: they have an NP-hard bounded version. This work establishes a relation between undecidable unbounded problems and their bounded NP-hard versions. Specifically, we show that NP-hardness of a bounded version follows easily from the reduction of the unbounded problems. This leads to new and simpler proofs of the NP-hardness of bounded version of the Post correspondence problem, the matrix mortality problem, the positivity of matrix product operators, the reachability problem, the tiling problem, and the ground state energy problem. This work sheds light on the intractability of problems in theoretical physics and on the computational consequences of bounding a parameter.


title: Prosody-controllable spontaneous TTS with neural HMMs

abstract: Spontaneous speech has many affective and pragmatic functions that are interesting and challenging to model in TTS. However, the presence of reduced articulation, fillers, repetitions, and other disfluencies in spontaneous speech make the text and acoustics less aligned than in read speech, which is problematic for attention-based TTS. We propose a TTS architecture that can rapidly learn to speak from small and irregular datasets, while also reproducing the diversity of expressive phenomena present in spontaneous speech. Specifically, we add utterance-level prosody control to an existing neural HMM-based TTS system which is capable of stable, monotonic alignments for spontaneous speech. We objectively evaluate control accuracy and perform perceptual tests that demonstrate that prosody control does not degrade synthesis quality. To exemplify the power of combining prosody control and ecologically valid data for reproducing intricate spontaneous speech phenomena, we evaluate the system's capability of synthesizing two types of creaky voice. Audio samples are available at https://www.speech.kth.se/tts-demos/prosodic-hmm/


title: Existence of solutions to a perturbed critical biharmonic equation with Hardy potential

abstract: \ In this paper, the following biharmonic elliptic problem \begin{eqnarray*} \begin{cases} \Delta^2u-\lambda\frac{|u|^{q-2}u}{|x|^s}=|u|^{2^{**}-2}u+ f(x,u), &x\in\Omega,\\ u=\dfrac{\partial u}{\partial n}=0, &x\in\partial\Omega \end{cases} \end{eqnarray*} is considered. The main feature of the equation is that it involves a Hardy term and a nonlinearity with critical Sobolev exponent. By combining a careful analysis of the fibering maps of the energy functional associated with the problem with the Mountain Pass Lemma, it is shown, for some positive parameter $\lambda$ depending on $s$ and $q$, that the problem admits at least one mountain pass type solution under appropriate growth conditions on the nonlinearity $f(x,u)$.


title: DeepTaster: Adversarial Perturbation-Based Fingerprinting to Identify Proprietary Dataset Use in Deep Neural Networks

abstract: Training deep neural networks (DNNs) requires large datasets and powerful computing resources, which has led some owners to restrict redistribution without permission. Watermarking techniques that embed confidential data into DNNs have been used to protect ownership, but these can degrade model performance and are vulnerable to watermark removal attacks. Recently, DeepJudge was introduced as an alternative approach to measuring the similarity between a suspect and a victim model. While DeepJudge shows promise in addressing the shortcomings of watermarking, it primarily addresses situations where the suspect model copies the victim's architecture. In this study, we introduce DeepTaster, a novel DNN fingerprinting technique, to address scenarios where a victim's data is unlawfully used to build a suspect model. DeepTaster can effectively identify such DNN model theft attacks, even when the suspect model's architecture deviates from the victim's. To accomplish this, DeepTaster generates adversarial images with perturbations, transforms them into the Fourier frequency domain, and uses these transformed images to identify the dataset used in a suspect model. The underlying premise is that adversarial images can capture the unique characteristics of DNNs built with a specific dataset. To demonstrate the effectiveness of DeepTaster, we evaluated the effectiveness of DeepTaster by assessing its detection accuracy on three datasets (CIFAR10, MNIST, and Tiny-ImageNet) across three model architectures (ResNet18, VGG16, and DenseNet161). We conducted experiments under various attack scenarios, including transfer learning, pruning, fine-tuning, and data augmentation. Specifically, in the Multi-Architecture Attack scenario, DeepTaster was able to identify all the stolen cases across all datasets, while DeepJudge failed to detect any of the cases.


title: Proprioceptive Sensing of Soft Tentacles with Model Based Reconstruction for Controller Optimization

abstract: The success of soft robots in displaying emergent behaviors is tightly linked to the compliant interaction with the environment. However, to exploit such phenomena, proprioceptive sensing methods which do not hinder their softness are needed. In this work we propose a new sensing approach for soft underwater slender structures based on embedded pressure sensors and use a learning-based pipeline to link the sensor readings to the shape of the soft structure. Using two different modeling techniques, we compare the pose reconstruction accuracy and identify the optimal approach. Using the proprioceptive sensing capabilities we show how this information can be used to assess the swimming performance over a number of metrics, namely swimming thrust, tip deflection, and the traveling wave index. We conclude by demonstrating the robustness of the embedded sensor on a free swimming soft robotic squid swimming at a maximum velocity of 9.5 cm/s, with the absolute tip deflection being predicted within an error less than 9% without the aid of external sensors.


title: Discursive Voter Models on the Supercritical Scale-Free Network

abstract: The voter model is a classical interacting particle system, modelling how global consensus is formed by local imitation. We analyse the time to consensus for a particular family of voter models when the underlying structure is a scale-free inhomogeneous random graph, in the high edge density regime where this graph features a giant component. In this regime, we verify that the polynomial orders of consensus agree with those of their mean-field approximation in [Moinet et al., 2018]. This "discursive" family of models has a symmetrised interaction to better model discussions, and is indexed by a temperature parameter which, for certain parameters of the power law tail of the network's degree distribution, is seen to produce two distinct phases of consensus speed. Our proofs rely on the well-known duality to coalescing random walks and a control on the mixing time of these walks, using the known fast mixing of the Erd\H{o}s-R\'enyi giant subgraph. Unlike in the subcritical case [Fernley and Ortgiese, 2022] which requires tail exponent of the limiting degree distribution $\tau=1+1/\gamma >3$ as well as low edge density, in the giant component case we also address the "ultrasmall world" power law exponents $\tau \in (2,3]$.


title: Effect of local fractional derivatives on Riemann curvature tensor

abstract: In this short note, we investigate the effect of the local fractional derivatives on the Riemann curvature tensor that is a common tool in calculating curvature of a Riemannian manifold. For this, first we introduce a general local fractional derivative operator that involves the mostly used ones in the literature as conformable, alternative, truncated $M-$ and $\mathcal{V}-$fractional derivatives. Then, according to this general operator, a particular Riemannian metric tensor field on the real affine space $\mathbb{R}^{n}$ that is different than Euclidean one is defined. In conlusion, we obtain that the Riemann curvature tensor of $\mathbb{R}^{n}$ endowed with this particular metric is identically $0$, namely, locally isometric to Euclidean space.


title: Optical MIMO communication with unequal power allocation to channels

abstract: Multiple input multiple output (MIMO) approach in fiber optical communication has emerged as an effective proposition to address the ever increasing demand for information exchange. In the ergodic case, the multiple channels, associated with multiple modes or cores or both in the optical fiber, is modeled by the Jacobi ensemble of random matrices. A key quantity for assessing the performance of MIMO systems is the mutual information (MI). We focus here on the case of an arbitrary transmission covariance matrix and derive exact determinant based results for the moment generating function (MGF) of mutual information (MI), and thereby address the scenario of unequal power per excited mode. The MGF is used to obtain Gaussian- and Weibull-distribution based approximations for the probability density function (PDF), cumulative distribution function (CDF) or, equivalently, the outage probability, and also the survival function (SF) or reliability function. Moreover, a numerical Fourier inversion approach is implemented to obtain the PDF, CDF, and SF directly from the MGF. The MGF is further used to investigate the ergodic capacity, which is the first moment (mean) of the mutual information. The analytical results are found to be in excellent agreement with Monte Carlo simulations. Our study goes beyond the earlier investigations where covariance matrix proportional to identity matrix has been considered which corresponds to equal power allocation per excited mode.


title: Boundary value problems with rough boundary data

abstract: We consider linear boundary value problems for higher-order parameter-elliptic equations, where the boundary data do not belong to the classical trace spaces. We employ a class of Sobolev spaces of mixed smoothness that admits a generalized boundary trace with values in Besov spaces of negative order. We prove unique solvability for rough boundary data in the half-space and in sufficiently smooth domains. As an application, we show that the operator related to the linearized Cahn--Hilliard equation with dynamic boundary conditions generates a holomorphic semigroup in $L^p(\mathbb R^n_+)\times L^p(\mathbb R^{n-1})$.


title: A mathematical theory of resolution limits for super-resolution of positive sources

abstract: A priori information on the positivity of source intensities is ubiquitous in imaging fields and is also important for a multitude of super-resolution and deconvolution algorithms. However, the fundamental resolution limit of positive sources is still unknown, and research in this field is very limited indeed. In this work, we analyze the super-resolving capacity for number and location recoveries in the super-resolution of positive sources and aim to answer the resolution limit problem in a rigorous manner. Specifically, we introduce the computational resolution limit for respectively the number detection and location recovery in the one-dimensional super-resolution problem and quantitatively characterize their dependency on the cutoff frequency, signal-to-noise ratio, and the sparsity of the sources. As a direct consequence, we show that targeting at the sparest positive solution in the super-resolution already provides the optimal resolution order. These results are generalized to multi-dimensional spaces. Our estimates indicate that there exist phase transitions in the corresponding reconstructions, which are confirmed by numerical experiments. On the other hand, despite the fact that positivity plays important roles in improving the resolution of certain super-resolution algorithms, our theory has made several different but significant discoveries: i) The a priori information of positivity cannot further improve the order of the resolution limit; ii) The positivity of the source sometimes deteriorates the resolution limit instead of enhancing it. In particular, under certain signal-to-noise ratio, two point sources with different phases actually have a better resolution limit than those with the same one.


title: A Privacy-Preserving Outsourced Data Model in Cloud Environment

abstract: Nowadays, more and more machine learning applications, such as medical diagnosis, online fraud detection, email spam filtering, etc., services are provided by cloud computing. The cloud service provider collects the data from the various owners to train or classify the machine learning system in the cloud environment. However, multiple data owners may not entirely rely on the cloud platform that a third party engages. Therefore, data security and privacy problems are among the critical hindrances to using machine learning tools, particularly with multiple data owners. In addition, unauthorized entities can detect the statistical input data and infer the machine learning model parameters. Therefore, a privacy-preserving model is proposed, which protects the privacy of the data without compromising machine learning efficiency. In order to protect the data of data owners, the epsilon-differential privacy is used, and fog nodes are used to address the problem of the lower bandwidth and latency in this proposed scheme. The noise is produced by the epsilon-differential mechanism, which is then added to the data. Moreover, the noise is injected at the data owner site to protect the owners data. Fog nodes collect the noise-added data from the data owners, then shift it to the cloud platform for storage, computation, and performing the classification tasks purposes.


title: Impure Simplicial Complexes: Complete Axiomatization

abstract: Combinatorial topology is used in distributed computing to model concurrency and asynchrony. The basic structure in combinatorial topology is the simplicial complex, a collection of subsets called simplices of a set of vertices, closed under containment. Pure simplicial complexes describe message passing in asynchronous systems where all processes (agents) are alive, whereas impure simplicial complexes describe message passing in synchronous systems where processes may be dead (have crashed). Properties of impure simplicial complexes can be described in a three-valued multi-agent epistemic logic where the third value represents formulae that are undefined, e.g., the knowledge and local propositions of dead agents. In this work we present an axiomatization for the logic of the class of impure complexes and show soundness and completeness. The completeness proof involves the novel construction of the canonical simplicial model and requires a careful manipulation of undefined formulae.


title: Meta-Learning the Inductive Biases of Simple Neural Circuits

abstract: Training data is always finite, making it unclear how to generalise to unseen situations. But, animals do generalise, wielding Occam's razor to select a parsimonious explanation of their observations. How they do this is called their inductive bias, and it is implicitly built into the operation of animals' neural circuits. This relationship between an observed circuit and its inductive bias is a useful explanatory window for neuroscience, allowing design choices to be understood normatively. However, it is generally very difficult to map circuit structure to inductive bias. Here, we present a neural network tool to bridge this gap. The tool meta-learns the inductive bias by learning functions that a neural circuit finds easy to generalise, since easy-to-generalise functions are exactly those the circuit chooses to explain incomplete data. In systems with analytically known inductive bias, i.e. linear and kernel regression, our tool recovers it. Generally, we show it can flexibly extract inductive biases from supervised learners, including spiking neural networks, and show how it could be applied to real animals. Finally, we use our tool to interpret recent connectomic data illustrating its intended use: understanding the role of circuit features through the resulting inductive bias.


title: Efficient Separation of RLT Cuts for Implicit and Explicit Bilinear Terms

abstract: The reformulation-linearization technique (RLT) is a prominent approach to constructing tight linear relaxations of non-convex continuous and mixed-integer optimization problems. The goal of this paper is to extend the applicability and improve the performance of RLT for bilinear product relations. First, a method for detecting bilinear product relations implicitly contained in mixed-integer linear programs is developed based on analyzing linear constraints with binary variables, thus enabling the application of bilinear RLT to a new class of problems. Our second contribution addresses the high computational cost of RLT cut separation, which presents one of the major difficulties in applying RLT efficiently in practice. We propose a new RLT cutting plane separation algorithm which identifies combinations of linear constraints and bound factors that are expected to yield an inequality that is violated by the current relaxation solution. This algorithm is applicable to RLT cuts generated for all types of bilinear terms, including but not limited to the detected implicit products. A detailed computational study based on implementations in two solvers evaluates the performance impact of the proposed methods.


title: Number Theoretic Transform and Its Applications in Lattice-based Cryptosystems: A Survey

abstract: Number theoretic transform (NTT) is the most efficient method for multiplying two polynomials of high degree with integer coefficients, due to its series of advantages in terms of algorithm and implementation, and is consequently widely-used and particularly fundamental in the practical implementations of lattice-based cryptographic schemes. Especially, recent works have shown that NTT can be utilized in those schemes without NTT-friendly rings, and can outperform other multiplication algorithms. In this paper, we first review the basic concepts of polynomial multiplication, convolution and NTT. Subsequently, we systematically introduce basic radix-2 fast NTT algorithms in an algebraic way via Chinese Remainder Theorem. And then, we elaborate recent advances about the methods to weaken restrictions on parameter conditions of NTT. Furthermore, we systematically introduce how to choose appropriate strategy of NTT algorithms for the various given rings. Later, we introduce the applications of NTT in the lattice-based cryptographic schemes of NIST post-quantum cryptography standardization competition. Finally, we try to present some possible future research directions.


title: Mathematical Modeling of Leukemia Chemotherapy in Bone Marrow

abstract: Acute Lymphoblastic Leukemia (ALL) accounts for the 80% of leukemias when coming down to pediatric ages. Survival of these patients has increased by a considerable amount in recent years. However, around 15-20% of treatments are unsuccessful. For this reason, it is definitely required to come up with new strategies to study and select which patients are at higher risk of relapse. Thus the importance to monitor the amount of leukemic cells to predict relapses in the first treatment phase. In this work we develop a mathematical model describing the behavior of ALL, examining the evolution of a leukemic clone when treatment is applied. In the study of this model it can be observed how the risk of relapse is connected with the response in the first treatment phase. This model is able to simulate cell dynamics without treatment, representing a virtual patient bone marrow behavior. Furthermore, several parameters are related to treatment dynamics, therefore proposing a basis for future works regarding childhood ALL survival improvement.


title: A new proof of Stanley's theorem on the strong Lefschetz property

abstract: A standard graded artinian monomial complete intersection algebra $A=\Bbbk[x_1,x_2,\ldots,x_n]/(x_1^{a_1},x_2^{a_2},\ldots,x_n^{a_n})$, with $\Bbbk$ a field of characteristic zero, has the strong Lefschetz property due to Stanley in 1980. In this paper, we give a new proof for this result by using only the basic properties of linear algebra. Furthermore, our proof is still true in the case where the characteristic of $\Bbbk$ is greater than the socle degree of $A$, namely $a_1+a_2+\cdots+a_n - n$.


title: Online Regularized Learning Algorithm for Functional Data

abstract: In recent years, functional linear models have attracted growing attention in statistics and machine learning, with the aim of recovering the slope function or its functional predictor. This paper considers online regularized learning algorithm for functional linear models in reproducing kernel Hilbert spaces. Convergence analysis of excess prediction error and estimation error are provided with polynomially decaying step-size and constant step-size, respectively. Fast convergence rates can be derived via a capacity dependent analysis. By introducing an explicit regularization term, we uplift the saturation boundary of unregularized online learning algorithms when the step-size decays polynomially, and establish fast convergence rates of estimation error without capacity assumption. However, it remains an open problem to obtain capacity independent convergence rates for the estimation error of the unregularized online learning algorithm with decaying step-size. It also shows that convergence rates of both prediction error and estimation error with constant step-size are competitive with those in the literature.


title: On coset $n$-valued topological groups on $S^3$ and $\mathbb{R}P^3$

abstract: We obtain all coset $n$-valued topological groups on $S^3$ and $\mathbb{R}P^3$, arising from compact Lie groups Sp(1) and SO(3) and there finite groups of automorphisms.


title: SfM-TTR: Using Structure from Motion for Test-Time Refinement of Single-View Depth Networks

abstract: Estimating a dense depth map from a single view is geometrically ill-posed, and state-of-the-art methods rely on learning depth's relation with visual appearance using deep neural networks. On the other hand, Structure from Motion (SfM) leverages multi-view constraints to produce very accurate but sparse maps, as matching across images is typically limited by locally discriminative texture. In this work, we combine the strengths of both approaches by proposing a novel test-time refinement (TTR) method, denoted as SfM-TTR, that boosts the performance of single-view depth networks at test time using SfM multi-view cues. Specifically, and differently from the state of the art, we use sparse SfM point clouds as test-time self-supervisory signal, fine-tuning the network encoder to learn a better representation of the test scene. Our results show how the addition of SfM-TTR to several state-of-the-art self-supervised and supervised networks improves significantly their performance, outperforming previous TTR baselines mainly based on photometric multi-view consistency. The code is available at https://github.com/serizba/SfM-TTR.


title: Automated Sunspot Detection as an Alternative to Visual Observations

abstract: We developed an automated method for sunspot detection using digital white-light solar images to achieve a performance similar to that of visual drawing observations in sunspot counting. To identify down to small, isolated spots correctly, we pay special attention to the accurate derivation of the quiet-disk component of the Sun, which is used as a reference to identify sunspots using a threshold. This threshold is determined using an adaptive method to process images obtained under various conditions. To eliminate the seeing effect, our method can process multiple images taken within a short time. We applied the developed method to digital images captured at three sites and compared the detection results with those of visual observations. We conclude that the proposed sunspot detection method has a similar performance to that of visual observation. This method can be widely used by public observatories and amateurs as well as professional observatories as an alternative to hand-drawn visual observation for sunspot counting.


title: Exact one-particle density matrix for SU($N$) fermionic matter-waves in the strong repulsive limit

abstract: We consider a gas of repulsive $N$-component fermions confined in a ring-shaped potential, subject to an effective magnetic field. For large repulsion strengths, we work out a Bethe ansatz scheme to compute the two-point correlation matrix and then the one-particle density matrix. Our results holds in the mesoscopic regime of finite but sufficiently large number of particles and system size that are not accessible by numerics. We access the momentum distribution of the system and analyse its specific dependence of interaction, magnetic field and number of components $N$. In the context of cold atoms, the exact computation of the correlation matrix to determine the interference patterns that are produced by releasing cold atoms from ring traps is carried out.


title: Quality-Based Conditional Processing in Multi-Biometrics: Application to Sensor Interoperability

abstract: As biometric technology is increasingly deployed, it will be common to replace parts of operational systems with newer designs. The cost and inconvenience of reacquiring enrolled users when a new vendor solution is incorporated makes this approach difficult and many applications will require to deal with information from different sources regularly. These interoperability problems can dramatically affect the performance of biometric systems and thus, they need to be overcome. Here, we describe and evaluate the ATVS-UAM fusion approach submitted to the quality-based evaluation of the 2007 BioSecure Multimodal Evaluation Campaign, whose aim was to compare fusion algorithms when biometric signals were generated using several biometric devices in mismatched conditions. Quality measures from the raw biometric data are available to allow system adjustment to changing quality conditions due to device changes. This system adjustment is referred to as quality-based conditional processing. The proposed fusion approach is based on linear logistic regression, in which fused scores tend to be log-likelihood-ratios. This allows the easy and efficient combination of matching scores from different devices assuming low dependence among modalities. In our system, quality information is used to switch between different system modules depending on the data source (the sensor in our case) and to reject channels with low quality data during the fusion. We compare our fusion approach to a set of rule-based fusion schemes over normalized scores. Results show that the proposed approach outperforms all the rule-based fusion schemes. We also show that with the quality-based channel rejection scheme, an overall improvement of 25% in the equal error rate is obtained.


title: Error estimates for the scalar auxiliary variable (SAV) scheme to the Cahn-Hilliard equation

abstract: The optimal error estimate that depending only on the polynomial degree of $ \varepsilon^{-1}$ is established for the temporal semi-discrete scheme of the Cahn-Hilliard equation, which is based on the scalar auxiliary variable (SAV) formulation. The key to our analysis is to convert the structure of the SAV time-stepping scheme back to a form compatible with the original format of the Cahn-Hilliard equation, which makes it feasible to use spectral estimates to handle the nonlinear term. Based on the transformation of the SAV numerical scheme, the optimal error estimate for the temporal semi-discrete scheme which depends only on the low polynomial order of $\varepsilon^{-1}$ instead of the exponential order, is derived by using mathematical induction, spectral arguments, and the superconvergence properties of some nonlinear terms. Numerical examples are provided to illustrate the discrete energy decay property and validate our theoretical convergence analysis.


title: On a critical Maxwell equation in nonlocal media

abstract: In this paper, we study the existence of solutions for a critical time-harmonic Maxwell equation in nonlocal media. By introducing some suitable Coulomb spaces involving curl operator, we are able to obtain the ground state solutions of the curl-curl equation via the method of constraining Nehari-Pankov manifold. Correspondingly, some sharp constants of the Sobolev-like inequalities with curl operator are obtained by a nonlocal version of the concentration-compactness principle.


title: Fingerprint Image-Quality Estimation and its Application to Multialgorithm Verification

abstract: Signal-quality awareness has been found to increase recognition rates and to support decisions in multisensor environments significantly. Nevertheless, automatic quality assessment is still an open issue. Here, we study the orientation tensor of fingerprint images to quantify signal impairments, such as noise, lack of structure, blur, with the help of symmetry descriptors. A strongly reduced reference is especially favorable in biometrics, but less information is not sufficient for the approach. This is also supported by numerous experiments involving a simpler quality estimator, a trained method (NFIQ), as well as the human perception of fingerprint quality on several public databases. Furthermore, quality measurements are extensively reused to adapt fusion parameters in a monomodal multialgorithm fingerprint recognition environment. In this study, several trained and nontrained score-level fusion schemes are investigated. A Bayes-based strategy for incorporating experts past performances and current quality conditions, a novel cascaded scheme for computational efficiency, besides simple fusion rules, is presented. The quantitative results favor quality awareness under all aspects, boosting recognition rates and fusing differently skilled experts efficiently as well as effectively (by training).


title: Point vortex dynamics on K\"ahler twistor spaces

abstract: In this paper, we provide tools to study the dynamics of point vortex dynamics on $\mathbb{CP}^n$ and the flag manifold $\mathbb{F}_{1,2}(\mathbb{C}^3)$. These are the only K\"ahler twistor spaces arising from 4-manifolds. We give an explicit expression for Green's function on $\mathbb{CP}^n$ which enables us to determine the Hamiltonian $H$ and the equations of motions for the point vortex problem on $\mathbb{CP}^n$. Moreover, we determine the momentum map $\mu:\mathbb{F}_{1,2}(\mathbb{C}^3)\to \mathfrak{su}^*(3)$ on the flag manifold.


title: Extremal structure of projective tensor products

abstract: We prove that, given two Banach spaces $X$ and $Y$ and bounded, closed convex sets $C\subseteq X$ and $D\subseteq Y$, if a nonzero element $z\in \overline{\mathrm{co}}(C\otimes D)\subseteq X\widehat{\otimes}_\pi Y$ is a preserved extreme point then $z=x_0\otimes y_0$ for some preserved extreme points $x_0\in C$ and $y_0\in D$, whenever $K(X,Y^*)$ separates points of $X \widehat{\otimes}_\pi Y$ (in particular, whenever $X$ or $Y$ has the compact approximation property). Moreover, we prove that if $x_0\in C$ and $y_0\in D$ are weak-strongly exposed points then $x_0\otimes y_0$ is weak-strongly exposed in $\overline{\mathrm{co}}(C\otimes D)$ whenever $x_0\otimes y_0$ has a neighbourhood system for the weak topology defined by compact operators. Furthermore, we find a Banach space $X$ isomorphic to $\ell_2$ with a weak-strongly exposed point $x_0\in B_X$ such that $x_0\otimes x_0$ is not a weak-strongly exposed point of the unit ball of $X\widehat{\otimes}_\pi X$.


title: How "open" are the conversations with open-domain chatbots? A proposal for Speech Event based evaluation

abstract: Open-domain chatbots are supposed to converse freely with humans without being restricted to a topic, task or domain. However, the boundaries and/or contents of open-domain conversations are not clear. To clarify the boundaries of "openness", we conduct two studies: First, we classify the types of "speech events" encountered in a chatbot evaluation data set (i.e., Meena by Google) and find that these conversations mainly cover the "small talk" category and exclude the other speech event categories encountered in real life human-human communication. Second, we conduct a small-scale pilot study to generate online conversations covering a wider range of speech event categories between two humans vs. a human and a state-of-the-art chatbot (i.e., Blender by Facebook). A human evaluation of these generated conversations indicates a preference for human-human conversations, since the human-chatbot conversations lack coherence in most speech event categories. Based on these results, we suggest (a) using the term "small talk" instead of "open-domain" for the current chatbots which are not that "open" in terms of conversational abilities yet, and (b) revising the evaluation methods to test the chatbot conversations against other speech events.


title: Generalized non-unitary Haagerup-Izumi modular data from 3D S-fold SCFTs

abstract: By applying the recently proposed (3D rank-0 $\mathcal{N}$=4 SCFT)/(non-unitary TQFTs) correspondence to S-fold SCFTs, we construct an exotic class of non-unitary TQFTs labelled by an integer $k\geq 3$. The SCFTs are obtained by gauging diagonal $SU(2)$ subgroup of $T[SU(2)]$ theory with Chern-Simons level $k$. We give the explicit expression for modular data, $S$ and $T$ matrices, of the TQFTs. When $k=4m^2+4m+3$ with an integer $m\geq 1$, the modular data (modulo a decoupled semion) is identical to a non-unitary Haagerup-Izumi modular data. Thus, we give a physical realization of the exotic non-unitary modular data as well as its generalization using an exotic class of SCFTs.


title: Increasing stability of the first order linearized inverse Schr\"{o}dinger potential problem with integer power type nonlinearities

abstract: We investigate the increasing stability of the inverse Schr\"{o}dinger potential problem with integer power type nonlinearities at a large wavenumber. By considering the first order linearized system with respect to the unknown potential function, a combination formula of the first order linearization is proposed, which provides a Lipschitz type stability for the recovery of the Fourier coefficients of the unknown potential function in low frequency mode. These stability results highlight the advantage of nonlinearity in solving this inverse potential problem by explicitly quantifying the dependence to the wavenumber and the nonlinearities index. A reconstruction algorithm for general power type nonlinearities is also provided. Several numerical examples illuminate the efficiency of our proposed algorithm.


title: Schwarzian derivative for convex mappings of order alpha

abstract: The main purpose of this paper is to obtain sharp bounds of the norm of Schwarzian derivative for convex mappings of order $alpha$ in terms of the value of $f''(0)$, in particular, when this quantity is equal to zero. In addition, we obtain sharp bounds for distortion and growth for this mappings and we generalized the results obtained by Suita and Yamashita for this particular case.


title: More comprehensive facial inversion for more effective expression recognition

abstract: Facial expression recognition (FER) plays a significant role in the ubiquitous application of computer vision. We revisit this problem with a new perspective on whether it can acquire useful representations that improve FER performance in the image generation process, and propose a novel generative method based on the image inversion mechanism for the FER task, termed Inversion FER (IFER). Particularly, we devise a novel Adversarial Style Inversion Transformer (ASIT) towards IFER to comprehensively extract features of generated facial images. In addition, ASIT is equipped with an image inversion discriminator that measures the cosine similarity of semantic features between source and generated images, constrained by a distribution alignment loss. Finally, we introduce a feature modulation module to fuse the structural code and latent codes from ASIT for the subsequent FER work. We extensively evaluate ASIT on facial datasets such as FFHQ and CelebA-HQ, showing that our approach achieves state-of-the-art facial inversion performance. IFER also achieves competitive results in facial expression recognition datasets such as RAF-DB, SFEW and AffectNet. The code and models are available at https://github.com/Talented-Q/IFER-master.


title: Purity decay rate in random circuits with different configurations of gates

abstract: We study purity decay -- a measure of bipartite entanglement -- in a chain of $n$ qubits under the action of various geometries of nearest-neighbor random two-site unitary gates. We use a Markov chain description of average purity evolution, using further reduction to obtain a transfer matrix of only polynomial dimension in $n$. In most circuits, an exception being the brick-wall configuration, purity decays to its asymptotic value in two stages: the initial thermodynamically relevant decay persisting up to extensive times is $\sim \lambda_{\mathrm{eff}}^t$, with $\lambda_{\mathrm{eff}}$ not necessarily being in the spectrum of the transfer matrix, while the ultimate asymptotic decay is given by the second largest eigenvalue $\lambda_2$ of the transfer matrix. The effective rate $\lambda_{\mathrm{eff}}$ depends on the location of bipartition boundaries as well as on the geometry of applied gates.


title: Randomized gradient-free methods in convex optimization

abstract: This review presents modern gradient-free methods to solve convex optimization problems. By gradient-free methods, we mean those that use only (noisy) realizations of the objective value. We are motivated by various applications where gradient information is prohibitively expensive or even unavailable. We mainly focus on three criteria: oracle complexity, iteration complexity, and the maximum permissible noise level.


title: Strategyproofness and Proportionality in Party-Approval Multiwinner Elections

abstract: In party-approval multiwinner elections the goal is to allocate the seats of a fixed-size committee to parties based on the approval ballots of the voters over the parties. In particular, each voter can approve multiple parties and each party can be assigned multiple seats. Two central requirements in this setting are proportional representation and strategyproofness. Intuitively, proportional representation requires that every sufficiently large group of voters with similar preferences is represented in the committee. Strategyproofness demands that no voter can benefit by misreporting her true preferences. We show that these two axioms are incompatible for anonymous party-approval multiwinner voting rules, thus proving a far-reaching impossibility theorem. The proof of this result is obtained by formulating the problem in propositional logic and then letting a SAT solver show that the formula is unsatisfiable. Additionally, we demonstrate how to circumvent this impossibility by considering a weakening of strategy\-proofness which requires that only voters who do not approve any elected party cannot manipulate. While most common voting rules fail even this weak notion of strategyproofness, we characterize Chamberlin--Courant approval voting within the class of Thiele rules based on this strategyproofness notion.