title: Phase estimation of Mach-Zehnder interferometer via Laguerre excitation squeezed state

abstract: Quantum metrology has an important role in the fields of quantum optics and quantum information processing. Here we introduce a kind of non-Gaussian state, Laguerre excitation squeezed state as input of traditional Mach-Zehnder interferometer to examine phase estimation in realistic case. We consider the effects of both internal and external losses on phase estimation by using quantum Fisher information and parity detection. It is shown that the external loss presents a bigger effect than the internal one. The phase sensitivity and the quantum Fisher information can be improved by increasing the photon number and even surpass the ideal phase sensitivity by two-mode squeezed vacuum in a certain region of phase shift for realistic case.


title: The structure of Tick-borne Encephalitis virus determined at X-Ray Free-Electron Lasers. Simulations

abstract: The study of the structure of viruses by X-ray free-electron lasers (XFEL) attracts more attention in recent decades. Such experiments are based on the collection of two-dimensional diffraction patterns measured at the detector after diffraction of femtosecond X-ray pulses on biological samples. In order to prepare the experiment at the European XFEL we simulated the diffraction data for the tick-borne encephalitis virus (TBEV) with different parameters and identified their optimal values. Following necessary steps of a well-established data processing pipeline, the structure of TBEV was obtained and the efficiency of the used methods was demonstrated.


title: Weak saturation properties and side conditions

abstract: Towards combining "compactness" and "hugeness" properties at $\omega_2$, we investigate the relevance of side-conditions forcing. We reduce the upper bound on the consistency strength of the weak Chang's Conjecture at $\omega_2$ using Neeman's forcing. But we find a barrier to the applicability of these methods to our problem and give a counterexample to a claim of Neeman about the effects of iterating such forcing.


title: Barrow holographic dark energy models in $f\left( Q\right)$ symmetric teleparallel gravity with Lambert function distribution

abstract: The paper presents Barrow holographic dark energy (infrared cut-off is the Hubble horizon) suggested by Barrow recently (Physics Letters B 808 (2020): 135643) in an anisotropic Bianchi type-I Universe within the framework of $% f\left( Q\right) $ symmetric teleparallel gravity, where the non-metricity scalar $Q$ is responsible for the gravitational interaction. We consider two cases: Interacting and non-interacting models of pressureless dark matter and Barrow holographic dark energy by solving $f\left( Q\right) $ symmetric teleparallel field equations. To find the exact solutions of the field equations, we assume that the time-redshift relation follows a Lambert function distribution as $t\left( z\right) =\frac{mt_{0}}{l}g\left( z\right) $, where $g\left( z\right) =LambertW\left[ \frac{l}{m}e^{\frac{l-\ln \left( 1+z\right) }{m}}\right] $, $m$ and $l$ are non-negative constants and $t_{0}$ represents the age of the Universe. Moreover, we discuss several cosmological parameters such as energy density, equation of state (EoS) and skewness parameters, squared sound speed, and $(\omega _{B}-\omega _{B}^{^{\prime }})$ plane. Finally, we found the values of the deceleration parameter (DP) for the Lambert function distribution as $q_{(z=0)}=-0.45$ and $q_{(z=-1)}=-1$ which are consistent with recent observational data, i.e. DP evolves with cosmic time from initial deceleration to late-time acceleration.


title: One Ontology to Rule Them All: Corner Case Scenarios for Autonomous Driving

abstract: The core obstacle towards a large-scale deployment of autonomous vehicles currently lies in the long tail of rare events. These are extremely challenging since they do not occur often in the utilized training data for deep neural networks. To tackle this problem, we propose the generation of additional synthetic training data, covering a wide variety of corner case scenarios. As ontologies can represent human expert knowledge while enabling computational processing, we use them to describe scenarios. Our proposed master ontology is capable to model scenarios from all common corner case categories found in the literature. From this one master ontology, arbitrary scenario-describing ontologies can be derived. In an automated fashion, these can be converted into the OpenSCENARIO format and subsequently executed in simulation. This way, also challenging test and evaluation scenarios can be generated.


title: B\'ezier Gaussian Processes for Tall and Wide Data

abstract: Modern approximations to Gaussian processes are suitable for "tall data", with a cost that scales well in the number of observations, but under-performs on ``wide data'', scaling poorly in the number of input features. That is, as the number of input features grows, good predictive performance requires the number of summarising variables, and their associated cost, to grow rapidly. We introduce a kernel that allows the number of summarising variables to grow exponentially with the number of input features, but requires only linear cost in both number of observations and input features. This scaling is achieved through our introduction of the B\'ezier buttress, which allows approximate inference without computing matrix inverses or determinants. We show that our kernel has close similarities to some of the most used kernels in Gaussian process regression, and empirically demonstrate the kernel's ability to scale to both tall and wide datasets.


title: An all Froude high order IMEX scheme for the shallow water equations on unstructured Voronoi meshes

abstract: We propose a novel numerical method for the solution of the shallow water equations in different regimes of the Froude number making use of general polygonal meshes. The fluxes of the governing equations are split such that advection and acoustic-gravity sub-systems are derived, hence separating slow and fast phenomena. This splitting allows the nonlinear convective fluxes to be discretized explicitly in time, while retaining an implicit time marching for the acoustic-gravity terms. Consequently, the novel schemes are particularly well suited in the low Froude limit of the model, since no numerical viscosity is added in the implicit solver. Besides, stability follows from a milder CFL condition which is based only on the advection speed and not on the celerity. High order time accuracy is achieved using the family of semi-implicit IMEX Runge-Kutta schemes, while high order in space is granted relying on two discretizations: (i) a cell-centered finite volume (FV) scheme for the nonlinear convective contribution on the polygonal cells; (ii) a staggered discontinuous Galerkin (DG) scheme for the solution of the linear system associated to the implicit discretization of the pressure sub-system. Therefore, three different meshes are used, namely a polygonal Voronoi mesh, a triangular subgrid and a staggered quadrilateral subgrid. The novel schemes are proved to be Asymptotic Preserving (AP), hence a consistent discretization of the limit model is retrieved for vanishing Froude numbers, which is the given by the so-called "lake at rest" equations. Furthermore, the novel methods are well-balanced by construction, and this property is also demonstrated. Accuracy and robustness are then validated against a set of benchmark test cases with Froude numbers ranging in the interval $\Fr \approx [10^{-6};5]$, hence showing that multiple time scales can be handled by the novel methods.


title: A Unified Framework for Consensus and Synchronization on Lie Groups admitting a Bi-Invariant Metric

abstract: For a finite number of agents evolving on a Euclidean space and linked to each other by a connected graph, the Laplacian flow that is based on the inter-agent errors, ensures consensus or synchronization for both first and second-order dynamics. When such agents evolve on a circle (the Kuramoto oscillator), the flow that depends on the sinusoid of the inter-agent error angles generalizes the same. In this work, it is shown that the Laplacian flow and the Kuramoto oscillator are special cases of a more general theory of consensus on Lie groups that admit bi-invariant metrics. Such a theory not only enables generalization of these consensus and synchronization algorithms to Lie groups but also provide insight on to the abstract group theoretic and differential geometric properties that ensures convergence in Euclidean space and the circle.


title: A correlation inequality for random points in a hypercube with some implications

abstract: Let $\prec$ be the product order on $\mathbb{R}^k$ and assume that $X_1,X_2,\ldots,X_n$ ($n\geq3$) are i.i.d. random vectors distributed uniformly in the unit hypercube $[0,1]^k$. Let $S$ be the (random) set of vectors in $\mathbb{R}^k$ that $\prec$-dominate all vectors in $\{X_3,..,X_n\}$, and let $W$ be the set of vectors that are not $\prec$-dominated by any vector in $\{X_3,..,X_n\}$. The main result of this work is the correlation inequality \begin{equation*} P(X_2\in W|X_1\in W)\leq P(X_2\in W|X_1\in S)\,. \end{equation*} For every $1\leq i \leq n$ let $E_{i,n}$ be the event that $X_i$ is not $\prec$-dominated by any of the other vectors in $\{X_1,\ldots,X_n\}$. The main inequality yields an elementary proof for the result that the events $E_{1,n}$ and $E_{2,n}$ are asymptotically independent as $n\to\infty$. Furthermore, we derive a related combinatorial formula for the variance of the sum $\sum_{i=1}^n \textbf{1}_{E_{i,n}}$, i.e. the number of maxima under the product order $\prec$, and show that certain linear functionals of partial sums of $\{\textbf{1}_{E_{i,n}};1\leq i\leq n\}$ are asymptotically normal as $n\to\infty$.


title: Dynamics-Adaptive Continual Reinforcement Learning via Progressive Contextualization

abstract: A key challenge of continual reinforcement learning (CRL) in dynamic environments is to promptly adapt the RL agent's behavior as the environment changes over its lifetime, while minimizing the catastrophic forgetting of the learned information. To address this challenge, in this article, we propose DaCoRL, i.e., dynamics-adaptive continual RL. DaCoRL learns a context-conditioned policy using progressive contextualization, which incrementally clusters a stream of stationary tasks in the dynamic environment into a series of contexts and opts for an expandable multihead neural network to approximate the policy. Specifically, we define a set of tasks with similar dynamics as an environmental context and formalize context inference as a procedure of online Bayesian infinite Gaussian mixture clustering on environment features, resorting to online Bayesian inference to infer the posterior distribution over contexts. Under the assumption of a Chinese restaurant process prior, this technique can accurately classify the current task as a previously seen context or instantiate a new context as needed without relying on any external indicator to signal environmental changes in advance. Furthermore, we employ an expandable multihead neural network whose output layer is synchronously expanded with the newly instantiated context, and a knowledge distillation regularization term for retaining the performance on learned tasks. As a general framework that can be coupled with various deep RL algorithms, DaCoRL features consistent superiority over existing methods in terms of the stability, overall performance and generalization ability, as verified by extensive experiments on several robot navigation and MuJoCo locomotion tasks.


title: Kaufman and Falconer estimates for radial projections and a continuum version of Beck's Theorem

abstract: We provide several new answers on the question: how do radial projections distort the dimension of planar sets? Let $X,Y \subset \mathbb{R}^{2}$ be non-empty Borel sets. If $X$ is not contained on any line, we prove that \[ \sup_{x \in X} \dim_{\mathrm{H}} \pi_{x}(Y) \geq \min\{\dim_{\mathrm{H}} X,\dim_{\mathrm{H}} Y,1\}. \] If $\dim_{\mathrm{H}} Y > 1$, we have the following improved lower bound: \[ \sup_{x \in X} \dim_{\mathrm{H}} \pi_{x}(Y \, \setminus \, \{x\}) \geq \min\{\dim_{\mathrm{H}} X + \dim_{\mathrm{H}} Y - 1,1\}. \] Our results solve conjectures of Lund-Thang-Huong, Liu, and the first author. Another corollary is the following continuum version of Beck's theorem in combinatorial geometry: if $X \subset \mathbb{R}^{2}$ is a Borel set with the property that $\dim_{\mathrm{H}} (X \, \setminus \, \ell) = \dim_{\mathrm{H}} X$ for all lines $\ell \subset \mathbb{R}^{2}$, then the line set spanned by $X$ has Hausdorff dimension at least $\min\{2\dim_{\mathrm{H}} X,2\}$. While the results above concern $\mathbb{R}^{2}$, we also derive some counterparts in $\mathbb{R}^{d}$ by means of integralgeometric considerations. The proofs are based on an $\epsilon$-improvement in the Furstenberg set problem, due to the two first authors, a bootstrapping scheme introduced by the second and third author, and a new planar incidence estimate due to Fu and Ren.


title: FLAME: Free-form Language-based Motion Synthesis & Editing

abstract: Text-based motion generation models are drawing a surge of interest for their potential for automating the motion-making process in the game, animation, or robot industries. In this paper, we propose a diffusion-based motion synthesis and editing model named FLAME. Inspired by the recent successes in diffusion models, we integrate diffusion-based generative models into the motion domain. FLAME can generate high-fidelity motions well aligned with the given text. Also, it can edit the parts of the motion, both frame-wise and joint-wise, without any fine-tuning. FLAME involves a new transformer-based architecture we devise to better handle motion data, which is found to be crucial to manage variable-length motions and well attend to free-form text. In experiments, we show that FLAME achieves state-of-the-art generation performances on three text-motion datasets: HumanML3D, BABEL, and KIT. We also demonstrate that editing capability of FLAME can be extended to other tasks such as motion prediction or motion in-betweening, which have been previously covered by dedicated models.


title: Active microrheology of colloidal suspensions of hard cuboids

abstract: By performing dynamic Monte Carlo simulations, we investigate the microrheology of isotropic suspensions of hard-core colloidal cuboids. In particular, we infer the local viscoelastic behaviour of these fluids by studying the dynamics of a probe spherical particle that is incorporated in the host phase and is dragged by an external force. This technique, known as active microrheology, allows one to characterise the microscopic response of soft materials upon application of a constant force, whose intensity spans here three orders of magnitude. By tuning the geometry of cuboids from oblate to prolate as well as the system density, we observe different responses that are quantified by measuring the effective friction perceived by the probe particle. The resulting friction coefficient exhibits a linear regime at forces that are much weaker and larger than the thermal forces, whereas a non-linear, force-thinning regime is observed at intermediate force intensities.


title: Find the Funding: Entity Linking with Incomplete Funding Knowledge Bases

abstract: Automatic extraction of funding information from academic articles adds significant value to industry and research communities, such as tracking research outcomes by funding organizations, profiling researchers and universities based on the received funding, and supporting open access policies. Two major challenges of identifying and linking funding entities are: (i) sparse graph structure of the Knowledge Base (KB), which makes the commonly used graph-based entity linking approaches suboptimal for the funding domain, (ii) missing entities in KB, which (unlike recent zero-shot approaches) requires marking entity mentions without KB entries as NIL. We propose an entity linking model that can perform NIL prediction and overcome data scarcity issues in a time and data-efficient manner. Our model builds on a transformer-based mention detection and bi-encoder model to perform entity linking. We show that our model outperforms strong existing baselines.


title: New Close Binary Central Stars of Planetary Nebulae from Gaia DR3 Epoch Photometry

abstract: Close binary interactions perform a key role in the formation and shaping of planetary nebulae. However only a small fraction of Galactic planetary nebulae are known to host close binary systems. Many such systems are detectable through photometric variability. We searched recently published epoch photometry data from Gaia DR3 for planetary nebula central stars with periodic photometric variability indicative of binarity, uncovering four previously unknown close binaries.


title: AccoMontage2: A Complete Harmonization and Accompaniment Arrangement System

abstract: We propose AccoMontage2, a system capable of doing full-length song harmonization and accompaniment arrangement based on a lead melody. Following AccoMontage, this study focuses on generating piano arrangements for popular/folk songs and it carries on the generalized template-based retrieval method. The novelties of this study are twofold. First, we invent a harmonization module (which AccoMontage does not have). This module generates structured and coherent full-length chord progression by optimizing and balancing three loss terms: a micro-level loss for note-wise dissonance, a meso-level loss for phrase-template matching, and a macro-level loss for full piece coherency. Second, we develop a graphical user interface which allows users to select different styles of chord progression and piano texture. Currently, chord progression styles include Pop, R&B, and Dark, while piano texture styles include several levels of voicing density and rhythmic complexity. Experimental results show that both our harmonization and arrangement results significantly outperform the baselines. Lastly, we release AccoMontage2 as an online application as well as the organized chord progression templates as a public dataset.


title: Convergence for varying measures

abstract: Some limit theorems of the type $\int_{\Omega}f_n dm_n -- --> \int_{\Omega}f dm$ are presented for scalar, (vector), (multi)-valued sequences of m_n-integrable functions f_n. The convergences obtained, in the vector and multivalued settings, are in the weak or in the strong sense.


title: Gait Recognition in the Wild with Multi-hop Temporal Switch

abstract: Existing studies for gait recognition are dominated by in-the-lab scenarios. Since people live in real-world senses, gait recognition in the wild is a more practical problem that has recently attracted the attention of the community of multimedia and computer vision. Current methods that obtain state-of-the-art performance on in-the-lab benchmarks achieve much worse accuracy on the recently proposed in-the-wild datasets because these methods can hardly model the varied temporal dynamics of gait sequences in unconstrained scenes. Therefore, this paper presents a novel multi-hop temporal switch method to achieve effective temporal modeling of gait patterns in real-world scenes. Concretely, we design a novel gait recognition network, named Multi-hop Temporal Switch Network (MTSGait), to learn spatial features and multi-scale temporal features simultaneously. Different from existing methods that use 3D convolutions for temporal modeling, our MTSGait models the temporal dynamics of gait sequences by 2D convolutions. By this means, it achieves high efficiency with fewer model parameters and reduces the difficulty in optimization compared with 3D convolution-based models. Based on the specific design of the 2D convolution kernels, our method can eliminate the misalignment of features among adjacent frames. In addition, a new sampling strategy, i.e., non-cyclic continuous sampling, is proposed to make the model learn more robust temporal features. Finally, the proposed method achieves superior performance on two public gait in-the-wild datasets, i.e., GREW and Gait3D, compared with state-of-the-art methods.


title: Sub-nanometer measurement of transient structural changes in dye-doped polystyrene microspheres

abstract: We present an interferometric spectral-domain optical coherence tomography microscopy setup to detect structural changes using interference of light reflected from different interfaces of the sample. We induce a reproducible nanometer-scale size change in dye-doped 10$~\mu$m polystyrene microspheres by the release of Stokes shift energy of dye molecules inside the microspheres, excited by a modulated 532-nm laser. The resulting optical path length difference was measured with a sensitivity of 0.4$~pm/\sqrt{Hz}$ limited by photodetection noise, and reveals elastic as well as inelastic responses, which opens up possibilities for measuring the response of cell-sized biological objects.


title: Testing Causality in Scientific Modelling Software

abstract: From simulating galaxy formation to viral transmission in a pandemic, scientific models play a pivotal role in developing scientific theories and supporting government policy decisions that affect us all. Given these critical applications, a poor modelling assumption or bug could have far-reaching consequences. However, scientific models possess several properties that make them notoriously difficult to test, including a complex input space, long execution times, and non-determinism, rendering existing testing techniques impractical. In fields such as epidemiology, where researchers seek answers to challenging causal questions, a statistical methodology known as Causal Inference has addressed similar problems, enabling the inference of causal conclusions from noisy, biased, and sparse data instead of costly experiments. This paper introduces the Causal Testing Framework: a framework that uses Causal Inference techniques to establish causal effects from existing data, enabling users to conduct software testing activities concerning the effect of a change, such as Metamorphic Testing, a posteriori. We present three case studies covering real-world scientific models, demonstrating how the Causal Testing Framework can infer metamorphic test outcomes from reused, confounded test data to provide an efficient solution for testing scientific modelling software.


title: Recent developments of turbulent emulsions in Taylor-Couette flow

abstract: Emulsions are common in many natural and industrial settings. Recently, much attention has been put on understanding the dynamics of turbulent emulsions. This paper reviews some recent studies of emulsions in turbulent Taylor-Couette flow, mainly focusing on the statistics of the dispersed phase and the global momentum transport of the system. We first study the size distribution and the breakup mechanism of the dispersed droplets for turbulent emulsions with a low volume-fraction (dilute) of the dispersed phase. For systems with a high volume-fraction of the dispersed phase (dense), we address the detailed response of the global transport (effective viscosity) of the turbulent emulsion and its connection to the droplet statistics. Finally, we will discuss catastrophic phase inversions, which can happen when the volume fraction of the dispersed phase exceeds a critical value during dynamic emulsification. We end the manuscript with a summary and an outlook including some open questions for future research. This article is part of the theme issue `Taylor-Couette and Related Flows on the Centennial of Taylor's Seminal Philosophical Transactions Paper'.


title: On the Vertex Position Number of Graphs

abstract: In this paper we generalise the notion of visibility from a point in an integer lattice to the setting of graph theory. For a vertex $x$ of a connected graph $G$, we say that a set $S \subseteq V(G)$ is an \emph{$x$-position set} if for any $y \in S$ the shortest $x,y$-paths in $G$ contain no point of $S\setminus \{ y\}$. We investigate the largest and smallest orders of maximum $x$-position sets in graphs, determining these numbers for common classes of graphs and giving bounds in terms of the girth, vertex degrees, diameter and radius. Finally we discuss the complexity of finding maximum vertex position sets in graphs.


title: The strangeness program at GlueX

abstract: The GlueX experiment located at Jefferson Lab studies the spectrum of hadrons using photoproduction on a LH$_2$ target in a wide variety of final states. With its detector system capable of measuring neutral and charged final state particles over almost the full solid angle, and very good particle identification capabilities, GlueX can measure many different hadrons containing strangeness. A linearly polarized photon beam allows the measurement of polarization observables, which contain information about the production mechanisms involved in generating strange particles in photoproduction. In addition, GlueX can perform precise cross-section measurements, which help to study the spectrum of strange hadrons. In this presentation, the GlueX experiment is introduced, and recent progress of its strangeness program is discussed. We present recent results on $\Sigma^0$ beam asymmetries, $\Lambda$(1520) spin-density matrix elements and ongoing studies of the $\Lambda$(1405) lineshape. We also present our recent progress on measurements of $\Lambda\bar\Lambda$ and $\Xi^{(*)}$ photoproduction. Also, future prospects for strangeness measurements at GlueX are discussed.


title: Versatile Single-Loop Method for Gradient Estimator: First and Second Order Optimality, and its Application to Federated Learning

abstract: While variance reduction methods have shown great success in solving large scale optimization problems, many of them suffer from accumulated errors and, therefore, should periodically require the full gradient computation. In this paper, we present a single-loop algorithm named SLEDGE (Single-Loop mEthoD for Gradient Estimator) for finite-sum nonconvex optimization, which does not require periodic refresh of the gradient estimator but achieves nearly optimal gradient complexity. Unlike existing methods, SLEDGE has the advantage of versatility; (i) second-order optimality, (ii) exponential convergence in the PL region, and (iii) smaller complexity under less heterogeneity of data. We build an efficient federated learning algorithm by exploiting these favorable properties. We show the first and second-order optimality of the output and also provide analysis under PL conditions. When the local budget is sufficiently large and clients are less (Hessian-)~heterogeneous, the algorithm requires fewer communication rounds then existing methods such as FedAvg, SCAFFOLD, and Mime. The superiority of our method is verified in numerical experiments.


title: Reduction of $^{222}$Rn-induced Backgrounds in a Hermetic Dual-Phase Xenon Time Projection Chamber

abstract: The continuous emanation of $^{222}$Rn from detector surfaces causes the dominant background in current liquid xenon time projection chambers (TPCs) searching for dark matter. A significant reduction is required for the next generation of detectors which are aiming to reach the neutrino floor, such as DARWIN. $^{222}$Rn-induced back\-grounds can be reduced using a hermetic TPC, in which the sensitive target volume is mechanically separated from the rest of the detector containing the majority of Rn-emanating surfaces. We present a hermetic TPC that mainly follows the well-established design of leading xenon TPCs and has been operated successfully over a period of several weeks. By scaling up the results achieved to the DARWIN-scale, we show that the hermetic TPC concept can reduce the $^{222}$Rn concentration to the required level, even with imperfect separation of the volumes.


title: WISDOM Project -- XIII. Feeding molecular gas to the supermassive black hole in the starburst AGN-host galaxy Fairall 49

abstract: The mm-Wave Interferometric Survey of Dark Object Masses (WISDOM) is probing supermassive black holes (SMBHs) in galaxies across the Hubble sequence via molecular gas dynamics. We present the first WISDOM study of a luminous infrared galaxy with an active galactic nuclei (AGN): Fairall 49. We use new ALMA observations of the CO(2-1) line with a spatial resolution of about 80 pc together with ancillary HST imaging. We reach the following results: (1) The CO kinematics are well described by a regularly rotating gas disk with a radial inflow motion, suggesting weak feedback on the cold gas from both AGN and starburst activity; (2) The dynamically inferred SMBH mass is 1.6 +/- 0.4 (rnd) +/- 0.8 (sys) x 10^8 Msun, assuming that we have accurately subtracted the AGN and starburst light contributions, which have a luminosity of about 10^9 Lsun; (3) The SMBH mass agrees with the SMBH-stellar mass relation but is about 50 times higher than previous estimates from X-ray variability; (4) The dynamically inferred molecular gas mass is 30 times smaller than that inferred from adopting the Galactic CO-to-H_2 conversion factor (X_CO) for thermalised gas, suggesting low values of X_CO; (5) the molecular gas inflow rate increases steadily with radius and may be as high as 5 Msun/yr. This work highlights the potential of using high-resolution CO data to estimate, in addition to SMBH masses, the X_CO factor and gas inflow rates in nearby galaxies.


title: Identifying Out-of-Distribution Samples in Real-Time for Safety-Critical 2D Object Detection with Margin Entropy Loss

abstract: Convolutional Neural Networks (CNNs) are nowadays often employed in vision-based perception stacks for safetycritical applications such as autonomous driving or Unmanned Aerial Vehicles (UAVs). Due to the safety requirements in those use cases, it is important to know the limitations of the CNN and, thus, to detect Out-of-Distribution (OOD) samples. In this work, we present an approach to enable OOD detection for 2D object detection by employing the margin entropy (ME) loss. The proposed method is easy to implement and can be applied to most existing object detection architectures. In addition, we introduce Separability as a metric for detecting OOD samples in object detection. We show that a CNN trained with the ME loss significantly outperforms OOD detection using standard confidence scores. At the same time, the runtime of the underlying object detection framework remains constant rendering the ME loss a powerful tool to enable OOD detection.


title: Effect of quintessence on the Nature of Kerr-newman blackhole shadow with clouds of strings

abstract: In this paper we have took reissner nordstrom blackhole with cloud of strings and surrounds it with quintessence. we processed the metric through newman janis algorithm to get its rotating counterpart. the blackhole in study now is a roating charged blackhole with clouds of string surrounded by quintessence. we studied its nature of effective potential and unstable photon orbits. Finally we have plotted the blackhole shadow for various variable profiles.


title: How to Evaluate Explainability? -- A Case for Three Criteria

abstract: The increasing complexity of software systems and the influence of software-supported decisions in our society have sparked the need for software that is safe, reliable, and fair. Explainability has been identified as a means to achieve these qualities. It is recognized as an emerging non-functional requirement (NFR) that has a significant impact on system quality. However, in order to develop explainable systems, we need to understand when a system satisfies this NFR. To this end, appropriate evaluation methods are required. However, the field is crowded with evaluation methods, and there is no consensus on which are the "right" ones. Much less, there is not even agreement on which criteria should be evaluated. In this vision paper, we will provide a multidisciplinary motivation for three such quality criteria concerning the information that systems should provide: comprehensibility, fidelity, and assessability. Our aim is to to fuel the discussion regarding these criteria, such that adequate evaluation methods for them will be conceived.


title: KoCHET: a Korean Cultural Heritage corpus for Entity-related Tasks

abstract: As digitized traditional cultural heritage documents have rapidly increased, resulting in an increased need for preservation and management, practical recognition of entities and typification of their classes has become essential. To achieve this, we propose KoCHET - a Korean cultural heritage corpus for the typical entity-related tasks, i.e., named entity recognition (NER), relation extraction (RE), and entity typing (ET). Advised by cultural heritage experts based on the data construction guidelines of government-affiliated organizations, KoCHET consists of respectively 112,362, 38,765, 113,198 examples for NER, RE, and ET tasks, covering all entity types related to Korean cultural heritage. Moreover, unlike the existing public corpora, modified redistribution can be allowed both domestic and foreign researchers. Our experimental results make the practical usability of KoCHET more valuable in terms of cultural heritage. We also provide practical insights of KoCHET in terms of statistical and linguistic analysis. Our corpus is freely available at https://github.com/Gyeongmin47/KoCHET.


title: Bribery Can Get Harder in Structured Multiwinner Approval Election

abstract: We study the complexity of constructive bribery in the context of structured multiwinner approval elections. Given such an election, we ask whether a certain candidate can join the winning committee by adding, deleting, or swapping approvals, where each such action comes at a cost and we are limited by a budget. We assume our elections to either have the candidate interval or the voter interval property, and we require the property to hold also after the bribery. While structured elections usually make manipulative attacks significantly easier, our work also shows examples of the opposite behavior. We conclude by presenting preliminary insights regarding the destructive variant of our problem.


title: $H\to \gamma\gamma$ to all orders in $\alpha_s$ in the large-$\beta_0$ limit of QCD

abstract: In this note, we present the result for the QCD corrections to the decay of the Higgs boson into two photons in the large-$\beta_0$ limit of QCD, providing the first two terms in the heavy-top expansion. From our results, one can easily read off the exact leading-$n_f$ QCD contributions in analytic form to all orders in the strong coupling, $\alpha_s$, where $n_f$ is the number of massless quarks, and identify the leading renormalon singularities. We give explicit results for the leading-$n_f$ coefficients at 6 and 7 loops and use the large-$\beta_0$ result to speculate about the size of yet unknown (but small) higher-order contributions to the QCD series.


title: Diameter Minimization by Shortcutting with Degree Constraints

abstract: We consider the problem of adding a fixed number of new edges to an undirected graph in order to minimize the diameter of the augmented graph, and under the constraint that the number of edges added for each vertex is bounded by an integer. The problem is motivated by network-design applications, where we want to minimize the worst case communication in the network without excessively increasing the degree of any single vertex, so as to avoid additional overload. We present three algorithms for this task, each with their own merits. The special case of a matching augmentation, when every vertex can be incident to at most one new edge, is of particular interest, for which we show an inapproximability result, and provide bounds on the smallest achievable diameter when these edges are added to a path. Finally, we empirically evaluate and compare our algorithms on several real-life networks of varying types.


title: Hidden Author Bias in Book Recommendation

abstract: Collaborative filtering algorithms have the advantage of not requiring sensitive user or item information to provide recommendations. However, they still suffer from fairness related issues, like popularity bias. In this work, we argue that popularity bias often leads to other biases that are not obvious when additional user or item information is not provided to the researcher. We examine our hypothesis in the book recommendation case on a commonly used dataset with book ratings. We enrich it with author information using publicly available external sources. We find that popular books are mainly written by US citizens in the dataset, and that these books tend to be recommended disproportionally by popular collaborative filtering algorithms compared to the users' profiles. We conclude that the societal implications of popularity bias should be further examined by the scholar community.


title: Sample Efficient Learning of Factored Embeddings of Tensor Fields

abstract: Data tensors of orders 2 and greater are now routinely being generated. These data collections are increasingly huge and growing. Many scientific and medical data tensors are tensor fields (e.g., images, videos, geographic data) in which the spatial neighborhood contains important information. Directly accessing such large data tensor collections for information has become increasingly prohibitive. We learn approximate full-rank and compact tensor sketches with decompositive representations providing compact space, time and spectral embeddings of tensor fields. All information querying and post-processing on the original tensor field can now be achieved more efficiently and with customizable accuracy as they are performed on these compact factored sketches in latent generative space. We produce optimal rank-r sketchy Tucker decomposition of arbitrary order data tensors by building compact factor matrices from a sample-efficient sub-sampling of tensor slices. Our sample efficient policy is learned via an adaptable stochastic Thompson sampling using Dirichlet distributions with conjugate priors.


title: Characterizations and models for the $C_{1,r}$ class and quantum annulus

abstract: For fixed $0<r<1$, let $A_r=\{z \in \mathbb{C} : r<|z|<1\}$ be the annulus with boundary $\partial \overline{A}_r=\mathbb{T} \cup r\mathbb{T}$, where $\mathbb T$ is the unit circle in the complex plane $\mathbb C$. An operator having $\ov{A}_r$ as a spectral set is called an $A_r$-\textit{contraction}. Also, a normal operator with its spectrum lying in the boundary $\partial \overline{A}_r$ is called an \textit{$A_r$-unitary}. The \textit{$C_{1,r}$ class} was introduced by Bello and Yakubovich in the following way: \[ C_{1, r}=\{T: T \ \mbox{is invertible and} \ \|T\|, \|rT^{-1}\| \leq 1\}. \] McCullough and Pascoe defined the \textit{quantum annulus} $\mathbb Q \mathbb A_r$ by \[ \mathbb Q\mathbb A_r = \{T \,:\, T \text{ is invertible and } \, \|rT\|, \|rT^{-1}\| \leq 1 \}. \] If $\mathcal A_r$ denotes the set of all $A_r$-contractions, then $\mathcal A_r \subsetneq C_{1,r} \subsetneq \mathbb Q \mathbb A_r$. We first find a model for an operator in $C_{1,r}$ and also characterize the operators in $C_{1,r}$ in several different ways. We prove that the classes $C_{1,r}$ and $\mathbb Q\mathbb A_r$ are equivalent. Then, via this equivalence, we obtain analogous model and characterizations for an operator in $\mathbb Q \mathbb A_r$.


title: Spin contributions to the gravitational-waveform modes for spin-aligned binaries at the 3.5PN order

abstract: We complete the post-Newtonian (PN) prediction at the 3.5PN order for the spin contributions to the gravitational waveforms emitted by inspiraling compact binaries, in the case of quasi-circular, equatorial orbits, where both spins are aligned with the orbital angular momentum. Using results from the multipolar post-Minkowskian wave generation formalism, we extend previous works that derived the dynamics and gravitational-wave energy flux and phasing, by computing the full waveform decomposed in spin-weighted spherical harmonics. This new calculation requires the computation of multipolar moments of higher multipolar order, new quadratic-in-spin contributions to the hereditary tail terms entering at the 3.5PN order, as well as other non-linear interactions between moments. When specialized to the test-mass limit, our results are equivalent to those obtained in the literature for the waveform emitted by a test-mass in equatorial, circular orbits around a Kerr black hole. We also compute the factorized modes for use in effective-one-body waveform models, correcting the 2.5PN nonspinning and 3PN quadratic-in-spin terms in the (2,1) mode used in current models.


title: Second Harmonic Generation from Grating-Coupled Hybrid Plasmon-Phonon Polaritons

abstract: Polaritons can provide strong optical field enhancement allowing to boost light-matter interaction. Here, we experimentally observe enhancement of mid-infrared second-harmonic generation (SHG) using grating-coupled surface phonon polaritons of the 6H-SiC surface. In our experiment, we measure the SHG along the polariton dispersion by changing the incidence angle of the excitation beam. We observe hybridization between the propagating surface phonon polaritons and localized plasmon resonances in the gold grating, evidenced by the modification of the polariton dispersion as we change the area ratio of grating and substrate. Design options for engineering the plasmon-phonon polariton hybridization are discussed. Overall, we find a rather low yield of polariton-enhanced SHG in this geometry compared to prism-coupling and nanostructures, and discuss possible origins.


title: Minimally tough chordal graphs with toughness at most $1/2$

abstract: Let $t$ be a positive real number. A graph is called \emph{$t$-tough} if the removal of any vertex set $S$ that disconnects the graph leaves at most $|S|/t$ components. The toughness of a graph is the largest $t$ for which the graph is $t$-tough. A graph is minimally $t$-tough if the toughness of the graph is $t$ and the deletion of any edge from the graph decreases the toughness. A graph is \emph{chordal} if it does not contain an induced cycle of length at least $4$. We characterize the minimally $t$-tough, chordal graphs for all $t\le 1/2$. As a corollary, a characterization of minimally $t$-tough, interval graphs is obtained for $t\le 1/2$.


title: Error Bound for the Linear Complementarity Problem using Plus Function

abstract: In this article we establish error bound for linear complementarity problem with $P$-matrix using plus function. We introduce a fundamental quantity associated with a $P$-matrix and show how this quantity is useful in deriving error bounds for the linear complementarity problem of the $P$-type. We also obtain (upper and lower) bounds for the quantity introduced. Keywords: Linear complementarity problem, plus function, error bound, relative error bound.


title: Possible relationship between initial conditions for inflation and past geodesic incompleteness of the inflationary spacetime

abstract: According to the Borde-Guth-Vilenkin (BGV) theorem an expanding region of spacetime cannot be extended to the past beyond some boundary \mathcal{B}. Therefore, the inflationary universe must have had some kind of beginning. However, the BGW theorem says nothing about the boundary conditions on \mathcal{B}, or even about its location. Here we present a single-scalar field model of the Two-Measure Theory, where the non-Riemannian volume element $\Upsilon d^4x$ is present in the action. As a result of the model dynamics, an upper bound \varphi_0 of admissible values of the scalar field \varphi appears, which sets the position of \mathcal{B} in the form of a spacelike hypersurface \Upsilon(x)=0 with a boundary condition: \Upsilon\to 0^+ as \varphi\to\varphi_0^-. A detailed study has established that if the initial kinetic energy density \rho_{kin}^{(in)} prevails over initial gradient energy density \rho_{grad}^{(in)} then there is an interval of initial values \varphi_{in}^{(min)}\leq\varphi_{in}<\varphi_0, where \rho_{kin}^{(in)} and \rho_{grad}^{(in)} cannot exceed the potential energy density and hence the initial conditions necessary for the onset of inflation are satisfied. It is shown that under almost all possible left-handed boundary conditions on \mathcal{B}, that is where \Upsilon\to 0^-, the metric tensor in the Einstein frame has a jump discontinuity on \mathcal{B}, so the Christoffel connection coefficients are not defined on the spacelike hypersurface \Upsilon=0. Thus, if \varphi_{in}^{(min)}\leq \varphi_{in}<\varphi_0 and \rho_{kin}^{(in)}>\rho_{grad}^{(in)}, then there was an inflationary stage in the history of our Universe and the congruence of timelike geodesics cannot be extended to the past beyond the hypersurface \Upsilon=0.


title: Combining Machine Learning and Spectroscopy to Model Reactive Atom + Diatom Collisions

abstract: The prediction of product translational, vibrational, and rotational energy distributions for arbitrary initial conditions for reactive atom+diatom collisions is of considerable practical interest in atmospheric re-entry. Due to the large number of accessible states, determination of the necessary information from explicit (quasi-classical or quantum) dynamics studies is impractical. Here, a machine-learned (ML) model based on translational energy and product vibrational states assigned from a spectroscopic, ro-vibrational coupled energy expression based on the Dunham expansion is developed and tested quantitatively. All models considered in this work reproduce final state distributions determined from quasi-classical trajectory (QCT) simulations with $R^2 \sim 0.98$. As a further validation, thermal rates determined from the machine-learned models agree with those from explicit QCT simulations and demonstrate that the atomistic details are retained by the machine learning which makes them suitable for applications in more coarse-grained simulations. More generally, it is found that ML is suitable for designing robust and accurate models from mixed computational/experimental data which may also be of interest in other areas of the physical sciences.


title: Respiratory rhythm entrains membrane potential and spiking of non-olfactory neurons

abstract: In recent years, several studies have tended to show a respiratory drive in numerous brain areas so that the respiratory rhythm could be considered as a master clock promoting communication between distant brain areas. However, outside of the olfactory system it is not known if respiration-related oscillation (RRo) could exist in the membrane potential (MP) of neurons neither if it can structure spiking discharge. To fill this gap, we co-recorded MP and LFP activities in different non-olfactory brain areas: median prefrontal cortex (mPFC), primary somatosensory cortex (S1), primary visual cortex (V1), and hippocampus (HPC), in urethane-anesthetized rats. Using respiratory cycle by respiratory cycle analysis, we observed that respiration could modulate both MP and spiking discharges in all recorded areas. Further quantifications revealed RRo episodes were transient in most neurons (5 consecutive cycles in average). RRo development in MP was largely influenced by the presence of respiratory modulation in the LFP. Finally, moderate hyperpolarization reduced RRo occurence within cells of mpFC and S1. By showing the respiratory rhythm influenced brain activity deep to the MP of non-olfactory neurons, our data support the idea respiratory rhythm could mediate long-range communication.


title: SemSegDepth: A Combined Model for Semantic Segmentation and Depth Completion

abstract: Holistic scene understanding is pivotal for the performance of autonomous machines. In this paper we propose a new end-to-end model for performing semantic segmentation and depth completion jointly. The vast majority of recent approaches have developed semantic segmentation and depth completion as independent tasks. Our approach relies on RGB and sparse depth as inputs to our model and produces a dense depth map and the corresponding semantic segmentation image. It consists of a feature extractor, a depth completion branch, a semantic segmentation branch and a joint branch which further processes semantic and depth information altogether. The experiments done on Virtual KITTI 2 dataset, demonstrate and provide further evidence, that combining both tasks, semantic segmentation and depth completion, in a multi-task network can effectively improve the performance of each task. Code is available at https://github.com/juanb09111/semantic depth.


title: Tracing homotopy path for the solution of nonlinear complementarity Problem

abstract: In this article, we consider nonlinear complementarity problem. We introduce a new homotopy function for finding the solution of nonlinear complementarity problem through the trajectory . We show that the homotopy path approaching the solution is smooth and bounded . Numerical example of an oligopoly equilibrium problem is illustrated to show the effectiveness of the proposed algorithm. Keywords: Nonlinear complementarity problem, homotopy continuation method, Oligopoly equilibrium problem.


title: TokenCut: Segmenting Objects in Images and Videos with Self-supervised Transformer and Normalized Cut

abstract: In this paper, we describe a graph-based algorithm that uses the features obtained by a self-supervised transformer to detect and segment salient objects in images and videos. With this approach, the image patches that compose an image or video are organised into a fully connected graph, where the edge between each pair of patches is labeled with a similarity score between patches using features learned by the transformer. Detection and segmentation of salient objects is then formulated as a graph-cut problem and solved using the classical Normalized Cut algorithm. Despite the simplicity of this approach, it achieves state-of-the-art results on several common image and video detection and segmentation tasks. For unsupervised object discovery, this approach outperforms the competing approaches by a margin of 6.1%, 5.7%, and 2.6%, respectively, when tested with the VOC07, VOC12, and COCO20K datasets. For the unsupervised saliency detection task in images, this method improves the score for Intersection over Union (IoU) by 4.4%, 5.6% and 5.2%. When tested with the ECSSD, DUTS, and DUT-OMRON datasets, respectively, compared to current state-of-the-art techniques. This method also achieves competitive results for unsupervised video object segmentation tasks with the DAVIS, SegTV2, and FBMS datasets.


title: Gap junctions and synchronization clusters in the Thalamic Reticular Nuclei

abstract: The Thalamic Reticular Nuclei (TRN) mediate processes like attentional modulation, sensory gating and sleep spindles. The GABAergic inter neurons in the TRN are know to exhibit widespread synchronized activity patterns. One known contribution to shaping synchronization and clustering patterns in the TRN is coming from the presence of gap junctions. These are organized in specific connectivity architectures, that have been identified empirically through dye and electrical coupling studies. Our study uses a computational model in conjunction to implement realistic connectivity schemes in a small network. We explored the potential effects of the size, strength and distribution of gap junctional clusters on the synchronization patterns in TRN, and how these effects are modulated by other factors, such as the level of background inhibition.


title: Speiser meets Misiurewicz

abstract: We propose a notion of Misiurewicz condition for transcendental entire functions and study perturbations of Speiser functions satisfying this condition in their parameter spaces (in the sense of Eremenko and Lyubich). We show that every Misiurewicz entire function can be approximated by hyperbolic maps in the same parameter space. Moreover, Misiurewicz functions are Lebesgue density points of hyperbolic maps if their Julia sets have zero Lebesgue measure. We also prove that the set of Misiurewicz Speiser functions has Lebesgue measure zero in the parameter space.


title: Flux reconstruction for the NIR camera CAGIRE at the focus of the Colibr\'i telescope

abstract: CAGIRE is the near infrared camera of the Colibr\'i robotic telescope, designed for the follow-up of SVOM alerts. It is based on the ALFA 2k x 2k detector, from the LYNRED French Company, operating in "Up the Ramp" mode. An observation consists in a series of short (1-2 minutes) exposures during which the pixels are read out every 1.3 second, while continuously accumulating charges proportionally to the received flux. We discuss here the preprocessing of CAGIRE data and a method that can be used to recover the flux received by each pixel from the slope of the ramp.


title: More on semipositive tensor and tensor complementarity problem

abstract: In recent years several classes of structured matrices are extended to classes of tensors in the context of tensor complementarity problem. The tensor complementarity problem is a class of nonlinear complementarity problem where the involved functions are special polynomials defined by a tensor. Semipositive and strictly semipositive tensors play an important role in the study of the tensor complementarity problem. The article considers some important properties of semipositive tensor. We establish invariance property of semipositive tensor. We prove necessary and sufficient conditions for a tensor to be semipositive tensor. A relation between even order row diagonal semipositive tensor and its majorization matrix is proposed. Keywords: Tensor complementarity problem, semipositive tensor, semimonotone matrix, null vector, majorization matrix.


title: Compact modeling technology for the simulation of integrated circuits based on graphene field-effect transistors

abstract: In this study, we report the progress made towards the definition of a modular compact modeling technology for graphene field-effect transistors (GFET) that enables the electrical analysis of arbitrary GFET-based integrated circuits. A set of primary models embracing the main physical principles defines the ideal GFET response under DC, transient (time domain), AC (frequency domain), and noise (frequency domain) analysis. Other set of secondary models accounts for the GFET non-idealities, such as extrinsic-, short-channel-, trapping/detrapping-, self-heating-, and non-quasi static-effects, which could have a significant impact under static and/or dynamic operation. At both device and circuit levels, significant consistency is demonstrated between the simulation output and experimental data for relevant operating conditions. Additionally, we provide a perspective of the challenges during the scale up of the GFET modeling technology towards higher technology readiness levels while drawing a collaborative scenario among fabrication technology groups, modeling groups, and circuit designers.


title: Two second Steenrod squares for odd Khovanov homology

abstract: Recently, Sarkar-Scaduto-Stoffregen constructed a stable homotopy type for odd Khovanov homology, hence obtaining an action of the Steenrod algebra on Khovanov homology with $\mathbb{Z}/2\mathbb{Z}$ coefficients. Motivated by their construction we propose a way to compute the second Steenrod square. Our construction is not unique, but we can show it to be a link invariant which gives rise to a refinement of the Rasmussen $s$-invariant with $\mathbb{Z}/2\mathbb{Z}$ coefficients. We expect it to be related to the second Steenrod square arising from the Sarkar-Scaduto-Stoffregen construction.


title: Global HI Properties of Galaxies via Super-profile Analysis

abstract: We present a new method which constructs an HI super-profile of a galaxy which is based on profile decomposition analysis. The decomposed velocity profiles of an HI data cube with an optimal number of Gaussian components are co-added after being aligned in velocity with respect to their centroid velocities. This is compared to the previous approach where no prior profile decomposition is made for the velocity profiles being stacked. The S/N improved super-profile is useful for deriving the galaxy's global HI properties like velocity dispersion and mass from observations which do not provide sufficient surface brightness sensitivity for the galaxy. As a practical test, we apply our new method to 64 high-resolution HI data cubes of nearby galaxies in the local Universe which are taken from THINGS and LITTLE THINGS. In addition, we also construct two additional HI super-profiles of the sample galaxies using symmetric and all velocity profiles of the cubes whose centroid velocities are determined from Hermite $h_3$ polynomial fitting, respectively. We find that the HI super-profiles constructed using the new method have narrower cores and broader wings in shape than the other two super-profiles. This is mainly due to the effect of either asymmetric velocity profiles' central velocity bias or the removal of asymmetric velocity profiles in the previous methods on the resulting HI super-profiles. We discuss how the shapes ($\sigma_{\rm{n}}/\sigma_{\rm{b}}$, $A_{\rm{n}}/A_{\rm{b}}$, and $A_{\rm{n}}/A_{\rm{tot}}$) of the new HI super-profiles which are measured from a double Gaussian fit are correlated with star formation rates of the sample galaxies and are compared with those of the other two super-profiles.


title: A Unified Framework for Estimation of High-dimensional Conditional Factor Models

abstract: This paper develops a general framework for estimation of high-dimensional conditional factor models via nuclear norm regularization. We establish large sample properties of the estimators, and provide an efficient computing algorithm for finding the estimators as well as a cross validation procedure for choosing the regularization parameter. The general framework allows us to estimate a variety of conditional factor models in a unified way and quickly deliver new asymptotic results. We apply the method to analyze the cross section of individual US stock returns, and find that imposing homogeneity may improve the model's out-of-sample predictability.


title: Secrecy Analysis for IRS-aided Wiretap MIMO Communications: Fundamental Limits and System Design

abstract: In order to meet the demands of future innovative applications, many efforts have been made to exceed the limits predicted by Shannon's Theory. Besides the investigation of beyond-Shannon metrics such as security, latency, and semantics, another direction is to jointly design the transceiver and the environment by utilizing the intelligent reflecting surface (IRS). In this paper, we consider the analysis and design of IRS-aided multiple-input multiple-output (MIMO) secure communications, which has attracted much research attention but still in its infancy. For example, despite their importance, the fundamental limits of IRS-aided wiretap MIMO communications are not yet available in the literature. In this paper, we will investigate these fundamental limits by determining the ergodic secrecy rate (ESR) and secrecy outage probability (SOP). For that purpose, the central limit theorem (CLT) for the joint distributions of the mutual information (MI) statistics over the IRS-aided MIMO secure communication channel is derived by utilizing the random matrix theory (RMT). The derived CLT is then used to obtain the closed form expressions for the ESR and SOP, which are also extended to the scenario with multiple multi-antenna eavesdroppers. Based on the theoretical results, algorithms for maximizing the artificial noise (AN) aided ESR and minimizing the SOP are proposed. Numerical results validate the accuracy of the theoretical results and effectiveness of the proposed optimization algorithms.


title: Has My Release Disobeyed Semantic Versioning? Static Detection Based on Semantic Differencing

abstract: To enhance the compatibility in the version control of Java Third-party Libraries (TPLs), Maven adopts Semantic Versioning (SemVer) to standardize the underlying meaning of versions, but users could still confront abnormal execution and crash after upgrades even if compilation and linkage succeed. It is caused by semantic breaking (SemB) issues, such that APIs directly used by users have identical signatures but inconsistent semantics across upgrades. To strengthen compliance with SemVer rules, developers and users should be alerted of such issues. Unfortunately, it is challenging to detect them statically, because semantic changes in the internal methods of APIs are difficult to capture. Dynamic testing can confirmingly uncover some, but it is limited by inadequate coverage. To detect SemB issues over compatible upgrades (Patch and Minor) by SemVer rules, we conduct an empirical study on 180 SemB issues to understand the root causes, inspired by which, we propose Sembid (Semantic Breaking Issue Detector) to statically detect such issues of TPLs for developers and users. Since APIs are directly used by users, Sembid detects and reports SemB issues based on APIs. For a pair of APIs, Sembid walks through the call chains originating from the API to locate breaking changes by measuring semantic diff. Then, Sembid checks if the breaking changes can affect API's output along call chains. The evaluation showed Sembid achieved 90.26% recall and 81.29% precision and outperformed other API checkers on SemB API detection. We also revealed Sembid detected over 3 times more SemB APIs with better coverage than unit tests, the commonly used solution. Furthermore, we carried out an empirical study on 1,629,589 APIs from 546 version pairs of top Java libraries and found there were 2-4 times more SemB APIs than those with signature-based issues.


title: The Nudging Effect on Tracking Activity

abstract: Wearables activity trackers are becoming widely adopted to understand individual behavior. Understanding behavior may help in self-regulation such as self-monitoring, goal-setting, self-corrective, etc.; Nevertheless, challenges exist in attaining consistent use and adoption of wearables, which hinders behavior understanding. Research has suggested that nudging strategies may change and sustain human engagement. However, it is still unknown how nudging may affect human wearing behavior on an individual level. We conducted a six-month study in which we tested several nudging techniques on the same participants. The preliminary results of our research show that participants perform better when a nudging strategy is applied. In addition, participants responded differently to different nudging techniques. Future research can focus on developing an individual-based nudging mechanism to encourage users to wear their devices consistently.


title: Orientational melting in a mesoscopic system of charged particles

abstract: A mesoscopic system of a few particles exhibits behaviors that strongly differ from those of a macroscopic system. While in a macroscopic system phase transitions are universal, a change in the state of a mesoscopic system depends on its specific properties, like the number of particles, to the point that changes of state can be disfavored for specific magic numbers. A transition that has no counterpart in the macroscopic world is orientational melting, in which localized particles with long-range repulsive interactions forming a two-dimensional crystal become delocalized in common circular or elliptical trajectories. Orientational melting has been studied extensively with computer simulations and witnessed in a few pioneering experiments. However, a detailed experimental investigation fully revealing its non-universal nature has been missing so far. Here we report the observation of orientational melting in a two-dimensional ensemble of up to 15 ions with repulsive Coulomb interaction. We quantitatively characterize orientational melting, and compare the results with a Monte Carlo simulation to extract the particles kinetic energy. We demonstrate the existence of magic numbers, and control locally the occurrence of melting by adding a pinning impurity. Our system realizes a fully-controllable experimental testbed for studying the thermodynamics of small systems, and our results pave the way for the study of quantum phenomena in systems of delocalized ions, from the emergence of quantum fluctuations and quantum statistics, to the control of multi-shell quantum rotors.


title: Decay of correlations and thermodynamic limit for the circular Riesz gas

abstract: We investigate the thermodynamic limit of the circular long-range Riesz gas, a system of particles interacting pairwise through an inverse power kernel. We show that after rescaling, so that the typical spacing of particles is of order $1$, the microscopic point process converges as the number of points tends to infinity, to an infinite volume measure $\mathrm{Riesz}_{s,\beta}$. This convergence result is obtained by analyzing gaps correlations, which are shown to decay in power-law with exponent $2-s$. Our method is based on the analysis of the Helffer-Sj\"ostrand equation in its static form and on various discrete elliptic regularity estimates.


title: Optimization of tracker configuration for the CEPC

abstract: We investigate the tracker configuration optimization for the Circular Electron Position Collider (CEPC), a proposed Higgs and $Z$ factory. Fixing the construction cost comparable to that of the baseline detector design and considering the benchmark channels ($Z\rightarrow f\bar{f}$, $WW$ fusion with $H\rightarrow f\bar{f}$, $ZH\rightarrow\nu\bar{\nu}f\bar{f}$, and $t\bar{t}\rightarrow b\bar{b}\mu\nu_\mu ud$) of various operating modes of the CEPC, we obtain the optimal tracker radius that provides the best average resolution of the track momentum or jet energy. The optimal tracker radii for track momentum resolution range from 1.59\,m to 1.73\,m and for jet energy resolution from 1.82\,m to 1.97\,m, depending on the benchmark channels. Compared to the jets, the tracks prefer a smaller radius and a longer length because the track momentum resolution degrades more significantly than jet energy resolution in the forward region. The benchmark channel for $Z$-pole prefers a smaller radius and longer length compared to other benchmark channels because the final state particles at the $Z$-pole have a more forward distribution. We also analyze the scaling behavior of the optimal tracker configuration at floating construction cost and observe a weak dependence.


title: End-to-End Rationale Reconstruction

abstract: The logic behind design decisions, called design rationale, is very valuable. In the past, researchers have tried to automatically extract and exploit this information, but prior techniques are only applicable to specific contexts and there is insufficient progress on an end-to-end rationale information extraction pipeline. Here we outline a path towards such a pipeline that leverages several Machine Learning (ML) and Natural Language Processing (NLP) techniques. Our proposed context-independent approach, called Kantara, produces a knowledge graph representation of decisions and of their rationales, which considers their historical evolution and traceability. We also propose validation mechanisms to ensure the correctness of the extracted information and the coherence of the development process. We conducted a preliminary evaluation of our proposed approach on a small example sourced from the Linux Kernel, which shows promising results.


title: Optimal Regularized Online Allocation by Adaptive Re-Solving

abstract: This paper introduces a dual-based algorithm framework for solving the regularized online resource allocation problems, which have potentially non-concave cumulative rewards, hard resource constraints, and a non-separable regularizer. Under a strategy of adaptively updating the resource constraints, the proposed framework only requests approximate solutions to the empirical dual problems up to a certain accuracy and yet delivers an optimal logarithmic regret under a locally second-order growth condition. Surprisingly, a delicate analysis of the dual objective function enables us to eliminate the notorious log-log factor in regret bound. The flexible framework renders renowned and computationally fast algorithms immediately applicable, e.g., dual stochastic gradient descent. Additionally, an infrequent re-solving scheme is proposed, which significantly reduces computational demands without compromising the optimal regret performance. A worst-case square-root regret lower bound is established if the resource constraints are not adaptively updated during dual optimization, which underscores the critical role of adaptive dual variable update. Comprehensive numerical experiments demonstrate the merits of the proposed algorithm framework.


title: Memory effects in multipartite systems coupled by non-diagonal dephasing mechanisms

abstract: The developing of (non-Markovian) memory effects strongly depends on the underlying system-environment dynamics. Here we study this problem in multipartite arrangements where all subsystems are coupled to each other by non-diagonal Markovian (Lindblad) dephasing mechanisms. Taking as system and environment arbitrary sets of complementary subsystems it is shown that both operational and non-operational approaches to quantum non-Markovianity can be characterized in an exact analytical way. Similarly to previous studies about dissipative-entanglement-generation in this kind of dynamics [Seif, Wang, and Clerk, Phys. Rev. Lett. 128, 070402 (2022)], we found that memory effects can only emerge when a time-reversal symmetry is broken. Nevertheless, it is also found that departures from Markovianity can equivalently be represented through a statistical mixture of Markovian dephasing dynamics, which does not involve any system-environment entanglement. Specific bipartite and multipartite dynamics exemplify the main general results.


title: Exponential Lag Synchronization of Cohen-Grossberg Neural Networks with Discrete and Distributed Delays on Time Scales

abstract: In this article, we investigate exponential lag synchronization results for the Cohen-Grossberg neural networks (C-GNNs) with discrete and distributed delays on an arbitrary time domain by applying feedback control. We formulate the problem by using the time scales theory so that the results can be applied to any uniform or non-uniform time domains. Also, we provide a comparison of results that shows that obtained results are unified and generalize the existing results. Mainly, we use the unified matrix-measure theory and Halanay inequality to establish these results. In the last section, we provide two simulated examples for different time domains to show the effectiveness and generality of the obtained analytical results.


title: Chiral Discrimination in Helicity-Preserving Fabry-P\'erot Cavities

abstract: We theoretically study circular dichroism of chiral molecules embedded inside a helicity-preserving Fabry-P\'erot cavity. We find an increase of the intrinsic chiroptical response of the molecules by 2 orders of magnitude and report the first clear signature of chiral cavity polaritons upon entering the regime of strong light-matter coupling. We study a cavity design based on two dielectric photonic crystal mirrors acting, in a narrow frequency range, as efficient polarization cross-converters in transmission for one polarization and almost perfect reflectors for the other polarization. We show that a Pasteur medium hosted inside such a cavity can couple efficiently to both the outside of the cavity and to the helicity-preserving mode, inheriting an enhanced chiral character. We expect such a device to be useful in the future to design ultrasensitive chiral sensors for optics and stereochemistry.


title: Heavy quark contribution to the electromagnetic properties of the nucleon

abstract: Quantum chromodynamics (QCD) predicts the existence of both nonperturbative intrinsic and perturbative extrinsic heavy quark contributions to the fundamental structure of hadrons. The existence of intrinsic charm at the 3-standard-deviation level in the proton has recently been established from structure function measurements by the NNPDF Collaboration. Here we revisit the physics of intrinsic heavy quarks using light-front holographic QCD (LFHQCD) - a novel comprehensive approach to hadron structure which provides detailed predictions for dynamical properties of the hadrons, such as form factors, distribution amplitudes, structure functions, etc. We will extend this nonperturbative light-front QCD approach to study the heavy quark-antiquark contribution to the electromagnetic properties of nucleon. Our framework is based on a study of the eigenfunctions of the QCD light-front Hamiltonian, the frame-independent light-front wave functions (LFWFs) underlying hadron dynamics. We analyze the heavy quark content in the proton, induced either directly by the nonperturbative $|uud+Q\bar Q\rangle$ Fock state or by the $|uud+g\rangle$ Fock state, where the gluon splits into a heavy quark-antiquark pair. The specific form of these LFWFs are derived from LFHQCD. Using these LFWFs, we construct light-front representations for the heavy quark-antiquark asymmetry, the electromagnetic form factors of nucleons induced by heavy quarks, including their magnetic moments and radii.


title: On the detection of morphing attacks generated by GANs

abstract: Recent works have demonstrated the feasibility of GAN-based morphing attacks that reach similar success rates as more traditional landmark-based methods. This new type of "deep" morphs might require the development of new adequate detectors to protect face recognition systems. We explore simple deep morph detection baselines based on spectral features and LBP histograms features, as well as on CNN models, both in the intra-dataset and cross-dataset case. We observe that simple LBP-based systems are already quite accurate in the intra-dataset setting, but struggle with generalization, a phenomenon that is partially mitigated by fusing together several of those systems at score-level. We conclude that a pretrained ResNet effective for GAN image detection is the most effective overall, reaching close to perfect accuracy. We note however that LBP-based systems maintain a level of interest : additionally to their lower computational requirements and increased interpretability with respect to CNNs, LBP+ResNet fusions sometimes also showcase increased performance versus ResNet-only, hinting that LBP-based systems can focus on meaningful signal that is not necessarily picked up by the CNN detector.


title: Towards Assessing Isolation Properties in Partitioning Hypervisors

abstract: Partitioning hypervisor solutions are becoming increasingly popular, to ensure stringent security and safety requirements related to isolation between co-hosted applications and to make more efficient use of available hardware resources. However, assessment and certification of isolation requirements remain a challenge and it is not trivial to understand what and how to test to validate these properties. Although the high-level requirements to be verified are mentioned in the different security- and safety-related standards, there is a lack of precise guidelines for the evaluator. This guidance should be comprehensive, generalizable to different products that implement partitioning, and tied specifically to lower-level requirements. The goal of this work is to provide a systematic framework that addresses this need.


title: Smiles in delta

abstract: Fukasawa introduced in [Fukasawa, Math Financ, 2012] two necessary conditions for no butterfly arbitrage which require that the $d_1$ and $d_2$ functions of the Black-Scholes formula have to be decreasing. In this article we characterize the set of smiles satisfying these conditions, using the parametrization of the smile in delta. We obtain a parametrization of the set via one real number and three positive functions. We also show that such smiles and their symmetric smiles can be transformed into smiles in the strike space by a bijection. Our result motivates the study of the challenging question of characterizing the subset of butterfly arbitrage-free smiles.


title: MAPLE: Masked Pseudo-Labeling autoEncoder for Semi-supervised Point Cloud Action Recognition

abstract: Recognizing human actions from point cloud videos has attracted tremendous attention from both academia and industry due to its wide applications like automatic driving, robotics, and so on. However, current methods for point cloud action recognition usually require a huge amount of data with manual annotations and a complex backbone network with high computation costs, which makes it impractical for real-world applications. Therefore, this paper considers the task of semi-supervised point cloud action recognition. We propose a Masked Pseudo-Labeling autoEncoder (\textbf{MAPLE}) framework to learn effective representations with much fewer annotations for point cloud action recognition. In particular, we design a novel and efficient \textbf{De}coupled \textbf{s}patial-\textbf{t}emporal Trans\textbf{Former} (\textbf{DestFormer}) as the backbone of MAPLE. In DestFormer, the spatial and temporal dimensions of the 4D point cloud videos are decoupled to achieve efficient self-attention for learning both long-term and short-term features. Moreover, to learn discriminative features from fewer annotations, we design a masked pseudo-labeling autoencoder structure to guide the DestFormer to reconstruct features of masked frames from the available frames. More importantly, for unlabeled data, we exploit the pseudo-labels from the classification head as the supervision signal for the reconstruction of features from the masked frames. Finally, comprehensive experiments demonstrate that MAPLE achieves superior results on three public benchmarks and outperforms the state-of-the-art method by 8.08\% accuracy on the MSR-Action3D dataset.


title: CubeSat in-orbit validation of in-situ performance by high fidelity radiation modelling

abstract: Space based quantum technologies are essential building blocks for global quantum networks. However, the optoelectronic components and devices used are susceptible to radiation damage. The SpooQy-1 CubeSat mission demonstrated polarization-based quantum entanglement correlations using avalanche photodiodes for single-photon detection. We report the increasing dark count rates of two silicon Geiger-mode avalanche photodiodes (GM-APD) observed throughout its 2 year orbital lifetime. As a means of diagnosing the unexpected trends in the increase of dark counts, we implement a high-fidelity radiation model combined with 3D computer aided design models of the SpooQy-1 CubeSat to estimate the accumulated displacement damage dose in each photodiode. Using these results, we were able to support the claim that differences in radiation shielding was a major contributor to the observed in-orbit data. This illustrates how radiation modelling can have applications beyond conventional lifetime estimates for low-earth orbit CubeSats.


title: The Impact of the #MeToo Movement on Language at Court -- A text-based causal inference approach

abstract: This study assesses the effect of the #MeToo movement on the language used in judicial opinions on sexual violence related cases from 51 U.S. state and federal appellate courts. The study introduces various indicators to quantify the extent to which actors in courtrooms employ language that implicitly shifts responsibility away from the perpetrator and onto the victim. One indicator measures how frequently the victim is mentioned as the grammatical subject, as research in the field of psychology suggests that victims are assigned more blame the more often they are referred to as the grammatical subject. The other two indices designed to gauge the level of victim-blaming capture the sentiment of and the context in sentences referencing the victim and/or perpetrator. Additionally, judicial opinions are transformed into bag-of-words and tf-idf vectors to facilitate the examination of the evolution of language over time. The causal effect of the #MeToo movement is estimated by means of a Difference-in-Differences approach comparing the development of the language in opinions on sexual offenses and other crimes against persons as well as a Panel Event Study approach. The results do not clearly identify a #MeToo-movement-induced change in the language in court but suggest that the movement may have accelerated the evolution of court language slightly, causing the effect to materialize with a significant time lag. Additionally, the study considers potential effect heterogeneity with respect to the judge's gender and political affiliation. The study combines causal inference with text quantification methods that are commonly used for classification as well as with indicators that rely on sentiment analysis, word embedding models and grammatical tagging.


title: Discrete global symmetries and dynamics of emergent fermions

abstract: Global symmetries that define the number of low energy degrees of freedom have profound consequences on universal properties near topological quantum critical points and in other gapless or nearly gapless states of emergent fermions. We take a $Z_2$ global symmetry (such as time-reversal) as an example to study its effect on thermodynamic and transport properties. Although the thermal entropy density of $Z_2$ symmetric systems is simply twice of their counterparts without any global symmetries or the $Z_1$ class, the temperature dependence of thermal conductivity $\kappa$ is distinctly and drastically different for different symmetries. For systems with dynamic exponent $z=1$, in the $Z_2$ symmetric class, we have $\kappa\propto T^{-(d-1)}$ in the quantum critical regime near weakly interacting fixed points, while for systems with no global symmetries (i.e., the $Z_1$ class), we have $\kappa\propto T^{-(d+3)}$, with $d$ being the spatial dimension. Only near strong coupling fixed points, both cases with or without $Z_2$ global symmetries follow the same scaling function, $\kappa \propto T^{d-1}$. These distinct scalings of thermal conductivity can also appear in gapless surface Majorana states.


title: Efficient ML Models for Practical Secure Inference

abstract: ML-as-a-service continues to grow, and so does the need for very strong privacy guarantees. Secure inference has emerged as a potential solution, wherein cryptographic primitives allow inference without revealing users' inputs to a model provider or model's weights to a user. For instance, the model provider could be a diagnostics company that has trained a state-of-the-art DenseNet-121 model for interpreting a chest X-ray and the user could be a patient at a hospital. While secure inference is in principle feasible for this setting, there are no existing techniques that make it practical at scale. The CrypTFlow2 framework provides a potential solution with its ability to automatically and correctly translate clear-text inference to secure inference for arbitrary models. However, the resultant secure inference from CrypTFlow2 is impractically expensive: Almost 3TB of communication is required to interpret a single X-ray on DenseNet-121. In this paper, we address this outstanding challenge of inefficiency of secure inference with three contributions. First, we show that the primary bottlenecks in secure inference are large linear layers which can be optimized with the choice of network backbone and the use of operators developed for efficient clear-text inference. This finding and emphasis deviates from many recent works which focus on optimizing non-linear activation layers when performing secure inference of smaller networks. Second, based on analysis of a bottle-necked convolution layer, we design a X-operator which is a more efficient drop-in replacement. Third, we show that the fast Winograd convolution algorithm further improves efficiency of secure inference. In combination, these three optimizations prove to be highly effective for the problem of X-ray interpretation trained on the CheXpert dataset.


title: Solving a Continent-Scale Inventory Routing Problem at Renault

abstract: This paper is the fruit of a partnership with Renault. Their backward logistic requires solving a continent-scale multi-attribute inventory routing problem (IRP). With an average of 30 commodities, 16 depots, and 600 customers spread across a continent, our instances are orders of magnitude larger than those in the literature. Existing algorithms do not scale. We propose a large neighborhood search (LNS). To make it work, (1) we generalize existing split delivery vehicle routing problem and IRP neighborhoods to this context, (2) we turn a state-of-the art matheuristic for medium-scale IRP into a large neighborhood, and (3) we introduce two novel perturbations: the reinsertion of a customer and that of a commodity into the IRP solution. We also derive a new lower bound based on a flow relaxation. In order to stimulate the research on large-scale IRP, we introduce a library of industrial instances. We benchmark our algorithms on these instances and make our code open-source. Extensive numerical experiments highlight the relevance of each component of our LNS.


title: Characterization and modeling of spiking and bursting in experimental NbOx neuron

abstract: Hardware spiking neural networks hold the promise of realizing artificial intelligence with high energy efficiency. In this context, solid-state and scalable memristors can be used to mimic biological neuron characteristics. However, these devices show limited neuronal behaviors and have to be integrated in more complex circuits to implement the rich dynamics of biological neurons. Here we studied a NbOx memristor neuron that is capable of emulating numerous neuronal dynamics, including tonic spiking, stochastic spiking, leaky-integrate-and-fire features, spike latency, temporal integration. The device also exhibits phasic bursting, a property that has scarcely been observed and studied in solid-state nano-neurons. We show that we can reproduce and understand this particular response through simulations using non-linear dynamics. These results show that a single NbOx device is sufficient to emulate a collection of rich neuronal dynamics that paves a path forward for realizing scalable and energy-efficient neuromorphic computing paradigms.


title: Hey, robot! An investigation of getting robot's attention through touch

abstract: Touch is a key part of interaction and communication between humans, but has still been little explored in human-robot interaction. In this work, participants were asked to approach and touch a humanoid robot on the hand (Nao - 26 participants; Pepper - 28 participants) to get its attention. We designed reaction behaviors for the robot that consisted in four different combinations of arm movements with the touched hand moving forward or back and the other hand moving forward or staying in place, with simultaneous leaning back, followed by looking at the participant. We studied which reaction of the robot people found the most appropriate and what was the reason for their choice. For both robots, the preferred reaction of the robot hand being touched was moving back. For the other hand, no movement at all was rated most natural for the Pepper, while it was movement forward for the Nao. A correlation between the anxiety subscale of the participants' personality traits and the passive to active/aggressive nature of the robot reactions was found. Most participants noticed the leaning back and rated it positively. Looking at the participant was commented on positively by some participants in unstructured comments. We also analyzed where and how participants spontaneously touched the robot on the hand. In summary, the touch reaction behaviors designed here are good candidates to be deployed more generally in social robots, possibly including incidental touch in crowded environments. The robot size constitutes one important factor shaping how the robot reaction is perceived.


title: Relating the multi-angle quantum approximate optimization algorithm and continuous-time quantum walks on dynamic graphs

abstract: In this work, we show that ma-QAOA is equivalent to a restriction of continuous-time quantum walks on dynamic graphs. We then show it is universal for computation by finding the appropriate $B$ and $C$ operators and angles that implement the universal gate set consisting of the Hadamard, $\pi/8$ and Controlled-Not gates in the ma-QAOA framework. This result begins to bridge the gap between the continuous-time quantum walk model and gate model of quantum computation.


title: Strong coupling between excitons and quasi-Bound states in the continuum in the bulk transition metal dichalcogenides

abstract: We investigate the strong coupling between the excitons and quasi-bound states in the continuum (BIC) resonance in a bulk WS$_2$ metasurface. Here we employ the bulk WS$_2$ to construct an ultrathin nanodisk metasurface, supporting the symmetry-protected magnetic dipole (MD) quasi-BIC resonance, which can self-hybridize with the excitons and lead to a strong light-matter interaction enhancement within the structure without the necessity for an external cavity. This strong coupling can be charactered by the considerable Rabi splitting of 159 meV and the clearly anti-crossing behavior appeared in the absorption spectrum. Furthermore, we analyze such light-matter coupling by constructing a Hamiltonian model including the surplus excitons, and tune the interaction from weak coupling to strong coupling regimes via the tunability radiation loss of the quasi-BIC resonance. Our results have great potential for manipulating the exciton-polaritons at room temperature, and provide a promising prospect for photonic devices that exploit strong coupling in applications.


title: Instrumental variables with unordered treatments: Theory and evidence from returns to fields of study

abstract: We revisit the identification argument of Kirkeboen et al. (2016) who showed how one may combine instruments for multiple unordered treatments with information about individuals' ranking of these treatments to achieve identification while allowing for both observed and unobserved heterogeneity in treatment effects. We show that the key assumptions underlying their identification argument have testable implications. We also provide a new characterization of the bias that may arise if these assumptions are violated. Taken together, these results allow researchers not only to test the underlying assumptions, but also to argue whether the bias from violation of these assumptions are likely to be economically meaningful. Guided and motivated by these results, we estimate and compare the earnings payoffs to post-secondary fields of study in Norway and Denmark. In each country, we apply the identification argument of Kirkeboen et al. (2016) to data on individuals' ranking of fields of study and field-specific instruments from discontinuities in the admission systems. We empirically examine whether and why the payoffs to fields of study differ across the two countries. We find strong cross-country correlation in the payoffs to fields of study, especially after removing fields with violations of the assumptions underlying the identification argument.


title: Linear Intervals in the Tamari and the Dyck Lattices and in the alt-Tamari Posets

abstract: We count the number of linear intervals in the Tamari and the Dyck lattices according to their height, using generating series and Lagrange inversion. Surprisingly, these numbers are the same in both lattices. We define a new family of posets on Dyck paths, which we call alt-Tamari posets. Each alt-Tamari poset depends on the choice of an increment function delta in {0,1}^n. We recover the Tamari and the Dyck lattices as extreme cases with delta = 1 and delta = 0, respectively. We prove that all the alt-Tamari posets have the same number of linear intervals of any given height.


title: Dynamics of physical properties of a single-mode quantized field nonlinearly and non-resonantly interacting with two V-type three-level atoms passing consecutively through a cavity

abstract: In this paper we address the analytical solution of the non-resonant interaction between two identical V-type three-level atoms passing consecutively through a single-mode cavity field in the presence of intensity-dependent coupling. By considering an identical initial condition for both atoms and an initial coherent field, we find the analytical solution of the state vector of the entire atom-field system. Accordingly, we could carefully investigate the influence of various parameters in the circumstances of the interacting system on different physical quantities such as the atomic population inversion, atom-field entanglement, field squeezing, sub-Poissonian statistics and the Wigner quasi-probability distribution function. In detail, we discuss numerically the influences of the detuning parameters and a particular nonlinearity function on the mentioned quantities and demonstrate that they have substantial effects on the temporal behavior of the above-mentioned nonclassical properties.


title: Magnetoelectricity induced by rippling of magnetic nanomembranes and wires

abstract: Magnetoelectric crystals have the interesting property that they allow electric fields to induce magnetic polarizations, and vice versa, magnetic fields to generate ferroelectric polarizations. Having such a magnetoelectric coupling usually requires complex types of magnetic textures, e.g., of spiralling type. Here we establish a novel approach to generate a linear magnetoelectric coupling in insulators with a conventional, ferromagnetic ground state. We show that nanoscale curved geometries lead to a reorganization of the magnetic texture that spontaneously breaks inversion symmetry and thereby induces macroscopic magnetoelectric multipoles. Specifically, we prove that structural deformation in the form of controlled ripples activate a magnetoelectric monopole in the recently synthesised two-dimensional magnets. We also demonstrate that in zig-zag shaped ferromagnetic wires in planar architectures, a magnetic toroidal moment triggers a direct linear magnetoelectric coupling.


title: Review of the AMLAS Methodology for Application in Healthcare

abstract: In recent years, the number of machine learning (ML) technologies gaining regulatory approval for healthcare has increased significantly allowing them to be placed on the market. However, the regulatory frameworks applied to them were originally devised for traditional software, which has largely rule-based behaviour, compared to the data-driven and learnt behaviour of ML. As the frameworks are in the process of reformation, there is a need to proactively assure the safety of ML to prevent patient safety being compromised. The Assurance of Machine Learning for use in Autonomous Systems (AMLAS) methodology was developed by the Assuring Autonomy International Programme based on well-established concepts in system safety. This review has appraised the methodology by consulting ML manufacturers to understand if it converges or diverges from their current safety assurance practices, whether there are gaps and limitations in its structure and if it is fit for purpose when applied to the healthcare domain. Through this work we offer the view that there is clear utility for AMLAS as a safety assurance methodology when applied to healthcare machine learning technologies, although development of healthcare specific supplementary guidance would benefit those implementing the methodology.


title: An energetically consistent surface correction method for bond-based peridynamics

abstract: A novel surface correction method is proposed for bond based peridynamics which ensures energy consistency with a classical reference body for general affine deformations. This method is validated for simple geometries and then applied to a typical surface-dominated problem, namely the indentation of a surface in the shallow to moderate-depth regime.


title: Spoofing-Aware Attention based ASV Back-end with Multiple Enrollment Utterances and a Sampling Strategy for the SASV Challenge 2022

abstract: Current state-of-the-art automatic speaker verification (ASV) systems are vulnerable to presentation attacks, and several countermeasures (CMs), which distinguish bona fide trials from spoofing ones, have been explored to protect ASV. However, ASV systems and CMs are generally developed and optimized independently without considering their inter-relationship. In this paper, we propose a new spoofing-aware ASV back-end module that efficiently computes a combined ASV score based on speaker similarity and CM score. In addition to the learnable fusion function of the two scores, the proposed back-end module has two types of attention components, scaled-dot and feed-forward self-attention, so that intra-relationship information of multiple enrollment utterances can also be learned at the same time. Moreover, a new effective trials-sampling strategy is designed for simulating new spoofing-aware verification scenarios introduced in the Spoof-Aware Speaker Verification (SASV) challenge 2022.


title: The Rique-Number of Graphs

abstract: We continue the study of linear layouts of graphs in relation to known data structures. At a high level, given a data structure, the goal is to find a linear order of the vertices of the graph and a partition of its edges into pages, such that the edges in each page follow the restriction of the given data structure in the underlying order. In this regard, the most notable representatives are the stack and queue layouts, while there exists some work also for deques. In this paper, we study linear layouts of graphs that follow the restriction of a restricted-input queue (rique), in which insertions occur only at the head, and removals occur both at the head and the tail. We characterize the graphs admitting rique layouts with a single page and we use the characterization to derive a corresponding testing algorithm when the input graph is maximal planar. We finally give bounds on the number of needed pages (so-called rique-number) of complete graphs.