title: The regime of applicability of Israel-Stewart hydrodynamics

abstract: Using analytical tools from linear response theory, we systematically assess the accuracy of several microscopic derivations of Israel-Stewart hydrodynamics near local equilibrium. This allows us to "rank" the different approaches in decreasing order of accuracy as follows: Inverse Reynolds Dominance (IReD), Denicol-Niemi-Moln\'ar-Rischke (DNMR), second-order gradient expansion, and 14-moment approximation. We find that IReD theory is far superior to Navier-Stokes, being very accurate both in the asymptotic regime (i.e., for slow processes) and in the transient regime (i.e., on timescales comparable to the relaxation time). Also, the high accuracy of DNMR is confirmed, but neglecting second-order terms in the Knudsen number, which would render the equations parabolic, introduces serious systematic errors. Finally, in most cases, the second-order gradient expansion (a.k.a. non-resummed BRSSS) is found to be more inaccurate than Navier-Stokes in the transient regime. Overall, this analysis shows that Israel-Stewart hydrodynamics is falsifiable, and the relaxation time is observable, shedding new light on the debate on the viability of transient hydrodynamics as a well-defined physical theory distinguished from Navier-Stokes.


title: A Structured Prediction Approach for Robot Imitation Learning

abstract: We propose a structured prediction approach for robot imitation learning from demonstrations. Among various tools for robot imitation learning, supervised learning has been observed to have a prominent role. Structured prediction is a form of supervised learning that enables learning models to operate on output spaces with complex structures. Through the lens of structured prediction, we show how robots can learn to imitate trajectories belonging to not only Euclidean spaces but also Riemannian manifolds. Exploiting ideas from information theory, we propose a class of loss functions based on the f-divergence to measure the information loss between the demonstrated and reproduced probabilistic trajectories. Different types of f-divergence will result in different policies, which we call imitation modes. Furthermore, our approach enables the incorporation of spatial and temporal trajectory modulation, which is necessary for robots to be adaptive to the change in working conditions. We benchmark our algorithm against state-of-the-art methods in terms of trajectory reproduction and adaptation. The quantitative evaluation shows that our approach outperforms other algorithms regarding both accuracy and efficiency. We also report real-world experimental results on learning manifold trajectories in a polishing task with a KUKA LWR robot arm, illustrating the effectiveness of our algorithmic framework.


title: GALAXY CRUISE: Spiral and ring classifications for bright galaxies at z=0.01-0.3

abstract: This paper presents a morphology classification catalog of spiral and ring features of 59,854 magnitude-limited galaxies ($r<17.8$ mag, and additional 628,005 subsamples down to $r=20$ mag) at $z=0.01-0.3$ based on the Third Public Data Release of the Hyper Suprime-Cam Subaru Strategic Program. We employ two deep learning classifiers to determine the spiral and ring structures separately based on GALAXY CRUISE Data Release 1, which is dedicated to Hyper Suprime-Cam data. The number of spiral and ring galaxies contain 31,864 and 8,808 sources, respectively, which constitute 53\% and 15\% of the sample. A notable result of this study is the construction of a large sample of ring galaxies utilizing high-quality imaging data delivered by the Subaru Hyper Suprime-Cam. However, the accurate identification of ring galaxies remains difficult at a limited seeing resolution. Additionally, we confirm that most spiral galaxies are located on the star-forming main sequence, whereas ring galaxies preferentially reside in the green valley at stellar mass of $10^{10.5}-10^{11}$ solar mass. Furthermore, decreasing fractions of spiral and ring galaxies are observed toward the centers of the galaxy clusters. The obtained morphology catalog is publicly available on the GALAXY CRUISE website.


title: Comparison of $\bar{\hbox{N}}\hbox{N}$ optical models

abstract: We compare the strong part of the $\bar{\hbox{N}}\hbox{N}$ interaction obtained by the Nijmegen partial wave analysis and the results of some of the most popular $\bar{\hbox{N}}\hbox{N}$ optical potentials in configuration space. We have found severe discrepancies in most of the partial waves, especially above $p_{Lab}$=400 MeV/c where the partial wave analysis displays a resonant-like structure in the $^{31}$S$_0$ and $^{33}$P$_0$ waves. Some theoretical difficulties to interpret this behaviour in terms of dynamical resonances are pointed pout and an alternative explanation is suggested. A much better stability is observed in the low energy parameters, apart from some discrepancies due to the presence of near-threshold quasi-bound states in particular waves. Large deviations have also been found between the corresponding potentials, at short and medium-range ($r\gtrsim 1$ fm) distances.

categories: nucl-th hep-ex hep-ph nucl-ex physics.atom-ph


title: Aerodynamic performance and flow mechanism of 3D flapping wing using discrete vortex method

abstract: In this work, we have performed numerical simulations of the flapping motion of a rectangular wing in a three-dimensional flow field using the discrete vortex method (DVM). The DVM method is computationally more convenient because it does not require the generation of a grid for the flow field at each time step as in other conventional simulation methods. In addition to the rigid wing case, the aerodynamic characteristics of a deformable wing are also investigated. The deformable wing is studied in various configurations, such as bending, twisting, and bending-twisting coupling (BTC). The investigation of all four modes involves a detailed analysis of the flow mechanisms and vortex dynamics, which play a crucial role in influencing the aerodynamic forces, namely lift and thrust. The study aims to understand how these flow patterns change under different operating conditions and how these changes impact the generation of lift and thrust. The lift, thrust, and propulsive efficiency of all four modes are compared to provide a detailed understanding of their aerodynamic characteristics. The bent wing showed more lift compared to the rigid wing, but minimal improvements in thrust. In contrast, the twisted wing showed greater improvements in both lift and thrust. The BTC wing proves to be the most efficient method to improve aerodynamic performance during flapping. The parametric dependence of kinematic parameters such as asymmetric ratio (downstroke speed to upstroke speed), aspect ratio and reduced frequency on the aerodynamic performance was also investigated.


title: Rapidity distribution of pseudo-scalar Higgs boson to $\rm{\textbf{NNLO}_A+\overline{\textbf {NNLL}}}$

abstract: We present the differential predictions for the rapidity distribution of pseudo-scalar Higgs boson through gluon fusion at the LHC. These results are obtained taking into account the soft-virtual (SV) as well as the next-to-soft virtual (NSV) resummation effects to next-to-next-to-leading-logarithmic ($\rm{\overline{NNLL}}$) accuracy and matching them to the approximate fixed order next-to-next-to-leading-order ($\rm{NNLO_A}$) computation. We perform the resummation in two dimensional Mellin space using our recent formalism \cite{Ajjath:2020lwb} by limiting ourselves to the contributions only from gluon-gluon ($gg$) initiated channels. The $\rm{NNLO_A}$ rapidity distribution of pseudo-scalar Higgs is obtained by applying a ratio method on the NNLO rapidity distribution of the scalar Higgs boson. We also present the first analytical results of $\rm{N^3LO}$ rapidity distribution of pseudo-scalar Higgs at SV+NSV accuracy. The phenomenological impacts of $\rm{{NNLO}_A+\overline{{NNLL}}}$ predictions for 13 TeV LHC are studied. We observe that, for $m_A$ =125(700) GeV, the SV+NSV resummation at $\rm{ \overline{NNLL}}$ level brings about 14.76\% (11.48\%) corrections to the $\rm{NNLO}_A$ results at the central scale value of $\mu_R=\mu_F=m_A$. Further, we find that the sensitivity to the renormalisation scale gets improved substantially by the inclusion of NSV resummed predictions at $\rm \overline{NNLL}$ accuracy.


title: Leveraging Datapath Propagation in IC3 for Hardware Model Checking

abstract: IC3 is a famous bit-level framework for safety verification. By incorporating datapath abstraction, a notable enhancement in the efficiency of hardware verification can be achieved. However, datapath abstraction entails a coarse level of abstraction where all datapath operations are approximated as uninterpreted functions. This level of abstraction, albeit useful, can lead to an increased computational burden during the verification process as it necessitates extensive exploration of redundant abstract state space. In this paper, we introduce a novel approach called datapath propagation. Our method involves leveraging concrete constant values to iteratively compute the outcomes of relevant datapath operations and their associated uninterpreted functions. Meanwhile, we generate potentially useful datapath propagation lemmas in abstract state space and tighten the datapath abstraction. With this technique, the abstract state space can be reduced, and the verification efficiency is significantly improved. We implemented the proposed approach and conducted extensive experiments. The results show promising improvements of our approach compared to the state-of-the-art verifiers.


title: A Partially Feasible Distributed SQO Method for Two-block General Linearly Constrained Smooth Optimization

abstract: This paper discusses a class of two-block smooth large-scale optimization problems with both linear equality and linear inequality constraints, which have a wide range of applications, such as economic power dispatch, data mining, signal processing, etc.Our goal is to develop a novel partially feasible distributed (PFD) sequential quadratic optimization (SQO) method (PFD-SQO method) for this kind of problems. The design of the method is based on the ideas of SQO method and augmented Lagrangian Jacobian splitting scheme as well as feasible direction method,which decomposes the quadratic optimization (QO) subproblem into two small-scale QOs that can be solved independently and parallelly. A novel disturbance contraction term that can be suitably adjusted is introduced into the inequality constraints so that the feasible step size along the search direction can be increased to 1. The new iteration points are generated by the Armijo line search and the partially augmented Lagrangian function that only contains equality constraints as the merit function. The iteration points always satisfy all the inequality constraints of the problem. The theoretical properties, such as global convergence, iterative complexity, superlinear and quadratic rates of convergence of the proposed PFD-SQO method are analyzed under appropriate assumptions, respectively. Finally, the numerical effectiveness of the method is tested on a class of academic examples and an economic power dispatch problem, which shows that the proposed method is quite promising.


title: On a class of solvable stationary non equilibrium states for mass exchange models

abstract: We consider a family of models having an arbitrary positive amount of mass on each site and randomly exchanging an arbitrary amount of mass with nearest neighbor sites. We restrict to the case of diffusive models. We identify a class of reversible models for which the product invariant measure is known and the gradient condition is satisfied so that we can explicitly compute the transport coefficients associated to the diffusive hydrodynamic rescaling. Based on the Macroscopic Fluctuation Theory \cite{mft} we have that the large deviations rate functional for a stationary non equilibrium state can be computed solving a Hamilton-Jacobi equation depending only on the transport coefficients and the details of the boundary sources. Thus, we are able to identify a class of models having transport coefficients for which the Hamilton-Jacobi equation can indeed be solved. We give a complete characterization in the case of generalized zero range models and discuss several other cases. For the generalized zero range models we identify a class of discrete models that, modulo trivial extensions, coincides with the class discussed in \cite{FG} and a class of continuous dynamics that coincides with the class in \cite{FFG}. Along the discussion we obtain a complete characterization of reversible misanthrope processes solving the discrete equations in \cite{CC}.

categories: cond-mat.stat-mech math-ph math.MP math.PR


title: Realtime Motion Generation with Active Perception Using Attention Mechanism for Cooking Robot

abstract: To support humans in their daily lives, robots are required to autonomously learn, adapt to objects and environments, and perform the appropriate actions. We tackled on the task of cooking scrambled eggs using real ingredients, in which the robot needs to perceive the states of the egg and adjust stirring movement in real time, while the egg is heated and the state changes continuously. In previous works, handling changing objects was found to be challenging because sensory information includes dynamical, both important or noisy information, and the modality which should be focused on changes every time, making it difficult to realize both perception and motion generation in real time. We propose a predictive recurrent neural network with an attention mechanism that can weigh the sensor input, distinguishing how important and reliable each modality is, that realize quick and efficient perception and motion generation. The model is trained with learning from the demonstration, and allows the robot to acquire human-like skills. We validated the proposed technique using the robot, Dry-AIREC, and with our learning model, it could perform cooking eggs with unknown ingredients. The robot could change the method of stirring and direction depending on the status of the egg, as in the beginning it stirs in the whole pot, then subsequently, after the egg started being heated, it starts flipping and splitting motion targeting specific areas, although we did not explicitly indicate them.


title: Emphasized Non-Target Speaker Knowledge in Knowledge Distillation for Automatic Speaker Verification

abstract: Knowledge distillation (KD) is used to enhance automatic speaker verification performance by ensuring consistency between large teacher networks and lightweight student networks at the embedding level or label level. However, the conventional label-level KD overlooks the significant knowledge from non-target speakers, particularly their classification probabilities, which can be crucial for automatic speaker verification. In this paper, we first demonstrate that leveraging a larger number of training non-target speakers improves the performance of automatic speaker verification models. Inspired by this finding about the importance of non-target speakers' knowledge, we modified the conventional label-level KD by disentangling and emphasizing the classification probabilities of non-target speakers during knowledge distillation. The proposed method is applied to three different student model architectures and achieves an average of 13.67% improvement in EER on the VoxCeleb dataset compared to embedding-level and conventional label-level KD methods.


title: Application of the optimised next neighbour image cleaning method to the VERITAS array

abstract: Imaging atmospheric Cherenkov telescopes, such as the VERITAS array, are subject to the Night Sky Background (NSB) and electronic noise, which contribute to the total signal of pixels in the telescope camera. The contribution of noise photons in event images is reduced with the application of image cleaning methods. Conventionally, high thresholds must be employed to ensure the removal of pixels containing noise signal. On that account, low-energy gamma-ray showers might be suppressed during the cleaning. We present here the application of an optimised next neighbour image cleaning for the VERITAS array. With this technique, differential noise rates are estimated for each individual observation and thus changes in the NSB and afterpulsing are consistently being accounted for. We show that this method increases the overall rate of reconstructed gamma-rays, lowers the energy threshold of the array and allows the reconstruction of low energy (E > 70 GeV) source events which were suppressed by the conventional cleaning method.


title: A note on OEIS sequence A111384

abstract: $A111384(n)$ is an upper bound for the number of primes that can be written as a sum of three distinct primes selected from a set of $n$ primes. Is this bound sharp?


title: Towards a Neuronally Consistent Ontology for Robotic Agents

abstract: The Collaborative Research Center for Everyday Activity Science & Engineering (CRC EASE) aims to enable robots to perform environmental interaction tasks with close to human capacity. It therefore employs a shared ontology to model the activity of both kinds of agents, empowering robots to learn from human experiences. To properly describe these human experiences, the ontology will strongly benefit from incorporating characteristics of neuronal information processing which are not accessible from a behavioral perspective alone. We, therefore, propose the analysis of human neuroimaging data for evaluation and validation of concepts and events defined in the ontology model underlying most of the CRC projects. In an exploratory analysis, we employed an Independent Component Analysis (ICA) on functional Magnetic Resonance Imaging (fMRI) data from participants who were presented with the same complex video stimuli of activities as robotic and human agents in different environments and contexts. We then correlated the activity patterns of brain networks represented by derived components with timings of annotated event categories as defined by the ontology model. The present results demonstrate a subset of common networks with stable correlations and specificity towards particular event classes and groups, associated with environmental and contextual factors. These neuronal characteristics will open up avenues for adapting the ontology model to be more consistent with human information processing.


title: Kappa classes on KSBA spaces

abstract: We define kappa classes on moduli spaces of KSBA stable varieties and pairs, generalizing the Miller-Morita-Mumford classes on moduli of curves, and compute them in some cases where the virtual fundamental class is known to exist, including Burniat and Campedelli surfaces. For Campedelli surfaces, an intermediate step is finding the Chow (same as cohomology) ring of the GIT quotient $(\mathbb P^2)^7//SL(3)$.


title: $t\bar{t}jj$ -- NLO QCD corrections to top quark pair production and decays at the LHC

abstract: In these proceedings we present the calculation of NLO QCD corrections to $pp\to t\bar{t}jj$ in the dilepton decay channel. The narrow width approximation is used to model the decays of the top quark pair preserving spin correlations. Jet radiation and QCD corrections are consistently included in the production and decay of the top quarks. We discuss the size of NLO QCD corrections and the main theoretical uncertainties of fiducial cross sections at the integrated and differential level. In addition, we examine the contributions of jet radiation in the production and decay of the top-quark pair, as well as of a mixed configuration where jet radiation is present simultaneously in the production and decay stages.


title: Importance profiles. Visualization of atomic basis set requirements

abstract: Recent developments in fully numerical methods promise interesting opportunities for new, compact atomic orbital (AO) basis sets that maximize the overlap to fully numerical reference wave functions, following the pioneering work of Richardson and coworkers from the early 1960s. Motivated by this technique, we suggest a way to visualize the importance of AO basis functions employing fully numerical wave functions computed at the complete basis set (CBS) limit: the importance of a normalized AO basis function $|\alpha\rangle$ centered on some nucleus can be visualized by projecting $|\alpha\rangle$ on the set of numerically represented occupied orbitals $|\psi_{i}\rangle$ as $I_{0}(\alpha)=\sum_{i}\langle\alpha|\psi_{i}\rangle\langle\psi_{i}|\alpha\rangle$. Choosing $\alpha$ to be a continuous parameter describing the orbital basis, such as the exponent of a Gaussian-type orbital (GTO) or Slater-type orbital (STO) basis function, one is then able to visualize the importance of various functions. The proposed visualization $I_{0}(\alpha)$ has the important property $0\leq I_{0}(\alpha)\leq1$ which allows unambiguous interpretation. We also propose a straightforward generalization of the importance profile for polyatomic appliations $I(\alpha)$, in which the importance of a test function $|\alpha\rangle$ is measured as the increase in projection from the atomic minimal basis. We exemplify the methods with importance profiles computed for atoms from the first three rows, and for a set of chemically diverse diatomic molecules. We find that the importance profile offers a way to visualize the atomic basis set requirements for a given system in an a priori manner, provided that a fully numerical reference wave function is available.


title: Graph Neural Network Based Method for Path Planning Problem

abstract: Sampling-based path planning is a widely used method in robotics, particularly in high-dimensional state space. Among the whole process of the path planning, collision detection is the most time-consuming operation. In this paper, we propose a learning-based path planning method that aims to reduce the number of collision detection. We develop an efficient neural network model based on Graph Neural Networks (GNN) and use the environment map as input. The model outputs weights for each neighbor based on the input and current vertex information, which are used to guide the planner in avoiding obstacles. We evaluate the proposed method's efficiency through simulated random worlds and real-world experiments, respectively. The results demonstrate that the proposed method significantly reduces the number of collision detection and improves the path planning speed in high-dimensional environments.


title: Supersonic: Learning to Generate Source Code Optimizations in C/C++

abstract: Software optimization refines programs for resource efficiency while preserving functionality. Traditionally, it is a process done by developers and compilers. This paper introduces a third option, automated optimization at the source code level. We present Supersonic, a neural approach targeting minor source code modifications for optimization. Using a seq2seq model, Supersonic is trained on C/C++ program pairs ($x_{t}$, $x_{t+1}$), where $x_{t+1}$ is an optimized version of $x_{t}$, and outputs a diff. Supersonic's performance is benchmarked against OpenAI's GPT-3.5-Turbo and GPT-4 on competitive programming tasks. The experiments show that Supersonic not only outperforms both models on the code optimization task but also minimizes the extent of the change with a model more than 600x smaller than GPT-3.5-Turbo and 3700x smaller than GPT-4.


title: Rydberg-atom graphs for quadratic unconstrained binary optimization problems

abstract: There is a growing interest in harnessing the potential of the Rydberg-atom system to address complex combinatorial optimization challenges. Here we present an experimental demonstration of how the quadratic unconstrained binary optimization (QUBO) problem can be effectively addressed using Rydberg-atom graphs. The Rydberg-atom graphs are configurations of neutral atoms organized into mathematical graphs, facilitated by programmable optical tweezers, and designed to exhibit many-body ground states that correspond to the maximum independent set (MIS) of their respective graphs. We have developed four elementary Rydberg-atom subgraph components, not only to eliminate the need of local control but also to be robust against interatomic distance errors, while serving as the building blocks sufficient for formulating generic QUBO graphs. To validate the feasibility of our approach, we have conducted a series of Rydberg-atom experiments selected to demonstrate proof-of-concept operations of these building blocks. These experiments illustrate how these components can be used to programmatically encode the QUBO problems to Rydberg-atom graphs and, by measuring their many-body ground states, how their QUBO solutions are determined subsequently.


title: Polytopality of simple games

abstract: The Bier sphere $Bier(\mathcal{G}) = Bier(K) = K\ast_\Delta K^\circ$ and the canonical fan $Fan(\Gamma) = Fan(K)$ are combinatorial/geometric companions of a simple game $\mathcal{G} = (P,\Gamma)$ (equivalently the associated simplicial complex $K$), where $P$ is the set of players, $\Gamma\subseteq 2^P$ is the set of wining coalitions, and $K = 2^P\setminus \Gamma$ is the simplicial complex of losing coalitions. We characterize roughly weighted majority games as the games $\Gamma$ such that $Bier(\mathcal{G})$ (respectively $Fan(\Gamma)$) is canonically polytopal (canonically pseudo-polytopal) and show, by an experimental/theoretical argument, that all simple games with at most five players are polytopal.


title: Numerical study of fractional Camassa-Holm equations

abstract: A numerical study of fractional Camassa-Holm equations is presented. Smooth solitary waves are constructed numerically. Their stability is studied as well as the long time behavior of solutions for general localised initial data from the Schwartz class of rapidly decreasing functions. The appearence of dispersive shock waves is explored.


title: On character table of Clifford groups

abstract: Based on a presentation of $\mathcal{C}_n$ and the help of [GAP], we construct the character table of the Clifford group $\mathcal{C}_n$ for $n=1,2,3$. As an application, we can efficiently decompose the (higher power of) tensor product of the matrix representation in those cases. Our results recover some known results in [HWW, WF] and reveal some new phenomena. We prove that when $n \geq 3$, (1) the trivial character is the only linear character for $\mathcal{C}_n$ and hence $\mathcal{C}_n$ equals to its commutator subgroup, (2) the $n$-qubit Pauli group $\mathcal{P}_n$ is the only proper non-trivial normal subgroup of $\mathcal{C}_n$, (3) the matrix representation $\mathcal{M}_{2^n}$ is a faithful representation for $\mathcal{C}_n$. As a byproduct, we give a presentation of the finite symplectic group $Sp(2n,2)$ in terms of generators and relations.


title: Doped Holographic Superconductors in Gubser-Rocha model

abstract: We construct a doped holographic superconductor in the Gubser-Rocha model, and realize a superconducting dome in the middle of the temperature-doping phase diagram. It is worth noting that unlike the previous researches, the profile of our dome shrinks inward near zero temperature. From the numerical observation for the coupling dependence of the phase diagram, we find that the coupling between the two gauge fields plays a crucial role in the formation of dome. We also analytically calculate the DC conductivity of the normal phase of the system in the momentum dissipation and obtain the resistivity which is proportional to temperature. The AC conductivity is calculated numerically.

categories: hep-th cond-mat.str-el cond-mat.supr-con gr-qc


title: Influence of the optical Fe II quasi-continuum on measuring the spectral parameters of active galactic nuclei

abstract: We explore the influence of optical Fe II quasi-continuum on the measured spectral parameters in the 4150-5500 A range for the spectra of Type 1 active galactic nuclei (AGNs). We assume that the broad line region is composed of two sub-regions: the very broad line region (VBLR) and the intermediate line region (ILR). We constructed a large set of synthetic AGN spectra by taking different portions of the VBLR and ILR contributions, where initially the VBLR and ILR model spectra were constructed on the basis of prototypes of two observed spectra with dominant VBLR (i.e. ILR) emission. To investigate the influence of the optical Fe II quasi-continuum on the AGN measured spectral parameters, we fit the power-law continuum and emission lines in a set of model spectra, as commonly done for observed AGN spectra. We then compared the spectral parameters obtained after the fitting procedure with those of the model. We find that the optical Fe II quasi-continuum can be very strong in the case of spectra with strong and very broad Fe II lines and it is difficult to fully separate it from the power-law continuum. This gives the effect of a slightly underestimated H$\beta$ width and underestimated fluxes of the H$\beta$ and Fe II lines, while the continuum flux is then slightly overestimated. The most affected spectral parameters are the line equivalent widths (EWs), especially EW Fe II, which may be strongly underestimated. We discuss the possible underlying physics in the quasar main sequence, as implied by the results of our spectral modelling. We find that the set of AGN model spectra assuming different ILR and VBLR contributions can aptly reproduce the quasar main sequence, that is, the full width at half maximum (FWHM) H$\beta$ versus Fe II/H$\beta$ anti-correlation, where both parameters in this anti-correlation are strongly dependent on the ILR and VBLR contribution rate.


title: Unipotent Representations of Complex Groups and Extended Sommers Duality

abstract: Let $G$ be a complex reductive algebraic group. In arXiv:2108.03453, we have defined a finite set of irreducible admissible representations of $G$ called `unipotent representations', generalizing the special unipotent representations of Arthur and Barbasch-Vogan. These representations are defined in terms of filtered quantizations of symplectic singularities and are expected to form the building blocks of the unitary dual of $G$. In this paper, we provide a description of these representations in terms of the Langlands dual group $G^{\vee}$. To this end, we construct a duality map $D$ from the set of pairs $(\mathbb{O}^{\vee},\bar{C})$ consisting of a nilpotent orbit $\mathbb{O}^{\vee} \subset \mathfrak{g}^{\vee}$ and a conjugacy class $\bar{C}$ in Lusztig's canonical quotient $\bar{A}(\mathbb{O}^{\vee})$ to the set of finite covers of nilpotent orbits in $\mathfrak{g}^*$.


title: Rolling Stiefel manifolds equipped with $\alpha$-metrics

abstract: We discuss the rolling, without slip and without twist, of Stiefel manifolds equipped with $\alpha$-metrics, from an intrinsic and an extrinsic point of view. We, however, start with a more general perspective, namely by investigating intrinsic rolling of normal naturally reductive homogeneous spaces. This gives evidence why a seemingly straightforward generalization of intrinsic rolling of symmetric spaces to normal naturally reductive homogeneous spaces is not possible, in general. For a given control curve, we derive a system of explicit time-variant ODEs whose solutions describe the desired rolling. These findings are applied to obtain the intrinsic rolling of Stiefel manifolds, which is then extended to an extrinsic one. Moreover, explicit solutions of the kinematic equations are obtained provided that the development curve is the projection of a not necessarily horizontal one-parameter subgroup. In addition, our results are put into perspective with examples of rolling Stiefel manifolds known from the literature.


title: A New Two-dimensional Model-based Subspace Method for Large-scale Unconstrained Derivative-free Optimization: 2D-MoSub

abstract: This paper proposes the method 2D-MoSub (2-dimensional model-based subspace method), which is a novel derivative-free optimization (DFO) method based on the subspace method for general unconstrained optimization and especially aims to solve large-scale DFO problems. Our method combines 2-dimensional quadratic interpolation models and trust-region techniques to iteratively update the points and explore the 2-dimensional subspace. Its framework includes initialization, constructing the interpolation set, building the quadratic interpolation model, performing trust-region trial steps, and updating the trust-region radius and subspace. We introduce the framework and computational details of 2D-MoSub, and discuss the poisedness and quality of the interpolation set in the corresponding 2-dimensional subspace. We also analyze some properties of our method, including the model's approximation error with projection property and the algorithm's convergence. Numerical results demonstrate the effectiveness and efficiency of 2D-MoSub for solving a variety of unconstrained optimization problems.


title: PTPerf: On the performance evaluation of Tor Pluggable Transports

abstract: Tor, one of the most popular censorship circumvention systems, faces regular blocking attempts by censors. Thus, to facilitate access, it relies on "pluggable transports" (PTs) that disguise Tor's traffic and make it hard for the adversary to block Tor. However, these are not yet well studied and compared for the performance they provide to the users. Thus, we conduct a first comparative performance evaluation of a total of 12 PTs -- the ones currently supported by the Tor project and those that can be integrated in the future. Our results reveal multiple facets of the PT ecosystem. (1) PTs' download time significantly varies even under similar network conditions. (2) All PTs are not equally reliable. Thus, clients who regularly suffer censorship may falsely believe that such PTs are blocked. (3) PT performance depends on the underlying communication primitive. (4) PTs performance significantly depends on the website access method (browser or command-line). Surprisingly, for some PTs, website access time was even less than vanilla Tor. Based on our findings from more than 1.25M measurements, we provide recommendations about selecting PTs and believe that our study can facilitate access for users who face censorship.


title: Cluster Exploration using Informative Manifold Projections

abstract: Dimensionality reduction (DR) is one of the key tools for the visual exploration of high-dimensional data and uncovering its cluster structure in two- or three-dimensional spaces. The vast majority of DR methods in the literature do not take into account any prior knowledge a practitioner may have regarding the dataset under consideration. We propose a novel method to generate informative embeddings which not only factor out the structure associated with different kinds of prior knowledge but also aim to reveal any remaining underlying structure. To achieve this, we employ a linear combination of two objectives: firstly, contrastive PCA that discounts the structure associated with the prior information, and secondly, kurtosis projection pursuit which ensures meaningful data separation in the obtained embeddings. We formulate this task as a manifold optimization problem and validate it empirically across a variety of datasets considering three distinct types of prior knowledge. Lastly, we provide an automated framework to perform iterative visual exploration of high-dimensional data.


title: Timing properties of the X-ray accreting pulsar RX J0440.9+4431 studied with Insight-HXMT and NICER

abstract: RX J0440.9+4431, a Be/X-ray binary, had its brightest outburst in 2022 since its discovery, with a peak X-ray flux of 2.25 Crab (as recorded by Swift/BAT, 15-50 keV). We analyze the timing properties of this giant outburst using data from Insight-HXMT and NICER, focusing on the evolution of the pulse profile and pulse fraction. We observe that when the luminosity reached around ~ 3*10^{37} er s^{-1}, a transition from double-peaked to single-peaked pulse profiles occurred across the energy range, with the peak of the low-energy profile aligning gradually with the peak of the high-energy profile. This change indicates a transition from subcritical to supercritical accretion. Additionally, we found a concave in the pulse fraction as a function of energy around 20-30 keV throughout the entire outburst period. Compared to the low luminosity, the concave becomes weaker in high luminosities, and overall, the pulse fraction is higher. We propose that this concave could be caused by the scattering of high-energy photons by the atmosphere of a neutron star, leading to a dilution of the pulse fraction. As the accretion reaches the supercritical state, the accretion column height increases, resulting in a larger direct component of strongly beamed X-ray flux, and an elevated pulse fraction.


title: Navigating Text-To-Image Customization: From LyCORIS Fine-Tuning to Model Evaluation

abstract: Text-to-image generative models have garnered immense attention for their ability to produce high-fidelity images from text prompts. Among these, Stable Diffusion distinguishes itself as a leading open-source model in this fast-growing field. However, the intricacies of fine-tuning these models pose multiple challenges from new methodology integration to systematic evaluation. Addressing these issues, this paper introduces LyCORIS (Lora beYond Conventional methods, Other Rank adaptation Implementations for Stable diffusion) [https://github.com/KohakuBlueleaf/LyCORIS], an open-source library that offers a wide selection of fine-tuning methodologies for Stable Diffusion. Furthermore, we present a thorough framework for the systematic assessment of varied fine-tuning techniques. This framework employs a diverse suite of metrics and delves into multiple facets of fine-tuning, including hyperparameter adjustments and the evaluation with different prompt types across various concept categories. Through this comprehensive approach, our work provides essential insights into the nuanced effects of fine-tuning parameters, bridging the gap between state-of-the-art research and practical application.


title: A Wearable Robotic Hand for Hand-over-Hand Imitation Learning

abstract: Dexterous manipulation through imitation learning has gained significant attention in robotics research. The collection of high-quality expert data holds paramount importance when using imitation learning. The existing approaches for acquiring expert data commonly involve utilizing a data glove to capture hand motion information. However, this method suffers from limitations as the collected information cannot be directly mapped to the robotic hand due to discrepancies in their degrees of freedom or structures. Furthermore,it fails to accurately capture force feedback information between the hand and objects during the demonstration process. To overcome these challenges, this paper presents a novel solution in the form of a wearable dexterous hand, namely Hand-over-hand Imitation learning wearable RObotic Hand (HIRO Hand),which integrates expert data collection and enables the implementation of dexterous operations. This HIRO Hand empowers the operator to utilize their own tactile feedback to determine appropriate force, position, and actions, resulting in more accurate imitation of the expert's actions. We develop both non-learning and visual behavior cloning based controllers allowing HIRO Hand successfully achieves grasping and in-hand manipulation ability.


title: Seafloor Classification based on an AUV Based Sub-bottom Acoustic Probe Data for Mn-crust survey

abstract: The possibility of automatically classifying high frequency sub-bottom acoustic reflections collected from an Autonomous Underwater Robot is investigated in this paper. In field surveys of Cobalt-rich Manganese Crusts (Mn-crusts), existing methods relies on visual confirmation of seafloor from images and thickness measurements using the sub-bottom probe. Using these visual classification results as ground truth, an autoencoder is trained to extract latent features from bundled acoustic reflections. A Support Vector Machine classifier is then trained to classify the latent space to idetify seafloor classes. Results from data collected from seafloor at 1500m deep regions of Mn-crust showed an accuracy of about 70%.


title: Embedding dimension gaps in sparse codes

abstract: We study the open and closed embedding dimensions of a convex 3-sparse code $\mathcal{FP}$, which records the intersection pattern of lines in the Fano plane. We show that the closed embedding dimension of $\mathcal{FP}$ is three, and the open embedding dimension is between four and six, providing the first example of a 3-sparse code with closed embedding dimension three and differing open and closed embedding dimensions. We also investigate codes whose canonical form is quadratic, i.e. ``degree two" codes. We show that such codes are realizable by axis-parallel boxes, generalizing a recent result of Zhou on inductively pierced codes. We pose several open questions regarding sparse and low-degree codes. In particular, we conjecture that the open embedding dimension of certain 3-sparse codes derived from Steiner triple systems grows to infinity.


title: Automated analysis of oscillations in coronal bright points

abstract: Coronal bright points (BPs) are numerous, bright, small-scale dynamical features found in the solar corona. Bright points have been observed to exhibit intensity oscillations across a wide range of periodicities and are likely an important signature of plasma heating and/or transport mechanisms. We present a novel and efficient wavelet-based method that automatically detects and tracks the intensity evolution of BPs using images from the Atmospheric Imaging Assembly (AIA) on board the Solar Dynamics Observatory (SDO) in the 193\r{A} bandpass. Through the study of a large, statistically significant set of BPs, we attempt to place constraints on the underlying physical mechanisms. We used a continuous wavelet transform (CWT) in 2D to detect the BPs within images. One-dimensional CWTs were used to analyse the individual BP time series to detect significant periodicities. We find significant periodicity at 4, 8-10, 17, 28, and 65 minutes. Bright point lifetimes are shown to follow a power law with exponent $-1.13\pm0.07$. The relationship between the BP lifetime and maximum diameter similarly follows a power law with exponent $0.129\pm0.011$. Our wavelet-based method successfully detects and extracts BPs and analyses their intensity oscillations. Future work will expand upon these methods, using larger datasets and simultaneous multi-instrument observations.


title: Symmetry breaking for $\operatorname{PGL}(2)$ over non-archimedean local fields

abstract: For a quadratic extension $\mathbb{E}/\mathbb{F}$ of non-archimedean local fields we construct explicit holomorphic families of intertwining operators between principal series representations of $\operatorname{PGL}(2,\mathbb{E})$ and $\operatorname{PGL}(2,\mathbb{F})$, also referred to as symmetry breaking operators. These families are given in terms of their distribution kernels which can be viewed as distributions on $\mathbb{E}$ depending holomorphically on the principal series parameters. For all such parameters we determine the support of these distributions, and we study their mapping properties. This leads to a classification of all intertwining operators between principal series representations, not necessarily irreducible. As an application, we show that every Steinberg representation of $\operatorname{PGL}(2,\mathbb{E})$ contains a Steinberg representation of $\operatorname{PGL}(2,\mathbb{F})$ as a direct summand of Hilbert spaces.


title: Unsupervised Multi-Person 3D Human Pose Estimation From 2D Poses Alone

abstract: Current unsupervised 2D-3D human pose estimation (HPE) methods do not work in multi-person scenarios due to perspective ambiguity in monocular images. Therefore, we present one of the first studies investigating the feasibility of unsupervised multi-person 2D-3D HPE from just 2D poses alone, focusing on reconstructing human interactions. To address the issue of perspective ambiguity, we expand upon prior work by predicting the cameras' elevation angle relative to the subjects' pelvis. This allows us to rotate the predicted poses to be level with the ground plane, while obtaining an estimate for the vertical offset in 3D between individuals. Our method involves independently lifting each subject's 2D pose to 3D, before combining them in a shared 3D coordinate system. The poses are then rotated and offset by the predicted elevation angle before being scaled. This by itself enables us to retrieve an accurate 3D reconstruction of their poses. We present our results on the CHI3D dataset, introducing its use for unsupervised 2D-3D pose estimation with three new quantitative metrics, and establishing a benchmark for future research.


title: On Dissecting Polygons into Rectangles

abstract: What is the smallest number of pieces that you can cut an n-sided regular polygon into so that the pieces can be rearranged to form a rectangle? Call it r(n). The rectangle may have any proportions you wish, as long as it is a rectangle. The rules are the same as for the classical problem where the rearranged pieces must form a square. Let s(n) denote the minimum number of pieces for that problem. For both problems the pieces may be turned over and the cuts must be simple curves. The conjectured values of s(n), 3 <= n <= 12, are 4, 1, 6, 5, 7, 5, 9, 7, 10, 6. However, only s(4)=1 is known for certain. The problem of finding r(n) has received less attention. In this paper we give constructions showing that r(n) for 3 <= n <= 12 is at most 2, 1, 4, 3, 5, 4, 7, 4, 9, 5, improving on the bounds for s(n) in every case except n=4. For the 10-gon our construction uses three fewer pieces than the bound for s(10). Only r(3) and r(4) are known for certain. We also briefly discuss q(n), the minimum number of pieces needed to dissect a regular n-gon into a monotile.


title: Low-Power Synchronization for Multi-IMU WSNs

abstract: Wireless time synchronization is one of the most important services in a Wireless Sensor Network (WSN). Inertial Measurement Units (IMUs) are often used in these WSNs in healthcare-related treatments. We present a low-power, wirelessly synchronized multi-IMU platform. The proposed approach synchronously captures packets from different IMUs and transmits the data over Bluetooth Low Energy (BLE) to a central Data Capturing Unit (DCU). The contribution of this work is, rather than focussing on the highest possible accuracy, to provide a low-power accurate enough solution for use in a multi-IMU WSN. We examine key factors affecting synchronization accuracy and elaborate on the implementation challenges. An accuracy of sub 1 us can be achieved with the approach using 74.8 J/h of energy, while a power-optimized implementation is presented with an accuracy of 200 us and an energy consumption of only 198 mJ/h. This approach suits the required accuracy and low-power requirements for a multi-IMU system.


title: Cross-Dataset-Robust Method for Blind Real-World Image Quality Assessment

abstract: Although many effective models and real-world datasets have been presented for blind image quality assessment (BIQA), recent BIQA models usually tend to fit specific training set. Hence, it is still difficult to accurately and robustly measure the visual quality of an arbitrary real-world image. In this paper, a robust BIQA method, is designed based on three aspects, i.e., robust training strategy, large-scale real-world dataset, and powerful backbone. First, many individual models based on popular and state-of-the-art (SOTA) Swin-Transformer (SwinT) are trained on different real-world BIQA datasets respectively. Then, these biased SwinT-based models are jointly used to generate pseudo-labels, which adopts the probability of relative quality of two random images instead of fixed quality score. A large-scale real-world image dataset with 1,000,000 image pairs and pseudo-labels is then proposed for training the final cross-dataset-robust model. Experimental results on cross-dataset tests show that the performance of the proposed method is even better than some SOTA methods that are directly trained on these datasets, thus verifying the robustness and generalization of our method.


title: Nuclear Energy Acceptance in Poland: From Societal Attitudes to Effective Policy Strategies -- Network Modeling Approach

abstract: Poland is currently undergoing substantial transformation in its energy sector, and gaining public support is pivotal for the success of its energy policies. We conducted a study with 338 Polish participants to investigate societal attitudes towards various energy sources, including nuclear energy and renewables. Applying a novel network approach, we identified a multitude of factors influencing energy acceptance. Political ideology is the central factor in shaping public acceptance, however we also found that environmental attitudes, risk perception, safety concerns, and economic variables play substantial roles. Considering the long-term commitment associated with nuclear energy and its role in Poland's energy transformation, our findings provide a foundation for improving energy policy in Poland. Our research underscores the importance of policies that resonate with the diverse values, beliefs, and preferences of the population. While the risk-risk trade-off and technology-focused strategies are effective to a degree, we advocate for a more comprehensive approach. The framing strategy, which tailors messages to distinct societal values, shows particular promise.


title: Abstraction boundaries and spec driven development in pure mathematics

abstract: In this article we discuss how abstraction boundaries can help tame complexity in mathematical research, with the help of an interactive theorem prover. While many of the ideas we present here have been used implicitly by mathematicians for some time, we argue that the use of an interactive theorem prover introduces additional qualitative benefits in the implementation of these ideas.


title: Solar Jet Hunter: a citizen science initiative to identify coronal jets in EUV data sets

abstract: Context. Solar coronal jets seen in EUV are ubiquitous on the Sun, have been found in and at the edges of active regions, at the boundaries of coronal holes, and in the quiet Sun. Jets have various shapes, sizes, brightness, velocities and duration in time, which complicates their detection by automated algorithms. So far, solar jets reported in the Heliophysics Event Knowledgebase (HEK) have been mostly reported by humans looking for them in the data, with different levels of precision regarding their timing and positions. Aims. We create a catalogue of solar jets observed in EUV at 304 {\AA} containing precise and consistent information on the jet timing, position and extent. Methods. We designed a citizen science project, "Solar Jet Hunter", on the Zooniverse platform, to analyze EUV observations at 304 {\AA} from the Solar Dynamic Observatory/Atmospheric Imaging Assembly (SDO/AIA). We created movie strips for regions of the Sun in which jets have been reported in HEK and ask the volunteers to 1) confirm the presence of at least one jet in the data and 2) report the timing, position and extent of the jet. Results. We report here the design of the project and the results obtained after the analysis of data from 2011 to 2016. 365 "coronal jet" events from HEK served as input for the citizen science project, equivalent to more than 120,000 images distributed into 9,689 "movie strips". Classification by the citizen scientists resulted with only 21% of the data containing a jet, and 883 individual jets being identified. Conclusions. We demonstrate how citizen science can enhance the analysis of solar data with the example of Solar Jet Hunter. The catalogue of jets thus created is publicly available and will enable statistical studies of jets and related phenomena. This catalogue will also be used as a training set for machines to learn to recognize jets in further data sets.


title: Directional Texture Editing for 3D Models

abstract: Texture editing is a crucial task in 3D modeling that allows users to automatically manipulate the surface materials of 3D models. However, the inherent complexity of 3D models and the ambiguous text description lead to the challenge in this task. To address this challenge, we propose ITEM3D, a \textbf{T}exture \textbf{E}diting \textbf{M}odel designed for automatic \textbf{3D} object editing according to the text \textbf{I}nstructions. Leveraging the diffusion models and the differentiable rendering, ITEM3D takes the rendered images as the bridge of text and 3D representation, and further optimizes the disentangled texture and environment map. Previous methods adopted the absolute editing direction namely score distillation sampling (SDS) as the optimization objective, which unfortunately results in the noisy appearance and text inconsistency. To solve the problem caused by the ambiguous text, we introduce a relative editing direction, an optimization objective defined by the noise difference between the source and target texts, to release the semantic ambiguity between the texts and images. Additionally, we gradually adjust the direction during optimization to further address the unexpected deviation in the texture domain. Qualitative and quantitative experiments show that our ITEM3D outperforms the state-of-the-art methods on various 3D objects. We also perform text-guided relighting to show explicit control over lighting. Our project page: https://shengqiliu1.github.io/ITEM3D.


title: The non-equilibrium solvent response force: What happens if you push a Brownian particle

abstract: In this letter we discuss how to add forces to the Langevin equation. We derive the exact generalized Langevin equation for the dynamics of one particle subject to an external force embedded in a system of many interacting particles. The external force may depend on time and/or on the phase-space coordinates of the system. We construct a projection operator such that the drift coefficient, the memory kernel, and the fluctuating force of the generalized Langevin equation are the same as for the system without external driving. We show that the external force then enters the generalized Langevin equation additively. In addition we obtain one term which, to our knowledge, has up to now been overlooked. We analyze this additional term for an exemplary system.


title: Abstract Formulation of the Spacetime Matching Problem and Null Thin Shells

abstract: The formalism of hypersurface data is a framework to study hypersurfaces of any causal character abstractly (i.e. without the need of viewing them as embedded in an ambient space). In this paper we exploit this formalism to study the general problem of matching two spacetimes in a fully abstract manner, as this turns out to be advantageous over other approaches in several respects. We then concentrate on the case when the boundaries are null and prove that the whole matching is determined by a diffeomorphism $\varphi$ on the abstract data set. By exploiting the gauge structure of the formalism we find explicit expressions for the gravitational/matter-energy content of any null thin shell. The results hold for arbitrary topology. A particular case of interest is when more than one matching is allowed. Assuming that one such matchings has already been solved, we provide explicit expressions for the gravitational/matter-energy content of any other shell in terms of the known one. This situation covers, in particular, all cut-and-paste constructions, where one can simply take as known matching the trivial re-attachment of the two regions. We include, as an example, the most general matching of two regions of the (anti-)de Sitter or Minkowski spacetime across a totally geodesic null hypersurface.


title: Enhanced Channel Estimation in mm-Wave MIMO Systems Leveraging Integrated Communication and Sensing

abstract: This paper tackles the challenge of wideband MIMO channel estimation within indoor millimeter-wave scenarios. Our proposed approach exploits the integrated sensing and communication paradigm, where sensing information aids in channel estimation. The key innovation consists of employing both spatial and temporal sensing modes to significantly reduce the number of required training pilots. Moreover, our algorithm addresses and corrects potential mismatches between sensing and communication modes, which can arise from differing sensing and communication propagation paths. Extensive simulations demonstrate that the proposed method requires 4x less pilots compared to the current state-of-the-art, marking a substantial advancement in channel estimation efficiency.


title: APPRAISE: a governance framework for innovation with AI systems

abstract: As artificial intelligence (AI) systems increasingly impact society, the EU Artificial Intelligence Act (AIA) is the first serious legislative attempt to contain the harmful effects of AI systems. This paper proposes a governance framework for AI innovation. The framework bridges the gap between strategic variables and responsible value creation, recommending audit as an enforcement mechanism. Strategic variables include, among others, organization size, exploration versus exploitation -, and build versus buy dilemmas. The proposed framework is based on primary and secondary research; the latter describes four pressures that organizations innovating with AI experience. Primary research includes an experimental setup, using which 34 organizations in the Netherlands are surveyed, followed up by 2 validation interviews. The survey measures the extent to which organizations coordinate technical elements of AI systems to ultimately comply with the AIA. The validation interviews generated additional in-depth insights and provided root causes. The moderating effect of the strategic variables is tested and found to be statistically significant for variables such as organization size. Relevant insights from primary and secondary research are eventually combined to propose the APPRAISE framework.


title: Explainable Sustainability for AI in the Arts

abstract: AI is becoming increasingly popular in artistic practices, but the tools for informing practitioners about the environmental impact (and other sustainability implications) of AI are adapted for other contexts than creative practices -- making the tools and sustainability implications of AI not accessible for artists and creative practitioners. In this position paper, I describe two empirical studies that aim to develop environmental sustainability reflection systems for AI Arts, and discuss and introduce Explainable Sustainability in for AI Arts.


title: Faraday waves on a bubble Bose-Einstein condensed binary mixture

abstract: By studying the dynamic stability of Bose-Einstein condensed binary mixtures trapped on the surface of an ideal two-dimensional spherical bubble, we show how the Rabi coupling between the species can modulate the interactions leading to parametric resonances. In this spherical geometry, the discrete unstable angular modes drive both phase separations and spatial patterns, with Faraday waves emerging and coexisting with an immiscible phase. Noticeable is the fact that, in the context of discrete kinetic energy spectrum, the only parameters to drive the emergence of Faraday waves are the $s-wave$ contact interactions and the Rabi coupling. Once analytical solutions for population dynamics are obtained, the stability of homogeneous miscible species is investigated through Bogoliubov-de Gennes and Floquet methods, with predictions being analysed by full numerical solutions applied to the corresponding time-dependent coupled formalism.


title: Hyperonic uncertainties in neutron stars, mergers and supernovae

abstract: In this work we delve into the temperature-dependent Equation of State (EoS) of baryonic matter within the framework of the FSU2H$^*$ hadronic model, which comprehensively incorporates hyperons and is suitable for relativistic simulations of neutron star mergers and supernovae. To assess the impact of the uncertainties in the hyperonic sector on astrophysical observables, we introduce two additional models, namely FSU2H$^*$L and FSU2H$^*$U. These models cover the entire spectrum of variability of hyperonic potentials, as derived from experimental data. Our investigations reveal that these uncertainties extend their influence not only to the relative abundances of various particle species but also to the EoS itself and, consequently, have an impact on the global properties of both cold and hot neutron stars. Notably, their effects become more pronounced at large temperatures, owing to the increased presence of hyperons. These findings have direct implications for the outcomes of relativistic simulations of neutron star mergers and supernovae, emphasizing the need of accounting for hyperonic uncertainties to ensure the accuracy and reliability of such simulations in astrophysical contexts.


title: Credit Card Fraud Detection with Subspace Learning-based One-Class Classification

abstract: In an increasingly digitalized commerce landscape, the proliferation of credit card fraud and the evolution of sophisticated fraudulent techniques have led to substantial financial losses. Automating credit card fraud detection is a viable way to accelerate detection, reducing response times and minimizing potential financial losses. However, addressing this challenge is complicated by the highly imbalanced nature of the datasets, where genuine transactions vastly outnumber fraudulent ones. Furthermore, the high number of dimensions within the feature set gives rise to the ``curse of dimensionality". In this paper, we investigate subspace learning-based approaches centered on One-Class Classification (OCC) algorithms, which excel in handling imbalanced data distributions and possess the capability to anticipate and counter the transactions carried out by yet-to-be-invented fraud techniques. The study highlights the potential of subspace learning-based OCC algorithms by investigating the limitations of current fraud detection strategies and the specific challenges of credit card fraud detection. These algorithms integrate subspace learning into the data description; hence, the models transform the data into a lower-dimensional subspace optimized for OCC. Through rigorous experimentation and analysis, the study validated that the proposed approach helps tackle the curse of dimensionality and the imbalanced nature of credit card data for automatic fraud detection to mitigate financial losses caused by fraudulent activities.


title: Lattice Fundamental Measure Theory beyond 0D Cavities: Dimers on Square Lattices

abstract: Using classical density functional theory, we study the behavior of dimers, i.e. hard rods of length $L=2$, on a two-dimensional cubic lattice. For deriving a free energy functional, we employ Levy's prescription which is based on the minimization of a microscopic free energy with respect to the many-body probability under the constraint of a fixed density profile. Using that, we recover the functional originally found by Lafuente and Cuesta and derive an extension. With this extension, the free energy functional is exact on cavities that can hold at most two particles simultaneously. The new functional improves the prediction of the free energy in bulk as well as in highly confined systems, especially for high packing fractions, in comparison to that of Lafuente and Cuesta.


title: Large deviations for the isoperimetric constant in 2D percolation

abstract: Isoperimetric profile describes the minimal boundary size of a set with a prescribed volume. Itai Benjamini conjectured that the isoperimetric profile of the giant component in supercritical percolation experiences an averaging effect and satisfies the law of large numbers. This conjecture was settled by Biskup-Louidor-Procaccia-Rosenthal for 2D percolation, and later resolved by Gold for higher-dimensional lattices. However, more refined properties of the isoperimetric profile, such as fluctuations and large deviations, remain unknown. In this paper, we determine the large deviation probabilities of the isoperimetric constant in 2D supercritical percolation, answering the question by Biskup-Louidor-Procaccia-Rosenthal. Interestingly, while the large deviation probability is of surface order in the entire upper tail regime, a phase transition occurs in the lower tail regime, exhibiting both surface and volume order large deviations.


title: Locality-preserving Directions for Interpreting the Latent Space of Satellite Image GANs

abstract: We present a locality-aware method for interpreting the latent space of wavelet-based Generative Adversarial Networks (GANs), that can well capture the large spatial and spectral variability that is characteristic to satellite imagery. By focusing on preserving locality, the proposed method is able to decompose the weight-space of pre-trained GANs and recover interpretable directions that correspond to high-level semantic concepts (such as urbanization, structure density, flora presence) - that can subsequently be used for guided synthesis of satellite imagery. In contrast to typically used approaches that focus on capturing the variability of the weight-space in a reduced dimensionality space (i.e., based on Principal Component Analysis, PCA), we show that preserving locality leads to vectors with different angles, that are more robust to artifacts and can better preserve class information. Via a set of quantitative and qualitative examples, we further show that the proposed approach can outperform both baseline geometric augmentations, as well as global, PCA-based approaches for data synthesis in the context of data augmentation for satellite scene classification.


title: To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines

abstract: State machines are used ubiquitously in engineering software-intensive systems. UML State Machines extend simple finite state machines with powerful constructs. Among the many extensions, there is one seemingly simple and innocent language construct that fundamentally changes state machines' reactive model of computation: doActivity behaviors. DoActivity behaviors describe behavior that is executed independently from the state machine once entered in a given state, typically modeling complex computation or communication as background tasks. However, the UML specification or textbooks are vague about how the doActivity behavior construct should be appropriately used. This lack of guidance is a severe issue as, when improperly used, doActivities can cause concurrent, non-deterministic bugs that are especially challenging to find and could ruin a seemingly correct software design. The Precise Semantics of UML State Machines (PSSM) specification introduced detailed operational semantics for state machines. To the best of our knowledge, there is no rigorous review yet of doActivity's semantics as specified in PSSM. We analyzed the semantics by collecting evidence from cross-checking the text of the specification, its semantic model and executable test cases, and the simulators supporting PSSM. We synthesized insights about subtle details and emergent behaviors relevant to tool developers and advanced modelers. We reported inconsistencies and missing clarifications in more than 20 issues to the standardization committee. Based on these insights, we studied 11 patterns for doActivities detailing the consequences of using a doActivity in a given situation and discussing countermeasures or alternative design choices. We hope that our analysis of the semantics and the patterns help vendors develop conformant simulators or verification tools and engineers design better state machine models.


title: Small Area Estimation under Square Root Transformed Fay-Herriot model with Functional Measurement Error in Covariates

abstract: We consider a small area estimation model under square-root transformation in the presence of functional measurement error. When measurement error is present, the Bayes predictor can no longer be used as it depends on the covariates even if parameters are known. Therefore suitable replacements are called for, and we propose a predictor that only depends on observed responses and data obtained from a large secondary survey. Moreover, some estimating methods of unknown parameters are considered. In the simulations section, We evaluate the performance using the mean squared prediction error (MSPE) and discuss several scenarios in terms of the number of areas and the sample size in a large secondary survey.


title: Two-Loop Amplitude Reduction with HELAC

abstract: We discuss recent progress towards extending the Helac framework to the calculation of two-loop amplitudes. A general algorithm for the automated computation of two-loop integrands is described. The algorithm covers all the steps of the computation, from the generation of loop topologies up to the construction of recursion relations for two loop integrands. Finally, first steps towards the formulation of a new approach for reducing two-loop amplitudes to a basis of master integrals are discussed.


title: Structure of quasi-crystal graphs and applications to the combinatorics of quasi-symmetric functions

abstract: Crystal graphs are powerful combinatorial tools for working with the plactic monoid and symmetric functions. Quasi-crystal graphs are an analogous concept for the hypoplactic monoid and quasi-symmetric functions. This paper makes a combinatorial study of these objects. A previously-observed isomorphism of components of the quasi-crystal graph is explained and explicitly described using a new combinatorial structure called a quasi-array. Then two conjectures of Maas-Gari\'epy on the interaction of fundamental quasi-symmetric functions and Schur functions and on the arrangement of quasi-crystal components within crystal components are settled, the former positively, the latter negatively.


title: Nearest Neighbor Guidance for Out-of-Distribution Detection

abstract: Detecting out-of-distribution (OOD) samples are crucial for machine learning models deployed in open-world environments. Classifier-based scores are a standard approach for OOD detection due to their fine-grained detection capability. However, these scores often suffer from overconfidence issues, misclassifying OOD samples distant from the in-distribution region. To address this challenge, we propose a method called Nearest Neighbor Guidance (NNGuide) that guides the classifier-based score to respect the boundary geometry of the data manifold. NNGuide reduces the overconfidence of OOD samples while preserving the fine-grained capability of the classifier-based score. We conduct extensive experiments on ImageNet OOD detection benchmarks under diverse settings, including a scenario where the ID data undergoes natural distribution shift. Our results demonstrate that NNGuide provides a significant performance improvement on the base detection scores, achieving state-of-the-art results on both AUROC, FPR95, and AUPR metrics. The code is given at \url{https://github.com/roomo7time/nnguide}.


title: Electronic and optical properties of core-shell InAlN nanorods: a comparative study via LDA, LDA-1/2, mBJ and $G_0W_0$ methods

abstract: Currently, self-induced InAlN core-shell nanorods enjoy an advanced stage of accumulation of experimental data from their growth and characterization as well as a comprehensive understanding of their formation mechanism by the ab initio modeling based on Synthetic Growth Concept. However, their electronic and optical properties, on which most of their foreseen applications are expected to depend, have not been investigated comprehensively. $G_0W_0$ is currently regarded as a gold-standard methodology with quasi-particle corrections to calculate electronic properties of materials in general. It is also the starting point for higher-order methods that study excitonic effects, such as those based on the Bethe-Salpeter equation. One major drawback of $G_0W_0$, however, is its computational cost, much higher than density-functional theory (DFT). Therefore, in many applications, it is highly desirable to answer the question of how well approaches based on DFT, such as e. g. LDA, LDA-1/2, and mBJ, can approximately reproduce $G_0W_0$ results with respect to the electronic and optical properties. Thus, the purpose of the present paper is to investigate how the DFT-based methodologies LDA, LDA-1/2, and mBJ can be used as tools to approximate $G_0W_0$ in studies of the electronic and optical properties of scaled down models of core-shell InAlN nanorods. For these systems, we observed that band gaps, density of states, dielectric functions, refractive indexes, absorption and reflectance coefficients are reasonably well described by LDA-1/2 and mBJ when compared to $G_0W_0$, however, at a much more favorable computational cost.


title: New Revival Phenomena for Bidirectional Dispersive Hyperbolic Equations

abstract: In this paper, the dispersive revival and fractalization phenomena for bidirectional dispersive equations on a bounded interval subject to periodic boundary conditions and discontinuous initial profiles are investigated. Firstly, we study the periodic initial-boundary value problem of the linear beam equation with step function initial data, and analyze the manifestation of the revival phenomenon for the corresponding solution at rational times. Next, we extend the investigation to periodic initial-boundary value problems of more general bidirectional dispersive equations. We prove that, if the initial functions are of bounded variation, the dynamical evolution of such periodic problems depend essentially upon the large wave number asymptotics of the associated dispersion relations. Integral polynomial or asymptotically integral polynomial dispersion relations produce dispersive revival/fractalization rational/irrational dichotomies, whereas those with non-polynomial growth result in fractal profiles at all times. Finally, numerical experiments, in the concrete case of the nonlinear beam equation, are used to demonstrate how such effects persist into the nonlinear regime.


title: RE-SORT: Removing Spurious Correlation in Multilevel Interaction for CTR Prediction

abstract: Click-through rate (CTR) prediction is a critical task in recommendation systems, serving as the ultimate filtering step to sort items for a user. Most recent cutting-edge methods primarily focus on investigating complex implicit and explicit feature interactions; however, these methods neglect the spurious correlation issue caused by confounding factors, thereby diminishing the model's generalization ability. We propose a CTR prediction framework that REmoves Spurious cORrelations in mulTilevel feature interactions, termed RE-SORT, which has two key components. I. A multilevel stacked recurrent (MSR) structure enables the model to efficiently capture diverse nonlinear interactions from feature spaces at different levels. II. A spurious correlation elimination (SCE) module further leverages Laplacian kernel mapping and sample reweighting methods to eliminate the spurious correlations concealed within the multilevel features, allowing the model to focus on the true causal features. Extensive experiments conducted on four challenging CTR datasets and our production dataset demonstrate that the proposed method achieves state-of-the-art performance in both accuracy and speed. The utilized codes, models and dataset will be released at https://github.com/RE-SORT.


title: Combinatorial Characterization for Global Identifiability of Separable Networks with Partial Excitation and Measurement

abstract: This work focuses on the generic identifiability of dynamical networks with partial excitation and measurement: a set of nodes are interconnected by transfer functions according to a known topology, some nodes are excited, some are measured, and only a part of the transfer functions are known. Our goal is to determine whether the unknown transfer functions can be generically recovered based on the input-output data collected from the excited and measured nodes. We introduce the notion of separable networks, for which global and so-called local identifiability are equivalent. A novel approach yields a necessary and sufficient combinatorial characterization for local identifiability for such graphs, in terms of existence of paths and conditions on their parity. Furthermore, this yields a necessary condition not only for separable networks, but for networks of any topology.


title: A Passive Variable Impedance Control Strategy with Viscoelastic Parameters Estimation of Soft Tissues for Safe Ultrasonography

abstract: In the context of telehealth, robotic approaches have proven a valuable solution to in-person visits in remote areas, with decreased costs for patients and infection risks. In particular, in ultrasonography, robots have the potential to reproduce the skills required to acquire high-quality images while reducing the sonographer's physical efforts. In this paper, we address the control of the interaction of the probe with the patient's body, a critical aspect of ensuring safe and effective ultrasonography. We introduce a novel approach based on variable impedance control, allowing real-time optimisation of a compliant controller parameters during ultrasound procedures. This optimisation is formulated as a quadratic programming problem and incorporates physical constraints derived from viscoelastic parameter estimations. Safety and passivity constraints, including an energy tank, are also integrated to minimise potential risks during human-robot interaction. The proposed method's efficacy is demonstrated through experiments on a patient dummy torso, highlighting its potential for achieving safe behaviour and accurate force control during ultrasound procedures, even in cases of contact loss.


title: Verifiable Learned Behaviors via Motion Primitive Composition: Applications to Scooping of Granular Media

abstract: A robotic behavior model that can reliably generate behaviors from natural language inputs in real time would substantially expedite the adoption of industrial robots due to enhanced system flexibility. To facilitate these efforts, we construct a framework in which learned behaviors, created by a natural language abstractor, are verifiable by construction. Leveraging recent advancements in motion primitives and probabilistic verification, we construct a natural-language behavior abstractor that generates behaviors by synthesizing a directed graph over the provided motion primitives. If these component motion primitives are constructed according to the criteria we specify, the resulting behaviors are probabilistically verifiable. We demonstrate this verifiable behavior generation capacity in both simulation on an exploration task and on hardware with a robot scooping granular media.


title: Logarithmic delocalization of random Lipschitz functions on honeycomb and other lattices

abstract: We study random one-Lipschitz integer functions $f$ on the vertices of a finite connected graph, sampled according to the weight $W(f) = \prod_{\langle v, w \rangle \in E} \mathbf{c}^{ \mathbb{I} \{ f(v) = f(w) \} }$ where $\mathbf{c} \geq 1$, and restricted by a boundary condition. For planar graphs, this is arguably the simplest ``2D random walk model'', and proving the convergence of such models to the Gaussian free field (GFF) is a major open question. Our main result is that for subgraphs of the honeycomb lattice (and some other cubic planar lattices), with flat boundary conditions and $1 \leq \mathbf{ c } \leq 2$, such functions exhibit logarithmic variations. This is in line with the GFF prediction and improves a non-quantitative delocalization result by P. Lammers. The proof goes via level-set percolation arguments, including a renormalization inequality and a dichotomy theorem for level-set loops. In another direction, we show that random Lipschitz functions have bounded variance whenever the wired FK-Ising model with $p=1-1/\mathbf{c}$ percolates on the same lattice (corresponding to $\mathbf{c} > 2 + \sqrt{3}$ on the honeycomb lattice). Via a simple coupling, this also implies, perhaps surprisingly, that random homomorphisms are localized on the rhombille lattice.


title: Hermitian K-theory of Grassmannians

abstract: We compute the additive structure of the Hermitian $K$-theory spectrum of an even-dimensional Grassmannian over a base field $k$ of characteristic zero in terms of the Hermitian $K$-theory of $X$, using certain symmetries on Young diagrams. The result is a direct sum of copies of the $K$-theory of the base field and copies of the $GW$-theory of the base field, indexed by \emph{asymmetric} and \emph{symmetric} Young diagrams, respectively.


title: FDLS: A Deep Learning Approach to Production Quality, Controllable, and Retargetable Facial Performances

abstract: Visual effects commonly requires both the creation of realistic synthetic humans as well as retargeting actors' performances to humanoid characters such as aliens and monsters. Achieving the expressive performances demanded in entertainment requires manipulating complex models with hundreds of parameters. Full creative control requires the freedom to make edits at any stage of the production, which prohibits the use of a fully automatic ``black box'' solution with uninterpretable parameters. On the other hand, producing realistic animation with these sophisticated models is difficult and laborious. This paper describes FDLS (Facial Deep Learning Solver), which is Weta Digital's solution to these challenges. FDLS adopts a coarse-to-fine and human-in-the-loop strategy, allowing a solved performance to be verified and edited at several stages in the solving process. To train FDLS, we first transform the raw motion-captured data into robust graph features. Secondly, based on the observation that the artists typically finalize the jaw pass animation before proceeding to finer detail, we solve for the jaw motion first and predict fine expressions with region-based networks conditioned on the jaw position. Finally, artists can optionally invoke a non-linear finetuning process on top of the FDLS solution to follow the motion-captured virtual markers as closely as possible. FDLS supports editing if needed to improve the results of the deep learning solution and it can handle small daily changes in the actor's face shape. FDLS permits reliable and production-quality performance solving with minimal training and little or no manual effort in many cases, while also allowing the solve to be guided and edited in unusual and difficult cases. The system has been under development for several years and has been used in major movies.


title: A local characterization of quasi-crystal graphs

abstract: It is provided a local characterization of quasi-crystal graphs, by presenting a set of local axioms, similar to the ones introduced by Stembridge for crystal graphs of simply-laced root systems. It is also shown that quasi-crystal graphs satisfying these axioms are closed under the tensor product recently introduced by Cain, Guilherme and Malheiro. It is deduced that each connected component of such a graph has a unique highest weight element, whose weight is a composition, and it is isomorphic to a quasi-crystal graph of semistandard quasi-ribbon tableaux.


title: Anisotropy and effective medium approach in the optical response of 2D material heterostructures

abstract: 2D materials offer a large variety of optical properties, from transparency to plasmonic excitation. They can be structured and combined to form heterostructures that expand the realm of possibility to manipulate light interactions at the nanoscale. Appropriate and numerically efficient models accounting for the high intrinsic anisotropy of 2D materials and heterostructures are needed. In this article, we retrieve the relevant intrinsic parameters that describe the optical response of a homogeneous 2D material from a microscopic approach. Well-known effective models for vertical heterostructure (stacking of different layers) are retrieved. We found that the effective optical response model of horizontal heterostructures (alternating nano-ribbons) depends of the thickness. In the thin layer model, well adapted for 2D materials, a counter-intuitive in-plane isotropic behavior is predicted. We confront the effective model formulation with exact reference calculations such as ab-initio calculations for graphene, hexagonal boron nitride (hBN), as well as corrugated graphene with larger thickness but also with classical electrodynamics calculations that exactly account for the lateral structuration.


title: Pre-training-free Image Manipulation Localization through Non-Mutually Exclusive Contrastive Learning

abstract: Deep Image Manipulation Localization (IML) models suffer from training data insufficiency and thus heavily rely on pre-training. We argue that contrastive learning is more suitable to tackle the data insufficiency problem for IML. Crafting mutually exclusive positives and negatives is the prerequisite for contrastive learning. However, when adopting contrastive learning in IML, we encounter three categories of image patches: tampered, authentic, and contour patches. Tampered and authentic patches are naturally mutually exclusive, but contour patches containing both tampered and authentic pixels are non-mutually exclusive to them. Simply abnegating these contour patches results in a drastic performance loss since contour patches are decisive to the learning outcomes. Hence, we propose the Non-mutually exclusive Contrastive Learning (NCL) framework to rescue conventional contrastive learning from the above dilemma. In NCL, to cope with the non-mutually exclusivity, we first establish a pivot structure with dual branches to constantly switch the role of contour patches between positives and negatives while training. Then, we devise a pivot-consistent loss to avoid spatial corruption caused by the role-switching process. In this manner, NCL both inherits the self-supervised merits to address the data insufficiency and retains a high manipulation localization accuracy. Extensive experiments verify that our NCL achieves state-of-the-art performance on all five benchmarks without any pre-training and is more robust on unseen real-life samples. The code is available at: https://github.com/Knightzjz/NCL-IML.


title: Recovering lost light: discovery of supernova remnants with integral field spectroscopy

abstract: We present results from a systematic search for broad ($\geq$ 400 \kms) \ha\ emission in Integral Field Spectroscopy data cubes of $\sim$1200 nearby galaxies obtained with PMAS and MUSE. We found 19 unique regions that pass our quality cuts, four of which match the locations of previously discovered SNe: one Type IIP, and three Type IIn, including the well-known SN 2005ip. We suggest that these objects are young Supernova Remnants, with bright and broad \ha\ emission powered by the interaction between the SN ejecta and dense circumstellar material. The stellar ages measured at the location of these SNR candidates are systematically lower by about 0.5 dex than those measured at the location of core collapse SNe, implying that their progenitors might be shorter lived and therefore more massive than a typical CC SN progenitor. The methods laid out in this work open a new window into the study of nearby SNe with Integral Field Spectroscopy.


title: Magnetic Bernstein inequalities and spectral inequality on thick sets for the Landau operator

abstract: We prove a spectral inequality for the Landau operator. This means that for all $f$ in the spectral subspace corresponding to energies up to $E$, the $L^2$-integral over suitable $S \subset \mathbb{R}^2$ can be lower bounded by an explicit constant times the $L^2$-norm of $f$ itself. We identify the class of all measurable sets $S \subset \mathbb{R}^2$ for which such an inequality can hold, namely so-called thick or relatively dense sets, and deduce an asymptotically optimal expression for the constant in terms of the energy, the magnetic field strength and in terms of parameters determining the thick set $S$. Our proofs rely on so-called magnetic Bernstein inequalities. As a consequence, we obtain the first proof of null-controllability for the magnetic heat equation (with sharp bound on the control cost), and can relax assumptions in existing proofs of Anderson localization in the continuum alloy-type model.


title: DAnTE: a taxonomy for the automation degree of software engineering tasks

abstract: Software engineering researchers and practitioners have pursued manners to reduce the amount of time and effort required to develop code and increase productivity since the emergence of the discipline. Generative language models are just another step in this journey, but it will probably not be the last one. In this chapter, we propose DAnTE, a Degree of Automation Taxonomy for software Engineering, describing several levels of automation based on the idiosyncrasies of the field. Based on the taxonomy, we evaluated several tools used in the past and in the present for software engineering practices. Then, we give particular attention to AI-based tools, including generative language models, discussing how they are located within the proposed taxonomy, and reasoning about possible limitations they currently have. Based on this analysis, we discuss what novel tools could emerge in the middle and long term.


title: CoSb3-based skutterudite nanocomposites prepared by cold sintering process with enhanced thermoelectric properties

abstract: We show here for the first time the use of a cold sintering process (CSP) to sinter CoSb3-based thermoelectric materials. CSP at 150 {\deg}C for 90 min under a uniaxial pressure of 750 MPa yields pieces with a relative density of 86 %, which is increased to around 92 % after a post-annealing at temperatures > 500 {\deg}C in Ar atmosphere. The reported CSP produces Te doped-CoSb3 nanocomposites with similar morphological and structural characteristics to the starting nanopowders obtained by ball milling in air atmosphere. The post-thermal treatment induces grain coalescence and grain growth, crystallite size growth as well as compositional changes in the nanocomposite, decreasing the amount of the main phase, CoSb3, and increasing the weight of secondary phase, CoSb2, up to a 30 wt% at 600 {\deg}C. Remarkably, the average valence for the Co, Sb and Te absorbing atoms is neither transformed by the sintering process nor by the subsequent heat treatment. The functional response of the sintered thermoelectric nanocomposites exhibits a maximum figure of merit of 0.12(3) at room temperature for the nanocomposites sintered by CSP with a subsequent post-annealing at 500 {\deg}C. This is mainly due to its low thermal conductivity in comparison with similar powders sintered by other approaches, and it is explained by the morphological and structural properties. These findings represent an attractive alternative for obtaining efficient thermoelectric skutterudites by a scalable and cost-effective route.


title: Multi-Messenger Measurements of the Static Structure of Shock-Compressed Liquid Silicon at 100 GPa

abstract: Ionic structure of high pressure, high temperature fluids is a challenging theoretical problem with applications to planetary interiors and fusion capsules. Here we report a multi-messenger platform using velocimetry and \textit{in situ} angularly and spectrally resolved X-ray scattering to measure the thermodynamic conditions and ion structure factor of materials at extreme pressures. We document the pressure, density, and temperature of shocked silicon near 100 GPa with uncertainties of 6%, 2%, and 20%, respectively. The measurements are sufficient to distinguish between and rule out some ion screening models.


title: Projection-based Controllers with Inherent Dissipativity Properties

abstract: Projection-based Controllers (PBCs) are currently gaining traction in both scientific and engineering communities. In PBCs, the input-output signals of the controller are kept in sector-bounded sets by means of projection. In this paper, we will show how this projection operation can be used to induce useful passivity or general dissipativity properties on broad classes of (unprojected) nonlinear controllers that otherwise would not have these properties. The induced dissipativity properties of PBC will be exploited to guarantee asymptotic stability of negative feedback interconnections of passive nonlinear plants and suitably designed PBC, under mild conditions. Proper generalizations to so-called $(q,s,r)$-dissipativity will be presented as well. For illustrating the effectiveness of PBC control design via these passivity-based techniques, two numerical examples are provided.


title: Label Deconvolution for Node Representation Learning on Large-scale Attributed Graphs against Learning Bias

abstract: Node representation learning on attributed graphs -- whose nodes are associated with rich attributes (e.g., texts and protein sequences) -- plays a crucial role in many important downstream tasks. To encode the attributes and graph structures simultaneously, recent studies integrate pre-trained models with graph neural networks (GNNs), where pre-trained models serve as node encoders (NEs) to encode the attributes. As jointly training large NEs and GNNs on large-scale graphs suffers from severe scalability issues, many methods propose to train NEs and GNNs separately. Consequently, they do not take feature convolutions in GNNs into consideration in the training phase of NEs, leading to a significant learning bias from that by the joint training. To address this challenge, we propose an efficient label regularization technique, namely Label Deconvolution (LD), to alleviate the learning bias by a novel and highly scalable approximation to the inverse mapping of GNNs. The inverse mapping leads to an objective function that is equivalent to that by the joint training, while it can effectively incorporate GNNs in the training phase of NEs against the learning bias. More importantly, we show that LD converges to the optimal objective function values by thejoint training under mild assumptions. Experiments demonstrate LD significantly outperforms state-of-the-art methods on Open Graph Benchmark datasets.


title: Face Cartoonisation For Various Poses Using StyleGAN

abstract: This paper presents an innovative approach to achieve face cartoonisation while preserving the original identity and accommodating various poses. Unlike previous methods in this field that relied on conditional-GANs, which posed challenges related to dataset requirements and pose training, our approach leverages the expressive latent space of StyleGAN. We achieve this by introducing an encoder that captures both pose and identity information from images and generates a corresponding embedding within the StyleGAN latent space. By subsequently passing this embedding through a pre-trained generator, we obtain the desired cartoonised output. While many other approaches based on StyleGAN necessitate a dedicated and fine-tuned StyleGAN model, our method stands out by utilizing an already-trained StyleGAN designed to produce realistic facial images. We show by extensive experimentation how our encoder adapts the StyleGAN output to better preserve identity when the objective is cartoonisation.


title: Coupled oscillator model of a trapped Fermi gas at the BEC-BCS crossover

abstract: We address theoretically the puzzling discontinuity of the radial quadrupole mode frequency observed in a trapped Fermi gas across the BEC-BCS crossover. We apply the scaling transformation to a two-channel model of a resonant Fermi superfluid and argue that the frequency downshift in the crossover region is due to Feshbach coupling of the molecular Bose-Einstein condensate (BEC) to the surrounding Fermi sea. The Bose and Fermi components of the gas act as coupled macroscopic oscillators. The frequency jump corresponds to the point where the closed-channel molecules are entirely converted into the Fermi sea. This implies linear scaling of the "critical" detuning between the scattering channels with the Fermi energy, which can be readily verified in an experiment.

categories: cond-mat.quant-gas cond-mat.mes-hall cond-mat.str-el cond-mat.supr-con nucl-th


title: Universal Pairwise Interatomic van der Waals Potentials Based on Quantum Drude Oscillators

abstract: Repulsive short-range and attractive long-range van der Waals (vdW) forces have an appreciable role in the behavior of extended molecular systems. When using empirical force fields - the most popular computational methods applied to such systems - vdW forces are typically described by Lennard-Jones-like potentials, which unfortunately have a limited predictive power. Here, we present a universal parameterization of a quantum-mechanical vdW potential, which requires only two free-atom properties - the static dipole polarizability $\alpha_1$ and the dipole-dipole $C_6$ dispersion coefficient. This is achieved by deriving the functional form of the potential from the quantum Drude oscillator (QDO) model, employing scaling laws for the equilibrium distance and the binding energy as well as applying the microscopic law of corresponding states. The vdW-QDO potential is shown to be accurate for vdW binding energy curves, as demonstrated by comparing to ab initio binding curves of 21 noble-gas dimers. The functional form of the vdW-QDO potential has the correct asymptotic behavior both at zero and infinite distances. In addition, it is shown that the damped vdW-QDO potential can accurately describe vdW interactions in dimers consisting of group II elements. Finally, we demonstrate the applicability of the atom-in-molecule vdW-QDO model for predicting accurate dispersion energies for molecular systems. The present work makes an important step towards constructing universal vdW potentials, which could benefit (bio)molecular computational studies.