title: Cross Aggregation Transformer for Image Restoration

abstract: Recently, Transformer architecture has been introduced into image restoration to replace convolution neural network (CNN) with surprising results. Considering the high computational complexity of Transformer with global attention, some methods use the local square window to limit the scope of self-attention. However, these methods lack direct interaction among different windows, which limits the establishment of long-range dependencies. To address the above issue, we propose a new image restoration model, Cross Aggregation Transformer (CAT). The core of our CAT is the Rectangle-Window Self-Attention (Rwin-SA), which utilizes horizontal and vertical rectangle window attention in different heads parallelly to expand the attention area and aggregate the features cross different windows. We also introduce the Axial-Shift operation for different window interactions. Furthermore, we propose the Locality Complementary Module to complement the self-attention mechanism, which incorporates the inductive bias of CNN (e.g., translation invariance and locality) into Transformer, enabling global-local coupling. Extensive experiments demonstrate that our CAT outperforms recent state-of-the-art methods on several image restoration applications. The code and models are available at https://github.com/zhengchen1999/CAT.


title: Learning with Partial Labels from Semi-supervised Perspective

abstract: Partial Label (PL) learning refers to the task of learning from the partially labeled data, where each training instance is ambiguously equipped with a set of candidate labels but only one is valid. Advances in the recent deep PL learning literature have shown that the deep learning paradigms, e.g., self-training, contrastive learning, or class activate values, can achieve promising performance. Inspired by the impressive success of deep Semi-Supervised (SS) learning, we transform the PL learning problem into the SS learning problem, and propose a novel PL learning method, namely Partial Label learning with Semi-supervised Perspective (PLSP). Specifically, we first form the pseudo-labeled dataset by selecting a small number of reliable pseudo-labeled instances with high-confidence prediction scores and treating the remaining instances as pseudo-unlabeled ones. Then we design a SS learning objective, consisting of a supervised loss for pseudo-labeled instances and a semantic consistency regularization for pseudo-unlabeled instances. We further introduce a complementary regularization for those non-candidate labels to constrain the model predictions on them to be as small as possible. Empirical results demonstrate that PLSP significantly outperforms the existing PL baseline methods, especially on high ambiguity levels. Code available: https://github.com/changchunli/PLSP.


title: Federated Learning Hyper-Parameter Tuning from a System Perspective

abstract: Federated learning (FL) is a distributed model training paradigm that preserves clients' data privacy. It has gained tremendous attention from both academia and industry. FL hyper-parameters (e.g., the number of selected clients and the number of training passes) significantly affect the training overhead in terms of computation time, transmission time, computation load, and transmission load. However, the current practice of manually selecting FL hyper-parameters imposes a heavy burden on FL practitioners because applications have different training preferences. In this paper, we propose FedTune, an automatic FL hyper-parameter tuning algorithm tailored to applications' diverse system requirements in FL training. FedTune iteratively adjusts FL hyper-parameters during FL training and can be easily integrated into existing FL systems. Through extensive evaluations of FedTune for diverse applications and FL aggregation algorithms, we show that FedTune is lightweight and effective, achieving 8.48%-26.75% system overhead reduction compared to using fixed FL hyper-parameters. This paper assists FL practitioners in designing high-performance FL training solutions. The source code of FedTune is available at https://github.com/DataSysTech/FedTune.


title: Molecular dynamics simulations of chemically modified ribonucleotides

abstract: Post-transcriptional modifications are crucial for RNA function, with roles ranging from the stabilization of functional RNA structures to modulation of RNA--protein interactions. Additionally, artificially modified RNAs have been suggested as optimal oligonucleotides for therapeutic purposes. The impact of chemical modifications on secondary structure has been rationalized for some of the most common modifications. However, the characterization of how the modifications affect the three-dimensional RNA structure and dynamics and its capability to bind proteins is still highly challenging. Molecular dynamics simulations, coupled with enhanced sampling methods and integration of experimental data, provide a direct access to RNA structural dynamics. In the context of RNA chemical modifications, alchemical simulations where a wild type nucleotide is converted to a modified one are particularly common. In this Chapter, we review recent molecular dynamics studies of modified ribonucleotides. We discuss the technical aspects of the reviewed works, including the employed force fields, enhanced sampling methods, and alchemical methods, in a way that is accessible to experimentalists. Finally, we provide our perspective on this quickly growing field of research. The goal of this Chapter is to provide a guide for experimentalists to understand molecular dynamics works and, at the same time, give to molecular dynamics experts a solid review of published articles that will be a useful starting point for new research.


title: Cascade infrared thermal photon emission

abstract: The time development of the excitation energy of molecules and clusters cooling by emission of thermal vibrational infrared radiation has been studied. The energy distributions and the photon emission rates develop into near-universal functions that can be characterized with only a few parameters, irrespective of the precise vibrational spectra and oscillator strengths of the systems. The photon emission constant and emitted power averaged over all thermally populated states vary linearly with total excitation energy with a small offset. The time developments of ensemble internal energy distributions are calculated with respect to their first two moments. For the derived linear dependence of the emission rate constant, these results are exact.


title: First-order hyperbolic formulation of the pure tetrad teleparallel gravity theory

abstract: Motivated by numerically solving the Einstein field equations, we derive a first-order reduction of the second-order $ f(T) $-teleparallel gravity field equations in the pure-tetrad formulation (no spin connection). We then restrict our attention to the teleparallel equivalent of general relativity (TEGR) and propose a 3+1 decomposition of the governing equations that can be used in a computational code. We demonstrate that for the matter-free space-time the obtained system of first-order equations is equivalent to the tetrad reformulation of general relativity by Estabrook, Robinson, Wahlquist, and Buchman and Bardeen and therefore also admits a symmetric hyperbolic formulation. The structure of the 3+1 equations resembles a lot of similarities with the equations of relativistic electrodynamics and the recently proposed dGREM tetrad-reformulation of general relativity.


title: Chen--Ruan cohomology and orbifold Euler characteristic of moduli spaces of parabolic bundles

abstract: We consider the moduli space of stable parabolic Higgs bundles of rank $r$ and fixed determinant, and having full flag quasi-parabolic structures over an arbitrary parabolic divisor on a smooth complex projective curve $X$ of genus $g$, with $g\,\geq\, 2$. The group $\Gamma$ of $r$-torsion points of the Jacobian of $X$ acts on this moduli space. We describe the connected components of the various fixed point loci of this moduli under non-trivial elements from $\Gamma$. When the Higgs field is zero, or in other words when we restrict ourselves to the moduli of stable parabolic bundles, we also compute the orbifold Euler characteristic of the corresponding global quotient orbifold. We also describe the Chen--Ruan cohomology groups of this orbifold under certain conditions on the rank and degree, and describe the Chen--Ruan product structure in special cases.


title: Crustal magnetic fields do not lead to large magnetic-field amplifications in binary neutron-star mergers

abstract: The amplification of magnetic fields plays an important role in explaining numerous astrophysical phenomena associated with binary neutron-star mergers, such as mass ejection and the powering of short gamma-ray bursts. Magnetic fields in isolated neutron stars are often assumed to be confined to a small region near the stellar surface, while they are normally taken to fill the whole stars in the numerical modelling. By performing high-resolution, global, and high-order general-relativistic magnetohydrodynamic simulations we investigate the impact of a purely crustal magnetic field and contrast it with the standard configuration consisting of a dipolar magnetic field with the same magnetic energy but filling the whole star. While the crust-configurations are very effective in generating strong magnetic fields during the Kelvin-Helmholtz-instability stage, they fail to achieve the same level of magnetic-field amplification of the full-star configurations. This is due to the lack of magnetized material in the neutron-star interiors to be used for further turbulent amplification and to the surface losses of highly magnetized matter in the crust-configurations. Hence, the final magnetic energies in the two configurations differ by more than one order of magnitude. We briefly discuss the impact of these results on astrophysical observables and how they can be employed to deduce the magnetic topology in merging binaries.


title: Cross-domain Transfer of defect features in technical domains based on partial target data

abstract: A common challenge in real world classification scenarios with sequentially appending target domain data is insufficient training datasets during the training phase. Therefore, conventional deep learning and transfer learning classifiers are not applicable especially when individual classes are not represented or are severely underrepresented at the outset. In many technical domains, however, it is only the defect or worn reject classes that are insufficiently represented, while the non-defect class is often available from the beginning. The proposed classification approach addresses such conditions and is based on a CNN encoder. Following a contrastive learning approach, it is trained with a modified triplet loss function using two datasets: Besides the non-defective target domain class 1st dataset, a state-of-the-art labeled source domain dataset that contains highly related classes e.g., a related manufacturing error or wear defect but originates from a highly different domain e.g., different product, material, or appearance = 2nd dataset is utilized. The approach learns the classification features from the source domain dataset while at the same time learning the differences between the source and the target domain in a single training step, aiming to transfer the relevant features to the target domain. The classifier becomes sensitive to the classification features and by architecture robust against the highly domain-specific context. The approach is benchmarked in a technical and a non-technical domain and shows convincing classification results. In particular, it is shown that the domain generalization capabilities and classification results are improved by the proposed architecture, allowing for larger domain shifts between source and target domains.


title: Non-local self energies in pyrochlore iridates from ab-initio TRILEX calculations, and their relevance for the Weyl semimetal phase

abstract: Motivated by recent experiments and computational results on pyrochlore iridates, we compare single-particle properties of Y2Ir2O7 obtained from single-site dynamical mean-field calculations with results within the TRILEX approximation, where the latter takes non-local correlations into account. Our calculations are all based on ab-initio calculations within density-functional theory, and take spin-orbit coupling into account. In order to make the treatment within TRILEX feasible, we first define a single-band jeff = 1/2 model, by comparing its spectral features within DMFT to a three-band model that includes both jeff = 1/2 and jeff = 3/2 orbitals. Our calculations show consistently a paramagnetic metallic phase at small interaction values, and an insulating antiferromagnetic phase at larger interaction values. The critical interactions, however, differ between single-site and TRILEX calculations. The antiferromagnetic phase shows the already predicted all-in/all-out magnetic ordering. Different to the single-site results, the TRILEX calculation gives also evidence for the Weyl-semimetal regime in the vicinity of the metal-insulator transition.


title: Production of muons from heavy-flavour hadron decays in heavy-ion collisions with ALICE at the LHC

abstract: Measurements of the production of muons from heavy-flavour hadron decays at forward rapidity ($2.5 < y < 4.0$) in Pb--Pb collisions at $\sqrt{s_{\rm NN}} = 2.76$ and 5.02 TeV with the ALICE detector are presented along with the $R_{\rm AA}$ measurements in different centrality intervals as a function of transverse momentum, $p_{\rm T}$. Results of the measured $R_{\rm AA}$ at both energies are shown and are compared to the different model predictions.


title: Estimating Conditional Distributions with Neural Networks using R package deeptrafo

abstract: Contemporary empirical applications frequently require flexible regression models for complex response types and large tabular or non-tabular, including image or text, data. Classical regression models either break down under the computational load of processing such data or require additional manual feature extraction to make these problems tractable. Here, we present deeptrafo, a package for fitting flexible regression models for conditional distributions using a tensorflow backend with numerous additional processors, such as neural networks, penalties, and smoothing splines. Package deeptrafo implements deep conditional transformation models (DCTMs) for binary, ordinal, count, survival, continuous, and time series responses, potentially with uninformative censoring. Unlike other available methods, DCTMs do not assume a parametric family of distributions for the response. Further, the data analyst may trade off interpretability and flexibility by supplying custom neural network architectures and smoothers for each term in an intuitive formula interface. We demonstrate how to set up, fit, and work with DCTMs for several response types. We further showcase how to construct ensembles of these models, evaluate models using inbuilt cross-validation, and use other convenience functions for DCTMs in several applications. Lastly, we discuss DCTMs in light of other approaches to regression with non-tabular data.


title: Sampling strategies for the Herman-Kluk propagator of the wavefunction

abstract: When the semiclassical Herman-Kluk propagator is used for evaluating quantum-mechanical observables or time-correlation functions, the initial conditions for the guiding trajectories are typically sampled from the Husimi density. Here, we employ this propagator to evolve the wavefunction itself. We investigate two grid-free strategies for the initial sampling of the Herman-Kluk propagator applied to the wavefunction and validate the resulting time-dependent wavefunctions evolved in harmonic and anharmonic potentials. In particular, we consider Monte Carlo quadratures based either on the initial Husimi density or on its square root as possible and most natural sampling densities. We prove analytical convergence error estimates and validate them with numerical experiments on the harmonic oscillator and on a series of Morse potentials with increasing anharmonicity. In all cases, sampling from the square root of Husimi density leads to faster convergence of the wavefunction.


title: Vacuum Decay Actions from Tunneling Potentials for General Spacetime Dimension

abstract: The tunneling potential method to calculate the action for vacuum decay is an alternative to the Euclidean bounce method that has a number of attractive features. In this paper we extend the formalism to general spacetime dimension $d>2$ and use it to give simple proofs of several results. For Minkowski or Anti de Sitter false vacua, we show that gravity or higher barriers increase vacuum lifetime and describe a very clean picture of gravitational quenching of vacuum decay. We also derive the thin-wall limit of the action, show how detailed balance for dS to dS transitions works in the new formalism and how to obtain potentials for which the vacuum decay solution can be obtained analytically.


title: Zeroth-Order Alternating Gradient Descent Ascent Algorithms for a Class of Nonconvex-Nonconcave Minimax Problems

abstract: In this paper, we consider a class of nonconvex-nonconcave minimax problems, i.e., NC-PL minimax problems, whose objective functions satisfy the Polyak-\L ojasiewicz (PL) condition with respect to the inner variable. We propose a zeroth-order alternating gradient descent ascent (ZO-AGDA) algorithm and a zeroth-order variance reduced alternating gradient descent ascent (ZO-VRAGDA) algorithm for solving NC-PL minimax problem under the deterministic and the stochastic setting, respectively. The total number of function value queries to obtain an $\epsilon$-stationary point of ZO-AGDA and ZO-VRAGDA algorithm for solving NC-PL minimax problem is upper bounded by $\mathcal{O}(\varepsilon^{-2})$ and $\mathcal{O}(\varepsilon^{-3})$, respectively. To the best of our knowledge, they are the first two zeroth-order algorithms with the iteration complexity gurantee for solving NC-PL minimax problems.


title: Joint eavesdropping on the BB84 decoy state protocol with an arbitrary passive light-source side channel

abstract: Passive light-source side channel in quantum key distribution (QKD) makes the quantum signals more distinguishable thus provides additional information about the quantum signal to an eavesdropper. The explicit eavesdropping strategies aimed at the passive side channel known to date were limited to the separate measurement of the passive side channel in addition to the operational degree of freedom. Here we show how to account for the joint eavesdropping on both operational degree of freedom and the passive side channel of the generic form. In particular, we use the optimal phase-covariant cloning of the signal photon state, which is the most effective attack on the BB84 protocol without side channels, followed by a joint collective measurement of the side channel and the operational degree of freedom. To estimate QKD security under this attack, we develop an effective error method and show its applicability to the BB84 decoy-state protocol.


title: SmartIntentNN: Towards Smart Contract Intent Detection

abstract: Researchers currently have been focusing on smart contract vulnerability detection, but we find that developers' intent to write smart contracts is a more noteworthy security concern because smart contracts with malicious intent have caused significant financial loss to users. A more unfortunate fact is that we can only rely on manual audits to check for unfriendly smart contracts. In this paper, we propose \textsc{SmartIntentNN}, Smart Contract Intent Neural Network, a deep learning-based tool that aims to automate the process of developers' intent detection in smart contracts, saving human resources and overhead. The demo video is available on \url{https://youtu.be/ho1SMtYm-wI}.


title: A review of rank one bispectral correspondence of quantum affine KZ equations and Macdonald-type eigenvalue problems

abstract: This note consists of two parts. The first part (\S 1 and \S 2) is a partial review of the works by van Meer and Stokman (2010), van Meer (2011) and Stokman (2014) which established a bispectral analogue of the Cherednik correspondence between quantum affine Knizhnik-Zamolodchikov equations and the eigenvalue problems of Macdonald type. In this review we focus on the rank one cases, i.e., on the reduced type $A_1$ and the non-reduced type $(C_1^\vee,C_1)$, to which the associated Macdonald-Koornwinder polynomials are the Rogers polynomials and the Askey-Wilson polynomials, respectively. We give detailed computations and formulas that may be difficult to find in the literature. The second part (\S 3) is a complement of the first part, and is also a continuation of our previous study (Y.-Y., 2022) on the parameter specialization of Macdonald-Koornwinder polynomials, where we found four types of specialization of the type $(C_1^\vee,C_1)$ parameters (which could be called the Askey-Wilson parameters) to recover the type $A_1$. In this note, we show that among the four specializations there is only one which is compatible with the bispectral correspondence discussed in the first part.


title: A Self-Attention Ansatz for Ab-initio Quantum Chemistry

abstract: We present a novel neural network architecture using self-attention, the Wavefunction Transformer (Psiformer), which can be used as an approximation (or Ansatz) for solving the many-electron Schr\"odinger equation, the fundamental equation for quantum chemistry and material science. This equation can be solved from first principles, requiring no external training data. In recent years, deep neural networks like the FermiNet and PauliNet have been used to significantly improve the accuracy of these first-principle calculations, but they lack an attention-like mechanism for gating interactions between electrons. Here we show that the Psiformer can be used as a drop-in replacement for these other neural networks, often dramatically improving the accuracy of the calculations. On larger molecules especially, the ground state energy can be improved by dozens of kcal/mol, a qualitative leap over previous methods. This demonstrates that self-attention networks can learn complex quantum mechanical correlations between electrons, and are a promising route to reaching unprecedented accuracy in chemical calculations on larger systems.


title: Long-Term Decrease in Coloration: A Consequence of Climate Change?

abstract: Climate change has been shown to affect fitness-related traits in a wide range of taxa; for instance, warming leads to phenological advancements in many plant and animal species. The influence of climate change on social and secondary sexual traits, that are associated with fitness due to their role as quality signals, is however unknown. Here, we use more than 5800 observations collected on two Mediterranean blue tit subspecies (Cyanistes caeruleus caeruleus and C.c. ogliastrae) to explore whether blue crown and yellow breast patch colourations have changed over the past 15 years. Our data suggests that colouration has become duller and less chromatic in both sexes. In addition, in the Corsican C.c. ogliastrae, but not in the mainland C.c. caeruleus, the decrease is associated with an increase in temperature at moult. Quantitative genetic analyses do not reveal any microevolutionary change in the colour traits along the study period, strongly suggesting that the observed change over time was caused by a plastic response to the environmental conditions. Overall, this study suggests that ornamental colourations could become less conspicuous due to warming, revealing climate change effects on sexual and social ornaments and calling for further research on the proximate mechanisms behind these effects.


title: Jet radius and momentum splitting fraction with dynamical grooming in heavy-ion collisions

abstract: We investigate the medium modifications of momentum splitting fraction and groomed jet radius with both dynamical grooming and soft drop algorithms in heavy-ion collisions. In the calculation, the partonic spectrum of initial hard scattering in p+p collisions is provided by the event generator PYTHIA 8, and the energy loss of fast parton traversing in a hot/dense QCD medium is simulated with the Linear Boltzmann Transport (LBT) model. We predict the normalized distributions of the groomed jet radius $\theta_g$ and momentum splitting fraction $z_g$ with the dynamical grooming algorithm in Pb+Pb collisions at $\sqrt{s_{\mathrm{NN}}}$ = 5.02 TeV, then compare these quantities in dynamical grooming at $a=0.1$, with that in soft drop at $z_{\mathrm{cut}} = 0.1$ and $\beta = 0$. It is found that the normalized distribution ratios Pb+Pb/p+p with respect to $z_g$ in $z_{\mathrm{cut}} = 0.1$, $\beta = 0$ soft drop case are close to unity and those in $a=0.1$ dynamical grooming case show enhancement at small $z_g$, and Pb+Pb/p+p with respect to $\theta_g$ in the dynamical grooming case demonstrate weaker modification than those in the soft drop counterparts. We further calculate the groomed jet number averaged momentum splitting fraction $\rm \langle z_g \rangle_{jets}$ and averaged groomed jet radius $\rm \langle \theta_g \rangle_{jets}$ in p+p and A+A for both grooming cases in three $p^{\rm ch, jet}_{\rm T}$ intervals, and find that the originally generated well balanced groomed jets will become more momentum imbalanced and less jet size narrowing due to jet quenching, and weaker medium modification of $z_g$ and $\theta_g$ in $a =0.1$ dynamical grooming case than in the soft drop counterparts.


title: On Perfect Bases in Finite Abelian Groups

abstract: Let $G$ be a finite abelian group and $s$ be a positive integer. A subset $A$ of $G$ is called a {\em perfect $s$-basis of $G$} if each element of $G$ can be written uniquely as the sum of at most $s$ (not-necessarily-distinct) elements of $A$; similarly, we say that $A$ is a {\em perfect restricted $s$-basis of $G$} if each element of $G$ can be written uniquely as the sum of at most $s$ distinct elements of $A$. We prove that perfect $s$-bases exist only in the trivial cases of $s=1$ or $|A|=1$. The situation is different with restricted addition where perfection is more frequent; here we treat the case of $s=2$ and prove that $G$ has a perfect restricted $2$-basis if, and only if, it is isomorphic to $\mathbb{Z}_2$, $\mathbb{Z}_4$, $\mathbb{Z}_7$, $\mathbb{Z}_2^2$, $\mathbb{Z}_2^4$, or $\mathbb{Z}_2^2 \times \mathbb{Z}_4$.


title: Perception-Oriented Single Image Super-Resolution using Optimal Objective Estimation

abstract: Single-image super-resolution (SISR) networks trained with perceptual and adversarial losses provide high-contrast outputs compared to those of networks trained with distortion-oriented losses, such as L1 or L2. However, it has been shown that using a single perceptual loss is insufficient for accurately restoring locally varying diverse shapes in images, often generating undesirable artifacts or unnatural details. For this reason, combinations of various losses, such as perceptual, adversarial, and distortion losses, have been attempted, yet it remains challenging to find optimal combinations. Hence, in this paper, we propose a new SISR framework that applies optimal objectives for each region to generate plausible results in overall areas of high-resolution outputs. Specifically, the framework comprises two models: a predictive model that infers an optimal objective map for a given low-resolution (LR) input and a generative model that applies a target objective map to produce the corresponding SR output. The generative model is trained over our proposed objective trajectory representing a set of essential objectives, which enables the single network to learn various SR results corresponding to combined losses on the trajectory. The predictive model is trained using pairs of LR images and corresponding optimal objective maps searched from the objective trajectory. Experimental results on five benchmarks show that the proposed method outperforms state-of-the-art perception-driven SR methods in LPIPS, DISTS, PSNR, and SSIM metrics. The visual results also demonstrate the superiority of our method in perception-oriented reconstruction. The code and models are available at https://github.com/seungho-snu/SROOE.


title: Evidence for non-merger co-evolution of galaxies and their supermassive black holes

abstract: Recent observational and theoretical studies have suggested that supermassive black holes (SMBHs) grow mostly through non-merger (`secular') processes. Since galaxy mergers lead to dynamical bulge growth, the only way to observationally isolate non-merger growth is to study galaxies with low bulge-to-total mass ratio (e.g. B/T < 10%). However, bulge growth can also occur due to secular processes, such as disk instabilities, making disk-dominated selections a somewhat incomplete way to select merger-free systems. Here we use the Horizon-AGN simulation to select simulated galaxies which have not undergone a merger since z = 2, regardless of bulge mass, and investigate their location on typical black hole-galaxy scaling relations in comparison to galaxies with merger dominated histories. While the existence of these correlations has long been interpreted as co-evolution of galaxies and their SMBHs driven by galaxy mergers, we show here that they persist even in the absence of mergers. We find that the correlations between SMBH mass and both total mass and stellar velocity dispersion are independent of B/T ratio for both merger-free and merger-dominated galaxies. In addition, the bulge mass and SMBH mass correlation is still apparent for merger-free galaxies, the intercept for which is dependent on B/T. Galaxy mergers reduce the scatter around the scaling relations, with merger-free systems showing broader scatter. We show that for merger-free galaxies, the co-evolution is dominated by radio-mode feedback, and suggest that the long periods of time between galaxy mergers make an important contribution to the co-evolution between galaxies and SMBHs in all galaxies.


title: On sumsets of nonbases of maximum size

abstract: Let $G$ be a finite abelian group. A nonempty subset $A$ in $G$ is called a basis of order $h$ if $hA=G$; when $hA \neq G$, it is called a nonbasis of order $h$. Our interest is in all possible sizes of $hA$ when $A$ is a nonbasis of order $h$ in $G$ of maximum size; we provide the complete answer when $h=2$ or $h=3$.


title: Rigidification of cubical quasi-categories

abstract: We construct a cubical analogue of the rigidification functor from quasi-categories to simplicial categories present in the work of Joyal and Lurie. We define a functor from the category of cubical sets of Doherty-Kapulkin-Lindsey-Sattler to the category of (small) simplicial categories. We show that this rigidification functor establishes a Quillen equivalence between the Joyal model structure on cubical sets (as it is called by the four authors) and Bergner's model structure on simplicial categories. We follow the approach to rigidification of Dugger and Spivak, adapting their framework of necklaces to the cubical setting.


title: Whole-Body Control of a Mobile Manipulator for Passive Collaborative Transportation

abstract: Human-robot collaborative tasks foresee interactions between humans and robots with various degrees of complexity. Specifically, for tasks which involve physical contact among the agents, challenges arise in the modelling and control of such interaction. In this paper we propose a control architecture capable of ensuring a flexible and robustly stable physical human-robot interaction, focusing on a collaborative transportation task. The architecture is deployed onto a mobile manipulator, modelled as a whole-body structure, which aids the operator during the transportation of an unwieldy load. Thanks to passivity techniques, the controller adapts its interaction parameters online while preserving robust stability for the overall system, thus experimentally validating the architecture.


title: Meta-Learning for Automated Selection of Anomaly Detectors for Semi-Supervised Datasets

abstract: In anomaly detection, a prominent task is to induce a model to identify anomalies learned solely based on normal data. Generally, one is interested in finding an anomaly detector that correctly identifies anomalies, i.e., data points that do not belong to the normal class, without raising too many false alarms. Which anomaly detector is best suited depends on the dataset at hand and thus needs to be tailored. The quality of an anomaly detector may be assessed via confusion-based metrics such as the Matthews correlation coefficient (MCC). However, since during training only normal data is available in a semi-supervised setting, such metrics are not accessible. To facilitate automated machine learning for anomaly detectors, we propose to employ meta-learning to predict MCC scores based on metrics that can be computed with normal data only. First promising results can be obtained considering the hypervolume and the false positive rate as meta-features.


title: A Null-space based Approach for a Safe and Effective Human-Robot Collaboration

abstract: During physical human robot collaboration, it is important to be able to implement a time-varying interactive behaviour while ensuring robust stability. Admittance control and passivity theory can be exploited for achieving these objectives. Nevertheless, when the admittance dynamics is time-varying, it can happen that, for ensuring a passive and stable behaviour, some spurious dissipative effects have to be introduced in the admittance dynamics. These effects are perceived by the user and degrade the collaborative performance. In this paper we exploit the task redundancy of the manipulator in order to harvest energy in the null space and to avoid spurious dynamics on the admittance. The proposed architecture is validated by simulations and by experiments onto a collaborative robot.


title: Fingerprint of a Traffic Scene: an Approach for a Generic and Independent Scene Assessment

abstract: A major challenge in the safety assessment of automated vehicles is to ensure that risk for all traffic participants is as low as possible. A concept that is becoming increasingly popular for testing in automated driving is scenario-based testing. It is founded on the assumption that most time on the road can be seen as uncritical and in mainly critical situations contribute to the safety case. Metrics describing the criticality are necessary to automatically identify the critical situations and scenarios from measurement data. However, established metrics lack universality or a concept for metric combination. In this work, we present a multidimensional evaluation model that, based on conventional metrics, can evaluate scenes independently of the scene type. Furthermore, we present two new, further enhanced evaluation approaches, which can additionally serve as universal metrics. The metrics we introduce are then evaluated and discussed using real data from a motion dataset.


title: Study of vibrational spectra of polycyclic aromatic hydrocarbons with phenyl side group

abstract: Computational study of polycyclic aromatic hydrocarbons (PAHs) with phenyl side group substituted at different positions is reported. The infrared spectral variations due to the position of phenyl substitution, ionization state and the size of the molecules are discussed and possible contribution of phenyl-PAHs to the mid-infrared emission features from astrophysical objects is analyzed. Structurally phenyl group substitution at 2nd position gives more stable species compared to substitution at other positions. Phenyl-PAHs exhibit new aromatic bands near 695 and 741 cm$^{-1}$ (14.4 and 13.5 $\mu$m), due to contribution from quintet C-H wag, that compare well with minor features at 14.2 and 13.5 $\mu$m observed in several astrophysical objects. Just as in plain PAHs, the C-C stretch vibrational modes ($\sim$1600 cm$^{-1}$) have negligible intensity in neutrals, but the cations of all phenyl-PAHs exhibit significantly strong phenyl group C-C stretch peak close to class B type 6.2 $\mu$m astrophysical band. In 2-phenylpyrene, it is the neutral molecule that exhibits this strong feature in the 6.2 $\mu$m range along with other features that match with sub-features at 6.66 and 6.9 $\mu$m, observed in astronomical spectra of some late type objects. The substitution of phenyl side group at solo position shifts the C-C stretch mode of parent PAH close to the region of 6.2 $\mu$m astrophysical band. The results indicate possibility of phenyl-PAHs in space and the bottom-up formation of medium sized compact PAHs with phenyl side group in carbon rich cool circumstellar shells. Phenyl-PAHs need to be considered in modelling mid-infrared emission spectra of various astrophysical objects.


title: Convergence Analysis of Stochastic Kriging-Assisted Simulation with Random Covariates

abstract: We consider performing simulation experiments in the presence of covariates. Here, covariates refer to some input information other than system designs to the simulation model that can also affect the system performance. To make decisions, decision makers need to know the covariate values of the problem. Traditionally in simulation-based decision making, simulation samples are collected after the covariate values are known; in contrast, as a new framework, simulation with covariates starts the simulation before the covariate values are revealed, and collects samples on covariate values that might appear later. Then, when the covariate values are revealed, the collected simulation samples are directly used to predict the desired results. This framework significantly reduces the decision time compared to the traditional way of simulation. In this paper, we follow this framework and suppose there are a finite number of system designs. We adopt the metamodel of stochastic kriging (SK) and use it to predict the system performance of each design and the best design. The goal is to study how fast the prediction errors diminish with the number of covariate points sampled. This is a fundamental problem in simulation with covariates and helps quantify the relationship between the offline simulation efforts and the online prediction accuracy. Particularly, we adopt measures of the maximal integrated mean squared error (IMSE) and integrated probability of false selection (IPFS) for assessing errors of the system performance and the best design predictions. Then, we establish convergence rates for the two measures under mild conditions. Last, these convergence behaviors are illustrated numerically using test examples.


title: Inverted Sedimentation of Active Particles in Unbiased ac Fields

abstract: Gaining control over the motion of active particles is crucial for applications ranging from targeted cargo delivery to nanomedicine. While much progress has been made recently to control active motion based on external forces, flows or gradients in concentration or light intensity, which all have a well-defined direction or bias, little is known about how to steer active particles in situations where no permanent bias can be realized. Here, we show that ac fields with a vanishing time average provide an alternative route to steering active particles. We exemplify this route for inertial active particles in a gravitational field, observing that a substantial fraction of them persistently travels in the upward direction upon switching on the ac field, resulting in an inverted sedimentation profile at the top wall of a confining container. Our results offer a generic control principle which could be used in the future to steer active motion, to direct collective behaviors and to purify mixtures.


title: AI-driven non-intrusive uncertainty quantification of advanced nuclear fuels for digital twin-enabling technology

abstract: In response to the urgent need to establish AI/ML-integrated Digital Twin (DT) technology within next-generation nuclear systems, advancements in modeling methods and simulation codes are necessary. The increased complexity of models demands significant computational resources to quantify their uncertainties. To address this challenge, a data-driven non-intrusive uncertainty quantification method via polynomial chaos expansion is introduced as an efficient strategy within the finite element analysis-based fuel performance code BISON. Models of and fuels, alongside SiC/SiC cladding material, were prepared to demonstrate the proposed method. The impact of four independent uncertain input variables on the system output was quantified, requiring fewer than 100 BISON simulations for each model. This approach not only accelerates the modeling and simulation task but also enhances the reliability in the development of DT-enabling technologies.


title: Equality on all #CSP Instances Yields Constraint Function Isomorphism via Interpolation and Intertwiners

abstract: A fundamental result in the study of graph homomorphisms is Lov\'asz's theorem that two graphs are isomorphic if and only if they admit the same number of homomorphisms from every graph. A line of work extending Lov\'asz's result to more general types of graphs was recently capped by Cai and Govorov, who showed that it holds for graphs with vertex and edge weights from an arbitrary field of characteristic 0. In this work, we generalize from graph homomorphism -- a special case of #CSP with a single binary function -- to general #CSP by showing that two sets $\mathcal{F}$ and $\mathcal{G}$ of arbitrary constraint functions are isomorphic if and only if the partition function of any #CSP instance is unchanged when we replace the functions in $\mathcal{F}$ with those in $\mathcal{G}$. We give two very different proofs of this result. First, we demonstrate the power of the simple Vandermonde interpolation technique of Cai and Govorov by extending it to general #CSP. Second, we give a proof using the intertwiners of the automorphism group of a constraint function set, a concept from the representation theory of compact groups. This proof is a generalization of a classical version of the recent proof of the Lov\'asz-type result by Man\v{c}inska and Roberson relating quantum isomorphism and homomorphisms from planar graphs.


title: Open Superstring First Mass Level Effective Lagrangian: Massive Spin-2 in an Electromagnetic Background

abstract: Minimal coupling leads to problems such as loss of causality if one wants to describe charged particles of spin greater than one propagating in a constant electromagnetic background. Regge trajectories in string theory contain such states, so their study may allow us to investigate possible avenues to remedy the pathologies. We present here two explicit forms, related by field redefinitions, of the Lagrangian describing the bosonic states in the first massive level of open superstrings in four dimensions. The first one reduces, when the electromagnetic field is set to zero, to the Fierz-Pauli Lagrangian for the spin-2 mode. The second one is a more compact form which simplifies the derivation of a Fierz-Pauli system of equations of motion and constraints.


title: A Simplified Method of the Assessment of Magnetic Anisotropy of Commonly Used Sapphire Substrates in SQUID Magnetometers

abstract: Solid state wafers are indispensable components in material science as substrates for epitaxial homo- or hetero-structures or carriers for two-dimensional materials. However, a reliable determination of magnetic properties of nanomaterials in volume magnetometry is frequently affected by unexpectedly rich magnetism of these substrates, including significant magnetic anisotropy. Here, we describe a simplified experimental routine of magnetic anisotropy assessment, which we exemplify and validate for epi-ready sapphire wafers from various sources. Both the strength and the sign of magnetic anisotropy is obtained from carefully designed temperature dependent measurements, which mitigate all known pitfalls of volume SQUID magnetometry and are substantially faster than traditional approaches. Our measurements indicate that in all the samples two types of net paramagnetic contributions coexists with diamagnetism. The first one can be as strong as 10% of the base diamagnetism of sapphire [-3.7(1) x 10-7 emu/gOe], and, when exceeds 2% mark, it exhibits pronounced magnetic anisotropy with the easy axis oriented perpendicularly to the face of c-plane wafers. The other is much weaker but exhibit ferromagnetic-like appearance. These findings form an important message that non-standard magnetism of common substrates can significantly influence the results of precise magnetometry of nanoscale materials and its existence must be taken for granted by both industry and academia.


title: Open Superstring First Mass Level Effective Lagrangian: Massive Spin-3/2 Fields in an Electromagnetic Background

abstract: We derive fully explicit equations of motion, and the associated set of constraints, describing the propagation in a flat space-time of a charged spin-3/2 massive state in a constant electromagnetic background. For this purpose, we provide the Lagrangian for the physical fermionic fields in the first massive level of the open superstring. We first write a compact Lagrangian, allowing a simple derivation of the equations of motion and constraints. Then another one is given that yields directly a decoupled system of equations, though the fields of different spins look coupled at the level of the Lagrangian.


title: To be or not to be stable, that is the question: understanding neural networks for inverse problems

abstract: The solution of linear inverse problems arising, for example, in signal and image processing is a challenging problem since the ill-conditioning amplifies, in the solution, the noise present in the data. Recently introduced algorithms based on deep learning overwhelm the more traditional model-based approaches in performance, but they typically suffer from instability with respect to data perturbation. In this paper, we theoretically analyze the trade-off between stability and accuracy of neural networks, when used to solve linear imaging inverse problems for not under-determined cases. Moreover, we propose different supervised and unsupervised solutions to increase the network stability and maintain a good accuracy, by means of regularization properties inherited from a model-based iterative scheme during the network training and pre-processing stabilizing operator in the neural networks. Extensive numerical experiments on image deblurring confirm the theoretical results and the effectiveness of the proposed deep learning-based approaches to handle noise on the data.


title: Analogs of Rashba-Edelstein effect from density functional theory

abstract: Studies of structure-property relationships in spintronics are essential for the design of materials that can fill specific roles in devices. For example, materials with low symmetry allow unconventional configurations of charge-to-spin conversion which can be used to generate efficient spin-orbit torques. Here, we explore the relationship between crystal symmetry and geometry of the Rashba-Edelstein effect (REE) that causes spin accumulation in response to an applied electric current. Based on a symmetry analysis performed for 230 crystallographic space groups, we identify classes of materials that can host conventional or collinear REE. Although transverse spin accumulation is commonly associated with the so-called 'Rashba materials', we show that the presence of specific spin texture does not easily translate to the configuration of REE. More specifically, bulk crystals may simultaneously host different types of spin-orbit fields, depending on the crystallographic point group and the symmetry of the specific $k$-vector, which, averaged over the Brillouin zone, determine the direction and magnitude of the induced spin accumulation. To explore the connection between crystal symmetry, spin texture, and the magnitude of REE, we perform first-principles calculations for representative materials with different symmetries. We believe that our results will be helpful for further computational and experimental studies, as well as the design of spintronics devices.


title: Hand Guided High Resolution Feature Enhancement for Fine-Grained Atomic Action Segmentation within Complex Human Assemblies

abstract: Due to the rapid temporal and fine-grained nature of complex human assembly atomic actions, traditional action segmentation approaches requiring the spatial (and often temporal) down sampling of video frames often loose vital fine-grained spatial and temporal information required for accurate classification within the manufacturing domain. In order to fully utilise higher resolution video data (often collected within the manufacturing domain) and facilitate real time accurate action segmentation - required for human robot collaboration - we present a novel hand location guided high resolution feature enhanced model. We also propose a simple yet effective method of deploying offline trained action recognition models for real time action segmentation on temporally short fine-grained actions, through the use of surround sampling while training and temporally aware label cleaning at inference. We evaluate our model on a novel action segmentation dataset containing 24 (+background) atomic actions from video data of a real world robotics assembly production line. Showing both high resolution hand features as well as traditional frame wide features improve fine-grained atomic action classification, and that though temporally aware label clearing our model is capable of surpassing similar encoder/decoder methods, while allowing for real time classification.


title: Carrollian Motion in Magnetized Black Hole Horizons

abstract: We revisit the motion of massless particles with anyonic spin in the horizon of Kerr--Newman geometry. As recently shown, such particles can move within the horizon of the black hole due to the coupling of charges associated with a 2-parametric central extension of the 2-dimensional Carroll group to the magnetic field generated by the black hole -- the so called "anyonic spin-Hall effect". We show that the previously computed magnetic field is not invariant under Carroll diffeomorphisms and find another result which respects these symmetries of the horizon. We also consider a more astrophysically relevant case of a (weakly charged) rotating back hole placed in a uniform magnetic field, which could, for instance, be induced by the surrounding plasma. We show that a qualitatively similar magnetic field assisted anyonic spin-Hall effect takes place, even in the absence of black hole rotation. The theoretical possibility of a motion induced by a magnetic monopole is also studied.


title: FPT: a Fixed-Point Accelerator for Torus Fully Homomorphic Encryption

abstract: Fully Homomorphic Encryption is a technique that allows computation on encrypted data. It has the potential to change privacy considerations in the cloud, but computational and memory overheads are preventing its adoption. TFHE is a promising Torus-based FHE scheme that relies on bootstrapping, the noise-removal tool invoked after each encrypted logical/arithmetical operation. We present FPT, a Fixed-Point FPGA accelerator for TFHE bootstrapping. FPT is the first hardware accelerator to exploit the inherent noise present in FHE calculations. Instead of double or single-precision floating-point arithmetic, it implements TFHE bootstrapping entirely with approximate fixed-point arithmetic. Using an in-depth analysis of noise propagation in bootstrapping FFT computations, FPT is able to use noise-trimmed fixed-point representations that are up to 50% smaller than prior implementations. FPT is built as a streaming processor inspired by traditional streaming DSPs: it instantiates directly cascaded high-throughput computational stages, with minimal control logic and routing networks. We explore throughput-balanced compositions of streaming kernels with a user-configurable streaming width in order to construct a full bootstrapping pipeline. Our approach allows 100% utilization of arithmetic units and requires only a small bootstrapping key cache, enabling an entirely compute-bound bootstrapping throughput of 1 BS / 35us. This is in stark contrast to the classical CPU approach to FHE bootstrapping acceleration, which is typically constrained by memory and bandwidth. FPT is implemented and evaluated as a bootstrapping FPGA kernel for an Alveo U280 datacenter accelerator card. FPT achieves two to three orders of magnitude higher bootstrapping throughput than existing CPU-based implementations, and 2.5x higher throughput compared to recent ASIC emulation experiments.


title: Helicity conservation in perfect electromagnetic and chiral fluids

abstract: We derive the total helicity conservation law for a perfect electromagnetic relativistic fluid. As the conservation equation contains the derivative of the magnetic helicity, it can be reshaped as having the same form as the chiral anomaly equation if the fluid is isentropic. We also take the non-relativistic limit of the helicity conservation law, and check the agreement with the Abanov-Wiegmann equation at zero temperature, but we provide further corrections in the more general case. We then consider chiral fluids, when the chiral anomaly equation has to be incorporated in the hydrodynamical equations, together with other chiral transport effects which exist in the presence of a chiral imbalance. We finally study how the chiral imbalance modifies the helicity conservation law.


title: Certified data-driven physics-informed greedy auto-encoder simulator

abstract: A parametric adaptive greedy Latent Space Dynamics Identification (gLaSDI) framework is developed for accurate, efficient, and certified data-driven physics-informed greedy auto-encoder simulators of high-dimensional nonlinear dynamical systems. In the proposed framework, an auto-encoder and dynamics identification models are trained interactively to discover intrinsic and simple latent-space dynamics. To effectively explore the parameter space for optimal model performance, an adaptive greedy sampling algorithm integrated with a physics-informed error indicator is introduced to search for optimal training samples on the fly, outperforming the conventional predefined uniform sampling. Further, an efficient k-nearest neighbor convex interpolation scheme is employed to exploit local latent-space dynamics for improved predictability. Numerical results demonstrate that the proposed method achieves 121 to 2,658x speed-up with 1 to 5% relative errors for radial advection and 2D Burgers dynamical problems.


title: Self-similar blow up for energy supercritical semilinear wave equation

abstract: We analyse the energy supercritical semilinear wave equation $$\Phi_{tt}-\Delta\Phi-|\Phi|^{p-1}\Phi=0$$ in $\mathbb R^d$ space. We first prove in a suitable regime of parameters the existence of a countable family of self similar profiles which bifurcate from the soliton solution. We then prove the non radial finite codimensional stability of these profiles by adapting the functional setting of arXiv:1912.11005.


title: Azumaya loci of skein algebras

abstract: We compute the Azumaya loci of Kauffman-bracket skein algebras of closed surfaces at odd roots of unity and provide partial results for open surfaces as well. As applications, we give an alternative definition of the projective representations of the Torelli groups derived from non-semisimple TQFTs and we strengthen a result by Frohman-Kania Bartoszynska-L\^e about the dimensions of some quotients of the skein modules of closed 3-manifolds.


title: Normalized ground states for a biharmonic Choquard equation with exponential critical growth

abstract: In this paper, we consider the normalized ground state solution for the following biharmonic Choquard type problem \begin{align*} \begin{split} \left\{ \begin{array}{ll} \Delta^2u-\beta\Delta u=\lambda u+(I_\mu*F(u))f(u), \quad\mbox{in}\ \ \mathbb{R}^4, \displaystyle\int_{\mathbb{R}^4}|u|^2dx=c^2,\quad u\in H^2(\mathbb{R}^4), \end{array} \right. \end{split} \end{align*} where $\beta\geq0$, $c>0$, $\lambda\in \mathbb{R}$, $I_\mu=\frac{1}{|x|^\mu}$ with $\mu\in (0,4)$, $F(u)$ is the primitive function of $f(u)$, and $f$ is a continuous function with exponential critical growth in the sense of the Adams inequality. By using a minimax principle based on the homotopy stable family, we obtain that the above problem admits at least one ground state normalized solution.


title: CasFusionNet: A Cascaded Network for Point Cloud Semantic Scene Completion by Dense Feature Fusion

abstract: Semantic scene completion (SSC) aims to complete a partial 3D scene and predict its semantics simultaneously. Most existing works adopt the voxel representations, thus suffering from the growth of memory and computation cost as the voxel resolution increases. Though a few works attempt to solve SSC from the perspective of 3D point clouds, they have not fully exploited the correlation and complementarity between the two tasks of scene completion and semantic segmentation. In our work, we present CasFusionNet, a novel cascaded network for point cloud semantic scene completion by dense feature fusion. Specifically, we design (i) a global completion module (GCM) to produce an upsampled and completed but coarse point set, (ii) a semantic segmentation module (SSM) to predict the per-point semantic labels of the completed points generated by GCM, and (iii) a local refinement module (LRM) to further refine the coarse completed points and the associated labels from a local perspective. We organize the above three modules via dense feature fusion in each level, and cascade a total of four levels, where we also employ feature fusion between each level for sufficient information usage. Both quantitative and qualitative results on our compiled two point-based datasets validate the effectiveness and superiority of our CasFusionNet compared to state-of-the-art methods in terms of both scene completion and semantic segmentation. The codes and datasets are available at: https://github.com/JinfengX/CasFusionNet.


title: Multitask Learning for Low Resource Spoken Language Understanding

abstract: We explore the benefits that multitask learning offer to speech processing as we train models on dual objectives with automatic speech recognition and intent classification or sentiment classification. Our models, although being of modest size, show improvements over models trained end-to-end on intent classification. We compare different settings to find the optimal disposition of each task module compared to one another. Finally, we study the performance of the models in low-resource scenario by training the models with as few as one example per class. We show that multitask learning in these scenarios compete with a baseline model trained on text features and performs considerably better than a pipeline model. On sentiment classification, we match the performance of an end-to-end model with ten times as many parameters. We consider 4 tasks and 4 datasets in Dutch and English.


title: Modelling plausible scenarios for the Omicron SARS-CoV-2 variant from early-stage surveillance

abstract: In this paper we used an adapted version of an existing simulation model of SARS-CoV-2 transmission in Scotland to investigate the rise of the Omicron variant of concern, in order to evaluate plausible scenarios for transmission advantage and vaccine immune escape relative to the Delta variant. We also explored possible outcomes of different levels of imposed non-pharmaceutical intervention. The initial results of these scenarios were used to inform the Scottish Government in the early outbreak stages of the Omicron variant. We use an explicitly spatial agent-based simulation model combined with spatially fine-grained COVID-19 observation data from Public Health Scotland. Using the model with parameters fit over the Delta variant epidemic, some initial assumptions about Omicron transmission advantage and vaccine escape, and a simple growth rate fitting procedure, we were able to capture the initial outbreak dynamics for Omicron. We also find the modelled dynamics hold up to retrospective scrutiny. We found that the modelled imposition of extra non-pharmaceutical interventions planned by the Scottish Government at the time would likely have little effect in light of the transmission advantage held by the Omicron variant and the fact that the planned interventions would have occurred too late in the outbreak's trajectory. Finally, we found that any assumptions made about the projected distribution of vaccines in the model population had little bearing on the outcome, in terms of outbreak size and timing, rather that the detailed landscape of immunity prior to the outbreak was of far greater importance.


title: Control and Morphology Optimization of Passive Asymmetric Structures for Robotic Swimming

abstract: Aquatic creatures exhibit remarkable adaptations of their body to efficiently interact with the surrounding fluid. The tight coupling between their morphology, motion, and the environment are highly complex but serves as a valuable example when creating biomimetic structures in soft robotic swimmers. We focus on the use of asymmetry in structures to aid thrust generation and maneuverability. Designs of structures with asymmetric profiles are explored so that we can use morphology to `shape' the thrust generation. We propose combining simple simulation with automatic data-driven methods to explore their interactions with the fluid. The asymmetric structure with its co-optimized morphology and controller is able to produce 2.5 times the useful thrust compared to a baseline symmetric structure. Furthermore these asymmetric feather-like arms are validated on a robotic system capable of forward swimming motion while the same robot fitted with a plain feather is not able to move forward.


title: Fast M\"obius and Zeta Transforms

abstract: M\"obius inversion of functions on partially ordered sets (posets) $\mathcal{P}$ is a classical tool in combinatorics. For finite posets it consists of two, mutually inverse, linear transformations called zeta and M\"obius transform, respectively. In this paper we provide novel fast algorithms for both that require $O(nk)$ time and space, where $n = |\mathcal{P}|$ and $k$ is the width (length of longest antichain) of $\mathcal{P}$, compared to $O(n^2)$ for a direct computation. Our approach assumes that $\mathcal{P}$ is given as directed acyclic graph (DAG) $(\mathcal{E}, \mathcal{P})$. The algorithms are then constructed using a chain decomposition for a one time cost of $O(|\mathcal{E}| + |\mathcal{E}_\text{red}| k)$, where $\mathcal{E}_\text{red}$ is the number of edges in the DAG's transitive reduction. We show benchmarks with implementations of all algorithms including parallelized versions. The results show that our algorithms enable M\"obius inversion on posets with millions of nodes in seconds if the defining DAGs are sufficiently sparse.


title: A brief introduction to the mathematics of Landau damping

abstract: In these short, rather informal, expository notes I review the current state of the field regarding the mathematics of Landau damping, based on lectures given at the CIRM Research School on Kinetic Theory, November 14--18, 2022. These notes are mainly on Vlasov-Poisson in $(x,v) \in \mathbb T^d \times \mathbb R^d$ however a brief discussion of the important case of $(x,v) \in \mathbb R^d \times \mathbb R^d$ is included at the end. The focus will be nonlinear and these notes include a proof of Landau damping on $(x,v) \in \mathbb T^d \times \mathbb R^d$ in the Vlasov--Poisson equations meant for graduate students, post-docs, and others to learn the basic ideas of the methods involved. The focus is also on the mathematical side, and so most references are from the mathematical literature with only a small number of the many important physics references included. A few open problems are included at the end. These notes are not currently meant for publication so they may not be perfectly proof-read and the reference list might not be complete. If there is an error or you have some references which you think should be included, feel free to send me an email and I will correct it when I get a chance.


title: Reduction Algorithms for Persistence Diagrams of Networks: CoralTDA and PrunIT

abstract: Topological data analysis (TDA) delivers invaluable and complementary information on the intrinsic properties of data inaccessible to conventional methods. However, high computational costs remain the primary roadblock hindering the successful application of TDA in real-world studies, particularly with machine learning on large complex networks. Indeed, most modern networks such as citation, blockchain, and online social networks often have hundreds of thousands of vertices, making the application of existing TDA methods infeasible. We develop two new, remarkably simple but effective algorithms to compute the exact persistence diagrams of large graphs to address this major TDA limitation. First, we prove that $(k+1)$-core of a graph $\mathcal{G}$ suffices to compute its $k^{th}$ persistence diagram, $PD_k(\mathcal{G})$. Second, we introduce a pruning algorithm for graphs to compute their persistence diagrams by removing the dominated vertices. Our experiments on large networks show that our novel approach can achieve computational gains up to 95%. The developed framework provides the first bridge between the graph theory and TDA, with applications in machine learning of large complex networks. Our implementation is available at https://github.com/cakcora/PersistentHomologyWithCoralPrunit


title: Undesirable Biases in NLP: Addressing Challenges of Measurement

abstract: As Large Language Models and Natural Language Processing (NLP) technology rapidly develop and spread into daily life, it becomes crucial to anticipate how their use could harm people. One problem that has received a lot of attention in recent years is that this technology has displayed harmful biases, from generating derogatory stereotypes to producing disparate outcomes for different social groups. Although a lot of effort has been invested in assessing and mitigating these biases, our methods of measuring the biases of NLP models have serious problems and it is often unclear what they actually measure. In this paper, we provide an interdisciplinary approach to discussing the issue of NLP model bias by adopting the lens of psychometrics -- a field specialized in the measurement of concepts like bias that are not directly observable. In particular, we will explore two central notions from psychometrics, the construct validity and the reliability of measurement tools, and discuss how they can be applied in the context of measuring model bias. Our goal is to provide NLP practitioners with methodological tools for designing better bias measures, and to inspire them more generally to explore tools from psychometrics when working on bias measurement tools.


title: Formation of a barred galaxy in a major merger: The role of AGN feedback

abstract: Among the many processes involved in galaxy evolution, those of bar formation, quenching, and feedback from an active galactic nucleus (AGN) seem to be connected, however, the nature of these relations remains unclear. In this work, we aim to elucidate them by studying the formation of a barred galaxy in a major merger of two disks in the IllustrisTNG simulations. This merger involves a coalescence of two supermassive black holes and a sudden switch to the kinetic mode of AGN feedback implemented in the simulations, which leads to the removal of the gas from the inner part of the galaxy, followed by quenching of star formation and the formation of the bar. This causal relation between AGN feedback and bar formation explains a number of correlations observed in the data, such as the higher frequency of bars among red spirals and the presence of central gas holes in barred galaxies. In such a picture, the bars do not feed the black holes, so their presence does not increase the AGN strength, and they do not cause quenching. However, bars do form in regions characterized by a low gas fraction resulting from AGN feedback. This scenario is probably applicable to many barred galaxies, not only those formed in major mergers.


title: Towards an IR finite S-matrix in the flat limit of AdS/CFT

abstract: Asymptotic Fock spaces lead to IR divergences in S-matrices. The issue can be traced back to the assumption of asymptotic decoupling, and its relaxation leads to Faddeev-Kulish states and an IR-finite S-matrix. In this paper we initiate the exploration of these states in the context of the flat limit of AdS/CFT. We construct asymptotic states as flat limits of fields that interact with the electro-magnetic field in AdS, and provide a reconstruction in terms of the dual CFT operators.


title: A small-correlation expansion to quantify information in noisy sensory systems

abstract: Neural networks encode information through their collective spiking activity in response to external stimuli. This population response is noisy and strongly correlated, with complex interplay between correlations induced by the stimulus, and correlations caused by shared noise. Understanding how these correlations affect information transmission has so far been limited to pairs or small groups of neurons, because the curse of dimensionality impedes the evaluation of mutual information in larger populations. Here we develop a small-correlation expansion to compute the stimulus information carried by a large population of neurons, yielding interpretable analytical expressions in terms of the neurons' firing rates and pairwise correlations. We validate the approximation on synthetic data and demonstrate its applicability to electrophysiological recordings in the vertebrate retina, allowing us to quantify the effects of noise correlations between neurons and of memory in single neurons.


title: Analytic two-loop master integrals for $tW$ production at hadron colliders. Part II

abstract: We present analytic results of the two-loop master integrals for hadronic $tW$ production that contain two massive propagators. For the planar integral family, we succeed in constructing the canonical basis, so the results are written in terms of multiple polylogarithms. The master integrals in the non-planar integral families have been calculated by Taylor series expansion around $m_W^2=0$. Even with this simplification, there are multiple square roots involved in the differential equations, which can not be rationalized simultaneously. We find that a proper linear combination of the integral basis alleviates the problem so that the results are expressed by multiple polylogarithms or single integrals over multiple polylogarithms up to weight four. These single integrals can be evaluated using the classic Newton-Cotes formulas. Our analytic results of master integrals would be used in the computation of the two-loop amplitudes for $tW$ production.


title: The Wade Formula and the oil price fluctuation: An Optimal Control Theory approach

abstract: By considering the Wade Formula, we propose a model to study the evolution of the oil price per barrel. Our model shows that the policy of diversification of the energy is to be supported. This model is proposed to see how it is possible to control parameters so that the oil price should decrease.


title: Trust Your $\nabla$: Gradient-based Intervention Targeting for Causal Discovery

abstract: Inferring causal structure from data is a challenging task of fundamental importance in science. Observational data are often insufficient to identify a system's causal structure uniquely. While conducting interventions (i.e., experiments) can improve the identifiability, such samples are usually challenging and expensive to obtain. Hence, experimental design approaches for causal discovery aim to minimize the number of interventions by estimating the most informative intervention target. In this work, we propose a novel Gradient-based Intervention Targeting method, abbreviated GIT, that 'trusts' the gradient estimator of a gradient-based causal discovery framework to provide signals for the intervention acquisition function. We provide extensive experiments in simulated and real-world datasets and demonstrate that GIT performs on par with competitive baselines, surpassing them in the low-data regime.


title: On the existence of the NS5-brane limit of the plane wave matrix model

abstract: We consider a double scaling limit of the plane wave matrix model (PWMM), in which the gravity dual geometry of PWMM reduces to a class of spherical NS5-brane solutions. We identify the form of the scaling limit for the dual geometry of PWMM around a general vacuum and then translate the limit into the field theoretic language. We also show that the limit indeed exists at least in a certain planar 1/4-BPS sector of PWMM by using the localization computation analytically. In addition, we employ the hybrid Monte Carlo method to compute the matrix integral obtained by the localization method, near the parameter region where the supergravity approximation is valid. Our numerical results, which are considered to be the first computation of quantum loop correction to the Lin-Maldacena geometry, suggest that the double scaling limit exists beyond the planar sector.


title: Hadrons at high temperature: an update from the FASTSUM collaboration

abstract: We present the most recent results from the FASTSUM collaboration for hadron properties at high temperature. This includes the temperature dependence of the light and charmed meson and baryon spectrum, as well as properties of heavy quarkonia. The results are obtained using anisotropic lattices with a fixed scale approach. We also present the status of our next generation gauge ensembles.


title: Emotion-guided Cross-domain Fake News Detection using Adversarial Domain Adaptation

abstract: Recent works on fake news detection have shown the efficacy of using emotions as a feature or emotions-based features for improved performance. However, the impact of these emotion-guided features for fake news detection in cross-domain settings, where we face the problem of domain shift, is still largely unexplored. In this work, we evaluate the impact of emotion-guided features for cross-domain fake news detection, and further propose an emotion-guided, domain-adaptive approach using adversarial learning. We prove the efficacy of emotion-guided models in cross-domain settings for various combinations of source and target datasets from FakeNewsAMT, Celeb, Politifact and Gossipcop datasets.


title: MRHS multigrid solver for Wilson-clover fermions

abstract: We describe our implementation of a multigrid solver for Wilson-clover fermions, which increases parallelism by solving for multiple right-hand sides (MRHS) simultaneously. The solver is based on Grid and thus runs on all computing architectures supported by the Grid framework. We present detailed benchmarks of the relevant kernels, such as hopping and clover term on the various multigrid levels, intergrid operators, and reductions. The benchmarks were performed on the JUWELS Booster system at J\"ulich Supercomputing Centre, which is based on Nvidia A100 GPUs. For example, solving a $24^3\times128$ lattice on 16 GPUs, the overall speedup obtained solely from MRHS is about 10x.


title: Cooperative Collision Avoidance in Mobile Robots using Dynamic Vortex Potential Fields

abstract: In this paper, the collision avoidance problem for non-holonomic robots moving at constant linear speeds in the 2-D plane is considered. The maneuvers to avoid collisions are designed using dynamic vortex potential fields (PFs) and their negative gradients; this formulation leads to a reciprocal behaviour between the robots, denoted as being cooperative. The repulsive field is selected as a function of the velocity and position of a robot relative to another and introducing vorticity in its definition guarantees the absence of local minima. Such a repulsive field is activated by a robot only when it is on a collision path with other mobile robots or stationary obstacles. By analysing the kinematics-based engagement dynamics in polar coordinates, it is shown that a cooperative robot is able to avoid collisions with non-cooperating robots, such as stationary and constant velocity robots, as well as those actively seeking to collide with it. Conditions on the PF parameters are identified that ensure collision avoidance for all cases. Experimental results acquired using a mobile robot platform support the theoretical contributions.


title: From Hermitian critical to non-Hermitian point-gapped phases

abstract: Recent years have seen a growing interest in topological phases beyond the standard paradigm of gapped, isolated systems. One recent direction is to explore topological features in non-hermitian systems that are commonly used as effective descriptions of open systems. Another direction explores the fate of topology at critical points, where the bulk gap collapses. One interesting observation is that both systems, though very different, share certain topological features. For instance, both systems can host half-integer quantized winding numbers and have very similar entanglement spectra. Here, we make this similarity explicit by showing the equivalence of topological invariants in critical systems with non-hermitian point-gap phases, in the presence of sublattice symmetry. This correspondence may carry over to other features beyond topological invariants, and may even be helpful to deepen our understanding of non-hermitian systems using our knowledge of critical systems, and vice versa.


title: Entanglement properties of random invariant quantum states

abstract: Entanglement properties of random multipartite quantum states which are invariant under global SU($d$) action are investigated. The random states live in the tensor power of an irreducible representation of SU($d$). We calculate and analyze the expectation and fluctuation of the second-order R\'enyi entanglement measure of the random invariant and near-invariant states in high dimension, and reveal the phenomenon of concentration of measure the random states exhibit. We show that with high probability a random SU($d$)-invariant state is close to being maximally entangled with respect to any bipartite cut as the dimension of individual system goes to infinity. We also show that this generic entanglement property of random SU(2)-invariant state is robust to arbitrarily finite disturbation.


title: Improving Multi-task Learning via Seeking Task-based Flat Regions

abstract: Multi-Task Learning (MTL) is a widely-used and powerful learning paradigm for training deep neural networks that allows learning more than one objective by a single backbone. Compared to training tasks separately, MTL significantly reduces computational costs, improves data efficiency, and potentially enhances model performance by leveraging knowledge across tasks. Hence, it has been adopted in a variety of applications, ranging from computer vision to natural language processing and speech recognition. Among them, there is an emerging line of work in MTL that focuses on manipulating the task gradient to derive an ultimate gradient descent direction to benefit all tasks. Despite achieving impressive results on many benchmarks, directly applying these approaches without using appropriate regularization techniques might lead to suboptimal solutions on real-world problems. In particular, standard training that minimizes the empirical loss on the training data can easily suffer from overfitting to low-resource tasks or be spoiled by noisy-labeled ones, which can cause negative transfer between tasks and overall performance drop. To alleviate such problems, we propose to leverage a recently introduced training method, named Sharpness-aware Minimization, which can enhance model generalization ability on single-task learning. Accordingly, we present a novel MTL training methodology, encouraging the model to find task-based flat minima for coherently improving its generalization capability on all tasks. Finally, we conduct comprehensive experiments on a variety of applications to demonstrate the merit of our proposed approach to existing gradient-based MTL methods, as suggested by our developed theory.


title: Estimating Regression Predictive Distributions with Sample Networks

abstract: Estimating the uncertainty in deep neural network predictions is crucial for many real-world applications. A common approach to model uncertainty is to choose a parametric distribution and fit the data to it using maximum likelihood estimation. The chosen parametric form can be a poor fit to the data-generating distribution, resulting in unreliable uncertainty estimates. In this work, we propose SampleNet, a flexible and scalable architecture for modeling uncertainty that avoids specifying a parametric form on the output distribution. SampleNets do so by defining an empirical distribution using samples that are learned with the Energy Score and regularized with the Sinkhorn Divergence. SampleNets are shown to be able to well-fit a wide range of distributions and to outperform baselines on large-scale real-world regression tasks.


title: Asynchronous Computation of Tube-based Model Predictive Control

abstract: Tube-based model predictive control (MPC) methods bound deviations from a nominal trajectory due to uncertainties in order to ensure constraint satisfaction. While techniques that compute the tubes online reduce conservativeness and increase performance, they suffer from high and potentially prohibitive computational complexity. This paper presents an asynchronous computation mechanism for system level tube-MPC (SLTMPC), a recently proposed tube-based MPC method which optimizes over both the nominal trajectory and the tubes. Computations are split into a primary and a secondary process, computing the nominal trajectory and the tubes, respectively. This enables running the primary process at a high frequency and moving the computationally complex tube computations to the secondary process. We show that the secondary process can continuously update the tubes, while retaining recursive feasibility of the primary process.


title: Lightweight Event-based Optical Flow Estimation via Iterative Deblurring

abstract: Inspired by frame-based methods, state-of-the-art event-based optical flow networks rely on the explicit construction of correlation volumes, which are expensive to compute and store, rendering them unsuitable for robotic applications with limited compute and energy budget. Moreover, correlation volumes scale poorly with resolution, prohibiting them from estimating high-resolution flow. We observe that the spatiotemporally continuous traces of events provide a natural search direction for seeking pixel correspondences, obviating the need to rely on gradients of explicit correlation volumes as such search directions. We introduce IDNet (Iterative Deblurring Network), a lightweight yet high-performing event-based optical flow network directly estimating flow from event traces without using correlation volumes. We further propose two iterative update schemes: "ID" which iterates over the same batch of events, and "TID" which iterates over time with streaming events in an online fashion. Our top-performing ID model sets a new state of the art on DSEC benchmark. Meanwhile, the base ID model is competitive with prior arts while using 80% fewer parameters, consuming 20x less memory footprint and running 40% faster on the NVidia Jetson Xavier NX. Furthermore, the TID model is even more efficient offering an additional 5x faster inference speed and 8 ms ultra-low latency at the cost of only a 9% performance drop, making it the only model among current literature capable of real-time operation while maintaining decent performance.


title: Question-type Identification for Academic Questions in Online Learning Platform

abstract: Online learning platforms provide learning materials and answers to students' academic questions by experts, peers, or systems. This paper explores question-type identification as a step in content understanding for an online learning platform. The aim of the question-type identifier is to categorize question types based on their structure and complexity, using the question text, subject, and structural features. We have defined twelve question-type classes, including Multiple-Choice Question (MCQ), essay, and others. We have compiled an internal dataset of students' questions and used a combination of weak-supervision techniques and manual annotation. We then trained a BERT-based ensemble model on this dataset and evaluated this model on a separate human-labeled test set. Our experiments yielded an F1-score of 0.94 for MCQ binary classification and promising results for 12-class multilabel classification. We deployed the model in our online learning platform as a crucial enabler for content understanding to enhance the student learning experience.


title: Limit shapes for skew Howe duality

abstract: We study large random partitions boxed into a rectangle and coming from skew Howe duality, or alternatively from dual Schur measures. As the sides of the rectangle go to infinity, we obtain: 1) limit shape results for the profiles generalizing the Vershik--Kerov--Logan--Shepp curve; and 2) universal edge asymptotic results for the first parts in the form of the Tracy--Widom distribution, as well as less-universal critical regime results introduced by Gravner, Tracy and Widom. We do this for a large class of Schur parameters going beyond the Plancherel or principal specializations previously studied in the literature, parametrized by two real valued functions $f$ and $g$. Connections to a Bernoulli model of (last passage) percolation are explored.


title: Probabilistic Time Series Forecasting for Adaptive Monitoring in Edge Computing Environments

abstract: With increasingly more computation being shifted to the edge of the network, monitoring of critical infrastructures, such as intermediate processing nodes in autonomous driving, is further complicated due to the typically resource-constrained environments. In order to reduce the resource overhead on the network link imposed by monitoring, various methods have been discussed that either follow a filtering approach for data-emitting devices or conduct dynamic sampling based on employed prediction models. Still, existing methods are mainly requiring adaptive monitoring on edge devices, which demands device reconfigurations, utilizes additional resources, and limits the sophistication of employed models. In this paper, we propose a sampling-based and cloud-located approach that internally utilizes probabilistic forecasts and hence provides means of quantifying model uncertainties, which can be used for contextualized adaptations of sampling frequencies and consequently relieves constrained network resources. We evaluate our prototype implementation for the monitoring pipeline on a publicly available streaming dataset and demonstrate its positive impact on resource efficiency in a method comparison.


title: A Proof of Kirchhoff's First Law for Hyperbolic Conservation Laws on Networks

abstract: Networks are essential models in many applications such as information technology, chemistry, power systems, transportation, neuroscience, and social sciences. In light of such broad applicability, a general theory of dynamical systems on networks may capture shared concepts, and provide a setting for deriving abstract properties. To this end, we develop a calculus for networks modeled as abstract metric spaces and derive an analog of Kirchhoff's first law for hyperbolic conservation laws. In dynamical systems on networks, Kirchhoff's first law connects the study of abstract global objects, and that of a computationally-beneficial edgewise-Euclidean perspective by stating its equivalence. In particular, our results show that hyperbolic conservation laws on networks can be stated without explicit Kirchhoff-type boundary conditions.


title: Computational multiscale methods for nondivergence-form elliptic partial differential equations

abstract: This paper proposes novel computational multiscale methods for linear second-order elliptic partial differential equations in nondivergence-form with heterogeneous coefficients satisfying a Cordes condition. The construction follows the methodology of localized orthogonal decomposition (LOD) and provides operator-adapted coarse spaces by solving localized cell problems on a fine scale in the spirit of numerical homogenization. The degrees of freedom of the coarse spaces are related to nonconforming and mixed finite element methods for homogeneous problems. The rigorous error analysis of one exemplary approach shows that the favorable properties of the LOD methodology known from divergence-form PDEs, i.e., its applicability and accuracy beyond scale separation and periodicity, remain valid for problems in nondivergence-form.


title: Deep Demosaicing for Polarimetric Filter Array Cameras

abstract: Polarisation Filter Array (PFA) cameras allow the analysis of light polarisation state in a simple and cost-effective manner. Such filter arrays work as the Bayer pattern for colour cameras, sharing similar advantages and drawbacks. Among the others, the raw image must be demosaiced considering the local variations of the PFA and the characteristics of the imaged scene. Non-linear effects, like the cross-talk among neighbouring pixels, are difficult to explicitly model and suggest the potential advantage of a data-driven learning approach. However, the PFA cannot be removed from the sensor, making it difficult to acquire the ground-truth polarization state for training. In this work we propose a novel CNN-based model which directly demosaics the raw camera image to a per-pixel Stokes vector. Our contribution is twofold. First, we propose a network architecture composed by a sequence of Mosaiced Convolutions operating coherently with the local arrangement of the different filters. Second, we introduce a new method, employing a consumer LCD screen, to effectively acquire real-world data for training. The process is designed to be invariant by monitor gamma and external lighting conditions. We extensively compared our method against algorithmic and learning-based demosaicing techniques, obtaining a consistently lower error especially in terms of polarisation angle.


title: Mellin-Barnes Integrals: A Primer on Particle Physics Applications

abstract: We discuss the Mellin-Barnes representation of complex multidimensional integrals. Experiments frontiered by the High-Luminosity Large Hadron Collider at CERN and future collider projects demand the development of computational methods to achieve the theoretical precision required by experimental setups. In this regard, performing higher-order calculations in perturbative quantum field theory is of paramount importance. The Mellin-Barnes integrals technique has been successfully applied to the analytic and numerical analysis of integrals connected with virtual and real higher-order perturbative corrections to particle scattering. Easy-to-follow examples with the supplemental online material introduce the reader to the construction and the analytic, approximate, and numeric solution of Mellin-Barnes integrals in Euclidean and Minkowskian kinematic regimes. It also includes an overview of the state-of-the-art software packages for manipulating and evaluating Mellin-Barnes integrals. These lecture notes are for advanced students and young researchers to master the theoretical background needed to perform perturbative quantum field theory calculations.


title: On Pitfalls of Measuring Occlusion Robustness through Data Distortion

abstract: Over the past years, the crucial role of data has largely been shadowed by the field's focus on architectures and training procedures. We often cause changes to the data without being aware of their wider implications. In this paper we show that distorting images without accounting for the artefacts introduced leads to biased results when establishing occlusion robustness. To ensure models behave as expected in real-world scenarios, we need to rule out the impact added artefacts have on evaluation. We propose a new approach, iOcclusion, as a fairer alternative for applications where the possible occluders are unknown.


title: Explainable Model-Agnostic Similarity and Confidence in Face Verification

abstract: Recently, face recognition systems have demonstrated remarkable performances and thus gained a vital role in our daily life. They already surpass human face verification accountability in many scenarios. However, they lack explanations for their predictions. Compared to human operators, typical face recognition network system generate only binary decisions without further explanation and insights into those decisions. This work focuses on explanations for face recognition systems, vital for developers and operators. First, we introduce a confidence score for those systems based on facial feature distances between two input images and the distribution of distances across a dataset. Secondly, we establish a novel visualization approach to obtain more meaningful predictions from a face recognition system, which maps the distance deviation based on a systematic occlusion of images. The result is blended with the original images and highlights similar and dissimilar facial regions. Lastly, we calculate confidence scores and explanation maps for several state-of-the-art face verification datasets and release the results on a web platform. We optimize the platform for a user-friendly interaction and hope to further improve the understanding of machine learning decisions. The source code is available on GitHub, and the web platform is publicly available at http://explainable-face-verification.ey.r.appspot.com.


title: Black hole information recovery from gravitational waves

abstract: We study the classical and quantum black hole information in gravitational waves from a black hole's history. We review the necessary concepts regarding quantum information in many-body systems to motivate information retrieval and content in gravitational waves. We then show the first step in an optimal information retrieval strategy is to search for information in gravitational waves, compared to searching for correlations in Hawking radiation. We argue a large portion of the information of the initial collapsing state may be in the gravitational waves. Using the Zerilli equation for particles falling radially into Schwarzschild black holes, we then describe a method to retrieve full classical information about infalling sources, including masses, infall times and angles.


title: CycleGANWM: A CycleGAN watermarking method for ownership verification

abstract: Due to the proliferation and widespread use of deep neural networks (DNN), their Intellectual Property Rights (IPR) protection has become increasingly important. This paper presents a novel model watermarking method for an unsupervised image-to-image translation (I2IT) networks, named CycleGAN, which leverage the image translation visual quality and watermark embedding. In this method, a watermark decoder is trained initially. Then the decoder is frozen and used to extract the watermark bits when training the CycleGAN watermarking model. The CycleGAN watermarking (CycleGANWM) is trained with specific loss functions and optimized to get a good performance on both I2IT task and watermark embedding. For watermark verification, this work uses statistical significance test to identify the ownership of the model from the extract watermark bits. We evaluate the robustness of the model against image post-processing and improve it by fine-tuning the model with adding data augmentation on the output images before extracting the watermark bits. We also carry out surrogate model attack under black-box access of the model. The experimental results prove that the proposed method is effective and robust to some image post-processing, and it is able to resist surrogate model attack.


title: Quasi-monotone convergence of plurisubharmonic functions

abstract: The complex Monge-Amp\`ere operator has been defined for locally bounded plurisubharmonic functions by Bedford-Taylor in the 80's. This definition has been extended to compact complex manifolds, and to various classes of mildly unbounded quasi-plurisubharmonic functions by various authors. As this operator is not continuous for the $L^{1}$-topology, several stronger topologies have been introduced over the last decades to remedy this, while maintaining efficient compactness criteria. The purpose of this note is to show that these stronger topologies are essentially equivalent to the natural quasi-monotone topology that we introduce and study here.


title: Numerical Approximation of Gaussian random fields on Closed Surfaces

abstract: We consider the numerical approximation of Gaussian random fields on closed surfaces defined as the solution to a fractional stochastic partial differential equation (SPDE) with additive white noise. The SPDE involves two parameters controlling the smoothness and the correlation length of the Gaussian random field. The proposed numerical method relies on the Balakrishnan integral representation of the solution and does not require the approximation of eigenpairs. Rather, it consists of a sinc quadrature coupled with a standard surface finite element method. We provide a complete error analysis of the method and illustrate its performances by several numerical experiments.


title: Cutting Medusa's Path -- Tackling Kill-Chains with Quantum Computing

abstract: This paper embarks upon exploration of quantum vulnerability analysis. By introducing vulnerability graphs, related to attack graphs, this paper provides background theory and a subsequent method for solving significant cybersecurity problems with quantum computing. The example given is to prioritize patches by expressing the connectivity of various vulnerabilities on a network with a QUBO and then solving this with quantum annealing. Such a solution is then proved to remove all kill-chains (paths to security compromise) on a network. The results demonstrate that the quantum computer's solve time is almost constant compared to the exponential increase in classical solve time for vulnerability graphs of expected real world density. As such, this paper presents a novel example of advantageous quantum vulnerability analysis.