title: A Distributed Machine Learning-Based Approach for IRS-Enhanced Cell-Free MIMO Networks

abstract: In cell-free multiple input multiple output (MIMO) networks, multiple base stations (BSs) collaborate to achieve high spectral efficiency. Nevertheless, high penetration loss due to large blockages in harsh propagation environments is often an issue that severely degrades communication performance. Considering that intelligent reflecting surface (IRS) is capable of constructing digitally controllable reflection links in a low-cost manner, we investigate an IRS-enhanced downlink cell-free MIMO network in this paper. We aim to maximize the sum rate of all the users by jointly optimizing the transmit beamforming at the BSs and the reflection coefficients at the IRS. To address the optimization problem, we propose a fully distributed machine learning algorithm. Different from the conventional iterative optimization algorithms that require a central processing at the central processing unit (CPU) and large amount of channel state information and signaling exchange between the BSs and the CPU, in the proposed algorithm, each BS can locally design its beamforming vectors. Meanwhile, the IRS reflection coefficients are determined by one of the BSs. Simulation results show that the deployment of IRS can significantly boost the sum user rate and that the proposed algorithm can achieve a high sum user rate with a low computational complexity.


title: Stable Contact Guaranteeing Motion/Force Control for an Aerial Manipulator on an Arbitrarily Tilted Surface

abstract: This study aims to design a motion/force controller for an aerial manipulator which guarantees the tracking of time-varying motion/force trajectories as well as the stability during the transition between free and contact motions. To this end, we model the force exerted on the end-effector as the Kelvin-Voigt linear model and estimate its parameters by recursive least-squares estimator. Then, the gains of the disturbance-observer (DOB)-based motion/force controller are calculated based on the stability conditions considering both the model uncertainties in the dynamic equation and switching between the free and contact motions. To validate the proposed controller, we conducted the time-varying motion/force tracking experiments with different approach speeds and orientations of the surface. The results show that our controller enables the aerial manipulator to track the time-varying motion/force trajectories.


title: Supernova model discrimination with a kilotonne-scale Gd-H$_{2}$O Cherenkov detector

abstract: The supernova model discrimination capabilities of the WATCHMAN detector concept are explored. This cylindrical kilotonne-scale water Cherenkov detector design has been developed to detect reactor antineutrinos through inverse $\beta$-decay for non-proliferation applications but also has the ability to observe antineutrino bursts of core-collapse supernovae within our galaxy. Detector configurations with sizes ranging from 16 m to 22 m tank diameter and 10% to 20% PMT coverage are used to compare the expected observable antineutrino spectra based on the Nakazato, Vartanyan and Warren supernova models. These spectra are then compared to each other with a fixed event count of 100 observed inverse $\beta$-decay events and a benchmark supernova at 10 kpc distance from Earth. By comparing the expected spectra, each detector configuration's ability to distinguish is evaluated. This analysis then demonstrates that the detector design is capable of meaningful event discrimination (90+% accuracy) with 100 observed supernova antineutrino events in most configurations. Furthermore, a larger tank configuration can maintain this performance at 10 kpc distance and above, indicating that overall target mass is the main factor for such a detector's discrimination capabilities. Finally, it is estimated that the detector design can provide early warning capability for supernova bursts for the entire Milky Way in all configurations.

categories: astro-ph.IM astro-ph.HE hep-ex physics.ins-det


title: Equilibria when the temperature goes to zero

abstract: We present methods to construct flows with varying sets of KMS infinity states on a given simple unital AF-algebra. It follows, for example, that for any pair D and E of non-empty compact metric spaces there is a flow on the CAR algebra whose set of KMS infinity states is homeomorphic to D while the set of KMS infinity states for the inverted flow is homeomorphic to E. Remarkably the flows that realize all such pairs D and E can be chosen to have isomorphic KMS bundles.


title: Error probability amplification in cellular translation

abstract: During cellular translation, incorporation errors occur. It is the addition of amino acid residues not corresponding to the mRNA code. With an increase in the number of residues in the synthesized molecule, the probability of failure in at least one link increases rapidly, which leads to improper folding and loss of functionality of the entire molecule. A simple mathematical model is presented, which shows that the amplification factor equals approximately the number of links in the synthesised sequence. We assume that the enzymatic processes of recognition of amino acids and their addition to the synthesized molecule include the formation of intermediate pairs of radicals with spin-correlated electrons. If a weak external magnetic field slightly changes the rate of quantum singlet-triplet conversion, then a significant change in the probability of occurrence of incorrect sequences of ribosomal translation occurs.


title: Stieltjes analytical functions and higher order linear differential equations

abstract: In this work we develop a theory of Stieltjes-analytic functions. We first define the Stieltjes monomials and polynomials and we study them exhaustively. Then, we introduce the Stieltjes analytic functions locally, as an infinite series of these Stieltjes monomials and we study their properties in depth and how they relate to higher order Stieltjes differentiation. We define the exponential series and prove that it solves the first order linear problem. Finally, we apply the theory to solve higher order linear homogeneous Stieltjes differential equations with constant coefficients.


title: Algorithmic Writing Assistance on Jobseekers' Resumes Increases Hires

abstract: There is a strong association between the quality of the writing in a resume for new labor market entrants and whether those entrants are ultimately hired. We show that this relationship is, at least partially, causal: a field experiment in an online labor market was conducted with nearly half a million jobseekers in which a treated group received algorithmic writing assistance. Treated jobseekers experienced an 8% increase in the probability of getting hired. Contrary to concerns that the assistance is taking away a valuable signal, we find no evidence that employers were less satisfied. We present a model in which better writing is not a signal of ability but helps employers ascertain ability, which rationalizes our findings.


title: Localization on $AdS_3 \times S^2$ I: the 4d/5d connection in off-shell Euclidean supergravity

abstract: We begin to develop the formalism of localization for the functional integral of supergravity on $AdS_3 \times S^2$. We show how the condition of supersymmetry in the Euclidean $\mathbb{H}^3/\mathbb{Z} \times S^2$ geometry naturally leads to a twist of the S$^2$ around the time direction of $AdS_3$. The twist gives us a five-dimensional Euclidean supergravity background dual to the elliptic genus of $(0,4)$ SCFT$_2$ at the semiclassical level. On this background we set up the off-shell BPS equations for one of the Killing spinors, such that the functional integral of five-dimensional Euclidean supergravity on $\mathbb{H}^3/\mathbb{Z} \times S^2$ localizes to its space of solutions. We obtain a class of solutions to these equations by lifting known off-shell BPS solutions of 4-dimensional supergravity on $AdS_2 \times S^2$. In order to do this consistently, we construct and use a Euclidean version of the off-shell 4d/5d lift of arxiv:1112.5371, which could be of independent interest.


title: On backpropagating Hessians through ODEs

abstract: We discuss the problem of numerically backpropagating Hessians through ordinary differential equations (ODEs) in various contexts and elucidate how different approaches may be favourable in specific situations. We discuss both theoretical and pragmatic aspects such as, respectively, bounds on computational effort and typical impact of framework overhead. Focusing on the approach of hand-implemented ODE-backpropagation, we develop the computation for the Hessian of orbit-nonclosure for a mechanical system. We also clarify the mathematical framework for extending the backward-ODE-evolution of the costate-equation to Hessians, in its most generic form. Some calculations, such as that of the Hessian for orbit non-closure, are performed in a language, defined in terms of a formal grammar, that we introduce to facilitate the tracking of intermediate quantities. As pedagogical examples, we discuss the Hessian of orbit-nonclosure for the higher dimensional harmonic oscillator and conceptually related problems in Newtonian gravitational theory. In particular, applying our approach to the figure-8 three-body orbit, we readily rediscover a distorted-figure-8 solution originally described by Sim\'o. Possible applications may include: improvements to training of `neural ODE'- type deep learning with second-order methods, numerical analysis of quantum corrections around classical paths, and, more broadly, studying options for adjusting an ODE's initial configuration such that the impact on some given objective function is small.


title: Shapley Values with Uncertain Value Functions

abstract: We propose a novel definition of Shapley values with uncertain value functions based on first principles using probability theory. Such uncertain value functions can arise in the context of explainable machine learning as a result of non-deterministic algorithms. We show that random effects can in fact be absorbed into a Shapley value with a noiseless but shifted value function. Hence, Shapley values with uncertain value functions can be used in analogy to regular Shapley values. However, their reliable evaluation typically requires more computational effort.


title: Relative Entropy-Based Constant-Envelope Beamforming for Target Detection in Large-Scale MIMO Radar With Low-Resoultion ADCs

abstract: Hybrid digital/analog architecture and low-resolution analog-to-digital/digital-to-analog converters (ADCs /DACs) are two low-cost implementations for large-scale millimeter wave (mmWave) systems. In this paper, we investigate the problem of constant-envelope transmit beamforming for large-scale multiple-input multiple-output (MIMO) radar system, where the transmit array adopts a hybrid digital/analog architecture with a small number of RF chains and the receive array adopts a fully digital architecture with low-resolution ADCs. We derive the relative entropy between the probability density functions associated with the two test hypotheses under low-resolution ADCs. We formulate our optimization problem by maximizing the relative entropy, subject to the constant envelope and orthogonality constraints. To suboptimally solve the resultant problem, a two-stage framework is developed. In the first stage, we optimize the transmit power at the directions of the target and clutter. In the second stage, an efficient iterative algorithm based on majorization-minimization is presented to obtain the constant-envelope beamformer according to the attained transmit power. Specifically, we apply a quadratic function as the minorizer, leading to a low-complexity solution at each iteration. In addition, to further facilitate low-cost implementation of the constant-envelope beamformer, we consider the problem of one-bit beamforming design and propose an efficient iterative method based on the Nesterov-like gradient method to solve it. Numerical simulations are provided to demonstrate the effectiveness of the proposed schemes.


title: Anomalous diffusion and long-range memory in the scaled voter model

abstract: We analyze the scaled voter model, which is a generalization of the noisy voter model with time-dependent herding behavior. We consider the case when the intensity of herding behavior grows as a power-law function of time. In this case, the scaled voter model reduces to the usual noisy voter model, but it is driven by the scaled Brownian motion. We derive analytical expressions for the time evolution of the first and second moments of the scaled voter model. In addition, we have derived an analytical approximation of the first passage time distribution. By numerical simulation, we confirm our analytical results as well as show that the model exhibits long-range memory indicators despite being a Markov model. The proposed model has steady-state distribution consistent with the bounded fractional Brownian motion, thus we expect it to be a good substitute model for the bounded fractional Brownian motion.


title: Enhanced Surface Second Harmonic Generation in Nanolaminates

abstract: Second-harmonic generation (SHG) is a second-order nonlinear optical process that is not allowed in media with inversion sym-metry. However, due to the broken symmetry at the surface, surface SHG still occurs, but is generally small. We experimentally investi-gate the surface SHG in periodic stacks of alternating, subwave-length dielectric layers, which have a large number of surfaces, thus enhancing surface SHG considerably. To this end, multilayer stacks of SiO2/TiO2 were grown by Plasma Enhanced Atomic Layer Deposition (PEALD) on fused silica substrates. With this technique individual layers of a thickness of less than 2 nm can be fabricated. We experimentally show that under large angles of incidence (> 20 degrees) there is substantial SHG, well beyond the level, which can be observed from simple interfaces. We perform this experiment for samples with different periods and thickness of SiO2/TiO2 and our results are in agreement with theoretical calculations.


title: Weighted EF1 Allocations for Indivisible Chores

abstract: We study how to fairly allocate a set of indivisible chores to a group of agents, where each agent $i$ has a non-negative weight $w_i$ that represents its obligation for undertaking the chores. We consider the fairness notion of weighted envy-freeness up to one item (WEF1) and propose an efficient picking sequence algorithm for computing WEF1 allocations. Our analysis is based on a natural and powerful continuous interpretation for the picking sequence algorithms in the weighted setting, which might be of independent interest. Using this interpretation, we establish the necessary and sufficient conditions under which picking sequence algorithms can guarantee other fairness notions in the weighted setting. We also study the existence of fair and efficient allocations and propose efficient algorithms for the computation of WEF1 and PO allocations for the bi-valued instances. Our result generalizes that of Garg et al. (AAAI 2022) and Ebadian et al. (AAMAS 2022) to the weighted setting. Our work also studies the price of fairness for WEF1, and the implications of WEF1 to other fairness notions.


title: Legal Obligation and Ethical Best Practice: Towards Meaningful Verbal Consent for Voice Assistants

abstract: To improve user experience, Alexa now allows users to consent to data sharing via voice rather than directing them to the companion smartphone app. While verbal consent mechanisms for voice assistants (VAs) can increase usability, they can also undermine principles core to informed consent. We conducted a Delphi study with experts from academia, industry, and the public sector on requirements for verbal consent in VAs. Candidate requirements were drawn from the literature, regulations, and research ethics guidelines that participants rated based on their relevance to the consent process, actionability by platforms, and usability by end-users, discussing their reasoning as the study progressed. We highlight key areas of (dis)agreement between experts, deriving recommendations for regulators, skill developers, and VA platforms towards crafting meaningful verbal consent mechanisms. Key themes include approaching permissions according to the user's ability to opt-out, minimising consent decisions, and ensuring platforms follow established consent principles.


title: RNAS-CL: Robust Neural Architecture Search by Cross-Layer Knowledge Distillation

abstract: Deep Neural Networks are vulnerable to adversarial attacks. Neural Architecture Search (NAS), one of the driving tools of deep neural networks, demonstrates superior performance in prediction accuracy in various machine learning applications. However, it is unclear how it performs against adversarial attacks. Given the presence of a robust teacher, it would be interesting to investigate if NAS would produce robust neural architecture by inheriting robustness from the teacher. In this paper, we propose Robust Neural Architecture Search by Cross-Layer Knowledge Distillation (RNAS-CL), a novel NAS algorithm that improves the robustness of NAS by learning from a robust teacher through cross-layer knowledge distillation. Unlike previous knowledge distillation methods that encourage close student/teacher output only in the last layer, RNAS-CL automatically searches for the best teacher layer to supervise each student layer. Experimental result evidences the effectiveness of RNAS-CL and shows that RNAS-CL produces small and robust neural architecture.


title: Some generalized Jordan maps on triangular rings force additivity

abstract: In this paper, we show that a map $\delta$ over a triangular ring $\mathcal{T}$ satisfying $\delta(ab+ba)=\delta(a)b+a \tau(b)+\delta(b)a+b\tau(a)$, for all $a,b\in \mathcal{T}$ and for some maps $\tau$ over $\mathcal{T}$ satisfying $\tau(ab+ba)=\tau(a)b+a \tau(b)+\tau(b)a+b\tau(a)$, is additive. Also, it is shown that a map $T$ on $\mathcal{T}$ satisfying $T(ab)=T(a)b=aT(b)$, for all $a,b\in \mathcal{T}$, is additive. Further, we establish that if a map $D$ over $\mathcal{T}$ satisfies $(m+n)D(ab)=2mD(a)b+2naD(b)$, for all $a,b\in \mathcal{T}$ and integers $m,n\geq 1$, then $D$ is additive.


title: Finding analytical approximations for discrete, stochastic, individual-based models of ecology

abstract: Discrete time, spatially extended models play an important role in ecology, modelling population dynamics of species ranging from micro-organisms to birds. An important question is how 'bottom up', individual-based models can be approximated by 'top down' models of dynamics. Here, we study a class of spatially explicit individual-based models with contest competition: where species compete for space in local cells and then disperse to nearby cells. We start by describing simulations of the model, which exhibit large-scale discrete oscillations and characterise these oscillations by measuring spatial correlations. We then develop two new approximate descriptions of the resulting spatial population dynamics. The first is based on local interactions of the individuals and allows us to give a difference equation approximation of the system over small dispersal distances. The second approximates the long-range interactions of the individual-based model. These approximations capture demographic stochasticity from the individual-based model and show that dispersal stabilizes population dynamics. We calculate extinction probability for the individual-based model and show convergence between the local approximation and the non-spatial global approximation of the individual-based model as dispersal distance and population size simultaneously tend to infinity. Our results provide new approximate analytical descriptions of a complex bottom-up model and deepen understanding of spatial population dynamics.


title: Celebrating the birth of De Donder's chemical affinity (1922-2022): from the uncompensated heat to his Ave Maria

abstract: Th\'eophile De Donder, a Belgian mathematician born in Brussels, elaborated two important ideas that created a bridge between thermodynamics and chemical kinetics. He invented the concept of the degree of advancement of a reaction, and, in 1922, he provided a precise mathematical form to the already known chemical affinity by translating Clausius's uncompensated heat into formal language. These concepts merge in an important inequality that was the starting point for the formalization of out-of-equilibrium thermodynamics. The present article aims to reconstruct how De Donder elaborated his ideas and how he developed them by exploring his teaching activity and its connection with his scientific production. Furthermore, it emphasizes the role played by the discussions with his disciples who became his collaborators. The paper analyzes De Donder's efforts in participating in the second Solvay Chemistry Council in 1925 to call the attention of the international community of chemists. Even if his mathematical approach did not receive much attention at the time, his work on chemical affinity was the basis for the birth of the so-called Brussels school of thermodynamics.


title: Search for top squarks in the four-body decay mode with single lepton final states in proton-proton collisions at $\sqrt{s}$ = 13 TeV

abstract: A search for the pair production of the lightest supersymmetric partner of the top quark, the top squark ($\tilde{\mathrm{t}}_1$), is presented. The search targets the four-body decay of the $\tilde{\mathrm{t}}_1$, which is preferred when the mass difference between the top squark and the lightest supersymmetric particle is smaller than the mass of the W boson. This decay mode consists of a bottom quark, two other fermions, and the lightest neutralino ($\tilde{\chi}^0_1$), which is assumed to be the lightest supersymmetric particle. The data correspond to an integrated luminosity of 138 fb$^{-1}$ of proton-proton collisions at a center-of-mass energy of 13 TeV collected by the CMS experiment at the CERN LHC. Events are selected using the presence of a high-momentum jet, an electron or muon with low transverse momentum, and a significant missing transverse momentum. The signal is selected based on a multivariate approach that is optimized for the difference between $m(\tilde{\mathrm{t}}_1)$ and $m(\tilde{\chi}^0_1)$. The contribution from leading background processes is estimated from data. No significant excess is observed above the expectation from standard model processes. The results of this search exclude top squarks at 95% confidence level for masses up to 480 and 700 GeV for $m(\tilde{\mathrm{t}}_1) - m(\tilde{\chi}^0_1$) = 10 and 80 GeV, respectively.


title: Loosely Bound Few-Body States in a Spin-1 Gas with Near-Degenerate Continua

abstract: A distinguishing feature of ultracold collisions of bosonic lithium atoms is the presence of two near-degenerate two-body continua. The influence of such a near-degeneracy on the few-body physics in the vicinity of a narrow Feshbach resonance is investigated within the framework of a minimal model with two atomic continua and one closed molecular channel. The model allows analysis of the spin composition of loosely bound dimers and trimers. In the two-body sector the well-established coupled-channels calculations phenomenology of lithium is qualitatively reproduced, and its particularities are emphasized and clarified. In the three-body sector we find that the Efimov trimer energy levels follow a different functional form as compared to a single continuum scenario while the thresholds remain untouched. This three-channel model with two atomic continua complements our earlier developed three-channel model with two molecular channels [Y. Yudkin and L. Khaykovich, Phys. Rev. A 103, 063303 (2021)] and suggests that the experimentally observed exotic behavior of the first excited Efimov energy level [Y. Yudkin, R. Elbaz and L. Khaykovich, arXiv:2004.02723] is most probably caused by the short-range details of the interaction potential.


title: On the shape of solutions to elliptic equations in possibly non convex planar domains

abstract: In this note we prove uniqueness of the critical point for positive solutions of elliptic problems in bounded planar domains: we first examine the Poisson problem - Delta u = f(x,y) finding a geometric condition involving the curvature of the boundary and the normal derivative of f on the boundary to ensure uniqueness of the critical point. In the second part we consider stable solutions of the nonlinear problem -Delta u = f(u) in perturbation of convex domains.


title: Heronian elliptic curves and the size of the $2$-Selmer group

abstract: A generalization of the congruent number problem is to find positive integers $n$ that appear as the areas of Heron triangles. Selmer group of a congruent number elliptic curve has been studied quite extensively. Here, we look into the $2$-Selmer group structure for Heronian elliptic curves associated with Heron triangles of area $n$ and one of the angle $\theta$ such that $\tan \frac{\theta}{2} = n^{-1}$ and $n^{2}+1=2q$ for some prime $q$.


title: A note on the center of the super Yangian $Y_{M|N}(\mathfrak{s})$

abstract: Let $Y_{M|N}(\mathfrak{s})$ be the super Yangian associated with an arbitrary fixed $0^M1^N$-sequence $\mathfrak{s}$. In the present paper, we give a new formula for the quantum Berezinian by using the parabolic generators, which generalizes the usual expression in terms of RTT generators or Drinfeld generators.


title: From Stochastic Hamiltonian Systems to Stochastic Compressible Euler Equation

abstract: We study a stochastic Hamiltonian system of $N$ particles with many particles interacting through a potential whose range is large in comparison with the typical distance between neighbouring particles. It is shown that the empirical measures associated to the position and velocity of the system converge to the solutions of stochastic compressible Euler equations in the limit as the particle number tends to infinity. Moreover, we quantify the distance between particles and the limit in suitable Sobolev norm.


title: Geometric path augmentation for inference of sparsely observed stochastic nonlinear systems

abstract: Stochastic evolution equations describing the dynamics of systems under the influence of both deterministic and stochastic forces are prevalent in all fields of science. Yet, identifying these systems from sparse-in-time observations remains still a challenging endeavour. Existing approaches focus either on the temporal structure of the observations by relying on conditional expectations, discarding thereby information ingrained in the geometry of the system's invariant density; or employ geometric approximations of the invariant density, which are nevertheless restricted to systems with conservative forces. Here we propose a method that reconciles these two paradigms. We introduce a new data-driven path augmentation scheme that takes the local observation geometry into account. By employing non-parametric inference on the augmented paths, we can efficiently identify the deterministic driving forces of the underlying system for systems observed at low sampling rates.

categories: physics.data-an cs.LG math-ph math.DS math.MP stat.ME


title: An efficient block rational Krylov solver for Sylvester equations with adaptive pole selection

abstract: We present an algorithm for the solution of Sylvester equations with right-hand side of low rank. The method is based on projection onto a block rational Krylov subspace, with two key contributions with respect to the state-of-the-art. First, we show how to maintain the last pole equal to infinity throughout the iteration, by means of pole reodering. This allows for a cheap evaluation of the true residual at every step. Second, we extend the convergence analysis in [Beckermann B., An error analysis for rational Galerkin projection applied to the Sylvester equation, SINUM, 2011] to the block case. This extension allows to link the convergence with the problem of minimizing the norm of a small rational matrix over the spectra or field-of-values of the involved matrices. This is in contrast with the non-block case, where the minimum problem is scalar, instead of matrix-valued. Replacing the norm of the objective function with an easier to evaluate function yields several adaptive pole selection strategies, providing a theoretical analysis for known heuristics, as well as effective novel techniques.


title: Author as Character and Narrator: Deconstructing Personal Narratives from the r/AmITheAsshole Reddit Community

abstract: In the r/AmITheAsshole subreddit, people anonymously share first person narratives that contain some moral dilemma or conflict and ask the community to judge who is at fault (i.e., who is "the asshole"). In general, first person narratives are a unique storytelling domain where the author is the narrator (the person telling the story) but can also be a character (the person living the story) and, thus, the author has two distinct voices presented in the story. In this study, we identify linguistic and narrative features associated with the author as the character or as a narrator. We use these features to answer the following questions: (1) what makes an asshole character and (2) what makes an asshole narrator? We extract both Author-as-Character features (e.g., demographics, narrative event chain, and emotional arc) and Author-as-Narrator features (i.e., the style and emotion of the story as a whole) in order to identify which aspects of the narrative are correlated with the final moral judgment. Our work shows that "assholes" as Characters frame themselves as lacking agency with a more positive personal arc, while "assholes" as Narrators will tell emotional and opinionated stories.


title: Link Floer Homology and a Hofer Pseudometric on Braids

abstract: Following an idea of Fr\'ed\'eric le Roux, we define in this paper a family of Hofer-type pseudonorms on braid groups, computing the minimal energy of a Hamiltonian diffeomorphism which fixes a Lagrangian configuration of circles on the unit disc and realises that braid type. We prove that in the case of braids with two strands we have in fact a norm, and we give lower estimates for braids with more strands. The main tool is Link Floer Homology, recently defined by D. Cristofaro-Gardiner, V. Humili\`ere, C.-Y. Mak, S. Seyfaddini and I. Smith, which we use to construct a family of quasimorphisms on the group of compactly supported Hamiltonian diffeomorphisms which is sensitive to the linking number of diffeomorphisms fixing Lagrangian links.


title: Integer eigenvalues of the $n$-Queens graph

abstract: The $n$-Queens graph, $\mathcal{Q}(n)$, is the graph obtained from a $n\times n$ chessboard where each of its $n^2$ squares is a vertex and two vertices are adjacent if and only if they are in the same row, column or diagonal. In a previous work the authors have shown that, for $n\ge4$, the least eigenvalue of $\mathcal{Q}(n)$ is $-4$ and its multiplicity is $(n-3)^2$. In this paper we prove that $n-4$ is also an eigenvalue of $\mathcal{Q}(n)$ and its multiplicity is at least $\frac{n+1}{2}$ or $\frac{n-2}{2}$ when $n$ is odd or even, respectively. Furthermore, when $n$ is odd, it is proved that $-3,-2\ldots,\frac{n-11}{2}$ and $\frac{n-5}{2},\ldots,n-5$ are additional integer eigenvalues of $\mathcal{Q}(n)$ and a family of eigenvectors associated with them is presented. Finally, conjectures about the multiplicity of the aforementioned eigenvalues and about the non-existence of any other integer eigenvalue are stated.


title: SHITARA: Sending Haptic Induced Touchable Alarm by Ring-shaped Air vortex

abstract: Social interaction begins with the other person's attention, but it is difficult for a d/Deaf or hard-of-hearing (DHH) person to notice the initial conversation cues. Wearable or visual devices have been proposed previously. However, these devices are cumbersome to wear or must stay within the DHH person's vision. In this study, we have proposed SHITARA, a novel accessibility method with air vortex rings that provides a non-contact haptic cue for a DHH person. We have developed a proof-of-concept device and determined the air vortex ring's accuracy, noticeability and comfortability when it hits a DHH's hair. Though strength, accuracy, and noticeability of air vortex rings decrease as the distance between the air vortex ring generator and the user increases, we have demonstrated that the air vortex ring is noticeable up to 2.5 meters away. Moreover, the optimum strength is found for each distance from a DHH.


title: Channel Reuse for Backhaul in UAV Mobile Networks with User QoS Guarantee

abstract: In mobile networks, unmanned aerial vehicles (UAVs) acting as flying base stations (FlyBSs) can effectively improve performance. Nevertheless, such potential improvement requires an efficient positioning of the FlyBS. In this paper, we study the problem of sum downlink capacity maximization in FlyBS-assisted networks with mobile users and with a consideration of wireless backhaul with channel reuse while a minimum required capacity to every user is guaranteed. The problem is formulated under constraints on the FlyBS's flying speed, propulsion power consumption, and transmission power for both of flying and ground base stations. None of the existing solutions maximizing the sum capacity can be applied due to the combination of these practical constraints. This paper pioneers in an inclusion of all these constraints together with backhaul to derive the optimal 3D positions of the FlyBS and to optimize the transmission power allocation for the channels at both backhaul and access links as the users move over time. The proposed solution is geometrical based, and it shows via simulations a significant increase in the sum capacity (up by 19%-47%) compared with baseline schemes where one or more of the aspects of backhaul communication, transmission power allocation, and FlyBS's positioning are not taken into account.


title: Predicting the Channel Access of Bluetooth Low Energy

abstract: Bluetooth Low Energy (BLE) is one of the key enablers for low-power and low-cost applications in consumer electronics and the Internet of Things. The latest features such as audio and direction finding will introduce more and more devices that rely on BLE for communication. However, like many other wireless standards, BLE relies on the unlicensed 2.4 GHz frequency band where the spectrum is already very crowded and a channel access without collisions with other devices is difficult to guarantee. For applications with high reliability requirements, it will be beneficial to actively consider channel access from other devices or standards. In this work, we present an approach to estimate the connection parameters of multiple BLE connections outside our control and knowledge by passively listening to the channel. With this, we are able to predict future channel access of these BLE connections that can be used by other wireless networks to avoid collisions. We show the applicability of our algorithm with measurements from which we are able to identify unknown BLE connections, reconstruct their specific connection parameters, and predict their future channel access.


title: AtMan: Understanding Transformer Predictions Through Memory Efficient Attention Manipulation

abstract: Generative transformer models have become increasingly complex, with large numbers of parameters and the ability to process multiple input modalities. Current methods for explaining their predictions are resource-intensive. Most crucially, they require prohibitively large amounts of extra memory, since they rely on backpropagation which allocates almost twice as much GPU memory as the forward pass. This makes it difficult, if not impossible, to use them in production. We present AtMan that provides explanations of generative transformer models at almost no extra cost. Specifically, AtMan is a modality-agnostic perturbation method that manipulates the attention mechanisms of transformers to produce relevance maps for the input with respect to the output prediction. Instead of using backpropagation, AtMan applies a parallelizable token-based search method based on cosine similarity neighborhood in the embedding space. Our exhaustive experiments on text and image-text benchmarks demonstrate that AtMan outperforms current state-of-the-art gradient-based methods on several metrics while being computationally efficient. As such, AtMan is suitable for use in large model inference deployments.


title: Polarimetry of Hydrogen-Poor Superluminous Supernovae

abstract: We present linear polarimetry for seven hydrogen-poor superluminous supernovae (SLSNe-I). For SN 2017gci, for which we present two epochs of spectropolarimetry at +3 d and +29 d post-peak in rest frame, accompanied by four epochs of imaging polarimetry up to +108 d. The spectropolarimetry at +3 d shows increasing polarisation degree P towards the redder wavelengths and exhibits signs of axial symmetry, but at +29 d P=0 throughout the spectrum implying that the photosphere of SN 2017gci evolved from a slightly aspherical configuration to a more spherical one in the first month post-peak. However, an increase of P to 0.5% at +55 d accompanied by a different orientation of the axial symmetry compared to +3 d implies the presence of additional sources of polarisation at this phase. The increase in polarisation is possibly caused by interaction with circumstellar matter as already suggested by a knee in the light curve and a possible detection of broad Ha emission. We also analysed the sample of all 16 SLSNe-I with polarimetry to date. The data taken during the early spectroscopic phase show consistently low P indicating spherical photospheres. No clear relation between the polarimetry and spectral phase was seen when the spectra resemble Type Ic SNe during the photospheric and nebular phases. The light curve decline rate also shows no clear relation with the polarisation properties. While only slow-evolving SLSNe-I have shown non-zero P, the fast-evolving ones have not been observed at sufficiently late times to conclude that none of them exhibit changing P. However, the four SLSNe-I with increasing polarisation degree also have irregular light curve declines. For up to half of them, the photometric, spectroscopic and polarimetric properties are affected by CSM interaction. As such CSM interaction clearly plays an important role in understanding the polarimetric evolution of SLSNe-I.


title: The Existence and Dimension of the Attractor for a 3D Flow of a Non-Newtonian Fluid subject to Dynamic Boundary Conditions

abstract: We consider non-Newtonian incompressible 3D fluid of Ladyzhenskaya type, in the setting of the dynamic boundary condition. Assuming sufficient growth rate of the stress tensor with respect to the velocity gradient, we establish explicit dimension estimate of the global attractor in terms of the physical parameters of the problem.


title: Soft Thresholding for Visual Image Enhancement

abstract: Thresholding converts a greyscale image into a binary image, and is thus often a necessary segmentation step in image processing. For a human viewer however, thresholding usually has a negative impact on the legibility of document images. This report describes a simple method for "smearing out" the threshold and transforming the greyscale image into a different greyscale image. The method is similar to fuzzy thresholding, but is discussed here in the simpler context of greyscale transformations and, unlike fuzzy thresholding, it is independent from the method for finding the threshold. A simple formula is presented for automatically determining the width of the threshold spread. The method can be used, e.g., for enhancing images for the presentation in online facsimile repositories.


title: Enhancing Deep Learning with Scenario-Based Override Rules: a Case Study

abstract: Deep neural networks (DNNs) have become a crucial instrument in the software development toolkit, due to their ability to efficiently solve complex problems. Nevertheless, DNNs are highly opaque, and can behave in an unexpected manner when they encounter unfamiliar input. One promising approach for addressing this challenge is by extending DNN-based systems with hand-crafted override rules, which override the DNN's output when certain conditions are met. Here, we advocate crafting such override rules using the well-studied scenario-based modeling paradigm, which produces rules that are simple, extensible, and powerful enough to ensure the safety of the DNN, while also rendering the system more translucent. We report on two extensive case studies, which demonstrate the feasibility of the approach; and through them, propose an extension to scenario-based modeling, which facilitates its integration with DNN components. We regard this work as a step towards creating safer and more reliable DNN-based systems and models.


title: Language Embeddings Sometimes Contain Typological Generalizations

abstract: To what extent can neural network models learn generalizations about language structure, and how do we find out what they have learned? We explore these questions by training neural models for a range of natural language processing tasks on a massively multilingual dataset of Bible translations in 1295 languages. The learned language representations are then compared to existing typological databases as well as to a novel set of quantitative syntactic and morphological features obtained through annotation projection. We conclude that some generalizations are surprisingly close to traditional features from linguistic typology, but that most of our models, as well as those of previous work, do not appear to have made linguistically meaningful generalizations. Careful attention to details in the evaluation turns out to be essential to avoid false positives. Furthermore, to encourage continued work in this field, we release several resources covering most or all of the languages in our data: (i) multiple sets of language representations, (ii) multilingual word embeddings, (iii) projected and predicted syntactic and morphological features, (iv) software to provide linguistically sound evaluations of language representations.


title: Resolving competition of charge-density wave and superconducting phases using the MPS+MF algorithm

abstract: Materials with strong electronic correlations may exhibit a superconducting (SC) phase when tuning some parameters, but they almost always also have multiple other phases, typically insulating ones, that are in close competition with SC. It is highly challenging to resolve this competition with quantitative numerics for the group of quasi-two-dimensional materials such as the cuprates. This is the case even for the simplified minimal models of these materials, the doped 2D Hubbard model with repulsive interactions, where clusters of sufficient size to determine the phase in the thermodynamic limit can be hard-to-impossible to treat in practice. The present work shows how quasi-one-dimensional systems, 2D and 3D arrays of weakly coupled 1D correlated electrons, are much more amenable to resolve the competition between SC and insulating orders on an equal footing using matrix-product states (MPS). Using the recently established MPS plus mean field (MPS+MF) approach for fermions, we demonstrate that large systems are readily reachable in these systems, and thus the thermodynamic regime by extrapolation. Focusing on basic model systems, 3D arrays of negative-U Hubbard chains with additional nearest-neighbor interaction V, we show that despite the MF component of the MPS+MF technique we can reproduce the expected coexistence of SC and charge-density wave at V=0 for density n=1. We then show how we can tune away from coexistence by both tuning V and doping the system. This work paves the way to deploy two-channel MPS+MF theory on some highly demanding high-$T_c$ SC systems, such as 3D arrays of repulsive-U doped Hubbard ladders, where we have recently characterized the properties of such arrays in single-channel MPS+MF calculations. The present approach could thus conclusively show that this SC order would actually be obtained, by explicitly comparing SC against its insulating competitors.


title: Convergence beyond the over-parameterized regime using Rayleigh quotients

abstract: In this paper, we present a new strategy to prove the convergence of deep learning architectures to a zero training (or even testing) loss by gradient flow. Our analysis is centered on the notion of Rayleigh quotients in order to prove Kurdyka-{\L}ojasiewicz inequalities for a broader set of neural network architectures and loss functions. We show that Rayleigh quotients provide a unified view for several convergence analysis techniques in the literature. Our strategy produces a proof of convergence for various examples of parametric learning. In particular, our analysis does not require the number of parameters to tend to infinity, nor the number of samples to be finite, thus extending to test loss minimization and beyond the over-parameterized regime.


title: Rotation in vacuum and scalar background: are there alternatives to Newman-Janis algorithm?

abstract: The Newman-Janis algorithm is the standard approach to rotation in general relativity which, in vacuum, builds the Kerr metric from the Schwarzschild spacetime. Recently, we have shown that the same algorithm applied to the Papapetrou antiscalar spacetime produces a rotational metric devoid of horizons and ergospheres. Though exact in the scalar sector, this metric, however, satisfies the Einstein equations only asymptotically. We argue that this discrepancy between geometric and matter parts (essential only inside gravitational radius scale) is caused by the violation of the Hawking-Ellis energy conditions for the scalar energy-momentum tensor. The axial potential functions entering the metrics appear to be of the same form both in vacuum and scalar background, and they also coincide with the linearized Yang-Mills field, which might hint at their common non-gravitational origin. As an alternative to the Kerr-type spacetimes produced by Newman-Janis algorithm we suggest the exact solution obtained by local rotational coordinate transformation from the Schwarzschild spacetime. Then, comparison with the Kerr-type metrics shows that the Lense-Thirring phenomenon might be treated as a coordinate effect, similar to the Coriolis force.


title: The double phase Dirichlet problem when the lowest exponent is equal to 1

abstract: In this paper we prove an existence and uniqueness result for the double phase Dirichlet problem when the lowest exponent is equal to 1. Our solution is a function of bounded variation that simultaneously lies in a suitable weighted Sobolev space and is found as the limit of a sequence of solutions of intermediate double phase Dirichlet problems whose lowest exponent $p$ goes to 1. As a result of that, our approach involves the study of some relevant properties of generalized Orlicz-Sobolev spaces.


title: Convex Bodies associated to Linear series of Adelic Divisors on Quasi-Projective Varieties

abstract: In this article we define and study convex bodies associated to linear series of adelic divisors over quasi-projective varieties that have been introduced recently by Xinyi Yuan and Shou-Wu Zhang. Restricting our attention to big adelic divisors, we deduce properties of volumes obtained by Yuan and Zhang using different convex geometric arguments. We go on to define augmented base loci and restricted volumes of adelic divisors following the works of Michael Nakamaye and develop a similar study using convex bodies to obtain analogous properties for restricted volumes. We closely follow methods developed originally by Robert Lazarsfeld and Mircea Mustata.


title: The Planck clusters in the LOFAR sky. II. LoTSS-DR2: Recovering diffuse extended emission with LOFAR

abstract: Extended radio sources in the sky require a dense sampling of short baselines to be properly imaged by interferometers. This problem arises in many areas of radio astronomy, such as in the study of galaxy clusters, which may host Mpc-scale diffuse synchrotron sources in the form of radio halos. In clusters where no radio halos are detected, owing to intrinsic absence of emission or extrinsic (instrumental and/or observational) effects, it is possible to determine upper limits. We consider a sample of Planck galaxy clusters from the Second Data Release of the LOFAR Two Meter Sky Survey (LoTSS-DR2) where no radio halos are detected. We use this sample to test the capabilities of LOFAR to recover diffuse extended emission and derive upper limits. Through the injection technique, we simulate radio halos with various surface brightness profiles. We then predict the corresponding visibilities and image them along with the real visibilities. This method allows us to test the fraction of flux density losses owing to inadequate uv-coverage and obtain thresholds at which the mock emission becomes undetectable by visual inspection. The dense uv-coverage of LOFAR at short spacings allows to recover $\gtrsim90\%$ of the flux density of targets with sizes up to $\sim 15'$. We find a relation that provides upper limits based on the image noise and extent (in terms of number of beams) of the mock halo. This relation can be safely adopted to obtain upper limits without injecting when artifacts introduced by the subtraction of the discrete sources are negligible in the central region of the cluster. Otherwise, the injection process and visual inspection of the images are necessary to determine more reliable limits. Through these methods, we obtain upper limits for 75 clusters to be exploited in ongoing statistical studies.


title: Strictly positive definite kernels on compact Riemannian manifolds

abstract: The paper studies strictly positive definite kernels on compact Riemannian manifolds. We state new conditions to ensure strict positive definiteness for general kernels and kernels with certain convolutional structure. We also state conditions for such kernels on product manifolds. As an example conditions for products of two-point homogeneous spaces are presented.


title: Efficient lineshape estimation by ghost spectroscopy

abstract: Recovering the original spectral lineshapes from data obtained by instruments with extended transmission profiles is a basic tenet in spectroscopy. By using the moments of the measured lines as basic variables, we turn the problem into a linear inversion. However, when only a finite number of these moments are relevant, the rest of them act as nuisance parameters. These can be taken into account with a semiparametric model, which allows us to establish the ultimate bounds on the precision attainable in the estimation of the moments of interest. We experimentally confirm these limits with a simple ghost spectroscopy demonstration.


title: Nearly Computable Real Numbers

abstract: In this article we call a sequence $(a_n)_n$ of elements of a metric space nearly computably Cauchy if for every strictly increasing computable function $r:\mathbb{N}\to\mathbb{N}$ the sequence $(d(a_{r(n+1)},a_{r(n)}))_n$ converges computably to $0$. We show that there exists a strictly increasing sequence of rational numbers that is nearly computably Cauchy and unbounded. Then we call a real number $\alpha$ nearly computable if there exists a computable sequence $(a_n)_n$ of rational numbers that converges to $\alpha$ and is nearly computably Cauchy. It is clear that every computable real number is nearly computable, and it follows from a result by Downey and LaForte (2002) that there exists a nearly computable and left-computable number that is not computable. We observe that the set of nearly computable real numbers is a real closed field and closed under computable real functions with open domain, but not closed under arbitrary computable real functions. Among other things we strengthen results by Hoyrup (2017) and by Stephan and Wu (2005) by showing that any nearly computable real number that is not computable is weakly $1$-generic (and, therefore, hyperimmune and not Martin-L\"of random) and strongly Kurtz random (and, therefore, not $K$-trivial), and we strengthen a result by Downey and LaForte (2002) by showing that no promptly simple set can be Turing reducible to a nearly computable real number.


title: Diagnose Like a Pathologist: Transformer-Enabled Hierarchical Attention-Guided Multiple Instance Learning for Whole Slide Image Classification

abstract: Multiple Instance Learning (MIL) and transformers are increasingly popular in histopathology Whole Slide Image (WSI) classification. However, unlike human pathologists who selectively observe specific regions of histopathology tissues under different magnifications, most methods do not incorporate multiple resolutions of the WSIs, hierarchically and attentively, thereby leading to a loss of focus on the WSIs and information from other resolutions. To resolve this issue, we propose a Hierarchical Attention-Guided Multiple Instance Learning framework to fully exploit the WSIs. This framework can dynamically and attentively discover the discriminative regions across multiple resolutions of the WSIs. Within this framework, an Integrated Attention Transformer is proposed to further enhance the performance of the transformer and obtain a more holistic WSI (bag) representation. This transformer consists of multiple Integrated Attention Modules, which is the combination of a transformer layer and an aggregation module that produces a bag representation based on every instance representation in that bag. The experimental results show that our method achieved state-of-the-art performances on multiple datasets, including Camelyon16, TCGA-RCC, TCGA-NSCLC, and an in-house IMGC dataset. The code is available at https://github.com/BearCleverProud/HAG-MIL.


title: Swampland criteria for rescaled Einstein-Hilbert gravity with string corrections

abstract: In this work we examine the Swampland criteria for a specific class of rescaled $f(R)$ gravitational models, that are capable of unifying the primordial era of the Universe with the late-time era with the inclusion of string corrections. In particular, we develop separately the theoretical framework of Gauss-Bonnet and Chern-Simons theories considering that, the rescale parameter is constrained to reside in the area $0<\alpha<1$. As showcased, in the context of the aforementioned theories, a viable inflationary phenomenology consistent with the latest Planck data can be obtained for both cases for a wide variety of values. The Swampland criteria which where examined are satisfied, not necessarily simultaneously, for small values of the rescale parameter, which is in agreement with the case of a canonical scalar field with absent string corrective terms. The Gauss-Bonnet model is also further constrained, in order to obtain a propagation velocity of tensor perturbations which coincides with that of light, according to the recent observations from the GW170817. As a result of this assumption the degrees of freedom of the theory are reduced. An interesting feature which arises from the overall phenomenology is that, due to the inclusion of string corrections the tensor spectral index of primordial perturbations is now capable of obtaining a positive value which is not possible in the case of the canonical scalar field. Last but not least, the power-law model which is known to be incompatible with observations is now rendered viable by including a parity violating term and as showcased, it satisfies the Swampland criteria as well.


title: Local sampling of the SU(1,1) Wigner function

abstract: Despite the indisputable merits of the Wigner phase-space formulation, it has not been widely explored for systems with SU(1,1) symmetry, as a simple operational definition of the Wigner function has proved elusive in this case. We capitalize on the unique properties of the parity operator, to derive in a consistent way a \emph{bona fide} SU(1,1) Wigner function that faithfully parallels the structure of its continuous-variable counterpart. We propose an optical scheme, involving a squeezer and photon-number-resolving detectors, that allows for direct point-by-point sampling of that Wigner function. This provides an adequate framework to represent SU(1,1) states satisfactorily.


title: EPiC-GAN: Equivariant Point Cloud Generation for Particle Jets

abstract: With the vast data-collecting capabilities of current and future high-energy collider experiments, there is an increasing demand for computationally efficient simulations. Generative machine learning models enable fast event generation, yet so far these approaches are largely constrained to fixed data structures and rigid detector geometries. In this paper, we introduce EPiC-GAN - equivariant point cloud generative adversarial network - which can produce point clouds of variable multiplicity. This flexible framework is based on deep sets and is well suited for simulating sprays of particles called jets. The generator and discriminator utilize multiple EPiC layers with an interpretable global latent vector. Crucially, the EPiC layers do not rely on pairwise information sharing between particles, which leads to a significant speed-up over graph- and transformer-based approaches with more complex relation diagrams. We demonstrate that EPiC-GAN scales well to large particle multiplicities and achieves high generation fidelity on benchmark jet generation tasks.


title: 2n-Stream Thermal Emissions from Clouds

abstract: We analyze thermal emission of radiation in homogeneous clouds. The clouds have negligible horizontal variation, but the temperature can vary vertically. The radiation at optical depth $\tau$ above the cloud bottom is characterized by intensity values $I(\mu_i,\tau)$ at $2n$ Gauss-Legendre direction cosines $\mu_i$, the roots of the $2n$th Legendre polynomial, $P_{2n}(\mu_i)=0$. Scattering matrices describe the intensity fraction with incoming direction cosine $\mu_{i'}$ that is scattered to intensity with outgoing direction cosine $\mu_{i}$. Green's-function matrices describe radiation generated by infinitesimally thin layers of cloud particulates, thermally emitting at the source optical depth $\tau'$. For thin isothermal clouds of optical thickness $\tau_c\le1$, thermal emission is mainly determined by the single scattering albedo $\tilde \omega$. The emitted intensity is limb brightened and depends little on the scattering phase function. For optically thick isothermal clouds, with $\tau_c \gg 1$, purely absorbing clouds with $\tilde\omega = 0$ become perfect blackbodies and emit isotropic Planck intensity. Thick isothermal clouds with moderate single scattering albedos emit substantially less thermal radiation than black bodies and the emission depends strongly on the anisotropy of the scattering phase function. Clouds with strong forward scattering are ``blackest" and emit the most thermal radiation. There is limb darkening which is most pronounced for strongly forward-scattering phase functions. The limb darkening in thick, isothermal, scattering clouds is not due to temperature gradients, as it is for the Sun. With scattering, nearly vertical radiation produced by thermal emission escapes through the surface more efficiently than nearly horizontal radiation. There is limb darkening even for purely absorbing particulates for clouds with hot interiors.


title: A Cohesive Distillation Architecture for Neural Language Models

abstract: A recent trend in Natural Language Processing is the exponential growth in Language Model (LM) size, which prevents research groups without a necessary hardware infrastructure from participating in the development process. This study investigates methods for Knowledge Distillation (KD) to provide efficient alternatives to large-scale models. In this context, KD means extracting information about language encoded in a Neural Network and Lexical Knowledge Databases. We developed two methods to test our hypothesis that efficient architectures can gain knowledge from LMs and extract valuable information from lexical sources. First, we present a technique to learn confident probability distribution for Masked Language Modeling by prediction weighting of multiple teacher networks. Second, we propose a method for Word Sense Disambiguation (WSD) and lexical KD that is general enough to be adapted to many LMs. Our results show that KD with multiple teachers leads to improved training convergence. When using our lexical pre-training method, LM characteristics are not lost, leading to increased performance in Natural Language Understanding (NLU) tasks over the state-of-the-art while adding no parameters. Moreover, the improved semantic understanding of our model increased the task performance beyond WSD and NLU in a real-problem scenario (Plagiarism Detection). This study suggests that sophisticated training methods and network architectures can be superior over scaling trainable parameters. On this basis, we suggest the research area should encourage the development and use of efficient models and rate impacts resulting from growing LM size equally against task performance.


title: One Mathematic(s) or Many? Foundations of Mathematics in Today's Mathematical Practice

abstract: The received Hilbert-style axiomatic foundations of mathematics has been designed by Hilbert and his followers as a tool for meta-theoretical research. Foundations of mathematics of this type fail to satisfactory perform more basic and more practically-oriented functions of theoretical foundations such as verification of mathematical constructions and proofs. Using alternative foundations of mathematics such as the Univalent Foundations is compatible with using the received set-theoretic foundations for meta-mathematical purposes provided the two foundations are mutually interpretable. Changes in foundations of mathematics do not, generally, disqualify mathematical theories based on older foundations but allow for reconstruction of these theories on new foundations. Mathematics is one but its foundations are many.


title: On the Gravitational Effects of Light

abstract: [Translation of and Commentary on L\'eon Rosenfeld's "Ueber die Gravitationwirkungen des Lichtes", Zeitschrift fur Physik 65: 589-599 (1930). Originally published in German. Submitted for publication on September 26, 1930. See [1] in the Comments with References section before reading this English translation.] The gravitational field generated by an electromagnetic field is calculated using of laws of quantum mechanics and it is shown that the resulting gravitational energy turns out to be infinitely large, raising a new difficulty for the Heisenberg-Pauli quantum theory of wave fields. In addition, the transition processes in first-order approximation involving light and gravitational quanta are briefly discussed.


title: Fractional Quantization of Singular Lagrangian systems with Second-Order Derivatives Using WKB Approximation

abstract: In this paper, the theory of the fractional singular Lagrangian systems is investigated with second order derivatives. The fractional quantization for these systems is examined using the WKB approximation. The Hamilton Jacobi treatment can be applied for these systems. The equations of motion are obtained. The Hamilton Jacobi partial differential equations are solved to determine the action function. By finding the action function, the wave function for these systems is constructed. We achieved that the quantum results are agreement with the classical results. Besides, to demonstrate the theory; two mathematical examples are examined.


title: A Benchmark Generator for Combinatorial Testing

abstract: Combinatorial Testing (CT) tools are essential to test properly a wide range of systems (train systems, Graphical User Interfaces (GUIs), autonomous driving systems, etc). While there is an active research community working on developing CT tools, paradoxically little attention has been paid to making available enough resources to test the CT tools themselves. In particular, the set of available benchmarks to asses their correctness, effectiveness and efficiency is rather limited. In this paper, we introduce a new generator of CT benchmarks that essentially borrows the structure contained in the plethora of available Combinatorial Problems from other research communities in order to create meaningful benchmarks. We additionally perform an extensive evaluation of CT tools with these new benchmarks. Thanks to this study we provide some insights on under which circumstances a particular CT tool should be used.


title: Agent-based Integrated Assessment Models: Alternative Foundations to the Environment-Energy-Economics Nexus

abstract: Climate change is a major global challenge today. To assess how policies may lead to mitigation, economists have developed Integrated Assessment Models, however, most of the equilibrium based models have faced heavy critiques. Agent-based models have recently come to the fore as an alternative macroeconomic modeling framework. In this paper, four Agent-based Integrated Assessment Models linking environment, energy and economy are reviewed. These models have several advantages over existing models in terms of their heterogeneous agents, the allocation of damages amongst the individual agents, representation of the financial system, and policy mixes. While Agent-based Integrated Assessment Models have made strong advances, there are several avenues into which research should be continued, including incorporation of natural resources and spatial dynamics, closer analysis of distributional effects and feedbacks, and multi-sectoral firm network structures.


title: Input-Output Analysis: New Results From Markov Chain Theory

abstract: In this work, we propose a new lecture of input-output model reconciliation Markov chain and the dominance theory, in the field of interindustrial poles interactions. A deeper lecture of Leontieff table in term of Markov chain is given, exploiting spectral properties and time to absorption to characterize production processes, then the dualities local-global/dominance- Sensitivity analysis are established, allowing a better understanding of economic poles arrangement. An application to the Moroccan economy is given.


title: Correct Approximation of Stationary Distributions

abstract: A classical problem for Markov chains is determining their stationary (or steady-state) distribution. This problem has an equally classical solution based on eigenvectors and linear equation systems. However, this approach does not scale to large instances, and iterative solutions are desirable. It turns out that a naive approach, as used by current model checkers, may yield completely wrong results. We present a new approach, which utilizes recent advances in partial exploration and mean payoff computation to obtain a correct, converging approximation.


title: Architecting Safer Autonomous Aviation Systems

abstract: The aviation literature gives relatively little guidance to practitioners about the specifics of architecting systems for safety, particularly the impact of architecture on allocating safety requirements, or the relative ease of system assurance resulting from system or subsystem level architectural choices. As an exemplar, this paper considers common architectural patterns used within traditional aviation systems and explores their safety and safety assurance implications when applied in the context of integrating artificial intelligence (AI) and machine learning (ML) based functionality. Considering safety as an architectural property, we discuss both the allocation of safety requirements and the architectural trade-offs involved early in the design lifecycle. This approach could be extended to other assured properties, similar to safety, such as security. We conclude with a discussion of the safety considerations that emerge in the context of candidate architectural patterns that have been proposed in the recent literature for enabling autonomy capabilities by integrating AI and ML. A recommendation is made for the generation of a property-driven architectural pattern catalogue.


title: DynInt: Dynamic Interaction Modeling for Large-scale Click-Through Rate Prediction

abstract: Learning feature interactions is the key to success for the large-scale CTR prediction in Ads ranking and recommender systems. In industry, deep neural network-based models are widely adopted for modeling such problems. Researchers proposed various neural network architectures for searching and modeling the feature interactions in an end-to-end fashion. However, most methods only learn static feature interactions and have not fully leveraged deep CTR models' representation capacity. In this paper, we propose a new model: DynInt. By extending Polynomial-Interaction-Network (PIN), which learns higher-order interactions recursively to be dynamic and data-dependent, DynInt further derived two modes for modeling dynamic higher-order interactions: dynamic activation and dynamic parameter. In dynamic activation mode, we adaptively adjust the strength of learned interactions by instance-aware activation gating networks. In dynamic parameter mode, we re-parameterize the parameters by different formulations and dynamically generate the parameters by instance-aware parameter generation networks. Through instance-aware gating mechanism and dynamic parameter generation, we enable the PIN to model dynamic interaction for potential industry applications. We implement the proposed model and evaluate the model performance on real-world datasets. Extensive experiment results demonstrate the efficiency and effectiveness of DynInt over state-of-the-art models.


title: Regularising disparity estimation via multi task learning with structured light reconstruction

abstract: 3D reconstruction is a useful tool for surgical planning and guidance. However, the lack of available medical data stunts research and development in this field, as supervised deep learning methods for accurate disparity estimation rely heavily on large datasets containing ground truth information. Alternative approaches to supervision have been explored, such as self-supervision, which can reduce or remove entirely the need for ground truth. However, no proposed alternatives have demonstrated performance capabilities close to what would be expected from a supervised setup. This work aims to alleviate this issue. In this paper, we investigate the learning of structured light projections to enhance the development of direct disparity estimation networks. We show for the first time that it is possible to accurately learn the projection of structured light on a scene, implicitly learning disparity. Secondly, we \textcolor{black}{explore the use of a multi task learning (MTL) framework for the joint training of structured light and disparity. We present results which show that MTL with structured light improves disparity training; without increasing the number of model parameters. Our MTL setup outperformed the single task learning (STL) network in every validation test. Notably, in the medical generalisation test, the STL error was 1.4 times worse than that of the best MTL performance. The benefit of using MTL is emphasised when the training data is limited.} A dataset containing stereoscopic images, disparity maps and structured light projections on medical phantoms and ex vivo tissue was created for evaluation together with virtual scenes. This dataset will be made publicly available in the future.


title: Self-supervised Learning for Segmentation and Quantification of Dopamine Neurons in Parkinson's Disease

abstract: Parkinson's Disease (PD) is the second most common neurodegenerative disease in humans. PD is characterized by the gradual loss of dopaminergic neurons in the Substantia Nigra (SN). Counting the number of dopaminergic neurons in the SN is one of the most important indexes in evaluating drug efficacy in PD animal models. Currently, analyzing and quantifying dopaminergic neurons is conducted manually by experts through analysis of digital pathology images which is laborious, time-consuming, and highly subjective. As such, a reliable and unbiased automated system is demanded for the quantification of dopaminergic neurons in digital pathology images. Recent years have seen a surge in adopting deep learning solutions in medical image processing. However, developing high-performing deep learning models hinges on the availability of large-scale, high-quality annotated data, which can be expensive to acquire, especially in applications like digital pathology image analysis. To this end, we propose an end-to-end deep learning framework based on self-supervised learning for the segmentation and quantification of dopaminergic neurons in PD animal models. To the best of our knowledge, this is the first deep learning model that detects the cell body of dopaminergic neurons, counts the number of dopaminergic neurons, and provides characteristics of individual dopaminergic neurons as a numerical output. Extensive experiments demonstrate the effectiveness of our model in quantifying neurons with high precision, which can provide a faster turnaround for drug efficacy studies, better understanding of dopaminergic neuronal health status, and unbiased results in PD pre-clinical research. As part of our contributions, we also provide the first publicly available dataset of histology digital images along with expert annotations for the segmentation of TH-positive DA neuronal soma.


title: Real analysis without uncountable sets

abstract: HMC sets are hereditarily at most countable sets. We rework a part of analysis of univariate real functions so that it (substantially) uses only HMC sets and present some applications. 1. By integrating functions $f\colon[u,v]_{\mathbb{Q}}= \{a\in\mathbb{Q}\;|\;u\le a\le v\}\to\mathbb{R}$ we carry out, with only HMC sets, Hilbert's proof of transcendence of $\mathrm{e}$. 2. We give a version of Hilbert's proof based on quasi-formal use of power series. 3. We prove, using only HMC sets, Liouville's theorem that transcendental numbers exist. 4. We construct a uniformly continuous function $f\colon[0,1]_{\mathbb{Q}}\to\mathbb{R}$ satisfying for every $a\in[0,1]_{\mathbb{Q}}$ that $f(\frac{1}{\sqrt{2}})=\frac{1}{\sqrt{2}}>f(a)$ and $f'(a)=1$ (the value $f(\frac{1}{\sqrt{2}})$ is of the continuous extension of $f$). 5. In conclusion we ask if FLT can be proven by means of only HMC sets.


title: Dual Personalization on Federated Recommendation

abstract: Federated recommendation is a new Internet service architecture that aims to provide privacy-preserving recommendation services in federated settings. Existing solutions are used to combine distributed recommendation algorithms and privacy-preserving mechanisms. Thus it inherently takes the form of heavyweight models at the server and hinders the deployment of on-device intelligent models to end-users. This paper proposes a novel Personalized Federated Recommendation (PFedRec) framework to learn many user-specific lightweight models to be deployed on smart devices rather than a heavyweight model on a server. Moreover, we propose a new dual personalization mechanism to effectively learn fine-grained personalization on both users and items. The overall learning process is formulated into a unified federated optimization framework. Specifically, unlike previous methods that share exactly the same item embeddings across users in a federated system, dual personalization allows mild finetuning of item embeddings for each user to generate user-specific views for item representations which can be integrated into existing federated recommendation methods to gain improvements immediately. Experiments on multiple benchmark datasets have demonstrated the effectiveness of PFedRec and the dual personalization mechanism. Moreover, we provide visualizations and in-depth analysis of the personalization techniques in item embedding, which shed novel insights on the design of recommender systems in federated settings. The code is available.


title: Towards the design of user-centric strategy recommendation systems for collaborative Human-AI tasks

abstract: Artificial Intelligence is being employed by humans to collaboratively solve complicated tasks for search and rescue, manufacturing, etc. Efficient teamwork can be achieved by understanding user preferences and recommending different strategies for solving the particular task to humans. Prior work has focused on personalization of recommendation systems for relatively well-understood tasks in the context of e-commerce or social networks. In this paper, we seek to understand the important factors to consider while designing user-centric strategy recommendation systems for decision-making. We conducted a human-subjects experiment (n=60) for measuring the preferences of users with different personality types towards different strategy recommendation systems. We conducted our experiment across four types of strategy recommendation modalities that have been established in prior work: (1) Single strategy recommendation, (2) Multiple similar recommendations, (3) Multiple diverse recommendations, (4) All possible strategies recommendations. While these strategy recommendation schemes have been explored independently in prior work, our study is novel in that we employ all of them simultaneously and in the context of strategy recommendations, to provide us an in-depth overview of the perception of different strategy recommendation systems. We found that certain personality traits, such as conscientiousness, notably impact the preference towards a particular type of system (p < 0.01). Finally, we report an interesting relationship between usability, alignment and perceived intelligence wherein greater perceived alignment of recommendations with one's own preferences leads to higher perceived intelligence (p < 0.01) and higher usability (p < 0.01).


title: Music Playlist Title Generation Using Artist Information

abstract: Automatically generating or captioning music playlist titles given a set of tracks is of significant interest in music streaming services as customized playlists are widely used in personalized music recommendation, and well-composed text titles attract users and help their music discovery. We present an encoder-decoder model that generates a playlist title from a sequence of music tracks. While previous work takes track IDs as tokenized input for playlist title generation, we use artist IDs corresponding to the tracks to mitigate the issue from the long-tail distribution of tracks included in the playlist dataset. Also, we introduce a chronological data split method to deal with newly-released tracks in real-world scenarios. Comparing the track IDs and artist IDs as input sequences, we show that the artist-based approach significantly enhances the performance in terms of word overlap, semantic relevance, and diversity.


title: What's happening in your neighborhood? A Weakly Supervised Approach to Detect Local News

abstract: Local news articles are a subset of news that impact users in a geographical area, such as a city, county, or state. Detecting local news (Step 1) and subsequently deciding its geographical location as well as radius of impact (Step 2) are two important steps towards accurate local news recommendation. Naive rule-based methods, such as detecting city names from the news title, tend to give erroneous results due to lack of understanding of the news content. Empowered by the latest development in natural language processing, we develop an integrated pipeline that enables automatic local news detection and content-based local news recommendations. In this paper, we focus on Step 1 of the pipeline, which highlights: (1) a weakly supervised framework incorporated with domain knowledge and auto data processing, and (2) scalability to multi-lingual settings. Compared with Stanford CoreNLP NER model, our pipeline has higher precision and recall evaluated on a real-world and human-labeled dataset. This pipeline has potential to more precise local news to users, helps local businesses get more exposure, and gives people more information about their neighborhood safety.


title: RGB-D-Based Categorical Object Pose and Shape Estimation: Methods, Datasets, and Evaluation

abstract: Recently, various methods for 6D pose and shape estimation of objects at a per-category level have been proposed. This work provides an overview of the field in terms of methods, datasets, and evaluation protocols. First, an overview of existing works and their commonalities and differences is provided. Second, we take a critical look at the predominant evaluation protocol, including metrics and datasets. Based on the findings, we propose a new set of metrics, contribute new annotations for the Redwood dataset, and evaluate state-of-the-art methods in a fair comparison. The results indicate that existing methods do not generalize well to unconstrained orientations and are actually heavily biased towards objects being upright. We provide an easy-to-use evaluation toolbox with well-defined metrics, methods, and dataset interfaces, which allows evaluation and comparison with various state-of-the-art approaches (https://github.com/roym899/pose_and_shape_evaluation).


title: OblivIO: Securing reactive programs by oblivious execution with bounded traffic overheads

abstract: Traffic analysis attacks remain a significant problem for online security. Communication between nodes can be observed by network level attackers as it inherently takes place in the open. Despite online services increasingly using encrypted traffic, the shape of the traffic is not hidden. To prevent traffic analysis, the shape of a system's traffic must be independent of secrets. We investigate adapting the data-oblivious approach the reactive setting and present OblivIO, a secure language for writing reactive programs driven by network events. Our approach pads with dummy messages to hide which program sends are genuinely executed. We use an information-flow type system to provably enforce timing-sensitive noninterference. The type system is extended with potentials to bound the overhead in traffic introduced by our approach. We address challenges that arise from joining data-oblivious and reactive programming and demonstrate the feasibility of our resulting language by developing an interpreter that implements security critical operations as constant-time algorithms.


title: Zeros of fractional derivatives of polynomials

abstract: We investigate the behavior of fractional derivatives of polynomials. In particular, we consider the locations and the asymptotic behaviour of their zeros and give bounds for their Mahler measure.


title: Action-Angle formalism for extreme mass ratio inspirals in Kerr spacetime

abstract: We introduce an action-angle formalism for bounded geodesic motion in Kerr black hole spacetime using canonical perturbation theory. Namely, we employ a Lie series technique to produce a series of canonical transformations on a Hamiltonian function describing geodesic motion in Kerr background written in Boyer-Lindquist coordinates to a Hamiltonian system written in action-angle variables. This technique allows us to produce a closed-form invertible relation between the Boyer-Lindquist variables and the action-angle ones, while it generates in analytical closed form all the characteristic functions of the system as well. The expressed in the action-angle variable Hamiltonian system is employed to model an extreme mass ratio inspiral (EMRI), i.e. a binary system where a stellar compact object inspirals into a supermassive black hole due to gravitational radiation reaction. We consider the adiabatic evolution of an EMRI, for which the energy and angular momentum fluxes are computed by solving the Teukolsky equation in the frequency domain. To achieve this a new Teukolsky equation solver code was developed.


title: Global mapping of fragmented rocks on the Moon with a neural network: Implications for the failure mode of rocks on airless surfaces

abstract: It has been recently recognized that the surface of sub-km asteroids in contact with the space environment is not fine-grained regolith but consists of centimeter to meter-scale rocks. Here we aim to understand how the rocky morphology of minor bodies react to the well known space erosion agents on the Moon. We deploy a neural network and map a total of ~130,000 fragmented boulders scattered across the lunar surface and visually identify a dozen different desintegration morphologies corresponding to different failure modes. We find that several fragmented boulder morphologies are equivalent to morphologies observed on asteroid Bennu, suggesting that these morphologies on the Moon and on asteroids are likely not diagnostic of their formation mechanism. Our findings suggest that the boulder fragmentation process is characterized by an internal weakening period with limited morphological signs of damage at rock scale until a sudden highly efficient impact shattering event occurs. In addition, we identify new morphologies such as breccia boulders with an advection-like erosion style. We publicly release the produced fractured boulder catalog along with this paper.


title: Neutrino oscillations in vortex and twisting magnetic fields

abstract: The behavior of the neutrino flux in vortex and twisting magnetic fields is considered within the left-right symmetric model. By way of illustration of the magnetic fields we discuss the magnetic fields of the coupled sunspots (CS's) which are the sources of the future solar flares. It is expected that the neutrinos have such multipole moments as the charge radius, the magnetic and anapole moments. The evolution equation in the Schrodinger-like form is found and all magnetic-induced resonance conversions are analyzed. It is demonstrated that in the case of the high-energy flares the sizeable depletion of the $\nu_{eL}$ neutrinos caused by their resonance absorptions takes place. Possibilities of observations of this phenomena are investigated at neutrino telescopes whose work is based on the reaction of the coherent elastic neutrino-nucleus scattering.


title: SwiftAvatar: Efficient Auto-Creation of Parameterized Stylized Character on Arbitrary Avatar Engines

abstract: The creation of a parameterized stylized character involves careful selection of numerous parameters, also known as the "avatar vectors" that can be interpreted by the avatar engine. Existing unsupervised avatar vector estimation methods that auto-create avatars for users, however, often fail to work because of the domain gap between realistic faces and stylized avatar images. To this end, we propose SwiftAvatar, a novel avatar auto-creation framework that is evidently superior to previous works. SwiftAvatar introduces dual-domain generators to create pairs of realistic faces and avatar images using shared latent codes. The latent codes can then be bridged with the avatar vectors as pairs, by performing GAN inversion on the avatar images rendered from the engine using avatar vectors. Through this way, we are able to synthesize paired data in high-quality as many as possible, consisting of avatar vectors and their corresponding realistic faces. We also propose semantic augmentation to improve the diversity of synthesis. Finally, a light-weight avatar vector estimator is trained on the synthetic pairs to implement efficient auto-creation. Our experiments demonstrate the effectiveness and efficiency of SwiftAvatar on two different avatar engines. The superiority and advantageous flexibility of SwiftAvatar are also verified in both subjective and objective evaluations.


title: KdV breathers on a cnoidal wave background

abstract: Using the Darboux transformation for the Korteweg-de Vries equation, we construct and analyze exact solutions describing the interaction of a solitary wave and a traveling cnoidal wave. Due to their unsteady, wavepacket-like character, these wave patterns are referred to as breathers. Both elevation (bright) and depression (dark) breather solutions are obtained. The nonlinear dispersion relations demonstrate that the bright (dark) breathers propagate faster (slower) than the background cnoidal wave. Two-soliton solutions are obtained in the limit of degeneration of the cnoidal wave. In the small amplitude regime, the dark breathers are accurately approximated by dark soliton solutions of the nonlinear Schr\"odinger equation. These results provide insight into recent experiments on soliton-dispersive shock wave interactions and soliton gases.

categories: nlin.PS math-ph math.AP math.DS math.MP nlin.SI


title: AI Insights into Theoretical Physics and the Swampland Program: A Journey Through the Cosmos with ChatGPT

abstract: In this case study, we explore the capabilities and limitations of ChatGPT, a natural language processing model developed by OpenAI, in the field of string theoretical swampland conjectures. We find that it is effective at paraphrasing and explaining concepts in a variety of styles, but not at genuinely connecting concepts. It will provide false information with full confidence and make up statements when necessary. However, its ingenious use of language can be fruitful for identifying analogies and describing visual representations of abstract concepts.


title: A phonon laser in the quantum regime

abstract: We demonstrate a trapped-ion system with two competing dissipation channels, implemented independently on two ion species co-trapped in a Paul trap. By controlling coherent spin-oscillator couplings and optical pumping rates we explore the phase diagram of this system, which exhibits a regime analogous to that of a (phonon) laser but operates close to the quantum ground state with an average phonon number of $\bar{n}<10$. We demonstrate phase locking of the oscillator to an additional resonant drive, and also observe the phase diffusion of the resulting state under dissipation by reconstructing the quantum state from a measurement of the characteristic function.


title: SoftEnNet: Symbiotic Monocular Depth Estimation and Lumen Segmentation for Colonoscopy Endorobots

abstract: Colorectal cancer is the third most common cause of cancer death worldwide. Optical colonoscopy is the gold standard for detecting colorectal cancer; however, about 25 percent of polyps are missed during the procedure. A vision-based autonomous endorobot can improve colonoscopy procedures significantly through systematic, complete screening of the colonic mucosa. The reliable robot navigation needed requires a three-dimensional understanding of the environment and lumen tracking to support autonomous tasks. We propose a novel multi-task model that simultaneously predicts dense depth and lumen segmentation with an ensemble of deep networks. The depth estimation sub-network is trained in a self-supervised fashion guided by view synthesis; the lumen segmentation sub-network is supervised. The two sub-networks are interconnected with pathways that enable information exchange and thereby mutual learning. As the lumen is in the image's deepest visual space, lumen segmentation helps with the depth estimation at the farthest location. In turn, the estimated depth guides the lumen segmentation network as the lumen location defines the farthest scene location. Unlike other environments, view synthesis often fails in the colon because of the deformable wall, textureless surface, specularities, and wide field of view image distortions, all challenges that our pipeline addresses. We conducted qualitative analysis on a synthetic dataset and quantitative analysis on a colon training model and real colonoscopy videos. The experiments show that our model predicts accurate scale-invariant depth maps and lumen segmentation from colonoscopy images in near real-time.


title: Semiparametric inference using fractional posteriors

abstract: We establish a general Bernstein--von Mises theorem for approximately linear semiparametric functionals of fractional posterior distributions based on nonparametric priors. This is illustrated in a number of nonparametric settings and for different classes of prior distributions, including Gaussian process priors. We show that fractional posterior credible sets can provide reliable semiparametric uncertainty quantification, but have inflated size. To remedy this, we further propose a \textit{shifted-and-rescaled} fractional posterior set that is an efficient confidence set having optimal size under regularity conditions. As part of our proofs, we also refine existing contraction rate results for fractional posteriors by sharpening the dependence of the rate on the fractional exponent.


title: Topological quantum phase transition in individual Fe Atoms on MoS$_2$/Au(111)

abstract: In a recent experiment [Trishin et al., Phys. Rev. Lett. 127, 236801 (2021)] a rich physics was observed for Fe atoms on MoS$_2$/Au(111), characterized by three different behaviors depending on the spectral density of the substrate $\rho_c$: one dominated by a single ion anisotropy, one by the Kondo effect, and an intermediate one. Based on symmetry and previous works, we show that the appropriate model to describe the system is the anisotropic two-channel spin-1 Kondo model (A2CS1KM), which has an underlying topological quantum phase transition (TQPT) between an ordinary Fermi liquid and a topological one with a non-trivial value of the Luttinger integral. Solving the model with the numerical renormalization group (NRG), we show that the different behaviors can be explained in a unified fashion as a function of $\rho_c$, and correspond to both Fermi liquids and an intermediate regime close to the TQPT in the topological phase. Further experiments should confirm this transition.


title: FECANet: Boosting Few-Shot Semantic Segmentation with Feature-Enhanced Context-Aware Network

abstract: Few-shot semantic segmentation is the task of learning to locate each pixel of the novel class in the query image with only a few annotated support images. The current correlation-based methods construct pair-wise feature correlations to establish the many-to-many matching because the typical prototype-based approaches cannot learn fine-grained correspondence relations. However, the existing methods still suffer from the noise contained in naive correlations and the lack of context semantic information in correlations. To alleviate these problems mentioned above, we propose a Feature-Enhanced Context-Aware Network (FECANet). Specifically, a feature enhancement module is proposed to suppress the matching noise caused by inter-class local similarity and enhance the intra-class relevance in the naive correlation. In addition, we propose a novel correlation reconstruction module that encodes extra correspondence relations between foreground and background and multi-scale context semantic features, significantly boosting the encoder to capture a reliable matching pattern. Experiments on PASCAL-$5^i$ and COCO-$20^i$ datasets demonstrate that our proposed FECANet leads to remarkable improvement compared to previous state-of-the-arts, demonstrating its effectiveness.


title: nEDM from the theta-term and chromoEDM operators

abstract: In a previous work, we showed that unresolved excited state contaminations provide a major source of systematic uncertainty in the calculation of the nucleon electric dipole moment due to the QCD topological term theta. Here we extend the calculation to the quark chromo-electric dipole moment operator (qcEDM). We also show quantitatively the impact of the mixing of the qcEDM with lower-dimensional operators on the lattice. Finally, we present preliminary results from a unitary clover-on-clover calculation for the QCD topological term.


title: Characterization of a set of small planets with TESS and CHEOPS and an analysis of photometric performance

abstract: The radius valley carries implications for how the atmospheres of small planets form and evolve, but this feature is visible only with highly precise characterizations of many small planets. We present the characterization of nine planets and one planet candidate with both NASA TESS and ESA CHEOPS observations, which adds to the overall population of planets bordering the radius valley. While four of our planets - TOI 118 b, TOI 455 b, TOI 560 b, and TOI 562 b - have already been published, we vet and validate transit signals as planetary using follow-up observations for five new TESS planets, including TOI 198 b, TOI 244 b, TOI 262 b, TOI 444 b, and TOI 470 b. While a three times increase in primary mirror size should mean that one CHEOPS transit yields an equivalent model uncertainty in transit depth as about nine TESS transits in the case that the star is equally as bright in both bands, we find that our CHEOPS transits typically yield uncertainties equivalent to between two and 12 TESS transits, averaging 5.9 equivalent transits. Therefore, we find that while our fits to CHEOPS transits provide overall lower uncertainties on transit depth and better precision relative to fits to TESS transits, our uncertainties for these fits do not always match expected predictions given photon-limited noise. We find no correlations between number of equivalent transits and any physical parameters, indicating that this behavior is not strictly systematic, but rather might be due to other factors such as in-transit gaps during CHEOPS visits or nonhomogeneous detrending of CHEOPS light curves.


title: Detection of high-frequency gravitational waves using high-energy pulsed lasers

abstract: We propose a new method for detecting high-frequency gravitational waves (GWs) using high-energy pulsed lasers. Through the inverse Gertsenshtein effect, the interaction between a GW and the laser beam results in the creation of an electromagnetic signal. The latter can be detected using single-photon counting techniques. We compute the minimal strain of a detectable GW which only depends on the laser parameters. We find that a resonance occurs in this process when the frequency of the GW is twice the frequency of the laser. With this method, the frequency range $10^{13}-10^{19} $ Hz is explored non-continuously for strains $h \gtrsim 10^{-20}$ for current laser systems and can be extended to $h \gtrsim 10^{-26}$ with future generation facilities.