title: Catastrophic Fisher Explosion: Early Phase Fisher Matrix Impacts Generalization

abstract: The early phase of training a deep neural network has a dramatic effect on the local curvature of the loss function. For instance, using a small learning rate does not guarantee stable optimization because the optimization trajectory has a tendency to steer towards regions of the loss surface with increasing local curvature. We ask whether this tendency is connected to the widely observed phenomenon that the choice of the learning rate strongly influences generalization. We first show that stochastic gradient descent (SGD) implicitly penalizes the trace of the Fisher Information Matrix (FIM), a measure of the local curvature, from the start of training. We argue it is an implicit regularizer in SGD by showing that explicitly penalizing the trace of the FIM can significantly improve generalization. We highlight that poor final generalization coincides with the trace of the FIM attaining a large value early in training, to which we refer as catastrophic Fisher explosion. Finally, to gain insight into the regularization effect of penalizing the trace of the FIM, we show that it limits memorization by reducing the learning speed of examples with noisy labels more than that of the examples with clean labels.


title: Optical detection of cancer stages via partial wave spectroscopy (PWS) using tissue microarrays (TMA) samples

abstract: The progression of cancer is associated with different genetic and epigenetic events which result in nano to microscale structural alterations in cells/tissue. However, these structural alterations in the early stage of the disease remain undetectable by conventional microscopy due to the diffraction-limited resolution of ~200nm. With cancer being an epidemic worldwide, early and accurate detection methods are always in demand. In this sense, we developed a finer focusing mesoscopic physics-based partial wave spectroscopy (PWS) imaging and quantification technique, which can probe the precise scattering volume in cells/tissue to detect such structural alterations. Therefore, we employ the highly sensitive PWS technique to quantify the nanoscale refractive index fluctuations using commercially available paraffin embedded tissue microarrays (TMA) samples with the goal of the standardized early and accurate detection of stages of different cancers. Recently the use of scientific TMA samples has gained research interest in diagnosing different diseases and drug-effect in treatment since they are commercially easily accessible. In this work, deadly cancer such as pancreatic, prostate, breast, and colon cancer TMAs containing multiple cores of different stages for each cancer are analyzed using the PWS technique and the degree of disorder strength Ld was quantified. The finer focusing PWS results show that an increase in the disorder strength with the increase in the stage of each cancer. This quantitative analysis of different cancer stages using commercially available TMA samples could enhance and standardize early, accurate cancer diagnosis modalities.


title: The temporal logic of coalitional goal assignments in concurrent multi-player games

abstract: We introduce and study a natural extension of the Alternating time temporal logic ATL, called Temporal Logic of Coalitional Goal Assignments (TLCGA). It features just one, but quite expressive, coalitional strategic operator, viz. the coalitional goal assignment operator, which is based on a mapping assigning to each set of players in the game its coalitional goal, formalised by a path formula of the language of TLCGA, i.e. a formula prefixed with a temporal operator X,U, or G, representing a temporalised objective for the respective coalition, describing the property of the plays on which that objective is satisfied. We establish fixpoint characterizations of the temporal goal assignments in a mu-calculus extension of TLCGA, discuss its expressiveness and illustrate it with some examples, prove bisimulation invariance and Hennessy-Milner property for it with respect to a suitably defined notion of bisimulation, construct a sound and complete axiomatic system for TLCGA, and obtain its decidability via finite model property.


title: Semiclassical spectral analysis of the Bochner-Schr\"odinger operator on symplectic manifolds of bounded geometry

abstract: We study the Bochner-Schr\"odinger operator $H_{p}=\frac 1p\Delta^{L^p\otimes E}+V$ on high tensor powers of a positive line bundle $L$ on a symplectic manifold of bounded geometry. First, we give a rough asymptotic description of its spectrum in terms of the spectra of the model operators. This allows us to prove the existence of gaps in the spectrum under some conditions on the curvature of the line bundle. Then we consider the spectral projection of such an operator corresponding to an interval whose extreme points are not in the spectrum and study asymptotic behavior of its kernel. First, we establish the off-diagonal exponential estimate. Then we state a complete asymptotic expansion in a fixed neighborhood of the diagonal.


title: Bethe/Gauge Correspondence for SO/Sp Gauge Theories and Open Spin Chains

abstract: In this article, we extend the work of arXiv:0901.4744 to a Bethe/Gauge correspondence between 2d (or resp. 3d) SO/Sp gauge theories and open XXX (resp. XXZ) spin chains with diagonal boundary conditions. The case of linear quiver gauge theories is also considered.


title: Berezin-Toeplitz quantization asssociated with higher Landau levels of the Bochner Laplacian

abstract: In this paper, we construct a family of Berezin-Toeplitz type quantizations of a compact symplectic manifold. For this, we choose a Riemannian metric on the manifold such that the associated Bochner Laplacian has the same local model at each point (this is slightly more general than in almost-K\"ahler quantization). Then the spectrum of the Bochner Laplacian on high tensor powers $L^p$ of the prequantum line bundle $L$ asymptotically splits into clusters of size ${\mathcal O}(p^{3/4})$ around the points $p\Lambda$, where $\Lambda$ is an eigenvalue of the model operator (which can be naturally called a Landau level). We develop the Toeplitz operator calculus with the quantum space, which is the eigenspace of the Bochner Laplacian corresponding to the eigebvalues frrom the cluster. We show that it provides a Berezin-Toeplitz quantization. If the cluster corresponds to a Landau level of multiplicity one, we obtain an algebra of Toeplitz operators and a formal star-product. For the lowest Landau level, it recovers the almost K\"ahler quantization.


title: On Liveness Enforcement of Distributed Petri Net Systems

abstract: This paper considers the liveness enforcement problem in a class of Petri nets (PNs) modeling distributed systems called Synchronized Sequential Processes (SSP). This class of PNs is defined as a set of mono-marked state machines (sequential machines, called also agents) cooperating in a distributed way through buffers. These buffers could model intermediate products in a production system or information channel in a healthcare system but they should be destination private to an agent. The designed controller for liveness enforcement should preserve this important property characteristic to the distributed systems. The approach in this paper is based on the construction of a control PN that is an abstraction of the relations of the T-semiflows and buffers. The control PN will evolve in parallel with the system, avoiding the firing of transitions that may lead the system to livelock. An algorithm to compute this control PN is presented. Moreover, in order to ensure the liveness of control PN, another algorithm is proposed allowing the firing of local T-semiflow in the correct proportion. Finally, an algorithm for guiding the system evolution is also proposed.


title: Four-Dimensional Elastically Deformed Simplex Space-Time Meshes for Domains with Time Variant Topology

abstract: Thinking of the flow through biological or technical valves, there is a variety of applications in which the topology of a fluid domain changes over time. This topology change is characteristic for the physical behaviour, but poses a particular challenge in computer simulations. A way to overcome this challenge is to consider the space-time extent of the application as a contiguous computational domain. In this work, we obtain a boundary conforming discretization of the space-time domain with four-dimensional simplex elements (pentatopes). To facilitate the construction of pentatope meshes for complex geometries, the widely used elastic mesh update method is extended to four-dimensional meshes. In the resulting workflow, the topology change is elegantly included in the pentatope mesh and does not require any additional treatment during the simulation. The potential of simplex space-time meshes for domains with time variant topology is demonstrated in a valve simulation and a flow simulation inspired by a clamped artery.


title: StudyU: a platform for designing and conducting innovative digital N-of-1 trials

abstract: N-of-1 trials are the gold standard study design to evaluate individual treatment effects and derive personalized treatment strategies. Digital tools have the potential to initiate a new era of N-of-1 trials in terms of scale and scope, but fully-functional platforms are not yet available. Here, we present the open source StudyU platform which includes the StudyU designer and StudyU app. With the StudyU designer, scientists are given a collaborative web application to digitally specify, publish, and conduct N-of-1 trials. The StudyU app is a smartphone application with innovative user-centric elements for participants to partake in the published trials and assess the effects of different interventions on their health. Thereby, the StudyU platform allows clinicians and researchers worldwide to easily design and conduct digital N-of-1 trials in a safe manner. We envision that StudyU can change the landscape of personalized treatments both for patients and healthy individuals, democratize and personalize evidence generation for self-optimization and medicine, and can be integrated in clinical practice.


title: Tropical Fock-Goncharov coordinates for $\mathrm{SL}_3$-webs on surfaces II: naturality

abstract: In a companion paper (arXiv 2011.01768), we constructed nonnegative integer coordinates $\Phi_\mathscr{T}(\mathscr{W}_{3, \hat{S}}) \subset \mathbb{Z}_{\geq 0}^N$ for the collection $\mathscr{W}_{3, \hat{S}}$ of reduced $\mathrm{SL}_3$-webs on a finite-type punctured surface $\hat{S}$, depending on an ideal triangulation $\mathscr{T}$ of $\hat{S}$. We show that these coordinates are natural with respect to the choice of triangulation, in the sense that if a different triangulation $\mathscr{T}^\prime$ is chosen, then the coordinate change map relating $\Phi_\mathscr{T}(\mathscr{W}_{3, \hat{S}})$ to $\Phi_{\mathscr{T}^\prime}(\mathscr{W}_{3, \hat{S}})$ is a tropical $\mathcal{A}$-coordinate cluster transformation. We can therefore view the webs $\mathscr{W}_{3, \hat{S}}$ as a concrete topological model for the Fock-Goncharov-Shen positive integer tropical points $\mathcal{A}_{\mathrm{PGL}_3, \hat{S}}^+(\mathbb{Z}^t)$.


title: The relaxation limit of bipolar fluid models

abstract: This work establishes the relaxation limit from the bipolar Euler-Poisson system to the bipolar drift-diffusion system, for data so that the latter has a smooth solution. A relative energy identity is developed for the bipolar fluid system and is used to show that a dissipative weak solution of the bipolar Euler-Poisson system converges in the high-friction regime to a strong and bounded away from vacuum solution of the bipolar drift-diffusion system.


title: Screening COVID-19 Based on CT/CXR Images & Building a Publicly Available CT-scan Dataset of COVID-19

abstract: The rapid outbreak of COVID-19 threatens humans life all around the world. Due to insufficient diagnostic infrastructures, developing an accurate, efficient, inexpensive, and quick diagnostic tool is of great importance. As chest radiography, such as chest X-ray (CXR) and CT computed tomography (CT), is a possible way for screening COVID-19, developing an automatic image classification tool is immensely helpful for detecting the patients with COVID-19. To date, researchers have proposed several different screening methods; however, none of them could achieve a reliable and highly sensitive performance yet. The main drawbacks of current methods are the lack of having enough training data, low generalization performance, and a high rate of false-positive detection. To tackle such limitations, this study firstly builds a large-size publicly available CT-scan dataset, consisting of more than 13k CT-images of more than 1000 individuals, in which 8k images are taken from 500 patients infected with COVID-19. Secondly, we propose a deep learning model for screening COVID-19 using our proposed CT dataset and report the baseline results. Finally, we extend the proposed CT model for screening COVID-19 from CXR images using a transfer learning approach. The experimental results show that the proposed CT and CXR methods achieve the AUC scores of 0.886 and 0.984 respectively.


title: Contract-Aware Secure Compilation

abstract: Microarchitectural attacks exploit the abstraction gap between the Instruction Set Architecture (ISA) and how instructions are actually executed by processors to compromise the confidentiality and integrity of a system. To secure systems against microarchitectural attacks, programmers need to reason about and program against these microarchitectural side-effects. However, we cannot -- and should not -- expect programmers to manually tailor programs for specific processors and their security guarantees. Instead, we could rely on compilers (and the secure compilation community), as they can play a prominent role in bridging this gap: compilers should target specific processors microarchitectural security guarantees and they should leverage these guarantees to produce secure code. To achieve this, we outline the idea of Contract-Aware Secure COmpilation (CASCO) where compilers are parametric with respect to a hardware/software security-contract, an abstraction capturing a processor's security guarantees. That is, compilers will automatically leverage the guarantees formalized in the contract to ensure that program-level security properties are preserved at microarchitectural level.


title: Thermodynamic Instability of $\mathrm{{3D}}$ Einstein-Born-Infeld AdS Black Holes

abstract: Super-entropic black holes possess finite-area but noncompact event horizons and violate the reverse isoperimetric inequality. It has been conjectured that such black holes always have negative specific heat at constant volume $C_{V}$ or negative specific heat at constant pressure $C_{P}$ whenever $C_{V}>0$, making them unstable in extended thermodynamics. In this paper, we test this instability conjecture on a family of nonlinear electrodynamics black holes, namely $3$D Einstein-Born-Infeld (EBI) AdS black holes. Our results show that when nonlinear electrodynamics effects are weak, the instability conjecture is valid. However, the conjecture can be violated in some parameter region when nonlinear electrodynamics effects are strong enough. This observation thus provides a counter example to the instability conjecture, which suggests that super-entropic black holes could be thermodynamically stable.


title: Combining CNN and Hybrid Active Contours for Head and Neck Tumor Segmentation in CT and PET images

abstract: Automatic segmentation of head and neck tumors plays an important role in radiomics analysis. In this short paper, we propose an automatic segmentation method for head and neck tumors from PET and CT images based on the combination of convolutional neural networks (CNNs) and hybrid active contours. Specifically, we first introduce a multi-channel 3D U-Net to segment the tumor with the concatenated PET and CT images. Then, we estimate the segmentation uncertainty by model ensembles and define a segmentation quality score to select the cases with high uncertainties. Finally, we develop a hybrid active contour model to refine the high uncertainty cases. Our method ranked second place in the MICCAI 2020 HECKTOR challenge with average Dice Similarity Coefficient, precision, and recall of 0.752, 0.838, and 0.717, respectively.


title: Lindbladian approximation beyond ultra-weak coupling

abstract: Away from equilibrium, the properties of open quantum systems depend on the details of their environment. A microscopic derivation of a master equation (ME) is therefore crucial. Of particular interest are Lindblad-type equations, not only because they provide the most general class of Markovian MEs, but also since they are the starting point for efficient quantum trajectory simulations. Lindblad-type MEs are commonly derived from the Born-Markov-Redfield equation via a rotating-wave approximation (RWA). However the RWA is valid only for ultra-weak system bath coupling and often fails to accurately describe nonequilibrium processes. Here we derive an alternative Lindbladian approximation to the Redfield equation, which does not rely on ultra-weak system-bath coupling. Applying it to an extended Hubbard model coupled to Ohmic baths, we show that, especially away from equilibrium, it provides a good approximation in large parameter regimes where the RWA fails.


title: Modulating Effect of Evanscent Waves on Thin Film Growth

abstract: Atomic-scale smooth thin films are keys to successful integration and proper function of many multilayer-structured devices. However, the intrinsic island-like growth mode prevents human being from realizing such ultrasmooth films of many important functional materials. To solve this problem, we propose a negative entropy-infusing method that employs evanescent waves to enhance the downward interlayer diffusion of adatoms and thus transform the island-like growth mode to the layer-by-layer growth mode. The formulas of the optical force and the lowered diffusion barrier were derived, and the application of this theory on a simplified example demonstrates significantly improved surface morphologies through numerical simulations.


title: The Curse of Dense Low-Dimensional Information Retrieval for Large Index Sizes

abstract: Information Retrieval using dense low-dimensional representations recently became popular and showed out-performance to traditional sparse-representations like BM25. However, no previous work investigated how dense representations perform with large index sizes. We show theoretically and empirically that the performance for dense representations decreases quicker than sparse representations for increasing index sizes. In extreme cases, this can even lead to a tipping point where at a certain index size sparse representations outperform dense representations. We show that this behavior is tightly connected to the number of dimensions of the representations: The lower the dimension, the higher the chance for false positives, i.e. returning irrelevant documents.


title: Asymptotic stability of Landau solutions to Navier-Stokes system under $L^p$-perturbations

abstract: In this paper, we show that Landau solutions to the Navier-Stokes system are asymptotically stable under $L^3$-perturbations. We give the local well-posedness of solutions to the perturbed system with initial data in $L_{\sigma}^3$ space and the global well-posedness with small initial data in $L_{\sigma}^3$ space, together with a study of the $L^q$ decay for all $q>3.$ Moreover, we have also studied the local well-posedness, global well-posedness and stability in $L^p$ spaces for $3<p<\infty$.


title: Loop quantum black hole extensions within the improved dynamics

abstract: We continue our investigation of an improved quantization scheme for spherically symmetric loop quantum gravity. We find that in the region where the black hole singularity appears in the classical theory, the quantum theory contains semi-classical states that approximate general relativity coupled to an effective anisotropic fluid. The singularity is eliminated and the space-time can be continued into a white hole space-time. This is similar to previously considered scenarios based on a loop quantum gravity quantization.


title: The relativistic quantum Boltzmann equation near equilibrium

abstract: The relativistic quantum Boltzmann equation (or the relativistic Uehling-Uhlenbeck equation) describes the dynamics of single-species fast-moving quantum particles. With the recent development of the relativistic quantum mechanics, the relativistic quantum Boltzmann equation has been widely used in physics and engineering such as in the quantum collision experiments and the simulations of electrons in graphene. In spite of such importance, there has been no mathematical theory on the existence of solutions for the relativistic quantum Boltzmann equation to the best of authors' knowledge. In this paper, we prove the global existence of a unique classical solution to the relativistic Boltzmann equation for both bosons and fermions when the initial distribution is nearby a global equilibrium.


title: TransPose: Keypoint Localization via Transformer

abstract: While CNN-based models have made remarkable progress on human pose estimation, what spatial dependencies they capture to localize keypoints remains unclear. In this work, we propose a model called \textbf{TransPose}, which introduces Transformer for human pose estimation. The attention layers built in Transformer enable our model to capture long-range relationships efficiently and also can reveal what dependencies the predicted keypoints rely on. To predict keypoint heatmaps, the last attention layer acts as an aggregator, which collects contributions from image clues and forms maximum positions of keypoints. Such a heatmap-based localization approach via Transformer conforms to the principle of Activation Maximization~\cite{erhan2009visualizing}. And the revealed dependencies are image-specific and fine-grained, which also can provide evidence of how the model handles special cases, e.g., occlusion. The experiments show that TransPose achieves 75.8 AP and 75.0 AP on COCO validation and test-dev sets, while being more lightweight and faster than mainstream CNN architectures. The TransPose model also transfers very well on MPII benchmark, achieving superior performance on the test set when fine-tuned with small training costs. Code and pre-trained models are publicly available\footnote{\url{https://github.com/yangsenius/TransPose}}.


title: Status of the STUDIO UV balloon mission and platform

abstract: Stratospheric balloons offer accessible and affordable platforms for observations in atmosphere-constrained wavelength ranges. At the same time, they can serve as an effective step for technology demonstration towards future space applications of instruments and other hardware. The Stratospheric UV Demonstrator of an Imaging Observatory (STUDIO) is a balloon-borne platform and mission carrying an imaging micro-channel plate (MCP) detector on a 0.5 m aperture telescope. STUDIO is currently planned to fly during the summer turnaround conditions over Esrange, Sweden, in the 2022 season. For details on the ultraviolet (UV) detector, see the contribution of Conti et al. to this symposium. The scientific goal of the mission is to survey for variable hot compact stars and flaring M-dwarf stars within the galactic plane. At the same time, the mission acts as a demonstrator for a versatile and scalable astronomical balloon platform as well as for the aforementioned MCP instrument. The gondola is designed to allow the use of different instruments or telescopes. Furthermore, it is designed to serve for several, also longer, flights, which are envisioned under the European Stratospheric Balloon Observatory (ESBO) initiative. In this paper, we present the design and current status of manufacturing and testing of the STUDIO platform. We furthermore present the current plans for the flight and observations from Esrange.


title: Effect of proximity-induced spin-orbit coupling in graphene mesoscopic billiards

abstract: Van der Waals heterostructures based on two-dimensional materials have recently become a very active topic of research in spintronics, both aiming at a fundamental description of spin dephasing processes in nanostructures and as a potential element in spin-based information processing schemes. Here, we theoretically investigate the magnetoconductance of mesoscopic devices built from graphene proximity-coupled to a high spin-orbit coupling material. Through numerically exact tight-binding simulations, we show that the interfacial breaking of inversion symmetry generates robust weak antilocalization even when the $z\rightarrow -z$ symmetric spin-orbit coupling in the quantum dot dominates over the Bychkov--Rashba interaction. Our findings are in interpreted on the light of random matrix theory, which links the observed behavior of quantum interference corrections to a transition from circular-orthogonal to circular-sympletic ensemble.


title: Towards modeling cluster structure of $^8$Be with chiral interaction

abstract: How the nuclear force behaves in cluster states, in particular those consisting of the $\alpha$ clusters, has been investigated so far, but not yet elucidated. Today the chiral effective field theory is established and it would shed new light on the microscopic understanding of the cluster states. We aim to address a possible source of the attraction in the cluster states of $^8\mathrm{Be}$ in view of the pion exchange. Namely, we investigate whether the two-pion-exchange interaction acts as a dominant attraction in the $\alpha+\alpha$ system as predicted by a previous work. We describe theoretically the cluster structure of $^8\mathrm{Be}$ by the Brink model, for which the effective interaction is designed from the realistic nuclear force derived through the chiral effective field theory. The two-body matrix elements of the chiral interaction with the local-Gaussian bases are formulated within the approximation of the spin-isospin saturation forming an $\alpha$ particle. Introducing a global prefactor to the chiral interaction phenomenologically, the ground and low-lying excited states of $^8\mathrm{Be}$, the scattering phase shift of the $\alpha$-$\alpha$ system as well, are satisfactorily depicted. The attraction in the cluster states is found to be stemming from the two-pion-exchange contributions dominantly, along with nonnegligible short-range terms. The present work can be the foundation towards constructing realistic cluster models, by which the cluster states will be revealed microscopically in the next step.


title: A Comparison Between Meshless Radial Basis Function Collocation Method and Finite Element Method for Solving Poisson and Stokes Problems

abstract: Steady and unsteady Poisson and Stokes equations are solved using mesh dependent Finite Element Method and meshless Radial Basis Function Collocation Method to compare the performances of these two numerical techniques across several criteria. The accuracy of Radial Basis Function Collocation Method with multiquadrics is enhanced by implementing a shape parameter optimization algorithm. For the time-dependent problems, time discretization is conducted using Backward Euler Method. The performances are assessed over the accuracy, runtime, condition number, and ease of implementation criteria. Three kinds of errors were calculated; least square error, root mean square error and maximum relative error. To calculate the least square error while using meshless Radial Basis Function Collocation Method, a novel technique is implemented. Imaginary numerical solution surfaces are created and then the volume between those imaginary surfaces and the analytic solution surfaces is calculated, enabling a fair error calculation. Lastly, all solutions are put together and solution trends are observed over the number of solution nodes vs. runtime, accuracy vs. runtime, and accuracy vs. the number of nodes. The assessment indicates the criteria under which Finite Element Method perform better and those when Radial Basis Function Collocation Method outperforms its mesh dependent counterpart.


title: SimBricks: End-to-End Network System Evaluation with Modular Simulation

abstract: Full system "end-to-end" measurements in physical testbeds are the gold standard for network systems evaluation but are often not feasible. When physical testbeds are not available we frequently turn to simulation for evaluation. Unfortunately, existing simulators are insufficient for end-to-end evaluation, as they either cannot simulate all components, or simulate them with inadequate detail. We address this through modular simulation, flexibly combining and connecting multiple existing simulators for different components, including processor and memory, devices, and network, into virtual end-to-end testbeds tuned for each use-case. Our architecture, SimBricks, combines well-defined component interfaces for extensibility and modularity, efficient communication channels for local and distributed simulation, and a co-designed efficient synchronization mechanism for accurate timing across simulators. We demonstrate SimBricks scales to 1000 simulated hosts, each running a full software stack including Linux, and that it can simulate testbeds with existing NIC and switch RTL implementations. We also reproduce key findings from prior work in congestion control, NIC architecture, and in-network computing in SimBricks.


title: Sketch of a Program for Universal Automorphic Functions to Capture Monstrous Moonshine

abstract: We review and reformulate old and prove new results about the triad $ {\rm PPSL}_2({\mathbb Z})\subseteq{\rm PPSL}_2({\mathbb R})\circlearrowright ppsl_2({\mathbb R}) $, which provides a universal generalization of the classical automorphic triad ${\rm PSL}_2({\mathbb Z})\subseteq{\rm PSL}_2({\mathbb R})\circlearrowright psl_2({\mathbb R})$. The leading P or $p$ in the universal setting stands for $piecewise$, and the group ${\rm PPSL}_2({\mathbb Z})$ plays at once the role of universal modular group, universal mapping class group, Thompson group $T$ and Ptolemy group. We produce a new basis of the Lie algebra $ppsl_2({\mathbb R})$, compute its structure constants, define a central extension which is compared with the Weil-Petersson 2-form, and discuss its representation theory. We construct and study new framed holographic coordinates on the universal Teichm\"uller space and its symmetry group ${\rm PPSL}_2({\mathbb R})$, and construct an invariant 1-form as its Maurer-Cartan form analogous to the invariant Eisenstein 1-form $E_2(z)dz$, which gives rise to the spin 1 representation of $psl_2({\mathbb R})$ extended by the trivial representation. This suggests the full program for developing the theory of universal automorphic functions conjectured to yield the bosonic CFT$_2$. Relaxing the automorphic condition to the commutant leads to our ultimate conjecture on realizing the Monster CFT$_2$ via the automorphic representation for the universal triad. This conjecture is also bolstered by the links of both the universal Teichm\"uller and the Monster CFT$_2$ theories to the three-dimensional quantum gravity.


title: Training Signal Design for Sparse Channel Estimation in Intelligent Reflecting Surface-Assisted Millimeter-Wave Communication

abstract: In this paper, the problem of training signal design for intelligent reflecting surface (IRS)-assisted millimeter-wave (mmWave) communication under a sparse channel model is considered. The problem is approached based on the Cram$\acute{\text{e}}$r-Rao lower bound (CRB) on the mean-square error (MSE) of channel estimation. By exploiting the sparse structure of mmWave channels, the CRB for the channel parameter composed of path gains and path angles is derived in closed form under Bayesian and hybrid parameter assumptions. Based on the derivation and analysis, an IRS reflection pattern design method is proposed by minimizing the CRB as a function of design variables under constant modulus constraint on reflection coefficients. Numerical results validate the effectiveness of the proposed design method for sparse mmWave channel estimation.


title: On limit sets for geodesics of meromorphic connections

abstract: Meromorphic connections on Riemann surfaces originate and are closely related to the classical theory of linear ordinary differential equations with meromorphic coefficients. Limiting behaviour of geodesics of such connections has been studied by e.g. Abate, Bianchi and Tovena in relation with generalized Poincar\'{e}-Bendixson theorems. At present, it seems still to be unknown whether some of the theoretically possible asymptotic behaviours of such geodesics really exist. In order to fill the gap, we use the branched affine structure induced by a Fuchsian meromorphic connection to present several examples with geodesics having infinitely many self-intersections and quite peculiar omega-limit sets.


title: Electronic wave-packets in integer quantum Hall edge channels: relaxation and dissipative effects

abstract: We theoretically investigate the evolution of the peak height of an energy resolved electronic wave-packets ballistically propagating along integer quantum Hall edge channels at filling factor $\nu=2$. This is ultimately related to the elastic scattering amplitude for the fermionic excitations evaluated at different injection energy. We investigate this quantity assuming a short range capacitive coupling between the edges. Moreover, we also take into account phenomenologically the possibility of energy dissipation towards additional degrees of freedom both linear and quadratic in the injection energy. Comparing with recent experimental data, we rule out the non-dissipative case as well a quadratic dependence of the dissipation, indicating a linear energy loss rate as the best candidate to describe the behavior of the quasi-particle peak at short enough propagation lengths.


title: Three-Body Effective Potential in General Relativity at Second Post-Minkowskian Order and Resulting Post-Newtonian Contributions

abstract: We study the Post-Minkowskian (PM) and Post-Newtonian (PN) expansions of the gravitational three-body effective potential. At order 2PM a formal result is given in terms of a differential operator acting on the maximal generalized cut of the one-loop triangle integral. We compute the integral in all kinematic regions and show that the leading terms in the PN expansion are reproduced. We then perform the PN expansion unambiguously at the level of the integrand. Finding agreement with the 2PN three-body potential after integration, we explicitly present new $G^2v^4$-contributions at order 3PN and outline the generalization to $G^2v^{2n}$. The integrals that represent the essential input for these results are obtained by applying the recent Yangian bootstrap directly to their $\epsilon$-expansion around three dimensions. The coordinate space Yangian generator that we employ to obtain these integrals can be understood as a special conformal symmetry in a dual momentum space.


title: Fusion of interfaces in Landau-Ginzburg models: a functorial approach

abstract: We investigate the fusion of B-type interfaces in two-dimensional supersymmetric Landau-Ginzburg models. In particular, we propose to describe the fusion of an interface in terms of a fusion functor that acts on the category of modules of the underlying polynomial rings of chiral superfields. This uplift of a functor on the category of matrix factorisations simplifies the actual computation of interface fusion. Besides a brief discussion of minimal models, we illustrate the power of this approach in the SU(3)/U(2) Kazama-Suzuki model where we find fusion functors for a set of elementary topological defects from which all rational B-type topological defects can be generated.


title: Deflection of charged massive particles by a four-dimensional charged Einstein-Gauss-Bonnet black hole

abstract: Based on the Jacobi metric method, this paper studies the deflection of a charged massive particle by a novel four-dimensional charged Einstein-Gauss-Bonnet black hole. We focus on the weak field approximation and consider the deflection angle with finite distance effects. To this end, we use a geometric and topological method, which is to apply the Gauss-Bonnet theorem to the Jacobi space to calculate the deflection angle. We find that the deflection angle contains a pure gravitational contribution $\delta_g$, a pure electrostatic $\delta_c$ and a gravitational-electrostatic coupling term $\delta_{gc}$. We also show that the electrostatic contribution $\delta_c$ can also be computed by the Jacobi metric method using the GB theorem to a charge in a Minkowski flat spacetime background. We find that the deflection angle increases(decreases) if the Gauss-Bonnet coupling constant $\alpha$ is negative(positive). Furthermore, the effects of the BH charge, the particle charge-to-mass ratio and the particle velocity on the deflection angle are analyzed.


title: Detecting Colluding Sybil Attackers in Robotic Networks using Backscatters

abstract: Due to the openness of wireless medium, robotic networks that consist of many miniaturized robots are susceptible to Sybil attackers, who can fabricate myriads of fictitious robots. Such detrimental attacks can overturn the fundamental trust assumption in robotic collaboration and thus impede widespread deployments of robotic networks in many collaborative tasks. Existing solutions rely on bulky multi-antenna systems to passively obtain fine-grained physical layer signatures, making them unaffordable to miniaturized robots. To overcome this limitation, we present ScatterID, a lightweight system that attaches featherlight and batteryless backscatter tags to single-antenna robots for Sybil attack mitigation. Instead of passively "observing" signatures, ScatterID actively "manipulates" multipath propagation by exploiting backscatter tags to intentionally create rich multipath signatures obtainable to single-antenna robots. Particularly, these signatures are used to carefully construct similarity vectors to thwart advanced Sybil attackers, who further trigger power-scaling and colluding attacks to generate dissimilar signatures. Then, a customized random forest model is developed to accurately infer the identity legitimacy of each robot. We implement ScatterID on the iRobot Create platform and evaluate it under various Sybil attacks in real-world environments. The experimental results show that ScatterID achieves a high AUROC of 0.987 and obtains an overall accuracy of 95.4% under basic and advanced Sybil attacks. Specifically, it can successfully detect 96.1% of fake robots while mistakenly rejecting just 5.7% of legitimate ones.


title: Causal World Models by Unsupervised Deconfounding of Physical Dynamics

abstract: The capability of imagining internally with a mental model of the world is vitally important for human cognition. If a machine intelligent agent can learn a world model to create a "dream" environment, it can then internally ask what-if questions -- simulate the alternative futures that haven't been experienced in the past yet -- and make optimal decisions accordingly. Existing world models are established typically by learning spatio-temporal regularities embedded from the past sensory signal without taking into account confounding factors that influence state transition dynamics. As such, they fail to answer the critical counterfactual questions about "what would have happened" if a certain action policy was taken. In this paper, we propose Causal World Models (CWMs) that allow unsupervised modeling of relationships between the intervened observations and the alternative futures by learning an estimator of the latent confounding factors. We empirically evaluate our method and demonstrate its effectiveness in a variety of physical reasoning environments. Specifically, we show reductions in sample complexity for reinforcement learning tasks and improvements in counterfactual physical reasoning.


title: Anisotropic magneto-thermal transport in Co$_2$MnGa thin films

abstract: Ferromagnetic Co$_2$MnGa has recently attracted significant attention due to effects related to non-trivial topology of its band structure, however a systematic study of canonical magneto-galvanic transport effects is missing. Focusing on high quality thin films, here we systematically measure anisotropic magnetoresistance (AMR) and its thermoelectric counterpart (AMTP). We model the AMR data by free energy minimisation within the Stoner-Wohlfarth formalism and conclude that both crystalline and non-crystalline components of this magneto-transport phenomenon are present in Co$_2$MnGa. Unlike the AMR which is small in relative terms, the AMTP is large due to a change of sign of the Seebeck coefficient as a function of temperature. This fact is discussed in the context of the Mott rule and further analysis of AMTP components is presented.


title: Longitudinal diffusion MRI analysis using Segis-Net: a single-step deep-learning framework for simultaneous segmentation and registration

abstract: This work presents a single-step deep-learning framework for longitudinal image analysis, coined Segis-Net. To optimally exploit information available in longitudinal data, this method concurrently learns a multi-class segmentation and nonlinear registration. Segmentation and registration are modeled using a convolutional neural network and optimized simultaneously for their mutual benefit. An objective function that optimizes spatial correspondence for the segmented structures across time-points is proposed. We applied Segis-Net to the analysis of white matter tracts from N=8045 longitudinal brain MRI datasets of 3249 elderly individuals. Segis-Net approach showed a significant increase in registration accuracy, spatio-temporal segmentation consistency, and reproducibility comparing with two multistage pipelines. This also led to a significant reduction in the sample-size that would be required to achieve the same statistical power in analyzing tract-specific measures. Thus, we expect that Segis-Net can serve as a new reliable tool to support longitudinal imaging studies to investigate macro- and microstructural brain changes over time.


title: Observation of radiation torque shot noise on an optically levitated nanodumbbell

abstract: According to quantum theory, measurement and backaction are inextricably linked. In optical position measurements, this backaction is known as radiation pressure shot noise. In analogy, a measurement of the orientation of a mechanical rotor must disturb its angular momentum by radiation torque shot noise. In this work, we observe the shot-noise torque fluctuations arising in a measurement of the angular orientation of an optically levitated nanodumbbell. We feedback cool the dumbbell's rotational motion and investigate its reheating behavior when released from feedback. In high vacuum, the heating rate due to radiation torque shot noise dominates over the thermal and technical heating rates in the system.


title: Structural, optical and magnetic properties of nanostructured Cr-substituted Ni-Zn spinel ferrites synthesized by a microwave combustion method

abstract: Nanoparticles of Cr3+-substituted Ni-Zn ferrites with a general formula Ni0.4Zn0.6-xCrxFe2O4 (x = 0.0 - 0.6) have been synthesized via a facile microwave combustion route. The crystalline phase has been characterized by XRD, TEM, FT-I and XPS revealing the spinel ferrite structure without extra phases. Crystallite sizes of 23 - 32 nm as estimated by XRD analyses, after corrections for crystal stains by Williamson-Hall method, are comparable to the average particle sizes observed by TEM which indicates successfully synthesized nanocrystals. Rietveld refinement analyses of the XRD patterns have inferred a monotonic decrease behavior of the lattice parameter with Cr doping in agreement with Vegard's law of solid solution series. Furthermore, cations distribution with an increased inversion factor indicate the B-site preference of Cr3+ ions. The oxidation states and cations distribution indicated by XPS results imply the Cr3+ doping on the account of Zn2+ ions and a partial reduction of Fe3+ to Fe2+ to keep the charge balance in a composition series of (Ni2+)0.4(Zn2+, Cr3+)0.6(Fe2+, Fe3+)2(O2-)4. The optical properties were explored by optical UV-Vis spectroscopy indicating allowed direct transitions with band gap energy that decreases from 3.9 eV to 3.7 eV with Cr doping. Furthermore, the photocatalytic activity for the degradation of methyl orange (MO) dye was investigated showing largely enhanced photodecomposition up to 30% of MO dye over Ni0.4Cr0.6Fe2O4 for 6 hours. A vibrating sample magnetometry (VSM) measurements at room temperature show further enhancement in the saturation magnetization of Ni0.4Zn0.6Fe2O4 , the highest in Ni-Zn ferrites, from about 60 to 70 emu/g with the increase of Cr concentration up to x = 0.1, while the coercivity shows a general increase in the whole range of Cr doping.


title: Approximation Algorithms for the Bottleneck Asymmetric Traveling Salesman Problem

abstract: We present the first nontrivial approximation algorithm for the bottleneck asymmetric traveling salesman problem. Given an asymmetric metric cost between n vertices, the problem is to find a Hamiltonian cycle that minimizes its bottleneck (or maximum-length edge) cost. We achieve an O(log n / log log n) approximation performance guarantee by giving a novel algorithmic technique to shortcut Eulerian circuits while bounding the lengths of the shortcuts needed. This allows us to build on a related result of Asadpour, Goemans, M\k{a}dry, Oveis Gharan, and Saberi to obtain this guarantee. Furthermore, we show how our technique yields stronger approximation bounds in some cases, such as the bounded orientable genus case studied by Oveis Gharan and Saberi. We also explore the possibility of further improvement upon our main result through a comparison to the symmetric counterpart of the problem.


title: Recommending Courses in MOOCs for Jobs: An Auto Weak Supervision Approach

abstract: The proliferation of massive open online courses (MOOCs) demands an effective way of course recommendation for jobs posted in recruitment websites, especially for the people who take MOOCs to find new jobs. Despite the advances of supervised ranking models, the lack of enough supervised signals prevents us from directly learning a supervised ranking model. This paper proposes a general automated weak supervision framework AutoWeakS via reinforcement learning to solve the problem. On the one hand, the framework enables training multiple supervised ranking models upon the pseudo labels produced by multiple unsupervised ranking models. On the other hand, the framework enables automatically searching the optimal combination of these supervised and unsupervised models. Systematically, we evaluate the proposed model on several datasets of jobs from different recruitment websites and courses from a MOOCs platform. Experiments show that our model significantly outperforms the classical unsupervised, supervised and weak supervision baselines.


title: FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions

abstract: Form validators based on regular expressions are often used on digital forms to prevent users from inserting data in the wrong format. However, writing these validators can pose a challenge to some users. We present FOREST, a regular expression synthesizer for digital form validations. FOREST produces a regular expression that matches the desired pattern for the input values and a set of conditions over capturing groups that ensure the validity of integer values in the input. Our synthesis procedure is based on enumerative search and uses a Satisfiability Modulo Theories (SMT) solver to explore and prune the search space. We propose a novel representation for regular expressions synthesis, multi-tree, which induces patterns in the examples and uses them to split the problem through a divide-and-conquer approach. We also present a new SMT encoding to synthesize capture conditions for a given regular expression. To increase confidence in the synthesized regular expression, we implement user interaction based on distinguishing inputs. We evaluated FOREST on real-world form-validation instances using regular expressions. Experimental results show that FOREST successfully returns the desired regular expression in 72% of the instances and outperforms REGEL, a state-of-the-art regular expression synthesizer.


title: Pizza Sharing is PPA-hard

abstract: We study the computational complexity of finding a solution for the straight-cut and square-cut pizza sharing problems. We show that computing an $\varepsilon$-approximate solution is PPA-complete for both problems, while finding an exact solution for the square-cut problem is FIXP-hard and in BU. Our PPA-hardness results apply for any $\varepsilon < 1/5$, even when all mass distributions consist of non-overlapping axis-aligned rectangles or when they are point sets, and our FIXP-hardness result applies even when all mass distributions are unions of squares and right-angled triangles. We also prove that the decision variants of both approximate problems are NP-complete, while it is ETR-complete for the exact version of square-cut pizza sharing.


title: A Comprehensive Empirical Evaluation of Generating Test Suites for Mobile Applications with Diversity

abstract: Context: In search-based software engineering we often use popular heuristics with default configurations, which typically lead to suboptimal results, or we perform experiments to identify configurations on a trial-and-error basis, which may lead to better results for a specific problem. We consider the problem of generating test suites for mobile applications (apps) and rely on \Sapienz, a state-of-the-art approach to this problem that uses a popular heuristic (NSGA-II) with a default configuration. Objective: We want to achieve better results in generating test suites with \Sapienz while avoiding trial-and-error experiments to identify a more suitable configuration of \Sapienz. Method: We conducted a fitness landscape analysis of \Sapienz to analytically understand the search problem, which allowed us to make informed decisions about the heuristic and configuration of \Sapienz when developing \SapienzDiv. We comprehensively evaluated \SapienzDiv in a head-to-head comparison with \Sapienz on 34 apps. Results: Analyzing the fitness landscape of \Sapienz, we observed a lack of diversity of the evolved test suites and a stagnation of the search after 25 generations. \SapienzDiv realizes mechanisms that preserve the diversity of the test suites being evolved. The evaluation showed that \SapienzDiv achieves better or at least similar test results than \Sapienz concerning coverage and the number of revealed faults. However, \SapienzDiv typically produces longer test sequences and requires more execution time than \Sapienz. Conclusions: The understanding of the search problem obtained by the fitness landscape analysis helped us to find a more suitable configuration of \Sapienz without trial-and-error experiments. By promoting diversity of test suites during the search, improved or at least similar test results in terms of faults and coverage can be achieved.


title: Rao's Score Tests on Correlation Matrices

abstract: Even though the Rao's score tests are classical tests, such as the likelihood ratio tests, their application has been avoided until now in a multivariate framework, in particular high-dimensional setting. We consider they could play an important role for testing high-dimensional data, but currently the classical Rao's score tests for an arbitrary but fixed dimension remain being still not very well-known for tests on correlation matrices of multivariate normal distributions. In this paper, we illustrate how to create Rao's score tests, focussed on testing correlation matrices, showing their asymptotic distribution. Based on Basu et al. (2021), we do not only develop the classical Rao's score tests, but also their robust version, Rao's $\beta$-score tests. Despite of tedious calculations, their strength is the final simple expression, which is valid for any arbitrary but fixed dimension. In addition, we provide basic formulas for creating easily other tests, either for other variants of correlation tests or for location or variability parameters. We perform a simulation study with high-dimensional data and the results are compared to those of the likelihood ratio test with a variety of distributions, either pure and contaminated. The study shows that the classical Rao's score test for correlation matrices seems to work properly not only under multivariate normality but also under other multivariate distributions. Under perturbed distributions, the Rao's $\beta$-score tests outperform any classical test.


title: Improved well-posedness results for the Maxwell-Klein-Gordon system in 2D

abstract: The local well-posedness problem for the Maxwell-Klein-Gordon system in Coulomb gauge as well as Lorenz gauge is treated in two space dimensions for data with minimal regularity assumptions. In the classical case of data in $L^2$-based Sobolev spaces $H^s$ and $H^l$ for the electromagnetic field $\phi$ and the potential $A$, respectively. The minimal regularity assumptions are $s > \frac{1}{2}$ and $l > \frac{1}{4}$ , which leaves a gap of $\frac{1}{2}$ and $\frac{1}{4}$ to the critical regularity with respect to scaling $s_c = l_c =0$ . This gap can be reduced for data in Fourier-Lebesgue spaces $\widehat{H}^{s,r}$ and $\widehat{H}^{l,r}$ to $s> \frac{21}{16}$ and $l > \frac{9}{8}$ for $r$ close to $1$ , whereas the critical exponents with respect to scaling fulfill $s_c \to 1$ , $ l_c \to 1 $ as $r \to 1$ . Here $\|f\|_{\widehat{H}^{s,r}} := \| \langle \xi \rangle^s \tilde{f}\|_{L^{r'}_{\tau \xi}} \, , \, 1 < r \le 2 \, , \, \frac{1}{r}+\frac{1}{r'} = 1 \, . $ Thus the gap is reduced for $\phi$ as well as $A$ in both gauges.


title: DeepSurfels: Learning Online Appearance Fusion

abstract: We present DeepSurfels, a novel hybrid scene representation for geometry and appearance information. DeepSurfels combines explicit and neural building blocks to jointly encode geometry and appearance information. In contrast to established representations, DeepSurfels better represents high-frequency textures, is well-suited for online updates of appearance information, and can be easily combined with machine learning methods. We further present an end-to-end trainable online appearance fusion pipeline that fuses information from RGB images into the proposed scene representation and is trained using self-supervision imposed by the reprojection error with respect to the input images. Our method compares favorably to classical texture mapping approaches as well as recent learning-based techniques. Moreover, we demonstrate lower runtime, im-proved generalization capabilities, and better scalability to larger scenes compared to existing methods.


title: Stable cosmologies with collisionless charged matter

abstract: It is shown that Milne models (a subclass of FLRW spacetimes with negative spatial curvature) are nonlinearly stable in the set of solutions to the Einstein-Vlasov-Maxwell system, describing universes with ensembles of collisionless self-gravitating, charged particles. The system contains various slowly decaying borderline terms in the mutually coupled equations describing the propagation of particles and Maxwell fields. The effects of those terms are controlled using a suitable hierarchy based on the energy density of the matter fields.


title: First-Order Quantum Correction in Coherent State Expectation Value of Loop-Quantum-Gravity Hamiltonian: Overview and Results

abstract: Given the Loop-Quantum-Gravity (LQG) non-graph-changing Hamiltonian $\widehat{H[N]}$, the coherent state expectation value $\langle\widehat{H[N]}\rangle$ admits an semiclassical expansion in $\ell^2_{\rm p}$. In this paper, we compute explicitly the expansion of $\langle\widehat{H[N]}\rangle$ on the cubic graph to the linear order in $\ell^2_{\rm p}$, when the coherent state is peaked at the homogeneous and isotropic data of cosmology. In our computation, a powerful algorithm is developed to overcome the complexity in computing $\langle \widehat{H[N]} \rangle$. In particular, some key innovations in our algorithm substantially reduce the computational complexity in the Lorentzian part of $\langle\widehat{H[N]}\rangle$. Moreover, the algorithm developed in the present work makes it possible to compute the expectation value of arbitrary monomial of holonomies and fluxes on one edge up to arbitrary order of $\ell_{\rm p}^2$.


title: Characterization of 1- and 2-$\mu$m-wavelength laser-produced microdroplet-tin plasma for generating extreme-ultraviolet light

abstract: Experimental spectroscopic studies are presented, in a 5.5--25.5nm extreme-ultraviolet (EUV) wavelength range, of the light emitted from plasma produced by the irradiation of tin microdroplets by 5-ns-pulsed, 2-$\mu$m-wavelength laser light. Emission spectra are compared to those obtained from plasma driven by 1-$\mu$m-wavelength Nd:YAG laser light over a range of laser intensities spanning approximately $0.3-5 \times 10^{11}$Wcm$^{-2}$, under otherwise identical conditions. Over this range of drive laser intensities, we find that similar spectra and underlying plasma charge state distributions are obtained when keeping the ratio of 1-$\mu$m to 2-$\mu$m laser intensities fixed at a value of 2.1(6), which is in good agreement with RALEF-2D radiation-hydrodynamic simulations. Our experimental findings, supported by the simulations, indicate an approximately inversely proportional scaling $\sim \lambda^{-1}$ of the relevant plasma electron density, and of the aforementioned required drive laser intensities, with drive laser wavelength $\lambda$. This scaling also extends to the optical depth that is captured in the observed changes in spectra over a range of droplet diameters spanning 16-51$\mu$m at a constant laser intensity that maximizes the emission in a 2\% bandwidth around 13.5nm relative to the total spectral energy, the bandwidth relevant for EUV lithography. The significant improvement of the spectral performance of the 2-$\mu$m- vs 1-$\mu$m driven plasma provides strong motivation for the development of high-power, high-energy near-infrared lasers to enable the development of more efficient and powerful sources of EUV light.


title: Climate change adaption in Chinese ancient architecture

abstract: As an important symbol of civilization and culture, architectures originally were built for sheltering human beings from weather disasters and therefore should be affected by climate change, particularly the associated change in the occurrence of extreme weather events. However, although meteorology has been considered as a factor in modern architecture design, it remains unclear whether and how the ancients adapted to climate change from the perspective of architecture design, particularly on a millennium time scale. Here we show that the periodic change and trend of the roof slope of ancient architectures in northern China clearly demonstrate the climate change adaptation over the past thousand years. We show that the snowfall fluctuation caused by the paleo-climate change was an essential driving factor within the roof modification process of ancient Chinese timber architecture. Our study indicates that climate change may act as a much more important factor on human behaviour than we ever thought.


title: The effect of post-Newtonian spin precessions on the evolution of exomoons' obliquity

abstract: Putative natural massive satellites (exomoons) has gained increasing attention, where they orbit Jupiter-like planets within the habitable zone of their host main sequence star. An exomoon is expected to move within the equatorial plane of its host planet, with its spin ${\boldsymbol S}_\mathrm{s}$ aligned with its orbital angular momentum $\boldsymbol L$ which, in turn, is parallel to the planetary spin ${\boldsymbol S}_\mathrm{p}$. If, in particular, the common tilt of such angular momenta to the satellite-planet ecliptic plane, assumed fixed, has certain values, the latitudinal irradiation experienced on the exomoon from the star may allow it to sustain life as we know it, at least for certain orbital configurations. An Earth--analog (similar in mass, \textcolor{black}{radius, oblateness} and obliquity) is considered, which orbits within $5-10$ planetary radii $R_\mathrm{p}$ from its Jupiter-like host planet. The de Sitter and Lense--Thirring spin precessions due to the general relativistic post-Newtonian (pN) field of the host planet have an impact on an exomoon's habitability for a variety of different initial spin-orbit configurations. Here, I show it by identifying long--term variations in the satellite's obliquity $\varepsilon_\mathrm{s}$, where variations can be $\lesssim 10^\circ-100^\circ$, depending on the initial spin-orbit configuration, with a timescale of $\simeq 0.1-1$ million years. Also the satellite's quadrupole mass moment $J_2^\mathrm{s}$ induces obliquity variations which are faster than the pN ones, but do not cancel them.


title: Testing for concept shift online

abstract: This note continues study of exchangeability martingales, i.e., processes that are martingales under any exchangeable distribution for the observations. Such processes can be used for detecting violations of the IID assumption, which is commonly made in machine learning. Violations of the IID assumption are sometimes referred to as dataset shift, and dataset shift is sometimes subdivided into concept shift, covariate shift, etc. Our primary interest is in concept shift, but we will also discuss exchangeability martingales that decompose perfectly into two components one of which detects concept shift and the other detects what we call label shift. Our methods will be based on techniques of conformal prediction.


title: Notes on the zeros of the solutions of the non-homogeneous Airy's equation

abstract: We present some observations on the distribution of the zeros of solutions of the nonhomogeneous Airy's equation. We show the existence of a principal family of solutions, with simple zeros, and particular solutions, characterized by a double zero in a given position of the complex plane. A recursion, describing the distribution of the zeros, is introduced and the limits of its applicability are discussed. The results can be considered a generalization of previous works on the distribution of the zeros for the solutions of the corresponding homogeneous equation


title: Natural inflation with a nonminimal coupling to gravity

abstract: Although natural inflation is a theoretically well-motivated model for cosmic inflation, it is in tension with recent Planck cosmic microwave background anisotropy measurements. We present a way to alleviate this tension by considering a very weak nonminimal coupling of the inflaton field to gravity in both contexts of metric and Palatini formulations of general relativity. We start our discussions with a generic form of the inflaton coupling to the Ricci scalar, then focus on a simple form to do phenomenological study. Our results show that such an extension can bring natural inflation's predictions to a good agreement with the Planck data. Depending on values of the coupling constant $\xi$ and the symmetry breaking scale $f$, we find that with $|\xi|\sim 10^{-3}$ and $f\gtrsim 2.0 M_{\mathrm{pl}}$ predictions of the model stay inside $68\%$ CL allowed region until $f$ increases up to $7.7 M_{\mathrm{pl}}$, then only inside $95\%$ CL region after $f$ exceeds the latter value. The predictions from the metric and the Palatini theories are very similar due to the simple form of the coupling function we use and the small magnitude of the coupling $\xi$. Successful reheating can also be realized in this model.


title: Lesion Net -- Skin Lesion Segmentation Using Coordinate Convolution and Deep Residual Units

abstract: Skin lesions segmentation is an important step in the process of automated diagnosis of the skin melanoma. However, the accuracy of segmenting melanomas skin lesions is quite a challenging task due to less data for training, irregular shapes, unclear boundaries, and different skin colors. Our proposed approach helps in improving the accuracy of skin lesion segmentation. Firstly, we have introduced the coordinate convolutional layer before passing the input image into the encoder. This layer helps the network to decide on the features related to translation invariance which further improves the generalization capacity of the model. Secondly, we have leveraged the properties of deep residual units along with the convolutional layers. At last, instead of using only cross-entropy or Dice-loss, we have combined the two-loss functions to optimize the training metrics which helps in converging the loss more quickly and smoothly. After training and validating the proposed model on ISIC 2018 (60% as train set + 20% as validation set), we tested the robustness of our trained model on various other datasets like ISIC 2018 (20% as test-set) ISIC 2017, 2016 and PH2 dataset. The results show that the proposed model either outperform or at par with the existing skin lesion segmentation methods.


title: A geometric optics ansatz-based plane wave method for two dimensional Helmholtz equations with variable wave numbers

abstract: In this paper we develop a plane wave type method for discretization of homogeneous Helmholtz equations with variable wave numbers. In the proposed method, local basis functions (on each element) are constructed by the geometric optics ansatz such that they approximately satisfy a homogeneous Helmholtz equation without boundary condition. More precisely, each basis function is expressed as the product of an exponential plane wave function and a polynomial function, where the phase function in the exponential function approximately satisfies the eikonal equation and the polynomial factor is recursively determined by transport equations associated with the considered Helmholtz equation. We prove that the resulting plane wave spaces have high order $h$-approximations as the standard plane wave spaces (which are available only to the case with constant wave number). We apply the proposed plane wave spaces to the discretization of nonhomogeneous Helmholtz equations with variable wave numbers and establish the corresponding error estimates of their finite element solutions. We report some numerical results to illustrate the efficiency of the proposed method.


title: A Differential-Cascaded Paradigm for Control of Nonlinear Systems

abstract: This paper focuses on developing a new paradigm motivated by investigating the consensus problem of networked Lagrangian systems with time-varying delay and switching topologies. We present adaptive controllers with piecewise continuous or arbitrary times differentiable control torques for realizing consensus of Lagrangian systems, extending the results in the literature. This specific study motivates the formulation of a new paradigm referred to as forwardstepping, which is shown to be a systematic tool for solving various nonlinear control problems. One distinctive point associated with forwardstepping is that the order of the reference dynamics is typically specified to be equal to or higher than that of the original nonlinear system, and the reference dynamics and the nonlinear system are governed by a differential/dynamic-cascaded structure. The order invariance or increment of the specified reference dynamics with respect to the nonlinear system and their differential/dynamic-cascaded structure expands significantly the design freedom and thus facilitates the seeking of solutions to many nonlinear control problems which would otherwise often be intractable.


title: Lattice-Free MMI Adaptation Of Self-Supervised Pretrained Acoustic Models

abstract: In this work, we propose lattice-free MMI (LFMMI) for supervised adaptation of self-supervised pretrained acoustic model. We pretrain a Transformer model on thousand hours of untranscribed Librispeech data followed by supervised adaptation with LFMMI on three different datasets. Our results show that fine-tuning with LFMMI, we consistently obtain relative WER improvements of 10% and 35.3% on the clean and other test sets of Librispeech (100h), 10.8% on Switchboard (300h), and 4.3% on Swahili (38h) and 4.4% on Tagalog (84h) compared to the baseline trained only with supervised data.


title: Instance Segmentation of Industrial Point Cloud Data

abstract: The challenge that this paper addresses is how to efficiently minimize the cost and manual labour for automatically generating object oriented geometric Digital Twins (gDTs) of industrial facilities, so that the benefits provide even more value compared to the initial investment to generate these models. Our previous work achieved the current state-of-the-art class segmentation performance (75% average accuracy per point and average AUC 90% in the CLOI dataset classes) as presented in (Agapaki and Brilakis 2020) and directly produces labelled point clusters of the most important to model objects (CLOI classes) from laser scanned industrial data. CLOI stands for C-shapes, L-shapes, O-shapes, I-shapes and their combinations. However, the problem of automated segmentation of individual instances that can then be used to fit geometric shapes remains unsolved. We argue that the use of instance segmentation algorithms has the theoretical potential to provide the output needed for the generation of gDTs. We solve instance segmentation in this paper through (a) using a CLOI-Instance graph connectivity algorithm that segments the point clusters of an object class into instances and (b) boundary segmentation of points that improves step (a). Our method was tested on the CLOI benchmark dataset (Agapaki et al. 2019) and segmented instances with 76.25% average precision and 70% average recall per point among all classes. This proved that it is the first to automatically segment industrial point cloud shapes with no prior knowledge other than the class point label and is the bedrock for efficient gDT generation in cluttered industrial point clouds.


title: New Insights into the Structure of Equilibria for the Network Creation Game

abstract: We study the sum classic network creation game introduced by Fabrikant et al. in which $n$ players conform a network buying links at individual price $\alpha$. When studying this model we are mostly interested in \emph{Nash equilibria} (\NE) and the \emph{Price of Anarchy} (\PoA). It is conjectured that the \PoA is constant for any $\alpha$. Up until now, it has been proved constant \PoA for the range $\alpha = O(n^{1-\delta_1})$ with $\delta_1>0$ a positive constant and it has been proved constant \PoA for the range $\alpha >n(1+\delta_2)$ with $\delta_2>0$ a positive constant. Our contribution consists in proving that \NE graphs satisfy very restrictive topological properties generalising some properties proved in the literature and providing new insights that might help settling the conjecture that the \PoA is constant for the remaining range of $\alpha$: (i) We show that \emph{every} node has the majority of the other nodes of the \NE graph at the \emph{same} narrow range of distances. (ii) If instead of considering the average degree, we focus on the number of non-bridge links bought for any player, we can prove that there exists a constant $D$ such that the average degree is upper bounded by $\max(R, \frac{2n}{\alpha}+6)$ for any \NE graph of diameter larger than $D$, where $R$ is a positive constant.


title: Compositional Prototype Network with Multi-view Comparision for Few-Shot Point Cloud Semantic Segmentation

abstract: Point cloud segmentation is a fundamental visual understanding task in 3D vision. A fully supervised point cloud segmentation network often requires a large amount of data with point-wise annotations, which is expensive to obtain. In this work, we present the Compositional Prototype Network that can undertake point cloud segmentation with only a few labeled training data. Inspired by the few-shot learning literature in images, our network directly transfers label information from the limited training data to unlabeled test data for prediction. The network decomposes the representations of complex point cloud data into a set of local regional representations and utilizes them to calculate the compositional prototypes of a visual concept. Our network includes a key Multi-View Comparison Component that exploits the redundant views of the support set. To evaluate the proposed method, we create a new segmentation benchmark dataset, ScanNet-$6^i$, which is built upon ScanNet dataset. Extensive experiments show that our method outperforms baselines with a significant advantage. Moreover, when we use our network to handle the long-tail problem in a fully supervised point cloud segmentation dataset, it can also effectively boost the performance of the few-shot classes.


title: Discrete phase space and continuous time relativistic quantum mechanics I: Planck oscillators and closed string-like circular orbits

abstract: The discrete phase space continuous time representation of relativistic quantum mechanics involving a characteristic length $l$ is investigated. Fundamental physical constants such as $\hbar$, $c$, and $l$ are retained for most sections of the paper. The energy eigenvalue problem for the Planck oscillator is solved exactly in this framework. Discrete concircular orbits of constant energy are shown to be circles $S^{1}_{n}$ of radii $2E_n =\sqrt{2n+1}$ within the discrete (1 + 1)-dimensional phase plane. Moreover, the time evolution of these orbits sweep out world-sheet like geometrical entities $S^{1}_{n} \times \mathbb{R} \subset \mathbb{R}^2$ and therefore appear as closed string-like geometrical configurations. The physical interpretation for these discrete orbits in phase space as degenerate, string-like phase cells is shown in a mathematically rigorous way. The existence of these closed concircular orbits in the arena of discrete phase space quantum mechanics, known for the non-singular nature of lower order expansion $S^{\#}$ matrix terms, was known to exist but has not been fully explored until now. Finally, the discrete partial difference-differential Klein-Gordon equation is shown to be invariant under the continuous inhomogeneous orthogonal group $\mathcal{I} [O(3,1)]$ .


title: Local terms for the categorical trace

abstract: In this paper we introduce the categorical "true local terms" maps for Artin stacks and show that they are additive and commute with proper pushforwards, smooth pullbacks and specializations. In particular, we generalizing results of [Va2] to this setting. As an application, we supply proofs of two theorems stated in [AGKRRV]. Namely, we show that the "true local terms" of the Frobenius endomorphism coincide with the "naive local terms" and that the "naive local terms" commute with !-pushforwards. The latter result is a categorical version of the classical Grothendieck--Lefschetz trace formula.


title: Enumeration of planar constellations with an alternating boundary

abstract: A planar hypermap with a boundary is defined as a planar map with a boundary, endowed with a proper bicoloring of the inner faces. The boundary is said alternating if the colors of the incident inner faces alternate along its contour. In this paper we consider the problem of counting planar hypermaps with an alternating boundary, according to the perimeter and to the degree distribution of innerfaces of each color. The problem is translated into a functional equation with a catalytic variable determining the corresponding generating function. In the case of constellations - hypermaps whose all inner faces of a given color have degree $m\geq 2$, and whose all other inner faces have a degree multiple of $m$ - we completely solve the functional equation, and show that the generating function is algebraic and admits an explicit rational parametrization. We finally specialize to the case of Eulerian triangulations - hypermaps whose all inner faces have degree $3$ - and compute asymptotics which are needed in another work by the second author, to prove the convergence of rescaled planar Eulerian triangulations to the Brownian map.


title: Context-Aware Personality Inference in Dyadic Scenarios: Introducing the UDIVA Dataset

abstract: This paper introduces UDIVA, a new non-acted dataset of face-to-face dyadic interactions, where interlocutors perform competitive and collaborative tasks with different behavior elicitation and cognitive workload. The dataset consists of 90.5 hours of dyadic interactions among 147 participants distributed in 188 sessions, recorded using multiple audiovisual and physiological sensors. Currently, it includes sociodemographic, self- and peer-reported personality, internal state, and relationship profiling from participants. As an initial analysis on UDIVA, we propose a transformer-based method for self-reported personality inference in dyadic scenarios, which uses audiovisual data and different sources of context from both interlocutors to regress a target person's personality traits. Preliminary results from an incremental study show consistent improvements when using all available context information.


title: Role of {\alpha}-cluster transfer in formation 20Ne+16O cross sections at backward angles

abstract: The experimental angular distributions for 20Ne+16O elastic transfer are reanalyzed using different forms of potential both phenomenological and semi-microscopic. The significant increase in cross sections at backward hemisphere due to the contribution of alphacluster transfer is investigated using the distorted wave Born approximation (DWBA) method. The spectroscopic amplitude (SA) for the configuration 20Ne as consisting of 16O (core) and an alpha-particle orbiting this core at the different concerned energies is extracted. The agreement between the experimental data and theoretical calculations using the two considered approaches is reasonably good.


title: A Survey on Neural Network Interpretability

abstract: Along with the great success of deep neural networks, there is also growing concern about their black-box nature. The interpretability issue affects people's trust on deep learning systems. It is also related to many ethical problems, e.g., algorithmic discrimination. Moreover, interpretability is a desired property for deep networks to become powerful tools in other research fields, e.g., drug discovery and genomics. In this survey, we conduct a comprehensive review of the neural network interpretability research. We first clarify the definition of interpretability as it has been used in many different contexts. Then we elaborate on the importance of interpretability and propose a novel taxonomy organized along three dimensions: type of engagement (passive vs. active interpretation approaches), the type of explanation, and the focus (from local to global interpretability). This taxonomy provides a meaningful 3D view of distribution of papers from the relevant literature as two of the dimensions are not simply categorical but allow ordinal subcategories. Finally, we summarize the existing interpretability evaluation methods and suggest possible research directions inspired by our new taxonomy.


title: On a Theorem by A.S. Cherny for Semilinear Stochastic Partial Differential Equations

abstract: We consider analytically weak solutions to semilinear stochastic partial differential equations with non-anticipating coefficients driven by cylindrical Brownian motion. The solutions are allowed to take values in general separable Banach spaces. We show that weak uniqueness is equivalent to weak joint uniqueness, and thereby generalize a theorem by A.S. Cherny to an infinite dimensional setting. Our proof for the technical key step is different from Cherny's and uses cylindrical martingale problems. As an application, we deduce a dual version of the Yamada-Watanabe theorem, i.e. we show that strong existence and weak uniqueness imply weak existence and strong uniqueness.


title: A fast probabilistic component-by-component construction of exactly integrating rank-1 lattices and applications

abstract: Several more and more efficient component--by--component (CBC) constructions for suitable rank-1 lattices were developed during the last decades. On the one hand, there exist constructions that are based on minimizing some error functional. On the other hand, there is the possibility to construct rank-1 lattices whose corresponding cubature rule exactly integrates all elements within a space of multivariate trigonometric polynomials. In this paper, we focus on the second approach, i.e., the exactness of rank-1 lattice rules. The main contribution is the analysis of a probabilistic version of an already known algorithm that realizes a CBC construction of such rank-1 lattices. It turns out that the computational effort of the known deterministic algorithm can be considerably improved in average by means of a simple randomization. Moreover, we give a detailed analysis of the computational costs with respect to a certain failure probability, which then leads to the development of a probabilistic CBC algorithm. In particular, the presented approach will be highly beneficial for the construction of so-called reconstructing rank-1 lattices, that are practically relevant for function approximation. Subsequent to the rigorous analysis of the presented CBC algorithms, we present an algorithm that determines reconstructing rank-1 lattices of reasonable lattice sizes with high probability. We provide estimates on the resulting lattice sizes and bounds on the occurring failure probability. Furthermore, we discuss the computational complexity of the presented algorithm. Various numerical tests illustrate the efficiency of the presented algorithms. Among others, we demonstrate how to exploit the efficiency of our algorithm even for the construction of exactly integrating rank-1 lattices, provided that a certain property of the treated space of trigonometric polynomials is known.


title: Lifelong Learning in Multi-Armed Bandits

abstract: Continuously learning and leveraging the knowledge accumulated from prior tasks in order to improve future performance is a long standing machine learning problem. In this paper, we study the problem in the multi-armed bandit framework with the objective to minimize the total regret incurred over a series of tasks. While most bandit algorithms are designed to have a low worst-case regret, we examine here the average regret over bandit instances drawn from some prior distribution which may change over time. We specifically focus on confidence interval tuning of UCB algorithms. We propose a bandit over bandit approach with greedy algorithms and we perform extensive experimental evaluations in both stationary and non-stationary environments. We further apply our solution to the mortal bandit problem, showing empirical improvement over previous work.


title: Scaling of selectivity in uniformly charged nanopores through a modified Dukhin number for 1:1 electrolytes

abstract: We show that a modified version of the Dukhin number is an appropriate scaling parameter for the ionic selectivity of uniformly charged nanopores. The modified Dukhin number is an unambiguous function of the variables $\sigma$ (surface charge), $R$ (pore radius), and $c$ (salt concentration), and defined as $\mathrm{mDu}=|\sigma|/e(R/\lambda)$, where $\lambda$ is the screening length of the electrolyte carrying the $c$ dependence ($\lambda\sim c^{-1/2}$). Scaling means that the device function (selectivity) is a smooth and (in this case) monotonic function of mDu. The original Dukhin number defined as $\mathrm{Du}=|\sigma|/eRc$ ($c^{-1}$ dependence) was introduced to indicate whether the surface or the volume conduction is dominant in the pore. The modified version satisfies scaling and characterizes selectivity in the intermediate regime, where both surface and bulk conductions are present and the pore is neither perfectly selective, nor perfectly non-selective. Our modeling study using the Local Equilibrium Monte Carlo method and the Poisson-Nernst-Planck theory provides the radial flux profiles from which the radial selectivity profile can be computed. These profiles show in which region of the nanopore the surface or the volume conduction dominates for a given combination of the variables $\sigma$, $R$, and $c$. We show that the inflection point of the scaling curve may be used to characterize the transition point between the surface and volume conductions.


title: A search for hard X-ray bursts occurring simultaneously to fast radio bursts in the repeating FRB 121102

abstract: The nature of fast radio bursts (FRBs) is currently unknown. Repeating FRBs offer better opportunity than non-repeating FRBs since their simultaneous multi-wavelength counterparts might be identified. The magnetar flare model of FRBs is one of the most promising models which predicts high energy emission in addition to radio burst emission. To investigate such a possibility, we have searched for simultaneous and quasi-simultaneous short-term hard X-ray bursts in all the Swift/BAT event mode data which covered the periods when fast radio bursts were reported detections in the repeating FRB 121102, by making use of BAT's arcmin level spacial resolution and wide field-of-view. We did not find any significant hard X-ray bursts which occurred simultaneously to those radio bursts. We also investigated potential short X-ray bursts occurred quasi-simultaneous with those radio bursts (occurrence time differs in the range from hundreds of seconds to thousands of seconds) and concluded that even the best candidates are consistent with background fluctuations. Therefore our investigation concluded that there were no hard X-ray bursts detectable with Swift/BAT which occurred simultaneously or quasi-simultaneously with those fast radio bursts in the repeating FRB 121102.


title: Next-to-next-to-leading order event generation for top-quark pair production

abstract: The production of top-quark pairs in hadronic collisions is among the most important reactions in modern particle physics phenomenology and constitutes an instrumental avenue to study the properties of the heaviest quark observed in nature. The analysis of this process at the Large Hadron Collider relies heavily on Monte Carlo simulations of the final state events, whose accuracy is challenged by the outstanding precision of experimental measurements. In this letter we present the first matched computation of top-quark pair production at next-to-next-to-leading order in QCD with all-order radiative corrections as implemented via parton-shower simulations. Besides its intrinsic relevance for LHC phenomenology, this work also establishes an important step towards the simulation of other hadronic processes with colour charges in the final state.


title: Aerial mucosalivary droplet dispersal distributions with implications for disease mitigation

abstract: We investigate mucosalivary dispersal and deposition on horizontal surfaces corresponding to human exhalations with physical experiments under still-air conditions. Synthetic fluorescence tagged sprays with size and speed distributions comparable to human sneezes are observed with high-speed imaging. We show that while some larger droplets follow parabolic trajectories, smaller droplets stay aloft for several seconds and settle slowly with speeds consistent with a buoyant cloud dynamics model. The net deposition distribution is observed to become correspondingly broader as the source height $H$ is increased, ranging from sitting at a table to standing upright. We find that the deposited mucosaliva decays exponentially in front of the source, after peaking at distance $x = 0.71$\,m when $H = 0.5$\,m, and $x = 0.56$\,m when $H=1.5$\,m, with standard deviations $\approx 0.5$\,m. Greater than 99\% of the mucosaliva is deposited within $x = 2$\,m, with faster landing times {\em further} from the source. We then demonstrate that a standard nose and mouth mask reduces the mucosaliva dispersed by a factor of at least a hundred compared to the peaks recorded when unmasked.


title: Minimal Grid Diagrams of the Prime Alternating Knots with 12 Crossings

abstract: In this article, we give a list of minimal grid diagrams of the 12 crossing prime alternating knots. This is a continuation of the work in https://doi.org/10.1142/S0218216520500765


title: Information Constraints for Scalable Control in a Quantum Computer

abstract: When working to understand quantum systems engineering, there are many constraints to building a scalable quantum computer. Here I discuss a constraint on the qubit control system from an information point of view, showing that the large amount of information needed for the control system will put significant constraints on the control system. The size the qubits is conjectured to be an important systems parameter.


title: Towards Fully Automated Manga Translation

abstract: We tackle the problem of machine translation of manga, Japanese comics. Manga translation involves two important problems in machine translation: context-aware and multimodal translation. Since text and images are mixed up in an unstructured fashion in Manga, obtaining context from the image is essential for manga translation. However, it is still an open problem how to extract context from image and integrate into MT models. In addition, corpus and benchmarks to train and evaluate such model is currently unavailable. In this paper, we make the following four contributions that establishes the foundation of manga translation research. First, we propose multimodal context-aware translation framework. We are the first to incorporate context information obtained from manga image. It enables us to translate texts in speech bubbles that cannot be translated without using context information (e.g., texts in other speech bubbles, gender of speakers, etc.). Second, for training the model, we propose the approach to automatic corpus construction from pairs of original manga and their translations, by which large parallel corpus can be constructed without any manual labeling. Third, we created a new benchmark to evaluate manga translation. Finally, on top of our proposed methods, we devised a first comprehensive system for fully automated manga translation.


title: Powder vibration studied by M\"{o}ssbauer spectroscopy

abstract: M\"{o}ssbauer spectroscopy is applied to study ultrasound vibration of a granular material. A pile of powder is placed onto the surface of piezo transducer vibrated with the frequency 12.68 MHz. The size of grains (1.3 $\mu$m) is much smaller than the wavelength of ultrasound, but much larger than the vibration amplitude. Due to vibration a single line of the M\"{o}ssbauer transmission spectrum is split into a comb structure with a period equal to the vibration frequency. This spectrum contains the information about fast and slow modes in granular dynamics. We developed a method which allows to measure decay of ultrasound in the granular material and to estimate the results of the particle convection of grains in the pile.


title: Inverse boundary problems for biharmonic operators in transversally anisotropic geometries

abstract: We study inverse boundary problems for first order perturbations of the biharmonic operator on a conformally transversally anisotropic Riemannian manifold of dimension $n \ge 3$. We show that a continuous first order perturbation can be determined uniquely from the knowledge of the set of the Cauchy data on the boundary of the manifold provided that the geodesic $X$-ray transform on the transversal manifold is injective.


title: Darks and Stripes: Effects of Clothing on Weight Perception

abstract: In many societies, appearing slim is considered attractive. The fashion industry has been attempting to cater to this trend by designing outfits that can enhance the appearance of slimness. Two anecdotal rules, widespread in the world of fashion, are (1) choose dark clothes and (2) avoid horizontal stripes, in order to appear slim. Thus far, empirical evidence has been unable to conclusively determine the validity of these rules, and there is consequently much controversy regarding the impact of both color and patterns on the visual perception of weight. In this paper, we aim to close this gap by presenting the results from a series of large-scale crowdsourcing studies that investigate the above two claims. We gathered a dataset of around 1,000 images of people from the Web together with their ground-truth weight and height, as well as clothing attributes about colors and patterns. To elicit the effects of colors and patterns, we asked crowd workers to estimate the weight in each image. For the analysis, we controlled potential confounds by matching images in pairs where the two images differ with respect to color or pattern, but are similar with respect to other relevant aspects. We created image pairs in two ways: first, observationally, i.e., from two real images; and second, experimentally, by manipulating the color or pattern of clothing in a real image via photo editing. Based on our analysis, we conclude that (1) dark clothes indeed decrease perceived weight slightly but statistically significantly, and (2) horizontal stripes have no discernible effect compared to solid light-colored clothes. These results contribute to advancing the debate around the effect of specific clothing colors and patterns and thus provide empirical grounds for everyday fashion decisions. Moreover, our work gives an outlook on the vast opportunities of using crowd sourcing in the modern fashion industry.


title: Security proof for qudit-system-based quantum cryptography against entanglement-measurement attack

abstract: Entanglement-measurement attack is a well-known attack in quantum cryptography. In quantum cryptography protocols, eavesdropping checking can resist this attack. There are two known eavesdropping checking methods. One is to use decoy photon technology for eavesdropping checking. The other is to use the entanglement correlation of two groups of non-orthogonal entangled states for eavesdropping checking. In this paper, we prove the security against entanglement-measurement attack for the qudit-system-based quantum cryptography protocols which use the two methods for eavesdropping checking. Our security proof is useful to improve the eavesdropping checking method used in quantum cryptography protocols.


title: Application of Regge-theory to astronomical objects

abstract: Using the model based on the Regge-like laws, new analytical formulas are obtained for the moment of inertia, the rotation frequency, and the radius of astronomical non-exotic objects (planets, stars, galaxies, and clusters of galaxies). The rotation frequency and moment of inertia of neutron star and the observable Universe are estimated. The estimates of the average numbers of stars and galaxies in the observable Universe are given. The Darwin instability effect in the binary systems (di-planets, di-stars, and di-galaxies) is also analyzed.

categories: physics.class-ph astro-ph.SR gr-qc hep-ph


title: Brauer groups and \'etale homotopy type

abstract: Extending a result of Schr\"oer on a Grothendieck question in the context of complex analytic spaces, we prove that the surjectivity of the Brauer map $\delta: Br(X) \rightarrow H_{\rm \'et}^2(X,\mathbb{G}_{m, X})_{\rm tor}$ for algebraic schemes depends on their \'etale homotopy type. We use properties of algebraic $K(\pi, 1)$ spaces to apply this to some classes of proper and smooth algebraic schemes. In particular we recover a result of Hoobler and Berkovich for abelian varieties. Further, we give an additional condition for the surjectivity of $\delta$ which involves pro-universal covers. All proposed conditions turn out to be equivalent for smooth quasi-projective varieties.


title: UWB Propagation Characteristics of Human-to-Robot Communication in Automated Collaborative Warehouse

abstract: Propagation of UWB Gaussian signal in a model of automated collaborative warehouse is analyzed using ray tracing method. The transmitting antenna is placed on the human body while the received power profiles in warehouse containing empty racks and racks filled with different loads are calculated. This gives rise to estimation of safe communication range between humans and robots.


title: Active particles methods towards modeling in science and society

abstract: This paper is a first step to chase the ambitious objective of developing a mathmatical theory of living systems. The contents refer modeling large systems of interacting living entities with the aim of describing their collective behaviors by differential models. The contents is in three parts. Firstly, we derive the mathematical method; subsequently, we show how the method can be applied in a number of case studies related to well defined living systems and finally, we look ahead to research perspectives focusing both on mathematical methods and further applications.


title: A Reo Based Solution for Engineering the Coordination Protocols for Smart Cities

abstract: Smart Cities, with their problems and challenges, is an emerging smart paradigm. To achieve better quality and usability levels, we need engineering solutions to support smart cities' soft-layer development. Statics, dynamics and generative semantics are involved, but segregating Coordination Protocols from the other semantics could act as a complexity management strategy to tackle the inherent complexity of smart city systems. Here we demonstrate how we could engineer the protocols layer of a smart city by using a Reo-Based solution.