title: Disentangled Explanations of Neural Network Predictions by Finding Relevant Subspaces

abstract: Explainable AI aims to overcome the black-box nature of complex ML models like neural networks by generating explanations for their predictions. Explanations often take the form of a heatmap identifying input features (e.g. pixels) that are relevant to the model's decision. These explanations, however, entangle the potentially multiple factors that enter into the overall complex decision strategy. We propose to disentangle explanations by extracting at some intermediate layer of a neural network, subspaces that capture the multiple and distinct activation patterns (e.g. visual concepts) that are relevant to the prediction. To automatically extract these subspaces, we propose two new analyses, extending principles found in PCA or ICA to explanations. These novel analyses, which we call principal relevant component analysis (PRCA) and disentangled relevant subspace analysis (DRSA), maximize relevance instead of e.g. variance or kurtosis. This allows for a much stronger focus of the analysis on what the ML model actually uses for predicting, ignoring activations or concepts to which the model is invariant. Our approach is general enough to work alongside common attribution techniques such as Shapley Value, Integrated Gradients, or LRP. Our proposed methods show to be practically useful and compare favorably to the state of the art as demonstrated on benchmarks and three use cases.


title: Effect of color superconductivity on the mass of hybrid neutron stars in an effective model with pQCD asymptotics

abstract: The effective cold quark matter model by Alford, Braby, Paris and Reddy (ABPR) is used as a tool for discussing the effect of the size of the pairing gap in three-flavor (CFL) quark matter on the maximum mass of hybrid neutron stars (NSs). This equation of state (EOS) has three parameters which we suggest to determine by comparison with a nonlocal NJL model of quark matter in the nonperturbative domain. We show that due to the momentum dependence of the pairing which is induced by the nonlocality of the interaction, the effective gap parameter in the EOS model is well approximated by a constant value depending on the diquark coupling strength in the NJL model Lagrangian. For the parameter $a_4=1-2\alpha_s/\pi$ a constant value below about \num{0.4} is needed to explain hybrid stars with ${\rm M}_{\rm max} \gtrsim 2.0~{\rm M}_\odot$, which would translate to an effective constant $\alpha_s\sim 1$. The matching point with a running coupling at the 1-loop $\beta$ function level is found to lie outside the range of chemical potentials accessible in NS interiors. A dictionary is provided for translating the free parameters of the nlNJL model to those of the ABPR model. Both models are shown to be equivalent in the nonperturbative domain but the latter one allows to quantify the transition to the asymptotic behaviour in accordance with perturbative QCD. We provide constraints on parameter sets that fulfill the $2~{\rm M}_\odot$ mass constraint for hybrid NSs, as well as the low tidal deformability constraint from GW170817 by a softening of the EOS on the hybrid NS branch with an early onset of deconfinement at ${\rm M}_{\rm onset}<1.4~{\rm M}_\odot$. We find that the effective constant pairing gap should be around 100 MeV but not exceed values of about 130 MeV because a further increase of the gap would entail a softening of the EOS and contradict the $2~{\rm M}_\odot$ mass constraint.


title: Nuisance Function Tuning for Optimal Doubly Robust Estimation

abstract: Estimators of doubly robust functionals typically rely on estimating two complex nuisance functions, such as the propensity score and conditional outcome mean for the average treatment effect functional. We consider the problem of how to estimate nuisance functions to obtain optimal rates of convergence for a doubly robust nonparametric functional that has witnessed applications across the causal inference and conditional independence testing literature. For several plug-in type estimators and a one-step type estimator, we illustrate the interplay between different tuning parameter choices for the nuisance function estimators and sample splitting strategies on the optimal rate of estimating the functional of interest. For each of these estimators and each sample splitting strategy, we show the necessity to undersmooth the nuisance function estimators under low regularity conditions to obtain optimal rates of convergence for the functional of interest. By performing suitable nuisance function tuning and sample splitting strategies, we show that some of these estimators can achieve minimax rates of convergence in all H\"older smoothness classes of the nuisance functions.


title: Sparse Johnson--Lindenstrauss transforms and analysis of their extreme singular values

abstract: The Johnson--Lindenstrauss (JL) lemma is a powerful tool for dimensionality reduction in modern algorithm design. The lemma states that any set of high-dimensional points in a Euclidean space can be flattened to lower dimensions while approximately preserving pairwise Euclidean distances. Random matrices satisfying this lemma are called JL transforms (JLTs). Inspired by existing $s$-hashing JLTs with exactly $s$ nonzero elements on each column, the present work introduces an ensemble of sparse matrices encompassing so-called $s$-hashing-like matrices whose expected number of nonzero elements on each column is~$s$. The independence of the sub-Gaussian entries of these matrices and the knowledge of their exact distribution play an important role in their analyses. Using properties of independent sub-Gaussian random variables, these matrices are demonstrated to be JLTs, and their smallest and largest singular values are estimated non-asymptotically using a technique from geometric functional analysis. As the dimensions of the matrix grow to infinity, these singular values are proved to converge almost surely to fixed quantities (by using the universal Bai--Yin law), and in distribution to the Gaussian orthogonal ensemble (GOE) Tracy--Widom law after proper rescalings. Understanding the behaviors of extreme singular values is important in general because they are often used to define a measure of stability of matrix algorithms. For example, JLTs were recently used in derivative-free optimization algorithmic frameworks to select random subspaces in which are constructed random models or poll directions to achieve scalability, whence estimating their smallest singular value in particular helps determine the dimension of these subspaces.


title: Spectral features of polaronic excitations in a superconducting analog simulator

abstract: We investigate spectral properties of polaronic excitations within the framework of an analog quantum simulator based on inductively coupled superconducting transmon qubits and microwave resonators. This system emulates a lattice model that describes a nonlocal coupling of an itinerant spinless-fermion excitation to dispersionless (Einstein-type) phonons through the Peierls and breathing-mode interaction mechanisms. The model is characterized by a sharp, level-crossing transition at a critical value of the effective excitation-phonon coupling strength; above the transition point, the ground state of this model corresponds to a heavily dressed (small-polaron) excitation. Using the kernel-polynomial method, we evaluate the momentum-frequency resolved spectral function of this system for a broad range of parameters. In particular, we underscore the ramifications of the fact that the zero-quasimomentum Bloch state of a bare excitation represents the exact eigenstate of the Hamiltonian of this system for an arbitrary excitation-phonon coupling strength. We also show that -- based on the numerically evaluated spectral function and its well-known relation with the survival probability of the initial, bare-excitation Bloch state (the Loschmidt echo) -- one can make predictions about the system dynamics following an excitation-phonon interaction quench. To make contact with anticipated experimental realizations, we utilize a previously proposed method for extracting dynamical-response functions in systems with local (single-qubit) addressability using the multiqubit (many-body) version of the Ramsey interference protocol.


title: The Ramsey numbers of squares of paths and cycles

abstract: The square $G^2$ of a graph $G$ is the graph on $V(G)$ with a pair of vertices $uv$ an edge whenever $u$ and $v$ have distance $1$ or $2$ in $G$. Given graphs $G$ and $H$, the Ramsey number $R(G,H)$ is the minimum $N$ such that whenever the edges of the complete graph $K_N$ are coloured with red and blue, there exists either a red copy of $G$ or a blue copy of $H$. We prove that for all sufficiently large $n$ we have \[R(P_{3n}^2,P_{3n}^2)=R(P_{3n+1}^2,P_{3n+1}^2)=R(C_{3n}^2,C_{3n}^2)=9n-3\mbox{ and } R(P_{3n+2}^2,P_{3n+2}^2)=9n+1.\] We also show that for any $\gamma>0$ and $\Delta$ there exists $\beta>0$ such that the following holds. If $G$ can be coloured with three colours such that all colour classes have size at most $n$, the maximum degree $\Delta(G)$ of $G$ is at most $\Delta$, and $G$ has bandwidth at most $\beta n$, then $R(G,G)\le (3+\gamma)n$.


title: Preparation of CuxCe$_{0.3-X}$Ni$_{0.7}$Fe$_2$O$_4$ ferrite nanoparticles as a nitrogen dioxide gas sensor

abstract: In this work, the ferrite nanocomposite CuxCe$_{0.3-X}$Ni$_{0.7}$Fe$_2$O$_4$ is prepared (where: x = 0, 0.05, 0.1, 0.15, 0.2, 0.25) was prepared using the auto combustion technique (sol-gel), and citric acid was utilized as the fuel for Auto combustion. The results of X-ray diffraction (XRD), emitting field scanning electron microscope (FE-SEM), and energy dispersive X-ray analyzer (EDX) tests revealed that the prepared compound has a face-centered cubic structure (FCC) polycrystalline, and the lattice constant increases with an increase in the percentage of doping for the copper ion, and decreases for the cerium ion and that the compound is porous, and its molecules are spherical, and there are no additional elements present other than those used in the synthesis of the compound, indicating that it is of high purity, and the combination has a high sensitivity to Nitrogen dioxide (NO$_2$) gas, as determined by the gas detecting equipment.


title: Topological information device operating at the Landauer limit

abstract: We propose and theoretically investigate a novel Maxwell's demon implementation based on the spin-momentum locking property of topological matter. We use nuclear spins as a memory resource which provides the advantage of scalability. We show that this topological information device can ideally operate at the Landauer limit; the heat dissipation required to erase one bit of information stored in the demon's memory approaches $k_B T\ln2$. Furthermore, we demonstrate that all available energy, $k_B T\ln2$ per one bit of information, can be extracted in the form of electrical work. Finally, we find that the current-voltage characteristics of topological information device satisfy the conditions of an ideal memristor.


title: Rabinowitz Fukaya categories and the categorical formal punctured neighborhood of infinity

abstract: This paper constructs and studies the Rabinowitz (wrapped) Fukaya category, a categorical invariant of exact cylindrical Lagrangians in a Liouville manifold whose cohomological morphisms, ``Rabinowitz wrapped Floer homology groups" measure the failure of wrapped Floer cohomology to satisfy Poincare duality (and in particular vanish for any pair with at least one compact Lagrangian). Our main result, answering a conjecture of Abouzaid, relates the Rabinowitz and usual wrapped Fukaya category by way of a general construction introduced by Efimov, the categorical formal punctured neighborhood of infinity. As an application, we show how Rabinowitz Fukaya categories can be fit into - and in particular often computed in terms of - mirror symmetry.


title: Uncertainty quantification for sparse Fourier recovery

abstract: One of the most prominent methods for uncertainty quantification in high-dimen-sional statistics is the desparsified LASSO that relies on unconstrained $\ell_1$-minimization. The majority of initial works focused on real (sub-)Gaussian designs. However, in many applications, such as magnetic resonance imaging (MRI), the measurement process possesses a certain structure due to the nature of the problem. The measurement operator in MRI can be described by a subsampled Fourier matrix. The purpose of this work is to extend the uncertainty quantification process using the desparsified LASSO to design matrices originating from a bounded orthonormal system, which naturally generalizes the subsampled Fourier case and also allows for the treatment of the case where the sparsity basis is not the standard basis. In particular we construct honest confidence intervals for every pixel of an MR image that is sparse in the standard basis provided the number of measurements satisfies $n \gtrsim\max\{ s\log^2 s\log p, s \log^2 p \}$ or that is sparse with respect to the Haar Wavelet basis provided a slightly larger number of measurements.


title: Depth-First Search performance in a random digraph with geometric outdegree distribution

abstract: We present an analysis of the depth-first search algorithm in a random digraph model with independent outdegrees having a geometric distribution. The results include asymptotic results for the depth profile of vertices, the height (maximum depth) and average depth, the number of trees in the forest, the size of the largest and second-largest trees, and the numbers of arcs of different types in the depth-first jungle. Most results are first order. For the height we show an asymptotic normal distribution. This analysis proposed by Donald Knuth in his next to appear volume of The Art of Computer Programming gives interesting insight in one of the most elegant and efficient algorithm for graph analysis due to Tarjan.


title: Casimir Energy and Modularity in Higher-dimensional Conformal Field Theories

abstract: An important problem in Quantum Field Theory (QFT) is to understand the structures of observables on spacetime manifolds of nontrivial topology. Such observables arise naturally when studying physical systems at finite temperature and/or finite volume and encode subtle properties of the underlying microscopic theory that are often obscure on the flat spacetime. Locality of the QFT implies that these observables can be constructed from more basic building blocks by cutting-and-gluing along a spatial slice, where a crucial ingredient is the Hilbert space on the spatial manifold. In Conformal Field Theory (CFT), thanks to the operator-state correspondence, we have a non-perturbative understanding of the Hilbert space on a spatial sphere. However it remains a challenge to consider more general spatial manifolds. Here we study CFTs in spacetime dimensions $d>2$ on the spatial manifold $T^2\times \mathbb{R}^{d-3}$ which is one of the simplest manifolds beyond the spherical topology. We focus on the ground state in this Hilbert space and analyze universal properties of the ground state energy, also commonly known as the Casimir energy, which is a nontrivial function of the complex structure moduli $\tau$ of the torus. The Casimir energy is subject to constraints from modular invariance on the torus which we spell out using $PSL(2,\mathbb{Z})$ spectral theory. Moreover we derive a simple universal formula for the Casimir energy in the thin torus limit using the effective field theory (EFT) from Kaluza-Klein reduction of the CFT, with exponentially small corrections from worldline instantons. We illustrate our formula with explicit examples from well-known CFTs including the critical $O(N)$ model in $d=3$ and holographic CFTs in $d\geq 3$.


title: Mimetic K-essence

abstract: We propose a new non-trivial way to combine mimetic dark matter with the mimetic formulation of unimodular gravity. This yields a Weyl-invariant higher-derivative scalar-vector-tensor theory. We demonstrate that on-shell its behavior mimics GR with an additional k-essence scalar. The overall scale of the k-essence arises as an integration constant -- a global degree of freedom. Interestingly, we find that the resulting fluid cannot make transition through ultra-relativistic equation of state. We develop a method to find a mimetic theory corresponding to any eligible k-essence and identify, which k-essences can or cannot be reproduced this way. Finally, we show that abandoning the Weyl symmetry of the setup allows us to obtain both unimodular gravity and mimetic dark matter simultaneously, from one conformal redefinition of the metric.


title: Discrete Asymptotic Nets with Constant Affine Mean Curvature

abstract: In this paper we define the class of constant affine mean curvature (CAMC) discrete asymptotic nets, which contains the well-known classes of affine spheres and affine minimal asymptotic nets. This class is defined by considering fields of compatible interpolating quadrics, i.e., quadrics that have common tangent planes at the edges of the net. We show that, for CAMC asymptotic nets, ruled discrete asymptotic nets is equivalent to ruled compatible interpolating quadrics. Moreover, we prove discrete counterparts of some known properties of the Demoulin transform of a smooth CAMC surface.


title: High critical field superconductivity at ambient pressure in MoB$_2$ stabilized in the P6/mmm structure via Nb substitution

abstract: Recently it was discovered that, under elevated pressures, MoB$_2$ exhibits superconductivity at a critical temperature, $T_c$, as high as 32 K. The superconductivity appears to develop following a pressure-induced structural transition from the ambient pressure R$\bar{3}$m structure to an MgB$_2$-like P6/mmm structure. This suggests that remarkably high $T_c$ values among diborides are not restricted to MgB$_2$ as previously appeared to be the case, and that similarly high $T_c$ values may occur in other diborides if they can be coerced into the MgB$_2$ structure. In this paper, we show that density functional theory calculations indicate that phonon free energy stabilizes the P6/mmm structure over the R$\bar{3}$m at high temperatures across the Nb$_{1-x}$Mo$_x$B$_2$ series. X-ray diffraction confirms that the synthesized Nb-substituted MoB$_2$ adopts the MgB$_2$ crystal structure. High magnetic field electrical resistivity measurements and specific heat measurements demonstrate that Nb$_{1-x}$Mo$_x$B$_2$ exhibits superconductivity with $T_c$ as high as 8 K and critical fields approaching 6 T.


title: Light Axiodilatons: Matter Couplings, Weak-Scale Completions and Long-Distance Tests of Gravity

abstract: We consider the physical implications of very light axiodilatons motivated by a novel mechanism to substantially reduce the vacuum energy proposed in arXiv:2110.10352. We address the two main problems concerning the light axiodilaton that appears in the low-energy limit, namely that the axion has a very low decay constant $f_a \sim $ eV (as read from its kinetic term) and that the dilaton is subject to bounds that are relevant to tests of GR once $\rho_{\rm vac} \leq 10^{-80} M_p^4$. We show that eV scale axion decay constants need not be a problem by showing how supersymmetric extra dimensions provide a sample unitarization for axion physics above eV scales for which non-anomalous matter/axiodilaton couplings can really have gravitational strength, showing how naive EFT reasoning can mistakenly overestimates axion interactions at eV. When axions really do couple strongly at eV scales we identify the dimensionless interaction in the UV completion that is also O(1), and how axion energy-loss bounds map onto known extra-dimensional constraints. We find a broad new class of exact exterior solutions to the vacuum axiodilaton equations and knowledge of axiodilaton-matter couplings also allows us to numerically search for interior solutions that match to known exterior solutions that can evade solar-system tests. We find no examples that do so, but also identify potential new candidate mechanisms for reducing the effective dilaton-matter coupling to gravitating objects without also undermining the underlying suppression of $\rho_{\rm vac}$.


title: Equivariant Light Field Convolution and Transformer

abstract: 3D reconstruction and novel view rendering can greatly benefit from geometric priors when the input views are not sufficient in terms of coverage and inter-view baselines. Deep learning of geometric priors from 2D images often requires each image to be represented in a $2D$ canonical frame and the prior to be learned in a given or learned $3D$ canonical frame. In this paper, given only the relative poses of the cameras, we show how to learn priors from multiple views equivariant to coordinate frame transformations by proposing an $SE(3)$-equivariant convolution and transformer in the space of rays in 3D. This enables the creation of a light field that remains equivariant to the choice of coordinate frame. The light field as defined in our work, refers both to the radiance field and the feature field defined on the ray space. We model the ray space, the domain of the light field, as a homogeneous space of $SE(3)$ and introduce the $SE(3)$-equivariant convolution in ray space. Depending on the output domain of the convolution, we present convolution-based $SE(3)$-equivariant maps from ray space to ray space and to $\mathbb{R}^3$. Our mathematical framework allows us to go beyond convolution to $SE(3)$-equivariant attention in the ray space. We demonstrate how to tailor and adapt the equivariant convolution and transformer in the tasks of equivariant neural rendering and $3D$ reconstruction from multiple views. We demonstrate $SE(3)$-equivariance by obtaining robust results in roto-translated datasets without performing transformation augmentation.


title: On the components of the Main Stream of the moduli space of surfaces of general type with $p_g=q=2$

abstract: We give first an easy construction of surfaces with $p_g=q=2, K^2=5$ and Albanese map of degree $3$, describing an irreducible connected component of the moduli space of surfaces of general type, which we show to be the only one of the Main Stream with these invariants and satisfying a mild condition. We call it the family of CHPP surfaces, since it contains the family constructed by Chen and Hacon, and coincides with the one considered by Penegini and Polizzi. We also give an easy construction of an irreducible connected component of the moduli space of surfaces of general type with $p_g=q=2, K^2=6$ and Albanese map of degree $4$, which we call the family of PP4 surfaces since it contains the family constructed by Penegini and Polizzi. Finally, we answer a question posed by Chen and Hacon, via three families of surfaces with $p_g=q$ whose Tschirnhaus module has a kernel realization with quotient a nontrivial homogeneous bundle. Two families have $p_g=q=3$, the third is a new family of surfaces with $p_g=q=2, K^2=6$ and Albanese map of degree $3$ (the existence of this family is based on arXiv:2212.14877, joint work of the second author with Edoardo Sernesi) .


title: Normalized solutions to a class of $(2,q)$-Laplacian equations

abstract: This paper concerns the existence of normalized solutions to a class of $(2,q)$-Laplacian equations in all the possible cases according to the value of $p$ with respect to the critical exponent $2(1+2/N)$. In the $L^2$-subcritical case, we study a global minimization problem and obtain a ground state solution. While in the $L^2$-critical case, we prove several nonexistence results, extended also in the $L^q$-critical case. At last, we derive a ground state and infinitely many radial solutions in the $L^2$-supercritical case. Compared with the classical Schr\"{o}dinger equation, the $(2,q)$-Laplacian equation possesses a quasi-linear term, which brings in some new difficulties and requires a more subtle analysis technique. Moreover, the vector field $\vec{a}(\xi)=|\xi|^{q-2}\xi$ corresponding to the $q$-Laplacian is not strictly monotone when $q<2$, so we shall consider separately the case $q<2$ and the case $q>2$.


title: Comparative Analysis of Clustering Techniques for Personalized Food Kit Distribution

abstract: The Government of Kerala had increased the frequency of supply of free food kits owing to the pandemic, however, these items were static and not indicative of the personal preferences of the consumers. This paper conducts a comparative analysis of various clustering techniques on a scaled-down version of a real-world dataset obtained through a conjoint analysis-based survey. Clustering carried out by centroid-based methods such as k means is analyzed and the results are plotted along with SVD, and finally, a conclusion is reached as to which among the two is better. Once the clusters have been formulated, commodities are also decided upon for each cluster. Also, clustering is further enhanced by reassignment, based on a specific cluster loss threshold. Thus, the most efficacious clustering technique for designing a food kit tailored to the needs of individuals is finally obtained.


title: Guidance Through Surrogate: Towards a Generic Diagnostic Attack

abstract: Adversarial training is an effective approach to make deep neural networks robust against adversarial attacks. Recently, different adversarial training defenses are proposed that not only maintain a high clean accuracy but also show significant robustness against popular and well studied adversarial attacks such as PGD. High adversarial robustness can also arise if an attack fails to find adversarial gradient directions, a phenomenon known as `gradient masking'. In this work, we analyse the effect of label smoothing on adversarial training as one of the potential causes of gradient masking. We then develop a guided mechanism to avoid local minima during attack optimization, leading to a novel attack dubbed Guided Projected Gradient Attack (G-PGA). Our attack approach is based on a `match and deceive' loss that finds optimal adversarial directions through guidance from a surrogate model. Our modified attack does not require random restarts, large number of attack iterations or search for an optimal step-size. Furthermore, our proposed G-PGA is generic, thus it can be combined with an ensemble attack strategy as we demonstrate for the case of Auto-Attack, leading to efficiency and convergence speed improvements. More than an effective attack, G-PGA can be used as a diagnostic tool to reveal elusive robustness due to gradient masking in adversarial defenses.


title: Reliable and Distributed Network Monitoring via In-band Network Telemetry

abstract: Traditional network monitoring solutions usually lack of scalability due to their centralized nature collecting heartbeats from all network components via a single controller. As a solution, In-Band Network Telemetry (INT) framework has been recently proposed to collect network telemetry information more autonomously and distributedly by employing programmable switches. However, it imposes further challenges to (i) find suitable INT paths to optimize the control overhead and information freshness and (ii) ensure reliable delivery of control information over multi-hop INT paths. In this work, we propose a monitoring scheme, reliable Graph Partitioned INT (GPINT), by extending our previous work and integrating shared queue ring (SQR) as a reliability feature against potential failures in network telemetry collection due to network congestion and link degradation that may cause loss of the visibility of the network. We implement our proposal in a recent data plane programming language P4, and compare it with traditional Simple Network Management Protocol (SNMP) and also another state-of-the-art study employing Euler's method for INT path generation. Our analysis first shows the importance of having a data recovery mechanism against packet losses under different network conditions. Then, our emulation results indicate that GPINT with reliability extension performs much better than its opponent in terms of telemetry collection latency and overhead monitoring scheme even under a high amount of packet losses.


title: The Hesse pencil and polarizations of type $(1,3)$ on Abelian surfaces

abstract: In this short note we prove two theorems, the first one is a sharpening of a result of Lange and Sernesi: the discriminant curve W of a general Abelian surface $A$ endowed with an irreducible polarization $D$ of type $(1,3)$ is an irreducible curve of degree $18$ whose singularities are exactly $36$ nodes and $72$ cusps. Moreover, we analyze the degeneration of the discriminant curve $W$ and its singularities as $A$ tends to the product of two equal elliptic curves. The second theorem, using the first one in order to prove a transversality assertion, shows that the general element of a family of surfaces constructed by Alessandro and Catanese is a smooth surface, thereby proving the existence of a new family of minimal surfaces of general type with $p_g=q=2, K^2=6$ and Albanese map of degree $3$.


title: Varsovian models $\omega$

abstract: For $n<\omega$, let $N_n$ be the minimal iterable proper class mouse $M$ such that $M\models$ "there are ordinals $\delta_0<\kappa_0<\ldots<\delta_{n-1}<\kappa_{n-1}$ such that each $\delta_i$ is a Woodin cardinal and each $\kappa_i$ is a strong cardinal", and let $N_\omega$ be likewise, but with $M\models$ "there is an ordinal $\lambda$ which is a limit of Woodin cardinals and a limit of strong cardinals". Under appropriate large cardinal hypotheses, Sargsyan and Schindler introduced and analysed in "Varsovian models I" the Varsovian model of $N_1$, and Sargsyan, Schindler and the author introduced and analysed in "Varsovian models II" the Varsovian model of $N_2$. We extend this to $N_\omega$, assuming that $*$-translation integrates routinely with the P-constructions of this paper (the write-up of which is yet to be completed). We show, under this assumption, that $N_\omega$ has a proper class inner model $\mathscr{V}_\omega$ which is a fully iterable strategy mouse with $\omega$ Woodin cardinals, closed under its strategy, and that the universe of $\mathscr{V}_\omega$ is the eventual generic HOD, and the mantle, of $N_\omega$. We also show, under the same assumption, that the core model $K$ of $N_\omega$ (which can be defined in a natural manner) is an iterate of $N_\omega$, is an inner model of $\mathscr{V}_\omega$, and is fully iterable in $M$ and in $\mathscr{V}_\omega$.


title: Random fields, large deviations and triviality in quantum field theory. Part II

abstract: The approach developed in the first part of this work, partly based on large deviations, led to the non-existence of interacting scalar fields as strong limits of regularized fields in finite volume and dimensions $d\geq 4$. This second part deals with the weak limit problem, for the particular case of $\varphi^{4}$, according to the 3 cases identified in Part I. In two of theses cases, it is shown that the weak limit is trivial in the sense that the limiting field is identically null. Partial results are obtained for the third case. These results are not incompatible with the already known triviality results that led to a Gaussian free field. As a by product of this study, a rigorous formulation of the principle of the least action for quantum scalar fields is established, together with a set of dynamic field equations that provide explicit expressions of the Schwinger functions.


title: Pseudogap effects in the strongly correlated regime of the two-dimensional Fermi gas

abstract: The two-species Fermi gas with attractive short-range interactions in two spatial dimensions provides a paradigmatic system for the understanding of strongly correlated Fermi superfluids in two dimensions. It is known to exhibit a BEC-BCS crossover as a function of $\ln(k_F a)$, where $a$ is the scattering length, and to undergo a Berezinskii-Kosterlitz-Thouless superfluid transition below a critical temperature $T_c$. However, the extent of a pseudogap regime in the strongly correlated regime of $\ln(k_F a)\sim 1$, in which pairing correlations persist above $T_c$, remains largely unexplored with controlled theoretical methods. Here we use finite-temperature auxiliary-field quantum Monte Carlo (AFMC) methods on discrete lattices in the canonical ensemble formalism to calculate thermodynamical observables in the strongly correlated regime. We extrapolate to continuous time and the continuum limit to eliminate systematic errors and present results for particle numbers ranging from $N=42$ to $N=162$. We estimate $T_c$ by a finite-size scaling analysis, and observe clear pseudogap signatures above $T_c$ and below a temperature $T^*$ in both the spin susceptibility and free-energy gap. We also present results for the contact, a fundamental thermodynamic property of quantum many-body systems with short-range interactions.

categories: cond-mat.quant-gas cond-mat.supr-con hep-lat nucl-th


title: A Computational Approach to Polynomial Conservation Laws

abstract: For polynomial ODE models, we introduce and discuss the concepts of exact and approximate conservation laws, which are the first integrals of the full and truncated sets of ODEs. For fast-slow systems, truncated ODEs describe the fast dynamics. We define compatibility classes as subsets of the state space, obtained by equating the conservation laws to constants. A set of conservation laws is complete when the corresponding compatibility classes contain a finite number of steady states. Complete sets of conservation laws can be used for model order reduction and for studying the multistationarity of the model. We provide algorithmic methods for computing linear, monomial, and polynomial conservation laws of polynomial ODE models and for testing their completeness. The resulting conservation laws and their completeness are either independent or dependent on the parameters. In the latter case, we provide parametric case distinctions. In particular, we propose a new method to compute polynomial conservation laws by comprehensive Gr\"obner systems and syzygies. Keywords: First integrals, chemical reaction networks, polynomial conservation laws, syzygies, comprehensive Gr\"obner systems.


title: ChatGPT Makes Medicine Easy to Swallow: An Exploratory Case Study on Simplified Radiology Reports

abstract: The release of ChatGPT, a language model capable of generating text that appears human-like and authentic, has gained significant attention beyond the research community. We expect that the convincing performance of ChatGPT incentivizes users to apply it to a variety of downstream tasks, including prompting the model to simplify their own medical reports. To investigate this phenomenon, we conducted an exploratory case study. In a questionnaire, we asked 15 radiologists to assess the quality of radiology reports simplified by ChatGPT. Most radiologists agreed that the simplified reports were factually correct, complete, and not potentially harmful to the patient. Nevertheless, instances of incorrect statements, missed key medical findings, and potentially harmful passages were reported. While further studies are needed, the initial insights of this study indicate a great potential in using large language models like ChatGPT to improve patient-centered care in radiology and other medical domains.


title: Online Statistical Inference for Contextual Bandits via Stochastic Gradient Descent

abstract: With the fast development of big data, it has been easier than before to learn the optimal decision rule by updating the decision rule recursively and making online decisions. We study the online statistical inference of model parameters in a contextual bandit framework of sequential decision-making. We propose a general framework for online and adaptive data collection environment that can update decision rules via weighted stochastic gradient descent. We allow different weighting schemes of the stochastic gradient and establish the asymptotic normality of the parameter estimator. Our proposed estimator significantly improves the asymptotic efficiency over the previous averaged SGD approach via inverse probability weights. We also conduct an optimality analysis on the weights in a linear regression setting. We provide a Bahadur representation of the proposed estimator and show that the remainder term in the Bahadur representation entails a slower convergence rate compared to classical SGD due to the adaptive data collection.


title: Immunization Strategies Based on the Overlapping Nodes in Networks with Community Structure

abstract: Understanding how the network topology affects the spread of an epidemic is a main concern in order to develop efficient immunization strategies. While there is a great deal of work dealing with the macroscopic topological properties of the networks, few studies have been devoted to the influence of the community structure. Furthermore, while in many real-world networks communities may overlap, in these studies non-overlapping community structures are considered. In order to gain insight about the influence of the overlapping nodes in the epidemic process we conduct an empirical evaluation of basic deterministic immunization strategies based on the overlapping nodes. Using the classical SIR model on a real-world network with ground truth overlapping community structure we analyse how immunization based on the membership number of overlapping nodes (which is the number of communities the node belongs to) affect the largest connected component size. Comparison with random immunization strategies designed for networks with non-overlapping community structure show that overlapping nodes play a major role in the epidemic process.


title: From higher order free cumulants to non-separable hypermaps

abstract: Higher order free moments and cumulants, introduced by Collins, Mingo, \'Sniady and Speicher in 2006, describe the fluctuations of unitarily invariant random matrices in the limit of infinite size. The functional relations between their generating functions were only found last year by Borot, Garcia-Failde, Charbonnier, Leid and Shadrin and a combinatorial derivation is still missing. We simplify these relations and show how their combinatorial derivation reduces to the computation of generating functions of planar non-separable hypermaps with prescribed vertex valencies and weighted hyper-edges. The functional relations obtained by Borot et al. involve some remarkable simplifications, which can be formulated as identities satisfied by these generating functions. The case of third order free cumulants, whose combinatorial understanding was already out of reach, is derived explicitly.


title: All maximal gauged supergravities with uplift

abstract: Generalised parallelisable spaces permit to uplift many maximal gauged supergravities to ten or eleven dimensions. While some of the former are explicitly known, the literature is still lacking a systematic construction and a complete classification. We resolve this issue and present an explicit construction, and with it a full classification, of generalised parallelisable spaces for maximal gauged supergravities in four or more dimensions. All embedding tensors that can be realised without breaking the section condition of exceptional field theory are identified and the corresponding generalised frame fields are constructed. This finally resolved the old question: "Which maximal gauged supergravities have uplifts to 10/11d?". Furthermore, it provides the basis to explore solution generating techniques based on generalised dualities.


title: LISA Galactic Binaries in the Roman Galactic Bulge Time-Domain Survey

abstract: Short-period Galactic white dwarf binaries detectable by LISA are the only guaranteed persistent sources for multi-messenger gravitational-wave astronomy. Large-scale surveys in the 2020s present an opportunity to conduct preparatory science campaigns to maximize the science yield from future multi-messenger targets. The Nancy Grace Roman Space Telescope Galactic Bulge Time Domain Survey will (in its Reference Survey design) image seven fields in the Galactic Bulge approximately 40,000 times each. Although the Reference Survey cadence is optimized for detecting exoplanets via microlensing, it is also capable of detecting short-period white dwarf binaries. In this paper, we present forecasts for the number of detached short-period binaries the Roman Galactic Bulge Time Domain Survey will discover and the implications for the design of electromagnetic surveys. Although population models are highly uncertain, we find a high probability that the baseline survey will detect of order ~5 detached white dwarf binaries. The Reference Survey would also have a $\gtrsim20\%$ chance of detecting several known benchmark white dwarf binaries at the distance of the Galactic Bulge.


title: NFTrig

abstract: NFTrig is a web-based application created for use as an educational tool to teach trigonometry and block chain technology. Creation of the application includes front and back end development as well as integration with other outside sources including MetaMask and OpenSea. The primary development languages include HTML, CSS (Bootstrap 5), and JavaScript as well as Solidity for smart contract creation. The application itself is hosted on Moralis utilizing their Web3 API. This technical report describes how the application was created, what the application requires, and smart contract design with security considerations in mind. The NFTrig application has underwent significant testing and validation prior to and after deployment. Future suggestions and recommendations for further development, maintenance, and use in other fields for education are also described.


title: Evaluating Alternative Glyph Design for Showing Large-Magnitude-Range Quantum Spins

abstract: We present experimental results to explore a form of bivariate glyphs for representing large-magnitude-range vectors. The glyphs meet two conditions: (1) two visual dimensions are separable; and (2) one of the two visual dimensions uses a categorical representation (e.g., a categorical colormap). We evaluate how much these two conditions determine the bivariate glyphs' effectiveness. The first experiment asks participants to perform three local tasks requiring reading no more than two glyphs. The second experiment scales up the search space in global tasks when participants must look at the entire scene of hundreds of vector glyphs to get an answer. Our results support that the first condition is necessary for local tasks when a few items are compared. But it is not enough to understand a large amount of data. The second condition is necessary for perceiving global structures of examining very complex datasets. Participants' comments reveal that the categorical features in the bivariate glyphs trigger emergent optimal viewers' behaviors. This work contributes to perceptually accurate glyph representations for revealing patterns from large scientific results. We release source code, quantum physics data, training documents, participants' answers, and statistical analyses for reproducible science https://osf.io/4xcf5/?view_only=94123139df9c4ac984a1e0df811cd580.


title: Emotion in Cognitive Architecture: Emergent Properties from Interactions with Human Emotion

abstract: This document presents endeavors to represent emotion in a computational cognitive architecture. The first part introduces research organizing with two axes of emotional affect: pleasantness and arousal. Following this basic of emotional components, the document discusses an aspect of emergent properties of emotion, showing interaction studies with human users. With these past author's studies, the document concludes that the advantage of the cognitive human-agent interaction approach is in representing human internal states and processes.


title: SESNet: sequence-structure feature-integrated deep learning method for data-efficient protein engineering

abstract: Deep learning has been widely used for protein engineering. However, it is limited by the lack of sufficient experimental data to train an accurate model for predicting the functional fitness of high-order mutants. Here, we develop SESNet, a supervised deep-learning model to predict the fitness for protein mutants by leveraging both sequence and structure information, and exploiting attention mechanism. Our model integrates local evolutionary context from homologous sequences, the global evolutionary context encoding rich semantic from the universal protein sequence space and the structure information accounting for the microenvironment around each residue in a protein. We show that SESNet outperforms state-of-the-art models for predicting the sequence-function relationship on 26 deep mutational scanning datasets. More importantly, we propose a data augmentation strategy by leveraging the data from unsupervised models to pre-train our model. After that, our model can achieve strikingly high accuracy in prediction of the fitness of protein mutants, especially for the higher order variants (> 4 mutation sites), when finetuned by using only a small number of experimental mutation data (<50). The strategy proposed is of great practical value as the required experimental effort, i.e., producing a few tens of experimental mutation data on a given protein, is generally affordable by an ordinary biochemical group and can be applied on almost any protein.


title: Intrinsic Motivation in Dynamical Control Systems

abstract: Biological systems often choose actions without an explicit reward signal, a phenomenon known as intrinsic motivation. The computational principles underlying this behavior remain poorly understood. In this study, we investigate an information-theoretic approach to intrinsic motivation, based on maximizing an agent's empowerment (the mutual information between its past actions and future states). We show that this approach generalizes previous attempts to formalize intrinsic motivation, and we provide a computationally efficient algorithm for computing the necessary quantities. We test our approach on several benchmark control problems, and we explain its success in guiding intrinsically motivated behaviors by relating our information-theoretic control function to fundamental properties of the dynamical system representing the combined agent-environment system. This opens the door for designing practical artificial, intrinsically motivated controllers and for linking animal behaviors to their dynamical properties.


title: Recovering Top-Two Answers and Confusion Probability in Multi-Choice Crowdsourcing

abstract: Crowdsourcing has emerged as an effective platform for labeling large amounts of data in a cost- and time-efficient manner. Most previous work has focused on designing an efficient algorithm to recover only the ground-truth labels of the data. In this paper, we consider multi-choice crowdsourcing tasks with the goal of recovering not only the ground truth, but also the most confusing answer and the confusion probability. The most confusing answer provides useful information about the task by revealing the most plausible answer other than the ground truth and how plausible it is. To theoretically analyze such scenarios, we propose a model in which there are the top two plausible answers for each task, distinguished from the rest of the choices. Task difficulty is quantified by the probability of confusion between the top two, and worker reliability is quantified by the probability of giving an answer among the top two. Under this model, we propose a two-stage inference algorithm to infer both the top two answers and the confusion probability. We show that our algorithm achieves the minimax optimal convergence rate. We conduct both synthetic and real data experiments and demonstrate that our algorithm outperforms other recent algorithms. We also show the applicability of our algorithms in inferring the difficulty of tasks and in training neural networks with top-two soft labels.


title: Selected aspects of complex, hypercomplex and fuzzy neural networks

abstract: This short report reviews the current state of the research and methodology on theoretical and practical aspects of Artificial Neural Networks (ANN). It was prepared to gather state-of-the-art knowledge needed to construct complex, hypercomplex and fuzzy neural networks. The report reflects the individual interests of the authors and, by now means, cannot be treated as a comprehensive review of the ANN discipline. Considering the fast development of this field, it is currently impossible to do a detailed review of a considerable number of pages. The report is an outcome of the Project 'The Strategic Research Partnership for the mathematical aspects of complex, hypercomplex and fuzzy neural networks' meeting at the University of Warmia and Mazury in Olsztyn, Poland, organized in September 2022.


title: Effects of Data Geometry in Early Deep Learning

abstract: Deep neural networks can approximate functions on different types of data, from images to graphs, with varied underlying structure. This underlying structure can be viewed as the geometry of the data manifold. By extending recent advances in the theoretical understanding of neural networks, we study how a randomly initialized neural network with piece-wise linear activation splits the data manifold into regions where the neural network behaves as a linear function. We derive bounds on the density of boundary of linear regions and the distance to these boundaries on the data manifold. This leads to insights into the expressivity of randomly initialized deep neural networks on non-Euclidean data sets. We empirically corroborate our theoretical results using a toy supervised learning problem. Our experiments demonstrate that number of linear regions varies across manifolds and the results hold with changing neural network architectures. We further demonstrate how the complexity of linear regions is different on the low dimensional manifold of images as compared to the Euclidean space, using the MetFaces dataset.


title: On the Geometry of Reinforcement Learning in Continuous State and Action Spaces

abstract: Advances in reinforcement learning have led to its successful application in complex tasks with continuous state and action spaces. Despite these advances in practice, most theoretical work pertains to finite state and action spaces. We propose building a theoretical understanding of continuous state and action spaces by employing a geometric lens. Central to our work is the idea that the transition dynamics induce a low dimensional manifold of reachable states embedded in the high-dimensional nominal state space. We prove that, under certain conditions, the dimensionality of this manifold is at most the dimensionality of the action space plus one. This is the first result of its kind, linking the geometry of the state space to the dimensionality of the action space. We empirically corroborate this upper bound for four MuJoCo environments. We further demonstrate the applicability of our result by learning a policy in this low dimensional representation. To do so we introduce an algorithm that learns a mapping to a low dimensional representation, as a narrow hidden layer of a deep neural network, in tandem with the policy using DDPG. Our experiments show that a policy learnt this way perform on par or better for four MuJoCo control suite tasks.


title: Exploring the Solar Poles: The Last Great Frontier of the Sun

abstract: Despite investments in multiple space and ground-based solar observatories by the global community, the Sun's polar regions remain unchartered territory - the last great frontier for solar observations. Breaching this frontier is fundamental to understanding the solar cycle - the ultimate driver of short-to-long term solar activity that encompasses space weather and space climate. Magnetohydrodynamic dynamo models and empirically observed relationships have established that the polar field is the primary determinant of the future solar cycle amplitude. Models of solar surface evolution of tilted active regions indicate that the mid to high latitude surges of magnetic flux govern dynamics leading to the reversal and build-up of polar fields. Our theoretical understanding and numerical models of this high latitude magnetic field dynamics and plasma flows - that are a critical component of the sunspot cycle - lack precise observational constraints. This limitation compromises our ability to observe the enigmatic kilo Gauss polar flux patches and constrain the polar field distribution at high latitudes. The lack of these observations handicap our understanding of how high latitude magnetic fields power polar jets, plumes, and the fast solar wind that extend to the boundaries of the heliosphere and modulate solar open flux and cosmic ray flux within the solar system. Accurate observation of the Sun's polar regions, therefore, is the single most outstanding challenge that confronts Heliophysics. This paper argues the scientific case for novel out of ecliptic observations of the Sun's polar regions, in conjunction with existing, or future multi-vantage point heliospheric observatories. Such a mission concept can revolutionize the field of Heliophysics like no other mission concept has - with relevance that transcends spatial regimes from the solar interior to the heliosphere.


title: eVAE: Evolutionary Variational Autoencoder

abstract: The surrogate loss of variational autoencoders (VAEs) poses various challenges to their training, inducing the imbalance between task fitting and representation inference. To avert this, the existing strategies for VAEs focus on adjusting the tradeoff by introducing hyperparameters, deriving a tighter bound under some mild assumptions, or decomposing the loss components per certain neural settings. VAEs still suffer from uncertain tradeoff learning.We propose a novel evolutionary variational autoencoder (eVAE) building on the variational information bottleneck (VIB) theory and integrative evolutionary neural learning. eVAE integrates a variational genetic algorithm into VAE with variational evolutionary operators including variational mutation, crossover, and evolution. Its inner-outer-joint training mechanism synergistically and dynamically generates and updates the uncertain tradeoff learning in the evidence lower bound (ELBO) without additional constraints. Apart from learning a lossy compression and representation of data under the VIB assumption, eVAE presents an evolutionary paradigm to tune critical factors of VAEs and deep neural networks and addresses the premature convergence and random search problem by integrating evolutionary optimization into deep learning. Experiments show that eVAE addresses the KL-vanishing problem for text generation with low reconstruction loss, generates all disentangled factors with sharp images, and improves the image generation quality,respectively. eVAE achieves better reconstruction loss, disentanglement, and generation-inference balance than its competitors.


title: GANExplainer: GAN-based Graph Neural Networks Explainer

abstract: With the rapid deployment of graph neural networks (GNNs) based techniques into a wide range of applications such as link prediction, node classification, and graph classification the explainability of GNNs has become an indispensable component for predictive and trustworthy decision-making. Thus, it is critical to explain why graph neural network (GNN) makes particular predictions for them to be believed in many applications. Some GNNs explainers have been proposed recently. However, they lack to generate accurate and real explanations. To mitigate these limitations, we propose GANExplainer, based on Generative Adversarial Network (GAN) architecture. GANExplainer is composed of a generator to create explanations and a discriminator to assist with the Generator development. We investigate the explanation accuracy of our models by comparing the performance of GANExplainer with other state-of-the-art methods. Our empirical results on synthetic datasets indicate that GANExplainer improves explanation accuracy by up to 35\% compared to its alternatives.


title: Don't throw that video away! Reference Frames can fix Video Analysis with a Moving Camera

abstract: One common source of error in video analysis is camera movement. The paper describes a simple frame of reference correction that students can employ to salvage otherwise corrupted video analysis data. Two examples are provided.


title: Time series Forecasting to detect anomalous behaviours in Multiphase Flow Meters

abstract: An Anomaly Detection (AD) System for Self-diagnosis has been developed for Multiphase Flow Meter (MPFM). The system relies on machine learning algorithms for time series forecasting, historical data have been used to train a model and to predict the behavior of a sensor and, thus, to detect anomalies.


title: Self-organization Preserved Graph Structure Learning with Principle of Relevant Information

abstract: Most Graph Neural Networks follow the message-passing paradigm, assuming the observed structure depicts the ground-truth node relationships. However, this fundamental assumption cannot always be satisfied, as real-world graphs are always incomplete, noisy, or redundant. How to reveal the inherent graph structure in a unified way remains under-explored. We proposed PRI-GSL, a Graph Structure Learning framework guided by the Principle of Relevant Information, providing a simple and unified framework for identifying the self-organization and revealing the hidden structure. PRI-GSL learns a structure that contains the most relevant yet least redundant information quantified by von Neumann entropy and Quantum Jensen-Shannon divergence. PRI-GSL incorporates the evolution of quantum continuous walk with graph wavelets to encode node structural roles, showing in which way the nodes interplay and self-organize with the graph structure. Extensive experiments demonstrate the superior effectiveness and robustness of PRI-GSL.


title: Behave-XAI: Deep Explainable Learning of Behavioral Representational Data

abstract: According to the latest trend of artificial intelligence, AI-systems needs to clarify regarding general,specific decisions,services provided by it. Only consumer is satisfied, with explanation , for example, why any classification result is the outcome of any given time. This actually motivates us using explainable or human understandable AI for a behavioral mining scenario, where users engagement on digital platform is determined from context, such as emotion, activity, weather, etc. However, the output of AI-system is not always systematically correct, and often systematically correct, but apparently not-perfect and thereby creating confusions, such as, why the decision is given? What is the reason underneath? In this context, we first formulate the behavioral mining problem in deep convolutional neural network architecture. Eventually, we apply a recursive neural network due to the presence of time-series data from users physiological and environmental sensor-readings. Once the model is developed, explanations are presented with the advent of XAI models in front of users. This critical step involves extensive trial with users preference on explanations over conventional AI, judgement of credibility of explanation.


title: Broad emission lines in optical spectra of hot dust-obscured galaxies can contribute significantly to JWST/NIRCam photometry

abstract: Selecting the first galaxies at z>7-10 from JWST surveys is complicated by z<6 contaminants with degenerate photometry. For example, strong optical nebular emission lines at z<6 may mimic JWST/NIRCam photometry of z>7-10 Lyman Break Galaxies (LBGs). Dust-obscured 3<z<6 galaxies in particular are potentially important contaminants, and their faint rest-optical spectra have been historically difficult to observe. A lack of optical emission line and continuum measures for 3<z<6 dusty galaxies now makes it difficult to test their expected JWST/NIRCam photometry for degenerate solutions with NIRCam dropouts. Towards this end, we quantify the contribution by strong emission lines to NIRCam photometry in a physically motivated manner by stacking 21 Keck II/NIRES spectra of hot, dust-obscured, massive ($\log\mathrm{M_*/M_\odot}\gtrsim10-11$) and infrared (IR) luminous galaxies at z~1-4. We derive an average spectrum and measure strong narrow (broad) [OIII]5007 and H$\alpha$ features with equivalent widths of $130\pm20$ A ($150\pm50$ A) and $220\pm30$ A ($540\pm80$ A) respectively. These features can increase broadband NIRCam fluxes by factors of 1.2-1.7 (0.2-0.6 mag). Due to significant dust-attenuation ($A_V\sim6$), we find H$\alpha$+[NII] to be significantly brighter than [OIII]+H$\beta$, and therefore find that emission-line dominated contaminants of high-z galaxy searches can only reproduce moderately blue perceived UV continua of $S_\lambda\propto\lambda^\beta$ with $\beta>-1.5$ and z>4. While there are some redshifts (z~3.75) where our stack is more degenerate with the photometry of z>10 LBGs between $\lambda_{rest}\sim0.3-0.8\,\mu$m, redder filter coverage beyond $\lambda_{obs}>3.5\,\mu$m and far-IR/sub-mm follow-up may be useful for breaking the degeneracy and making a crucial separation between two fairly unconstrained populations, dust-obscured galaxies at z~3-6 and LBGs at z>10.


title: Ultimate Black Hole Recoil: What the maximum high energy collisions kick is?

abstract: We performed a series of 1381 full numerical simulations of high energy collision of black holes to search for the maximum recoil velocity after their merger. We consider equal mass binaries with opposite spins pointing along their orbital plane and perform a search of spin orientations, impact parameters, and initial linear momenta to find the maximum recoil for a given spin magnitude $s$. This spin sequence for $s=0.4, 0.7, 0.8, 0.85, 0.9$ is then extrapolated to the extreme case, $s=1$, to obtain an estimated maximum recoil velocity of $28,562\pm 342$ km/s, thus approximately bounded by $10\%$ the speed of light.


title: Tailoring fusion-based error correction for high thresholds to biased fusion failures

abstract: We introduce fault-tolerant (FT) architectures for error correction with the XZZX cluster state based on performing measurements of two-qubit Pauli operators $Z\otimes Z$ and $X\otimes X$, or fusions, on a collection of few-body entangled resource states. Our construction is tailored to be effective against noise that predominantly causes faulty $X\otimes X$ measurements during fusions. This feature offers practical advantage in linear optical quantum computing with dual-rail photonic qubits, where failed fusions only erase $X\otimes X$ measurement outcomes. By applying our construction to this platform, we find a record high FT threshold to fusion failures exceeding $25\%$ in the experimentally relevant regime of non-zero loss rate per photon, considerably simplifying hardware requirements.


title: Subharmonic fidelity revival in a driven PXP model

abstract: The PXP model hosts a special set of nonergodic states, referred to as quantum many-body scars. One of the consequences of quantum scarring is the periodic revival of the wave function fidelity. It has been reported that quantum fidelity revival occurs in the PXP model for certain product states, and periodic driving of chemical potential can enhance the magnitude of quantum revival, and can even change the frequencies of revival showing the subharmonic response. Although the effect of the periodic driving in the PXP model has been studied in the limit of certain perturbative regimes, the general mechanism of such enhanced revival and frequency change has been barely studied. In this work, we investigate how periodic driving in the PXP model can systematically control the fidelity revival. Particularly, focusing on the product state so called a Neel state, we analyze the condition of driving to enhance the magnitude of revival or change the frequencies of revival. To clarify the reason of such control, we consider the similarities between the PXP model and the free spin-1/2 model in graph theoretical analysis, and show that the quantum fidelity feature in the PXP model is well explained by the free spin-1/2 model. In addition, under certain limit of the driving parameters, analytic approach to explain the main features of the fidelity revival is also performed. Our results give an insight of the scarring nature of the periodically driven PXP model and pave the way to understand their (sub-)harmonic responses and controls.


title: Anyon statistics through conductance measurements of time-domain interferometry

abstract: We propose a method to extract the mutual exchange statistics of the anyonic excitations of a general Abelian fractional quantum Hall state, by comparing the tunneling characteristics of a quantum point contact in two different experimental conditions. In the first, the tunneling current between two edges at different chemical potentials is measured. In the second, one of these edges is strongly diluted by an earlier point contact. We describe the case of the dilute beam in terms of a time-domain interferometer between the anyons flowing along the edge and quasiparticle-quasihole excitations created at the tunneling quantum point contact. In both cases, temperature is kept large, such that the measured current is given to linear response. Remarkably, our proposal does not require the measurement of current correlations, and allows us to carefully separate effects of the fractional charge and statistics from effects of intra- and inter-edge interactions.


title: Bubble in the Whale: Identifying the Optical Counterparts and Extended Nebula for the Ultraluminous X-ray Sources in NGC 4631

abstract: We present a deep optical imaging campaign on the starburst galaxy NGC 4631 with CFHT/MegaCam. By supplementing the HST/ACS and Chandra/ACIS archival data, we search for the optical counterpart candidates of the five brightest X-ray sources in this galaxy, four of which are identified as ultraluminous X-ray sources (ULXs). The stellar environments of the X-ray sources are analyzed using the extinction-corrected color-magnitude diagrams and the isochrone models. We discover a highly asymmetric bubble nebula around X4 which exhibits different morphology in the H$\alpha$ and [O III] images. The [O III]/H$\alpha$ ratio map shows that the H$\alpha$-bright bubble may be formed mainly via the shock ionization by the one-sided jet/outflow, while the more compact [O III] structure is photoionized by the ULX. We constrain the bubble expansion velocity and interstellar medium density with the MAPPINGS V code, and hence estimate the mechanical power injected to the bubble as $P_w \sim 5\times10^{40}$ erg s$^{-1}$ and the corresponding bubble age of $\sim7\times 10^{5}$ yr. Relativistic jets are needed to provide such level of mechanical power with a mass-loss rate of $\sim10^{-7}\ M_{\odot}\ \rm yr^{-1}$. Besides the accretion, the black hole spin is likely an additional energy source for the super-Eddington jet power.


title: Imitator: Personalized Speech-driven 3D Facial Animation

abstract: Speech-driven 3D facial animation has been widely explored, with applications in gaming, character animation, virtual reality, and telepresence systems. State-of-the-art methods deform the face topology of the target actor to sync the input audio without considering the identity-specific speaking style and facial idiosyncrasies of the target actor, thus, resulting in unrealistic and inaccurate lip movements. To address this, we present Imitator, a speech-driven facial expression synthesis method, which learns identity-specific details from a short input video and produces novel facial expressions matching the identity-specific speaking style and facial idiosyncrasies of the target actor. Specifically, we train a style-agnostic transformer on a large facial expression dataset which we use as a prior for audio-driven facial expressions. Based on this prior, we optimize for identity-specific speaking style based on a short reference video. To train the prior, we introduce a novel loss function based on detected bilabial consonants to ensure plausible lip closures and consequently improve the realism of the generated expressions. Through detailed experiments and a user study, we show that our approach produces temporally coherent facial expressions from input audio while preserving the speaking style of the target actors.


title: Bump-hunting in the diffuse flux of high-energy cosmic neutrinos

abstract: The origin of the bulk of the high-energy astrophysical neutrinos seen by IceCube, with TeV--PeV energies, is unknown. If they are made in photohadronic, i.e., proton-photon, interactions in astrophysical sources, this may manifest as a bump-like feature in their diffuse flux, centered around a characteristic energy. We search for evidence of this feature, allowing for variety in its shape and size, in 7.5 years of High-Energy Starting Events (HESE) collected by the IceCube neutrino telescope, and make forecasts using larger data samples from upcoming neutrino telescopes. Present-day data reveals no evidence of bump-like features, which allows us to constrain candidate populations of photohadronic neutrino sources. Near-future forecasts show promising potential for stringent constraints or decisive discovery of bump-like features. Our results provide new insight into the origins of high-energy astrophysical neutrinos, complementing those from point-source searches.


title: Search for echoes on the edge of quantum black holes

abstract: I perform an unprecedented template-based search for stimulated emission of Hawking radiation (or Boltzmann echoes) by combining the gravitational wave data from 65 binary black hole merger events observed by the LIGO/Virgo collaboration. With a careful Bayesian inference approach, I found no statistically significant evidence for this signal in either of the 3 Gravitational Wave Transient Catalogs GWTC-1, GWTC-2 and GWTC-3. However, the data cannot yet conclusively rule out the presence of Boltzmann echoes either, with the Bayesian evidence ranging within 0.3-1.6 for most events, and a common (non-vanishing) echo amplitude for all mergers being disfavoured at only 2:5 odds. The only exception is GW190521, the most massive and confidently detected event ever observed, which shows a positive evidence of 9.2 for stimulated Hawking radiation. An optimal combination of posteriors yields an upper limit of $A < 0.42$ (at $90\%$ confidence level) for a universal echo amplitude, whereas $A \sim 1$ was predicted in the canonical model. The next generation of gravitational wave detectors such as LISA, Einstein Telescope, and Cosmic Explorer can draw a definitive conclusion on the quantum nature of black hole horizons.


title: Killing Horizons Decohere Quantum Superpositions

abstract: We recently showed that if a massive (or charged) body is put in a quantum spatial superposition, the mere presence of a black hole in its vicinity will eventually decohere the superposition. In this paper we show that, more generally, decoherence of stationary superpositions will occur in any spacetime with a Killing horizon. This occurs because, in effect, the long-range field of the body is registered on the Killing horizon which, we show, necessitates a flux of "soft horizon gravitons/photons" through the horizon. The Killing horizon thereby harvests "which path" information of quantum superpositions and will decohere any quantum superposition in a finite time. It is particularly instructive to analyze the case of a uniformly accelerating body in a quantum superposition in flat spacetime. As we show, from the Rindler perspective the superposition is decohered by "soft gravitons/photons" that propagate through the Rindler horizon with negligible (Rindler) energy. We show that this decoherence effect is distinct from--and larger than--the decoherence resulting from the presence of Unruh radiation. We further show that from the inertial perspective, the decoherence is due to the radiation of high frequency (inertial) gravitons/photons to null infinity. (The notion of gravitons/photons that propagate through the Rindler horizon is the same notion as that of gravitons/photons that propagate to null infinity.) We also analyze the decoherence of a spatial superposition due to the presence of a cosmological horizon in de Sitter spacetime. We provide estimates of the decoherence time for such quantum superpositions in both the Rindler and cosmological cases. Although we explicitly treat the case of spacetime dimension $d=4$, our analysis applies to any dimension $d \geq 4$.


title: CEERS Key Paper IV: Galaxies at $4 < z < 9$ are Bluer than They Appear -- Characterizing Galaxy Stellar Populations from Rest-Frame $\sim 1$ micron Imaging

abstract: We present results from the Cosmic Evolution Early Release Survey (CEERS) on the stellar-population parameters for 28 galaxies with redshifts $4<z<9$ using imaging data from the James Webb Space Telescope (JWST) Mid-Infrared Instrument (MIRI) combined with data from the Hubble Space Telescope and the Spitzer Space Telescope. The JWST/MIRI 5.6 and 7.7 $\mu$m data extend the coverage of the rest-frame spectral-energy distribution (SED) to nearly 1 micron for galaxies in this redshift range. By modeling the galaxies' SEDs the MIRI data show that the galaxies have, on average, rest-frame UV (1600 \r{A}) $-$ $I$-band colors 0.4 mag bluer than derived when using photometry that lacks MIRI. Therefore, the galaxies have lower (stellar)-mass-to-light ratios. The MIRI data reduce the stellar masses by $\langle \Delta\log M_\ast\rangle=0.25$ dex at $4<z<6$ (a factor of 1.8) and 0.37 dex at $6<z<9$ (a factor of 2.3). This also reduces the star-formation rates (SFRs) by $\langle \Delta\log\mathrm{SFR} \rangle=0.14$ dex at $4<z<6$ and 0.27 dex at $6<z<9$. The MIRI data also improve constraints on the allowable stellar mass formed in early star-formation. We model this using a star-formation history that includes both a "burst' at $z_f=100$ and a slowly varying ("delayed-$\tau$") model. The MIRI data reduce the allowable stellar mass by 0.6 dex at $4<z< 6$ and by $\approx$1 dex at $6<z<9$. Applying these results globally, this reduces the cosmic stellar-mass density by an order of magnitude in the early universe ($z\approx9$). Therefore, observations of rest-frame $\gtrsim$1 $\mu$m are paramount for constraining the stellar-mass build-up in galaxies at very high-redshifts.


title: The effective diffusivity of ordered and freely evolving bubbly suspensions

abstract: We investigate the dispersion of a passive scalar such as the concentration of a chemical species, or temperature, in homogeneous bubbly suspensions, by determining an effective diffusivity tensor. Defining the longitudinal and transverse components of this tensor with respect to the direction of averaged bubble rise velocity in a zero mixture velocity frame of reference, we focus on the convective contribution thereof, this being expected to be dominant in commonly encountered bubbly flows. We first extend the theory of Koch et al. (1989) (which is for dispersion in fixed beds of solid particles under Stokes flow) to account for weak inertial effects in the case of ordered suspensions. In the limits of low and of high P\'eclet number, including inertial effect of the flow does not affect the scaling of the effective diffusivity with respect to the P\'eclet number. These results are confirmed by direct numerical simulations performed in different flow regimes, for spherical or very deformed bubbles and from vanishingly small to moderate values of the Reynolds number. Scalar transport in arrays of freely rising bubbles is considered by us subsequently, using numerical simulations. In this case, the dispersion is found to be convectively enhanced at low P\'eclet number, like in ordered arrays. At high P\'eclet number, the Taylor dispersion scaling obtained for ordered configurations is replaced by the one characterizing a purely mechanical dispersion, like in random media, even if the level of disorder is very low.


title: Generalized conformal maps as classical symmetries of Yang-Mills fields

abstract: We show that a class of previously defined maps, called self-dual and causal morphisms, form classical symmetries of Yang-Mills fields in four complex dimensions. These maps generalize conformal transformations, and admit a nonlocal pullback connection that preserves the equations of the theory. First it is shown that self-dual morphisms form symmetries of the anti-self-dual Yang-Mills equations under this pullback. Then a supersymmetric generalization of causal morphisms is defined, which preserves solutions of the field equations for N=3 supersymmetric Yang-Mills theory. As a special case, this implies that a modified definition of causal morphisms form symmetries for the ordinary Yang-Mills field equations.


title: Duality family of KdV equation

abstract: It is revealed that there exist duality families of the KdV type equation. A duality family consists of an infinite number of generalized KdV (GKdV) equations. A duality transformation relates the GKdV equations in a duality family. Once a family member is solved, the duality transformation presents the solutions of all other family members. We show some dualities as examples, such as the soliton solution-soliton solution duality and the periodic solution-soliton solution duality.


title: Predicting the Students Involvements and its Impacts on Learning Outcomes Through Online Education During Covid-19

abstract: Everybody knows very well about the COVID-19 pandemic, lockdown, and its impacts and effects on every field of life, from childhood to senior citizens, from local to global. The underlying research study focuses on students' involvement in online classes. This paper assesses the effect of the COVID-19 pandemic on the students' participation and involvement during online classes compared to the physical classes, cheating behavior, health effects, and study styles of the students of diverse degrees and age groups. This research study contributes to the real problems and challenges that students faced during online classes during the COVID-19 pandemic. The percentages of the students' responses with different color schemes shown in Fig. 1, Fig. 2, Fig.3(a), Fig.3(b) and Fig.4 are conveying powerful and meaningful insight. These figures and the results given in Table I and Table II indicate that most students are not fully involved during online classes due to technical issues, remote distance, etc. We applied the Test here because we do not have exact population means. We used ttest_1samp with default value 0 to compute the variables' statistics and p-value. These values are minimal in favor of rejecting the null or H0 (hypothesis) and accepting the alternate or H1 (hypothesis). It further means that students' involvement during online classes is severely affected.


title: Bayesian Learning for Dynamic Inference

abstract: The traditional statistical inference is static, in the sense that the estimate of the quantity of interest does not affect the future evolution of the quantity. In some sequential estimation problems however, the future values of the quantity to be estimated depend on the estimate of its current value. This type of estimation problems has been formulated as the dynamic inference problem. In this work, we formulate the Bayesian learning problem for dynamic inference, where the unknown quantity-generation model is assumed to be randomly drawn according to a random model parameter. We derive the optimal Bayesian learning rules, both offline and online, to minimize the inference loss. Moreover, learning for dynamic inference can serve as a meta problem, such that all familiar machine learning problems, including supervised learning, imitation learning and reinforcement learning, can be cast as its special cases or variants. Gaining a good understanding of this unifying meta problem thus sheds light on a broad spectrum of machine learning problems as well.


title: Are high-energy photoemission final states free-electron-like?

abstract: Three-dimensional (3D) electronic band structure is fundamental for understanding a vast diversity of physical phenomena in solid-state systems, including topological phases, interlayer interactions in van der Waals materials, dimensionality-driven phase transitions, etc. Interpretation of ARPES data in terms of 3D electron dispersions is commonly based on the free-electron approximation for the photoemission final states. Our soft-X-ray ARPES data on Ag metal reveals, however, that even at high excitation energies the final states can be a way more complex, incorporating several Bloch waves with different out-of-plane momenta. Such multiband final states manifest themselves as a complex structure and excessive broadening of the spectral peaks from 3D electron states. We analyse the origins of this phenomenon, and trace it to other materials such as Si and GaN. Our findings are essential for accurate determination of the 3D band structure over a wide range of materials and excitation energies in the ARPES experiment.


title: Excitations of Ising Strings on a Lattice

abstract: The 3d Ising model in the low temperature (ferromagnetic) phase describes dynamics of two-dimensional surfaces -- domain walls between clusters of parallel spins. The Kramers--Wannier duality maps these surfaces into worldsheets of confining strings in the Wegner's ${\mathbb Z}_2$ gauge theory. We study the excitation spectrum of long Ising strings by simulating the ${\mathbb Z}_2$ gauge theory on a lattice. We observe a strong mixing between string excitations and the lightest glueball state and do not find indications for light massive resonances on the string worldsheet.


title: Guay's affine Yangians and non-rectangular $W$-algebras

abstract: We construct a non-trivial homomorphism from the Guay's affine Yangian to the universal enveloping algebra of non-rectangular $W$-algebras of type $A$. In order to construct the homomorphism, we extend the Guay's affine Yangian and its coproduct.


title: Modified Query Expansion Through Generative Adversarial Networks for Information Extraction in E-Commerce

abstract: This work addresses an alternative approach for query expansion (QE) using a generative adversarial network (GAN) to enhance the effectiveness of information search in e-commerce. We propose a modified QE conditional GAN (mQE-CGAN) framework, which resolves keywords by expanding the query with a synthetically generated query that proposes semantic information from text input. We train a sequence-to-sequence transformer model as the generator to produce keywords and use a recurrent neural network model as the discriminator to classify an adversarial output with the generator. With the modified CGAN framework, various forms of semantic insights gathered from the query document corpus are introduced to the generation process. We leverage these insights as conditions for the generator model and discuss their effectiveness for the query expansion task. Our experiments demonstrate that the utilization of condition structures within the mQE-CGAN framework can increase the semantic similarity between generated sequences and reference documents up to nearly 10% compared to baseline models


abstract: A Compact Introduction to Fractional Calculus is presented including basic definitions, fractional differential equations and special functions.


title: Chiral life on a slab

abstract: We study chiral algebra in the reduction of 3D $\mathcal{N} = 2 $ supersymmetric gauge theories on an interval with the $\mathcal{N}=(0,2)$ Dirichlet boundary conditions on both ends. By invoking the 3D ``twisted formalism'' and the 2D $\beta\gamma$-description we explicitly find the perturbative $\overline{Q}_+$ cohomology of the reduced theory. It is shown that the vertex algebras of boundary operators are enhanced by the line operators. A full non-perturbative result is found in the abelian case, where the chiral algebra is given by the rank two Narain lattice VOA, and two more equivalent descriptions are provided. Conjectures and speculations on the nonperturbative answer in the non-abelian case are also given.


title: New Insights on the Stokes Paradox for Flow in Unbounded Domains

abstract: Stokes flow equations, used to model creeping flow, are a commonly used simplification of the Navier--Stokes equations. The simplification is valid for flows where the inertial forces are negligible compared to the viscous forces. In infinite domains, this simplification leads to a fundamental paradox. In this work we review the Stokes paradox and present new insights related to recent research. We approach the paradox from three different points of view: modern functional analysis, numerical simulations, and classical analytic techniques. The first approach yields a novel, rigorous derivation of the paradox. We also show that relaxing the Stokes no-slip condition (by introducing a Navier's friction condition) in one case resolves the Stokes paradox but gives rise to d'Alembert's paradox. The Stokes paradox has previously been resolved by Oseen, who showed that it is caused by a limited validity of Stokes' approximation. We show that the paradox still holds for the Reynolds--Orr equations describing kinetic energy flow instability, meaning that flow instability steadily increases with domain size. We refer to this as an instability paradox.


title: Optimization-based Sensitivity Analysis for Unmeasured Confounding using Partial Correlations

abstract: Causal inference necessarily relies upon untestable assumptions; hence, it is crucial to assess the robustness of obtained results to violations of identification assumptions. However, such sensitivity analysis is only occasionally undertaken in practice, as many existing methods only apply to relatively simple models and their results are often difficult to interpret. We take a more flexible approach to sensitivity analysis and view it as a constrained stochastic optimization problem. This work focuses on sensitivity analysis for a linear causal effect when an unmeasured confounder and a potential instrument are present. We show how the bias of the OLS and TSLS estimands can be expressed in terms of partial correlations. Leveraging the algebraic rules that relate different partial correlations, practitioners can specify intuitive sensitivity models which bound the bias. We further show that the heuristic "plug-in" sensitivity interval may not have any confidence guarantees; instead, we propose a bootstrap approach to construct sensitivity intervals which perform well in numerical simulations. We illustrate the proposed methods with a real study on the causal effect of education on earnings and provide user-friendly visualization tools.


title: Vector dark matter in supercooled Higgs portal models

abstract: We consider extensions of the Standard Model by a hidden sector consisting of a gauge field coupled with a scalar field. Assuming the absence of dimensionful parameters in the tree level potential, radiative symmetry breaking will make the hidden sector gauge field massive and induce the electroweak scale of the Standard Model. We consider separately dark sector gauge groups $U(1)_{\rm{D}}$ and $SU(2)_{\rm{D}}$, and focus on probing the models with a combination of direct detection experiments and gravitational wave observatories. We find that recent dark matter direct detection results significantly constrain the parameter space of the models where they can account for the observed dark matter relic density via freeze-out. The gravitational wave signals originating from strongly first order electroweak phase transition in these models can be probed in future gravitational wave observatories such as the Laser Interferometer Space Antenna. We show how the projected results compliment direct detection experiments and can help probe parameter space near the neutrino floor of direct detection.


title: Quantifying the Expressive Capacity of Quantum Systems: Fundamental Limits and Eigentasks

abstract: The expressive capacity of quantum systems for machine learning is limited by quantum sampling noise incurred during measurement. Although it is generally believed that noise limits the resolvable capacity of quantum systems, the precise impact of noise on learning is not yet fully understood. We present a mathematical framework for evaluating the available expressive capacity of general quantum systems from a finite number of measurements, and provide a methodology for extracting the extrema of this capacity, its eigentasks. Eigentasks are a native set of functions that a given quantum system can approximate with minimal error. We show that extracting low-noise eigentasks leads to improved performance for machine learning tasks such as classification, displaying robustness to overfitting. We obtain a tight bound on the expressive capacity, and present analyses suggesting that correlations in the measured quantum system enhance learning capacity by reducing noise in eigentasks. These results are supported by experiments on superconducting quantum processors. Our findings have broad implications for quantum machine learning and sensing applications.


title: the impact of the AGN and the torus properties on the evolution of spiral galaxies

abstract: For spiral galaxies, the active galactic nucleus (AGN) and some physical parameters that concern the host galaxy such as spiral arm radius and density can play an important role in the morphological evolution of these galaxies. Considering the gravitational effect of the central black hole as a feeding mechanism, the gas flows from spiral arms to the accretion disk. Accordingly, we constructed our approach and derived an equation for the AGN luminosity that depends on parameters such as the black hole mass and the spiral arm density. The galaxy samples were taken from a catalog of type 1 AGN from SDSS-DR7. In our model, we present the relation between the AGN luminosity and the black hole mass depending on the above physical parameters. We also investigated the relation between the black hole mass and the star formation rate for the galaxy sample. The physical properties of the torus, such as the spiral arm radius, density, the torus length, and the gas mass, and the star formation rate, were explained in terms of the variation of the AGN luminosity. These properties are more effective in the evolutionary scenario of the spiral galaxy. Relative to the variation of the AGN luminosity, the evolutionary track is different based quantitatively on the star formation rate. In which the variation in the star formation rate is positively correlated with the AGN luminosity.


title: Detecting Forged Kerberos Tickets in an Active Directory Environment

abstract: Active Directory is the most popular service to manage users and devices on the network. Its widespread deployment in the corporate world has made it a popular target for threat actors. While there are many attacks that target Active Directory and its authentication protocol Kerberos, ticket forgery attacks are among the most dangerous. By exploiting weaknesses in Kerberos, attackers can craft their own tickets that allow them to gain unauthorized access to services on the network. These types of attacks are both dangerous and hard to detect. They may require a powerful centralized log collecting system to analyze Windows security logs across multiple services. This would give additional visibility to be able to find these forged tickets in the network.


title: An Analysis of Honeypots and their Impact as a Cyber Deception Tactic

abstract: This paper explores deploying a cyber honeypot system to learn how cyber defenders can use a honeypot system as a deception mechanism to gather intelligence. Defenders can gather intelligence about an attacker such as the autonomous system that the IP of the attacker is allocated from, the way the attacker is trying to penetrate the system, what different types of attacks are being used, the commands the attacker is running once they are inside the honeypot, and what malware the attacker is downloading to the deployed system. We demonstrate an experiment to implement a honeypot system that can lure in attackers and gather all the information mentioned above. The data collected is then thoroughly analyzed and explained to understand all this information. This experiment can be recreated and makes use of many open-source tools to successfully create a honeypot system.


title: A Bayesian treatment of the German tank problem

abstract: The German tank problem has an interesting historical background and is an engaging problem of statistical estimation for the classroom. The objective is to estimate the size of a population of tanks inscribed with sequential serial numbers, from a random sample. In this tutorial article, we outline the Bayesian approach to the German tank problem, (i) whose solution assigns a probability to each tank population size, thereby quantifying uncertainty, and (ii) which provides an opportunity to incorporate prior information and/or beliefs about the tank population size into the solution. We illustrate with an example. Finally, we survey problems in other contexts that resemble the German tank problem.


title: The Simplest Proof of Parikh's Theorem via Derivation Trees

abstract: Parikh's theorem is a fundamental result of the formal language's theory. There had been published many proofs and many papers claimed to provide a simplified proof, but most of them are long and still complicated. We provide the proof that is really short, simple and discloses the nature of this fundamental result. We follow the technique closed to the original Parikh's paper and our proof is similar to the proof by Ryoma Sin'ya 2019, but we provide more detailed exposition and pretend to more simplicity as well. We achieve the simplicity via nonconstructivenes that allows us avoiding many difficulties met by other proofs.


title: Robustness of Variational Quantum Algorithms against stochastic parameter perturbation

abstract: Variational quantum algorithms are tailored to perform within the constraints of current quantum devices, yet they are limited by performance-degrading errors. In this study, we consider a noise model that reflects realistic gate errors inherent to variational quantum algorithms. We investigate the decoherence of a variationally prepared quantum state due to this noise model, which causes a deviation from the energy estimation in the variational approach. By performing a perturbative analysis of optimized circuits, we determine the noise threshold at which the criteria set by the stability lemma is met. We assess our findings against the variational quantum eigensolver and quantum approximate optimization algorithm for various problems with up to 14 qubits. Moreover, we show that certain gate errors have a significantly smaller impact on the coherence of the state, allowing us to reduce the execution time without compromising performance.


title: Multi-Finger Haptics: Analysis of Human Hand Grasp towards a Tripod Three-Finger Haptic Grasp model

abstract: Grasping is an incredible ability of animals using their arms and limbs in their daily life. The human hand is an especially astonishing multi-fingered tool for precise grasping, which helped humans to develop the modern world. The implementation of the human grasp to virtual reality and telerobotics is always interesting and challenging at the same time. In this work, authors surveyed, studied, and analyzed the human hand-grasping behavior for the possibilities of haptic grasping in the virtual and remote environment. This work is focused on the motion and force analysis of fingers in human hand grasping scenarios and the paper describes the transition of the human hand grasping towards a tripod haptic grasp model for effective interaction in virtual reality.


title: Long-Term Online Multi-Session Graph-Based SPLAM with Memory Management

abstract: For long-term simultaneous planning, localization and mapping (SPLAM), a robot should be able to continuously update its map according to the dynamic changes of the environment and the new areas explored. With limited onboard computation capabilities, a robot should also be able to limit the size of the map used for online localization and mapping. This paper addresses these challenges using a memory management mechanism, which identifies locations that should remain in a Working Memory (WM) for online processing from locations that should be transferred to a Long-Term Memory (LTM). When revisiting previously mapped areas that are in LTM, the mechanism can retrieve these locations and place them back in WM for online SPLAM. The approach is tested on a robot equipped with a short-range laser rangefinder and a RGB-D camera, patrolling autonomously 10.5 km in an indoor environment over 11 sessions while having encountered 139 people.


title: Learning from Guided Play: Improving Exploration for Adversarial Imitation Learning with Simple Auxiliary Tasks

abstract: Adversarial imitation learning (AIL) has become a popular alternative to supervised imitation learning that reduces the distribution shift suffered by the latter. However, AIL requires effective exploration during an online reinforcement learning phase. In this work, we show that the standard, naive approach to exploration can manifest as a suboptimal local maximum if a policy learned with AIL sufficiently matches the expert distribution without fully learning the desired task. This can be particularly catastrophic for manipulation tasks, where the difference between an expert and a non-expert state-action pair is often subtle. We present Learning from Guided Play (LfGP), a framework in which we leverage expert demonstrations of multiple exploratory, auxiliary tasks in addition to a main task. The addition of these auxiliary tasks forces the agent to explore states and actions that standard AIL may learn to ignore. Additionally, this particular formulation allows for the reusability of expert data between main tasks. Our experimental results in a challenging multitask robotic manipulation domain indicate that LfGP significantly outperforms both AIL and behaviour cloning, while also being more expert sample efficient than these baselines. To explain this performance gap, we provide further analysis of a toy problem that highlights the coupling between a local maximum and poor exploration, and also visualize the differences between the learned models from AIL and LfGP.