title: SRv6: Is There Anybody Out There?

abstract: Segment routing is a modern form of source-based routing, i.e., a routing technique where all or part of the routing decision is predetermined by the source or a hop on the path. Since initial standardization efforts in 2013, segment routing seems to have garnered substantial industry and operator support. Especially segment routing over IPv6 (SRv6) is advertised as having several advantages for easy deployment and flexibility in operations in networks. Many people, however, argue that the deployment of segment routing and SRv6 in particular poses a significant security threat if not done with the utmost care. In this paper we conduct a first empirical analysis of SRv6 deployment in the Internet. First, we analyze SRv6 behavior in an emulation environment and find that different SRv6 implementations have the potential to leak information to the outside. Second, we search for signs of SRv6 deployment in publicly available route collector data, but could not find any traces. Third, we run large-scale traceroute campaigns to investigate possible SRv6 deployments. In this first empirical study on SRv6 we are unable to find traces of SRv6 deployment even for companies that claim to have it deployed in their networks. This lack of leakage might be an indication of good security practices being followed by network operators when deploying SRv6.


title: Computational issues by interpolating with inverse multiquadrics: a solution

abstract: We consider the interpolation problem with the inverse multiquadric radial basis function. The problem usually produces a large dense linear system that has to be solved by iterative methods. The efficiency of such methods is strictly related to the computational cost of the multiplication between the coefficient matrix and the vectors computed by the solver at each iteration. We propose an efficient technique for the calculation of the product of the coefficient matrix and a generic vector. This computation is mainly based on the well-known spectral decomposition in spherical coordinates of the Green's function of the Laplacian operator. We also show the efficiency of the proposed method through numerical simulations.


title: Disturbance-Injected Robust Imitation Learning with Task Achievement

abstract: Robust imitation learning using disturbance injections overcomes issues of limited variation in demonstrations. However, these methods assume demonstrations are optimal, and that policy stabilization can be learned via simple augmentations. In real-world scenarios, demonstrations are often of diverse-quality, and disturbance injection instead learns sub-optimal policies that fail to replicate desired behavior. To address this issue, this paper proposes a novel imitation learning framework that combines both policy robustification and optimal demonstration learning. Specifically, this combinatorial approach forces policy learning and disturbance injection optimization to focus on mainly learning from high task achievement demonstrations, while utilizing low achievement ones to decrease the number of samples needed. The effectiveness of the proposed method is verified through experiments using an excavation task in both simulations and a real robot, resulting in high-achieving policies that are more stable and robust to diverse-quality demonstrations. In addition, this method utilizes all of the weighted sub-optimal demonstrations without eliminating them, resulting in practical data efficiency benefits.


title: LSTM-Based Distributed Conditional Generative Adversarial Network For Data-Driven 5G-Enabled Maritime UAV Communications

abstract: 5G enabled maritime unmanned aerial vehicle (UAV) communication is one of the important applications of 5G wireless network which requires minimum latency and higher reliability to support mission-critical applications. Therefore, lossless reliable communication with a high data rate is the key requirement in modern wireless communication systems. These all factors highly depend upon channel conditions. In this work, a channel model is proposed for air-to-surface link exploiting millimeter wave (mmWave) for 5G enabled maritime unmanned aerial vehicle (UAV) communication. Firstly, we will present the formulated channel estimation method which directly aims to adopt channel state information (CSI) of mmWave from the channel model inculcated by UAV operating within the Long Short Term Memory (LSTM)-Distributed Conditional generative adversarial network (DCGAN) i.e. (LSTM-DCGAN) for each beamforming direction. Secondly, to enhance the applications for the proposed trained channel model for the spatial domain, we have designed an LSTM-DCGAN based UAV network, where each one will learn mmWave CSI for all the distributions. Lastly, we have categorized the most favorable LSTM-DCGAN training method and emanated certain conditions for our UAV network to increase the channel model learning rate. Simulation results have shown that the proposed LSTM-DCGAN based network is vigorous to the error generated through local training. A detailed comparison has been done with the other available state-of-the-art CGAN network architectures i.e. stand-alone CGAN (without CSI sharing), Simple CGAN (with CSI sharing), multi-discriminator CGAN, federated learning CGAN and DCGAN. Simulation results have shown that the proposed LSTM-DCGAN structure demonstrates higher accuracy during the learning process and attained more data rate for downlink transmission as compared to the previous state of artworks.


title: Timed Games with Bounded Window Parity Objectives

abstract: The window mechanism, introduced by Chatterjee et al. for mean-payoff and total-payoff objectives in two-player turn-based games on graphs, refines long-term objectives with time bounds. This mechanism has proven useful in a variety of settings, and most recently in timed systems. In the timed setting, the so-called fixed timed window parity objectives have been studied. A fixed timed window parity objective is defined with respect to some time bound and requires that, at all times, we witness a time frame, i.e., a window, of size less than the fixed bound in which the smallest priority is even. In this work, we focus on the bounded timed window parity objective. Such an objective is satisfied if there exists some bound for which the fixed objective is satisfied. The satisfaction of bounded objectives is robust to modeling choices such as constants appearing in constraints, unlike fixed objectives, for which the choice of constants may affect the satisfaction for a given bound. We show that verification of bounded timed window objectives in timed automata can be performed in polynomial space, and that timed games with these objectives can be solved in exponential time, even for multi-objective extensions. This matches the complexity classes of the fixed case. We also provide a comparison of the different variants of window parity objectives.


title: Towards Development with Multi-Version Models: Detecting Merge Conflicts and Checking Well-Formedness

abstract: Developing complex software requires that multiple views and versions of the software can be developed in parallel and merged as supported by views and managed by version control systems. In this context, this paper considers monitoring merging and related consistency problems permanently at the level of models and abstract syntax to permit early and frequent conflict detection while developing in parallel. The presented approach introduces multi-version models based on typed graphs that permit to store changes and multiple versions in one graph in a compact form and allow (1) to study well-formedness for all versions without the need to extract each version individually, (2) to report all possible merge conflicts without the need to merge all pairs of versions, and (3) to report all violations of well-formedness conditions that will result for merges of any two versions independent of any merge decisions without the need to merge all pairs of versions. The paper defines the related concepts and algorithms operating on multi-version models, proves their correctness w.r.t.~the usually employed three-way-merge, and reports on preliminary experiments concerning the scalability.


title: Additive reducts of real closed fields and strongly bounded structures

abstract: Given a real closed field $R$, we identify exactly four proper reducts of $R$ which expand the underlying (unordered) $R$-vector space structure. Towards this theorem we introduce a new notion, of strongly bounded reducts of linearly ordered structures: A reduct $\mathcal M$ of a linearly ordered structure $\langle R;<,\cdots\rangle $ is called \emph{strongly bounded} if every $\mathcal M$-definable subset of $R$ is either bounded or co-bounded in $R$. We investigate strongly bounded additive reducts of o-minimal structures and as a corollary prove the above theorem on additive reducts of real closed fields.


title: A Newton-Type Proximal Gradient Method for Nonlinear Multi-objective Optimization Problems

abstract: In this paper, a globally convergent Newton-type proximal gradient method is developed for composite multi-objective optimization problems where each objective function can be represented as the sum of a smooth function and a nonsmooth function. The proposed method deals with unconstrained convex multi-objective optimization problems. This method is free from any kind of priori chosen parameters or ordering information of objective functions. At every iteration of the proposed method, a subproblem is solved to find a suitable descent direction. The subproblem uses a quadratic approximation of each smooth function. An Armijo type line search is conducted to find a suitable step length. A sequence is generated using the descent direction and step length. The Global convergence of this method is justified under some mild assumptions. The proposed method is verified and compared with some existing methods using a set of problems.


title: Left braces of size 8p

abstract: We describe all left braces of size 8p for p an odd prime different from 3 or 7 and validate the number given by Bardakov, Neschadim and Yadav. We give a characterization for isomorphism classes of a semidirect product of left braces and then the description is done by first describing left braces of size 8, as conjugacy classes of regular subgroups of the corresponding holomorph, and then checking how many non isomorphic left braces of size 8p are obtained from each one of them.


title: Multimodel Sensor Fusion for Learning Rich Models for Interacting Soft Robots

abstract: Soft robots are typically approximated as low-dimensional systems, especially when learning-based methods are used. This leads to models that are limited in their capability to predict the large number of deformation modes and interactions that a soft robot can have. In this work, we present a deep-learning methodology to learn high-dimensional visual models of a soft robot combining multimodal sensorimotor information. The models are learned in an end-to-end fashion, thereby requiring no intermediate sensor processing or grounding of data. The capabilities and advantages of such a modelling approach are shown on a soft anthropomorphic finger with embedded soft sensors. We also show that how such an approach can be extended to develop higher level cognitive functions like identification of the self and the external environment and acquiring object manipulation skills. This work is a step towards the integration of soft robotics and developmental robotics architectures to create the next generation of intelligent soft robots.


title: Robust Parameter Identifiability Analysis via Column Subset Selection

abstract: We advocate a numerically reliable and accurate approach for practical parameter identifiability analysis: Applying column subset selection (CSS) to the sensitivity matrix, instead of computing an eigenvalue decomposition of the Fischer information matrix. Identifiability analysis via CSS has three advantages: (i) It quantifies reliability of the subsets of parameters selected as identifiable and unidentifiable. (ii) It establishes criteria for comparing the accuracy of different algorithms. (iii) The implementations are numerically more accurate and reliable than eigenvalue methods applied to the Fischer matrix, yet without an increase in computational cost. The effectiveness of the CSS methods is illustrated with extensive numerical experiments on sensitivity matrices from six physical models, as well as on adversarial synthetic matrices. Among the CSS methods, we recommend an implementation based on the strong rank-revealing QR algorithm because of its rigorous accuracy guarantees for both identifiable and non-identifiable parameters.


title: TransEM:Residual Swin-Transformer based regularized PET image reconstruction

abstract: Positron emission tomography(PET) image reconstruction is an ill-posed inverse problem and suffers from high level of noise due to limited counts received. Recently deep neural networks especially convolutional neural networks(CNN) have been successfully applied to PET image reconstruction. However, the local characteristics of the convolution operator potentially limit the image quality obtained by current CNN-based PET image reconstruction methods. In this paper, we propose a residual swin-transformer based regularizer(RSTR) to incorporate regularization into the iterative reconstruction framework. Specifically, a convolution layer is firstly adopted to extract shallow features, then the deep feature extraction is accomplished by the swin-transformer layer. At last, both deep and shallow features are fused with a residual operation and another convolution layer. Validations on the realistic 3D brain simulated low-count data show that our proposed method outperforms the state-of-the-art methods in both qualitative and quantitative measures.


title: Energy asymptotics for the strongly damped Klein-Gordon equation

abstract: We consider the strongly damped Klein Gordon equation for defocusing nonlinearity and we study the asymptotic behaviour of the energy for periodic solutions. We prove first the exponential decay to zero for zero mean solutions. Then, we characterize the limit of the energy, when the time tends to infinity, for solutions with small enough initial data and we finally prove that such limit is not necessary zero.


title: The chemistry of AlF and CaF production in buffer gas sources

abstract: In this work, we explore the role of chemical reactions on the properties of buffer gas-cooled molecular beams. In particular, we focus on scenarios relevant to the formation of AlF and CaF via chemical reactions between the Ca and Al atoms ablated from a solid target in an atmosphere of a fluorine-containing gas, in this case, SF6 and NF3. Reactions are studied following an ab initio molecular dynamics approach, and the results are rationalized following a tree-shaped reaction model based on Bayesian inference. We find that NF3 reacts more efficiently with hot metal atoms to form monofluoride molecules than SF6. In addition, when using NF3, the reaction products have lower kinetic energy, requiring fewer collisions to thermalize with the cryogenic helium. Furthermore, we find that the reaction probability for AlF formation is much higher than for CaF across a broad range of temperatures.


title: Physical measures for mostly sectional expanding flows

abstract: We prove that a partially hyperbolic attracting set for a $C^2$ vector field supports an ergodic physical/SRB measure if, and only if, the trapping region admits non-uniform sectional expansion on a positive Lebesgue measure subset. Moreover, in this case, the attracting set supports at most finitely many ergodic physical/SRB measures, which are also Gibbs states along the central-unstable direction. This extends to continuous time systems a similar well-known result obtained for diffeomorphisms, encompassing the presence of equilibria accumulated by regular orbits within the attracting set, since it is shown that slow recurrence to hyperbolic saddle-type equilibria is automatic for Lebesgue almost every point. We present several examples of application, including the existence of physical measures for asymptotically sectional hyperbolic attracting sets.


title: Accretion disk luminosity for black holes surrounded by dark matter with tangential pressure

abstract: We study the motion of test particles in the gravitational field of a Schwarzschild black hole surrounded by a spherical dark matter cloud with non-zero tangential pressure and compute the luminosity of the accretion disk. The presence of non vanishing tangential pressures allows to mimic the dark matter's angular momentum while still considering a static model, which simplifies the mathematical framework. We compare the numerical results about the influence of dark matter on the luminosity of accretion disks around static supermassive black holes with the previously studied cases of isotropic and anisotropic pressures. We show that the flux and luminosity of the accretion disk in the presence of dark matter are different from the case of a Schwarzschild black hole in vacuum and highlight the impact of the presence of tangential pressures.


title: Optimal route to quantum chaos in the Bose-Hubbard model

abstract: The dependence of the chaotic phase of the Bose-Hubbard Hamiltonian on particle number $N$, system size $L$ and particle density is investigated in terms of spectral and eigenstate features. We analyze the development of the chaotic phase as the limit of infinite Hilbert space dimension is approached along different directions, and show that the fastest route to chaos is the path at fixed density $n \lesssim 1$. The limit $N \to \infty$ at constant $L$ leads to a slower convergence of the chaotic phase towards the random matrix theory benchmarks. In this case, from the distribution of the eigenstate generalized fractal dimensions, the ergodic phase becomes more distinguishable from random matrix theory for larger $N$, in a similar way as along trajectories at fixed density.


title: Boolean Expressions in Firewall Analysis

abstract: Firewall policies are an important line of defence in cybersecurity, specifying which packets are allowed to pass through a network and which are not. These firewall policies are made up of a list of interacting rules. In practice, firewall can consist of hundreds or thousands of rules. This can be very difficult for a human to correctly configure. One proposed solution is to model firewall policies as Boolean expressions and use existing computer programs such as SAT solvers to verify that the firewall satisfies certain conditions. This paper takes an in-depth look at the Boolean expressions that represent firewall policies. We present an algorithm that translates a list of firewall rules into a Boolean expression in conjunctive normal form (CNF) or disjunctive normal form (DNF). We also place an upper bound on the size of the CNF and DNF that is polynomial in the number of rules in the firewall policy. This shows that past results suggesting a combinatorial explosion when converting from a Boolean expression in CNF to one in DNF does note occur in the context of firewall analysis


title: Real Algebraic Geometry, Positivity and Convexity

abstract: Chapters 1 to 4 are the lecture notes of my course "Real Algebraic Geometry I" from the winter term 2020/2021. Chapters 5 to 8 are the lecture notes of its continuation "Real Algebraic Geometry II" from the summer term 2021. Chapters 9 and 10 are the lecture notes of its further continuation "Geometry of Linear Matrix Inequalities" from the winter term 2021/2022. These courses have been delivered at the University of Konstanz in Southern Germany. The entirety of these lecture notes is accompanied by a list of 47 long videos which is available from the following YouTube playlist: https://youtube.com/playlist?list=PLbQ93L5pV-a_RRwdEgGungHn5rN43BGe7


title: Think outside the search box: A comparative study of visual and form-based query builders

abstract: Knowledge workers such as healthcare information professionals, legal researchers, and librarians need to create and execute search strategies that are comprehensive, transparent, and reproducible. The traditional solution is to use proprietary query building tools provided by literature database vendors. In the majority of cases, these query builders are designed using a form-based paradigm that requires the user to enter keywords and ontology terms on a line-by-line basis and then combine them using Boolean operators. However, recent years have witnessed significant changes in human-computer interaction technologies and users can now engage with online information systems using a variety of novel data visualisation techniques. In this paper, we evaluate a new approach to query building in which users express concepts as objects on a visual canvas and compare this with traditional form-based query building in a lab-based user study. The results demonstrate the potential of visual interfaces to mitigate some of the shortcomings associated with form-based interfaces and encourage more exploratory search behaviour. They also demonstrate the value of having a temporary 'scratch' space in query formulation. In addition, the findings highlight an ongoing need for transparency and reproducibility in professional search and raise further questions around how these properties may best be supported.


title: Deep learning framework for robot for person detection and tracking

abstract: Robustly tracking a person of interest in the crowd with a robotic platform is one of the cornerstones of human-robot interaction. The robot platform which is limited by the computational power, rapid movements, and occlusions of the target requires an efficient and robust framework to perform tracking. This paper proposes a deep learning framework for tracking a person using a mobile robot with a stereo camera. The proposed system detects a person based on its head, then utilizes the low-cost, high-speed regression network-based tracker to track the person of interest in real-time. The visual servoing of the mobile robot has been designed using a PID controller which utilizes tracker output and depth estimation of the person in subsequent frames, hence providing smooth and adaptive movement of the robot based on target movement. The proposed system has been tested in a real environment, thus proving its effectiveness.


title: Probing heavy triplet leptons of the type-III seesaw mechanism at future muon colliders

abstract: We study the search potential of heavy triplet leptons in Type III Seesaw mechanism at future high-energy and high-luminosity muon colliders. The impact of up-to-date neutrino oscillation results is taken into account on neutrino parameters and the consequent decay patterns of heavy leptons in Type III Seesaw. The three heavy leptons in the Casas-Ibarra parametrization with diagonal unity matrix are distinguishable in their decay modes. We consider the pair production of charged triplet leptons $E^+ E^-$ through both $\mu^+\mu^-$ annihilation and vector boson fusion (VBF) processes. The leading-order framework of electroweak parton distribution functions are utilized to calculate the VBF cross sections. The charged triplet leptons can be probed for masses above $\sim 1$ TeV. The $E^+E^-\to ZZ\ell^+\ell^-$ channel can be further utilized to fully reconstruct the three triplet leptons and distinguish neutrino mass patterns. The pair production of heavy neutrinos $N$ and the associated production $E^\pm N$ are only induced by VBF processes and lead to lepton-number-violating (LNV) signature. We also study the search potential of LNV processes at future high-energy muon collider with $\sqrt{s}=30$ TeV.


title: The Similar Signatures of Coplanar Gas Inflow and Disk Warps in Galactic Gas Kinematic Maps

abstract: Hydrodynamic simulations suggest that galactic gas disks form when coplanar gas spirals into the inner regions of the disk. We recently presented a simple "modified accretion disk" model of viscous galactic disks in which star-formation is fed by a radial flow of gas. However, little observational evidence has been presented for such inflows, which are expected to be only a few km s$^{-1}$ in the central regions of the disk, i.e. within three disk scale-lengths, but could reach of order 50-100 km s$^{-1}$ in the very outer disk. The effects of systematic inflow on the 2-d velocity field are examined and it is shown that these are quite similar to those produced by geometric warps of the disks, with twist distortions of both the kinematic major and minor axes. This makes it potentially difficult to distinguish between these in practice. By comparing the handedness of the observed twisting of the kinematic axes and of the spiral arms for a sample of nearby galaxies, we find (assuming that the spiral arms are generally trailing) that the effects of warps are in fact likely to dominate over the effects of radial inflows. However, the common practice of treating these twist distortions of the kinematic major and minor axes as being due only to warps can lead, for galaxies of low-to-intermediate inclinations, to substantial underestimates of any systematic inflow.


title: Forecast combinations: an over 50-year review

abstract: Forecast combinations have flourished remarkably in the forecasting community and, in recent years, have become part of the mainstream of forecasting research and activities. Combining multiple forecasts produced from single (target) series is now widely used to improve accuracy through the integration of information gleaned from different sources, thereby mitigating the risk of identifying a single "best" forecast. Combination schemes have evolved from simple combination methods without estimation, to sophisticated methods involving time-varying weights, nonlinear combinations, correlations among components, and cross-learning. They include combining point forecasts and combining probabilistic forecasts. This paper provides an up-to-date review of the extensive literature on forecast combinations, together with reference to available open-source software implementations. We discuss the potential and limitations of various methods and highlight how these ideas have developed over time. Some important issues concerning the utility of forecast combinations are also surveyed. Finally, we conclude with current research gaps and potential insights for future research.


title: Adiabatic theory of motion of bodies in the Hartle-Thorne spacetime

abstract: We study the motion of test particles in the gravitational field of a rotating and deformed object within the framework of the adiabatic theory. For this purpose, the Hartle-Thorne metric written in harmonic coordinates is employed in the post-Newtonian approximation where the adiabatic theory is valid. As a result, we obtain the perihelion shift formula for test particles orbiting on the equatorial plane of a rotating and deformed object. Based on the perihelion shift expression, we show that the principle of superposition is valid for the individual effects of the gravitational source mass, angular momentum and quadrupole moment. The resulting formula was applied to the inner planets of the Solar system. The outcomes are in a good agreement with observational data. It was also shown that the corrections related to the Sun's angular moment and quadrupole moment have little impact on the perihelion shift. On the whole, it was demonstrated that the adiabatic theory, along with its simplicity, leads to correct results, which in the limiting cases correspond to the ones reported in the literature.


title: Rigidity results for Lie algebras admitting a post-Lie algebra structure

abstract: We study rigidity questions for pairs of Lie algebras $(\mathfrak{g},\mathfrak{n})$ admitting a post-Lie algebra structure. We show that if $\mathfrak{g}$ is semisimple and $\mathfrak{n}$ is arbitrary, then we have rigidity in the sense that $\mathfrak{g}$ and $\mathfrak{n}$ must be isomorphic. The proof uses a result on the decomposition of a Lie algebra $\mathfrak{g}=\mathfrak{s}_1\dotplus \mathfrak{s}_2$ as the direct vector space sum of two semisimple subalgebras. We show that $\mathfrak{g}$ must be semisimple and hence isomorphic to the direct Lie algebra sum $\mathfrak{g}\cong \mathfrak{s}_1\oplus \mathfrak{s}_2$. This solves some open existence questions for post-Lie algebra structures on pairs of Lie algebras $(\mathfrak{g},\mathfrak{n})$. We prove additional existence results for pairs $(\mathfrak{g},\mathfrak{n})$, where $\mathfrak{g}$ is complete, and for pairs, where $\mathfrak{g}$ is reductive with $1$-dimensional center and $\mathfrak{n}$ is solvable or nilpotent.


title: Universal localizations of $d$-homological pairs

abstract: Let $k$ be an algebraically closed field and $\Phi$ a finite dimensional $k$-algebra. The universal localization $\Phi\rightarrow \Phi_\mathcal{S}$ of $\Phi$ with respect to a set of morphisms between finitely generated projective $\Phi$-modules $\mathcal{S}$ always exists. Moreover, when $\Phi$ is hereditary, Krause and \v{S}\v{t}ov\'i\v{c}ek proved that the universal localizations of $\Phi$ are in bijective correspondence with various natural structures. Taking inspiration from an alternative definition of universal localizations involving a triangulated subcategory of $\mathcal{D}^{\text{perf}}(\Phi)$, we introduce a higher analogue of universal localizations. That is, fixing a positive integer $d$, we define universal localizations of $d$-homological pairs $(\Phi,\mathcal{F})$ with respect to suitable wide subcategories $\mathcal{U}$ of $\mathcal{D}^b(\text{mod}\Phi)$. When gldim$\Phi\leq d$, we show that the result by Krause and \v{S}\v{t}ov\'i\v{c}ek has a (partial) higher analogue and that such universal localizations exist with respect to any choice of $\mathcal{U}$ with the required properties. Moreover, we show that in this setup, the base case of our definition and the definition of classic universal localization coincide.


title: On recovering block cipher secret keys in the cold boot attack setting

abstract: This paper presents a general strategy to recover a block cipher secret key in the cold boot attack setting. More precisely, we propose a key-recovery method that combines key enumeration algorithms and Grover's quantum algorithm to recover a block cipher secret key after an attacker has procured a noisy version of it via a cold boot attack. We also show how to implement the quantum component of our algorithm for several block ciphers such as AES, PRESENT and GIFT, and LowMC. Additionally, since evaluating the third-round post-quantum candidates of the National Institute of Standards and Technology (NIST) post-quantum standardization process against different attack vectors is of great importance for their overall assessment, we show the feasibility of performing our hybrid attack on Picnic, a post-quantum signature algorithm being an alternate candidate in the NIST post-quantum standardization competition. According to our results, our method may recover the Picnic private key for all Picnic parameter sets, tolerating up to $40\%$ of noise for some of the parameter sets. Furthermore, we provide a detailed analysis of our method by giving the cost of its resources, its running time, and its success rate for various enumerations.


title: The Forgotten Margins of AI Ethics

abstract: How has recent AI Ethics literature addressed topics such as fairness and justice in the context of continued social and structural power asymmetries? We trace both the historical roots and current landmark work that have been shaping the field and categorize these works under three broad umbrellas: (i) those grounded in Western canonical philosophy, (ii) mathematical and statistical methods, and (iii) those emerging from critical data/algorithm/information studies. We also survey the field and explore emerging trends by examining the rapidly growing body of literature that falls under the broad umbrella of AI Ethics. To that end, we read and annotated peer-reviewed papers published over the past four years in two premier conferences: FAccT and AIES. We organize the literature based on an annotation scheme we developed according to three main dimensions: whether the paper deals with concrete applications, use-cases, and/or people's lived experience; to what extent it addresses harmed, threatened, or otherwise marginalized groups; and if so, whether it explicitly names such groups. We note that although the goals of the majority of FAccT and AIES papers were often commendable, their consideration of the negative impacts of AI on traditionally marginalized groups remained shallow. Taken together, our conceptual analysis and the data from annotated papers indicate that the field would benefit from an increased focus on ethical analysis grounded in concrete use-cases, people's experiences, and applications as well as from approaches that are sensitive to structural and historical power asymmetries.


title: Alternative Data Augmentation for Industrial Monitoring using Adversarial Learning

abstract: Visual inspection software has become a key factor in the manufacturing industry for quality control and process monitoring. Semantic segmentation models have gained importance since they allow for more precise examination. These models, however, require large image datasets in order to achieve a fair accuracy level. In some cases, training data is sparse or lacks of sufficient annotation, a fact that especially applies to highly specialized production environments. Data augmentation represents a common strategy to extend the dataset. Still, it only varies the image within a narrow range. In this article, a novel strategy is proposed to augment small image datasets. The approach is applied to surface monitoring of carbon fibers, a specific industry use case. We apply two different methods to create binary labels: a problem-tailored trigonometric function and a WGAN model. Afterwards, the labels are translated into color images using pix2pix and used to train a U-Net. The results suggest that the trigonometric function is superior to the WGAN model. However, a precise examination of the resulting images indicate that WGAN and image-to-image translation achieve good segmentation results and only deviate to a small degree from traditional data augmentation. In summary, this study examines an industry application of data synthesization using generative adversarial networks and explores its potential for monitoring systems of production environments. \keywords{Image-to-Image Translation, Carbon Fiber, Data Augmentation, Computer Vision, Industrial Monitoring, Adversarial Learning.


title: On the Determination of the Evolutionary Status of Supernova Remnants from Radio Observation Data

abstract: This paper aims to give a brief review of a new concept for the preliminary determination of the evolutionary status of supernova remnants (SNRs). Data obtained by radio observations in continuum are used. There are three different methods underlying the new concept: the first one based on the location of observationally obtained radio surface brightness and corresponding diameter of an SNR on the theoretically derived Sigma-D tracks; the second one based on the forms of radio spectra; and the third one, based on the magnetic field strengths that are estimated through the equipartition (eqp) calculation. Using a combination of these methods, developed over the last two decades by the Belgrade SNR Research Group, we can estimate the evolutionary status of SNRs. This concept helps radio observers to determine preliminarily the stage of the evolution of an SNR observed in radio domain. Additionally, this concept was applied for several SNRs, observed by the Australia Telescope Compact Array (ATCA), and the corresponding results are reviewed here. Moreover, some of the results are revised in this review to reflect the updated recently published Sigma-D and eqp analyses.


title: Worst-case Analysis for Interactive Evaluation of Boolean Provenance

abstract: In recent work, we have introduced a framework for fine-grained consent management in databases, which combines Boolean data provenance with the field of interactive Boolean evaluation. In turn, interactive Boolean evaluation aims at unveiling the underlying truth value of a Boolean expression by frugally probing the truth values of individual values. The required number of probes depends on the Boolean provenance structure and on the (a-priori unknown) probe answers. Prior work has analyzed and aimed to optimize the expected number of probes, where expectancy is with respect to a probability distribution over probe answers. This paper gives a novel worst-case analysis for the problem, inspired by the decision tree depth of Boolean functions. Specifically, we introduce a notion of evasive provenance expressions, namely expressions, where one may need to probe all variables in the worst case. We show that read-once expressions are evasive, and identify an additional class of expressions (acyclic monotone 2-DNF) for which evasiveness may be decided in PTIME. As for the more general question of finding the optimal strategy, we show that it is coNP-hard in general. We are still able to identify a sub-class of provenance expressions that is "far from evasive", namely, where an optimal worst-case strategy probes only log(n) out of the n variables in the expression, and show that we can find this optimal strategy in polynomial time.


title: New Results on Pairwise Compatibility Graphs

abstract: A graph $G=(V,E)$ is called a pairwise compatibility graph (PCG) if there exists an edge-weighted tree $T$ and two non-negative real numbers $d_{min}$ and $d_{max}$ such that each leaf $u$ of $T$ corresponds to a vertex $u \in V$ and there is an edge $(u, v) \in E$ if and only if $d_{min} \leq d_{T}(u, v) \leq d_{max}$, where $d_T(u, v)$ is the sum of the weights of the edges on the unique path from $u$ to $v$ in $T$. The tree $T$ is called the pairwise compatibility tree (PCT) of $G$. It has been proven that not all graphs are PCGs. Thus, it is interesting to know which classes of graphs are PCGs. In this paper, we prove that grid graphs are PCGs. Although there are a necessary condition and a sufficient condition known for a graph being a PCG, there are some classes of graphs that are intermediate to the classes defined by the necessary condition and the sufficient condition. In this paper, we show two examples of graphs that are included in these intermediate classes and prove that they are not PCGs.


title: Extensions of democracy-like properties for sequences with gaps

abstract: In \cite{O2015}, T. Oikhberg introduced and studied variants of the greedy and weak greedy algorithms for sequences with gaps. In this paper, we extend some of the notions that appear naturally in connection with these algorithms to the context of sequences with gaps. In particular, we will consider sequences of natural numbers for which the inequality $n_{k+1}\le \C n_{k}$ or $n_{k+1}\le \C+n_k$ holds for a positive constant $\C$ and all $k$, and find conditions under which the extended notions are equivalent their regular counterparts.


title: Mixed-UNet: Refined Class Activation Mapping for Weakly-Supervised Semantic Segmentation with Multi-scale Inference

abstract: Deep learning techniques have shown great potential in medical image processing, particularly through accurate and reliable image segmentation on magnetic resonance imaging (MRI) scans or computed tomography (CT) scans, which allow the localization and diagnosis of lesions. However, training these segmentation models requires a large number of manually annotated pixel-level labels, which are time-consuming and labor-intensive, in contrast to image-level labels that are easier to obtain. It is imperative to resolve this problem through weakly-supervised semantic segmentation models using image-level labels as supervision since it can significantly reduce human annotation efforts. Most of the advanced solutions exploit class activation mapping (CAM). However, the original CAMs rarely capture the precise boundaries of lesions. In this study, we propose the strategy of multi-scale inference to refine CAMs by reducing the detail loss in single-scale reasoning. For segmentation, we develop a novel model named Mixed-UNet, which has two parallel branches in the decoding phase. The results can be obtained after fusing the extracted features from two branches. We evaluate the designed Mixed-UNet against several prevalent deep learning-based segmentation approaches on our dataset collected from the local hospital and public datasets. The validation results demonstrate that our model surpasses available methods under the same supervision level in the segmentation of various lesions from brain imaging.


title: Search for gamma-ray emission from a galactic supernova with the anticoincidence system of SPI

abstract: The detection of the very early gamma-emission of a Type Ia supernova (SNIa) could provide a deep insight on the explosion mechanism and nature of the progenitor. However this has not been yet possible as a consequence of the expected low luminosity and the distance at which all the events have occurred up to now. A SNIa occurring in our Galaxy could provide a unique opportunity to perform such measurement. The problem is that the optical flux would probably be so attenuated by interstellar extinction that would prevent triggering the observations with gamma-spectrometers at the due time. In this paper we analyse the possibility of using the anticoincidence system (ACS) of the spectrometer SPI on board of the INTEGRAL space observatory for detecting the early gamma-ray emission of a SNIa as a function of the explosion model and distance as well as of pointing direction. Our results suggest that such detection is possible at about 6 - 12 days after the explosion and, at the same time, we can discard missing any hidden explosion during the lifetime of INTEGRAL.


title: Near-collisions and their Impact on Biometric Security

abstract: Biometric recognition encompasses two operating modes. The first one is biometric identification which consists in determining the identity of an individual based on her biometrics and requires browsing the entire database (i.e., a 1:N search). The other one is biometric authentication which corresponds to verifying claimed biometrics of an individual (i.e., a 1:1 search) to authenticate her, or grant her access to some services. The matching process is based on the similarities between a fresh and an enrolled biometric template. Considering the case of binary templates, we investigate how a highly populated database yields near-collisions, impacting the security of both the operating modes. Insight into the security of binary templates is given by establishing a lower bound on the size of templates and an upper bound on the size of a template database depending on security parameters. We provide efficient algorithms for partitioning a leaked template database in order to improve the generation of a master-template-set that can impersonates any enrolled user and possibly some future users. Practical impacts of proposed algorithms are finally emphasized with experimental studies.


title: RCMNet: A deep learning model assists CAR-T therapy for leukemia

abstract: Acute leukemia is a type of blood cancer with a high mortality rate. Current therapeutic methods include bone marrow transplantation, supportive therapy, and chemotherapy. Although a satisfactory remission of the disease can be achieved, the risk of recurrence is still high. Therefore, novel treatments are demanding. Chimeric antigen receptor-T (CAR-T) therapy has emerged as a promising approach to treat and cure acute leukemia. To harness the therapeutic potential of CAR-T cell therapy for blood diseases, reliable cell morphological identification is crucial. Nevertheless, the identification of CAR-T cells is a big challenge posed by their phenotypic similarity with other blood cells. To address this substantial clinical challenge, herein we first construct a CAR-T dataset with 500 original microscopy images after staining. Following that, we create a novel integrated model called RCMNet (ResNet18 with CBAM and MHSA) that combines the convolutional neural network (CNN) and Transformer. The model shows 99.63% top-1 accuracy on the public dataset. Compared with previous reports, our model obtains satisfactory results for image classification. Although testing on the CAR-T cells dataset, a decent performance is observed, which is attributed to the limited size of the dataset. Transfer learning is adapted for RCMNet and a maximum of 83.36% accuracy has been achieved, which is higher than other SOTA models. The study evaluates the effectiveness of RCMNet on a big public dataset and translates it to a clinical dataset for diagnostic applications.


title: Teleparallel scalar-tensor gravity through cosmological dynamical systems

abstract: Scalar-tensor theories offer the prospect of explaining the cosmological evolution of the Universe through an effective description of dark energy as a quantity with a non-trivial evolution. In this work, we investigate this feature of scalar-tensor theories in the teleparallel gravity context. Teleparallel gravity is a novel description of geometric gravity as a torsional-rather than curvature-based quantity which presents a new foundational base for gravity. Our investigation is centered on the impact of a nontrivial input from the kinetic term of the scalar field. We consider a number of model settings in the context of the dynamical system to reveal their evolutionary behavior. We determine the critical points of these systems and discuss their dynamics.


title: Arecibo and FAST Timing Follow-up of twelve Millisecond Pulsars Discovered in Commensal Radio Astronomy FAST Survey

abstract: We report the phase-connected timing ephemeris, polarization pulse profiles, Faraday rotation measurements, and Rotating-Vector-Model (RVM) fitting results of twelve millisecond pulsars (MSPs) discovered with the Five-hundred-meter Aperture Spherical radio Telescope (FAST) in the Commensal radio Astronomy FAST survey (CRAFTS). The timing campaigns were carried out with FAST and Arecibo over three years. Eleven of the twelve pulsars are in neutron star - white dwarf binary systems, with orbital periods between 2.4 and 100 d. Ten of them have spin periods, companion masses, and orbital eccentricities that are consistent with the theoretical expectations for MSP - Helium white dwarf (He WD) systems. The last binary pulsar (PSR J1912$-$0952) has a significantly smaller spin frequency and a smaller companion mass, the latter could be caused by a low orbital inclination for the system. Its orbital period of 29 days is well within the range of orbital periods where some MSP - He WD systems have shown anomalous eccentricities, however, the eccentricity of PSR J1912$-$0952 is typical of what one finds for the remaining MSP - He WD systems.


title: The KOSMA-$\tau$ PDR Model -- I. Recent updates to the numerical model of photo-dissociated regions

abstract: Numerical models of Photodissociation Regions (PDRs) are an essential tool to quantitatively understand observations of massive star forming regions through simulations. Few mature PDR models are available and the Cologne KOSMA-$\tau$ PDR model is the only sophisticated model that uses a spherical cloud geometry thereby allowing us to simulate clumpy PDRs. We present the current status of the code as reference for modelers and for observers that plan to apply KOSMA-$\tau$ to interpret their data. For the numerical solution of the chemical problem we present a superior Newton-Raphson stepping algorithm and discuss strategies to numerically stabilize the problem and speed up the iterations. The chemistry in KOSMA-$\tau$ is upgraded to include the full surface chemistry in an up-to-date formulation and we discuss a novel computation of branching ratios in chemical desorption reactions. The high dust temperature in PDRs leads to a selective freeze-out of oxygen-bearing ice species due to their higher condensation temperatures and we study changes in the ice mantle structures depending on the PDR parameters, in particular the impinging UV field. Selective freeze-out can produce enhanced C abundances and higher gas temperatures resulting in a fine-structure line emission of atomic carbon [C] enhanced by up to 50% if surface reactions are considered. We show how recent ALMA observations of HCO$^+$ emission in the Orion Bar with high spatial resolution on the scale of individual clumps can be interpreted in the context of non-stationary, clumpy PDR ensembles. Additionally, we introduce WL-PDR, a simple plane-parallel PDR model written in Mathematica to act as numerical testing environment of PDR modeling aspects.


title: An Effective Scheme for Maize Disease Recognition based on Deep Networks

abstract: In the last decades, the area under cultivation of maize products has increased because of its essential role in the food cycle for humans, livestock, and poultry. Moreover, the diseases of plants impact food safety and can significantly reduce both the quality and quantity of agricultural products. There are many challenges to accurate and timely diagnosis of the disease. This research presents a novel scheme based on a deep neural network to overcome the mentioned challenges. Due to the limited number of data, the transfer learning technique is employed with the help of two well-known architectures. In this way, a new effective model is adopted by a combination of pre-trained MobileNetV2 and Inception Networks due to their effective performance on object detection problems. The convolution layers of MoblieNetV2 and Inception modules are parallelly arranged as earlier layers to extract crucial features. In addition, the imbalance problem of classes has been solved by an augmentation strategy. The proposed scheme has a superior performance compared to other state-of-the-art models published in recent years. The accuracy of the model reaches 97%, approximately. In summary, experimental results prove the method's validity and significant performance in diagnosing disease in plant leaves.


title: Measuring Cognitive Workload Using Multimodal Sensors

abstract: This study aims to identify a set of indicators to estimate cognitive workload using a multimodal sensing approach and machine learning. A set of three cognitive tests were conducted to induce cognitive workload in twelve participants at two levels of task difficulty (Easy and Hard). Four sensors were used to measure the participants' physiological change, including, Electrocardiogram (ECG), electrodermal activity (EDA), respiration (RESP), and blood oxygen saturation (SpO2). To understand the perceived cognitive workload, NASA-TLX was used after each test and analysed using Chi-Square test. Three well-know classifiers (LDA, SVM, and DT) were trained and tested independently using the physiological data. The statistical analysis showed that participants' perceived cognitive workload was significantly different (p<0.001) between the tests, which demonstrated the validity of the experimental conditions to induce different cognitive levels. Classification results showed that a fusion of ECG and EDA presented good discriminating power (acc=0.74) for cognitive workload detection. This study provides preliminary results in the identification of a possible set of indicators of cognitive workload. Future work needs to be carried out to validate the indicators using more realistic scenarios and with a larger population.


title: Magnetic field inference from the spectral region around the Mg I $b_2$ line using the weak-field approximation

abstract: We investigated the applicability of the weak-field approximation (WFA) for retrieving the depth-dependent line-of-sight (LOS) magnetic field from the spectral region containing the Mg I $b_2$ spectral line and two photospheric Ti I and Fe I lines. We constructed and used a 12-level model for Mg I atom that realistically reproduces the $b_2$ line profile of the mean quiet Sun. We tested the applicability of the WFA to the spectra computed from the FAL C atmospheric model with ad hoc added different magnetic and velocity fields. Then, we extended the analysis to the spectra computed from two 3D magneto-hydrodynamic (MHD) MURaM simulations of the solar atmosphere. The first MHD cube is used to estimate the Stokes V formation heights of each spectral line. These heights correspond to optical depths at which the standard deviation of the difference between the WFA-inferred magnetic field and the magnetic field in the MHD cube is minimal. The estimated formation heights are verified using the second MHD cube. The LOS magnetic field retrieved by the WFA is reliable for the magnetic field strength up to 1.4 kG even when moderate velocity gradients are present. The exception is the Fe I line, for which we found a strong discrepancy in the inferred magnetic fields because of the line blend. We estimated the Stokes $V$ formation heights of each spectral line to be: $\log\tau_\mathrm{Fe}=-2.6$, $\log\tau_\mathrm{Mg}=-3.3$, and $\log\tau_\mathrm{Ti}=-1.8$. We were able to estimate the LOS magnetic field from the MURaM cube at these heights with the uncertainty of 150 G for the Fe I and Ti I lines and only 40 G for the Mg I $b_2$ line. Using the WFA we can quickly get a reliable estimate of the structure of the LOS magnetic field in the observed region. The Mg I $b_2$ line profile calculated from the quiet Sun MURaM simulation agrees very well with the observed mean spectrum of the quiet Sun.


title: A Generalization of Tepper's Identity

abstract: In this paper, we first give a simple combinatorial proof of Tepper's identity. Then, as a by product of this interesting identity we present another proof of the well-known Wilson's identity in number theory. Finally, we obtain a generalization of Tepper's identity for any polynomial with real coefficients.


title: Counterfactually Augmented Data and Unintended Bias: The Case of Sexism and Hate Speech Detection

abstract: Counterfactually Augmented Data (CAD) aims to improve out-of-domain generalizability, an indicator of model robustness. The improvement is credited with promoting core features of the construct over spurious artifacts that happen to correlate with it. Yet, over-relying on core features may lead to unintended model bias. Especially, construct-driven CAD -- perturbations of core features -- may induce models to ignore the context in which core features are used. Here, we test models for sexism and hate speech detection on challenging data: non-hateful and non-sexist usage of identity and gendered terms. In these hard cases, models trained on CAD, especially construct-driven CAD, show higher false-positive rates than models trained on the original, unperturbed data. Using a diverse set of CAD -- construct-driven and construct-agnostic -- reduces such unintended bias.


title: Distributed and Joint Optimization of Precoding and Power for User-Centric Cell-Free Massive MIMO

abstract: In the cell-free massive multiple-input multiple-output (CF mMIMO) system, the centralized transmission scheme is widely adopted to manage the inter-user interference. Unfortunately, its implementation is limited by the extensive signaling overhead between the central process unit (CPU) and the access points (APs). To solve this problem, we propose a distributed downlink transmission scheme in this letter. First, the null space-based precoding is used to cancel the interference to partial users, where only a portion of channel state information (CSI) needs to be shared among the AP cluster. Based on this, the dual decomposition method is adopted to jointly optimize the precoder and power control, where the calculation can be performed independently by each AP cluster with closed-form expression. With very few iterations, our distributed scheme achieves the same performance as the centralized one. Moreover, it significantly reduces the information exchange to the CPU.


title: An exact quantum order finding algorithm and its applications

abstract: We present an efficient exact quantum algorithm for order finding problem when a multiple $m$ of the order $r$ is known. The algorithm consists of two main ingredients. The first ingredient is the exact quantum Fourier transform proposed by Mosca and Zalka in [MZ03]. The second ingredient is an amplitude amplification version of Brassard and Hoyer in [BH97] combined with some ideas from the exact discrete logarithm procedure by Mosca and Zalka in [MZ03]. As applications, we show how the algorithm derandomizes the quantum algorithm for primality testing proposed by Donis-Vela and Garcia-Escartin in [DVGE18], and serves as a subroutine of an efficient exact quantum algorithm for finding primitive elements in arbitrary finite fields. .


title: Generalized solutions of Polynomial and Transcendental Equations by the strong method of (Generalized Iterative Method approximation of Roots (GRIM) )

abstract: In this paper, we explain a new Iterative Method-Fixed Point and develop its convergence theory for finding approximate solutions of nonlinear equations in the setting of Banach spaces. First, we discuss the convergence analysis of our method by separating the equation into functions from which it is derived and the remaining part of the equation, according to the Generalized Theorem[1] for solving polynomial and transcendental equations. Solving an equation, either polynomial or transcendental, is solved only by categorizing the roots and not by some procedure of searching in individual intervals and this way was followed in the past by all existing methods. But the methods developed in the past are limited to isolated intervals without general acceptance. Finally, the method is strengthened by Newton's method to speed up the finding of the roots. At the end of the analysis, we give several examples of the application of the method.


title: Explicit Evaluation of Euler-Ap\'ery Type Multiple Zeta Star Values and Multiple $t$-Star Values

abstract: In this paper we establish several recurrence relations about Euler-Ap\'ery type multiple zeta star values and a parametric variant of it by using the method of iterated integrals. Then using the formulas obtained, we find the explicit evaluations for some specific Euler-Ap\'ery type multiple zeta star values and one of its parametric variant, and Euler-Ap\'ery type multiple $t$-star values.


title: Backward propagating quantum repeater protocol with multiple quantum memories

abstract: Quantum repeaters with multiple quantum memories provide high throughput, low latency, and high fidelity quantum state (qubit) transfer over long distances. However, conventional quantum repeater protocols require full connections among the multiple quantum memories in a repeater node, which is technically challenging. Here, we propose a quantum repeater protocol based on backward propagating photon emission and absorption, where the quantum memories are multiplexed in the time-domain to speed up a single transmission channel without requiring full connectivity, drastically facilitating physical implementation. Although the protocol is described with nitrogen-vacancy (NV) centers in diamond, it is applicable to various physical systems and opens up the possibility of high-speed high-fidelity quantum networks for distributed quantum computation and quantum Internet.


title: Mobius disjointness conjecture on the product of a circle and the Heisenberg nilmanifold

abstract: Let $\mathbb{T}$ be the unit circle and $\Gamma\setminus G$ the 3-dimensional Heisenberg nilmanifold. We prove that the M\"obius function is linearly disjoint from a class of distal skew products on $\mathbb{T}\times\Gamma\setminus G$. These results generalize a recent work of Huang-Liu-Wang.


title: A closed solution to a special polynomial trinomial equation and semi-analytical roots for a general algebraic equation

abstract: We suggest a closed solution for the roots of polynomial trinomial algebraic equation $$z^n+xz^{n-1}-1=0$$ with an appropriate $x$. This solution is a minor modification to the work of Mikhalkin (Mikhalkin E N, 2006. On solving general algebraic equations by integrals of elementary functions, Siberian Mathematical Jounral, 47(2), 301-306). This modification, together with Mikhalkin's integral formula, provides a relatively simple analytical expression for the solution to a general algebraic equation when the polynomial coefficients are over the corresponding convergent domain. Numerical examples show that this expression can be another alternative to finding numerically the roots of a general polynomial algebraic equation when the integral involved exists and is calculated correctly.


title: The solution of Liouville's equation (1850, 1853) and its impact

abstract: Liouville's 1853 paper, in which he derived in closed form the general local solution of equation $u_{z\bar z}=\exp(u)$, is one of the few papers from the 19th century that 21st century mathematicians routinely quote as motivation for their work. We try and understand the reasons for the enduring importance of this paper. Our conclusions are the following: 1. Mathematics is not cumulative, but lost material may be recovered through examination of ancient works. 2. An apparent paradox is that the degree of dissemination of ideas and concepts among mathematicians is not determined only by geographic or social affiliation (countries, cities, scientific schools, etc.). On the contrary, the existence of common scientific goals makes it possible to transfer and use these concepts. 3. Older papers, because they are not influenced by modern classifications, can help generate ideas that do not arise naturally in a modern framework. Thus, a historical perspective can help bring about new mathematics and indeed, is a necessary dimension of mathematical research.


title: Connection between time-splitting parameter and surface tension in Casimir problems. Related phenomena in relativistic collapse of a singular shell

abstract: We discuss four different, though related, fundamental topics related to the Casimir effect: 1) We suggest that the application of Casimir theory to real dielectric materials, thus implying the atomic spacing as a course-grained length parameter, makes it natural to assume that this parameter is of the same order of magnitude as the QFT time-splitting parameter multiplied with the velocity of light. 2) We show that application of Casimir theory to a thick fluid shell (apparently a closed mechanical system), leads actually to an unstable situation if not extra mechanical forces, typically surface tension forces, are brought into consideration. 3) We analyze how the presence of a radial Casimir repulsive pressure modifies the filling process of a spherical vacuum hole in an infinite fluid (the Reynolds problem), with the result that a bounce occurs at a finite though very small radius. 4) As a comment on an apparently similar situation in general relativity, we consider the gravitational collapse of a singular shell. It might seem natural to allow for the presence of a repulsive Casimir pressure in this case also, thereby obtaining a bounce-like situation again. However, we have to conclude that such a procedure implies an omission of the Casimir field's gravitational energy, and is therefore hardly tenable, although it is in our opinion worth mentioning.


title: Introduction {\`a} l'oeuvre de S. Kichenassamy en Physique Th{\'e}orique

abstract: The work of S. Kichenassamy (1926-2015) in Theoretical and Mathematical Physics covers the spectrum of Relativistic Physics: from the clarification of the postulational basis of the two theories of Relativity, to applications to the measurement of proper time, image formation, collision theory, kinetic theory and radiative transfer, or pulsar electrodynamics, to name a few. After brief biographic remarks,we show, by following an argument first formulated in 1963, and developed in a series of papers, that the physical interpretation of General Relativity requires the replacement of the strong equivalence principle by the C-equivalence principle. By giving a mathematical status to the observer, his insight yields new results regarding measurements actual observers can make, both in Special and in General Relativity. Applications are outlined. His contributions to Indology will be discussed elsewhere.


abstract: This is an exposition of Gauss's proof of Descartes's rule of signs.


title: Bell inequalities for nonlocality depth

abstract: When three or more particles are considered, quantum correlations can be stronger than the correlations generated by so-called hybrid local hidden variable models, where some of the particles are considered as a single block inside which communication and signaling is allowed. We provide an exhaustive classification of Bell inequalities to characterize various hybrid scenarios in four- and five-particle systems. In quantum mechanics, these inequalities provide device-independent witnesses for the entanglement depth. In addition, we construct a family of inequalities to detect a non-locality depth of (n-1) in n-particle systems. Moreover, we present two generalizations of the original Svetlichny inequality, which was the first Bell inequality designed for hybrid models. Our results are based on the cone-projection technique, which can be used to completely characterize Bell inequalities under affine constraints; even for many parties, measurements, and outcomes.


title: A Music-Therapy Robotic Platform for Children with Autism: A Pilot Study

abstract: Children with Autism Spectrum Disorder (ASD) experience deficits in verbal and nonverbal communication skills including motor control, turn-taking, and emotion recognition. Innovative technology, such as socially assistive robots, has shown to be a viable method for Autism therapy. This paper presents a novel robot-based music-therapy platform for modeling and improving the social responses and behaviors of children with ASD. Our autonomous social interactive system consists of three modules. We adopted Short-time Fourier Transform and Levenshtein distance to fulfill the design requirements: a) "music detection" and b) "smart scoring and feedback", which allows NAO to understand music and provide additional practice and oral feedback to the users as applicable. We designed and implemented six Human-Robot-Interaction (HRI) sessions including four intervention sessions. Nine children with ASD and seven Typically Developing participated in a total of fifty HRI experimental sessions. Using our platform, we collected and analyzed data on social behavioral changes and emotion recognition using Electrodermal Activity (EDA) signals. The results of our experiments demonstrate most of the participants were able to complete motor control tasks with ~70% accuracy. Six out of the 9 ASD participants showed stable turn-taking behavior when playing music. The results of automated emotion classification using Support Vector Machines illustrate that emotional arousal in the ASD group can be detected and well recognized via EDA bio-signals. In summary, the results of our data analyses, including emotion classification using EDA signals, indicate that the proposed robot-music based therapy platform is an attractive and promising assistive tool to facilitate the improvement of fine motor control and turn-taking skills in children with ASD.


title: Improved Price of Anarchy via Predictions

abstract: A central goal in algorithmic game theory is to analyze the performance of decentralized multiagent systems, like communication and information networks. In the absence of a central planner who can enforce how these systems are utilized, the users can strategically interact with the system, aiming to maximize their own utility, possibly leading to very inefficient outcomes, and thus a high price of anarchy. To alleviate this issue, the system designer can use decentralized mechanisms that regulate the use of each resource (e.g., using local queuing protocols or scheduling mechanisms), but with only limited information regarding the state of the system. These information limitations have a severe impact on what such decentralized mechanisms can achieve, so most of the success stories in this literature have had to make restrictive assumptions (e.g., by either restricting the structure of the networks or the types of cost functions). In this paper, we overcome some of the obstacles that the literature has imposed on decentralized mechanisms, by designing mechanisms that are enhanced with predictions regarding the missing information. Specifically, inspired by the big success of the literature on "algorithms with predictions", we design decentralized mechanisms with predictions and evaluate their price of anarchy as a function of the prediction error, focusing on two very well-studied classes of games: scheduling games and multicast network formation games.


title: Physics implication from a $Z_3$ symmetry of matter

abstract: I show that breaking $B-L$ by one unit of this charge is suitable for neutrino mass generation through an inverse seesaw mechanism, stabilizing a dark matter candidate without supersymmetry, as well as solving the muon anomalous magnetic moment and the $W$ mass deviation via dark field contributions. The new physics is governed by the residual $Z_3$ symmetry of $B-L$ isomorphic to the center of the color group, instead of the well-studied matter parity.


title: Exact polynomial optimization strengthened with Fritz John conditions

abstract: Let $f,g_1,\dots,g_m$ be polynomials with real coefficients in a vector of variables $x=(x_1,\dots,x_n)$. Denote by $\text{diag}(g)$ the diagonal matrix with coefficients $g=(g_1,\dots,g_m)$ and denote by $\nabla g$ the Jacobian of $g$. Let $C$ be the set of critical points defined by \begin{equation} C=\{x\in\mathbb R^n\,:\,\text{rank}(\varphi(x))< m\}\quad\text{with}\quad\varphi:=\begin{bmatrix} \nabla g\\ \text{diag}(g) \end{bmatrix}\,. \end{equation} Assume that the image of $C$ under $f$, denoted by $f(C)$, is empty or finite. (Our assumption holds generically since $C$ is empty in a Zariski open set in the space of the coefficients of $g_1,\dots,g_m$ with given degrees.) We provide a sequence of values, returned by semidefinite programs, finitely converges to the minimal value attained by $f$ over the basic semi-algebraic set $S$ defined by \begin{equation} S:=\{x\in\mathbb R^n\,:\,g_j(x)\ge 0\,,\,j=1,\dots,m\}\,. \end{equation} Consequently, we can compute exactly the minimal value of any polynomial with real coefficients in $x$ over one of the following sets: the unit ball, the unit hypercube and the unit simplex. Under a slightly more general assumption, we extend this result to the minimization of any polynomial over a basic convex semi-algebraic set that has non-empty interior and is defined by the inequalities of concave polynomials.


title: Improved Evaluation and Generation of Grid Layouts using Distance Preservation Quality and Linear Assignment Sorting

abstract: Images sorted by similarity enables more images to be viewed simultaneously, and can be very useful for stock photo agencies or e-commerce applications. Visually sorted grid layouts attempt to arrange images so that their proximity on the grid corresponds as closely as possible to their similarity. Various metrics exist for evaluating such arrangements, but there is low experimental evidence on correlation between human perceived quality and metric value. We propose Distance Preservation Quality (DPQ) as a new metric to evaluate the quality of an arrangement. Extensive user testing revealed stronger correlation of DPQ with user-perceived quality and performance in image retrieval tasks compared to other metrics. In addition, we introduce Fast Linear Assignment Sorting (FLAS) as a new algorithm for creating visually sorted grid layouts. FLAS achieves very good sorting qualities while improving run time and computational resources.


title: SoK: Blockchain Decentralization

abstract: Blockchain introduces decentralized trust in peer-to-peer networks, advancing security and democratizing systems. Yet, a unified definition for decentralization remains elusive. Our Systematization of Knowledge (SoK) seeks to bridge this gap, emphasizing quantification and methodological coherence. We've formulated a taxonomy defining blockchain decentralization across five facets: consensus, network, governance, wealth, and transaction. Despite the prevalent focus on consensus decentralization, our novel index, based on Shannon entropy, provides comprehensive insights. Moreover, we delve into alternative metrics like the Gini and Nakamoto Coefficients and the Herfindahl-Hirschman Index (HHI), supplemented by an open-source Python tool on GitHub. In terms of methodology, blockchain research has often bypassed stringent scientific methods. By employing descriptive, predictive, and causal methods, our study showcases the potential of structured research in blockchain. Descriptively, we observe a trend of converging decentralization levels over time. Examining DeFi platforms reveals exchange and lending applications as more decentralized than their payment and derivatives counterparts. Predictively, there's a notable correlation between Ether's returns and transaction decentralization in Ether-backed stablecoins. Causally, Ethereum's transition to the EIP-1559 transaction fee model has a profound impact on DeFi transaction decentralization. To conclude, our work outlines directions for blockchain research, emphasizing the delicate balance among decentralization facets, fostering long-term decentralization, and the ties between decentralization, security, privacy, and efficiency. We end by spotlighting challenges in grasping blockchain decentralization intricacies.

categories: econ.GN cs.CR cs.DB cs.SI q-fin.EC q-fin.ST


title: Enough Hot Air: The Role of Immersion Cooling

abstract: Air cooling is the traditional solution to chill servers in data centers. However, the continuous increase in global data center energy consumption combined with the increase of the racks' power dissipation calls for the use of more efficient alternatives. Immersion cooling is one such alternative. In this paper, we quantitatively examine and compare air cooling and immersion cooling solutions. The examined characteristics include power usage efficiency (PUE), computing and power density, cost, and maintenance overheads. A direct comparison shows a reduction of about 50% in energy consumption and a reduction of about two-thirds of the occupied space, by using immersion cooling. In addition, the higher heat capacity of used liquids in immersion cooling compared to air allows for much higher rack power densities. Moreover, immersion cooling requires less capital and operational expenditures. However, challenging maintenance procedures together with the increased number of IT failures are the main downsides. By selecting immersion cooling, cloud providers must trade-off the decrease in energy and cost and the increase in power density with its higher maintenance and reliability concerns. Finally, we argue that retrofitting an air-cooled data center with immersion cooling will result in high costs and is generally not recommended.


title: Quantum limits for resolving Gaussian sources

abstract: We determine analytically the quantum Cram\'er-Rao bound for the estimation of the separation between two point sources in arbitrary Gaussian states. Our analytical expression is valid for arbitrary sources brightness, and it allows to determine how different resources, such as mutual coherence (induced by thermal correlations or displacement) or squeezing affect the scaling of the ultimate resolution limit with the mean number of emitted photons. In practical scenarios, we find coherent states of the sources to achieve quantum optimal resolution.


title: Multi-segment preserving sampling for deep manifold sampler

abstract: Deep generative modeling for biological sequences presents a unique challenge in reconciling the bias-variance trade-off between explicit biological insight and model flexibility. The deep manifold sampler was recently proposed as a means to iteratively sample variable-length protein sequences by exploiting the gradients from a function predictor. We introduce an alternative approach to this guided sampling procedure, multi-segment preserving sampling, that enables the direct inclusion of domain-specific knowledge by designating preserved and non-preserved segments along the input sequence, thereby restricting variation to only select regions. We present its effectiveness in the context of antibody design by training two models: a deep manifold sampler and a GPT-2 language model on nearly six million heavy chain sequences annotated with the IGHV1-18 gene. During sampling, we restrict variation to only the complementarity-determining region 3 (CDR3) of the input. We obtain log probability scores from a GPT-2 model for each sampled CDR3 and demonstrate that multi-segment preserving sampling generates reasonable designs while maintaining the desired, preserved regions.


title: EASE: Entity-Aware Contrastive Learning of Sentence Embedding

abstract: We present EASE, a novel method for learning sentence embeddings via contrastive learning between sentences and their related entities. The advantage of using entity supervision is twofold: (1) entities have been shown to be a strong indicator of text semantics and thus should provide rich training signals for sentence embeddings; (2) entities are defined independently of languages and thus offer useful cross-lingual alignment supervision. We evaluate EASE against other unsupervised models both in monolingual and multilingual settings. We show that EASE exhibits competitive or better performance in English semantic textual similarity (STS) and short text clustering (STC) tasks and it significantly outperforms baseline methods in multilingual settings on a variety of tasks. Our source code, pre-trained models, and newly constructed multilingual STC dataset are available at https://github.com/studio-ousia/ease.


title: CoCoLoT: Combining Complementary Trackers in Long-Term Visual Tracking

abstract: How to combine the complementary capabilities of an ensemble of different algorithms has been of central interest in visual object tracking. A significant progress on such a problem has been achieved, but considering short-term tracking scenarios. Instead, long-term tracking settings have been substantially ignored by the solutions. In this paper, we explicitly consider long-term tracking scenarios and provide a framework, named CoCoLoT, that combines the characteristics of complementary visual trackers to achieve enhanced long-term tracking performance. CoCoLoT perceives whether the trackers are following the target object through an online learned deep verification model, and accordingly activates a decision policy which selects the best performing tracker as well as it corrects the performance of the failing one. The proposed methodology is evaluated extensively and the comparison with several other solutions reveals that it competes favourably with the state-of-the-art on the most popular long-term visual tracking benchmarks.


title: Discontinuous Galerkin approximation of the fully-coupled thermo-poroelastic problem

abstract: We present and analyze a discontinuous Galerkin method for the numerical modelling of the non-linear fully-coupled thermo-poroelastic problem. For the spatial discretization, we design a high-order discontinuous Galerkin method on polygonal and polyhedral grids based on a novel four-field formulation of the problem. To handle the non-linear convective transport term in the energy conservation equation we adopt a fixed-point linearization strategy. We perform a robust stability analysis for the linearized semi-discrete problem under mild requirements on the problem data. A priori hp-version error estimates in suitable energy norms are also derived. A complete set of numerical simulations is presented in order to validate the theoretical analysis, to inspect numerically the robustness properties, and to test the capability of the proposed method in a practical scenario inspired by a geothermal problem.


title: Spiking Neural Network Equalization for IM/DD Optical Communication

abstract: A spiking neural network (SNN) equalizer model suitable for electronic neuromorphic hardware is designed for an IM/DD link. The SNN achieves the same bit-error-rate as an artificial neural network, outperforming linear equalization.


title: SwinIQA: Learned Swin Distance for Compressed Image Quality Assessment

abstract: Image compression has raised widespread interest recently due to its significant importance for multimedia storage and transmission. Meanwhile, a reliable image quality assessment (IQA) for compressed images can not only help to verify the performance of various compression algorithms but also help to guide the compression optimization in turn. In this paper, we design a full-reference image quality assessment metric SwinIQA to measure the perceptual quality of compressed images in a learned Swin distance space. It is known that the compression artifacts are usually non-uniformly distributed with diverse distortion types and degrees. To warp the compressed images into the shared representation space while maintaining the complex distortion information, we extract the hierarchical feature representations from each stage of the Swin Transformer. Besides, we utilize cross attention operation to map the extracted feature representations into a learned Swin distance space. Experimental results show that the proposed metric achieves higher consistency with human's perceptual judgment compared with both traditional methods and learning-based methods on CLIC datasets.


title: Zero-point Renormalization of the Band Gap of Semiconductors and Insulators Using the PAW Method

abstract: We evaluate the zero-point renormalization (ZPR) due to electron-phonon interactions of 28 solids using the projector-augmented-wave (PAW) method. The calculations cover diamond, many zincblende semiconductors, rock-salt and wurtzite oxides, as well as silicate and titania. Particular care is taken to include long-range electrostatic interactions via a generalized Fr\"ohlich model, as discussed in Phys. Rev. Lett. 115, 176401 (2015) and Phys. Rev. B 92, 054307 (2015). The data are compared to recent calculations, npj Computational Materials 6, 167 (2020), and generally very good agreement is found. We discuss in detail the evaluation of the electron-phonon matrix elements within the PAW method. We show that two distinct versions can be obtained depending on when the atomic derivatives are taken. If the PAW transformation is applied before taking derivatives with respect to the ionic positions, equations similar to the ones conventionally used in pseudopotential codes are obtained. If the PAW transformation is used after taking the derivatives, the full-potential spirit is largely maintained. We show that both variants yield very similar ZPRs for selected materials when the rigid-ion approximation is employed. In practice, we find however that the pseudo version converges more rapidly with respect to the number of included unoccupied states.


title: Scalar-hairy Lovelock gravity respects zeroth law

abstract: We study the zeroth law for Killing horizon in scalar-hairy Lovelock gravity, and show that the surface gravity of a general Killing horizon in the scalar-hairy Lovelock gravity is constant, provided that the dominant energy condition is obeyed by the matter field.


title: On Designing Data Models for Energy Feature Stores

abstract: The digital transformation of the energy infrastructure enables new, data driven, applications often supported by machine learning models. However, domain specific data transformations, pre-processing and management in modern data driven pipelines is yet to be addressed. In this paper we perform a first time study on generic data models that are able to support designing feature management solutions that are the most important component in developing ML-based energy applications. We first propose a taxonomy for designing data models suitable for energy applications, explain how this model can support the design of features and their subsequent management by specialized feature stores. Using a short-term forecasting dataset, we show the benefits of designing richer data models and engineering the features on the performance of the resulting models. Finally, we benchmark three complementary feature management solutions, including an open-source feature store suitable for time series.


title: Modeling Interconnected Social and Technical Risks in Open Source Software Ecosystems

abstract: Open source software ecosystems consist of thousands of interdependent libraries, which users can combine to great effect. Recent work has pointed out two kinds of risks in these systems: that technical problems like bugs and vulnerabilities can spread through dependency links, and that relatively few developers are responsible for maintaining even the most widely used libraries. However, a more holistic diagnosis of systemic risk in software ecosystem should consider how these social and technical sources of risk interact and amplify one another. Motivated by the observation that the same individuals maintain several libraries within dependency networks, we present a methodological framework to measure risk in software ecosystems as a function of both dependencies and developers. In our models, a library's chance of failure increases as its developers leave and as its upstream dependencies fail. We apply our method to data from the Rust ecosystem, highlighting several systemically important libraries that are overlooked when only considering technical dependencies. We compare potential interventions, seeking better ways to deploy limited developer resources with a view to improving overall ecosystem health and software supply chain resilience.


title: Vector leptoquark $U_3$ and CP violation at T2K, NOvA experiments

abstract: In the current epoch of neutrino physics, many experiments are aiming for precision measurements of oscillation parameters. Thus, various new physics scenarios which alter the neutrino oscillation probabilities in matter deserve careful investigation. In this context, we study the effect of a vector leptoquark which induces non-standard neutrino interactions (NSI) that modify the oscillation probabilities of neutrinos in matter. We show that such interactions provide a relatively large value of NSI parameter $\varepsilon_{e \mu}$. Considering this NSI parameter, we successfully explain the recent discrepancy between the observed $\delta_{CP}$ results of T2K and NOvA.


title: Impact of radial truncation on global 2D hydrodynamic simulations for a Sun-like model

abstract: Stellar convection is a non-local process responsible for the transport of heat and chemical species. It can lead to enhanced mixing through convective overshooting and excitation of internal gravity waves (IGWs) at convective boundaries. The relationship between these processes is still not well understood and requires global hydrodynamic simulations to capture the important large-scale dynamics. The steep stratification in stellar interiors suggests that the radial extent of such simulations can affect the convection dynamics, the IGWs in the stably stratified radiative zone, and the depth of the overshooting layer. We investigate these effects using two-dimensional global simulations performed with the fully compressible stellar hydrodynamics code MUSIC. We compare eight different radial truncations of the same solar-like stellar model evolved over approximately 400 convective turnover times. We find that the location of the inner boundary has an insignificant effect on the convection dynamics, the convective overshooting and the travelling IGWs. We relate this to the background conditions at the lower convective boundary which are unaffected by the truncation, as long as a significantly deep radiative layer is included in the simulation domain. However, we find that extending the outer boundary by only a few percent of the stellar radius significantly increases the velocity and temperature perturbations in the convection zone, the overshooting depth, the power and the spectral slope of the IGWs. The effect is related to the background conditions at the outer boundary, which are determined in essence by the hydrostatic stratification and the given luminosity.


title: Trion gas, electron-hole liquid, and metal-insulator transition in doped heterostructures based on transition metal dichalcogenides

abstract: The effect of doping on the parameters of an electron-hole liquid (EHL) in heterostructures based on transition metal dichalcogenides is studied. The phase diagram of the EHL is constructed. It is shown that for the formation of a high-temperature tightly bound EHL, as well as for the transition from the semiconducting (exciton) state to the semimetallic one (electron-hole plasma/liquid), it is advantageous to dope the energy band with larger number of valleys. The transition from trion gas to electron-hole plasma is investigated using the modified Mott criterion and variational calculation with screened potential. The effect of doping on the metal--insulator transition in the equilibrium case without laser excitation is studied.


title: Nonlinear stability and asymptotic behavior of periodic wave trains in reaction-diffusion systems against $C_{\mathrm{ub}}$-perturbations

abstract: We present a nonlinear stability theory for periodic wave trains in reaction-diffusion systems, which relies on pure $L^\infty$-estimates only. Our analysis shows that localization or periodicity requirements on perturbations, as present in the current literature, can be completely lifted. Inspired by previous works considering localized perturbations, we decompose the semigroup generated by the linearization about the wave train and introduce a spatio-temporal phase modulation to capture the most critical dynamics, which is governed by a viscous Burgers' equation. We then aim to close a nonlinear stability argument by iterative estimates on the corresponding Duhamel formulation, where, hampered by the lack of localization, we must rely on diffusive smoothing to render decay of the semigroup. Yet, this decay is not strong enough to control all terms in the Duhamel formulation. We address this difficulty by applying the Cole-Hopf transform to eliminate the critical Burgers'-type nonlinearities. Ultimately, we establish nonlinear stability of diffusively spectrally stable wave trains against $C_{\mathrm{ub}}$-perturbations. Moreover, we show that the perturbed solution converges to a modulated wave train, whose phase and wavenumber are approximated by solutions to the associated viscous Hamilton-Jacobi and Burgers' equation, respectively.


title: Diffstar: A Fully Parametric Physical Model for Galaxy Assembly History

abstract: We present Diffstar, a smooth parametric model for the in-situ star formation history (SFH) of galaxies. Diffstar is distinct from conventional SFH models that are used to interpret the spectral energy distribution (SED) of an observed galaxy, because our model is parametrized directly in terms of basic features of galaxy formation physics. The Diffstar model assumes that star formation is fueled by the accretion of gas into the dark matter halo of the galaxy, and at the foundation of Diffstar is a parametric model for halo mass assembly, Diffmah. We include parametrized ingredients for the fraction of accreted gas that is eventually transformed into stars, $\epsilon_{\rm ms},$ and for the timescale over which this transformation occurs, $\tau_{\rm cons};$ some galaxies in Diffstar experience a quenching event at time $t_{\rm q},$ and may subsequently experience rejuvenated star formation. We fit the SFHs of galaxies predicted by the IllustrisTNG (TNG) and UniverseMachine (UM) simulations with the Diffstar parameterization, and show that our model is sufficiently flexible to describe the average stellar mass histories of galaxies in both simulations with an accuracy of $\sim0.1$ dex across most of cosmic time. We use Diffstar to compare TNG to UM in common physical terms, finding that: (i) star formation in UM is less efficient and burstier relative to TNG; (ii) galaxies in UM have longer gas consumption timescales, $\tau_{\rm cons}$, relative to TNG; (iii) rejuvenated star formation is ubiquitous in UM, whereas quenched TNG galaxies rarely experience sustained rejuvenation; and (iv) in both simulations, the distributions of $\epsilon_{\rm ms}$, $\tau_{\rm cons}$, and $t_{\rm q}$ share a common characteristic dependence upon halo mass, and present significant correlations with halo assembly history. [Abridged]


title: Detecting and Understanding Harmful Memes: A Survey

abstract: The automatic identification of harmful content online is of major concern for social media platforms, policymakers, and society. Researchers have studied textual, visual, and audio content, but typically in isolation. Yet, harmful content often combines multiple modalities, as in the case of memes, which are of particular interest due to their viral nature. With this in mind, here we offer a comprehensive survey with a focus on harmful memes. Based on a systematic analysis of recent literature, we first propose a new typology of harmful memes, and then we highlight and summarize the relevant state of the art. One interesting finding is that many types of harmful memes are not really studied, e.g., such featuring self-harm and extremism, partly due to the lack of suitable datasets. We further find that existing datasets mostly capture multi-class scenarios, which are not inclusive of the affective spectrum that memes can represent. Another observation is that memes can propagate globally through repackaging in different languages and that they can also be multilingual, blending different cultures. We conclude by highlighting several challenges related to multimodal semiotics, technological constraints, and non-trivial social engagement, and we present several open-ended aspects such as delineating online harm and empirically examining related frameworks and assistive interventions, which we believe will motivate and drive future research.


title: Long Document Re-ranking with Modular Re-ranker

abstract: Long document re-ranking has been a challenging problem for neural re-rankers based on deep language models like BERT. Early work breaks the documents into short passage-like chunks. These chunks are independently mapped to scalar scores or latent vectors, which are then pooled into a final relevance score. These encode-and-pool methods however inevitably introduce an information bottleneck: the low dimension representations. In this paper, we propose instead to model full query-to-document interaction, leveraging the attention operation and modular Transformer re-ranker framework. First, document chunks are encoded independently with an encoder module. An interaction module then encodes the query and performs joint attention from the query to all document chunk representations. We demonstrate that the model can use this new degree of freedom to aggregate important information from the entire document. Our experiments show that this design produces effective re-ranking on two classical IR collections Robust04 and ClueWeb09, and a large-scale supervised collection MS-MARCO document ranking.


title: Bandwidth-Scalable Fully Mask-Based Deep FCRN Acoustic Echo Cancellation and Postfiltering

abstract: Although today's speech communication systems support various bandwidths from narrowband to super-wideband and beyond, state-of-the art DNN methods for acoustic echo cancellation (AEC) are lacking modularity and bandwidth scalability. Our proposed DNN model builds upon a fully convolutional recurrent network (FCRN) and introduces scalability over various bandwidths up to a fullband (FB) system (48 kHz sampling rate). This modular approach allows joint wideband (WB) pre-training of mask-based AEC and postfilter stages with dedicated losses, followed by a separate training of them on FB data. A third lightweight blind bandwidth extension stage is separately trained on FB data, flexibly allowing to extend the WB postfilter output towards higher bandwidths until reaching FB. Thereby, higher frequency noise and echo are reliably suppressed. On the ICASSP 2022 Acoustic Echo Cancellation Challenge blind test set we report a competitive performance, showing robustness even under highly delayed echo and dynamic echo path changes.


title: Interstellar planetesimals

abstract: During the formation of our solar system, a large number of planetesimals were ejected into interstellar space by gravitational encounters with the planets. Debris disks observations and numerical simulations indicate that many other planetary systems, now known to be quite common, would have undergone a similar dynamical clearing process. It is therefore expected that the galaxy should be teeming with expelled planetesimals, largely unaltered since their ejection. This is why astronomers were perplexed that none had been detected passing through the solar system. Then, in 2017, the discovery of1I/'Oumuamua transformed the situation from puzzlement to bewilderment. Its brief visit and limited observations left important questions about its nature and origin unanswered and raised the possibility that 1I/'Oumuamua could be a never-seen-before intermediate product of planet formation. If so, this could open a new observational window to study the primordial building blocks of planets, setting unprecedented constraints on planet formation models. Two years later 2I/Borisov was discovered, with an unquestionable cometary composition, confirming that a population of icy interstellar planetesimals exists. These objects have remained largely unchanged since their ejection, like time capsules of their planetary system most distant past. Interstellar planetesimals could potentially be trapped into star and planet formation environments, acting as seeds for planet formation, helping overcome the meter-size barrier that challenges the growth of cm-sized pebbles into km-sized objects. Interstellar planetesimals play a pivotal role in our understanding of planetary system formation and evolution and point to the possibility that one day, we will be able to hold a fragment from another world in our hand.