title: A transverse index theorem in the calculus of filtered manifolds

abstract: We use filtrations of the tangent bundle of a manifold starting with an integrable subbundle to define transverse symbols to the corresponding foliation, define a condition of transversally Rockland and prove that transversally Rockland operators yield a K-homology class. We construct an equivariant KK-class for transversally Rockland transverse symbols and show a Poincare duality type result linking the class of an operator and its symbol.


title: The $C^0$-convergence at the Neumann boundary for Liouville equations

abstract: In this paper, we study the blow-up analysis for a sequence of solutions to the Liouville type equation with exponential Neumann boundary condition. For interior case, i.e. the blow-up point is an interior point, Li \cite{Li} gave a uniform asymptotic estimate. Later, Zhang \cite{Zhang} and Gluck \cite{Gluck} improved Li's estimate in the sense of $C^0$-convergence by using the method of moving planes or classification of solutions of the linearized version of Liouville equation. If the sequence blows up at a boundary point, Bao-Wang-Zhou \cite{Bao-Wang-Zhou} proved a similar asymptotic estimate of Li \cite{Li}. In this paper, we will prove a $C^0$-convergence result in this boundary blow-up process. Our method is different from \cite{Zhang,Gluck}.


title: Detection of an Unidentified Soft X-ray Emission Feature in NGC 5548

abstract: NGC~5548 is an X-ray bright Seyfert 1 active galaxy. It exhibits a variety of spectroscopic features in the soft X-ray band, including in particular the absorption by the AGN outflows of a broad range of ionization states, with column densities up to 1E27 /m^2, and having speeds up to several thousand kilometers per second. The known emission features are in broad agreement with photoionized X-ray narrow and broad emission line models. We report on an X-ray spectroscopic study using 1.1 Ms XMM-Newton and 0.9 Ms Chandra grating observations of NGC 5548 spanning two decades. The aim is to search and characterize any potential spectroscopic features in addition to the known primary spectral components that are already modeled in high precision. We detect a weak unidentified excess emission feature at 18.4 Angstrom (18.1 Angstrom in the restframe). The feature is seen at >5 sigma statistical significance taking into account the look elsewhere effect. No known instrumental issues, atomic transitions, and astrophysical effects can explain this excess. The observed intensity of the possible feature seems to anti-correlate in time with the hardness ratio of the source. However, the variability might not be intrinsic, it might be caused by the time-variable obscuration by the outflows. An intriguing possibility is the line emission from charge exchange between a partially ionized outflow and a neutral layer in the same outflow, or in the close environment. Other possibilities, such as emission from a highly-ionized component with high outflowing speed, cannot be fully ruled out.


title: Off-diagonal bounds for the Dirichlet-to-Neumann operator

abstract: Let $\Omega$ be a bounded domain of $\mathbb{R}^{n+1}$ with $n \ge 1$. We assume that the boundary $\Gamma$ of $\Omega$ is Lipschitz. Consider the Dirichlet-to-Neumann operator $N_0$ associated with a system in divergence form of size $m$ with real symmetric and H\''older continuous coefficients. We prove $L^p(\Gamma)\to L^q(\Gamma)$ off-diagonal bounds of the form$$ \| 1_F e^{-t N_0} 1_E f \|_q \lesssim (t \wedge 1)^{\frac{n}{q}-\frac{n}{p}} \left( 1 + \frac{dist(E,F)}{t} \right)^{-1} \| 1_E f \|_p$$for all measurable subsets $E$ and $F$ of $\Gamma$. If $\Gamma$ is $C^{1+ \kappa}$ for some $\kappa > 0$ and $m=1$, we obtain a sharp estimate in the sense that $ \left( 1 + \frac{dist(E,F)}{t} \right)^{-1}$ can be replaced by$ \left( 1 + \frac{dist(E,F)}{t} \right)^{-(1 + \frac{n}{p} - \frac{n}{q})}$. Such bounds are also valid for complex time. For $n=1$, we apply our off-diagonal bounds to prove that the Dirichlet-to-Neumann operator associated with a system generates an analytic semigroup on $L^p(\Gamma)$ for all $p \in (1, \infty)$. In addition, the corresponding evolution problem has $L^q(L^p)$-maximal regularity.


title: Time-periodic solution to nonhomogeneous isentropic compressible Euler equations with time-periodic boundary conditions

abstract: In this paper, we study one-dimensional nonhomogeneous isentropic compressible Euler equations with time-periodic boundary conditions. With the aid of the energy methods, we prove the existence and uniqueness of the time-periodic supersonic solutions after some certain time.


title: Weak $\mathcal Z$-structures and one-relator groups

abstract: Motivated by the notion of boundary for hyperbolic and $CAT(0)$ groups, M. Bestvina in "Local Homology Properties of Boundaries of Groups" introduced the notion of a (weak) $\mathcal Z$-structure and (weak) $\mathcal Z$-boundary for a group $G$ of type $\mathcal F$ (i.e., having a finite $K(G,1)$ complex), with implications concerning the Novikov conjecture for $G$. Since then, some classes of groups have been shown to admit a weak $\mathcal Z$-structure (see "Weak $\mathcal Z$-structures for some classes of groups" by C.R. Guilbault for example), but the question whether or not every group of type $\mathcal F$ admits such a structure remains open. In this paper, we show that every torsion free one-relator group admits a weak $\mathcal Z$-structure, by showing that they are all properly aspherical at infinity; moreover, in the $1$-ended case the corresponding weak $\mathcal Z$-boundary has the shape of either a circle or a Hawaiian earring depending on whether the group is a virtually surface group or not. Finally, we extend this result to a wider class of groups still satisfying a Freiheitssatz property.


title: Solving the unit-load pre-marshalling problem in block stacking storage systems with multiple access directions

abstract: Block stacking storage systems are highly adaptable warehouse systems with low investment costs. With multiple, deep lanes they can achieve high storage densities, but accessing some unit loads can be time-consuming. The unit-load pre-marshalling problem sorts the unit loads in a block stacking storage system in off-peak time periods to prepare for upcoming orders. The goal is to find a minimum number of unit-load moves needed to sequence a storage bay in ascending order based on the retrieval priority group of each unit load. In this paper, we present two solution approaches for determining the minimum number of unit-load moves. We show that for storage bays with one access direction, it is possible to adapt existing, optimal tree search procedures and lower bound heuristics from the container pre-marshalling problem. For multiple access directions, we develop a novel, two-step solution approach based on a network flow model and an A* algorithm with an adapted lower bound that is applicable in all scenarios. We further analyze the performance of the presented solutions in computational experiments for randomly generated problem instances and show that multiple access directions greatly reduce both the total access time of unit loads and the required sorting effort.


title: Collective Dynamics of coupled Lorenz oscillators near the Hopf Boundary: Intermittency and Chimera states

abstract: We study collective dynamics of networks of mutually coupled identical Lorenz oscillators near subcritical Hopf bifurcation. This system shows induced multistable behavior with interesting spatio-temporal dynamics including synchronization, desynchronization and chimera states. We find this network may exhibit intermittent behavior due to the complex basin structures, where, temporal dynamics of the oscillators in the ensemble switches between different attractors. Consequently, different oscillators may show dynamics that is intermittently synchronized (or desynchronized), giving rise to {\it intermittent chimera states}. The behaviour of the intermittent laminar phases is characterized by the characteristic time spend in the synchronization manifold, which decays as power law. This intermittent dynamics is quite general and can be extended for large number of oscillators interacting with nonlocal, global and local coupling schemes.


title: Expert-LaSTS: Expert-Knowledge Guided Latent Space for Traffic Scenarios

abstract: Clustering traffic scenarios and detecting novel scenario types are required for scenario-based testing of autonomous vehicles. These tasks benefit from either good similarity measures or good representations for the traffic scenarios. In this work, an expert-knowledge aided representation learning for traffic scenarios is presented. The latent space so formed is used for successful clustering and novel scenario type detection. Expert-knowledge is used to define objectives that the latent representations of traffic scenarios shall fulfill. It is presented, how the network architecture and loss is designed from these objectives, thereby incorporating expert-knowledge. An automatic mining strategy for traffic scenarios is presented, such that no manual labeling is required. Results show the performance advantage compared to baseline methods. Additionally, extensive analysis of the latent space is performed.


title: LAMOST meets Gaia: The Galactic Open Clusters

abstract: Open Clusters are born and evolve along the Milky Way plane, on them is imprinted the history of the Galactic disc, including the chemical and dynamical evolution. Chemical and dynamical properties of open clusters can be derived from photometric, spectroscopic, and astrometric data of their member stars. Based on the photometric and astrometric data from the Gaia mission, the membership of stars in more than 2000 Galactic clusters has been identified in the literature. The chemical and kinematical properties, however, are still poorly known for many of these clusters. In synergy with the large spectroscopic survey LAMOST (data release 8) and Gaia (data release 2), we report a new comprehensive catalogue of 386 open clusters. This catalogue has homogeneous parameter determinations of radial velocity, metallicity, and dynamical properties, such as orbit, eccentricity, angular momenta, total energy, and 3D Galactic velocity. These parameters allow the first radial velocity determination and the first spectroscopic [Fe/H] determination for 44 and 137 clusters, respectively. The metallicity distribution of majority clusters shows falling trends in the parameter space of the Galactocentric radius, the total energy, and the Z component of angular momentum -- except for two old groups that show flat tails in their own parameter planes. Cluster populations of ages younger and older than 500 Myrs distribute diversely on the disc. The latter has a spatial consistency with the Galactic disc flare. The 3-D spatial comparison between very young clusters (< 100 Myr) and nearby molecular clouds revealed a wide range of metallicity distribution along the Radcliffe gas cloud wave, indicating a possible inhomogeneous mixing or fast star formation along the wave. This catalogue would serve the community as a useful tool to trace the chemical and dynamical evolution of the Milky Way.


title: Complex Hanner's Inequality for Many Functions

abstract: We establish Hanner's inequality for arbitrarily many functions in the setting where the Rademacher distribution is replaced with higher dimensional random vectors uniform on Euclidean spheres.


title: Orbit closures in flag varieties for the centralizer of an order-two nilpotent element : normality and resolutions for types A, B, D

abstract: Let G be a reductive algebraic group in classical types A, B, D and e be an element of its Lie algebra with Z its centraliser in G for the adjoint action. We suppose that e identifies with an nilpotent matrix of order two, which guarantees the number of Z-orbits in the flag variety of G is finite. For types B, D in characteristic two, we also suppose the image of e is totally isotropic. We show that any closure Y of such orbit is normal. We also prove that Y is Cohen-Macaulay with rational singularities provided that the base field is of characteristic zero, and that Cohen-Macaulayness remains in any characteristic for type A. We exhibit a birational, rational morphism onto Y involving Schubert varieties. Our work generalizes a result by N. Perrin and E. Smirnov on Springer fibers ([PS12]).


title: Verma Howe duality and LKB representations

abstract: We establish a version of Howe duality that involves a tensor product of Verma modules. Surprisingly, this duality leaves the realm of lowest and highest weight modules. We quantize this duality, and as an application, we prove that the (colored higher) LKB representations arise from this duality and use this description to show that they are simple as modules for the braid group and for various of its subgroups, including the pure braid group.


title: A polyanalytic functional calculus of order 2 on the S-spectrum

abstract: The Fueter theorem provides a two step procedure to build an axially monogenic function, i.e. a null-solutions of the Cauchy-Riemann operator in $ \mathbb{R}^4$, denoted by $ \mathcal{D}$. In the first step a holomorphic function is extended to a slice hyperholomorphic function, by means of the so-called slice operator. In the second step a monogenic function is built by applying the Laplace operator in four real variables ($\Delta$) to the slice hyperholomorphic function. In this paper we use the factorization of the Laplace operator, i.e. $\Delta= \mathcal{\overline{D}} \mathcal{D}$ to split the previous procedure. From this splitting we get a class of functions that lies between the set of slice hyperholomorphic functions and the set of axially monogenic functions: the set of axially polyanalytic functions of order 2, i.e. null-solutions of $ \mathcal{D}^2$. We show an integral representation formula for this kind of functions. The formula obtained is fundamental to define the associated functional calculus on the $S$-spectrum. As far as the authors know, this is the first time that a monogenic polyanalytic functional calculus has been taken into consideration.


title: Empowering Participation Within Structures of Dependency

abstract: Participatory Design (PD) seeks political change to support people's democratic control over processes, solutions, and, in general, matters of concern to them. A particular challenge remains in supporting vulnerable groups to gain power and control when they are dependent on organizations and external structures. We reflect on our five-year engagement with survivors of sex trafficking in Nepal and an anti-trafficking organization that supports the survivors. Arguing that the prevalence of deficit perspective in the setting promotes dependency and robs the survivors' agency, we sought to bring change by exploring possibilities based on the survivors' existing assets. Three configurations illuminate how our design decisions and collective exploration operate to empower participation while attending to the substantial power implicitly and explicitly manifest in existing structures. We highlight the challenges we faced, uncovering actions that PD practitioners can take, including an emphasis on collaborative entanglements, attending to contingent factors, and encouraging provisional collectives.


title: Smart Contract Assisted Blockchain based PKI System

abstract: The proposed smart contract can prevent seven cyber attacks, such as Denial of Service (DoS), Man in the Middle Attack (MITM), Distributed Denial of Service (DDoS), 51\%, Injection attacks, Routing Attack, and Eclipse attack. The Delegated Proof of Stake (DPoS) consensus algorithm used in this model reduces the number of validators for each transaction which makes it suitable for lightweight applications. The timing complexity of key/certificate validation and signature/certificate revocation processes do not depend on the number of transactions. The comparisons of various timing parameters with existing solutions show that the proposed PKI is competitively better.


title: Redshifted 21-cm bispectrum: Impact of the source models on the signal and the IGM physics from the Cosmic Dawn

abstract: The radiations from the first luminous sources drive the fluctuations in the 21-cm signal at Cosmic Dawn (CD) via two dominant astrophysical processes i.e. the Ly$\alpha$ coupling and X-ray heating, making this signal highly non-Gaussian. The impact of these processes on the 21-cm signal and its non-Gaussianity vary depending on the properties of these first sources of light. In this work, we consider different CD scenarios by varying two major source parameters i.e. the minimum halo mass $M_{\rm h,\, min}$ and X-ray photon production efficiency $f_{\rm X}$ in a 1D radiative transfer code GRIZZLY. We study the impact of variation in these source parameters on the large scale ($k_1 = 0.16 {\, \rm Mpc}^{-1}$) 21-cm bispectrum for all possible unique triangles in the Fourier domain. Our detailed and comparative analysis of the power spectrum and bispectrum shows that the shape, sign and magnitude of the bispectrum combinedly provide the best measure of the signal fluctuations and its non-Gaussianity compared to the power spectrum. We also conclude that it is important to study the sequence of sign changes along with the variations in the shape and magnitude of the bispectrum throughout the CD history to arrive at a robust conclusion about the dominant IGM processes at different cosmic times. We further observe that among all the possible unique $k$-triangles, the large-scale non-Gaussianity in signal is best probed by the small $k$-triangles in the squeezed limit and by triangles of similar shapes. This opens up the possibility of constraining the source parameters during the CD using the 21-cm bispectrum.


title: On the symmetric rearrangement of the gradient of a Sobolev function

abstract: In this paper, we generalize a classical comparison result for solutions to Hamilton-Jacobi equations with Dirichlet boundary conditions, to solutions to Hamilton-Jacobi equations with non-zero boundary trace. As a consequence, we prove the isoperimetric inequality for the torsional rigidity (with Robin boundary conditions) and for other functionals involving such boundary conditions.


title: Universality classes of the Anderson transitions driven by quasiperiodic potential in the three-dimensional Wigner-Dyson symmetry classes

abstract: Quasiperiodic system is an intermediate state between periodic and disordered systems with unique delocalization-localization transition driven by the quasiperiodic potential (QP). One of the intriguing questions is whether the universality class of the Anderson transition (AT) driven by QP is similar to that of the AT driven by the random potential in the same symmetry class. Here, we study the critical behavior of the ATs driven by QP in the three-dimensional (3D) Anderson model, Peierls phase model, and Ando model, which belong to the Wigner-Dyson symmetry classes. The localization length and two-terminal conductance have been calculated by the transfer matrix method, and we argue that their error estimations in statistics suffer from the correlation of QP. With the correlation under control, the critical exponents $\nu$ of the ATs driven by QP are estimated by the finite size scaling analysis of conductance, which are consistent with $\nu$'s of the ATs driven by the random potential. Moreover, the critical conductance distribution and the level spacing ratio distribution have been studied. We also find that a convolutional neural network trained by the localized/delocalized wavefunctions in a disordered system predicts the localized/delocalized wavefunctions in quasiperiodic systems. Our numerical results strongly support that the universality classes of the ATs driven by QP and random potential are similar in the 3D Wigner-Dyson symmetry classes.


title: Localized layers of turbulence in stratified horizontally sheared Poiseuille flow

abstract: This article presents a numerical analysis of the instability developing in horizontally sheared Poiseuille flow, when stratification extends along the vertical direction. Our study builds up on the previous work that originally detected the linear instability of such configuration, by means of experiments, theoretical analysis and numerical simulations \citep{G21}. We extend hereafter this former investigation beyond linear theory, investigating nonlinear regimes with direct numerical simulations. We notice that the flow loses its vertical homogeneity through a secondary bifurcation, due to harmonic resonances, and further describe this symmetry-breaking mechanism in the vicinity of the instability threshold. When departing away from this limit, we observe a series of bursting events that break down the flow into disordered motions driven by localized shear instabilities. This intermittent dynamics leads to the coexistence of horizontal localized layers of stratified turbulence surrounded by quiescent regions of meandering waves.


title: Anisotropic deformation of the 6-state clock model: Tricritical-point classification

abstract: The two-dimensional $q$-state clock models exhibit the Berezinskii-Kosterlitz-Thouless (BKT) transition for $q\geq5$ since they are a subset of the isotropic XY model. We examine the $6$-state clock model with an anisotropic deformation. Selecting the $6$-state Potts model as a source of the deformation, the model naturally violates the discrete rotational symmetry of the clock model. We introduce the anisotropic deformation parameter $\alpha$ in the clock model interpolating the clock ($\alpha = 1$) and the Potts ($\alpha = 0$) models. We employ the corner transfer matrix renormalization group method to analyze the phase transitions on the square lattice in the thermodynamic limit. Three different phases and phase transitions are identified. The phase diagram is constructed, and we determine a tricritical point at $\alpha_{\rm c} = 0.21405(4)$ and $T_{\rm c} = 0.834017(5)$. Analyzing the latent heat and the entanglement entropy in the vicinity of the $T_{\rm c}(\alpha_{\rm c})$, we observe a single discontinuous phase transition and two BKT phase transitions meeting in the tricritical point. The tricritical point exhibits a phase transition of the second order with the critical exponents $\beta \approx 1/10$ and $\delta \approx 14$. We conjecture that an infinitesimal surrounding of the tricritical point consists of the three fundamental phase transitions, in which the first and the BKT orders gradually weaken into the second-order tricritical point.


title: Realistic sources, receivers and walls improve the generalisability of virtually-supervised blind acoustic parameter estimators

abstract: Blind acoustic parameter estimation consists in inferring the acoustic properties of an environment from recordings of unknown sound sources. Recent works in this area have utilized deep neural networks trained either partially or exclusively on simulated data, due to the limited availability of real annotated measurements. In this paper, we study whether a model purely trained using a fast image-source room impulse response simulator can generalize to real data. We present an ablation study on carefully crafted simulated training sets that account for different levels of realism in source, receiver and wall responses. The extent of realism is controlled by the sampling of wall absorption coefficients and by applying measured directivity patterns to microphones and sources. A state-of-the-art model trained on these datasets is evaluated on the task of jointly estimating the room's volume, total surface area, and octave-band reverberation times from multiple, multichannel speech recordings. Results reveal that every added layer of simulation realism at train time significantly improves the estimation of all quantities on real signals.


title: Multi-Dimensional Chocolate and Nim with a Pass

abstract: Chocolate-bar games are variants of the CHOMP game. A three-dimensional chocolate bar comprises a set of cubic boxes sized 1 X 1 X 1, with a bitter cubic box at the bottom of the column at position (0,0). For non-negative integers u,w such that u < x and w \< z, the height of the column at position (u,w) is min (F(u,w),y) +1, where F is a monotonically increasing function. We denote this chocolate bar as CB(F,x,y,z). Each player, in turn, cuts the bar on a plane that is horizontal or vertical along the grooves, and eats the broken piece. The player who manages to leave the opponent with the single bitter cubic box is the winner. In this study, functions F such that the Sprague--Grundy value of CB(F,x,y,z) is x xor y xor z are characterized. We have already published the research on three-dimensional chocolate games. In this paper, the authors study a multi-dimensional chocolate game, where the dimension is more than three, and apply the theory to the problem of pass move in Nim. We modify the standard rules of the game to allow a one-time pass, that is, a pass move that may be used at most once in the game and not from a terminal position. Once a pass has been used by either player, it is no longer available. It is well-known that in classical Nim, the introduction of the pass alters the underlying structure of the game, significantly increasing its complexity. A multi-dimensional chocolate game can show a perspective on the complexity of the game of Nim with a pass. Therefore, the authors address a longstanding open question in combinatorial game theory. The authors present this paper, since their discovery seems to be significant. It appears to the authors that the relation between chocolate games and Nim with a pass will be an essential research topic soon.


title: Shrinking the Semantic Gap: Spatial Pooling of Local Moment Invariants for Copy-Move Forgery Detection

abstract: Copy-move forgery is a manipulation of copying and pasting specific patches from and to an image, with potentially illegal or unethical uses. Recent advances in the forensic methods for copy-move forgery have shown increasing success in detection accuracy and robustness. However, for images with high self-similarity or strong signal corruption, the existing algorithms often exhibit inefficient processes and unreliable results. This is mainly due to the inherent semantic gap between low-level visual representation and high-level semantic concept. In this paper, we present a very first study of trying to mitigate the semantic gap problem in copy-move forgery detection, with spatial pooling of local moment invariants for midlevel image representation. Our detection method expands the traditional works on two aspects: 1) we introduce the bag-of-visual-words model into this field for the first time, may meaning a new perspective of forensic study; 2) we propose a word-to-phrase feature description and matching pipeline, covering the spatial structure and visual saliency information of digital images. Extensive experimental results show the superior performance of our framework over state-of-the-art algorithms in overcoming the related problems caused by the semantic gap.


title: Nonlinear Model Predictive Control Framework For Cooperative Three-Agent Target Defense Game

abstract: This paper presents cooperative target defense guidance strategies using nonlinear model predictive control (NMPC) framework for a target-attacker-defender (TAD) game. The TAD game consists of an attacker and a cooperative target-defender pair. The attacker's objective is to capture the target, whereas the target-defender team acts together such that the defender can intercept the attacker and ensure target survival. We assume that the cooperative target-defender pair do not have perfect knowledge of the attacker states, and hence the states are estimated using an Extended Kalman Filter (EKF). The capture analysis based on the Apollonius circles is performed to identify the target survival regions. The efficacy of the NMPC-based solution is evaluated through extensive numerical simulations. The results show that the NMPC-based solution offers robustness to the different unknown attacker models and has better performance than CLOS and A-CLOS based strategies.


title: ParticleSfM: Exploiting Dense Point Trajectories for Localizing Moving Cameras in the Wild

abstract: Estimating the pose of a moving camera from monocular video is a challenging problem, especially due to the presence of moving objects in dynamic environments, where the performance of existing camera pose estimation methods are susceptible to pixels that are not geometrically consistent. To tackle this challenge, we present a robust dense indirect structure-from-motion method for videos that is based on dense correspondence initialized from pairwise optical flow. Our key idea is to optimize long-range video correspondence as dense point trajectories and use it to learn robust estimation of motion segmentation. A novel neural network architecture is proposed for processing irregular point trajectory data. Camera poses are then estimated and optimized with global bundle adjustment over the portion of long-range point trajectories that are classified as static. Experiments on MPI Sintel dataset show that our system produces significantly more accurate camera trajectories compared to existing state-of-the-art methods. In addition, our method is able to retain reasonable accuracy of camera poses on fully static scenes, which consistently outperforms strong state-of-the-art dense correspondence based methods with end-to-end deep learning, demonstrating the potential of dense indirect methods based on optical flow and point trajectories. As the point trajectory representation is general, we further present results and comparisons on in-the-wild monocular videos with complex motion of dynamic objects. Code is available at https://github.com/bytedance/particle-sfm.


title: A quest for the origin of the Sagnac effect

abstract: In the literature, there is no consensus on the origin of the relativistic Sagnac effect, particularly from the standpoint of the rotating observer. The experiments of Wang et al. \cite{wang2003modified,wang2004generalized} has, however, questioned the pivotal role of rotation of the platform in Sagnac effect. Recently, the relative motion between the reflectors which force light to propagate along a closed path and the observer has been ascribed as the cause of the Sagnac effect. Here, we propose a thought experiment on linear Sagnac effect and explore another one proposed earlier to demonstrate that the origin of the Sagnac effect is neither the rotation of frame affecting clock synchronization nor the relative motion between the source and the observer; Sagnac effect originates purely due to asymmetric position of the observer with respect to the light paths. Such a conclusion is validated by analysis of a gedanken Sagnac kind experiment involving rotation.


title: Heterogeneous Treatment Effect with Trained Kernels of the Nadaraya-Watson Regression

abstract: A new method for estimating the conditional average treatment effect is proposed in the paper. It is called TNW-CATE (the Trainable Nadaraya-Watson regression for CATE) and based on the assumption that the number of controls is rather large whereas the number of treatments is small. TNW-CATE uses the Nadaraya-Watson regression for predicting outcomes of patients from the control and treatment groups. The main idea behind TNW-CATE is to train kernels of the Nadaraya-Watson regression by using a weight sharing neural network of a specific form. The network is trained on controls, and it replaces standard kernels with a set of neural subnetworks with shared parameters such that every subnetwork implements the trainable kernel, but the whole network implements the Nadaraya-Watson estimator. The network memorizes how the feature vectors are located in the feature space. The proposed approach is similar to the transfer learning when domains of source and target data are similar, but tasks are different. Various numerical simulation experiments illustrate TNW-CATE and compare it with the well-known T-learner, S-learner and X-learner for several types of the control and treatment outcome functions. The code of proposed algorithms implementing TNW-CATE is available in https://github.com/Stasychbr/TNW-CATE.


title: Passive quantum measurement: Arrival time, quantum Zeno effect and gambler's fallacy

abstract: Classical measurements are passive, in the sense that they do not affect the physical properties of the measured system. Normally, quantum measurements are not passive in that sense. In the infinite dimensional Hilbert space, however, we find that quantum projective measurement can be passive in a way which is impossible in finite dimensional Hilbert spaces. Specifically, we find that expectation value of a hermitian Hamiltonian can have an imaginary part in the infinite dimensional Hilbert space and that such an imaginary part implies a possibility to avoid quantum Zeno effect, which can physically be realized in quantum arrival experiments. The avoidance of quantum Zeno effect can also be understood as avoidance of a quantum version of gambler's fallacy, leading to the notion of passive quantum measurement that updates information about the physical system without affecting its physical properties. The arrival time probability distribution of a particle is found to be given by the flux of the probability current. Possible negative fluxes correspond to regimes at which there is no arrival at all, physically understood as regimes at which the particle departs rather than arrives.


title: Using Neural Networks by Modelling Semi-Active Shock Absorber

abstract: A permanently increasing number of on-board automotive control systems requires new approaches to their digital mapping that improves functionality in terms of adaptability and robustness as well as enables their easier on-line software update. As it can be concluded from many recent studies, various methods applying neural networks (NN) can be good candidates for relevant digital twin (DT) tools in automotive control system design, for example, for controller parameterization and condition monitoring. However, the NN-based DT has strong requirements to an adequate amount of data to be used in training and design. In this regard, the paper presents an approach, which demonstrates how the regression tasks can be efficiently handled by the modeling of a semi-active shock absorber within the DT framework. The approach is based on the adaptation of time series augmentation techniques to the stationary data that increases the variance of the latter. Such a solution gives a background to elaborate further data engineering methods for the data preparation of sophisticated databases.


title: Existentially Quantified Systems of Equations as an Implicit Representation of Answers in Logic Programming

abstract: In this paper we present an alternative approach to formalize the theory of logic programming. In this formalization we allow existential quantified variables and equations in queries. In opposite to standard approaches the role of answer will be played by existentially quantified systems of equations. This allows us to avoid problems when we deal with substitutions. In particular, we need no ''global'' variable separated conditions when new variables are introduced by input clauses. Moreover, this formalization can be regarded as a basis for the theory of concurrent logic languages, since it also includes a wide spectrum of parallel computational methods. Moreover, the parallel composition of answers can be defined directly -- as a consistent conjunction of answers.


title: What Matters for 3D Scene Flow Network

abstract: 3D scene flow estimation from point clouds is a low-level 3D motion perception task in computer vision. Flow embedding is a commonly used technique in scene flow estimation, and it encodes the point motion between two consecutive frames. Thus, it is critical for the flow embeddings to capture the correct overall direction of the motion. However, previous works only search locally to determine a soft correspondence, ignoring the distant points that turn out to be the actual matching ones. In addition, the estimated correspondence is usually from the forward direction of the adjacent point clouds, and may not be consistent with the estimated correspondence acquired from the backward direction. To tackle these problems, we propose a novel all-to-all flow embedding layer with backward reliability validation during the initial scene flow estimation. Besides, we investigate and compare several design choices in key components of the 3D scene flow network, including the point similarity calculation, input elements of predictor, and predictor & refinement level design. After carefully choosing the most effective designs, we are able to present a model that achieves the state-of-the-art performance on FlyingThings3D and KITTI Scene Flow datasets. Our proposed model surpasses all existing methods by at least 38.2% on FlyingThings3D dataset and 24.7% on KITTI Scene Flow dataset for EPE3D metric. We release our codes at https://github.com/IRMVLab/3DFlow.


title: The application of encoder-decoder neural networks in high accuracy and efficiency slit-scan emittance measurements

abstract: A superconducting radio-frequency (SRF) photo injector is in operation at the electron linac for beams with high brilliance and low emittance (ELBE) radiation center and generates continuous wave (CW) electron beams with high average current and high brightness for user operation since 2018. The speed of emittance measurement at the SRF gun beamline can be increased by improving the slit-scan system, thus the measurement time for one phase space mapping can be shortened from about 15 minutes to 90 seconds. A parallel algorithm and machine learning have been used to reduce the beamlet image noise. In order to estimate the uncertainty in the calculation of normalized emittance, we analyze the main error contributions such as slit position uncertainty, image noise, space charge effects and energy measurement inaccuracy.


title: GAFX: A General Audio Feature eXtractor

abstract: Most machine learning models for audio tasks are dealing with a handcrafted feature, the spectrogram. However, it is still unknown whether the spectrogram could be replaced with deep learning based features. In this paper, we answer this question by comparing the different learnable neural networks extracting features with a successful spectrogram model and proposed a General Audio Feature eXtractor (GAFX) based on a dual U-Net (GAFX-U), ResNet (GAFX-R), and Attention (GAFX-A) modules. We design experiments to evaluate this model on the music genre classification task on the GTZAN dataset and perform a detailed ablation study of different configurations of our framework and our model GAFX-U, following the Audio Spectrogram Transformer (AST) classifier achieves competitive performance.


title: Forests and the Strong Erdos-Hajnal Property

abstract: An equivalent directed version of the celebrated unresolved conjecture of Erdos and Hajnal proposed by Alon et al. states that for every tournament H there exists epsilon(H) > 0 such that every H-free n-vertex tournament T contains a transitive subtournament of order at least n^(epsilon(H)). A tournament H has the strong EH-property if there exists c > 0 such that for every H-free tournament T with |T| > 1, there exist disjoint vertex subsets A and B, each of cardinality at least c|T| and every vertex of A is adjacent to every vertex of B. Berger et al. proved that the unique five-vertex tournament denoted by C5, where every vertex has two inneighbors and two outneighbors has the strong EH-property. It is known that every tournament with the strong EH-property also has the EH-property. In this paper we construct an infinite class of tournaments - the so-called spiral galaxies and we prove that every spiral galaxy has the strong EH-property.


title: Horseshoe priors for edge-preserving linear Bayesian inversion

abstract: In many large-scale inverse problems, such as computed tomography and image deblurring, characterization of sharp edges in the solution is desired. Within the Bayesian approach to inverse problems, edge-preservation is often achieved using Markov random field priors based on heavy-tailed distributions. Another strategy, popular in statistics, is the application of hierarchical shrinkage priors. An advantage of this formulation lies in expressing the prior as a conditionally Gaussian distribution depending of global and local hyperparameters which are endowed with heavy-tailed hyperpriors. In this work, we revisit the shrinkage horseshoe prior and introduce its formulation for edge-preserving settings. We discuss a sampling framework based on the Gibbs sampler to solve the resulting hierarchical formulation of the Bayesian inverse problem. In particular, one of the conditional distributions is high-dimensional Gaussian, and the rest are derived in closed form by using a scale mixture representation of the heavy-tailed hyperpriors. Applications from imaging science show that our computational procedure is able to compute sharp edge-preserving posterior point estimates with reduced uncertainty.


title: A characterisation of orthomodular spaces by Sasaki maps

abstract: Given a Hilbert space $H$, the set $P(H)$ of one-dimensional subspaces of $H$ becomes an orthoset when equipped with the orthogonality relation $\perp$ induced by the inner product on $H$. Here, an \emph{orthoset} is a pair $(X,\perp)$ of a set $X$ and a symmetric, irreflexive binary relation $\perp$ on $X$. In this contribution, we investigate what conditions on an orthoset $(X,\perp)$ are sufficient to conclude that the orthoset is isomorphic to $(P(H),\perp)$ for some orthomodular space $H$, where \emph{orthomodular spaces} are linear spaces that generalize Hilbert spaces. In order to achieve this goal, we introduce \emph{Sasaki maps} on orthosets, which are strongly related to Sasaki projections on orthomodular lattices. We show that any orthoset $(X,\perp)$ with sufficiently many Sasaki maps is isomorphic to $(P(H),\perp)$ for some orthomodular space, and we give more conditions on $(X,\perp)$ to assure that $H$ is actually a Hilbert space over $\mathbb R$, $\mathbb C$ or $\mathbb H$.


title: Hidden Granular Superconductivity Above 500K in off-the-shelf graphite materials

abstract: It has been reported that graphite hosts room temperature superconductivity. Here we provide new results that confirm these claims on different samples of highly oriented pyrolytic graphite (HOPG) and commercial flexible graphite gaskets (FGG). After subtraction of the intrinsic graphite diamagnetism, magnetization measurements show convoluted ferromagnetism and superconducting-like hysteresis loops. The ferromagnetism is deconvoluted by fitting with a sigmoidal function and subtracting it from the data. The obtained superconducting-like hysteresis loops are followed to the highest available temperature, 400K. The extrapolation of the decrease of its moment width with temperature indicates a transition temperature T$_{c}$$\sim$ 550K$\pm$50K for all samples. Electrical resistance measurements confirm the existence at these temperatures of a transition in HOPG samples, albeit without percolation. Besides, the FGG show transitions at temperatures (70K, 270K) near to those reported previously on intercalated-deintercalated graphite, confirming the general character of these superconducting transitions. These results are the first steps in the unveiling of the above room temperature superconductivity of graphite.


title: On the Usability of Transformers-based models for a French Question-Answering task

abstract: For many tasks, state-of-the-art results have been achieved with Transformer-based architectures, resulting in a paradigmatic shift in practices from the use of task-specific architectures to the fine-tuning of pre-trained language models. The ongoing trend consists in training models with an ever-increasing amount of data and parameters, which requires considerable resources. It leads to a strong search to improve resource efficiency based on algorithmic and hardware improvements evaluated only for English. This raises questions about their usability when applied to small-scale learning problems, for which a limited amount of training data is available, especially for under-resourced languages tasks. The lack of appropriately sized corpora is a hindrance to applying data-driven and transfer learning-based approaches with strong instability cases. In this paper, we establish a state-of-the-art of the efforts dedicated to the usability of Transformer-based models and propose to evaluate these improvements on the question-answering performances of French language which have few resources. We address the instability relating to data scarcity by investigating various training strategies with data augmentation, hyperparameters optimization and cross-lingual transfer. We also introduce a new compact model for French FrALBERT which proves to be competitive in low-resource settings.


title: Mixed identities, hereditarily separated actions and oscillation

abstract: Given a topological $G$-space we consider equations with parameters over $G$. In particular we formulate some very general conditions on words with parameters $w(\bar{y},\bar{g})$ over $G$ which guarantee that the inequality $w(\bar{y},\bar{g})\neq 1$ has a solution in $G$. These results are illustrated in some typical situations, in particular standard actions of Thompson's group $F$ and branch groups are considered. The major results of this paper appeared in some form in Section 2 of the PhD thesis of the second author (avalable at arXiv:1308.6330).


title: Benchmarking Transformers-based models on French Spoken Language Understanding tasks

abstract: In the last five years, the rise of the self-attentional Transformer-based architectures led to state-of-the-art performances over many natural language tasks. Although these approaches are increasingly popular, they require large amounts of data and computational resources. There is still a substantial need for benchmarking methodologies ever upwards on under-resourced languages in data-scarce application conditions. Most pre-trained language models were massively studied using the English language and only a few of them were evaluated on French. In this paper, we propose a unified benchmark, focused on evaluating models quality and their ecological impact on two well-known French spoken language understanding tasks. Especially we benchmark thirteen well-established Transformer-based models on the two available spoken language understanding tasks for French: MEDIA and ATIS-FR. Within this framework, we show that compact models can reach comparable results to bigger ones while their ecological impact is considerably lower. However, this assumption is nuanced and depends on the considered compression method.


title: An efficient numerical method based on exponential B-splines for time-fractional Black-Scholes equation governing European options

abstract: In this paper a time-fractional Black-Scholes model (TFBSM) is considered to study the price change of the underlying fractal transmission system. We develop and analyze a numerical method to solve the TFBSM governing European options. The numerical method combines the exponential B-spline collocation to discretize in space and a finite difference method to discretize in time. The method is shown to be unconditionally stable using von-Neumann analysis. Also, the method is proved to be convergent of order two in space and $2-\mu$ is time, where $\mu$ is order of the fractional derivative. We implement the method on various numerical examples in order to illustrate the accuracy of the method, and validation of the theoretical findings. In addition, as an application, the method is used to price several different European options such as the European call option, European put option, and European double barrier knock-out call option.


title: Investigating Bayesian optimization for expensive-to-evaluate black box functions: Application in fluid dynamics

abstract: Bayesian optimization provides an effective method to optimize expensive-to-evaluate black box functions. It has been widely applied to problems in many fields, including notably in computer science, e.g. in machine learning to optimize hyperparameters of neural networks, and in engineering, e.g. in fluid dynamics to optimize control strategies that maximize drag reduction. This paper empirically studies and compares the performance and the robustness of common Bayesian optimization algorithms on a range of synthetic test functions to provide general guidance on the design of Bayesian optimization algorithms for specific problems. It investigates the choice of acquisition function, the effect of different numbers of training samples, the exact and Monte Carlo based calculation of acquisition functions, and both single-point and multi-point optimization. The test functions considered cover a wide selection of challenges and therefore serve as an ideal test bed to understand the performance of Bayesian optimization to specific challenges, and in general. To illustrate how these findings can be used to inform a Bayesian optimization setup tailored to a specific problem, two simulations in the area of computational fluid dynamics are optimized, giving evidence that suitable solutions can be found in a small number of evaluations of the objective function for complex, real problems. The results of our investigation can similarly be applied to other areas, such as machine learning and physical experiments, where objective functions are expensive to evaluate and their mathematical expressions are unknown.


title: PaMILO: A Solver for Multi-Objective Mixed Integer Linear Optimization and Beyond

abstract: In multi-objective optimization, several potentially conflicting objective functions need to be optimized. Instead of one optimal solution, we look for the set of so called non-dominated solutions. An important subset is the set of non-dominated extreme points. Finding it is a computationally hard problem in general. While solvers for similar problems exist, there are none known for multi-objective mixed integer linear programs (MOMILPs) or multi-objective mixed integer quadratically constrained quadratic programs (MOMIQCQPs). We present PaMILO, the first solver for finding non-dominated extreme points of MOMILPs and MOMIQCQPs. It can be found on github under github.com/FritzBo/PaMILO. PaMILO provides an easy-to-use interface and is implemented in C++17. It solves occurring subproblems employing either CPLEX or Gurobi. PaMILO adapts the Dual-Benson algorithm for multi-objective linear programming (MOLP). As it was previously only defined for MOLPs, we describe how it can be adapted for MOMILPs, MOMIQCQPs and even more problem classes in the future.


title: Learning Mutual Modulation for Self-Supervised Cross-Modal Super-Resolution

abstract: Self-supervised cross-modal super-resolution (SR) can overcome the difficulty of acquiring paired training data, but is challenging because only low-resolution (LR) source and high-resolution (HR) guide images from different modalities are available. Existing methods utilize pseudo or weak supervision in LR space and thus deliver results that are blurry or not faithful to the source modality. To address this issue, we present a mutual modulation SR (MMSR) model, which tackles the task by a mutual modulation strategy, including a source-to-guide modulation and a guide-to-source modulation. In these modulations, we develop cross-domain adaptive filters to fully exploit cross-modal spatial dependency and help induce the source to emulate the resolution of the guide and induce the guide to mimic the modality characteristics of the source. Moreover, we adopt a cycle consistency constraint to train MMSR in a fully self-supervised manner. Experiments on various tasks demonstrate the state-of-the-art performance of our MMSR.


title: On the cross-lingual transferability of multilingual prototypical models across NLU tasks

abstract: Supervised deep learning-based approaches have been applied to task-oriented dialog and have proven to be effective for limited domain and language applications when a sufficient number of training examples are available. In practice, these approaches suffer from the drawbacks of domain-driven design and under-resourced languages. Domain and language models are supposed to grow and change as the problem space evolves. On one hand, research on transfer learning has demonstrated the cross-lingual ability of multilingual Transformers-based models to learn semantically rich representations. On the other, in addition to the above approaches, meta-learning have enabled the development of task and language learning algorithms capable of far generalization. Through this context, this article proposes to investigate the cross-lingual transferability of using synergistically few-shot learning with prototypical neural networks and multilingual Transformers-based models. Experiments in natural language understanding tasks on MultiATIS++ corpus shows that our approach substantially improves the observed transfer learning performances between the low and the high resource languages. More generally our approach confirms that the meaningful latent space learned in a given language can be can be generalized to unseen and under-resourced ones using meta-learning.


title: FedX: Unsupervised Federated Learning with Cross Knowledge Distillation

abstract: This paper presents FedX, an unsupervised federated learning framework. Our model learns unbiased representation from decentralized and heterogeneous local data. It employs a two-sided knowledge distillation with contrastive learning as a core component, allowing the federated system to function without requiring clients to share any data features. Furthermore, its adaptable architecture can be used as an add-on module for existing unsupervised algorithms in federated settings. Experiments show that our model improves performance significantly (1.58--5.52pp) on five unsupervised algorithms.


title: Couplage Global-Local en asynchrone pour des probl\`emes lin\'eaires

abstract: An asynchronous parallel version of the non-intrusive global-local coupling is implemented. The case of many patches, including those covering the entire structure, is studied. The asynchronism limits the dependency on communications, failures, and load imbalance. We detail the method and illustrate its performance in an academic case.


title: ANDICAM I and J band monitoring of bright inner Galactic late-type stars

abstract: Time-series photometry in I and J band of 57 inner Galactic late-type stars, highly-probable red supergiant (RSG) stars, is here presented. 38% of the sample presents significant photometric variations. The variations in I and J band appear to be correlated, with DeltaI = DeltaJ x 2.2, DeltaI variations ranging from 0.04-1.08 mag, DeltaJ variations from 0.03-0.52 mag. New short periods (< 1000 d) could be estimated for 8 stars and range from 167-433 d. This work confirms that the sample is not contaminated by large-amplitude Asymptotic Giant Branch (AGB) stars. Furthermore, despite the large errors in distance, the period-luminosity diagram suggests that the sample is populating the same sequence as the known Galactic RSGs.


title: Single Stage Virtual Try-on via Deformable Attention Flows

abstract: Virtual try-on aims to generate a photo-realistic fitting result given an in-shop garment and a reference person image. Existing methods usually build up multi-stage frameworks to deal with clothes warping and body blending respectively, or rely heavily on intermediate parser-based labels which may be noisy or even inaccurate. To solve the above challenges, we propose a single-stage try-on framework by developing a novel Deformable Attention Flow (DAFlow), which applies the deformable attention scheme to multi-flow estimation. With pose keypoints as the guidance only, the self- and cross-deformable attention flows are estimated for the reference person and the garment images, respectively. By sampling multiple flow fields, the feature-level and pixel-level information from different semantic areas are simultaneously extracted and merged through the attention mechanism. It enables clothes warping and body synthesizing at the same time which leads to photo-realistic results in an end-to-end manner. Extensive experiments on two try-on datasets demonstrate that our proposed method achieves state-of-the-art performance both qualitatively and quantitatively. Furthermore, additional experiments on the other two image editing tasks illustrate the versatility of our method for multi-view synthesis and image animation.


title: Global and Local Features through Gaussian Mixture Models on Image Semantic Segmentation

abstract: The semantic segmentation task aims at dense classification at the pixel-wise level. Deep models exhibited progress in tackling this task. However, one remaining problem with these approaches is the loss of spatial precision, often produced at the segmented objects' boundaries. Our proposed model addresses this problem by providing an internal structure for the feature representations while extracting a global representation that supports the former. To fit the internal structure, during training, we predict a Gaussian Mixture Model from the data, which, merged with the skip connections and the decoding stage, helps avoid wrong inductive biases. Furthermore, our results show that we can improve semantic segmentation by providing both learning representations (global and local) with a clustering behavior and combining them. Finally, we present results demonstrating our advances in Cityscapes and Synthia datasets.


title: Urdu Speech and Text Based Sentiment Analyzer

abstract: Discovering what other people think has always been a key aspect of our information-gathering strategy. People can now actively utilize information technology to seek out and comprehend the ideas of others, thanks to the increased availability and popularity of opinion-rich resources such as online review sites and personal blogs. Because of its crucial function in understanding people's opinions, sentiment analysis (SA) is a crucial task. Existing research, on the other hand, is primarily focused on the English language, with just a small amount of study devoted to low-resource languages. For sentiment analysis, this work presented a new multi-class Urdu dataset based on user evaluations. The tweeter website was used to get Urdu dataset. Our proposed dataset includes 10,000 reviews that have been carefully classified into two categories by human experts: positive, negative. The primary purpose of this research is to construct a manually annotated dataset for Urdu sentiment analysis and to establish the baseline result. Five different lexicon- and rule-based algorithms including Naivebayes, Stanza, Textblob, Vader, and Flair are employed and the experimental results show that Flair with an accuracy of 70% outperforms other tested algorithms.


title: Micromagnetic simulation of neutron scattering from spherical nanoparticles: Effect of pore-type defects

abstract: We employ micromagnetic simulations to model the effect of pore-type microstructural defects on the magnetic small-angle neutron scattering cross section and the related pair-distance distribution function of spherical magnetic nanoparticles. Our expression for the magnetic energy takes into account the isotropic exchange interaction, the magnetocrystalline anisotropy, the dipolar interaction, and an externally applied magnetic field. The signatures of the defects and the role of the dipolar energy are highlighted and the effect of a particle-size distribution is studied. The results serve as a guideline to the experimentalist.


title: A Multi-Stage Framework for the 2022 Multi-Structure Segmentation for Renal Cancer Treatment

abstract: Three-dimensional (3D) kidney parsing on computed tomography angiography (CTA) images is of great clinical significance. Automatic segmentation of kidney, renal tumor, renal vein and renal artery benefits a lot on surgery-based renal cancer treatment. In this paper, we propose a new nnhra-unet network, and use a multi-stage framework which is based on it to segment the multi-structure of kidney and participate in the KiPA2022 challenge.


title: Regular subspaces of symmetric stable processes

abstract: Roughly speaking, regular subspaces are regular Dirichlet forms that inherit the original forms with smaller domains. In this paper, regular subspaces of 1-dim symmetric $\alpha$-stable processes are considered. The main result is that it admits proper regular subspaces if and only if $\alpha\in [1,2]$. Moreover, for $\alpha\in(1,2)$, the characterization of the regular subspaces is given. General 1-dim symmetric L\'evy processes will also be investigated. It will be shown that whether it has proper regular subspaces is closely related to whether its sample paths have finite variation.


title: Visual Notations in Container Orchestrations: An Empirical Study with Docker Compose

abstract: Context: Container orchestration tools supporting infrastructure-as-code allow new forms of collaboration between developers and operatives. Still, their text-based nature permits naive mistakes and is more difficult to read as complexity increases. We can find few examples of low-code approaches for defining the orchestration of containers, and there seems to be a lack of empirical studies showing the benefits and limitations of such approaches. Goal & method: We hypothesize that a complete visual notation for Docker-based orchestrations could reduce the effort, the error rate, and the development time. Therefore, we developed a tool featuring such a visual notation for Docker Compose configurations, and we empirically evaluated it in a controlled experiment with novice developers. Results: The results show a significant reduction in development time and error-proneness when defining Docker Compose files, supporting our hypothesis. The participants also thought the prototype easier to use and useful, and wanted to use it in the future.


title: HKT manifolds: Hodge theory, formality and balanced metrics

abstract: Let $(M,I,J,K,\Omega)$ be a compact HKT manifold and denote with $\partial$ the conjugate Dolbeault operator with respect to $I$, $\partial_J:=J^{-1}\overline\partial J$, $\partial^\Lambda:=[\partial,\Lambda]$ where $\Lambda$ is the adjoint of $L:=\Omega\wedge-$. Under suitable assumptions, we study Hodge theory for the complexes $(A^{\bullet,0},\partial,\partial_J)$ and $(A^{\bullet,0},\partial,\partial^\Lambda)$ showing a similar behavior to K\"ahler manifolds. In particular, several relations among the Laplacians, the spaces of harmonic forms and the associated cohomology groups, together with Hard Lefschetz properties, are proved. Moreover, we show that for a compact HKT $\mathrm{SL}(n,\mathbb{H})$-manifold the differential graded algebra $(A^{\bullet,0},\partial)$ is formal and this will lead to an obstruction for the existence of an HKT $\mathrm{SL}(n,\mathbb{H})$-structure $(I,J,K,\Omega)$ on a compact complex manifold $(M,I)$. Finally, balanced HKT structures on solvmanifolds are studied.


title: Four bright eclipsing binaries with gamma Doradus pulsating components: CM Lac, MZ Lac, RX Dra and V2077 Cyg

abstract: The study of pulsating stars in eclipsing binaries holds the promise of combining two different ways of measuring the physical properties of a star to obtain improved constraints on stellar theory. Gravity (g) mode pulsations such as those found in $\gamma$ Doradus stars can be used to probe rotational profiles, mixing and magnetic fields. Until recently few $\gamma$ Doradus stars in eclipsing binaries were known. We have discovered g-mode pulsations in four detached eclipsing binary systems from light curves obtained by the Transiting Exoplanet Survey Satellite (TESS) and present an analysis of their eclipses and pulsational characteristics. We find unresolved g-mode pulsations at frequencies 1--1.5 d$^{-1}$ in CM Lac, and measure the masses and radii of the component stars from the TESS data and published radial velocities. MZ Lac shows a much richer frequency spectrum, including pressure modes and tidally-excited g-modes. RX Dra is in the northern continuous viewing zone of TESS so has a light curve covering a full year, but shows relatively few pulsation frequencies. For V2077 Cyg we formally measure four pulsation frequencies, but the available data are inadequate to properly resolve the g-mode pulsations. V2077 Cyg also shows total eclipses, with which we obtain the first measurement of the surface gravity of the faint secondary star. All four systems are bright and good candidates for detailed study. Further TESS observations are scheduled for all four systems, with much improved temporal baselines in the cases of RX Dra and V2077 Cyg.


title: Geometry of $\mathrm{SU}(3)$-character varieties of torus knots

abstract: We describe the geometry of the character variety of representations of the knot group $\Gamma_{m,n}=\langle x,y| x^n=y^m\rangle$ into the group $\mathrm{SU}(3)$, by stratifying the character variety into strata correspoding to totally reducible representations, representations decomposing into a $2$-dimensional and a $1$-dimensional representation, and irreducible representations, the latter of two types depending on whether the matrices have distinct eigenvalues, or one of the matrices has one eigenvalue of multiplicity $2$. We describe how the closure of each stratum meets lower strata, and use this to compute the compactly supported Euler characteristic, and to prove that the inclusion of the character variety for $\mathrm{SU}(3)$ into the character variety for $\mathrm{SL}(3,\mathbb{C})$ is a homotopy equivalence.


title: Supervised learning for kinetic consensus control

abstract: In this paper, how to successfully and efficiently condition a target population of agents towards consensus is discussed. To overcome the curse of dimensionality, the mean field formulation of the consensus control problem is considered. Although such formulation is designed to be independent of the number of agents, it is feasible to solve only for moderate intrinsic dimensions of the agents space. For this reason, the solution is approached by means of a Boltzmann procedure, i.e. quasi-invariant limit of controlled binary interactions as approximation of the mean field PDE. The need for an efficient solver for the binary interaction control problem motivates the use of a supervised learning approach to encode a binary feedback map to be sampled at a very high rate. A gradient augmented feedforward neural network for the Value function of the binary control problem is considered and compared with direct approximation of the feedback law.


title: A Streamline-guided De-Homogenization Approach for Structural Design

abstract: We present a novel de-homogenization approach for efficient design of high-resolution load-bearing structures. The proposed approach builds upon a streamline-based parametrization of the design domain, using a set of space-filling and evenly-spaced streamlines in the two mutually orthogonal direction fields that are obtained from homogenization-based topology optimization. Streamlines in these fields are converted into a graph, which is then used to construct a quad-dominant mesh whose edges follow the direction fields. In addition, the edge width is adjusted according to the density and anisotropy of the optimized orthotropic cells. In a number of numerical examples, we demonstrate the mechanical performance and regular appearance of the resulting structural designs, and compare them with those from classic and contemporary approaches.


title: The effect of combined roundness and polydispersity on the phase behavior of hard-rectangle fluids

abstract: We introduce a model for a fluid of polydisperse rounded hard rectangles where the length and width of the rectangular core are fixed, while the roundness is taken into account by the convex envelope of a disk displaced along the perimeter of the core. The diameter of the disk has a continuous polydispersity described by a Schultz distribution function. We implemented the scaled particle theory for this model with the aim to studying: (i) the effect of roundness on the phase behavior of the one-component hard-rectangle fluid, and (ii) how polydispersity affects phase transitions between isotropic, nematic and tetratic phases. We found that roundness greatly affects the tetratic phase, whose region of stability in the phase diagram strongly decreases as the roundness parameter is increased. Also the interval of aspect ratios where the tetratic-nematic and isotropic-nematic phase transitions are of first order considerably reduces with roundness, both transitions becoming weaker. Polydispersity induces strong fractionation between the coexisting phases, with the nematic phase enriched in particles of lower roundness. Finally, for high enough polydispersity and certain mean aspect ratios, the isotropic-to-nematic transition can change from second (for the one-component fluid) to first order. We also found a packing-fraction inversion phenomenon for large polydispersities: the coexisting isotropic phase has a higher packing fraction than the nematic.


title: Development of silicon interposer: towards an ultralow radioactivity background photodetector system

abstract: It is of great importance to develop a photodetector system with an ultralow radioactivity background in rare event searches. Silicon photomultipliers (SiPMs) and application-specific integrated circuits (ASICs) are two ideal candidates for low background photosensors and readout electronics, respectively, because they are mainly composed of silicon, which can achieve good radio-purity without considerable extra effort. However, interposers, used to provide mechanical support and signal routes between the photosensor and the electronics, are a bottleneck in building ultralow background photodetectors. Silicon and quartz are two candidates to construct the low background interposer because of their good radio-purity; nevertheless, it is non-trivial to produce through silicon vias (TSV) or through quartz vias (TQV) on the large area silicon or quartz wafer. In this work, based on double-sided TSV interconnect technology, we developed the first prototype of a silicon interposer with a size of 10~cm$\times$10~cm and a thickness of 320~$\mu$m. The electrical properties of the interposer are carefully evaluated at room temperature, and its performance is also examined at -110~$^\circ$C with an integrated SiPM on the interposer. The testing results reveal quite promising performance of the prototype, and the single photoelectron signals can be clearly observed from the SiPM. The features of the observed signals are comparable with those from the SiPM mounted on a normal FR4-based PCB. Based on the success of the silicon interposer prototype, we started the follow-up studies that aimed to further improve the performance and yield of the silicon interposer, and eventually to provide a solution for building an ultralow background photodetector system.


title: The Casimir effect in chiral media using path integral techniques

abstract: We employ path integral methods to calculate the Casimir energy and force densities in a chiral extension of QED. Manifestly gauge invariant perfect electromagnetic boundary conditions, a natural generalization of perfect electric and perfect magnetic conditions, are implemented directly in the action by the usage of auxiliary fields. The chiral properties of the vacuum are modelled using a background $\theta$ field, and we introduce techniques to efficiently calculate the path integral in this chiral medium. The flexibility of our method allows us to naturally obtain results for a variety of configurations, and where comparison is possible our results are in perfect agreement with existing literature. Among these are multiple situations where a repulsive Casimir force is possible.


title: Self-Supervision Can Be a Good Few-Shot Learner

abstract: Existing few-shot learning (FSL) methods rely on training with a large labeled dataset, which prevents them from leveraging abundant unlabeled data. From an information-theoretic perspective, we propose an effective unsupervised FSL method, learning representations with self-supervision. Following the InfoMax principle, our method learns comprehensive representations by capturing the intrinsic structure of the data. Specifically, we maximize the mutual information (MI) of instances and their representations with a low-bias MI estimator to perform self-supervised pre-training. Rather than supervised pre-training focusing on the discriminable features of the seen classes, our self-supervised model has less bias toward the seen classes, resulting in better generalization for unseen classes. We explain that supervised pre-training and self-supervised pre-training are actually maximizing different MI objectives. Extensive experiments are further conducted to analyze their FSL performance with various training settings. Surprisingly, the results show that self-supervised pre-training can outperform supervised pre-training under the appropriate conditions. Compared with state-of-the-art FSL methods, our approach achieves comparable performance on widely used FSL benchmarks without any labels of the base classes.


title: Global 21-cm brightness temperature in viscous dark energy models

abstract: We investigate the global 21-cm brightness temperature in the context of viscous dark energy (VDE) models. The bulk viscosity of dark energy perturbs the Hubble evolution of the Universe which could cool baryons faster, and hence, alter the 21-cm brightness temperature. An additional amount of entropy is also produced as an outcome of the viscous flow. We study the combined contribution of Hawking radiation from primordial black holes, decay and annihilation of particle dark matter and baryon-dark matter scattering in the backdrop of VDE models towards modification of the 21-cm temperature. We obtain bounds on the VDE model parameters which can account for the observational excess of the EDGES experiment ($-500^{+200}_{-500}$ mK at redshift $14<z<20$) due to the interplay of the above effects. Moreover, our analysis yields modified constraints on the dark matter mass and scattering cross-section compared to the case of the $\Lambda$CDM model.


title: Magnus integrators for linear and quasilinear delay differential equations

abstract: A procedure to numerically integrate non-autonomous linear delay differential equations is presented. It is based on the use of an spectral discretization of the delayed part to transform the original problem into a matrix linear ordinary differential equation which is subsequently solved with numerical integrators obtained from the Magnus expansion. The algorithm can be used in the periodic case to get both accurate approximations of the characteristic multipliers and the solution itself. In addition, it can be extended to deal with certain quasilinear delay equations.


title: SCARA: Scalable Graph Neural Networks with Feature-Oriented Optimization

abstract: Recent advances in data processing have stimulated the demand for learning graphs of very large scales. Graph Neural Networks (GNNs), being an emerging and powerful approach in solving graph learning tasks, are known to be difficult to scale up. Most scalable models apply node-based techniques in simplifying the expensive graph message-passing propagation procedure of GNN. However, we find such acceleration insufficient when applied to million- or even billion-scale graphs. In this work, we propose SCARA, a scalable GNN with feature-oriented optimization for graph computation. SCARA efficiently computes graph embedding from node features, and further selects and reuses feature computation results to reduce overhead. Theoretical analysis indicates that our model achieves sub-linear time complexity with a guaranteed precision in propagation process as well as GNN training and inference. We conduct extensive experiments on various datasets to evaluate the efficacy and efficiency of SCARA. Performance comparison with baselines shows that SCARA can reach up to 100x graph propagation acceleration than current state-of-the-art methods with fast convergence and comparable accuracy. Most notably, it is efficient to process precomputation on the largest available billion-scale GNN dataset Papers100M (111M nodes, 1.6B edges) in 100 seconds.


title: Free Polycategories for Unitary Supermaps of Arbitrary Dimension

abstract: We provide a construction for holes into which morphisms of abstract symmetric monoidal categories can be inserted, termed the polyslot construction pslot[C], and identify a sub-class srep[C] of polyslots that are single-party representable. These constructions strengthen a previously introduced notion of locally-applicable transformation used to characterize quantum supermaps in a way that is sufficient to re-construct unitary supermaps directly from the monoidal structure of the category of unitaries. Both constructions furthermore freely reconstruct the enriched polycategorical semantics for quantum supermaps which allows to compose supermaps in sequence and in parallel whilst forbidding the creation of time-loops. By freely constructing key compositional features of supermaps, and characterizing supermaps in the finite-dimensional case, polyslots are proposed as a suitable generalization of unitary-supermaps to infinite dimensions and are shown to include canonical examples such as the quantum switch. Beyond specific applications to quantum-relevant categories, a general class of categorical structures termed path-contraction groupoids are defined on which the srep[C] and pslot[C] constructions are shown to coincide.


title: Quantum topology optimization of ground structures using noisy intermediate-scale quantum devices

abstract: To arrive at some viable product design, product development processes frequently use numerical simulations and mathematical programming techniques. Topology optimization, in particular, is one of the most promising techniques for generating insightful design choices. Topology optimization problems reduce to an NP-hard combinatorial optimization problem, where the combination of the existence or absence of the material at some positions is optimized. In this study, we examine the usage of quantum computers as a potential solution to topology optimization problems. The proposed method consists of two variational quantum algorithms (VQAs): the first solves the state equilibrium equation for all conceivable material configurations, while the second amplifies the likelihood of an optimal configuration in quantum superposition using the first VQA's quantum state. Several experiments, including a real device experiment, show that the proposed method successfully obtained the optimal configurations. These findings suggest that quantum computers could be a potential tool for solving topology optimization problems and they open the window to the near-future product designs.


title: Iterative-Bayesian unfolding of isotopic cosmic-ray fluxes measured by AMS-02

abstract: The measurement of the isotopic composition of cosmic rays (CRs) provides essential insights the understanding of the origin and propagation of these particles, namely the CR source spectra, the propagation processes and the galactic halo size. The Alpha Magnetic Spectrometer (AMS-02), a CR detector operating aboard the International Space Station since May 2011, has the capability of performing these measurements due to its precise determination of the velocity provided by its Time of Flight (TOF) and Ring Imaging Cherenkov (RICH) detector. The correct interpretation of the data requires the measurements to be deconvoluted from the instrumental effects. The unique design of AMS-02, with more than one subdetector being used to measure the same flux, requires a novel approach to unfold the measured fluxes. In this work, we describe an iterative-Bayesian unfolding method applied in the context of isotopic flux measurements in AMS-02. The accuracy of the method is assessed using a simulated flux based on previous measurements and a full detector response function. We introduce a non-parametric regularization method for the detector response functions, as well as a single, smooth prior flux covering the full range of measurements from both detectors, TOF and RICH. In addition, the estimation of the errors and a discussion about the performance of the method are also shown, demonstrating that the method is fast and reliable, allowing for the recovery of the true fluxes in the full energy range.


title: Evaluation of Combinatorial Optimisation Algorithms for c-Optimal Experimental Designs with Correlated Observations

abstract: We show how combinatorial optimisation algorithms can be applied to the problem of identifying c-optimal experimental designs when there may be correlation between and within experimental units and evaluate the performance of relevant algorithms. We assume the data generating process is a generalised linear mixed model and show that the c-optimal design criterion is a monotone supermodular function amenable to a set of simple minimisation algorithms. We evaluate the performance of three relevant algorithms: the local search, the greedy search, and the reverse greedy search. We show that the local and reverse greedy searches provide comparable performance with the worst design outputs having variance $<10\%$ greater than the best design, across a range of covariance structures. We show that these algorithms perform as well or better than multiplicative methods that generate weights to place on experimental units. We extend these algorithms to identifying moole-robust c-optimal designs.


title: Chiral effects in astrophysics and cosmology

abstract: The microscopic quantum nature of elementary particles, chirality, leads to macroscopic phenomena like the chiral anomaly, chiral magnetic effect, and chiral plasma instability. We review recent progress of the studies of these chiral effects in high-energy astrophysics, such as pulsar kicks, magnetars, and core-collapse supernovae, and early Universe cosmology, such as the primordial magnetic field, baryogenesis, and chiral gravitational waves. We also provide a pedagogical introduction to the chiral effects and low-energy effective theories to describe them in and out of equilibrium -- the chiral (magneto)hydrodynamics, chiral kinetic theory, and chiral radiation transport theory for neutrinos.

categories: astro-ph.CO astro-ph.HE gr-qc hep-ph nucl-th


title: Multimodal hierarchical Variational AutoEncoders with Factor Analysis latent space

abstract: Real-world databases are complex and usually require dealing with heterogeneous and mixed data types making the exploitation of shared information between views a critical issue. For this purpose, recent studies based on deep generative models merge all views into a nonlinear complex latent space, which can share information among views. However, this solution limits the model's interpretability, flexibility, and modularity. We propose a novel method to overcome these limitations by combining multiple Variational AutoEncoders (VAE) with a Factor Analysis latent space (FA-VAE). We use VAEs to learn a private representation of each heterogeneous view in a continuous latent space. Then, we share the information between views by a low-dimensional latent space using a linear projection matrix. This way, we create a flexible and modular hierarchical dependency between private and shared information in which new views can be incorporated afterwards. Beyond that, we can condition pre-trained models, cross-generate data from different domains, and perform transfer learning between generative models.


title: Dissipationless Layertronics in Axion Insulator $\rm{MnBi_2Te_4}$

abstract: Surface electrons in axion insulators are endowed with a topological layer degree of freedom followed by exotic transport phenomena, e.g., the layer Hall effect [Gao et al., Nature 595, 521 (2021)]. Here, we propose that such a layer degree of freedom can be manipulated in a dissipationless way based on the antiferromagnetic $\rm{MnBi_2Te_4}$ with tailored domain structure. This makes $\rm{MnBi_2Te_4}$ a versatile platform to exploit the "layertronics" to encode, process, and store information. Importantly, the layer filter, layer valve, and layer reverser devices can be achieved using the layer-locked chiral domain wall modes. The dissipationless nature of the domain wall modes makes the performance of the layertronic-devices superior to those in spintronics and valleytronics. Specifically, the layer reverser, a layer version of Datta-Das transistor, also fills up the blank in designing the valley reverser in valleytronics. Our work sheds light on constructing new generation electronic devices with high performance and low energy consumption in the framework of layertronics.


title: Quantitative Hennessy-Milner Theorems via Notions of Density

abstract: The classical Hennessy-Milner theorem is an important tool in the analysis of concurrent processes; it guarantees that any two non-bisimilar states in finitely branching labelled transition systems can be distinguished by a modal formula. Numerous variants of this theorem have since been established for a wide range of logics and system types, including quantitative versions where lower bounds on behavioural distance (e.g.~in weighted, metric, or probabilistic transition systems) are witnessed by quantitative modal formulas. Both the qualitative and the quantitative versions have been accommodated within the framework of coalgebraic logic, with distances taking values in quantales, subject to certain restrictions, such as being so-called value quantales. While previous quantitative coalgebraic Hennessy-Milner theorems apply only to liftings of set functors to (pseudo-)metric spaces, in the present work we provide a quantitative coalgebraic Hennessy-Milner theorem that applies more widely to functors native to metric spaces; notably, we thus cover, for the first time, the well-known Hennessy-Milner theorem for continuous probabilistic transition systems, where transitions are given by Borel measures on metric spaces, as an instance. In the process, we also relax the restrictions imposed on the quantale, and additionally parametrize the technical account over notions of closure and, hence, density, providing associated variants of the Stone-Weierstrass theorem; this allows us to cover, for instance, behavioural ultrametrics.


title: Identifying the phase diagram structure for optimal information integration in morphogen systems

abstract: Gene regulatory networks (GRNs) perform a wide range of biological functions. It is, however, often challenging to reveal their functioning mechanism with the conventional approach focusing on the network topological structure from a bottom-up perspective. Here, we apply the top-down approach based on the optimality theory to study the information integration in morphogen systems, and show that the optimal integration strategy raises requirement on the phase diagram, rather than the topological structure, of a GRN. For the morphogen system in early fly embryos, our parameter-free model can quantitatively predict the patterning position shifts upon the dosage change of the morphogen Bicoid.


title: Galactic breeze origin for the Fermi bubbles emission

abstract: The origin of the Fermi bubbles, which constitute two gamma-ray emitting lobes above and below the Galactic plane, remains unclear. The possibility that this Fermi bubbles gamma-ray emission originates from hadronic cosmic rays advected by a subsonic Galactic outflow, or breeze, is here explored. The simulation of a breeze solution and subsequent cosmic ray transport is carried out using the hydrodynamical code, PLUTO, in combination with a cosmic ray transport code. The Galactic outflow model obtained is found to be compatible with both inferences of the decelerating outflow velocity profile of the gas in the Fermi bubbles region, and evidence for the presence of a large amount of hot ionised gas out in the Galactic halo region. Although simple, this model is found to be able to reproduce the observed Fermi-LAT energy flux at high Galactic latitudes. Following these results a prediction concerning the gamma-ray emission for 1-3~TeV photons is made for future comparison with CTA/SWGO measurements.


title: Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages

abstract: Monads in category theory are algebraic structures that can be used to model computational effects in programming languages. We show how the notion of "centre", and more generally "centrality", i.e. the property for an effect to commute with all other effects, may be formulated for strong monads acting on symmetric monoidal categories. We identify three equivalent conditions which characterise the existence of the centre of a strong monad (some of which relate it to the premonoidal centre of Power and Robinson) and we show that every strong monad on many well-known naturally occurring categories does admit a centre, thereby showing that this new notion is ubiquitous. More generally, we study central submonads, which are necessarily commutative, just like the centre of a strong monad. We provide a computational interpretation by formulating equational theories of lambda calculi equipped with central submonads, we describe categorical models for these theories and prove soundness, completeness and internal language results for our semantics.


title: 't Hooft expansion of $SO(N)$ and $Sp(N)$ $\mathcal{N}=4$ SYM revisited

abstract: We study the 't Hooft expansion of $d=4$ $\mathcal{N}=4$ supersymmetric Yang-Mills (SYM) theory with the gauge group $SO(N)$ or $Sp(N)$. We consider the $1/N_5$ expansion with fixed $g_sN_5$, where $g_s$ denotes the string coupling of bulk type IIB string theory on $AdS_5\times\mathbb{RP}^5$ and $N_5$ refers to the RR 5-form flux through $\mathbb{RP}^5$. $N_5$ differs from $N$ due to a shift coming from the RR charge of O3-plane. As an example, we consider the $1/N_5$ expansion of the free energy of $\mathcal{N}=4$ SYM on $S^4$ and the $1/2$ BPS circular Wilson loops in the fundamental representation of $SO(N)$ or $Sp(N)$. We find that the $1/N_5$ expansion is more "closed string like" than the ordinary $1/N$ expansion.


title: A self-contained and self-explanatory DNA storage system

abstract: Current research on DNA storage usually focuses on the improvement of storage density by developing effective encoding and decoding schemes while lacking the consideration on the uncertainty in ultra-long-term data storage and retention. Consequently, the current DNA storage systems are often not self-contained, implying that they have to resort to external tools for the restoration of the stored DNA data. This may result in high risks in data loss since the required tools might not be available due to the high uncertainty in far future. To address this issue, we propose in this paper a self-contained DNA storage system that can bring self-explanatory to its stored data without relying on any external tool. To this end, we design a specific DNA file format whereby a separate storage scheme is developed to reduce the data redundancy while an effective indexing is designed for random read operations to the stored data file. We verified through experimental data that the proposed self-contained and self-explanatory method can not only get rid of the reliance on external tools for data restoration but also minimise the data redundancy brought about when the amount of data to be stored reaches a certain scale.


title: NDF: Neural Deformable Fields for Dynamic Human Modelling

abstract: We propose Neural Deformable Fields (NDF), a new representation for dynamic human digitization from a multi-view video. Recent works proposed to represent a dynamic human body with shared canonical neural radiance fields which links to the observation space with deformation fields estimations. However, the learned canonical representation is static and the current design of the deformation fields is not able to represent large movements or detailed geometry changes. In this paper, we propose to learn a neural deformable field wrapped around a fitted parametric body model to represent the dynamic human. The NDF is spatially aligned by the underlying reference surface. A neural network is then learned to map pose to the dynamics of NDF. The proposed NDF representation can synthesize the digitized performer with novel views and novel poses with a detailed and reasonable dynamic appearance. Experiments show that our method significantly outperforms recent human synthesis methods.


title: Effect of Particle Spin on Trajectory Deflection and Gravitational Lensing

abstract: Spin of a test particle is a fundamental property that can affect its motion in a gravitational field. In this work we consider the effect of particle spin on its deflection angle and gravitational lensing in the equatorial plane of arbitrary stationary and axisymmetric spacetimes. To do this we developed a perturbative method that can be applied to spinning signals with arbitrary asymptotic velocity and takes into account the finite distance effect of the source and the observer. The deflection angle $\Delta\varphi$ and total travel time $\Delta t$ are expressed as (quasi-)power series whose coefficients are polynomials of the asymptotic expansion coefficients of the metric functions. It is found that when the spin and orbital angular momenta are parallel (or antiparallel), the deflection angle is decreased (or increased). Apparent angles $\theta$ of the images in gravitational lensing and their time delays are also solved. In Kerr spacetime, spin affects the apparent angle $\theta_K$ in a way similar to its effect on $\Delta\varphi_K$. The time delay between signals with opposite spins is found to be proportional to the signal spin at leading order. These time delays might be used to constrain the spin to mass ratio of neutrinos.


title: Two-dimensional solitons in nonlocal media: a brief review

abstract: This is a review addressing soliton-like states in systems with nonlocal nonlinearity. The work on this topic has long history. Some findings, such as optical solitons supported by thermal nonlinearity, and by the orientational nonlinearity in liquid crystals, have been reviewed in the literature, therefore they are outlined in the present review in a brief form. Some other studies, such as those addressing models with fractional diffraction, which is represented by a linear nonlocal operator, have started recently, therefore it will be relevant to review them in detail when more results are accumulated; the present article provides a short outline of the latter topic. The main part of the article is a summary of results obtained for two-dimensional (2D) solitons in specific models originating in studies of Bose-Einstein condensates (BECs), which are sufficiently mature but have not yet been reviewed. These are, in particular, anisotropic quasi-2D solitons supported by long-range dipole-dipole interactions in a condensate of magnetic atoms, and giant vortex solitons, which are stable for high values of the winding number, as well as 2D vortex solitons of the latter type moving with self-acceleration. The vortex solitons are states of a hybrid type, which include matter-wave and electromagnetic-wave components. They are supported, in a binary BEC composed of two different atomic states, by the resonant interaction of the two-component matter waves with a microwave field which couples the two atomic states. Some other topics are included in the review in a brief form.


title: Adaptive Learning for the Resource-Constrained Classification Problem

abstract: Resource-constrained classification tasks are common in real-world applications such as allocating tests for disease diagnosis, hiring decisions when filling a limited number of positions, and defect detection in manufacturing settings under a limited inspection budget. Typical classification algorithms treat the learning process and the resource constraints as two separate and sequential tasks. Here we design an adaptive learning approach that considers resource constraints and learning jointly by iteratively fine-tuning misclassification costs. Via a structured experimental study using a publicly available data set, we evaluate a decision tree classifier that utilizes the proposed approach. The adaptive learning approach performs significantly better than alternative approaches, especially for difficult classification problems in which the performance of common approaches may be unsatisfactory. We envision the adaptive learning approach as an important addition to the repertoire of techniques for handling resource-constrained classification problems.


title: Detection Statistics of Pulse Signals at Declinations from $+42^o$ to $+52^o$ at the Frequency 111 MHz

abstract: A search for pulse signals was carried out in a new sky area included in the monitoring program for the search for pulsars and transients. Processing of several months data recorded in six frequency channels with a total bandwidth of 2.5 MHz showed that, on average, 4 pulses per hour are observed in each of the 24 connected stationary beams. Of these pulses, 18.3% are similar to those of pulsars. They are visible in one or two neighboring beams and have a pronounced dispersion shift, that is, they are recorded first at a high and then at a low frequency, which indicates the possible passage of the signal through the interstellar medium. Almost 68% of such detected pulses belong to six known pulsars with dispersion measures from 9 to 141 $pc/cm^3$, and almost all of the remaining pulses are either noise of an unknown nature or artifacts of the proposed pulse separation technique. An additional study of the selected array of 3650 obvious pulsar pulses revealed 13 pulses belonging to four rotating radio transients (RRATs). Their dispersion measures are in the range of 17-51 $pc/cm^3$. A search for regular (periodic) RRAT emission was carried out using power spectra summed over 121 days. Periodic radiation was not detected, but for two RRATs, upper estimates of the periods were obtained from measurements of the time intervals between pulses. The upper estimates of the integrated flux density of the detected RRATs are in the range 2-4 mJy at the frequency 111 MHz.