title: Towards Human-Interpretable Prototypes for Visual Assessment of Image Classification Models

abstract: Explaining black-box Artificial Intelligence (AI) models is a cornerstone for trustworthy AI and a prerequisite for its use in safety critical applications such that AI models can reliably assist humans in critical decisions. However, instead of trying to explain our models post-hoc, we need models which are interpretable-by-design built on a reasoning process similar to humans that exploits meaningful high-level concepts such as shapes, texture or object parts. Learning such concepts is often hindered by its need for explicit specification and annotation up front. Instead, prototype-based learning approaches such as ProtoPNet claim to discover visually meaningful prototypes in an unsupervised way. In this work, we propose a set of properties that those prototypes have to fulfill to enable human analysis, e.g. as part of a reliable model assessment case, and analyse such existing methods in the light of these properties. Given a 'Guess who?' game, we find that these prototypes still have a long way ahead towards definite explanations. We quantitatively validate our findings by conducting a user study indicating that many of the learnt prototypes are not considered useful towards human understanding. We discuss about the missing links in the existing methods and present a potential real-world application motivating the need to progress towards truly human-interpretable prototypes.


title: The Monocular Depth Estimation Challenge

abstract: This paper summarizes the results of the first Monocular Depth Estimation Challenge (MDEC) organized at WACV2023. This challenge evaluated the progress of self-supervised monocular depth estimation on the challenging SYNS-Patches dataset. The challenge was organized on CodaLab and received submissions from 4 valid teams. Participants were provided a devkit containing updated reference implementations for 16 State-of-the-Art algorithms and 4 novel techniques. The threshold for acceptance for novel techniques was to outperform every one of the 16 SotA baselines. All participants outperformed the baseline in traditional metrics such as MAE or AbsRel. However, pointcloud reconstruction metrics were challenging to improve upon. We found predictions were characterized by interpolation artefacts at object boundaries and errors in relative object positioning. We hope this challenge is a valuable contribution to the community and encourage authors to participate in future editions.


title: Randomized sketching of nonlinear eigenvalue problems

abstract: Rational approximation is a powerful tool to obtain accurate surrogates for nonlinear functions that are easy to evaluate and linearize. The interpolatory adaptive Antoulas--Anderson (AAA) method is one approach to construct such approximants numerically. For large-scale vector- and matrix-valued functions, however, the direct application of the set-valued variant of AAA becomes inefficient. We propose and analyze a new sketching approach for such functions called sketchAAA that, with high probability, leads to much better approximants than previously suggested approaches while retaining efficiency. The sketching approach works in a black-box fashion where only evaluations of the nonlinear function at sampling points are needed. Numerical tests with nonlinear eigenvalue problems illustrate the efficacy of our approach, with speedups above 200 for sampling large-scale black-box functions without sacrificing on accuracy.


title: Implementation and Applications of a Ternary Threshold Logic Gate

abstract: Reducing delay, power consumption, and chip area of a logic circuit are the main targets of a designer. Most of the times, the designer sacrifices power consumption and chip area to improve delay for a given technology node. To overcome this problem, we propose a ternary threshold logic gate. We implement the proposed gate by combining threshold logic and ternary logic. Then, we construct basic building blocks of a ternary ALU (as logic gates, comparator, and arithmetic circuits) using the proposed gate. We show that the proposed ternary TLG improves delay, power consumption, and chip area of ternary circuits via simulations. Thus, the proposed gate can be used to improve delay, power consumption, and chip area of ternary circuits.


title: Analysis of the DoIP Protocol for Security Vulnerabilities

abstract: DoIP, which is defined in ISO 13400, is a transport protocol stack for diagnostic data. Diagnostic data is a potential attack vector at vehicles, so secure transmission must be guaranteed to protect sensitive data and the vehicle. Previous work analyzed a draft version and earlier versions of the DoIP protocol without Transport Layer Security (TLS). No formal analysis exists for the DoIP protocol. The goal of this work is to investigate the DoIP protocol for design flaws that may lead to security vulnerabilities and possible attacks to exploit them. For this purpose, we deductively analyze the DoIP protocol in a first step and subsequently confirm our conclusions formally. For the formal analysis, we use the prover Tamarin. Based on the results, we propose countermeasures to improve the DoIP's security.We showthat the DoIP protocol cannot be considered secure mainly because the security mechanisms TLS and client authentication in the DoIP protocol are not mandatory. We propose measures to mitigate the vulnerabilities thatwe confirm to remain after activating TLS. These require only a minor redesign of the protocol.


title: The local categorical DT/PT correspondence

abstract: In this paper, we prove the categorical wall-crossing formula for certain quivers containing the three loop quiver, which we call DT/PT quivers. These quivers appear as Ext-quivers for the wall-crossing of DT/PT moduli spaces on Calabi-Yau 3-folds. The resulting formula is a semiorthogonal decomposition which involves quasi-BPS categories studied in our previous papers, and we regard it as a categorical analogue of the numerical DT/PT correspondence. As an application, we prove a categorical DT/PT correspondence for sheaves supported on reduced plane curves in the affine three dimensional space.


title: Stabilization of Capacitated Matching Games

abstract: An edge-weighted, vertex-capacitated graph G is called stable if the value of a maximum-weight capacity-matching equals the value of a maximum-weight fractional capacity-matching. Stable graphs play a key role in characterizing the existence of stable solutions for popular combinatorial games that involve the structure of matchings in graphs, such as network bargaining games and cooperative matching games. The vertex-stabilizer problem asks to compute a minimum number of players to block (i.e., vertices of G to remove) in order to ensure stability for such games. The problem has been shown to be solvable in polynomial-time, for unit-capacity graphs. This stays true also if we impose the restriction that the set of players to block must not intersect with a given specified maximum matching of G. In this work, we investigate these algorithmic problems in the more general setting of arbitrary capacities. We show that the vertex-stabilizer problem with the additional restriction of avoiding a given maximum matching remains polynomial-time solvable. Differently, without this restriction, the vertex-stabilizer problem becomes NP-hard and even hard to approximate, in contrast to the unit-capacity case. Finally, in unit-capacity graphs there is an equivalence between the stability of a graph, existence of a stable solution for network bargaining games, and existence of a stable solution for cooperative matching games. We show that this equivalence does not extend to the capacitated case.


title: SRTGAN: Triplet Loss based Generative Adversarial Network for Real-World Super-Resolution

abstract: Many applications such as forensics, surveillance, satellite imaging, medical imaging, etc., demand High-Resolution (HR) images. However, obtaining an HR image is not always possible due to the limitations of optical sensors and their costs. An alternative solution called Single Image Super-Resolution (SISR) is a software-driven approach that aims to take a Low-Resolution (LR) image and obtain the HR image. Most supervised SISR solutions use ground truth HR image as a target and do not include the information provided in the LR image, which could be valuable. In this work, we introduce Triplet Loss-based Generative Adversarial Network hereafter referred as SRTGAN for Image Super-Resolution problem on real-world degradation. We introduce a new triplet-based adversarial loss function that exploits the information provided in the LR image by using it as a negative sample. Allowing the patch-based discriminator with access to both HR and LR images optimizes to better differentiate between HR and LR images; hence, improving the adversary. Further, we propose to fuse the adversarial loss, content loss, perceptual loss, and quality loss to obtain Super-Resolution (SR) image with high perceptual fidelity. We validate the superior performance of the proposed method over the other existing methods on the RealSR dataset in terms of quantitative and qualitative metrics.


title: User-Conditioned Neural Control Policies for Mobile Robotics

abstract: Recently, learning-based controllers have been shown to push mobile robotic systems to their limits and provide the robustness needed for many real-world applications. However, only classical optimization-based control frameworks offer the inherent flexibility to be dynamically adjusted during execution by, for example, setting target speeds or actuator limits. We present a framework to overcome this shortcoming of neural controllers by conditioning them on an auxiliary input. This advance is enabled by including a feature-wise linear modulation layer (FiLM). We use model-free reinforcement-learning to train quadrotor control policies for the task of navigating through a sequence of waypoints in minimum time. By conditioning the policy on the maximum available thrust or the viewing direction relative to the next waypoint, a user can regulate the aggressiveness of the quadrotor's flight during deployment. We demonstrate in simulation and in real-world experiments that a single control policy can achieve close to time-optimal flight performance across the entire performance envelope of the robot, reaching up to 60 km/h and 4.5g in acceleration. The ability to guide a learned controller during task execution has implications beyond agile quadrotor flight, as conditioning the control policy on human intent helps safely bringing learning based systems out of the well-defined laboratory environment into the wild.


title: The categorical DT/PT correspondence and quasi-BPS categories for local surfaces

abstract: We construct semiorthogonal decompositions of Donaldson-Thomas (DT) categories for reduced curve classes on local surfaces into products of quasi-BPS categories and Pandharipande-Thomas (PT) categories, giving a categorical analogue of the numerical DT/PT correspondence for Calabi-Yau 3-folds. The main ingredient is a categorical wall-crossing formula for DT/PT quivers (which appear as Ext-quivers in the DT/PT wall-crossing) proved in our previous paper. We also study quasi-BPS categories of points on local surfaces and propose conjectural computations of their K-theory analogous to formulas already known for the three dimensional affine space.


title: Strong barriers for weighted quasilinear equations

abstract: In potential theory, use of barriers is one of the most important techniques. We construct strong barriers for weighted quasilinear elliptic operators. There are two applications: (i) solvability of Poisson-type equations with boundary singular data, and (ii) a geometric version of Hardy inequality. Our construction method can be applied to a general class of divergence form elliptic operators on domains with rough boundary.


title: Leveraging Memory Effects and Gradient Information in Consensus-Based Optimization: On Global Convergence in Mean-Field Law

abstract: In this paper we study consensus-based optimization (CBO), a versatile, flexible and customizable optimization method suitable for performing nonconvex and nonsmooth global optimizations in high dimensions. CBO is a multi-particle metaheuristic, which is effective in various applications and at the same time amenable to theoretical analysis thanks to its minimalistic design. The underlying dynamics, however, is flexible enough to incorporate different mechanisms widely used in evolutionary computation and machine learning, as we show by analyzing a variant of CBO which makes use of memory effects and gradient information. We rigorously prove that this dynamics converges to a global minimizer of the objective function in mean-field law for a vast class of functions under minimal assumptions on the initialization of the method. The proof in particular reveals how to leverage further, in some applications advantageous, forces in the dynamics without loosing provable global convergence. To demonstrate the benefit of the herein investigated memory effects and gradient information in certain applications, we present numerical evidence for the superiority of this CBO variant in applications such as machine learning and compressed sensing, which en passant widen the scope of applications of CBO.


title: Multimorbidity Content-Based Medical Image Retrieval Using Proxies

abstract: Content-based medical image retrieval is an important diagnostic tool that improves the explainability of computer-aided diagnosis systems and provides decision making support to healthcare professionals. Medical imaging data, such as radiology images, are often multimorbidity; a single sample may have more than one pathology present. As such, image retrieval systems for the medical domain must be designed for the multi-label scenario. In this paper, we propose a novel multi-label metric learning method that can be used for both classification and content-based image retrieval. In this way, our model is able to support diagnosis by predicting the presence of diseases and provide evidence for these predictions by returning samples with similar pathological content to the user. In practice, the retrieved images may also be accompanied by pathology reports, further assisting in the diagnostic process. Our method leverages proxy feature vectors, enabling the efficient learning of a robust feature space in which the distance between feature vectors can be used as a measure of the similarity of those samples. Unlike existing proxy-based methods, training samples are able to assign to multiple proxies that span multiple class labels. This multi-label proxy assignment results in a feature space that encodes the complex relationships between diseases present in medical imaging data. Our method outperforms state-of-the-art image retrieval systems and a set of baseline approaches. We demonstrate the efficacy of our approach to both classification and content-based image retrieval on two multimorbidity radiology datasets.


title: Chow groups of surfaces of lines in cubic fourfolds

abstract: The surface of lines in a cubic fourfold intersecting a fixed line splits motivically into two parts, one of which resembles a K3 surface. We define the analogue of the Beauville-Voisin class and study the push-forward map to the Fano variety of all lines with respect to the natural splitting of the Bloch-Beilinson filtration introduced by Mingmin Shen and Charles Vial.


title: Revisiting the Spectral-Energy Correlations of GRBs with {\it Fermi} Data I: Model-wise Properties

abstract: Gamma-ray bursts (GRBs) exhibit a diversity of spectra. Several spectral models (e.g., Band, cutoff power-law, and blackbody) and their hybrid versions (e.g., Band+blackbody) have been widely used to fit the observed GRB spectra. Here, we attempt to collect all the bursts detected by {\it Fermi}-GBM with known redshifts from July 2008 to May 2022, motivated to (i) provide a parameter catalog independent from the official \emph{Fermi}/GBM team and (ii) achieve a ``clean" model-based GRB spectral-energy correlation analysis. A nearly complete GRB sample was created, containing 153 such bursts (136 long gamma-ray bursts and 17 short gamma-ray bursts). Using the sample and by performing detailed spectral analysis and model comparisons, we investigate two GRB spectral-energy correlations: the cosmological rest-frame peak energy ($E_{\rm p,z}$) of the $\nu F_\nu$ prompt emission spectrum correlated with (i) the isotropic-bolometric-equivalent emission energy $E_{\gamma, \rm iso}$ (the Amati relation), and (ii) the isotropic-bolometric-equivalent peak luminosity $L_{\rm p, iso}$ (the Yonetoku relation). From a linear regression analysis, a tight correlation between $E_{\rm p,z}$ and $E_{\gamma, \rm iso}$ (and $L_{\gamma,\rm iso}$) is found for both the Band-like and CPL-like bursts. More interestingly, the CPL-like bursts do not fall on the Band-like burst Amati and Yonetoku correlations, suggesting distinct radiation processes, and pointing towards the fact that these spectral-energy correlations are tightly reliant on the model-wise properties.


title: Gravitational Waveform and Polarization from Binary Black Hole Inspiral in Dynamical Chern-Simons Gravity: From Generation to Propagation

abstract: We calculate the gravitational waveform radiated from spinning black holes (BHs) binary in dynamical Chern-Simons (dCS) gravity. The equation of motion (EOM) of the spinining binary BHs is derived based on the modified Mathisson-Papapetrou-Dixon equation for the spin-aligned circular orbits. The leading-order effects induced by the dCS theory contains spin-spin interaction and monopole-quadrupole interaction, which influence both the EOM of the binary system and corresponding gravitational waveform at the second post-Newtonian (PN) order (i.e., 2PN order). After reporting the waveforms, we investigate the polarization modes of gravitational waves (GWs) in dCS theory. None of the extra modes appears in this theory up to the considered PN order. Moreover, since the time scale of the binary merger is much smaller than that of the cosmological expansion, the parity-violating effect of the dCS theory does not appear in the process of GW generation. However, during the process of GW propagation, amplitude birefringence, a typical parity-violating effect, makes plus and cross modes convert to each other, which modifies the gravitational waveform at 1.5PN order.


title: A new construction of weak solutions to compressible Navier-Stokes equations

abstract: We prove the existence of the weak solutions to the compressible Navier--Stokes system with barotropic pressure $p(\varrho)=\varrho^\gamma$ for $\gamma\geq 9/5$ in three space dimension. The novelty of the paper is the approximation scheme that instead of the classical regularization of the continuity equation (based on the viscosity approximation $\ep \Delta \varrho$) uses more direct truncation and regularisation of nonlinear terms an the pressure. This scheme is compatible with the Bresch-Jabin compactness criterion for the density. We revisit this criterion and prove, in full rigour, that it can be applied in our approximation at any level.


title: A Combined Approach of Process Mining and Rule-based AI for Study Planning and Monitoring in Higher Education

abstract: This paper presents an approach of using methods of process mining and rule-based artificial intelligence to analyze and understand study paths of students based on campus management system data and study program models. Process mining techniques are used to characterize successful study paths, as well as to detect and visualize deviations from expected plans. These insights are combined with recommendations and requirements of the corresponding study programs extracted from examination regulations. Here, event calculus and answer set programming are used to provide models of the study programs which support planning and conformance checking while providing feedback on possible study plan violations. In its combination, process mining and rule-based artificial intelligence are used to support study planning and monitoring by deriving rules and recommendations for guiding students to more suitable study paths with higher success rates. Two applications will be implemented, one for students and one for study program designers.


title: Lagrangian multi-sections and their toric equivariant mirror

abstract: The SYZ conjecture suggests a folklore that "Lagrangian multi-sections are mirror to holomorphic vector bundles". In this paper, we prove this folklore for Lagrangian multi-sections inside the cotangent bundle of a vector space, which are equivariantly mirror to complete toric varieties by the work of Fang-Liu-Treumann-Zaslow. We also introduce the Lagrangian realization problem, which asks whether one can construct an unobstructed Lagrangian multi-section with asymptotic conditions prescribed by a tropical Lagrangian multi-section. We solve the realization problem for tropical Lagrangian multi-sections over a complete 2-dimensional fan that satisfy the so-called $N$-generic condition with $N\geq 3$. As an application, we show that every rank 2 toric vector bundle on the projective plane is mirror to a Lagrangian multi-section.


title: Anomalous transient blueshift in the internal stretch mode of CO/Pd(111)

abstract: In time-resolved pump-probe vibrational spectroscopy the internal stretch mode of polar molecules is utilized as a key observable to characterize the ultrafast dynamics of adsorbates on surfaces. The adsorbates non-adiabatic intermode couplings are the commonly accepted mechanisms behind the observed transient frequency shifts. Here, we study the CO/Pd(111) system with a robust theoretical framework that includes electron-hole pair excitations and electron-mediated coupling between the vibrational modes. A mechanism is revealed that screens the electron-phonon interaction and originates a blueshift under ultrafast non-equilibrium conditions. The results are explained in terms of the abrupt change in the density of states around the Fermi level, and are instrumental for understanding dynamics at multi-component surfaces involving localized and standard $s$ or $p$ states.


title: Anatomy-guided domain adaptation for 3D in-bed human pose estimation

abstract: 3D human pose estimation is a key component of clinical monitoring systems. The clinical applicability of deep pose estimation models, however, is limited by their poor generalization under domain shifts along with their need for sufficient labeled training data. As a remedy, we present a novel domain adaptation method, adapting a model from a labeled source to a shifted unlabeled target domain. Our method comprises two complementary adaptation strategies based on prior knowledge about human anatomy. First, we guide the learning process in the target domain by constraining predictions to the space of anatomically plausible poses. To this end, we embed the prior knowledge into an anatomical loss function that penalizes asymmetric limb lengths, implausible bone lengths, and implausible joint angles. Second, we propose to filter pseudo labels for self-training according to their anatomical plausibility and incorporate the concept into the Mean Teacher paradigm. We unify both strategies in a point cloud-based framework applicable to unsupervised and source-free domain adaptation. Evaluation is performed for in-bed pose estimation under two adaptation scenarios, using the public SLP dataset and a newly created dataset. Our method consistently outperforms various state-of-the-art domain adaptation methods, surpasses the baseline model by 31%/66%, and reduces the domain gap by 65%/82%. Source code is available at https://github.com/multimodallearning/da-3dhpe-anatomy.


title: SadTalker: Learning Realistic 3D Motion Coefficients for Stylized Audio-Driven Single Image Talking Face Animation

abstract: Generating talking head videos through a face image and a piece of speech audio still contains many challenges. ie, unnatural head movement, distorted expression, and identity modification. We argue that these issues are mainly because of learning from the coupled 2D motion fields. On the other hand, explicitly using 3D information also suffers problems of stiff expression and incoherent video. We present SadTalker, which generates 3D motion coefficients (head pose, expression) of the 3DMM from audio and implicitly modulates a novel 3D-aware face render for talking head generation. To learn the realistic motion coefficients, we explicitly model the connections between audio and different types of motion coefficients individually. Precisely, we present ExpNet to learn the accurate facial expression from audio by distilling both coefficients and 3D-rendered faces. As for the head pose, we design PoseVAE via a conditional VAE to synthesize head motion in different styles. Finally, the generated 3D motion coefficients are mapped to the unsupervised 3D keypoints space of the proposed face render, and synthesize the final video. We conducted extensive experiments to demonstrate the superiority of our method in terms of motion and video quality.


title: Ontology-aware Learning and Evaluation for Audio Tagging

abstract: This study defines a new evaluation metric for audio tagging tasks to overcome the limitation of the conventional mean average precision (mAP) metric, which treats different kinds of sound as independent classes without considering their relations. Also, due to the ambiguities in sound labeling, the labels in the training and evaluation set are not guaranteed to be accurate and exhaustive, which poses challenges for robust evaluation with mAP. The proposed metric, ontology-aware mean average precision (OmAP) addresses the weaknesses of mAP by utilizing the AudioSet ontology information during the evaluation. Specifically, we reweight the false positive events in the model prediction based on the ontology graph distance to the target classes. The OmAP measure also provides more insights into model performance by evaluations with different coarse-grained levels in the ontology graph. We conduct human evaluations and demonstrate that OmAP is more consistent with human perception than mAP. To further verify the importance of utilizing the ontology information, we also propose a novel loss function (OBCE) that reweights binary cross entropy (BCE) loss based on the ontology distance. Our experiment shows that OBCE can improve both mAP and OmAP metrics on the AudioSet tagging task.


title: Quantifying impact on safety from cyber-attacks on cyber-physical systems

abstract: We propose a novel framework for modelling attack scenarios in cyber-physical control systems: we represent a cyber-physical system as a constrained switching system, where a single model embeds the dynamics of the physical process, the attack patterns, and the attack detection schemes. We show that this is compatible with established results in the analysis of hybrid automata, and, specifically, constrained switching systems. Moreover, we use the developed models to compute the impact of cyber attacks on the safety properties of the system. In particular, we characterise system safety as an asymptotic property, by calculating the maximal safe set. The resulting new impact metrics intuitively quantify the degradation of safety under attack. We showcase our results via illustrative examples.


title: Application of convolutional neural networks for data analysis in TAIGA-HiSCORE experiment

abstract: The TAIGA experimental complex is a hybrid observatory for high-energy gamma-ray astronomy in the range from 10 TeV to several EeV. The complex consists of such installations as TAIGA- IACT, TAIGA-HiSCORE and a number of others. The TAIGA-HiSCORE facility is a set of wide-angle synchronized stations that detect Cherenkov radiation scattered over a large area. TAIGA-HiSCORE data provides an opportunity to reconstruct shower characteristics, such as shower energy, direction of arrival, and axis coordinates. The main idea of the work is to apply convolutional neural networks to analyze HiSCORE events, considering them as images. The distribution of registration times and amplitudes of events recorded by HiSCORE stations is used as input data. The paper presents the results of using convolutional neural networks to determine the characteristics of air showers. It is shown that even a simple model of convolutional neural network provides the accuracy of recovering EAS parameters comparable to the traditional method. Preliminary results of air shower parameters reconstruction obtained in a real experiment and their comparison with the results of traditional analysis are presented.


title: Experimental Evaluation of Techniques to Lower Spectrum Consumption in Wi-Red

abstract: Seamless redundancy layered atop Wi-Fi has been shown able to tangibly increase communication quality, hence offering industry-grade reliability. However, it also implies much higher network traffic, which is often unbearable as the wireless spectrum is a shared and scarce resource. To deal with this drawback the Wi-Red proposal includes suitable duplication avoidance mechanisms, which reduce spectrum consumption by preventing transmission on air of inessential frame duplicates. In this paper, the ability of such mechanisms to save wireless bandwidth is experimentally evaluated. To this purpose, specific post-analysis techniques have been defined, which permit to carry out such an assessment on a simple testbed that relies on plain redundancy and do not require any changes to the adapters' firmware. As results show, spectrum consumption decreases noticeably without communication quality is impaired. Further saving can be obtained if a slight worsening is tolerated for latencies.


title: Three-gluon vertex in Landau-gauge from quenched-lattice QCD in general kinematics

abstract: We report on a novel and extensive lattice QCD analysis for the three-gluon vertex from quenched lattice-QCD simulations. Using standard Wilson action, we have computed the three-gluon vertex beyond the usual kinematic restriction to the symmetric $(q^2 = r^2 = p^2)$ and soft-gluon $(p = 0)$ cases where it depends on a single momentum scale. The so-dubbed bisectoral case $(r^2 = q^2 \ne p^2)$, where the transversely projected vertex can be cast in terms of three independent tensors, have been the object of a recent exhaustive scrutiny, also shown in this communication. Herein, beyond this special case, results for kinematic configurations with three different squared momenta are also presented. All data considered, the lattice estimate of the three-gluon vertex exhibits a clear dominance of the tree-level tensor form factor.


title: Fast Computer Model Calibration using Annealed and Transformed Variational Inference

abstract: Computer models play a crucial role in numerous scientific and engineering domains. To ensure the accuracy of simulations, it is essential to properly calibrate the input parameters of these models through statistical inference. While Bayesian inference is the standard approach for this task, employing Markov Chain Monte Carlo methods often encounters computational hurdles due to the costly evaluation of likelihood functions and slow mixing rates. Although variational inference (VI) can be a fast alternative to traditional Bayesian approaches, VI has limited applicability due to boundary issues and local optima problems. To address these challenges, we propose flexible VI methods based on deep generative models that do not require parametric assumptions on the variational distribution. We embed a surjective transformation in our framework to avoid posterior truncation at the boundary. Additionally, we provide theoretical conditions that guarantee the success of the algorithm. Furthermore, our temperature annealing scheme can prevent being trapped in local optima through a series of intermediate posteriors. We apply our method to infectious disease models and a geophysical model, illustrating that the proposed method can provide fast and accurate inference compared to its competitors.


title: Distributed Resource Allocation for URLLC in IIoT Scenarios: A Multi-Armed Bandit Approach

abstract: This paper addresses the problem of enabling inter-machine Ultra-Reliable Low-Latency Communication (URLLC) in future 6G Industrial Internet of Things (IIoT) networks. As far as the Radio Access Network (RAN) is concerned, centralized pre-configured resource allocation requires scheduling grants to be disseminated to the User Equipments (UEs) before uplink transmissions, which is not efficient for URLLC, especially in case of flexible/unpredictable traffic. To alleviate this burden, we study a distributed, user-centric scheme based on machine learning in which UEs autonomously select their uplink radio resources without the need to wait for scheduling grants or preconfiguration of connections. Using simulation, we demonstrate that a Multi-Armed Bandit (MAB) approach represents a desirable solution to allocate resources with URLLC in mind in an IIoT environment, in case of both periodic and aperiodic traffic, even considering highly populated networks and aggressive traffic.


title: Active Galactic Nuclei as potential Sources of Ultra-High Energy Cosmic Rays

abstract: Active Galactic Nuclei (AGNs) and their relativistic jets belong to the most promising class of ultra-high-energy cosmic ray (UHECR) accelerators. This compact review summarises basic experimental findings by recent instruments, and discusses possible interpretations and astrophysical constraints on source energetics. Particular attention is given to potential sites and mechanisms of UHECR acceleration in AGNs, including gap-type particle acceleration close to the black hole, as well as first-order Fermi acceleration at trans-relativistic shocks and stochastic shear particle acceleration in large-scale jets. It is argued that the last two represent the most promising mechanisms given our current understanding, and that nearby FR~I type radio galaxies provide a suitable environment for UHECR acceleration.


title: Edge Multiway Cut and Node Multiway Cut are NP-complete on subcubic graphs

abstract: We show that Edge Multiway Cut (also called Multiterminal Cut) and Node Multiway Cut are NP-complete on graphs of maximum degree $3$ (also known as subcubic graphs). This improves on a previous degree bound of $11$. Our NP-completeness result holds even for subcubic graphs that are planar.


title: Online size Ramsey numbers: Path vs $C_4$

abstract: Given two graphs $G$ and $H$, a size Ramsey game is played on the edge set of $K_\mathbb{N}$. In every round, Builder selects an edge and Painter colours it red or blue. Builder's goal is to force Painter to create a red copy of $G$ or a blue copy of $H$ as soon as possible. The online (size) Ramsey number $\tilde r(G,H)$ is the number of rounds in the game provided Builder and Painter play optimally. We prove that $\tilde r(C_4,P_n)\le 2n-2$ for every $n\ge 8$. The upper bound matches the lower bound obtained by J. Cyman, T. Dzido, J. Lapinskas, and A. Lo, so we get $\tilde r(C_4,P_n)=2n-2$ for $n\ge 8$. Our proof for $n\le 13$ is computer assisted. The bound $\tilde r(C_4,P_n)\le 2n-2$ solves also the "all cycles vs. $P_n$" game for $n\ge 8$ $-$ it implies that it takes Builder $2n-2$ rounds to force Painter to create a blue path on $n$ vertices or any red cycle.


title: Utopia: Fast and Efficient Address Translation via Hybrid Restrictive & Flexible Virtual-to-Physical Address Mappings

abstract: Conventional virtual memory (VM) frameworks enable a virtual address to flexibly map to any physical address. This flexibility necessitates large data structures to store virtual-to-physical mappings, which leads to high address translation latency and large translation-induced interference in the memory hierarchy. On the other hand, restricting the address mapping so that a virtual address can only map to a specific set of physical addresses can significantly reduce address translation overheads by using compact and efficient translation structures. However, restricting the address mapping flexibility across the entire main memory severely limits data sharing across different processes and increases data accesses to the swap space of the storage device, even in the presence of free memory. We propose Utopia, a new hybrid virtual-to-physical address mapping scheme that allows both flexible and restrictive hash-based address mapping schemes to harmoniously co-exist in the system. The key idea of Utopia is to manage physical memory using two types of physical memory segments: restrictive and flexible segments. A restrictive segment uses a restrictive, hash-based address mapping scheme that maps virtual addresses to only a specific set of physical addresses and enables faster address translation using compact translation structures. A flexible segment employs the conventional fully-flexible address mapping scheme. By mapping data to a restrictive segment, Utopia enables faster address translation with lower translation-induced interference. Utopia improves performance by 24% in a single-core system over the baseline system, whereas the best prior state-of-the-art contiguity-aware translation scheme improves performance by 13%.


title: Twitter has a Binary Privacy Setting, are Users Aware of How It Works?

abstract: Twitter accounts are public by default, but Twitter gives the option to create protected accounts, where only approved followers can see their tweets. The publicly visible information changes based on the account type and the visibility of tweets also depends solely on the poster's account type which can cause unintended disclosures especially when users interact. We surveyed 336 Twitter users to understand users' awareness of account information visibility, as well as the tweet visibility when users interact. We find that our participants are aware of the visibility of their profile information and individual tweets. However, the visibility of followed topics, lists, and interactions with protected accounts is confusing. Only 31% of the participants were aware that a reply by a public account to a protected account's tweet would be publicly visible. Surprisingly, having a protected account does not result in a better understanding of the account information or tweet visibility.


title: Photonic Quantum Computing For Polymer Classification

abstract: We present a hybrid classical-quantum approach to the binary classification of polymer structures. Two polymer classes visual (VIS) and near-infrared (NIR) are defined based on the size of the polymer gaps. The hybrid approach combines one of the three methods, Gaussian Kernel Method, Quantum-Enhanced Random Kitchen Sinks or Variational Quantum Classifier, implemented by linear quantum photonic circuits (LQPCs), with a classical deep neural network (DNN) feature extractor. The latter extracts from the classical data information about samples chemical structure. It also reduces the data dimensions yielding compact 2-dimensional data vectors that are then fed to the LQPCs. We adopt the photonic-based data-embedding scheme, proposed by Gan et al. [EPJ Quantum Technol. 9, 16 (2022)] to embed the classical 2-dimensional data vectors into the higher-dimensional Fock space. This hybrid classical-quantum strategy permits to obtain accurate noisy intermediate-scale quantum-compatible classifiers by leveraging Fock states with only a few photons. The models obtained using either of the three hybrid methods successfully classified the VIS and NIR polymers. Their accuracy is comparable as measured by their scores ranging from 0.86 to 0.88. These findings demonstrate that our hybrid approach that uses photonic quantum computing captures chemistry and structure-property correlation patterns in real polymer data. They also open up perspectives of employing quantum computing to complex chemical structures when a larger number of logical qubits is available.


title: Future Perspective for Higgs Physics

abstract: Future perspectives for Higgs physics are outlined. First it is shown that the discovered Higgs boson cannot be the Standard Model (SM) Higgs boson, motivating the investigations of Higgs sectors beyond the SM (BSM). The secure future, the HL-LHC, and the agreed upon future, an $e^+e^-$ collider, are briefly discussed. The importance of theory calculations for the full exploitation of the (anticipated) experimental data is emphasized. Finally, the complementarity of collider based Higgs physics and other types of experiments, such as gravitational wave observatories is briefly outlined.


title: $S^2$-Flow: Joint Semantic and Style Editing of Facial Images

abstract: The high-quality images yielded by generative adversarial networks (GANs) have motivated investigations into their application for image editing. However, GANs are often limited in the control they provide for performing specific edits. One of the principal challenges is the entangled latent space of GANs, which is not directly suitable for performing independent and detailed edits. Recent editing methods allow for either controlled style edits or controlled semantic edits. In addition, methods that use semantic masks to edit images have difficulty preserving the identity and are unable to perform controlled style edits. We propose a method to disentangle a GAN$\text{'}$s latent space into semantic and style spaces, enabling controlled semantic and style edits for face images independently within the same framework. To achieve this, we design an encoder-decoder based network architecture ($S^2$-Flow), which incorporates two proposed inductive biases. We show the suitability of $S^2$-Flow quantitatively and qualitatively by performing various semantic and style edits.


title: Homophily-based social group formation in a spin-glass self-assembly framework

abstract: Homophily, the tendency of humans to attract each other when sharing similar features, traits, or opinions has been identified as one of the main driving forces behind the formation of structured societies. Here we ask to what extent homophily can explain the formation of social groups, particularly their size distribution. We propose a spin-glass-inspired framework of self-assembly, where opinions are represented as multidimensional spins that dynamically self-assemble into groups; individuals within a group tend to share similar opinions (intra-group homophily), and opinions between individuals belonging to different groups tend to be different (inter-group heterophily). We compute the associated non-trivial phase diagram by solving a self-consistency equation for 'magnetization' (combined average opinion). Below a critical temperature, there exist two stable phases: one ordered with non-zero magnetization and large clusters, the other disordered with zero magnetization and no clusters. The system exhibits a first-order transition to the disordered phase. We analytically derive the group-size distribution that successfully matches empirical group-size distributions from online communities.


title: Rapid-scan nonlinear time-resolved spectroscopy over arbitrary delay intervals

abstract: Femtosecond dual-comb lasers have revolutionized linear Fourier-domain spectroscopy by offering a rapid motion-free, precise and accurate measurement mode with easy registration of the combs beat note in the RF domain. Extensions of this technique found already application for nonlinear time-resolved spectroscopy within the energy limit available from sources operating at the full oscillator repetition rate. Here, we present a technique based on time filtering of femtosecond frequency combs by pulse gating in a laser amplifier. This gives the required boost to the pulse energy and provides the flexibility to engineer pairs of arbitrarily delayed wavelength-tunable pulses for pump-probe techniques. Using a dual-channel millijoule amplifier, we demonstrate programmable generation of both extremely short, fs, and extremely long (>ns) interpulse delays. A predetermined arbitrarily chosen interpulse delay can be directly realized in each successive amplifier shot, eliminating the massive waiting time required to alter the delay setting by means of an optomechanical line or an asynchronous scan of two free-running oscillators. We confirm the versatility of this delay generation method by measuring chi^(2) cross-correlation and chi^(3) multicomponent population recovery kinetics.


title: Cosmography using strongly lensed gravitational waves from binary black holes

abstract: Third generation gravitational wave (GW) detectors are expected to detect millions of binary black hole (BBH) mergers during their operation period. A small fraction of them ($\sim 1\%$) will be strongly lensed by intervening galaxies and clusters, producing multiple observable copies of the GW signals. The expected number of lensed events and the distribution of the time delay between lensed events depend on the cosmology. We develop a Bayesian analysis method for estimating cosmological parameters from the detected number of lensed events and their time delay distribution. The expected constraints are comparable to that obtained from other cosmological measurements, but probing a different redshift regime ($z \sim 10$) that is not explored by other probes.


title: eDNAPlus: A unifying modelling framework for DNA-based biodiversity monitoring

abstract: DNA-based biodiversity surveys involve collecting physical samples from survey sites and assaying the contents in the laboratory to detect species via their diagnostic DNA sequences. DNA-based surveys are increasingly being adopted for biodiversity monitoring. The most commonly employed method is metabarcoding, which combines PCR with high-throughput DNA sequencing to amplify and then read `DNA barcode' sequences. This process generates count data indicating the number of times each DNA barcode was read. However, DNA-based data are noisy and error-prone, with several sources of variation. In this paper, we present a unifying modelling framework for DNA-based data allowing for all key sources of variation and error in the data-generating process. The model can estimate within-species biomass changes across sites and link those changes to environmental covariates, while accounting for species and sites correlation. Inference is performed using MCMC, where we employ Gibbs or Metropolis-Hastings updates with Laplace approximations. We also implement a re-parameterisation scheme, appropriate for crossed-effects models, leading to improved mixing, and an adaptive approach for updating latent variables, reducing computation time. We discuss study design and present theoretical and simulation results to guide decisions on replication at different stages and on the use of quality control methods. We demonstrate the new framework on a dataset of Malaise-trap samples. We quantify the effects of elevation and distance-to-road on each species, infer species correlations, and produce maps identifying areas of high biodiversity, which can be used to rank areas by conservation value. We estimate the level of noise between sites and within sample replicates, and the probabilities of error at the PCR stage, which are close to zero for most species considered, validating the employed laboratory processing.


title: Control of bow shock induced three-dimensional separation using bleed through holes

abstract: The unsteady three-dimensional separated flow on a wall induced by a square protrusion (approximately twice the local boundary layer thickness in width and height), and its control by means of passive suction through holes, is investigated using wind tunnel experiments at Mach $2.87$. The baseline flow without any control was characterized and compared against the cases with bleed. A bow-shaped separation line on the wall with a mid-span separation length of $5.57\delta$ from protrusion face was traced from oil-flow visualization. The averaged pressure distribution surveyed using static pressure ports placed on the wall has mapped plateau, high-pressure, and a low-pressure region in the separated flow, distinctive to three-dimensional interactions. Ten control configurations were tested with suction holes placed along mid-span in the different pressure zones. Significant spanwise `Mean Reduction in Separation Length' of up to $0.93\delta$ was observed from oil-flow visualization. A comparison of observations from various control configurations suggested that bleeding the flow from the high-pressure region could in general delay the separation and reduce the bubble size. Further, time-resolved schlieren visualizations have confirmed reduction in both `mid-span separation length' and `shock-intermittent-region' with the introduction of suction in high-pressure region. Fourier and Proper Orthogonal Decomposition analysis done on the schlieren data has confirmed the presence of low-frequency separation-shock oscillations at Strouhal Numbers of order $10^{-2}$, both with and without control. Furthermore, the amplitudes of separation-shock oscillations in the spectrum were reduced with the introduction of suction simultaneously from two holes placed in high and low-pressure regions.


title: New Implementation of an Equation-of-Motion Coupled-Cluster Damped-Response Framework with Illustrative Applications to Resonant Inelastic X-ray Scattering

abstract: We present an implementation of a damped response framework for calculating resonant inelastic X-ray scattering (RIXS) at the equation-of-motion coupled cluster singles and doubles (CCSD) and second-order approximate coupled cluster singles and doubles (CC2) levels of theory in the open-source program $e^T$. This framework lays the foundation for future extension to higher excitation methods (notably, the coupled cluster singles and doubles with perturbative triples, CC3) and to multilevel approaches. Our implementation adopts a fully relaxed ground state, and different variants of the core-valence separation projection technique to address convergence issues. Illustrative results are compared with those obtained within the frozen-core core-valence separated approach, available in Q-Chem, as well as with experiment. The performance of the CC2 method is evaluated in comparison with that of CCSD. It is found that, while the CC2 method is noticeably inferior to CCSD for X-ray absorption spectra, the quality of the CC2 RIXS spectra is often comparable to that of the CCSD level of theory, when the same valence excited states are probed. Finally, we present preliminary RIXS results for a solvated molecule in aqueous solution.


title: Watch out! There may be a Human. Addressing Invisible Humans in Social Navigation

abstract: Current approaches in human-aware or social robot navigation address the humans that are visible to the robot. However, it is also important to address the possible emergences of humans to avoid shocks or surprises to humans and erratic behavior of the robot planner. In this paper, we propose a novel approach to detect and address these human emergences called `invisible humans'. We determine the places from which a human, currently not visible to the robot, can appear suddenly and then adapt the path and speed of the robot with the anticipation of potential collisions. This is done while still considering and adapting humans present in the robot's field of view. We also show how this detection can be exploited to identify and address the doorways or narrow passages. Finally, the effectiveness of the proposed methodology is shown through several simulated and real-world experiments.


title: Where Will Players Move Next? Dynamic Graphs and Hierarchical Fusion for Movement Forecasting in Badminton

abstract: Sports analytics has captured increasing attention since analysis of the various data enables insights for training strategies, player evaluation, etc. In this paper, we focus on predicting what types of returning strokes will be made, and where players will move to based on previous strokes. As this problem has not been addressed to date, movement forecasting can be tackled through sequence-based and graph-based models by formulating as a sequence prediction task. However, existing sequence-based models neglect the effects of interactions between players, and graph-based models still suffer from multifaceted perspectives on the next movement. Moreover, there is no existing work on representing strategic relations among players' shot types and movements. To address these challenges, we first introduce the procedure of the Player Movements (PM) graph to exploit the structural movements of players with strategic relations. Based on the PM graph, we propose a novel Dynamic Graphs and Hierarchical Fusion for Movement Forecasting model (DyMF) with interaction style extractors to capture the mutual interactions of players themselves and between both players within a rally, and dynamic players' tactics across time. In addition, hierarchical fusion modules are designed to incorporate the style influence of both players and rally interactions. Extensive experiments show that our model empirically outperforms both sequence- and graph-based methods and demonstrate the practical usage of movement forecasting.


title: Inequalities for weighted spaces with variable exponents

abstract: In this article we obtain an "off-diagonal" version of the Fefferman-Stein vector-valued maximal inequality on weighted Lebesgue spaces with variable exponents. As an application of this result and the atomic decomposition developed in [12] we prove, for certain exponents $q(\cdot)$ in $\mathcal{P}^{\log}(\mathbb{R}^{n})$ and certain weights $\omega$, that the Riesz potential $I_{\alpha}$, with $0 < \alpha < n$, can be extended to a bounded operator from $H^{p(\cdot)}_{\omega}(\mathbb{R}^{n})$ into $L^{q(\cdot)}_{\omega}(\mathbb{R}^{n})$, for $\frac{1}{p(\cdot)} := \frac{1}{q(\cdot)} + \frac{\alpha}{n}$.


title: Adaptive Sparse Structure Development with Pruning and Regeneration for Spiking Neural Networks

abstract: Spiking Neural Networks (SNNs) are more biologically plausible and computationally efficient. Therefore, SNNs have the natural advantage of drawing the sparse structural plasticity of brain development to alleviate the energy problems of deep neural networks caused by their complex and fixed structures. However, previous SNNs compression works are lack of in-depth inspiration from the brain development plasticity mechanism. This paper proposed a novel method for the adaptive structural development of SNN (SD-SNN), introducing dendritic spine plasticity-based synaptic constraint, neuronal pruning and synaptic regeneration. We found that synaptic constraint and neuronal pruning can detect and remove a large amount of redundancy in SNNs, coupled with synaptic regeneration can effectively prevent and repair over-pruning. Moreover, inspired by the neurotrophic hypothesis, neuronal pruning rate and synaptic regeneration rate were adaptively adjusted during the learning-while-pruning process, which eventually led to the structural stability of SNNs. Experimental results on spatial (MNIST, CIFAR-10) and temporal neuromorphic (N-MNIST, DVS-Gesture) datasets demonstrate that our method can flexibly learn appropriate compression rate for various tasks and effectively achieve superior performance while massively reducing the network energy consumption. Specifically, for the spatial MNIST dataset, our SD-SNN achieves 99.51\% accuracy at the pruning rate 49.83\%, which has a 0.05\% accuracy improvement compared to the baseline without compression. For the neuromorphic DVS-Gesture dataset, 98.20\% accuracy with 1.09\% improvement is achieved by our method when the compression rate reaches 55.50\%.


title: A Scope Sensitive and Result Attentive Model for Multi-Intent Spoken Language Understanding

abstract: Multi-Intent Spoken Language Understanding (SLU), a novel and more complex scenario of SLU, is attracting increasing attention. Unlike traditional SLU, each intent in this scenario has its specific scope. Semantic information outside the scope even hinders the prediction, which tremendously increases the difficulty of intent detection. More seriously, guiding slot filling with these inaccurate intent labels suffers error propagation problems, resulting in unsatisfied overall performance. To solve these challenges, in this paper, we propose a novel Scope-Sensitive Result Attention Network (SSRAN) based on Transformer, which contains a Scope Recognizer (SR) and a Result Attention Network (RAN). Scope Recognizer assignments scope information to each token, reducing the distraction of out-of-scope tokens. Result Attention Network effectively utilizes the bidirectional interaction between results of slot filling and intent detection, mitigating the error propagation problem. Experiments on two public datasets indicate that our model significantly improves SLU performance (5.4\% and 2.1\% on Overall accuracy) over the state-of-the-art baseline.


title: Virtual Reality in University Teaching: Experiences from a Computer Science Seminar

abstract: Due to the corona pandemic, numerous courses were held using digital solutions in order to be able to continue teaching. Conventional collaboration tools (Zoom, Big Blue Button, etc.) were used in particular to digitally map a synchronous session for teaching and learning purposes. While these conventional collaboration tools offer a solid basis for communication between learners and teachers, aspects such as presence or a realistic type of interaction are neglected. In this work, we report on the experiences from a computer science seminar where virtual reality (VR) technology was used as an alternative solution for teaching and group work. The benefits of VR compared to conventional collaboration tools were examined using questionnaires and interviews with the participants. On the one hand, the results show the high potential of VR to increase the clarity and experienceability of learning content and to promote cooperation through social presence. On the other hand, the use of VR brings with it some technical and organizational difficulties that should be taken into account in the didactic implementation.


title: Event Transformer+. A multi-purpose solution for efficient event data processing

abstract: Event cameras record sparse illumination changes with high temporal resolution and high dynamic range. Thanks to their sparse recording and low consumption, they are increasingly used in applications such as AR/VR and autonomous driving. Current topperforming methods often ignore specific event-data properties, leading to the development of generic but computationally expensive algorithms, while event-aware methods do not perform as well. We propose Event Transformer+, that improves our seminal work EvT with a refined patch-based event representation and a more robust backbone to achieve more accurate results, while still benefiting from event-data sparsity to increase its efficiency. Additionally, we show how our system can work with different data modalities and propose specific output heads, for event-stream classification (i.e. action recognition) and per-pixel predictions (dense depth estimation). Evaluation results show better performance to the state-of-the-art while requiring minimal computation resources, both on GPU and CPU.


title: KGMM -- A Maturity Model for Scholarly Knowledge Graphs based on Intertwined Human-Machine Collaboration

abstract: Knowledge Graphs (KG) have gained increasing importance in science, business and society in the last years. However, most knowledge graphs were either extracted or compiled from existing sources. There are only relatively few examples where knowledge graphs were genuinely created by an intertwined human-machine collaboration. Also, since the quality of data and knowledge graphs is of paramount importance, a number of data quality assessment models have been proposed. However, they do not take the specific aspects of intertwined human-machine curated knowledge graphs into account. In this work, we propose a graded maturity model for scholarly knowledge graphs (KGMM), which specifically focuses on aspects related to the joint, evolutionary curation of knowledge graphs for digital libraries. Our model comprises 5 maturity stages with 20 quality measures. We demonstrate the implementation of our model in a large scale scholarly knowledge graph curation effort.


title: Sustainable Wireless Services with UAV Swarms Tailored to Renewable Energy Sources

abstract: Unmanned Aerial Vehicle (UAV) swarms are often required in off-grid scenarios, such as disaster-struck, war-torn or rural areas, where the UAVs have no access to the power grid and instead rely on renewable energy. Considering a main battery fed from two renewable sources, wind and solar, we scale such a system based on the financial budget, environmental characteristics, and seasonal variations. Interestingly, the source of energy is correlated with the energy expenditure of the UAVs, since strong winds cause UAV hovering to become increasingly energy-hungry. The aim is to maximize the cost efficiency of coverage at a particular location, which is a combinatorial optimization problem for dimensioning of the multivariate energy generation system under non-convex criteria. We have devised a customized algorithm by lowering the processing complexity and reducing the solution space through sampling. Evaluation is done with condensed real-world data on wind, solar energy, and traffic load per unit area, driven by vendor-provided prices. The implementation was tested in four locations, with varying wind or solar intensity. The best results were achieved in locations with mild wind presence and strong solar irradiation, while locations with strong winds and low solar intensity require higher Capital Expenditure (CAPEX) allocation.


title: Reversible Programming: A Case Study of Two String-Matching Algorithms

abstract: String matching is a fundamental problem in algorithm. This study examines the development and construction of two reversible string-matching algorithms: a naive string-matching algorithm and the Rabin-Karp algorithm. The algorithms are used to introduce reversible computing concepts, beginning from basic reversible programming techniques to more advanced considerations about the injectivization of the polynomial hash-update function employed by the Rabin-Karp algorithm. The results are two clean input-preserving reversible algorithms that require no additional space and have the same asymptotic time complexity as their classic irreversible originals. This study aims to contribute to the body of reversible algorithms and to the discipline of reversible programming.


title: On Structural Parameterizations of Star Coloring

abstract: A Star Coloring of a graph G is a proper vertex coloring such that every path on four vertices uses at least three distinct colors. The minimum number of colors required for such a star coloring of G is called star chromatic number, denoted by \chi_s(G). Given a graph G and a positive integer k, the STAR COLORING PROBLEM asks whether $G$ has a star coloring using at most k colors. This problem is NP-complete even on restricted graph classes such as bipartite graphs. In this paper, we initiate a study of STAR COLORING from the parameterized complexity perspective. We show that STAR COLORING is fixed-parameter tractable when parameterized by (a) neighborhood diversity, (b) twin-cover, and (c) the combined parameters clique-width and the number of colors.


title: The Security Protocol Verifier ProVerif and its Horn Clause Resolution Algorithm

abstract: ProVerif is a widely used security protocol verifier. Internally, ProVerif uses an abstract representation of the protocol by Horn clauses and a resolution algorithm on these clauses, in order to prove security properties of the protocol or to find attacks. In this paper, we present an overview of ProVerif and discuss some specificities of its resolution algorithm, related to the particular application domain and the particular clauses that ProVerif generates. This paper is a short summary that gives pointers to publications on ProVerif in which the reader will find more details.


title: Contract Strengthening through Constrained Horn Clause Verification

abstract: The functional properties of a program are often specified by providing a contract for each of its functions. A contract of a function consists of a pair of formulas, called a precondition and a postcondition, which, respectively, should hold before and after execution of that function. It might be the case that the contracts supplied by the programmer are not adequate to allow a verification system to prove program correctness, that is, to show that for every function, if the precondition holds and the execution of the function terminates, then the postcondition holds. We address this problem by providing a technique which may strengthen the postconditions of the functions, thereby improving the ability of the verifier to show program correctness. Our technique consists of four steps. First, the translation of the given program, which may manipulate algebraic data structures (ADTs), and its contracts into a set of constrained Horn clauses (CHCs) whose satisfiability implies the validity of the given contracts. Then, the derivation, via CHC transformation performed by the VeriCaT tool, of a new set of CHCs that manipulate only basic sorts (such as booleans or integers) and whose satisfiability implies the satisfiability of the original set of clauses. Then, the construction of a model, if any, of the new, derived CHCs using the CHC solver SPACER for basic sorts. Finally, the translation of that model into the formulas that suitably strengthen the postconditions of the given contracts. We will present our technique through an example consisting of a Scala program for reversing lists. Note that the Stainless verifier is not able to prove the correctness of that program when considering the given contracts, while it succeeds when considering the contracts with the strengthened postconditions constructed by applying our technique.


title: OptiRica: Towards an Efficient Optimizing Horn Solver

abstract: This paper describes an ongoing effort to develop an optimizing version of the Eldarica Horn solver. The work starts from the observation that many kinds of optimization problems, and in particular the MaxSAT/SMT problem, can be seen as search problems on lattices. The paper presents a Scala library providing a domain-specific language (DSL) to uniformly model optimization problems of this kind, by defining, manipulating, and systematically exploring lattices with associated objective functions. The framework can be instantiated to obtain an optimizing Horn solver. As an illustration, the application of an optimizing solver for repairing software-defined networks is described.


title: Successive Cancellation Decoding with Future Constraints for Polar Codes Over the Binary Erasure Channel

abstract: In the conventional successive cancellation (SC) decoder for polar codes, all the future bits to be estimated later are treated as random variables. However, polar codes inevitably involve frozen bits, and their concatenated coding schemes also include parity bits (or dynamic frozen bits) causally generated from the past bits estimated earlier. We refer to the frozen and parity bits located behind a target decoding bit as its \textit{future constraints (FCs)}. Although the values of FCs are deterministic given the past estimates, they have not been exploited in the conventional SC-based decoders, not leading to optimality. In this paper, with a primary focus on the binary erasure channel (BEC), we propose SC-check (SCC) and belief propagation SCC (BP-SCC) decoding algorithms in order to leverage FCs in decoding. We further devise an improved tree search technique based on stack-based backjumping (SBJ) to solve dynamic constraint satisfaction problems (CSPs) formulated by FCs. Over the BEC, numerical results show that a combination of the BP-SCC algorithm and the SBJ tree search technique achieves the erasure recovery performance close to the dependence testing (DT) bound, a bound of achievable finite-length performance.


title: CHC-COMP 2022: Competition Report

abstract: CHC-COMP 2022 is the fifth edition of the competition of solvers for Constrained Horn Clauses. The competition was run in March 2022; the results were presented at the 9th Workshop on Horn Clauses for Verification and Synthesis held in Munich, Germany, on April 3, 2022. This edition featured six solvers, and eight tracks consisting of sets of linear and nonlinear clauses with constraints over linear integer arithmetic, linear real arithmetic, arrays, and algebraic data types. This report provides an overview of the organization behind the competition runs: it includes the technical details of the competition setup as well as presenting the results of the 2022 edition.


title: AERO: Audio Super Resolution in the Spectral Domain

abstract: We present AERO, a audio super-resolution model that processes speech and music signals in the spectral domain. AERO is based on an encoder-decoder architecture with U-Net like skip connections. We optimize the model using both time and frequency domain loss functions. Specifically, we consider a set of reconstruction losses together with perceptual ones in the form of adversarial and feature discriminator loss functions. To better handle phase information the proposed method operates over the complex-valued spectrogram using two separate channels. Unlike prior work which mainly considers low and high frequency concatenation for audio super-resolution, the proposed method directly predicts the full frequency range. We demonstrate high performance across a wide range of sample rates considering both speech and music. AERO outperforms the evaluated baselines considering Log-Spectral Distance, ViSQOL, and the subjective MUSHRA test. Audio samples and code are available at https://pages.cs.huji.ac.il/adiyoss-lab/aero


title: Coronal seismology by slow waves in non-adiabatic conditions

abstract: Slow magnetoacoustic waves represent an important tool for probing the solar coronal plasma. We quantitatively assess the applicability of the weak thermal conduction theory to coronal seismology by slow waves. We numerically model the linear standing slow wave in a 1D coronal loop, with field-aligned thermal conduction $\kappa_\parallel$ as a free parameter and no restrictions on its efficiency. The time variations of the perturbed plasma parameters, obtained numerically with full conductivity, are treated as potential observables and analysed with the standard data processing techniques. The slow wave oscillation period is found to increase with $\kappa_\parallel$ by about 30%, indicating the corresponding modification in the effective wave speed, which is missing from the weak conduction theory. Phase shifts between plasma temperature and density perturbations are found to be well consistent with the approximate weakly conductive solution for all considered values of $\kappa_\parallel$. In contrast, the comparison of the numerically obtained ratio of temperature and density perturbation amplitudes with the weak theory revealed relative errors up to 30-40%. We use these parameters to measure the effective adiabatic index of the coronal plasma directly as the ratio of the effective slow wave speed to the standard sound speed and in the polytropic assumption, which is found to be justified in a weakly conductive regime only, with relative errors up to 14% otherwise. The damping of the initial perturbation is found to be of a non-exponential form during the first cycle of oscillation, which could be considered as an indirect signature of entropy waves in the corona, also not described by weak conduction theory. The performed analysis and obtained results offer a more robust scheme of coronal seismology by slow waves, with reasonable simplifications and without the loss of accuracy.


title: A Reinforcement Learning Badminton Environment for Simulating Player Tactics (Student Abstract)

abstract: Recent techniques for analyzing sports precisely has stimulated various approaches to improve player performance and fan engagement. However, existing approaches are only able to evaluate offline performance since testing in real-time matches requires exhaustive costs and cannot be replicated. To test in a safe and reproducible simulator, we focus on turn-based sports and introduce a badminton environment by simulating rallies with different angles of view and designing the states, actions, and training procedures. This benefits not only coaches and players by simulating past matches for tactic investigation, but also researchers from rapidly evaluating their novel algorithms.


title: Towards detecting super-GeV dark matter via annihilation to neutrinos

abstract: The next generation of neutrino telescopes will feature unprecedented sensitivities in the detection of neutrinos. Here we study the capabilities of a large-scale neutrino telescope, like the fully-operating KM3NeT experiment in the near future, for detecting dark matter annihilation signals from the Galactic Centre. We consider both ORCA and ARCA detectors, covering dark matter masses from a few GeV to 100 TeV. We obtain the sensitivities with a maximum-likelihood analysis method and present them as upper limits in the thermally averaged annihilation cross-section into Standard Model fermions. Our projections show that the sensitivity of such a neutrino telescope can reach the thermal relic line for $m_{\chi}\gtrsim 1\,{\rm TeV}$ and for $m_\chi \simeq$ few GeV, for the NFW dark matter density profile. This demonstrates that ORCA- and ARCA-like detectors will be able to perform competitive dark matter searches in a wide range of masses. The implications of these striking projections are investigated in a few selected dark matter particle models, where we show that neutrino telescopes are able to probe new parameter space.


title: Evaluation functions and composition operators on Banach spaces of holomorphic functions

abstract: Let $B(\Omega)$ be the Banach space of holomorphic functions on a bounded connected domain $\Omega$ in $\mathbb C^n$, which contains the ring of polynomials on $\Omega $. In this paper, we first establish a criterion for $B(\Omega )$ to be reflexive via evaluation functions on $B(\Omega )$, that is, $B(\Omega )$ is reflexive if and only if the evaluation functions span the dual spaces $(B(\Omega ))^{*} $. Moreover, under suitable assumptions on $\Omega$ and $B(\Omega)$, we establish a characterization of the composition operator $C_\varphi$ to be a Fredholm operator on $B(\Omega)$ via the property of the holomorphic self-map $\varphi:\Omega\to\Omega$. Our new approach utilizes the symbols of composition operators to construct a linearly independent function sequence, which bypasses the use of boundary behavior of reproducing kernels as those may not be applicable in our general setting.


title: On a reduced digit-by-digit component-by-component construction of lattice point sets

abstract: In this paper, we study an efficient algorithm for constructing point sets underlying quasi-Monte Carlo integration rules for weighted Korobov classes. The algorithm presented is a reduced fast component-by-component digit-by-digit (CBC-DBD) algorithm, which useful for to situations where the weights in the function space show a sufficiently fast decay. The advantage of the algorithm presented here is that the computational effort can be independent of the dimension of the integration problem to be treated if suitable assumptions on the integrand are met. The new reduced CBC-DBD algorithm is designed to work for the construction of lattice point sets, and the corresponding integration rules (so-called lattice rules) can be used to treat functions in different kinds of function spaces. We show that the integration rules constructed by our algorithm satisfy error bounds of almost optimal convergence order. Furthermore, we give details on an efficient implementation such that we obtain a considerable speed-up of a previously known CBC-DBD algorithm that has been studied before. This improvement is illustrated by numerical results.


title: Generalized Random Gilbert-Varshamov Codes: Typical Error Exponent and Concentration Properties

abstract: We find the exact typical error exponent of constant composition generalized random Gilbert-Varshamov (RGV) codes over DMCs channels with generalized likelihood decoding. We show that the typical error exponent of the RGV ensemble is equal to the expurgated error exponent, provided that the RGV codebook parameters are chosen appropriately. We also prove that the random coding exponent converges in probability to the typical error exponent, and the corresponding non-asymptotic concentration rates are derived. Our results show that the decay rate of the lower tail is exponential while that of the upper tail is double exponential above the expurgated error exponent. The explicit dependence of the decay rates on the RGV distance functions is characterized.


title: Photonic Spiking Neural Networks with Highly Efficient Training Protocols for Ultrafast Neuromorphic Computing Systems

abstract: Photonic technologies offer great prospects for novel ultrafast, energy-efficient and hardware-friendly neuromorphic (brain-like) computing platforms. Moreover, neuromorphic photonic approaches based upon ubiquitous, technology-mature and low-cost Vertical-Cavity Surface Emitting Lasers (VCSELs) (devices found in fibre-optic transmitters, mobile phones, automotive sensors, etc.) are of particular interest. Given VCSELs have shown the ability to realise neuronal optical spiking responses (at ultrafast GHz rates), their use for spike-based information processing systems has been proposed. In this work, Spiking Neural Network (SNN) operation, based on a hardware-friendly photonic system of just one Vertical Cavity Surface Emitting Laser (VCSEL), is reported alongside a novel binary weight 'significance' training scheme that fully capitalises on the discrete nature of the optical spikes used by the SNN to process input information. The VCSEL-based photonic SNN is tested with a highly complex, multivariate, classification task (MADELON) before performance is compared using a traditional least-squares training method and the alternative novel binary weighting scheme. Excellent classification accuracies of >94% are reached by both training methods, exceeding the benchmark performance of the dataset in a fraction of processing time. The newly reported training scheme also dramatically reduces training set size requirements as well as the number of trained nodes (<1% of the total network node count). This VCSEL-based photonic SNN, in combination with the reported 'significance' weighting scheme, therefore grants ultrafast spike-based optical processing with highly reduced training requirements and hardware complexity for potential application in future neuromorphic systems and artificial intelligence applications.


title: Software tools for computing EW chiral amplitudes

abstract: We present an implementation of the Electroweak Chiral Lagrangian (also denoted as Higgs Effective Theory) in several high energy physics Mathematica packages. In particular, we implement the bosonic part of the electoweak Lagrangian up to next-to-leading order for FeynRules, FeynArts and FeynCalc. These tools are publicly available and can be used to readily calculate the Feynman rules and amplitudes in the theory.


title: Exciton-Exciton transitions involving strongly bound excitons: an ab initio approach

abstract: In pump-probe spectroscopy, two laser pulses are employed to garner dynamical information from the sample of interest. The pump initiates the optical process by exciting a portion of the sample from the electronic ground state to an accessible electronic excited state, an exciton. Thereafter, the probe interacts with the already excited sample. The change in the absorbance after pump provides information on transitions between the excited states and their dynamics. In this work we study these exciton-exciton transitions by means of an ab initio real time propagation scheme based on dynamical Berry phase formulation. The results are then analyzed taking advantage of a Fermi-golden rule approach formulated in the excitonic basis-set and in terms of the symmetries of the excitonic states. Using bulk LiF and 2D hBN as two prototype materials, we discuss the selection rules for transitions involving strongly bound excitons, for which the hydrogen model cannot be used.


title: MeerKAT follow-up of enigmatic GLEAM 4-Jy (G4Jy) sources

abstract: We present the results from studying 140 radio sources in the GLEAM (GaLactic and Extragalactic All-sky MWA [Murchison Widefield Array]) 4-Jy (G4Jy) Sample. These sources were followed-up with MeerKAT to assess their radio morphology and enable host-galaxy identification, as existing radio images of 25 to 45-arcsec resolution do not provide sufficient information. We refer to these sources as the MeerKAT-2019 subset. The aim is to identify the host galaxy of these sources by visually inspecting the overlays comprising radio data from four surveys (at 150, 200, 843/1400, and 1300 MHz). Our morphological classification and host-galaxy identification relies upon the ~7-arcsec resolution images from MeerKAT (1300 MHz). Through the visual inspection of the overlays, 14 radio sources in the MeerKAT-2019 subset have wide-angle tail (WAT) morphology, 10 are head-tail, and 5 have X-, S-/Z-shaped morphology. Most of the remaining sources have the radio morphology of typical symmetric lobes. Of 140 sources, we find host galaxies for 98 sources, leaving 42 with no identified host galaxy. These 42 sources still have ambiguous identification even with higher resolution images from MeerKAT.


title: Mesh-free hydrodynamics in PKDGRAV3 for galaxy formation simulations

abstract: We extend the state-of-the-art N-body code PKDGRAV3 with the inclusion of mesh-free gas hydrodynamics for cosmological simulations. Two new hydrodynamic solvers have been implemented, the mesh-less finite volume and mesh-less finite mass methods. The solvers manifestly conserve mass, momentum and energy, and have been validated with a wide range of standard test simulations, including cosmological simulations. We also describe improvements to PKDGRAV3 that have been implemented for performing hydrodynamic simulations. These changes have been made with efficiency and modularity in mind, and provide a solid base for the implementation of the required modules for galaxy formation and evolution physics and future porting to GPUs. The code is released in a public repository, together with the documentation and all the test simulations presented in this work.

categories: astro-ph.GA astro-ph.IM physics.comp-ph physics.flu-dyn


title: FE-Fusion-VPR: Attention-based Multi-Scale Network Architecture for Visual Place Recognition by Fusing Frames and Events

abstract: Traditional visual place recognition (VPR), usually using standard cameras, is easy to fail due to glare or high-speed motion. By contrast, event cameras have the advantages of low latency, high temporal resolution, and high dynamic range, which can deal with the above issues. Nevertheless, event cameras are prone to failure in weakly textured or motionless scenes, while standard cameras can still provide appearance information in this case. Thus, exploiting the complementarity of standard cameras and event cameras can effectively improve the performance of VPR algorithms. In the paper, we propose FE-Fusion-VPR, an attention-based multi-scale network architecture for VPR by fusing frames and events. First, the intensity frame and event volume are fed into the two-stream feature extraction network for shallow feature fusion. Next, the three-scale features are obtained through the multi-scale fusion network and aggregated into three sub-descriptors using the VLAD layer. Finally, the weight of each sub-descriptor is learned through the descriptor re-weighting network to obtain the final refined descriptor. Experimental results show that on the Brisbane-Event-VPR and DDD20 datasets, the Recall@1 of our FE-Fusion-VPR is 29.26% and 33.59% higher than Event-VPR and Ensemble-EventVPR, and is 7.00% and 14.15% higher than MultiRes-NetVLAD and NetVLAD. To our knowledge, this is the first end-to-end network that goes beyond the existing event-based and frame-based SOTA methods to fuse frame and events directly for VPR.


title: Wild automorphisms of compact complex spaces of lower dimensions

abstract: An automorphism of a compact complex space is called wild in the sense of Reichstein--Rogalski--Zhang if there is no non-trivial proper invariant analytic subset. We show that a compact complex surface admitting a wild automorphism must be a complex torus or an Inoue surface of certain type, and this wild automorphism has zero entropy. As a by-product of our argument, we obtain new results about the automorphism groups of Inoue surfaces. We also study wild automorphisms of compact K\"ahler threefolds or fourfolds, and generalise the results of Oguiso--Zhang from the projective case to the K\"ahler case.


title: A topological derivative-based algorithm to solve optimal control problems with $L^0(\Omega)$ control cost

abstract: In this paper, we consider optimization problems with $L^0$-cost of the controls. Here, we take the support of the control as independent optimization variable. Topological derivatives of the corresponding value function with respect to variations of the support are derived. These topological derivatives are used in a novel gradient descent algorithm with Armijo line-search. Under suitable assumptions, the algorithm produces a minimizing sequence.


title: Spatially Nonuniform Oscillations in Ferrimagnets Based on an Atomistic Model

abstract: The ferrimagnets, such as GdxFeCo(1-x), can produce ultrafast magnetic switching and oscillation due to the strong exchange field. The two-sublattices macrospin model has been widely used to explain the experimental results. However, it fails in describing the spatial nonuniform magnetic dynamics which gives rises to many important phenomenons such as the domain walls and skyrmions. Here we develop the two-dimensional atomistic model and provide a torque analysis method to study the ferrimagnetic oscillation. Under the spin-transfer torque, the magnetization oscillates in the exchange mode or the flipped exchange mode. When the Gd composition is increased, the exchange mode firstly disappears, and then appears again as the magnetization compensation point is reached. We show that these results can only be explained by analyzing the spatial distribution of magnetization and effective fields. In particular, when the sample is small, a spatial nonuniform oscillation is also observed in the square film. Our work reveals the importance of spatial magnetic distributions in understanding the ferrimagnetic dynamics. The method developed in this paper provides an important tool to gain a deeper understanding of ferrimagnets and antiferromagnets. The observed ultrafast dynamics can also stimulate the development of THz oscillators.


title: Hopfield-like open channel retrieval for disordered optical media

abstract: The measurement of the optical Transmission Matrix (TM) enables to access "open channels": input patterns, specific to each scattering structure, capable to deliver very high transmission. Various approaches, based either on multiple interferometric measurements or on systematic random testing of incident wavefronts, enable to estimate the inputs required to excite these open channels. Here, we provide for the first time an approach enabling the complete and reference-less retrieval of the open channels. It is based on the full mapping all the pairwise interference terms resulting from all the input modes couples. We show that these interference terms are organized into a bi-dyadic coupling matrix whose eigenvalues enables to access the open channel. A disordered optical system, is thus behaving exactly like an Hopfield neural network, where a specific input vector (an eigenvalue of the neurons' coupling matrix) enables to retrieve a specific memory pattern. The proposed Hopfield like open-channel-retrieval approach, enables to reach almost 100$\%$ of the theoretically expected value of the Intensity. Moreover employing a digital micromirror device to modulate light, we demonstrate high speed laser scanning at the back of a disordered medium.


title: Enabling On-Demand Cyber-Physical Control Applications with UAV Access Points

abstract: Achieving cyber-physical control over a wireless channel requires satisfying both the timeliness of a single packet and preserving the latency reliability across several consecutive packets. To satisfy those requirements as an ubiquitous service requires big infrastructural developments, or flexible on-demand equipment such as UAVs. To avoid the upfront cost in terms of finance and energy, this paper analyzes the capability of UAV access points (UAVAPs) to satisfy the requirements for cyber-physical traffic. To investigate this, we perform a Gilbert-Eliott burst-error analysis that is analytically derived as a combination of two separate latency measurement campaigns and provide an upper-bound analysis of the UAVAP system. The analysis is centered around a UAVAP that uses its LTE connection to reach the backhaul, while providing service to ground nodes (GNs) with a Wi-Fi access point (AP). Thus, we combine both measurement campaigns to analyze the plausibility of the described setup in casual, crowded or mixed network settings.


title: Efficient Frequency Domain-based Transformers for High-Quality Image Deblurring

abstract: We present an effective and efficient method that explores the properties of Transformers in the frequency domain for high-quality image deblurring. Our method is motivated by the convolution theorem that the correlation or convolution of two signals in the spatial domain is equivalent to an element-wise product of them in the frequency domain. This inspires us to develop an efficient frequency domain-based self-attention solver (FSAS) to estimate the scaled dot-product attention by an element-wise product operation instead of the matrix multiplication in the spatial domain. In addition, we note that simply using the naive feed-forward network (FFN) in Transformers does not generate good deblurred results. To overcome this problem, we propose a simple yet effective discriminative frequency domain-based FFN (DFFN), where we introduce a gated mechanism in the FFN based on the Joint Photographic Experts Group (JPEG) compression algorithm to discriminatively determine which low- and high-frequency information of the features should be preserved for latent clear image restoration. We formulate the proposed FSAS and DFFN into an asymmetrical network based on an encoder and decoder architecture, where the FSAS is only used in the decoder module for better image deblurring. Experimental results show that the proposed method performs favorably against the state-of-the-art approaches. Code will be available at \url{https://github.com/kkkls/FFTformer}.


title: Optical properties and corrosion resistance of Ti2AlC, Ti3AlC2, and Cr2AlC as candidates for Concentrated Solar Power receivers

abstract: New generation concentrated solar power (CSP) plants require new solar receiver materials with selective optical properties and excellent corrosion resistance against molten salts. MAX phases are promising materials for CSP applications due to their optical properties and resistance to thermal shocks. Herein, we report a solar absorptance >/= 0.5 and a thermal emittance of 0.17-0.31 between 600 and 1500 K for Cr2AlC, Ti2AlC, and Ti3AlC2. These compositions were also exposed to solar salt corrosion at 600{\deg}C for up to 4 weeks. Cr2AlC exhibited superior corrosion resistance due to the formation of a protective nanometric layer.


title: Data-Driven Key Performance Indicators and Datasets for Building Energy Flexibility: A Review and Perspectives

abstract: Energy flexibility, through short-term demand-side management (DSM) and energy storage technologies, is now seen as a major key to balancing the fluctuating supply in different energy grids with the energy demand of buildings. This is especially important when considering the intermittent nature of ever-growing renewable energy production, as well as the increasing dynamics of electricity demand in buildings. This paper provides a holistic review of (1) data-driven energy flexibility key performance indicators (KPIs) for buildings in the operational phase and (2) open datasets that can be used for testing energy flexibility KPIs. The review identifies a total of 81 data-driven KPIs from 91 recent publications. These KPIs were categorized and analyzed according to their type, complexity, scope, key stakeholders, data requirement, baseline requirement, resolution, and popularity. Moreover, 330 building datasets were collected and evaluated. Of those, 16 were deemed adequate to feature building performing demand response or building-to-grid (B2G) services. The DSM strategy, building scope, grid type, control strategy, needed data features, and usability of these selected 16 datasets were analyzed. This review reveals future opportunities to address limitations in the existing literature: (1) developing new data-driven methodologies to specifically evaluate different energy flexibility strategies and B2G services of existing buildings; (2) developing baseline-free KPIs that could be calculated from easily accessible building sensors and meter data; (3) devoting non-engineering efforts to promote building energy flexibility, such as designing utility programs, standardizing energy flexibility quantification and verification processes; and (4) curating datasets with proper description for energy flexibility assessments.


title: Emergence of ghost in once-subtracted on-shell unitarization in glueball-glueball scattering

abstract: We investigate the scattering of two scalar glueballs in pure YM theory, using the well known dilaton potential. We perform the calculations considering a glueball mass of about $m_G \approx 1.7$ GeV, as predicted by lattice QCD. We begin with the tree-level theory, but the question about the presence of a bound state needs a deeper study to be answered. Thus we unitarize the theory through a self energy loop function consisting of a single subtraction at the single glueball resonance pole. We show that this choice is inconsistent as it leads to the emergence of a ghost-like state with negative norm. This problem is related with the sign of the coefficient in the first order term of the expansion of the reverse unitarized amplitude. We briefly discuss the solution which consists of an additional subtraction in the loop function, as presented in Eur.Phys.J.C 82 (2022) 5, 487.


title: SPIn-NeRF: Multiview Segmentation and Perceptual Inpainting with Neural Radiance Fields

abstract: Neural Radiance Fields (NeRFs) have emerged as a popular approach for novel view synthesis. While NeRFs are quickly being adapted for a wider set of applications, intuitively editing NeRF scenes is still an open challenge. One important editing task is the removal of unwanted objects from a 3D scene, such that the replaced region is visually plausible and consistent with its context. We refer to this task as 3D inpainting. In 3D, solutions must be both consistent across multiple views and geometrically valid. In this paper, we propose a novel 3D inpainting method that addresses these challenges. Given a small set of posed images and sparse annotations in a single input image, our framework first rapidly obtains a 3D segmentation mask for a target object. Using the mask, a perceptual optimizationbased approach is then introduced that leverages learned 2D image inpainters, distilling their information into 3D space, while ensuring view consistency. We also address the lack of a diverse benchmark for evaluating 3D scene inpainting methods by introducing a dataset comprised of challenging real-world scenes. In particular, our dataset contains views of the same scene with and without a target object, enabling more principled benchmarking of the 3D inpainting task. We first demonstrate the superiority of our approach on multiview segmentation, comparing to NeRFbased methods and 2D segmentation approaches. We then evaluate on the task of 3D inpainting, establishing state-ofthe-art performance against other NeRF manipulation algorithms, as well as a strong 2D image inpainter baseline. Project Page: https://spinnerf3d.github.io


title: Waveguide-coupled light emitting devices made of 2D materials

abstract: Optical information processing using photonic integrated circuits is a key goal in the field of nanophotonics. Extensive research efforts have led to remarkable progress in integrating active and passive device functionalities within one single photonic circuit. Still, to date, one of the central components - i.e. light sources - remain a challenge to be integrated. Here, we demonstrate waveguide-coupled electrically driven light emitters in an on-chip photonics platform based on 2D materials. We combine light-emitting devices (LEDs), based on exciton recombination in transition metal dichalcogenides (TMDs), with hexagonal boron nitride (h-BN) photonic waveguides in a single van der Waals (vdW) heterostructure. Waveguide-coupled light emission is achieved by sandwiching the LED between two h-BN slabs and patterning the complete vdW stack into a photonic structure. Our demonstration of on-chip light generation and waveguiding is a key component for future integrated vdW optoelectronics.